[論文レビュー] Weak solutions of fractional differential equations in non cylindrical domain

Adam Kubica, Piotr Rybka+1 more|arXiv (Cornell University)|May 22, 2016

Fractional Differential Equations Solutions参考文献 4被引用数 4

ひとこと要約

本稿は、1次元非円形領域におけるCaputo微分を用いた時間分数拡散方程式に対して、Galerkin法を用いて弱解の存在を確立する。主な貢献は、移動境界およびデータに関する一般な条件下での存在性の証明であり、古典的PDE技法を時間非局所性と領域の変化を伴う分数階方程式へと拡張している。

ABSTRACT

We study a time fractional heat equation in a noncylindrical domain. The problem is one-dimensional. We prove existence of properly defined weak solutions by means of the Galerkin approximation.

研究の動機と目的

• 1次元非円形領域における時間分数拡散方程式（Caputo微分を含む）の弱解の存在を確立すること。
• 堆積物輸送および自由境界問題を動機として、分数階PDEにおける非局所的時間微分と領域の変化という課題に取り組むこと。
• 歴史依存作用素を伴う分数階方程式へと、古典的Galerkin法の技法を拡張すること。
• 非局所積分作用素を介してCaputo微分を組み込んだ弱形式の定義と解析を行うこと。
• 未知の移動界面を有する分数階Stefan問題の今後の研究の基盤を提供すること。

提案手法

• 時間依存境界 $ s(t) $ で定義される非円形領域 $ Q_{s,T} $ において、近似解を構成するGalerkin法の使用。
• 弱形式においてCaputo微分を表現するための非局所積分作用素 $ I_s^\beta $ の定義。これは解の履歴を考慮する。
• 滑らかなカットオフ関数 $ \eta(x) $ を用いた変換により、非同次境界条件を有する元の問題を、同次DirichletおよびNeumann条件を有する等価問題に還元すること。
• 次式を満たす弱形式の導出：$ -\int_{Q_{s,T}} I_s^{1-\alpha}[u-\tilde{u}_0] \varphi_t \,dxdt + \int_{Q_{s,T}} u_x \varphi_x \,dxdt = \int_0^T h(t)\varphi(0,t)dt + \int_{Q_{s,T}} f\varphi \,dxdt $。これは、$ x=s(t) $ および $ t=T $ で消えるテスト関数に対して有効である。
• エネルギー法および分数積分の性質を用いた、近似解に対する一様推定と、$ L^2 $-型空間におけるコンパクト性および弱収束の導出。
• 非局所性（特に $ t^{1-\alpha} $-重み付き連続性）を扱うために、Arzelà–Ascoli型の議論と時間重み付きノルムの適用。

実験結果

リサーチクエスチョン

• RQ1 時間依存境界を有する非円形領域における時間分数拡散方程式（Caputo微分を含む）に対して、弱解が存在しうるか。
• RQ2 Galerkin法は、時間依存領域における非局所的かつ歴史依存的な性質を有するCaputo微分をどのように扱えるか。
• RQ3 領域が時間に依存し、分数階微分が記憶効果を導入する状況において、弱解を定義するのに適した関数空間フレームワークは何か。
• RQ4 移動境界 $ s(t) $ の正則性、特に条件 $ t^{1-\alpha} \dot{s}(t) \in C([0,T]) $ が問題の可解性に与える影響は何か。
• RQ5 データ $ f $, $ h $, $ u_0 $ に対して最小限の仮定のもとで、解の存在を確立できるか。具体的には $ f \in L^2(Q_{s,T}) $, $ h \in C^1([0,T]) $, $ u_0 \in L^2(0,b) $ を想定する。

主な発見

• 本稿では、与えられた仮定のもとで、非円形領域における分数拡散方程式（Caputo微分を含む）の弱解の存在を証明している。
• 解は $ u, u_x \in L^2(Q_{s,T}) $ を満たし、$ I_s^{1-\alpha}[u - \tilde{u}_0] \in L^\infty(0,T; L^2(0,s(T))) $ であるため、弱い意味で分数微分が適切に定義される。
• 滑らかなカットオフ関数を用いた変換により、同次境界条件への還元を経て、Galerkin法によって解の存在が確立された。
• 重要な技術的結果として、$ t^{1-\alpha}(I^\alpha f')(t) \in C^{0,\alpha}([0,T]) $ が成り立ち、これは $ (I^\alpha f')(t) \in C^{0,\alpha}_{\text{loc}}((0,T]) $ を意味し、分数積分の正則性を扱う上で不可欠である。
• 証明は一様推定とコンパクト性の議論に依拠しており、非局所性は時間重み付きノルムおよび積分推定により管理されている。
• 解の存在は、$ t^{1-\alpha} \dot{s}(t) \in C([0,T]) $ および $ \dot{s} \geq 0 $ の条件下で成立し、移動境界の十分な正則性が保証されている。