I den komplexa analysen inom matematiken är Cauchy–Riemanns ekvationer två partiella differentialekvationer som bidrar med tillräckliga villkor för att avgöra om en funktion är analytisk i det komplexa talplanet. Ekvationerna har fått sitt gemensamma namn av Augustin Louis Cauchy och Bernhard Riemann.

Låt f(x+iy) = u(x,y) + iv(x,y) vara en funktion i en öppen delmängd av komplexa talplanet ℂ och betrakta u och v som reella funktioner definierade i en öppen delmängd till ℝ2. Funktionen f är då analytisk om och endast om u och v är differentierbara och deras partiella derivator uppfyller Cauchy–Riemanns ekvationer, enligt följande:

    och    

Från ekvationerna följer att u och v måste vara harmoniska funktioner, om de är två gånger differentierbara eftersom de då uppfyller Laplaces ekvation. Ekvationerna kan således ses som villkoren för att ett par harmoniska funktioner kan uppträda som real- och imaginärdelen av en komplex analytisk funktion.

Ekvationerna kan även formuleras mer kompakt som

vilket är samma sak som att Jacobimatrisen skall vara på formen

vilket är en representation av komplexa talmatrisform. Detta uttrycker den geometriska egenskapen att en analytisk funktion är konform i alla punkter där dess derivata är nollskild, via en kombination av rotation och omskalning.

Polär form

redigera

Istället för att uttrycka en funktion av z på formen f(x+iy) = u(x,y) + iv(x,y) så kan det ibland vara praktiskt att byta referenssystem till det polära koordinatsystemet. Där har man att x = r·cos(θ) och y = r·sin(θ). Således har man att f(z) = u(r,θ) + iv(r,θ) och Cauchy–Riemanns ekvationer kan uttryckas:

      och      

Härledning

redigera

Betrakta funktionen f(x+iy) = u(x,y) + iv(x,y). Vi vill beräkna dess derivata i en punkt z₀, vilket vi gör via differenskvoter, först genom att närma oss parallellt med reella talaxeln, och sedan parallellt med imaginära talaxeln.

Längs realaxeln får vi:

     
 
 
 

Detta är två olika differenskvoter, så därför har vi

 

Längs imaginäraxeln får vi:

     
 
 
 
 

vilket återigen är två olika differenskvoter:

 

Eftersom dessa två derivator måste vara lika så har vi

 

Eftersom de reella och imaginära delarna måste vara lika var för sig har vi nu att

  och  

vilket skulle bevisas.