为了证明定理1,我们需要一些辅助结果。一些专家应该知道引理2.1和2.2,但我们找不到参考。为了保证论文的完整性,我们给出了以下证明。
引理2.1 让 和 。然后 当且仅当
证明根据的定理2.4[8]并改变变量,我们有
□
对于,表示哈代空间具有
发件人[20],我们知道
可以定义为空间。
引理2.2 让 ,。然后 。
证明来自第2.4条引理[21],我们知道和
让.通过引理2.1,我们得到
那就是,. □
以下三个引理将用于引理2.6的证明。他们的证据可以在[[22],推论2.4][[23],引理2.5]或[[24],引理1]和[[25],引理2.1]。
引理2.3 让 θ 成为一个内部函数,并让 , 和 这样的话 。然后,对于任何 和 ,
引理2.4 让 ,,和 。然后
引理2.5 让 ,和 , 具有 ,。如果 ,然后
引理2.6在定理1的证明中起着重要作用,它推广了[12],有不同的证据[21]和[19].
引理2.6 让 ,, 和 B类 成为Carleson-零序列的Newman Blaschke积 。然后 当且仅当
证明必要性。如果,那么很容易推断出
我们将证明这一点
从的次均值性质和估计
对于(参见[[26]第69页)。这里和之后
我们有
(1)
自B类是带有零序列的Carleson-Newman-Blaschke乘积,我们有
请注意
我们有
自从函数正在减少,我们得到
将此与(1)结合并使用引理2.3得出
充分性。应用第页-三角形不等式给出
自,,根据的定理2.4[8],我们有
我们现在估计.利用以下事实和
并使用第页-三角形不等式
应用引理2.4得到
让,.改变变量使用引理2.5,我们得到
因此,我们有. □
以下众所周知的结果也将用于定理1的证明。
引理2.7([[22],定理1.4])
让 。那么内部函数属于Möbius不变量Besov-类型空间 为所有人 当且仅当它是与序列关联的Blaschke乘积 这满足了
引理2.8([[27],引理21])
让 成为一个序列 。然后是措施 是Carleson度量,我。e(电子)。
当且仅当 是一致分离序列的有限并集。
如果θ是一个内部函数,用于,定义订单的级别集¦Β属于θ作为
引理2.9([[28],定理1])
如果 和 θ 是一个内部函数,那么以下条件是等价的以下为:
-
(1)
;
-
(2)
;
-
(3)
,对于每个 ¦Β,;
-
(4)
,对一些人来说 ¦Β,。