段對(duì)花,高承華

(西北師范大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,蘭州 730070)

1 引言與預(yù)備知識(shí)

k-Hession問題源于幾何學(xué)、流體力學(xué)等應(yīng)用學(xué)科[1]. 一般地,對(duì)一個(gè)有界域Ω?n和函數(shù)u∈C2(Ω),k-Hessian算子定義為

其中:λ(D2u)=(λ1,λ2,…,λn)是Hessian矩陣D2u的特征值向量,λ1,λ2,…,λn是特征值;Sk(λ(D2u))是第k階初等對(duì)稱多項(xiàng)式. 顯然,k-Hessian算子是一類二階完全非線性微分算子,是Hessian 矩陣D2u所有k×k階主子式之和. 特別地,當(dāng)k=1時(shí),k-Hessian方程即退化為Laplace方程Δu=f[2-4]; 當(dāng)k=n時(shí),k-Hessian方程即退化為Monge-Ampère方程detD2u=f[5-7].

受上述結(jié)果啟發(fā),本文研究一類k-Hessian問題:

(1)

徑向k-容許解的存在性,其中λ>0是一個(gè)參數(shù),k=1,2,…,n,B={x∈n: |x|<1}是一個(gè)單位球.

定義1[9]設(shè)Ω?n是有界開集. 對(duì)k∈{1,2,…,n},函數(shù)u∈C2(Ω)是k-容許函數(shù)當(dāng)且僅當(dāng)λ(D2u)∈Γk,其中Γk={λ∈n:Sk(λ(D2u))>0,k=1,2,…,n}?n.

本文總假設(shè):

(H1)f: [0,∞)→[0,∞)是連續(xù)的.

引理1[11]假設(shè)v(r)∈C2[0,1]是徑向?qū)ΨQ的函數(shù),且滿足v′(0)=0,則函數(shù)u(x)=v(r),r=|x|<1是C2(B)的,且有

因此,尋找問題(1)的徑向?qū)ΨQ解即等價(jià)于尋找問題

(2)

的解. 由文獻(xiàn)[17]易知函數(shù)u∈C2(B)是問題(1)的徑向k-容許解當(dāng)且僅當(dāng)v(r)是問題(2)的負(fù)解.

取函數(shù)φ∈C2[0,1],做變換φ=-v,有

(3)

則u(|x|)=-φ(r)是問題(1)的徑向k-容許解當(dāng)且僅當(dāng)φ(r)是積分方程(3)的一個(gè)正解.

其中σ∈(0,1/2)是給定的一個(gè)正常數(shù). 定義算子A:P→C[0,1]為

(4)

因?yàn)閒: [0,∞)→[0,∞)是連續(xù)的,所以由Arzela-Ascoli定理易證A:P→P是全連續(xù)算子. 于是尋找問題(1)的徑向k-容許解即等價(jià)于尋找算子A的不動(dòng)點(diǎn).

1) 若‖Au‖≤‖u‖,u∈?DP,則iP(A,DP)=1;

2) 假設(shè)存在e∈P{θ},使得對(duì)所有的u∈?DP和任意的μ>0,均有u≠Au+μe,則iP(A,DP)=0;

對(duì)給定的正實(shí)數(shù)σ,γ,定義

(5)

引理3[3]式(5)中定義的Ωγ和Bγ滿足如下性質(zhì):

1)Ωγ是P中的開集;

2)Bσγ?Ωγ?Bγ;

4) 若φ∈?Ωγ,則有σγ≤φ(r)≤γ,r∈[σ,1-σ].

2 主要結(jié)果

假設(shè)條件:

定理1假設(shè)條件(H1)～(H3)同時(shí)成立,則有:

(i) 若α<σβ,則積分方程(3)至少有一個(gè)正解φ(r),且滿足

(ii) 若α>β>σβ,則積分方程(3)至少有一個(gè)正解φ(r),且滿足

(6)

證明: 用引理2證明該結(jié)果,先證明引理2中的1),2)成立.

1) 由(H2)可知,對(duì)?φ∈?Bα和t∈[0,1],有

即‖Aφ‖≤‖φ‖,φ∈?Bα. 由引理2中1)的結(jié)論可得iP(A,Bα)=1.

2) 取e(r)=1,則e∈P{θ}. 下證φ≠Aφ+μ,φ∈?Ωβ,μ>0.

反證法. 假設(shè)結(jié)論不成立,則存在φ0∈?Ωβ和μ0>0,使得φ0=Aφ0+μ0. 由引理3中4) 可知σβ≤φ0(r)≤β. 進(jìn)一步結(jié)合引理3中3),可得

因此‖φ‖≤β,表明結(jié)論(i)成立.

為方便,記

定理2假設(shè)條件(H1)成立,若條件(H4)或(H5)之一成立,則問題(1)至少有一個(gè)徑向k-容許解.

證明: 只證明(H4)成立的情形,(H5)成立的情形類似可證.

所以存在β>0,使得α<σβ,對(duì)任意的φ≥σβ,有

因此(H3)成立.

推論1假設(shè)條件(H1)成立,若

(7)

或者

(8)

成立,則問題(1)至少有一個(gè)徑向k-容許解.

證明: 設(shè)ξ=0或ξ=∞. 當(dāng)fξ=∞時(shí),