[論文レビュー] A Hardy inequality on Riemannian manifolds and classification of discrete Dirichlet spectra

Nils Rautenberg|arXiv (Cornell University)|Jan 20, 2014

Spectral Theory in Mathematical Physics参考文献 4被引用数 5

ひとこと要約

本稿では、単位接空間上の測地線平均を用いて、リーマン多様体上での鋭いハーディー不等式を確立し、境界距離の正則性と準有界性が、ディリクレ・ラプラシアンの純粋離散スペクトルを示すことを証明する。主な貢献は、次元に依存するハーディー定数 $ \frac{n}{4} $ であり、これはユークリッドの場合を任意の多様体に一般化し、負曲率空間における多角形、特に理想頂点をもつ双曲多様体のスペクトル分類を可能にする。

ABSTRACT

We prove a Hardy inequality for uniformly elliptic operators subject to Dirichlet or mixed boundary conditions on domains $Ω$ with piecewiese smooth boundary in arbitrary Riemannian Manifolds (M, g). Employing an approach of E.B. Davies for the euclidean case, we show that it implies a sufficient geometric criterion under which the Laplace- Beltrami operator with Dirichlet boundary conditions $Δ^D$ has purely discrete spectrum on $Ω$. We proceed to classify all non-compact $Ω$ with discrete spectrum up to a boundary regularity condition and show that these include for example polygons with ideal vertices in manifolds of negative curvature. This a new result for non-constant curvature.

研究の動機と目的

• 任意の曲率をもつ一般のリーマン多様体への古典的ユークリッド型ハーディー不等式の拡張。
• ディリクレ境界条件をもつラプラス＝ベルトラミー作用素の純粋離散スペクトルに対する幾何的基準の確立。
• 境界正則性および準有界性の下で、非コンパクト領域の離散スペクトルを分類すること。
• 方向平均を用いて、混合ディリクレ＝ノイマン境界条件への結果の一般化。

提案手法

• 距離関数 $ m(p) $ を、単位接空間 $ S_p\Omega $ 上での測地的到達距離の逆数の $ L^{-2} $ 平均として定義し、ユークリッドの線を測地線に置き換える。
• すべての $ f \in H^1_0(\Omega) $ に対して、鋭いハーディー不等式 $ \int |\mathrm{grad}(f)|^2 d\mu \geq \frac{n}{4} \int \frac{|f|^2}{m^2} d\mu $ を証明し、曲率に依存しない定数を得る。
• この不等式を用いて、$ \Omega $ が準有界であれば、境界距離正則性のもとで純粋離散スペクトルの十分条件を導出する。
• 測地線平均をディリクレ境界部分に達する方向に制限することで、混合境界条件への一般化を実現する。
• 比較幾何学（トポゴノフの定理）を用いて、$ -b \leq K \leq -a $ の変動する負曲率多様体への結果の拡張を図る。
• 双曲空間における一様な錐条件を証明し、理想頂点をもつ多角形の境界距離正則性を検証する。

実験結果

リサーチクエスチョン

• RQ1 リーマン多様体 $ (M,g) $ の領域 $ \Omega \subset (M,g) $ において、ディリクレ・ラプラシアンが純粋離散スペクトルをもつのはどのような幾何的条件下か？
• RQ2 曲率が定数でないリーマン多様体に対しても、古典的ユークリッド型ハーディー不等式を一般化できるか？
• RQ3 測地線距離平均 $ m(p) $ は、スペクトルの離散性を決定づける役割を果たすか？
• RQ4 理想頂点をもつ多角形における双曲空間上でのラプラシアンのスペクトルはどのように振る舞うか？
• RQ5 スペクトルの離散性に関する結果を、混合境界条件をもつ作用素へ拡張できるか？

主な発見

• 任意のリーマン多様体上で鋭いハーディー不等式が成立する：$ \int |\mathrm{grad}(f)|^2 d\mu \geq \frac{n}{4} \int \frac{|f|^2}{m^2} d\mu $、ここで $ m(p)^{-2} = \int_{S_p\Omega} r_p(v)^{-2} dv $。
• ハーディー定数 $ \frac{n}{4} $ は次元にのみ依存し、曲率や幾何的データとは無関係である。
• 境界距離正則性のもとで、$ \Omega $ の準有界性が、$ \Delta^D $ の純粋離散スペクトルの十分条件である。
• 理想頂点をもつ $ \mathbb{H}^n $ 上の多角形は、コンパクト性がなくても離散スペクトルをもつ。
• 比較定理を用いて、$ -b \leq K \leq -a $、$ b > a > 0 $ を満たす変動する負曲率多様体に対しても結果が拡張可能である。
• 混合境界条件では、$ m_\Gamma $、すなわちディリクレ境界 $ \Gamma $ に達する測地線の平均を用いたハーディー不等式が成立する。