[论文解读] On the $\mathcal{R}$-boundedness of solution operator families for two-phase Stokes resolvent equations

Sri Maryani, Hirokazu Saito|arXiv (Cornell University)|Jun 28, 2016

Advanced Mathematical Modeling in Engineering被引用 12

一句话总结

本文在一致的 $W_r^{2-1/r}$ 域上，建立了双相 Stokes 逆问题方程在混合范数 $L_p$-$L_q$ 空间中的解算子族的 $Σ$-有界性，证明了最大 $L_p$-$L_q$ 正则性并生成了解析半群。关键结果是在弱椭圆传输问题假设下构造了 $Σ$-有界解算子，从而为具有自由边界和界面边界的时变双相 Stokes 问题实现了最大正则性。

ABSTRACT

The aim of this paper is to show the existence of $\mathcal{R}$-bounded solution operator families for two-phase Stokes resolvent equations in $\dotΩ=Ω_+\cupΩ_-$, where $Ω_\pm$ are uniform $W_r^{2-1/r}$ domains of $N$-dimensional Euclidean space $\mathbf{R}^N$ ($N\geq 2$, $N

研究动机与目标

• 在混合范数 Lebesgue 空间中，建立双相 Stokes 逆问题方程解算子族的 $Σ$-有界性。
• 为具有自由边界和界面边界的时变双相 Stokes 问题证明最大 $L_p$-$L_q$ 正则性。
• 通过 $Σ$-有界解算子证明解析半群的生成。
• 将正则性理论推广至包括 $\mathbb{R}^N$、$\mathbb{R}_{\pm}^N$、扰动半空间、层状区域和有界区域的定义域。
• 在 $\mathbf{f} \in L_q(\Omega)^N$ 条件下，验证弱椭圆传输问题假设下的方法有效性。

提出的方法

• 通过界面 $\Gamma$ 上的层势和奇异积分，将解算子分解为调和部分与奇异积分部分，从而构造解算子。
• 采用参数型方法求解 $\dot{\Omega} = \Omega_+ \cup \Omega_-$ 中的逆问题，满足在 $\Gamma$ 上的跳跃条件。
• 利用 $\mathcal{R}$-有界性框架控制解析参数 $\lambda \in \Sigma_{\varepsilon,\lambda_0}$，确保一致的算子范数有界性。
• 应用弱椭圆传输问题理论，确保对 $\theta \in \mathcal{W}_q^1(\Omega)$ 的变分问题具有唯一解。
• 建立在 $\Sigma_{\varepsilon,\lambda_1}$ 上的解析算子族 $\mathbf{U}(\lambda)$，并证明 $\lambda \frac{d}{d\lambda}$-导数的 $\mathcal{R}$-有界性。
• 利用不动点方法与扰动估计，证明算子 $I - F_{\mathcal{R},\lambda}\mathbf{U}(\lambda)$ 存在有界逆。

实验结果

研究问题

• RQ1 能否在一般定义域上，于混合范数 $L_p$-$L_q$ 空间中为双相 Stokes 逆问题方程构造 $\mathcal{R}$-有界解算子族？
• RQ2 解算子的 $\mathcal{R}$-有界性是否意味着时变双相 Stokes 问题的最大 $L_p$-$L_q$ 正则性？
• RQ3 在何种定义域与系数假设下，弱椭圆传输问题在 $\mathcal{W}_q^1(\Omega)$ 中存在唯一解？
• RQ4 能否通过 $\mathcal{R}$-有界解算子为双相 Stokes 系统建立解析半群生成？
• RQ5 界面 $\Gamma$ 以及 $\Gamma_+$ 和 $\Gamma_-$ 上的边界条件在确保 $\mathcal{R}$-有界性方面起何种作用？

主要发现

• 本文在弱椭圆传输问题具有唯一解的假设下，证明了在 $\Sigma_{\varepsilon,\lambda_0}$ 中双相 Stokes 逆问题方程解算子族的 $\mathcal{R}$-有界性。
• 通过解算子的 $\mathcal{R}$-有界性，为时变双相 Stokes 问题建立了最大 $L_p$-$L_q$ 正则性。
• 解算子 $\mathbf{U}(\lambda)$ 在 $\Sigma_{\varepsilon,\lambda_1}$ 上为解析函数，且满足依赖于 $\sigma_1, \sigma_2, \lambda_1$ 和 $\gamma_4$ 的 $\mathcal{R}$-有界性估计。
• $ (I - F_{\mathcal{R},\lambda}\mathbf{U}(\lambda))^{-1} $ 为 $\mathcal{R}$-有界，其范数不超过 2，确保了解算子族的稳定性。
• 该构造适用于满足 $W_r^{2-1/r}$ 正则性条件的定义域，包括 $\mathbb{R}^N$、$\mathbb{R}_{\pm}^N$、扰动半空间、层状区域和有界区域。
• 结果在 $N \geq 2$、$r < \infty$ 且 $1 < q < \infty$ 条件下成立，其中 $\rho_\pm > 0$，且 $\mu_\pm = \mu_\pm(x)$ 为可测函数。