Codex @codex  0

This Hilbert space has norm $\Vert u{\Vert }_X^2=\Vert u{\Vert }_2^2+\Vert u^{\prime }{\Vert }_2^2+\Vert xu{\Vert }_2^2$. Completeness follows from completeness of H1 space and closedness of the multiplication operator $u\mapsto xu$. Smooth cutoffs followed by convolution with a mollifier show that smooth compactly supported functions are dense. The space is the natural energy domain of the dimensionless quantum harmonic oscillator, whereas the operator domain additionally requires $u^{\prime \prime }$ and $x^{2}u$ to lie in L2 space.

Assume the bounded set $\Omega$ is measurable, as needed to define its indicator in $L^q$. Put $w_j=f_j-f$ and choose a smooth cutoff function $\eta$ of compact support equal to one near $\Omega$. Weak convergence in the H1 space gives a uniform $H^1$ bound, by the Uniform boundedness principle, and therefore $u_j=\eta w_j$ is uniformly bounded in $H^1$ with fixed compact support.

Here is a direct Fourier proof of the local compactness in the Rellich-Kondrachov compactness theorem. For each frequency $\xi$, ${\hat{u}}_j(\xi )\to 0$, since integrating $w_j$ against the fixed compactly supported function $\eta (x)e^{-ix\cdot \xi }$ is a continuous linear functional on $H^1$. Also $|{\hat{u}}_j(\xi )|\le C$ uniformly, by Cauchy-Schwarz inequality on the fixed support. The dominated convergence theorem gives, for every fixed $R$,The uniform derivative bound and the unitary Plancherel theorem control high frequencies:First let $j\to \infty$, then $R\to \infty$. This proves $\Vert u_j{\Vert }_2\to 0$, and hence $\Vert {\chi }_{\Omega }{w}_j{\Vert }_2\to 0$.

Let $2^{\ast }=2n/(n-2)$. The Sobolev embedding theorem bounds $\Vert u_j{\Vert }_{2^{\ast }}$ uniformly. For $2<q<2^{\ast }$, choose $\theta \in (0,1)$ with $1/q=\theta /2+(1-\theta )/2^{\ast }$. Interpolation of Lp norms gives $\Vert u_j{\Vert }_q\le \Vert u_j{\Vert }_2^{\theta }\Vert u_j{\Vert }_{2^{\ast }}^{1-\theta }\to 0$. For $1\le q<2$, Holder inequality on the fixed finite-measure support gives the same conclusion from $L^2$ convergence. ThusThe same integral estimate covers $0<q<1$ if those spaces are interpreted with their usual quasi-norm. No conclusion at the critical exponent is asserted.

For every compactly supported smooth test function $\varphi$, integration by parts in the definition of the weak derivative givesBoth $\varphi$ and ${\partial }_{\ell }\varphi$ belong to $L^2({\mathbb{R}}^n)$, so the assumed weak limits implyThis is exactly the distributional characterization of ${\partial }_{\ell }g=h_{\ell }$. Since $g,h_1,\dots ,h_n$ are all in $L^2$, the defining condition of the H1 space is satisfied. ThusFor complex functions the same argument uses conjugated test functions in the $L^2$ pairing. No prior identification of an $H^1$ weak limit is needed.

Work with real-valued functions. The screened sine-Gordon energy is well defined: $0\le 1-\cos u\le u^2/2$, and $fu$ is integrable by the Cauchy-Schwarz inequality. It is coercive, becauseA minimizing sequence is bounded in the Hilbert space $H^1$. Weak sequential compactness of bounded sequences in a reflexive Banach space supplies a weakly convergent subsequence. The squared H1 space norm is weakly lower semicontinuous, the source pairing is weakly continuous, and the nonlinear term is covered by local Sobolev compactness gives lower semicontinuity of a nonnegative integral. The direct method in the calculus of variations therefore gives a minimizer $\varphi$.

Taking its first variation in any $v\in H^1$ givesThus the Euler-Lagrange equation isas a weak solution, equivalently in distributions when tested against smooth compactly supported functions. The derivative of the nonlinear term is justified by $|\sin \varphi |\le |\varphi |$ and the second-order remainder bound $|\cos |\le 1$.

Now $G=f-\sin \varphi \in L^2$, so the supplied elliptic regularity estimate puts $\varphi$ in $H^2$. Applying the Sobolev inequality to $\varphi$ and each first weak derivative gives $\varphi \in W^{1,6}({\mathbb{R}}^3)$. Morrey's inequality and uniformly continuous integrable functions vanish at infinity prove that its continuous representative tends to zero.

