Koši-Rymano sąlygos

Koši–Rymano sąlygos tai dviejų diferencialinių lygčių dalinėmis išvestinėmis sistema, apibrėžianti kompleksinio kintamojo holomorfinę (arba kitais žodžiais - analizinę) funkciją. Šią lygčių sistemą pirmą kartą užrašė Žanas Leronas Dalamberas 1752 metais. Kiek vėliau, 1797 metais, Leonardas Oileris susiejo šią sistemą su analizinėmis funkcijomis. 1814 metais Koši panaudojo jas konstruodamas savo funkcijų teoriją. 1851 metais šios lygtys buvo panaudotos ir Rymano disertacijoje vystant funkcijų teorijos pagrindus.

Koši-Rymano sąlygos tai yra dviejų diferencialinių lygčių sistema susiejanti kompleksinės funkcijos  realiąją u(x,y) ir menamąją v(x,y) dalis:
(1a)(1b)

 Geometrinė Koši-Rymano sąlygų prasmė 
Tarus, kad u(x,y) ir v(x,y) yra tam tikros kreivių šeimos, Koši-Rymano sąlygos atitinka konforminio atvaizdo apibrėžimui (konforminės funkcijos tai yra tokios funkcijos, kurios nekeičia kampų tarp kreivių u ir v).

 Kompleksinis diferencijavimas 
Tarkime, kad



yra kompleksinio kintamojo z funkcija.  Tuomet funkcijos f išvestinę taške z0 apibrėšime kaip ribą:



Jei ši riba egzistuoja, ją galime skaičiuoti išilgai realiosios arba išilgai menamosios ašies. Abiem atvejais tikėtumėmės kad jos turi sutapti. Taigi, artėdami prie jos išilgai realiosios ašies gausime:

O artėdami prie jos išilgai menamosios ašies gauname:

f išvestinių lygybė išilgai abiejų ašių duoda mums kitokią Koši-Rymano sąlygų formuluotę:

 Fizikinė interpretacija 
Tarkime, kad u ir v tenkina Koši-Rymano sąlygas ir gali būti užrašytos kaip vektorius

Tuomet Koši-Rymano sąlyga (1b) teigia, kad  yra besūkurinis laukas (jo rotorius lygus 0):

Koši-Rymano sąlyga (1a) teigia, kad  yra solenoidinis laukas (jo divergencija lygi 0):

Kitais žodiais tariant, toks laukas yra be sūkurių, šaltinių ir sankaupų.

 Trigonometrinė forma 
Užrašant kompleksinę funkciją trigonometrinėje formoje , Koši-Rymano sąlygos bus

Arba tai gali būti pateikiama viena lygtimi dėl f išvestinės:

 Šaltiniai 
.
.

 .
 .

.
.


 .

 .

 Nuorodos 
 Cauchy–Riemann Equations Module by John H. Mathews

Kategorija:Kompleksinė analizė