Производные Виртингера - Wirtinger derivatives
В комплексный анализ одного и несколько сложных переменных, Производные Виртингера (иногда также называют Операторы Wirtinger[1]), названный в честь Вильгельм Виртингер который ввел их в 1927 г. в ходе своих исследований теория функций нескольких комплексных переменных, находятся операторы с частными производными первого порядка, которые ведут себя очень похоже на обычные производные по отношению к одному реальная переменная, применительно к голоморфные функции, антиголоморфные функции или просто дифференцируемые функции на сложные домены. Эти операторы позволяют построить дифференциальное исчисление для таких функций, что полностью аналогично обычному дифференциальному исчислению для функции вещественных переменных.[2]
Исторические заметки
Ранние годы (1899–1911): работы Анри Пуанкаре
Производные Виртингера использовались в комплексный анализ по крайней мере, еще в статье (Пуанкаре 1899 ), как вкратце отметил Черри и Е (2001), п. 31) и Реммерт (1991, стр. 66–67).[3] Собственно говоря, в третьем абзаце его статьи 1899 г.[4] Анри Пуанкаре сначала определяет комплексная переменная в и это комплексно сопряженный следующее
Затем он пишет уравнение, определяющее функции он звонит бигармонический,[5] ранее написано с использованием частные производные с уважением к настоящий переменные с от 1 до , ровно следующим образом[6]
Это означает, что он неявно использовал определение 2 ниже: чтобы убедиться в этом, достаточно сравнить уравнения 2 и 2 'из (Пуанкаре 1899, п. 112). По-видимому, эта статья не была замечена первыми исследователями в теория функций нескольких комплексных переменных: в газетах Леви-Чивита (1905), Леви (1910) (и Леви 1911 ) и из Аморосо (1912) все фундаментальные операторы с частными производными теории выражаются непосредственно с помощью частные производные уважение к настоящий и мнимые части из комплексные переменные участвует. В длинном обзоре Осгуд (1966) (впервые опубликовано в 1913 г.),[7] частные производные по каждому комплексная переменная из голоморфная функция нескольких комплексных переменных кажется, подразумевается как формальные производные: собственно говоря, когда Осгуд выразить плюригармонический оператор[8] и Оператор Леви, он следует установившейся практике Аморосо, Леви и Леви-Чивита.
Работы Димитри Помпею в 1912 и 1913 годах: новая формулировка
В соответствии с Хенрици (1993, п. 294), новый шаг в определении понятия сделал Димитрие Помпейу: в газете (Помпей 1912 ), учитывая комплексно оцененный дифференцируемая функция (в смысле реальный анализ ) одного комплексная переменная определено в район данного точка он определяет ареолярная производная в дальнейшем предел
куда это граница из диск радиуса полностью содержится в область определения из то есть его граница круг.[9] Очевидно, это альтернативное определение производной Виртингера по комплексно сопряженный Переменная:[10] это более общий характер, поскольку, как отмечает Хенрици (1993, п. 294), предел может существовать для функций, которые даже не дифференцируемый в [11] В соответствии с Fichera (1969 г.), п. 28), первым идентифицировавшим ареолярная производная как слабая производная в чувство соболева был Илья Векуа.[12] В его следующей статье Помпейу (1913) использует это недавно определенное понятие, чтобы представить свое обобщение Интегральная формула Коши, сейчас называется Формула Коши – Помпейу.
Работа Вильгельма Виртингера
Первое систематическое введение производных Виртингера, кажется, связано с Вильгельм Виртингер в газете Виртингер 1926 для упрощения вычислений величин, входящих в теория функций нескольких комплексных переменных: в результате введения этих дифференциальные операторы, вид всех дифференциальных операторов, обычно используемых в теории, таких как Оператор Леви и Оператор Коши – Римана, значительно упрощен и, следовательно, легче в обращении. Статья намеренно написана с формальной точки зрения, т.е. без строгого вывода выведенных свойств.
Формальное определение
Несмотря на их повсеместное использование,[13] кажется, что нет текста, перечисляющего все свойства производных Виртингера: тем не менее, довольно полные ссылки - это краткий курс по многомерный комплексный анализ к Андреотти (1976, стр. 3–5),[14] то монография из Ганнинг и Росси (1965, стр. 3–6),[15] и монография Кауп и Кауп (1983, п. 2,4)[16] которые используются в качестве общих ссылок в этом и следующих разделах.
Функции одной комплексной переменной
Определение 1. Рассмотрим комплексная плоскость Производные Виртингера определяются как следующие линейный операторы в частных производных первого порядка:
Ясно, что естественный домен определения этих дифференциальных операторов с частными производными является пространство функции на домен но, поскольку эти операторы линейный и имеют постоянные коэффициенты, их легко распространить на любой Космос из обобщенные функции.
Функции п > 1 комплексных переменных
Определение 2. Рассмотрим евклидово пространство на сложное поле Производные Виртингера определяются как следующие линейный операторы с частными производными первого порядка:
Что касается производных Виртингера для функций одного комплексного переменного, то естественный домен определения этих дифференциальных операторов в частных производных снова является пространством функции на домен и снова, поскольку эти операторы линейный и имеют постоянные коэффициенты, их легко распространить на любой Космос из обобщенные функции.
Основные свойства
В настоящем и следующих разделах предполагается, что это сложный вектор и это куда находятся реальные векторы, с п ≥ 1: также предполагается, что подмножество можно рассматривать как домен в настоящий евклидово пространство или в его изоморфный сложный двойник Все доказательства - простые следствия определение 1 и определение 2 и соответствующих свойств производные (обычный или частичный ).
Линейность
Лемма 1. Если и находятся сложные числа, то для выполняются следующие равенства
Правило продукта
Лемма 2. Если тогда для то правило продукта держит
Это свойство означает, что производные Виртингера равны производные от абстрактная алгебра точка зрения, в точности как обычная производные находятся.
Правило цепи
Это свойство принимает две разные формы соответственно для функций одного и несколько сложных переменных: для п > 1 случай, чтобы выразить Правило цепи в полной общности необходимо рассмотреть два домены и и два карты и имея естественный гладкость требования.[17]
Функции одной комплексной переменной
Лемма 3.1. Если и затем Правило цепи держит
Функции п > 1 комплексных переменных
Лемма 3.2. Если и тогда для следующая форма Правило цепи держит
Конъюгация
Лемма 4. Если тогда для выполняются следующие равенства
Смотрите также
Примечания
- ^ См. Ссылки Fichera 1986, п. 62 и Крахт и Крейсциг 1988, п. 10.
- ^ Некоторые из основных свойств производных Виртингера такие же, как и свойства, характеризующие обычные (или частичные) производные и используется для постройки обычных дифференциальное исчисление.
- ^ Ссылка на работу Пуанкаре 1899 из Анри Пуанкаре точно указано Черри и Йе (2001), пока Райнхольд Реммерт не цитирует никаких ссылок, подтверждающих его утверждение.
- ^ См. Ссылку (Пуанкаре 1899, стр. 111–114).
- ^ Эти функции точно плюригармонические функции, а линейный дифференциальный оператор определяя их, т.е.оператор в уравнении 2 (Пуанкаре 1899, п. 112), именно п-размерный плюригармонический оператор.
- ^ Видеть (Пуанкаре 1899, п. 112), уравнение 2 ': обратите внимание, что во всем документе символ используется для обозначения частичная дифференциация уважение к данному Переменная, вместо теперь уже привычного символа ∂.
- ^ Исправленный Дуврское издание бумаги (Осгуд 1913 ) содержит много важной исторической информации о раннем развитии теория функций нескольких комплексных переменных, и поэтому является полезным источником.
- ^ Видеть Осгуд (1966, pp. 23–24): любопытно, что он называет Уравнения Коши – Римана это система уравнений.
- ^ Это определение, данное Хенрици (1993, п. 294) в своем подходе к Работа Помпею: в качестве Fichera (1969 г.), п. 27) примечания, исходное определение Помпейу (1912) не требует домен из интеграция быть круг. Смотрите запись ареолярная производная для дополнительной информации.
- ^ См. Раздел "Формальное определение "этой записи.
- ^ См. Проблему 2 в Хенрици 1993, п. 294 для одного примера такой функции.
- ^ См. Также отличную книгу автора Векуа (1962 г., п. 55), теорема 1.31: Если обобщенная производная , p> 1, то функция имеет почти всюду в производная в смысле Помпейу, причем последний равен Обобщенная производная в смысле Соболев .
- ^ С или без атрибуции концепции Вильгельм Виртингер: см., например, известную монографию Хёрмандер 1990, п. 1,23.
- ^ В этом курсе лекции, Альдо Андреотти использует свойства производных Виртингера для доказательства закрытие из алгебра из голоморфные функции при определенных операции: эта цель является общей для всех ссылок, цитируемых в этом разделе.
- ^ Это классическая работа над теория функций нескольких комплексных переменных занимаясь в основном своими теоретическая связка аспекты: однако во вводных разделах представлены производные Виртингера и некоторые другие аналитические инструменты, а также описано их применение в теории.
- ^ В этой работе авторы доказывают некоторые свойства производных Виртингера также для общего случая функции: в этом единственном аспекте их подход отличается от подхода других авторов, цитируемых в этом разделе, и, возможно, является более полным.
- ^ Видеть Кауп и Кауп 1983, п. 4, а также Ганнинг 1990, п. 5: Ганнинг рассматривает общий случай функции но только для п = 1. Ссылки Андреотти 1976, п. 5 и Ганнинг и Росси 1965, п. 6, как уже указывалось, рассматривать только голоморфные отображения с п = 1: однако полученные формулы формально очень похожи.
Рекомендации
Исторические ссылки
- Аморосо, Луиджи (1912), "Sopra un проблема al contorno", Rendiconti del Circolo Matematico di Palermo (на итальянском), 33 (1): 75–85, Дои:10.1007 / BF03015289, JFM 43.0453.03. "О краевой задаче"(вольный перевод названия) - первая статья, в которой набор (довольно сложных) необходимых и достаточных условий разрешимости Задача Дирихле за голоморфные функции многих переменных дано.
- Cherry, W .; Е, З. (2001), Теория распределения стоимости Неванлинны: вторая основная теорема и ее ошибки, Монографии Springer по математике, Берлин: Springer Verlag, стр. XII + 202, ISBN 978-3-540-66416-1, МИСТЕР 1831783, Zbl 0981.30001.
- Фичера, Гаэтано (1969), "Derivata areolare e funzioni a variazione limitata", Revue Roumaine de Mathématiques Pures et Appliquées (на итальянском), XIV (1): 27–37, МИСТЕР 0265616, Zbl 0201.10002. "Ареолярная производная и функции ограниченной вариации"(вольный перевод названия на английский язык) - важный справочный документ в теории ареолярные производные.
- Леви, Эухенио Элиа (1910), "Studii sui punti singolari essenziali delle funzioni analitiche di due o più variabili complesse", Annali di Matematica Pura ed Applicata, с. III (на итальянском языке), XVII (1): 61–87, Дои:10.1007 / BF02419336, JFM 41.0487.01. "Исследования существенных особых точек аналитических функций двух и более сложных переменных"(Английский перевод названия) - важная статья в теория функций нескольких комплексных переменных, где проблема определения, что это за гиперповерхность может быть граница из область голоморфности.
- Леви, Эухенио Элиа (1911), "Sulle ipersuperficie dello spazio a 4 Dimensi Che Possono Essere frontiera del Campo di Esistenza di una funzione analitica di due variabili complesse", Annali di Matematica Pura ed Applicata, с. III (на итальянском языке), XVIII (1): 69–79, Дои:10.1007 / BF02420535, JFM 42.0449.02. "О гиперповерхностях 4-мерного пространства, которые могут быть границей области существования аналитической функции двух комплексных переменных"(Английский перевод названия) - еще один важный документ в теория функций нескольких комплексных переменных, дальнейшее исследование теории началось в (Леви 1910 ).
- Леви-Чивита, Туллио (1905), "Sulle funzioni di due o più variabili complesse", Rendiconti della Accademia Nazionale dei Lincei, Classe di Scienze Fisiche, Matematiche e Naturali, 5 (на итальянском языке), XIV (2): 492–499, JFM 36.0482.01. "О функциях двух и более сложных переменных"(вольный перевод названия на английский язык) - первая статья, в которой выполнено достаточное условие разрешимости Задача Коши за голоморфные функции нескольких комплексных переменных дано.
- Осгуд, Уильям Фогг (1966) [1913], Разделы теории функций многих комплексных переменных (под ред. без сокращений и исправлений), Нью-Йорк: Дувр, стр. IV + 120, JFM 45.0661.02, МИСТЕР 0201668, Zbl 0138.30901.
- Пешль, Эрнст (1932), «Убер Die Krümmung von Niveaukurven bei der konformen Abbildung einfachzusammenhängender Gebiete auf das Innere eines Kreises. Eine Verallgemeinerung eines Satzes von E. Study»., Mathematische Annalen (на немецком), 106: 574–594, Дои:10.1007 / BF01455902, JFM 58.1096.05, МИСТЕР 1512774, Zbl 0004.30001, доступны на DigiZeitschriften.
- Пуанкаре, Х. (1899), "Sur les propriétés du Potentiel et sur les fonctions Abéliennes", Acta Mathematica (На французском), 22 (1): 89–178, Дои:10.1007 / BF02417872, JFM 29.0370.02.
- Помпею, Д. (1912), "Sur une classe de fonctions d'une variable complexe", Rendiconti del Circolo Matematico di Palermo (На французском), 33 (1): 108–113, Дои:10.1007 / BF03015292, JFM 43.0481.01.
- Помпею, Д. (1913), "Sur une classe de fonctions d'une variable complexe et sur definedes équations intégrales", Rendiconti del Circolo Matematico di Palermo (На французском), 35 (1): 277–281, Дои:10.1007 / BF03015607.
- Векуа, И. (1962), Обобщенные аналитические функции, Международная серия монографий по чистой и прикладной математике, 25, Лондон – Париж – Франкфурт: Pergamon Press, стр. xxx + 668, МИСТЕР 0150320, Zbl 0100.07603
- Виртингер, Вильгельм (1926), "Zur formalen Theorie der Funktionen von mehr komplexen Veränderlichen", Mathematische Annalen (на немецком), 97: 357–375, Дои:10.1007 / BF01447872, JFM 52.0342.03, доступны на DigiZeitschriften. В этой важной статье Виртингер вводит несколько важных концепций в теория функций нескольких комплексных переменных, а именно производные Виртингера и касательное условие Коши-Римана.
Научные ссылки
- Андреотти, Альдо (1976), Introduzione all'analisi complessa (Lezioni tenute nel febbraio 1972), Contributi del Centro Linceo Interdisciplinare di Scienze Matematiche e Loro Applicazioni (на итальянском языке), 24, Рим: Accademia Nazionale dei Lincei, п. 34, заархивировано оригинал на 2012-03-07, получено 2010-08-28. Введение в комплексный анализ краткий курс теории функций многих комплексных переменных, проведенный в феврале 1972 г. Centro Linceo Interdisciplinare di Scienze Matematiche e Loro Applicazioni "Бениамино Сегре".
- Фичера, Гаэтано (1986), "Объединение глобальных и локальных теорем существования голоморфных функций нескольких комплексных переменных", Memorie della Accademia Nazionale dei Lincei, Classe di Scienze Fisiche, Matematiche e Naturali, 8, 18 (3): 61–83, МИСТЕР 0917525, Zbl 0705.32006.
- Ганнинг, Роберт С.; Росси, Хьюго (1965), Аналитические функции нескольких комплексных переменных, Серия Прентис-Холла в современном анализе, Englewood Cliffs, Нью-Джерси: Prentice-Hall, стр. xiv + 317, ISBN 9780821869536, МИСТЕР 0180696, Zbl 0141.08601.
- Ганнинг, Роберт С. (1990), Введение в голоморфные функции нескольких переменных. Том I: Теория функций, Серия математики Уодсворта и Брукса / Коула, Белмонт, Калифорния: Wadsworth & Brooks / Cole, стр. Xx + 203, ISBN 0-534-13308-8, МИСТЕР 1052649, Zbl 0699.32001.
- Хенрици, Питер (1993) [1986], Прикладной и вычислительный комплексный анализ Том 3, Библиотека Wiley Classics (переиздание), Нью-Йорк – Чичестер – Брисбен – Торонто – Сингапур: Джон Уайли и сыновья, стр. X + 637, ISBN 0-471-58986-1, МИСТЕР 0822470, Zbl 1107.30300.
- Хёрмандер, Ларс (1990) [1966], Введение в комплексный анализ нескольких переменных, Математическая библиотека Северной Голландии, 7 (3-е (пересмотренное) изд.), Амстердам – Лондон – Нью-Йорк – Токио: Северная Голландия, ISBN 0-444-88446-7, МИСТЕР 1045639, Zbl 0685.32001.
- Кауп, Людгер; Кауп, Бурчард (1983), Голоморфные функции многих переменных, Исследования де Грюйтера по математике, 3, Берлин – Нью-Йорк: Вальтер де Грюйтер, стр. XV + 349, ISBN 978-3-11-004150-7, МИСТЕР 0716497, Zbl 0528.32001.
- Крахт, Манфред; Крейсциг, Эрвин (1988), Методы комплексного анализа в дифференциальных уравнениях с частными производными и их приложения, Канадское математическое общество Серия монографий и расширенных текстов, Нью-Йорк – Чичестер – Брисбен – Торонто – Сингапур: Джон Уайли и сыновья, стр.xiv + 394, ISBN 0-471-83091-7, МИСТЕР 0941372, Zbl 0644.35005.
- Мартинелли, Энцо (1984), Представление elementare alla teoria delle funzioni di variabili complesse с конкретным строгим соблюдением всех интегральных представлений, Contributi del Centro Linceo Interdisciplinare di Scienze Matematiche e Loro Applicazioni (на итальянском языке), 67, Рим: Accademia Nazionale dei Lincei, pp. 236 + II, заархивировано оригинал на 2011-09-27, получено 2010-08-24. "Элементарное введение в теорию функций комплексных переменных с особым учетом интегральных представлений"(Английский перевод названия) - это примечания к курсу, опубликованные Accademia Nazionale dei Lincei, принадлежавший Мартинелли, когда он был "Профессор Линчео".
- Реммерт, Райнхольд (1991), Теория сложных функций, Тексты для выпускников по математике, 122 (Четвертое исправленное издание 1998 г.), Нью-Йорк – Берлин – Гейдельберг – Барселона – Гонконг – Лондон – Милан – Париж – Сингапур – Токио: Springer Verlag, стр. xx + 453, ISBN 0-387-97195-5, МИСТЕР 1084167, Zbl 0780.30001 ISBN 978-0-387-97195-7. Учебник по комплексный анализ включая множество исторических заметок по этому вопросу.
- Севери, Франческо (1958), Lezioni sulle funzioni analitiche di più variabili complesse - Tenute nel 1956–57 all'Istituto Nazionale di Alta Matematica в Риме (на итальянском языке), Падуя: CEDAM - Casa Editrice Dott. Антонио Милани, стр. XIV + 255, Zbl 0094.28002. Заметки из курса, проведенного Франческо Севери в Istituto Nazionale di Alta Matematica (который в настоящее время носит его имя), содержащий приложения Энцо Мартинелли, Джованни Баттиста Рицца и Марио Бенедикти. Английский перевод названия гласит: - "Лекции по аналитическим функциям нескольких комплексных переменных - читал лекции в 1956–57 в Istituto Nazionale di Alta Matematica в Риме.".