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[1]. Później Leonhard Euler odkrył związek tego układu z funkcjami analitycznymi[2]. Następnie Cauchy[3] wykorzystał te równania, by skonstruować swoją teorię funkcji. Rozprawa Riemanna[4] o teorii funkcji pojawiła się w 1851 roku.
Równania
Równania Cauchy’ego-Riemanna dla pary funkcji oraz o wartościach rzeczywistych to para równań[5]:
oraz
Zwykle wybiera się jako części odpowiednio rzeczywistą i urojoną funkcji o wartościach zespolonych. Niech oraz będą różniczkowalne w sposób ciągły na podzbiorze otwartym Wówczas jest holomorficzna wtedy i tylko wtedy, gdy pochodne cząstkowe i 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:
Przedstawione w ten sposób równania odpowiadają strukturalnie warunkowi, że macierz Jacobiego jest postaci
gdzie oraz 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[6]. Załóżmy w szczególności, że
jest funkcją zmiennej zespolonej Wówczas pochodna w punkcie określona jest wzorem
o ile granica ta istnieje.
Jeżeli granica istnieje, to może być ona obliczona przez wzięcie granicy przy 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ę
Z kolei zbiegając wzdłuż osi urojonej otrzymuje się
Równość pochodnej obliczonej wzdłuż dwóch osi,
to właśnie równania Cauchy’ego-Riemanna (2) w punkcie
Na odwrót, jeżeli jest funkcją różniczkowalną rozpatrywaną jako funkcja określona na to jest różniczkowalna w sensie zespolonym wtedy i tylko wtedy, gdy spełnione są równania Cauchy’ego-Riemanna.
Rzeczywiście, przyjmijmy za Rudinem[7], że jest funkcją zespoloną określoną na zbiorze otwartym Założywszy, iż dla każdego zbiór można postrzegać jako otwarty podzbiór a jako funkcję dwóch zmiennych rzeczywistych oraz odwzorowującą w Dla ustalenia uwagi rozważmy równania Cauchy’ego-Riemanna w punkcie przyjmując dowód przebiega identycznie w przypadku ogólnym. Przyjmijmy więc, iż jest różniczkowalna w punkcie jako funkcja dwóch zmiennych zbioru w Jest to równoważne istnieniu takich dwóch liczb zespolonych oraz (będących pochodnymi cząstkowymi ), że
gdzie oraz przy założeniu Ponieważ a to powyższe równanie może być zapisane w postaci
Definiując dwie pochodne Wirtingera wzorami
powyższą równość można przedstawić jeszcze inaczej:
Dla rzeczywistych jest a dla urojonych zachodzi stąd ma granicę w zerze (tzn. jest różniczkowalna w sensie zespolonym w zerze) wtedy i tylko wtedy, gdy Warunek ten to ni mniej ni więcej równania Cauchy’ego-Riemanna, dlatego też 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 oznaczane definiuje się wzorem
dla rzeczywistych. Równania Cauchy’ego-Riemanna mogą być wówczas zapisane za pomocą pojedynczego równania
gdzie operator różniczkowy określony jest wzorem
W tej postaci równania Cauchy’ego-Riemanna mogą być interpretowane jako twierdzenie, iż jest niezależna od zmiennej 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 Tego typu funkcje nazywa się funkcjami antyholomorficznymi. Formalnie można je scharakteryzować jako te funkcje dla których zachodzi
gdzie operator dany jest wzorem
Interpretacja fizyczna
Jedna z interpretacji równań Cauchy’ego-Riemanna[8] nie wykorzystuje bezpośrednio zmiennych zespolonych. Niech i spełniają równania Cauchy’ego-Riemanna na otwartym podzbiorze oraz dane będzie pole wektorowe
rozpatrywane jako wektor o dwu współrzędnych (rzeczywistych). Wówczas pierwsze równanie Cauchy’ego-Riemanna (1a) zapewnia, że jest konserwatywne (bezwirowe, czyli o zerowej rotacji):
Drugie równanie Cauchy’ego-Riemanna (1b) zapewnia, że pole wektorowe jest solenoidalne (bezźródłowe, tzn. o zerowej dywergencji):
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[9]. 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 i to są również dla
w dowolnym układzie współrzędnych w którym para jest ortonormalna i dodatnio zorientowana. Zatem w szczególności, w układzie współrzędnych danym przez przedstawienie biegunowe równania przyjmują postać
Połączenie ich w jedno równanie na daje
Równania niejednorodne
Niejednorodne równania Cauchy’ego-Riemanna składają się z dwóch równań na parę nieznanych funkcji oraz dwóch zmiennych rzeczywistych
dla pewnych danych funkcji i określonych na otwartym podzbiorze Równania te zwykle są łączone w jedno równanie
gdzie i
Jeżeli jest klasy to równanie niejednorodne ma jednoznaczne rozwiązanie na dowolnym ograniczonym obszarze o ile jest ciągła na domknięciu Rzeczywiście, ze wzoru całkowego Cauchy’ego,
dla dowolnego
Uogólnienia
Twierdzenie Goursata i jego uogólnienia
Zobacz też: twierdzenie Cauchy’ego-Goursata.
Niech będzie funkcja o wartościach zespolonych różniczkowalną jako funkcja Wtedy twierdzenie Goursata zapewnia, że jest analityczna na dowolnym obszarze wtedy i tylko wtedy, gdy spełnia równania Cauchy’ego-Riemanna na tym obszarze[10]. W szczególności założenie o różniczkowalności w sposób ciągły funkcji może być pominięte[11].
Założenia twierdzenia Goursata mogą być osłabione w większym stopniu. Jeżeli jest ciągła na zbiorze otwartym istnieją tam jej pochodne cząstkowe względem oraz przy czym są spełnione równania Cauchy’ego-Riemanna, to jest holomorficzna (a więc analityczna). Wynik ten znany jest jako twierdzenie Loomana–Menchoffa.
Założenie, że spełnia równania Cauchy’ego-Riemanna na obszarze 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. ). 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[12] funkcji
która spełnia wszędzie równania Cauchy’ego-Riemanna, ale nie jest ciągła w
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[13]:
- jeżeli jest lokalnie całkowalna w obszarze i spełnia słabo równania Cauchy’ego-Riemanna, to pokrywa się z funkcją analityczną prawie wszędzie na
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
anihiluje funkcje holomorficzne. Uogólnia to bezpośrednio sformułowanie
gdzie:
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ż
Przypisy
- ↑ J. d’Alembert: Essai d’une nouvelle théorie de la résistance des fluides. Paris: 1752.
- ↑ L. Euler. „Nova Acta Acad. Sci. Petrop.”. 10, s. 3–19, 1797.
- ↑ A.L. Cauchy: Mémoire sur les intégrales définies. T. 1. Paris: 1814 (1882), s. 319–506, seria: Oeuvres complètes Ser. 1.
- ↑ Grundlagen für eine allgemeine Theorie der Funktionen einer veränderlichen komplexen Grösse. W: B. Riemann: Riemann’s gesammelte math. Werke. H. Weber. Dover, 1851 (1953), s. 3–48.
- ↑ Cauchy’ego–Riemanna wzory, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2021-12-28] .
- ↑ 1.2. W: Lars Ahlfors: Complex analysis. Wyd. trzecie. McGraw Hill, 1953 (1979). ISBN 0-07-000657-1.
- ↑ Walter Rudin: Real and complex analysis. Wyd. 3. McGraw Hill, 1987. ISBN 0-07-054234-1.
- ↑ George Pólya, Gabor Szegö: Problems and theorems in analysis I. Springer, 1978. ISBN 3-540-63640-4.
- ↑ H. Chanson. Le Potentiel de Vitesse pour les Ecoulements de Fluides Réels: la Contribution de Joseph-Louis Lagrange.” ('Potencjał prędkości w rzeczywistych przepływach płynów: wkład Josepha-Louisa Lagrange’a.’). „Journal La Houille Blanche”. 5, s. 127–131, 2007. DOI: 10.1051/lhb:2007072. ISSN 0018-6368.
- ↑ twierdzenie 11.2. W: Walter Rudin: Real and complex analysis. Wyd. trzecie. McGraw Hill, 1987. ISBN 0-07-054234-1.
- ↑ § 9.10, Ex. 1. W: Jean Alexander Dieudonné: Foundations of modern analysis. Academic Press, 1969.
- ↑ H. Looman. Über die Cauchy-Riemannschen Differeitalgleichungen. „Göttinger Nach.”, s. 97-108 (107), 1923.
- ↑ twierdzenie 9, [w:] J.D.J.D. Gray J.D.J.D., S.A.S.A. Morris S.A.S.A., When is a Function that Satisfies the Cauchy-Riemann Equations Analytic?, „The American Mathematical Monthly”, 4, 85, 1978, s. 246–256, DOI: 10.2307/2321164, JSTOR: 2321164 .
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
- p
- d
- e
- PWN: 3883635