[論文レビュー] Nonsolvability of the asymptotic Dirichlet problems for some quasilinear elliptic PDEs on Hadamard manifolds

Ilkka Holopainen, Jaime Ripoll|arXiv (Cornell University)|Dec 21, 2013

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

ひとこと要約

本稿は、断面曲率 ≤ −1 である3次元のカルタン＝ハダマール多様体上における、最小グラフ方程式を含むクラスの非線形楕円型偏微分方程式に対する漸近的ディリクレ問題の非可解性を示している。ボルベリの構成を修正することで、任意の連続境界データに対して連続で非定数の解が存在しない明示的な例を提示し、最小グラフ方程式の理論における長年の空白を解消した。

ABSTRACT

We show, by modifying Borbély's example, that there are $3$-dimen\-sional Cartan-Hadamard manifolds $M$, with sectional curvatures $\le -1$, such that the asymptotic Dirichlet problem for a class of quasilinear elliptic PDEs, including the minimal graph equation, is not solvable.

研究の動機と目的

• カルタン＝ハダマール多様体上で断面曲率 ≤ −1 である広範な非線形楕円型偏微分方程式に対する漸近的ディリクレ問題の非可解性を確立すること。
• 最小グラフ方程式に対して、これまで知られていなかった反例を初めて提供することで、文献における空白を埋めること。
• ラプラシアンおよびp-ラプラシアン方程式に対する非可解性に関する先行結果を、最小グラフ方程式のケースにまで拡張すること。
• 連続で非定数の境界データに対して漸近的ディリクレ問題が失敗する3次元のカルタン＝ハダマール多様体の明示的例を構成すること。

提案手法

• ボルベリが構築した断面曲率 ≤ −1 であるカルタン＝ハダマール多様体の構成を、最小グラフ方程式に対する反例として適用する。
• 凸集合 V_{a−b} からの距離 ρ_a を用いて、v_{a,c} = c tanh(δρ_a) と定義される連続的かつ正の Q-上位解 ψ_{a,c} = c − v_{a,c} の族を定義する。
• 曲率の下界と作用素 A(t) の成長条件を用いて、Q[v] = div(A(|∇v|²)∇v) の下界を導出し、それが非負であることを示す。
• フェルミ座標系における発散定理と比較論的議論を適用し、多様体 M 全体で ψ_{a,c} が Q-上位解であることを検証する。
• 定理2.3に必要な条件を族 {ψ_{a,c}} が満たすことを確立し、これにより漸近的ディリクレ問題の非可解性が示される。
• 最小グラフ方程式が必要な成長条件 (A) および (B) を満たすことを確認し、理論的枠組みが有効であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 断面曲率 ≤ −1 である3次元のカルタン＝ハダマール多様体上における最小グラフ方程式の漸近的ディリクレ問題は失敗するか？
• RQ2 最小グラフ方程式に対して、非定数の連続境界データに対して連続解が存在しない明示的な反例を構成できるか？
• RQ3 このような多様体上での最小グラフ方程式が成長条件 (1.3)–(1.5) および正則性仮定 (A) と (B) を満たすか、理論的枠組みが有効であるか？
• RQ4 一様な定数 δ = δ(B₀) が存在して、構築された上位解 ψ_{a,c} が無限遠で0に収束し、正のままであるか？
• RQ5 p-ラプラシアンおよびラプラシアンの場合の構成を、標準的なp-ラプラシアン枠組み外にある最小グラフ方程式に適応できるか？

主な発見

• 断面曲率 ≤ −1 である3次元のカルタン＝ハダマール多様体上では、最小グラフ方程式に対する漸近的ディリクレ問題は非可解である。
• 本稿では、任意の連続境界データに対して連続で非定数の解が存在しない、このような多様体の明示的例を構成した。
• δ = 1/(2(1 + 2B₀)) と定義される族 ψ_{a,c} = c − c tanh(δρ_a) のQ-上位解が、無限遠で0に収束し、凸集合上で定数である。
• 上位解が弱い意味で Q[ψ_{a,c}] ≤ 0 を満たすことが示され、これにより非定数境界データにおける連続なQ-解が存在しないことが導かれる。
• 最小グラフ方程式は必要な成長条件 (1.3)–(1.5) および正則性仮定 (A) と (B) を満たしており、理論的枠組みの適用が正当化される。
• 本結果により、断面曲率 ≤ −1 の下で最小グラフ方程式に対する最初の反例が得られ、ラプラシアンおよびp-ラプラシアン方程式に対する先行結果が拡張された。