韓婭玲，向建林

(1.中南財(cái)經(jīng)政法大學(xué)統(tǒng)計(jì)與數(shù)學(xué)學(xué)院，湖北 武漢430073;2.武漢理工大學(xué)數(shù)學(xué)系，湖北 武漢430070)

1.引言

本文主要研究如下分?jǐn)?shù)階Kirchhoff型方程

基態(tài)解的存在性，其中常數(shù)a，b ＞0，s ∈(0，1)，μ是拉格朗日常數(shù)，r = |x|，函數(shù)h(r)，k(r)滿足:

(c1) h:(0，∞)→[0，∞)和k :(0，∞)→[0，∞)Lebesgue可測且有界;

(c2) h和k關(guān)于r單調(diào)非增.

近年來方程(1.1)受到廣泛關(guān)注，特別當(dāng)s=1時(shí)，方程(1.1)表示弦振動(dòng)中經(jīng)典的Kirchhoff方程，此時(shí)方程(1.1)解的存在性及其相關(guān)性質(zhì)可見文[1-2]，多重性結(jié)果見文[3]，峰解見文[4]，唯一性見文[5]，爆破分析見文[6]等.當(dāng)0 ＜s ＜1時(shí)，文[7]研究了方程(1.1)含臨界指數(shù)情形基態(tài)解的存在性，文[8]探討了方程(1.1)解的多重性.而關(guān)于方程(1.1)Schwarz對(duì)稱基態(tài)解的存在性，據(jù)我們所知，暫時(shí)未見結(jié)果.

若b = 0，則方程(1.1)就是通常意義下的分?jǐn)?shù)階Laplacian方程.近二十年來，分?jǐn)?shù)階Laplace算子由于在數(shù)學(xué)物理和相關(guān)領(lǐng)域的廣泛應(yīng)用，受到非常多數(shù)學(xué)研究者的關(guān)注，特別是Nezza等在文[9]中得到分?jǐn)?shù)階Sobolev嵌入不等式后，許多數(shù)學(xué)研究者在分?jǐn)?shù)階Laplacian方程解的存在性，唯一性和非退化性等方面得到了非常豐富的結(jié)果[10-15].值得一提的是，利用約束變分理論和常微分方程理論，文[11-12]分別得到了一維和高維情形分?jǐn)?shù)階Laplacian方程基態(tài)解的存在性和唯一性.文[13]利用約束變分思想和集中緊引理得到了一般的非線性情形分?jǐn)?shù)階Laplacian方程基態(tài)解的存在性.進(jìn)一步文[14]證明了一般非線性條件下分?jǐn)?shù)階Laplacian方程對(duì)稱基態(tài)解的存在性，并利用非線性和方程(1.1)非線性相同且滿足條件(c1)和(c2)的情形證明了一般非線性情形時(shí)部分條件的最佳性.本文的目的是希望能將文[5，14]的結(jié)果推廣到含分?jǐn)?shù)階的Kirchhoff方程(1.1)中來，進(jìn)而探討方程(1.1)對(duì)稱基態(tài)解的存在性.但是由于非局部項(xiàng)的存在，文[14]中的條件(F5)不能滿足，需要提出新的想法.同時(shí)由于非局部項(xiàng)的存在，相應(yīng)基態(tài)解存在的非線性項(xiàng)指數(shù)范圍更加復(fù)雜，需要更細(xì)致的估計(jì).

方程(1.1)對(duì)應(yīng)的能量泛函為

由臨界點(diǎn)理論可知方程(1.1)的解就是相應(yīng)能量泛函I(u)的臨界點(diǎn).而方程所有解中能量最小的解稱之為方程(1.1)的基態(tài)解，如果解還具有Schwarz對(duì)稱性，則稱為Schwarz對(duì)稱基態(tài)解.因此討論方程(1.1)Schwarz對(duì)稱基態(tài)解的存在性可以轉(zhuǎn)化為研究如下極小化問題的Schwarz對(duì)稱極小解的存在性:

其中

c是常數(shù)，0 ＜s ＜1.Hs(RN)是通常的Besov空間

相應(yīng)范數(shù)為:

其中

可得到本文的主要結(jié)論為:

定理1.1假設(shè)函數(shù)h(r)，k(r)滿足條件(c1)和(c2).則

若c ≤c1且h(r)是常值函數(shù)，則極小化問題(1.2)不存在非零極小解.

極小化問題(1.2)存在Schwarz對(duì)稱極小解，且此時(shí)

若c ＜c2且h(r)是常值函數(shù)，則極小化問題(1.2)不存在非零極小解.

注假設(shè)u ∈Sc使得e(c) = E(u)，由定理可知如果問題(1.2)存在極小解，則能量e(c) ＜0，進(jìn)一步可知存在一個(gè)Lagrange乘子μ，使得方程(1.1)成立，即容易知道極小化問題(1.2)的Schwarz對(duì)稱極小解就是方程(1.1)的Schwarz對(duì)稱基態(tài)解，且

因此當(dāng)h(r) = 0，p ≥4時(shí)容易知道Lagrange乘子μ ＜0.而在分?jǐn)?shù)階Laplacian情形，由于沒有非局部項(xiàng)，會(huì)簡單一些.

