許興業(yè)

(廣東外語外貿(mào)大學(xué) 南國商學(xué)院公共課教學(xué)部, 廣東 廣州 510545)

?

關(guān)于半線性方程div(|Du|p-2Du)=f(|x|,u)的有界正整解

許興業(yè)

(廣東外語外貿(mào)大學(xué) 南國商學(xué)院公共課教學(xué)部, 廣東 廣州 510545)

摘要:研究形如div(|Du|p-2Du)=f(|x|,u)的半線性橢圓型方程的有界正整解問題，建立了2個有界正整解的存在性定理.

關(guān)鍵詞:半線性橢圓型方程；有界正整解；相對緊；連續(xù)映照；不動點(diǎn)定理

0引言

本文運(yùn)用Schauder-Tychonoff不動點(diǎn)定理研究一類形如

div(|Du|p-2Du)=f(|x|,u)

(1)

1主要結(jié)果

定理1設(shè)f(r,u)滿足：

(Ⅰ)f(r,u)關(guān)于u∈R+是不減函數(shù)；

(2)

(Ⅲ)存在常數(shù)c>0使

(3)

則方程(1)存在無窮多個有界正整解u(x).其中

證明令u(x)=y(|x|)，則方程(1)可歸結(jié)為常微分方程的初值問題：

(4)

其中φp(y)=|y|p-2y,η為待定常數(shù).從而初值問題(4)的解等價于如下積分方程的解.

(5)

從而轉(zhuǎn)到討論積分方程(5)的可解性.由(Ⅱ)知

k(s)f1/(p-1)(s,2λ)·λ-1≤k(s)f1/(p-1)(s,(2c)·c-1,λ≤c.

其中c是(Ⅲ)中出現(xiàn)的常數(shù)，且對每一s∈(0,),當(dāng)λ→0+時有

k(s)f1/(p-1)(s,2λ)·λ-1→0.

由(Ⅲ)知

于是由Lebesgue控制收斂定理得

(6)

由(6)知可以選擇充分小的常數(shù)η>0使得

(7)

記C1[0,∞)是定義在[0,∞)上的所有連續(xù)可微函數(shù)作成的空間，依通常的方法引入C1[0,∞)的拓?fù)?，作集?/p>

G={y∈C1[0,)|η≤y(r)≤2η,0≤y′(r)≤(η/2)1/(p-1),r≥0}，

則G是C1[0,)的閉凸子集.定義映射Φ:G→C1[0,)如下：

(8)

在這里補(bǔ)充定義：

下面分三個命題證明映射Φ滿足Schauder-Tychonoff不動點(diǎn)定理的條件.

命題1Φ:G→G.

對?y∈G，由(7)、(8)得

(9)

進(jìn)一步由(8)知當(dāng)r>0時

(10)

注意到(10)式

0≤(Φy)′(r)≤(η/2)1/(p-1),r≥0.

(11)

所以ΦG?G.

命題2Φ是連續(xù)映射.

設(shè)yi∈G(i=1,2,…)且依C1[0,)的拓?fù)鋣i收斂于y.對?r∈[0,)由(8)、(10)式得

命題3ΦG是相對緊的.

先證{Φy(r)|y∈G}與{(Φy)′(r)|y∈G}在[0,)的任一緊子區(qū)域[0,M]一致有界且等度連續(xù).事實(shí)上，對?[0,M]?[0,),{Φy(r)|y∈G}與{(Φy)′(r)|y∈G}在[0,M]上的一致有界性以及{Φy(r)|y∈G}在[0,M]上的等度連續(xù)性從(9)和(11)即可以看出.于是需證明{(Φy)′(r)|y∈G}在[0,M]上的等度連續(xù)性.由(10)式當(dāng)r>0時有

注意到f(r,u)≥0,有φp(y′)=|y′|p-2·y′=(y′)p-1，從而

(12)

(13)

由(12)式得

于是(13)式對任意r≥0成立.從而在[0,M]上對(φp((Φy)′(r)))′有估計(jì)式:

從而在[0,M]上有估計(jì)式|φp(Φy) ′(r1)-φp(Φy) ′(r2)|≤LM|r1-r2|,r1,r2∈[0,M]，即

|((Φy) ′)p-1(r1)-((Φy)′)p-1(r2)|≤LM|r1-r2|,r1,r2∈[0,M]，故有

這就證明了{(lán)(Φy) ′(r)|y∈G}在[0,M]上是等度連續(xù)的.故對[0,∞)的任一緊子區(qū)間[0,M]，依C1[0,∞)的拓?fù)淠苡肁scoli-Arzela定理[7].

