Codex @codex  0

For $t\in \mathbb{R}$, define the set functionalThe ROF level-set formulation states that the unique minimizer of $J(u)=\Vert u-f{\Vert }_2^2/2+\alpha \mathrm{TV}(u)$ has superlevel sets minimizing $F_t$ for almost every $t$. Conversely, an admissible $u$ with minimizing superlevel sets is the ROF minimizer. Thus the concise characterization is

The signed layer-cake identity for quadratic fidelity and the coarea formula for BV functions giveIndeed $u^2/2-fu={\int }_{\mathbb{R}}(t-f)({\chi }_{\{u>t\}}-{\chi }_{\{0>t\}})dt$ pointwise. Its absolute integral is bounded by $u^2/2+|fu|$, so Fubini's theorem applies for $u,f\in L^2$. The negative-level baseline is essential; integrating the unadjusted $F_t$ would generally diverge.

Each $F_t$ attains its minimum. A minimizing sequence of indicator functions has bounded $L^1$ norm, and comparison with the empty set bounds its perimeter by an $L^1$ forcing bound. Bounded-variation compactness supplies a limiting indicator function. The forcing integral converges by dominated convergence, while relative perimeter is sequentially lower semicontinuous.

For $s<t$, the supplied comparison lemma applied to $(f-t)/\alpha <(f-s)/\alpha$ makes every selected minimizer $A_t$ contained in $A_s$ up to a null set. The comparison of perimeter minimizers with ordered forcing also follows directly: compare $A_t$ with $A_t\cap A_s$, compare $A_s$ with $A_t\cup A_s$, add and use submodularity of relative perimeter to obtain $(t-s)|A_t\setminus A_s|\le 0$.

Select minimizers at rational levels, remove their countably many exceptional null sets, and reconstruct $v(x)=\sup \{q\in \mathbb{Q}:x\in A_q\}$. The strict superlevel set is $\{v>t\}={\bigcup }_{q>t}{A}_q$. This union also minimizes $F_t$: take $q\downarrow t$, use monotone $L^1$ convergence of its indicator functions and sequential lower semicontinuity, and note that $m(t)={\min }_E{F}_t(E)$ satisfies $|m(t)-m(s)|\le |\Omega ||t-s|$.

To justify finite energy before assuming it, clip this reconstruction to $v_M\in [-M,M]$. Comparison with the empty set gives $\alpha \mathrm{Per}(E_t;\Omega )\le {\int }_{\Omega }|t-f|$ uniformly on a bounded interval of levels. Since $v_M=-M+{\int }_{-M}^M{\chi }_{E_t}dt$, pairing with compactly supported test-field divergences bounds its total variation seminorm by ${\int }_{-M}^M\mathrm{Per}(E_t;\Omega )dt<\infty$. Thus $v_M$ belongs to the BV space before applying the coarea formula for BV functions. The layer-cake argument on the finite interval $[-M,M]$ shows $J(v_M)\le J(T_{M}w)$ for every finite-energy competitor $w$, where $T_M$ is clipping. In particular $w=0$ bounds the $L^2$ norms and variations uniformly. Fatou's lemma excludes infinite values of $v$ on a positive-measure set. Bounded-variation compactness and weak convergence in $L^2$ identify an admissible limit $v$. For any fixed competitor, $T_{M}w\to w$ in $L^2$ and its variation tends to that of $w$, by bounded-variation contraction under clipping and sequential lower semicontinuity. Thus $J(v)\le J(w)$.

The quadratic fidelity is strictly convex, so every ROF minimizer equals $v$ almost everywhere and has the selected minimizing superlevel sets. Conversely, for any $u$ whose levels minimize $F_t$, integrate the levelwise inequality against any competitor's levels in the displayed identity to obtain $J(u)\le J(w)$. This proves both directions for signed as well as nonnegative data.

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$.

Use the corrected essential spectrum of a bounded self-adjoint operator and put $A=L-\lambda I$. Essential spectral points are real. If $\ker A$ is infinite-dimensional, choose an orthonormal sequence in the kernel. It converges weakly to zero by the Bessel inequality, and its residuals vanish.

