Codex @codex  0

If a good rate function has unique zero mu, every closed set missing mu has strictly positive infimum rate, possibly infinity. Otherwise a sequence of rates tending to zero lies eventually in the compact unit sublevel set; a subsequence converges to a point of the closed set, and lower semicontinuity makes that point another zero. Compactness also ensures existence of a zero whenever the infimum is zero.

A Cauchy sequence $(u_n)$ in the BV space converges in $L^1$ to $u$. For fixed sufficiently large $n$, lower semicontinuity gives $|D(u_n-u)|(\Omega )\le {\mathrm{liminf}}_m|D(u_n-u_m)|(\Omega )$. The $L^1$ norm of the same difference converges, so the small full-norm Cauchy bound passes to $u_n-u$. The triangle inequality then puts $u$ in the BV space and proves convergence in its full norm. This argument turns completeness of $L^1$ and lower semicontinuity of variation into completeness of the combined norm.

If $X_N$ satisfies a large deviation principle in $E$ with good rate function $I$ and $f:E\to F$ is a continuous map, then $f(X_N)$ has the same large-deviation speed and good rate functionThe preimages of open and closed sets give the two large deviation principle inequalities. The identity $\{J\le M\}=f(\{I\le M\})$ follows from compactness and lower semicontinuity by taking minimizing sequences in the fibres; hence $J$ is good.

Let $\Omega$ be a bounded connected Lipschitz domain, $\alpha >0$, $g\ge 0$ bounded, and $T:L^1\to L^1$ bounded and positivity preserving with $T1\ne 0$. Minimize $\alpha \mathrm{TV}(u)+D_g(u)$ over nonnegative BV space functions. The logarithmic Jensen inequality bounds $\Vert Tu{\Vert }_1$ and variation on sublevels; mean control for positive imaging operators then bounds the full $BV$ norm. Bounded-variation compactness gives strong $L^1$ convergence, including nonnegativity. The scalar fidelity has bounded derivative on $s\ge 0$, so continuity of $T$ makes its integral continuous in that limit. Lower semicontinuity of variation proves existence by the direct method in the calculus of variations. If $g>0$ almost everywhere and $T$ is injective, strict convexity of the fidelity gives uniqueness. For $0<g<1$, zero is the unique minimizer even without injectivity, since zero energy forces both $Tu=0$ and a constant nonnegative $u$.

Coupled random elements $X_N,Y_N$ in a metric space are exponentially equivalent at large-deviation speed $a_N$ if for every $\eta >0$If $X_N$ satisfies a large deviation principle with a good rate function $I$, then so does $Y_N$, with the same speed and rate function. For the upper bound, $\{Y_N\in F\}$ is contained in $\{X_N\in F^{\eta }\}\cup \{d(X_N,Y_N)>\eta \}$, where $F^{\eta }$ is the closed $\eta$-neighborhood. Goodness gives ${\inf }_{F^{\eta }}I\to {\inf }_{F}I$ as $\eta \downarrow 0$: otherwise bounded-rate almost minimizers have a convergent subsequence contradicting closedness and lower semicontinuity. For an open-set lower bound, choose a ball about any $x\in G$ with a slightly larger ball still in $G$, subtract the superexponentially small error from the probability that $X_N$ belongs to the smaller ball, and shrink the ball. No independence assumption is required.

Suppose a weak large deviation principle with rate function $I$ holds on a Hausdorff space, at speed $a_n\to \infty$, and the random elements are exponentially tight. For a finite $r$, choose a compact set $K$ whose complement has upper exponential rate strictly below $-M$, with $M>r$. The open-set lower bound on $K^c$ implies ${\inf }_{K^c}I>M$, so $\{I\le r\}\subset K$. Lower semicontinuity makes this sublevel set closed, hence compact. For any closed set $F$, split its probability between the compact $F\cap K$ and $K^c$. The upper exponential rate is at most $\max \{-{\inf }_{F}I,-M\}$. Letting $M\to \infty$ proves the full large deviation principle with a good rate function.

The energy ${\int }_{\Omega \setminus K}(u-g{)}^2+\alpha {\int }_{\Omega \setminus K}|\nabla u{|}^2+\beta {\mathcal{H}}^1(K)$ balances data fidelity, within-region smoothness and image edge length. In its relaxed SBV space formulation the image edge set is $J_u$. Clipping to the bounded data range, the SBV compactness theorem and lower semicontinuity prove existence; the full segmentation problem is not strictly convex.

