[論文レビュー] A general discrete Wirtinger inequality and spectra of discrete Laplacians

Ivan Izmestiev|arXiv (Cornell University)|Feb 11, 2015

Spectral Theory in Mathematical Physics参考文献 13被引用数 3

ひとこと要約

この論文は、円周上の角度αᵢを含む重み付きで幾何的に動機づけられたバージョンを導入することで、離散的Wirtinger不等式を一般化する。これは、離散ラプラシアンのスペクトルギャップと関連づけられる。主な貢献は、古典的結果を拡張する新しい不等式および行列の符号型定理であり、正の曲率を有する球面的コーン計量に対するLichnerowicz-Obata定理の離散版を示唆する。

ABSTRACT

We prove an inequality that generalizes the Fan-Taussky-Todd discrete analog of the Wirtinger inequality. It is equivalent to an estimate on the spectral gap of a weighted discrete Laplacian on the circle. The proof uses a geometric construction related to the discrete isoperimetric problem on the surface of a cone. In higher dimensions, the mixed volumes theory leads to similar results, which allows us to associate a discrete Laplace operator to every geodesic triangulation of the sphere and, by analogy, to every triangulated spherical cone-metric. For a cone-metric with positive singular curvatures, we conjecture an estimate on the spectral gap similar to the Lichnerowicz-Obata theorem.

研究の動機と目的

• 円周上での変動する角度αᵢを含む重み付きで幾何的に動機づけられた設定において、Fan-Taussky-Toddの離散的Wirtinger不等式を一般化すること。
• 重み付き離散ラプラシアンのスペクトルギャップと、コーン上の幾何的等周問題との関係を確立すること。
• 混合体積およびクエルマスインテグラルを用いて高次元に拡張する枠組みを構築し、球面的コーン計量に対するLichnerowicz-Obata定理の離散版を導くこと。
• 正の特異曲率を有する球面的コーン計量に対する離散的Lichnerowicz型推定値を予想すること。

提案手法

• 重み付き差分(xᵢ − xᵢ₊₁)² / sin αᵢ₊₁とtan(αᵢ/2)係数を有する二次形式を含む、一般化された離散的Wirtinger型不等式（定理2）を導出する。
• 二次形式に関連する巡回的三重対角行列Mの符号型定理（定理3）を証明し、その固有値の符号が∑αᵢを2πで割った剰余に依存することを示す。
• 固定された辺の方向と周囲長の下で最大面積を囲む最適多角形を特徴づける、コーン上の離散的等周問題に関連する幾何的構成を用いる。
• 高次元において混合体積およびクエルマスインテグラルの道具を用い、多面体的および三角形分割された球面計量における行列Mを介して離散ラプラシアン作用素を定義する。
• Delaunay三角形分割における頂点のリンク上の二次形式の非正定値性を分析することで、Weitzenböck公式の離散版を確立する。
• 球面的コーン計量においてすべてのコーン角が2π未満である場合、⟨Mx, 1⟩ = 0ならば⟨Mx, x⟩ ≤ 0が成り立つと予想し、Lichnerowicz-Obata定理を拡張する。

実験結果

リサーチクエスチョン

• RQ1 円周格子上での変動する重みαᵢを有する一般化された離散的Wirtinger不等式における最良定数は何か？
• RQ2 重み付き離散ラプラシアンのスペクトルギャップは、全角度和やコーン曲率といった幾何的制約とどのように関係するか？
• RQ3 球面上のラプラシアンのスペクトルギャップに関する古典的Lichnerowicz-Obata定理を、球面的コーン計量に対して離散化できるか？
• RQ4 三角形分割された球面計量が満たすべき条件は何か？ その際、関連する離散ラプラシアンが離散的Lichnerowicz型スペクトルギャップ推定を満たすようにする。

主な発見

• 一般化された離散的Wirtinger不等式（定理2）は、全角度和∑αᵢ ≤ 2πである場合にかつその場合にのみ成立し、等号成立時はxₖ = a cos(∑ᵢ₌₁ᵏ αᵢ) + b sin(∑ᵢ₌₁ᵏ αᵢ)の形の調和関数に対応する。
• 角度αᵢによって定義される巡回的三重対角行列Mは、∑αᵢ = 2mπであるか、2mπと2(m+1)πの間にあるかによって、明確な符号型(p, q, r)を有する。
• ∑αᵢ = 2πのとき、Mの核はちょうどxₖ = a cos(∑ᵢ₌₁ᵏ αᵢ) + b sin(∑ᵢ₌₁ᵏ αᵢ)の形のベクトルからなる。これは円周上の調和関数に対応する。
• ∑αᵢ > 2πの場合、特定の非ゼロxᵢに対して不等式が成立しなくなるため、幾何的パrameter空間における鋭い閾値が示される。
• 高次元において、クエルマスインテグラルWₙ₋₂は二次形式Wₙ₋₂(h) = ⟨Mh, h⟩を定義し、ここでMは facet の法線νᵢとサポート数hᵢから導かれる対称行列である。
• 離散的Lichnerowicz予想（予想5.3）は、すべてのコーン角が2π未満であるDelaunay三角形分割を有する球面的コーン計量に対して、⟨Mx, 1⟩ = 0ならば⟨Mx, x⟩ ≤ 0が成り立ち、等号成立はxが法線上の線形関数である場合に限ることを主張する。