相転移の高階非局所勾配理論

基本情報

• 論文ID: 2411.01586
• タイトル: Higher-order non-local gradient theory of phase-transitions
• 著者: Margherita Solci (Università di Sassari)
• 分類: math.AP (偏微分方程式の解析)
• 発表日時: 2024年11月5日 (v2)
• 論文リンク: https://arxiv.org/abs/2411.01586

要旨

本論文は、高階分数階項によって摂動された二重井戸ポテンシャルエネルギーの漸近挙動を研究している。一次元の場合、これらの汎関数は以下の形式を有する： $\frac{1}{\varepsilon}\int_I W(u(x))dx+\varepsilon^{2(k+s)-1}\frac{s(1-s)}{2^{1-s}}\int_{I\times I} \frac{|u^{(k)}(x)-u^{(k)}(y)|^2}{|x-y|^{1+2s}} dx\,dy$

高階分数階ソボレフ空間$H^{k+s}(I)$上で定義され、ここで$W$は二重井戸ポテンシャル、$k\in \mathbb{N}$、$s\in(0,1)$かつ$k+s>1/2$である。著者は、$\varepsilon\to 0$のとき、これらの汎関数が$BV(I;\{-1,1\})$上で定義された鋭い界面汎関数$m_{k+s}\#(S(u))$にΓ-収束することを証明している。ここで$m_{k+s}$は最適輪郭問題から与えられる。正規化係数$\frac{s(1-s)}{2^{1-s}}$により、$m_{k+s}$は標準高階ソボレフ空間$H^k(I)$上で定義された対応する$m_k$に連続的に補間される。

研究背景と動機

問題の背景

1. 相転移の変分モデル：相転移の変分モデルは、二つ（またはそれ以上）の極小値点を有する二重井戸ポテンシャル$W$に依存する積分汎関数を考察する。これらの単純なモデル自体は、高度に不連続な非物理的解を生成する。
2. 特異摂動法：合理的な最小化子を選択するため、特異摂動法が採用され、高階項が追加される。Cahn-Hilliard相分離理論では、対応するエネルギー形式は以下の通りである： $\int_\Omega W(u)dx + \varepsilon^2\int_\Omega |\nabla u|^2dx$
3. 歴史的発展：
   • Modica-Mortola (1977)：$k=1$の場合の鋭い界面準則を初めて厳密に証明
   • Fonseca-Mantegazza (2000)：$k=2$の場合を研究
   • Brusca-Donati-Solci (2024)：任意の$k\geq 3$の場合を処理
   • Savin-Valdinoci (2012)、Palatucci-Vincini (2020)：分数階の場合($k=0$, $s\in(1/2,1)$)を研究

研究の動機

1. 統一フレームワークの必要性：既存の理論は整数階と分数階の場合を別々に処理しており、両者を含む統一フレームワークが欠けている。
2. 理論の完全性：高階導数と分数階項の組み合わせ効果を完全に記述する必要があり、これは原子理論の長距離相互作用のモデリングにおいて重要である。
3. 連続性の問題：係数$m_{k+s}$は整数点で発散の問題を有しており、適切な正規化を通じて修正する必要があり、これを連続関数にする必要がある。
4. 技術的課題：非局所積分エネルギーは新しい補間技術と推定方法を必要とし、既存の局所エネルギーの技術は非自明な修正が必要である。

核心的貢献

1. 統一理論の確立：高階導数($k$階)と分数階項($s$階)を同時に含む相転移モデルの完全なΓ-収束理論を初めて提供し、$k\in\mathbb{N}$と$s\in(0,1)$を$r=k+s>1/2$のフレームワークの下で統一している。
2. Γ-収束の証明：測度収束と$L^1$収束の下で、汎関数$F_\varepsilon$が鋭い界面汎関数$F(u)=m_{k+s}\#S(u)$にΓ-収束することを厳密に証明している。ここで$S(u)$は$u$の不連続点の集合である。
3. 新しい補間技術の開発：非局所エネルギーに対して、局所積分エネルギーのために以前に開発された補間技術を修正・拡張している。特に、関数がポテンシャル井戸の値に近く、大きな導数を有する区間のサイズの推定において。
4. 連続性の修正：正規化係数$\frac{s(1-s)}{2^{1-s}}$を導入することにより、修正された係数$m_k(s)$が$(1/2,+\infty)$上で連続であり、以下を満たすことを証明している：
   • $\lim_{s\to 0^+}m_k(s)=m_k$
   • $\lim_{s\to 1^-}m_k(s)=m_{k+1}$
