Кошиҙың интеграль формулаһы

**Кошиҙың интеграль формулаһы** — комплекслы үҙгәреүсәнле голоморфлы функциялар өсөн, функцияның нөктәләге ҡиммәтен уның нөктәне уратып алған контурҙағы ҡиммәттәре менән бәйләүсе бәйләнеш.

Был формула комплекслы анализдың иң мөһим үҙенсәлектәренең береһен сағылдыра: өлкәнең сиктәрендәге ҡиммәттәрен белгән хәлдә, өлкәнең эске *теләһә ниндәй* нөктәһендәге ҡиммәтен табырға була.

## Формулировкаһы
D — комплекслы яҫылыҡта \Gamma=\partial D өлөшлө-шыма сиге булған өлкә булһын, f(z) \overline{D}-ла голоморфлы функция, һәм z_0 — D өлкәһенең эске нөктәһе.
Ул саҡта Кошиҙың ошондай формулаһы дөрөҫ:

: f(z_0) = \frac{1}{2\pi i} \int\limits_\Gamma \frac{f(z)}{z-z_0}\,dz.

Формула шулай уҡ, f(z) D-ның эсендә голоморфлы һәм замыканиелә өҙлөкһөҙ, шулай уҡ D-ның сиге өлөшлө-шыма түгел, ә бары тик турайтылмалы тип фараз иткәндә лә дөрөҫ.

## Иҫбатлау
Етерлек бәләкәй *ρ* радиуслы, үҙәге *z<sub>0</sub>* нөктәһендә булған *S<sub>ρ</sub>* әйләнәһен ҡарайыҡ.
Γ контурҙары һәм *S<sub>ρ</sub>* менән сикләнгән (йәғни D өлкәһенең *S<sub>ρ</sub>* әйләнәһенең эске нөктәләренән башҡа нөктәләренән торған) өлкәлә, интеграл аҫты функцияһының үҙенсәлектәре юҡ, һәм Кошиҙың интеграль формулаһы буйынса был өлкәнең сиге буйлап уның интегралы нулгә тигеҙ. Был, *ρ*-ға бәйһеҙ рәүештә түбәндәге тигеҙлек дөрөҫ тигәнде аңлата
:\int\limits_\Gamma \frac{f(z)}{z - z_0}\,dz = \int\limits_{S_\rho} \frac{f(z)}{z - z_0}\,dz.
S_\rho буйынса интегралдарҙы иҫәпләү өсөн z = z_0 + \rho e^{i\varphi}, \varphi \in [0; 2\pi] параметрлауын ҡулланабыҙ.

Иң тәүҙә f(z) = 1 осрағы өсөн айырым Коши формулаһын иҫбатлайбыҙ:
:\frac{1}{2\pi i} \int\limits_{S_\rho} \frac{1}{z - z_0}\,dz = \frac{1}{2\pi i} \int\limits_0^{2\pi} \frac{1}{\rho e^{i\varphi}} i\rho e^{i\varphi}\,d\varphi = 1.

Уны дөйөм осраҡты иҫбатлау өсөн ҡулланабыҙ:
:\frac{1}{2\pi i} \int\limits_{S_\rho} \frac{f(z)}{z - z_0}\,dz - f(z_0) =
\frac{1}{2\pi i} \int\limits_{S_\rho} \frac{f(z)}{z - z_0}\,dz - \frac{1}{2\pi i} \int\limits_{S_\rho} \frac{f(z_0)}{z - z_0}\,dz =
\frac{1}{2\pi i} \int\limits_{S_\rho} \frac{f(z) - f(z_0)}{z - z_0}\,dz.

f(z) функцияһы z_0 нөктәһендә комплекслы дифференциалланыусы булғанлыҡтан,
:\frac{f(z) - f(z_0)}{z - z_0} = f'(z_0) + o(1).

f'(z_0)-тың интегралы нулгә тигеҙ:
:\frac{1}{2\pi i} \int\limits_{S_\rho} f'(z_0)\,dz = \frac{1}{2\pi i} \int\limits_0^{2\pi} f'(z_0) i\rho e^{i\varphi}\,d\varphi = 0.

o(1) быуынының интегралын \rho \to 0 мөмкин тиклем бәләкәй итергә була. Ләкин ул \rho-ға бөтөнләй бәйле түгел, тимәк ул нулгә тигеҙ. Нәтижәлә табабыҙ 
:\frac{1}{2\pi i} \int\limits_\Gamma \frac{f(z)}{z - z_0}\,dz - f(z_0) =
\frac{1}{2\pi i} \int\limits_{S_\rho} \frac{f(z) - f(z_0)}{z - z_0}\,dz = 0.

