Pochodne Wirtingera

Pochodne Wirtingera a. operatory Wirtingera – w analizie zespolonej jednej lub kilku zmiennych zespolonych operatory różniczkowe cząstkowe pierwszego rzędu zachowujące się w bardzo podobny sposób do zwykłych pochodnych względem zmiennej rzeczywistej po przyłożeniu ich do funkcji holomorficznych, antyholomorficznych lub po prostu różniczkowalnych w obszarach płaszczyzny zespolonej. Operatory te umożliwiają, dla wspomnianych funkcji, konstrukcję rachunku różniczkowego całkowicie analogicznego do rachunku różniczkowego zwyczajnego funkcji zmiennych rzeczywistych. Pojęcie nosi nazwisko Wilhelma Wirtingera, który wprowadził je w 1927 roku.

Pomimo ich powszechnego zastosowania, zdaje się, że brakuje pracy, która zawierałaby wszystkie własności pochodnych Wirtingera; jednakże krótki kurs wielowymiarowej analizy zespolonej autorstwa Andreottiego (1976) i monografia Kaupa (1984) zawierają dość kompletny wykład na ich temat; z tego powodu będą używane w tym artykule jako główne źródło odniesienia.

Uwagi historyczne

Pochodne Wirtingera wykorzystywano w analizie zespolonej, jak to zauważyli Cherry i Ye (2001, s. 31), co najmniej od czasów pracy Poincarégo (1899). Istotnie, w trzecim akapicie tej pracy Henri Poincaré definiuje najpierw zmienną zespoloną w $\mathbb C^n,$ a następnie jej sprzężenie zespolone wzorem

$x_k + iy_k = z_k \qquad x_k - iy_k = u_k,$

gdzie wskaźnik $k$ ma w domyśle przebiegać od $1$ do $n.$ Następnie pisze on równanie definiujące funkcje, które nazywa on biharmonique, wcześniej zapisane za pomocą pochodnych cząstkowych względem zmiennych rzeczywistych $x_k, y_q$ dla $k$ oraz $q$ przebiegających od $1$ do $n$ w dokładnie następujący sposób

$\frac{\operatorname d^2 V}{\operatorname dz_k \operatorname du_q} = 0$

Oznacza to, że przyjął on drugą (wielowymiarową) definicję przedstawioną niżej: aby się o tym przekonać, wystarczy porównać równania 2 oraz 2' w pracy Poincarégo (1899, 112). Jednakże pierwsze systematyczne wprowadzenie pochodnych Wirtingera pochodzi od Wilhelma Wirtingera (1926), które miało na celu uproszczenie obliczeń wielkości pojawiających się w teorii funkcji kilku zmiennych zespolonych: wynikiem wprowadzenia tych operatorów różniczkowych było znaczące uproszczenie postaci wszystkich operatorów różniczkowych, powszechnie stosowanych w teorii, jakimi są np. operator Leviego, czy operator Cauchy'ego-Riemanna.

Konwencje

Dalej płaszczyzna zespolona $\mathbb C$ będzie utożsamiana z płaszczyzną euklidesową $\mathbb R^2$.

W przypadku wielowymiarowym symbol $C^n$ będzie oznaczać przestrzeń euklidesową nad ciałem liczb zespolonych i będzie wykorzystywane następujące utożsamienie:

$\mathbb C^n \simeq \mathbb R^{2n} = \bigl\{(\mathbf x, \mathbf y) = (x_1, \dots, x_n, y_1, \dots, y_n) \colon \mathbf x, \mathbf y \in \mathbb R^n\bigr\}.$

Wówczas $\mathbf z \in \mathbb C^n$ będzie traktowany jako wektor zespolony $(\mathbf x, \mathbf y),$ gdzie $\mathbf x$ oraz $\mathbf y$ są wektorami rzeczywistymi, przy czym $n \geqslant 1;$ ponadto podzbiór $\Omega$ będzie postrzegany jako obszar rzeczywistej przestrzeni euklidesowej $\mathbb R^{2n}$ lub też jej zespolonej odpowiedniczki z nią izomorficznej, $\mathbb C^n.$

Definicje

Pochodne Wirtingera definiuje się jako następujące liniowe operatory różniczkowe cząstkowe pierwszego rzędu:

$\frac{\partial}{\partial z} = \frac{1}{2} \left(\frac{\partial}{\partial x} - i\frac{\partial}{\partial y}\right), \quad \frac{\partial}{\partial \bar z} = \frac{1}{2} \left(\frac{\partial}{\partial x} + i \frac{\partial}{\partial y}\right).$

W przypadku wielowymiarowym pochodne Wirtingera przyjmuje się, że są to następujące macierzowe liniowe operatory różniczkowe cząstkowe pierwszego rzędu:

$\begin{cases} \frac{\partial}{\partial z_1} = \frac{1}{2} \left(\frac{\partial}{\partial x_1} - i\frac{\partial}{\partial y_1}\right) \\ \qquad\qquad \vdots \\ \frac{\partial}{\partial z_n} = \frac{1}{2} \left(\frac{\partial}{\partial x_n}- i \frac{\partial}{\partial y_n}\right) \\ \end{cases} \quad,\quad \begin{cases} \frac{\partial}{\partial\overline{z_1}} = \frac{1}{2} \left(\frac{\partial}{\partial x_1} + i \frac{\partial}{\partial y_1}\right) \\ \qquad\qquad \vdots \\ \frac{\partial}{\partial\overline{z_n}} = \frac{1}{2} \left(\frac{\partial}{\partial x_n} + i \frac{\partial}{\partial y_n}\right) \\ \end{cases}.$