5. 最小限の仮定条件：$W$が$\pm 1$で二次挙動を有し、無限遠で有界であることのみを要求し、結果の広い適用可能性を確保している。

方法の詳細説明

タスク定義

有界区間$I\subset\mathbb{R}$上で定義されたエネルギー汎関数を研究する： $F_\varepsilon(u) = \frac{1}{\varepsilon}\int_I W(u(x))dx + \varepsilon^{2(k+s)-1}[u]^2_{k+s}(I)$

ここで：

• $[u]^2_{k+s}(I) = \int_{I\times I}\frac{|u^{(k)}(x)-u^{(k)}(y)|^2}{|x-y|^{1+2s}}dxdy$は$k$階導数の$s$-半ノルム
• $W:\mathbb{R}\to[0,+\infty)$は二重井戸ポテンシャルで、$W(z)=0$当且つつ$z\in\{-1,1\}$のときのみ
• $k\in\mathbb{N}$、$s\in(0,1)$、かつ$k+s>1/2$

目標：$\varepsilon\to 0$のとき、$F_\varepsilon$が測度収束位相の下でΓ-収束することを証明する： $F(u) = m_{k+s}\#S(u)$

ここで$u\in BV(I;\{-1,1\})$、$S(u)$は$u$のジャンプ点の集合、$m_{k+s}$は最適輪郭問題から定義される。

核心的技術フレームワーク

1. 分数階ソボレフ空間の補間不等式

命題3（補間不等式）：定数$R_{k,s}>0$が存在して、すべての有界区間$I\subset\mathbb{R}$と$u\in H^{k+s}(I)$に対して、以下が成立する： $\|u^{(\ell)}\|_{L^2(I)} \leq R_{k,s}\left(|I|^{-\ell}\|u\|_{L^2(I)} + \|u\|^\theta_{L^2(I)}[u]^{1-\theta}_{k+s}(I)\right)$

すべての$\ell\in\{1,\ldots,k\}$に対して、ここで$\theta=1-\frac{\ell}{k+s}$。

補題4（$L^2$ノルム推定）：$C>0$が存在して、任意の開有界区間$I\subset\mathbb{R}$と$u\in H^s(I)$に対して： $\|u\|_{L^2(I)} \leq C\left(|I|^{-1/2}\left|\int_J u(x)dx\right| + |I|^s[u]_s(I)\right)$

ここで$J\subseteq I$は$2|J|\geq|I|$を満たす。

2. 導数界の推定

補題5（導数界）：$k\neq 0$、$\eta\in(0,\min\{1,\sqrt{\beta_W}\})$を固定する。定数$R=\hat{R}_{k,s}>0$が存在して、任意の区間$I\subset A^\eta_\varepsilon$（ここで$A^\eta_\varepsilon=\{t\in(0,1):||u_\varepsilon(t)|-1|<\eta\}$）が$|I|\geq R\varepsilon$を満たすとき、以下が成立する： $\left|\left\{t\in I:|u^{(\ell)}_\varepsilon(t)|<\frac{1}{\varepsilon^\ell}\text{ すべての } \ell\in\{1,\ldots,k\}\text{ に対して}\right\}\right|>0$

この補題の証明は背理法が鍵となる：そのような点が存在しないと仮定すると、ある階数の導数は相当大きな区間上で必然的に大きくなり、補間不等式を通じてエネルギーの有界性と矛盾する結論を得ることができる。

補題7（大導数区間の長さ界）：補題5の仮定の下で、すべての$\varepsilon_r\to 0$と以下の条件を満たす区間列$\{I_r\}$に対して：

• (i) $|I_r|\geq 4L\varepsilon_r$（ここで$L=L_{k,s}(\eta,S)$）
• (ii) $\lim_{r\to\infty}F_{\varepsilon_r}(u_{\varepsilon_r};I_r)=0$

$r_0\in\mathbb{N}$が存在して、すべての$r\geq r_0$に対して： $\left|\left\{t\in I_r\cap A^\eta_{\varepsilon_r}:|u^{(\ell)}_{\varepsilon_r}(t)|<\frac{1}{\varepsilon^\ell_r}\text{ すべての } \ell\in\{1,\ldots,k\}\text{ に対して}\right\}\right|>0$

