فرمول انتگرال کوشی

در ریاضیات، فرمول انتگرال کوشی که به احترام آگوستین لوییز کوشی نامگذاری شده‌است، یک حکم اساسی در آنالیز مختلط است و این حقیقت را بیان می‌کند که یک تابع هولومورفیک (Holomorphic function) تعریف شده بر روی یک قرص، به‌طور کامل با مقادیرش بر روی حاشیهٔ قرص مشخص می‌شود. این فرمول همچنین می‌تواند برای ساده کردن انتگرال همهٔ مشتقات یک تابع تحلیلی به کار رود.

انتگرال کوشی به صورت سه‌بعدی در چندین مجموعه اعداد در حد بی‌نهایت این نوع انتگرال به حل روش‌های بی‌نهایب مجموعه اعداد در نهایت آن می‌پردازد.

فرض کنید $U$ یک زیر مجموعه باز از صفحه مختلط $\mathbb {C}$ باشد، و $f$: $U$ → $\mathbb {C}$ یک تابع هلومورفیک باشد، و قرص

$D$ = { z: | z − z₀| ≤ r} تماماً درون $U$ قرار داشته باشد؛ و فرض کنید $C$ دایره‌ای باشد که مرز $D$ را تشکیل می‌دهد. آنگاه برای هر $a$ در درون $D$ داریم:

$f(a)={1 \over 2\pi i}\oint _{C}{f(z) \over z-a}\,dz$

که انتگرال کانتور (contour integral) در جهت پادساعتگرد گرفته شده‌است.

اثبات این حکم از قضیهٔ انتگرال کوشی استفاده می‌کند و مانند آن قضیه فقط به مشتق‌پذیر بودن $f$ نیاز دارد. از فرمول می‌توان نتیجه گرفت که $f$ در حقیقت باید بی‌نهایت بار به‌طور پیوسته مشتق‌پذیر باشد، با

$f^{(n)}(a)={n! \over 2\pi i}\oint _{C}{f(z) \over (z-a)^{n+1}}\,dz.$

برخی این عبارت را فرمول مشتق‌گیری کوشی می‌نامند. یک اثبات برای آن، نتیجهٔ فرعی این قضیه‌است که توابع هولومورفیک تحلیلی‌اند.

می‌توان دایرهٔ $C$ را با هر منحنی تصحیح‌پذیر بسته در $U$ که هیچ تقاطعی نداشته باشد و پادساعتگرد جهت‌دار باشد جایگزین کرد. فرمول برای هر نقطهٔ $a$ از ناحیهٔ احاطه شده توسط این مسیر معتبر باقی می‌ماند. علاوه بر این، فقط در مورد قضیهٔ انتگرال کوشی، کافیست که $f$ در ناحیه باز احاطه شده توسط منحنی، تحلیلی و بر حاشیهٔ آن پیوسته باشد.

این فرمول‌ها می‌توانند برا اثبات قضیه مانده (residue theorem) استفاده شوند، که یک تعمیم وسیع است.

خلاصه اثبات فرمول انتگرال کوشی

با استفاده از قضیه انتگرال کوشی می‌توان نشان داد که انتگرال بر روی $C$ (یا منحنی بستهٔ تصحیح‌پذیر) برابر است با انتگرال مشابهی که بر روی یک دایرهٔ بسیار کوچک دور $a$ گرفته شده‌است. مادامی که $f(z)$ پیوسته‌است، می‌توانیم دایره‌ای به قدر کافی کوچک انتخاب کنیم که $f(z)$ بر روی آن تقریباً ثابت و برابر $f(a)$ باشد. آنگاه باید انتگرال:$\int {{1 \over z-a}\,dz}$ را بر روی این دایرهٔ کوچک حساب کنیم. این انتگرال با استفاده از تغییر متغیر قابل حل است. قرار دهید.

$z=a+\varepsilon e^{it}$

که در آن $0\leq t\leq 2\pi$ و $\varepsilon \rightarrow 0$. این نشان می‌دهد که مقدار این انتگرال مستقل از شعاع دایره و برابر $2\pi i$ است.

کاربرد نمونه

[[پرونده:|thumb|400px|سطح تابع f(z) = z² / (z² + 2z + 2) و نقاط تکین آن، با کانتورهای شرح داده شده در متن.]] تابع

$f(z)={z^{2} \over z^{2}+2z+2}$

و مسیر |z| = 2 (آن را C بنامید) را در نظر بگیرید. برای بدست آوردن انتگرال f(z) حول مسیر، نیاز به دانستن نقاط تکین f(z) داریم. می‌توان $f$ را به صورت زیر نوشت:

$f(z)={z^{2} \over (z-z_{1})(z-z_{2})},{\mbox{where}}\ z_{1}=-1+i,z_{2}=-1-i.$

و قطب‌ها آشکار می‌شوند. قدر مطلق آنها کمتر از ۲ است و بنابراین درون مسیر قرار دارند و می‌توان فرمول را بر آنها اعمال کرد. با استفاده از قضیهٔ کوشی-گورسا می‌توان انتگرال حول مسیر را به صورت مجموع انتگال‌هایی حول z₁ و z₂ بیان کرد که مسیر، یک دایرهٔ کوچک حول هر قطب است. این مسیرها را C₁ حول z₁ و C₂ حول z₂ بنامید. اکنون $f$ حول C₁ تحلیلی است (مادامی که مسیر نقطهٔ تکین دیگر را شامل نمی‌شود)، و به ما این اجازه را می‌دهد که $f$ را به صورتی که نیاز داریم بنویسیم:

$f(z)={z^{2} \over z-z_{2}}$

و حالا

$\oint _{C_{1}}{\left({z^{2} \over z-z_{2}}\right) \over z-z_{1}}\,dz=2\pi i{z_{1}^{2} \over z_{1}-z_{2}}.$

با انجام عمل مشابه بر روی مسیر دیگر

$f(z)={z^{2} \over z-z_{1}},$

$\oint _{C_{2}}{\left({z^{2} \over z-z_{1}}\right) \over z-z_{2}}\,dz=2\pi i{z_{2}^{2} \over z_{2}-z_{1}}.$

و انتگرال حول مسیر اصلی، C، مجموع این دو انتگرال است:

${\begin{aligned}\oint _{C}{z^{2} \over z^{2}+2z+2}\,dz&{}=\oint _{C_{1}}{\left({z^{2} \over z-z_{2}}\right) \over z-z_{1}}\,dz+\oint _{C_{2}}{\left({z^{2} \over z-z_{1}}\right) \over z-z_{2}}\,dz\\\\&{}=2\pi i\left({z_{1}^{2} \over z_{1}-z_{2}}+{z_{2}^{2} \over z_{2}-z_{1}}\right)\\\\&{}=2\pi i(-2)\\\\&{}=-4\pi i.\end{aligned}}$

همچنین نگاه کنید به

• en:Cauchy-Riemann equations
• en:Methods of contour integration
• en:Nachbin's theorem
• en:Morera's theorem