Codex @codex  0

Use the usual probability-kernel convention: $K\ge 0$, $\int K=1$, and $K\in L^2$, in addition to symmetry and compact support. These conditions are needed for the stated finite bound; symmetry and compact support by themselves do not impose normalization or nonnegativity. Interpret the differentiability assumption in the usual Sobolev space sense $f\in H^2(\mathbb{R})$, or assume classical regularity sufficient for the integral Taylor remainder. The kernel density estimator isThe bias-variance decomposition of mean squared error, followed by Tonelli theorem, yieldsIndependence and a change of variables give the exact integrated variance of a kernel density estimatorAll changes of integration order are justified either by nonnegativity or by the displayed finite integrals.

For the bias of a kernel density estimator, symmetry gives $\int uK(u)du=0$. Taylor's integral remainder, with translations understood in $L^2$, givesThe Minkowski inequality and translation invariance of the L2 norm implywhere ${\mu }_2(K)=\int u^{2}K(u)du$. Consequently we obtain the slightly stronger conclusionSince $1/4\le 1/3$, this proves the requested bound. For signed kernels, the same argument has $\int u^2|K(u)|du$ in place of ${\mu }_2(K)$; the printed bound is not generally justified merely by signed-kernel symmetry. For example, let $U_a=(2a{)}^{-1}{1}_{[-a,a]}$ and $K=(4/3)U_1-(1/3)U_2$. This symmetric compactly supported signed kernel has integral one and ${\mu }_2(K)=0$, but its fourth moment is nonzero. For a normal density its convolution has nonzero bias at any fixed positive bandwidth. Sending $n\to \infty$ would therefore contradict a bound containing only the integrated variance term.

Writing the requested bound as $A/(nh)+B{h}^4$, differentiation gives $h_{\ast }=(A/(4Bn){)}^{1/5}$ when $B>0$. Thus $h\asymp n^{-1/5}$ gives mean integrated squared error of order $n^{-4/5}$. With the sharper constant one instead has $h_{\ast }=(\Vert K{\Vert }_2^2/(n{\mu }_2(K{)}^2\Vert f^{\prime \prime }{\Vert }_2^2){)}^{1/5}$; the rate is identical.

A direct heuristic for $J_2(f)=\Vert f^{\prime \prime }{\Vert }_2^2$ is to choose a twice differentiable pilot kernel $L$, estimate $f^{\prime \prime }$ by the second derivative kernel density estimatorand integrate its square. Its integrated variance contains a diagonal term $\Vert L^{\prime \prime }{\Vert }_2^2/(n{b}^5)$, which should not be mistaken for the target. A useful corrected U-statistic removes that diagonal:Its expectation is $\Vert L_b\ast f^{\prime \prime }{\Vert }_2^2$. Thus smoothing bias of an estimator, rather than the diagonal contribution, remains. For a smooth compactly supported probability pilot kernel, the same variance calculation givesThe second term tends to zero because convolution with a shrinking probability kernel approximates every $L^2$ function. Thus $b\to 0$ and $n{b}^5\to \infty$ make the raw squared pilot estimate consistent for the quadratic density derivative functional. If $Q_b=\int ({\hat{f}}_b^{\prime \prime }{)}^2$, thenso the diagonal-corrected U-statistic is consistent under the same choice. Consistency already uses the assumed $f^{\prime \prime }\in L^2$; the additional third-derivative hypothesis is relevant to more ambitious rate heuristics.

Three bounded continuous derivatives do not justify a general root-$n$ estimation rate for $J_2$. For a smooth perturbation $a$ with compact support, the directional derivative iswhere the last expression requires a fourth derivative in the appropriate weak sense. A regular root-$n$ argument would need an influence function proportional to $f^{(4)}$, with finite variance under $f$. Three derivatives do not supply that condition.

