[论文解读] A Paneitz-type problem in pierced domains

Salomón Alarcón, Angela Pistoia|arXiv (Cornell University)|Jul 15, 2013

Nonlinear Partial Differential Equations参考文献 12被引用 6

一句话总结

本文研究了一个在具有缩小孔洞的区域中带临界Sobolev指数的双调和方程，构造了在孔洞半径趋于零时集中于孔洞中心的正解。通过基于泡态投影和约化方法的摄动方法，证明了在孔洞中心处爆破解的存在性，并通过投影算子和能量泛函展开的详细估计，得到了精确的渐近剖分。

ABSTRACT

We study the critical problem {equation} {{array}{ll} Δ^{2}u=u^{\frac{N+4}{N-4}} & {in}Ω\setminus \bar{B(ξ_0,\varepsilon)},\medskip u>0&{in}Ω\setminus \bar{B(ξ_0,\varepsilon)},\medskip u=Δu=0 & {on}\partial (Ω\setminus \bar{B(ξ_0,\varepsilon)}),{array}. ag{P$_\varepsilon$} {equation} where $Ω$ is an open bounded domain in $\mathbb{R}^N$, $N\ge5$, $ξ_0\inΩ$ and $B(ξ_0,\varepsilon)$ is the ball centered at $ξ_0$ with radius $\varepsilon>0$ small enough. We construct solutions of (P$_\varepsilon$) blowing-up at the center of the hole as the size of the hole goes to zero.

研究动机与目标

• 理解在小孔洞的区域中，临界双调和方程正解的渐近行为，当孔洞缩为一点时。
• 通过构造具有显式渐近剖分的解，克服拓扑存在性结果的局限性。
• 发展一种摄动方法，即使集中点不在定义域内，也能捕捉靠近孔洞中心的集中动力学。
• 为具一个或多个小孔洞的区域中生成多重解（正解与变号解）建立一个框架。

提出的方法

• 使用泡态函数 $ U_{\nu,\tau}(x) = \alpha_N \left( \frac{\mu}{\mu^2 + |x - \xi|^2} \right)^{\frac{N-4}{2}} $ 作为集中性的模型，其中 $ \alpha_N $ 为归一化常数。
• 应用投影算子 $ P $ 将泡态映射到Sobolev空间 $ H^2(\Omega_\varepsilon) \cap H_0^1(\Omega_\varepsilon) $，以确保在孔洞边界和区域边界上满足Navier边界条件。
• 采用约化方法，通过分析约化能量泛函 $ J_\varepsilon $ 及其临界点，将无穷维问题约化为有限维问题。
• 对投影 $ PU_{\mu,\xi} $ 进行详细的渐近展开，通过在孔洞附近的缩放区域内进行爆破分析来估计误差项。
• 利用 $ \mathbb{R}^N $ 中双调和算子和 $ -\Delta $ 的格林函数，估计泡态与边界层项之间的相互作用。
• 通过证明极限泛函 $ \Psi $ 的鞍型临界点的非退化性与稳定性，确立了约化能量泛函存在临界点。

实验结果

研究问题

• RQ1 当孔洞半径趋于零时，临界双调和方程在具有缩小孔洞的区域中的解如何表现？
• RQ2 即使集中点位于定义域之外，能否构造一种摄动方法来描述解在孔洞中心附近的集中剖分？
• RQ3 解的精确爆破速率如何依赖于孔洞尺寸 $ \varepsilon $，其在维度 $ N \geq 5 $ 下的依赖关系是怎样的？
• RQ4 如何分析约化能量泛函以通过临界点理论证明解的存在性？
• RQ5 泡态的权重 $ \mu_\varepsilon $ 与中心 $ \xi_\varepsilon $ 在 $ \varepsilon \to 0 $ 时如何决定解的剖分结构？

主要发现

• 对所有充分小的 $ \varepsilon > 0 $，存在解 $ u_\varepsilon $，其可分解为 $ u_\varepsilon = P U_{\mu_\varepsilon, \xi_\varepsilon} + \phi_\varepsilon $，其中 $ \phi_\varepsilon $ 为余项。
• 泡态权重满足 $ \mu_\varepsilon = \varepsilon^{\frac{1}{2}(\frac{N+4}{N-3})} d_\varepsilon $，且 $ d_\varepsilon \to d > 0 $，表明其爆破速率与维度相关。
• 泡态中心满足 $ \xi_\varepsilon = \xi_0 + \mu_\varepsilon \tau_\varepsilon $，且 $ \tau_\varepsilon \to \tau \in \mathbb{R}^N $，表明集中点相对于孔洞中心存在一个微小向量偏移。
• 约化能量泛函 $ J_\varepsilon $ 具有一个非退化的鞍型临界点，且在 $ C^1 $-扰动下稳定，通过Lyapunov-Schmidt约化确保了解的存在性。
• 投影与能量展开中的误差估计是精确的，余项被控制为 $ o\left( \frac{\varepsilon^{N-2}}{\mu^{N-2}} \right) $，验证了渐近逼近的有效性。
• 极限泛函 $ \Psi $ 的临界点被显式识别为 $ \left( -\frac{(N-2)b_N \Delta U(0)U(0)}{(N-4)c_N H(0,0)}, 0 \right) $，证实了具有所需集中结构的解的存在性。