[論文レビュー] Stability of Bounded Solutions for Degenerate Complex Monge-Ampère equations

Sławomir Dinew, Zhou Zhang|ArXiv.org|Nov 22, 2007

Geometry and complex manifolds参考文献 9被引用数 13

ひとこと要約

この論文は、コンパクト・カーラー多様体上の退化複素マ Monge-Ampère方程式の有界解について、最適な安定性推定を確立する。Kołodziejの結果を一般化し、右辺を容量正則性条件を満たす一般のボレル測度に、形式 ω を必ずしもカーラーでないが「ビッグ」な形式にまで拡張する。主な貢献は、最適な安定性指数の証明および容量に基づく正則性仮定を用いた特異測度への拡張である。

ABSTRACT

We generalize and strenghten Kołodziej's stability theorem. In particular we give sharp stability exponent and treat the case with more singular right hand side of the Monge-Ampère equation.

研究の動機と目的

• 形式 ω がカーラーでないが半正定でビッグな場合に、複素マ Monge-Ampère方程式の有界解に対するKołodziejの安定性結果を退化系に一般化すること。
• 右辺が滑らかな体積形式ではなく、容量支配条件を満たす一般のボレル測度である場合に、安定性推定を拡張すること。
• このような一般化された方程式において、L^p 様式での最適な安定性指数を確立すること。
• 連続性仮定を安定性解析とは独立に、（例えば局所的に双有理な正則写像など）やや弱い幾何的仮定のもとで、有界解の連続性を証明すること。
• 特異測度の存在下での Hölder 連続性および安定性を扱うフレームワークを提供し、極値関数や均衡測度に関する今後の研究を支援すること。

提案手法

• 擬シュレーディンガー関数の下位集合のサイズを制御するために、ビッグ形式 ω に関する相対的容量の使用。
• ボレル測度 Ω に容量支配条件を導入：任意のコンパクト集合 K に対して Ω(K) ≤ C cap_ω(K)^{1+α} および ∫_K f dΩ ≤ C cap_ω(K)^{1+χ} が成り立ち、解の有界性を保証する。
• 複素ポテンシャル論における比較原理および近似技術を、退化および特異な右辺に対応するように適応する。
• 部分集合 W(j,c) の下位集合を用いた容量における相対的コンパクト性の議論を応用し、解列の収束および連続性を証明する。
• u_j → u が容量において収束し、かつ W(j,a_1) の容量に一様な下界が存在するという矛盾から d=0 を示し、結果として極限の連続性を証明する。
• 電流の意味でのマ Monge-Ampère作用素の構造および事前推定の存在を活用し、PSH_ω(X) ∩ L^∞(X) 内の弱解を扱う。

実験結果

リサーチクエスチョン

• RQ1 右辺がボレル測度に関する L^p 関数である場合、退化複素マ Monge-Ampère方程式の有界解に対する安定性指数は最適であるか？
• RQ2 右辺の測度が特異的（例えば体積形式に関して絶対連続でない）である場合に、安定性推定を拡張できるか？
• RQ3 右辺が容量条件を満たす一般のボレル測度である場合、ω が半正定でビッグな形式であるとき、マ Monge-Ampère方程式の有界解は連続性を保つのか？
• RQ4 ω が半正定でビッグであり、右辺が特異測度である場合に、解の Hölder 連続性は保存されるか？
• RQ5 L^p 様式における安定性指数は一般に改善可能か、あるいは退化系において最適であることが示せるか？

主な発見

• この論文は、ビッグ形式および特異測度の設定に一般化された退化複素マ Monge-Ampère方程式の有界解に対して、最適な安定性指数を確立した。Kołodziej の結果を拡張する。
• ボレル測度 Ω に容量に基づく正則性条件を課すことで、有界解が存在し、右辺の L^p 異常摂動に対して安定であることが保証される。
• 解の連続性を事前に仮定しないで安定性推定を証明したため、一般に解が不連続であっても、結果は頑健である。
• 有界解の連続性の証明は、相対的容量と容量における収束を用いた背理法に依拠しており、正則写像 F が局所的に双有理であるという仮定のもとで有効である。
• ω = F*ω_M である場合（F: X → ℂP^N は正則写像で dim F(X) = dim X）にもこの手法が適用可能であり、カーラー計量を超えた枠組みを拡張する。
• 結果は、有界解がビッグ形式設定下でも連続であるという予想を支持し、Hölder 連続性および極値関数の研究への新たな道筋を切り開く。