EisatoponAI: Το Θεώρημα Υπολοίπων του Cauchy: Πώς Λειτουργεί & Γιατί Είναι Τόσο Ισχυρό

Το Θεώρημα Υπολοίπων του Cauchy

Το Θεώρημα Υπολοίπων του Cauchy (Cauchy's Residue Theorem) αποτελεί ένα από τα πιο ισχυρά και όμορφα αποτελέσματα της μιγαδικής ανάλυσης. Επιτρέπει τον υπολογισμό ολοκληρωμάτων μιγαδικών συναρτήσεων κατά μήκος κλειστών καμπυλών, χρησιμοποιώντας αποκλειστικά τις ιδιομορφίες που βρίσκονται μέσα στην καμπύλη.

Μαθηματική Διατύπωση

Έστω $ f(z) $ συνάρτηση αναλυτική σε μια περιοχή του μιγαδικού επιπέδου, εκτός από πεπερασμένο πλήθος απομονωμένων ιδιομορφιών $ z_1, z_2, \dots, z_n $. Αν $ C $ είναι μια απλή, κλειστή, θετικά προσανατολισμένη (αντι-δεξιόστροφη) καμπύλη που περικλείει όλα αυτά τα σημεία (και δεν περνά από κανένα), τότε ισχύει:

\[ \oint_C f(z)\, dz = 2\pi i \sum_{k=1}^{n} \operatorname{Res}(f; z_k) \]

Το ολοκλήρωμα εξαρτάται μόνο από τα υπόλοιπα (residues) στις ιδιομορφίες μέσα στην περιοχή που περικλείει η $ C $.

Ιδιομορφίες – Σειρά Laurent – Υπόλοιπο

Σε απομονωμένη ιδιομορφία $ z_0 $, η συνάρτηση αναπτύσσεται σε σειρά Laurent:

\[ f(z) = \sum_{n=-\infty}^{\infty} a_n (z - z_0)^n \]

Το υπόλοιπο (residue) ορίζεται ως ο συντελεστής του όρου $ \frac{1}{z-z_0} $, δηλαδή:

\[ \operatorname{Res}(f; z_0) = a_{-1} \]

Συνηθέστεροι τύποι υπολογισμού υπολοίπου

Απλός πόλος (pole of order 1):
\[ \operatorname{Res}(f; z_0) = \lim_{z \to z_0} (z - z_0) f(z) \]
Πόλος τάξης m:
\[ \operatorname{Res}(f; z_0) = \frac{1}{(m-1)!} \lim_{z \to z_0} \frac{d^{m-1}}{dz^{m-1}} \Big[ (z - z_0)^m f(z) \Big] \]
Για ουσιώδεις ιδιομορφίες → από τη σειρά Laurent (συντελεστής $ a_{-1} $)

Παράδειγμα υπολογισμού

Υπολογίστε ∮_C \frac{dz}{z(z-2)(z+1)i} όπου C είναι ο κύκλος |z| = 3 (θετικά προσανατολισμένος).

Ιδιομορφίες (απλοί πόλοι): z = 0, z = 2, z = –1 (όλα μέσα στον κύκλο |z| = 3).

Res στο $z=0$: $\lim_{z\to0} z \cdot \frac{1}{z(z-2)(z+1)i} = \frac{1}{(0-2)(0+1)i} = \frac{1}{-2i} = \frac{i}{2}$
Res στο $z=2$: $\lim_{z\to2} (z-2) \cdot \frac{1}{z(z-2)(z+1)i} = \frac{1}{2(2+1)i} = \frac{1}{6i} = -\frac{i}{6}$
Res στο $z=–1$: $\lim_{z\to-1} (z+1) \cdot \frac{1}{z(z-2)(z+1)i} = \frac{1}{(-1)(-1-2)i} = \frac{1}{3i} = -\frac{i}{3}$

Άθροισμα υπολοίπων: $\frac{i}{2} - \frac{i}{6} - \frac{i}{3} = i \left( \frac{1}{2} - \frac{1}{6} - \frac{1}{3} \right) = i \left( \frac{3-1-2}{6} \right) = 0$

Άρα ∮ = 2πi × 0 = 0

Συμπέρασμα

Το Θεώρημα Υπολοίπων του Cauchy αποκαλύπτει μια βαθιά αρχή: η «ολική συμπεριφορά» μιας συνάρτησης γύρω από μια κλειστή καμπύλη καθορίζεται πλήρως από την τοπική συμπεριφορά της στις ιδιομορφίες της. Αυτή η ιδέα αποτελεί τη βάση για τον υπολογισμό πολλών δύσκολων ολοκληρωμάτων (πραγματικών και μιγαδικών), σειρών, Laplace/Fourier μετασχηματισμών κ.ά.

Καλή μελέτη στη μιγαδική ανάλυση! ✦