Skip to main content
2 of 8
edited body
Mr.right
  • 171
  • 1
  • 7

Is this oscillatory integral estimate sharp?

Suppose $X$ and $Z$ are open sets in $\mathbb{R}^d$ and $\mathbb{R}^{d+1}$, respectively. Define $T_\lambda f:L^2(Z)\to L^2(X)$ by $$T_\lambda f(x)=\int e^{i\lambda\Phi(x,z)}a(x,z)f(z)dz,$$where the phase function $\Phi\in C^\infty(X\times Z)$ and $a\in C_0^\infty(X\times Z)$. Let $C_\Phi=\{(x,\Phi'_x;z,\Phi'_z)\}$ be the associated canonical relation. If the projection $\pi_L:C_\Phi\to T^*X$ is a submersion with folds, then we have$$ ||T_\lambda f||_2\le C\lambda^{-d/2}(\log \lambda)^{-1/2}||f||_2,\ \lambda\gg1,$$ by Theorem 2.1 in the paper Fourier integral operators with fold singularities by Greenleaf and Seeger(http://www.math.wisc.edu/~seeger/papers/crelle.pdf).

My questions: 1. Is this estimate sharp?

  1. When can we remove the $(\log\lambda)^{-1/2}$ factor? Are there any references on the sufficient conditions(or necessary conditions)?
Mr.right
  • 171
  • 1
  • 7