[論文レビュー] Abstract approach of degenerate parabolic equations with dynamic boundary conditions

T. Fukao, Taishi Motoda|arXiv (Cornell University)|Oct 23, 2017

Advanced Mathematical Modeling in Engineering参考文献 13被引用数 6

ひとこと要約

本稿では、劣微分作用素に基づく抽象的時間発展方程式のアプローチを用いて、動的境界条件を伴う退化放物型方程式に対する弱解の存在を確立する。適切な平均ゼロ関数空間を構築し、Moreau–Yosida正則化を適用することで、体積と境界上での非線形性が異なる場合でも適切に定式化された解の存在が証明され、従来の支配仮定を上回る一般性を持つ、抽象的ヒルベルト空間枠組みによる改善がなされた。

ABSTRACT

An initial boundary value problem of the nonlinear diffusion equation with a dynamic boundary condition is treated. The existence problem of the initial-boundary value problem is discussed. The main idea of the proof is an abstract approach from the evolution equation governed by the subdifferential. To apply this, the setting of suitable function spaces, more precisely the mean-zero function spaces, is important. In the case of a dynamic boundary condition, the total mass, which is the sum of volumes in the bulk and on the boundary, is a point of emphasis. The existence of a weak solution is proved on this basis.

研究の動機と目的

• 動的境界条件を伴う非線形的退化放物型系の適切な定式化を確立すること。
• 劣微分に基づく抽象的時間発展方程式のアプローチを、動的境界条件を伴う問題へと拡張すること。
• 体積と境界上での非線形性にかかる制限的な支配仮定を、洗練された関数空間枠組みを用いて克服すること。
• 一般の最大単調グラフβとβΓ（多価の場合も含む、例えばヘール＝ショウプロファイル）に対して弱解の存在を保証すること。
• 初期データに非ゼロの平均値を許容するために、関数空間構造を調整し、全質量保存を維持すること。

提案手法

• ヒルベルト空間における劣微分作用素によって支配される抽象的時間発展方程式として問題を定式化する。
• 全質量保存を保つために、H × HΓ 上に平均ゼロ制約を課したヒルベルト空間構造を導入する。
• 劣微分作用素の近似としてMoreau–Yosida正則化を適用し、正則化された解を構成する。
• βとβΓの強収縮性および成長条件を用いて、近似解に対する一様推定を導出する。
• 正則化パrameter λ → 0 の極限に移行することで弱解を構成する。
• βとβΓの全射性および最小セクション性を用いて、境界透過の一致性を保証し、支配仮定を回避する。

実験結果

リサーチクエスチョン

• RQ1 抽象的劣微分時間発展アプローチは、動的境界条件を伴う退化放物型方程式へと拡張可能か？
• RQ2 関数空間設定をどのように変更すれば、全質量保存を保ちつつ非ゼロの初期平均値を許容できるか？
• RQ3 体積と境界上での非線形性βとβΓが異なる場合、どのような条件下で弱解の存在が保証されるか？
• RQ4 従来の研究で用いられた制限的な支配仮定（A6）は、動的境界条件の文脈で排除可能か？
• RQ5 平均ゼロ関数空間は、動的境界条件を伴う退化放物型系の適切な定式化において果たす役割は何か？

主な発見

• 一般の最大単調グラフβとβΓに対して、動的境界条件を伴う初期境界値問題に対して一意な弱解の存在が証明された。
• 従来の研究で用いられた支配仮定（A6）を回避するため、抽象的時間発展方程式フレームワークに依拠することで、その必要性が排除された。
• 平均ゼロ関数空間の構築により、体積と境界の体積の和として定義される全質量が保存された。
• 体積と境界上での非線形性βとβΓがそれぞれ凸で下半連続な関数の劣微分である限り、異なる非線形性に対しても本アプローチは有効である。
• 初期データに非ゼロの平均値が含まれる場合でも、関数空間構造を適切に調整することで、本手法は適用可能である。
• 劣微分時間発展方程式による抽象的アプローチは、退化性が存在する状況においても一様推定や極限操作を簡素化する強固なフレームワークを提供する。