Równania Cauchy’ego-Riemanna

Równania Cauchy’ego-Riemanna – dwa równania różniczkowe cząstkowe noszące nazwiska Augustina Cauchy’ego i Bernharda Riemanna będące warunkami koniecznym i dostatecznym na to, aby funkcja różniczkowalna była holomorficzna w zbiorze otwartym.

Układ tych równań pojawił się po raz pierwszy w pracy Jeana le Ronda d’Alemberta. Później Leonhard Euler odkrył związek tego układu z funkcjami analitycznymi. Następnie Cauchy wykorzystał te równania, by skonstruować swoją teorię funkcji. Rozprawa Riemanna o teorii funkcji pojawiła się w 1851 roku.

Równania

Równania Cauchy’ego-Riemanna dla pary funkcji $u(x,y)$ oraz $v(x,y)$ o wartościach rzeczywistych to para równań:

$\mathrm {(1a)} \qquad {\frac {\partial u}{\partial x}}={\frac {\partial v}{\partial y}}$

oraz

$\mathrm {(1b)} \qquad {\frac {\partial u}{\partial y}}=-{\frac {\partial v}{\partial x}}.$

Zwykle $u,v$ wybiera się jako części odpowiednio rzeczywistą i urojoną funkcji $f(x+iy)=u(x,y)+iv(x,y)$ o wartościach zespolonych. Niech $u$ oraz $v$ będą różniczkowalne w sposób ciągły na podzbiorze otwartym $\mathbb {C} .$ Wówczas $f=u+iv$ jest holomorficzna wtedy i tylko wtedy, gdy pochodne cząstkowe $u$ i $v$ spełniają równania (1a) i (1b) Cauchy’ego-Riemanna.

Interpretacja i inne sformułowania

Wspomniane równania są jednym ze sposobów spojrzenia na warunek różniczkowalności w sensie zespolonym (holomorficzności). Innymi słowy wyrażają one pojęcie funkcji zmiennej zespolonej za pomocą standardowego rachunku różniczkowego. Istnieje kilka innych, zasadniczych sposobów postrzegania tego terminu, jednak wymaga się wtedy tłumaczenia wspomnianego warunku na język innych działów matematyki.

Odwzorowania konforemne

Równania Cauchy’ego-Riemanna mogą być wyrażone w formie zespolonej:

${\mbox{(2)}}\qquad i{\frac {\partial f}{\partial x}}={\frac {\partial f}{\partial y}}.$

Przedstawione w ten sposób równania odpowiadają strukturalnie warunkowi, że macierz Jacobiego jest postaci

${\begin{bmatrix}a&-b\\b&\;\;a\end{bmatrix}},$

gdzie $a={\tfrac {\partial u}{\partial x}}={\tfrac {\partial v}{\partial y}}$ oraz $b={\tfrac {\partial v}{\partial x}}=-{\tfrac {\partial u}{\partial y}}.$ Macierz tej postaci jest reprezentacją macierzową liczby zespolonej. Geometrycznie taka macierz jest zawsze złożeniem obrotu ze skalowaniem, w szczególności: zachowującym kąty. Stąd funkcja spełniająca równania Cauchy’ego-Riemanna, o niezerowej pochodnej, zachowuje kąt między krzywymi na płaszczyźnie. W ten sposób równania Cauchy’ego-Riemanna są warunkiem konforemności (równokątności) funkcji.

Różniczkowalność w sensie zespolonym

Równania Cauchy’ego-Riemanna są warunkiem koniecznym na różniczkowalność w sensie zespolonym (lub holomorficzność) funkcji. Załóżmy w szczególności, że

$f(z)=u(z)+iv(z)$

jest funkcją zmiennej zespolonej $z\in \mathbb {C} .$ Wówczas pochodna $f$ w punkcie $z_{0}$ określona jest wzorem

$\lim _{\underset {h\in \mathbb {C} }{h\to 0}}{\frac {f(z_{0}+h)-f(z_{0})}{h}}=f'(z_{0}),$

o ile granica ta istnieje.

Jeżeli granica istnieje, to może być ona obliczona przez wzięcie granicy przy $h\to 0$ wzdłuż osi rzeczywistej lub urojonej (tzw. pochodna cząstkowa); w każdym z tych przypadków powinna ona dać ten sam wynik. Zbiegając wzdłuż osi rzeczywistej dostaje się

$\lim _{\underset {h\in \mathbb {R} }{h\to 0}}{\frac {f(z_{0}+h)-f(z_{0})}{h}}={\frac {\partial f}{\partial x}}(z_{0}).$

