<?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.2019.93040</article-id><article-id pub-id-type="publisher-id">PM-30134</article-id><article-categories><subj-group subj-group-type="heading"><subject>PM20190300000_33322297.pdf</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>数学与物理</subject></subj-group></article-categories><title-group><article-title>
 
 
  磁性方程三个解的存在性
  Existence of Three Solutions for a Magnetic 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="aff2"><sup>2</sup></xref><xref ref-type="aff" rid="aff1"><sup>1</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="aff2"><sup>2</sup></xref><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib></contrib-group><aff id="aff2"><addr-line>云南师范大学，云南 昆明</addr-line></aff><aff id="aff1"><addr-line>null</addr-line></aff><pub-date pub-type="epub"><day>05</day><month>05</month><year>2019</year></pub-date><volume>09</volume><issue>03</issue><fpage>299</fpage><lpage>307</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>
 
 
  
    这篇文章中，我们致力于研究磁性方程： 
   
   
   <inline-formula><inline-graphic xlink:href="Edit_f14a83e7-78e1-4b58-b83a-9eb43fdb8d77.png" xlink:type="simple"/></inline-formula> 
   
   其中，Ω∈ℝ<sup>N</sup>是一个具有光滑边界的有界开集，A=（A<sub>1</sub>，A<sub>2</sub>，…，A<sub>n</sub>）：ℝ<sup>N</sup>→ℝ<sup>N</sup>是一个磁性位势，∇<sub>A</sub>=-i∇+A，-Δ<sub>A</sub>：=（-i∇+A）<sup>2</sup> 。在f，V，h满足一定条件时，此方程至少含有三个解。  
   In this thesis, we focus our attention on the equation with magnetic field.  
   <inline-formula><inline-graphic xlink:href="Edit_f14a83e7-78e1-4b58-b83a-9eb43fdb8d77.png" xlink:type="simple"/></inline-formula>  
     
   
   
  
    where 
   Ω∈ℝ
   <sup>N</sup> is a bounded open set with smooth boundary, 
   A=（A
   <sub>1</sub>
   ，A
   <sub>2</sub>
   ，…，A
   <sub>n</sub>
   ）：ℝ
   <sup>N</sup>
   →ℝ
   <sup>N</sup> is a magnetic field
   , 
   ∇
   <sub>A</sub>
   =-i∇+A
   ，
   -Δ
   <sub>A</sub>
   ：=（-i∇+A）
   <sup>2</sup>. And we implied that there are at least three so-lutions in this problem when 
   f，V，h satisfy suitable assumptions. 
   
   
  
 
