[论文解读] 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

一句话总结

本论文在 Lp(0,1;X) 中建立了带两个谱参数的二阶椭圆微分-算子方程的存在性、唯一性、最大正则性及精确估计，其中 X 是一个 UMD Banach 空间。其关键创新在于处理了抽象 Robin 边界条件中非交换算子 A 与 H 的情形，证明了强连续解析半群的生成性，并在两种不同的定义域假设下提供了显式解表示：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.

研究动机与目标

• 研究 Lp(0,1;X) 中带两个谱参数的二阶边值问题，其中 X 是一个 UMD 复 Banach 空间。
• 解决 Robin 边界条件中非交换算子 A 与 H 的挑战，这是此前文献中所缺失的关键创新点。
• 在两种不同的定义域假设下，建立解的存在性、唯一性、最大正则性及精确估计。
• 证明与该问题相关的强连续解析半群的生成性。
• 提供具体应用，包括边界条件中含 Caputo 分数阶导数的问题。

提出的方法

• 为带两个谱参数 λ 与 µ 的椭圆微分-算子方程在抽象 Robin 边界条件下引入新框架。
• 定义算子 Λλ,µ = (Qλ − Hµ) + e²Qλ(Qλ + Hµ)，其中 Qλ = −√(−A + λI) 且 Hµ = H + µI，以分析系统行列式的可逆性。
• 在两种定义域假设下（D(H) ⊂ D(A) 与 D(√−A) ⊂ D(H)），建立 W²,p(0,1;X) ∩ Lp(0,1;D(A)) 中的解表示公式。
• 利用 Dore-Yakubov 类型估计及文献 [13] 中的预解不等式，推导出 λ, µ 属于适当扇形时 ‖Λ⁻¹λ,µ‖L(X) 的精确界。
• 应用 UMD 空间中的函数演算与谱理论，证明解析半群的生成性。
• 在具体例子中验证假设，包括带动力边界条件的热方程及含 Caputo 导数的亚扩散问题。

实验结果

研究问题

• RQ1 当微分算子 A 与边界算子 H 不可交换时，如何求解带两个谱参数的二阶椭圆微分-算子方程？
• RQ2 当 A 与 H 为非交换算子时，Lp(0,1;X) 中解的存在性、唯一性及最大正则性的必要与充分条件是什么？
• RQ3 在非交换假设下，能否以谱参数 λ 与 µ 表示解的精确估计？
• RQ4 在何种条件下，相关算子能生成强连续解析半群？
• RQ5 该理论如何应用于具体 PDE 问题，如边界条件中含 Caputo 导数的亚扩散方程？

主要发现

• 解 u 属于 W²,p(0,1;X) ∩ Lp(0,1;D(A))，且具有最大正则性，如定理 2.1 与定理 2.4 所建立。
• 获得了解的精确估计：当 λ, µ 属于适当扇形 Sϕ₀ 时，有 ‖u‖W²,p ∩ Lp(D(A)) ≤ C(‖f‖Lp + ‖d₀‖X + ‖u₁‖X)，如定理 2.2 与定理 2.5 所示。
• 解算子在两种定义域假设下生成强连续解析半群，如定理 2.3 与定理 2.6 所证明。
• 该理论适用于边界条件中含 Caputo 分数阶导数的问题，如子扩散模型，如问题 (P4) 中 ν ∈ (0,1) 所示。
• 证明了空间 X = W⁰,¹ₚ((0,1)×(0,T)) 为 UMD 空间，且算子 A 与 H 满足所需的预解与函数演算条件。
• 对于 Caputo 导数情形，验证了在 X 上有 Dνₜ A⁻¹ = A⁻¹ Dνₜ，确保在非交换框架下的相容性。