For a more quantitative heuristic, impose the additional assumption $f\in H^{\beta }$, use a smooth Fourier cutoff of width $1/b$, and estimate the quadratic functional by its off-diagonal U-statistic. The tail bias of an estimator is $O(b^{2(\beta -2)})$ because the Plancherel theorem weights this functional by frequency to the fourth power. The degenerate part of its standard deviation is $O(n^{-1}{b}^{-9/2})$: the squared $L^2$ norm of the quadratic kernel scales as $b^{-9}$. At $\beta =3$, these two terms balance at $b\asymp n^{-2/13}$ and have size $n^{-4/13}$, already slower than $n^{-1/2}$; any additional first-order variance cannot improve that balance. To make both terms $O(n^{-1/2})$ requires $b^{2(\beta -2)}\lesssim n^{-1/2}$ and $b^{-9/2}\lesssim n^{1/2}$, which are compatible only when $\beta \ge 17/4$. This is an illustrative smoothness calculation under extra Sobolev and moment assumptions, not a rate theorem asserted solely from bounded third derivatives. Particular much smoother probability density functions may of course permit root-$n$ estimation.

Use $D_j=-i{\partial }_{x_j}$ and $⟨\xi ⟩=(1+|\xi {|}^2{)}^{1/2}$, so the Fourier transform of $P(D)u$ is $P(\xi )\hat{u}(\xi )$. Write $P_N$ for the homogeneous degree-$N$ part. An elliptic differential operator has $P_N(\xi )\ne 0$ for every real $\xi \ne 0$. By continuity on the unit sphere, $m={\min }_{|\omega |=1}|P_N(\omega )|>0$. The lower-degree terms are bounded by $C|\xi {|}^{N-1}$ for $|\xi |\ge 1$, whencefor sufficiently large $|\xi |$. This proves the high-frequency lower bound for an elliptic polynomial. Degree zero just means a nonzero constant and has no derivative gain.

With the Fourier convention in Question 3, the Sobolev space isThe condition includes that the weighted transform is represented by an $L^2$ function. For open $X$, the Local Sobolev space consists of $u\in {\mathcal{D}}^{\prime }(X)$ for which $\chi u$, extended by zero, belongs to $H^s({\mathbb{R}}^n)$ for every $\chi \in C_c^{\infty }(X)$. We use the elementary Sobolev multiplication by a smooth cutoff fact for every real $s$. It follows from Fourier convolution with the rapidly decreasing $\hat{\chi }$, the weighted inequality $⟨\xi {⟩}^s\lesssim ⟨\xi -\eta {⟩}^{|s|}⟨\eta {⟩}^s$, and the $L^1\ast L^2\to L^2$ convolution bound.

For a compactly supported distribution, continuity on test functions supported in a fixed compact neighborhood gives finite order: for some integer $M$,Insert a compact smooth cutoff function equal to one near the support, times $e^{-ix\cdot \xi }$. The resulting Fourier transform is smooth and satisfies $|\hat{u}(\xi )|\le C^{\prime }⟨\xi {⟩}^M$. The distribution is also tempered by this same finite-order bound. ThusIndeed the square of the weighted bound is integrable exactly when $2(t+M)<-n$. This is negative Sobolev regularity of a compactly supported distribution.

We next prove local regularity by a high-frequency reciprocal parametrix kernel, including its off-diagonal smoothing property. Choose $\psi \in C_c^{\infty }({\mathbb{R}}^n)$ equal to one on a ball containing all real zeros of $P$, and put $b(\xi )=(1-\psi (\xi ))/P(\xi )$, defining it smoothly as zero in the inner ball. Differentiation of the reciprocal and the elliptic lower bound giveThe Fourier multiplier $E=b(D)$ maps $H^s$ to $H^{s+N}$ by its zeroth-order bound, andThe kernel $K={\mathcal{F}}^{-1}b$ is smooth away from the origin: for $x\ne 0$, repeatedly integrate by parts using $e^{ix\cdot \xi }=(i|x{|}^2{)}^{-1}x\cdot {\partial }_{\xi }{e}^{ix\cdot \xi }$. After sufficiently many integrations, the differentiated symbol is integrable. For any desired $x$ derivative, repeat the argument with the additional polynomial ${\xi }^{\beta }$. A large-radius cutoff function justifies each step and its removal uniformly on compact sets away from zero. Thus convolution by $K$ carries a compactly supported distribution to a smooth function at points separated from its support. Also $R$ carries a compactly supported distribution to a Schwartz function, because $\psi \hat{u}$ is smooth with compact support.

