[論文レビュー] Asymptotic analysis for fourth order Paneitz equations with critical growth

Emmanuel Hebey, Frédéric Robert|arXiv (Cornell University)|Mar 3, 2011

Nonlinear Partial Differential Equations参考文献 27被引用数 22

ひとこと要約

本稿は、$ n $次元（$ n \geq 5 $）の閉じた共形平坦多様体上における臨界Sobolev増大を伴う4階Paneitz方程式の有界$ H^2 $エネルギー列に対する鋭い漸近的推定を確立する。幾何学的方程式が安定であるための必要十分条件は、背景計量が球面に共形同値であることであり、安定性が成立するならば、係数の小さな摂動のもとでソリトンの収束が成立することを示す。

ABSTRACT

We investigate fourth order Paneitz equations of critical growth in the case of $n$-dimensional closed conformally flat manifolds, $n \\ge 5$. Such equations arise from conformal geometry and are modelized on the Einstein case of the geometric equation describing the effects of conformal changes of metrics on the $Q$-curvature. We obtain sharp asymptotics for arbitrary bounded energy sequences of solutions of our equations from which we derive stability and compactness properties. In doing so we establish the criticality of the geometric equation with respect to the trace of its second order terms.

研究の動機と目的

• 閉じた共形平坦多様体上における臨界増大を伴う4階Paneitz方程式の有界エネルギー列の漸近的挙動を理解すること。
• これらの方程式の解の安定性およびコンパクト性の必要十分条件を特定すること。
• 2階項のトレースに関する幾何学的Paneitz方程式の臨界性を分析すること。
• 方程式の安定性と多様体の基本的な幾何構造、特にその共形構造との関係を確立すること。
• 正の曲率および係数の仮定のもとで、安定性が成立するのは、多様体が標準球面に共形同値である場合に限り、そのときが成立することを証明すること。

提案手法

• 著者たちは、変分的および幾何学的技法を用いて、臨界Paneitz方程式 $ \Delta_g^2 u + b\Delta_g u + c u = u^{2^\sharp - 1} $（$ 2^\sharp = \frac{2n}{n-4} $）の有界$ H^2 $エネルギー列の解析を行う。
• 係数 $ (b_\alpha, c_\alpha) \to (b,c) $ となる系列の摂動枠組みを導入し、$ C^4 $位相における解の収束を検討する。
• 解析は、特にグリーン関数の技法に依拠しており、摂動された作用素のグリーン関数を元のグリーン関数と余剰項 $ \tau_x $ の和に分解する。幾何的仮定のもとで、$ \tau_x $ が非負であることが示される。
• 主なステップは、正のヤマベ不変量のもとでPaneitz作用素の強制性を用いた積分恒等式により $ \tau_x(x) \geq 0 $ を証明し、$ \mu_x(x) $ の零点集合を特徴付けることである。
• 多様体の共形平坦性は、$ g = \varphi^4 \tilde{g} $ とし、$ \tilde{g} $ が点の近傍で平坦になる共形因子 $ \varphi $ を導入することで活用され、グリーン関数の明示的漸近的制御が可能になる。
• 安定性の証明は、$ \mu_x(x) = 0 $ が成立するのは、多様体が標準球面に共形同値である場合に限られることを示すことにかかっている。このとき $ A_g \equiv b g $ および $ c = \frac{1}{2} Q_g $ が成立し、解の一意性と収束が導かれる。

実験結果

リサーチクエスチョン

• RQ1 閉じた共形平坦多様体上における臨界増大を伴う4階Paneitz方程式の任意の有界エネルギー列の漸近的挙動は何か？
• RQ2 係数 $ b $ および $ c $ の小さな摂動に対して、方程式 $ \Delta_g^2 u + b\Delta_g u + c u = u^{2^\sharp - 1} $ が安定であるための条件は何か？
• RQ3 多様体の幾何構造、特にその共形構造は、解のコンパクト性および安定性にどのように影響を与えるか？
• RQ4 2階項のトレースは、Paneitz方程式の臨界性において果たす役割は何か？
• RQ5 ある $ x $ に対して $ \mu_x(x) = 0 $ が成立するとき、多様体は標準球面に共形同値であると結論づけられるのはいつか？

主な発見

• 係数 $ c \leq \frac{1}{2} Q_g $ および $ b g \leq A_g $ の仮定のもとで、方程式は多様体が標準 $ n $-球面に共形同値である場合に限り安定である。
• 安定性が成立するならば、$ b $ および $ c $ の小さな摂動に対しても、解は元の解集合に対して一様に $ C^4 $ノルムで近接し続ける。
• すべての $ x \in M $ に対してグリーン関数の余剰項 $ \tau_x $ は非負であり、$ \tau_x(x) \geq 0 $ が成り立つ。等号が成立するのは $ A = 0 $ かつ $ \tau_x \equiv 0 $ の場合に限られ、これは多様体が共形平坦かつスカラー曲率が一定であるときに成立する。
• ある $ x $ に対して $ \mu_x(x) = 0 $ が成立するならば、多様体は標準 $ n $-球面に共形微分同相であり、係数は $ A_g \equiv b g $ および $ c \equiv \frac{1}{2} Q_g $ を満たす。
• 方程式の臨界性は幾何的構造に密接に関係しており、背景計量が球面計量に共形同値でない限り、安定性は成立しない。
• $ n = 5 $ の場合、主定理を適用するための追加の技術的仮定が必要となるが、$ \omega $ および $ \varepsilon $ の小さな摂動のもとで、安定性および収束の結論は成立する。