[论文解读] Boundary trace of positive solutions of semilinear elliptic equations in Lipschitz domains

Moshe Marcus, Лаурент Верон|ArXiv.org|Jul 6, 2009

Advanced Mathematical Modeling in Engineering参考文献 19被引用 4

一句话总结

该论文证明了在有界Lipschitz区域中，形如 $-\Delta u + g(u) = 0$ 的半线性椭圆方程存在唯一正解，其中 $g(u) = |u|^{q-1}u$ 且 $q > 1$。论文引入了一种基于调和测度和Bessel能力的迹理论，证明了在多面体边界上，奇点可去当且仅当其具有零 $C_{\rho,q'}$-能力，并通过负指标Besov空间刻画了k维棱边上的‘好’测度。

ABSTRACT

We study the generalized boundary value problem for nonnegative solutions of $-Δu+g(u)=0$ in a bounded Lipschitz domain $\Gw$, when $g$ is continuous and nondecreasing. Using the harmonic measure of $\Gw$, we define a trace in the class of outer regular Borel measures. We amphasize the case where $g(u)=|u|^{q-1}u$, $q>1$. When $\Gw$ is (locally) a cone with vertex $y$, we prove sharp results of removability and characterization of singular behavior. In the general case, assuming that $\Gw$ possesses a tangent cone at every boundary point and $q$ is subcritical, we prove an existence and uniqueness result for positive solutions with arbitrary boundary trace. We obtain sharp results involving Besov spaces with negative index on k-dimensional edges and apply our results to the characterization of removable sets and good measures on the boundary of a polyhedron.

研究动机与目标

• 为有界Lipschitz区域中 $-\Delta u + g(u) = 0$ 的正解发展一种迹理论，其中 $g$ 连续且非减。
• 将光滑区域的结果推广至Lipschitz区域，特别是针对测度数据和幂非线性项 $g(u) = |u|^{q-1}u$ 的情形。
• 通过能力与Besov空间条件，刻画多面体区域边界上可去奇异集与‘好’测度的特征。
• 在亚临界 $q$ 和切锥假设下，建立具有任意正边界迹的解的存在性与唯一性。

提出的方法

• 利用与区域 $\Omega$ 相关的调和测度 $\omega$，在外部正则Borel测度类中定义边界迹。
• 通过测试函数空间 $X(\Omega) = \{\eta \in W^{1,2}_0(\Omega) : \rho^{-1}\Delta\eta \in L^\infty(\Omega)\}$ 引入弱 $L^1$ 形式化，其中 $\rho$ 是 $-\Delta$ 的第一特征函数。
• 将调和提升概念应用于k维棱边 $A$ 上的Besov空间 $B^{-s,p}(d_A)$，以分析奇异行为。
• 应用边界Harnack原理与Keller–Osserman估计，控制边界点附近的增长并推导Harnack型不等式。
• 通过空间 $M_{\rho,q}$ 的对偶定义容量 $C_{\rho,q'}$，该空间包含解存在的测度，将其与可去集联系起来。
• 利用Martin核与k-二面体中的可分调和函数，分析锥形区域中临界指数与可容许条件。

实验结果

研究问题

• RQ1 在Lipschitz区域中，$-\Delta u + |u|^{q-1}u = 0$ 的正解在何种条件下具有明确定义的边界迹？
• RQ2 当紧集 $K \subset \partial\Omega$ 在幂非线性项 $g(u) = |u|^{q-1}u$ 下可去时，其条件为何？
• RQ3 k维棱边上的负指标Besov空间如何与多面体区域中奇异集的能力相关联？
• RQ4 在 $q$ 和区域 $\Omega$ 的几何结构满足何种精确条件时，具有任意正边界迹的解存在且唯一？
• RQ5 在锥形区域中，调和测度与Martin核如何决定解呈现奇异行为的临界 $q$ 值？

主要发现

• 对于具有每一点切锥的有界Lipschitz区域 $\Omega$ 且 $q$ 亚临界的情形，存在唯一正解，其边界迹在外部正则Borel测度意义下为任意正边界迹。
• 紧集 $K \subset \partial\Omega$ 可去当且仅当对所有 $k,j$ 有 $C_{s(k,j),q'}(K \cap L_{k,j}) = 0$，其中 $s(k,j)$ 由k维棱边 $L_{k,j}$ 的几何结构定义。
• 测度 $\mu \in \mathfrak{M}(\partial\Omega)$ 为 $q$-好测度当且仅当其不赋予 $C_{\rho,q'}$-能力为零的集合正测度，且 $C_{\rho,q'}(K) = 0$ 当且仅当 $M_{\rho,q}(K) = \{0\}$。
• 在顶点为 $y$ 的锥形区域中，获得了关于可去性与奇异行为的精确结果，临界 $q$ 值由几何结构与Martin核决定。
• 边界Harnack不等式在Lipschitz区域中一致成立：对在 $\partial\Omega$ 的相对开子集上消失的正解，有 $c^{-1} \frac{u_1(z')}{u_1(z)} \leq \frac{u_2(z')}{u_2(z)} \leq c \frac{u_1(z')}{u_1(z)}$，其中常数 $c$ 仅依赖于 $N$、$q$ 与Lipschitz特征。
• 在k维棱边 $A$ 上，$B^{-s,p}(d_A)$ 的调和提升是良定义的，并通过能力与可积性刻画了解的奇异行为。