[论文解读] Ground states of elliptic problems involving non homogeneous operators

Giovany M. Figueiredo, Humberto Ramos Quoirin|arXiv (Cornell University)|Mar 25, 2015

Nonlinear Partial Differential Equations参考文献 24被引用 3

一句话总结

本文通过广义Nehari流形方法，建立了具有非齐次算子的椭圆问题的基态存在性，证明该方法在泛函主部非齐次时依然适用。关键贡献在于将变分方法推广至非齐次设定，证明了至少一个非平凡非负基态的存在性，以及三类涉及变指数和非齐次算子的边值问题存在无穷多对解。

ABSTRACT

We investigate the existence of ground states for functionals with nonhomogenous principal part. Roughly speaking, we show that the Nehari manifold method requires no homogeinity on the principal part of a functional. This result is motivated by some elliptic problems involving nonhomogeneous operators. As an application, we prove the existence of a ground state and infinitely many solutions for three classes of boundary value problems.

研究动机与目标

• 将Nehari流形方法从齐次设定推广至主部非齐次的泛函。
• 建立涉及非齐次算子（如变指数或非标准增长）的椭圆问题的基态存在性。
• 为具有非齐次算子的问题提供统一的变分框架，包括p-Laplacian型和变指数算子。
• 证明三类边值问题至少存在一个非平凡非负基态及无穷多对解。
• 将经典变分设定中关于基态的存在性结果推广至非齐次及非光滑增长条件。

提出的方法

• 本文在泛函Φ = I₀ - I上应用Nehari流形方法，其中I₀是Banach空间X上的非齐次、一致凸且C¹泛函，I是具有特定渐近和单调性性质的C¹泛函。
• 证明泛函Φ满足几何条件(A2)和(A3)：对每个w ∈ S（单位球面），映射t ↦ Φ(tw)在t_w > 0处有唯一最大值，且t_w在零点附近有正下界，并在紧子集上有界。
• 该方法依赖于证明Nehari流形𝒩是X \ {0}中的C¹子流形，且Φ在𝒩上的最小化可得到Φ的临界点。
• 分析利用了Φ及其导数的弱下半连续性，以及嵌入D₀¹,𝐩(Ω) ↪ Lσ(Ω)（σ ∈ [1, p*)）的紧性，从而在Palais-Smale序列中实现收敛性论证。
• 应用广义Poincaré型不等式，并利用I₀满足类似齐次性的下界：当t > 1且||u|| ≤ 1时，有I₀(tu) ≥ C t^{p₁} ||u||^{p_N}。
• 证明利用了s ↦ I′(su)/s^{p-1}的单调性，以及在弱紧集上I(su)/s^p → ∞（当s → ∞时）的统一收敛性，从而确保Nehari流形最小化所需的几何结构。

实验结果

研究问题

• RQ1 Nehari流形方法能否推广至主部非齐次的泛函，而无需能量泛函具有齐次性？
• RQ2 对于涉及非齐次算子（如变指数p(x)-Laplacian或非标准增长算子）的椭圆问题，基态解的存在性是否依然成立？
• RQ3 在非齐次泛函I₀和非线性项f满足何种条件下，泛函Φ = I₀ - I在Nehari流形上存在最小化元，从而产生临界点？
• RQ4 当泛函为偶函数时，该方法能否用于证明无穷多组解的存在性，即使在缺乏齐次性时？
• RQ5 非线性项f和算子I₀需满足何种结构假设，才能保证Nehari流形方法所需的几何条件(A2)和(A3)成立？

主要发现

• Nehari流形方法被推广至非齐次泛函，证明即使泛函主部非正齐次，基态依然存在。
• 对于问题−div(A(|∇u|^{p−2})∇u) = f(u)在Ω中且u ∈ W₀¹,p(Ω)，在f满足适当的增长与单调性条件时，存在非平凡非负基态解。
• 当泛函为偶函数时，通过在Nehari流形上应用对称山路定理，证明了存在无穷多对解。
• 即使I₀非齐次，只要其满足I₀(tu) ≥ C t^{p₁} ||u||^{p_N}（当t > 1且||u|| ≤ 1时），泛函Φ仍满足几何条件(A2)和(A3)。
• 本文证明Nehari流形是C¹子流形，且Φ在𝒩上的最小化可得到临界点，即基态解。
• 通过弱下半连续性与广义Poincaré不等式，建立了Palais-Smale序列的收敛性，确保弱收敛蕴含能量空间中的强收敛。