ru.wikipedia.org

Аналитическая функция — Википедия

Аналитическая функция — функция, представимая в окрестности каждой своей точки степенным рядом. Аналитические функции могут определяться как для вещественных функций, так и для комплексных, причём для комплексных они могут быть многозначными.

Вещественная функция $f:D\subseteq \mathbb {R} ^{n}\to \mathbb {R}$ называется аналитичной в точке $a\in D$ , если $f$ представляется в некоторой окрестности точки $a$ степенным рядом в центре с точкой $a$ . Такой ряд совпадает с рядом Тейлора функции в этой точке. Вещественная аналитичность в точке влечёт бесконечную дифференцируемость функции в этой точке, однако бесконечно дифференцируемая функция в точке может быть неаналитична в ней.

Вещественная функция $f:D\subseteq \mathbb {R} ^{n}\to \mathbb {R}$ называется аналитичной на открытом множестве $G\in D$ , если она аналитична в каждой точке этого множества. Аналитичность на открытом множестве совершенно не означает возможность представления функции на всём этом множестве степенным рядом. Она лишь влечёт возможность представления степенными рядами в окрестности каждой точки, но эти степенные ряды могут быть не определены на всём множестве.

Вещественная функция $f:D\subseteq \mathbb {R} ^{n}\to \mathbb {R}$ называется аналитической, если она аналитична на всей своей области определения.

Комплексная функция $f:D\subseteq \mathbb {C} ^{n}\to \mathbb {C}$ называется аналитичной в точке $a\in D$ , если $f$ представляется в некоторой окрестности точки $a$ степенным рядом в центре с точкой $a$ . Такой ряд совпадает с рядом Тейлора функции в этой точке. В отличие от вещественного случая, в котором даже бесконечно дифференцируемая функция может быть неаналитична, в комплексном это не так. Если комплексная функция дифференцируема в некоторой окрестности точки $a$ , то она в ней аналитична. Таким образом, понятия однозначная комплесная аналитичность и голоморфность совпадают.

Комплексная функция $f:D\subseteq \mathbb {C} ^{n}\to \mathbb {C}$ называется аналитичной на открытом множестве $G\in D$ , если она аналитична в каждой точке этого множества. Аналитичность на открытом множестве совершенно не означает возможность представления функции на всём этом множестве степенным рядом. Она лишь влечёт возможность представления степенными рядами в окрестности каждой точки, но эти степенные ряды могут быть не определены на всём множестве.

Комплексная функция $f:D\subseteq \mathbb {C} ^{n}\to \mathbb {C}$ называется аналитической, если она аналитична на всей своей области определения.^[2]

У многозначной комплексной аналитической функции есть несколько разных определений, рассмотрим определение через каноничкеские элементы. Пара $(D,f)$ , где $f$ — сумма некоторого степенного ряда с ненулевым радиусом сходимости, $D\subseteq \mathbb {C}$ — его область сходимости, называется каноническим элементом. Точка, для которой определеяется ряд, называется центром канонического элемента.

Говорят что канонический элемент $(F,f)$ с центром в точке $\varphi (0)$ продолжаем вдоль пути $\varphi$ , если существует семейство канонических элементов $(F_{i},f_{i}),\ i\in [0;1]$ в точках $\varphi (i)$ , удовлетворяющее следующему условию. Для каждого канонического элемента $(F_{i},f_{i})$ , каждой связной окрестности $U\in [0;1]$ точки $i$ такой, что $\varphi (U)$ целиком лежит в $F_{i}$ и каждого $j\in U$ элемент $(F_{i},f_{i})$ является непосредственным аналитическим продолжением элемента $(F_{j},f_{j})$ . Такое семейство однозначно задаётся путём $\varphi$ и элементом $\varphi (0)$ , а элемент $\varphi (1)$ называется аналитическим продолжением канонического элемента $(F,f)$ вдоль пути $\varphi$ .

Полной аналитической функцией называется множество всех канонических элементов, полученных продолжением некоторого канонического элемента $(F,f)$ вдоль всех путей, вдоль которых он продолжаем.

