<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">PM</journal-id><journal-title-group><journal-title>Pure  Mathematics</journal-title></journal-title-group><issn pub-type="epub">2160-7583</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.12677/PM.2020.104042</article-id><article-id pub-id-type="publisher-id">PM-35118</article-id><article-categories><subj-group subj-group-type="heading"><subject>PM20200400000_74647093.pdf</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>数学与物理</subject></subj-group></article-categories><title-group><article-title>
 
 
  非线性SchroO
  <sup style=" margin-left:-10px;">&#168;</sup>dinger-Kirchhoff型方程基态解的存在性
  Existence of Ground States Solution of Nonlinear Schro?dinger-Kirchhoff-Type Equation
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>李</surname><given-names>伟丹</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>魏</surname><given-names>公明</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>上海理工大学理学院，上海</addr-line></aff><pub-date pub-type="epub"><day>31</day><month>03</month><year>2020</year></pub-date><volume>10</volume><issue>04</issue><fpage>330</fpage><lpage>338</lpage><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
   本文利用Nehari流形的方法和Lions引理，将非线性Schrödinger-Kirchhoff型方程的基态转化为相应能量函的临界点，结合山路引理，证明了该类方程在一定条件下基态解的存在性。 In this paper, by using the method of Nehari manifold and Lions lemma, the solutions of nonlinear Schrödinger-Kirchhoff-type equations are transformed into the critical points of the corresponding energy functional, combined with the mountain pass lemma to prove the existence of ground state solution of this kind of equations under certain conditions. 
 