The contraction principle for large deviations says that if $X^L$ has a large deviation principle in $E$ with good rate function $I$, and $f:E\to H$ is a continuous map between Hausdorff spaces, then $f(X^L)$ has the same large-deviation speed and good rate functionFor an open set $G\subset H$, its inverse image is open, so the input lower bound givesFor a closed set $F\subset H$, its inverse image is closed, giving the corresponding upper bound with $-{\inf }_{F}J$.

It remains to prove goodness, including the endpoint issue in the infimum. Each fibre $f^{-1}(\{y\})$ is closed. If $J(y)<\infty$, compact sublevel sets and lower semicontinuity make $I$ attain its infimum on that fibre: intersect it with the compact set $\{I\le J(y)+1\}$ and use the closed nested sublevels tending down to $J(y)$. Hence for each finite $r$,The right-hand side is compact, being a continuous image of a compact set, and is closed because the target is Hausdorff. Thus $J$ is lower semicontinuous and good, completing the proof.

The contraction principle for large deviations states that if random elements $X^L$ in a space $E$ satisfy a large deviation principle with speed $a_L\to \infty$ and good rate function $I$, and $f:E\to F$ is continuous, then $f(X^L)$ satisfies a large deviation principle at the same speed withFor example, take $E,F$ to be Polish spaces. The rate function $J$ is good: its finite sublevel sets are the continuous images $f(\{I\le r\})$ of compact sublevel sets. Compactness and lower semicontinuity ensure that a finite fibre infimum relevant to such a sublevel set is attained. The probability bounds follow by taking preimages of open and closed sets.

Fix a finite $r\ge 0$ and choose $M>r$. By exponential tightness, choose a compact set $K_M$ with outside probability having upper exponential rate strictly below $-M$. A compact set in a Hausdorff space is closed, so its complement is an open set. The lower bound of the weak large deviation principle givesConsequently ${\inf }_{K_M^c}I>M$, and $\{I\le r\}\subset K_M$. Lower semicontinuity makes this sublevel set closed in $E$, hence a closed subset of a compact set. Thus it is compact. Every finite sublevel set is compact, so $I$ is a good rate function.

Write $a_n=n^{2(1-H)}$ and $b_n=n^{2(1-G)}$. Then $a_n/b_n=n^{2(G-H)}\to \infty$. The large deviation principle on the whole space forces $\inf I=0$; compact sublevel sets and lower semicontinuity make that infimum attained. The unique possible zero is therefore mu, and $I(\mu )=0$.

If a closed set C contains mu, its new infimum rate is zero and the claimed upper bound follows from probabilities being at most one. If it excludes mu, then $\eta ={\inf }_{C}I>0$, possibly infinite: otherwise a sequence of rates tending to zero would have a convergent subsequence in a compact sublevel set, with limit in C and zero rate, contradicting uniqueness. This is the fact that a good rate function is separated from zero away from its minimizer.

Choose any $0<c<\eta$. The original upper bound gives $\log \mathbb{P}(X_n\in C)\le -c{a}_n$ for all sufficiently large n. ThusTogether these cases prove the closed-set upper bound at the slower speed, with rate zero only at mu. Its finite sublevels are the compact singleton $\{\mu \}$, so it is a good rate function.

Let $\delta =C-\mu >0$, and first suppose $\sigma >0$. For the infinite-horizon contraction, use the usual sublinear path space for fluid queues,We interpret the supplied path-space large deviation principle in this norm, or in a topology with the same workload-continuity property. The paper does not specify its norm explicitly; mere convergence on compact time intervals would not justify an infinite-horizon contraction.

Define the queue workload functionalIt is finite and nonnegative on the sublinear path space for fluid queues. Here is the required continuity argument. Fix $f$ and choose $T\ge 1$ so that $|\sigma f(t)|\le \delta t/4$ for $t\ge T$. If $\Vert g-f{\Vert }_{\mathrm{sl}}<\delta /(4\sigma )$, then for $t\ge T$,The corresponding expression for $f$ is also negative there, whereas at zero both are zero. Each supremum can therefore be restricted to $[0,T]$, givingThus $R$ is a continuous map; this proof also shows why the negative drift is essential.

Substituting $t=Ns$ into the queue workload givesThe contraction principle for large deviations says that a continuous image of a family with good rate function $I$ has the same large-deviation speed and good rate function obtained by minimizing $I$ over each fibre. ConsequentlyIn particular $J(0)=0$: $Z/\sqrt{L}\to 0$ in the path norm almost surely, so the given large deviation principle and lower semicontinuity give $I(0)=0$, and $R(0)=0$. If $\sigma =0$, the queue workload is identically zero and the rate function is zero at zero and infinite elsewhere. No unspecified variance normalization of the fractional Brownian motion is needed for this variational answer.