Многозначное аналитической функцией на открытом множестве $D\subseteq \mathbb {C} ^{n}$ называется множество всех канонических элементов, полученных продолжением некоторого канонического элемента $(F,f)$ , такого что $F\in D'$ и элемент продолжаем вдоль всех путей в $D'$ , продолжением вдоль всех путей в $D'$ .^[2]^[3]

Арифметические свойства

Если $f(z)$ и $g(z)$ аналитичны в области $G$

Функции $f(z)\pm g(z)$ , $f(z)\cdot g(z)$ и $f(g(z))$ аналитичны в $G$ .
Если $g(z)$ в области $G$ не обращается в ноль, то ${\frac {f(z)}{g(z)}}$ будет аналитична в $G$
Если $f'(z)$ в области $G$ не обращается в ноль, то $f^{-1}(z)$ будет аналитична в $G$ .

Аналитическая функция бесконечно дифференцируема в своей области аналитичности. Для комплексных функций одной переменной верно и обратное.

Некоторые свойства аналитических функций близки к свойствам многочленов, что, впрочем, и неудивительно — определение аналитичности в смысле Вейерштрасса свидетельствует о том, что аналитические функции — в некотором роде предельные варианты многочленов. Допустим, согласно основной теореме алгебры любой многочлен может иметь нулей числом не более его степени. Для аналитических функций справедливо аналогичное утверждение, вытекающее из теоремы единственности в альтернативной форме:

Если множество нулей аналитической в односвязной области функции имеет в этой области предельную точку, то функция тождественно равна нулю.
Для функции от нескольких действительных переменных аналитичности по каждой из переменных недостаточно для аналитичности функции. Для функции от нескольких комплексных переменных аналитичности по каждой из переменных достаточно для аналитичности функции (Теорема Хартогса).

Аналитическими являются суммы, разности, произведения и частные аналитических функций.

Все многочлены от $z$ являются аналитическими функциями на всей комплексной плоскости $\mathbb {C}$ .

Далее, аналитическими, хотя и не на всей комплексной плоскости, являются рациональные функции (отличные от многочленов), логарифм, тригонометрические функции, обратные тригонометрические функции и многие другие классы функций.

Примеры неаналитических функций на $\mathbb {C}$ включают

$f(z)=|z|$ ,
$f(z)={\overline {z}}$ ,

поскольку они не имеют комплексной производной ни в одной точке. При этом сужение $f(z)={\overline {z}}$ на вещественную ось будет аналитической функцией вещественного переменного (так как оно полностью совпадает с сужением функции $f(z)=z$ ).

Шабат Б. В. Введение в комплексный анализ. — М.: Наука, 1969. — 577 с.
Титчмарш Е. Теория функций: Пер. с англ. — 2-е изд., перераб. — М.: Наука, 1980. — 464 с.
Привалов И. И. Введение в теорию функций комплексного переменного: Пособие для высшей школы. — М.—Л.: Государственное издательство, 1927. — 316 с.
Евграфов М. А. Аналитические функции. — 2-е изд., перераб. и дополн. — М.: Наука, 1968. — 472 с.
Conway, John B.^[англ.]. Functions of One Complex Variable I (англ.). — 2nd. — Springer-Verlag, 1978. — (Graduate Texts in Mathematics 11). — ISBN 978-0-387-90328-6.
Krantz, Steven^[англ.]; Parks, Harold R.^[англ.]. A Primer of Real Analytic Functions (англ.). — 2nd. — Birkhäuser^[англ.], 2002. — ISBN 0-8176-4264-1.
Стоилов С. Теория функций комплексного переменного. Том 1. — М.: Издательство иностранной литературы, 1962. — Т. 1. — 364 с.

Hazewinkel, Michiel, ed. (2001), "Analytic function", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Weisstein, Eric W. Analytic Function (англ.) на сайте Wolfram MathWorld.
Solver for all zeros of a complex analytic function that lie within a rectangular region by Ivan B. Ivanov (англ.)

↑ Steven, 2002, с. 3.
↑ ¹ ² Стоилов, 1962, с. 139.
↑ Шабат, 1969, с. 410.