在本文中,我们将给出两个结果。第一个是弱A谐波传感器的弱反向Hölder不等式,第二个结果是建立A谐波传感器Höelder连续性。
2.1弱A谐波传感器的弱逆Hölder不等式
反向Hölder不等式是数学分析中的有力工具,在估计解方面有许多应用。反向Hölder不等式的最初研究可以追溯到Muckenhoupt在年的工作中[4]. 近年来,建立了各种形式的弱反向Hölder不等式。Agarwal,Ding和Nolder于[2]. 在[5]对于由Strofolin得到的某些方程组的非常弱的解,存在一个弱的逆Hölder不等式。弱类微分形式的弱逆Hölder不等式年被高和王证明[三].
在本节中,我们建立了弱a谐波传感器的弱反向Hölder不等式。关键是选择合适的测试形式,我们证明中的关键工具是[6]微分形式的Poincaré-型不等式[5].
引理2.1[5]设Q是立方体或球,u ∈ L(左)第页(问, Λ我)带du ∈ L(左)第页(问, Λ我+ 1), 1 <第页< ∞.然后,
哪里表示Q上的积分平均值,那就是
哪里|问|表示Q的勒贝格测度.
引理2.2[6]对于ω ∈ L(左)第页(1+ε)(Ω, Λ我),和,考虑霍奇分解
如果ω闭合(即.dω=0),然后
如果ω闭合(即.d日*ω=0),则
我们的主要结果是以下定理。
定理2.3 假设 是弱a调和张量,则存在ε0> 0这样,对于|第页-第页| <ε0以及任何立方体Q ⊂2问 ⊂Ω我们有
哪里0 ≤θ< 1,c(c)=c(c)(n个,第页,α,β) < ∞.
证明:让是一个截止函数,使得0≤η≤ 1,η≡1开问、和|∇η| ≤c(c)(n个)/直径Q.放置
那么就有了ε1>0,以便|第页-第页| <ε1满足Hodge分解的条件。所以,从引理2.2,我们得到
哪里,、和
(2.3)
写入
然后通过中的一个初等不等式[7]
(2.4)
这也适用于微分形式,通过选择ε=第页-第页在(2.4)中,我们有
(2.5)
我们可以使用d⁄= |数字电视|第页-第页数字电视-小时作为方程式的测试形式(1.1)获得
然后我们得到
因此,
(2.6)
通过(1.2),等式的左侧有估算值
(2.7)
现在我们估计|我1|和|我2|. 根据(1.2)、(2.5)和Hölder不等式可以得出
引理2.1暗示
(2.8)
连同上述不等式和Young不等式我们得到了|我1|:
(2.9)
结合(1.2)、(2.3)和Hölder不等式得出
结合Minkowski不等式和(2.8)产量
因此,结合Young的不平等,我们有
(2.10)
因此,结合(2.6)-(2.10),我们得到
然后,我们通过除法α|问|双方都认为
让ε足够小,我们可以选择第页足够接近第页,即存在0<ε0<ε1这样对于足够小的ε和|第页-第页| <ε0我们有θ= (2ε+c(c)(n个)β|第页-第页|)/α<1,则我们获得
哪里c(c)=c(c)(n个,第页,α,β) < ∞. 定理如下。
2.2 A谐波传感器的Hölder连续性
在函数的情况下,我们已经通过Morrey引理得到了函数的Hölder连续性的结果。在本节中,我们建立了满足A-调和方程的微分形式的Hölder连续性(1.1)通过微分形式的等周不等式[8]和微分形式的Morrey引理[9].
设Γ=Γ(一1,一2)是局部可补弧族γ∈ ℝ n个连接点一1和一2.给,d日=d日(一1,一2)是点之间的距离一1,一2 ∈ ℝ n个.我们用d表示秒弧长元素ℝ n个.
对于子域,我们设置
下确界覆盖所有可能的序列{米
k个
},米
k个
∈ ℝ n个,中没有累积点ℝ n个.
现在我们给出微分形式的Hölder连续性的定义,它出现在[9].
定义2.4[9]设u是度l的微分形式,D是紧子集 ℝ n个.我们说u是Hölder连续的,在a处具有指数α1∈ D如果
(2.11)
对于所有人
2
∈D,其中D=D(a1,一个2) <(天)/2.一种说法是u是Hölder连续的,D上的指数为α,如果(2.11)完全满意1 ∈ D.如果 微分形式u在D上称为一致Hölder连续.
备注:如果微分形式u个零度,即。u个是一个函数,Hölder连续,那么
同意Hölder连续函数的通常定义。
定义2.5[10]微分形式 称为弱闭,写dφ=0,如果
对于每个测试表格包含紧凑支撑Ω,其中指数p'是p的Hölder共轭.
备注:对于光滑微分形式φ,上述定义与传统的封闭性定义一致dφ= 0.
定义2.6[8]一对弱闭微分形式Φ∈ L(左)第页(Ω, Λ我(ℝ n个))和Ψ∈ L(左)秒(Ω, Λn个-1),其中1 <第页,秒< ∞满足索波列夫关系 ,将被称为可接受对,如果Φ Λ Ψ ≥ 0和
其中H= |Φ|第页+ |Ψ|秒.
备注:两种体积形式之间的不等式应理解为它们的系数相对于标准基之间的不等式,也就是说,我们说n个-形式α在ℝ n个非负,如果α=λdx对于一些非负函数λ.
我们使用的主要引理如下
引理2.7[8]让(Φ, Ψ)是可接受的配对。给定x ∈ ℝ n个,对于几乎所有B=B(x、 δ)⊂ ℝ n个, 0 <δ<δ(天)/2我们有
(2.12)
假如.
引理2.8[9](莫里引理)让, 0 ≤我≤n.如果对于每个点a ∈ D和r<δ(天)/2平等
持有,那么对于所有1,一2 ∈ 天,d日(一1,一2) <δ(天)/2,我们得到
其中C=C类(n个,第页,α).
作为等周不等式(2.12)和Morrey引理2.8的应用,我们建立了A谐波传感器的Hölder连续性。也就是说,我们有以下几点
定理2.9 假设微分形式具有 ,是A调和,则u是Hölder连续.
证明:首先,我们设置Φ=杜, Ψ =✶A类(x个,杜). 我们应该证明(Φ,Ψ)是一个容许对。很容易看出Φ是闭合的,所以它是弱闭合的。以及✶A类(x个,杜)以下为
为所有人。接下来我们设置和在定义2.6中,其中指数第页'是的Hölder共轭第页.那么,我们有和
因此,我们
趋向于0t吨趋于∞。此外,由于
通过定义2.6,我们得到(Φ,Ψ)是一个容许对。
其次,我们设置和在(2.12)中,我们有通过对容许对(Φ,Ψ)应用等周不等式(2.12),我们得到
因此,
设置
然后
哪里那么,我们有,因此增加,然后我们得到,即。
因此,Morrey引理(引理2.8)推断
即。u个Hölder是指数连续的吗。定理如下。