在本节中,我们将研究类的一些基本属性.
定理3.1 让 .然后是奇数函数
(3.1)
属于 在里面 E类.
特别地是一个奇异的星形有序函数在里面E类.
证明(3.1)的对数微分和简单计算结果
自是一个凸集,如下所示因此英寸E类. □
作为一种特殊情况,我们注意到,对于,在里面E类,因此。我们现在讨论的是这里我们研究在一点包含切线的行为到图像圆形的,,,通过函数在映射下(f)来自班级.
让
和,用于,,
现在,因为
然后
因此
另一方面,
因此,最后一个不等式左侧的积分表征了曲线切线倾角的增量在这些点之间和对于.
我们有以下必要条件.
定理3.2 让 .然后,具有 和 , 和 ,我们有
哪里 σ 由提供(1.3)和 .
证明自,和.
我们可以写
这给了我们,,,
(3.2)
对于,我们观察到
因此
和
我们可以写
和用于,众所周知
由此,我们
因此小时包含在Apollonius圆中,其直径为到并且具有半径.所以在原点射线与圆相切的点处达到最大值,即
(3.3)
从(3.3)中,我们观察到
(3.4)
此外,对于,
(3.5)
使用(3.2)中的(3.4)和(3.5),我们得到了所需的结果。 □
我们注意到以下特殊情况:
-
1
对于,,,由定理3.2可知
这是(f)接近凸面(因此为单价)E类; 参见[7]. 这也表明.
-
2
对于 .
-
三。
什么时候?,很明显在这种情况下,类由阶的强贴近凸函数组成σ在Pommerenke的意义上[20,21].
定理3.3(整体表示)
让 .然后
哪里 ,.
证明自,我们可以写
这给了我们
当我们积分时,结果如下。 □
什么时候?,,我们获得了该类的结果在中给出[5].
我们现在学习这门课在某个积分算子下。
定理3.4
让
让我们
由定义
(3.6)
然后 属于 在里面 E类.
证明让
自,、和因此可以很容易地验证是-情人节明星E类.
我们可以将(3.6)写成
对数微分,我们有
比如,在哪里和D类是-情人节般的明星。
让
然后
(3.7)
自
我们现在应用引理2.2来获得
这证明了在里面E类. □
定理3.5 让 然后让 F类 由以下积分算子定义:
(3.8)
哪里 ,, 和 .然后 属于 对于 .
什么时候?,,我们得到了Bernardi算子的一个推广形式;参见[1]. 也适用于,、和,我们有Libera研究的著名积分算子[11]who表明它保留了凸性、星形和接近凸性的几何特性。
证明让,.然后在里面E类。我们可以将(3.8)写成
(3.9)
对数微分(3.9),我们有
(3.10)
自起,针对,,,两者都属于在里面E类、和是一个凸集。因此
(3.11)
从(3.10)和(3.11)可以看出
我们现在应用引理2.3,它给出了我们
因此并且证明是完整的。 □