Codex @codex  0

For $n\ge 3$ and a bounded smooth domain, a Dirichlet Laplacian eigenfunction with eigenvalue $\lambda$ satisfies the displayed estimate. A signed power test for a Laplacian eigenfunction and the zero-boundary Sobolev inequality give a Moser iteration with exponents $p_j=2[n/(n-2){]}^j$. The geometric series ${\sum }_{j}1/p_j=n/4$ gives the exact power of $\lambda$, while ${\sum }_j(\log p_j)/p_j<\infty$ controls the remaining constant. The constant depends only on dimension, because the zero-boundary Sobolev inequality follows by extension by zero to the whole space.

A nonnegative weak solution of a uniformly elliptic divergence-form equation satisfieswhenever a fixed larger concentric ball lies in the domain. Combine the subsolution bound from Moser iteration with the Weak Harnack inequality for supersolutions.

For $n\ge 3$, a nonnegative entire weak subsolution of a bounded measurable uniformly elliptic divergence-form equation that belongs to $L^p({\mathbb{R}}^n)$ for some $p>1$ is zero almost everywhere. Rescaling the local Moser iteration estimate gives $\Vert u{\Vert }_{L^{\infty }(B_{R/2})}\le C{R}^{-n/p}\Vert u{\Vert }_{L^p(B_R)}$. Let $R\to \infty$.

For a uniformly elliptic divergence-form elliptic operator with lower-order coefficients in the supercritical Lebesgue spaces, truncation tests and Moser iteration bound the positive part of a weak subsolution on an interior ball by its Lp norm on a larger ball and the forcing norms. In particular, every weak subsolution of the homogeneous equation is locally bounded above. This is the preliminary estimate needed when a strong maximum principle is phrased using essential suprema.

Set $q_i=2{\alpha }^i$, $r_i=1/2+2^{-i-1}$ and $N_i=\Vert u{\Vert }_{L^{q_i}(B_{r_i})}$. Then $r_0=1$, $r_i-r_{i+1}=2^{-i-2}$, and the sharper uniform power gain for elliptic solutions givesThe Moser product on geometric radii converges becauseThus every $N_i$ is at most $B=(D_{\ell }R{)}^{S_0}{2}^{S_1}\Vert u{\Vert }_{L^2(B_1)}$. Since $B_{1/2}\subset B_{r_i}$, its $L^{q_i}$ norms are also bounded by $B$. If $u>B+\delta$ on a set of positive measure $m$ in $B_{1/2}$, these norms are at least $(B+\delta )m^{1/q_i}$, tending to $B+\delta$, a contradiction. HenceThis is the required Moser iteration estimate, with a finite constant depending only on $\ell$ and $R$. The weak-test truncation argument in the preceding solution makes the conclusion valid for locally $H^1$ weak solutions with $u\in L^2(B_1)$ and measurable uniformly elliptic coefficients. No differentiability of $A$ or unproved smooth approximation of solutions is required.

Put $p_j=2{\kappa }^j$, where $\kappa =n/(n-2)>1$. Since $p_j^2/(p_j-1)\le 2p_j$, part (ii), followed by a $p_j$-th root, gives the Moser iteration stepAfter $N$ steps,The geometric series and its differentiated form giveIn particular the exact convergent product isThe printed hint's equality to a single power of $2\kappa$ is not correct in general; its claimed finiteness is correct and the displayed expression supplies the correction.

On a finite-measure domain, Lp norms converge to the supremum norm for a bounded continuous function. Indeed, the upper bound is $\Vert u{\Vert }_p\le |\Omega {|}^{1/p}\Vert u{\Vert }_{\infty }$; for every $a<\Vert u{\Vert }_{\infty }$, the set $\{|u|>a\}$ has positive measure, giving $\Vert u{\Vert }_p\ge a|\{|u|>a\}{|}^{1/p}$. Let $N\to \infty$ in the iteration and use part (i), which gives $\lambda >0$. The Dirichlet eigenfunction supremum estimate isThe eigenvalue exponent is exactly $n/4$. The constant depends only on $n$: the supplied zero-boundary Sobolev inequality has a dimension-only constant, and every product factor above depends only on $\kappa$.

