数学物理学报, 2019, 39(6): 1291-1299 doi:

论文

全纯函数空间上几个量的等价刻画问题

唐鹏程, 张学军,, 吕睿昕

Equivalent Characterization of Several Quantities on Holomorphic Function Spaces

Tang Pengcheng, Zhang Xuejun,, Lv Ruixin

通讯作者: 张学军, E-mail: xuejunttt@263.net

收稿日期: 2018-05-15  

基金资助: 国家自然科学基金.  11571104
湖南省研究生科研创新项目.  CX2018B286

Received: 2018-05-15  

Fund supported: the NSFC.  11571104
the Hunan Provincial Innovation Foundation for Postgraduate.  CX2018B286

摘要

该文改进了多复变量单位球上一个常用函数在分式型微分和分式型积分作用后的表达式.同时该文改进了两个全纯函数空间上分式型微分的等价范数,去掉了等价范数中分式型微分RstRβt的约束条件β=s+N,其中N为某正整数.

关键词: 分式型导数 ; 分式型积分 ; 等价刻画 ; 单位球

Abstract

In this paper, the expression under the action of fractional derivative and fractional integral for a common function on the unit ball of several complex variables is improved. At the same time, the equivalent norms of the fractional differential on two holomorphic function spaces are improved, and the constraint conditions β=s+N for the fractional differential Rs, t and Rβ, t in the equivalent norms are removed, where N is a positive integer.

Keywords: Fractional derivative ; Fractional integral ; Equivalent characterization ; Unit ball

PDF (335KB) 元数据 多维度评价 相关文章 导出 EndNote| Ris| Bibtex  收藏本文

本文引用格式

唐鹏程, 张学军, 吕睿昕. 全纯函数空间上几个量的等价刻画问题. 数学物理学报[J], 2019, 39(6): 1291-1299 doi:

Tang Pengcheng, Zhang Xuejun, Lv Ruixin. Equivalent Characterization of Several Quantities on Holomorphic Function Spaces. Acta Mathematica Scientia[J], 2019, 39(6): 1291-1299 doi:

1 问题的引进和定义

$B$表示${\bfC}^{n}$中的单位球, $H(B)$表示$B$上全纯函数全体. d$v$$B$上满足$v(B)=1$的正规化Lebesgue测度.对于$B$中两点$z=(z_{1}, \cdots, z_{n})$$w=(w_{1}, \cdots, w_{n})$,其内积定义为$\langle z, w\rangle=z_{1}\overline{w_{1}}+\cdots+z_{n}\overline{w_{n}}$.$m=(m_{1}, \cdots, m_{n})$为多重指标, $|m|=m_{1}+\cdots+m_{n}$, $z^{m}=z_{1}^{m_{1}}\cdots z_{n}^{m_{n}}$.$n+s$$n+s+t$不为负整数,分式型微分算子$R^{s, t}$和分式型积分算子$R_{s, t}$分别定义如下

其中$f\in H(B)$${f(z)=\sum\limits_{|m|\geq 0}a_{m}z^{m}}\ (z\in B)$.算子$R^{s, t}$$R_{s, t}$互为可逆算子.

$\alpha>-1$$p>0$, $B$上加权Bergman空间定义为

其中d$v_{\alpha}(z)=c_{\alpha}(1-|z|^{2})^{\alpha}{\rm d}v(z)$,常数$c_{\alpha}$使得${\int_{B}{\rm d}v_{\alpha}(z)=1}$.

$p>0$, $B$上Bloch型空间定义为

其中$f$的复梯度

$p=1$$\beta^{p}$就是Bloch空间.

在文献[1]中, Zhu Kehe教授给出了如下命题(引理2.18).

命题A  设$s$$t$为实数, $n+s$$n+s+t$不为负整数,如果$\beta=s+N$,其中$N$为正整数,则存在次数为$N$的一元多项式$h$使得

同时存在多项式$p(z, w)$使得

