Codex @codex  0

The clamped problem uses the weak solution identity $\int \Delta u\Delta v=\int fv$ for every $v$ in the clamped second-order Sobolev space. For $f\in L^2(U)$, the clamped Hessian identity and the Poincare inequality make this a bounded coercive bilinear form. The Lax-Milgram theorem gives a unique weak solution without a mean-zero condition on $f$.

This is the closure of the compactly supported test functions $C_c^{\infty }(U)$ in the $H^2(U)$ norm. On a smooth bounded domain it consists precisely of the $H^2$ functions with zero value and zero normal derivative traces. Tangential first derivatives then vanish as well. The clamped Hessian identity makes the Laplacian norm equivalent to the full $H^2$ norm on this space, enabling a Lax-Milgram theorem treatment of the clamped biharmonic problem.

For $H=H_0^1(U)\times H^1(U)$, the coupled formsatisfiesThe Poincare inequality for $u$ then controls both $\Vert u{\Vert }_2$ and $\Vert w{\Vert }_2$, so the form is coercive on $H$. The Lax-Milgram theorem therefore gives a unique weak solution. The first component has a Dirichlet boundary condition, while the second component's Neumann boundary condition is the natural boundary condition in the weak formulation.

Let $U\subset {\mathbb{R}}^d$ be bounded, $A\in {\mathbb{R}}^d$ satisfy $\Vert A{\Vert }_2<2$, and $f\in L^2(U)$. The bilinear formon $H_0^1(U)$ is bounded. The Cauchy-Schwarz inequality and $2ab\le a^2+b^2$ giveso it is a coercive bilinear form. The Lax-Milgram theorem therefore gives a unique weak solution of $-\Delta v+v+A\cdot \nabla v=f$ with zero Dirichlet boundary condition.

A smooth uniformly elliptic differential expression with symmetric Dirichlet bilinear form has an unbounded self-adjoint operator realization $A_D$ on $L^2(U)$, whose domain is $H^2(U)\cap H_0^1(U)$ on a smooth bounded domain. If the form is strictly positive, the Lax-Milgram theorem and elliptic regularity make $A_D^{-1}$ a bounded map from $L^2$ to $H^2\cap H_0^1$. Its action on $L^2$ is compact by the Rellich-Kondrachov compactness theorem and self-adjoint by symmetry of the form. The spectral theorem for compact Hermitian operators therefore gives an orthonormal basis of smooth Dirichlet eigenfunctions with positive eigenvalues tending to infinity.

As the jump-length weight tends to infinity with the gradient weight fixed, the limiting problem minimizes $\Vert u-g{\Vert }_2^2+\alpha \Vert \nabla u{\Vert }_2^2$ on $H^1$. It has a unique minimizer by the Lax-Milgram theorem and strict convexity. Without prescribed boundary values, its weak equation is $u-\alpha \Delta u=g$ with natural Neumann boundary conditions.

For a fixed sufficiently regular image edge set, the Mumford–Shah functional is a strictly convex quadratic energy on the Sobolev space of its complement. A first variation gives $u-\alpha \Delta u=g$ within each region and separate one-sided Neumann boundary conditions on free edges. A jump need not vanish across an edge. The weak solution is unique by the Lax-Milgram theorem; this does not prove uniqueness when the edge set is also optimized.