Z kolei zbiegając wzdłuż osi urojonej otrzymuje się

$\lim _{\underset {h\in \mathbb {R} }{h\to 0}}{\frac {f(z_{0}+ih)-f(z_{0})}{ih}}=\lim _{\underset {h\in \mathbb {R} }{h\to 0}}-i{\frac {f(z_{0}+ih)-f(z_{0})}{h}}=-i{\frac {\partial f}{\partial y}}(z_{0}).$

Równość pochodnej $f$ obliczonej wzdłuż dwóch osi,

${\frac {\partial f}{\partial x}}(z_{0})=-i{\frac {\partial f}{\partial y}}(z_{0}),$

to właśnie równania Cauchy’ego-Riemanna (2) w punkcie $z_{0}.$

Na odwrót, jeżeli $f\colon \mathbb {C} \to \mathbb {C}$ jest funkcją różniczkowalną rozpatrywaną jako funkcja określona na $\mathbb {R} ^{2},$ to $f$ jest różniczkowalna w sensie zespolonym wtedy i tylko wtedy, gdy spełnione są równania Cauchy’ego-Riemanna.

Rzeczywiście, przyjmijmy za Rudinem, że $f$ jest funkcją zespoloną określoną na zbiorze otwartym $\Omega \subseteq \mathbb {C} .$ Założywszy, iż $z=x+iy$ dla każdego $z\in \Omega$ zbiór $\Omega$ można postrzegać jako otwarty podzbiór $\mathbb {R} ^{2},$ a $f$ jako funkcję dwóch zmiennych rzeczywistych $x$ oraz $y$ odwzorowującą $\Omega \subseteq \mathbb {R} ^{2}$ w $\mathbb {C} .$ Dla ustalenia uwagi rozważmy równania Cauchy’ego-Riemanna w punkcie $z=0$ przyjmując $f(z)=0,$ dowód przebiega identycznie w przypadku ogólnym. Przyjmijmy więc, iż $f$ jest różniczkowalna w punkcie $0$ jako funkcja dwóch zmiennych zbioru $\Omega$ w $\mathbb {C} .$ Jest to równoważne istnieniu takich dwóch liczb zespolonych $\alpha$ oraz $\beta$ (będących pochodnymi cząstkowymi $f$), że

$f(z)=\alpha x+\beta y+\eta (z)z,$

gdzie $z=x+iy$ oraz $\eta (z)\to 0$ przy założeniu $z\to z_{0}=0.$ Ponieważ $z+{\bar {z}}=2x,$ a $z-{\bar {z}}=2iy,$ to powyższe równanie może być zapisane w postaci

$f(z)={\frac {\alpha -i\beta }{2}}z+{\frac {\alpha +i\beta }{2}}{\bar {z}}+\eta (z)z.$

Definiując dwie pochodne Wirtingera wzorami

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

powyższą równość można przedstawić jeszcze inaczej:

${\frac {f(z)}{z}}=\left({\frac {\partial f}{\partial z}}\right)(0)+\left({\frac {\partial f}{\partial {\bar {z}}}}\right)(0)\cdot {\frac {\bar {z}}{z}}+\eta (z)\quad (z\neq 0).$

Dla rzeczywistych $z$ jest ${\tfrac {\bar {z}}{z}}=1,$ a dla urojonych $z$ zachodzi ${\tfrac {\bar {z}}{z}}=-1,$ stąd ${\tfrac {f(z)}{z}}$ ma granicę w zerze (tzn. $f$ jest różniczkowalna w sensie zespolonym w zerze) wtedy i tylko wtedy, gdy ${\tfrac {\partial f}{\partial {\bar {z}}}}(0)=0.$ Warunek ten to ni mniej ni więcej równania Cauchy’ego-Riemanna, dlatego też $f$ jest holomorficzna w zerze wtedy i tylko wtedy, gdy równania Cauchy’ego-Riemanna są spełnione w zerze.

Niezależność sprzężenia zespolonego

Powyższy dowód sugeruje inną interpretację równań Cauchy’ego-Riemanna. Sprzężenie zespolone $z,$ oznaczane ${\bar {z}},$ definiuje się wzorem

${\overline {x+iy}}:=x-iy$

dla $x,y$ rzeczywistych. Równania Cauchy’ego-Riemanna mogą być wówczas zapisane za pomocą pojedynczego równania

$\mathrm {(3)} \qquad {\frac {\partial f}{\partial {\bar {z}}}}=0,$

gdzie operator różniczkowy ${\frac {\partial }{\partial {\bar {z}}}}$ określony jest wzorem

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