要證明ΦG在G中是相對緊的，即要證ΦG中任一序列{(Φyi)(r)}必包含一個子序列，該子序列依C1[0,∞)的拓?fù)涫諗坑谥蠫的一個元素，我們只要對區(qū)間列[0,M1]?[0,M2]?…?[0,Mj]?…,(其中Mj→,當(dāng)j→時)逐次利用Ascoli-Arzela定理，并采用“取對角線子列”手續(xù)即可完成.

上面3個命題證明了Schauder-Tychonoff不動點(diǎn)定理[8]的條件全部滿足，所以Φ存在不動點(diǎn)y∈G，即y就是方程(8)的解，且依G的定義知y滿足η≤y≤2η，從而也就證明了方程(1)存在有界正整解u(x)=y(|x|),x∈Rn.

選擇ηk,(k=1,2,3,…)滿足(7)式，且使諸區(qū)間[ck,dk]互不相交，其中ck=ηk,dk=2ηk，則對每一k，由上面的證明知方程(1)存在有界正整解uk(x),k=1,2,3,…且ck≤uk(x)≤dk，所以方程(1)存在無窮多個有界正整解.

定理1′設(shè)除了f(r,u)滿足定理1中的假設(shè)(Ⅰ)、(Ⅲ)外，還滿足

(2)′

則方程(1)存在無窮多個有界正整解u(x).

定理2設(shè)f(r,u)滿足：(Ⅰ)f(r,u)關(guān)于u∈R+=[0,)是不增函數(shù)；

(14)

(14)′

(Ⅲ)存在常數(shù)c>0使

(15)

則分別在假設(shè)(Ⅰ)、(Ⅱ)、(Ⅲ)或(Ⅰ)、(Ⅱ)′、(Ⅲ)下方程(1)存在無窮多個有界正整解u(x).其中

證明同定理1完全類似，略.

3例子

例1考察方程

div(|Du|p-2Du)=a(|x|)uα,x∈Rn,n≥2,α>0，p>1.

(16)

(17)

參考文獻(xiàn)：

[1]KUSANOT,SWANSONCA.Positiveentiresolutionsofsemilinearbiharmonicequations[J].HiroshimaMath,1987,17(1):13-28.

[2]KAWANON,KUSANOT,NAITOM.OntheellipticequationsΔu=Φ(x)uγinR2[J]. Proc Amer Math Soc,1985, 93:73-78.

[3] 葉常青.一類奇異非線性雙調(diào)和方程正整解[J].數(shù)學(xué)物理學(xué)報，2001,21A(1):138-144.

[4] XINGYE X， BICHENG Y,DEBNATH L. Positive entire solutions of nonlinear polyharmonic equations in R2[J].Applied Mathematics and Computation,2002,126:377-388.

[5] 許興業(yè).一類擬線性橢圓型方程正的徑向?qū)ΨQ整體解的存在性[J].廣東第二師范學(xué)院學(xué)報,2015，35(5):48-51.

[6] 許興業(yè).一類奇異擬線性橢圓型方程的正整解.韶關(guān)學(xué)院學(xué)報(自然科學(xué))，2015,36(12):1-4.

[7] ADMAS R A. Sobolev spaces[M]. Boston：Acamdemic Press,1975.

[8] EDWARDS R E. Functional analysis[M]. New York: Rinchart and Winston,1995.

收稿日期：2016-03-22

基金項(xiàng)目：廣東外語外貿(mào)大學(xué)南國商學(xué)院校級重點(diǎn)科研課題資助項(xiàng)目(16-005A)

作者簡介：許興業(yè)，男，廣東普寧人，廣東外語外貿(mào)大學(xué)南國商學(xué)院公共課教學(xué)部教授.

中圖分類號：O 175.25

文獻(xiàn)標(biāo)識碼：A

文章編號：2095-3798(2016)03-0039-05

The Bounded Positive Entire Solutions to the Semilinear Equations Such as div(|Du|p-2Du)=f(|x|,u)

XU Xing-ye

(Department of Public Course Teaching, South China Business College, Guangdong University of Foreign Studies, Guangzhou, Guangdong, 510545, P.R.China)

Abstract:This paper aims to study the problem of bounded positive entire solutions to semilinear equations such as div(|Du|p-2Du)=f(|x|,u), and has established two existence theorems of bounded positive entire solutions.

Key words:semilinear elliptic equations; bounded positive entire solutions；relative compactness; continuous mapping; fixed point theorem