一类带有奇异位势的强奇性偏微分方程的正解的性质*

2021-01-14 02:58:08唐露双震孙义静
中国科学院大学学报 2021年1期
关键词:位势有界原点

唐露,双震,孙义静

(中国科学院大学数学科学学院, 北京 100049)

本文研究如下带有奇异位势的矩阵型强奇异偏微分方程

(1)

1 本文主要研究成果

众所周知(参见文献[7]),如下问题:

定理1.1设Ω是n(n≥3)中包含原点的具有光滑边界的有界开集,M(x)是定义在Ω上的实对称矩阵,满足:存在正常数α,β使得M(x)ξ·ξ≥α|ξ|2,|detM(x)|≤β,∀ξ∈n,∀x∈Ω,-3<-p<-1,-n<-μ<0, 则方程

定理1.2设Ω是n(n≥3)中包含原点的具有光滑边界的有界开集,M(x)是定义在Ω上的实对称矩阵,满足:存在正常数α,β使得则方程(1)的任一解u无界,即u∉L∞(Ω)。

定理1.3设Ω是n(n≥3)中包含原点的具有光滑边界的有界开集, -3<-p<-1, 如果-n<-μ<-2, 则方程

(2)

2 定理1.2的证明

其中β=(β1,β2,…,βn)为多元指标,|β|=β1+…+βn,c(n,|β|)是与n,β有关的正参数,特别地,

由于u是方程(1)的解,有

(3)

其中c1是与α,β,n有关、与δ无关的正数值。估计(3)右边值,有

其中c2是与α,β,n有关、与δ无关的正数值。于是得到

3 定理1.3的证明

用反证法证明。假设方程(2)的C2(Ω{0})-解u不满足性质

-Δu≡|x|-μu-p,∀x∈Ω{0}.

(4)

令R=r2-n, 定义区域

=-x|x|-n,∀x∈Ω(t),

Δg(x)=0,∀x∈Ω(t).

由格林恒等式,有

计算A(t)的一阶导数,

在Γ(t)中,有

上述等式最后一步根据散度定理而来。计算A(t)的二阶导数,有

我们来估算A(t),A″(t)。

其中d1,d2,d3是与n,μ,p有关、与t无关的正数值。从而,得到关系式

(5)

(6)

(7)

下面分析当t→∞,A(t),A′(t),A″(t)可能出现的情况。由A″(t)<0, 可知A′(t)单减:

定义函数F(t)

F′(t)=A(t)-γ·A′(t),

F″(t)=A(t)-γA″(t)-γA(t)-γ-1A′(t).

已知A′(t)≥0, 且由式(5),有

F″(t)≤A(t)-γA″(t)

考虑函数sF″(s),s∈[R,t], 它的积分满足

则有

-RF′(R)-F(t)≤-d4(lnt-lnR).

猜你喜欢
位势有界原点
复Banach空间的单位球上Bloch-型空间之间的有界的加权复合算子
含Hardy位势的非线性Schrödinger-Poisson方程正规化解的多重性
一类带强制位势的p-Laplace特征值问题
Book Pilot 飞行选书师,让书重新回到原点
现代苏州(2019年16期)2019-09-27 09:31:02
一类具低阶项和退化强制的椭圆方程的有界弱解
重返历史“原点”的旅程
含变号位势的ρ-Kirchhoff型方程组无穷多个高能量解的存在性
含位势的非线性双调和方程解的存在性
在原点震荡的扰动Schrödinger-Poisson系统的无穷多个解
浅谈正项有界周期数列的一些性质