1
$\begingroup$

Given any open set $D$ in $\mathbb R^n$, we can define the first Dirichlet eigenfunction $u$ of $-\Delta$ on $D$ as the minimizer of the Rayleigh quotient over $H_0^1(D)$. Interior regularity of $u$ follows easily, but in general it seems we cannot say anything about the regularity of $u$ up to the boundary.

But conversely, if we know $u$ is say globally Lipschitz continuous on the closure of $D$ (assume $D$ is bounded), does this tell us anything about the regularity of the boundary $\partial D$? For example, that it is locally a Lipschitz graph? What if $u$ has even more regularity?

This seems like a natural question, but I cannot find a reference or think of a way to construct counterexamples.

$\endgroup$

1 Answer 1

1
$\begingroup$

One cannot expect any fatness of the domain $D$: the thinner $D$ at some boundary point, the faster the decay of the eigenfunction near this point. In particular, the first eigenfunction will be Lipschitz continuous for any thorn-shaped domain $D = \{(x, y) \in \mathbf{R}^2 : |y| < f(x), \, x \in (0, 1)\}$, where $f$ is, say, positive, increasing and convex on $(0, 1]$.

However, regularity of the eigenfunction clearly implies some kind of fatness of the exterior of $D$. Since the first eigenfunction is superharmonic, its continuity on the boundary implies continuity of harmonic functions (indeed: the first eigenfunction is a barrier at any boundary point), and so every boundary point must be regular for the Dirichlet problem. If the first eigenfunction is in fact Lipschitz continuous, then harmonic functions which are equal to zero on some part of the boundary near $x_0$ have at most linear decay rate at $x_0$. This means, for example, that there is no interior cone at $x_0$ with aperture greater than $\pi$. However, I am not aware of any characterisation of domains for which the first eigenfunction is Lipschitz continuous.

$\endgroup$
2
  • $\begingroup$ Would you be willing to elaborate what you mean by "indeed: the first eigenfunction is a barrier at any boundary point"? $\endgroup$
    – Neal
    Aug 10, 2017 at 1:20
  • 1
    $\begingroup$ A barrier at a boundary point $x_0$ is a positive superharmonic function which converges to zero at $x_0$. Barriers are used to prove boundary continuity of harmonic functions: a barrier at $x_0$ exists if and only if $x_0$ is regular for the Dirichlet problem, that is, any harmonic function with continuous boundary data is continuous at $x_0$. I learned this from Wermer's book, but any textbook on (classical) potential theory will do. $\endgroup$ Aug 10, 2017 at 6:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.