MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Lately I've been thinking about the following distribution on the flat torus $\mathbb{T}^2$:

$u_k=\frac{1}{\sqrt{2\lfloor k^{0.99}\rfloor+1}}\sum_{|l|\leq k^{0.99}}e^{ikx}e^{ily}=\frac{1}{\sqrt{2\lfloor k^{0.99}\rfloor+1}}\sum_{l=-\lfloor k^{0.99}\rfloor}^{\lfloor k^{0.99}\rfloor}e^{ikx}e^{ily}$

($2\lfloor k^{0.99}\rfloor+1$ is just the number of summands.)

$u_k$, $k\in\mathbb{N}$, is a poor quasimode for the Laplacian:


(here $\Delta=-(\partial_x^2+\partial_y^2)$).

Via the Dirichlet kernel, we know that

$u_k=\frac{e^{ikx}}{\sqrt{2\lfloor k^{0.99}\rfloor+1}}\frac{\sin((\lfloor k^{0.99}\rfloor+\frac{1}{2})y)}{\sin(\frac{y}{2})}$

My question is about $||u_k||_{L^2(\Omega)}$, where $\Omega$ is any region localized away from the closed orbit $\gamma:=\{y=0,x\in S^1\}$ i.e. $\Omega\cup\gamma=\emptyset$. How would I find the value of $\rho$ such that

$||u_k||_{L^2(\Omega)}\leq Ck^{-\rho}$?

I suspect that $\rho>0$ is non-trivial. Any ideas how I can compute the value of $\rho$?


share|cite|improve this question
crosspost… – Will Jagy May 8 '13 at 0:14

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.