这个命题在积分估计中经常用到,但上述命题表述中存在一些改进的地方.首先是$p(z, w)$的描述比较含糊,它应该是关于$z$$\overline{w}$的二元多项式(涉及求偏导运算时这点尤其重要),实际上$p$是一个次数不超过$N$的一元多项式,当$t=0, -1, \cdots, -N+1$时次数小于$N$,而且$p(z, w)$具有形式$p(\langle z, w\rangle)$;其次是$h$的次数不一定刚好是$N$ (当然,这点可能不会影响很多问题的定性讨论),如果$t=0, 1, \cdots, N-1$时, $h$的次数就小于$N$,合适的描述应该为$h$是一个次数不超过$N$的一元多项式.本文将证明这些改进结果,同时指出$h$$p$的常数项为1以及$h(\langlez, w\rangle)$$p(\langle z, w\rangle)$$1-\langlez, w\rangle$展开时常数项不为0,这两点意味着运算$R^{s, t}$$R_{s, t}$不会改变常数项以及相关函数经此算子作用后当$1-\langlez, w\rangle$趋于0时所含因子$1/(1-\langle z, w\rangle)$的精确阶.

以上述命题A为基础,文献[1]中第二章的习题2.22给出了如下命题B、在定理3.5的证明过程中用到了如下命题C.

命题B  设$t>0$, $\alpha>-1$, $p>0$, $s$为实数, $n+s$$n+s+t$不为负整数,如果$\beta=s+N$,其中$N$为正整数, $f\in H(B)$,则$R^{s, t}f\in A_{\alpha}^{p}$当且仅当$R^{\beta, t}f\in A_{\alpha}^{p}$.

命题C  设$t>0$, $s$为实数, $n+s$$n+s+t$不为负整数,如果$\beta$$s$满足关系$\beta=s+K$,其中$K$为正整数, $f\in H(B)$,则$(1-|z|^{2})^{t}R^{s, t}f(z)$$B$上有界当且仅当$(1-|z|^{2})^{t}R^{\beta, t}f(z)$$B$上有界.

涉及本文的文献不少,如文献[1-18].上述命题B和命题C分别在加权Bergman空间和Bloch空间的等价刻画中用到,但这里的$\beta$要求等于$s$加上一个正整数,让人感觉应用该结果时似乎只能``在桥墩上行走才安全"的味道,那么$\beta$不是$s$与一个正整数的和时结论是不是也成立呢?实际上$\beta$可以改进为任意实数,只要$n+\beta$$n+\beta+t$不是负整数就行.此外文献[1]中定理3.5的证明过程中虽然用到过命题C的结果,但命题C并没有严格论证.本文将给出和证明这些改进结果,并将命题C中的$t$改进成任意$p>0$.从表面上看似乎论证应该不难,但实际上要用到很多综合知识,尤其涉及球内双变点的积分估计问题.而且在论证中s < βs>β时涉及寻找合适阶的分式导数和分式积分的复合以及复合顺序问题,这两种情况在论证中复合顺序是不同的,主要是第一个积分后的阶关系到下一个积分是否有意义或者能否继续进行下去的问题.

2 一些引理

本文中我们将用记号$c$, $c_{1}$, $c_{2}$, $\cdots$表示与变量$z$, $w$, $a$等无关的正数,当然可以与某些参数或固定量有关,不同的地方可以代表不同的数;$``E\approxF"$表示比较,即存在正的常数$A_{1}$$A_{2}$使得$A_{1}E \leq F \leq A_{2}E$.为了证明主要结果,先给出几个引理.

引理2.1  设$\alpha>-1$,若$f\in A_{\alpha}^{1}$,则

这个引理来自文献[1]中的定理2.2.

引理2.2  设$c>0$以及$t>-1$,则

这个引理来自文献[2]中的命题1.4.10.

引理2.3  设$\delta>-1$, $0<r<\delta+n+1$, $0<t<\delta+n+1$, $r+t>\delta+n+1$,则

这个引理来自文献[3]中的引理2.2.

3 主要结果及其证明

命题3.1  设$n+s$$n+s+t$不为负整数,如果$\beta=s+N$,其中$N$为正整数,则存在次数不超过$N$的一元多项式$h$$p$使得