技術的革新点

1. 非局所エネルギーの補間技術：Solciが30で局所積分エネルギーのために開発した補間技術を修正・拡張して非局所の場合に適用している。鍵となるのは$s$-半ノルムと$L^2$距離を利用して補間不等式を確立することである。
2. 切断論法：12で小導数点を使用した延長とは異なり、本論文は切断論法を補間不等式と組み合わせて非局所の場合の下界推定を処理している。
3. エネルギー分解戦略：
   • エネルギーをポテンシャル項と非局所項に分解
   • 非局所項をさらに異なる領域上の積分に分解
   • 関数がポテンシャル井戸付近の性質を利用して精密推定を実施
4. 遷移区間の制御：エネルギー推定を通じて$\eta$-遷移区間（$-1+\eta$と$1-\eta$の間で遷移する区間）の数を制御し、これはコンパクト性の証明の鍵である。

実験設定

本論文は純粋な理論数学論文であり、数値実験やデータセットは含まれていない。すべての結果は厳密な数学的証明を通じて得られている。

理論検証フレームワーク

1. 関数空間の設定：
   • 作業空間：$H^{k+s}(I)$、ここで$I$は有界区間
   • 極限空間：$BV(I;\{-1,1\})$（$\{-1,1\}$に値を取る有界変差関数）
2. ポテンシャルの仮定：
   • (H1): $\alpha_W,\beta_W>0$が存在して $W(z)\geq\alpha_W\min\{(z+1)^2,(z-1)^2,\beta_W\}$
   • (H2): $\eta>0$と$\gamma_W$が存在して $W(z)\leq\gamma_W\min\{(z+1)^2,(z-1)^2\}$$||z|-1|\leq\eta$のとき
3. パラメータ範囲：$k\in\mathbb{N}$、$s\in(0,1)$、$k+s>1/2$

実験結果

主要な理論結果

定理1（Γ-収束）：$k+s>1/2$、$F_\varepsilon$を上述のように定義する。$\varepsilon\to 0$のとき、$F_\varepsilon$は測度収束と$L^1(0,1)$収束位相の下で鋭い界面汎関数にΓ-収束する： $F(u)=m_{k+s}\#S(u)$

$BV(I;\{-1,1\})$上で定義され、ここで： $m_{k+s}=\inf\left\{\int_\mathbb{R} W(v)dx+[v]^2_{k+s}(\mathbb{R}):v\in H^{k+s}_{\text{loc}}(\mathbb{R}),\lim_{x\to\pm\infty}v(x)=\pm 1\right\}$

定理9（コンパクト性）：$\{u_\varepsilon\}\subset H^{k+s}(0,1)$が$\sup_{\varepsilon>0}F_\varepsilon(u_\varepsilon)\leq S<+\infty$を満たすとする。$u\in BV((0,1);\{-1,1\})$と部分列$\varepsilon_r\to 0$が存在して、$u_{\varepsilon_r}\to u$が測度意味で収束する。さらに、$W(z)\geq c_1|z|^p-c_2$がある$c_1,c_2$と$p\geq 1$に対して成立すれば、$u_{\varepsilon_r}\to u$が$L^p(0,1)$で収束する。

下界推定

命題12（下界）：$u\in BV((0,1);\{-1,1\})$、$S(u)$をその不連続点の集合、$u_\varepsilon\to u$を測度意味で収束とする。以下が成立する： $\liminf_{\varepsilon\to 0}F_\varepsilon(u_\varepsilon)\geq \tilde{m}_{k+s}\#(S(u))$

ここで$\tilde{m}_{k+s}$は以下のように定義される： $\tilde{m}_{k+s}=\inf_{T>0}\inf\left\{\int_\mathbb{R} W(v)dt+[v]^2_{k+s}(\mathbb{R}):v\in H^{k+s}_{\text{loc}}(\mathbb{R}),v(x)=-1\text{ if }x\leq -T,v(x)=1\text{ if }x\geq T\right\}$

上界推定

命題13（上界）：$u:(0,1)\to\{-1,1\}$が有限な不連続点の集合$S(u)$を有するなら、列$u_\varepsilon$が存在して$u_\varepsilon\to u$が$L^1(0,1)$で、かつ$F_\varepsilon(u_\varepsilon)$が$\tilde{m}_{k+s}\#S(u)$に収束する。

