1
$\begingroup$

I'm given the following question (from Davies' book - Spectral theory of differential operators): Use the theorem (*) below to prove that if $\Omega$ is a convex region in $ \mathbb{R}^2 $ , then: $ \frac{1}{4} \int _\Omega \frac{|f|^2}{d^2} d^2 x \leq \int _\Omega | \bigtriangledown f | ^2 d^2 x $ for all $f \in C_c ^\infty (\Omega ) $ . Deduce that $ Spec(H) \subseteq [\lambda, \infty ) $ , where $ \lambda^{-1} := 4Inradius(\Omega)^2 $.

Theorem : Let $\Omega $ be a region in $ \mathbb{R}^2 $ and let $f \in C_c ^\infty (\Omega ) $. Then : $ \frac{1}{2} \int _\Omega \frac{|f|^2}{m(x)^2} d^2 x \leq \int _\Omega | \bigtriangledown f | ^2 d^2 x $ for all $f \in C_c ^\infty (\Omega ) $ where the pseudodistance $m(x)$ is defined by $ \frac{1}{m(x)^2 } := \frac{1}{2\pi } \int_{-\pi}^{\pi} \frac{d \Theta }{d_\Theta (x)^2 }$ and $ d_\Theta : \Omega \to (0,+\infty ] $ is defined by $ d_\Theta (x) = min \{ |s| : x+se^{i \Theta} \notin \Omega \} $ .

It's also known that if $\Omega $ is regular ( i.e.- there exists a constant $c$ such that $d(x)\leq m(x) \leq cd(x) $ ) , then $ Spec (H) \leq [ \frac{1}{2c^2 Inradius^2}, \infty ) $ .

How can I use these facts in order to answer Davies' question?

Any help will be greatfully acknowledged !

Thanks in advance

$ d(x):=min \{ |x-y| : y \notin \Omega \} $ .

  • 0
    You're indeed right again...Sorry !2012-07-13

1 Answers 1

1

To use the theorem and the fact, it suffices to prove that $\Omega$ is regular, and that $d(x) \leq m(x) \leq \sqrt{2} d(x)$. The first inequality is evident (since the average must be greater than the minimum). It suffices to prove the second inequality, which we re-write equivalently as

$ \frac{1}{2\pi}\int_0^{2\pi}\frac{1}{d_\theta(x)^2} \mathrm{d}\theta = \frac{1}{m^2(x)} \geq \frac{1}{2d^2(x)} \tag{*} $

Now, since $\Omega$ is assumed to be convex, its boundary "lies to one side of the tangent line(s)" (I use plural since a convex boundary need not be differentiable, but can have multiple supporting tangent lines). Furthermore, if $\theta_0$ is such that $d_{\theta_0}(x) = \inf_\theta d_\theta(x) = d(x)$ we must have that the boundary is a differentiable function of $\theta$ there, and that the tangent line is perpendicular to the direction $\theta_0$ (this is elementary convex analysis [see below the cut]).

We thus have [see below second cut] that $d_\theta(0) \leq d_{\theta_0}(x) \sec (\theta - \theta_0) $ by convexity. This implies that

$ \frac{1}{2\pi} \int_0^{2\pi} \frac{1}{d_\theta(x)^2}\mathrm{d}\theta \geq \frac{1}{2\pi}\frac{1}{d(x)^2} \int_0^{2\pi} \cos^2(\theta - \theta_0) \mathrm{d}\theta = \frac{1}{2d(x)^2} $

which is precisely (*).


If $\Omega$ is convex, it has non-vanishing tangent support. That is for every point $x\in \partial\Omega$ there exists at least one line $\ell_x$ through $x$ such that $\ell_x$ does not intersect the interior of $\Omega$.

Now let $y$ be a point in the interior of $\Omega$. Look at the line $xy$. Suppose $\ell_x$ is not orthogonal to $xy$. Then you can choose a point $z$ on $\ell_x$ such that $|z-y|$ is less than $|x-y|$ strictly (using that the angle $\angle zyx$ is acute). Since along the line $zy$, the distance from $y$ to the boundary is $\leq |z-y|$ (by virtue of $\ell_x$ not intersecting the interior of $\Omega$), we arrive at the conclusion

If there exists a supporting line $\ell_x$ which is not perpendicular to $xy$, the direction $xy$ cannot minimise $d_\theta(y)$.

The contrapositive of that statement states that if $x$ is the point such that the direction $xy$ minimises $d_\theta(y)$, there exists a supporting line (automatically true by convexity) and that supporting line can only be the perpendicular to $xy$. This tells you that the function defining the boundary of $\Omega$ has a unique tangent at $x$, and hence is differentiable there.


Recall that the formula in radial coordinates for a line $\ell$ which comes closest to the origin at the point $(r_0,\theta_0)$ is precisely $ r = r_0 \sec (\theta - \theta_0) $ where $\theta \in (\theta_0 - \pi/2, \theta_0+\pi/2)$.

  • 0
    Thanks a lot Willie Wong ! I appreciate it !2012-07-16