[论文解读] Existence and stability of solutions of general semilinear elliptic equations with measure data

Laurent Véron|arXiv (Cornell University)|Jul 18, 2012

Advanced Mathematical Modeling in Engineering参考文献 7被引用 9

一句话总结

本文为一般半线性椭圆方程 $-Lu + g(x,u) = \omega$ 的解建立了统一的存在性与稳定性理论，其中 $L$ 为一致椭圆型算子，$g$ 满足新提出的 $G_{h,\Psi}$ 类中的可积性条件。关键贡献是通过 $\Psi$-函数框架推广了次临界性条件，确保在测度弱收敛下解的存在性与弱稳定性。

ABSTRACT

We study existence and stability for solutions of $Lu+g(x; u) = \\omega$ in the closure of open set $\\Omega$ where L is a second order elliptic operator, $g$ a Caratheodory function and $\\omega$ a measure in $\\bar\\Omega$. We present a uni ed theory of the Dirichlet problem and the Poisson equation. We prove the stability of the problem with respect to weak convergence of the data.

研究动机与目标

• 将 Dirichlet 问题与具有测度数据的 Poisson 方程的处理统一于一个框架之中。
• 将现有非线性项 $g$ 的次临界性条件推广为基于 $\Psi$-函数的更广泛可积性准则。
• 在一般椭圆算子下，建立测度数据弱收敛时解的弱稳定性，扩展先前结果。
• 通过 $\Delta_2$-条件与 Marcinkiewicz 空间估计，自然地将次临界性推广至超临界情形。

提出的方法

• 引入 Carathéodory 函数类 $G_{h,\Psi}$，其满足涉及 Young 函数 $\Psi$ 与权函数 $h$ 的广义可积性条件。
• 利用 Green 算子 $\mathbb{G}$ 定义极大函数 $\overline{\mathbb{G}}[|\omega|]$，并为测度数据定义范数 $C^{\Psi}_{\rho}(\overline{\mathbb{G}}[|\omega|])$。
• 应用 Brezis 型估计，控制 $L^1_\rho(\Omega)$-空间中解及其非线性项的增长。
• 通过 $\Psi$-次水平集与 $\Psi$ 的 $\Delta_2$-条件，建立 $g \circ u_n$ 的一致可积性。
• 在 $C_1(\overline{\Omega})$-对偶空间中控制测度弱收敛 $\omega_n \rightharpoonup \omega$，并控制 $C^{\Psi}_{\rho}(\overline{\mathbb{G}}[|\omega_n|])$。
• 通过结合一致可积性与单调性论证，证明解 $u_n \to u$ a.e. 且在 $L^1(\Omega)$ 中收敛。

实验结果

研究问题

• RQ1 如何在 $\Omega$ 与 $\partial\Omega$ 上的测度数据之间，统一处理 $-Lu + g(x,u) = \omega$ 解的存在性与稳定性？
• RQ2 对 $g$ 的何种广义可积性条件可确保在经典次临界性假设之外仍存在解与稳定性？
• RQ3 稳定性结果能否推广至一般一致椭圆型算子 $L$ 与 $\overline{\Omega}$ 上的测度数据？
• RQ4 $\Psi$ 的 $\Delta_2$-条件在保证 $g \circ u_n$ 一致可积性中起何作用？
• RQ5 新框架 $G_{h,\Psi}$ 如何将经典次临界性条件推广至超临界情形？

主要发现

• 若 $g \in G_{h,\Psi}$ 且满足 $\Delta_2$-条件，则对所有 $\omega \in B^{\Psi}_{h}(\overline{\Omega})$，方程 $-Lu + g(x,u) = \omega$ 的解存在。
• 弱稳定性成立：若 $\omega_n \rightharpoonup \omega$ 在 $C_1(\overline{\Omega})^*$ 中，且 $C^{\Psi}_{\rho}(\overline{\mathbb{G}}[|\omega_n|])$ 一致有界，则 $u_n \to u$ 在 $L^1(\Omega)$ 中且 a.e. 在 $\Omega$ 中成立。
• 在所述假设下，方程 $-Lu_n + g \circ u_n = \omega_n$ 的解 $u_n$ 满足 $g \circ u_n \in L^1_\rho(\Omega)$，且关于 $n$ 一致。
• $g \circ u_n$ 在 $L^1_\rho(\Omega)$ 中的一致可积性由 $C^{\Psi}_{\rho}(\overline{\mathbb{G}}[|\omega_n|])$ 的有界性与 $\Psi$ 的 $\Delta_2$-条件保证。
• 该框架推广了先前结果：当 $\Psi(t) = t^{\alpha}$ 时，恢复了文献 [13] 中的 $\alpha$-次临界性条件；当 $\Psi(t) = t^{\beta}$ 时，推广至变系数非线性项。
• 对于在 $\partial\Omega$ 上具有奇异部分的测度 $\omega_n$，若 $\omega_{n,s} \in B^{\Psi}_{h}(\overline{\Omega})$ 且 $C^{\Psi}_{\rho}(\overline{\mathbb{G}}[|\omega_{n,s}|])$ 一致有界，则稳定性结果仍成立。