ВУЗ:
Составители:
58 Глава 5. Дифференциальное уравнение Лёвнера
5.4 Задачи и упражнения
1) Подтвердите результат Крауса-Нехари: пусть функция w = f (z) яв-
ляется аналитической и однолистной в единичном круге D, тогда для всех
z ∈ D шварциан этой функции удовлетворяет неравенству
|{f, z}| ≤
6
(1 − |z|
2
)
2
,
причем постоянная 6 является точной.
Отметим, что эта теорема получена впервые В. Краусом в 1932 году, но
стала широко известной после статьи З. Нехари 1949 года, где он переоткрыл
этот результат и доказал достаточные условия однолистности в терминах
шварциана (см. ниже задачу 6).
Указание. При произвольном, но фиксированном z ∈ D рассмотрим пре-
образование Кёбе
g(ζ) =
f(
ζ+z
1+zζ
) − f(z)
(1 − |z|
2
)f
0
(z)
= ζ + a
2
(g)ζ
2
+ a
3
(g)ζ
3
+ ..., |ζ| < 1.
Поскольку g(ζ) ∈ S, то по теореме Лёвнера имеет место точная оценка
|a
3
(g) −a
2
2
(g)| ≤ 1.
Непосредственными вычислениями показываем, что
6
¡
a
3
(g) −a
2
2
(g)
¢
= {f, z}(1 − |z|
2
)
2
.
2) Пусть F ∈ Σ, тогда
|{F, ζ}| ≤
6
(|ζ|
2
− 1)
2
, |ζ| > 1.
Указание. Найдется постоянная c такая, что F (ζ) − c 6= 0 . Тогда для
функции
f(z) =
1
F (1/z) − c
справедливо неравенство Нехари, равносильное доказываемому.
Вычисления достаточно проводить для функции
g(1/ζ) = F (ζ),
58 Глава 5. Дифференциальное уравнение Лёвнера 5.4 Задачи и упражнения 1) Подтвердите результат Крауса-Нехари: пусть функция w = f (z) яв- ляется аналитической и однолистной в единичном круге D, тогда для всех z ∈ D шварциан этой функции удовлетворяет неравенству 6 |{f, z}| ≤ , (1 − |z|2 )2 причем постоянная 6 является точной. Отметим, что эта теорема получена впервые В. Краусом в 1932 году, но стала широко известной после статьи З. Нехари 1949 года, где он переоткрыл этот результат и доказал достаточные условия однолистности в терминах шварциана (см. ниже задачу 6). Указание. При произвольном, но фиксированном z ∈ D рассмотрим пре- образование Кёбе ζ+z f ( 1+zζ ) − f (z) g(ζ) = = ζ + a2 (g)ζ 2 + a3 (g)ζ 3 + ..., |ζ| < 1. (1 − |z|2 )f 0 (z) Поскольку g(ζ) ∈ S, то по теореме Лёвнера имеет место точная оценка |a3 (g) − a22 (g)| ≤ 1. Непосредственными вычислениями показываем, что ¡ ¢ 6 a3 (g) − a22 (g) = {f, z} (1 − |z|2 )2 . 2) Пусть F ∈ Σ, тогда 6 |{F, ζ}| ≤ , |ζ| > 1. (| ζ|2 − 1)2 Указание. Найдется постоянная c такая, что F (ζ) − c 6= 0. Тогда для функции 1 f (z) = F (1/z) − c справедливо неравенство Нехари, равносильное доказываемому. Вычисления достаточно проводить для функции g(1/ζ) = F (ζ),
Страницы
- « первая
- ‹ предыдущая
- …
- 56
- 57
- 58
- 59
- 60
- …
- следующая ›
- последняя »