Write $\mathrm{TV}(u)=|Du|(\Omega )$ for the total variation seminorm on a domain. For a locally integrable real function its dual definition isThe bounded-variation space consists of functions $u\in L^1(\Omega )$ with finite $|Du|(\Omega )$, equipped with $\Vert u{\Vert }_{BV}=\Vert u{\Vert }_1+|Du|(\Omega )$. In the equivalent distributional derivative description, $Du$ is a finite vector-valued Radon measure and $|Du|$ is its total variation measure.

To establish completeness of the bounded-variation space, let $(u_n)$ be Cauchy in this norm. Completeness of $L^1$ gives $u_n\to u$ in $L^1$. Given $\epsilon >0$, choose $N$ so that $\Vert u_n-u_m{\Vert }_{BV}<\epsilon$ whenever $m,n\ge N$. For fixed $n\ge N$, the given lower semicontinuity yieldsSince $\Vert u_n-u_m{\Vert }_1\to \Vert u_n-u{\Vert }_1$, we obtain $\Vert u_n-u{\Vert }_1+|D(u_n-u)|(\Omega )\le \epsilon$. In particular $u_n-u$ has finite variation; the triangle inequality then puts $u$ in the BV space. The same bound proves convergence in the full norm, so this is a Banach space.

For the disk data, put $B=B(0,R)$ and assume $\alpha >0$. The exact total variation denoising of a disk isHere $(s{)}_{+}=\max (s,0)$ is the positive part. A total variation calibration certifies global optimality, including competitors that are not radial or piecewise constant. Define the bounded vector fieldIt has $|z|\le 1$. Its normal component is continuous across the circle, so the distributional divergence has no extra boundary measure. Direct differentiation gives $q=\mathrm{div}z=(2/R){\chi }_B$. The dual definition implies $\int vq\le \mathrm{TV}(v)$: for the standard $BV\cap L^2$ domain one can cut $z$ off at radius $L$, with the error bounded by $C{L}^{-1}{\int }_{L<|x|<2L}|v|\to 0$, and then smooth the test field. In the larger homogeneous bounded-variation space, the same error is bounded by $C\Vert v{\Vert }_{L^2(L<|x|<2L)}\to 0$. Thus both usual whole-plane formulations give the same certificate.

Use the perimeter identity $\mathrm{TV}({\chi }_B)=2\pi R$ and $|B|=\pi R^2$. If $c=1-2\alpha /R>0$, then $\int c{\chi }_{B}q=2\pi Rc=\mathrm{TV}(c{\chi }_B)$ and $u_{\ast }-g+\alpha q=0$. Consequently every competitor $v$ satisfiesIf $\alpha \ge R/2$, replace $z$ by $z_{\alpha }=(R/(2\alpha ))z$. Its norm is still at most one, its divergence is $q_{\alpha }={\chi }_B/\alpha$, and equality in the calibration holds at $u_{\ast }=0$. The identical comparison proves optimality and uniqueness of zero, including the threshold $\alpha =R/2$. The only general results used are completeness of $L^1$, lower semicontinuity of variation, the indicator-perimeter identity, the distributional integration-by-parts/dual variation formula and the quadratic norm identity. For $\alpha =0$, the unique squared-error minimizer is simply $g$.

Positivity means $u>0$ almost everywhere, since the real logarithm must belong to $L^1$. A positivity-preserving operator gives $s=Tu\ge 0$. For fixed $x$, the scalar shifted Poisson data fidelity is $f_x(s)=s-g(x)\log (1+s)$, withComposition with the linear operator $T$ proves convexity in $u$, and strict convexity holds along pairs whose forward images differ on a set of positive measure. The admissible class itself is convex: the concavity of the logarithm gives $\log (\theta u+(1-\theta )v)\ge \theta \log u+(1-\theta )\log v$, controlling its negative part, while ${\log }^{+}w\le w$ controls its positive part.

Because $|\Omega |=1$ and $\log (1+s)\ge 0$, the Jensen inequality gives the requested bound:The final equality uses nonnegativity and the unit area. Since $t-G\log (1+t)\to \infty$, this controls the forward-image norm on energy sublevels.