W tej postaci równania Cauchy’ego-Riemanna mogą być interpretowane jako twierdzenie, iż $f$ jest niezależna od zmiennej ${\bar {z}}.$ W ten sposób funkcje holomorficzne można uważać za prawdziwe funkcje jednej zmiennej zespolonej, nie zaś funkcje zespolone dwóch zmiennych rzeczywistych.

Równie dobrze można zastanawiać się nad funkcjami, które są zależne wyłącznie od ${\bar {z}}.$ Tego typu funkcje nazywa się funkcjami antyholomorficznymi. Formalnie można je scharakteryzować jako te funkcje $f,$ dla których zachodzi

${\frac {\partial f}{\partial z}}=0,$

gdzie operator ${\frac {\partial }{\partial z}}$ dany jest wzorem

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

Interpretacja fizyczna

Jedna z interpretacji równań Cauchy’ego-Riemanna nie wykorzystuje bezpośrednio zmiennych zespolonych. Niech $u$ i $v$ spełniają równania Cauchy’ego-Riemanna na otwartym podzbiorze $\mathbb {R} ^{2}$ oraz dane będzie pole wektorowe

${\bar {f}}={\begin{bmatrix}\;\;u\\-v\end{bmatrix}}$

rozpatrywane jako wektor o dwu współrzędnych (rzeczywistych). Wówczas pierwsze równanie Cauchy’ego-Riemanna (1a) zapewnia, że ${\bar {f}}$ jest konserwatywne (bezwirowe, czyli o zerowej rotacji):

${\frac {\partial v}{\partial x}}-{\frac {\partial u}{\partial y}}=0.$

Drugie równanie Cauchy’ego-Riemanna (1b) zapewnia, że pole wektorowe jest solenoidalne (bezźródłowe, tzn. o zerowej dywergencji):

${\frac {\partial u}{\partial x}}+{\frac {\partial v}{\partial y}}=0.$

Zgodnie z twierdzeniem Greena i twierdzeniem Ostrogradskiego-Gaussa takie pole musi być zachowane oraz wolne od źródeł czy ujść, mając przy tym przepływ netto równy zero poprzez jakikolwiek obszar otwarty (te dwie obserwacje łączą się jako części rzeczywista i urojona w twierdzeniu całkowym Cauchy’ego). W dynamice płynów takie pole wektorowe ma przepływ potencjalny. W magnetostatyce pola tego typu modelują statyczne pola magnetyczne na części płaszczyzny, która nie zawiera prądu. W elektrostatyce modelują one statyczne pola elektryczne w części płaszczyzny, która nie zawiera ładunku elektrycznego.

Inne reprezentacje

Inne reprezentacje równań Cauchy’ego-Riemanna powstają dzięki przedstawieniu ich w innych układach współrzędnych. Jeżeli (1a) i (1b) są spełnione dla różniczkowalnej w sposób ciągły pary funkcji $u$ i $v,$ to są również dla

${\frac {\partial u}{\partial n}}={\frac {\partial v}{\partial s}},\quad {\frac {\partial v}{\partial n}}=-{\frac {\partial u}{\partial s}}$

w dowolnym układzie współrzędnych ${\big (}n(x,y),s(x,y){\big )},$ w którym para $(\nabla n,\nabla s)$ jest ortonormalna i dodatnio zorientowana. Zatem w szczególności, w układzie współrzędnych danym przez przedstawienie biegunowe $z=re^{i\theta }$ równania przyjmują postać

${\frac {\partial u}{\partial r}}={\frac {1}{r}}{\frac {\partial v}{\partial \theta }},\quad {\frac {\partial v}{\partial r}}=-{\frac {1}{r}}{\frac {\partial u}{\partial \theta }}.$

Połączenie ich w jedno równanie na $f$ daje

${\frac {\partial f}{\partial r}}={\frac {1}{ir}}{\frac {\partial f}{\partial \theta }}.$

Równania niejednorodne

Niejednorodne równania Cauchy’ego-Riemanna składają się z dwóch równań na parę nieznanych funkcji $u(x,y)$ oraz $v(x,y)$ dwóch zmiennych rzeczywistych

${\frac {\partial u}{\partial x}}-{\frac {\partial v}{\partial y}}=\alpha (x,y)$

${\frac {\partial u}{\partial y}}+{\frac {\partial v}{\partial x}}=\beta (x,y)$

dla pewnych danych funkcji $\alpha (x,y)$ i $\beta (x,y)$ określonych na otwartym podzbiorze $\mathbb {R} ^{2}.$ Równania te zwykle są łączone w jedno równanie

${\frac {\partial f}{\partial {\bar {z}}}}=\phi (z,{\bar {z}}),$

