![](https://img.fx361.cc/images/2023/0223/be30786ba1adfa0707c67713f4fb8e474110c374.webp)
为上半空间的Poisson核.对定义在∂Rn+上的函数f,多调和延拓算子定义为:
![](https://img.fx361.cc/images/2023/0223/04f956601ec59f2da6bb0b99018d319fb8efbaa7.webp)
2014年,CHEN[1]证明了上半空间一类带边界项的精确的积分不等式:
![](https://img.fx361.cc/images/2023/0223/9a1b2c0032c144a1087ed70dcd4f7226a1f1e8b5.webp)
其中1< p ≤∞,n ≥2.并且,当p=时,他还证明了不等式的极值函数的存在性.2008年,在a=0的情形下,HANG等[2]建立了不等式(1.1),并利用移动平面法对不等式的极值函数进行了分类.
不等式(1.1)对应的Euler-Lagrange 方程为
![](https://img.fx361.cc/images/2023/0223/030f97e1746abecb844694765a83ebadfaaecae4.webp)
为了得到这个方程解的存在性,CHEN[1]采用了重排不等式和文[2]中的命题4.1来证明.
![](https://img.fx361.cc/images/2023/0223/b81001c5da822725a9df6c27c15a6cc66d09324e.webp)
若记u(x)=(Paf)(x),v(y)=fp−1(y)及κ=则可把上面的Euler-Lagrange方程写成如下的积分方程组:注意到此积分方程组在临界指数的情形下关于Kelvin变换满足共形不变性,因此我们在文[3]中在临界指数的情形下对方程组(1.2)的正解进行了分类,在次临界指数的情形下证明了正解的不存在性.
受上述工作的启发,本文考虑如下更一般的积分方程组:
![](https://img.fx361.cc/images/2023/0223/0a100dd9baab6bf1d74dd8fddcdd9e4ec5027185.webp)
其中f,g:[0,∞)→[0,∞)是非负的连续函数,且满足如下条件:
(i)f(t),g(s)在(0,∞)上非减;
(ii)F(t)=上非增,这里
本文的主要结果如下.
定理1.1假设f,g:[0,∞)→[0,∞)是非负函数且满足条件(i)和(ii).若(u,v)是方程组(1.3)非负解,且满足:
![](https://img.fx361.cc/images/2023/0223/615bb6b8a9f4f5756a698c99829aae4ab143bdd6.webp)
![](https://img.fx361.cc/images/2023/0223/ff793e3bd3cfa4d54988f50070b98f352dba357e.webp)
其中a1,a2>0,d>0,η0∈∂Rn+.
当a=0时,DOU和ZHANG在文[4]中同样利用积分形式的移动球面法证明了方程组(1.3)的Li-ouville型定理.特别地,若a=0及f(v)=vκ,g(u)=uθ时,方程组(1.3)恰好是文[2]中的积分不等式的极值函数满足的Euler-Lagrange方程的变形.
近年来,一些研究者考虑了含调和核的积分方程组:
![](https://img.fx361.cc/images/2023/0223/486cd7f20f6ffb6cbbbd02b2d2417d3f554fb7ae.webp)
其中1< α < n.该方程组的正解与Hardy-Littlewood-Sobolev (HLS)不等式的极值函数密切相关.在f,g满足类似于(i)和(ii)的某些自然结构条件下,YU[5]利用移动平面法讨论了方程组(1.4)的Liouville型定理.当f(v)=vq及g(u)=up时,CHEN等[6−7]和HANG[8]分别在不同的指数条件下利用积分形式的移动平面法证明了方程组(1.4)解的径向对称性和单调性等性质.特别地,当u=v及p=q=时,方程组(1.4)归结为单个方程,CHEN等[9]和LI[10]分别利用积分形式的移动平面法和积分形式的移动球面法对方程的正解进行分类.
同样地,上半空间含调和核的积分方程组为:
![](https://img.fx361.cc/images/2023/0223/a20261b23c2ee7c845f01658f183178fcbbbecfc.webp)
其中1< α < n.注意到,当f(v)=及g(u)=时,DOU和ZHU[11]证明了方程组(1.5)恰好是上半空间相应于HLS不等式的Euler-Lagrange方程,并利用积分形式的移动球面法及Li-Zhu引理[12],对该方程组的正解进行了分类.此外,DOU和LI[13]考虑了方程组(1.5)的Liouville型定理,且f,g满足类似于(i)和(ii)的某些自然结构条件.
若f(v(y))=vκ(y),g(u(x))=uθ(x),κ=则方程组(1.3)关于Kelvin变换具有共形不变性.因此,本文也采用积分形式的移动球面法对方程组的正解进行分类.此外,由于指数κ<1,所以在处理不等式的时候需要不同的估计技巧.
本文组织如下:第2节介绍本文要用到的一些记号和相关引理.第3节利用积分形式的移动球面法证明定理1.1.
2.预备引理
首先介绍一些本文要用到的记号.对于R>0,记
![](https://img.fx361.cc/images/2023/0223/0befef8640f49ac7f522c9c68310151b72ad03e4.webp)
当x=0时,记BR=BR(0),Bn−1R=Bn−1R(0),B+R=B+R(0),ΣnR=Σn0,R,Σn−1R=Σn−10,R .
下面定义(1.1)式的对偶形式.令g是定义在Rn+上的函数,记Pa的对偶算子为:
![](https://img.fx361.cc/images/2023/0223/5269156c9f27d5bd271f56a1d6723d61d1e3a3b3.webp)
命题2.1[3]令1≤p![](https://img.fx361.cc/images/2023/0223/3d5965de67dc0608d3e23d545813f810a50dfc88.webp)
其中g ∈Lp(Rn+).
为了证明定理1.1,需要利用下面的正则性结果.
命题2.2设κ>0,1≤θ ≤−1,f,g:[0,∞)→[0,∞)是非负的连续函数且满足条件(ii).令(u,v)是方程组(1.3)的一组正解,且(∂Rn+),假设
![](https://img.fx361.cc/images/2023/0223/874d1bd35065f244282be4af12f501dbd5f0bdbb.webp)
成立,其中κ0=那么可推出v ∈C∞(∂Rn+),u ∈C∞(Rn+).
这个关于正则性的命题的证明,可类似于文[3]中的定理2.3或文[4]中的定理2.3推得,此处略.
本文还需要下面三个关键引理,这三个引理在移动球面的过程中至关重要.第一个引理和第二个引理由文[10]给出,并且在更强假设下的结论由LI,ZHU[12]及LI,ZHANG[14]给出.第三个引理由DOU和ZHU在文[11]中给出,它把文[10]中的结果推广到了上半空间.
引理2.1[10]对n ≥1及µ∈R,若f是定义在Rn上的实值函数且满足:
![](https://img.fx361.cc/images/2023/0223/886c00b0ff9b6cc817d2626bfc7585cd7f3cea25.webp)
则f(x)=C是常函数.
引理2.2[10]令n ≥1,µ∈R,及f ∈C0(Rn).假设对任意的x ∈Rn,存在λ>0使得
![](https://img.fx361.cc/images/2023/0223/92bbc0caad9e992c72e28a80accf27821445715f.webp)
那么,存在a ≥0,d>0及∈Rn,使得
![](https://img.fx361.cc/images/2023/0223/25a8955386d4a9d33bde338a17bb7dcba0338bb7.webp)
引理2.3[11]对n ≥1 及µ∈R,若f是定义在Rn+上的实值函数且满足:
![](https://img.fx361.cc/images/2023/0223/b93d5f0ba361e5f78101b916cc49f2959bfdbe1b.webp)
则我们有
![](https://img.fx361.cc/images/2023/0223/b0cb0aa7f288ecbd6cc0d20d254874ba0354ed10.webp)
3.定理1.1的证明
本节利用积分形式的移动球面法证明定理1.1.为方便使用移动球面法,定义变换:
![](https://img.fx361.cc/images/2023/0223/ca8e071434604844e95aae044067f3e00dfae4a8.webp)
其中λ>0,ξ ∈Rn+{x},η ∈∂Rn+{x},及
![](https://img.fx361.cc/images/2023/0223/b44d61e6891b255280c5b387593f0191d1477d04.webp)
分别是ξ和η关于球Bλ(x)和(x)的Kelvin变换.简记ωkx,λ(ξ):=(ωx,λ(ξ))k.
现在证明下面几个引理.
引理3.1令(u,v)是方程组(1.3)的一组正解,则有
![](https://img.fx361.cc/images/2023/0223/22620b18dd4c88e609e83618c6dcbd53e9220efc.webp)
其中x ∈∂Rn+.并且,有
![](https://img.fx361.cc/images/2023/0223/ff8b5816fc5674513aa1f110ebec0758ddf6d5a0.webp)
这里
![](https://img.fx361.cc/images/2023/0223/26d408d3ba02212a7499219788768fb328ba02ce.webp)
可推出P1(x,λ;ξ,η)>0,P2(x,λ;η,ξ)>0,对任意的0.
证这个引理的证明过程类似于文[3-4,10-11]中相应引理的证明,但是我们需要更繁琐的计算.为方便起见,记
![](https://img.fx361.cc/images/2023/0223/1290ce55a595d0ce2a0b08d5f0722caf8416f5fd.webp)
其中x ∈∂Rn+,λ>0.那么有
![](https://img.fx361.cc/images/2023/0223/b6ad20a611faa6f629a6f9f580a99d74d3cd881f.webp)
令y=ηx,λ,则有
![](https://img.fx361.cc/images/2023/0223/483f30349380975f2779d73e5869c8cd08f47374.webp)
并且,根据第n个变量的Kelvin变换有
![](https://img.fx361.cc/images/2023/0223/d520c9ad0423f78e08b2063714165e07d1dbc830.webp)
则有
![](https://img.fx361.cc/images/2023/0223/2dbddee0398a245761f29305a323903fd8eff53f.webp)
同理,可得
![](https://img.fx361.cc/images/2023/0223/56cec93ab47c369b581b198c5a9bd89fc9dbeca8.webp)
同理可证(3.2)式成立.将ux,λ(ξ)与u(ξ)相减,可得
![](https://img.fx361.cc/images/2023/0223/7f7467678566c22279807bc7514f65e6adc8d909.webp)
注意到
![](https://img.fx361.cc/images/2023/0223/0c0866059fde67cc75ce758b48b9b4e4f3a43959.webp)
及
![](https://img.fx361.cc/images/2023/0223/96c21d9567dc0f0e9b119b03366518ff8ec2f3ca.webp)
将上面两个式子相减后,再带入到(3.5)式中,可得(3.3)式.同理,可推出(3.4)式成立.
类似于文[13]中的证明,可证得P1(x,λ;ξ,η)>0,P2(x,λ;ξ,η)>0,其中及λ>0.
为下文叙述方便,记
![](https://img.fx361.cc/images/2023/0223/43ccb8bbd944586fa826d1f3c33067300044bcd6.webp)
引理3.2在假设(H′)成立的条件下,令(u,v)是方程组(1.3)的一组正解,则对任意的x ∈∂Rn+,存在λ0(x)>0使得对任意的0<λ<λ0(x),有
![](https://img.fx361.cc/images/2023/0223/53dae59305938fa1e6dff1db3235f243b46f667b.webp)
证当时,显然有v(ηx,λ)≥vx,λ(η),根据条件(ii)可知F(v(ηx,λ))≤F(vx,λ(η)).另一方面,根据条件(i)可知对有f(vx,λ(η))≤f(v(η)).从(3.3)可知,对有
![](https://img.fx361.cc/images/2023/0223/0ec6f8147b163c7d1394e0cb9648b72d7def49f9.webp)
![](https://img.fx361.cc/images/2023/0223/624b7ea439f6894aea52a69a15f4028a0031af94.webp)
上式用到了中值定理,且r ∈[,θ].令f+(x)=:max {f(x),0},及s>则从(1.1)式及Hölder不等式有
![](https://img.fx361.cc/images/2023/0223/619e2d3d39f83ddf8ccb5c08cf5bafae36ec0638.webp)
其中()C是的余集,
根据引理3.1的推导过程,有
![](https://img.fx361.cc/images/2023/0223/734416427760a5af91efb788b01e91a71852c697.webp)
![](https://img.fx361.cc/images/2023/0223/48732523c3884f668246851e043717a97dfebc89.webp)
另一方面,我们有
![](https://img.fx361.cc/images/2023/0223/b7f066b39199d8e217015505b0da1fd08e0e0b46.webp)
HANG在文[8]中证明了基本不等式:
![](https://img.fx361.cc/images/2023/0223/89f105431d1372ffa8c84fee06145b7e730c3b9b.webp)
其中0< s ≤1,a ≥b >0及c ≥0.类似于文[15]中的方法,对η ∈Σvx,λ,从(3.7)式,(3.8)式及(3.9)式,推出
![](https://img.fx361.cc/images/2023/0223/293e93694d9d17906b30d65c0be56acf10b10a8f.webp)
![](https://img.fx361.cc/images/2023/0223/004de9272b27f1439ab8a0219c6696f6774ac11d.webp)
从(2.1)式推出
![](https://img.fx361.cc/images/2023/0223/419737b0bd0ab2c077d182b1ee4eebe0c65f6a1c.webp)
![](https://img.fx361.cc/images/2023/0223/88e52c288f11bc32a1221680681ecc4a0fe70c45.webp)
在(H′)的假设条件下,存在充分小的λ0使得对0<λ<λ0,有
![](https://img.fx361.cc/images/2023/0223/b03fcd2bb2f5a7d30a3e0145de479718c09d43df.webp)
将上式带入到(3.12)式中,有
![](https://img.fx361.cc/images/2023/0223/7f3e130f17ab765b2839b498bb949becb51d49f5.webp)
令
![](https://img.fx361.cc/images/2023/0223/5edb60de26b03641d7d8d74d18ac5c55fd984351.webp)
引理3.3对某个x0∈∂Rn+,若=:(x0)<∞,则
![](https://img.fx361.cc/images/2023/0223/b471b52bf34b5f006ef3c544b3742b22417b3dac.webp)
证这个引理的证明思路与文[11]中的引理3.4或文[3]中的引理3.3的证明思路类似.根据的定义,有
![](https://img.fx361.cc/images/2023/0223/04e89da6efb9cc5dd0e4a02d582c33412cc780d6.webp)
![](https://img.fx361.cc/images/2023/0223/87117ff0dcc339e87e467845cd00b24dad01aa5b.webp)
从(3.3)式及(3.4)式推出,对λ ∈[,+ε),存在充分小的ϵ<δ使得
![](https://img.fx361.cc/images/2023/0223/92e47fc761ff7b58b0c8ba331e11b4f35b20ff90.webp)
这表明
![](https://img.fx361.cc/images/2023/0223/05759a42123e580da0599827dc454556c9e40a39.webp)
记
![](https://img.fx361.cc/images/2023/0223/d72496b252c891c9cf80339ff1a468910e709658.webp)
当R→∞时,ε1=λ/R任意小.令
![](https://img.fx361.cc/images/2023/0223/70b293dd9b874d723238d38f15cf879daef6df52.webp)
分别为和在Kelvin 变换下关于球 {x:|x−x0|=λ}的反射.类似于(3.12)式的推导,有
![](https://img.fx361.cc/images/2023/0223/c76cd7401da65acbf5d8dd30a7bbdf460f24cb20.webp)
根据假设(H),∫ 有
![](https://img.fx361.cc/images/2023/0223/4d9338964c3677cad6026a29cc57e32765260ac6.webp)
选取充分小的ε0,使得对λ ∈[,+ε)有
![](https://img.fx361.cc/images/2023/0223/89e2729328342564a377bedec38c476f2626549d.webp)
![](https://img.fx361.cc/images/2023/0223/0db1dbfb565052c8b130125f05b14ff04a645f35.webp)
类似地,有
![](https://img.fx361.cc/images/2023/0223/3f32d7af89dbb7f822ea93598991f3b9a3409f40.webp)
其中λ ∈[,+ε),这与的定义矛盾.从而引理3.3得证.
定理1.1的证明情形1 若存在某个x0∈∂Rn+使得(x0)< ∞,则类似于文[16]中的引理4.2的证明过程可以表明(x)<∞,∀x ∈∂Rn+.再根据引理3.3有
![](https://img.fx361.cc/images/2023/0223/8ab22ca62d734a5a2dca30745b82976d9c7f804f.webp)
从引理2.2推出
![](https://img.fx361.cc/images/2023/0223/69ec9442b8139545229d43a6b670c61b4926366c.webp)
这里a1,d>0及η0∈∂Rn+.
将上式带入到方程组(1.2)的第一个方程中,并类似于文[10]中引理6.1的证明过程,有
![](https://img.fx361.cc/images/2023/0223/9a62a258f27a55717d3a06e6269921a467660829.webp)
其中a2,d>0.
情形2 若对任意的x ∈∂Rn+都有(x)≡∞,那么有
![](https://img.fx361.cc/images/2023/0223/928a3ea786175794fa7978db41f8a0afc1c1f9c2.webp)
从引理2.1可推出v >0是一个常函数.另一方面,
![](https://img.fx361.cc/images/2023/0223/bce1228c12ba176a4c71bfbb5486c89115c08241.webp)
根据引理2.3可知u只与变量t有关.因此,有
![](https://img.fx361.cc/images/2023/0223/21435a889d941c409b4b46d039274fba3952a5d6.webp)
显然,u(0,t)不依赖于变量t.因此,u也是一个常函数.定理1.1得证.