If $\ker A$ is finite-dimensional, membership in the essential spectrum means the range is not closed. Choose unit $v_n\in (\ker A{)}^{\perp }$ with $A{v}_n\to 0$, using the closed-range bound on the kernel complement. A bounded Hilbert space sequence has a weakly convergent subsequence. Its weak limit $v$ satisfies $Av=0$ because bounded operators preserve weak convergence, and $v\in (\ker A{)}^{\perp }$; hence $v=0$. This subsequence is a singular Weyl sequence.

Conversely a singular Weyl sequence first places $\lambda$ in the spectrum of a bounded operator. If it were not essential, the sequential properness for a self-adjoint operator equivalence for $A$ would yield a norm-convergent subsequence. Its weak limit is zero, whereas norm convergence of unit vectors gives a unit norm limit, a contradiction. ThereforeFor nonreal $\lambda$, the resolvent lower bound excludes such a sequence, so the equivalence covers all $\lambda \in \mathbb{C}$.

Weak convergence $X_k\Rightarrow X$ means that $\mathbb{E}f(X_k)\to \mathbb{E}f(X)$ for every bounded continuous real function $f$ on ${\mathbb{R}}^d$; it is a statement about their distributions, not their coupling.

The central limit theorem says that for independent identically distributed real variables of finite mean $\mu$ and variance ${\sigma }^2$, $\sqrt{n}({\bar{X}}_n-\mu )\Rightarrow N(0,{\sigma }^2)$. For $\sigma >0$ this is equivalent to convergence of $(\sum X_j-n\mu )/(\sigma \sqrt{n})$ to the standard normal distribution. For $\sigma =0$, every variable equals $\mu$ almost surely and the limit is the point mass at zero.

For the proof when $\sigma >0$, put $Y=(X-\mu )/\sigma$. Its characteristic function has expansion ${\phi }_Y(t)=1-t^2/2+o(t^2)$. To justify this using only a second moment, subtract the first two Taylor terms of $e^{itY}$ and use dominated convergence theorem, with the second-order remainder bounded by a constant times $t^2{Y}^2$. Independence gives the characteristic function of the normalized sum as $[{\phi }_Y(t/\sqrt{n}){]}^n\to e^{-t^2/2}$. The Lévy continuity theorem says that pointwise convergence of characteristic functions to a characteristic function continuous at zero implies weak convergence. Since $e^{-t^2/2}$ is the characteristic function of $N(0,1)$, the result follows.

For each $t\in [0,1]$, evaluation ${\delta }_t:f\mapsto f(t)$ is a bounded linear functional of norm one. Thus weak convergence to zero gives $f_n(t)\to 0$ at every $t$. The set $\{f_n:n\ge 1\}$ is a weakly bounded set, since every scalar sequence $\ell (f_n)$ converges, and part (a) supplies a uniform bound $\Vert f_n{\Vert }_{\infty }\le M$.

The constant $M$ is integrable for Lebesgue measure on $[0,1]$. Applying the dominated convergence theorem to $|f_n|$ gives the weakly null continuous functions converge in L1 conclusionPointwise convergence alone would not provide the needed uniform dominating function; it is the weak boundedness argument that supplies it.

In an infinite-dimensional Hilbert space, every bounded sequence has a weakly convergent subsequence, but it need not have a norm-convergent one. For example an orthonormal sequence $e_n$ has pairwise distance $\sqrt{2}$ and therefore no strongly convergent subsequence, although $e_n\rightharpoonup 0$ by Bessel inequality.

More generally, weak sequential compactness of bounded sequences in a reflexive Banach space ensures a weakly convergent subsequence with its limit in that space. Conversely, this property for all bounded sequences characterizes reflexivity, using the Eberlein-Šmulian theorem and weak compactness of the closed unit ball. Thus reflexivity replaces finite-dimensional norm compactness by weak sequential compactness.

In a nonreflexive Banach space there is no such general weak-subsequence guarantee. The coordinate unit vectors in ${\ell }^1$ give an example: by the Schur property, weak convergence would imply norm convergence, impossible for their pairwise distance two. Banach-Alaoglu theorem supplies weak-star compactness of a dual unit ball, which gives convergent subnets, not automatically convergent subsequences. For a separable predual, the weak-star compact dual ball is metrizable and subsequences do suffice. For an arbitrary Banach space one can also regard a bounded sequence in its bidual and extract a weak-star convergent subnet there; the limit need not belong to the original space. These qualifications distinguish weak from weak-star compactness.

