[論文レビュー] Anisotropic total variation flow of non-divergence type on a higher dimensional torus

Mi-Ho Giga, Yoshikazu Giga+1 more|arXiv (Cornell University)|May 25, 2013

Nonlinear Partial Differential Equations参考文献 32被引用数 5

ひとこと要約

本稿では、高次元トーラス上における非発散型の異方的全 Variation 流に针对する粘性解理論を確立する。比較原理と正則化による安定性を用いて、連続な初期データに対して解の存在と一意性を証明する。主な貢献は、結晶成長や相転移モデルに現れる滑らかでない、異方的な拡散を有する退化放物型 PDE に対して、厳密な枠組みを提供することにある。

ABSTRACT

We extend the theory of viscosity solutions to a class of very singular nonlinear parabolic problems of non-divergence form in a periodic domain of an arbitrary dimension with diffusion given by an anisotropic total variation energy. We give a proof of a comparison principle, an outline of a proof of the stability under approximation by regularized parabolic problems, and an existence theorem for general continuous initial data, which extend the results recently obtained by the authors.

研究の動機と目的

• 高次元トーラス上における非発散型の異方的全 Variation 拡散を有する退化放物型 PDE のクラスに、粘性解理論を拡張すること。
• 滑らかでない、微分不能な異方的エネルギーの文脈において、粘性下解および上解のための比較原理を確立すること。
• 正則化と安定性の議論を用いて、一般の連続な初期データに対して粘性解の存在と一意性を証明すること。
• 非発散項 div ∂W(∇u) の意味を、異方的全 Variation エネルギーの部分微分の最小断面を通じて明確化すること。

提案手法

• 問題は、L²(𝕋ⁿ) 上における異方的全 Variation エネルギーの部分微分の最小断面を含むハミルトニアン・ジャコビ方程式として定式化される。
• 異方性 W の Fenchel-Legendre 変換に基づく特別に構築された上解および下解を用いたバリア法により、比較原理が確立される。
• W を C² 関数 Wₘ で近似することで、正則化された放物型問題を導入し、各 m に対して古典解の存在を保証する。
• 正則化解の星-上極限および星-下極限が粘性下解および上解の性質を満たすことを示すことにより、近似における解の安定性を証明する。
• 双対関数 Wₘ;A,q⁎ およびリプシッツ推定を用いてバリアを構築し、t=0 における初期データの振る舞いを制御する。
• 上解および下解の極限が初期データで一致することを示すことにより、存在定理を完成させる。

実験結果

リサーチクエスチョン

• RQ1 高次元トーラス上における非発散型の異方的全 Variation 流の粘性解に対して、比較原理を確立できるか？
• RQ2 微分不能な異方的エネルギーの文脈において、滑らかでない項 div ∂W(∇u) を厳密に解釈できるか？
• RQ3 拡散が異方的全 Variation である場合、粘性解理論は一般の連続な初期データにまで拡張可能か？
• RQ4 解は正則化問題の極限として得られ、かつその極限が近似に対して安定か？
• RQ5 部分微分の最小断面が、このような退化 PDE の発展作用素を定義する際に果たす役割は何か？

主な発見

• n 次元トーラス上における非発散型の異方的全 Variation 流の粘性下解および上解に対して、比較原理が証明された。
• PDE の解は一意的であり、正則化問題による近似において安定しており、極限は粘性の意味で初期条件を満たすことが示された。
• 任意の連続な初期データ u₀ ∈ C(𝕋ⁿ) に対して、正則化解の星-上極限および星-下極限を用いて粘性解の存在が確立された。
• 最小断面 ∂⁰E(u) が発展作用素を定義するために用いられ、部分微分における一意性および最小ノルム選択を保証した。
• 異方性の Fenchel-Legendre 変換に基づくバリアにより、t=0 近傍での一様な制御が可能となり、初期条件が極限で回復可能であることが保証された。
• 近似解における一様なリプシッツ有界性から、解が空間的および時間的にリプシッツ連続であることが示された。