## Эҙемтәләр
Коши формулаһының төрлө күп эҙемтәләре бар. Ул — бөтә комплекслы анализдың төп теоремаһы. Бына уның эҙемтәләренең бер нисәһе: 
### Голоморфлы функцияларҙың аналитик булыуы
f(z) функцияһы голоморфлы булған өлкәнең теләһә ниндәй z_0 нөктәһенең эргә-яғында, ул дәрәжәле рәттең суммаһы менән тап килә:
: f(z)=\sum\limits_{n=0}^{\infty}c_n(z-z_0)^n,
шуның менән бергә уның йыйылыусанлыҡ радиусы, f(z) функцияһы голоморфлы булған, үҙәге z_0 нөктәһендә булған түңәрәктең радиусынан кәм түгел, ә c_n коэффициенттарын интеграль формулалар буйынса иҫәпләргә мөмкин:
: c_n = {1 \over 2\pi i}\int\limits_{\Gamma}{f(z) \over (z - z_0)^{n+1}}\,dz.
Был формулаларҙан, {|z-z_0| түңәрәгендә голоморфлы функцияларҙың c_n коэффициенттары өсөн Коши тигеҙһеҙлеге килеп сыға:
: c_n\le r^{-n}M(r),
бында M(r) — f(z) функцияһы модуленең {|z-z_0|=r} әйләнәһендә максимумы, ә уларҙан — сикле бөтөн аналитик функциялар тураһында Лиувилль теоремаһы килеп сыға: әгәр функция бөтә комплекслы яҫылыҡта голоморфлы һәм сикле булһа, ул константа.

Бынан тыш, коэффициенттар өсөн формулаларҙы нулдән айырмалы радиуслы йыйылыусан дәрәжәле рәттең суммаһының голоморфлығы тураһында теорема һәм дәрәжәле рәттең коэффициенттарын уның суммаһының сығарылмаһы аша күрһәтеүсе формула менән бәйләп
: c_n = \,dz.
Коши тигеҙһеҙлегенә оҡшаш рәүештә, сығарылмаларҙың баһаһы, сикләнгән D өлкәһендә голоморфлы функциялар ғаиләһенең, әгәр был ғаилә D-ла тигеҙ сикләнгән булһа, тигеҙ дәрәжәле өҙлөкһөҙлөгө тураһында теореманы килтереп сығара. Арцел-Асколи теоремаһы менән бергә, функцияларҙың компактлы ғаиләһе тураһында Монтель теоремаһы килеп сыға: сикле D өлкәһендә голоморфлы функцияларҙың теләһә ниндәй тигеҙ сикле ғаиләһенән, D-ла ниндәйҙер голоморфлы функцияға тигеҙ йыйылған функциялар эҙмә-эҙлелеген айырып алырға мөмкин.

### Голоморфлы функцияларҙың ҡулса өлкәләрҙә Лоран рәте рәүешендә күрһәтелеүе
Әгәр f(z) функцияһы \{r күренешендәге D өлкәһендә голоморфлы булһа, ул был өлкәлә Лоран рәте суммаһы итеп күрһәтелә:
:f(z)=\sum\limits_{n=-\infty}^{+\infty}c_n(z-z_0)^n,
өҫтәүенә c_n коэффициенттары интеграль формулалар буйынса иҫәпләп сығарылырға мөмкиндәр:
:c_n = {1 \over 2\pi i}\int\limits_{\Gamma}{f(z) \over (z - z_0)^{n+1}}\,dz,
ә Лоран рәте үҙе D-ла D-нан һәр та f(z) функцияһына тигеҙ йыйыла.

c_{-1} коэффициенты өсөн формула йыш ҡына, алгебраик ысулдарҙы һәм вычеттар теорияһын ҡулланып, f(z) функцияһынан төрлө контурҙар буйынса интегралдарҙы иҫәпләү өсөн ҡулланыла.

Шулай уҡ Лоран рәте терминдарында голоморфлы функцияларҙың айырылған махсус нөктәләрен классификациялау башҡарыла.

### Голоморфлы функциялар өсөн урта тураһында теорема
Әгәр f(z) функцияһы \{|z-z_0| түңәрәгендә голоморфлы булһа, ул саҡта һәр r\,(0 өсөн
:f(z_0) = {1 \over 2\pi}\int\limits_0^{2\pi}f(z_0+re^{i\varphi})\,d\varphi
шулай уҡ әгәр B_r — радиусы r һәм үҙәге z_0 нөктәһендә булған түңәрәк булһа, ул саҡта
:f(z_0) = {1 \over \pi r^2}\int\limits_{B_r}f(z)\,dx\,dy
Урта тураһында теоремаларҙан голоморфлы функциялар өсөн модулдең максимум принцибы килеп сыға: әгәр f(z) функцияһы D өлкәһендә голоморфлы һәм D эсендә уның модуленең локаль максимумы булһа, ул саҡта был функция константа.

Модулдең максимум принцибынан голоморфлы функцияларҙың ысын һәм уйланма өлөштәре өсөн максимум принцибы килеп сыға: әгәр f(z) функцияһы D өлкәһендә голоморфлы һәм D эсендә уның ысын йәки уйланма өлөшөнөң локаль максимумы йәки минимумы булһа,  ул саҡта был функция константа.

### Берҙән-берлек тураһында теоремалар
Модулдең максимум принцибынан һәм голоморфлы функцияларҙың дәрәжәле рәт рәүешендә күрһәтелеүсәнлегенән тағы ла өс мөһим һөҙөмтә килеп сыға:
* Шварц леммаһы: әгәр f(z) функцияһы {|z| түңәрәгендә голоморфлы, f(0)=0 һәм был түңәрәктән бөтә z нөктәләре өсөн |f(z)|\le 1 булһа, ул саҡта был түңәрәктә һәр ерҙә |f(z)|\le |z|, 
* дәрәжәле рәттәр өсөн берҙән берлек теоремаһы: z_0 нөктәһендә бер төрлө Тейлор рәте булған голоморфлы функциялар, был нөктәнең ниндәйҙер эргә-яғында тап киләләр, 
* голоморфлы функцияның нулдәре тураһында теорема: әгәр D өлкәһендә голоморфлы f(z) функцияһының нулдәренең D эсендә сикләнмә нөктәһе булһа, ул саҡта f(z) функцияһы D-ла бөтә ерҙә нулгә тигеҙ.

## Һылтанмалар
* 
* Cauchy Integral Formula Module by John H. Mathews

## Әҙәбиәт
* 
* 
* 
*