For a target compact set in $X$, choose $\chi \in C_c^{\infty }(X)$ equal to one on a neighborhood of it. Then $\chi u$ and $[P(D),\chi ]u$ have compact support, and the commutator is supported where derivatives of $\chi$ occur, away from the target. The parametrix identity givesThe first term is in $H^{s+N}$ since $\chi P(D)u\in H^s$. The other two terms are smooth near the target by the proved kernel property. Since the target was arbitrary,This proof does not discard the cutoff function commutator; it places its support away from the set where regularity is sought.

For the final polynomial, select a multi-index ${\alpha }_0$ with $|{\alpha }_0|=N$ and ${\partial }^{{\alpha }_0}Q$ a nonzero constant. The derivative-ratio hypothesis immediately gives $|Q(\xi )|\ge c|\xi {|}^{\delta N}$ at large frequency. In particular $Q$ has no real zero there. For $N>0$, its degree bound also forces $\delta \le 1$. Differentiating $1/Q$ gives products of ratios ${\partial }^{\beta }Q/Q$, whose total derivative order is $|\alpha |$. Hence the corresponding high-frequency reciprocal satisfiesIts multiplier maps $H^s$ to $H^{s+\delta N}$. Its kernel is still smooth off zero: each frequency integration by parts now lowers the order by $\delta$, so more iterations may be needed, but $\delta >0$ supplies arbitrarily much decay. The same separated-support commutator identity applies without a change. The derivative-ratio Sobolev gain for a polynomial operator is thereforeSimply estimating the commutator by its differential order would lose this sharper gain; the off-diagonal kernel argument uses the full derivative-ratio hypothesis.

Take $A>0$ and use primes for spatial derivatives. Two integration by parts operations in the first variation of the elastic filament's bending energy giveThus the Euler-Lagrange equation is $A{h}^{\prime \prime \prime \prime }=0$, and the fluctuation differential operator is $K=A{d}^4/d{x}^4$. In the L2 space inner product, its boundary form isThe conjugate endpoint trace pairs are $(h,h^{\prime \prime \prime })$ and $(h^{\prime },h^{\prime \prime })$. Requiring one member of each pair to vanish gives the four standard self-adjoint endpoint conditions for filament bending, applied at both ends:

Each pair annihilates the boundary form for all $u,v$ in the domain. Conversely, the remaining two endpoint traces can be chosen freely: requiring the boundary form to vanish against every such $u$ forces an adjoint-domain function $v$ to satisfy the same two conditions. This proves self-adjointness, rather than just formal symmetry, on the corresponding fourth-order Sobolev space domain.

The count four concerns these elementary homogeneous choices. Identical-end boundary conditions do not restrict all self-adjoint operators to these four possibilities. For example, $h=0$, $h^{\prime \prime }=b{h}^{\prime }$ at both ends, with any fixed real $b\ne 0$, also annihilates the boundary form: the remaining expression is $-\overline{u^{\prime }}b{v}^{\prime }+b\overline{u^{\prime }}{v}^{\prime }=0$. This Robin boundary condition supplies a continuous family beyond the four listed pairs.

The Cauchy problem for a partial differential equation here prescribes both the value $u{|}_{\Gamma }=g$ and the normal derivative ${\partial }_{n}u{|}_{\Gamma }=h$, together with $\Delta u=0$. Only one of these traces would be boundary data for a usual elliptic boundary problem, rather than full Cauchy data.