Naturalną dziedziną definicji tych operatorów różniczkowych cząstkowych jest przestrzeń $\operatorname C^1$ funkcji różniczkowalnych w sposób ciągły określonych na obszarze $\Omega \subseteq \mathbb R^{2n}$ dla $n \geqslant 1,$ jednakże ponieważ operatory te są liniowe i mają stałe współczynniki, to mogą być łatwo rozszerzone na każdą przestrzeń funkcji uogólnionych.

Podstawowe własności

Dowody poniższych własności wynikają wprost z przyjętych definicji.

Liniowość

Jeżeli $f, g \in \operatorname C^1(\Omega),$ zaś $\alpha, \beta \in \mathbb C,$ to dla wszystkich $i = 1, \dots, n$ zachodzi następująca równość

$\frac{\partial}{\partial z_i} (\alpha f + \beta g)= \alpha\frac{\partial f}{\partial z_i} + \beta\frac{\partial g}{\partial z_i}, \quad \frac{\partial}{\partial\overline{z_i}} (\alpha f + \beta g) = \alpha\frac{\partial f}{\partial\overline{z_i}} + \beta\frac{\partial g}{\partial\overline{z_i}}.$

Reguła Leibniza

Jeżeli $f, g \in \operatorname C^1(\Omega),$ to dla wszystkich $i = 1, \dots, n$ zachodzi reguła Leibniza:

$\frac{\partial}{\partial z_i} (f \cdot g) = \frac{\partial f}{\partial z_i} \cdot g + f \cdot \frac{\partial g}{\partial z_i}, \quad \frac{\partial}{\partial\overline{z_i}} (f \cdot g) = \frac{\partial f}{\partial\overline{z_1}} \cdot g + f \cdot \frac{\partial g}{\partial\overline{z_i}}.$

Zobacz też

• równania Cauchy'ego-Riemanna

Literatura

• Aldo Andreotti: Introduzione all'analisi complessa (Lezioni tenute nel febbraio 1972). T. 24. Rzym: Accademia Nazionale dei Lincei, 1976, s. 34, seria: Contributi del Centro Linceo Interdisciplinare di Scienze Matematiche e Loro Applicazioni.  (wł.)
• Gaetano Fichera. Unification of global and local existence theorems for holomorphic functions of several complex variables. „Memorie della Accademia Nazionale dei Lincei, Classe di Scienze Fisiche, Matematiche e Naturali”. 18 (3), s. 61-83, 1986. Zbl 0705.32006. 
• Peter Henrici: Applied and Computational Complex Analysis Volume 3. Wyd. przedr.. Nowy Jork – Chichester – Brisbane – Toronto – Singapur: John Wiley & Sons, 1993, s. X+637, seria: Wiley Classics Library. Zbl 1107.30300. ISBN 0-471-58986-1. 
• Lars Hörmander: An Introduction to Complex Analysis in Several Variables. Wyd. III (popr.). T. 7. Amsterdam – Londyn – Nowy Jork – Tokio: North-Holland, 1990, seria: North–Holland Mathematical Library. Zbl 0685.32001. ISBN 0-444-88446-7. 
• Ludger Kaup: Holomorphic functions of several variables. T. 3. Berlin – Nowy Jork: Walter de Gruyter, 1983, s. XV+349. Zbl 0528.32001. ISBN 978-3-11-004150-7. 
• Enzo Martinelli: Introduzione elementare alla teoria delle funzioni di variabili complesse con particolare riguardo alle rappresentazioni integrali. T. 67. Rzym: Accademia Nazionale dei Lincei, 1984, s. 236+II, seria: Contributi del Centro Linceo Interdisciplinare di Scienze Matematiche e Loro Applicazioni.  (wł.)
• Francesco Severi: Lezioni sulle funzioni analitiche di più variabili complesse – Tenute nel 1956-57 all'Istituto Nazionale di Alta Matematica in Roma. Padwa: CEDAM – Casa Editrice Dott. Antonio Milani, 1958. Zbl 0094.28002.  (wł.); notatki z wykładu Francesca Severiego w Istituto Nazionale di Alta Matematica w Rzymie (dziś jego imienia) z przypisami dodatkami Enza Martinelliego, Giovanniego Battisty Rizzy oraz Maria Benedicty'ego.

Bibliografia

• W. Cherry, Z. Ye: Nevanlinna's theory of value distribution: the second main theorem and its error terms. Berlin: Springer Verlag, 2001, s. XII+202, seria: Springer Monographs in Mathematics. Zbl 0981.30001. ISBN 978-3-540-66416-1. 
• Ernst Peschl. Über 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, s. 574–594, 1932. doi:10.1007/BF01455902. JFM 58.1096.05

, Zbl 0004.30001 (niem.). 

• H. Poincaré. Sur les propriétés du potentiel et sur les fonctions Abéliennes. „Acta Mathematica”. 22 (1), s. 89–178, 1899. doi:10.1007/BF02417872. JFM 29.0370.02 (fr.). 
• D. Pompeiu. Sur une classe de fonctions d'une variable complexe. „Rendiconti del Circolo Matematico di Palermo”. 33 (1), s. 108–113, 1912. doi:10.1007/BF03015292. JFM 43.0481.01 (fr.). 
• D. Pompeiu. Sur une classe de fonctions d'une variable complexe et sur certaines équations intégrales. „Rendiconti del Circolo Matematico di Palermo”. 35 (1), s. 277–281, 1913. doi:10.1007/BF03015607 (fr.). 
• Wilhelm Wirtinger. Zur formalen Theorie der Funktionen von mehr komplexen Veränderlichen. „Mathematische Annalen”. 97, s. 357-375, 1926. doi:10.1007/BF01447872. JFM 52.0342.03 (niem.).