[論文レビュー] A uniqueness result for time-fractional diffusion equations with space-dependent variable order

Yavar Kian, Éric Soccorsi+1 more|arXiv (Cornell University)|Jan 15, 2017

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

ひとこと要約

この論文は、時間分数拡散方程式における空間依存の可変次数係数の一意性を、時間経過にわたる部分Dirichlet-to-Neumannマップの系列からこれらの係数が一意に同定可能であることを証明することで確立している。この手法は、可変次数分数PDEの適切な定式化と逆問題技術に依拠している。

ABSTRACT

We investigate diffusion equations with time-fractional derivatives of space-dependent variable order. We examine the well-posedness issue and prove that the space-dependent variable order coefficient is uniquely determined among other coefficients of these equations, by the knowledge of a suitable time-sequence of partial Dirichlet-to-Neumann maps.

研究の動機と目的

• 時間分数拡散方程式における空間依存次数の可変係数を同定する逆問題に取り組む。
• このような方程式における前向き問題の適切な定式化を確立する。
• 可変次数係数が境界測定値から一意に再構成可能かどうかを特定する。
• 可変次数分数作用素の文脈におけるDirichlet-to-Neumannマップの構造的性質を分析する。

提案手法

• Caputo型分数階微分を用いて、空間依存可変次数を持つ時間分数拡散方程式を形式化する。
• 適切な境界条件および初期条件を備えた有界領域における前向き問題を定義する。
• 境界測定値を符号化するため、時間経過にわたる部分Dirichlet-to-Neumannマップの系列を構築する。
• Dirichlet-to-Neumannマップの解析的性質および単調性に基づく一意性の議論を適用する。
• エネルギー推定と弱解理論を用いて、前向き問題の適切な定式化を保証する。
• 異なる次数から生成された解を比較することで、可変次数係数の一意性を確立する。

実験結果

リサーチクエスチョン

• RQ1 時間分数拡散方程式における空間依存可変次数係数は、境界測定値から一意に特定可能か？
• RQ2 可変次数が、逆問題の文脈におけるDirichlet-to-Neumannマップの挙動にどのように影響するか？
• RQ3 可変次数時間分数拡散方程式の前向き問題の適切な定式化を保証する条件は何か？
• RQ4 部分Dirichlet-to-Neumannマップの系列は、可変次数係数を一意に再構成するのに十分か？
• RQ5 可変次数構造は、境界データからの係数同定可能性にどのように影響するか？

主な発見

• 時間分数拡散方程式における空間依存可変次数係数は、時間経過にわたる部分Dirichlet-to-Neumannマップの系列から一意に同定可能である。
• 領域および係数に関する標準的仮定の下で、可変次数時間分数拡散方程式の前向き問題は適切に定式化される。
• 可変次数係数が適切な可測かつ有界関数のクラスに属する限り、一意性結果は成り立つ。
• 解析は、Dirichlet-to-Neumannマップの解析的性質および可変次数パrameterへの依存性に依拠している。
• 境界データの系列が次数の空間的変動を十分に符号化している場合、逆問題は一意に解ける。
• 本手法は、完全な境界測定値を必要とせず、時間経過にわたる部分Dirichlet-to-Neumannデータのみで十分である。