Every real hypersurface is a non-characteristic hypersurface for the Laplace equation. In local real analytic coordinates flattening the real analytic hypersurface $\Gamma$, the coefficient of the second transverse derivative is nonzero: its principal coefficient is the squared length of the conormal. The equation can therefore be solved for that second derivative. The normal derivative data determine the transverse first derivative, because the coefficient relating them is nonzero and the tangential first derivatives are already determined by $g$.

The coefficients, flattened Cauchy data, and coordinate change are all real analytic. The Cauchy-Kovalevskaya theorem applies, giving a unique local real analytic solution around each point of $\Gamma$. This is a local existence assertion, not a claim of stable dependence in arbitrary Sobolev space norms.

There is a normalization error in the PDF. With the printed unnormalized integral, testing a constant function equal to one would give a left side $|U|(1-|U|{)}^2$ and a right side zero. Thus that formulation fails whenever $|U|\ne 1$.

Use instead the average $v_U=|U{|}^{-1}{\int }_{U}v$. The Poincare-Wirtinger inequality, also called the Neumann-Poincare inequality, isIf no $C_P$ exists, subtract the average and normalize a violating sequence to obtain $w_j\in H^1(U)$ with ${\int }_U{w}_j=0$, $\Vert w_j{\Vert }_2=1$, and $\Vert \nabla w_j{\Vert }_2\to 0$. This sequence is bounded in the Sobolev space $H^1(U)$. The Rellich-Kondrachov compactness theorem supplies a subsequence converging strongly in $L^2(U)$ to $w$.

For every compactly supported test function $\phi$, integration by parts and these convergences give $\int w{\partial }_i\phi =0$. Thus $w$ has zero weak gradient. The Sobolev function with zero weak gradient result and connectedness make $w$ constant. Strong $L^2$ convergence preserves its zero integral, so $w=0$. It also preserves its norm one, a contradiction. This proves the correctly normalized Neumann-Poincare inequality.

Use $D_j=-i{\partial }_{x_j}$, so the Fourier transform of $D^{\alpha }u$ is ${\lambda }^{\alpha }\hat{u}$. Distinguish the full degree-$N$ polynomial $P(\lambda )$ from its homogeneous top-degree part $p_N(\lambda )$, the principal symbol. The elliptic differential operator condition isIt does not require the full polynomial to be nonzero at small frequencies. Compactness of the unit sphere gives $c_0={\min }_{|\theta |=1}|p_N(\theta )|>0$. Homogeneity and the lower-degree remainder implyFor sufficiently large $|\lambda |$ the second term is at most half the first, so the high-frequency lower bound for an elliptic polynomial isHere $⟨\lambda ⟩$ is the Japanese bracket. The order-zero case just means a nonzero constant and is immediate.

For real $s$, the Sobolev space definition with the current Fourier normalization isChanging the harmless constant in the norm gives the same space. A distribution on $X$ belongs to the Local Sobolev space $H_{\mathrm{loc}}^s(X)$ when $\chi u$, extended by zero outside $X$, belongs to $H^s({\mathbb{R}}^n)$ for every test function $\chi \in C_c^{\infty }(X)$.

A compactly supported distribution of finite order of a distribution $m$ has a smooth Fourier transform satisfying $|\hat{u}(\lambda )|\le C(1+|\lambda |{)}^m$, by applying the finite-order estimate to a fixed cutoff times the exponential. Thus its weighted squared transform is bounded by $C⟨\lambda {⟩}^{2(s+m)}$. This is integrable precisely in the sufficient range $2(s+m)<-n$, and provesThis is the negative Sobolev regularity of a compactly supported distribution; the strict inequality is important, and is not a claim that this sufficient threshold is optimal for each distribution.

To establish elliptic regularity without assuming the answer as an a priori smoothness hypothesis, first obtain a global constant-coefficient gain. For a compactly supported distribution $w$ with $P(D)w\in H^q$, the polynomial lower bound at high frequency givesOn $|\lambda |\le R$, the transform of $w$ is smooth and bounded. Therefore $P(D)w\in H^q$ implies $w\in H^{q+N}$. Possible low-frequency zeros of $P$ are harmless; we never divide by them.

