[論文レビュー] Existence of solutions for a singularly perturbed nonlinear non-autonomous transmission problem

Riccardo Molinarolo|arXiv (Cornell University)|Nov 22, 2022

Differential Equations and Numerical Methods参考文献 26被引用数 5

ひとこと要約

本稿は、サイズ ε の小さな包含部を有する穴あき領域におけるラプラシアンを含む特異摂動非線形非自己同型伝達問題に対して、解の存在を確立する。関数解析的アプローチを用いて、十分に小さい ε > 0 に対して、解写像 ε ↦ (uₒ, uᵢ) が ε の関数として実解析的であることを証明し、滑らかな依存性を保証するとともに、バナッハ空間における解析接続を用いた漸近解析が可能となる。

ABSTRACT

In this paper we analyse a boundary value problem for the Laplace equation with a nonlinear non-autonomous transmission conditions on the boundary of a small inclusion of size $ε$. We show that the problem has solutions for $ε$ small enough and we investigate the dependence of a specific family of solutions upon $ε$. By adopting a functional analytic approach we prove that the map which takes $ε$ to (suitable restrictions of) the corresponding solution can be represented in terms of real analytic functions.

研究の動機と目的

• サイズ ε の小さな包含部を有する特異摂動領域上における非線形非自己同型伝達問題の解の存在を確立すること。
• ε → 0+ の極限における解族の漸近的挙動を分析すること。
• 小さな摂動の文脈において、解写像 ε ↦ (uₒ, uᵢ) の正則性および解析的依存性を調査すること。
• 外部領域と包含部の界面における非線形伝達条件を扱うための関数解析的枠組みを提供すること。
• バナッハ空間における実解析的接続を用いて、非線形で非自己同型の伝達問題への漸近解析技法を拡張すること。

提案手法

• 穴あき領域 Ω(ε) = Ωᵒ \ εΩⁱ におけるラプラス方程式の非線形伝達問題を定式化し、ε∂Ωⁱ 上に非自己同型伝達条件を適用する。
• Hölder滑らか関数のバナッハ空間間の写像として、解写像 ε ↦ (uₒ, uᵢ) を関数解析的枠組みで扱う。
• バナッハ空間における陰関数定理を用いて、十分に小さい ε > 0 に対して解の存在を証明する。
• 実解析的接続理論を適用し、0 の近傍において解写像が ε に関して実解析的であることを示す。
• 解作用素の級数展開を (w − w*) のべき乗に基づき行い、Pettis積分および多重線形作用素を用いて解を表現する。
• 一様収束およびドミニエート収束の議論を用いて、解析的表現における和と積分の交換を正当化する。

実験結果

リサーチクエスチョン

• RQ1 十分に小さい ε > 0 に対して、非線形非自己同型伝達問題は解を有するか？
• RQ2 ε → 0+ のとき、解 (uₒ, uᵢ) は摂動パラメータ ε にどのように依存するか？
• RQ3 解写像 ε ↦ (uₒ, uᵢ) は 0 の近傍で ε の実解析的関数として表現可能か？
• RQ4 解の漸近展開の構造は、ε のべき乗および包含部の幾何学的性質に基づいてどのように記述されるか？
• RQ5 非線形伝達条件は関数解析的手法を用いて扱えるか？ これにより ε に関する滑らかな依存性が保証されるか？

主な発見

• F および G に適切な正則性および小規模条件を課したとき、すべての ε ∈ (0, ε₀) に対して (uₒ, uᵢ) ∈ C¹,α(Ω̅(ε)) × C¹,α(εΩⁱ) となる解が存在する。
• 解写像 ε ↦ (uₒ, uᵢ) は 0 の近傍において ε に関して実解析的であり、解が ε の収束級数展開を有することを示唆する。
• 解作用素は、多重線形作用素 bᵢⱼ(τ′ₗ, w*) および分割区間 Iₗ における積分を含む級数を用いて表現可能であり、 Hölder連続関数のバナッハ空間における収束を保証する。
• Pettis積分表現は、級数展開に適用した一様収束およびドミニエート収束の議論によって正当化される。
• 実解析的写像の定義に従い、(w − w*) のべき乗における級数展開の収束に依拠して、解写像の解析性が確立される。
• 関数解析的ツールおよび解析的接続を活用することで、非線形で非自己同型の伝達問題への漸近解析技法が拡張される。