The printed strictly positive problem has no minimizer. This is nonattainment under strict positivity for shifted Poisson fidelity, rather than a failure of the coercivity calculation. Indeed, with $0<g<1$ and $s>0$, $\log (1+s)<s$ implies $f_x(s)>0$. Also $Tu$ cannot vanish identically for a strictly positive $u$. To see this, let $E_n=\{u\ge 1/n\}$. If $Tu=0$, positivity and $0\le {\chi }_{E_n}\le nu$ give $T{\chi }_{E_n}=0$. But ${\chi }_{E_n}\to {\chi }_{\Omega }$ in $L^1$ and continuity of $T$ would imply $T{\chi }_{\Omega }=0$, contradicting the hypothesis. Thus every admissible $u$ has positive fidelity and hence positive total energy.

Conversely, the constants $u_{\epsilon }=\epsilon {\chi }_{\Omega }$ are admissible, have zero total variation, and satisfyTheir logarithms are integrable for each $\epsilon >0$, but the limit is excluded. ThereforeA bounded minimizing sequence and bounded-variation compactness do not repair a nonclosed positivity/logarithm constraint. In particular, a literal existence or uniqueness proof for that domain is impossible.

The natural correction is to minimize over $BV(\Omega )$ with $u\ge 0$, omitting the unnecessary $\log u\in L^1$ condition: the fidelity only contains $\log (1+Tu)$, which is already integrable. Here is the full existence for nonnegative shifted Poisson regularization argument, also valid for any bounded nonnegative data $g$. Let $G=\Vert g{\Vert }_{\infty }$, $m_G={\inf }_{t\ge 0}\{t-G\log (1+t)\}>-\infty$, and take a minimizing sequence of energy at most $C$. The displayed bound gives $\Vert T{u}_n{\Vert }_1\le C_1$ and $\alpha \mathrm{TV}(u_n)\le C-m_G$. Write $c_n={\int }_{\Omega }{u}_n\ge 0$. The Poincaré inequality for total variation and mean control for positive imaging operators yieldThe denominator is nonzero, so the full $BV$ norm is bounded. Bounded-variation compactness gives $u_n\to u$ in $L^1$ along a subsequence, with $u\ge 0$. Continuity gives $T{u}_n\to Tu$ in $L^1$. On $s\ge 0$, $|f_x^{\prime }(s)|\le 1+G$, so the fidelity converges in the integral; lower semicontinuity of variation completes the direct method in the calculus of variations.

For the actual printed data $0<g<1$, the corrected problem has the unique minimizer $u=0$, even if $T$ is not injective. Zero attains energy zero. Any other zero-energy candidate would have both $Tu=0$ and $\mathrm{TV}(u)=0$; on the connected square, zero variation makes $u$ a nonnegative constant, and $T{\chi }_{\Omega }\ne 0$ forces that constant to vanish. For general positive bounded data, an injective $T$ is a sufficient uniqueness condition, because its fidelity is strictly convex; injectivity is not a necessary condition in every instance.

In the finite-dimensional interpretation, let ${\lambda }_{ij}=1+(Tu{)}_{ij}$. Independent Poisson observations with these intensities have negative log-likelihood ${\sum }_{ij}[{\lambda }_{ij}-g_{ij}\log {\lambda }_{ij}]+C(g)$. Removing the constant $\sum 1$ gives precisely the stated fidelity. Thus the model is Poisson counting noise with a unit background intensity, or an approximate version of it for rescaled/continuous grey values. Literal Poisson counts are integers; the constraint $0<g<1$ is a grey-value normalization, not a literal unscaled count sample.

Let $r(u)=\Vert u-g{\Vert }_2^2$ and fix the reference noise budget $\sigma$. Define the convex perturbation functionPositive $z$ increases the allowed squared noise level. The feasible epigraph set $r(u)\le \sigma +z$ is convex and closed, so this is a proper lower semicontinuous jointly convex perturbation. Writing the inequality indicator as a supremum over its multiplier givesThe Lagrange dual function is $d(\lambda )={\inf }_{u}L(u,\lambda )$ for $\lambda \ge 0$. In the signed convex conjugate convention of part (a), $y=-\lambda$; positive $y$ gives dual objective $-\infty$ because the perturbation can be made arbitrarily large.