2.準(zhǔn)備工作

在證明本文定理前，先介紹如下分?jǐn)?shù)階Gagliardo-Nirenberg不等式[12]

上述等式成立當(dāng)且僅當(dāng)u(x)是函數(shù)Q(x)的伸縮平移，其中Q(x)是下述非線性分?jǐn)?shù)階方程唯一徑向?qū)ΨQ正解:

由方程(2.2)和Pohozaev恒等式有

引理2.1對(duì)任意的θ ＞1，有e(θc)≤θ2e(c).

證對(duì)任意θ ＞1，設(shè)uθ(x)=u(θ

因此，由條件(c2)可得

這意味著對(duì)任意的θ ＞1，有

引理2.2假設(shè){un}是一列Schwarz對(duì)稱的極小化序列，如果在Hs(RN)上un?u，則E(u)≤lim infn→∞E(un).

證由文[9]可知，范數(shù)||u||Hs具有弱下半連續(xù)性

進(jìn)一步可得

設(shè)R ＞0是一個(gè)常數(shù)，記BR(0)={x ∈RN:|x|≤R}，則

一方面，由函數(shù)h(r)，k(r)的有界性，存在h1，k1，使得

另一方面，由條件(c2)，不妨設(shè)limr→∞h(r) = h(∞) = 0 = k(∞) = limr→∞k(r)，綜合上述各式，可得

同理可得

上述兩式結(jié)合(2.6)和(2.7)可得

進(jìn)一步，結(jié)合上式和(2.5)可知

引理2.3假設(shè)函數(shù)其中t ＞0，則

證由函數(shù)gp(t)的定義易知gp(0)=-h1c2.

當(dāng)c ＞c1時(shí)，通過計(jì)算(t)=0可得函數(shù)gp(t)在(0，+∞)上有唯一極小值點(diǎn)為

進(jìn)一步可得函數(shù)gp(t)在(0，+∞)上取得極小值

進(jìn)一步可知當(dāng)t →∞時(shí)gp(t)→-∞，因此gp(t) 無法達(dá)到極小值.

引理2.4假設(shè)函數(shù)h(r)，k(r)滿足條件(c1)和(c2)，則

證對(duì)任意的u ∈Sc，利用Gagliardo-Nirenberg不等式，可得

對(duì)任意的u ∈Sc，做伸縮可得

因此有

由上述等式，可得

3.定理證明

定理1.1的證明1) 當(dāng)2 ＜p ＜2+時(shí): 由引理2.3中(i)知，對(duì)?c ＞0，gp(t) ≥gp(t1)，因此e(c) ≥gp(t) ≥gp(t1)，即e(c) ＞-∞.對(duì)任意的u ∈Hs(RN)，易知|u| ∈Hs(RN)且E(|u|) =E(u).由文[16] 中定理A.1可知當(dāng)0 ＜s ＜1時(shí)關(guān)于dx的嚴(yán)格重排不等式成立.設(shè){un}是極小化問題(1.2)的一個(gè)極小化序列，表示un的對(duì)稱遞減重排，則滿足

(i) 對(duì)任意x ∈RN，≥0;

(iii) 對(duì)任意的r ∈[1，∞)，若un∈Lr，則||r=|un|r;

(iv) 若un∈Hs(RN)，則

利用引理2.2可得

因此極小化問題(1.2)存在正的極小解u.設(shè)u*是正極小解u的對(duì)稱遞減重排，相似文[17]中定理1可得

經(jīng)過簡單的計(jì)算即得E(u*)≤E(u).因此極小化問題(1.2)的解u是Schwarz對(duì)稱的.進(jìn)一步，由引理2.3中(i)可知此時(shí)的極小值e(c)≥gp(t1).

若c ≤c1，由引理2.3中(ii)知e(c) ≥gp(t) ≥-h1c2.令其中λ是一個(gè)常數(shù)，Q(x)是(2.2)的非負(fù)徑向解，因此即uλ(x) ∈Sc.通過計(jì)算，利用(2.3)，可得

因此當(dāng)λ →0+時(shí)，

因此只有當(dāng)h1= h(∞)，即h(r)是常數(shù)時(shí)才能證明當(dāng)c ≤c1時(shí)極小化問題(1.2)不存在非零極小解.

若c ＜c2，結(jié)合引理2.3(iii)，相似上面情形2)c ≤c1時(shí)的證明可得當(dāng)c ＜c2時(shí)只有當(dāng)h1=h(∞)，即h(r)是常數(shù)時(shí)才能證明極小化問題(1.2)不存在非零極小解.

當(dāng)c ＞c3時(shí)，由引理2.3中(iv)知e(c) ≥-∞; 令其中λ是一個(gè)常數(shù)，Q(x)是(2.2)的非負(fù)徑向解，當(dāng)λ →+∞時(shí)可得

因此當(dāng)k(0)=k1時(shí)，E(uλ)→-∞，即k(r)是常數(shù)時(shí)對(duì)所有的c ＞c3，極小化問題(1.2)不存在極小解.

即對(duì)所有的c，e(c) = -∞，這意味著當(dāng)p ＞2+時(shí)極小化問題(1.2)不存在Schwarz對(duì)稱極小解.