[論文レビュー] Elliptic differential-operator with an abstract Robin boundary condition containing two spectral parameters, study in a non commutative framework

Angelo Favini, Rabah Labbas+2 more|arXiv (Cornell University)|Nov 4, 2021

Advanced Mathematical Modeling in Engineering参考文献 15被引用数 2

ひとこと要約

本稿は、X が UMD 無限次元バナッハ空間であるとき、Lp(0,1;X) における2つのスペクトルパラメータを含む2階楕円型微分作用素方程式の解の存在、一意性、最大正則性、および鋭い推定式を確立する。主な新規性は、抽象的ロビン型境界条件における非可換な作用素 A と H を取り扱い、2つの異なる定義域の仮定（D(H) ⊂ D(A) および D(√−A) ⊂ D(H)）の下で、解析的半群の生成を証明し、明示的な解表現を提供することにある。

ABSTRACT

We study the solvability of boundary-value problems for differential-operator equations of the second order in L p (0, 1; X), with 1 < p < +$\infty$, X being a UMD complex Banach space. The originality of this work lies in the fact that we have considered the case when spectral complex parameters appear in the equation and in the abstract Robin boundary condition illustrated by some unbounded operator non commuting with the one used in the equation. Existence, uniqueness, representation formula, maximal regularity of the solution, sharp estimates and generation of strongly continuous analytic semigroup are proved. Many concrete applications are given for which our theory applies. This work gives news considerations with respect to all those studied by the authors in [7] and is a continuation, in some sense, of the results in [1] studied in Hilbertian spaces.

研究の動機と目的

• X が UMD 複素バナッハ空間であるとき、Lp(0,1;X) における2つのスペクトルパラメータを含む2階境界値問題を扱う。
• 先行研究にない、ロビン境界条件における非可換作用素 A と H の課題を解決する。
• 2つの異なる定義域の仮定の下で、解の存在、一意性、最大正則性、および鋭い推定式を確立する。
• 関連作用素が強連続な解析的半群を生成することを証明する。
• キャプート型分数階微分を境界条件に含む具体的な応用を提供する。

提案手法

• 2つのスペクトルパラメータ λ と µ を含む抽象的ロビン境界条件における楕円型微分作用素方程式のための新しい枠組みを導入する。
• Qλ = −√(−A + λI) および Hµ = H + µI とおくとき、Λλ,µ = (Qλ − Hµ) + e²Qλ(Qλ + Hµ) を定義し、システム行列式の可逆性を分析する。
• D(H) ⊂ D(A) および D(√−A) ⊂ D(H) の2つの定義域の仮定の下で、W²,p(0,1;X) ∩ Lp(0,1;D(A)) 内の解表現公式を確立する。
• Dore-Yakubov 型の推定式および [13] からの解の作用素不等式を用いて、λ, µ が適切な領域内にある場合の ‖Λ⁻¹λ,µ‖L(X) の鋭い境界を導出する。
• UMD 空間における関数解析的計算およびスペクトル論を用いて、解析的半群の生成を証明する。
• 具体的な例（動的境界条件を伴う熱方程式、キャプート型微分を境界条件に含むサブディフュージョン問題など）において仮定の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 微分作用素 A と境界作用素 H が非可換である場合、2つのスペクトルパラメータを含む2階楕円型微分作用素方程式はどのように解けるか？
• RQ2 A と H が非可換な作用素である場合、Lp(0,1;X) 内の解の存在、一意性、最大正則性の必要十分条件は何か？
• RQ3 非可換な仮定の下で、解の鋭い推定式はスペクトルパラメータ λ と µ の関数として得られるか？
• RQ4 関連作用素が強連続な解析的半群を生成するための条件は何か？
• RQ5 この理論は、境界条件にキャプート型分数階微分を含む具体的な PDE（例：サブディフュージョン方程式）にどのように応用できるか？

主な発見

• 解 u は、定理 2.1 および定理 2.4 によって示されるように、W²,p(0,1;X) ∩ Lp(0,1;D(A)) に属し、最大正則性を有する。
• 鋭い推定式が得られた：λ, µ が適切な領域 Sϕ₀ 内にある場合、定理 2.2 および定理 2.5 で示されるように、‖u‖W²,p ∩ Lp(D(A)) ≤ C(‖f‖Lp + ‖d₀‖X + ‖u₁‖X) が成り立つ。
• 2つの定義域の仮定の下で、解作用素が強連続な解析的半群を生成することを定理 2.3 および定理 2.6 で証明した。
• 理論は、ν ∈ (0,1) の場合の問題 (P4) で示されるように、境界条件にキャプート型分数階微分を含む問題（例：サブディフュージョンモデル）に適用可能である。
• X = W⁰,¹ₚ((0,1)×(0,T)) が UMD 空間であることが示され、作用素 A と H が必要な解の作用素および関数解析的計算の条件を満たすことが確認された。
• キャプート微分の場合は、Dνₜ A⁻¹ = A⁻¹ Dνₜ が X 上で成り立つことが検証され、非可換な枠組み内での整合性が保証された。