For the divergence-form elliptic operator use the weak subsolution convention $\int a^{ij}{D}_{j}u{D}_i\phi \le 0$ for nonnegative test functions. Set $u_{\epsilon }=u+\epsilon$ and test with $\phi ={\eta }^2{u}_{\epsilon }^{\beta -1}$, where $\beta >1$. The Sobolev chain rule makes this test admissible; boundedness and the positive regularization control the derivative of its power. Ellipticity and the Cauchy-Schwarz inequality give, with $X=\int |Du{|}^2{u}_{\epsilon }^{\beta -2}{\eta }^2$ and $Y=\int u_{\epsilon }^{\beta }|D\eta {|}^2$,Division when $X>0$, and the trivial case $X=0$, establish the power Caccioppoli inequality. Letting $\epsilon \downarrow 0$ givesFor $1<\beta <2$ this limit uses the Fatou lemma; the gradient of a Sobolev function vanishes on a level set, so the weighted integrand is assigned zero on $\{u=0\}$. The same regularization justifies differentiating $u^{\beta /2}\eta$ in $W^{1,2}$.

The PDF bounds individual entries by $\Lambda$. Then ${\Lambda }_{\ast }\le n\Lambda$: dimensional factors are included in the ellipticity constants when the first estimate is written as $C(\lambda ,\Lambda )$. With literal entrywise bounds, the explicit valid constant displayed here is $4n^2{\Lambda }^2/{\lambda }^2$. If $\Lambda$ bounds the operator norm instead, it is $4{\Lambda }^2/{\lambda }^2$. This distinction does not alter any later conclusion, whose constants explicitly depend on $n$.

For $n\ge 3$, put $\sigma =n/(n-2)$. Apply the Sobolev inequality to $g=u^{\beta /2}\eta$ and useFor $\beta \ge p>1$, $\beta /(\beta -1)\le p/(p-1)$, so the resulting constant is uniform in $\beta$. Taking a cutoff equal to one on $B_r$, supported in $B_R$, with $|D\eta |\le C/(R-r)$, yieldsAt $R=1$ a compactly supported cutoff can still be chosen with this bound by leaving an outer margin; alternatively pass to the limit from smaller radii.

For Moser iteration, set ${\beta }_j=p{\sigma }^j$ and $r_j=1/2+2^{-j-1}$. Repeated use of the preceding estimate bounds the successive norms byThis product is finite becauseAs the exponents tend to infinity, their norms on the Euclidean ball of radius $1/2$ tend to its essential supremum. ThereforeThe power $\beta$ is independent of the exponents of Hölder continuity in earlier questions.

First replace $u$ by $u+\epsilon$ and later let $\epsilon \downarrow 0$. In the weak subsolution inequality use the admissible truncations approximating ${\eta }^2{u}^{\alpha -1}$. Uniform ellipticity, the coefficient bound, Cauchy-Schwarz inequality, and Young inequality giveand thereforeApply the Sobolev embedding theorem to $w=\eta u^{\alpha /2}$. The preceding estimate yields, for concentric balls $B_r\subset B_R\subset B_1$,Starting with $\alpha =p>1$, taking ${\alpha }_k=p{\sigma }^k$, and choosing radii decreasing to $1/2$, the product of constants converges because ${\sum }_k{\alpha }_k^{-1}<\infty$. Letting $k\to \infty$ provesThis exponent-raising argument is Moser iteration.

For a nonnegative $H^1$ weak solution of a homogeneous divergence-form elliptic equation on $B_1\subset {\mathbb{R}}^{\ell }$, $\ell \ge 2$, with symmetric measurable $\lambda I\le A\le \Lambda I$, set $R=\Lambda /\lambda$ and $\alpha =1+1/\ell$. There is $D_{\ell }\ge 1$ independent of $q\ge 2$ such thatTest the equation with a cutoff times $u^{q-1}$, first regularized or truncated, to get $\int {\zeta }^2|\nabla u^{q/2}{|}^2\le [q/(q-1){]}^2{R}^2\int u^q|\nabla \zeta {|}^2$. Apply a fixed-domain Sobolev embedding theorem to $\zeta u^{q/2}$ and take the $2/q$ power. Keeping the constant inside that power is crucial for Moser iteration.