命題14（等価性）：$m_{k+s}=\tilde{m}_{k+s}$。

連続性結果

命題15（整数点での発散）：関数$r\mapsto m_r$は$(1/2,+\infty)\setminus\mathbb{N}$上で連続であり、かつ： $\lim_{r\to k}m_r=+\infty$

すなわち、係数は整数点で爆発する。

命題16（修正後の連続性）：修正汎関数： $F^{k,s}_\varepsilon(u)=\frac{1}{\varepsilon}\int_I W(u(x))dx+\frac{s(1-s)}{2^{1-s}}\varepsilon^{2(k+s)-1}[u]^2_{k+s}(I)$

に対応する係数$m_k(s)$は以下を満たす：

• $s\mapsto m_k(s)$は$(0,1)$上で連続
• $\lim_{s\to 0^+}m_k(s)=m_k$
• $\lim_{s\to 1^-}m_k(s)=m_{k+1}$

特に、関数$r\mapsto m_{\lfloor r\rfloor}(r-\lfloor r\rfloor)$は$(1/2,+\infty)$上で連続である。

主要な技術的推定

1. 遷移区間数の界（命題10）：$\lambda_1<\lambda_2$が$[\lambda_1,\lambda_2]\cap\{-1,1\}=\emptyset$を満たすとする。$u_\varepsilon$が$\lambda_1$と$\lambda_2$の間で遷移する区間の数$\#I_{\varepsilon_r}(\lambda_1,\lambda_2)$は一様に有界である。
2. エネルギー分解：下界証明では、エネルギーを三つの場合に分解する：
   • 両点が$I^+_\varepsilon\cup I^-_\varepsilon$に含まれない
   • 一点が$I^+_\varepsilon$に、もう一点がその補集合に含まれる
   • 両点が$I^+_\varepsilon$に含まれる
   
   各場合について別々に推定し、補間不等式と切断関数の性質を利用する。

関連研究

古典的相転移理論

1. Modica-Mortola (1977)：$k=1$の場合のΓ-収束結果を初めて証明し、相転移問題の変分法の基礎を確立。
2. Modica (1987)：最小界面準則を証明し、Gurtin予想の厳密な証明を完成。
3. Cahn-Hilliard理論 (1958)：相分離のエネルギー形式を提案し、二重井戸項と勾配項を含む。

高階の場合

4. Fonseca-Mantegazza (2000)：二階特異摂動モデルの$k=2$の場合を研究し、周長汎関数へのΓ-収束を証明。
5. Brusca-Donati-Solci (2024)：結果を任意の$k\geq 3$に推広し、高階補間技術を開発。

分数階の場合

6. Alberti-Bouchitté-Seppecher (1994, 1998)：非局所各向異性相転移モデルを早期に研究し、$H^{1/2}$ノルムを考察。
7. Savin-Valdinoci (2012)：非局所相転移のΓ-収束を体系的に研究し、$s\in(1/2,1)$の場合を処理。
8. Palatucci-Vincini (2020)：一次元非局所相転移エネルギーのΓ-収束を研究し、特に$s\to 1^-$のときの修正に焦点。

分数階ソボレフ空間理論

9. Maz'ya-Shaposhnikova (2002)とBourgain-Brezis-Mironescu (2001)：分数階半ノルムの$s\to 0^+$と$s\to 1^-$のときの極限挙動を証明。
10. Ponce (2004)：ソボレフ空間の新しい方法とΓ-収束との関連を提供。
11. Di Nezza-Palatucci-Valdinoci (2012)とLeoni (2023)：分数階ソボレフ空間の体系的な導入を提供。

本論文の関連研究に対する優位性

1. 統一性：整数階と分数階の場合を初めて一つのフレームワークで統一し、$r=k+s>1/2$のすべての場合を網羅。
2. 完全性：コンパクト性、下界、上界を含む完全なΓ-収束証明を提供。
3. 連続性：適切な正規化を通じて整数点での発散問題を修正し、界面エネルギー係数を連続関数にする。
4. 技術的革新：非局所エネルギーに適用可能な新しい補間技術を開発し、他の非局所変分問題にも価値を有する。

結論と議論