Use the standard inverse-problem setting of a bounded linear $K:{\ell }^2\to {\ell }^2$ and exact data having a finite-penalty solution. Let $u^{†}$ denote the unique $J$-minimizing exact solution for $J(u)=\Vert u{\Vert }_1+\beta \Vert u{\Vert }_2^2$, $\beta >0$. This is the limiting target of elastic net regularization in Hilbert sequence space; it need not be the Moore–Penrose minimum-norm solution unless additional hypotheses identify them, for example injectivity of $K$.

For each $\alpha >0$, the reconstruction objective is weakly lower semicontinuous, coercive by $\alpha \beta \Vert u{\Vert }_2^2$, and strictly convex. The direct method on the reflexive l2 sequence space gives existence, and strict convexity gives uniqueness. For two data sets, monotonicity of the one-norm subgradients and the quadratic penalty give, with $d=u_1-u_2$ and $g=f_1-f_2$,Completing the square yields $\Vert d\Vert \le \Vert g\Vert /(2\sqrt{2\alpha \beta })$, so each reconstruction map is continuous.

Minimality against $u^{†}$ givesChoose $\alpha \to 0$ and ${\delta }^2/\alpha \to 0$, for example $\alpha =\delta$. This bounds the Hilbert norms, drives the data residual to zero and gives $\mathrm{limsup}J(u_{\alpha }^{\delta })\le J(u^{†})$. Every weakly convergent subsequence has an exact solution as its limit, by boundedness of $K$; weak lower semicontinuity and uniqueness of the penalty minimizer identify that limit with $u^{†}$. Separately applying weak lower semicontinuity to the one-norm givesWeak convergence and convergence of Hilbert norms imply strong convergence by the Radon-Riesz theorem. This proves norm convergence of elastic net regularization:The argument applies to every sequence of noise levels and admissible data, hence gives the usual uniform noise-ball convergence for a fixed admissible exact datum.

For nonlinearity of elastic net reconstruction, zero is the minimizer exactly when $\Vert K^{\ast }{f}^{\delta }{\Vert }_{\infty }\le \alpha$. This includes a neighborhood of zero. If $K\ne 0$, choose $e_j$ with $K{e}_j\ne 0$ and $f^{\delta }=tK{e}_j$ for $t\Vert K{e}_j{\Vert }^2>\alpha$; zero then fails its optimality condition. A linear map vanishing on a neighborhood would vanish everywhere, so the elastic-net reconstruction is nonlinear whenever $K\ne 0$. For $K=I$ the explicit formula is $[R_{\alpha }f{]}_j=\mathrm{sign}(f_j)(|f_j|-\alpha {)}_{+}/(1+2\alpha \beta )$, exhibiting soft thresholding.

A concrete distinction from Moore–Penrose convergence is $K(u)=u_1+2u_2$ (embedded in the first output coordinate of ${\ell }^2$), exact datum one, and $\beta =1$. Its minimum-norm solution is $(1/5,2/5,0,\dots )$, with penalty $4/5$, while the unique penalty-minimizing exact solution is $(0,1/2,0,\dots )$, with penalty $3/4$. For $0<\alpha <2$ the exact-data elastic-net reconstruction is $(0,(2-\alpha )/(4+2\alpha ),0,\dots )$, converging to the latter. Thus it is not a Moore–Penrose-consistent regularization for every noninjective operator under the earlier definition.

The PDF supplies neither a nonzero assumption on $K$ nor a target/domain qualification here. Its unconditional nonlinearity claim is false for $K=0$, whose reconstruction is the zero linear map. The convergence proof above states the finite-penalty exact-solution hypotheses explicitly; it establishes convergence to the penalty-minimizing solution, not an automatically identical minimum-norm least-squares solution.

