stringtranslate.com

Аналитическая функция

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

Функция является аналитической тогда и только тогда, когда ее ряд Тейлора относительно сходится к функции в некоторой окрестности для каждого в ее области определения . Это сильнее, чем просто быть бесконечно дифференцируемой в , и, следовательно, иметь хорошо определенный ряд Тейлора; функция Фабиуса представляет собой пример функции, которая бесконечно дифференцируема, но не аналитична.

Определения

Формально функция является действительно аналитической на открытом множестве действительной прямой , если для любого можно записать

в котором коэффициенты являются действительными числами, а ряд сходится к для в окрестности .

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

сходится к для в окрестности поточечно . [a] Множество всех действительных аналитических функций на данном множестве часто обозначается через , или просто через , если подразумевается область определения.

Функция , определенная на некотором подмножестве действительной прямой, называется действительно аналитической в ​​точке , если существует окрестность , на которой является действительно аналитической.

Определение комплексной аналитической функции получается путем замены в определениях выше «действительного» на «комплексное» и «действительной прямой» на «комплексную плоскость». Функция является комплексно-аналитической тогда и только тогда, когда она голоморфна , т.е. она комплексно дифференцируема. По этой причине термины «голоморфный» и «аналитический» часто используются взаимозаменяемо для таких функций. [1]

Примеры

Типичными примерами аналитических функций являются

Типичные примеры функций, которые не являются аналитическими:

Альтернативные характеристики

Следующие условия эквивалентны:

  1. является действительно аналитическим на открытом множестве .
  2. Существует комплексное аналитическое расширение до открытого множества, которое содержит .
  3. является гладким и для каждого компактного множества существует константа такая, что для каждого неотрицательного целого числа выполняется следующая оценка [3]

Комплексные аналитические функции в точности эквивалентны голоморфным функциям и, таким образом, их гораздо легче характеризовать.

Для случая аналитической функции с несколькими переменными (см. ниже) действительную аналитичность можно охарактеризовать с помощью преобразования Фурье–Броса–Ягольницера .

В многомерном случае действительные аналитические функции удовлетворяют прямому обобщению третьей характеристики. [4] Пусть будет открытым множеством, и пусть .

Тогда является вещественно аналитическим на тогда и только тогда, когда и для каждого компакта существует константа такая, что для каждого мультииндекса справедлива следующая оценка [5]

Свойства аналитических функций

Многочлен не может быть равен нулю в слишком большом количестве точек, если только он не является нулевым многочленом (точнее, число нулей не больше степени многочлена). Аналогичное, но более слабое утверждение справедливо для аналитических функций. Если множество нулей аналитической функции ƒ имеет точку накопления внутри своей области определения , то ƒ равен нулю всюду на связной компоненте, содержащей точку накопления. Другими словами, если ( r n ) — последовательность различных чисел, такая что ƒ( r n ) = 0 для всех n , и эта последовательность сходится к точке r в области определения D , то ƒ тождественно равен нулю на связной компоненте D , содержащей r . Это известно как теорема тождества .

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

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

Аналитичности и дифференцируемости

Как отмечено выше, любая аналитическая функция (действительная или комплексная) бесконечно дифференцируема (также известна как гладкая, или ). (Обратите внимание, что эта дифференцируемость имеет место в смысле действительных переменных; сравните комплексные производные ниже.) Существуют гладкие действительные функции, которые не являются аналитическими: см. неаналитическая гладкая функция . На самом деле таких функций много.

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

Действительные и комплексные аналитические функции

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

Согласно теореме Лиувилля , любая ограниченная комплексная аналитическая функция, определенная на всей комплексной плоскости, является постоянной. Соответствующее утверждение для действительных аналитических функций, с заменой комплексной плоскости действительной прямой, очевидно, ложно; это иллюстрируется

Кроме того, если комплексная аналитическая функция определена в открытом шаре вокруг точки x 0 , ее разложение в степенной ряд в точке x 0 сходится во всем открытом шаре ( голоморфные функции являются аналитическими ). ​​Это утверждение для действительных аналитических функций (при этом под открытым шаром понимается открытый интервал действительной прямой, а не открытый круг комплексной плоскости) в общем случае неверно; функция из приведенного выше примера дает пример для x 0  = 0 и шара радиуса, превышающего 1, поскольку степенной ряд 1 − x 2 + x 4x 6 ... расходится при | x | ≥ 1.

Любая действительная аналитическая функция на некотором открытом множестве на действительной прямой может быть расширена до комплексной аналитической функции на некотором открытом множестве комплексной плоскости. Однако не каждая действительная аналитическая функция, определенная на всей действительной прямой, может быть расширена до комплексной функции, определенной на всей комплексной плоскости. Функция ƒ( x ), определенная в абзаце выше, является контрпримером, поскольку она не определена для x  = ± i . Это объясняет, почему ряд Тейлора функции ƒ( x ) расходится при | x | > 1, т. е. радиус сходимости равен 1, поскольку комплексированная функция имеет полюс на расстоянии 1 от точки оценки 0 и никаких дополнительных полюсов в открытом круге радиуса 1 вокруг точки оценки.

Аналитические функции многих переменных

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

Смотрите также

Примечания

  1. ^ Это подразумевает равномерную сходимость также в (возможно меньшей) окрестности .
  1. ^ Черчилль; Браун; Верхей (1948). Комплексные переменные и их применение . McGraw-Hill. стр. 46. ISBN 0-07-010855-2. Функция f комплексной переменной z аналитична в точке z 0 , если ее производная существует не только в точке z 0 , но и в каждой точке z в некоторой окрестности z 0 . Она аналитична в области R , если она аналитична в каждой точке из R . Термин голоморфный также используется в литературе для обозначения аналитичности
  2. ^ Стрихартц, Роберт С. (1994). Руководство по теории распределения и преобразованиям Фурье. Бока-Ратон: CRC Press. ISBN 0-8493-8273-4. OCLC  28890674.
  3. ^ Кранц и Паркс 2002, стр. 15.
  4. ^ Комацу, Хикосабуро (1960). «Характеристика действительных аналитических функций». Труды Японской академии . 36 (3): 90–93. doi : 10.3792/pja/1195524081 . ISSN  0021-4280.
  5. ^ "Класс Жевре - Энциклопедия математики". encyclopediaofmath.org . Получено 2020-08-30 .
  6. ^ Кранц и Паркс 2002.

Ссылки

Внешние ссылки