主要な結論

1. Γ-収束定理：高階分数階二重井戸エネルギー$F_\varepsilon$が$\varepsilon\to 0$のとき鋭い界面汎関数$m_{k+s}\#S(u)$にΓ-収束することを証明し、ここで$m_{k+s}$は最適輪郭問題によって一意に決定される。
2. コンパクト性結果：エネルギーが有界な列は測度位相と$L^1$位相でコンパクトであり、極限関数は$BV(I;\{-1,1\})$に属する。
3. 連続補間：正規化係数$\frac{s(1-s)}{2^{1-s}}$を通じて、界面エネルギー係数$m_k(s)$が$(1/2,+\infty)$上で連続であり、整数階と分数階の場合の滑らかな遷移を実現。
4. 最小化問題の収束：$W$が多項式増長を有するなら、最小化問題の解は極限問題の解に収束する。

制限事項

1. 次元の制限：本論文は一次元の場合のみを処理している。高次元の場合は追加の技術を必要とする：
   • スライシング技術（slicing）による強制性の取得
   • ブローアップ技術（blow-up）による表面エネルギー密度の記述
   • 各向異性周長汎関数の処理
2. ポテンシャルの仮定：仮定条件は既に非常に弱い（ポテンシャル井戸での二次挙動と無限遠での有界性のみを要求）が、さらに$W(z)\sim||z|-1|^q$（$q>1$）の場合に推広される可能性がある。
3. 技術的複雑性：高次元への推広は技術的に相当複雑であり、分数階スライシング結果などの高度なツールの使用が必要。
4. 数値検証：純粋な理論的研究として、収束挙動を直感的に示す数値実験が欠けている。

将来の方向

1. 高次元への推広：
   • 分数階スライシング定理22, Theorem 6.47の利用
   • 高次元に適用可能なブローアップ技術の開発
   • 各向異性周長汎関数の処理
2. より一般的なポテンシャル：$q$次増長のポテンシャル（$q\neq 2$）への推広、補間不等式の修正が必要。
3. ベクトル値の場合：ベクトル値関数の相転移問題の研究、より複雑な界面構造を含む。
4. 自由不連続問題：技術をより一般的な自由不連続問題に適用、Ambrosio-Tortorelli型の近似など。
5. 数値方法：最適輪郭と界面エネルギーを計算するための効率的な数値アルゴリズムの開発。
6. 物理的応用：理論を具体的な物理モデルに適用、原子晶格の長距離相互作用モデルなど。

深い評価

利点

1. 理論的完全性：
   • コンパクト性、下界、上界の三つの核心部分を含む完全なΓ-収束証明フレームワークを提供
   • 証明は厳密で、論理は明確、技術的詳細は適切に処理されている
   • 整数点での係数発散の問題を成功裏に解決
2. 技術的革新性：
   • 非局所エネルギーに適用可能な新しい補間技術を開発し、これは論文の核心的技術貢献
   • 補題5と補題7の導数界に関する推定は主要な革新であり、エネルギー構造を巧みに利用
   • 切断論法を補間不等式と組み合わせた方法は非局所問題の処理に新しい思考を提供
3. 統一性と一般性：
   • 整数階（Fonseca-Mantegazza、Brusca-Donati-Solci）と分数階（Savin-Valdinoci、Palatucci-Vincini）の場合を一つのフレームワークで統一
   • パラメータ範囲$k+s>1/2$はすべての物理的に関連する場合を網羅
   • ポテンシャル$W$に対する仮定条件を最小化
4. 数学的深さ：
   • 分数階ソボレフ空間の精密な性質を深く利用
   • Γ-収束理論、BV関数理論、補間理論など複数の数学分野と深い関連を有する
   • 命題16の連続性に関する結果は、Maz'ya-Shaposhnikova とBourgain-Brezis-Mironescuの古典的結果を優雅に関連付ける
5. 執筆品質：
   • 構造が明確で、問題設定から主要結果から技術的補題まで階層的に整理されている
   • 数学記号の使用は規範的で、定義は明確
   • 適切な注釈（例えばRemark 2, 6, 8, 11）が可読性を向上

不足

1. 次元の制限：
   • 一次元の場合のみを処理することが主要な制限
   • 著者は高次元推広の技術的課題を説明しているが、完全な理論はまだ後続の研究を必要とする
   • 高次元での各向異性効果はまだ涉及されていない
