[論文レビュー] A finer singular limit of a single-well Modica--Mortola functional and its applications to the Kobayashi--Warren--Carter energy

Yoshikazu Giga, Jun Okamoto+1 more|arXiv (Cornell University)|Mar 18, 2020

Advanced Mathematical Modeling in Engineering参考文献 32被引用数 7

ひとこと要約

本稿は、L1 や測度収束よりも細かい位相であるグラフ収束を用いて、単一井戦型モディカ–モルトラ汎関数および小林–ワーレン–カーターエネルギーの新しい Γ 収束枠組みを確立する。アーキテクチャ長パラメータによる展開技術を導入し、1次元設定における最小化子の極限を精密に特徴づける明示的な Γ 限界公式を導出する。特に、重み関数の点での摂動およびジャンプ不連続性を伴う特異極限に対して有効である。

ABSTRACT

An explicit representation of the Gamma limit of a single-well Modica--Mortola functional is given for one-dimensional space under the graph convergence which is finer than conventional $L^1$-convergence or convergence in measure. As an application, an explicit representation of a singular limit of the Kobayashi-Warren-Carter energy, which is popular in materials science, is given. Some compactness under the graph convergence is also established. Such formulas, as well as compactness, is useful to characterize the limit of minimizers the Kobayashi-Warren-Carter energy. To characterize the Gamma limit under the graph convergence, a new idea which is especially useful for one-dimensional problem is introduced. It is a change of parameter of the variable by arc-length parameter of its graph, which is called unfolding by the arc-length parameter in this paper.

研究の動機と目的

• 位相の細かさが L1 や測度収束よりも優れる収束枠組みを、相場エネルギーの特異極限を分析する目的として開発すること。
• 1次元におけるグラフ収束の下で、単一井戦型モディカ–モルトラ汎関数の Γ 限界を特徴づけること。
• 新規枠組みを用いて、材料科学分野の重要なモデルである小林–ワーレン–カーターエネルギーの明示的 Γ 限界を導出すること。
• 最小化子に関して、グラフ収束位相の下でコンパクトネスおよび liminf/limsup 不等式を確立すること。

提案手法

• グラフのハウスドルフ距離によって定義されるグラフ収束を導入し、L1 収束や測度収束よりも細かい位相とする。
• 関数のグラフの弧長パラメータを用いた新たなパラメータ変換、すなわち「弧長パラメータによる展開」を提案し、不連続点付近での点ごとの挙動を分析する。
• Eε_b(v) = Eε(v) + b v(0)² で与えられる摂動されたモディカ–モルトラ汎関数の特異極限を解析し、Ξ(0) = [1/(1+b), 1] かつ Ξ(x) = {1}（x ≠ 0）である集合値関数 Ξ への収束を示す。
• 極限集合値関数の指数的点およびジャンプ不連続点付近での挙動を検討することで、Γ 限界の liminf および limsup 不等式を証明する。
• 小林–ワーレン–カーターエネルギーにこの枠組みを適用し、単一井戦型重み関数を有する不均一化された全 variation 汎関数とみなす。
• 展開技術および全 variation の下半連続性を用いて、明示的な Γ 限界 E0_KWC(u, Ξ, M) = σ ∫|ux| + σ ∑ di |ξ−i|² + E0_sMM(Ξ, M) を導出する。

実験結果

リサーチクエスチョン

• RQ1 L1 や測度収束よりも細かい収束位相の下で、単一井戦型モディカ–モルトラ汎関数の Γ 限界をどのように特徴づけられるか？
• RQ2 重み関数がグラフ位相で収束する場合、小林–ワーレン–カーターエネルギーの Γ 限界の明示的形は何か？
• RQ3 アーキテクチャ長パラメータによる展開技術は、1次元相場モデルにおける特異極限をどのように精密に分析可能にするか？
• RQ4 これらの特異極限に関して、グラフ収束の下でコンパクトネスおよび liminf/limsup 不等式を確立できるか？
• RQ5 点での摂動（例：b v(0)²）は特異極限にどのように影響を与え、グラフ収束枠組みはそれらをどのように捉えているか？

主な発見

• グラフ収束の下での摂動されたモディカ–モルトラ汎関数 Eε_b の Γ 限界は、E0_b(Ξ, M) = (b/(1+b))² + E0_sMM(Ξ, M) として明示的に表現され、Ξ(x) = {1}（x ≠ 0）かつ Ξ(0) = [1/(1+b), 1] である。
• グラフ収束位相は、L1 収束では失われる点での情報（例：ε → 0 のとき wε(0) → 1/(1+b)）を捉えている。
• アーキテクチャ長パラメータによる展開技術は、関数のグラフの再パラメータ化により、1次元問題における特異極限を分析する新しい手法を提供する。
• 小林–ワーレン–カーターエネルギーに関しては、E0_KWC(u, Ξ, M) = σ ∫_{Mackslash(Ju∩Σ)} |ux| + σ ∑_{x∈Σ′} di |ξ−i|² + E0_sMM(Ξ, M) として Γ 限界が与えられる。ここで Σ は Ξ が単集合でない点の集合である。
• コンパクトネスはグラフ収束の下で確立され、最小化列が Γ 限界式を満たす極限に収束することを保証する。
• liminf 不等式は、全 variation の下半連続性および極限集合値関数のジャンプ不連続点および指数的点付近での挙動の推定を用いて証明された。