[論文レビュー] A Comparison Principle for a Sobolev Gradient Semi-Flow

Timothy Blass, Rafael de la Llave+1 more|arXiv (Cornell University)|Oct 12, 2009

Nonlinear Partial Differential Equations参考文献 4被引用数 3

ひとこと要約

本稿は、一様楕円型作用素と非線形ポテンシャルを含むエネルギー汎関数に関連するソボレフ勾配半流動に対する弱い比較原理を確立する。分数階ソボレフ空間 $ H^\beta $ における勾配降下流を定式化することで、平面型最小化子への収束を証明し、偏微分方程式および擬微分方程式のアーブリ・マザー理論への応用を可能にする。

ABSTRACT

We consider gradient descent equations for energy functionals of the type S(u) = 1/2 < u(x), A(x)u(x) >_{L^2} + \int_Ω V(x,u) dx, where A is a uniformly elliptic operator of order 2, with smooth coefficients. The gradient descent equation for such a functional depends on the metric under consideration. We consider the steepest descent equation for S where the gradient is an element of the Sobolev space H^β, β\in (0,1), with a metric that depends on A and a positive number γ> \sup |V_{22}|. We prove a weak comparison principle for such a gradient flow. We extend our methods to the case where A is a fractional power of an elliptic operator. We provide an application to the Aubry-Mather theory for partial differential equations and pseudo-differential equations by finding plane-like minimizers of the energy functional

研究の動機と目的

• エネルギー汎関数に一様楕円型作用素を含む、ソボレフ空間 $ H^\beta $、$ \beta \in (0,1) $ における勾配降下フローに対する弱い比較原理を確立すること。
• 楕円型作用素が $ A^\alpha $、$ \alpha \in (0,1) $ の分数階累乗に置き換えられた場合にも、比較原理を拡張すること。
• 比較原理を用いて、偏微分方程式および擬微分方程式のアーブリ・マザー理論における平面型最小化子の存在を証明すること。
• 非線形項 $ V $ に対する最小限の正則性仮定のもとで、勾配フロー方程式の解の存在と一意性を保証すること。
• 勾配フローのダイナミクスを用いて、最小化子におけるバーキホフ性質を厳密に分析するフレームワークを提供すること。

提案手法

• エネルギー汎関数 $ S(u) = \frac{1}{2}\langle u, A u \rangle_{L^2} + \int_\Omega V(x,u)\,dx $ の $ H^\beta $-勾配を用いて勾配降下方程式を定式化し、$ (\gamma + A)^\beta $ を通じて計量を定義する。
• 進化方程式 $ \partial_t u = - (\gamma + A)^{1-\beta} u + (\gamma + A)^{-\beta} (\gamma u - V_2(x,u)) $ を定義する。ここで $ \gamma > \sup |V_{22}| $ である。
• スペクトル理論および関数解析的計算を用いて、作用素 $ \gamma + A $ の分数階累乗を定義し、自己共役性と強制性を保証する。
• 補間法および最大正則性技術を用いて、$ L^\infty $ 初期データ設定における解の存在と一意性を証明する。
• モーザー型の振動見積もりとデ・ジョルジ型の正則性議論を用いて、周期的領域における解の振動を制御する。
• アーベル・アスcoliの定理および $ C^0_{\text{loc}} $ におけるコンパクトネスを用いて、無理数周波数の極限における収束する部分列を抽出する。

実験結果

リサーチクエスチョン

• RQ1 滑らかで一様楕円型作用素を含む一般クラスのエネルギー汎関数に対して、$ H^\beta $、$ \beta \in (0,1) $ におけるソボレフ勾配半流動に対する弱い比較原理を確立できるか？
• RQ2 比較原理を証明する手法は、楕円型作用素が $ A^\alpha $、$ \alpha \in (0,1) $ の分数階累乗に置き換えられた場合にどのように拡張できるか？
• RQ3 比較原理を用いて、偏微分方程式のアーブリ・マザー理論における与えられた回転ベクトルを持つ平面型最小化子の存在を証明できるか？
• RQ4 非線形性 $ V $ にどのような条件を課すと、勾配フロー方程式の解の存在と一意性が保証されるか？
• RQ5 振動見積もりと正則性バウンドをどのように用いて、有理数周波数から無理数周波数への解への拡張を可能にするか？

主な発見

• 勾配フロー方程式 $ \partial_t u = - (\gamma + A)^{1-\beta} u + (\gamma + A)^{-\beta} (\gamma u - V_2(x,u)) $ において、$ H^\beta $ 上で弱い比較原理が確立され、フロー下でも順序が保存されることを保証する。
• 関数解析的手法を同じく用いて、$ A $ が $ A^\alpha $、$ \alpha \in (0,1) $ に置き換えられた場合にも、比較原理が拡張可能である。
• 勾配フローの解は、$ \nabla u_n $ の有界性のもとで、周波数ベクトル $ \omega_n \to \omega $ に対して、$ C^0_{\text{loc}} $ で極限 $ u^*_\omega $ に収束する。無理数 $ \omega $ に対しても同様である。
• 有理数周波数 $ \omega \in \frac{1}{N}\mathbb{Z}^d $ の場合、$ u^*_\omega \in \omega \cdot x + H^1(N\mathbb{T}^d) $ を満たす解が構成可能であり、$ \text{div}(a(x)\nabla u^*_\omega) = V_2(x, u^*_\omega) $ を満たす。
• 無理数周波数の場合、振動見積もりと $ V_2 $ の $ L^q $-バウンドから得られる一様な $ C^1,\epsilon $ バウンドにより、アーベル・アスcoliの定理を用いて収束が可能となる。
• 極限解 $ u^*_\omega $ は、Euler-Lagrange 方程式 $ A^\alpha u^*_\omega + V_2(x, u^*_\omega) = 0 $ を満たし、無理数の場合の平面型最小化子の存在が確立される。