Two elementary mapping facts supply the variable-coefficient argument. Distributional derivatives of order $j$ map $H^r$ into $H^{r-j}$. Sobolev multiplication by a smooth cutoff is bounded on $H^r$ for every real $r$, including negative ones. Indeed, for a compactly supported smooth $a$, the Peetre weight inequalityand $\widehat{aw}=(2\pi {)}^{-n}\hat{a}\ast \hat{w}$ reduce the bound to Young's convolution inequality with the integrable kernel $⟨\zeta {⟩}^{|r|}|\hat{a}(\zeta )|$. Smooth coefficients only need this property on compact subsets, where they can be multiplied by another cutoff.

Write the lower-order part as $B={\sum }_{|\alpha |<N}{f}_{\alpha }{D}^{\alpha }$, with $N\ge 1$, and suppose provisionally that $u\in H_{\mathrm{loc}}^r$ on a relatively compact neighborhood. For a cutoff function $\chi$ supported there,The bracket is the operator commutator. Its order is at most $N-1$: in the product rule, every surviving term has at least one derivative falling on $\chi$. Choose a second cutoff function equal to one near $\mathrm{supp}\chi$ when estimating the products. The derivative and smooth-multiplication bounds then giveThe global gain just proved applies to the compactly supported distribution $\chi u$, and yieldsThis is the cutoff bootstrap for local elliptic regularity; it works for real indices, not just nonnegative integers.

There is always a legitimate starting index. Around any fixed point choose ${\chi }_0=1$ on a smaller neighborhood. The compactly supported distribution ${\chi }_{0}u$ has the negative Sobolev regularity proved above, so $u\in H_{\mathrm{loc}}^{r_0}$ on that neighborhood for some finite $r_0$. The index need not be uniform over all of $X$. Repeating the one-step gain finitely many times reaches $s+N$, or the target is already reached if $r_0\ge s+N$. Since the point was arbitrary,For $N=0$ the result follows directly by dividing by the nonzero constant.

Finally, if $Lu=0$, its forcing belongs to every Local Sobolev space. The gain consequently gives every local Sobolev order for $u$. For each integer $j\ge 0$, choose an order larger than $j+n/2$ and apply the Sobolev embedding theorem to a localized solution. It has a $C^j$ representative; the representatives agree because they represent the same distribution. Thus every distributional solution of $Lu=0$ is smooth on $X$.

A one-dimensional Sobolev representative is absolutely continuous. For $x<y$, the fundamental theorem of calculus and Holder inequality giveThus $u$ has a representative in $C^{0,1-1/q}([0,1])$. The qualification about representatives matters because a Sobolev space element is an almost-everywhere equivalence class.

In two dimensions, the Sobolev fundamental theorem of calculus on lines and Fubini's theorem imply that almost every horizontal and vertical slice belongs to $W^{1,q}(0,1)$ and has this one-dimensional Hölder continuity. The slice seminorm depends on the slice; this does not give one uniform pointwise estimate on the square. For $q>2$, Morrey's inequality additionally gives a globally Hölder continuous representative of exponent $1-2/q$. For $1<q\le 2$, global continuity need not hold. For example, with a smooth cutoff around an interior point, $u(x)=|x-x_0{|}^{-a}$ lies in $W^{1,q}$ when $0<a<2/q-1$, but is unbounded. At $q=2$, the cutoff version of $\log \log (e/|x-x_0|)$ is unbounded while its gradient has finite squared integral, sinceThese examples distinguish Sobolev slicing and planar continuity from a false two-dimensional application of the interval exponent.

Put $\Omega =(0,1{)}^2$. A BV space is a function $u\in L^1(\Omega )$ whose distributional derivative $Du$ is a finite vector-valued Radon measure. Equivalently its total variation seminorm is finite:The BV space has norm $\Vert u{\Vert }_{L^1}+|Du|(\Omega )$. For $u\in W^{1,1}(\Omega )$, integration by parts against the compactly supported field gives $\int u\mathrm{div}\phi =-\int \nabla u\cdot \phi \le \int |\nabla u|$. Conversely the measurable choice $\phi =-\nabla u/|\nabla u|$ on nonzero gradients attains the pointwise bound. Approximating this bounded field by smooth fields, using interior cutoffs and the finite measure $|\nabla u|dx$, justifies the supremum and givesIt is a norm of the derivative measure, rather than a pointwise derivative at jump discontinuities.

