Stability of eigenfunctions

In [CZ1994] some bounds for the Neumann heat kernels [math]\displaystyle{ P_t(x,y) }[/math] on a general domain are given; in particular, one can bound this kernel by a multiple of the Euclidean heat kernel for t small enough. Using this bound, [BP2008] showed uniform stability of the second eigenfunction (in the uniform topology) and eigenvalue with respect to uniform perturbations of the domain.

Formal theory

Suppose one has a one-parameter family [math]\displaystyle{ t \mapsto L(t) }[/math] of self-adjoint operators (on some Hilbert space, e.g. [math]\displaystyle{ L^2(\Omega) }[/math], though for this formal computation the domain will not be important), and one-parameter families [math]\displaystyle{ t \mapsto u(t) }[/math], [math]\displaystyle{ t \mapsto \lambda(t) }[/math] to the eigenfunction equation

[math]\displaystyle{ L(t) u(t) = \lambda(t) u(t) }[/math]. (1)

We normalise [math]\displaystyle{ u(t) }[/math] to have norm 1:

[math]\displaystyle{ \langle u(t), u(t) \rangle = 1 }[/math]. (2)

Formally, if we differentiate the norm equation (2) at time zero, we get

[math]\displaystyle{ \langle \dot u(0), u(0) \rangle = 0 }[/math] (3)

while if we differentiate (1) at time zero we obtain

[math]\displaystyle{ \dot L(0) u(0) + L(0) \dot u(0) = \dot \lambda(0) u(0) + \lambda(0) \dot u(0) }[/math]. (4)

Taking the inner product of (4) with u(0) and using (2), (3) we conclude the Hadamard first variation formula for eigenvalues:

[math]\displaystyle{ \dot \lambda(0) = \langle \dot L(0) u(0), u(0) \rangle }[/math]. (5)

If we instead take the orthogonal projection [math]\displaystyle{ \pi_{u(0)}^\perp }[/math] onto the orthogonal complement of [math]\displaystyle{ u(0) }[/math], we obtain the Hadamard first variation formula for eigenfunctions:

[math]\displaystyle{ (L(0)-\lambda) \dot u(0) = - \pi_{u(0)}^\perp( \dot L(0) u(0) ) }[/math]. (6)

Formally, if [math]\displaystyle{ \lambda }[/math] is a simple eigenvalue, then [math]\displaystyle{ L(0)-\lambda }[/math] is invertible on the orthogonal complement of [math]\displaystyle{ u(0) }[/math], and so (6) and (3) allow one to solve for [math]\displaystyle{ \dot u(0) }[/math].

L^2 and H^1 theory

Suppose that one has a domain [math]\displaystyle{ \Omega }[/math] with second Neumann eigenvalue [math]\displaystyle{ \lambda_2 }[/math], and third Neumann eigenvalue (not counting multiplicity) [math]\displaystyle{ \lambda_3 \gt \lambda_2 }[/math]. Thus, one has

[math]\displaystyle{ \int_\Omega |\nabla u|^2 \geq \lambda_2 \int_\Omega |u|^2 }[/math] (7)

for all mean zero u, with equality when u lies in the second eigenspace [math]\displaystyle{ V_2 }[/math], and one can improve this to

[math]\displaystyle{ \int_\Omega |\nabla u|^2 \geq \lambda_3 \int_\Omega |u|^2 }[/math] (8)

when u is orthogonal to [math]\displaystyle{ V_2 }[/math].

Now consider a perturbation [math]\displaystyle{ B\Omega }[/math] of [math]\displaystyle{ \Omega }[/math], where B is an invertible linear transformation. Then a second eigenfunction of [math]\displaystyle{ B\Omega }[/math], after change of variables, becomes a function u on [math]\displaystyle{ \Omega }[/math] that minimizes the modified Rayleigh quotient

[math]\displaystyle{ \int_\Omega M \nabla u \cdot \nabla u / \int_\Omega |u|^2 }[/math]

where [math]\displaystyle{ M := (B^{-1}) (B^{-1})^T }[/math]. We may normalize this eigenfunction as [math]\displaystyle{ u = u_2 + v }[/math], where u_2 is a unit eigenfunction in V_2 and v is orthogonal to V_2, so that [math]\displaystyle{ \|u\|_2^2 = 1 + \|v\|_2^2 }[/math]. Then the modified Rayleigh quotient of u is less than or equal to that of u_2, and hence

[math]\displaystyle{ \int_\Omega M \nabla u \cdot \nabla u \leq (\int_\Omega M \nabla u_2 \cdot \nabla u_2) (1 + \|v\|_2^2 ). }[/math]

Expanding out u as u_2+v and rearranging, we end up at

[math]\displaystyle{ \int_\Omega M \nabla v \cdot \nabla v \leq \|v\|_2^2 \int_\Omega M \nabla u_2 \cdot \nabla u_2 - 2 \int_\Omega M \nabla u_2 \cdot \nabla v. }[/math]

Note that [math]\displaystyle{ \nabla v }[/math] is orthogonal to [math]\displaystyle{ \nabla V_2 }[/math] by integration by parts, and so we may replace [math]\displaystyle{ M \nabla u_2 }[/math] on the RHS by the orthogonal projection [math]\displaystyle{ \pi_{\nabla V_2}^\perp(M \nabla u_2) }[/math]. Letting [math]\displaystyle{ \sigma_1(M) = \sigma_2(B)^{-2} }[/math] be the least singular value of M, we now apply Cauchy-Schwarz and conclude that

[math]\displaystyle{ \sigma_1(M) \|\nabla v \|_2^2 \leq \|v\|_2^2 \int_\Omega M \nabla u_2 \cdot \nabla u_2 + 2 \| \pi_{\nabla V_2}^\perp(M \nabla u_2) \|_2 \|\nabla v\|_2 }[/math].

By (8) we may bound [math]\displaystyle{ \|v\|_2^2 \leq \frac{1}{\lambda_3} \|\nabla v\|_2^2 }[/math], and so we conclude that

[math]\displaystyle{ (\sigma_1(M) - \frac{\int_\Omega M \nabla u_2 \cdot u_2}{\lambda_3}) \|\nabla v \|_2 \leq 2 \| \pi_{\nabla V_2}^\perp(M \nabla u_2) \|_2 }[/math]. (9)

This gives an H^1 bound on the error v between the perturbed eigenfunction u and the original eigenfunction u_2. To understand this bound, note that we may upper bound

[math]\displaystyle{ \int_\Omega M \nabla u_2 \cdot \nabla u_2 \leq \sigma_2(M) \int_\Omega |\nabla u_2|^2 = \lambda_2 \sigma_2(M) }[/math]

and also [math]\displaystyle{ \pi_{\nabla V_2}^\perp(M \nabla u_2) = \pi_{\nabla V_2^\perp}((M-\frac{\sigma_1(M)+\sigma_2(M)}{2}) \nabla u_2) }[/math] so that

