On a Local Existence Theorem for the Evolution Equation of Viscous Gaseous Stars in a Physical Vacuum

技术摘要：物理真空条件下粘性气态恒星的局部存在性定理

问题阐述
本文研究了描述自引力粘性气态恒星的三维可压缩纳维-斯托克斯-泊松（CNSP）方程中自由边界问题（VFBP）的局部适定性。该系统具有退化的粘性特征，其中剪切粘性和体粘性系数随密度呈幂律变化，即 $\mu(\rho) = a_1\rho^\delta$ 且 $\lambda(\rho) = a_2\rho^\delta$，其中 $\delta \in (0, 1)$。

该物理设置涉及一个“物理真空”边界，其定义为声速平方 $c^2$ 在边界处的法向导数为负（$-\infty < \partial_n c_0^2 < 0$）。这一条件意味着初始密度 $\rho_0$ 在边界处消失的速度类似于距离函数（$\rho_0^{\gamma-1} \sim \text{dist}(x, \partial\Omega)$）。作者专注于球对称的巴洛特运动，将三维问题简化为在移动区间 $I(t) = [0, R(t))$ 上的一维初边值问题（IBVP）。主要的数学挑战在于方程在真空边界附近的强退化性以及原点处的坐标奇异性，这两者都使得速度场的正则性传播变得复杂。

方法论
作者采用拉格朗日变形方法将空间域固定在 $I = [0, 1)$。核心方法论包含一个多步分析框架：

1. 线性化与近似： 将非线性问题围绕给定的流映射 $\bar{\eta}$ 进行线性化。为了求解所得的线性化问题，作者利用了一种改进的 Galerkin 方案。他们构造了一个由特定的 Sturm–Liouville 问题导出的希尔伯特基 $\{\xi_j\}$，该问题是针对球对称性和 Neumann 边界条件定制的。这使得构造全局时间内的近似解成为可能。
2. 一致能量估计： 研究的大部分工作致力于建立线性化解的一致能量估计。作者定义了一个总能量泛函 $E(t)$ 和一个耗散泛函 $D(t)$，并将其分为内部和外部两部分。
   • 内部估计： 在原点附近，利用解在体内的光滑性，使用标准的 Sobolev 范数。
   • 外部估计： 在真空边界附近，作者引入了涉及初始密度 $\rho_0$ 幂次的加权 Sobolev 空间。这些权重经过精心选择，以处理退化性并确保解在移动边界处保持光滑。权重取决于绝热指数 $\gamma$ 和粘性参数 $\delta$。
3. 提升正则性（Bootstrap）与正则性： 通过涉及椭圆估计和交叉导数嵌入（详见附录 D）的提升论证，作者推导出了速度场和流映射的高阶正则性。他们特别处理了动量方程中出现的“交叉导数”项，证明了最高阶导数可以在加权空间中得到控制。
4. Picard 迭代： 最后，通过经典的 Picard 迭代建立了非线性问题的局部适定性。利用为线性化问题推导出的一致估计，证明了迭代序列向唯一经典解的强收敛性。

主要贡献与结果
本文确立了以下主要结果：

• 局部适定性： 作者证明了具有退化粘性和物理真空边界的球对称 CNSP 方程存在且唯一的经典解。这对于所有绝热指数 $\gamma > 4/3$ 和粘性参数 $\delta \in (0, 1)$ 均成立。
• 边界处的正则性： 不同于以往通常只能得到在移动边界处不光滑强解的粘性流研究，本研究表明，对于 $t > 0$，所获得的解在整个移动真空边界处都是光滑的。这些解捕捉到了 Lane-Emden 星体的特定物理真空行为。
• 一般初始数据： 只要初始密度满足物理真空条件（$\rho_0^{\gamma-1} \sim 1-r$）并属于适当的加权 Sobolev 空间（密度为 $H^3$，速度为加权 $H^6$），结果在不依赖初始数据小性假设的情况下依然成立。
• 边界条件： 本文严格推导了解所满足的边界条件，表明无应力条件自动成立，且速度在真空边界处满足一个涉及粘性系数的特定关系。

意义
正如作者所述，这项工作的意义在于克服了物理真空附近方程内在的强退化性难题。以往关于粘性气态恒星的研究往往导致解在边界处缺乏光滑性，或者需要苛刻的初始数据假设（例如密度在真空附近的更高衰减率）。通过开发专门的能量框架（结合特定的加权范数）并利用改进的 Galerkin 方案，本文将局部适定性理论扩展到了具有退化粘性的物理相关的 Lane-Emden 星体情形。这些结果填补了理解良好的无粘 Euler-Poisson 情形与更复杂的粘性情形之间的空白，为研究物理真空中粘性气态恒星的演化提供了严谨的基础。