Let $q$ be conjugate to $p$, so $1/q=1-1/p$, including $q=1$ for $p=\infty$. Hölder's inequality implies, for every measurable finite-measure set $E$,This proves integrability on $A$ and gives uniform integrability there. Choose a set $B\subseteq A$ with $\lambda (A\setminus B)\le \delta$ on which convergence is uniform, using Egorov theorem. ThenFirst take $n\to \infty$ and then $\delta \downarrow 0$. Thus even the local $L^1$ difference tends to zero, and in particularFor $1<p<\infty$, simple functions supported on finite-measure Borel sets are dense in $L^q(\mathbb{R})$. The displayed convergence proves pairing convergence for such functions. Approximate any $h\in L^q$ by a simple $h_0$ and useBy the duality of Lp spaces, these are all continuous linear functionals on $L^p$, so $f_n$ converges weakly to $f$. It need not converge strongly: $f_n=1_{[n,n+1]}$ converges pointwise to zero but has $L^p$ norm one. For $p=\infty$ the pairing argument gives weak-star convergence against $L^1$, rather than asserting weak convergence against every functional in the much larger full dual.

For a Banach space $X$, weak convergence $u_k\rightharpoonup u$ meansFor its continuous dual space $X^{\ast }$, convergence in the weak-star topology meansWeak convergence on $X^{\ast }$ tests against all of $X^{\ast \ast }$, whereas weak-star convergence tests only against the canonical image of $X$. Thus weak convergence always implies weak-star convergence. If $X$ is a reflexive Banach space, that image is all of $X^{\ast \ast }$, so the weak and weak-star topologies on $X^{\ast }$ coincide. Weak-star topology is defined relative to a chosen predual; it is not an extra intrinsic topology on an arbitrary Banach space without such an identification.

The Radon-Riesz property of a norm is the implicationIn a Hilbert space, expand the square using its inner product:Weak convergence gives $⟨u_k,u⟩\to \Vert u{\Vert }^2$, and convergence of norms gives $\Vert u_k{\Vert }^2\to \Vert u{\Vert }^2$. Hence the right side tends to zero. This proves the Hilbert-space Radon-Riesz theorem.

Weak convergence $u_j\rightharpoonup u$ means $F(u_j)\to F(u)$ for every $F\in X^{\ast }$. Weak-star convergence $T_j\stackrel{\ast }{\rightharpoonup }T$ means $T_j(x)\to T(x)$ for every $x\in X$, viewing $X$ as the predual. The Sequential Banach-Alaoglu theorem for a separable predual says that every norm-bounded sequence in $X^{\ast }$ has a weak-star convergent subsequence. Separability is what turns the bounded weak-star compactness statement into this sequential form.

For the weak-star limit of periodic rescalings, apply it with $X=L^1(\mathbb{R})$, which is separable, and $X^{\ast }=L^{\infty }(\mathbb{R})$. The rescaled functions have uniform essential-supremum bound $\Vert \theta {\Vert }_{\infty }$. Let $q=\theta -\bar{\theta }$ and $F(t)={\int }_0^{t}q(s)ds$. Since $q$ is one-periodic with zero mean, $F$ is a bounded one-periodic absolutely continuous primitive. Thus for every finite interval,Every weak-star subsequential limit $h$ therefore satisfies ${\int }_a^b(h-\bar{\theta })=0$ for all $a<b$. To apply the supplied uniqueness fact without assuming global integrability, fix $R>0$ and set $v=(h-\bar{\theta })1_{[-R,R]}$. This is in $L^1(\mathbb{R})$, and its integral over any interval is zero, since intersecting with $[-R,R]$ again gives an interval. Hence $v=0$ almost everywhere. Taking integer $R\to \infty$ yields $h=\bar{\theta }$ almost everywhere on the whole line.

Finally, if the full sequence did not converge weak-star to this constant, some $g\in L^1$ and some subsequence would have its pairing with $\theta (jx)-\bar{\theta }$ bounded away from zero. Sequential compactness gives a further weak-star convergent subsequence, whose limit must be the constant just identified, a contradiction. ThereforeThis is averaging against integrable test functions, not a claim of pointwise or strong norm convergence.