其中$h$$p$的常数项为1,若$h(\langle z, w\rangle)$$p(\langle z, w\rangle)$$1-\langle z, w\rangle$展开时常数项不为0.

  我们采用数学归纳法严格论证.当$N=1$时,根据

可得

这里$p$是一个次数不超过1的一元多项式,常数项为1.若$p$$1-\langle z, w\rangle$展开时常数项为$(n+1+s)/(n+1+s+N)\neq 0$.

假设对一般正整数$N$,存在次数不超过$N$且常数项为1的一元多项式$p$使得

$p(\langle z, w\rangle)=a_{0}+a_{1}(1-\langle z, w\rangle)+\cdots+a_{N}(1-\langle z, w\rangle)^{N}$,则$a_{0}+\cdots+a_{N}=1$$a_{0}\neq 0$.下面考虑$\beta=s+N+1$时的情况.

根据文献[1]中命题1.14以及前面的假设可得

对于任意$l\in\{0, 1, \cdots, N\}$,我们有

根据上面等式,让$l$变化时我们就有

其中$P$为次数不超过$N+1$的一元多项式,且常数项为

$P$$1-\langle z, w\rangle$展开时常数项为$(n+1+s+N)a_{0}/(n+1+s+N+t)\neq 0$.这表明当$\beta=s+N+1$时命题也成立,根据归纳法可得原命题成立.

至于另一个,同样可证得当$N=1$

假设$\beta=s+N$时命题成立,也就是存在次数不超过$N$的一元多项式$h$使得

$h(\langle z, w\rangle)=b_{0}+b_{1}(1-\langle z, w\rangle)+\cdots+b_{N}(1-\langle z, w\rangle)^{N}$,则$b_{0}+\cdots+b_{N}=1$$b_{0}\neq 0$.考虑$\beta=s+N+1$时的情况,类似前面所用证明办法可得

其中$H$为次数不超过$N+1$的一元多项式且常数项为

$H$$1-\langle z, w\rangle$展开时常数项为$(n+1+s+N+t)b_{0}/(n+1+s+N)\neq 0$.这表明当$\beta=s+N+1$时命题也成立,根据归纳法可得原命题成立.

  当$t\in\{0, 1, \cdots, N-1\}$$h$$N$次项系数为零;当$t\in\{0, -1, \cdots, -N+1\}$$p$$N$次项系数为零.这表明$h$$p$都可能是次数低于$N$次的多项式.实际上可以算出$h$的第$N$次项的系数为

$p$的第$N$次项的系数为

下面结果将命题B中的$\beta$改进成任意实数,同时给出了两个量之间的控制关系.

定理3.2  设$t>0$, $\alpha>-1$, $p>0$, $s$$\beta$为实数, $n+s$$n+s+t$以及$n+\beta$$n+\beta+t$不为负整数, $f\in H(B)$,则

进一步有$I_{1}\approx I_{2}$,并且控制常数与$f$无关.

  若$I_{1}<\infty$,则$R^{s, t}f\in A_{\alpha}^{p}$,根据文献[1]中定理2.1可得

$\begin{equation}|R^{s, t}f(z)|\leq \frac{I_{1}}{(1-|z|^{2})^{\frac{n+1+\alpha}{p}}} \ \ \mbox{对一切$z\in B$成立.}\end{equation}$

$\beta>s$时,选正整数$N$满足$t+s+N>(n+1+\alpha)/p-1$,则$R^{s, t}f\in A_{t+s+N}^{1}$,根据引理2.1可得

在定理3.1中$s$$t$分别用$\beta+t$$s-\beta$代替(可以验证这些代替是合符基本条件的),则存在次数不超过$N$的一元多项式$P$使

$\begin{equation}R_{\beta+t, s-\beta}\{R^{s, t}f\}(w)=\int_{B}\frac{P(\langle w, u\rangle)R^{s, t}f(u)}{(1-\langle w, u\rangle)^{n+1+t+\beta+N}}{\rm d}v_{t+s+N}(u) \ \ (w\in B).\end{equation}$

根据(3.1)-(3.2)式以及引理2.2可得,当$z\in B$

选正整数$M$满足$M>N+t$就有$R_{\beta+t, s-\beta}\{R^{s, t}f\}\in A^{1}_{\beta+M}$,由引理2.1有

