半平面中点涡的粘性演化

1. 研究对象和背景

本文研究二维不可压缩Navier-Stokes方程在上半平面 $R^2_+ = \mathbb{R} \times (0,+\infty)$ 中的初边值问题，具有无滑移边界条件，并以单个点涡作为初始数据。具体而言，初始涡旋为位于点 $z \in R^2_+$ 的Dirac质量 $\omega_0 = \Gamma \delta_z$，其中 $\Gamma$ 是涡旋的环量，$\nu$ 是流体的运动粘性系数。该问题作为涡旋-壁面相互作用的数学模型，在流体动力学中具有重要意义，例如用于描述飞机尾涡撞击地面时的反弹现象或涡旋环与刚性壁面的正碰。无量纲参数 $\alpha = \Gamma/\nu$ 称为环量雷诺数，本文研究的是任意环量（即任意雷诺数）的情形，这在数学上极具挑战性，因为此前的结果通常要求初始涡旋的原子部分相对于粘性系数足够小。

2. 主要定理或主要结果

本文的主要结果（定理1.4）建立了存在性、唯一性和标度不变估计：对于任意 $\alpha \in \mathbb{R}$ 和 $z=(0,1)$，存在足够小的 $T>0$，使得方程在区间 $(0,T)$ 上存在唯一的温和解 $\omega \in C^0((0,T), L^1_\perp(R^2_+) \cap L^{4/3}(R^2_+))$，满足当 $t \to 0$ 时 $\omega(t) \rightharpoonup \alpha\delta_z$（弱收敛）且 $\sup_{0<t<T} \|\omega(t)\|_{L^1} < \infty$。解在短時間内接近Lamb-Oseen涡旋，满足估计 $\sup_{0<t<T} t^\beta\|\omega(t)-\alpha G_t(\cdot-z)\|_{L^{4/3}} < \infty$（其中 $\beta=1/8$）。此外，解满足标度不变的范数估计 $\sup_{0<t<T} t^{1-1/p}\|\omega(t)\|_{L^p} < \infty$ 和速度估计 $\sup_{0<t<T} t^{1/2-1/q}\|u(t)\|_{L^q} < \infty$。该局部解可延拓为全局解（命题1.6），满足 $\omega \in C^0((0,+\infty), L^1_\perp(R^2_+) \cap L^q(R^2_+))$ 且具有有限能量，当 $t \to +\infty$ 时满足最优衰减率 $\|\omega(t)\|_{L^1} + \|u(t)\|_{L^2} = O(t^{-1/2})$。命题1.7进一步给出了涡旋中心 $Z(t)$ 的初始平移速度公式 $Z'(t) = V_\infty + O(t^{1/8})$，其中 $V_\infty = \frac{\alpha z^\perp}{4\pi|z|^2}$，这恰好等于由位于镜像点 $z^*$ 的虚设镜像涡旋所诱导的速度。

3. 研究方法、关键技术和核心工具

研究的核心方法是将解分解为涡旋部分和边界层部分，以分别处理大环量涡旋的奇性和边界效应。首先利用Stokes半群 $S(t)$ 的半显式积分核表达式（由Maekawa和Abe基于Solonnikov和Ukai的工作导出），将其分解为 $S(t) = S_1(t) + S_2(t)$，其中 $S_1(t)$ 对应于全平面的热半群，而 $S_2(t)$ 包含镜像项 $-G_t(x-y^*)$ 和边界层修正项 $K_0(x,y,t)$。基于此，将解 $\omega(t)$ 分解为 $\omega_1(t)$（集中涡旋）和 $\omega_2(t)$（边界层修正）。进一步将 $\omega_1(t)$ 分解为主导项 $\bar{\omega}_1(t)$（即Lamb-Oseen涡旋 $\alpha G_t(\cdot-z)$）和余项 $\hat{\omega}_1(t)$。通过Duhamel积分公式建立关于 $\hat{\omega}_1(t)$ 和 $\omega_2(t)$ 的积分方程组，并对其应用不动点论证。关键技术包括：对边界层核 $K_0(x,y,t)$ 的精确逐点估计（引理2.1），显示其集中在边界附近厚度为 $O(\sqrt{t})$ 的区域内；使用截断函数 $\chi$ 将涡旋部分与边界层分离，使得 $\omega_1$ 的研究可转化为全平面问题（利用自相似变量和谱分析方法），而 $\omega_2$ 则利用 $S_2(t)$ 在短时间内的更好衰减估计处理；以及Biot-Savart定律在半平面中的细致估计（公式1.2）。

4. 与之前工作的比较

此前关于带边界区域的二维Navier-Stokes方程的结果（如Abe[1]）均假设初始涡旋的Radon测度的原子部分相对于粘性系数足够小（即要求 $|\Gamma| \leq c_0 \nu$），这排除了大环量涡旋的自诱导运动或涡旋偶极子反弹等物理现象。本文首次移除了这一小性条件，允许任意强度的点涡初始数据，这是对该领域的重要推进。与全平面情形的结果（如Gallay和Wayne[12, 9]）相比，半平面情形需要额外处理无滑移边界条件（1.3）带来的边界层困难，以及涡旋与壁面的相互作用。本文通过将解分解为可套用全平面技术的涡旋部分和可用不动点论证控制的边界层部分，成功地将大涡旋问题与边界层问题解耦。此外，此前关于一般测度初值的结果仅在原子部分较小时建立唯一性，而本文在解短時間内接近Lamb-Oseen涡旋的假设下证明了唯一性。命题1.7首次从数学上严格证明了粘性流体中点涡在边界附近的运动规律，验证了镜像涡旋方法在初始时刻的有效性。