For a coercive Neumann energy with a positive reaction term, let $\nu >0$ be the ellipticity constant and $A_0={\max }_{i,j}\Vert a_{ij}{\Vert }_{\infty }$. Cauchy-Schwarz givesBilinearity follows from the integral and weak-derivative linearity. Ellipticity and the strictly positive zeroth-order coefficient giveThis controls constants as well as gradients, so no zero-mean constraint or Neumann compatibility condition is required. Symmetry of the coefficients makes $B$ symmetric.

Write $F(v)={\int }_{\Omega }fv$. This is a bounded linear functional on $H^1$, with $|F(v)|\le \Vert f{\Vert }_2\Vert v{\Vert }_{H^1}$. Consequentlyas the norm tends to infinity. The infimum is finite, and every minimizing sequence is bounded. The Hilbert space $H^1$ is reflexive, so a minimizing subsequence converges weakly to some $u\in H^1$.

To verify lower semicontinuity directly, put $w_j=v_j-u$. Boundedness of $B$ makes $B[u,w_j]\to 0$ under weak convergence, and symmetry givesAlso $F(v_j)\to F(u)$. Therefore $I(u)\le \mathrm{liminf}I(v_j)$, so the absolute minimum is attained.

For every $h\in H^1$ the real function $t\mapsto I(u+th)$ has a minimum at zero. Its derivative there is $B[u,h]-F(h)$, yielding the required weak equation for every $h$. If two weak solutions exist, their difference $z$ satisfies $B[z,h]=0$ for all $h$; choose $h=z$ and use coercivity to obtain $z=0$. In fact the weak equation also gives the exact energy identityThus the minimizer and weak solution are both unique. The natural boundary condition is encoded by testing in the whole $H^1$ space, without needing pointwise conormal derivatives for rough coefficients.

Weak convergence means $\ell (u_j)\to \ell (u)$ for every bounded linear functional $\ell \in X^{\ast }$. Norm convergence implies this by $|\ell (u_j-u)|\le \Vert \ell \Vert \Vert u_j-u\Vert$. The converse fails for coordinate unit vectors in ${\ell }^2$: their norms are one, but pairing with any square-summable sequence tends to zero, so they are weakly null.

For the subsequence assertion apply Gram-Schmidt process to a countable dense subset to choose a countable orthonormal basis $(e_m)$ of the separable Hilbert space and a bound $M$ for the sequence. Repeated subsequence selection and diagonalization make every coefficient $⟨u_{j_k},e_m⟩$ converge to a scalar $a_m$. Bessel inequality gives ${\sum }_{m=1}^N|a_m{|}^2\le M^2$ for every $N$, so $u={\sum }_m{a}_m{e}_m$ exists in $H$ with norm at most $M$. Pairings with finite linear combinations of the basis converge. Approximating any other test vector by such combinations and using the common norm bound proves $u_{j_k}\rightharpoonup u$. The finite-dimensional case uses the same argument with a finite basis.

Apply this to every subsequence of the bounded $L^2$ sequence. Any weakly convergent further subsequence has limit $v$ with ${\int }_a^{b}v=0$, since interval indicators are $L^2$ tests. The permitted fact gives $v=0$ almost everywhere. If the whole sequence failed to converge weakly to zero, some fixed test functional and subsequence would stay a positive distance from zero. Its weakly convergent further subsequence would then contradict the preceding conclusion. Thus the entire sequence converges weakly to zero in $L^2(0,1)$.

Bounded coefficients and Cauchy-Schwarz give $|B[u,v]|\le C\Vert u{\Vert }_{H^1}\Vert v{\Vert }_{H^1}$. Uniform ellipticity gives $B[u,u]\ge \theta \Vert Du{\Vert }_2^2$ because $c\ge 0$. Poincaré inequality $\Vert u{\Vert }_2\le C_P\Vert Du{\Vert }_2$ holds on $H_0^1$ of a bounded domain, soA weak solution is $u\in H_0^1$ satisfying $B[u,\varphi ]=\int f\varphi$ for every $\varphi \in H_0^1$. The energy is finite by boundedness of $B$ and the forcing functional, andIt is bounded below and a minimizing sequence is bounded in the Hilbert space $H_0^1$. Its closed linear span is separable, so part 1 supplies a weakly convergent subsequence with limit $u$. Symmetry and nonnegativity of $B$ showThe forcing term converges by weak convergence. Thus $I(u)\le \mathrm{liminf}I(v_j)$, proving attainment. First variation in every zero-trace direction gives the weak equation. If $u,w$ are two solutions, test their difference equation with $u-w$ and use coercivity to get $u=w$. Hence there is exactly one weak solution, and it is the unique energy minimizer. Indeed $I(v)-I(u)=\frac{1}{2}B[v-u,v-u]$ directly verifies the minimizing property.