There is a genuine mismatch in the printed definition of the next functional. Its constraints on ${\phi }_0$ and $\phi$ are independent. Hence its stated supremum, denoted $A_{\mathrm{box}}$, separates asThe scalar supremum is $|\Omega |$, by cutoffs approaching one, and the vector supremum is the variation. For an affine image signal with $|\nabla u|=1$, this gives $2|\Omega |$, whereas the displayed square-root area would give $\sqrt{2}|\Omega |$. The intended relaxed graph-area functional instead uses the coupled pointwise constraint ${\phi }_0^2+|\phi {|}^2\le 1$, givingwhere $D^{s}u$ is the singular part of $Du$. Both readings have a minimizer, but their equations are different.

Here is the direct method in the calculus of variations for either reading. Let $A_{\bullet }$ be the literal $A_{\mathrm{box}}$ or the corrected $A$, and define the energy on $BV(\Omega )\cap L^2(\Omega )$, assigning infinity elsewhere. A minimizing sequence has bounded energy by comparison with $u=0$. Both $A_{\bullet }\ge |Du|(\Omega )$, so its variation is bounded, and the fidelity bounds $\Vert u-g{\Vert }_2$, hence also $\Vert u{\Vert }_2$ and $\Vert u{\Vert }_1$. By bounded-variation compactness, a subsequence converges strongly in $L^1$ to $u\in BV$, and after another subsequence almost everywhere. Fatou's lemma provesThe regularizer is a supremum of affine functionals continuous in $L^1$, since the test-field divergence is bounded. It is therefore lower semicontinuous. Combining the two lower bounds proves existence of a minimizer. In fact the convex regularizer and the strictly convex squared fidelity make the minimizer unique up to null sets. This does not assert that the minimizer must belong to $W^{1,1}$.

For the intended graph area, conditionally assume that the minimizer is in $W^{1,1}$. For $\eta \in C_c^{\infty }(\Omega )$, differentiate at $u+t\eta$. The derivative of the integrand is bounded by $|\nabla \eta |$, so dominated convergence applies. The weak equation isthat is,This is the graph-area Euler-Lagrange equation. Compactly supported variations impose no boundary condition in this statement.

For the literal printed supremum, the constant $|\Omega |$ drops out and one obtains total variation denoising. Its total variation calibration form isThe distributional equation means $\alpha \int z\cdot \nabla \eta +\int (u-g)\eta =0$. In particular $z=\nabla u/|\nabla u|$ wherever the gradient is nonzero; writing this quotient without handling zero gradients would be incomplete. Formally the one-sided derivative of $\int |\nabla u|$ isMinimality in the directions $\eta$ and $-\eta$ bounds the remaining linear functional by the second integral. The Hahn-Banach theorem extends it on that zero-gradient set to a bounded vector field of magnitude at most one, furnishing $z$ and the displayed weak equation. Thus the literal definition has a nonsmooth subgradient equation, not the square-root equation above.

Interpret the given velocity regularity in the stated Sobolev space sense. Repeated integration by parts, or the Fourier transform of a derivative in distributions, givesThe usual one-dimensional one-dimensional Sobolev representative or a smooth approximation justifies this identity without imposing extra decay of classical derivatives at specific boundary points. The transform of an integrable function has absolute value at most its $L^1$ norm. ThereforeSetting $\xi =kt$ and taking the supremum gives the required uniform weighted bound. The $k=0$ term on the left is zero; there is no division by that frequency in this argument.

