張曉麗
(赤峰學院 數(shù)學與統(tǒng)計學院,內蒙古 赤峰 024000)
對奇異p(x)-Laplace方程正解存在性定理的應用
張曉麗
(赤峰學院 數(shù)學與統(tǒng)計學院,內蒙古 赤峰 024000)
本文應用文獻[1]中的主要結果,即p(x)-Laplace方程正解的存在性定理給出了一些結論及證明.
解的存在性;p(x)-Laplace算子;上下解
定理 1.1[1]如果(A1)和(A3)成立,問題(1)在空間W1,p(x)
(ⅰ)(A2)成立并且
或
(ⅱ)(A4)成立,
則問題(1)存在一個位于有序區(qū)間[u,u]中的解.
其中的問題(1)是如下的奇異p(x)-Laplace方程Dirichlet問題
這里Ω是RN上的一有界C2域,N≥3,p算子 Δp(x)u=-div(|▽u|p(x)-2▽u)是所謂的p(x)-Laplace算子,f是Ω×(0, +∞)上的Caratheodory函數(shù),滿足
(A1)a0(x)≤f(x,t)≤a1(x)t-γ(x),(x,t)∈Ω×(0,t0),這里a0(x),a1(x)是可測函數(shù),并且a1(x)≥a0(x)>0,γ(x)>0,t0>0,γ(x)∈C(Ω).
注 滿足上述條件的f(x,t)在t=0點可能出現(xiàn)奇性.
除上述兩個條件外,本文主要結果還用到假設(A3)存在一屬于的非負函數(shù)φ滿足其中r(x)<p*(x),并且代表一個一般的正常數(shù).
定理1.2[2]如果f滿足條件這里則泛函Φ在W01,p(x)(Ω)存在全局最小值u,并且u是問題的弱解.
定義1.3[3]u∈W01,p(x)(Ω)稱為問題(2.1.1)的下解(resp.上解),如果u滿足
定理2.1 如果條件 (A1),(A2),(A3)成立,并且存在一個t1>t0,使得f(x,t1)≤0,x∈Ω.則(1)存在一個解小于等于t1.
存在一個解t1.
由于
所以有t1≥u.
故由上式和條件(A1),f(x,t1)≤0,可以得到如下的不等式
所以t1是問題(1)的一個上解,并且t1∈L∞(Ω).又條件(A1),(A2),(A3)成立,所以依據(jù)定理1.1可以得到問題(1)的一個解u≤t1.
定理2.2 如果條件(A1),(A2),(A3)成立,并且
其中B為常數(shù),1≤β<p-,則問題(1)存在一個解.
存在一個解u由于
故由上式和條件(A1),(2)可以得到如下的不等式
記這就是p(x)-Laplace方程的第一特征值.我們知道,如果p(x)恒等于常數(shù)p,則第一特征值為正,并且第一特征值為正對于研究p-Laplace問題是十分重要的,然而對于一般的函數(shù)p(x),第一特征值一般是等于0的.只有在極為特殊的情況下,第一特征值為正.在以下的討論中我們假設:存在一個向量l∈RN{0}使得對于任意的x∈Ω,f(t)=p(x+tl)對t∈Ix={t|x+tl∈Ω}是單調的.
定理2.3 如果條件(A1),(A2),(A3)成立,并且
對某一個0≤λ<λ1成立,則問題(1)存在一個解.
證明 設
則有如下不等式成立
所以有下面的不等式成立
因為
即存在一個常數(shù)C滿足
所以
所以
因為λ<λ1,p->1,所以當||u||→∞時,Φ(u)→∞又由于Φ是弱下半連續(xù)的,所以泛函Φ在空間W01,p(x)(Ω)存在全局最小值點即
存在解u.所以由條件(A1)可以得到如下的不等式
故依據(jù)上式,(3)式和條件(A1)有如下的不等式成立
面定理1.1可以得到問題(1)存在一個解.
定理2.4 如果條件(A1),(A2),(A3)成立,并且存在t1≥t0,使得
Caratheodory函數(shù),滿足
這里
并且在一個正測度集上有
成立,則問題(1)有一個解.
證明 取h∈C(T,[0,1]),使得當t≤t1時,h(t)=1;存在t2,使得當t≥t2>t1時,h(t)=0,并且令
只需證明具有
的泛函Φ是有下界的而且為強制的.
我們有當t≥t2時,所以有
所以有如下的不等式成立
所以
所以依據(jù)(5)知Φ有下界.下證Φ是強制的.
假設Φ不是強制的,即
但
則子列
在W01,p(x)(Ω)中弱收斂于u?.因為
則
所以依據(jù)(6)和Fatou's lemma有
與假設矛盾,所以Φ是強制的.
〔1〕張曉麗.奇異p(x)-Laplace方程正解的存在性[J].赤峰學院學報(自然科學版),2014.
〔2〕Qingzeng song,Existence of Solutions for Singular Quasilinear Elliptic Equation[D].
〔3〕Fan,X.L,On the sub-supersolution method for p(x)-Laplacian equations,J.Math.Anal.Appl.(2006),doi:10.1016/j. jmaa.2006.07.093.
〔4〕郭大鈞.非線性泛函分析(第二版)[M].山東:山東科學技術出版社,2001.
O175
A
1673-260X(2017)06-0010-03
2017-03-04