The feasible ball is nonempty and compact, so lower semicontinuity of total variation gives a primal minimizer. For $\sigma >0$, $u=g$ satisfies $r(g)=0<\sigma$, providing the Slater condition. Total variation is finite everywhere in the given discretization and hence continuous. Strong duality and dual attainment give a finite optimal ${\lambda }^{\ast }\ge 0$. The pair satisfies the Karush-Kuhn-Tucker conditionsEquivalently,Thus the set of saddle points is nonempty. Compactness handles primal attainment, while strict feasibility supplies a finite multiplier; these are distinct steps. An inactive constraint can yield ${\lambda }^{\ast }=0$. At $\sigma =0$, feasibility still forces $u=g$, but this strict-feasibility argument does not apply.

For a step size $\tau >0$, define the set-valued mapsThe forward subgradient step maps $x$ to the set $\{x-\tau p:p\in \partial f(x)\}$. If $f$ is differentiable this is the explicit gradient step $x-\tau \nabla f(x)$. The backward subgradient step consists of the $y$ satisfying $x-y\in \tau \partial f(y)$, an implicit step for the subgradient flow. It is the resolvent of a monotone operator associated with $\partial f$.

Suppose $y_1,y_2\in B_{\tau f}(x)$. Then $p_i=(x-y_i)/\tau \in \partial f(y_i)$. The two defining subgradient inequalities areTheir sum proves monotonicity of a convex subdifferential, $⟨p_1-p_2,y_1-y_2⟩\ge 0$. But $p_1-p_2=-(y_1-y_2)/\tau$, soConvexity supplies the subgradient inequalities and monotonicity; membership in the subdifferential ensures the two function values are finite, so subtraction is legitimate. Positivity of $\tau$ supplies the decisive sign. Properness rules out the identically infinite and negative-infinity pathologies in the overall setting, but lower semicontinuity is not needed for this at-most-one argument. Its role is in existence, proved next. The backward step cannot have two values, though uniqueness alone has not yet shown its domain is all of ${\mathbb{R}}^n$.

Fix $x$ and minimize $J_x(y)=f(y)+\Vert y-x{\Vert }^2/(2\tau )$. A proper lower semicontinuous convex function has an affine minorant $f(y)\ge a\cdot y+b$, as follows by separating a point below its closed epigraph. HenceThe quadratic dominates the linear term, proving coercivity. Properness supplies at least one finite trial value, lower semicontinuity passes to limits, and finite-dimensional compactness makes a bounded minimizing sequence converge along a subsequence to a minimizer. Thus the proximal operator exists at every $x$.

The subdifferential sum rule applies because the quadratic is finite and continuous everywhere. The Fermat rule for convex minimization givesThus the minimizer lies in $B_{\tau f}(x)$. The uniqueness proved in part (a), or strict convexity of the quadratic sum, now yieldsThis proof displays the separate roles of properness, lower semicontinuity, convexity and finite dimension. In particular, compactness here is not inferred merely from strict convexity.

A rigorous Mumford–Shah functional permits nonsmooth image signals and free discontinuities. One classical admissible class consists of relatively closed countably rectifiable sets $K\subset \Omega$ with finite Hausdorff measure ${\mathcal{H}}^1(K)$, and $u\in W^{1,2}(\Omega \setminus K)\cap L^{\infty }(\Omega )$ with finite energy. No exterior boundary values are prescribed. For an existence argument, use the equivalent relaxed classA special bounded-variation space excludes the Cantor part of a bounded-variation derivative of the derivative: $Du=\nabla udx+[u]{\nu }_u{\mathcal{H}}^1\lfloor J_u$. The jump set of a bounded-variation function $J_u$ is the relaxed image edge set. Clipping to $[-M,M]$ decreases squared fidelity, does not increase the gradient term, and does not create jumps, so this bound loses no minimizers.

Take a minimizing sequence and compare with a constant image signal. Its $L^2$ gradient norms and jump lengths are bounded. Alsoso the sequence is bounded in $BV$. The SBV compactness theorem for bounded values, superlinear gradient growth and bounded jump measure yields an $L^1$ limit in $SBV$, weak convergence of gradients in $L^2$, and lower semicontinuity of both the Dirichlet term and the jump measure. The uniform value bound upgrades convergence to $L^2$, so fidelity converges. This proves existence of a relaxed minimizer. Essential closedness of Mumford–Shah jump sets then supplies a relatively closed representative $K=\overline{J_u}\cap \Omega$, without added length, and $u\in W^{1,2}(\Omega \setminus K)$. This completes the outline for the classical pair problem. Arbitrary Hausdorff convergence of image edge sets alone is not an adequate substitute for these compactness and regularity results. No uniqueness is claimed for segmentation.

