AI 中文总结
该研究分析带L²约束的阻尼非线性波动方程，通过Faedo–Galerkin方法等证明其整体适定性，利用相关理论得到定常解性质及解的长时间收敛行为。
AI 中文摘要
我们在光滑有界区域Ω⊂ℝᵈ上，证明了带余维一约束的阻尼非线性波动方程$$\u03d1_{tt}+\u03b3 \u03d1_t-\u0394\u03d1+|\u03d1|^{p-2}\u03d1=0$$的强解的整体存在性与唯一性，其中演化过程被投影到希尔伯特流形$$\u039c = \left\{ \u03d1\in L^2(\u03a9):\\|\u03d1\\|_{L^2(\u03a9)}=1 \right\}$$的切空间上，该流形是L²(Ω)中的单位球面。我们假设当d=1,2时，p∈[2,∞)；当d≥3时，2≤p≤2(d-1)/(d-2)。通过运用Faedo–Galerkin近似方法，结合合适的先验估计和紧性论证，我们建立了该问题的整体适定性。特别地，我们证明了希尔伯特流形𝓜在流作用下是不变的，因此L²约束在整个演化过程中得以保持。利用Lusternik–Schnirelmann理论，我们证明了对应的定常问题至少存在可数多个定常解。我们进一步研究了解的长时间行为，通过调用Webb定理和Barbalat引理，证明了该约束问题的每一个解都存在一个子序列收敛到某个定常解。当初始数据充分接近对应定常问题的第一特征函数时，我们证明唯一的强解在H₀¹(Ω)中收敛到唯一的正基态解。
英文摘要
We prove the global existence and uniqueness of strong solutions to a constrained version of the damped nonlinear wave equation $$ \vartheta_{tt}+γ\vartheta_t-Δ\vartheta+|\vartheta|^{p-2}\vartheta=0 $$ on a smooth bounded domain $\varOmega\subset\mathbb{R}^d$, where the evolution is projected onto the tangent space of the Hilbert manifold $$\mathcal{M} = \left\{ \vartheta\in L^2(\varOmega):\|\vartheta\|_{L^2(\varOmega)}=1 \right\}, $$ which is the unit sphere in $L^2(\varOmega)$. We assume that $$p\in[2,\infty)\ \text{ for }\ d=1,2, \ \text{ while }\ 2\leq p\leq \frac{2(d-1)}{d-2} \ \text{ for }\ d\geq3.$$ By employing the Faedo--Galerkin approximation method, together with suitable a priori estimates and compactness arguments, we establish the global well-posedness of the problem. In particular, we show that the Hilbert manifold $\mathcal{M}$ is invariant under the flow, and hence the $L^2$-constraint is preserved throughout the evolution. Using the \emph{Lusternik--Schnirelmann theory}, we show that the corresponding stationary problem possesses at least countably many stationary solutions. We further investigate the long-time behaviour of solutions and prove that, along a subsequence, every solution of the constrained problem converges to a stationary solution by invoking \emph{Webb's theorem} and \emph{Barbalat's lemma}. When the initial data are sufficiently close to the first eigenfunction of the associated stationary problem, we show that the unique strong solution converges in $H_0^1(\varOmega)$ to the unique positive ground-state solution.
