[论文解读] A conditional well-posedness result for the bidirectional Whitham equation

Mats Ehrnström, Long Pei+1 more|arXiv (Cornell University)|Aug 15, 2017

Advanced Mathematical Physics Problems被引用 11

一句话总结

本文在实直线和周期域上的经典 Sobolev 空间中建立了双向 Whitham 方程的局部适定性，通过表面起伏的平方根变换对系统进行对称化。关键结果是：当初始表面起伏在零处有正下界时，适定性成立，从而保证对称化有效，且解在某个正时间区间内保持经典解形式。

ABSTRACT

We consider the initial-value problem for the bidirectional Whitham equation, a system which combines the full two-way dispersion relation from the incompressible Euler equations with a canonical shallow-water nonlinearity. We prove local well-posedness in classical Sobolev spaces in the localised as well as the periodic case, using a square-root type transformation to symmetrise the system. The existence theory requires a non-vanishing surface elevation, indicating that the problem is ill-posed for more general initial data.

研究动机与目标

• 在实直线和周期域上的经典 Sobolev 空间中建立双向 Whitham 方程的局部适定性。
• 解决由不可压缩 Euler 方程导出的双向波系统中弱色散和非局部性带来的数学挑战。
• 证明当初始数据的表面起伏趋于零时，该问题不适定，凸显标准 Sobolev 框架的局限性。
• 提出一种基于变换 $\eta \mapsto \sqrt{\eta}$ 的对称化技术，以促进能量估计并确保对称化算子的正定性。
• 将存在性理论扩展至局域化和周期化情形，重点关注背景表面起伏在控制解行为中的作用。

提出的方法

• 对双向 Whitham 系统应用平方根变换 $\eta \mapsto \sqrt{\eta}$ 以实现对称化，将其转化为适合能量估计的形式。
• 在经典 Sobolev 空间 $H^N(\mathbb{X})$ 中使用标准能量方法，其中 $\mathbb{X} = \mathbb{R}$ 或 $\mathbb{T}$，且要求 $N \geq 2$。
• 在周期域上使用截断算子 $\mathcal{J}_\varepsilon$ 进行近似以建立正则性，给出 Sobolev 范数及截断算子之间差值的估计。
• 利用傅里叶乘子算子 $\mathcal{K}$，其定义为 $\widehat{\mathcal{K}v}(\xi) = \frac{\tanh(\xi)}{\xi} \hat{v}(\xi)$，及其周期对应算子 $K_p$，其傅里叶系数快速衰减。
• 在局域化和周期化情形下建立温和乘积估计与插值不等式，以控制能量估计中的非线性项。
• 使用固定背景 $\bar{\eta} > 0$ 定义变换变量 $\sqrt{\eta} - \sqrt{\bar{\eta}}$ 的度量，确保解空间中的一致有界性与连续性。

实验结果

研究问题

• RQ1 在何种条件下，双向 Whitham 方程在经典 Sobolev 空间中是局部适定的？
• RQ2 对称化的选择，特别是平方根变换 $\eta \mapsto \sqrt{\eta}$，如何影响系统适定性的分析？
• RQ3 为何要求 $\inf \eta_0 > 0$ 是经典解存在的必要条件？这又对系统在零或接近零表面起伏时的不适定性意味着什么？
• RQ4 能量方法能否成功应用于具有非局部色散和非线性耦合的完全色散双向浅水系统？
• RQ5 分析技术与估计从局域化情形向周期化情形的推广如何实现？需要进行哪些修改？

主要发现

• 在 $N \geq 2$ 时，双向 Whitham 方程在经典 Sobolev 空间 $H^N(\mathbb{X})$ 中是局部适定的，前提是初始表面起伏 $\eta_0$ 满足 $\inf \eta_0 > 0$。
• 变换 $\eta \mapsto \sqrt{\eta}$ 实现了系统的对称化，这对推导能量估计以及确保对称化算子正定至关重要。
• 适定性在局域化情形（$\mathbb{R}$）和周期化情形（$\mathbb{T}$）中均成立，其中周期情形依赖于周期核 $K_p$ 的傅里叶系数快速衰减。
• 解在某个正时间 $T > 0$ 内存在，且在 $C([0,T]; H^N) \cap C^1([0,T]; H^{N-1})$ 拓扑下关于初始数据连续依赖于变换后的变量。
• 要求 $\inf \eta_0 > 0$ 是必不可少的：当初始数据的表面起伏趋于零时，存在性理论失效，表明此类情况下系统不适定。
• 基于截断算子的逼近方法及周期域上的范数估计，证实了关键分析工具——温和乘积估计与插值不等式——在周期情形下可统一控制地推广。