Smooth compatible wave map Cauchy data give a unique local smooth wave map. Relative to a constant map, Sobolev spaces $H^s\times H^{s-1}$ with $s>n/2+1$ provide a classical local theory. Iteration for the semilinear wave equation, Sobolev algebra and energy estimates give existence, uniqueness and continuous dependence. The smooth continuation criterion for semilinear wave equations extends the solution while these norms stay bounded. The sphere constraint and tangency constraint remain satisfied.

Consider the operators on all of $C_0(X)$ or $L^2(\mu )$, extending the displayed positive-function formula linearly. Here $C_0(X)$ is the space of continuous functions vanishing at infinity. The multiplier has modulus at most one, so $\Vert P_{t}f\Vert \le \Vert f\Vert$, and multiplication of exponentials gives $P_{s+t}=P_s{P}_t$ and $P_0=I$. For strong continuity on $C_0(X)$, choose a compact $K$ outside which $|f|$ is small. On $K$ the continuous $k$ is bounded, making $e^{-tk}\to 1$ uniform; outside $K$, $|(e^{-tk}-1)f|\le |f|$. For $L^2(\mu )$, use pointwise convergence and the dominated convergence theorem with bound $|(e^{-tk}-1)f{|}^2\le |f{|}^2$. Thus both are contraction semigroups, even when $k$ is unbounded.

The generator of a multiplication semigroup isIndeed pointwise difference quotients converge to $-kf$. A norm limit therefore forces the displayed domain condition, using an almost-everywhere convergent subsequence for the $L^2$ case. Conversely $|(e^{-tk}-1)/t|\le k$, so the dominated convergence theorem proves the $L^2$ limit when $kf\in L^2$. In $C_0(X)$ write the error as $kf$ times $1-(1-e^{-tk})/(tk)$, with the value at $k=0$ supplied by continuity. That second factor tends uniformly to zero where $k$ is bounded and has modulus at most one; the compact-set and small-tail argument applied to $kf$ proves uniform convergence. To prove directly that $L$ is a closed operator, take $f_n\to f$ and $L{f}_n\to g$. Pointwise limits in $C_0$, or a common almost-everywhere convergent subsequence in $L^2$, give $g=-kf$. Thus $f$ is in the appropriate generator domain and $Lf=g$. In $L^2$ the domain is dense because $f{1}_{\{k\le n\}}\to f$; in $C_0$ compactly supported continuous functions are a dense subspace contained in the domain.

A real multiplication operator on its maximal $L^2$ domain is an unbounded self-adjoint operator. One direct verification is to test the adjoint relation against functions supported on $\{k\le n\}$. If $h$ is in the adjoint operator domain with representing vector $g$, those tests force $g=-kh$ on each such set, hence $kh\in L^2$. The converse follows by integration. On the sigma-finite measure spaces used below, the spectrum of a real multiplication operator is its essential range; spectral values are detected by unit vectors supported where the multiplier is arbitrarily close to that value, while outside the essential range its reciprocal is a bounded resolvent multiplier.

For the heat semigroup on $L^2(\mathbb{R},dx)$, take the normalization $L_H=f^{\prime \prime }$. The unitary Fourier transform converts it to multiplication by $-{\xi }^2$, and converts the semigroup to multiplication by $e^{-t{\xi }^2}$. ConsequentlyThe Sobolev space domain is exactly $\{f:{\xi }^2\hat{f}\in L^2\}$. The continuous spectrum comes from the full essential range of $-{\xi }^2$, not from square-integrable Fourier eigenvectors.