在定理3.1中$s$$t$以及$N$的位置分别用$s$$\beta-s$以及$M$来代替(可以验证这些代替是合符基本条件的)结合上式就存在次数不超过$M$的一元多项式$P_{1}$使得

$\begin{eqnarray}R^{\beta, t}f(z)&=&R_{s, \beta-s}\{R_{\beta+t, s-\beta}[R^{s, t}f]\}(z)\\&=&\int_{B}\frac{P_{1}(\langle z, w\rangle)R_{\beta+t, s-\beta}\{R^{s, t}f\}(w)}{(1-\langle z, w\rangle)^{n+1+s+M}}{\rm d}v_{\beta+M}(w)\ \ (z\in B).\end{eqnarray}$

由于$(n+1+\beta+N+t)-(\beta+M)-n-1=N+t-M<0$$(n+1+s+M)-(\beta+M)-n-1=s-\beta<0$以及$(n+1+\beta+N+t)+(n+1+s+M)-(\beta+M)-n-1=n+1+s+N+t>n+(n+1+\alpha)/p>0$,根据引理2.3可得

$\begin{eqnarray}\int_{B}\frac{(1-|w|^{2})^{\beta+M}{\rm d}v(w)}{|1-\langle u, w\rangle|^{n+1+\beta+N+t}|1-\langle z, w\rangle|^{n+1+s+M}}\approx \frac{1}{|1-\langle z, u\rangle|^{n+1+s+N+t}} \ \ (z, u\in B). \end{eqnarray}$

根据(3.2)-(3.4)式结合Fubini定理可得到

$\begin{eqnarray}|R^{\beta, t}f(z)|&\leq &c_{1}\int_{B}\frac{|R_{\beta+t, s-\beta}\{R^{s, t}f\}(w)|}{|1-\langle z, w\rangle|^{n+1+s+M}}{\rm d}v_{\beta+M}(w)\\&\leq &c_{2}\int_{B}|R^{s, t}f(u)|\left\{\int_{B}\frac{(1-|w|^{2})^{\beta+M}{\rm d}v(w)}{|1-\langle u, w\rangle|^{n+1+\beta+N+t}|1-\langle z, w\rangle|^{n+1+s+M}}\right\}{\rm d}v_{t+s+N}(u)\\&\approx& \int_{B}\frac{|R^{s, t}f(u)|}{|1-\langle z, u\rangle|^{n+1+s+N+t}}{\rm d}v_{t+s+N}(u). \end{eqnarray}$

$\beta<s$时,我们可以选合适的正整数$N$满足$\beta+N>(n+1+\alpha)/p-1$,则$R^{s, t}f\in A_{\beta+N}^{1}$,再由引理2.1同样有

在定理3.1中$s$$t$分别用$s$$\beta-s$代替(可以验证这些代替是合符基本条件的),则存在次数不超过$N$的一元多项式$P$使

$\begin{eqnarray}R_{s, \beta-s}\{R^{s, t}f\}(w)=\int_{B}\frac{P(\langle w, u\rangle)R^{s, t}f(u)}{(1-\langle w, u\rangle)^{n+1+s+N}}{\rm d}v_{\beta+N}(u) \ \ (w\in B).\end{eqnarray}$

根据(3.1)和(3.6)式以及引理2.2可得,当$z\in B$

选正整数$M$满足$M>N-t$就有$R_{s, \beta-s}\{R^{s, t}f\}\in A^{1}_{s+M+t}$,由引理2.1有

在定理3.1中$s$$t$以及$N$的位置分别用$\beta+t$$s-\beta$以及$M$来代替(可以验证这些代替是合符基本条件的)结合上式就存在次数不超过$M$的一元多项式$P_{1}$使得

$\begin{eqnarray}R^{\beta, t}f(z)&=&R_{\beta+t, s-\beta}\{R_{s, \beta-s}[R^{s, t}f]\}(z)\\&=&\int_{B}\frac{P_{1}(\langle z, w\rangle)R_{s, \beta-s}\{R^{s, t}f\}(w)}{(1-\langle z, w\rangle)^{n+1+\beta+M+t}}{\rm d}v_{s+M+t}(w)\ \ (z\in B).\end{eqnarray}$