[math]\displaystyle{ \|\pi_{\nabla V_2^\perp}((M-\frac{\sigma_1(M)+\sigma_2(M)}{2}) \nabla u_2)\|_2 \leq \frac{\sigma_2(M)-\sigma_1(M)}{2} \|\nabla u_2\|_2 = \frac{\sigma_2(M)-\sigma_1(M)}{2} \lambda_2^{1/2} }[/math]

and so one has

[math]\displaystyle{ \|\nabla v \|_2 \leq \frac{(\sigma_2(M)-\sigma_1(M)) \lambda_2^{1/2}}{\sigma_1(M) - \sigma_2(M) \frac{\lambda_2}{\lambda_3}} }[/math]

provided that the denominator is positive. In terms of the condition number [math]\displaystyle{ \kappa := \sigma_2(B)/\sigma_1(B) }[/math] of B, this becomes

[math]\displaystyle{ \|\nabla v \|_2 \leq \frac{(\kappa^2-1) \lambda_2^{1/2}}{1 - \kappa^2 \frac{\lambda_2}{\lambda_3}} }[/math] (15)

which is a non-trivial bound when [math]\displaystyle{ \kappa \lt (\lambda_3/\lambda_2)^{1/2} }[/math], and is of the order of [math]\displaystyle{ O(\lambda_2^{1/2} (\kappa-1)) }[/math] when [math]\displaystyle{ \kappa }[/math] is close to 1. Using (8), we conclude in particular that

[math]\displaystyle{ \|v \|_2 \leq \frac{(\kappa^2-1) (\lambda_2/\lambda_3)^{1/2}}{1 - \kappa^2 \frac{\lambda_2}{\lambda_3}} }[/math] (16)

For these calculations performed on a third reference triangle, http://www.math.sfu.ca/~nigam/polymath-figures/Perturbation.pdf

An alternate approach to the L^2 and H^1 theory

Let us keep the reference triangle [math]\displaystyle{ \Omega }[/math] fixed, and view the matrix M=M(t) as being smoothly time dependent, so that the eigenvalues [math]\displaystyle{ \lambda_k = \lambda_k(t) }[/math] and L^2-normalised eigenfunctions [math]\displaystyle{ u_k = u_k(t) }[/math] are also time dependent. Assume for the sake of argument that eigenvalues stay simple and all functions depend smoothly on t. We have the eigenfunction equation

[math]\displaystyle{ -\nabla \cdot M \nabla u_k = \lambda_k u_k }[/math]

and the Neumann boundary condition

[math]\displaystyle{ -n \cdot M \nabla u_k = 0 }[/math]

and the L^2 normalisation

[math]\displaystyle{ \langle u_k, u_k \rangle = 1 }[/math].

Differentiating, we conclude that

[math]\displaystyle{ (-\nabla \cdot M \nabla - \lambda_k) \dot u_k = \nabla \cdot \dot M \nabla u_k + \dot \lambda_k u_k }[/math] (10)

and

[math]\displaystyle{ -n \cdot M \nabla \dot u_k = n \cdot \dot M \nabla u_k }[/math] (11)

and

[math]\displaystyle{ \langle \dot u_k, u_k \rangle = 0 }[/math]. (12)

Taking the inner product of (10) with u_k and using (12) yields

[math]\displaystyle{ \langle -\nabla \cdot M \nabla \dot u_k, u_k \rangle = \langle \nabla \cdot \dot M \nabla u_k, u_k \rangle + \dot \lambda_k }[/math].

Integrating by parts using the Neumann condition and (11) yields

[math]\displaystyle{ \langle -\nabla \cdot M \nabla \dot u_k, u_k \rangle = \langle \dot u_k, -\nabla \cdot M \nabla u_k \rangle + \int_{\partial \Omega} (n \cdot \dot M \nabla u_k) u_k }[/math].

By the eigenfunction equation and (12), the first inner product on the RHS vanishes. By Stokes theorem one has

[math]\displaystyle{ \int_{\partial \Omega} (n \cdot \dot M \nabla u_k) u_k = \langle \nabla \cdot \dot M \nabla u_k, u_k \rangle + \langle \dot M \nabla u_k, \nabla u_k \rangle }[/math]

and thus we have the variation formula

[math]\displaystyle{ \dot \lambda_k = \langle \dot M \nabla u_k, \nabla u_k \rangle }[/math]. (14)

Next, if we take the inner product of (10) with u_l for some l distinct from k, one has

[math]\displaystyle{ \langle (-\nabla \cdot M \nabla - \lambda_k) \dot u_k, u_l \rangle = \langle \nabla \cdot \dot M \nabla u_k, u_l \rangle }[/math].

Integrating by parts as before, we have

[math]\displaystyle{ \langle -\nabla \cdot M \nabla \dot u_k, u_l \rangle = \langle \dot u_k, -\nabla \cdot M \nabla u_l \rangle + \int_{\partial \Omega} (n \cdot \dot M \nabla u_k) u_l }[/math].

By the eigenfunction equation, the first inner product on the RHS is [math]\displaystyle{ \lambda_l \langle \dot u_k, u_l \rangle }[/math]. By Stokes theorem we have

[math]\displaystyle{ \int_{\partial \Omega} (n \cdot \dot M \nabla u_k) u_l = \langle \nabla \cdot \dot M \nabla u_k, u_l \rangle + \langle \dot M \nabla u_k, \nabla u_l \rangle }[/math]

and thus

[math]\displaystyle{ (\lambda_l - \lambda_k) \langle \dot u_k, u_l \rangle = \langle \dot M \nabla u_k, \nabla u_l \rangle }[/math]

and thus by eigenfunction expansion (and (12))

[math]\displaystyle{ \dot u_k = \sum_{l \neq k} \frac{1}{\lambda_l-\lambda_k} \langle \dot M \nabla u_k, \nabla u_l \rangle u_l }[/math]

