Теорема Шотткі

У комплексному аналізі теорема Шотткі — один із класичних результатів так званої геометричної теорії функцій комплексної змінної, яка пов'язана з теоремами Блоха, Блоха — Ландау, Ландау і може використовуватися зокрема для доведення малої і великої теорем Пікара.

Твердження теореми

Нехай функція $f(z)$ є голоморфною у крузі $|z|<1$ і не рівною в ньому $0$ і $1$ . Тоді справедливою є нерівність $|f(z)|<\Omega [f(0),r]$ , де функція $\Omega$ залежить тільки від $f(0)$ і $r=|z|$ і, відповідно, не залежить від конкретної функції.

Доведення

Доведення має багато спільного з доведенням теореми Ландау і тут використовуються ті ж позначення.

Розглянемо функцію $f(z)$ , голоморфну всередині круга $|z|<1$ , що не є рівною в цьому крузі 0 і 1. Введемо допоміжну функцію

F(z)=\ln \left({\sqrt {{\frac {\ln f(z)}{2\pi i}}-{\frac {\ln f(z)}{2\pi }}-1}}\right)

.

Навпаки отримаємо:

f(z)=-e^{{\frac {\pi i}{2}}(e^{2F(z)}+e^{-2F(z)})}

.

Розглянемо також функцію

\varphi (\xi )=-{\frac {F(z+(1-r)\xi )-F(z)}{(1-r)F'(z)}}=\xi +\ldots

де $|z|=r$ .

Ця функція буде голоморфною функцією змінної $\xi$ всередині круга $|\xi |<1$ , і також $\varphi (0)=0,\;\varphi '(0)=1.$

Згідно теореми Блоха для цієї функції існує круг з центром в деякій точці площини радіуса $B_{1}$ , що не залежить від конкретної функції, який повністю належить її області значень. Отже, для функції $F$ існує круг з центром в деякій точці радіуса $B_{1}(1-r)|F'(z)|$ , що належить області значень функції $F(z+(1-r)\xi )$ при $|\xi |<1$ , а тим більше значеннями $F(\xi )$ при, $|\xi |<1$ . Так як, з іншого боку, функція $F(\xi )$ при $|\xi |<1$ не дорівнює числам множини $E$ , в доведенні теореми Ландау то має місце нерівність $B_{1}(1-r)|F'(z)|<b$ де $b$ , як і в доведенні теореми Ландау є абсолютною константою, більшою відстані будь-якої точки комплексної площини до множини точок $E$ . Останню нерівність перепишемо у вигляді

|F'(z)|<{\frac {b}{B_{1}}}{\frac {1}{1-r}}

.

Ця нерівність виведена в припущенні $F'(z)\neq 0$ , але в разі $F'(z)=0$ вона є очевидною. Отже, нерівність справедливо для всіх $z,|z|=r<1.$ .

Відзначимо очевидну тотожність

F(z)=F(0)+\int _{0}^{z}F'(t)dt

.

Оскільки

|F'(t)|<{\frac {b}{B_{1}}}{\frac {1}{1-|t|}}\leqslant {\frac {b}{B_{1}}}{\frac {1}{1-r}}

при

|t|\leqslant r=|z|

то вважаючи за шлях інтегрування прямолінійний відрізок довжини $r$ , що з'єднує точки 0 і $z$ , отримуємо з останньої тотожності нерівність $|F(z)|<|F(0)|+{\frac {b}{B_{1}}}{\frac {1}{1-|t|}}$

Повертаючись до даної функції $f(z)$ , пов'язаної з $F(z)$ і користуючись останньою нерівністю, отримаємо: $|f(z)|<L(F(0),r)$ , або, помічаючи, що $F(0)$ виражається через $f(0)$ , остаточно знаходимо: $|f(z)|<\Omega (f(0),r)$ де $\Omega$ залежить тільки від $f(0)$ і $r=|z|$ .

Узагальнення і уточнення

Утвердженні теореми не вказано точного виду функції у правій стороні нерівності. Після доведення теореми було дано кілька різних варіантів обмежень, зокрема Ларс Альфорс довів таку нерівність

\log |f(z)|\leq {\frac {1+|z|}{1-|z|}}(7+\max(0,\log |f(0)|))

.

Існують узагальнення теореми для функцій у колі довільного радіуса, що не є рівними деякій скінченній множині комплексний чисел (при цьому мають також виконуватися умови теореми Ландау).

Див. також

Література

Привалов И. И. Введение в теорию функций комплексного переменного. — 12-е. — Москва : Наука, 1977.
Hille E. (2002), Analytic function theory, т. Volume 2 (вид. 2ed., AMS), AMS Chelsea Publishing, ISBN 0821833448 {{citation}}: Cite має пустий невідомий параметр: |1= (довідка)
Viola Carlo (2016). An Introduction to Special Functions. UNITEXT 102 (вид. 1). Springer International Publishing. ISBN 978-3-319-41344-0.