由于$(n+1+s+N)-(s+M+t)-n-1=N-t-M<0$$(n+1+\beta+M+t)-(s+M+t)-n-1=\beta-s<0$以及$(n+1+s+N)+(n+1+\beta+M+t)-(s+M+t)-n-1=n+1+\beta+N>n+(n+1+\alpha)/p>0$,根据引理2.3可得

$\begin{eqnarray}\int_{B}\frac{(1-|w|^{2})^{s+M+t}{\rm d}v(w)}{|1-\langle u, w\rangle|^{n+1+s+N}|1-\langle z, w\rangle|^{n+1+\beta+M+t}}\approx \frac{1}{|1-\langle z, u\rangle|^{n+1+\beta+N}} \ \ (z, u\in B).\end{eqnarray}$

根据(3.6)-(3.8)式结合Fubini定理可得到

$\begin{eqnarray}|R^{\beta, t}f(z)|&\leq& c_{1}\int_{B}\frac{|R_{s, \beta-s}\{R^{s, t}f\}(w)|}{|1-\langle z, w\rangle|^{n+1+\beta+M+t}}{\rm d}v_{s+M+t}(w)\\&\leq &c_{2}\int_{B}|R^{s, t}f(u)|\left\{\int_{B}\frac{(1-|w|^{2})^{s+M+t}{\rm d}v(w)}{|1-\langle u, w\rangle|^{n+1+s+N}|1-\langle z, w\rangle|^{n+1+\beta+M+t}}\right\}{\rm d}v_{\beta+N}(u)\\&\approx& \int_{B}\frac{|R^{s, t}f(u)|}{|1-\langle z, u\rangle|^{n+1+\beta+N}}{\rm d}v_{\beta+N}(u).\end{eqnarray}$

$p\geq 1$时,在文献[1]的定理2.10中取$a=0$$b=t+s+N$ ($\beta>s$)$b=\beta+N$ ($\beta<s$)$t=\alpha$,条件$-pa<t+1<p(b+1)$等价于$0<\alpha+1<p(t+s+N+1)$ ($\beta>s$)$0<\alpha+1<p(\beta+N+1)$ ($\beta<s$),而后面条件成立,结合(3.5)或(3.9)式有

$0<p<1$时,对任意$z\in B$,在$B$上定义函数

$t+s+N=(n+1+\alpha')/p-n-1$ ($\beta>s$)$\beta+N=(n+1+\alpha')/p-n-1$ ($\beta<s$)满足$\alpha'>pn+\alpha$,由(3.5)或(3.9)式和文献[1]中的引理2.15结合Fubini定理和引理2.2有

反过来,若$I_{2}<\infty$,利用算子等式

类似可证得$I_{1}^{p}\leq cI_{2}^{p}$.具体证明过程就不再重复了.

下面结果将命题C中的$\beta$改进成任意实数,并且给出了两个量之间的控制关系.

定理3.3  设$t>0$, $p>0$, $s$$\beta$为实数, $n+s$$n+s+t$以及$n+\beta$$n+\beta+t$不为负整数, $f\in H(B)$,则

进一步有$I_{1}\approx I_{2}$,并且控制常数与$f$无关.

  首先考虑$I_{1}<\infty$的情形.

$\beta>s$时,若正整数$N$满足$t+s+N>p-1$,则(3.5)式成立.由引理2.2有

这意味着$I_{2}\leq cI_{1}$.$\beta<s$时,只要正整数$N$满足$\beta+N>p-1$,则(3.9)式成立.根据引理2.2有

同样意味着$I_{2}\leq cI_{1}$.

$I_{2}<\infty$,同样可证得$I_{1}\leq cI_{2}$.详细过程不再重复.

参考文献

Zhu K H. Spaces of Holomorphic Functions in the Unit Ball. New York:Springer-Verlag, 2005

[本文引用: 9]

Rudin W. Function Theory in the Unit Ball of Cn. New York:Springer-Verlag, 1980

