Skip to main content
1 of 5
Student
  • 567
  • 4
  • 15

Holder Gradient Estimates for Linear Elliptic Equations in higher dimensions

I was looking at Theore 12.4 of Gilbarg and Trudinger:

Theorem 12.4. Let $u$ be a bounded $C^2(\Omega)$ solution of $$ L u=a > u_{x x}+2 b u_{x y}+c u_{y y}=f $$ where $L$ is uniformly elliptic, satisfying $$i\left(\xi^2+\eta^2\right) \leqslant a \xi^2+2 b \xi > \eta+c \eta^2 \leqslant \Lambda\left(\xi^2+\eta^2\right) \quad > \forall(\xi, \eta) \in \mathbb{R}^2 ;$$ where $\lambda$ and $\Lambda$ denote the eigenvalues of the coefficient matrix and $$ > \frac{\Lambda}{\lambda} \leq \gamma $$ in a domain $\Omega$ of $\mathbb{R}^2$. Then for some $\alpha=\alpha(\gamma)>0$, we have

$$ [u]_{1, \alpha}^* \leqslant C\left(|u|_0+|f/\lambda|_0^{(2)}\right), \quad C=C(\gamma) . $$

The authors remark at the end of this theorem:

The significant feature of this result is that the estimate (12.22) [the gradient holder bound] depends only on bounds on the coefficients and not on any regularity properties. This is in contrast with the Schauder estimates (Theorem 6.2) which depend as well on the Hölder constants of the coefficients. The Hölder estimates of Chapter 8 for divergence from equations in $n$ variables (Theorem 8.24) are also independent of the regularity properties of the coefficients, but those estimates concern the solution itself and not its derivatives. The validity of the analog of Theorem 12.4 for $n>2$ remains in doubt.

I was wondering if now there are known examples/counter-examples to this estimate in higher dimensions say $\Omega \subset \mathbb{R}^3?$

Student
  • 567
  • 4
  • 15