</p></abstract><kwd-group><kwd>磁性算子，变分方法，临界点理论, Magnetic Operators</kwd><kwd> Variational Method</kwd><kwd> Critical Point Theory</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>磁性方程三个解的存在性<sup> </sup></title><p>侯安然，李月</p><p>云南师范大学，云南 昆明</p><disp-formula id="hanspub.30134-formula21"><graphic xlink:href="//html.hanspub.org/file/10-1250791x10_hanspub.png"  xlink:type="simple"/></disp-formula><p>收稿日期：2019年4月16日；录用日期：2019年4月27日；发布日期：2019年5月9日</p><disp-formula id="hanspub.30134-formula22"><graphic xlink:href="//html.hanspub.org/file/10-1250791x11_hanspub.png"  xlink:type="simple"/></disp-formula></sec><sec id="s2"><title>摘 要</title><p>这篇文章中，我们致力于研究磁性方程：</p><p>{ ( − i ∇ + A ( x ) ) 2 u + V ( x ) u = λ u − f ( u ) + h ( x )                       x ∈ Ω , u ( x ) = 0                                                                                                                             x ∈ ∂ Ω .</p><p>其中，<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/10-1250791x13_hanspub.png" xlink:type="simple"/></inline-formula>是一个具有光滑边界的有界开集， A = ( A 1 , A 2 , ⋯ , A n ) : ℝ N → ℝ N 是一个磁性位势， ∇ A : = − i ∇ + A ， − Δ A : = ( − i ∇ + A ) 2 。在 f , V , h 满足一定条件时，此方程至少含有三个解。</p><p>关键词 :磁性算子，变分方法，临界点理论</p><disp-formula id="hanspub.30134-formula23"><graphic xlink:href="//html.hanspub.org/file/10-1250791x18_hanspub.png"  xlink:type="simple"/></disp-formula><p>Copyright &#169; 2019 by author(s) and Hans Publishers Inc.</p><p>This work is licensed under the Creative Commons Attribution International License (CC BY).</p><p>http://creativecommons.org/licenses/by/4.0/</p><p><img src="//html.hanspub.org/file/10-1250791x19_hanspub.png" /> <img src="//html.hanspub.org/file/10-1250791x20_hanspub.png" /></p></sec><sec id="s3"><title>1. 引言</title><p>变分法是研究泛函极值的一种重要方法。它不仅与数学中众多分支相联系，而且在描述物理学、化学、生物学等各种问题中有着重要的作用。尤其是Schr&#246;dinger方程及Chquard方程广泛应用于电磁学、量子力学等领域。越来越多的实例证明，变分法是研究解的存在性及多重性最有利的工具之一。</p><p>结合变分法，本文应用 [<xref ref-type="bibr" rid="hanspub.30134-ref1">1</xref>] 中的Theorem 1.1来研究下面的方程。</p><p>{ ( − i ∇ + A ( x ) ) 2 u + V ( x ) u = λ u − f ( u ) + h ( x )                       x ∈ Ω u ( x ) = 0                                                                                                                       x ∈ ∂ Ω (1.1)</p><p>其中， Ω ⊂ ℝ N 是具有光滑边界的有界开集， A = ( A 1 , A 2 , ⋯ , A n ) : ℝ N → ℝ N 是一个磁性位势，使得 A ∈ L l o c 2 ( ℝ N ) ， ∇ A : = − i ∇ + A ， − Δ A : = ( − i ∇ + A ) 2 。 且连续， h ∈ L 2 ( Ω ) ， λ &gt; 0 。非线性函数 f ∈ C ( ℝ , ℝ ) ， f ≥ 0 ，在 t &lt; 0 时有 f ( t ) = 0 ，且满足：</p><p>(f<sub>1</sub>) lim t → 0 f ( t ) t = 0 。</p><p>(f<sub>2</sub>) 存在 q ∈ ( 2 , 2 * ) ，使得 lim t → 0 f ( t ) t q − 1 = 0 。</p><p>(f<sub>3</sub>) 存在 θ &gt; 4 ，使得对于 t &gt; 0 ， 0 &lt; θ 2 F ( t ) &lt; t f ( t ) 。其中 F ( t ) = ∫ 0 t f ( τ ) d τ 。</p><p>其中的整数阶磁性Laplacian算子： ∇ A : = − i ∇ + A ， − Δ A : = ( − i ∇ + A ) 2 ，当 A ≡ 0 时，也就是没有磁性位势，算子变成了 − Δ ，很多作者研究了</p><p>− Δ u + μ a ( x ) u = λ u + | u | p − 2 u (1.2)</p><p>类型问题的解的存在性和多重性，其中 α ≥ 0 是位势井，并带有次临界增长，也就是 p &lt; 2 * ，更多结果参见文献 [<xref ref-type="bibr" rid="hanspub.30134-ref2">2</xref>] [<xref ref-type="bibr" rid="hanspub.30134-ref3">3</xref>] 。</p><p>另外，类似于(1.2)的方程类型，Clapp和Ding在文献 [<xref ref-type="bibr" rid="hanspub.30134-ref4">4</xref>] 中利用变分法建立了临界的情形下，正解的存在性和多重性。对于有临界非线性项的Schr&#246;dinger方程，也可参见 [<xref ref-type="bibr" rid="hanspub.30134-ref5">5</xref>] [<xref ref-type="bibr" rid="hanspub.30134-ref6">6</xref>] 及其参考文献。在文献 [<xref ref-type="bibr" rid="hanspub.30134-ref7">7</xref>] 中作者研究了带有径向缺失的二次非线性Schr&#246;dinger方程径向解的爆破，位于半径为 r 0 的球中。当 A ≠ 0 时，也就是方程带有磁势的问题，近期Lv在 [<xref ref-type="bibr" rid="hanspub.30134-ref8">8</xref>] 中研究了</p><p>( − i ∇ + A ) 2 u + ( g 0 ( x ) + μ g ( x ) ) u = ( | x | − α ∗ | u | p ) | u | p − 2 u , u ∈ H 1 ( ℝ n , ℂ ) , (1.3)</p><p>其中 n ≥ 3 ， α ∈ ( 0 , n ) ， μ &gt; 0 ， p ∈ ( 2 n − α n , 2 n + α n − 2 ) 。 g 0 和g是两个重要的函数，满足一些必要条件。他证明了当<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/10-1250791x57_hanspub.png" xlink:type="simple"/></inline-formula>时的基态解的存在性，以及 μ → ∞ 时解的集中行为。在此类问题的研究中，Hardy-Littlewood-Sobolev不等式扮演了一个很重要的角色。</p><p>方程(1.3)中，如果 A = 0 ， g 0 = 0 ， g = 1 ， μ = 1 ，那么方程就变为</p><p>− Δ u + u = ( | x | − α ∗ | u | p ) | u | p − 2 u , u ∈ H 1 ( ℝ n ) .</p><p>这就是经典的Chquard方程，它出现在很多的物理学领域，尤其是关于非相对论的玻色子原子和分子的大系统量子论的方程，已经被很多国内外作者研究。例如，在 [<xref ref-type="bibr" rid="hanspub.30134-ref9">9</xref>] 中，Lieb证明了</p><p>− Δ u + u = ( | x | − 1 ∗ | u | 2 ) u 于 ℝ n 中</p><p>在平移变换下，解的存在性和唯一性。2014年，Salazar在 [<xref ref-type="bibr" rid="hanspub.30134-ref10">10</xref>] 中研究了下面的稳定非线性磁性Chquard方程</p><p>( − i ∇ + A ) 2 u + W ( x ) u = ( | x | − α ∗ | u | p ) | u | p − 2 u 于 ℝ n ，</p><p>其中 n ≥ 3 ， α ∈ ( 0 , n ) ， p ∈ [ 2 , 2 α 2 ) ， A ∈ ( ℝ n , ℝ n ) 是一个磁性位势， W ∈ ( ℝ n , ℝ ) 是个有界电势。</p><p>我们发现，各类磁性方程虽然被广泛的研究，但人们主要研究了解的存在性、多重性以及集中性，考虑P. H. Rabinowitz在1978年提出的鞍点理论，我们可以得出不一样的结果。Jonas Volek在文献 [<xref ref-type="bibr" rid="hanspub.30134-ref1">1</xref>] 中提出，如果泛函满足P. H. Rabinowitz 的鞍形假设，再满足PS紧性条件以及下方有界，就可以得出方程至少有三个临界点：</p><p>定理1.1. ( [<xref ref-type="bibr" rid="hanspub.30134-ref1">1</xref>] , Theorem 1.1) 设X是实Banach空间， X = Y ⊕ Z ，其中 Y ≠ 0 维数有限。假设 J ∈ C 1 ( X , ℝ ) 有下界，并且满足</p><p>(R) 存在 R &gt; 0 使得 max u ∈ ∂ B R ( Y ) J ( u ) &lt; inf u ∈ Z J ( u ) 。</p><p>(PS) 对任意的序列 { u n } ⊂ X 使得 { J ( u n ) } ⊂ ℝ 有界，并且 ‖ J ′ ( u n ) ‖ X * → 0 有收敛子列。</p><p>则J至少有三个临界点。</p><p>这是一个新的结果。于是，在本文中，我们就应用这个定理，做了一个带有连续位势的磁性方程至少存在三个解的证明。具体的证明过程我们将在第三部分及第四部分给出。</p></sec><sec id="s4"><title>2. 变分设置和主要结果</title><p>设</p><p><inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/10-1250791x82_hanspub.png" xlink:type="simple"/></inline-formula>,</p><p>其中， A = ( A 1 , A 2 , ⋯ , A n ) : ℝ N → ℝ N 是一个磁性位势，使得 A ∈ L l o c 2 ( ℝ N ) 。 V ( x ) ≥ 0 。且连续。</p><p>定义内积如下：</p><p>( u , v ) H V , A ( ℝ N ) = ∫ ℝ N V ( x ) u v &#175; d x + ∑ i = 1 N ( ( ∂ j + i A j ) u , ( ∂ j + i A j ) v ) L 2 ( ℝ N ) .</p><p>从而我们得到 H V , A ( ℝ N ) 为Hilbert空间。记其范数为</p><p>‖ u ‖ V , A = ∫ Ω ( | ∇ A u | 2 + V ( x ) | u | 2 ) d x .</p><p>仿照Adam在 [<xref ref-type="bibr" rid="hanspub.30134-ref11">11</xref>] 中定理3.6的证明可知， H V , A ( ℝ N ) 是可分的。</p><p>此外，当 H V , A ( ℝ N ) 中 V ≡ 1 时，我们得到空间 H A 1 ( ℝ N ) 。</p><p>设 Ω ⊂ ℝ N 是具有光滑边界的有界开集， C 0 ∞ ( Ω ) 在 H V , A ( ℝ N ) 中以范数 ‖ u ‖ H V , A ( ℝ N ) 生成的闭包记为 H V , A ( Ω ) 。 H V , A ( Ω ) 也是可分的Hilbert空间。记范数为：</p><p>‖ u ‖ V , A = ∫ Ω ( | ∇ A u | 2 + V ( x ) | u | 2 ) d x .</p><p>下面是我们众所周知的抗磁性不等式：</p><p>引理2.1. 当 n ≥ 4 时，如果 u ∈ H A 1 ( ℝ N ) ，那么 | u | ∈ H 1 ( ℝ N , ℝ ) ，并且有</p><p>| ∇ | u | ( x ) | ≤ | ∇ u ( x ) + i A ( x ) u ( x ) | a . e x ∈ ℝ N</p><p>成立。</p><p>由 [<xref ref-type="bibr" rid="hanspub.30134-ref12">12</xref>] 我们得到，当 1 ≤ t ≤ 2 ∗ 时，有整数阶连续嵌入 H A 0 , 1 ( Ω ) ⊂ L t ( Ω , ℂ ) ，当 1 ≤ t &lt; 2 ∗ 时，嵌入是紧的。继而我们可以得到</p><p>引理2.2. 当 1 ≤ t ≤ 2 ∗ 时， H V , A ( Ω ) ⊂ L t ( Ω , ℂ ) 是连续的，当 1 ≤ t &lt; 2 ∗ 时，嵌入是紧的。也就是</p><p>‖ u ‖ L t ( Ω ) ≤ C ∗ ‖ u ‖ V , A .</p><p>其中 C ∗ 是一个嵌入常数。</p><p>经过计算，结合范数定义，可以推出方程(1.1)相应的能量泛函为</p><p>J V = 1 2 ‖ u ‖ V , A − λ 2 ∫ Ω | u | 2 d x + ∫ Ω F ( u ) d x − 1 2 ∫ Ω | h | 2 d x .</p><p>引理2.3. 设 h ∈ L 2 ( Ω ) ，则泛函 J V 满足：</p><p>(i) J V ∈ C 1 ( H V , A ( Ω ) , ℝ ) 并且满足</p><p>〈 J ′ V ( u ) , φ 〉 = 〈 u , φ 〉 − λ ∫ Ω f ( u ) φ d x − ∫ Ω h φ d x ,</p><p>其中， u , φ ∈ H V , A ( Ω ) 。</p><p>(ii) u ∈ H V , A ( Ω ) 是(1.1)的弱解，当且仅当 u ∈ H V , A ( Ω ) 是 J V 的临界点。</p><p>现在，我们来陈述文章的主要结果：</p><p>定理2.1. 设 λ k &lt; λ &lt; λ k + 1 ，存在 μ &gt; 0 ，使得当 ‖ h ‖ 2 &lt; μ 时，(1.1)有至少三个弱解。</p><p>由引理2.3可知，想要证明定理2.1只需证明 J V 有至少三个临界点。</p></sec><sec id="s5"><title>3. 一些重要引理</title><p>引理3.1. 设 h ∈ L 2 ( Ω ) 则泛函 J V 在 H V , A ( Ω ) 上弱强制，即当 ‖ u ‖ V , A → ∞ 时，有 J V → ∞ 且 J V 有下界。</p><p>证明：根据(f<sub>1</sub>)与(f<sub>3</sub>)可得出，存在 C 1 , C 2 &gt; 0 ，使得</p><p>F ( t ) ≥ C 1 | t | θ − C 2 . (3.1)</p><p>根据(2.2)可知，</p><p>| ∫ Ω F ( u ) d x | ≥ C 1 ∫ Ω | t | θ d x − C 2 | Ω | (3.2)</p><p>其中 | Ω | 为 Ω 的测度。</p><p>J V ( u ) = 1 2 ‖ u ‖ V , A 2 − λ 2 ∫ Ω | u | 2 d x + ∫ Ω F ( u ) d x − 1 2 ∫ Ω | h | 2 d x ≥ 1 2 ‖ u ‖ V , A 2 − c ( ‖ u ‖ L 2 ( Ω ) 2 + ‖ h ‖ L 2 ( Ω ) 2 ) + C 1 ‖ u ‖ L θ ( Ω ) θ − C 2 | Ω | ≥ 1 2 ‖ u ‖ V , A 2 − c ( ‖ u ‖ L θ ( Ω ) 2 + ‖ h ‖ L θ ( Ω ) 2 ) + C 1 ‖ u ‖ L θ ( Ω ) θ − C 2 | Ω | (3.3)</p><p>当 ‖ u ‖ V , A 时，有以下两种情况：</p><p>(i) 若 ‖ u ‖ L θ ( Ω ) 有界，则有 J V ( u ) → ∞ 。</p><p>(ii) 若 ‖ u ‖ L θ ( Ω ) → ∞ ，则由 θ &gt; 2 可知 J V ( u ) → ∞ 。</p><p>故 J V ( u ) 是弱强制的。此外，由(3.3)可推出</p><p>J V ( u ) ≥ − c ( ‖ u ‖ L θ ( Ω ) 2 + ‖ h ‖ L θ ( Ω ) 2 ) + C 1 ‖ u ‖ L θ ( Ω ) θ (3.4)</p><p>不等式右边是与 ‖ u ‖ L θ ( Ω ) 有关的函数，因为 θ &gt; 2 ，所以不等式右边是有下界的，故得出 J V 有下界。</p><p>因为 J V 是 C 1 连续且下方有界，由文献[ [<xref ref-type="bibr" rid="hanspub.30134-ref13">13</xref>] , Theorem 2.4]知 J V 存在PS序列。又因为 J V 是弱强制的， 所以PS序列 { u n } 有界。因此有下面引理成立。</p><p>引理3.2. 如果序列 { u n } ⊂ H V , A ( Ω ) 有界且 J ′ V ( u n ) → 0 ，则 { u n } 有收敛子列。</p><p>证明：由 { u n } ⊂ H V , A ( Ω ) ，在子列意义下有</p><p>u n → 弱 u 于 H V , A ( Ω ) 且 u n → u 于 L t ( Ω ) ， ∀ t ∈ ( 1 , 2 * ) 。</p><p>注意到，</p><p>o n ( 1 ) = 〈 J ′ V ( u n ) , u n 〉 = ‖ u n ‖ V , A 2 − λ ∫ Ω u n 2 d x + ∫ Ω f ( u n ) u n d x − ∫ Ω h u n d x .</p><p>所以</p><p>‖ u n ‖ V , A 2 = λ ∫ Ω u n 2 d x + ∫ Ω f ( u n ) u n d x − ∫ Ω h u n d x . (3.5)</p><p>此外，</p><p>o n ( 1 ) = 〈 J ′ V ( u n ) , u 〉 = 〈 u n , u 〉 − λ ∫ Ω u n u d x + ∫ Ω f ( u n ) u n d x − ∫ Ω h u n d x .</p><p>所以</p><disp-formula id="hanspub.30134-formula24"><label>. (3.6)</label><graphic position="anchor" xlink:href="//html.hanspub.org/file/10-1250791x167_hanspub.png"  xlink:type="simple"/></disp-formula><p>此外，由条件(f<sub>1</sub>)及(f<sub>2</sub>)有，对于任意的 ξ &gt; 0 ，存在 C ξ &gt; 0 ，使得</p><p>f ( t ) ≤ ξ | t | + C ξ | t | q − 1 ，其中 q ∈ ( 2 , 2 * ) 。 (3.7)</p><p>因为 { u n } 有界，及H&#246;lder不等式，引理2.2以及(3.7)得出，</p><p>| ∫ Ω f ( u n ) u n d x − ∫ Ω f ( u n ) u d x | ≤ ∫ Ω | f ( u n ) | | u n − u | d x ≤ ∫ Ω ( | u n | + | u n | q − 1 ) | u n − u | d x = ∫ Ω | u n | | u n − u | d x + ∫ Ω | u n | q − 1 | u n − u | d x</p><p>≤ ( ∫ Ω | u n | 2 d x ) 1 2 ( ∫ Ω | u n − u | 2 d x ) 1 2         + ( ∫ Ω ( | u n | q − 1 ) q q − 1 d x ) q − 1 q ( ∫ Ω | u n − u | q d x ) 1 q = c ( ( ∫ Ω | u n − u | 2 d x ) 1 2 + ( ∫ Ω | u n − u | q d x ) 1 q ) = o n ( 1 ) (3.8)</p><p>结合(3.5)，(3.6)和(3.8)式可知 ‖ u n ‖ V , A → ‖ u ‖ V , A 。又因为 u n → 弱 u 于 H V , A ( Ω ) ，所以有 u n → u 于 H V , A ( Ω ) 。</p><p>我们定义算子 T : H V , A ( Ω ) → H V , A ( Ω ) 如下：</p><p>( T u , v ) H V , A ( Ω ) = ∫ Ω u v &#175; d x , ∀ u , v ∈ H V , A ( Ω ) .</p><p>那么算子T是线性的。</p><p>引理3.3. 线性算子 T : H V , A ( Ω ) → H V , A ( Ω ) 有特征值 λ n ， n = 1 , 2 , ⋯ ，且 λ n + 1 &gt; λ n &gt; 0 。且当 n → ∞ 时， λ n → ∞ 。</p><p>证明： ( u , T v ) H V , A ( Ω ) = ( T u , v ) H V , A ( Ω ) &#175; = ∫ Ω v u &#175; d x &#175; = ∫ Ω u v &#175; d x = ( T u , v ) H V , A (Ω)</p><p>因此T为自伴算子。设 u n → u 于 H V , A ( Ω ) ，由引理2.2知， u n → u 于 L 2 ( Ω ) 。此时，</p><p>当 n → ∞ 时，</p><p>( T u n − T u , v ) H V , A ( Ω ) = ( T ( u n − u ) , v ) H V , A ( Ω ) = ( u n − u , T v ) H V , A ( Ω ) → 0 .</p><p>所以 T u n → 弱 T u 于 H V , A ( Ω ) ，从而 { T u n } 在 H V , A ( Ω ) 中有界。因此</p><p>‖ T u n − T u ‖ V , A 2 = ( T u n − T u , T u n − T u ) H V , A ( Ω ) = ∫ Ω ( u n − u ) ( T u n − T u &#175; ) d x ≤ ‖ u n − u ‖ L 2 ( Ω ) ⋅ c ‖ T u n − T u ‖ V , A ≤ c ‖ u n − u ‖ L 2 ( Ω ) → 0</p><p>因此T为紧算子。另外 ∀ u ∈ H V , A ( Ω ) \ { 0 } ，有 ( T u , u ) H V , A ( Ω ) = ∫ Ω | u | 2 d x &gt; 0 。因此T为正算子。</p><p>由 [<xref ref-type="bibr" rid="hanspub.30134-ref14">14</xref>] 中的定理2.2.16，命题2.2.15以及推论2.2.13知，算子T存在一列正的特征值 1 λ n ，及一组对应的 H V , A ( Ω ) 中的正交基 { φ i } i = 1 ∞ ， 使得 T φ i = 1 λ n φ i 。另外，当 n → ∞ 时， 1 λ n → 0 ，即 λ n → ∞ 。</p><p>不妨设 ‖ φ i ‖ V , A = 1 ，则我们有</p><p>1 λ n ‖ φ i ‖ V , A 2 = 1 λ n ( φ i , φ i ) H V , A ( Ω ) = ( A φ i , φ i ) H V , A ( Ω ) = ∫ Ω | φ i | 2 d x</p><p>⇒ λ n ∫ Ω | φ i | 2 d x = ‖ φ i ‖ V , A 2 = 1 .</p></sec><sec id="s6"><title>4. 定理2.1的证明</title><p>由引理3.1和引理3.2，我们有下面的引理成立。</p><p>引理4.1. 设 h ∈ L 2 ( Ω ) ，则泛函 J V 满足(PS)<sub>c</sub>条件，即定理1.1中的条件(PS)成立。</p><p>证明：假设 { u n } 是 J V 的一个(PS)<sub>c</sub>序列，结合 J V 是弱强制的，那么就可推出 J V 满足(PS)<sub>c</sub>条件。</p><p>接下来证明 J V 至少存在三个临界点，设 φ i ( i ∈ N ) 为 H V , A ( Ω ) 中对应的特征值 λ i ( − Δ A 算子的特征值)的特征函数且 B = { φ i : i ∈ N } 是 H V , A ( Ω ) 的规范正交基，并且 λ k &lt; λ k + 1 。将 H V , A ( Ω ) 分解为 Y ⊕ Z 。其中</p><p>Y = { ∑ i = 1 k a i φ i : a i ∈ ℝ , φ i ∈ B } , Z = { ∑ i = k + 1 ∞ a i φ i : a i ∈ ℝ , φ i ∈ B } = Y ⊥ . (4.1)</p><p>引理4.2. 设 λ k &lt; λ &lt; λ k + 1 ，则存在 a &gt; 0 对任意的 h ∈ L 2 ( Ω ) 且 ‖ h ‖ L 2 ( Ω ) &lt; a ，都有泛函 J V 满足条件(R)，其中 Y , Z 满足(4.1)。</p><p>证明：设 u ∈ Z ， 结合Parseval等式有下式成立</p><p>u = ∑ i = k + 1 ∞ a i φ i ，且 ‖ u ‖ V , A 2 = ∑ i = k + 1 ∞ a i 2 。</p><p>因此 φ i 满足</p><p>λ i ∫ Ω | φ i ( x ) | 2 d x = ‖ φ i ( x ) ‖ V , A 2 = 1 , ∀ i ∈ ℕ (4.2)</p><p>因为 λ &lt; λ k + 1 所以有</p><p>‖ u ( x ) ‖ V , A 2 − λ ∫ Ω | u ( x ) | 2 d x = ∑ i = k + 1 ∞ a i 2 ( 1 − λ λ i ) ≥ ( 1 − λ λ k + 1 ) ‖ u ( x ) ‖ V , A 2 . (4.3)</p><p>因此，对 u ∈ Z ，由(4.3)及嵌入定理可以得到</p><p>J V ( u ) ≥ 1 2 ( 1 − λ λ k + 1 ) ‖ u ‖ V , A 2 − 1 2 ∫ Ω | h ( x ) | 2 d x + ∫ Ω F ( u ) d x ≥ − 1 2 ‖ h ‖ L 2 ( Ω ) 2 (4.4)</p><p>当取 u ∈ Y 时，有下式成立</p><p>u = ∑ i = 1 k a i φ i 且 ‖ u ‖ V , A 2 = ∑ i = 1 k a i 2 。</p><p>由 λ k &lt; λ ，以及(4.2)可以推出</p><p>‖ u ( x ) ‖ V , A 2 − λ ∫ Ω | u ( x ) | 2 d x = ∑ i = 1 k a i 2 ( 1 − λ λ i ) ≤ ( 1 − λ λ k ) ‖ u ‖ V , A 2 . (4.5)</p><p>因此，对任意的 u ∈ Y ， ξ &lt; λ λ k − 1 4 C * (由于 ξ 的任意性)。其中， C * 是引理2.2中的嵌入常数。</p><p>结合(4.5)及引理2.2(ii)可得</p><p>J V ( u ) ≤ 1 2 ( 1 − λ λ k ) ‖ u ‖ V , A 2 − 1 2 ∫ Ω | h ( x ) | 2 d x + ∫ Ω F ( u ) d x ≤ 1 2 ( 1 − λ λ k ) ‖ u ‖ V , A 2 + ξ ∫ Ω u 2 d x + C ξ ∫ Ω u q d x ≤ 1 2 ( 1 − λ λ k ) ‖ u ‖ V , A 2 + C * ξ ‖ u ‖ V , A 2 + C * C ξ ‖ u ‖ V , A q</p><p>&lt; 1 2 ( 1 − λ λ k ) ‖ u ‖ V , A 2 + C * λ λ k − 1 4 C * ‖ u ‖ V , A 2 + C * C ξ ‖ u ‖ V , A q &lt; 1 4 ( 1 − λ λ k ) ‖ u ‖ V , A 2 + C * C ξ ‖ u ‖ V , A q (4.6)</p><p>因此，如果要证明条件(R)成立，当且仅当存在 R &gt; 0 使得对 u ∈ Y ， ‖ u ‖ V , A = R 时结合(4.4)以及(4.6)要有下式成立</p><p>1 4 ( 1 − λ λ k ) ‖ u ‖ V . A 2 + C * C ξ ‖ u ‖ V . A q &lt; − 1 2 ‖ h ‖ L 2 ( Ω ) 2 . (4.7)</p><p>记 ‖ u ‖ V , A = r 整理得出下式</p><p>1 4 ( 1 − λ λ k ) r 2 + C * C ξ r q &lt; − 1 2 ‖ h ‖ L 2 ( Ω ) 2 . (4.8)</p><p>记</p><p>Λ ( r ) = 1 4 ( 1 − λ λ k ) r 2 + C * C ξ r q .</p><p>因为 Λ ( r ) 与 ‖ h ‖ L 2 ( Ω ) 无关，并且 λ k &lt; λ 。因为 q &gt; 2 ，故存在某个 R &gt; 0 充分小，使得 Λ ( R ) &lt; 0 。因此存在一个充分小的 α 0 &gt; 0 使得</p><p>Λ ( R ) &lt; − 1 2 ‖ h ‖ L 2 ( Ω ) 2 , ∀ ‖ h ‖ L 2 ( Ω ) 2 &lt; α 0 .</p><p>因此，对任意的 h ∈ L 2 ( Ω ) 且 以及 u ∈ Y 且<inline-formula><inline-graphic xlink:href="//html.hanspub.org/file/10-1250791x277_hanspub.png" xlink:type="simple"/></inline-formula>有</p><p>Λ ( R ) &lt; − 1 2 ‖ h ‖ L 2 ( Ω ) 2 ≤ inf u ∈ Z J V ( u ) ,</p><p>因此满足(R)式。</p><p>综上所述，验证出定理1.1的所有条件都成立，所以泛函 J V 至少存在三个临界点，即方程至少存在三个弱解。</p></sec><sec id="s7"><title>文章引用</title><p>侯安然,李 月. 磁性方程三个解的存在性Existence of Three Solutions for a Magnetic Equation[J]. 理论数学, 2019, 09(03): 299-307. https://doi.org/10.12677/PM.2019.93040</p></sec><sec id="s8"><title>参考文献</title></sec></body><back><ref-list><title>References</title><ref id="hanspub.30134-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Jonas, V. (2018) Multiple Critical Points of Saddle Geometry Functionals. Nonlinear Analysis, 170, 238-257.  
https://doi.org/10.1016/j.na.2018.01.008</mixed-citation></ref><ref id="hanspub.30134-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Ambrosetti, A., Malchiodi, A. and Secchi, S. (2001) Multiplicity Results for some Nonlinear Schrödinger Equations with Potentials. Archive for Rational Mechanics &amp; Analysis, 159, 253-271. https://doi.org/10.1007/s002050100152</mixed-citation></ref><ref id="hanspub.30134-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Cingolani, S. and Lazzo, M. (2000) Multiple Positive Solutions to Nonlinear Schrödinger Equations with Competing Potential Functions. Journal of Differential Equations, 160, 118-138. https://doi.org/10.1006/jdeq.1999.3662</mixed-citation></ref><ref id="hanspub.30134-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Clapp, M. and Ding, Y. (2004) Positive Solutions of a Schrödinger Equation with Critical Nonlinearity. Zeitschrift für Angewandte Mathematik und Physik ZAMP, 55, 592-605. https://doi.org/10.1007/s00033-004-1084-9</mixed-citation></ref><ref id="hanspub.30134-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Ding, Y. and Liu, X. (2013) Semiclassical Solutions of Schrodinger Equations with Magnetic Fields and Critical Nonlinearities. Manuscripta Mathematica, 140, 51-82. https://doi.org/10.1007/s00229-011-0530-1</mixed-citation></ref><ref id="hanspub.30134-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Mukherjee, T. and Sreenadh, K. (2016) Positive Solutions for Nonlinear Choquard Equation with Singular Nonlinearity. Complex Variables and Elliptic Equations, 62, 1044-1071.  
https://doi.org/10.1080/17476933.2016.1260559</mixed-citation></ref><ref id="hanspub.30134-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Goubet, O. and Hamraoui, E. (2017) Blow-Up of Solutions to Cubic Nonlinear Schrödinger Equations with Defect: The Radial Case. Advances in Nonlinear Analysis, 6, 183-197. https://doi.org/10.1515/anona-2016-0238</mixed-citation></ref><ref id="hanspub.30134-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Lü, D. (2015) Existence and Concentration of Solutions for a Nonlinear Choquard Equation. Mediterranean Journal of Mathematics, 12, 839-850. https://doi.org/10.1007/s00009-014-0428-8</mixed-citation></ref><ref id="hanspub.30134-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Lieb, E.H. (2002) Existence and Uniqueness of the Minimizing Solution of Choquard’s Nonlinear Equation. In: Loss, M. and Ruskai, M.B., Eds., Inequalities, Springer, Berlin, Heidelberg, 465-467.  
https://doi.org/10.1007/978-3-642-55925-9_37</mixed-citation></ref><ref id="hanspub.30134-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Salazar, D. (2015) Vortex-Type Solutions to a Magnetic Nonlinear Choquard Equation. Zeitschrift für Angewandte Mathematik and Physik, 66, 663-675. https://doi.org/10.1007/s00033-014-0412-y</mixed-citation></ref><ref id="hanspub.30134-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Adams, R.A. and Fournier, J.J.F. (2003) Sobolev Spaces. Sobolev Spaces, 140, 713-734.</mixed-citation></ref><ref id="hanspub.30134-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Mukherjee, T. and Sreenadh, K. (2016) On Concentration of Least Energy Solutions for Magnetic Critical Choquard Equations. Journal of Mathematical Analysis and Applications, 464, 402-420.</mixed-citation></ref><ref id="hanspub.30134-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Willem, M. (1996) Minimax Theorems. In: Brezis, H., Ed., Progress in Nonlinear Differential Equations and Their Applications, Birkhauser, Basel, 139-141. https://doi.org/10.1007/978-1-4612-4146-1</mixed-citation></ref><ref id="hanspub.30134-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Drabek, P. and Milota, J. (2007) Methods of Nonlinear Analysis: Applications to Differential Equations. In: Krantz, S.G., Kumar, S. and Nekovár, J., Eds., Birkhäuser Advanced Texts Basler Lehrbücher, Birkhauser, Basel.</mixed-citation></ref></ref-list></back></article>