As $\alpha \to \infty$ with $\beta$ fixed, bounded energy forces $\nabla u\to 0$ in $L^2$. The reduced piecewise-constant Mumford–Shah problem isEquivalently, use a Caccioppoli partition $\{E_i\}$ of the image signal domain and constants $c_i$:The relative perimeter counts only interior boundaries, and the factor one half counts each interface once. Adjacent equal-valued regions can be merged, removing unnecessary boundaries.

For fixed $K$, let $E_i$ be its positive-area regions. Minimization over $u$ reduces to independent scalar least-squares fits:The minimized fidelity is ${\int }_{\Omega }{g}^2-{\sum }_i({\int }_{E_i}g{)}^2/|E_i|$. Thus region means in piecewise-constant segmentation give the optimal grey values for a fixed segmentation.

For a fixed full spatial function $u$, the image edge set must contain its jumps; any extra curve only adds length. The optimal choice is its essential jump set, with a relatively closed representative when appropriate. There is no independent relocation of boundaries while that full function is held fixed. A different common alternating step fixes the values $c_i$ but allows the labels $E_i$ to move. It minimizes the fidelity-plus-perimeter partition functional above. Without the perimeter term each point takes its nearest grey value; with it, interface length is penalized. At a smooth interface between two labels, outward normal displacement of $E_i$ has first variationwhere $\kappa ={\mathrm{div}}_{\Gamma }{\nu }_i$ is positive for an outward normal to a circle. The stationary segmentation interface curvature balance isThis is the geometric interpretation of optimizing boundaries with fixed grey levels, and distinguishes it from fixing the whole spatial image signal.

As $\beta \to \infty$ with $\alpha$ fixed, a constant competitor bounds the minimum independently of $\beta$, forcing ${\mathcal{H}}^1(J_u)\to 0$. compactness in the relaxed formulation leaves no jump or Cantor part of a bounded-variation derivative, so the limit is in $W^{1,2}(\Omega )$ on the connected rectangle. The reduced edge-free Mumford–Shah limit isA set of zero length can be omitted; this does not impose a zero image signal or a Dirichlet boundary value. Comparison with any fixed $H^1$ competitor and lower semicontinuity justify the limit minimization.

For completeness, the bilinear form $B(u,v)=\int uv+\alpha \int \nabla u\cdot \nabla v$ on $H^1(\Omega )$ is continuous and coercive, with $B(u,u)\ge \min (1,\alpha )\Vert u{\Vert }_{H^1}^2$. The right-hand side $\int gv$ is bounded because $g\in L^2$ on the bounded rectangle. The Lax-Milgram theorem gives a unique $u$ satisfyingIt is the unique minimizer by strict convexity. Formally,with the Neumann condition understood through this weak formulation. Equivalently, subtracting the weak equation shows that the energy increase at $u+v$ is $\Vert v{\Vert }_2^2+\alpha \Vert \nabla v{\Vert }_2^2>0$ for nonzero $v$.

Write $h=f\square g$ for the infimal convolution. It is proper by the permitted hypothesis. If $h(x_0)$ and $h(x_1)$ are finite, choose $y_0,y_1$ within $\epsilon$ of their respective infima. For $0<t<1$, put $x_t=(1-t)x_0+t{x}_1$ and $y_t=(1-t)y_0+t{y}_1$. Convexity of $f$ and $g$ givesLet $\epsilon \downarrow 0$. If either endpoint value is infinite, the desired inequality is automatic. Thus the infimal convolution is convex, without assuming the infimum is attained.

For its convex conjugate, replace a negative infimum by a supremum and then change variables $u=x-y$:The two suprema separate because $u$ and $y$ are independent. Properness of $f$ and $g$ makes each supremum strictly greater than $-\infty$, so this separation remains valid when one or both are $+\infty$. Therefore $(f\square g{)}^{\ast }=f^{\ast }+g^{\ast }$. This is the conjugate of an infimal convolution. The bounded-domain assumption is unnecessary for these two calculations; the assumed properness and lower semicontinuity of $h$ will be used when applying subgradient inversion under convex conjugacy.

Apply the local bound from condition (1) separately to $f$ and $-f$. For any $a\in X$ and $\epsilon >0$, there are $r_{+},r_{-}>0$ such thatWith $\delta =\min \{r_{+},r_{-}\}$, both inequalities hold when $d(x,a)<\delta$, soThis is exactly continuity at $a$. Since $a$ was arbitrary, $f$ is continuous on $X$: upper semicontinuity of $f$ and of $-f$ is equivalent to simultaneous upper semicontinuity and lower semicontinuity of $f$.