一類薛定諤-泊松方程解的存在性

王麗麗，龐翰禹

近年來，眾多學者采用變分法來鉆研泛函極值問題，并且已經涉獵到了無窮維空間上的非線性泛函問題.臨界點理論是變分法的理論基礎，它在證明解的存在性以及解的個數時都是最好的理論工具.在鉆研薛定諤方程、泊松方程以及薛定諤-泊松方程時，學者們利用臨界點理論中的山路引理、噴泉定理以及環繞定理來解決解的存在性問題，不僅取得了豐富的成果，而且其研究也促進了非線性泛函在數學領域的快速發展.

本文主要探究下面的薛定諤-泊松方程

解的存在性,其中3≤p＜5，a與V分別為?3上的連續函數.

迄今為止，諸多學者探究了薛定諤-泊松方程解的存在性，其中比較全面的研究可參考文獻［1-7］.余曉輝［1］運用山路引理討論了薛定諤-泊松方程

至少含有一個非平凡解.Chen H Y和Liu S B［2］假設位勢項V滿足以下條件：

（V1）V(x)∈C(?3,?),V(x)下方有界，且對于任意M ＞0，都有 μ(V-1(-∞,M])＜∞，其中，μ是?3上的Lebesgue測度.

本文主要是研究帶有函數V(x)和變號權a(x)時的薛定諤-泊松方程（1）解的存在性，這也是本文的創新點之一.

1 預備知識

引理1［3］（山路引理）設 E 是Banach空間，I∈C1(E,?)滿足

1）I(0)=0 ，存在 ρ ＞0 ，使得 I?Bρ(0)≥ α ＞0 ；

令Γ是E中聯結0與η的道路的集合，即Γ={g∈C[0,1],E)|g(0)=0,g(1)=1}，

定義1（(PS)c序列） 設E是Banach空間，c∈R為給定的實數.若存在序列{un}?E，使得I(un)→c，I′(un)→0 ，則稱序列{un}是在c水平集的一個(PS)c序列.

定義2（(PS)c條件） 設E是Banach空間，如果對于E中任何點列{un}，只要{I(un)}有界，且 I(un)→0(n→∞)，則{un}必有收斂子列，稱I∈C1(E,?)滿足（PS）c條件.

定理1 假設以下條件（V）及（a）成立：

（V）V(x)∈C(?3,?),V(x)≥1且對于任意M ＞0，都有 μ(V-1(-∞,M])＜∞ ，其中，μ 是 ?3上的Lebesgue測度；

2 主要結果

2.1 泛函結構

由Riesz表示定理知，對于任意固定的u∈H1(?3)，存在唯一的 φu∈D1,2(?3)，使得 φu滿足泊松方程-Δφ=u2，則方程（1）便可表示成含有一個變量的方程［8］

于是求解薛定諤-泊松方程（1）等價于求解方程（3），方程（3）的解為對應能量泛函

的臨界點.

因為 ?q∈[2,2*]，E連續嵌入到由E連續嵌入到.由 H?lder不等式及C‖u‖4.

引 理 2 定 義 Φ：H1(?3)→D1,2(?3),u→

1）Φ是連續的且Φ是將有界集映射到有界集；

2）若在E中{un}有界且un弱收斂于u,則

證明 1）證明見參考文獻［7］中引理2.1.

2） 由 于 φun弱 收 斂 于 φu，則 有

下面往證 ∫?3φun|un-u2|dx→0,n→∞.根據Sobolev不等式及H?lder不等式，有以下不等式成立

又由于

2.2 （PS）c條件

引理3 泛函I滿足（PS）c條件

證明 設{un}?E是（PS）c序列，則對于c∈R,有 I(un)→c,I′(un)→0(n→∞).

于是有

又因為 I′(un)un=o(1)‖un‖，則

由（5）和（6）得

于是有

又由于

從而有

故 有 ‖un‖→ ‖u ‖ ,即 在E中 有un→u(n→∞).假設un不收斂于u,則‖un‖＜‖u‖.又根 據 條 件此不等式與等式（7）矛盾，所以有un→u(n→∞).

2.3 定理1的證明

下面分兩步來找到I(u)的臨界點.首先證明存在 ρ＞0,α＞0 ，使得 I(u)≥α 成立，其中?u∈E,‖u‖=ρ，則從而存在 ρ＞0,使得 I?Bρ(0)＞α＞0.

顯然存在充分大的t0,使得 I(t0φ)＜0,取η=t0φ,定義 Γ={g∈C[0,1],E)|g(0)=0,g(1)=1}及，由山路引理知，c為 I的一個非平凡的臨界點，即式（1）至少存在一個非平凡的解.