where the convergence is in an unconditional L^2 sense. (Note that [math]\displaystyle{ \nabla u_l / \lambda_l^{1/2} }[/math] is an orthonormal system and so from Bessel's inequality we know that [math]\displaystyle{ \sum_l \langle \dot M \nabla u_k, \nabla u_l \rangle^2 / \lambda_l \lt \infty }[/math], which is enough decay to justify the L^2 convergence of the RHS.) In fact we may differentiate and conclude that

[math]\displaystyle{ \dot \nabla u_k = \sum_{l \neq k} \frac{1}{\lambda_l-\lambda_k} \langle \dot M \nabla u_k, \nabla u_l \rangle \nabla u_l }[/math]

where the convergence is again in the unconditional L^2 sense (i.e. the previous convergence was in the unconditional H^1 sense). From the Bessel inequality we see in particular that

[math]\displaystyle{ \| \dot \nabla u_k \|_{L^2}^2 = \sum_{l \neq k} \frac{\lambda_l^2}{(\lambda_l-\lambda_k)^2} |\langle \dot M \nabla u_k, \nabla u_l \rangle|/\lambda_l }[/math]

[math]\displaystyle{ \leq \| \dot M \nabla u_k \|_{L^2}^2 \sup_{l \neq k} \frac{\lambda_l^2}{(\lambda_l - \lambda_k)^2} }[/math];

in particular, we have

[math]\displaystyle{ \| \dot \nabla u_2 \|_{L^2}^2 \leq \frac{\lambda_3}{\lambda_3 - \lambda_2} \| \dot M \nabla u_2 \|_{L^2} }[/math]

and thus

[math]\displaystyle{ \| \dot u_2 \|_{L^2}^2 \leq \frac{1}{\lambda_3 - \lambda_2} \| \dot M \nabla u_2 \|_{L^2} }[/math]

which can be viewed as infinitesimal variants of the estimates in the previous section.

A Sobolev inequality

Lemma Suppose that [math]\displaystyle{ u: B(0,R) \to {\mathbf R} }[/math] obeys the inhomogeneous eigenfunction equation [math]\displaystyle{ -\Delta u = \lambda u + F }[/math]. Suppose also that [math]\displaystyle{ \eta: {\mathbf R} \to {\mathbf R} }[/math] is a smooth function that equals 1 at 0 and vanishes on [math]\displaystyle{ [R,+\infty) }[/math]. Then

[math]\displaystyle{ |u(0)| \leq \frac{\sqrt{\pi}}{2\sqrt{2}} (\|F\|_{L^2(B(0,R)} (\int_0^\infty \eta(r)^2 Y_0(\sqrt{\lambda} r)^2\ r dr)^{1/2} + \lambda^{1/2} \|u\|_{L^2(B(0,R))} (\int_0^R \eta'(r)^2 Y'_0(\sqrt{\lambda}r)^2\ r dr)^{1/2} }[/math]

[math]\displaystyle{ + \|\nabla u\|_{L^2(B(0,R))} (\int_0^R \eta'(r)^2 Y_0(\sqrt{\lambda}r)^2\ r dr)^{1/2} ). }[/math]

Proof We introduce the averaged functions

[math]\displaystyle{ \bar u(r) := \frac{1}{2\pi} \int_0^{2\pi} u(r,\theta)\ d\theta }[/math]

[math]\displaystyle{ \bar F(r) := \frac{1}{2\pi} \int_0^{2\pi} F(r,\theta)\ d\theta }[/math]

and observe that [math]\displaystyle{ \bar u }[/math] obeys the inhomogeneous Bessel equation

[math]\displaystyle{ -\bar u''(r) - \frac{1}{r} \bar u'(r) = \lambda \bar u(r) + \bar F(r) }[/math]

with initial condition [math]\displaystyle{ \bar u(0) = u(0) }[/math].

We can solve this equation by separation of variables, writing

[math]\displaystyle{ \bar{u}(r) = a(r) J_0(\sqrt{\lambda} r) + b(r) Y_0(\sqrt{\lambda} r) }[/math]

[math]\displaystyle{ \bar{u}'(r) = \sqrt{\lambda} a(r) J_0'(\sqrt{\lambda} r) + \sqrt{\lambda} b(r) Y_0'(\sqrt{\lambda} r) }[/math].

Using the standard Wronskian identity

[math]\displaystyle{ J_0(\sqrt{\lambda} r) Y'_0(\sqrt{\lambda} r) - Y_0(\sqrt{\lambda} r) J'_0(\sqrt{\lambda} r) = \frac{2}{\sqrt{\lambda} \pi r} }[/math]

one soon arrives at the equations

[math]\displaystyle{ a(r) = \frac{\pi r}{2} ( \sqrt{\lambda} \bar u(r) Y'_0(\sqrt{\lambda} r) - \bar u'(r) Y_0(\sqrt{\lambda} r) ) }[/math]

and

[math]\displaystyle{ a'(r) = -\frac{\pi r}{2} \bar F(r) Y_0(\sqrt{\lambda} r) }[/math].

Meanwhile, by integration by parts

[math]\displaystyle{ a(0) = -\int_0^R a'(r) \eta(r)\ dr - \int_0^R a(r) \eta'(r)\ dr }[/math]

and thus

[math]\displaystyle{ |a(0)| \leq \frac{\pi}{2} ( \int_0^R |\bar F(r)| |Y_0(\sqrt{\lambda} r)|\ r dr + \int_0^R \sqrt{\lambda} |\bar u(r)| |Y'_0(\sqrt{\lambda} r)|\ r dr + \int_0^R |\bar u'(r)| |Y_0(\sqrt{\lambda} r)|\ r dr). }[/math]

From Cauchy-Schwarz one has

[math]\displaystyle{ 2\pi \int_0^R |\bar u(r)|^2\ r dr \leq \| u \|_{L^2(B(0,R))}^2 }[/math]

and

[math]\displaystyle{ 2\pi \int_0^R |\bar u'(r)|^2\ r dr \leq \| \nabla u \|_{L^2(B(0,R))}^2 }[/math]

and similarly

[math]\displaystyle{ 2\pi \int_0^R |\bar F(r)|^2\ r dr \leq \| F \|_{L^2(B(0,R))}^2. }[/math]

The claim then follows from further applications of the Cauchy-Schwarz inequality. []

In principle, the above inequality, when combined with the previous L^2 and H^1 estimates, gives L^infty control on [math]\displaystyle{ \dot u }[/math] in the interior of the triangle. One should also be able to get control near the interior of an edge by reflection. One needs to modify the argument a bit though to handle what is going on at vertices.

Here is an alternate approach that avoids the use of Bessel functions of the first and second kinds. Suppose one has a solution to the inhomogeneous eigenfunction equation [math]\displaystyle{ -\Delta u = \lambda u + F }[/math] on a ball B(0,R). Let [math]\displaystyle{ \eta }[/math] be a smooth (or at least C^2) cutoff on this ball which equals 1 at the origin. Then [math]\displaystyle{ u\eta }[/math] is compactly supported with Laplacian

[math]\displaystyle{ -\Delta(\eta u) = \lambda \eta u + \eta F - 2 \nabla \eta \cdot \nabla u -\Delta \eta u }[/math]

and hence by the fundamental solution to the Laplacian

[math]\displaystyle{ u(0) = \eta u(0) = \frac{1}{2\pi} \int_{B(0,R)} \log |x| (\lambda \eta u + \eta F - 2 \nabla \eta \cdot \nabla u -\Delta \eta u)(x)\ dx }[/math]

and hence by Cauchy-Schwarz

[math]\displaystyle{ |u(0)| \leq \frac{1}{2\pi} (\|u\|_{L^2(B(0,R))} \| \log|x| (\lambda \eta - \Delta \eta) \|_{L^2(B(0,R)} + 2 \|\nabla u \|_{L^2(B(0,R)} \| \nabla \eta \|_{L^2(B(0,R))} + \|F\|_{L^2(B(0,R)} \| \log|x| \eta \|_{L^2(B(0,R))}. }[/math]

Because [math]\displaystyle{ \Delta(\eta u) }[/math] has mean zero, one can also replace [math]\displaystyle{ \log |x| }[/math] here by [math]\displaystyle{ \log |x|-C }[/math] for any constant C, for instance one can use [math]\displaystyle{ \log(|x|/R) }[/math].

Sobolev inequalities in logarithmic coordinates

The computations appear to become cleaner if we work in logarithmic coordinates

[math]\displaystyle{ (s,\theta) := (\log r, \theta) }[/math].

Thus, for instance, a sector [math]\displaystyle{ \{ (r,\theta): 0 \lt r \lt R; 0 \leq \theta \leq \alpha \} }[/math] in polar coordinates, becomes a half-infinite strip [math]\displaystyle{ \{ (s,\theta): s \lt \log R; 0 \leq \theta \leq \alpha \} }[/math] in logarithmic coordinates. A triangle [math]\displaystyle{ \Omega }[/math] which contains this sector as one of its corners, then becomes a slightly enlarged version [math]\displaystyle{ \log \Omega }[/math] of this half-infinite strip, with a concave boundary connecting the two half-infinite edges.

Consider an eigenfunction [math]\displaystyle{ -\Delta u = \lambda u }[/math] in the original domain [math]\displaystyle{ \Omega }[/math]. In polar coordinates, the eigenfunction equation is

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

the Rayleigh quotient is

[math]\displaystyle{ \int_\Omega (\partial_r u)^2 + \frac{1}{r^2} (\partial_\theta u)^2\ r dr d\theta / \int_\Omega u^2\ r dr d\theta }[/math]

and the Neumann boundary condition on the two radial edges are

[math]\displaystyle{ \partial_\theta u = 0 }[/math].

If we convert to logarithmic coordinates [math]\displaystyle{ v: \log \Omega \to \R }[/math] by the change of variables

[math]\displaystyle{ v(s,\theta) := u(e^s, \theta) }[/math]

then one can compute that the eigenfunction equation now becomes

[math]\displaystyle{ - \partial_{ss} v - \partial_{\theta\theta} v = \lambda e^{2s} v }[/math] (A.1)

the Rayleigh quotient becomes

[math]\displaystyle{ \int_{\log \Omega} (\partial_s v)^2 + (\partial_\theta v)^2\ ds d\theta / \int_{\log \Omega} |v|^2 e^{2s}\ ds d\theta }[/math]

and the Neumann boundary conditions on the two half-infinite edges are

[math]\displaystyle{ \partial_\theta v = 0 }[/math]. (A.2)

We can reflect [math]\displaystyle{ \log \Omega }[/math] infinitely often across the half-infinite edges, extending v to a half-infinite domain that contains the half-space [math]\displaystyle{ \{ (s,\theta): s \lt \log R, \theta \in \R \} }[/math]. Thanks to the Neumann condition (A.2), v will remain smooth and obey the eigenfunction equation (A.1) in the entirety of this half-space.

Let's suppose that we have normalised our original eigenfunction u to have an L^2 norm of 1, then after transforming into logarithmic coordinates we have

[math]\displaystyle{ \int_{\log \Omega} |v|^2 e^{2s}\ ds = 1 }[/math] (A.3)

and hence by the Rayleigh quotient we have H^1 control:

[math]\displaystyle{ \int_{\log \Omega} (\partial_s v)^2 + (\partial_\theta v)^2\ ds d\theta = \lambda }[/math]. (A.4)

Now we can start moving towards L^infty control of v. We first look at the mean

[math]\displaystyle{ \bar{v}(s) := \frac{1}{\alpha} \int_0^\alpha v(s,\theta)\ d\theta }[/math].

From the eigenfunction equation and the Neumann boundary condition, the mean obeys the equation

[math]\displaystyle{ \partial_{ss} \bar{v} = \lambda e^{2s} \bar{v} }[/math]. (A.5)

On the other hand, the L^2 normalisation of v and Cauchy-Schwarz gives

[math]\displaystyle{ \int_{-\infty}^{\log R} |\bar v|^2 e^{2s}\ ds \leq 1/\alpha }[/math] (A.6)

and the H^1 bounds similarly gives

[math]\displaystyle{ \int_{-\infty}^{\log R} |\partial_s \bar v|^2\ ds \leq \lambda/\alpha }[/math]. (A.7)

Among other things, (A.7) tells us that [math]\displaystyle{ \partial_s \bar v }[/math] must go to zero along some subsequence as [math]\displaystyle{ s \to -\infty }[/math]. (Indeed, a Bessel expansion of the original eigenfunction shows that it goes to zero uniformly, but we won't need this fact here.) Integrating (A.5) and using (A.6) and Cauchy-Schwarz then gives us the bound

[math]\displaystyle{ |\partial_s \bar{v}(s)| \leq 2^{-1/2} \alpha^{-1/2} \lambda e^s }[/math] (A.8)

and hence on a second integration

[math]\displaystyle{ |\bar{v}(s)-\bar{v}(-\infty)| \leq 2^{-1/2} \alpha^{-1/2} \lambda e^s }[/math]. (A.9)

From the triangle inequality, we conclude that

[math]\displaystyle{ (\int_{-\infty}^{\log R} |\bar v|^2 e^{2s}\ ds)^{1/2} \geq |\bar v(-\infty)| 2^{-1/2} R - 2^{-3/2} \alpha^{-1/2} \lambda R^2 }[/math] (A.10)

and hence by (A.6)

[math]\displaystyle{ |\bar v(-\infty)| \leq 2^{1/2} \alpha R^{-1} + 2^{-1} \alpha^{-1/2} \lambda R }[/math] (A.11)

(which already bounds the original eigenfunction at the vertex) and hence by (A.9)

[math]\displaystyle{ |\bar v(s)| \leq 2^{1/2} \alpha R^{-1} + 2^{-1} \alpha^{-1/2} \lambda R + 2^{-1/2} \alpha^{-1/2} \lambda e^s }[/math]. (A.12)

This gives L^infty bounds on the mean [math]\displaystyle{ \bar v }[/math]. Now we move on to bounding v itself. We have the Sobolev inequality

[math]\displaystyle{ \sup_\theta |v(s,\theta)-\bar v(s)| \leq \int_0^\alpha |\partial_\theta v(s,\theta)|\ d\theta \leq \alpha^{1/2} (\int_0^\alpha |\partial_\theta v(s,\theta)|^2\ d\theta)^{1/2} }[/math] (A.13)

so it will suffice to get pointwise bounds on the angular energy

[math]\displaystyle{ E(s) := (\int_0^\alpha |\partial_\theta v(s,\theta)|^2\ d\theta)^{1/2} }[/math] (A.14)

since we then have

[math]\displaystyle{ |v(s,\theta)| \leq |\bar v(s)| + \alpha^{1/2} E(s) }[/math] (A.15)

from the triangle inequality.

Note that (A.4) gives an integrated bound

[math]\displaystyle{ \int_{-\infty}^{\log R} E(s)^2\ ds \leq \lambda }[/math]. (A.16)

On the other hand, differentiating (A.1) in [math]\displaystyle{ \theta }[/math] gives

[math]\displaystyle{ - \Delta \partial_\theta v = \lambda e^{2s} \partial_\theta v }[/math]

and hence by integration by parts

[math]\displaystyle{ \int_{\log \Omega} |\nabla \partial_\theta v|^2 \eta^2 = \int_{\log \Omega} \lambda e^{2s} |\partial_\theta v|^2 \eta^2 - 2 \int_{\log \Omega} \partial_\theta v \nabla \eta \cdot \nabla \partial_\theta v \eta }[/math]

for any test function [math]\displaystyle{ \eta }[/math]. Bounding

[math]\displaystyle{ -2 \int_{\log \Omega} \partial_\theta v \nabla \eta \cdot \nabla \partial_\theta v \eta \leq \frac{1}{2} \int_{\log \Omega} |\nabla \partial_\theta v|^2 \eta^2 + 2 \int_{\log \Omega} |\partial_\theta v|^2 |\nabla \eta|^2 }[/math]

we conclude that

[math]\displaystyle{ \int_{\log \Omega} |\nabla \partial_\theta v|^2 \eta^2 \leq \int_{\log \Omega} |\partial_\theta v|^2 (2 \eta^2 \lambda e^{2s} + 4 |\nabla \eta|^2) }[/math].

In particular, if [math]\displaystyle{ \eta }[/math] is a function just of s and is supported in [math]\displaystyle{ (-\infty,\log R] }[/math], we conclude that

[math]\displaystyle{ \int_{-\infty}^{\log R} |\partial_s E(s)|^2 \eta^2(s)\ ds \leq \int_{-\infty}^{\log R} E(s)^2 (2 \eta^2(s) \lambda e^{2s} + 4 \eta'(s)^2)\ ds. }[/math]. (A.17)

Combining this with (A.16) for various choices of cutoff [math]\displaystyle{ \eta }[/math] gives integral control on [math]\displaystyle{ \partial_s E(s) }[/math], and this combined with (A.16) gives pointwise control on E(s) and hence on v(s). This gives L^infty control on the eigenfunction u near the vertex. (The computations are somewhat ugly, though, particularly if one wants to optimise in eta.)

H^2 theory

Formally, if on a triangle [math]\displaystyle{ \Omega }[/math], a function v obeys the inhomogeneous Laplace equation

[math]\displaystyle{ -\Delta v = F }[/math] (B.1)

with homogeneous Neumann boundary data [math]\displaystyle{ n \cdot \nabla v = 0 }[/math], then after two integrations by parts we have the H^2 bound

[math]\displaystyle{ \int_\Omega |\nabla^2 v|^2 = \int_\Omega |F|^2 }[/math]

(Bochner-Weitzenbock identity.) The integrations by parts can be justified if v is smooth on Omega, with first derivative uniformly bounded and second derivative blowing up by at most [math]\displaystyle{ O(r^{-1+\varepsilon}) }[/math] at each vertex for some [math]\displaystyle{ \varepsilon\gt 0 }[/math], by the usual trick of inserting a cutoff function to smoothly cut out the integral at the vertices, performing the integration by parts, and then sending the cutoff parameter to zero. I think this sort of regularity for acute-angled triangles can be achieved in practice without difficulty.

Now suppose that one is solving the inhomogeneous Laplace equation (B.1) but with inhomogeneous Neumann data

[math]\displaystyle{ n \cdot \nabla v = f }[/math]. (B.2)

Then the integration by parts becomes much less favorable, as there are now a number of nasty boundary terms to take care of. But suppose that one can find a reasonably smooth function w (of the same regularity needed for v, i.e. first derivative uniformly bounded and second derivative blowing up slower than 1/r) which solves (B.2) but not (B.1), i.e.

[math]\displaystyle{ n \cdot \nabla w = f }[/math]

on the boundary. Then the difference v-w solves (B.1) with forcing term [math]\displaystyle{ F + \Delta w }[/math] and thus

[math]\displaystyle{ \| \nabla^2(v-w) \|_{L^2(\Omega)} = \| F + \Delta w \|_{L^2(\Omega)}. }[/math]

From the pointwise estimate [math]\displaystyle{ |\Delta w| \leq \sqrt{2} |\nabla^2 w| }[/math] and the triangle inequality we conclude that

[math]\displaystyle{ \| \nabla^2 v \|_{L^2(\Omega)} \leq \| F \|_{L^2(\Omega)} + (1+\sqrt{2}) \| w \|_{L^2(\Omega)}. }[/math] (B.3)

We can apply this to the first variation [math]\displaystyle{ \dot u = \dot u_2 }[/math] of the second eigenfunction at M=I. From the L^2 and H^1 stability theory one has

[math]\displaystyle{ -\Delta \dot u = \lambda_2 \dot u + \nabla \cdot \dot M \nabla u + \dot \lambda_2 u }[/math]

with boundary condition

[math]\displaystyle{ n \cdot \nabla \dot u = - n \cdot \dot M \nabla u }[/math] (B.4)

and thus we have the H^2 bound

[math]\displaystyle{ \| \nabla^2 \dot u \|_{L^2(\Omega)} \leq \lambda_2 \| \dot u \|_{L^2(\Omega)} + \| \nabla \cdot \dot M \nabla u \|_{L^2(\Omega)} + |\dot \lambda_2| \|u \|_{L^2(\Omega)} + (1+\sqrt{2}) \|w\|_{L^2(\Omega)} }[/math] (B.5)

where w is any function with boundary value (B.4). From the L^2 stability theory one has

[math]\displaystyle{ \| \dot u \|_{L^2(\Omega)}\leq \frac{1}{\lambda_3 - \lambda_2} \| \dot M \nabla u \|_{L^2} }[/math]

and so one has bounds on everything on the RHS of (B.5) except for the last term.

To control this term, we divide the triangle [math]\displaystyle{ \Omega = ABC }[/math] into three overlapping regions [math]\displaystyle{ \Omega_A, \Omega_B, \Omega_C }[/math], each one being a region around one of the three vertices A,B,C that avoids the other two vertices, as well as the edge joining those vertices. In each of these regions, we find a function w that solves the boundary condition (B.5) in that region, which obeys good H^2 bounds; combining these functions together by a partition of unity will then give a global w in [math]\displaystyle{ H^2(\Omega) }[/math] that obeys (B.5) on the entire boundary.

Let's look at the region [math]\displaystyle{ \Omega_A }[/math] near the vertex A, which we set to be the origin. In polar coordinates [math]\displaystyle{ (r,\theta) }[/math], we know that [math]\displaystyle{ \partial_\theta u = 0 }[/math] on the edges AB, AC, and so the boundary condition (B.4) becomes

[math]\displaystyle{ n \cdot \nabla \dot u = c_{AB} \partial_r u }[/math]

on AB and

[math]\displaystyle{ n \cdot \nabla \dot u = c_{AC} \partial_r u }[/math]

on AC for some explicit scalar constants [math]\displaystyle{ c_{AB}, c_{AC} }[/math] depending only on geometry of the triangle ABC and on [math]\displaystyle{ \dot M }[/math]. On [math]\displaystyle{ \Omega_A }[/math], we can build a function w_A that exhibits this data by the formula

[math]\displaystyle{ w_A(x) := u(\Phi(x)) }[/math]

where [math]\displaystyle{ \Phi: \Omega_A \to \Omega }[/math] is a smooth function that is the identity on the edges AB, BC inside [math]\displaystyle{ \Omega_A }[/math], and whose Hessian maps the outward normal n to a vector with radial component [math]\displaystyle{ c_{AB} }[/math] on AB and [math]\displaystyle{ c_{AC} }[/math] on AC. It is not difficult to see that one can choose such a function on [math]\displaystyle{ \Omega_A }[/math] so that [math]\displaystyle{ \nabla \Phi, (\nabla \Phi)^{-1} = O(1) }[/math] and [math]\displaystyle{ \nabla^2 \Phi = O(1/r) }[/math] (one can choose a function of the form [math]\displaystyle{ \Phi: (r,\theta) \mapsto (f(\theta) r, \theta) }[/math] for a suitable function f). The function w_A defined as above will solve the Neumann conditions, and from the chain rule one has

[math]\displaystyle{ \nabla^2 w_A(x) = O( |\nabla \Phi(x)|^2 |\nabla^2 u(\Phi(x))| ) + O( |\nabla^2 \Phi(x)| |\nabla u(\Phi(x))| ) }[/math]

and so

[math]\displaystyle{ \| \nabla^2 w_A \|_{L^2(\Omega_A)} \ll \| \nabla^2 u \|_{L^2(\Omega)} + \| \frac{\nabla u}{|x|} \|_{L^2(\Omega)}. }[/math]

A similar estimate (with some additional lower order terms) obtains when one glues together the three partial solutions w_A, w_B, w_C to create a solution w to the boundary problem with

[math]\displaystyle{ \| \nabla^2 w \|_{L^2(\Omega)} \ll \| u \|_{H^2(\Omega)} + \sum_{v=A,B,C} \| \frac{\nabla u}{|x-v|} \|_{L^2(\Omega)}. }[/math]

To finish the task of estimating [math]\displaystyle{ \dot u }[/math] in H^2, one therefore needs bounds on [math]\displaystyle{ \| \frac{\nabla u}{|x|} \|_{L^2(\Omega)} }[/math] (and similarly for the other two vertices of the triangle). I think such bounds can be obtained as follows. Let's work in [math]\displaystyle{ \Omega_A }[/math] with some suitable smooth cutoff and ignore terms coming from the derivatives of the cutoff (which don't involve the singularity 1/|x| and so are easy to estimate). If we subtract off [math]\displaystyle{ u(0) J_0(\sqrt{\lambda} r) }[/math] then u now has mean zero in angular directions. From integration by parts we have

[math]\displaystyle{ \int_{\Omega_A} \frac{|\nabla u|^2}{|x|^2} =\int_{\Omega_A} \frac{\lambda |u|^2}{|x|^2} + \int_{\Omega_A} \frac{u \partial_r u}{|x|^3} }[/math]

[math]\displaystyle{ = \int_{\Omega_A} \frac{\lambda |u|^2}{|x|^2} + \int_{\Omega_A} \frac{|u|^2}{|x|^4}. }[/math]

But if A has angle [math]\displaystyle{ \alpha }[/math], then the Poincare inequality in the angular direction gives

[math]\displaystyle{ \int_{\Omega_A} \frac{|u|^2}{|x|^4} \leq \frac{\alpha^2}{\pi^2} \int_{\Omega_A} \frac{|\nabla u|^2}{|x|^2} }[/math]

and so as [math]\displaystyle{ \alpha \lt \pi }[/math], we can bound [math]\displaystyle{ \int_{\Omega_A} \frac{|\nabla u|^2}{|x|^2} }[/math] as required.

An alternate approach to the H^2 theory

Yet another approach to the H^2 theory, which seems to give better results, comes from using Schwarz-Christoffel transformations, with the upper half-plane H being the reference domain.

More precisely, given three angles [math]\displaystyle{ \alpha+\beta+\gamma=\pi }[/math] for a triangle, we can find a Schwarz-Christoffel transformation [math]\displaystyle{ \Phi_{\alpha,\beta}: H \to \Omega(\alpha,\beta) }[/math] from the half-plane [math]\displaystyle{ H = \{z: Im(z) \gt 0\} }[/math] to a triangle [math]\displaystyle{ \Omega_{\alpha,\beta} }[/math] with angles [math]\displaystyle{ \alpha,\beta,\gamma }[/math] by solving the differential equation

[math]\displaystyle{ \frac{d}{dz} \Phi_{\alpha,\beta}(z) = \frac{1}{z^{1-\alpha/\pi} (z-1)^{1-\beta/\pi}} }[/math]

with initial condition [math]\displaystyle{ \Phi_{\alpha,\beta}(0)=0 }[/math], keeping [math]\displaystyle{ \Phi_{\alpha,\beta} }[/math] conformal. In particular, [math]\displaystyle{ \Phi_{\alpha,\beta}(z) }[/math] behaves like [math]\displaystyle{ A + \frac{\pi}{\alpha} z^{\alpha/\pi} }[/math] near the origin, [math]\displaystyle{ B + \frac{\pi}{\beta} (z-1)^{\beta/\pi} }[/math] near 1, and [math]\displaystyle{ C -\frac{\pi}{\gamma} z^{-\gamma/\pi} }[/math] at infinity, for some complex numbers A,B,C with A=0. The image [math]\displaystyle{ \Omega_{\alpha,\beta} }[/math] is a triangle ABC with angles [math]\displaystyle{ \alpha,\beta,\gamma }[/math].

Write [math]\displaystyle{ w = \Phi_{\alpha,\beta}(z) }[/math], then

[math]\displaystyle{ dw = \frac{dz}{z^{1-\alpha/\pi} (z-1)^{1-\beta/\pi}}. }[/math]

The Lebesgue measure dm_w on the triangle is related to the Lebesgue measure dm_z on the half-plane by the change of variables formula

[math]\displaystyle{ \int_{\Omega_{\alpha,\beta}} F(w) dm_w = \int_H \frac{F(\Phi_{\alpha,\beta}(z))}{|z|^{2(1-\alpha/\pi)} |z-1|^{2(1-\beta/\pi)}} dm_z. }[/math]

We write the expression [math]\displaystyle{ \frac{1}{|z|^{2(1-\alpha/\pi)} |z-1|^{2(1-\beta/\pi)}} }[/math] as [math]\displaystyle{ e^{2\omega} }[/math], where

[math]\displaystyle{ \omega = (\frac{\alpha}{\pi}-1) \log |z| + (\frac{\beta}{\pi}-1) \log |z-1|. }[/math]

The Rayleigh quotient, pulled back to the reference half-plane H, is then

[math]\displaystyle{ \int_H |\nabla u|^2\ dm_z / \int_H |u|^2 e^{2\omega}\ dm_z }[/math]

and so the second eigenfunction u_2, in the reference half-plane will obey the equation

[math]\displaystyle{ -\Delta u_2 = \lambda_2 e^{2\omega} u_2 }[/math] (C.1)

with Neumann boundary condition

[math]\displaystyle{ n \cdot \nabla u_2 = 0 }[/math] (C.2)

on the boundary of the half-plane and the mean zero condition

[math]\displaystyle{ \int_H u_2 e^{2\omega}\ dm_z = 0 }[/math]. (C.3)

We can normalise u_2 in L^2 norm,

[math]\displaystyle{ \int_H |u_2|^2 e^{2\omega}\ dm_z = 1 }[/math] (C.4)

which by the Rayleigh quotient immediately gives an H^1 bound

[math]\displaystyle{ \int_H |\nabla u_2|^2\ dm_z = \lambda }[/math] (C.5)

Now suppose that we vary [math]\displaystyle{ \alpha,\beta }[/math] smoothly with respect to a time parameter; this means that [math]\displaystyle{ \omega }[/math] will also vary by the formula

[math]\displaystyle{ \dot \omega = \frac{\dot \alpha}{\pi} \log |z| + \frac{\dot \beta}{\pi} \log |z-1|. }[/math] (C.6)

The eigenvalue [math]\displaystyle{ \dot \lambda_2 }[/math] can also vary at a rate which can be controlled by the previous perturbation theory (e.g. equation (14)). As for the variation of the eigenfunction [math]\displaystyle{ \dot u_2 }[/math], we can compute this by differentiating (C.1) to obtain

[math]\displaystyle{ - \Delta \dot u_2 = \dot \lambda_2 e^{2\omega} u_2 + 2 \lambda_2 \dot \omega e^{2 \omega} u_2 + \lambda_2 e^{2\omega} \dot u_2 }[/math]. (C.7)

Also, on differentating (C.2) we see that [math]\displaystyle{ \dot u_2 }[/math] conveniently satisfies a homogeneous Neumann condition:

[math]\displaystyle{ n \cdot \nabla \dot u_2 = 0 }[/math] (C.8)

Using the orthonormal basis [math]\displaystyle{ u_k e^\omega }[/math] of [math]\displaystyle{ L^2(H, dm_z) }[/math] as in the previous notes on L^2 and H^1 stability, we can obtain an explicit formula for [math]\displaystyle{ \dot u_2 }[/math]. Indeed, integrating (C.7) against another eigenfunction u_l and integrating by parts using (C.1), (C.8) gives

[math]\displaystyle{ \lambda_l \int_H \dot u_2 u_l e^{2\omega}\ dm_z= 2 \lambda_2 \int_H \dot \omega e^{2 \omega} u_2 u_l\ dm_z+ \lambda_2 \int_H e^{2\omega} \dot u_2 e^{2\omega} u_l\ dm_z }[/math]

and thus

[math]\displaystyle{ \int_H \dot u_2 u_l e^{2\omega}\ dm_z= 2 \frac{\lambda_2}{\lambda_l-\lambda_2} \int_H \dot \omega e^{2 \omega} u_2 u_l\ dm_z }[/math]

and hence by the eigenfunction expansion

[math]\displaystyle{ \dot u_2 = \sum_{l \neq 2} 2 (\frac{\lambda_2}{\lambda_l-\lambda_2} \int_H \dot \omega e^{2 \omega} u_2 u_l\ dm_z) u_l }[/math]

which among other things gives the L^2 identity

[math]\displaystyle{ \int_H (\dot u_2)^2 e^{2\omega}\ dm_z = \sum_{l \neq 2} 4 |\frac{\lambda_2}{\lambda_l-\lambda_2} \int_H \dot \omega e^{2 \omega} u_2 u_l\ dm_z|^2 }[/math]

and hence by the Bessel inequality

[math]\displaystyle{ \int_H (\dot u_2)^2 e^{2\omega}\ dm_z \leq \frac{4 \lambda_2^2}{|\lambda_3-\lambda_2|^2} X }[/math] (C.9)

where X is the quantity

[math]\displaystyle{ X : =\int_H |\dot\omega|^2 e^{2\omega} u_2^2\ dm_z }[/math]. (C.10)

The quantity cannot quite be bounded directly by (C.4) because of the logarithmic divergence in the weight [math]\displaystyle{ |\dot \omega|^2 }[/math], but it should be controllable by also employing (C.5) and (C.3), perhaps after transferring back to the triangle ABC.

The quantity X also controls [math]\displaystyle{ \dot \lambda_2 }[/math]. Indeed, on integrating (C.7) against u_2 and using (C.1), (C.2), (C.4) we obtain that

[math]\displaystyle{ 0 = \dot \lambda_2 + 2 \lambda_2 \int_H \dot \omega e^{2\omega} u_2\ dm_z }[/math]

and hence by Cauchy-Schwarz and (C.4)

[math]\displaystyle{ |\dot \lambda_2| \leq 2 \lambda_2 X^{1/2}. }[/math] (C.11)

If we now multiply (C.7) by [math]\displaystyle{ e^{-\omega} }[/math] and then take L^2 norms using the triangle inequality and the previous estimates (C.9), (C.10), (C.11) we conclude that

[math]\displaystyle{ (\int_H |\Delta \dot u_2|^2 e^{-2\omega}\ dm_z)^{1/2} \leq 2\lambda_2 X^{1/2} + 2 \lambda_2 X^{1/2} + \lambda_2 (\frac{4\lambda_2^2}{|\lambda_3-\lambda_2|^2} X)^{1/2} }[/math]

which simplifies to

[math]\displaystyle{ (\int_H |\Delta \dot u_2|^2 e^{-2\omega}\ dm_z)^{1/2} \leq \frac{4 \lambda_2 \lambda_3}{\lambda_3-\lambda_2} X^{1/2}. }[/math]

We can transfer this back to the triangle [math]\displaystyle{ \Omega_{\alpha,\beta}=ABC }[/math] by the change of variables

[math]\displaystyle{ \dot v(w) := \dot u( \Phi_{\alpha,\beta}^{-1}(w)) }[/math]

giving

[math]\displaystyle{ (\int_{\Omega_{\alpha,\beta}} |\Delta v|^2\ dm_w)^{1/2} \leq \frac{4\lambda_2 \lambda_3}{\lambda_3-\lambda_2} X^{1/2} }[/math]

which after two integration by parts (Bochner-Weitzenbock inequality) gives an H^2 bound on v:

[math]\displaystyle{ (\int_{\Omega_{\alpha,\beta}} |\nabla^2 v|^2\ dm_w)^{1/2} \leq \frac{4\lambda_2 \lambda_3}{\lambda_3-\lambda_2} X^{1/2}. }[/math]

By Sobolev embedding, (noting also that we have L^2 and H^1 control on v) we can thus obtain L^infty control on v (or equivalently, u) in terms of the quantity X. So the main task is to understand how to bound X, which in the ABC coordinates is basically the L^2 norm of v weighted by a reasonably explicit logarithmic weight.

This is done more explicitly at this set of notes.

The Bessel function [math]\displaystyle{ J_\nu(x) }[/math] for [math]\displaystyle{ \nu \geq 0 }[/math] has the Weierstrass factorisation

[math]\displaystyle{ J_\nu(x) = \frac{x^\nu}{2^\nu \Gamma(\nu+1)} \prod_{i=1}^\infty (1 - \frac{x^2}{j_{\nu,i}^2}) }[/math]

where [math]\displaystyle{ j_{\nu,i} }[/math] are the positive zeroes of [math]\displaystyle{ J_\nu }[/math]; see e.g. this link.

In particular, we have

[math]\displaystyle{ J_\nu(x)/J_\nu(y) = (x/y)^\nu \prod_{i=1}^\infty (1 - \frac{x^2}{j_{\nu,i}^2})/(1 - \frac{y^2}{j_{\nu,i}^2}). }[/math]

It is known that [math]\displaystyle{ j_{\nu,i} }[/math] are non-decreasing in [math]\displaystyle{ \nu }[/math] (page 508 of WATSON, G.N., A Treatise on the Theory of Bessel Functions, 2nd ed., Cambridge University Press, 1944; one can also use here the Sturm comparison theorem). Thus if [math]\displaystyle{ 0 \leq x \leq y \leq j_{\nu_0,1} }[/math] and [math]\displaystyle{ \nu \geq \nu_0 }[/math], then [math]\displaystyle{ (1 - \frac{x^2}{j_{\nu,i}^2})/(1 - \frac{y^2}{j_{\nu,i}^2}) }[/math] is non-increasing in [math]\displaystyle{ \nu }[/math], and thus

[math]\displaystyle{ J_\nu(x)/J_\nu(y) \leq (x/y)^{\nu-\nu_0} J_{\nu_0}(x)/J_{\nu_0}(y) }[/math]. (1)

Now, consider a solution to the eigenfunction equation [math]\displaystyle{ -\Delta u = \lambda u }[/math] in the sector [math]\displaystyle{ \{ (r,\theta): 0 \leq r \leq R; 0 \leq \theta \leq \alpha\} }[/math] for some acute [math]\displaystyle{ 0 \lt \alpha \lt \pi/2 }[/math] and some radius [math]\displaystyle{ R\gt 0 }[/math], obeying the Neumann conditions [math]\displaystyle{ \partial_\theta u = 0 }[/math] for [math]\displaystyle{ \theta=0,\alpha }[/math]. For technical reasons we will also need the upper bound

[math]\displaystyle{ \sqrt{\lambda} R \leq j_{\pi/\alpha,1} }[/math] (2)

which seems to hold in practice.

By separation of variables, we can write u in polar coordinates as

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

for some coefficients [math]\displaystyle{ c_k }[/math]. From (2) and the triangle inequality we thus have the bound

[math]\displaystyle{ |u(r_0,\theta) - u(0) J_0(\sqrt{\lambda} r_0)| \leq \sum_{k=1}^\infty |c_k| J_{\pi k/\alpha}(\sqrt{\lambda} r_0) }[/math]

for any [math]\displaystyle{ 0 \leq r_0 \leq R }[/math]. To bound the coefficients, we assume an L^2 normalisation

[math]\displaystyle{ \int_0^R \int_0^{\alpha} |u(r,\theta)|^2\ rdr \leq 1. }[/math]

The left-hand side may be expanded as

[math]\displaystyle{ \alpha |u(0)|^2 \int_0^R J_0(\sqrt{\lambda} r)^2 r dr + \frac{\alpha}{2} \sum_{k=1}^\infty |c_k|^2 \int_0^R J_{\pi k/\alpha}(\sqrt{\lambda} r)^2 r dr }[/math]

and thus

[math]\displaystyle{ \sum_{k=1}^\infty |c_k|^2 \int_0^R J_{\pi k/\alpha}(\sqrt{\lambda} r)^2 r dr \leq A }[/math]

where A is the quantity

[math]\displaystyle{ A := \frac{2}{\alpha} - 2 |u(0)|^2 \int_0^R J_0(\sqrt{\lambda} r)^2 r dr. }[/math] (3)

Thus by the Cauchy-Schwarz inequality, we have

[math]\displaystyle{ |u(r_0,\theta) - u(0) J_0(\sqrt{\lambda} r_0)| \leq r_0^{\pi/\alpha} A^{1/2} B(r_0)^{1/2} }[/math] (4)

where B(r_0) is the quantity

[math]\displaystyle{ B(r_0) := \sum_{k=1}^\infty \frac{1}{ \int_0^R (J_{\pi k/\alpha}(\sqrt{\lambda} r)/J_{\pi k/\alpha}(\sqrt{\lambda} r_0))^2 r dr }. }[/math]

We may upper bound B(r_0) as follows. We may reduce the range of integration from [0,R] to [math]\displaystyle{ [r_1,R] }[/math] for some intermediate radius [math]\displaystyle{ r_0 \leq r_1 \leq R }[/math]. By (1) and (2), we may replace [math]\displaystyle{ \tilde J_{\pi k/\alpha}(\sqrt{\lambda} r)/J_{\pi k/\alpha}(\sqrt{\lambda} r_0) }[/math] by [math]\displaystyle{ (r_1/r_0)^{\pi(k-1)/\alpha} \tilde J_{\pi/\alpha}(\sqrt{\lambda} r)/J_{\pi/\alpha}(\sqrt{\lambda} r_0) }[/math]. Thus

[math]\displaystyle{ B(r_0) \leq \sum_{k=1}^\infty \frac{(r_0/r_1)^{2(k-1)\pi/\alpha} J_{\pi/\alpha}(\sqrt{\lambda} r_0) }{ \int_{r_1}^R J_{\pi/\alpha}(\sqrt{\lambda} r)^2 r dr }. }[/math]

One may then sum the geometric series and conclude that

[math]\displaystyle{ |u(r_0,\theta) - u(0) J_0(\sqrt{\lambda} r_0)| \leq J_{\pi/\alpha}(\sqrt{\lambda} r_0) A^{1/2} ((r_1/r_0)^{2\pi/\alpha}-1)^{-1/2} C(r_1)^{-1/2} }[/math] (5)

for any [math]\displaystyle{ r_0 \leq r_1 \leq R }[/math], where

[math]\displaystyle{ C(r_1) := \int_{r_1}^R J_{\pi/\alpha}(\sqrt{\lambda} r)^2 r dr. }[/math]

One can use (5) to exclude extrema for small values of r_0. For instance, (5) shows that [math]\displaystyle{ |u(r_0,\theta)| }[/math] cannot exceed [math]\displaystyle{ |u(0)| }[/math] unless

[math]\displaystyle{ |u(0)| (1 - |J_0(\sqrt{\lambda} r_0)|) \geq J_{\pi/\alpha}(r_0) A^{1/2} ((r_1/r_0)^{2\pi/\alpha}-1)^{-1/2} C(r_1)^{-1/2}. }[/math]

The left hand side behaves like r_0^2, and the right-hand side like [math]\displaystyle{ r_0^{\pi/\alpha} }[/math], so for acute [math]\displaystyle{ \alpha }[/math] this inequality becomes impossible for small enough [math]\displaystyle{ r_0 }[/math] (and "small enough" can be made numerically explicit if one is willing to compute with Bessel functions). Things become bad when [math]\displaystyle{ \alpha }[/math] is close to a right angle, but it seems in those cases that the extremum is obtained elsewhere.