[论文解读] W^{1,1}_0 minima of non coercive functionals

Lucio Boccardo, Gisella Croce+1 more|arXiv (Cornell University)|Jul 6, 2011

Advanced Mathematical Physics Problems参考文献 2被引用 2

一句话总结

本文在 $W^{1,1}_0(\Omega)$ 中建立了非强制型积分泛函的极小化子的存在性，通过引入低阶 $L^2$-范数项，在 $W^{1,1}_0$ 空间（该空间非自反）中实现强制性。关键贡献在于，在 $j$、$b$ 和 $f \in L^2(\Omega)$ 的标准假设下，证明了泛函 $J(v) = \int_\Omega \frac{j(x,\nabla v)}{(1 + b(x)|v|)^2} + \frac{1}{2}\|v\|_{L^2}^2 - \int_\Omega f v$ 在 $W^{1,1}_0(\Omega)$ 中存在极小化子，采用逼近与弱收敛技术。

ABSTRACT

We study an integral non coercive functional defined on H^1_0, proving the existence of a minimum in W^{1,1}_0.

研究动机与目标

• 在 $W^{1,1}_0(\Omega)$ 中建立非强制泛函 $J$ 的极小化子存在性，该泛函定义在 $H^1_0(\Omega)$ 上，标准直接法因 $W^{1,1}_0(\Omega)$ 的非自反性而失效。
• 通过引入低阶 $L^2$-范数项恢复 $W^{1,1}_0(\Omega)$ 上的强制性，克服直接法在该非自反空间中的失效。
• 将极小化子的存在性理论从自反索伯列夫空间推广至具有退化或奇异权函数的泛函，尤其适用于此类情形。
• 提出一种基于逼近的严格证明策略，结合截断与弱收敛技术，即使泛函在 $H^1_0(\Omega)$ 上不具强制性也适用。

提出的方法

• 通过截断数据 $f_n = T_n(f)$ 近似原泛函 $J$，并定义 $J_n(v) = \int_\Omega \frac{j(x,\nabla v)}{(1 + b(x)|v|)^2} + \frac{1}{2}\|v\|_{L^2}^2 - \int_\Omega f_n v$，该泛函在 $H^1_0(\Omega)$ 上具强制性且弱下半连续。
• 利用变分法标准方法，通过截断 $T_M(v)$ 和由能量估计导出的先验 $L^\infty$ 估计，证明每个 $J_n$ 在 $H^1_0(\Omega) \cap L^\infty(\Omega)$ 中存在极小化子 $u_n$。
• 在 $j$ 的假设 (1) 和 (2) 下，建立 $\nabla u_n$ 在 $L^2$ 和 $L^1$ 中的统一有界性，并利用 $L^2$-范数项控制增长，确保 $\{u_n\}$ 在 $W^{1,1}_0(\Omega)$ 中有界。
• 利用 $H^1_0(\Omega)$ 中的弱收敛、 a.e. 收敛及 Vitali 定理，令 $n \to \infty$ 取极限，提取出极限 $u \in W^{1,1}_0(\Omega) \cap L^2(\Omega)$。
• 利用 Egorov 定理与等度可积性，证明 $\frac{\nabla u_n}{1 + b(x)|u_n|}$ 弱收敛于 $\frac{\nabla u}{1 + b(x)|u|}$ 在 $(L^1(\Omega))^N$ 中，确保非线性项中极限的正确性。
• 利用泛函的下半连续性与逼近极限，证明极限 $u$ 在 $H^1_0(\Omega)$ 上最小化 $J$。

实验结果

研究问题

• RQ1 当标准直接法因 $W^{1,1}_0(\Omega)$ 的非自反性而失效时，是否能保证 $H^1_0(\Omega)$ 上非强制泛函的极小化子存在？
• RQ2 在 $W^{1,1}_0(\Omega)$ 上添加低阶 $L^2$-范数项是否能恢复强制性，从而在该非自反空间中保证极小化子的存在？
• RQ3 即使在 $W^{1,1}_0$ 中泛函不具弱下半连续性，是否仍可通过逼近与弱极限技术获得具有退化权 $\frac{1}{(1 + b(x)|v|)^2}$ 的泛函的极小化子？
• RQ4 在 $H^1_0(\Omega) \cap L^\infty(\Omega)$ 中的逼近极小化子 $u_n$ 的极限 $u$ 是否实际为 $W^{1,1}_0(\Omega)$ 中的极小化子，且是否在弱意义下满足欧拉-拉格朗日方程？
• RQ5 在给定假设下，是否可建立 $\frac{\nabla u_n}{1 + b(x)|u_n|}$ 在 $L^1$ 中收敛于 $\frac{\nabla u}{1 + b(x)|u|}$？

主要发现

• 存在极小化子 $u \in W^{1,1}_0(\Omega) \cap L^2(\Omega)$，使得泛函 $J(v) = \int_\Omega \frac{j(x,\nabla v)}{(1 + b(x)|v|)^2} + \frac{1}{2}\|v\|_{L^2}^2 - \int_\Omega f v$ 在 $f \in L^2(\Omega)$ 下取得最小值，尽管 $J$ 在 $H^1_0(\Omega)$ 上不具强制性。
• 由于 $L^2$-范数项的存在，泛函 $J$ 在 $W^{1,1}_0(\Omega)$ 上具强制性，该项控制了 $\|\nabla v\|_{L^1}$ 的增长，通过逼近实现紧性。
• 逼近极小化子序列 $u_n$ 满足 $\|\nabla u_n\|_{L^2} \leq \frac{1}{\sqrt{2\alpha}} \|f\|_{L^2}$，对所有 $n$ 一致成立，确保在 $H^1_0(\Omega)$ 中有界。
• 极限 $u$ 满足对所有 $k > 0$ 有 $T_k(u) \in H^1_0(\Omega)$，确认 $u$ 作为截断意义下的弱解。
• $\frac{\nabla u_n}{1 + b(x)|u_n|} \rightharpoonup \frac{\nabla u}{1 + b(x)|u|}$ 在 $(L^1(\Omega))^N$ 中弱收敛，这对非线性项中极限的传递至关重要。
• 极小化子 $u$ 满足对所有 $v \in H^1_0(\Omega)$ 有 $J(u) \leq J(v)$，从而证明了 $W^{1,1}_0(\Omega)$ 中全局极小化子的存在性。