[论文解读] 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ᵢ) 的正则性与解析依赖性。
• 为处理外域与包含物之间界面处的非线性传输条件，提供一个泛函分析框架。
• 通过巴拿赫空间中的实解析延拓，将渐近分析技术扩展至非线性、非自治传输问题。

提出的方法

• 在穿孔域 Ω(ε) = Ωᵒ \ εΩⁱ 中，为拉普拉斯方程建立一个具有非自治传输条件的非线性传输问题，其条件定义在 ε∂Ωⁱ 上。
• 采用泛函分析框架，将解映射 ε ↦ (uₒ, uᵢ) 视为巴拿赫空间中 Hölder 光滑函数之间的映射。
• 利用巴拿赫空间中的隐函数定理，证明当 ε > 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*) 的幂级数展开的收敛性，确立了解映射的解析性。
• 通过利用泛函分析工具和解析延拓，将渐近分析技术扩展至非线性、非自治传输问题。