Комплексный анализ , традиционно известный как теория функций комплексного переменного , является ветвью математического анализа , изучающей функции от комплексных чисел . Это полезно во многих областях математики, включая алгебраическую геометрию , теорию чисел , аналитическую комбинаторику , прикладную математику ; а также в физике , включая разделы гидродинамики , термодинамики и особенно квантовой механики . Кроме того, использование комплексного анализа также находит применение в инженерных областях, таких какатомная , аэрокосмическая , машиностроительная и электротехническая техника . [ необходима цитата ]
Поскольку дифференцируемая функция комплексной переменной равна ее ряду Тейлора (то есть она аналитическая ), комплексный анализ особенно касается аналитических функций комплексной переменной (то есть голоморфных функций ).
История
Комплексный анализ - одна из классических ветвей математики, уходящая корнями в XVIII век и незадолго до этого. Важные математики, связанные с комплексными числами, включают Эйлера , Гаусса , Римана , Коши , Вейерштрасса и многих других в 20 веке. Комплексный анализ, в частности теория конформных отображений , имеет множество физических приложений, а также используется во всей аналитической теории чисел . В наше время он стал очень популярным благодаря новому импульсу от сложной динамики и изображений фракталов, созданных путем повторения голоморфных функций . Еще одно важное приложение комплексного анализа - теория струн, изучающая конформные инварианты квантовой теории поля .
Сложные функции
Сложная функция - это функция от комплексных чисел до комплексных чисел. Другими словами, это функция, которая имеет подмножество комплексных чисел в качестве области и комплексных чисел в качестве области значений . Сложные функции , как правило , должны иметь домен , который содержит непустое открытое подмножество в комплексной плоскости .
Для любой сложной функции значения из домена и их изображений в диапазоне можно разделить на действительную и мнимую части:
где все имеют настоящую ценность.
Другими словами, сложная функция может быть разложен на
- а также
т. е. на две действительные функции (, ) двух действительных переменных (, ).
Точно так же любую комплекснозначную функцию f на произвольном множестве X можно рассматривать как упорядоченную пару двух действительных функций : (Re f , Im f ) или, альтернативно, как вектор-функцию из X в
Некоторые свойства комплексных функций (например, непрерывность ) являются не чем иным, как соответствующими свойствами векторных функций двух действительных переменных. Другие концепции комплексного анализа, такие как дифференцируемость, являются прямым обобщением аналогичных концепций для реальных функций, но могут иметь очень разные свойства. В частности, каждая дифференцируемая комплексная функция является аналитической (см. Следующий раздел), и две дифференцируемые функции, которые равны в окрестности точки, равны на пересечении их области определения (если области связаны ). Последнее свойство является основой принципа аналитического продолжения, который позволяет расширить каждую вещественную аналитическую функцию уникальным способом для получения комплексной аналитической функции, область определения которой представляет собой всю комплексную плоскость с удаленным конечным числом дуг кривых . Таким образом определяются многие базовые и специальные сложные функции, включая комплексную экспоненциальную функцию , функции комплексного логарифма и тригонометрические функции .
Голоморфные функции
Сложные функции, дифференцируемые в каждой точке открытого подмножества комплексной плоскости называются голоморфными на . В контексте комплексного анализа производная от в определяется как
Внешне это определение формально аналогично определению производной действительной функции. Однако поведение сложных производных и дифференцируемых функций существенно отличается от их реальных аналогов. В частности, для существования этого предела значение коэффициента разности должно приближаться к одному и тому же комплексному числу, независимо от того, как мы приближаемся кв комплексной плоскости. Следовательно, комплексная дифференцируемость имеет гораздо более серьезные последствия, чем реальная дифференцируемость. Например, голоморфные функции бесконечно дифференцируемы , тогда как существование n- й производной не обязательно означает существование ( n + 1) -й производной для действительных функций. Кроме того, все голоморфные функции удовлетворяют более сильному условию аналитичности , означающему, что функция в каждой точке своей области определения локально задается сходящимся степенным рядом. По сути, это означает, что функции, голоморфные на можно сколь угодно хорошо аппроксимировать многочленами в некоторой окрестности каждой точки в . Это резко контрастирует с дифференцируемыми действительными функциями; есть бесконечно дифференцируемые действительные функции, которые нигде не аналитичны; см. Неаналитическая гладкая функция § Гладкая функция, которая нигде не является вещественно аналитической .
Большинство элементарных функций, включая экспоненциальную функцию , тригонометрические функции и все полиномиальные функции , соответствующим образом расширены до сложных аргументов как функций., голоморфны на всей комплексной плоскости, что делает их целыми функциями , а рациональные функции, где p и q - многочлены, голоморфны на областях, исключающих точки, где q равно нулю. Такие функции, голоморфные всюду, кроме множества изолированных точек, называются мероморфными функциями . С другой стороны, функции, , и не голоморфны нигде на комплексной плоскости, что может быть показано их невыполнением условий Коши – Римана (см. ниже).
Важным свойством голоморфных функций является связь между частными производными их действительной и мнимой компонент, известная как условия Коши – Римана . Если, определяется , где, голоморфна на области , то должен держаться для всех . Здесь дифференциальный оператор определяется как . В терминах действительной и мнимой частей функции u и v это эквивалентно паре уравнений а также , где нижние индексы указывают на частичную дифференциацию. Однако условия Коши – Римана не характеризуют голоморфные функции без дополнительных условий непрерывности (см. Теорему Лумана – Менхоффа ).
Голоморфные функции обладают некоторыми замечательными особенностями. Например, теорема Пикара утверждает, что диапазон целой функции может принимать только три возможных формы:, , или для некоторых . Другими словами, если два различных комплексных числа а также не входят в диапазон всей функции , то- постоянная функция. Более того, голоморфная функция на связном открытом множестве определяется ее ограничением на любое непустое открытое подмножество.
Основные результаты
Одним из центральных инструментов комплексного анализа является линейный интеграл . Линейный интеграл вокруг замкнутого пути функции, голоморфной всюду внутри области, ограниченной замкнутым путем, всегда равен нулю, как утверждается интегральной теоремой Коши . Значения такой голоморфной функции внутри диска можно вычислить с помощью интеграла по путям на границе диска (как показано в интегральной формуле Коши ). Интегралы по траекториям в комплексной плоскости часто используются для определения сложных вещественных интегралов, и здесь, в частности, применима теория вычетов (см. Методы контурного интегрирования ). «Полюс» (или изолированная особенность ) функции - это точка, в которой значение функции становится неограниченным или «взрывается». Если функция имеет такой полюс, то можно вычислить в нем вычет функции, который можно использовать для вычисления интегралов по путям, включающим функцию; это содержание мощной теоремы о вычетах . Замечательное поведение голоморфных функций вблизи существенных особенностей описывается теоремой Пикара . Функции, имеющие только полюсы, но не имеющие существенных особенностей , называются мероморфными . Ряды Лорана являются комплексными эквивалентами рядов Тейлора , но могут использоваться для изучения поведения функций вблизи сингулярностей с помощью бесконечных сумм более хорошо изученных функций, таких как полиномы.
Ограниченная функция , голоморфная во всей комплексной плоскости должно быть постоянным; это теорема Лиувилля . Его можно использовать для получения естественного и краткого доказательства фундаментальной теоремы алгебры, которая утверждает, что поле комплексных чисел алгебраически замкнуто .
Если функция голоморфна во всей связанной области, то ее значения полностью определяются ее значениями в любой меньшей подобласти. Говорят, что функция в большей области аналитически продолжается от ее значений в меньшей области. Это позволяет расширить определение функций, таких как дзета-функция Римана , которые изначально определены в терминах бесконечных сумм, сходящихся только в ограниченных областях, почти до всей комплексной плоскости. Иногда, как в случае натурального логарифма , невозможно аналитически продолжить голоморфную функцию на неодносвязную область комплексной плоскости, но можно продолжить ее до голоморфной функции на тесно связанной поверхности, известной как Риманова поверхность .
Все это относится к комплексному анализу по одной переменной. Существует также очень богатая теория комплексного анализа более чем в одном комплексном измерении, в которой аналитические свойства, такие как разложение в степенной ряд, переносятся, тогда как большинство геометрических свойств голоморфных функций в одном комплексном измерении (например, конформности ) не переносятся. . Отображение теорема Римана о конформных отношениях определенных областей в комплексной плоскости, которая может быть наиболее важным результатом в одномерной теории, резко проваливается в более высоких измерениях.
Основное применение некоторых сложных пространств в квантовой механике в качестве волновых функций .
Смотрите также
- Аналитическое продолжение
- Векторное исчисление
- Сложная динамика
- Список тем комплексного анализа
- Теорема монодромии
- Реальный анализ
- Теорема Рунге
- Несколько сложных переменных
Рекомендации
Общий
- Альфорс, Л. , Комплексный анализ, 3-е изд. (Макгроу-Хилл, 1979).
- Стивен Д. Фишер , Комплексные переменные, 2-е изд. (Довер, 1999).
- Carathéodory, С. , Теория функций комплексного переменного (Челси, Нью - Йорк). [2 тома]
- Хенрици П. , Прикладной и вычислительный комплексный анализ (Wiley). [Три тома: 1974, 1977, 1986.]
- Крейсциг, Э. , Высшая инженерная математика, 10 изд. , Гл. 13–18 (Wiley, 2011).
- Маркушевич А.И. Теория функций комплексного переменного (Прентис-Холл, 1965). [Три тома.]
- Марсден и Хоффман, Базовый комплексный анализ. 3-е изд. (Freeman, 1999).
- Needham, Т. , Визуальный Комплексный анализ (Oxford, 1997).
- Рудин У. , Real и комплексный анализ, 3 -е изд. (Макгроу-Хилл, 1986).
- Шейдеманн В. Введение в комплексный анализ нескольких переменных (Birkhauser, 2005).
- Шоу В. Т. Комплексный анализ с помощью системы Mathematica (Кембридж, 2006 г.).
- Шпигель, Мюррей Р. Теория и проблемы комплексных переменных - с введением в конформное отображение и его приложения (McGraw-Hill, 1964).
- Штейн и Шакарчи, Комплексный анализ (Принстон, 2003).
- Абловиц и Фокас , Комплексные переменные: введение и приложения (Кембридж, 2003 г.).
Внешние ссылки
- Страница комплексного анализа MathWorld компании Wolfram Research