</p></abstract><kwd-group><kwd>非线性SchroO<sup style=" margin-left:-10px;">&#168;</sup>dinger-Kirchhoff型方程，Lions引理，Nehari流形，基态解，Fatou引理, Nonlinear SchroO<sup style=" margin-left:-10px;">&#168;</sup>dinger-Kirchhoff-Type Equation</kwd><kwd> Lions Lemma</kwd><kwd> Nehari Manifold</kwd><kwd> Ground State Solution</kwd><kwd> Fatou Lemma</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>非线性Schrödinger-Kirchhoff型方程 基态解的存在性<sup> </sup></title><p>李伟丹，魏公明</p><p>上海理工大学理学院，上海</p><p>收稿日期：2020年3月24日；录用日期：2020年4月13日；发布日期：2020年4月20日</p><disp-formula id="hanspub.35118-formula9"><graphic xlink:href="//html.hanspub.org/file/11-1251027x5_hanspub.png"  xlink:type="simple"/></disp-formula></sec><sec id="s2"><title>摘 要</title><p>本文利用Nehari流形的方法和Lions引理，将非线性Schrödinger-Kirchhoff型方程的基态转化为相应能量函的临界点，结合山路引理，证明了该类方程在一定条件下基态解的存在性。</p><p>关键词 :非线性Schrödinger-Kirchhoff型方程，Lions引理，Nehari流形，基态解，Fatou引理</p><disp-formula id="hanspub.35118-formula10"><graphic xlink:href="//html.hanspub.org/file/11-1251027x6_hanspub.png"  xlink:type="simple"/></disp-formula><p>Copyright &#169; 2020 by author(s) and Hans Publishers Inc.</p><p>This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).</p><p>http://creativecommons.org/licenses/by/4.0/</p><p><img src="//html.hanspub.org/file/11-1251027x7_hanspub.png" /> <img src="//html.hanspub.org/file/11-1251027x8_hanspub.png" /></p></sec><sec id="s3"><title>1. 引言</title><p>本文主要讨论如下非线性Schr&#246;diger-Kirchhoff型方程</p><p>− ( a + b ∫ R N | ∇ u | 2 d x ) Δ u + V ( x ) u = b ( x ) f ( u ) , x ∈ R N (0.1)</p><p>其中 x ∈ R N , u ∈ H 1 ( R N ) , a &gt; 0 , b ≥ 0 ，在一些可解性条件下的基态解的存在性。当 V ( x ) ≡ 0 时，</p><p>− ( a + b ∫ R N | ∇ u | 2 d x ) Δ u = f ( x , u ) , x ∈ R N (0.2)</p><p>称为Kirchhoff型方程，该模型来源于物理学中描述弹性绳横向振动的长度变化的公式，即经典的D’Alembert波动方程</p><p>u t t − ( a + b ∫ R N | ∇ u | 2 d x ) Δ u = g ( x , u ) (0.3)</p><p>的行波解，其中u表示位移， g ( x , u ) 表示外力，b表示初始张力，a表示绳子本身的性质，该式子还广泛应用于生物学中，此时u表示人口密度平均数的排列等 [<xref ref-type="bibr" rid="hanspub.35118-ref1">1</xref>] [<xref ref-type="bibr" rid="hanspub.35118-ref2">2</xref>]。</p><p>近年来，许多学者开始考虑该模型在不同可解性条件下解的存在性、非平凡解、径向和非径向解以及多解性问题，例如文献 [<xref ref-type="bibr" rid="hanspub.35118-ref3">3</xref>] 作者利用传播和衍射条件讨论了解的存在性和非存在性。Perera和张志涛在文献 [<xref ref-type="bibr" rid="hanspub.35118-ref4">4</xref>] 中用Yang指数和临界群来讨论非平凡解的存在性。毛安民和张志涛在文献 [<xref ref-type="bibr" rid="hanspub.35118-ref5">5</xref>] 中通过下降流的变形方法得到多解和变号解。贺晓明和邹文明在文献 [<xref ref-type="bibr" rid="hanspub.35118-ref6">6</xref>] [<xref ref-type="bibr" rid="hanspub.35118-ref7">7</xref>] 中通过局部极大极小值和喷泉定理得到无穷多解。在文献 [<xref ref-type="bibr" rid="hanspub.35118-ref8">8</xref>] 中作者利用局部环绕定理得到解的存在性和多解性。此后，吴鲜等在文献 [<xref ref-type="bibr" rid="hanspub.35118-ref9">9</xref>] [<xref ref-type="bibr" rid="hanspub.35118-ref10">10</xref>] 中利用山路引理得到高能量解。在文献 [<xref ref-type="bibr" rid="hanspub.35118-ref11">11</xref>] 中作者讨论临界和次临界条件下的非平凡解的存在性。在文献 [<xref ref-type="bibr" rid="hanspub.35118-ref12">12</xref>] 中作者研究了变号基态解。在文献 [<xref ref-type="bibr" rid="hanspub.35118-ref13">13</xref>] 中作者考虑了如下模型</p><p>− ( a + b ∫ R N | ∇ u | 2 d x ) Δ u + V ( x ) u = f ( u ) , x ∈ R N . (0.4)</p><p>当 V ( x ) 满足<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x17_hanspub.png" xlink:type="simple"/></inline-formula>时基态解的存在性，受到(0.4)的启发本文将用Nehari流形的方法处理带有更一般的非线性项的方程(0.1)。</p></sec><sec id="s4"><title>2. 预备知识</title><p>本文方程(0.1)中，记 F ( u ) = ∫ 0 u f ( t ) d t ， a &gt; 0 , b ≥ 0 ， F ( 0 ) = 0 。</p><p>(V) V ( x ) ∈ C ( R N ) , 0 &lt; lim | x | → ∞ V ( x ) ≤ V ∞ &lt; + ∞ 。</p><p>(B) b ( x ) ∈ L ∞ ( R N ) , lim | x | → ∞ b ( x ) : = b ∞ &gt; 0 , b ( x ) ≥ b ∞ ，且 b ( x ) 不恒等于 b ∞ 。</p><p>(F1) 存在<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x25_hanspub.png" xlink:type="simple"/></inline-formula>， C ε &gt; 0 ，使得对任意 u ∈ R ， f ( u ) 满足</p><p><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/11-1251027x12_hanspub.png" xlink:type="simple"/></inline-formula>.</p><p>(F2) 当<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x30_hanspub.png" xlink:type="simple"/></inline-formula>时，有 f ( u ) = ο ( | u | ) 。</p><p>(F3) 对任意的<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x32_hanspub.png" xlink:type="simple"/></inline-formula>，有<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x33_hanspub.png" xlink:type="simple"/></inline-formula>。</p><p>(F4) 对任意 u ∈ ( − ∞ , 0 ) ∪ ( 0 , + ∞ ) ， u ↦ f ( u ) | u | 3 是严格单调递增的。</p><p>本文主要结果如下：</p><p>定理1 若条件(V)，(B)，(F1)-(F4)成立，则方程(0.1)有非平凡的基态解，即存在 u ≠ 0 是I的临界点，使得<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x37_hanspub.png" xlink:type="simple"/></inline-formula>。</p><p>为书写的简便，我们将使用如下记号：</p><p>X = { u ∈ H 1 ( R N ) | ∫ R N [ a | ∇ u | 2 + V ( x ) u 2 ] d x &lt; + ∞ } ，其中<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x39_hanspub.png" xlink:type="simple"/></inline-formula>。表示Hilbert空间，X空间对应的内积为<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x40_hanspub.png" xlink:type="simple"/></inline-formula>，范数为 <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/11-1251027x13_hanspub.png" xlink:type="simple"/></inline-formula>。</p><p>L p ( R N ) 表示为 R N 上p次可积函数空间，对应的范数表示为 ‖ u ‖ p = ( ∫ R N | ∇ u | p d x ) 1 p , 1 ≤ p &lt; ∞ 。</p><p>方程(0.1)对应的泛函 I : X → R</p><p>I ( u ) = a 2 ∫ R N | ∇ u | 2 d x + b 4 ( ∫ R N | ∇ u | 2 d x ) 2 + 1 2 ∫ R N V ( x ) u 2 d x − ∫ R N b ( x ) F ( u ) d x , u ∈ X .</p><p>若对问题(0.1)的任意非平凡解w有 I ( u ) ≤ I ( w ) ，则问题(0.1)的弱解即为基态解。</p><p>定义Nehari流形为</p><p>N = { u ∈ X \ { 0 } , I ′ ( u ) ( u ) = 0 } .</p><p>泛函的微分形式为</p><p>I ′ ( u ) ( φ ) = a ∫ R N ∇ u ∇ φ d x + b ∫ R N | ∇ u | 2 d x ∫ R N ∇ u ∇ φ d x + ∫ R N V ( x ) u φ d x − ∫ R N b ( x ) f ( u ) φ d x .</p><p>若<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x50_hanspub.png" xlink:type="simple"/></inline-formula>满足 I ( u ^ ) = min { I ( u ) : u ∈ X \ { 0 } , I ′ ( u ) = 0 } ， 那么 <inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x50_hanspub.png" xlink:type="simple"/></inline-formula> 记为(0.1)的基态解。</p><p>定义如下形式的辅助泛函：</p><p><inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x53_hanspub.png" xlink:type="simple"/></inline-formula>.</p><p>同理定义流形 N ∞</p><p>N ∞ = { u ∈ X \ { 0 } , I ′ ∞ ( u ) ( u ) = 0 } .</p><p>定义</p><p>c N = inf N I ( u ) , c N ∞ = inf N ∞ I ∞ (u)</p><p>c 1 = inf u ∈ X \ { 0 } max t ≥ 0 I ( t u ) , c 1 ∞ = inf u ∈ X \ { 0 } max t ≥ 0 I ∞ (tu)</p><p>c = inf Γ max t ∈ [ 0 , 1 ] I ( γ ( t ) ) , c ∞ = inf Γ max t ∈ [ 0 , 1 ] I ∞ ( γ ( t ) ) .</p><p>其中</p><p>Γ = { γ ∈ C ( [ 0 , 1 ] , X ) , γ ( 0 ) = 0 , I ( γ ( 1 ) ) &lt; 0 } .</p><p>Γ ∞ = { γ ∈ C ( [ 0 , 1 ] , X ) , γ ( 0 ) = 0 , I ∞ ( γ ( 1 ) ) &lt; 0 } .</p><p>引理1 假设满足条件(V)，(B)，(F1)，(F2)，(F4)，存在 δ &gt; 0 ，有 B δ = { u ∈ X , ‖ u ‖ &lt; δ } ，则对任意 u ∈ ∂ B δ 有 I &gt; 0 。</p><p>证明：对任意的，<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x68_hanspub.png" xlink:type="simple"/></inline-formula> (其中 C ′ 2 由 ‖ u ‖ 2 ≤ C ′ 2 ‖ u ‖ ， 2 ≤ p ≤ 2 * ，任意 u ∈ X 给出)，由(F1) (F2)可知，存在常数 A 0 , B &gt; 0 ，使得</p><p>| F ( u ) | ≤ B ( | u | 2 + | u | p ) . (1.1)</p><p>和</p><disp-formula id="hanspub.35118-formula11"><label>. (1.2)</label><graphic position="anchor" xlink:href="//html.hanspub.org/file/11-1251027x75_hanspub.png"  xlink:type="simple"/></disp-formula><p>且(F4)意味着 p &gt; 4 ，因此存在常数，对充分小的 δ &gt; 0 ，</p><p>I ( u ) ≥ 1 2 min { a , 1 } ‖ u ‖ 2 − ( ε 2 ‖ u ‖ 2 2 + C ε p ‖ u ‖ p p ) ≥ 1 2 ( min { a , 1 } − ε C ′ 2 2 ) ‖ u ‖ 2 − C ε C ′ p p ‖ u ‖ p ≥ 1 4 ( min { a , 1 } − ε C ′ 2 2 ) ‖ u ‖ 2 .</p><p>对所有的 <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/11-1251027x18_hanspub.png" xlink:type="simple"/></inline-formula>，其中 B δ = { u ∈ X , ‖ u ‖ ≤ δ } ，因此， I ∂ B δ ≥ 1 4 ( min { a , 1 } − ε C ′ 2 2 ) δ 2 &gt; 0 。 □</p><p>类似于文献 [<xref ref-type="bibr" rid="hanspub.35118-ref14">14</xref>]，引入同胚映射 g : M → N 和泛函 φ : M → R ，定义如下</p><p>g ( u ) : = t &#175; ( u ) , φ ( u ) = I ( g ( u ) ) .</p><p>其中 M = { u ∈ X : ‖ u ‖ = 1 } 。</p><p>引理2 (a) ( [<xref ref-type="bibr" rid="hanspub.35118-ref15">15</xref>] 引理2.3)假设满足条件(V) (B) (F1)~(F4)，对任意的 u ∈ X \ { 0 } ，使得 g u ( t ) = I ( t u ) ，若存在 t &#175; 使得当 0 &lt; t &lt; t &#175; 时，有 g ′ u ( t ) &gt; 0 ，当 t &gt; t &#175; 时，有<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x93_hanspub.png" xlink:type="simple"/></inline-formula>。</p><p>(b) 假设满足条件(F2)和(F4)，在X中有 u n 弱收敛到u，且 u ≠ 0 ，则对任意的数列<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x96_hanspub.png" xlink:type="simple"/></inline-formula>，当 n → ∞ 时，<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x98_hanspub.png" xlink:type="simple"/></inline-formula>，有 ∫ R N F ( t n u n ) | t n | 4 d x → ∞ ，那么有 I ( t n u n ) → − ∞ 。</p><p>定理2 假设满足条件(V)，(B)，(F1)-(F4)，则有<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x101_hanspub.png" xlink:type="simple"/></inline-formula>，其中c为I的临界值。</p><p>证明：1) 由假设可知，对任意 u ∈ X \ { 0 } ，存在唯一 t ( u ) &gt; 0 ，使得 <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/11-1251027x21_hanspub.png" xlink:type="simple"/></inline-formula>。当 t ≥ 0 时，可在<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x106_hanspub.png" xlink:type="simple"/></inline-formula>处得到 I ( t u ) 的最大值</p><p>t : X \ { 0 } → [ 0 , ∞ )         u ↦ t ( u ) .</p><p>t是连续的，且 u ↦ t ( u ) u 是X中单位球面的同胚映射，对(F4)进行积分可知存在常数 C 0 &gt; 0 ，使得</p><p>取适当的<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x112_hanspub.png" xlink:type="simple"/></inline-formula>，令 g ( t ) = I ( t u ) , t ∈ [ 0 , ∞ ) ，</p><p>g ′ ( t ) = 0 ⇔ u ∈ N</p><p><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/11-1251027x19_hanspub.png" xlink:type="simple"/></inline-formula>.</p><p>则由引理2知，存在唯一<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x116_hanspub.png" xlink:type="simple"/></inline-formula>，使得 g ′ ( t ( u ) ) = 0 ，且有 t ( u ) u ∈ N ，为了证明<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x119_hanspub.png" xlink:type="simple"/></inline-formula>的连续性，假设存在序列 u n → u , u ∈ X \ { 0 } ，容易得到 { t ( u n ) } 是有界的，若存在 { t ( u n ) } 的子列收敛到 t 0 , ( t 0 = t ( u ) ) ，则<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x124_hanspub.png" xlink:type="simple"/></inline-formula>，再由X的单位元到N中的连续映射 u ↦ t ( u ) u 是反向的拉回映射 u ↦ u ‖ u ‖ ，即可得到</p><p>c N = inf N I ( u ) = inf X \ { 0 } max t ≥ 0 I ( t u ) = c 1 .</p><p>因为对于 u ∈ X \ { 0 } , t → + ∞ 时， I ( t u ) → − ∞ ，可以得到 c 1 ≥ c ，流形N将X分为两个部分，由(F1)和(F2)可知包含原点的分量也包含了原点的邻域，且 <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/11-1251027x20_hanspub.png" xlink:type="simple"/></inline-formula>，因为 〈 I ′ ( t u ) , u 〉 &gt; 0 ，对于 0 ≤ t ≤ t ( u ) ，因而，对于每一个 γ ∈ Γ 穿过N且 c N ≤ c 。</p><p>为了证明c是I的临界点，即证I满足PS条件即可 [<xref ref-type="bibr" rid="hanspub.35118-ref16">16</xref>]， Γ 0 = { γ 0 : [ 0 , 1 ] → X , γ 0 ( 0 ) = 0 , I ( γ 0 ( 1 ) ) &lt; 0 } ，有(F1)和(F2)存在 r &gt; 0 ，使得</p><p>min ‖ u ‖ &lt; r I ( u ) = 0 , inf ‖ u ‖ = r I ( u ) &gt; 0 .</p><p>可以得到</p><p>c ≥ inf ‖ u ‖ = r I ( u ) &gt; 0 = sup γ 0 ∈ Γ 0 sup u ∈ M 0 I ( γ 0 ( u ) ) .</p><p>由引理可知I满足PS条件。 □</p><p>命题 假设满足条件(V)，(B)，(F1)~(F4)，那么有以下结论成立：</p><p>(a) I ′ 是弱下半连续的；</p><p>(b) 若 { w n } 是 φ 的PS序列，则 { g ∞ ( w n ) } 是I的PS序列；</p><p>(c) 若w是 φ 的临界点，当且仅当 g ( w ) 是I的非平凡临界点。</p><p>引理3 假设满足条件(V)，(B)，(F1)~(F4)，则方程(0.1)的极限形式存在非平凡解。</p><p>证明：首先证明(0.1)的极限方程的基态解 [<xref ref-type="bibr" rid="hanspub.35118-ref17">17</xref>]，等价于泛函 I ∞ 限制在流形 N ∞ 上的极小值问题，那么由假设 F ( 0 ) = 0 知， u = 0 是一个局部严格极小值点， I ∞ ( 0 ) = 0 ，假设 { v n } ∈ M 为 φ ∞ 的极小化序列，应用Ekland变分原理 [<xref ref-type="bibr" rid="hanspub.35118-ref17">17</xref>] 知，假设 φ ′ ∞ → 0 ，由命题(b)知若 { v n } 是 φ ∞ 的PS序列，则 { g ∞ ( v n ) } 是 I ∞ 的PS序列，那么<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x158_hanspub.png" xlink:type="simple"/></inline-formula>，其中 u n = g ∞ ( v n ) ∈ N ∞ ，同样的由命题(c)(用 I ∞ 替换I结论仍然成立)知若v是 φ ∞ 的临界点，当且仅当 g ∞ ( v ) 是<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x163_hanspub.png" xlink:type="simple"/></inline-formula>的非平凡临界点，其中 u = g ∞ ( v ) ，即 I ∞ ( u ) = I ∞ ( g ∞ ( v ) ) = φ ∞ ( v ) ，则 inf M φ ∞ = c ∞ 。</p><p>先证 { u n } 在X中是有界的，若不然，可设当 n → ∞ 时， ‖ u n ‖ → ∞ ，令 w n = u n ‖ u n ‖ ，则存在 { w n } 的子列，仍将其记为 { w n } ，那么在X中有 w n 弱收敛于w，在 L l o c p ( R N ) , 2 ≤ p &lt; 6 中有 w n 收敛于w，对任意的 x ∈ R N ，有<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x177_hanspub.png" xlink:type="simple"/></inline-formula>几乎处处收敛到 w ( x ) ，由Sobolev嵌入定理可知 { w n } 在<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x180_hanspub.png" xlink:type="simple"/></inline-formula>上是有界的，即 ∫ R N | w n | p d x &lt; + ∞ ，不是一般性，我们可以假设 ‖ w ‖ p → T 1 ∈ [ 0 , + ∞ ) ，</p><p>(i) 若 T 1 = 0 ，由条件(F1)和(F2)知，对任意的 ε &gt; 0 , C ε &gt; 0 , t &gt; 0 , t 2 &gt; 0 , t p &gt; 0 ，</p><p>| F ( w n ) | ≤ ε | w n | 2 + C ε | w n | p . (1.3)</p><p>| ∫ R N F ( t w n ) d x | ≤ ε t 2 2 ‖ w n ‖ 2 + C ε t p p ‖ w n ‖ p . (1.4)</p><p>因为 T 1 = 0 ，即 ‖ w n ‖ p → 0 ，又序列 { w n } 在 L l o c p ( R N ) , 2 ≤ p &lt; 6 上是有界的，则存在 C &gt; 0 ，当 n → ∞ ，有</p><p>| ∫ R N F ( t w n ) d x | ≤ ε C . (1.5)</p><p>因此，对任意的<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x194_hanspub.png" xlink:type="simple"/></inline-formula>， ∫ R N F ( t w n ) d x → 0 ，再由范数的等价性可知，对任意的<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x196_hanspub.png" xlink:type="simple"/></inline-formula>，当 n → ∞ 时，<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x198_hanspub.png" xlink:type="simple"/></inline-formula>，可以得到</p><disp-formula id="hanspub.35118-formula12"><label>(1.6)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/11-1251027x9_hanspub.png"  xlink:type="simple"/></disp-formula><p>矛盾(可取 t &gt; 2 c ∞ α )。</p><p>(ii) 若<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x201_hanspub.png" xlink:type="simple"/></inline-formula>，即在 L l o c p ( R N ) 中，有 w n 不收敛于0，由Lions紧性引理 [<xref ref-type="bibr" rid="hanspub.35118-ref18">18</xref>] 可知，存在 y n ∈ R N ，使得</p><p>∫ B ( y n , 1 ) | w n | 2 d x &gt; 0 . (1.7)</p><p>再有泛函 I ∞ 和流形 N ∞ 的平移不变性可知 w n ↦ w n ( ⋅ − k ) , k ∈ Z N 是不变的，不妨设 { y n } 是有界的，若不然将 w n 平移可以得到。由假设在 L l o c p ( R N ) 中有 w n 收敛于w，那么式子(1.7)意味着 w ≠ 0 ，由引理2(b)和Fatou引理得</p><p>∫ R N F ( t n u n ) ‖ t n u n ‖ 4 d x = ∫ R N F ( t n u n ) | t n u n | 4 ‖ t n w n ‖ d x → + ∞ . (1.8)</p><p>可得 I ∞ ( t n u n ) → − ∞ ，与命题(b) I ∞ ≥ 0 矛盾，则 { u n } 在X中是有界的，那么我们可以其找到子列仍记为 { u n } ，那么在X中有 u n 弱收敛于 u 0 ，在 L l o c p ( R N ) , 2 ≤ p &lt; 6 中有<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x222_hanspub.png" xlink:type="simple"/></inline-formula>收敛于 u 0 ，对任意的 x ∈ R N ，有 u n ( x ) 几乎处处收敛到 u 0 ( x ) ，在由命题(a)<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x227_hanspub.png" xlink:type="simple"/></inline-formula>是弱序列连续的可知 I ′ ∞ ( u 0 ) = 0 (即 ∵ u n → w u , ∴ I ′ ∞ ( u n ) → w I ′ ∞ ( u ) )。</p><p>其次，我们将证明 u 0 ≠ 0 。</p><p>类似于前面的证明我们假设 ‖ u n ‖ → T 2 ∈ [ 0 , + ∞ ) ，若 T 2 = 0 ，由条件(F1)和(F2)得</p><p>| f ( u n ) | ≤ ε | u n | + C ε | u n | p − 1 . (1.9)</p><p>类似(i)的证明有</p><p>∫ R N f ( u n ) u n d x → 0 .(1.10)</p><p>因此</p><p>∘ ( 1 ) = I ′ ∞ ( u n ) ≥ α ‖ u n ‖ 2 + b ‖ u n ‖ 2 4 − ∫ R N b ∞ f ( u n ) u n d x = α ‖ u n ‖ 2 + ∘ ( 1 ) (1.11)</p><p>意味着 u n → 0 ，与 ‖ u ‖ ≥ ρ &gt; 0 和 u n ∈ N ∞ 矛盾，则可得 T 2 ≠ 0 ，即在<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x240_hanspub.png" xlink:type="simple"/></inline-formula>中有 u n 不收敛于0，根据Lions紧性引理可知存在 y n ∈ Z N ，使得</p><p>∫ B ( y n , 1 ) | u n | 2 d x &gt; 0 . (1.12)</p><p>因为在 L l o c p ( R N ) , 2 ≤ p &lt; 6 中有<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x245_hanspub.png" xlink:type="simple"/></inline-formula>，则由(1.12)可知 u 0 ≠ 0 ，又因为 I ′ ∞ ( u 0 ) = 0 ，所以 u 0 ∈ N ∞ ，再由 c ∞ 的定义知</p><disp-formula id="hanspub.35118-formula13"><label>. (1.13)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/11-1251027x10_hanspub.png"  xlink:type="simple"/></disp-formula><p>结合Fatou引理</p><p>c ∞ + ∘ ( 1 ) = I ∞ ( u n ) − 1 4 I ′ ∞ ( u n ) ( u n ) + ∘ ( 1 ) ≥ I ∞ ( u 0 ) + ∘ ( 1 ) . (1.14)</p><p>结合(1.13)和(1.14)可得 I ∞ ( u 0 ) = c ∞ ，因此得到 u 0 是(0.1)极限形式的一个弱解。</p></sec><sec id="s5"><title>3. 主要定理的证明</title><p>定理1的证明：</p><p>类似于引理3的证明，设 u n ∈ N 满足 I ( u n ) → c ，且 <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/11-1251027x22_hanspub.png" xlink:type="simple"/></inline-formula>，假设 { u n } 在X中是有界的，若不然，令 z n = u n ‖ u n ‖ ，则可以假设在X中有 z n 弱收敛到z，在 L l o c p ( R N ) 中有 z n 收敛到z，对任意的 x ∈ R N 有 z n ( x ) 几乎处处收敛到 z ( x ) 。因此，存在序列 { y n } ∈ R N ，使得</p><p>∫ B ( y n , 1 ) | z n | 2 d x &gt; 0 . (2.1)</p><p>否则，由Lions紧性引理可得 <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/11-1251027x11_hanspub.png" xlink:type="simple"/></inline-formula>，则由(1.5)知，对任意的<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x268_hanspub.png" xlink:type="simple"/></inline-formula>，有</p><disp-formula id="hanspub.35118-formula14"><label>. (2.2)</label><graphic position="anchor" xlink:href="//html.hanspub.org/file/11-1251027x269_hanspub.png"  xlink:type="simple"/></disp-formula><p>由 I ′ ( u n ) → 0 ，我们可以得到</p><p>c = lim n → ∞ I ( z n ) ≥ lim n → ∞ I ( t z n ) ≥ α t 2 2 (2.3)</p><p>矛盾，那么(2.1)成立，接下来不妨设 { y n } ∈ Z N ，不妨设 { y n } 是有界的。由假设在 L l o c p ( R N ) , 2 ≤ p &lt; 6 中有<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x275_hanspub.png" xlink:type="simple"/></inline-formula>收敛于z，那么 z ≠ 0 ，由引理2(b)和Fatou引理得 I ( t n z n ) → − ∞ ，与命题(b) I ≥ 0 矛盾，则 { y n } 是无界的，可假设 | y n | → ∞ ，令 z ˜ ( y ) = z ( y + y n ) ，由于 ‖ z ˜ n ‖ = ‖ z n ‖ = 1 ，因此存在 z ˜ ，使得在X中有 z ˜ n 弱收敛到 z ˜ ，在 L l o c p ( R N ) 中有 z ˜ n 收敛到 z ˜ ，且对任意的 x ∈ R N 有 z ˜ n ( x ) 几乎处处收敛到 z ˜ ( x ) ，由(2.1)知</p><disp-formula id="hanspub.35118-formula15"><label>. (2.4)</label><graphic position="anchor" xlink:href="//html.hanspub.org/file/11-1251027x292_hanspub.png"  xlink:type="simple"/></disp-formula><p>那么有 z ˜ ≠ 0 ，结合(F2)和(F4)，存在 ρ &gt; 0 对任意的 ‖ u ‖ ≥ ρ ，有</p><p>o ≤ I ( u n ) ‖ u n ‖ 4 ≤ β − ∫ R N b ( x ) F ( t n z n ) | t n | 4 = β − ∞ → − ∞ .(2.5)</p><p>得到矛盾。</p><p>综上可得 { u n } 在X上是有界的，则我们可以假设存在u使得在X中有 u n 弱收敛到u，在 L l o c p ( R N ) , 2 ≤ p &lt; 6 中有 u n 收敛到u，且对任意的 x ∈ R N 有 u n ( x ) 几乎处处收敛到 u ( x ) ，结合(F1)和(F2)可得 I ′ ( u ) = 0 。</p><p>下证 u≠0。有 { u n } 在X中是有界的，则有 { r n } ∈ R N 使得</p><disp-formula id="hanspub.35118-formula16"><label>. (2.6)</label><graphic position="anchor" xlink:href="//html.hanspub.org/file/11-1251027x308_hanspub.png"  xlink:type="simple"/></disp-formula><p>否则，由Lions紧性引理可知</p><p>lim &#175; n → ∞ ∫ B ( r n , 1 ) | u n | 2 d x → 0 .(2.7)</p><p>那么 { r n } 是有界的，若不然可找到 { r n } 的无界子列，仍记为 { r n } ，且 | r n | → ∞ ，令 u ˜ n = u ( ⋅ + r n ) ，同样地，在X中有 u ˜ n 弱收敛到 u ˜ ，在 L l o c p ( R N ) , 2 ≤ p &lt; 6 中有 u ˜ n 收敛到 u ˜ ，且对任意的<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x320_hanspub.png" xlink:type="simple"/></inline-formula>有 u ˜ n ( x ) 几乎处处收敛到 u ˜ ( x ) ，由(2.6)可知</p><p>∫ B ( 0 , 1 ) | u n | 2 d x &gt; 0 .</p><p>u ˜ ≠ 0 ，结合 I ′ ( u n ) → 0 和<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x326_hanspub.png" xlink:type="simple"/></inline-formula>，则 I ′ ∞ ( u ˜ n ) → w 0 ，由命题(a) I ′ ∞ 是弱序列连续的，可以得到， I ′ ∞ ( u ˜ ) = 0 ，则 u ˜ ∈ N ∞ 。同理，由条件F (3)和Fatou引理可得</p><p>c + ∘ ( 1 ) = I ( u ) ≥ I ∞ ( u ˜ ) = c ∞ + ∘ ( 1 ) .</p><p>矛盾。故可得<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x332_hanspub.png" xlink:type="simple"/></inline-formula>是有界的，不妨设 | r n | ≤ δ ，由(2.6)知</p><p><inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x334_hanspub.png" xlink:type="simple"/></inline-formula>.</p><p>又由于在 L l o c p ( R N ) , 2 ≤ p &lt; 6 中有<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x336_hanspub.png" xlink:type="simple"/></inline-formula>收敛于u，则 u ≠ 0 ，且<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/11-1251027x338_hanspub.png" xlink:type="simple"/></inline-formula>，故有 u ∈ N ，因此 I ( u ) ≥ c ，结合条件F (3)和Fatou引理得</p><p>c = lim n → ∞ I ( u n ) = lim n → ∞ ( I ( u n ) − 1 4 I ′ ( u n ) ( u n ) ) ≥ I ( u ) .</p><p>综上可得 I ( u ) = c ，故u是方程(0.1)的基态解。 □</p></sec><sec id="s6"><title>文章引用</title><p>李伟丹,魏公明. 非线性SchroO<sup>&#168;</sup>dinger-Kirchhoff型方程基态解的存在性Existence of Ground States Solution of Nonlinear Schro?dinger-Kirchhoff-Type Equation[J]. 理论数学, 2020, 10(04): 330-338. https://doi.org/10.12677/PM.2020.104042</p></sec><sec id="s7"><title>参考文献</title></sec></body><back><ref-list><title>References</title><ref id="hanspub.35118-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Brezis, H. and Nirenberg, L. (1991) Remarks on Finding Critical Points. Communications on Pure and Applied Math-ematics, 44, 939-963. &lt;br&gt;https://doi.org/10.1002/cpa.3160440808</mixed-citation></ref><ref id="hanspub.35118-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Kirchhoff, G. (1883) Mechanik. Teubner, Leipzig.</mixed-citation></ref><ref id="hanspub.35118-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Ma, T.F. and Munoz Rivera, J.E. (2003) Positive Solutions for a Nonlinear Elliptic Transmission Problem. Applied Mathematics Letters, 16, 243-248. &lt;br&gt;https://doi.org/10.1016/S0893-9659(03)80038-1</mixed-citation></ref><ref id="hanspub.35118-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Perera, K. and Zhang, Z. (2006) Nontrivial Solutions of Kirchhoff-Type Problems via the Yang Index. Differential Equations, 221, 246-255. &lt;br&gt;https://doi.org/10.1016/j.jde.2005.03.006</mixed-citation></ref><ref id="hanspub.35118-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Mao, A. and Zhang, Z. (2009) Sign-Changing and Multiple Solutions of Kirchhoff Type Problems without the P.S. Condition. Nonlinear Analysis, 70, 1275-1287. &lt;br&gt;https://doi.org/10.1016/j.na.2008.02.011</mixed-citation></ref><ref id="hanspub.35118-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">He, X. and Zou, W. (2010) Multiplicity of Solutions for a Class of Kirchhoff Type Problems. Acta Mathematicae Applicatae Sinica, English Series, 26, 387-394. &lt;br&gt;https://doi.org/10.1007/s10255-010-0005-2</mixed-citation></ref><ref id="hanspub.35118-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">He, X. and Zou, W. (2009) Infinitely Many Positive Solutions for Kirchhoff-Type Problems. Nonlinear Analysis, 70, 1407-1414. &lt;br&gt;https://doi.org/10.1016/j.na.2008.02.021</mixed-citation></ref><ref id="hanspub.35118-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Wu, Y. and Liu, S.B. (2015) Existence and Multiplicity of Solutions for Asymptotically Linear Schrodinger-Kirchhoff Equations. Nonlinear Analysis: Real World Applications, 26, 191-198. &lt;br&gt;https://doi.org/10.1016/j.nonrwa.2015.05.010</mixed-citation></ref><ref id="hanspub.35118-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Wu, X. (2011) Existence of Nontrivial Solutions and High Energy Solutions for Schrödinger-Kirchhoff-Type Equations in RN. Nonlinear Analysis: Real World Applications, 12, 1278-1287. &lt;br&gt;https://doi.org/10.1016/j.nonrwa.2010.09.023</mixed-citation></ref><ref id="hanspub.35118-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Li, Q.Q. and Wu, X. (2014) A New Results on High Energy Solutions for Schrödinger-Kirchhoff-Type Equations in Rn. Applied Mathematics Letters, 30, 24-27. &lt;br&gt;https://doi.org/10.1016/j.aml.2013.12.002</mixed-citation></ref><ref id="hanspub.35118-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Li, Q.Q., Wu, X. and Teng, K.M. (2018) Existence of Nontrivial Solutions for Schrödinger-Kirchhoff Type Equations with Critical or Supercritical Growth. Mathematical Method in the Applied Sciences, 41, 1136-1144. &lt;br&gt;https://doi.org/10.1002/mma.4652</mixed-citation></ref><ref id="hanspub.35118-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Wang, L. and Zhang, L.B. (2018) Cheng Kun Ground State Sign-Changing Solutions for the Schrödinger-Kirchhoff Equation in R3. Journal of Mathematical Analysis and Applications, 466, 1545-1569. &lt;br&gt;https://doi.org/10.1016/j.jmaa.2018.06.071</mixed-citation></ref><ref id="hanspub.35118-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Guo, Z.J. (2015) Ground States for Kirchhoff Equations without Compact Condition. Journal of Differential Equations, 259, 2884-2902. &lt;br&gt;https://doi.org/10.1016/j.jde.2015.04.005</mixed-citation></ref><ref id="hanspub.35118-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">段雪亮, 魏公明. 分数阶非线性Schrödinger方程组非平凡基态解的存在性[J]. 吉林大学学报(理学版), 2018, 56(3): 33-40.</mixed-citation></ref><ref id="hanspub.35118-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">张福保, 张慧, 徐君祥. Rn上耦合的非线性Schrödinger方程的正基态解[J]. 中国科学(数学), 2013, 43(1): 33-43.</mixed-citation></ref><ref id="hanspub.35118-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Lions, P.L. (1984) The Concentration Compactness Principle in the Calculus of Variations. The Locally Compact Case, Part 2. Annales de l’Institut Henri Poincaré, 1, 223-283. &lt;br&gt;https://doi.org/10.1016/S0294-1449(16)30422-X</mixed-citation></ref><ref id="hanspub.35118-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Struwe, M. (1990) Variational Method. Springer, New York. &lt;br&gt;https://doi.org/10.1007/978-3-662-02624-3</mixed-citation></ref><ref id="hanspub.35118-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">Willem, M. (1996) Minimax The-orem. Birkhäuser, Boston, MA, 39-41. &lt;br&gt;https://doi.org/10.1007/978-1-4612-4146-1</mixed-citation></ref></ref-list></back></article>