函数<在l在e- - - - - -formula>
f
的形式(
1.1)满足以下条件:(2.1)
∑
n
=
2
∞
(
1
+
|
B
|
)
(
(
1
+
λ
(
k
- - - - - -
1
)
)
]
k
n
|
一个
k
|
≤
(
一个
- - - - - -
B
)
|
b
|
。
然后<在l在e- - - - - -formula>
f
∈
G
n
(
λ
,
b
,
一个
,
B
)
。
证明。
假设不平等(
2.1)持有。然后我们有<在l在e- - - - - -formula>
z
∈
(2.2)
|
(
1
- - - - - -
λ
)
D
n
f
(
z
)
z
+
λ
(
D
n
f
(
z
)
)
′
- - - - - -
1
|
- - - - - -
|
(
一个
- - - - - -
B
)
b
- - - - - -
B
(
(
1
- - - - - -
λ
)
D
n
f
(
z
)
z
+
λ
(
D
n
f
(
z
)
)
′
- - - - - -
1
)
|
=
|
∑
k
=
2
∞
(
(
1
+
λ
(
k
- - - - - -
1
)
)
]
k
n
一个
k
z
k
- - - - - -
1
|
- - - - - -
|
(
一个
- - - - - -
B
)
b
- - - - - -
B
∑
k
=
2
∞
(
(
1
+
λ
(
k
- - - - - -
1
)
)
]
k
n
一个
k
z
k
- - - - - -
1
|
≤
∑
k
=
2
∞
(
(
1
+
λ
(
k
- - - - - -
1
)
)
]
k
n
|
一个
k
|
|
z
|
k
- - - - - -
1
- - - - - -
{
(
一个
- - - - - -
B
)
|
b
|
- - - - - -
|
B
|
∑
k
=
2
∞
(
(
1
+
λ
(
k
- - - - - -
1
)
)
]
k
n
|
一个
k
|
|
z
|
k
- - - - - -
1
}
≤
∑
k
=
2
∞
(
1
+
|
B
|
)
(
(
1
+
λ
(
k
- - - - - -
1
)
)
]
k
n
|
一个
k
|
- - - - - -
(
一个
- - - - - -
B
)
|
b
|
≤
0
这表明,<在l在e- - - - - -formula>
f
属于类<在l在e- - - - - -formula>
G
n
(
λ
,
b
,
一个
,
B
)
。
针对定理
2.1现在,我们介绍子类<在l在e- - - - - -formula>
G
n
*
(
λ
,
b
,
一个
,
B
)
由功能<在l在e- - - - - -formula>
f
∈
Taylor-Maclaurin系数满足的不等式(
2.1)。我们注意到,<在l在e- - - - - -formula>
G
n
*
(
λ
,
b
,
一个
,
B
)
⊂
G
n
(
λ
,
b
,
一个
,
B
)
。
在这项工作中,我们证明几个从属关系涉及的函数类<在l在e- - - - - -formula>
G
n
*
(
λ
,
b
,
一个
,
B
)
之前采用的技术提亚(
13),斯利瓦斯塔瓦和提亚(
14]。
定理2.2。
让<在l在e- - - - - -formula>
f
∈
G
n
*
(
λ
,
b
,
一个
,
B
)
,让<在l在e- - - - - -formula>
g
(
z
)
任何函数在凸函数的类<在l在e- - - - - -formula>
,然后(2.3)
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
2
(
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
+
(
一个
- - - - - -
B
)
|
b
|
]
(
f
*
g
)
(
z
)
≺
g
(
z
)
为每一个函数<在l在e- - - - - -formula>
g
∈
。此外,(2.4)
再保险
{
f
(
z
)
}
>
- - - - - -
(
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
+
(
一个
- - - - - -
B
)
|
b
|
]
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
,
z
∈
U
。
的常数因子<在l在e- - - - - -formula>
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
/
2
(
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
+
(
一个
- - - - - -
B
)
|
b
|
]
在(
2.3)不能被大量取代。
证明。
让<在l在e- - - - - -formula>
f
∈
G
n
*
(
λ
,
b
,
一个
,
B
)
,假设<在l在e- - - - - -formula>
g
(
z
)
=
z
+
∑
k
=
2
∞
c
k
z
k
∈
。然后(2.5)
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
2
(
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
+
(
一个
- - - - - -
B
)
|
b
|
]
(
f
*
g
)
(
z
)
=
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
2
(
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
+
(
一个
- - - - - -
B
)
|
b
|
]
(
z
+
∑
k
=
2
∞
c
k
一个
k
z
k
)
。
因此,通过定义
1.3,从属的结果如果适用(2.6)
{
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
2
(
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
+
(
一个
- - - - - -
B
)
|
b
|
]
一个
k
}
k
=
1
∞
是一个从属因素序列,<在l在e- - - - - -formula>
一个
1
=
1
。鉴于引理
1.4这相当于下列不等式:(2.7)
再保险
{
1
+
2
∑
k
=
1
∞
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
2
(
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
+
(
一个
- - - - - -
B
)
|
b
|
]
一个
k
z
k
}
>
0
,
z
∈
U
。
自<在l在e- - - - - -formula>
Ψ
(
k
)
=
(
1
+
|
B
|
)
(
(
1
+
λ
(
k
- - - - - -
1
)
)
]
k
n
是一个增加函数的<在l在e- - - - - -formula>
k
(
k
≥
2
)
,我们有<在l在e- - - - - -formula>
|
z
|
=
r
<
1
,(2.8)
再保险
{
1
+
∑
k
=
1
∞
2
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
2
(
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
+
(
一个
- - - - - -
B
)
|
b
|
]
一个
k
z
k
}
=
再保险
{
1
+
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
(
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
+
(
一个
- - - - - -
B
)
|
b
|
]
z
+
∑
k
=
2
∞
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
(
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
+
(
一个
- - - - - -
B
)
|
b
|
]
一个
k
z
k
}
≥
1
- - - - - -
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
(
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
+
(
一个
- - - - - -
B
)
|
b
|
]
r
- - - - - -
1
(
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
+
(
一个
- - - - - -
B
)
|
b
|
]
×
∑
k
=
2
∞
(
1
+
|
B
|
)
(
1
+
λ
(
k
- - - - - -
1
)
]
k
n
|
一个
k
|
r
k
≥
1
- - - - - -
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
(
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
+
(
一个
- - - - - -
B
)
|
b
|
]
r
- - - - - -
|
b
|
(
一个
- - - - - -
B
)
(
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
+
(
一个
- - - - - -
B
)
|
b
|
]
r
=
1
- - - - - -
r
>
0
,
|
z
|
=
r
<
1
,
我们也有使用断言(
2.1)的定理
2.1。这显然证明了不平等(
2.3),因此也服从的结果(
2.3)断言定理
2.2。不平等(
2.4从()之前
2.3)通过(2.9)
g
(
z
)
=
z
1
- - - - - -
z
=
z
+
∑
k
=
2
∞
z
k
∈
K
。
证明常数的清晰度<在l在e- - - - - -formula>
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
/
(
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
+
(
一个
- - - - - -
B
)
|
b
|
]
我们考虑到函数<在l在e- - - - - -formula>
F
∈
G
n
*
(
λ
,
b
,
一个
,
B
)
定义为(2.10)
F
(
z
)
=
z
- - - - - -
(
一个
- - - - - -
B
)
|
b
|
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
。
因此,从(
2.3),我们有(2.11)
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
2
(
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
+
(
一个
- - - - - -
B
)
|
b
|
]
F
(
z
)
≺
z
1
- - - - - -
z
。
它很容易验证(2.12)
最小值
{
再保险
(
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
2
(
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
+
(
一个
- - - - - -
B
)
|
b
|
]
F
(
z
)
)
}
=
- - - - - -
1
2
,
z
∈
U
。
这表明,该常数<在l在e- - - - - -formula>
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
/
2
(
(
1
+
λ
)
(
1
+
|
B
|
)
2
n
+
(
一个
- - - - - -
B
)
|
b
|
]
不能被任何较大的一个。