[论文解读] Existence and convergence of solutions for nonlinear biharmonic equations on graphs

Xiaoli Han, Mengqiu Shao+1 more|arXiv (Cornell University)|Aug 12, 2019

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

一句话总结

本文通过离散Sobolev空间中的变分方法，建立了在局部有限图上非线性双调和方程的基态解的存在性。证明了当参数 λ → ∞ 时，解在势阱 Ω = {x ∈ V : a(x) = 0} 上强收敛于一个基态解，该解满足有限子图上的极限Dirichlet问题。

ABSTRACT

In this paper, we first prove some propositions of Sobolev spaces defined on a locally finite graph $G=(V,E)$, which are fundamental when dealing with equations on graphs under the variational framework. Then we consider a nonlinear biharmonic equation $$ Δ^{2} u -Δu+(λa+1)u= |u|^{p-2}u $$ on $G=(V,E)$. Under some suitable assumptions, we prove that for any $λ>1$ and $p>2$, the equation admits a ground state solution $u_λ$. Moreover, we prove that as $λ ightarrow +\infty$, the solutions $u_λ$ converge to a solution of the equation \begin{align*} \begin{cases} Δ^{2}u -Δu+u = |u|^{p-2}u, & ext{in}\ \ Ω, u=0, & ext{on}\ \ \partialΩ, \end{cases} \end{align*} where $Ω=\{x\in V: a(x)=0\}$ is the potential well and $\partialΩ$ denotes the the boundary of $Ω$.

研究动机与目标

• 为在局部有限图上进行PDE的变分分析，建立Sobolev空间的基础性质。
• 证明在图上带有势项的非线性双调和方程存在基态解。
• 分析当耦合参数 λ → ∞ 时解的渐近行为。
• 证明解在势阱 Ω = {x ∈ V : a(x) = 0} 上集中，并收敛于Ω上极限Dirichlet问题的解。
• 将连续情形（如 R^N）中的已知结果推广至离散图，特别是针对四阶方程。

提出的方法

• 使用离散Laplacian和涉及 Δu 与 ∇u 的Sobolev型范数，在图上定义变分框架。
• 引入能量泛函 J_λ(u) = ½∫(|Δu|² + |∇u|² + (λa+1)|u|²)dμ − 1/p∫|u|ᵖdμ，其中 λ > 1 且 p > 2。
• 利用Nehari流形法寻找对应于基态解的 J_λ 的临界点。
• 证明在 W²²(V) 中 u_λ 弱收敛，且在 W²²(Ω) 中当 λ → ∞ 时强收敛。
• 应用紧致性论证与能量估计，证明极限 u₀ 满足在 Ω 上的极限方程。
• 应用适配于图的集中-紧致性原理，分析极限行为，并证明在能量范数下的收敛性。

实验结果

研究问题

• RQ1 在何种条件下，局部有限图上的非线性双调和方程允许存在基态解？
• RQ2 在方程 Δ²u − Δu + (λa + 1)u = |u|ᵖ⁻²u 中，当参数 λ → ∞ 时，解的行为如何？
• RQ3 解序列 u_λ 是否收敛于势阱 Ω = {x ∈ V : a(x) = 0} 上的极限方程的解？
• RQ4 能否在离散图上严格建立解在势阱上的渐近集中性？
• RQ5 图上Sobolev空间的变分框架是否足以证明与连续情形中类似的存在性与收敛性结果？

主要发现

• 对于任意 λ > 1 且 p > 2，图 G 上的方程 Δ²u − Δu + (λa + 1)u = |u|ᵖ⁻²u 存在基态解 u_λ。
• 当 λ → ∞ 时，解 u_λ 在 W²²(Ω) 中强收敛于函数 u₀，该函数满足极限Dirichlet问题：在 Ω 中 Δ²u − Δu + u = |u|ᵖ⁻²u，且在 ∂Ω 上 u = 0。
• 极限解 u₀ 是在有界、连通且有限的子图 Ω = {x ∈ V : a(x) = 0} 上极限方程的基态解。
• 收敛在能量范数中成立：limₖ→∞‖u_λₖ − u₀‖_{E_λₖ} = 0，且 u₀ ∈ W²²(Ω)。
• 解的能量 J_λ(u_λ) 收敛于极限问题在 Ω 上的基态能量 m_Ω。
• 势阱 Ω 是有限、有界且连通的子图，确保了紧致性并支持收敛结果。