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

Однозначная функция называется аналитической в точке , если сужение функции на некоторую окрестность является аналитической функцией. Если функция аналитична в точке , то она аналитическая в каждой точке некоторой окрестности точки .

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

1. Для вещественной и мнимой части этой функции в каждой точке выполняются условия Коши — Римана (аналитичность в смысле Коши — Римана);
2. Ряд Тейлора функции в каждой точке сходится и его сумма равна (аналитичность в смысле Вейерштрасса);
3. Интеграл для любой замкнутой кривой (аналитичность в смысле Коши)

В курсе комплексного анализа доказывается эквивалентность трёх определений.

Свойства

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

Если и аналитичны в области

1. Функции , и аналитичны в .
2. Если в области не обращается в ноль, то будет аналитична в
3. Если в области не обращается в ноль, то будет аналитична в .

• Аналитическая функция бесконечно дифференцируема в своей области аналитичности. Обратное в общем случае неверно.

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

• Если множество нулей аналитической в односвязной области функции имеет в этой области предельную точку, то функция тождественно равна нулю.

Примеры

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

Но:

1. Функция не является аналитической в , так как она не имеет производной в точке .
2. Функция не является аналитической по тем же соображениям. Однако её сужение на вещественную ось будет аналитической функцией, так как оно будет совпадать с сужением функции .

Литература

• Шабат Б. В. Введение в комплексный анализ. — М.: Наука, 1969. — 577 с.
• Титчмарш Е. Теория функций: Пер. с англ. — 2-е изд., перераб. — М.: Наука, 1980. — 464 с.
• Привалов И. И. Введение в теорию функций комплексного переменного: Пособие для высшей школы. — М.-Л.: Государственное издательство, 1927. — 316 с.
• Евграфов М. А. Аналитические функции. — 2-е изд., перераб. и дополн. — М.: Наука, 1968. — 472 с.