[论文解读] Deformation from symmetry for Schrodinger equations of higher order on unbounded domains

Addolorata Salvatore, Marco Squassina|ArXiv.org|Mar 1, 2003

Advanced Mathematical Modeling in Engineering参考文献 19被引用 4

一句话总结

本文通过应用对称性破缺的挠动方法，建立了在无界区域上具有非齐次边界条件的高阶多调和薛定谔方程存在无穷多组解。研究证明，在非线性项满足适当增长条件、势能V满足谱假设的前提下，当区域具有有限测度或为整个空间时，该问题存在无穷多组解，通过加权Sobolev空间中的临界点理论与紧致性论证，将二阶结果推广至高阶算子。

ABSTRACT

By means of a perturbation method recently introduced by Bolle, we discuss the existence of infinitely many solutions for a class of perturbed symmetric higher order Schrodinger equations with non-homogeneous boundary data on unbounded domains.

研究动机与目标

• 将具有对称性破缺扰动的二阶薛定谔方程多重解结果推广至高阶多调和算子。
• 通过在势能V上施加谱条件，解决无界区域中紧致性缺失的问题，确保离散谱与紧嵌入。
• 在对称性因非零边界迹而被破坏的情况下，建立具有非齐次边界数据的高阶薛定谔方程存在无穷多组解。
• 将先前关于临界指数与增长条件的结果推广至无界区域上的高阶情形（K > 1）。
• 通过结合变分法与对称性破缺的挠动技术，为无界区域中的多重解结果提供一个框架。

提出的方法

• 应用Bolle、Ghoussoub与Tehrani近期为对称性破缺问题所发展的挠动方法。
• 在加权Sobolev空间 $X_V$ 上使用临界点理论，其中 $X_V$ 定义为算子 $A + V(x)$ 的定义域，配备范数 $\|\cdot\|_{X_V}$。
• 对 $V$ 施加条件 (V)，确保 $A + V(x)$ 的谱为离散谱，并保证紧嵌入，从而恢复Palais-Smale条件。
• 利用Gagliardo-Nirenberg不等式，将 $L^p$ 范数控制在 $X_V$-范数与特征值的范围内。
• 通过固定大球的奇性形变，定义极小极大值 $c_n = \inf_{h \in H} \sup_{h(X^n_V)} I_0$，以生成临界点。
• 使用一个变形引理，其中 $C^1$-泛函 $I_\vartheta(u) = I(\vartheta, u)$ 由 $\vartheta \in [0,1]$ 参数化，跟踪扰动下能量的变化。

实验结果

研究问题

• RQ1 能否将对称性破缺的变形方法扩展至具有非齐次边界条件的无界区域上的高阶薛定谔方程？
• RQ2 在对称性因非零边界数据而被破坏时，非线性项 $g(x,u)$ 与势能 $V(x)$ 需满足何种条件，可保证存在无穷多组解？
• RQ3 与二阶情形相比，高阶情形（$K > 1$）下的多重解临界指数如何变化？
• RQ4 在何种区域 $\Omega$ 与势能 $V$ 条件下，可于无界区域中恢复Palais-Smale条件？
• RQ5 多重解结果能否推广至 $\Omega = \mathbb{R}^N$ 且 $V \equiv 0$ 的情形？

主要发现

• 当 $\Omega$ 无界且 $|\Omega| < \infty$ 时，在条件 (g1)–(g4)、(A) 与 (V) 下，若对充分大的 $n$ 有 $\lambda_n > n^{\kappa(p,K,N,\mu)}$，其中 $\kappa(p,K,N,\mu) = \frac{2K\mu(p-2)}{(\mu-p+1)(2Kp - (p-2)N)}$，则问题存在无穷多组解。
• 当 $\phi \in L^{\mu'}(\Omega)$ 且 $\phi_j \in H^{K-j-1/2}(\partial\Omega)$ 时，边界值问题 (S_{\phi,\varphi}) 在相同的谱条件下存在无穷多组解。
• 若对所有 $j$ 有 $\phi_j = 0$，则对 $g$ 的增长限制可放宽，结果在 $\mu > 2$ 且 $2 < p < \mu+1$ 条件下成立，且当 $N > 2K$ 时要求 $p < K^*$。
• 当 $\Omega = \mathbb{R}^N$ 时，若 $V \equiv 0$ 且 $\phi = 0$，在 $g$ 满足 (g1)–(g4) 且 $2 < p < \frac{2N}{N-2K}$ 的条件下，相同的多重解结果依然成立。
• 在 $H^K_0(\Omega)$ 中Sobolev嵌入的临界指数为 $K^* = \frac{2N}{N-2K}$，且要求 $g$ 的增长为该指数的亚临界型。
• 当 $|\Omega| < \infty$ 时，有更紧的下界 $c_n \geq \bar{b} \lambda_n^{\bar{\beta}(p,K,N)}$，其中 $\bar{\beta}(p,K,N) = \frac{2Kp - N(p-2)}{2K(p-2)}$，该不等式在 $n \to \infty$ 时蕴含无穷多组解的存在性。