[论文解读] An alternative theorem for gradient systems

Biagio Ricceri|arXiv (Cornell University)|Feb 4, 2020

Nonlinear Partial Differential Equations参考文献 25被引用 4

一句话总结

本文在巴拿赫空间中建立了梯度系统的替代性定理，证明了对于 $ C^1 $ 泛函 $ \Phi: X \times Y \to \mathbb{R} $，要么存在一个鞍点，要么对于每个稠密凸子集 $ S \subseteq Y $，存在 $ \tilde{y} \in S $ 使得 $ \Phi(\cdot, \tilde{y}) $ 在 $ X $ 中至少有三个临界点，其中两个为全局极小值。该结果被应用于非合作椭圆系统，确保在强制性和凸性条件下存在非平凡解。

ABSTRACT

In this paper, given two Banach spaces $X, Y$ and a $C^1$ functional $Φ:X imes Y o {\bf R}$, under general assumptions, we show that either $Φ$ has a saddle-point in $X imes Y$ or, for each convex and dense set $S\subseteq Y$, there is some $ ilde y\in S$ such that $Φ(\cdot, ilde y)$ has at least three critical points in $X$, two of which are global minima. Also, an application to non-cooperative elliptic systems is presented.

研究动机与目标

• 在反射巴拿赫空间 $ X \times Y $ 上，为 $ C^1 $ 泛函建立一个通用的极小极大型替代性定理。
• 通过证明：要么存在鞍点，要么对某些 $ y \in Y $，泛函 $ \Phi(\cdot, y) $ 具有多重临界点，来解决梯度系统的可解性问题。
• 将抽象的极小极大结果扩展至经典定理（如Fan-Sion）之外，特别是在非合作设定下。
• 将抽象结果应用于非合作椭圆系统，证明在 $ L^\infty(\Omega) \times L^\infty(\Omega) $ 中存在非平凡弱解。

提出的方法

• 利用弱拓扑和弱下半连续性分析 $ X \times Y $ 上上确界和下确界的紧性与实现性。
• 应用Eberlein-Smulian定理，确保极小化序列的弱序列紧性。
• 通过 $ J_x' $ 的紧性和方程 (3) 中的生长控制，验证 $ \Phi(\cdot, y) $ 的Palais-Smale条件。
• 将系统约化为泛函 $ \Phi(x,y) = \frac{1}{2}(\|x\|_X^2 - \|y\|_Y^2) - J(x,y) $，从而可应用定理1。
• 利用上确界-下确界不等式 $ \sup_Y \inf_X \Phi < \inf_X \sup_Y \Phi $ 触发替代情形。
• 应用文献[20]中的定理1.1和文献[8]中的推论1，推导出 $ \Phi(\cdot, \tilde{y}) $ 至少存在三个临界点。

实验结果

研究问题

• RQ1 在反射巴拿赫空间 $ X, Y $ 上，$ C^1 $ 泛函 $ \Phi: X \times Y \to \mathbb{R} $ 在何种条件下存在鞍点，满足 $ \Phi(x^*,y^*) = \inf_X \Phi(\cdot,y^*) = \sup_Y \Phi(x^*,\cdot) $？
• RQ2 当此类鞍点不存在时，是否意味着对某个 $ \tilde{y} \in S $，有 $ \Phi(\cdot, \tilde{y}) $ 至少有三个临界点，且其中两个为全局极小值？
• RQ3 该抽象替代性定理能否应用于非合作椭圆系统，以保证存在非平凡解？
• RQ4 在稠密凸子集 $ S \subseteq Y $ 中，何种条件可确保泛函 $ \Phi(\cdot, y) $ 是强制的且满足Palais-Smale条件？
• RQ5 如何利用该抽象结果证明非合作椭圆PDE系统中 $ L^\infty $ 解的存在性？

主要发现

• 要么存在一个鞍点 $ (x^*, y^*) $ 满足 $ \Phi(x^*,y^*) = \inf_X \Phi(\cdot,y^*) = \sup_Y \Phi(x^*,\cdot) $，要么对每个稠密凸子集 $ T \subseteq S $，存在 $ \tilde{y} \in T $ 使得 $ \Phi(\cdot, \tilde{y}) $ 在 $ X $ 中至少有三个临界点，其中两个为全局极小值。
• 当 $ X, Y $ 为希尔伯特空间时，若 $ J $ 在 $ y $ 上满足拟凸性和强制性，且 $ J_x' $ 紧致、具有次二次增长，则要么系统 $ x = J_x'(x,y), y = -J_y'(x,y) $ 存在具有鞍点性质的解，要么 $ \Phi(\cdot, \tilde{y}) $ 存在多个临界点。
• 在非合作椭圆系统中，若 $ H(x,u,v) $ 满足 $ H(x,0,0) = 0 $，具有局部次二次增长，且 $ H_u \geq 0 $，则当 $ \lambda > \lambda^* $ 时，存在非平凡弱解于 $ L^\infty(\Omega) \times L^\infty(\Omega) $。
• 当 $ H(x,u,v) = \alpha(x)(F(u)G(v) - F(0)G(0)) $，其中 $ F $ 非负、递增、次二次，$ G $ 凸且正定，则当 $ \lambda > \lambda_\alpha^* $ 时，存在非平凡解于 $ L^\infty(\Omega) \times L^\infty(\Omega) $。
• 解 $ (u^*, v^*) $ 非零且属于 $ L^\infty(\Omega) \times L^\infty(\Omega) $，若 $ v^* = 0 $，则 $ u^* \neq 0 $，这是由于能量泛函的下确界严格递减所致。
• 该结果依赖于 $ u \mapsto H_u(x,u,v)/u $ 在 $ (0,\infty) $ 上的严格递减性，确保对固定 $ v $，非零解唯一；结合抽象定理，可推出非平凡解的存在性。