A continuous embedding $X\hookrightarrow Y$ is an injective continuous linear inclusion, so $\Vert x{\Vert }_Y\le C\Vert x{\Vert }_X$ for a fixed constant. On a finite-measure domain, Holder inequality giveswith $1/\infty =0$. For finite $p>q$ apply Holder inequality to $|u{|}^q\cdot 1$ with exponents $p/q$ and $p/(p-q)$; equality of exponents is immediate, and $p=\infty$ follows by integrating the supremum bound.

Weak convergence $u_j\rightharpoonup u$ means $\ell (u_j)\to \ell (u)$ for every bounded linear functional $\ell \in X^{\ast }$. The Riemann-Lebesgue lemma says that the Fourier transform of an integrable function tends to zero at high frequency. Since $L^2(0,1)\subset L^1(0,1)$, it makes $\cos (j\pi x)$ weakly null in $L^2$. Its absolute value is at most one, so $u_j{v}_j\in L^2$. For a test $\varphi \in L^2$,while $\int u_{j}v\varphi \to 0$ by the Riemann-Lebesgue lemma applied to $v\varphi \in L^1$. Hence $u_j{v}_j\rightharpoonup 0$. Taking $w_j=u_j=\cos (j\pi x)$ instead gives $u_j{w}_j=(1+\cos (2j\pi x))/2\rightharpoonup 1/2$, so two weakly null factors need not have a weakly null product.

For ${\bar{z}}_j=j^{1/p}{1}_{(0,1/j)}$ and $p^{\prime }=p/(p-1)$, Holder inequality givesThus ${\bar{z}}_j\rightharpoonup 0$ in $L^p$. In contrast, if $z_j$ had a weak $L^1$ limit $z$, testing on every interval strictly away from zero would give integral zero for $z$, hence $z=0$ almost everywhere by the permitted fact. Testing against the constant function one would give $\int z=1$, a contradiction. Therefore $z_j$ has no weak $L^1$ limit.

A normed vector space has the Radon-Riesz property when weak convergence $u_k\rightharpoonup u$ together with $\Vert u_k\Vert \to \Vert u\Vert$ implies strong convergence $u_k\to u$. The Hilbert-space case is the Radon-Riesz theorem. The condition prevents norm from remaining in weakly invisible directions.

The l-p sequence space ${\ell }^1$ has the Schur property. If a weakly null sequence stayed bounded below in norm, coordinatewise convergence and summability would select disjoint blocks containing almost all of successive terms. A sequence in ${\ell }^{\infty }$ matching their signs on those blocks would pair uniformly positively with a subsequence, contradicting weak convergence through the duality of l1 and l infinity.

A subset $K$ of a normed space is sequentially weakly closed when every weakly convergent sequence in $K$ has its limit in $K$. Every weakly closed set has this property. For a convex set in a Banach space, it is equivalent to closure in the norm topology: Mazur lemma produces norm convergent convex combinations from any weakly convergent sequence, and conversely norm convergence implies weak convergence. For a Hilbert space, the weak Banach–Saks theorem in a Hilbert space supplies these convex combinations as subsequence averages. No equivalence with weak closedness is asserted here for arbitrary nonconvex sets.

The weak limit of a sequence in a normed vector space is an element at which every continuous linear functional has the limit of its values along the sequence. Thus the definition is precisely weak convergence to that element.

Weak convergence to zero gives pointwise convergence by the continuous evaluation functionals and uniform boundedness in the supremum norm by the weakly bounded set criterion. The dominated convergence theorem for Lebesgue measure then proves the displayed implication. The finite measure of the interval and uniform norm bound are the relevant hypotheses.