[论文解读] W^{2,1}_p Solvability for Parabolic Poincare Problem

Lubomira G. Softova|arXiv (Cornell University)|Jul 29, 2003

Nonlinear Partial Differential Equations参考文献 12被引用 4

一句话总结

本论文建立了在边界向量场处处不指向内侧的退化抛物型斜导数问题（Poincaré问题）的 $W^{2,1}_p$-可解性，其特征为中性型切向接触。通过一种扰动向量场使其变为非切向的正则化技术，作者证明了对所有 $p ∈ (1,\infty)$，在 $W^{2,1}_p(Q)$ 中存在唯一强解，其依据为先验估计与紧致性论证，而无需依赖最大值原理或对向量场施加额外的结构条件。

ABSTRACT

We study Poincaré problem for a linear uniformly parabolic operator $¶$ in a cylinder $Q=Ω imes (0,T).$ The boundary operator $\B$ is defined by an oblique derivative with respect to a tangential vector field $ł$ defined on the lateral boundary $S.$ The coefficients of $¶$ are supposed to be $VMO$ away from the set of tangency $E$ and to possess higher regularity in $x$ near to $E.$ A unique strong solvability result is obtained in $W^{2,1}_p(Q)$ for all $p\in (1,\infty).$

研究动机与目标

• 建立退化抛物型斜导数问题在 $W^{2,1}_p(Q)$ 中的强可解性，其边界条件为切向条件。
• 通过在切向接触集邻域内提高数据的正则性，来应对在切向接触集附近可能出现的正则性损失。
• 在不依赖最大值原理或对向量场施加额外几何约束的条件下，将可解性理论推广至退化问题。
• 为具有中性类型接触的抛物型Poincaré问题提供统一的处理方法，其中向量场在边界上不改变符号。

提出的方法

• 通过添加 $\varepsilon \nu(x)$ 到向量场 $\ell(x,t)$ 实现其正则化，使其变为非切向，从而对每个 $\varepsilon > 0$ 得到一个正则的斜导数问题。
• 利用积分表示与Gronwall型不等式，推导出正则化解在 $W^{2,1}_p(Q)$ 中的统一先验估计，且估计结果与 $\varepsilon$ 无关。
• 在Sobolev空间中应用紧致性论证，从正则化解 $u^\varepsilon$ 中提取弱极限 $u$，其属于 $W^{2,1}_p(Q)$。
• 利用迹理论及在切向接触集邻域 $\Sigma$ 上的 $V^2_p(\Sigma)$ 收敛性，验证极限解满足原始边界条件的迹意义。
• 借助已知的具有VMO系数且边界算子满足Shapiro-Lopatinskii条件的正则问题的可解性结果。
• 证明 $u^\varepsilon$ 在 $L^p$ 与 $V^1_p$ 范数下收敛于 $u$，并验证 $u$ 以弱形式满足原始PDE与边界条件。

实验结果

研究问题

• RQ1 能否在 $W^{2,1}_p(Q)$ 中建立具有中性型切向接触的抛物型Poincaré问题的强可解性，其中向量场处处不指向内侧？
• RQ2 通过 $\ell_\varepsilon = \ell + \varepsilon \nu$ 的正则化方法，是否能对解的 $W^{2,1}_p$-范数获得与 $\varepsilon$ 无关的统一估计？
• RQ3 是否可能在不使用最大值原理或对向量场施加额外几何或正则性条件的前提下，证明唯一可解性？
• RQ4 解在切向接触集附近的行为如何影响对数据正则性的要求？这一影响能否在 $L^p$-范数下被量化？

主要发现

• 即使在具有中性切向接触的退化情形下，该问题在所有 $p \in (1,\infty)$ 下于 $W^{2,1}_p(Q)$ 中也是唯一可解的。
• 解在 $W^{2,1}_p(Q)$ 中的先验估计仅依赖于数据 $f$、$\varphi$ 及算子结构，无需额外假设。
• 正则化技术确保了正则化解 $u^\varepsilon$ 在 $W^{2,1}_p(Q)$ 中具有与 $\varepsilon$ 无关的统一有界性，常数独立于 $\varepsilon$。
• 当 $\varepsilon \to 0$ 时，正则化解 $u^\varepsilon$ 的极限属于 $W^{2,1}_p(Q)$，且在迹意义下满足原始PDE与边界条件。
• 边界算子 $\mathcal{B}_\varepsilon u^\varepsilon$ 在 $V^1_p(\Sigma)$ 中收敛于 $\mathcal{B}u$，从而确认迹条件成立。
• 该方法避免了对最大值原理的依赖，并在所有 $p \in (1,\infty)$ 中保持一致，克服了先前方法的局限性。