[论文解读] An initial-boundary value problem in a strip for a two-dimensional equation of Zakharov-Kuznetsov type

Andrei V. Faminskii|arXiv (Cornell University)|Dec 16, 2013

Advanced Mathematical Physics Problems参考文献 15被引用 7

一句话总结

本文在条带区域中针对具有齐次 Dirichlet 边界条件的二维 Zakharov-Kuznetsov (ZK) 方程，建立了弱解的全局存在性、唯一性以及长时间衰减性，其中包含一般退化或非退化的抛物型阻尼项。关键贡献在于，即使原始 ZK 方程本身缺乏内在耗散性，也证明了在各种阻尼条件下解在加权 $ L^2 $-范数下的指数衰减。

ABSTRACT

An initial-boundary value problem in a strip with homogeneous Diriclet boundary conditions for two-dimensional generalized Zakharov-Kuznetsov equation is considered. In particular, dissipative and absorbing degenerate terms can be supplemented to the original Zakharov-Kuznetsov equation. Results on global existence, uniqueness and long-time decay of weak silutions are established.

研究动机与目标

• 建立在条带区域中具有 Dirichlet 边界条件的广义 ZK 方程初值-边值问题弱解的全局存在性与唯一性。
• 分析人工阻尼项与吸收项在原始 ZK 方程缺乏防止衰减的守恒律时，对确保解长时间衰减的作用。
• 通过在 $ x $-和 $ y $-方向引入退化或非退化的抛物型阻尼项，将现有关于无界区域中 ZK 方程的结果加以推广。
• 在多种阻尼配置下，证明解在加权 $ L^2 $-范数下的衰减结果，包括阻尼在 $ +\infty $、$ -\infty $ 或两者处有效的情形。
• 证明即使在 $ L^2 $ 中缺乏守恒律，也能通过利用内部耗散性与精心选取的权函数实现衰减。

提出的方法

• 在条带区域 $ \Sigma = \mathbb{R} \times (0,L) $ 中建立广义 ZK 方程的初值-边值问题，包含传播项 $ bu_x $、非线性项 $ uu_x $ 以及一般阻尼项 $ -(a_1 u_x)_x - (a_2 u_y)_y + a_0 u $。
• 使用 Galerkin 近似法，并结合精心构造的权函数 $ \psi(x) $（如 $ \rho_0(\alpha x) $、$ e^{2\alpha x} $、$ 1 + e^{2\alpha x} $ 和 $ \kappa_0(x) $）进行能量估计，以控制增长并确保衰减。
• 应用加权能量估计，推导出涉及 $ \|u\|_{L^2}^2 $ 和 $ \|Du\|_{L^2}^2 $ 的微分不等式，进而证明加权 $ L^2 $-范数下的衰减性。
• 通过在两个解之差上应用能量估计，乘以 $ 2v\psi $，并利用阻尼项的结构，证明 $ v \equiv 0 $，从而确立唯一性。
• 利用 $ a_j \in L^\infty(\Sigma) $、$ a_j \geq 0 $ 的事实，并考虑阻尼在 $ \pm\infty $ 或两者处有效的情形，推导出一致的衰减估计。
• 应用连续性方法与紧致性论证，从 Galerkin 近似中取极限，确保弱解存在于空间 $ X^{1,0} \cap L^2(0,T;H^2_+) $ 中。

实验结果

研究问题

• RQ1 当阻尼系数 $ a_0, a_1, a_2 $ 满足何种条件时，条带中二维 ZK 方程的初值-边值问题存在全局弱解？
• RQ2 即使原始 ZK 方程在 $ L^2 $ 中缺乏守恒律，是否仍可在加权 $ L^2 $-范数下建立解的指数衰减？
• RQ3 阻尼的有效位置（$ +\infty $、$ -\infty $ 或两者）如何影响解的衰减速率？
• RQ4 当存在阻尼时，条带宽度 $ L $ 是否可以为任意值，还是需要施加限制？
• RQ5 人工阻尼在多大程度上可补偿 ZK 方程中内在耗散性的缺失，以确保长时间衰减？

主要发现

• 在齐次 Dirichlet 条件下，初值-边值问题的弱解在空间 $ X^{1,0} \cap L^2(0,T;H^2_+) $ 中实现了全局存在性与唯一性。
• 当阻尼在 $ +\infty $ 处有效时，证明了在指数权 $ e^{2\alpha x} $ 或 $ \kappa_0(\alpha x) $ 下的 $ L^2 $-范数指数衰减，衰减速率为 $ \beta = c_0\alpha L^{-2}/8 $。
• 当阻尼在 $ -\infty $ 处有效时，证明了在权函数 $ \rho_0(\alpha x) $ 下的 $ L^2 $-范数指数衰减，衰减速率依赖于 $ \alpha $ 与 $ L $。
• 当阻尼在 $ \pm\infty $ 处均有效时，解在无权的 $ L^2 $-范数下实现指数衰减，衰减速率为 $ \beta = \min(\beta_+, \beta_-) $。
• 通过选择较小的 $ \alpha $ 和较大的 $ L $，衰减速率可被任意增大，前提是 $ a_j $ 满足下界条件 (1.8)。
• 当无阻尼时（即 $ a_0 = a_1 = a_2 \equiv 0 $），结果部分恢复并扩展了早期关于带幂权的弱解的研究，但除非引入阻尼，否则衰减无法保证。