Thin triangles

From Polymath Wiki
Revision as of 18:50, 12 June 2012 by Teorth (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

The purpose of this page is to establish

Theorem: the hot spots conjecture is true for acute-angled triangles ABC when [math]\angle BAC[/math] is sufficiently small.

Let us write [math]\varepsilon := \angle BAC[/math], which we view as being small. We may normalize A = (0,0) and B = (1,0). Since the other two angles [math]\angle ABC, ACB[/math] are [math]\pi/2 - O(\varepsilon)[/math], we may also normalize [math]C = (1 + O(\varepsilon^2), \varepsilon + O(\varepsilon^2))[/math].

Eigenvalue bound

For the sector of radius 1 and aperture [math]\varepsilon[/math], we know (as discussed at the hot spots conjecture) that the second eigenvalue is [math]j_1^{-2}[/math], where [math]j_1=3.8317\ldots[/math] is the first solution to [math]J'_0(j_1)=0[/math] (or equivalently [math]J_1(j_1)=0[/math]). We claim that for the triangle ABC, the second eigenvalue is [math]j_1^{-2}+O(\varepsilon)[/math].

First, the upper bound. We can take the second eigenfunction [math]J_0(\sqrt{\lambda}r)[/math] for an inscribed sector to ABC of radius [math]1-\varepsilon[/math] and aperture [math]\varepsilon[/math], with [math]\lambda = (1-\varepsilon)^{-2} j_1^{-2}[/math], and extend it smoothly to a function on ABC obeying the Neumann boundary conditions. It will not quite mean zero, but we can subtract a constant of size [math]O(\varepsilon)[/math] to make it of mean zero. The Rayleigh quotient for this object can be shown to be [math]j_1^{-2} + O(\varepsilon)[/math], providing the upper bound.

The lower bound can be proven by similar methods once we get good enough C^2 type bounds on eigenfunctions on ABC, but for now let us just establish the weaker bound [math]\lambda \gg 1[/math]. It suffices to establish the Poincare inequality

[math] \int_{ABC} |u - c|^2 \ll \int_{ABC} |\nabla u|^2[/math]

for all u on ABC (not necessarily obeying the Neumann boundary condition) and some constant c depending on u. But one can rescale ABC to, say, the unit equilateral triangle in which case the bound is classical, and note that the constants for the rescaling are favorable. (One can also cite here the bounds from [PW1960] or [LS2009] for this bound; the [LS2009] bound in fact gives the lower bound of [math]j_1^{-2} + O(\varepsilon)[/math] directly.)

Regularity of eigenfunctions

Let u be the second eigenfunction on ABC, normalised so that

[math]\int_{ABC} |u|^2 = |ABC|.[/math]

By repeated integration by parts (as discussed at the hot spots conjecture) we have

[math]\int_{ABC} |\nabla^j u|^2 = \lambda^j |ABC|[/math] (*)

for j=0,1,2,3. In particular, [math]\nabla^j u[/math] is O(1) on the average on ABC for j=0,1,2,3. In the middle third of the triangle, we can use elliptic regularity (after reflecting the triangle across AB and AC many times so that a disk of radius ~1 sits inside the domain) to in fact conclude that all derivatives are O(1) in this region.

By working in polar coordinates around A, we may expand

[math]u(r,\theta) = \sum_{k=0}^\infty c_k J_{\pi k/\varepsilon}(\sqrt{\lambda} r) \cos(\pi k / \varepsilon)[/math]

for some coefficients [math]c_k[/math]. Because all derivatives of u are O(1) in the middle third of the triangle, we see that [math]c_k J_{\pi k/\varepsilon}(\sqrt{\lambda} r) [/math] is rapidly decreasing in k in this middle third, which from the asymptotics of Bessel functions gives excellent regularity on the left third of the triangle; in particular it is not difficult to get uniform bounds on the C^3 norm in this third.

The situation is more delicate on the right third of the triangle. We begin in the region of size [math]O(\varepsilon)[/math] around the edge BC. From (*) we know that [math]\nabla^3 u = O(\varepsilon^{-1/2})[/math] on average in this region, while from the Poincare inequality (or Sobolev inequality) one can show that [math]\nabla^2 u = O(1)[/math] on average in this region. By using Bessel function expansions around B and C one can then show that [math]\nabla^2 u = O(1)[/math] pointwise here; in the rest of the triangle one can use elliptic regularity to also get [math]\nabla^2 u = O(1)[/math] first on average in regions of diameter [math]\varepsilon[/math], and then pointwise by elliptic regularity (and reflection). Thus u is bounded uniformly in C^2.

This is already enough regularity on u to extend u to a circumscribing sector and show that [math]\lambda = j_0^{-2} + O(\varepsilon)[/math]. Now we can relate u more carefully with a Bessel function. We again work in polar coordinates around the origin A. If we write

[math]u_0(r) := \frac{1}{\varepsilon} \int_0^\varepsilon u(r,\theta)\ d\theta[/math]

for the averaged radial component of u, defined for [math]0 \leq r \leq 1-\varepsilon[/math] (say), then from integration by parts we see that

[math] u''_0(r) + \frac{1}{r} u'_0(r) + \lambda u_0(r) = 0,[/math]

thus u_0 is a multiple [math]c_0 J_0(\sqrt{\lambda} r)[/math] of the Bessel function [math]J_0(\sqrt{\lambda} r)[/math] (recall that u_0 has to be continuous at the origin). From the uniform C^2 bounds, we have [math]u(r,\theta) = u_0(r) + O(\varepsilon)[/math] for all [math]0 \leq \theta \leq \varepsilon[/math] and [math]0 \leq r \leq 1-\varepsilon[/math]. Given the normalisation of u, this implies that

[math] c_0^2 \int_0^1 J_0(\sqrt{\lambda} r)^2\ \varepsilon r dr = \frac{1}{2} \varepsilon^2 + O(\varepsilon^3)[/math]

which implies that [math]c_0 = \pm c_* + O(\varepsilon)[/math] where [math]c_*[/math] is the positive absolute constant

[math] c_* := (2 \int_0^1 J_0(r/j_1)^2\ r dr)^{-1/2}.[/math]

Without loss of generality we may take the positive sign, thus [math]c_0 = c_* + O(\varepsilon)[/math], and so we have the asymptotic

[math] u(r,\theta) = c_0 J_0(r/j_1) + O(\varepsilon)[/math] (**)

throughout the triangle. This is already enough to show that the maximum can only occur within [math]O(\varepsilon^{1/2})[/math] of A, and the minimum can only occur within [math]O(\varepsilon^{1/2})[/math] of B or C.

Now let us show that the maximum can only occur at A. If for contradiction there is a nearby point P to A which also attains the maximum, then [math]\partial_r u = 0[/math] at P, but also [math]\partial_r u=0[/math] at A. Hence, by Rolle's theorem, one has [math]\partial_{rr} u = 0[/math] at some intermediate point Q on the interval AP. But from the Bessel expansion we see that [math]\partial_{rr} u[/math] is bounded away from zero at A, and so from the uniform C^3 bounds we obtain a contradiction if [math]\varepsilon[/math] is small enough.

It remains to show that that the minimum can only occur on BC. Let n be the unit normal to BC, thus [math]\partial_n u = 0[/math] on BC. If for contradiction there is a nearby point Q to BC which also attains the minimum, then [math]\partial_n u = 0[/math] at P, so by Rolle's theorem we have [math]\partial_{nn} u = 0[/math] for some intermediate point Q on the line segment from P to BC in the direction n. As n differs from the radial direction by [math]O(\varepsilon)[/math], we conclude from the uniform C^2 bounds that

[math]\partial_{rr} u = O(\varepsilon)[/math] (***)

at Q.

Large double radial derivative

We need to derive a contradiction from (***). To do this, we begin by inserting (***) into the equation

[math] \partial_{rr} u + \frac{1}{r} \partial_r u + \frac{1}{r^2} \partial_{\theta\theta} u + \lambda u = 0[/math]

which is the eigenfunction equation in polar coordinates. As Q is near to BC, we see from (**) that u is comparable to 1, so [math]\lambda u[/math] is comparable to 1 also. From the Neumann boundary condition we have [math] \partial_r u = O(\varepsilon)[/math] on BC, and so since Q is within [math]O(\varepsilon^{1/2})[/math] of BC we conclude from the uniform C^2 bounds that [math]\partial u = O(\varepsilon^{1/2})[/math] at Q. Putting all this together, we see that

[math] |\partial_{\theta\theta} u| \sim 1[/math]

at Q.

Suppose first that Q is further than [math]\varepsilon/10[/math] from BC. On the circular arc in ABC centered at A and passing through Q, we know that [math]\partial_\theta u=0[/math] on the ends of this arc, and so by Rolle's theorem we have [math]\partial_{\theta\theta} u = 0[/math] somewhere in the interior of this arc. In particular we see that [math]\partial_{\theta\theta} u = 0[/math] at some point R within [math]O(\varepsilon)[/math] of Q.

By the mean value theorem, we can find a point S on QR where [math]|\nabla^3 u| \gg \varepsilon^{-1}[/math]. From the geometry of the situation, we see that S is a distance at least [math]\varepsilon/100[/math] from B or C. By (*), we thus have [math]|\nabla^3 u| = O(\varepsilon^{-1/2})[/math] on average on a ball of radius [math]\varepsilon/100[/math] centered at S (extending u by reflection as necessary), which implies by elliptic regularity that [math]|\nabla^3 u| = O(\varepsilon^{-1/2})[/math] at S, a contradiction.

Thus we may assume that Q is within [math]\varepsilon/10[/math] of BC. To get a contradiction, we will now need a rather delicate analysis of the eigenfunction u in the neighbourhood of BC.

We first look at what u is doing in the [math]2\varepsilon/3[/math] neighbourhood of B. We perform a Bessel expansion in polar coordinates around B, obtaining an expansion of the form

[math]u = \sum_{k=0}^\infty c_k J_{\pi k/\beta}(\sqrt{\lambda} r) \cos(\pi k \theta / \beta)[/math]

where [math]\beta[/math] is the angle at B, [math]r=r_B[/math] is now the distance to B, and [math]\theta[/math] is the angle subtended at B relative to the ray BA. Note that [math]\beta = \pi/2 - O(\varepsilon)[/math]. Evaluating at B we see that [math]c_0 = O(1)[/math]. Since [math]\partial_{rr} u = O(1)[/math] pointwise, and in particular when r is comparable to [math]\varepsilon[/math], we conclude using Bessel function asymptotics that

[math] c_k J_{\pi k/\beta}(\sqrt{\lambda} r) = O( \varepsilon^2 k^{-2} (1.1r/\varepsilon)^{\pi k/\beta} )[/math]

(say) for [math]r \leq 2\varepsilon/3[/math] and k positive. Since [math]\partial_{rrr} u = O(\varepsilon^{-1/2})[/math] on average in this region by (*), a similar argument gives the improvement

[math] c_k J_{\pi k/\beta}(\sqrt{\lambda} r) = O( \varepsilon^{5/2} k^{-3} (1.1 r/\varepsilon)^{\pi k/\beta} )[/math]

for k > 1 (in order to keep the exponent [math]\pi k/\beta[/math] well away from 2). From these asymptotics, we see in particular that we can bound the Hessian here by

[math] (u_{xx}, u_{xy}, u_{yy}) = a_0 (1,0,1) + a_1 r_B^{\pi/\beta - 2} (1,0,-1) + O( \varepsilon^{1/2} )[/math]

in the [math]2\varepsilon/3[/math]-neighbourhood of B for some bounded constants [math]a_0,a_1[/math] which are scalar multiples of [math]c_0,c_1[/math] respectively. Similarly we will have

[math] (u_{xx}, u_{xy}, u_{yy}) = a'_0 (1,0,1) + a'_1 r_C^{\pi/\gamma- 2} (1,0,-1) + O( \varepsilon^{1/2} )[/math]

in the [math]2\varepsilon/3[/math]-neighbourhood of C for some bounded constants [math]a'_0,a'_1[/math], where r_C is now the distance to C, and [math]\gamma[/math] is the angle at C. Comparing these two asymptotics on the common domain, we see that [math]a_0 = a'_0 + O(\varepsilon^{1/2})[/math] and [math] a_1 = a'_1 + O(\varepsilon^{1/2})[/math].

Next, recall that on any circular arc in ABC centered at A, the function [math]\partial_{\theta\theta} u[/math] has mean zero. Using an arc tangent to BC, and noting from the Neumann boundary conditions and the uniform C^2 bounds that [math]\partial_r u = O(\varepsilon)[/math] on this arc, we see that [math]\partial_{yy} u[/math] has mean [math]O(\varepsilon)[/math] on such an arc. Comparing this with the above two asymptotics, we see that [math]a_0 - a_1, a'_0 - a'_1 = O(\varepsilon^{1/2})[/math]. On the other hand, evaluating the Hessian of u at B or at C we see that [math]a_0, a'_0[/math] are comparable to 1. Putting this together, we see that [math]\partial_{xx} u[/math] will be comparable to 1 in the [math]\varepsilon/10[/math] neighbourhood of BC, and in particular at Q, giving the desired contradiction.