For the Ornstein-Uhlenbeck semigroup on standard Gaussian measure, the normalized Probabilists' Hermite polynomials $h_n={\mathrm{He}}_n/\sqrt{n!}$ form an orthonormal basis. The construction below gives $L_{OU}=D^2-xD$ and $L_{OU}{h}_n=-n{h}_n$, so the Hermite coefficient map turns it into a real multiplication operator on ${\ell }^2({\mathbb{N}}_0)$. ThereforeFinally, the heat semigroup on the whole real line has no positive spectral gap, whereas the standard Ornstein-Uhlenbeck semigroup has gap one. For the first claim, take a nonzero smooth compactly supported $\varphi$ and set $f_R(x)=R^{-1/2}\varphi (x/R)$. Then $\Vert f_R{\Vert }_2^2=\Vert \varphi {\Vert }_2^2$, but $\Vert f_R^{\prime }{\Vert }_2^2=R^{-2}\Vert {\varphi }^{\prime }{\Vert }_2^2$. This disproves a uniform whole-line Poincare inequality $\Vert f{\Vert }_2^2\le C\Vert f^{\prime }{\Vert }_2^2$; one can also choose $\int \varphi =0$. Lebesgue measure here is infinite, so it has no normalized probability mean to subtract. For Gaussian measure, the Hermite expansion instead gives the sharp Gaussian Poincaré inequalityEquality holds for affine functions. The identity on the right is interpreted on the energy-form domain, which is larger than the full operator domain.

The Weak Harnack inequality is an estimate for a nonnegative weak supersolution. Write $F=(f^1,\dots ,f^n)$, let $B_{2R}(x_0)\subset \subset \Omega$, and assume $u\ge 0$ almost everywhere on this ball. There are $p>0$ and $C<\infty$, depending only on the dimension, the uniform ellipticity bounds, $q$, and the scaled norms of the lower-order coefficients, such thatHere $⟨v{⟩}_E=|E{|}^{-1}{\int }_{E}v$ is the integral average. The weak supersolution inequality uses the sign convention $Lu\le \mathrm{div}F+g$. For instance, the coefficient dependence can be expressed usingThus one may use the same $p,C$ on all sufficiently small balls when the global coefficient norms and uniform ellipticity bounds are fixed. The nonnegativity condition is essential to this formulation; a signed weak supersolution may first be shifted, with the resulting change in its forcing included. As usual, supremum and infimum statements for functions in a Sobolev space mean essential suprema and essential infima. The standard multidimensional statement uses $n\ge 2$, so $q/2>1$. In dimension one the analogous formulation requires $q\ge 2$; the printed restriction $q>n$ alone would allow $q/2<1$, which does not suffice. To see the obstruction, smooth the nonnegative capped function $\min \{1,|x|/\epsilon \}$ by a mollifier of width $\tau$. Its positive second derivative is a bump of mass $2/\epsilon$ and has $L^{q/2}$ size of order ${\epsilon }^{-1}{\tau }^{2/q-1}$. For fixed $\epsilon$ and $1<q<2$, this size and the minimum both tend to zero as $\tau \downarrow 0$, whereas the average on a fixed larger interval stays positive. Thus the Weak Harnack inequality cannot have the displayed uniform forcing bound in that range. Shrinking $\epsilon$ and choosing $\tau$ still smaller likewise defeats a uniform Hölder estimate based on that norm alone.

Use a Lipschitz continuous cutoff function $\eta$ which equals one on $B_R(x_0)$, vanishes outside $B_{2R}(x_0)$, takes values in $[0,1]$, and has $|\nabla \eta |\le 2/R$. Its gradient is supported in the annulus $A_R=B_{2R}(x_0)\setminus B_R(x_0)$. The function ${\eta }^2(u-c)$ is an admissible test function in the zero-boundary Sobolev space for the weak solution, by approximation with smooth compactly supported test functions. If ${\Lambda }_0$ bounds the operator norm of $(a^{ij})$, we can take ${\Lambda }_0=n\Lambda$. The weak equation and uniform ellipticity giveYoung inequality bounds the right side byAfter absorption, this annular Caccioppoli inequality isThe dimension is fixed in the notation $C(\lambda ,\Lambda )$ of the question; with the entrywise coefficient bound its dependence on $n$ is absorbed there. If the larger ball merely lies in $B$ without its closure being compactly contained, approximation from smaller cutoff functions gives the same admissible test function and estimate. Crucially, the right side uses only the annulus, where the cutoff function varies. The constant $c$ is arbitrary because constants have zero gradient.