<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.4 20241031//EN" "JATS-journalpublishing1-4.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article" dtd-version="1.4" xml:lang="zh">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">aam</journal-id>
      <journal-title-group>
        <journal-title>Advances in Applied Mathematics</journal-title>
      </journal-title-group>
      <issn pub-type="epub">2324-8009</issn>
      <issn pub-type="ppub">2324-7991</issn>
      <publisher>
        <publisher-name>汉斯出版社</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.12677/aam.2026.154138</article-id>
      <article-id pub-id-type="publisher-id">aam-139114</article-id>
      <article-categories>
        <subj-group>
          <subject>Article</subject>
        </subj-group>
        <subj-group>
          <subject>数学与物理</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>带对数非线性项的Kirchhoff方程的规范解</article-title>
        <trans-title-group xml:lang="en">
          <trans-title>Normalized Solutions for Kirchhoff Equations with Logarithmic Nonlinearity</trans-title>
        </trans-title-group>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name name-style="eastern">
            <surname>陆</surname>
            <given-names>瑞康</given-names>
          </name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="yes">
          <name name-style="eastern">
            <surname>谢</surname>
            <given-names>启林</given-names>
          </name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
      </contrib-group>
      <aff id="aff1"><label>1</label> 广东工业大学数学与统计学院，广东 广州 </aff>
      <pub-date pub-type="epub">
        <day>31</day>
        <month>03</month>
        <year>2026</year>
      </pub-date>
      <pub-date pub-type="collection">
        <month>03</month>
        <year>2026</year>
      </pub-date>
      <volume>15</volume>
      <issue>04</issue>
      <fpage>78</fpage>
      <lpage>86</lpage>
      <history>
        <date date-type="received">
          <day>02</day>
          <month>03</month>
          <year>2026</year>
        </date>
        <date date-type="accepted">
          <day>26</day>
          <month>03</month>
          <year>2026</year>
        </date>
        <date date-type="published">
          <day>07</day>
          <month>04</month>
          <year>2026</year>
        </date>
      </history>
      <permissions>
        <copyright-statement>© 2026 Hans Publishers Inc. All rights reserved.</copyright-statement>
        <copyright-year>2026</copyright-year>
        <license license-type="open-access">
          <license-p> This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license ( <ext-link ext-link-type="uri" xlink:href="https://creativecommons.org/licenses/by/4.0/">https://creativecommons.org/licenses/by/4.0/</ext-link> ). </license-p>
        </license>
      </permissions>
      <self-uri content-type="doi" xlink:href="https://doi.org/10.12677/aam.2026.154138">https://doi.org/10.12677/aam.2026.154138</self-uri>
      <abstract>
        <p>本文旨在研究一类带有对数非线性项的Kirchhoff型方程规范解的存在性问题。文章首先分析了与方程对应的能量泛函在不同参数范围下的几何结构，随后运用变分方法中的极小化序列技巧，结合集中紧性原理研究了该方程是否存在规范解。主要结果表明：在质量次临界和质量临界情形下，该方程存在一个全局基态解；而在质量超临界情形中，则存在一个局部基态解。对比目前现有的结果，本文的结论是对现有相关结果的推广。</p>
      </abstract>
      <trans-abstract xml:lang="en">
        <p>This paper aims to investigate the existence of normalized solutions to a class of Kirchhoff-type equations with logarithmic nonlinearities. The paper first analyzes the geometric structure of the corresponding energy functional under different parameter regimes. Subsequently, variational methods, specifically the technique of minimizing sequences, are applied in conjunction with the concentration compactness principle to systematically explore whether normalized solutions exist for the equation. The main results show that in mass subcritical and mass critical cases, the equation admits a global ground state solution; whereas in the mass supercritical case, a local ground state solution exists. Compared to existing results, the conclusions of this paper extend the current findings in the field.</p>
      </trans-abstract>
      <kwd-group kwd-group-type="author-generated" xml:lang="zh">
        <kwd>规范解</kwd>
        <kwd>基尔霍夫方程</kwd>
        <kwd>对数非线性项</kwd>
      </kwd-group>
      <kwd-group kwd-group-type="author-generated" xml:lang="en">
        <kwd>Normalized Solutions</kwd>
        <kwd>Kirchhoff Equation</kwd>
        <kwd>Logarithmic Nonlinearity</kwd>
      </kwd-group>
      <funding-group>
        <funding-statement>基金项目 科研立项经费支持 广东省自然科学基金资助项目(2026A1515012458; 2022A1515010644)。</funding-statement>
      </funding-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec1">
      <title>1. 引言</title>
      <p>Kirchhoff方程是一类非线性偏微分方程，由Kirchhoff在1883年研究弹性弦横向振动的物理问题时所提出，是经典波动方程d’Alembert’s方程的推广。目前，Kirchhoff方程在流体动力学、波动力学等领域有着广泛的应用，并且在解决等离子体物理、电磁波传播等现代科学问题中显示出其重要性，因而具有重要的理论研究价值。由于Kirchhoff方程包含有一项非局部项，使其分析与经典的波动方程相比更为复杂。然而，在Lion [<xref ref-type="bibr" rid="B1">1</xref>]引入了一种抽象函数分析框架之后，该方程引起了众多数学工作者的研究兴趣[<xref ref-type="bibr" rid="B2">2</xref>][<xref ref-type="bibr" rid="B3">3</xref>]。近来，带对数非线性项的波动方程成为了一个新兴的研究热点。例如，Zloshchastiev [<xref ref-type="bibr" rid="B4">4</xref>]提出的一类量子波动方程，便揭示了对数非线性项对真空色散关系的修正机制。值得强调的是，尽管目前尚无法将这些方程逐一与具体的物理模型完全对应，但对这类非线性波动方程的拓展研究仍具有重要的理论价值。基于上述背景，本文主要研究一类带有对数非线性项的Kirchhoff方程</p>
      <disp-formula id="FD1">
        <label>(1)</label>
        <mml:math display="inline">
          <mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>a</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mi>b</mml:mi>
                <mml:mstyle displaystyle="true">
                  <mml:mrow>
                    <mml:msub>
                      <mml:mo>∫</mml:mo>
                      <mml:mrow>
                        <mml:msup>
                          <mml:mi>R</mml:mi>
                          <mml:mn>3</mml:mn>
                        </mml:msup>
                      </mml:mrow>
                    </mml:msub>
                    <mml:mrow>
                      <mml:msup>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>|</mml:mo>
                            <mml:mrow>
                              <mml:mo>∇</mml:mo>
                              <mml:mi>u</mml:mi>
                            </mml:mrow>
                            <mml:mo>|</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                        <mml:mn>2</mml:mn>
                      </mml:msup>
                      <mml:mtext>d</mml:mtext>
                      <mml:mi>x</mml:mi>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mstyle>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>Δ</mml:mi>
            <mml:mi>u</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mi>λ</mml:mi>
            <mml:mi>u</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:mi>α</mml:mi>
            <mml:mi>u</mml:mi>
            <mml:mi>log</mml:mi>
            <mml:msup>
              <mml:mi>u</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mo>+</mml:mo>
            <mml:mi>μ</mml:mi>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>u</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>p</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>2</mml:mn>
              </mml:mrow>
            </mml:msup>
            <mml:mi>u</mml:mi>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>在质量约束条件为</p>
      <disp-formula id="FD2">
        <mml:math display="inline">
          <mml:mrow>
            <mml:mstyle displaystyle="true">
              <mml:mrow>
                <mml:msub>
                  <mml:mo>∫</mml:mo>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>R</mml:mi>
                      <mml:mn>3</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                </mml:msub>
                <mml:mrow>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mrow>
                        <mml:mo>|</mml:mo>
                        <mml:mi>u</mml:mi>
                        <mml:mo>|</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mtext>d</mml:mtext>
                  <mml:mi>x</mml:mi>
                </mml:mrow>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>=</mml:mo>
            <mml:mi>c</mml:mi>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>下的规范解的存在性，其中，<inline-formula><mml:math><mml:mrow><mml:mi> a </mml:mi><mml:mo> , </mml:mo><mml:mi> b </mml:mi></mml:mrow></mml:math></inline-formula> 是正常数，<inline-formula><mml:math><mml:mi> c </mml:mi></mml:math></inline-formula> 是正参数，<inline-formula><mml:math display="inline"><mml:mrow><mml:mn> 2 </mml:mn><mml:mo> &lt; </mml:mo><mml:mi> p </mml:mi><mml:mo> &lt; </mml:mo><mml:mn> 6 </mml:mn></mml:mrow></mml:math></inline-formula> ，<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> α </mml:mi><mml:mo> , </mml:mo><mml:mi> μ </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> R </mml:mi></mml:mrow></mml:math></inline-formula> ，<inline-formula><mml:math><mml:mrow><mml:mi> λ </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> R </mml:mi></mml:mrow></mml:math></inline-formula> 作为Lagrange乘数。</p>
      <p>特别地，当<inline-formula><mml:math><mml:mrow><mml:mi> a </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mi> b </mml:mi><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 时，方程(1)就退化成经典的Schrödinger方程</p>
      <disp-formula id="FD3">
        <label>(2)</label>
        <mml:math display="inline">
          <mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:mi>Δ</mml:mi>
            <mml:mi>u</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mi>λ</mml:mi>
            <mml:mi>u</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:mi>α</mml:mi>
            <mml:mi>u</mml:mi>
            <mml:mi>log</mml:mi>
            <mml:msup>
              <mml:mi>u</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mo>+</mml:mo>
            <mml:mi>μ</mml:mi>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>u</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>p</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>2</mml:mn>
              </mml:mrow>
            </mml:msup>
            <mml:mi>u</mml:mi>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>在<inline-formula><mml:math><mml:mrow><mml:mi> α </mml:mi><mml:mo> , </mml:mo><mml:mi> c </mml:mi><mml:mo> , </mml:mo><mml:mi> μ </mml:mi></mml:mrow></mml:math></inline-formula> 和<inline-formula><mml:math><mml:mi> p </mml:mi></mml:math></inline-formula> 取不同假设条件下，Shuai和Yang [<xref ref-type="bibr" rid="B5">5</xref>]证明了方程(2)的基态解和激发态解的存在性，同时研究了当<inline-formula><mml:math><mml:mrow><mml:mi> μ </mml:mi><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 时基态解的渐近行为。</p>
      <p>如果将方程(1)中<inline-formula><mml:math><mml:mrow><mml:mi> α </mml:mi><mml:mi> u </mml:mi><mml:mi> log </mml:mi><mml:msup><mml:mi> u </mml:mi><mml:mn> 2 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> 替换成<inline-formula><mml:math><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mi> u </mml:mi><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mi> q </mml:mi><mml:mo> − </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:msup><mml:mi> u </mml:mi></mml:mrow></mml:math></inline-formula> ，则它变成了带组合非线性项的Kirchhoff方程。关于这类方程的研究已经有非常多的结果。Li [<xref ref-type="bibr" rid="B6">6</xref>]等建立了在<inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:mo> &lt; </mml:mo><mml:mi> p </mml:mi><mml:mo> &lt; </mml:mo><mml:mrow><mml:mrow><mml:mn> 10 </mml:mn></mml:mrow><mml:mo> / </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:mrow></mml:math></inline-formula> ，<inline-formula><mml:math><mml:mrow><mml:mrow><mml:mrow><mml:mn> 14 </mml:mn></mml:mrow><mml:mo> / </mml:mo><mml:mn> 3 </mml:mn></mml:mrow><mml:mo> &lt; </mml:mo><mml:mi> q </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 6 </mml:mn></mml:mrow></mml:math></inline-formula> 情况下，方程(1)存在多个规范解的结果，并且分别研究了当<inline-formula><mml:math><mml:mrow><mml:mi> μ </mml:mi><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 和<inline-formula><mml:math><mml:mrow><mml:mi> b </mml:mi><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 时规范解的渐近行为。</p>
      <p>值得提及的是，<inline-formula><mml:math><mml:mrow><mml:mrow><mml:mrow><mml:mn> 14 </mml:mn></mml:mrow><mml:mo> / </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:mrow></mml:math></inline-formula> 是Kirchhoff方程的<inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> L </mml:mi><mml:mn> 2 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> -临界指数，其决定了方程对应泛函的几何结构。于是，在<inline-formula><mml:math><mml:mrow><mml:mi> α </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> 、<inline-formula><mml:math><mml:mrow><mml:mi> c </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 和<inline-formula><mml:math><mml:mrow><mml:mi> μ </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 的假设下，<inline-formula><mml:math><mml:mi> p </mml:mi></mml:math></inline-formula> 的取值范围可划分为<inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:mo> &lt; </mml:mo><mml:mi> p </mml:mi><mml:mo> &lt; </mml:mo><mml:mrow><mml:mrow><mml:mn> 14 </mml:mn></mml:mrow><mml:mo> / </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:mrow></mml:math></inline-formula> 、<inline-formula><mml:math><mml:mrow><mml:mi> p </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mrow><mml:mn> 14 </mml:mn></mml:mrow><mml:mo> / </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:mrow></mml:math></inline-formula> 、<inline-formula><mml:math><mml:mrow><mml:mrow><mml:mrow><mml:mn> 14 </mml:mn></mml:mrow><mml:mo> / </mml:mo><mml:mn> 3 </mml:mn></mml:mrow><mml:mo> &lt; </mml:mo><mml:mi> p </mml:mi><mml:mo> &lt; </mml:mo><mml:mn> 6 </mml:mn></mml:mrow></mml:math></inline-formula> 这三种情形。本文将运用变分法中的极小化序列技巧和集中紧性原理来证明方程(1)在这些情形中的规范解存在性。此外，本文还考虑了<inline-formula><mml:math><mml:mrow><mml:mi> α </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> 、<inline-formula><mml:math><mml:mrow><mml:mtext> c </mml:mtext><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 、<inline-formula><mml:math><mml:mrow><mml:mi> μ </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 以及<inline-formula><mml:math><mml:mrow><mml:mi> p </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> 的情形。</p>
    </sec>
    <sec id="sec2">
      <title>2. 预备知识及主要结果</title>
      <p>虽然方程(1)在形式上具有与能量泛函</p>
      <disp-formula id="FD4">
        <mml:math>
          <mml:mtable columnalign="left">
            <mml:mtr>
              <mml:mtd>
                <mml:msub>
                  <mml:mi>I</mml:mi>
                  <mml:mi>λ</mml:mi>
                </mml:msub>
                <mml:mo stretchy="false">(</mml:mo>
                <mml:mi>u</mml:mi>
                <mml:mo stretchy="false">)</mml:mo>
                <mml:mo>=</mml:mo>
                <mml:mfrac>
                  <mml:mi>a</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:mstyle displaystyle="true">
                  <mml:mrow>
                    <mml:msub>
                      <mml:mo>∫</mml:mo>
                      <mml:mrow>
                        <mml:msup>
                          <mml:mi>R</mml:mi>
                          <mml:mn>3</mml:mn>
                        </mml:msup>
                      </mml:mrow>
                    </mml:msub>
                    <mml:mrow>
                      <mml:msup>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>|</mml:mo>
                            <mml:mrow>
                              <mml:mo>∇</mml:mo>
                              <mml:mi>u</mml:mi>
                            </mml:mrow>
                            <mml:mo>|</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                        <mml:mn>2</mml:mn>
                      </mml:msup>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mstyle>
                <mml:mtext>d</mml:mtext>
                <mml:mi>x</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:mi>α</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mi>λ</mml:mi>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:mstyle displaystyle="true">
                  <mml:mrow>
                    <mml:msub>
                      <mml:mo>∫</mml:mo>
                      <mml:mrow>
                        <mml:msup>
                          <mml:mi>R</mml:mi>
                          <mml:mn>3</mml:mn>
                        </mml:msup>
                      </mml:mrow>
                    </mml:msub>
                    <mml:mrow>
                      <mml:msup>
                        <mml:mi>u</mml:mi>
                        <mml:mn>2</mml:mn>
                      </mml:msup>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mstyle>
                <mml:mtext>d</mml:mtext>
                <mml:mi>x</mml:mi>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mo>+</mml:mo>
                <mml:mfrac>
                  <mml:mi>b</mml:mi>
                  <mml:mn>4</mml:mn>
                </mml:mfrac>
                <mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mstyle displaystyle="true">
                        <mml:mrow>
                          <mml:msub>
                            <mml:mo>∫</mml:mo>
                            <mml:mrow>
                              <mml:msup>
                                <mml:mi>R</mml:mi>
                                <mml:mn>3</mml:mn>
                              </mml:msup>
                            </mml:mrow>
                          </mml:msub>
                          <mml:mrow>
                            <mml:msup>
                              <mml:mrow>
                                <mml:mrow>
                                  <mml:mo>|</mml:mo>
                                  <mml:mrow>
                                    <mml:mo>∇</mml:mo>
                                    <mml:mi>u</mml:mi>
                                  </mml:mrow>
                                  <mml:mo>|</mml:mo>
                                </mml:mrow>
                              </mml:mrow>
                              <mml:mn>2</mml:mn>
                            </mml:msup>
                            <mml:mtext>d</mml:mtext>
                            <mml:mi>x</mml:mi>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:mstyle>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msup>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mi>α</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:mstyle displaystyle="true">
                  <mml:mrow>
                    <mml:msub>
                      <mml:mo>∫</mml:mo>
                      <mml:mrow>
                        <mml:msup>
                          <mml:mi>R</mml:mi>
                          <mml:mn>3</mml:mn>
                        </mml:msup>
                      </mml:mrow>
                    </mml:msub>
                    <mml:mrow>
                      <mml:msup>
                        <mml:mi>u</mml:mi>
                        <mml:mn>2</mml:mn>
                      </mml:msup>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mstyle>
                <mml:mi>log</mml:mi>
                <mml:msup>
                  <mml:mi>u</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msup>
                <mml:mtext>d</mml:mtext>
                <mml:mi>x</mml:mi>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mi>μ</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:mfrac>
                <mml:mstyle displaystyle="true">
                  <mml:mrow>
                    <mml:msub>
                      <mml:mo>∫</mml:mo>
                      <mml:mrow>
                        <mml:msup>
                          <mml:mi>R</mml:mi>
                          <mml:mn>3</mml:mn>
                        </mml:msup>
                      </mml:mrow>
                    </mml:msub>
                    <mml:mrow>
                      <mml:msup>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>|</mml:mo>
                            <mml:mi>u</mml:mi>
                            <mml:mo>|</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                        <mml:mi>p</mml:mi>
                      </mml:msup>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mstyle>
                <mml:mtext>d</mml:mtext>
                <mml:mi>x</mml:mi>
              </mml:mtd>
            </mml:mtr>
          </mml:mtable>
        </mml:math>
      </disp-formula>
      <p>相关的变分结构，但是该能量泛函在常规的Sobolev空间上无法良好定义。而Cazenave [<xref ref-type="bibr" rid="B7">7</xref>]提出了一种新的研究思路，可以考虑把能量泛函放在Banach空间</p>
      <disp-formula id="FD5">
        <label>(3)</label>
        <mml:math display="inline">
          <mml:mrow>
            <mml:mi>W</mml:mi>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mi>u</mml:mi>
                    <mml:mo>∈</mml:mo>
                    <mml:msup>
                      <mml:mi>H</mml:mi>
                      <mml:mn>1</mml:mn>
                    </mml:msup>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:msup>
                          <mml:mi>R</mml:mi>
                          <mml:mn>3</mml:mn>
                        </mml:msup>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
                <mml:mstyle displaystyle="true">
                  <mml:mrow>
                    <mml:msub>
                      <mml:mo>∫</mml:mo>
                      <mml:mrow>
                        <mml:msup>
                          <mml:mi>R</mml:mi>
                          <mml:mn>3</mml:mn>
                        </mml:msup>
                      </mml:mrow>
                    </mml:msub>
                    <mml:mrow>
                      <mml:msup>
                        <mml:mi>u</mml:mi>
                        <mml:mn>2</mml:mn>
                      </mml:msup>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mstyle>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mrow>
                    <mml:mi>log</mml:mi>
                    <mml:msup>
                      <mml:mi>u</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
                <mml:mtext>d</mml:mtext>
                <mml:mi>x</mml:mi>
                <mml:mo>&lt;</mml:mo>
                <mml:mi>∞</mml:mi>
              </mml:mrow>
              <mml:mo>}</mml:mo>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>上进行研究，该空间具备的范数定义为</p>
      <disp-formula id="FD6">
        <mml:math display="inline">
          <mml:mrow>
            <mml:msub>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mi>u</mml:mi>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>W</mml:mi>
            </mml:msub>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mi>u</mml:mi>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>H</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:msup>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>R</mml:mi>
                      <mml:mn>3</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:mi>inf</mml:mi>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mi>k</mml:mi>
                    <mml:mo>&gt;</mml:mo>
                    <mml:mn>0</mml:mn>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
                <mml:mstyle displaystyle="true">
                  <mml:mrow>
                    <mml:msub>
                      <mml:mo>∫</mml:mo>
                      <mml:mrow>
                        <mml:msup>
                          <mml:mi>R</mml:mi>
                          <mml:mn>3</mml:mn>
                        </mml:msup>
                      </mml:mrow>
                    </mml:msub>
                    <mml:mi>A</mml:mi>
                  </mml:mrow>
                </mml:mstyle>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>k</mml:mi>
                      <mml:mrow>
                        <mml:mo>−</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:msup>
                    <mml:mrow>
                      <mml:mo>|</mml:mo>
                      <mml:mi>u</mml:mi>
                      <mml:mo>|</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mtext>d</mml:mtext>
                <mml:mi>x</mml:mi>
                <mml:mo>≤</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mo>}</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>其中</p>
      <disp-formula id="FD7">
        <label>(4)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>A</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>s</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mtable columnalign="left">
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mo>−</mml:mo>
                        <mml:msup>
                          <mml:mi>s</mml:mi>
                          <mml:mn>2</mml:mn>
                        </mml:msup>
                        <mml:mi>log</mml:mi>
                        <mml:msup>
                          <mml:mi>s</mml:mi>
                          <mml:mn>2</mml:mn>
                        </mml:msup>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>
                        </mml:mtext>
                        <mml:mi>当</mml:mi>
                        <mml:mtext>
                        </mml:mtext>
                        <mml:mn>0</mml:mn>
                        <mml:mo>≤</mml:mo>
                        <mml:mi>s</mml:mi>
                        <mml:mo>≤</mml:mo>
                        <mml:msup>
                          <mml:mi>e</mml:mi>
                          <mml:mrow>
                            <mml:mo>−</mml:mo>
                            <mml:mn>3</mml:mn>
                          </mml:mrow>
                        </mml:msup>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mn>3</mml:mn>
                        <mml:msup>
                          <mml:mi>s</mml:mi>
                          <mml:mn>2</mml:mn>
                        </mml:msup>
                        <mml:mo>+</mml:mo>
                        <mml:mn>4</mml:mn>
                        <mml:msup>
                          <mml:mi>e</mml:mi>
                          <mml:mrow>
                            <mml:mo>−</mml:mo>
                            <mml:mn>3</mml:mn>
                          </mml:mrow>
                        </mml:msup>
                        <mml:mi>s</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:msup>
                          <mml:mi>e</mml:mi>
                          <mml:mrow>
                            <mml:mo>−</mml:mo>
                            <mml:mn>6</mml:mn>
                          </mml:mrow>
                        </mml:msup>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>
                        </mml:mtext>
                        <mml:mi>当</mml:mi>
                        <mml:mtext>
                        </mml:mtext>
                        <mml:msup>
                          <mml:mi>e</mml:mi>
                          <mml:mrow>
                            <mml:mo>−</mml:mo>
                            <mml:mn>3</mml:mn>
                          </mml:mrow>
                        </mml:msup>
                        <mml:mo>&lt;</mml:mo>
                        <mml:mi>s</mml:mi>
                        <mml:mo>。</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
              </mml:mrow>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>事实上，由文献[<xref ref-type="bibr" rid="B7">7</xref>]可知，<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> I </mml:mi><mml:mi> λ </mml:mi></mml:msub><mml:mo> : </mml:mo><mml:mi> W </mml:mi><mml:mo> → </mml:mo><mml:mi> R </mml:mi></mml:mrow></mml:math></inline-formula> 是良好定义的且光滑的。因此，方程(1)的解可变为求能量泛函</p>
      <disp-formula id="FD8">
        <mml:math display="inline">
          <mml:mtable columnalign="left">
            <mml:mtr>
              <mml:mtd>
                <mml:mi>I</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>u</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>:</mml:mo>
                <mml:mo>=</mml:mo>
                <mml:mfrac>
                  <mml:mi>a</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:msubsup>
                <mml:mo>+</mml:mo>
                <mml:mfrac>
                  <mml:mi>b</mml:mi>
                  <mml:mn>4</mml:mn>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>4</mml:mn>
                </mml:msubsup>
                <mml:mo>+</mml:mo>
                <mml:mfrac>
                  <mml:mi>α</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>u</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:msubsup>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mi>α</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:mstyle displaystyle="true">
                  <mml:mrow>
                    <mml:msub>
                      <mml:mo>∫</mml:mo>
                      <mml:mrow>
                        <mml:msup>
                          <mml:mi>R</mml:mi>
                          <mml:mn>3</mml:mn>
                        </mml:msup>
                      </mml:mrow>
                    </mml:msub>
                    <mml:mrow>
                      <mml:msup>
                        <mml:mi>u</mml:mi>
                        <mml:mn>2</mml:mn>
                      </mml:msup>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mstyle>
                <mml:mi>log</mml:mi>
                <mml:msup>
                  <mml:mi>u</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msup>
                <mml:mtext>d</mml:mtext>
                <mml:mi>x</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mi>μ</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>u</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mi>p</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:msubsup>
              </mml:mtd>
            </mml:mtr>
          </mml:mtable>
        </mml:math>
      </disp-formula>
      <p>在约束条件</p>
      <disp-formula id="FD9">
        <mml:math display="inline">
          <mml:mrow>
            <mml:msub>
              <mml:mi>S</mml:mi>
              <mml:mi>c</mml:mi>
            </mml:msub>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mi>u</mml:mi>
                    <mml:mo>∈</mml:mo>
                    <mml:mi>W</mml:mi>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
                <mml:mstyle displaystyle="true">
                  <mml:mrow>
                    <mml:msub>
                      <mml:mo>∫</mml:mo>
                      <mml:mrow>
                        <mml:msup>
                          <mml:mi>R</mml:mi>
                          <mml:mn>3</mml:mn>
                        </mml:msup>
                      </mml:mrow>
                    </mml:msub>
                    <mml:mrow>
                      <mml:msup>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>|</mml:mo>
                            <mml:mi>u</mml:mi>
                            <mml:mo>|</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                        <mml:mn>2</mml:mn>
                      </mml:msup>
                      <mml:mtext>d</mml:mtext>
                      <mml:mi>x</mml:mi>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mstyle>
                <mml:mo>=</mml:mo>
                <mml:mi>c</mml:mi>
              </mml:mrow>
              <mml:mo>}</mml:mo>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>下的临界点来获得。</p>
      <p>首先回顾Gagliardo-Nirenberg [<xref ref-type="bibr" rid="B8">8</xref>][<xref ref-type="bibr" rid="B9">9</xref>]不等式：对所有<inline-formula><mml:math><mml:mrow><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:msup><mml:mi> H </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> R </mml:mi></mml:mstyle><mml:mn> 3 </mml:mn></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> ，<inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:mo> &lt; </mml:mo><mml:mi> t </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 6 </mml:mn></mml:mrow></mml:math></inline-formula> ，有下面不等式</p>
      <disp-formula id="FD10">
        <label>(5)</label>
        <mml:math display="inline">
          <mml:mrow>
            <mml:mrow>
              <mml:mo>‖</mml:mo>
              <mml:mi>u</mml:mi>
              <mml:mo>‖</mml:mo>
            </mml:mrow>
            <mml:msubsup>
              <mml:mo>|</mml:mo>
              <mml:mi>t</mml:mi>
              <mml:mi>t</mml:mi>
            </mml:msubsup>
            <mml:mo>≤</mml:mo>
            <mml:msubsup>
              <mml:mi>C</mml:mi>
              <mml:mi>t</mml:mi>
              <mml:mi>t</mml:mi>
            </mml:msubsup>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>u</mml:mi>
                  </mml:mrow>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>γ</mml:mi>
                  <mml:mi>t</mml:mi>
                </mml:msub>
                <mml:mi>t</mml:mi>
              </mml:mrow>
            </mml:msubsup>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mi>u</mml:mi>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mn>1</mml:mn>
                    <mml:mo>−</mml:mo>
                    <mml:msub>
                      <mml:mi>γ</mml:mi>
                      <mml:mi>t</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mi>t</mml:mi>
              </mml:mrow>
            </mml:msubsup>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>其中<inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> C </mml:mi><mml:mi> t </mml:mi><mml:mi> t </mml:mi></mml:msubsup><mml:mo> : </mml:mo><mml:mo> = </mml:mo><mml:mrow><mml:mi> t </mml:mi><mml:mo> / </mml:mo><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mn> 2 </mml:mn><mml:msubsup><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mi> Q </mml:mi><mml:mo> ‖ </mml:mo></mml:mrow></mml:mrow><mml:mn> 2 </mml:mn><mml:mrow><mml:mi> t </mml:mi><mml:mo> − </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:msubsup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:mrow></mml:mrow></mml:math></inline-formula> ，且<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> γ </mml:mi><mml:mi> t </mml:mi></mml:msub><mml:mo> : </mml:mo><mml:mo> = </mml:mo><mml:mrow><mml:mrow><mml:mn> 3 </mml:mn><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> t </mml:mi><mml:mo> − </mml:mo><mml:mn> 2 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> / </mml:mo><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> t </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:mrow></mml:mrow></mml:math></inline-formula> ，其中<inline-formula><mml:math><mml:mi> Q </mml:mi></mml:math></inline-formula> 满足</p>
      <disp-formula id="FD11">
        <mml:math>
          <mml:mrow>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>Q</mml:mi>
                  </mml:mrow>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:msubsup>
            <mml:mo>=</mml:mo>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mi>Q</mml:mi>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:msubsup>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>‖</mml:mo>
                      <mml:mi>Q</mml:mi>
                      <mml:mo>‖</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mi>p</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:msubsup>
              </mml:mrow>
              <mml:mo>/</mml:mo>
              <mml:mi>p</mml:mi>
            </mml:mrow>
            <mml:mo>。</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>下面介绍本文中的主要结果。定义<inline-formula><mml:math display="inline"><mml:mi> I </mml:mi></mml:math></inline-formula> 在<inline-formula><mml:math display="inline"><mml:mrow><mml:msub><mml:mi> S </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 上的下确界为</p>
      <disp-formula id="FD12">
        <mml:math display="inline">
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>c</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:munder>
              <mml:mrow>
                <mml:mi>inf</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>u</mml:mi>
                <mml:mo>∈</mml:mo>
                <mml:msub>
                  <mml:mi>S</mml:mi>
                  <mml:mi>c</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:munder>
            <mml:mi>I</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>u</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>。</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><bold>定理</bold><bold>1.1</bold><bold>：</bold>假设<inline-formula><mml:math><mml:mrow><mml:mi> α </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mi> c </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 。如果下列三个条件中有一个成立</p>
      <p>1) <inline-formula><mml:math><mml:mrow><mml:mi> μ </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 且<inline-formula><mml:math><mml:mrow><mml:mi> p </mml:mi><mml:mtext> &gt;2 </mml:mtext></mml:mrow></mml:math></inline-formula> ；</p>
      <p>2) <inline-formula><mml:math><mml:mrow><mml:mi> μ </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 且<inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:mo> &lt; </mml:mo><mml:mi> p </mml:mi><mml:mo> &lt; </mml:mo><mml:mrow><mml:mrow><mml:mn> 14 </mml:mn></mml:mrow><mml:mo> / </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:mrow></mml:math></inline-formula> ；</p>
      <p>3) <inline-formula><mml:math><mml:mrow><mml:mi> μ </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn><mml:mo> , </mml:mo><mml:mi> p </mml:mi><mml:mo> = </mml:mo><mml:mover accent="true"><mml:mi> p </mml:mi><mml:mo> ¯ </mml:mo></mml:mover><mml:mo> : </mml:mo><mml:mo> = </mml:mo><mml:mrow><mml:mrow><mml:mn> 14 </mml:mn></mml:mrow><mml:mo> / </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:mrow></mml:math></inline-formula> 且<inline-formula><mml:math><mml:mrow><mml:mi> c </mml:mi><mml:mo> &lt; </mml:mo><mml:msup><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mfrac><mml:mrow><mml:mi> b </mml:mi><mml:mover accent="true"><mml:mi> p </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:mrow><mml:mrow><mml:mn> 4 </mml:mn><mml:mi> μ </mml:mi><mml:msubsup><mml:mi> C </mml:mi><mml:mover accent="true"><mml:mi> p </mml:mi><mml:mo> ¯ </mml:mo></mml:mover><mml:mover accent="true"><mml:mi> p </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:msubsup></mml:mrow></mml:mfrac></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mfrac><mml:mn> 2 </mml:mn><mml:mrow><mml:mover accent="true"><mml:mi> p </mml:mi><mml:mo> ¯ </mml:mo></mml:mover><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> − </mml:mo><mml:msub><mml:mi> γ </mml:mi><mml:mover accent="true"><mml:mi> p </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:mfrac></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> ；</p>
      <p>则下确界<inline-formula><mml:math display="inline"><mml:mrow><mml:mi> m </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> c </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 存在一个极小化元<inline-formula><mml:math><mml:mrow><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:msub><mml:mi> S </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 。此外，<inline-formula><mml:math><mml:mi> u </mml:mi></mml:math></inline-formula> 是正的、径向对称的、递减的函数，并且是方程(1)的全局基态解。</p>
      <p>当<inline-formula><mml:math><mml:mrow><mml:mi> μ </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 且<inline-formula><mml:math><mml:mrow><mml:mrow><mml:mrow><mml:mn> 14 </mml:mn></mml:mrow><mml:mo> / </mml:mo><mml:mn> 3 </mml:mn></mml:mrow><mml:mo> &lt; </mml:mo><mml:mi> p </mml:mi><mml:mo> &lt; </mml:mo><mml:mn> 6 </mml:mn></mml:mrow></mml:math></inline-formula> 时，可容易推出<inline-formula><mml:math display="inline"><mml:mrow><mml:munder><mml:mrow><mml:mi> inf </mml:mi></mml:mrow><mml:mrow><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:msub><mml:mi> S </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:munder><mml:mi> I </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:mi> ∞ </mml:mi></mml:mrow></mml:math></inline-formula> 。因此，在这种情况下，方程(1)没有全局基态解。受到文献[<xref ref-type="bibr" rid="B10">10</xref>]的启发，这里引入下列Pohozaev流形</p>
      <disp-formula id="FD13">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>c</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mi>u</mml:mi>
                    <mml:mo>∈</mml:mo>
                    <mml:msub>
                      <mml:mi>S</mml:mi>
                      <mml:mi>c</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
                <mml:mi>P</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>u</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>=</mml:mo>
                <mml:mn>0</mml:mn>
              </mml:mrow>
              <mml:mo>}</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>其中</p>
      <disp-formula id="FD14">
        <label>(6)</label>
        <mml:math>
          <mml:mtable columnalign="left">
            <mml:mtr>
              <mml:mtd>
                <mml:mi>P</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>u</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>:</mml:mo>
                <mml:mo>=</mml:mo>
                <mml:mi>a</mml:mi>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:msubsup>
                <mml:mo>+</mml:mo>
                <mml:mi>b</mml:mi>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>4</mml:mn>
                </mml:msubsup>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mo>−</mml:mo>
                <mml:mi>μ</mml:mi>
                <mml:msub>
                  <mml:mi>γ</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:msub>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>u</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mi>p</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:msubsup>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:mn>3</mml:mn>
                    <mml:mi>α</mml:mi>
                    <mml:mi>c</mml:mi>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
              </mml:mtd>
            </mml:mtr>
          </mml:mtable>
        </mml:math>
      </disp-formula>
      <p>且<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> γ </mml:mi><mml:mi> p </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:mrow><mml:mrow><mml:mn> 3 </mml:mn><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> p </mml:mi><mml:mo> − </mml:mo><mml:mn> 2 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> / </mml:mo><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> p </mml:mi></mml:mrow></mml:mrow></mml:mrow></mml:math></inline-formula> 。如果<inline-formula><mml:math><mml:mrow><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> W </mml:mi></mml:mrow></mml:math></inline-formula> 是方程(1)的弱解，则<inline-formula><mml:math><mml:mi> u </mml:mi></mml:math></inline-formula> 满足Pohozaev恒等式<inline-formula><mml:math><mml:mrow><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 。对任意<inline-formula><mml:math><mml:mrow><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:msub><mml:mi> S </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 和<inline-formula><mml:math><mml:mrow><mml:mi> s </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> R </mml:mi></mml:mrow></mml:math></inline-formula> ，定义伸缩变换</p>
      <disp-formula id="FD15">
        <mml:math>
          <mml:mrow>
            <mml:mi>s</mml:mi>
            <mml:mo>⋆</mml:mo>
            <mml:mi>u</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mi>e</mml:mi>
              <mml:mrow>
                <mml:mn>3</mml:mn>
                <mml:mi>s</mml:mi>
                <mml:mo>/</mml:mo>
                <mml:mn>2</mml:mn>
              </mml:mrow>
            </mml:msup>
            <mml:mi>u</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>e</mml:mi>
                  <mml:mi>s</mml:mi>
                </mml:msup>
                <mml:mi>x</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
            <mml:mi>
            </mml:mi>
            <mml:mi>x</mml:mi>
            <mml:mo>∈</mml:mo>
            <mml:msup>
              <mml:mi>R</mml:mi>
              <mml:mn>3</mml:mn>
            </mml:msup>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>则</p>
      <disp-formula id="FD16">
        <mml:math>
          <mml:mrow>
            <mml:mi>P</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>s</mml:mi>
                <mml:mo>⋆</mml:mo>
                <mml:mi>u</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mi>a</mml:mi>
            <mml:msup>
              <mml:mi>e</mml:mi>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:mi>s</mml:mi>
              </mml:mrow>
            </mml:msup>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>u</mml:mi>
                  </mml:mrow>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:msubsup>
            <mml:mo>+</mml:mo>
            <mml:mi>b</mml:mi>
            <mml:msup>
              <mml:mi>e</mml:mi>
              <mml:mrow>
                <mml:mn>4</mml:mn>
                <mml:mi>s</mml:mi>
              </mml:mrow>
            </mml:msup>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>u</mml:mi>
                  </mml:mrow>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mn>4</mml:mn>
            </mml:msubsup>
            <mml:mo>−</mml:mo>
            <mml:mi>μ</mml:mi>
            <mml:msub>
              <mml:mi>γ</mml:mi>
              <mml:mi>p</mml:mi>
            </mml:msub>
            <mml:msup>
              <mml:mi>e</mml:mi>
              <mml:mrow>
                <mml:mi>p</mml:mi>
                <mml:msub>
                  <mml:mi>γ</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:msub>
                <mml:mi>s</mml:mi>
              </mml:mrow>
            </mml:msup>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mi>u</mml:mi>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>p</mml:mi>
              <mml:mi>p</mml:mi>
            </mml:msubsup>
            <mml:mo>−</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mn>3</mml:mn>
                <mml:mi>α</mml:mi>
                <mml:mi>c</mml:mi>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mo>。</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Pohozaev流形<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 与下列的纤维映射紧密相关</p>
      <disp-formula id="FD17">
        <mml:math display="inline">
          <mml:mtable columnalign="left">
            <mml:mtr>
              <mml:mtd>
                <mml:msub>
                  <mml:mtext>Ψ</mml:mtext>
                  <mml:mi>u</mml:mi>
                </mml:msub>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>s</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>:</mml:mo>
                <mml:mo>=</mml:mo>
                <mml:mi>I</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>s</mml:mi>
                    <mml:mo>⋆</mml:mo>
                    <mml:mi>u</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>=</mml:mo>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:mi>a</mml:mi>
                    <mml:msup>
                      <mml:mi>e</mml:mi>
                      <mml:mrow>
                        <mml:mn>2</mml:mn>
                        <mml:mi>s</mml:mi>
                      </mml:mrow>
                    </mml:msup>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:msubsup>
                <mml:mo>+</mml:mo>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:mi>b</mml:mi>
                    <mml:msup>
                      <mml:mi>e</mml:mi>
                      <mml:mrow>
                        <mml:mn>4</mml:mn>
                        <mml:mi>s</mml:mi>
                      </mml:mrow>
                    </mml:msup>
                  </mml:mrow>
                  <mml:mn>4</mml:mn>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>4</mml:mn>
                </mml:msubsup>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mo>+</mml:mo>
                <mml:mfrac>
                  <mml:mi>α</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>u</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:msubsup>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:mn>3</mml:mn>
                    <mml:mi>s</mml:mi>
                    <mml:mi>α</mml:mi>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>u</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:msubsup>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mi>α</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:msub>
                  <mml:mstyle mathsize="140%" displaystyle="true">
                    <mml:mo>∫</mml:mo>
                  </mml:mstyle>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>R</mml:mi>
                      <mml:mn>3</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                </mml:msub>
                <mml:msup>
                  <mml:mi>u</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msup>
                <mml:mtext>log</mml:mtext>
                <mml:msup>
                  <mml:mi>u</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msup>
                <mml:mtext>d</mml:mtext>
                <mml:mi>x</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:mi>μ</mml:mi>
                    <mml:msup>
                      <mml:mi>e</mml:mi>
                      <mml:mrow>
                        <mml:mi>p</mml:mi>
                        <mml:msub>
                          <mml:mi>γ</mml:mi>
                          <mml:mi>p</mml:mi>
                        </mml:msub>
                        <mml:mi>s</mml:mi>
                      </mml:mrow>
                    </mml:msup>
                  </mml:mrow>
                  <mml:mi>p</mml:mi>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>u</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mi>p</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:msubsup>
                <mml:mo>。</mml:mo>
              </mml:mtd>
            </mml:mtr>
          </mml:mtable>
        </mml:math>
      </disp-formula>
      <p>通过直接的计算，可以得到对任意<inline-formula><mml:math><mml:mrow><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:msub><mml:mi> S </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 和<inline-formula><mml:math><mml:mrow><mml:mi> s </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> R </mml:mi></mml:mrow></mml:math></inline-formula> ，有<inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mtext> Ψ </mml:mtext><mml:mi> u </mml:mi><mml:mo> ' </mml:mo></mml:msubsup><mml:mrow><mml:mo> ( </mml:mo><mml:mi> s </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> s </mml:mi><mml:mo> ⋆ </mml:mo><mml:mi> u </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 。由此可见纤维映射<inline-formula><mml:math><mml:mrow><mml:msub><mml:mtext> Ψ </mml:mtext><mml:mi> u </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> s </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 的临界点可将函数投影至Pohozaev流形<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 上。因此，<inline-formula><mml:math><mml:mrow><mml:msub><mml:mtext> Ψ </mml:mtext><mml:mi> u </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> s </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 的单调性与凸性将显著影响<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 的结构。为了寻找方程(1)的局部基态解，定义下列集合</p>
      <disp-formula id="FD18">
        <mml:math display="inline">
          <mml:mrow>
            <mml:msub>
              <mml:mi>V</mml:mi>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>k</mml:mi>
                  <mml:mn>0</mml:mn>
                </mml:msub>
              </mml:mrow>
            </mml:msub>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mi>u</mml:mi>
                    <mml:mo>∈</mml:mo>
                    <mml:msub>
                      <mml:mi>S</mml:mi>
                      <mml:mi>c</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>‖</mml:mo>
                      <mml:mrow>
                        <mml:mo>∇</mml:mo>
                        <mml:mi>u</mml:mi>
                      </mml:mrow>
                      <mml:mo>‖</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:msubsup>
                <mml:mo>&lt;</mml:mo>
                <mml:msub>
                  <mml:mi>k</mml:mi>
                  <mml:mn>0</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>}</mml:mo>
            </mml:mrow>
            <mml:mi>，</mml:mi>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>其中<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> k </mml:mi><mml:mn> 0 </mml:mn></mml:msub><mml:mo> &lt; </mml:mo><mml:mi> c </mml:mi></mml:mrow></mml:math></inline-formula> 为常数，并且定义<inline-formula><mml:math display="inline"><mml:mi> I </mml:mi></mml:math></inline-formula> 在<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> V </mml:mi><mml:mrow><mml:msub><mml:mi> k </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> 上的下确界为</p>
      <disp-formula id="FD19">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>m</mml:mi>
              <mml:mi>c</mml:mi>
            </mml:msub>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:munder>
              <mml:mrow>
                <mml:mtext>inf</mml:mtext>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>u</mml:mi>
                <mml:mo>∈</mml:mo>
                <mml:msub>
                  <mml:mi>V</mml:mi>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>k</mml:mi>
                      <mml:mn>0</mml:mn>
                    </mml:msub>
                  </mml:mrow>
                </mml:msub>
              </mml:mrow>
            </mml:munder>
            <mml:mi>I</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>u</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>。</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><bold>定理</bold><bold>1.2</bold><bold>：</bold>假设<inline-formula><mml:math><mml:mrow><mml:mi> α </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mi> μ </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn><mml:mo> , </mml:mo><mml:mrow><mml:mrow><mml:mn> 14 </mml:mn></mml:mrow><mml:mo> / </mml:mo><mml:mn> 3 </mml:mn></mml:mrow><mml:mo> &lt; </mml:mo><mml:mi> p </mml:mi><mml:mo> &lt; </mml:mo><mml:mn> 6 </mml:mn></mml:mrow></mml:math></inline-formula> 。存在常数<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> c </mml:mi><mml:mo> * </mml:mo></mml:msub><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> ，使得当<inline-formula><mml:math><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> &lt; </mml:mo><mml:mi> c </mml:mi><mml:mo> ≤ </mml:mo><mml:msub><mml:mi> c </mml:mi><mml:mo> * </mml:mo></mml:msub></mml:mrow></mml:math></inline-formula> 时，下确界<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> m </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 存在一个局部极小化元<inline-formula><mml:math><mml:mrow><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:msub><mml:mi> V </mml:mi><mml:mrow><mml:msub><mml:mi> k </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> 。此外，<inline-formula><mml:math><mml:mi> u </mml:mi></mml:math></inline-formula> 是正的、径向对称的函数，并且是方程(1)的局部基态解。</p>
      <p> 在本文中，我们使用以下符号：<inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> L </mml:mi><mml:mi> p </mml:mi></mml:msup><mml:mo> = </mml:mo><mml:msup><mml:mi> L </mml:mi><mml:mi> p </mml:mi></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 表示赋范空间，其范数表示为<inline-formula><mml:math><mml:mrow><mml:msub><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mi> u </mml:mi><mml:mo> ‖ </mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msup><mml:mi> L </mml:mi><mml:mi> p </mml:mi></mml:msup><mml:mo stretchy="false"> ( </mml:mo><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup><mml:mo stretchy="false"> ) </mml:mo></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mi> u </mml:mi><mml:mo> ‖ </mml:mo></mml:mrow></mml:mrow><mml:mi> p </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 。而<inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> H </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 表示常规的Sobolev空间，其范数表示为<inline-formula><mml:math><mml:mrow><mml:msub><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mi> u </mml:mi><mml:mo> ‖ </mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:msup><mml:mi> H </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mo stretchy="false"> ( </mml:mo><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup><mml:mo stretchy="false"> ) </mml:mo></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:msup><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle displaystyle="true"><mml:mrow><mml:msub><mml:mo> ∫ </mml:mo><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:msub><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mrow><mml:mo> ∇ </mml:mo><mml:mi> u </mml:mi></mml:mrow><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mn> 2 </mml:mn></mml:msup><mml:mo> + </mml:mo><mml:msup><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mi> u </mml:mi><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mn> 2 </mml:mn></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:mrow></mml:mstyle><mml:mtext> d </mml:mtext><mml:mi> x </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> / </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> 。<inline-formula><mml:math><mml:mo> ⇀ </mml:mo></mml:math></inline-formula> 和<inline-formula><mml:math><mml:mo> → </mml:mo></mml:math></inline-formula> 分别表示在相关函数空间中的弱收敛和强收敛。</p>
    </sec>
    <sec id="sec3">
      <title>3. 相关引理</title>
      <p>在本节中，首先给出定理1.1和定理1.2所需要的一些引理。定义函数</p>
      <disp-formula id="FD20">
        <mml:math>
          <mml:mrow>
            <mml:mi>B</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>s</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mi>s</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mi>log</mml:mi>
            <mml:msup>
              <mml:mi>s</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mo>+</mml:mo>
            <mml:mi>A</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>s</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>其中，<inline-formula><mml:math><mml:mi> A </mml:mi></mml:math></inline-formula> 由式(4)所定义。由引理1.2 [<xref ref-type="bibr" rid="B7">7</xref>]可知，<inline-formula><mml:math><mml:mi> A </mml:mi></mml:math></inline-formula> 是一个正的凸增函数，并且对于任意<inline-formula><mml:math><mml:mrow><mml:mi> s </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> ，存在一个常数<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> q </mml:mi></mml:msub><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> ，使得</p>
      <disp-formula id="FD21">
        <label>(7)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>B</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>s</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>≤</mml:mo>
            <mml:msub>
              <mml:mi>K</mml:mi>
              <mml:mi>q</mml:mi>
            </mml:msub>
            <mml:msup>
              <mml:mi>s</mml:mi>
              <mml:mi>q</mml:mi>
            </mml:msup>
            <mml:mtext>,</mml:mtext>
            <mml:mo>∀</mml:mo>
            <mml:mtext>
            </mml:mtext>
            <mml:mi>q</mml:mi>
            <mml:mo>∈</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:mo>,</mml:mo>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:mn>10</mml:mn>
                  </mml:mrow>
                  <mml:mn>3</mml:mn>
                </mml:mfrac>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>。</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>另外，定义集合</p>
      <p><inline-formula><mml:math><mml:mrow><mml:mi> V </mml:mi><mml:mo> : </mml:mo><mml:mo> = </mml:mo><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mrow><mml:mrow><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:msubsup><mml:mi> L </mml:mi><mml:mrow><mml:mi> l </mml:mi><mml:mi> o </mml:mi><mml:mi> c </mml:mi></mml:mrow><mml:mn> 1 </mml:mn></mml:msubsup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> | </mml:mo></mml:mrow><mml:mi> A </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mi> u </mml:mi><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ∈ </mml:mo><mml:msup><mml:mi> L </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 。</p>
      <p><bold>引理</bold><bold>2.1</bold><bold>：</bold>(引理2.1) [<xref ref-type="bibr" rid="B7">7</xref>]</p>
      <p>1) <inline-formula><mml:math><mml:mi> V </mml:mi></mml:math></inline-formula> 是与<inline-formula><mml:math><mml:mi> A </mml:mi></mml:math></inline-formula> 对应的Orlicz空间。<inline-formula><mml:math><mml:mi> V </mml:mi></mml:math></inline-formula> 是一个自反Banach空间，并且具备下列范数</p>
      <p><inline-formula><mml:math><mml:mrow><mml:msub><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mi> u </mml:mi><mml:mo> ‖ </mml:mo></mml:mrow></mml:mrow><mml:mi> V </mml:mi></mml:msub><mml:mo> : </mml:mo><mml:mo> = </mml:mo><mml:mi> inf </mml:mi><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:mrow><mml:mrow><mml:mi> k </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow><mml:mo> | </mml:mo></mml:mrow><mml:msub><mml:mstyle mathsize="140%" displaystyle="true"><mml:mo> ∫ </mml:mo></mml:mstyle><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:msub><mml:mi> A </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> k </mml:mi><mml:mrow><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msup><mml:mrow><mml:mo> | </mml:mo><mml:mi> u </mml:mi><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mtext> d </mml:mtext><mml:mi> x </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 。</p>
      <p>2) 对于任意<inline-formula><mml:math><mml:mrow><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> V </mml:mi></mml:mrow></mml:math></inline-formula> ，有</p>
      <disp-formula id="FD22">
        <mml:math>
          <mml:mtable columnalign="left">
            <mml:mtr>
              <mml:mtd>
                <mml:mi>inf</mml:mi>
                <mml:mrow>
                  <mml:mo>{</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>‖</mml:mo>
                          <mml:mi>u</mml:mi>
                          <mml:mo>‖</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mi>V</mml:mi>
                    </mml:msub>
                    <mml:mo>,</mml:mo>
                    <mml:msubsup>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>‖</mml:mo>
                          <mml:mi>u</mml:mi>
                          <mml:mo>‖</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mi>V</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:msubsup>
                  </mml:mrow>
                  <mml:mo>}</mml:mo>
                </mml:mrow>
                <mml:mo>≤</mml:mo>
                <mml:msub>
                  <mml:mstyle mathsize="140%" displaystyle="true">
                    <mml:mo>∫</mml:mo>
                  </mml:mstyle>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>R</mml:mi>
                      <mml:mn>3</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                </mml:msub>
                <mml:mi>A</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>|</mml:mo>
                      <mml:mi>u</mml:mi>
                      <mml:mo>|</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mtext>d</mml:mtext>
                <mml:mi>x</mml:mi>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                        <mml:mtable>
                          <mml:mtr>
                            <mml:mtd>
                              <mml:mrow>
                                <mml:mtable>
                                  <mml:mtr>
                                    <mml:mtd>
                                      <mml:mrow>
                                      </mml:mrow>
                                    </mml:mtd>
                                    <mml:mtd>
                                      <mml:mrow>
                                      </mml:mrow>
                                    </mml:mtd>
                                  </mml:mtr>
                                </mml:mtable>
                              </mml:mrow>
                            </mml:mtd>
                            <mml:mtd>
                              <mml:mrow>
                              </mml:mrow>
                            </mml:mtd>
                          </mml:mtr>
                        </mml:mtable>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mo>≤</mml:mo>
                <mml:mi>sup</mml:mi>
                <mml:mrow>
                  <mml:mo>{</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>‖</mml:mo>
                          <mml:mi>u</mml:mi>
                          <mml:mo>‖</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mi>V</mml:mi>
                    </mml:msub>
                    <mml:mo>,</mml:mo>
                    <mml:msubsup>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>‖</mml:mo>
                          <mml:mi>u</mml:mi>
                          <mml:mo>‖</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mi>V</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:msubsup>
                  </mml:mrow>
                  <mml:mo>}</mml:mo>
                </mml:mrow>
                <mml:mo>。</mml:mo>
              </mml:mtd>
            </mml:mtr>
          </mml:mtable>
        </mml:math>
      </disp-formula>
      <p>3) 如果<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mi> u </mml:mi></mml:mrow></mml:math></inline-formula> 在<inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> 中几乎处处收敛，并且<inline-formula><mml:math><mml:mrow><mml:msub><mml:mstyle mathsize="140%" displaystyle="true"><mml:mo> ∫ </mml:mo></mml:mstyle><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:msub><mml:mi> A </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mtext> d </mml:mtext><mml:mi> x </mml:mi><mml:mo> → </mml:mo><mml:msub><mml:mstyle mathsize="140%" displaystyle="true"><mml:mo> ∫ </mml:mo></mml:mstyle><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:msub><mml:mi> A </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mi> u </mml:mi><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mtext> d </mml:mtext><mml:mi> x </mml:mi><mml:mo> &lt; </mml:mo><mml:mi> ∞ </mml:mi></mml:mrow></mml:math></inline-formula> ，则当<inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> → </mml:mo><mml:mi> ∞ </mml:mi></mml:mrow></mml:math></inline-formula> 时，<inline-formula><mml:math><mml:mrow><mml:msub><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> − </mml:mo><mml:mi> u </mml:mi></mml:mrow><mml:mo> ‖ </mml:mo></mml:mrow></mml:mrow><mml:mi> V </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 。</p>
      <p>定义</p>
      <disp-formula id="FD23">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>W</mml:mi>
              <mml:mi>r</mml:mi>
            </mml:msub>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:mi>W</mml:mi>
            <mml:mo>∩</mml:mo>
            <mml:msubsup>
              <mml:mi>H</mml:mi>
              <mml:mi>r</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msubsup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>R</mml:mi>
                  <mml:mn>3</mml:mn>
                </mml:msup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>其中<inline-formula><mml:math><mml:mi> W </mml:mi></mml:math></inline-formula> 由式(3)所定义。因为<inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> H </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 和<inline-formula><mml:math><mml:mi> V </mml:mi></mml:math></inline-formula> 都是自反的Banach空间，所以<inline-formula><mml:math><mml:mi> W </mml:mi></mml:math></inline-formula> 也是一个自反的Banach空间。在定理1.1的证明中，引理2.1将保证极小化序列在<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> W </mml:mi><mml:mi> r </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 中是有界的且强收敛的。</p>
      <p><bold>引理</bold><bold>2.2</bold><bold>：</bold>(命题2.7、命题3.1) [<xref ref-type="bibr" rid="B7">7</xref>]下列结论成立</p>
      <p>1) <inline-formula><mml:math><mml:mrow><mml:mi> I </mml:mi><mml:mo> ∈ </mml:mo><mml:msup><mml:mi mathvariant="script"> C </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> W </mml:mi><mml:mo> , </mml:mo><mml:mi> R </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 且对于任意<inline-formula><mml:math><mml:mrow><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> W </mml:mi></mml:mrow></mml:math></inline-formula> ，有<inline-formula><mml:math><mml:mrow><mml:mi> D </mml:mi><mml:mi> I </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> L </mml:mi><mml:mi> u </mml:mi></mml:mrow></mml:math></inline-formula> ，其中</p>
      <disp-formula id="FD24">
        <mml:math>
          <mml:mtable columnalign="left">
            <mml:mtr>
              <mml:mtd>
                <mml:mi>L</mml:mi>
                <mml:mi>u</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mo>−</mml:mo>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>a</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mi>b</mml:mi>
                    <mml:msub>
                      <mml:mstyle mathsize="140%" displaystyle="true">
                        <mml:mo>∫</mml:mo>
                      </mml:mstyle>
                      <mml:mrow>
                        <mml:msup>
                          <mml:mi>R</mml:mi>
                          <mml:mn>3</mml:mn>
                        </mml:msup>
                      </mml:mrow>
                    </mml:msub>
                    <mml:msup>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>|</mml:mo>
                          <mml:mrow>
                            <mml:mo>∇</mml:mo>
                            <mml:mi>u</mml:mi>
                          </mml:mrow>
                          <mml:mo>|</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mn>2</mml:mn>
                    </mml:msup>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>x</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mtext>Δ</mml:mtext>
                <mml:mi>u</mml:mi>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mo>−</mml:mo>
                <mml:mi>α</mml:mi>
                <mml:mtext>ulog</mml:mtext>
                <mml:msup>
                  <mml:mi>u</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msup>
                <mml:mo>−</mml:mo>
                <mml:mi>μ</mml:mi>
                <mml:msup>
                  <mml:mrow>
                    <mml:mo>|</mml:mo>
                    <mml:mi>u</mml:mi>
                    <mml:mo>|</mml:mo>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:mi>p</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mn>2</mml:mn>
                  </mml:mrow>
                </mml:msup>
                <mml:mi>u</mml:mi>
                <mml:mo>。</mml:mo>
              </mml:mtd>
            </mml:mtr>
          </mml:mtable>
        </mml:math>
      </disp-formula>
      <p>2) 从<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> W </mml:mi><mml:mi> r </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 到<inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> L </mml:mi><mml:mn> 2 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 的嵌入是紧的。</p>
      <p>由于引理2.1保证了极小化序列在<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> W </mml:mi><mml:mi> r </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 中是有界的，故引理2.2可推出极小化序列在<inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> L </mml:mi><mml:mn> 2 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 中强收敛。</p>
    </sec>
    <sec id="sec4">
      <title>4. 定理证明</title>
      <p><bold>定理</bold><bold>1.1</bold><bold>的证明：</bold>首先证明<inline-formula><mml:math><mml:mrow><mml:mi> m </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> c </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &gt; </mml:mo><mml:mo> − </mml:mo><mml:mi> ∞ </mml:mi></mml:mrow></mml:math></inline-formula> 且</p>
      <disp-formula id="FD25">
        <mml:math>
          <mml:mrow>
            <mml:mi>m</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>c</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>m</mml:mi>
              <mml:mi>r</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>c</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:munder>
              <mml:mrow>
                <mml:mtext>inf</mml:mtext>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>u</mml:mi>
                <mml:mo>∈</mml:mo>
                <mml:msub>
                  <mml:mi>S</mml:mi>
                  <mml:mi>c</mml:mi>
                </mml:msub>
                <mml:mo>∩</mml:mo>
                <mml:msubsup>
                  <mml:mi>H</mml:mi>
                  <mml:mi>r</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:msubsup>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>R</mml:mi>
                      <mml:mn>3</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:munder>
            <mml:mi>I</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>u</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>对于情况1：<inline-formula><mml:math><mml:mrow><mml:mi> μ </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 且<inline-formula><mml:math><mml:mrow><mml:mi> p </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> 。令<inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:mo> &lt; </mml:mo><mml:mi> q </mml:mi><mml:mo> &lt; </mml:mo><mml:mrow><mml:mrow><mml:mn> 10 </mml:mn></mml:mrow><mml:mo> / </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:mrow></mml:math></inline-formula> ，对于任意<inline-formula><mml:math><mml:mrow><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> W </mml:mi></mml:mrow></mml:math></inline-formula> ，由式(7)可以推出</p>
      <disp-formula id="FD26">
        <label>(8)</label>
        <mml:math>
          <mml:mtable columnalign="left">
            <mml:mtr>
              <mml:mtd>
                <mml:mi>I</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>u</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>≥</mml:mo>
                <mml:mfrac>
                  <mml:mi>b</mml:mi>
                  <mml:mn>4</mml:mn>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>4</mml:mn>
                </mml:msubsup>
                <mml:mo>+</mml:mo>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:msub>
                  <mml:mstyle mathsize="140%" displaystyle="true">
                    <mml:mo>∫</mml:mo>
                  </mml:mstyle>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>R</mml:mi>
                      <mml:mn>3</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                </mml:msub>
                <mml:mi>A</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>|</mml:mo>
                      <mml:mi>u</mml:mi>
                      <mml:mo>|</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mtext>d</mml:mtext>
                <mml:mi>x</mml:mi>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:msub>
                  <mml:mstyle mathsize="140%" displaystyle="true">
                    <mml:mo>∫</mml:mo>
                  </mml:mstyle>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>R</mml:mi>
                      <mml:mn>3</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                </mml:msub>
                <mml:mi>B</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>|</mml:mo>
                      <mml:mi>u</mml:mi>
                      <mml:mo>|</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mtext>d</mml:mtext>
                <mml:mi>x</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mi>μ</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>u</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mi>p</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:msubsup>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mo>≥</mml:mo>
                <mml:mfrac>
                  <mml:mi>b</mml:mi>
                  <mml:mn>4</mml:mn>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>4</mml:mn>
                </mml:msubsup>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:msub>
                  <mml:mi>K</mml:mi>
                  <mml:mi>q</mml:mi>
                </mml:msub>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>u</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mi>q</mml:mi>
                  <mml:mi>q</mml:mi>
                </mml:msubsup>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mo>≥</mml:mo>
                <mml:mfrac>
                  <mml:mi>b</mml:mi>
                  <mml:mn>4</mml:mn>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>4</mml:mn>
                </mml:msubsup>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mi>C</mml:mi>
                  <mml:mi>q</mml:mi>
                  <mml:mi>q</mml:mi>
                </mml:msubsup>
                <mml:msub>
                  <mml:mi>K</mml:mi>
                  <mml:mi>q</mml:mi>
                </mml:msub>
                <mml:msup>
                  <mml:mi>c</mml:mi>
                  <mml:mrow>
                    <mml:mfrac>
                      <mml:mrow>
                        <mml:mi>q</mml:mi>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mn>1</mml:mn>
                            <mml:mo>−</mml:mo>
                            <mml:msub>
                              <mml:mi>γ</mml:mi>
                              <mml:mi>q</mml:mi>
                            </mml:msub>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mn>2</mml:mn>
                    </mml:mfrac>
                  </mml:mrow>
                </mml:msup>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mrow>
                    <mml:mi>q</mml:mi>
                    <mml:msub>
                      <mml:mi>γ</mml:mi>
                      <mml:mi>q</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                </mml:msubsup>
                <mml:mo>。</mml:mo>
              </mml:mtd>
            </mml:mtr>
          </mml:mtable>
        </mml:math>
      </disp-formula>
      <p>对于情况2：<inline-formula><mml:math><mml:mrow><mml:mi> μ </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 且<inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:mo> &lt; </mml:mo><mml:mi> p </mml:mi><mml:mo> &lt; </mml:mo><mml:mrow><mml:mrow><mml:mn> 14 </mml:mn></mml:mrow><mml:mo> / </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:mrow></mml:math></inline-formula> 。类似式(8)，对于任意<inline-formula><mml:math><mml:mrow><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> W </mml:mi></mml:mrow></mml:math></inline-formula> ，可以得到</p>
      <disp-formula id="FD27">
        <label>(9)</label>
        <mml:math>
          <mml:mtable columnalign="left">
            <mml:mtr>
              <mml:mtd>
                <mml:mi>I</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>u</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>≥</mml:mo>
                <mml:mfrac>
                  <mml:mi>b</mml:mi>
                  <mml:mn>4</mml:mn>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>4</mml:mn>
                </mml:msubsup>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mi>C</mml:mi>
                  <mml:mi>q</mml:mi>
                  <mml:mi>q</mml:mi>
                </mml:msubsup>
                <mml:msub>
                  <mml:mi>K</mml:mi>
                  <mml:mi>q</mml:mi>
                </mml:msub>
                <mml:msup>
                  <mml:mi>c</mml:mi>
                  <mml:mrow>
                    <mml:mfrac>
                      <mml:mrow>
                        <mml:mi>q</mml:mi>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mn>1</mml:mn>
                            <mml:mo>−</mml:mo>
                            <mml:msub>
                              <mml:mi>γ</mml:mi>
                              <mml:mi>q</mml:mi>
                            </mml:msub>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mn>2</mml:mn>
                    </mml:mfrac>
                  </mml:mrow>
                </mml:msup>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mrow>
                    <mml:mi>q</mml:mi>
                    <mml:msub>
                      <mml:mi>γ</mml:mi>
                      <mml:mi>q</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                </mml:msubsup>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mi>μ</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mi>C</mml:mi>
                  <mml:mi>p</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:msubsup>
                <mml:msup>
                  <mml:mi>c</mml:mi>
                  <mml:mrow>
                    <mml:mfrac>
                      <mml:mrow>
                        <mml:mi>p</mml:mi>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mn>1</mml:mn>
                            <mml:mo>−</mml:mo>
                            <mml:msub>
                              <mml:mi>γ</mml:mi>
                              <mml:mi>p</mml:mi>
                            </mml:msub>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mn>2</mml:mn>
                    </mml:mfrac>
                  </mml:mrow>
                </mml:msup>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mrow>
                    <mml:mi>p</mml:mi>
                    <mml:msub>
                      <mml:mi>γ</mml:mi>
                      <mml:mi>p</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                </mml:msubsup>
                <mml:mo>。</mml:mo>
              </mml:mtd>
            </mml:mtr>
          </mml:mtable>
        </mml:math>
      </disp-formula>
      <p>对于情况3：<inline-formula><mml:math><mml:mrow><mml:mi> μ </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn><mml:mo> , </mml:mo><mml:mi> p </mml:mi><mml:mo> = </mml:mo><mml:mover accent="true"><mml:mi> p </mml:mi><mml:mo> ¯ </mml:mo></mml:mover><mml:mo> = </mml:mo><mml:mfrac><mml:mrow><mml:mn> 14 </mml:mn></mml:mrow><mml:mn> 3 </mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula> 且<inline-formula><mml:math><mml:mrow><mml:mi> c </mml:mi><mml:mo> &lt; </mml:mo><mml:msup><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mfrac><mml:mrow><mml:mi> b </mml:mi><mml:mover accent="true"><mml:mi> p </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:mrow><mml:mrow><mml:mn> 4 </mml:mn><mml:mi> μ </mml:mi><mml:msubsup><mml:mi> C </mml:mi><mml:mover accent="true"><mml:mi> p </mml:mi><mml:mo> ¯ </mml:mo></mml:mover><mml:mover accent="true"><mml:mi> p </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:msubsup></mml:mrow></mml:mfrac></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mfrac><mml:mn> 2 </mml:mn><mml:mrow><mml:mover accent="true"><mml:mi> p </mml:mi><mml:mo> ¯ </mml:mo></mml:mover><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> − </mml:mo><mml:msub><mml:mi> γ </mml:mi><mml:mover accent="true"><mml:mi> p </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:mfrac></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> 。同样类似式(8)，对于任意<inline-formula><mml:math><mml:mrow><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> W </mml:mi></mml:mrow></mml:math></inline-formula> ，可以得到</p>
      <disp-formula id="FD28">
        <label>(10)</label>
        <mml:math>
          <mml:mtable columnalign="left">
            <mml:mtr>
              <mml:mtd>
                <mml:mi>I</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>u</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>≥</mml:mo>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mfrac>
                      <mml:mi>b</mml:mi>
                      <mml:mn>4</mml:mn>
                    </mml:mfrac>
                    <mml:mo>−</mml:mo>
                    <mml:mfrac>
                      <mml:mi>μ</mml:mi>
                      <mml:mover accent="true">
                        <mml:mi>p</mml:mi>
                        <mml:mo>¯</mml:mo>
                      </mml:mover>
                    </mml:mfrac>
                    <mml:msubsup>
                      <mml:mi>C</mml:mi>
                      <mml:mover accent="true">
                        <mml:mi>p</mml:mi>
                        <mml:mo>¯</mml:mo>
                      </mml:mover>
                      <mml:mover accent="true">
                        <mml:mi>p</mml:mi>
                        <mml:mo>¯</mml:mo>
                      </mml:mover>
                    </mml:msubsup>
                    <mml:msup>
                      <mml:mi>c</mml:mi>
                      <mml:mrow>
                        <mml:mfrac>
                          <mml:mrow>
                            <mml:mover accent="true">
                              <mml:mi>p</mml:mi>
                              <mml:mo>¯</mml:mo>
                            </mml:mover>
                            <mml:mrow>
                              <mml:mo>(</mml:mo>
                              <mml:mrow>
                                <mml:mn>1</mml:mn>
                                <mml:mo>−</mml:mo>
                                <mml:msub>
                                  <mml:mi>γ</mml:mi>
                                  <mml:mover accent="true">
                                    <mml:mi>p</mml:mi>
                                    <mml:mo>¯</mml:mo>
                                  </mml:mover>
                                </mml:msub>
                              </mml:mrow>
                              <mml:mo>)</mml:mo>
                            </mml:mrow>
                          </mml:mrow>
                          <mml:mn>2</mml:mn>
                        </mml:mfrac>
                      </mml:mrow>
                    </mml:msup>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>4</mml:mn>
                </mml:msubsup>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mi>C</mml:mi>
                  <mml:mi>q</mml:mi>
                  <mml:mi>q</mml:mi>
                </mml:msubsup>
                <mml:msub>
                  <mml:mi>K</mml:mi>
                  <mml:mi>q</mml:mi>
                </mml:msub>
                <mml:msup>
                  <mml:mi>c</mml:mi>
                  <mml:mrow>
                    <mml:mfrac>
                      <mml:mrow>
                        <mml:mi>q</mml:mi>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mn>1</mml:mn>
                            <mml:mo>−</mml:mo>
                            <mml:msub>
                              <mml:mi>γ</mml:mi>
                              <mml:mi>q</mml:mi>
                            </mml:msub>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mn>2</mml:mn>
                    </mml:mfrac>
                  </mml:mrow>
                </mml:msup>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mrow>
                    <mml:mi>q</mml:mi>
                    <mml:msub>
                      <mml:mi>γ</mml:mi>
                      <mml:mi>q</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                </mml:msubsup>
              </mml:mtd>
            </mml:mtr>
          </mml:mtable>
        </mml:math>
      </disp-formula>
      <p>因为对于任意<inline-formula><mml:math><mml:mrow><mml:mi> q </mml:mi><mml:mo> ∈ </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mrow><mml:mrow><mml:mn> 10 </mml:mn></mml:mrow><mml:mo> / </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> ，有<inline-formula><mml:math><mml:mrow><mml:mi> q </mml:mi><mml:msub><mml:mi> γ </mml:mi><mml:mi> q </mml:mi></mml:msub><mml:mo> &lt; </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> ，所以在定理1.1的假设条件下，<inline-formula><mml:math><mml:mi> I </mml:mi></mml:math></inline-formula> 在<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> S </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 上是强制的。于是，<inline-formula><mml:math><mml:mrow><mml:mi> m </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> c </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &gt; </mml:mo><mml:mo> − </mml:mo><mml:mi> ∞ </mml:mi></mml:mrow></mml:math></inline-formula> 。</p>
      <p>接下来证明<inline-formula><mml:math><mml:mrow><mml:mi> m </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> c </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:msub><mml:mi> m </mml:mi><mml:mi> r </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> c </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> ，由于<inline-formula><mml:math><mml:mrow><mml:mi> m </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> c </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:msub><mml:mi> m </mml:mi><mml:mi> r </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> c </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 是显然的，所以只需证明<inline-formula><mml:math><mml:mrow><mml:mi> m </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> c </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≥ </mml:mo><mml:msub><mml:mi> m </mml:mi><mml:mi> r </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> c </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 即可。假设<inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ⊂ </mml:mo><mml:msub><mml:mi> S </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 是<inline-formula><mml:math><mml:mrow><mml:mi> m </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> c </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 的一个极小化序列，设<inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> u </mml:mi><mml:mi> n </mml:mi><mml:mo> * </mml:mo></mml:msubsup></mml:mrow></mml:math></inline-formula> 为<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 的对称递减重排。由章节3.3的(iv)~(v)和引理7.17 [<xref ref-type="bibr" rid="B11">11</xref>]可知</p>
      <disp-formula id="FD29">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∫</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>R</mml:mi>
                  <mml:mn>3</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:msub>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:msubsup>
                      <mml:mi>u</mml:mi>
                      <mml:mi>n</mml:mi>
                      <mml:mo>*</mml:mo>
                    </mml:msubsup>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mtext>d</mml:mtext>
            <mml:mi>x</mml:mi>
            <mml:mo>≤</mml:mo>
            <mml:msub>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∫</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>R</mml:mi>
                  <mml:mn>3</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:msub>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:msub>
                      <mml:mi>u</mml:mi>
                      <mml:mi>n</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mtext>d</mml:mtext>
            <mml:mi>x</mml:mi>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD30">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∫</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>R</mml:mi>
                  <mml:mn>3</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:msub>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mrow>
                    <mml:msubsup>
                      <mml:mi>u</mml:mi>
                      <mml:mi>n</mml:mi>
                      <mml:mo>*</mml:mo>
                    </mml:msubsup>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mtext>d</mml:mtext>
            <mml:mi>x</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∫</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>R</mml:mi>
                  <mml:mn>3</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:msub>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>u</mml:mi>
                      <mml:mi>n</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>r</mml:mi>
            </mml:msup>
            <mml:mtext>d</mml:mtext>
            <mml:mi>x</mml:mi>
            <mml:mo>,</mml:mo>
            <mml:mo>∀</mml:mo>
            <mml:mi>r</mml:mi>
            <mml:mo>∈</mml:mo>
            <mml:mrow>
              <mml:mo>[</mml:mo>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:mo>,</mml:mo>
                <mml:mn>6</mml:mn>
              </mml:mrow>
              <mml:mo>]</mml:mo>
            </mml:mrow>
            <mml:mo>。</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>由前面的介绍可知<inline-formula><mml:math><mml:mi> A </mml:mi></mml:math></inline-formula> 和<inline-formula><mml:math><mml:mi> B </mml:mi></mml:math></inline-formula> 是定义在<inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> , </mml:mo><mml:mo> + </mml:mo><mml:mi> ∞ </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 上的正的、凸的、递增的函数，结合章节3.3的(v) [<xref ref-type="bibr" rid="B11">11</xref>]，可以得到</p>
      <disp-formula id="FD31">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∫</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>R</mml:mi>
                  <mml:mn>3</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:msub>
            <mml:mi>A</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msubsup>
                  <mml:mi>u</mml:mi>
                  <mml:mi>n</mml:mi>
                  <mml:mo>*</mml:mo>
                </mml:msubsup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mtext>d</mml:mtext>
            <mml:mi>x</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∫</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>R</mml:mi>
                  <mml:mn>3</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:msub>
            <mml:mi>A</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>u</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mtext>d</mml:mtext>
            <mml:mi>x</mml:mi>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD32">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∫</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>R</mml:mi>
                  <mml:mn>3</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:msub>
            <mml:mi>B</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msubsup>
                  <mml:mi>u</mml:mi>
                  <mml:mi>n</mml:mi>
                  <mml:mo>*</mml:mo>
                </mml:msubsup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mtext>d</mml:mtext>
            <mml:mi>x</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∫</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>R</mml:mi>
                  <mml:mn>3</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:msub>
            <mml:mi>B</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>u</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mtext>d</mml:mtext>
            <mml:mi>x</mml:mi>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>这意味着</p>
      <disp-formula id="FD33">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∫</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>R</mml:mi>
                  <mml:mn>3</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:msub>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mrow>
                    <mml:msubsup>
                      <mml:mi>u</mml:mi>
                      <mml:mi>n</mml:mi>
                      <mml:mo>*</mml:mo>
                    </mml:msubsup>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mtext>log</mml:mtext>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mrow>
                    <mml:msubsup>
                      <mml:mi>u</mml:mi>
                      <mml:mi>n</mml:mi>
                      <mml:mo>*</mml:mo>
                    </mml:msubsup>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mtext>d</mml:mtext>
            <mml:mi>x</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∫</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>R</mml:mi>
                  <mml:mn>3</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:msub>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>u</mml:mi>
                      <mml:mi>n</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mtext>log</mml:mtext>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>u</mml:mi>
                      <mml:mi>n</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mtext>d</mml:mtext>
            <mml:mi>x</mml:mi>
            <mml:mo>。</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>因此</p>
      <disp-formula id="FD34">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>m</mml:mi>
              <mml:mi>r</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>c</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:munder>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>n</mml:mi>
                <mml:mi>f</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>u</mml:mi>
                <mml:mo>∈</mml:mo>
                <mml:msub>
                  <mml:mi>S</mml:mi>
                  <mml:mi>c</mml:mi>
                </mml:msub>
                <mml:mo>∩</mml:mo>
                <mml:msubsup>
                  <mml:mi>H</mml:mi>
                  <mml:mi>r</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:msubsup>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>R</mml:mi>
                      <mml:mn>3</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:munder>
            <mml:mi>I</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>u</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>≤</mml:mo>
            <mml:munder>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>n</mml:mi>
                <mml:mi>f</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>u</mml:mi>
                <mml:mo>∈</mml:mo>
                <mml:msub>
                  <mml:mi>S</mml:mi>
                  <mml:mi>c</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:munder>
            <mml:mi>I</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>u</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mi>m</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>c</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>。</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>最后证明<inline-formula><mml:math><mml:mrow><mml:mi> m </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> c </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 在<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> S </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 中是可达的。假设<inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow><mml:mo> ⊂ </mml:mo><mml:msub><mml:mi> S </mml:mi><mml:mi> c </mml:mi></mml:msub><mml:mo> ∩ </mml:mo><mml:msubsup><mml:mi> H </mml:mi><mml:mi> r </mml:mi><mml:mn> 1 </mml:mn></mml:msubsup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 是<inline-formula><mml:math><mml:mrow><mml:mi> m </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> c </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 的一个极小化序列。由式(8)~(10)可以推得<inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 在<inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> H </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 中是有界的，并且<inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mstyle mathsize="140%" displaystyle="true"><mml:mo> ∫ </mml:mo></mml:mstyle><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:msub><mml:mi> A </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mtext> d </mml:mtext><mml:mi> x </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 也是有界的。根据引理2.1，可以得到<inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 在<inline-formula><mml:math><mml:mi> V </mml:mi></mml:math></inline-formula> 中是有界的，接着<inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 在<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> W </mml:mi><mml:mi> r </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 中也是有界的。因此，<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> ⇀ </mml:mo><mml:mi> u </mml:mi></mml:mrow></mml:math></inline-formula> 在<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> W </mml:mi><mml:mi> r </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 中弱收敛。再结合引理2.2，有<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mi> u </mml:mi></mml:mrow></mml:math></inline-formula> 在<inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> L </mml:mi><mml:mn> 2 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 中强收敛，并且<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> x </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> → </mml:mo><mml:mi> u </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> x </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 在<inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> 中几乎处处收敛。当<inline-formula><mml:math><mml:mrow><mml:mi> μ </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 时，我们可以推得</p>
      <disp-formula id="FD35">
        <mml:math display="inline">
          <mml:mrow>
            <mml:mi>B</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>u</mml:mi>
                      <mml:mi>n</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>→</mml:mo>
            <mml:mi>B</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>u</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>在</mml:mi>
            <mml:msup>
              <mml:mi>L</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>R</mml:mi>
                  <mml:mn>3</mml:mn>
                </mml:msup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>中</mml:mi>
            <mml:mi>强</mml:mi>
            <mml:mi>收</mml:mi>
            <mml:mi>敛</mml:mi>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD36">
        <mml:math display="inline">
          <mml:mrow>
            <mml:msub>
              <mml:mi>u</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>→</mml:mo>
            <mml:mi>u</mml:mi>
            <mml:mi>在</mml:mi>
            <mml:msup>
              <mml:mi>L</mml:mi>
              <mml:mi>p</mml:mi>
            </mml:msup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>R</mml:mi>
                  <mml:mn>3</mml:mn>
                </mml:msup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>中</mml:mi>
            <mml:mi>强</mml:mi>
            <mml:mi>收</mml:mi>
            <mml:mi>敛</mml:mi>
            <mml:mo>。</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>因此</p>
      <disp-formula id="FD37">
        <label>(11)</label>
        <mml:math display="inline">
          <mml:mtable columnalign="left">
            <mml:mtr>
              <mml:mtd>
                <mml:mi>m</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>c</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>≤</mml:mo>
                <mml:mi>I</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>u</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>=</mml:mo>
                <mml:mfrac>
                  <mml:mi>a</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:msubsup>
                <mml:mo>+</mml:mo>
                <mml:mfrac>
                  <mml:mi>b</mml:mi>
                  <mml:mn>4</mml:mn>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>4</mml:mn>
                </mml:msubsup>
                <mml:mo>+</mml:mo>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>u</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:msubsup>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:mstyle displaystyle="true">
                  <mml:mrow>
                    <mml:msub>
                      <mml:mo>∫</mml:mo>
                      <mml:mrow>
                        <mml:msup>
                          <mml:mi>R</mml:mi>
                          <mml:mn>3</mml:mn>
                        </mml:msup>
                      </mml:mrow>
                    </mml:msub>
                    <mml:mrow>
                      <mml:msup>
                        <mml:mi>u</mml:mi>
                        <mml:mn>2</mml:mn>
                      </mml:msup>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mstyle>
                <mml:mi>log</mml:mi>
                <mml:msup>
                  <mml:mi>u</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msup>
                <mml:mtext>d</mml:mtext>
                <mml:mi>x</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mi>μ</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>u</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mi>p</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:msubsup>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mo>≤</mml:mo>
                <mml:munder>
                  <mml:mrow>
                    <mml:mi>lim</mml:mi>
                    <mml:mi>inf</mml:mi>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>→</mml:mo>
                    <mml:mi>∞</mml:mi>
                  </mml:mrow>
                </mml:munder>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mfrac>
                      <mml:mi>a</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:mfrac>
                    <mml:msubsup>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>‖</mml:mo>
                          <mml:mrow>
                            <mml:mo>∇</mml:mo>
                            <mml:msub>
                              <mml:mi>u</mml:mi>
                              <mml:mi>n</mml:mi>
                            </mml:msub>
                          </mml:mrow>
                          <mml:mo>‖</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mn>2</mml:mn>
                    </mml:msubsup>
                  </mml:mrow>
                </mml:mrow>
                <mml:mo>+</mml:mo>
                <mml:mfrac>
                  <mml:mi>b</mml:mi>
                  <mml:mn>4</mml:mn>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:msub>
                        <mml:mi>u</mml:mi>
                        <mml:mi>n</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>4</mml:mn>
                </mml:msubsup>
                <mml:mo>+</mml:mo>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>u</mml:mi>
                        <mml:mi>n</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:msubsup>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mo>+</mml:mo>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mfrac>
                      <mml:mn>1</mml:mn>
                      <mml:mn>2</mml:mn>
                    </mml:mfrac>
                    <mml:mstyle displaystyle="true">
                      <mml:mrow>
                        <mml:msub>
                          <mml:mo>∫</mml:mo>
                          <mml:mrow>
                            <mml:msup>
                              <mml:mi>R</mml:mi>
                              <mml:mn>3</mml:mn>
                            </mml:msup>
                          </mml:mrow>
                        </mml:msub>
                        <mml:mi>A</mml:mi>
                      </mml:mrow>
                    </mml:mstyle>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>|</mml:mo>
                          <mml:mrow>
                            <mml:msub>
                              <mml:mi>u</mml:mi>
                              <mml:mi>n</mml:mi>
                            </mml:msub>
                          </mml:mrow>
                          <mml:mo>|</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>x</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:mstyle displaystyle="true">
                  <mml:mrow>
                    <mml:msub>
                      <mml:mo>∫</mml:mo>
                      <mml:mrow>
                        <mml:msup>
                          <mml:mi>R</mml:mi>
                          <mml:mn>3</mml:mn>
                        </mml:msup>
                      </mml:mrow>
                    </mml:msub>
                    <mml:mi>B</mml:mi>
                  </mml:mrow>
                </mml:mstyle>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>|</mml:mo>
                      <mml:mi>u</mml:mi>
                      <mml:mo>|</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mtext>d</mml:mtext>
                <mml:mi>x</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mi>μ</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:mfrac>
                <mml:msubsup>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>u</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                  <mml:mi>p</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:msubsup>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mtable>
                  <mml:mtr>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd>
                      <mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
                <mml:mo>≤</mml:mo>
                <mml:munder>
                  <mml:mrow>
                    <mml:mi>lim</mml:mi>
                    <mml:mi>inf</mml:mi>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>→</mml:mo>
                    <mml:mi>∞</mml:mi>
                  </mml:mrow>
                </mml:munder>
                <mml:mi>I</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>u</mml:mi>
                      <mml:mi>n</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>=</mml:mo>
                <mml:mi>m</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>c</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>。</mml:mo>
              </mml:mtd>
            </mml:mtr>
          </mml:mtable>
        </mml:math>
      </disp-formula>
      <p>于是，<inline-formula><mml:math><mml:mrow><mml:mi> I </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> m </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> c </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> ，<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mi> u </mml:mi></mml:mrow></mml:math></inline-formula> 在<inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> H </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 中强收敛和<inline-formula><mml:math><mml:mrow><mml:mi> A </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> → </mml:mo><mml:mi> A </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mi> u </mml:mi><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 在<inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> L </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 中强收敛。结合引理2.1，可以得到<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mi> u </mml:mi></mml:mrow></mml:math></inline-formula> 在<inline-formula><mml:math display="inline"><mml:mi> V </mml:mi></mml:math></inline-formula> 中强收敛。因此，<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mi> u </mml:mi></mml:mrow></mml:math></inline-formula> 在<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> W </mml:mi><mml:mi> r </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 中强收敛。</p>
      <p>当<inline-formula><mml:math><mml:mrow><mml:mi> μ </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 时，可以采用相同的论证。通过弱下半连续性，有</p>
      <disp-formula id="FD38">
        <mml:math display="inline">
          <mml:mrow>
            <mml:munder>
              <mml:mrow>
                <mml:mi>lim</mml:mi>
                <mml:mi>inf</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>→</mml:mo>
                <mml:mi>∞</mml:mi>
              </mml:mrow>
            </mml:munder>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mi>μ</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:mfrac>
                <mml:mstyle displaystyle="true">
                  <mml:mrow>
                    <mml:msub>
                      <mml:mo>∫</mml:mo>
                      <mml:mrow>
                        <mml:msup>
                          <mml:mi>R</mml:mi>
                          <mml:mn>3</mml:mn>
                        </mml:msup>
                      </mml:mrow>
                    </mml:msub>
                    <mml:mrow>
                      <mml:msup>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>|</mml:mo>
                            <mml:mi>u</mml:mi>
                            <mml:mo>|</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                        <mml:mi>p</mml:mi>
                      </mml:msup>
                      <mml:mtext>d</mml:mtext>
                      <mml:mi>x</mml:mi>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mstyle>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>≤</mml:mo>
            <mml:mo>−</mml:mo>
            <mml:mfrac>
              <mml:mi>μ</mml:mi>
              <mml:mi>p</mml:mi>
            </mml:mfrac>
            <mml:mstyle displaystyle="true">
              <mml:mrow>
                <mml:msub>
                  <mml:mo>∫</mml:mo>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>R</mml:mi>
                      <mml:mn>3</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                </mml:msub>
                <mml:mrow>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mrow>
                        <mml:mo>|</mml:mo>
                        <mml:mrow>
                          <mml:msub>
                            <mml:mi>u</mml:mi>
                            <mml:mi>n</mml:mi>
                          </mml:msub>
                        </mml:mrow>
                        <mml:mo>|</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                    <mml:mi>p</mml:mi>
                  </mml:msup>
                </mml:mrow>
              </mml:mrow>
            </mml:mstyle>
            <mml:mtext>d</mml:mtext>
            <mml:mi>x</mml:mi>
            <mml:mo>。</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>类似式(11)，可以得到<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mi> u </mml:mi></mml:mrow></mml:math></inline-formula> 在<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> W </mml:mi><mml:mi> r </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 中强收敛。由于<inline-formula><mml:math><mml:mi> u </mml:mi></mml:math></inline-formula> 是方程(1)的一个非负非平凡弱解，利用椭圆正则性理论可以得到<inline-formula><mml:math><mml:mrow><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:msup><mml:mi mathvariant="script"> C </mml:mi><mml:mn> 2 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msup><mml:mtext> R </mml:mtext><mml:mn> 3 </mml:mn></mml:msup></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 。最后根据强最大值原理[<xref ref-type="bibr" rid="B12">12</xref>]可推出<inline-formula><mml:math><mml:mrow><mml:mi> u </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 。证毕。</p>
      <p><bold>定理</bold><bold>1.2</bold><bold>的证明：</bold>首先证明下列结论。</p>
      <p>当<inline-formula><mml:math><mml:mrow><mml:mi> μ </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 且<inline-formula><mml:math><mml:mrow><mml:mrow><mml:mrow><mml:mn> 14 </mml:mn></mml:mrow><mml:mo> / </mml:mo><mml:mn> 3 </mml:mn></mml:mrow><mml:mo> &lt; </mml:mo><mml:mi> p </mml:mi><mml:mo> &lt; </mml:mo><mml:mn> 6 </mml:mn></mml:mrow></mml:math></inline-formula> 时，存在一个常数<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> c </mml:mi><mml:mo> * </mml:mo></mml:msub></mml:mrow></mml:math></inline-formula> ，如果<inline-formula><mml:math><mml:mrow><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 且<inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mrow><mml:mo> ∇ </mml:mo><mml:mi> u </mml:mi></mml:mrow><mml:mo> ‖ </mml:mo></mml:mrow></mml:mrow><mml:mn> 2 </mml:mn><mml:mn> 2 </mml:mn></mml:msubsup><mml:mo> = </mml:mo><mml:msub><mml:mi> k </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> ，则<inline-formula><mml:math><mml:mrow><mml:mi> c </mml:mi><mml:mo> ≥ </mml:mo><mml:msub><mml:mi> c </mml:mi><mml:mo> * </mml:mo></mml:msub></mml:mrow></mml:math></inline-formula> 。此外，如果<inline-formula><mml:math><mml:mrow><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 且<inline-formula><mml:math><mml:mrow><mml:mi> c </mml:mi><mml:mo> &lt; </mml:mo><mml:msub><mml:mi> c </mml:mi><mml:mo> * </mml:mo></mml:msub></mml:mrow></mml:math></inline-formula> ，则<inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mrow><mml:mo> ∇ </mml:mo><mml:mi> u </mml:mi></mml:mrow><mml:mo> ‖ </mml:mo></mml:mrow></mml:mrow><mml:mn> 2 </mml:mn><mml:mn> 2 </mml:mn></mml:msubsup><mml:mo> ≠ </mml:mo><mml:msub><mml:mi> k </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> 。</p>
      <p>由<inline-formula><mml:math><mml:mrow><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 可得</p>
      <disp-formula id="FD39">
        <mml:math>
          <mml:mrow>
            <mml:mi>a</mml:mi>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>u</mml:mi>
                  </mml:mrow>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:msubsup>
            <mml:mo>+</mml:mo>
            <mml:mi>b</mml:mi>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>u</mml:mi>
                  </mml:mrow>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mn>4</mml:mn>
            </mml:msubsup>
            <mml:mo>≤</mml:mo>
            <mml:mi>μ</mml:mi>
            <mml:msub>
              <mml:mi>γ</mml:mi>
              <mml:mi>p</mml:mi>
            </mml:msub>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mi>u</mml:mi>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>p</mml:mi>
              <mml:mi>p</mml:mi>
            </mml:msubsup>
            <mml:mo>+</mml:mo>
            <mml:mfrac>
              <mml:mn>3</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mi>c</mml:mi>
            <mml:mo>。</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>结合Gagliardo-Nirenberg不等式可得</p>
      <disp-formula id="FD40">
        <mml:math>
          <mml:mrow>
            <mml:mi>a</mml:mi>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>u</mml:mi>
                  </mml:mrow>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:msubsup>
            <mml:mo>+</mml:mo>
            <mml:mi>b</mml:mi>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>u</mml:mi>
                  </mml:mrow>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mn>4</mml:mn>
            </mml:msubsup>
            <mml:mo>≤</mml:mo>
            <mml:mi>μ</mml:mi>
            <mml:msub>
              <mml:mi>γ</mml:mi>
              <mml:mi>p</mml:mi>
            </mml:msub>
            <mml:msubsup>
              <mml:mi>C</mml:mi>
              <mml:mi>p</mml:mi>
              <mml:mi>p</mml:mi>
            </mml:msubsup>
            <mml:msup>
              <mml:mi>c</mml:mi>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:mi>p</mml:mi>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mn>1</mml:mn>
                        <mml:mo>−</mml:mo>
                        <mml:msub>
                          <mml:mi>γ</mml:mi>
                          <mml:mi>p</mml:mi>
                        </mml:msub>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
              </mml:mrow>
            </mml:msup>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>u</mml:mi>
                  </mml:mrow>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mrow>
                <mml:mi>p</mml:mi>
                <mml:msub>
                  <mml:mi>γ</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:msubsup>
            <mml:mo>+</mml:mo>
            <mml:mfrac>
              <mml:mn>3</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mi>c</mml:mi>
            <mml:mo>。</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>令<inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mrow><mml:mo> ∇ </mml:mo><mml:mi> u </mml:mi></mml:mrow><mml:mo> ‖ </mml:mo></mml:mrow></mml:mrow><mml:mn> 2 </mml:mn><mml:mn> 2 </mml:mn></mml:msubsup><mml:mo> = </mml:mo><mml:msub><mml:mi> k </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> ，则</p>
      <disp-formula id="FD41">
        <mml:math>
          <mml:mrow>
            <mml:mi>a</mml:mi>
            <mml:msub>
              <mml:mi>k</mml:mi>
              <mml:mn>0</mml:mn>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:mi>b</mml:mi>
            <mml:msubsup>
              <mml:mi>k</mml:mi>
              <mml:mn>0</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:msubsup>
            <mml:mo>≤</mml:mo>
            <mml:mi>μ</mml:mi>
            <mml:msub>
              <mml:mi>γ</mml:mi>
              <mml:mi>p</mml:mi>
            </mml:msub>
            <mml:msubsup>
              <mml:mi>C</mml:mi>
              <mml:mi>p</mml:mi>
              <mml:mi>p</mml:mi>
            </mml:msubsup>
            <mml:msup>
              <mml:mi>c</mml:mi>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:mi>p</mml:mi>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mn>1</mml:mn>
                        <mml:mo>−</mml:mo>
                        <mml:msub>
                          <mml:mi>γ</mml:mi>
                          <mml:mi>p</mml:mi>
                        </mml:msub>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
              </mml:mrow>
            </mml:msup>
            <mml:msubsup>
              <mml:mi>k</mml:mi>
              <mml:mn>0</mml:mn>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:mi>p</mml:mi>
                    <mml:msub>
                      <mml:mi>γ</mml:mi>
                      <mml:mi>p</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
              </mml:mrow>
            </mml:msubsup>
            <mml:mo>+</mml:mo>
            <mml:mfrac>
              <mml:mn>3</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mi>c</mml:mi>
            <mml:mo>。</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>存在一个<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> c </mml:mi><mml:mo> * </mml:mo></mml:msub></mml:mrow></mml:math></inline-formula> ，使得当<inline-formula><mml:math><mml:mrow><mml:mi> c </mml:mi><mml:mo> ≥ </mml:mo><mml:msub><mml:mi> c </mml:mi><mml:mo> * </mml:mo></mml:msub></mml:mrow></mml:math></inline-formula> 时，上述不等式成立。由此可推出如果<inline-formula><mml:math><mml:mrow><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 且<inline-formula><mml:math><mml:mrow><mml:mi> c </mml:mi><mml:mo> &lt; </mml:mo><mml:msub><mml:mi> c </mml:mi><mml:mo> * </mml:mo></mml:msub></mml:mrow></mml:math></inline-formula> ，则<inline-formula><mml:math><mml:mrow><mml:mo> ∥ </mml:mo><mml:mo> ∇ </mml:mo><mml:mi> u </mml:mi><mml:msubsup><mml:mo> ∥ </mml:mo><mml:mn> 2 </mml:mn><mml:mn> 2 </mml:mn></mml:msubsup><mml:mo> ≠ </mml:mo><mml:msub><mml:mi> k </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> 。</p>
      <p>接下来证明<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> m </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 是在<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> V </mml:mi><mml:mrow><mml:msub><mml:mi> k </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> 中是可达的。设<inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> 是<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> m </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 的最小化序列，类似于定理1.1的证明，可以推得<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> u </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mi> u </mml:mi></mml:mrow></mml:math></inline-formula> 在<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> W </mml:mi><mml:mi> r </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 中强收敛。因此，只需要证明<inline-formula><mml:math><mml:mrow><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:msub><mml:mi> V </mml:mi><mml:mrow><mml:msub><mml:mi> k </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> 即可。事实上，如果<inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mrow><mml:mo> ∇ </mml:mo><mml:mi> u </mml:mi></mml:mrow><mml:mo> ‖ </mml:mo></mml:mrow></mml:mrow><mml:mn> 2 </mml:mn><mml:mn> 2 </mml:mn></mml:msubsup><mml:mo> = </mml:mo><mml:msub><mml:mi> k </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> 且<inline-formula><mml:math><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> &lt; </mml:mo><mml:mi> c </mml:mi><mml:mo> &lt; </mml:mo><mml:msub><mml:mi> c </mml:mi><mml:mo> * </mml:mo></mml:msub></mml:mrow></mml:math></inline-formula> ，由前面的证明直接推得<inline-formula><mml:math><mml:mrow><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> ，故存在<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> t </mml:mi><mml:mn> 0 </mml:mn></mml:msub><mml:mo> &lt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 使得<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> t </mml:mi><mml:mn> 0 </mml:mn></mml:msub><mml:mo> ⋆ </mml:mo><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:msub><mml:mi> V </mml:mi><mml:mrow><mml:msub><mml:mi> k </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> 且<inline-formula><mml:math><mml:mrow><mml:mi> I </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> t </mml:mi><mml:mn> 0 </mml:mn></mml:msub><mml:mo> ⋆ </mml:mo><mml:mi> u </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &lt; </mml:mo><mml:mi> I </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:msub><mml:mi> m </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 。这与<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> m </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 的定义矛盾。</p>
      <p>另一方面，如果<inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mrow><mml:mo> ∇ </mml:mo><mml:mi> u </mml:mi></mml:mrow><mml:mo> ‖ </mml:mo></mml:mrow></mml:mrow><mml:mn> 2 </mml:mn><mml:mn> 2 </mml:mn></mml:msubsup><mml:mo> = </mml:mo><mml:msub><mml:mi> k </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> 且<inline-formula><mml:math><mml:mrow><mml:mi> c </mml:mi><mml:mo> = </mml:mo><mml:msub><mml:mi> c </mml:mi><mml:mo> * </mml:mo></mml:msub></mml:mrow></mml:math></inline-formula> ，可以分为三种情况讨论。</p>
      <p>(i)：如果<inline-formula><mml:math><mml:mrow><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &lt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> ，类似于前面的证明，可以得到<inline-formula><mml:math><mml:mrow><mml:mi> c </mml:mi><mml:mo> &gt; </mml:mo><mml:msub><mml:mi> c </mml:mi><mml:mo> * </mml:mo></mml:msub></mml:mrow></mml:math></inline-formula> ，与假设矛盾。</p>
      <p>(ii)：如果<inline-formula><mml:math><mml:mrow><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> ，由Gagliardo-Nirenberg不等式可以得到</p>
      <disp-formula id="FD42">
        <mml:math>
          <mml:mrow>
            <mml:mi>a</mml:mi>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>u</mml:mi>
                  </mml:mrow>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:msubsup>
            <mml:mo>+</mml:mo>
            <mml:mi>b</mml:mi>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>u</mml:mi>
                  </mml:mrow>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mn>4</mml:mn>
            </mml:msubsup>
            <mml:mo>≤</mml:mo>
            <mml:mi>μ</mml:mi>
            <mml:msub>
              <mml:mi>γ</mml:mi>
              <mml:mi>p</mml:mi>
            </mml:msub>
            <mml:msubsup>
              <mml:mi>C</mml:mi>
              <mml:mi>p</mml:mi>
              <mml:mi>p</mml:mi>
            </mml:msubsup>
            <mml:msup>
              <mml:mi>c</mml:mi>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:mi>p</mml:mi>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mn>1</mml:mn>
                        <mml:mo>−</mml:mo>
                        <mml:msub>
                          <mml:mi>γ</mml:mi>
                          <mml:mi>p</mml:mi>
                        </mml:msub>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
              </mml:mrow>
            </mml:msup>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>u</mml:mi>
                  </mml:mrow>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mrow>
                <mml:mi>p</mml:mi>
                <mml:msub>
                  <mml:mi>γ</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:msubsup>
            <mml:mo>+</mml:mo>
            <mml:mfrac>
              <mml:mn>3</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mi>c</mml:mi>
            <mml:mi>，</mml:mi>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>其中，等式仅在Gagliardo-Nirenberg不等式的最佳常数取得时成立，由文献[<xref ref-type="bibr" rid="B9">9</xref>]可知<inline-formula><mml:math><mml:mi> u </mml:mi></mml:math></inline-formula> 满足</p>
      <disp-formula id="FD43">
        <mml:math>
          <mml:mrow>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>u</mml:mi>
                  </mml:mrow>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:msubsup>
            <mml:mo>=</mml:mo>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mi>u</mml:mi>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:msubsup>
            <mml:mi>，</mml:mi>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>这与<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> k </mml:mi><mml:mn> 0 </mml:mn></mml:msub><mml:mo> &lt; </mml:mo><mml:mi> c </mml:mi></mml:mrow></mml:math></inline-formula> 矛盾。因此，</p>
      <disp-formula id="FD44">
        <mml:math>
          <mml:mrow>
            <mml:mi>a</mml:mi>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>u</mml:mi>
                  </mml:mrow>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:msubsup>
            <mml:mo>+</mml:mo>
            <mml:mi>b</mml:mi>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>u</mml:mi>
                  </mml:mrow>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mn>4</mml:mn>
            </mml:msubsup>
            <mml:mo>&lt;</mml:mo>
            <mml:mi>μ</mml:mi>
            <mml:msub>
              <mml:mi>γ</mml:mi>
              <mml:mi>p</mml:mi>
            </mml:msub>
            <mml:msubsup>
              <mml:mi>C</mml:mi>
              <mml:mi>p</mml:mi>
              <mml:mi>p</mml:mi>
            </mml:msubsup>
            <mml:msup>
              <mml:mi>c</mml:mi>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:mi>p</mml:mi>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mn>1</mml:mn>
                        <mml:mo>−</mml:mo>
                        <mml:msub>
                          <mml:mi>γ</mml:mi>
                          <mml:mi>p</mml:mi>
                        </mml:msub>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
              </mml:mrow>
            </mml:msup>
            <mml:msubsup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>u</mml:mi>
                  </mml:mrow>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
              <mml:mrow>
                <mml:mi>p</mml:mi>
                <mml:msub>
                  <mml:mi>γ</mml:mi>
                  <mml:mi>p</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:msubsup>
            <mml:mo>+</mml:mo>
            <mml:mfrac>
              <mml:mn>3</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mi>c</mml:mi>
            <mml:mo>。</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>因为<inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mrow><mml:mo> ∇ </mml:mo><mml:mi> u </mml:mi></mml:mrow><mml:mo> ‖ </mml:mo></mml:mrow></mml:mrow><mml:mn> 2 </mml:mn><mml:mn> 2 </mml:mn></mml:msubsup><mml:mo> = </mml:mo><mml:msub><mml:mi> k </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> ，可以得到<inline-formula><mml:math><mml:mrow><mml:mi> c </mml:mi><mml:mo> &gt; </mml:mo><mml:msub><mml:mi> c </mml:mi><mml:mo> * </mml:mo></mml:msub></mml:mrow></mml:math></inline-formula> ，与假设矛盾。</p>
      <p>(iii)：如果<inline-formula><mml:math><mml:mrow><mml:mi> P </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> ，则存在<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> t </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> &lt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> 使得<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> t </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> ⋆ </mml:mo><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:msub><mml:mi> V </mml:mi><mml:mrow><mml:msub><mml:mi> k </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> 且<inline-formula><mml:math><mml:mrow><mml:mi> I </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> t </mml:mi><mml:mn> 0 </mml:mn></mml:msub><mml:mo> ⋆ </mml:mo><mml:mi> u </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> &lt; </mml:mo><mml:mi> I </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:msub><mml:mi> m </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 。与<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> m </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 的定义矛盾。</p>
      <p>综上所述，<inline-formula><mml:math><mml:mrow><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:msub><mml:mi> V </mml:mi><mml:mrow><mml:msub><mml:mi> k </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> 且<inline-formula><mml:math><mml:mrow><mml:mi> I </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> u </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:msub><mml:mi> m </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 。最后，结合<inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mrow><mml:mo> ∇ </mml:mo><mml:mi> u </mml:mi></mml:mrow><mml:mo> ‖ </mml:mo></mml:mrow></mml:mrow><mml:mn> 2 </mml:mn><mml:mn> 2 </mml:mn></mml:msubsup><mml:mo> &lt; </mml:mo><mml:msub><mml:mi> k </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> 和命题A.1 [<xref ref-type="bibr" rid="B13">13</xref>]，可以得出<inline-formula><mml:math><mml:mi> u </mml:mi></mml:math></inline-formula> 是<inline-formula><mml:math><mml:mi> I </mml:mi></mml:math></inline-formula> 在<inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> S </mml:mi><mml:mi> c </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> 上的正的、径向对称的临界点。证毕。</p>
    </sec>
    <sec id="sec5">
      <title>基金项目</title>
      <p>广东省自然科学基金资助项目(2026A1515012458; 2022A1515010644)。</p>
    </sec>
    <sec id="sec6">
      <title>NOTES</title>
      <p><sup>*</sup>通讯作者。</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <title>References</title>
      <ref id="B1">
        <label>1.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Lions, J.L. (1978) On Some Questions in Boundary Value Problems of Mathematical Physics. In: <italic>North</italic>- <italic>Holland Mathematics Studies</italic>, Elsevier, 284-346. <underline> https://doi.org/10.1016/s0304-0208(08)70870-3 </underline><pub-id pub-id-type="doi">10.1016/s0304-0208(08)70870-3</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1016/s0304-0208(08)70870-3">https://doi.org/10.1016/s0304-0208(08)70870-3</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Lions, J.L.</string-name>
              <string-name>Studies, E</string-name>
            </person-group>
            <year>1978</year>
            <article-title>On Some Questions in Boundary Value Problems of Mathematical Physics</article-title>
            <source>In: North-Holland Mathematics Studies</source>
            <volume>0208</volume>
            <issue>08</issue>
            <pub-id pub-id-type="doi">10.1016/s0304-0208(08)70870-3</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B2">
        <label>2.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Alves, C.O., Corrêa, F.J.S.A. and Ma, T.F. (2005) Positive Solutions for a Quasilinear Elliptic Equation of Kirchhoff Type. <italic>Computers &amp; Mathematics with Applications</italic>, 49, 85-93. <underline> https://doi.org/10.1016/j.camwa.2005.01.008 </underline><pub-id pub-id-type="doi">10.1016/j.camwa.2005.01.008</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1016/j.camwa.2005.01.008">https://doi.org/10.1016/j.camwa.2005.01.008</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Alves, C.O.</string-name>
              <string-name>Ma, T.F.</string-name>
            </person-group>
            <year>2005</year>
            <article-title>Positive Solutions for a Quasilinear Elliptic Equation of Kirchhoff Type</article-title>
            <source>Computers &amp; Mathematics with Applications</source>
            <volume>49</volume>
            <pub-id pub-id-type="doi">10.1016/j.camwa.2005.01.008</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B3">
        <label>3.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Lei, C.Y., Liao, J.F. and Tang, C.L. (2015) Multiple Positive Solutions for Kirchhoff Type of Problems with Singularity and Critical Exponents. <italic>Journal of Mathematical Analysis and Applications</italic>, 421, 521-538. <underline> https://doi.org/10.1016/j.jmaa.2014.07.031 </underline><pub-id pub-id-type="doi">10.1016/j.jmaa.2014.07.031</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1016/j.jmaa.2014.07.031">https://doi.org/10.1016/j.jmaa.2014.07.031</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Lei, C.Y.</string-name>
              <string-name>Liao, J.F.</string-name>
              <string-name>Tang, C.L.</string-name>
            </person-group>
            <year>2015</year>
            <article-title>Multiple Positive Solutions for Kirchhoff Type of Problems with Singularity and Critical Exponents</article-title>
            <source>Journal of Mathematical Analysis and Applications</source>
            <volume>421</volume>
            <pub-id pub-id-type="doi">10.1016/j.jmaa.2014.07.031</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B4">
        <label>4.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Zloshchastiev, K.G. (2010) Logarithmic Nonlinearity in Theories of Quantum Gravity: Origin of Time and Observational Consequences. <italic>Gravitation and Cosmology</italic>, 16, 288-297. <underline> https://doi.org/10.1134/s0202289310040067 </underline><pub-id pub-id-type="doi">10.1134/s0202289310040067</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1134/s0202289310040067">https://doi.org/10.1134/s0202289310040067</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Zloshchastiev, K.G.</string-name>
            </person-group>
            <year>2010</year>
            <article-title>Logarithmic Nonlinearity in Theories of Quantum Gravity: Origin of Time and Observational Consequences</article-title>
            <source>Gravitation and Cosmology</source>
            <volume>16</volume>
            <pub-id pub-id-type="doi">10.1134/s0202289310040067</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B5">
        <label>5.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Shuai, W. and Yang, X.L. (2023) Normalized Solutions for Logarithmic Schrödinger Equation with a Perturbation of Power Law Nonlinearity.</mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Shuai, W.</string-name>
              <string-name>Yang, X.L.</string-name>
            </person-group>
            <year>2023</year>
            <article-title>Normalized Solutions for Logarithmic Schrödinger Equation with a Perturbation of Power Law Nonlinearity</article-title>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B6">
        <label>6.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Li, G.B., Luo, X. and Yang, T. (2022) Normalized Solutions to a Class of Kirchhoff Equations with Sobolev Critical Exponent. <italic>Annales Fennici Mathematici</italic>, 47, 895-925. <underline> https://doi.org/10.54330/afm.120247 </underline><pub-id pub-id-type="doi">10.54330/afm.120247</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.54330/afm.120247">https://doi.org/10.54330/afm.120247</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Li, G.B.</string-name>
              <string-name>Luo, X.</string-name>
              <string-name>Yang, T.</string-name>
            </person-group>
            <year>2022</year>
            <article-title>Normalized Solutions to a Class of Kirchhoff Equations with Sobolev Critical Exponent</article-title>
            <source>Annales Fennici Mathematici</source>
            <volume>47</volume>
            <pub-id pub-id-type="doi">10.54330/afm.120247</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B7">
        <label>7.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Cazenave, T. (1983) Stable Solutions of the Logarithmic Schrödinger Equation. <italic>Nonlinear Analysis</italic>: <italic>Theory</italic>, <italic>Methods &amp; Applications</italic>, 7, 1127-1140. <underline> https://doi.org/10.1016/0362-546x(83)90022-6 </underline><pub-id pub-id-type="doi">10.1016/0362-546x(83)90022-6</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1016/0362-546x(83)90022-6">https://doi.org/10.1016/0362-546x(83)90022-6</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Cazenave, T.</string-name>
              <string-name>Theory, M</string-name>
            </person-group>
            <year>1983</year>
            <article-title>Stable Solutions of the Logarithmic Schrödinger Equation</article-title>
            <source>Nonlinear Analysis: Theory</source>
            <volume>7</volume>
            <pub-id pub-id-type="doi">10.1016/0362-546x(83)90022-6</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B8">
        <label>8.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Stuart, C.A. (1981) Bifurcation from the Continuous Spectrum in the L <sup>2</sup> Theory of Elliptic Equations on R <sup>N</sup>. In: <italic>Recent Methods in Nonlinear Analysis and Applications</italic>, Liguori, 231-300.</mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Stuart, C.A.</string-name>
              <string-name>Applications, L</string-name>
            </person-group>
            <year>1981</year>
            <article-title>Bifurcation from the Continuous Spectrum in the L2 Theory of Elliptic Equations on RN</article-title>
            <source>In: Recent Methods in Nonlinear Analysis and Applications</source>
            <volume>231</volume>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B9">
        <label>9.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Weinstein, M.I. (1983) Nonlinear Schrödinger Equations and Sharp Interpolation Estimates. <italic>Communications in Mathematical Physics</italic>, 87, 567-576. <underline> https://doi.org/10.1007/bf01208265 </underline><pub-id pub-id-type="doi">10.1007/bf01208265</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/bf01208265">https://doi.org/10.1007/bf01208265</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Weinstein, M.I.</string-name>
            </person-group>
            <year>1983</year>
            <article-title>Nonlinear Schrödinger Equations and Sharp Interpolation Estimates</article-title>
            <source>Communications in Mathematical Physics</source>
            <volume>87</volume>
            <pub-id pub-id-type="doi">10.1007/bf01208265</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B10">
        <label>10.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Bartsch, T. and Soave, N. (2017) A Natural Constraint Approach to Normalized Solutions of Nonlinear Schrödinger Equations and Systems. <italic>Journal of Functional Analysis</italic>, 272, 4998-5037. <underline> https://doi.org/10.1016/j.jfa.2017.01.025 </underline><pub-id pub-id-type="doi">10.1016/j.jfa.2017.01.025</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1016/j.jfa.2017.01.025">https://doi.org/10.1016/j.jfa.2017.01.025</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Bartsch, T.</string-name>
              <string-name>Soave, N.</string-name>
            </person-group>
            <year>2017</year>
            <article-title>A Natural Constraint Approach to Normalized Solutions of Nonlinear Schrödinger Equations and Systems</article-title>
            <source>Journal of Functional Analysis</source>
            <volume>272</volume>
            <pub-id pub-id-type="doi">10.1016/j.jfa.2017.01.025</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B11">
        <label>11.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Lieb, E.H. and Loss, M. (2001) Analysis Graduate Studies in Mathematics Vol 14. American Mathematical Society.</mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Lieb, E.H.</string-name>
              <string-name>Loss, M.</string-name>
            </person-group>
            <year>2001</year>
            <article-title>Analysis Graduate Studies in Mathematics Vol 14</article-title>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B12">
        <label>12.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Vázquez, J.L. (1984) A Strong Maximum Principle for Some Quasilinear Elliptic Equations. <italic>Applied Mathematics &amp; Optimization</italic>, 12, 191-202. <underline> https://doi.org/10.1007/bf01449041 </underline><pub-id pub-id-type="doi">10.1007/bf01449041</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/bf01449041">https://doi.org/10.1007/bf01449041</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <year>1984</year>
            <article-title>A Strong Maximum Principle for Some Quasilinear Elliptic Equations</article-title>
            <source>Applied Mathematics &amp; Optimization</source>
            <volume>12</volume>
            <pub-id pub-id-type="doi">10.1007/bf01449041</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B13">
        <label>13.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Mederski, J. and Schino, J. (2022) Least Energy Solutions to a Cooperative System of Schrödinger Equations with Prescribed L <sup>2</sup>-Bounds: At Least L <sup>2</sup>-Critical Growth. <italic>Calculus of Variations and Partial Differential Equations</italic>, 61, Article 10.</mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Mederski, J.</string-name>
              <string-name>Schino, J.</string-name>
            </person-group>
            <year>2022</year>
            <article-title>Least Energy Solutions to a Cooperative System of Schrödinger Equations with Prescribed L2-Bounds: At Least L2-Critical Growth</article-title>
            <source>Calculus of Variations and Partial Differential Equations</source>
            <volume>61</volume>
            <elocation-id>10</elocation-id>
          </element-citation>
        </citation-alternatives>
      </ref>
    </ref-list>
  </back>
</article>