3
$\begingroup$

Let A be the unit square, $\{u_k\}$ is the set of all L2-normalized Laplacian eigenfunctions with Dirichlet boundary condition. Is it true that for any open subset V, $C_V = \inf\limits_k \int\limits_V dx |u_k(x)|^2 > 0$ ?

$\endgroup$

2 Answers 2

2
$\begingroup$

My offic mate and I believe this is true. By separation of variables the eigenfunctions are just $Csin(\pi kx)sin(\pi ly)$ for some fixed constant $C > 0$. Using the trig identity $\sin^2(x) = (1-\cos(2x))/2$, we see that

$\int_a^b \sin^2(kx)\ dx = (1/k)\int_{ak}^{bk} \sin^2(x)\ dx = (b-a)/2 - (1/2k)\int_{ak}^{bk}\cos(2x)\ dx \geq (b-a)/2 -1/2k$

The integral of $|u_k|^2$ on a small square is just

$\int_a^b\int_a^b \sin^2(\pi kx)\sin^2(\pi ly)\ dxdy$

so we can apply the previous line twice.

$\endgroup$
4
  • $\begingroup$ These eigenfunctions are zero on the boundary. However, the problem is about arbitrary boundary conditions in which case the eigenfunctions are more complicated. $\endgroup$
    – GH from MO
    Apr 8, 2011 at 17:36
  • 4
    $\begingroup$ @GH: I usually understand "$L^2$ eigenfunctions with Dirichlet boundary conditions" to mean precisely the functions vanishing on the boundary... $\endgroup$ Apr 8, 2011 at 18:06
  • $\begingroup$ Willie, thanks. At any rate, what I suggested is a more interesting problem, I think. $\endgroup$
    – GH from MO
    Apr 8, 2011 at 22:34
  • $\begingroup$ Thanks, but it is not complete. The difficult case corresponds to degenerate eigenvalues, for which an eigenfunction is a linear combination of the products of sines. $\endgroup$ Apr 9, 2011 at 7:14
1
$\begingroup$

If we take the usual trigonometric basis, it is indeed true as has been pointed out. However, there is a harder form of the question: Some of the eigenvalues are degenerate. If we allow arbritrary eigenfunctions, does the claim remain true?

$\endgroup$

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.