2. 数値検証の欠如：
   • 純粋な理論的研究として、Γ-収束過程を直感的に示す数値実験がない
   • 最適輪郭$v$の具体的な形式は与えられていない（理論的には結果に影響しないが）
   • 係数$m_{k+s}$の数値推定や界は提供されていない
3. 技術的複雑性：
   • 特に命題12の下界推定の証明は技術的に非常に強く、複数の推定を慎重に追跡する必要がある
   • 補間技術の動機は非専門家にとって十分に直感的でない可能性がある
   • エネルギー分解の三つの場合（Case 1-3）の処理は相当繁雑
4. 応用討論の不足：
   • 引言で原子理論の長距離相互作用に言及しているが、具体的な物理応用は深く討論されていない
   • 実際の相転移現象との関連をより明確にすることができる
   • パラメータ$k$と$s$の物理的意味をより詳細に説明することができる
5. 未解決問題：
   • 高次元の場合がいつ完成するかについての時間表がない
   • $k+s\leq 1/2$の場合に異なる漸近挙動があるかどうかは討論されていない
   • 最適定数$R_{k,s}$、$L_{k,s}$などの依存関係は明確にされていない

影響力

1. 分野への貢献：
   • 相転移理論における高階分数階の場合の空白を埋める
   • 非局所変分問題に新しい技術ツール（補間技術）を提供
   • Γ-収束理論の非局所問題への応用を推進
2. 実用的価値：
   • 数値近似に理論的基礎を提供
   • 材料科学における相転移のモデリングに応用可能
   • 画像処理のエッジ検出問題との潜在的な関連
3. 再現性：
   • 理論的研究として、証明ステップは明確で検証可能
   • 主要定理と補題の陳述は明確
   • 技術的仮定は明確で、後続の研究者による引用と推広が容易
4. 後続研究の方向：
   • 高次元への推広は自然な次のステップ
   • 数値方法の開発
   • ベクトル値の場合の研究
   • 他の非局所問題（非局所周長、非局所曲率など）との関連

適用場面

1. 理論数学研究：
   • 変分法とΓ-収束理論
   • 分数階ソボレフ空間理論
   • 特異摂動理論
   • BV関数と自由不連続問題
2. 応用数学：
   • 相転移のモデリング（材料科学、物理学）
   • 画像処理のエッジ検出と分割
   • 相場法の理論的基礎
3. 数値解析：
   • 相転移問題の有限要素法
   • 適応的メッシュ細分化
   • マルチスケール数値方法
4. 学際的応用：
   • 原子晶格の長距離相互作用モデル
   • 非局所弾性理論
   • 生物膜の相分離

参考文献

本論文は31篇の重要な文献を引用しており、主に以下を含む：

古典的研究：

• 25 Modica & Mortola (1977)：開拓的なΓ-収束結果
• 24 Modica (1987)：最小界面準則
• 13 Cahn & Hilliard (1958)：相分離理論

高階の場合：

• 18 Fonseca & Mantegazza (2000)：二階の場合
• 12 Brusca、Donati & Solci (2024)：任意の$k\geq 3$

分数階の場合：

• 29 Savin & Valdinoci (2012)：非局所相転移
• 27 Palatucci & Vincini (2020)：一次元非局所エネルギー
• 3 Alberti、Bouchitté & Seppecher (1994)：早期の非局所モデル

分数階ソボレフ空間：

• 22 Leoni (2023)：体系的な専門書
• 16 Di Nezza、Palatucci & Valdinoci (2012)：総説ガイド
• 23 Maz'ya & Shaposhnikova (2002)：極限埋め込み
• 9, 28 Bourgain-Brezis-Mironescu、Ponce：Γ-収束結果

総合評価：これは相転移理論と非局所変分問題の分野における重要な貢献をなす高品質な理論数学論文である。技術的には厳密で革新的であり、理論的には完全で深刻であり、後続の研究のための堅固な基礎を提供している。主要な制限は一次元の場合のみを処理していることと数値検証が欠けていることであるが、これらは理解可能であり、将来の研究に明確な方向を残している。本研究は高階非局所相転移モデルの漸近挙動を理解するために重要な価値を有し、変分法、偏微分方程式、応用数学など複数の分野に影響を与えることが予想される。