gdzie $f=u+iv$ i $\phi ={\tfrac {\alpha +i\beta }{2}}.$

Jeżeli $\phi$ jest klasy $C^{k},$ to równanie niejednorodne ma jednoznaczne rozwiązanie na dowolnym ograniczonym obszarze $D,$ o ile $\phi$ jest ciągła na domknięciu $D.$ Rzeczywiście, ze wzoru całkowego Cauchy’ego,

$f(\zeta ,{\bar {\zeta }})={\frac {1}{2\pi i}}\iint _{D}\phi (z,{\bar {z}}){\frac {dz\wedge d{\bar {z}}}{z-\zeta }}$

dla dowolnego $\zeta \in D.$

Uogólnienia

Twierdzenie Goursata i jego uogólnienia

Niech $f=u+iv$ będzie funkcja o wartościach zespolonych różniczkowalną jako funkcja $f\colon \mathbb {R} ^{2}\to \mathbb {R} ^{2}.$ Wtedy twierdzenie Goursata zapewnia, że $f$ jest analityczna na dowolnym obszarze $\Omega \subseteq \mathbb {C}$ wtedy i tylko wtedy, gdy spełnia równania Cauchy’ego-Riemanna na tym obszarze. W szczególności założenie o różniczkowalności w sposób ciągły funkcji $f$ może być pominięte.

Założenia twierdzenia Goursata mogą być osłabione w większym stopniu. Jeżeli $f=u+iv$ jest ciągła na zbiorze otwartym $\Omega ,$ istnieją tam jej pochodne cząstkowe względem $x$ oraz $y$ przy czym są spełnione równania Cauchy’ego-Riemanna, to $f$ jest holomorficzna (a więc analityczna). Wynik ten znany jest jako twierdzenie Loomana–Menchoffa.

Założenie, że $f$ spełnia równania Cauchy’ego-Riemanna na obszarze $\Omega$ jest kluczowe. Możliwe jest skonstruowanie funkcji ciągłej spełniającej równania Cauchy’ego-Riemanna w pewnym punkcie, która nie jest w nim analityczna (np. $f(z)={\tfrac {z^{5}}{|z|^{4}}}$). Podobnie wymagane jest pewne dodatkowe założenie oprócz równań Cauchy’ego-Riemanna (takie jak ciągłość), co ilustruje następujący przykład funkcji

$f(z)={\begin{cases}\exp(-z^{-4}),&{\mbox{ dla }}z\neq 0\\0,&{\mbox{ dla }}z=0,\end{cases}}$

która spełnia wszędzie równania Cauchy’ego-Riemanna, ale nie jest ciągła w $z=0.$

Mimo to, jeśli funkcja spełnia równania Cauchy’ego-Riemanna na zbiorze otwartym w słabym sensie, to wtedy funkcja jest analityczna. Dokładnej:

jeżeli $f(z)$ jest lokalnie całkowalna w obszarze $\Omega \subseteq \mathbb {C}$ i spełnia słabo równania Cauchy’ego-Riemanna, to $f$ pokrywa się z funkcją analityczną prawie wszędzie na $\Omega .$

Funkcje kilku zmiennych

Równania Cauchy’ego-Riemanna, odpowiednio uogólnione, istnieją również w teorii funkcji kilku zmiennych zespolonych. Tworzą one znaczący układ nadokreślony równań różniczkowych cząstkowych. Jak to jest często formułuje, operator d-kreska

${\bar {\partial }}$

anihiluje funkcje holomorficzne. Uogólnia to bezpośrednio sformułowanie

${\frac {\partial f}{\partial {\bar {z}}}}=0,$

gdzie:

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

Transformacja Bäcklunda

Równania Cauchy’ego-Riemanna, jako „funkcje harmoniczne sprzężone” – dwa równania różniczkowe cząstkowe i przekształcenie je łączące – są liniowym, a przez to jednym z najprostszych przykładów przekształcenia Bäcklunda. Bardziej złożone, ogólnie nieliniowe transformacje Bäcklunda, takie jak równanie sinus-Gordona są obiektami zainteresowań teorii solitonów i układów całkowalnych.

Zobacz też

• twierdzenie Morery

Bibliografia

• Solomentsev, E.D. (2001), „Cauchy–Riemann conditions”, in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1-55608-010-4.

Linki zewnętrzne

• Eric W.E.W. Weisstein Eric W.E.W., Cauchy-Riemann Equations, [w:] MathWorld, Wolfram Research [dostęp 2020-12-13]  (ang.).
• Cauchy-Riemann Equations Module by John H. Mathews