[论文解读] Attractors for damped hyperbolic equations on arbitrary unbounded domains

Martino Prizzi, Krzysztof P. Rybakowski|ArXiv.org|Jan 13, 2006

Stability and Controllability of Differential Equations参考文献 18被引用 4

一句话总结

该论文在任意无界区域上建立了阻尼双曲方程全局吸引子的存在性，即使在系数或区域边界无光滑性假设的情况下也成立。通过在加权能量空间中使用尾部估计和渐近紧致性，证明了在非线性项满足临界或次临界增长条件以及势能项和阻尼项具有耗散性结构假设下，相空间 $ H^1_0(\bar{\Omega}) \times L^2(\Omega) $ 中存在紧致的全局吸引子。

ABSTRACT

We prove existence of global attractors for damped hyperbolic equations of the form $$\aligned \eps u_{tt}+α(x) u_t+β(x)u- \sum_{ij}(a_{ij}(x) u_{x_j})_{x_i}&=f(x,u),\quad x\in Ω, t\in[0,\infty[, u(x,t)&=0,\quad x\in \partial Ω, t\in[,\infty[.\endaligned$$ on an unbounded domain $Ω$, without smoothness assumptions on $β(\cdot)$, $a_{ij}(\cdot)$, $f(\cdot,u)$ and $\partialΩ$, and $f(x,\cdot)$ having critical or subcritical growth.

研究动机与目标

• 在任意无界区域上建立阻尼双曲方程全局吸引子的存在性，包括具有不规则系数和边界的区域。
• 将全局吸引子理论扩展至有界区域之外，现有结果多局限于光滑几何和系数的区域。
• 处理在Sobolev嵌入意义下具有临界或次临界增长的非线性项，即使非线性项不具有光滑依赖性。
• 通过尾部估计和加权空间中的能量衰减，证明半流的渐近紧致性，克服无界区域中紧嵌入失效的问题。
• 通过放宽对势能 $ \beta(x) $、阻尼 $ \alpha(x) $ 和非线性项 $ f(x,u) $ 的假设，统一并推广先前结果，包括临界增长情形。

提出的方法

• 在相空间 $ Z = H^1_0(\Omega) \times L^2(\Omega) $ 中将阻尼波动方程表述为一阶系统，将 $ u $ 和 $ v = u_t $ 视为状态变量。
• 使用包含能量和势能项的Lyapunov型泛函 $ V^*(z) $ 控制解的增长并推导耗散性。
• 对解的空间衰减应用尾部估计，以证明渐近紧致性，尤其在标准紧致性失效的无界区域中。
• 对于次临界非线性项，通过尾部估计和弱收敛性论证，在 $ Z $ 中建立渐近紧致性。
• 对于临界非线性项，先在 $ Y = L^2(\Omega) \times H^{-1}(\Omega) $ 中证明渐近紧致性，再通过Ball和Raugel的方法将其转移到 $ Z $。
• 采用耗散性条件 $ f(x,u)u - \bar{\mu}F(x,u) \leq c(x) $，其中 $ c \in L^1(\Omega) $，以确保能量增长有界并实现一致吸收。

实验结果

研究问题

• RQ1 在无界区域上，阻尼双曲方程的全局吸引子是否可以在不假设区域或系数光滑性的前提下存在？
• RQ2 在 $ H^1_0(\Omega) \hookrightarrow L^2(\Omega) $ 不是紧嵌入的无界区域中，如何建立渐近紧致性？
• RQ3 对非线性项 $ f(x,u) $（包括临界增长）需满足何种条件，才能保证全局吸引子的存在？
• RQ4 是否可以利用耗散性条件 $ f(x,u)u - \bar{\mu}F(x,u) \leq c(x) $，其中 $ c \in L^1(\Omega) $，来控制无界区域上的长期动力行为？
• RQ5 是否可能将全局吸引子理论扩展至 $ \beta(x) \in L^p_{\text{loc}}({\mathbb{R}}^N) $，$ p > \max(1, N/2) $ 的情形，而无需假设 $ \beta \geq 0 $？

主要发现

• 在给定假设下，阻尼双曲方程生成的半流 $ \pi_f $ 在 $ Z = H^1_0(\Omega) \times L^2(\Omega) $ 中是渐近紧致的。
• 对于次临界非线性项，通过尾部估计和弱收敛性论证，可直接在 $ Z $ 中建立渐近紧致性。
• 对于临界非线性项，先在 $ Y = L^2(\Omega) \times H^{-1}(\Omega) $ 中证明渐近紧致性，再通过Ball和Raugel的方法将其提升至 $ Z $。
• 在 $ Z $ 中保证了全局吸引子的存在性，该吸引子是紧致的，并在 $ Z $ 的拓扑下吸引所有有界集。
• 吸引子在 $ H^1_0(\Omega) \times L^2(\Omega) $ 中有界，且对 $ Z $ 中所有有界初始数据集一致。
• 即使 $ \partial\Omega $ 不规则、$ \beta(x) $ 不光滑，且 $ f(x,u) $ 具有临界或次临界增长，结果依然成立。