AI 中文总结
研究一维、二维和三维 Kuramoto--Sivashinsky 方程在余维一约束下的全局适定性；利用约束保持 L^2 范数，在一维和二维建立全局强解，并揭示三维的维度障碍。
AI 中文摘要
我们研究一维、二维和三维空间中的 Kuramoto--Sivashinsky (KS) 方程，并施加一个余维一约束。该约束保持解的 \(L^2\) 范数，从而提供一个一致的先验界，该界在更高阶能量估计中起核心作用。在一维空间中，我们通过 Fourier--Galerkin 逼近和紧性论证建立全局适定性。在二维和三维空间中，我们首先利用解析半群理论和 Banach 不动点定理证明局部强解的存在性和唯一性。在二维空间中，保持的 \(L^2\) 范数与 Agmon 不等式及适当的更高阶能量估计相结合，使我们能够控制非线性项并获得全局时间先验界。因此，对于任意足够正则的初始数据，我们建立了全局强解的存在性和唯一性，无需任何小性假设。这为受约束的二维 KS 方程提供了全局适定性结果，而相应的无约束问题中，强解的全局适定性通常仍是开放的。在三维空间中，尽管约束产生一致的 \(L^2\) 界，但可用的插值和 Agmon 估计不足以封闭更高阶能量估计。这识别出一个真正的维度依赖障碍，阻碍了将全局正则性论证推广到三维。
英文摘要
We study the Kuramoto--Sivashinsky (KS) equation in one, two, and three spatial dimensions subject to a codimension-one constraint. The constraint preserves the \(L^2\)-norm of the solution and consequently provides a uniform a priori bound that plays a central role in the higher-order energy estimates. In one spatial dimension, we establish global well-posedness by means of a Fourier--Galerkin approximation and compactness arguments. In two and three dimensions, we first prove the existence and uniqueness of local strong solutions using analytic semigroup theory and the Banach fixed-point theorem. In two dimensions, the preserved \(L^2\)-norm, combined with the Agmon inequality and suitable higher-order energy estimates, allows us to control the nonlinear terms and obtain global-in-time a priori bounds. Consequently, we establish the existence and uniqueness of global strong solutions for arbitrary sufficiently regular initial data, without any smallness assumption. This provides a global well-posedness result for the constrained two-dimensional KS equation, in contrast with the corresponding unconstrained problem, for which global well-posedness of strong solutions remains open in general. In three dimensions, although the constraint yields a uniform \(L^2\)-bound, the available interpolation and Agmon estimates are insufficient to close the higher-order energy estimate. This identifies a genuine dimension-dependent obstruction to extending the global regularity argument to three dimensions.
