[論文レビュー] Improved Generalized Periods estimates on Riemannian Surfaces with Nonpositive Curvature

Yakun Xi|arXiv (Cornell University)|Nov 27, 2017

Geometric Analysis and Curvature Flows参考文献 14被引用数 6

ひとこと要約

本稿は、非正曲率をもつコンパクトなリーマン多様体上の固有関数の一般化された周期（$u$-階フーリエ係数）について、改善された $L^2$-衰減推定を確立する。普遍被覆における測地的平行四辺形を定量的に回避するようにガウス・ボネの定理を精緻化することで、著者らは、$\nu < c_0\lambda$ かつ $0 < c_0 < 1$ の場合に、これらの一般化された周期が $O((\log\lambda)^{-1/2})$ の速度で衰えることを証明した。これは、従来の測地的周期積分に関する結果を拡張し、一般化された周期の弱 $L^2$-収束を示唆する。

ABSTRACT

We show that on compact Riemann surfaces of negative curvature, the generalized periods, i.e. the $ν$-th order Fourier coefficient of eigenfunctions $e_λ$ over a period geodesic $γ$ goes to 0 at the rate of $O((\logλ)^{-1/2})$, if $0

研究の動機と目的

• 非正曲率をもつコンパクトなリーマン多様体上の $L^2$-正規化された固有関数の一般化されたフーリエ係数（一般化された周期）の定量的衰減推定を確立すること。
• 同じ曲率仮定のもとで、従来の測地的周期積分（$\nu=0$）に関する結果を、$\nu > 0$ の高階フーリエ係数へ拡張すること。
• コンパクトな双曲多様体上の一般化された閉測地線に対して、正規直交固有基底の制限が $L^2(\gamma)$ 上でゼロへの弱収束を示すフル密度部分列を有することを示すこと。

提案手法

• Sogge, Xi, and Zhang (2017) の手法を発展させ、測地的長方形の代わりに普遍被覆における測地的平行四辺形を定量的に回避するガウス・ボネの定理を用いる。
• 固有関数の測地線への制限を含む振動積分に対して、測地線分からの距離関数から導かれる位相関数を用いた静止位相法を適用する。
• 分割単位およびカットオフ関数を用いて、位相関数の臨界点の近傍に積分を局所化し、非正曲率の性質を活用して位相関数の2次微分を制御する。
• 変数 $t$ について部分積分を適用することで、各ステップで $\lambda^{-1/6}$ の因子を獲得し、振動積分を制御し、衰減境界を導出する。
• 曲率条件 (1.5) を活用し、これは曲率が平均的に有限型の割合で消えることを許容するものであり、普遍被覆の幾何構造を制御する。
• 命題 3.11 および補題 4.13 を用いて、位相関数の2次微分が下から有界である領域における積分を評価し、$\nu < c_0\lambda$ の限り、$\nu$ に依存しない衰減率を保証する。

実験結果

リサーチクエスチョン

• RQ1 非負曲率多様体上での測地的周期積分（$\nu=0$）に対して知られている $O((\log\lambda)^{-1/2})$ の衰減率が、高階の一般化された周期（$\nu > 0$）に対しても拡張可能か。
• RQ2 非正曲率をもつ固有関数に対して、$O((\log\lambda)^{-1/2})$ よりも良い衰減率が得られない幾何的障害は何か。
• RQ3 平均的に有限型の割合で曲率が消える曲率条件のもとで、一般化された周期に対して $O((\log\lambda)^{-1/2})$ よりも強い衰減が達成可能か。
• RQ4 コンパクトな双曲多様体上の一般化された閉測地線 $\gamma$ に対して、正規直交固有基底の制限 $e_{\lambda_j}|_\gamma$ が、$L^2(\gamma)$ 上でゼロへの弱収束を示すフル密度部分列を有するか。
• RQ5 ガウス・ボネの定理を用いて、普遍被覆における測地的平行四辺形を定量的に回避することで、固有関数制限理論における振動積分を制御可能か。

主な発見

• 平均的消滅条件 (1.5) を満たす非正曲率をもつコンパクトなリーマン多様体上では、固有関数 $e_\lambda$ の $\nu$-階一般化周期は、すべての $\nu < c_0\lambda$ に対して $0 < c_0 < 1$ のもとで $O((\log\lambda)^{-1/2})$ の速度で衰える。この衰減は $\nu$ に一様である。
• この衰減率は、$S^2$ や $\mathbb{T}^2$ のような非負曲率多様体で知られている一様な $O(1)$ の境界よりも厳密に良い。非負曲率多様体では、このような衰減は成立しない。
• この結果は、$S^2$ や $\mathbb{T}^2$ 上では、周期的測地線に沿って定数となる固有関数の具体的な反例によって、もはやこのような衰減は不可能であるという点で、本質的に鋭い。
• $O((\log\lambda)^{-1/2})$ の衰減率は、ガウス・ボネの定理を用いて普遍被覆における測地的平行四辺形を回避するように精緻化された静止位相法によって確立された。
• 定義 1.2 で形式化されたように、平均的に有限型の割合で曲率が消えることを許容するという点で、従来の研究よりも曲率仮定を弱めることが可能になった。
• この結果は、コンパクトな双曲多様体上の一般化された閉測地線 $\gamma$ に対して、正規直交固有基底の制限 $e_{\lambda_j}|_\gamma$ が、$L^2(\gamma)$ 上でゼロへの弱収束を示すフル密度部分列を有することを示唆する。