The final printed supremum estimate is false in general. The maximum bound for a monotone reaction term involves $h(s)=s+\sin s$, which is odd and strictly increasing: $h^{\prime }=1+\cos s\ge 0$, and its zeros are isolated. If $M=\Vert f{\Vert }_{\infty }<\infty$, a positive maximum $m$ of $\varphi$ satisfies $h(m)\le f\le M$; apply the same argument to $-\varphi$. The valid general estimate isThe bound by $M$ is valid if $M\le \pi$, but $h(s)$ can be smaller than $s$ for larger positive $s$.

For an explicit failure of the source-size bound for the screened sine-Gordon equation, take $a=3\pi /2$, $L=10$, $\varphi (x)=a{e}^{-|x{|}^2/L^2}$ and $f=-\Delta \varphi +\varphi +\sin \varphi$. These are smooth functions in the required spaces. With $q=|x{|}^2/L^2$,Hence $\Vert f{\Vert }_{\infty }\le a-1+6a/L^2<a=\Vert \varphi {\Vert }_{\infty }$. Moreover $V(s)=s^2/2+1-\cos s$ has $V^{\prime \prime }=1+\cos s\ge 0$, so the energy is convex and this critical point is a minimizer. The example therefore satisfies even the minimizing and $C^2$ hypotheses of the printed claim.

A contraction semigroup on a Banach space $X$ consists of bounded linear operators $S(t)$ with $S(0)=I$, $S(t+s)=S(t)S(s)$, $\Vert S(t)\Vert \le 1$, and $S(t)x\to x$ as $t\downarrow 0$ for each $x\in X$. Its infinitesimal generator of a semigroup isFor density, Yosida averaging of a semigroup gives $x_h=h^{-1}{\int }_0^{h}S(s)xds$. Taking the difference quotient of this Bochner integral shows that $x_h\in D(A)$ and $A{x}_h=(S(h)x-x)/h$. Strong continuity gives $x_h\to x$, so $D(A)$ is dense.

For closedness, the semigroup restricted to its generator domain satisfiesIf $x_n\to x$ and $A{x}_n\to y$, pass to the limit in this identity. After dividing by $t$, strong continuity gives $(S(t)x-x)/t\to y$. Hence $x\in D(A)$ and $Ax=y$. This proves generator of a strongly continuous semigroup is closed and densely defined.

The contraction form of the Hille-Yosida theorem states that a linear operator $A$ generates a contraction semigroup if and only if it is densely defined and closed, every real $\lambda >0$ lies in its resolvent set, andHere the $n=1$ bound implies the others by taking powers of the same bounded resolvent.

The H1 space is $H^1(\mathbb{R})=\{u\in L^2:u^{\prime }\in L^2\}$ with weak derivative $u^{\prime }$ and squared norm $\Vert u{\Vert }_2^2+\Vert u^{\prime }{\Vert }_2^2$. The displayed weighted space is the one-dimensional harmonic oscillator form domain, with inner productIf $u_n$ is Cauchy in $X$, it converges in $H^1$ to $u$, and $x{u}_n$ converges in L2 space to some $w$. On each bounded interval, multiplication by $x$ is bounded, so $w=xu$ there. Thus $xu\in L^2$ and convergence holds in $X$, proving completeness and the Hilbert space property. Equivalently this is closedness of the multiplication operator by $x$.

For the Sobolev characterization by bounded difference quotients, if $f\in H^1$ thenThe last assertion uses continuity of translation of a function in L2 space. Conversely, if $f\in L^2$ and the quotients are uniformly bounded for $0<|h|<1$, take a weakly convergent subsequence as $h\to 0$. For every test function $v$,The weak limit is therefore the weak derivative $f^{\prime }\in L^2$. This proves the characterization.

For real-valued functions, the inner producton the H1 space induces its usual Sobolev norm. For complex-valued functions, use $u\overline{v}+\nabla u\cdot \overline{\nabla v}$ under the convention that the inner product is linear in its first argument. Omitting conjugation in the complex setting would fail positivity, for example on a purely imaginary constant function.

A real reaction-diffusion weak formulation with unit diffusion and unit reaction has this exact bilinear form. Its conforming Galerkin method is therefore an orthogonal projection and gives a best approximation with constant one in the first-order Sobolev norm.

Let $U$ be a bounded Lipschitz domain and ${\Gamma }_D$ a measurable portion of its boundary. The spaceis a closed vector subspace of the H1 space. The Sobolev trace operator maps $H^1(U)$ continuously into $L^2(\partial U)$, and restriction to ${\Gamma }_D$ is bounded, so $V$ is the kernel of a continuous linear map. Boundary regularity is what makes this ordinary trace formulation available.

No positive-measure assumption is needed for closedness. If $U$ is also connected and ${\Gamma }_D$ has positive surface measure, the Poincare inequality with a partial Dirichlet boundary controls the full Sobolev norm by the gradient norm on $V$.