Complex analysis MOC

Complex integration

Given a complex function 𝑓 :𝑥 +𝑖𝑦 𝑢 +𝑖𝑣, its complex integral along a path 𝐶 is

𝐶𝑓(𝑧)𝑑𝑧=𝐶(𝑢+𝑖𝑣)(𝑑𝑥+𝑖𝑑𝑦)=𝐶𝑢𝑑𝑥𝑣𝑑𝑦+𝑖𝐶𝑣𝑑𝑥+𝑢𝑑𝑦

However, if we require 𝑓 be analytic, the Cauchy-Riemann equations imply that this integral should be path-independent.

Cauchy's Integral Theorem If 𝑓(𝑧) is an analytic complex function for a closed region 𝑅 , then

𝜕𝑅𝑓(𝑧)𝑑𝑧=0

That is, 𝑓(𝑧) is defined inside and on a closed path 𝜕𝑅.

Note that if 𝑅 contains a singularity and is hence non-analytic, then Cauchy's Integral Theorem does not apply and the path integral may be non-zero.1 If 𝑓 does have singularities but they lie outside 𝑅, the theorem still holds.

Core integration techniques


#state/tidy | #lang/en | #SemBr

Footnotes

  1. 2023. Advanced Mathematical Methods, p. 55