Applications of the Funk-Hecke theorem to smoothing and trace estimates

详细信息    查看全文

• 作者：Neal Bez^a ; ^{nealbez@mail.saitama-u.ac.jp" class="auth_mail" title="E-mail the corresponding author} ; Hiroki Saito^a ; ^{j1107703@gmail.com" class="auth_mail" title="E-mail the corresponding author} ; Mitsuru Sugimoto^b ; ^{sugimoto@math.nagoya-u.ac.jp" class="auth_mail" title="E-mail the corresponding author}
• 关键词：primary ; 42B37 ; secondary ; 35B45 ; 35Q40
• 刊名：Advances in Mathematics
• 出版年：2015
• 出版时间：5 November 2015
• 年：2015
• 卷：285
• 期：Complete
• 页码：1767-1795
• 全文大小：489 K

文摘

For a wide class of Kato-smoothing estimates with radial weights, the Funk–Hecke theorem is used to generate a new expression for the optimal constant in terms of the Fourier transform of the weight, from which several applications are given. For example, we are able to easily establish a unified theorem, assuming natural power-like asymptotic estimates for the Fourier transform of the weight, from which many well-studied smoothing estimates immediately follow, as well as sharpness of the decay and smoothness exponents. Furthermore, observing that the weight has an everywhere positive Fourier transform in many well-studied cases, our approach allows sharper information regarding the optimal constant and extremisers, substantially extending earlier work of Simon. These observations are very closely related to the Mizohata–Takeuchi conjecture regarding the equivalence of weighted L²$L^2$ bounds for the Fourier extension operator on the sphere and the uniform boundedness of the X  -ray transform of the weight. For radial weights, this has been independently established by Barceló–Ruiz–Vega and Carbery–Soria; we provide a short alternative proof in three and higher dimensions of this equivalence when the Fourier transform of the weight is positive, with the optimal relationship between constants. Finally, our approach works for the closely connected trace theorems on the sphere where analogous results are given, including the optimal constant and characterisation of extremisers for the inhomogeneous H^s(R^d)→L²(S^d−1)$H^s({\mathbb{R}}^d)\to L^2({\mathbb{S}}^{d-1})$ trace theorem.