[本文引用: 1]

黎深莲, 张学军, 徐思.

CnF(p, q, s)型空间上的Bergman型算子

数学年刊, 2017, 38A (4): 375- 390

URL     [本文引用: 1]

Li S L , Zhang X J , Xu S .

The Bergman type operators on the F(p, q, s) type spaces in Cn

Chin Ann of Math, 2017, 38A (4): 375- 390

URL     [本文引用: 1]

Ortega J , Fabrega J .

Pointwise multipliers and Corona type decomposition in BMOA

Ann Inst Fourier (Grenoble), 1996, 46: 111- 137

DOI:10.5802/aif.1509     

Ortega J , Fabrega J .

Corona type decomposition in some Besov spaces

Math Scand, 1996, 78: 93- 111

DOI:10.7146/math.scand.a-12576     

Zhang X J , Xiao J B , Hu Z J .

The multipliers between the mixed norm space in Cn

J Math Anal Appl, 2005, 311: 664- 674

DOI:10.1016/j.jmaa.2005.03.010     

Liang Y X , Zhou Z H , Chen R Y .

Product of extended Cesáro operator and composition operator from the logarithmic Bloch-type space to F(p, q, s) space on the unit ball

J Comput Anal Appl, 2013, 15: 432- 440

Liang Y X .

On an integral-type operator from a weighted-type space to F(p, q, s) on the unit ball

Complex Var Ellip Equ, 2015, 60: 282- 291

DOI:10.1080/17476933.2014.926338     

Ren G B , Shi J H .

Bergman type operator on mixed norm space and applications

Chin Ann Math, 1997, 18B: 265- 276

URL    

Liu Y M .

Boundedness of the Bergman type operators on mixed norm spaces

Proc Amer Math Soc, 2002, 130: 2363- 2367

DOI:10.1090/S0002-9939-02-06332-3     

Ouyang C H , Yang W S , Zhao R H .

Characterizations of Bergman spaces and Bloch space in the unit ball of Cn

Trans Amer Math Soc, 1995, 347: 4301- 4319

URL    

Wulan H S .

Compactness of the composition operators from the Bloch space B to QK spaces

Acta Math Sin, 2005, 21 (6): 1415- 1424

DOI:10.1007/s10114-005-0584-7     

Zhang X J , Li S L , Shang Q L , Guo Y T .

An integral estimate and the equivalent norms on F(p, q, s, k) spaces in the unit ball

Acta Math Sci, 2018, 38B (6): 1861- 1880

URL    

郭雨婷, 尚清丽, 张学军.

单位球上正规权Zygmund空间上的点乘子

数学物理学报, 2018, 38A (6): 1041- 1048

DOI:10.3969/j.issn.1003-3998.2018.06.001     

Guo Y T , Shang Q L , Zhang X J .

The pointwise multiplier on the normal weight Zygmund space in the unit ball

Acta Math Sci, 2018, 38A (6): 1041- 1048

DOI:10.3969/j.issn.1003-3998.2018.06.001     

Li S L , Zhang X J , Xu S .

The equivalent characterization of F(p, q, s) space on bounded symmetric domains of Cn

Acta Math Sci, 2017, 37B (6): 1791- 1802

URL    

Li S L , Zhang X J , Xu S .

The compact composition operator on the μ-Bergman space in the unit ball

Acta Math Sci, 2017, 37B (2): 425- 438

URL    

Zhang X J , Xi L H , Fan H X , Li J F .

Atomic decomposition of μ-Bergman space in Cn

Acta Math Sci, 2014, 34B (3): 779- 789

URL    

刘竟成, 李俊锋, 张学军.

Cn中单位球上Dirichlet型空间的Cesáro算子

数学物理学报, 2015, 35A (1): 182- 193

DOI:10.3969/j.issn.0252-9602.2015.01.013      [本文引用: 1]

Liu J C , Li J F , Zhang X J .

Generalized Cesáro operator between different Dirichlet-type spaces in the unit ball of Cn

Acta Math Sci, 2015, 35A (1): 182- 193

DOI:10.3969/j.issn.0252-9602.2015.01.013      [本文引用: 1]

/