Интегралнинг таърифи. Интегралнинг хоссалари. Коши теоремаси - Algebra - Referatlar

Интегралнинг таърифи. Интегралнинг хоссалари. Коши теоремаси

Yuklangan vaqt:

11.09.2022

Ko'chirishlar soni:

0

Hajmi:

370 KB

Ko'chirib olish

Интегралнинг таърифи. Интегралнинг хоссалари. Коши теоремаси Режа: 1. Интегралнинг таърифи. 2. Интегралнинг асосий хоссалари. 3. Коши теоремаси. 4. Хулоса.

1. Интегралнинг таърифи. Комплекс (z) текисликдаги бирор Е сохада узлуксиз ва бир кийматли w=f(w)=u(x,y)+iv(x,y) (1) функция берилган булсин . У холда f(z) функция Е сохада ётган ихтиёрий Г силлик чизикда хам бир кийматли ва узлуксиз булади . Бу чизикнинг тенгламаси z=z(t) (   t ) булиб , унинг бошлангич нуктаси z 0 ва охирги нуктаси Z булсин , яъни : z 0 =z(  ), Z=z(  ). Одатда t нинг усишига мос йуналишни Г нинг мусбат йуналиши деб Г  оркали , бунга карама - карши йуналишни эса манфий йуналиш деб Г  билан белгиланади . Г чизикни ушбу z 0 1 2 3 1 1 , , , ,..., , ,..., , z z z z z z z Z k k n n    (2) нукталар воситасида ихтиёрий равишда n та ёйчаларга буламиз ва шу ёйчалардан хар бирининг исталган жойидан битта нукта олиб , бу нукталарни мос равишда     1 2 , ,..., ,..., k n (3) деб белгилаймиз. Ушбу s f z f z f z f z f z n k k n n k k k n       ( ) ( ) ... ( ) ( ) ( )      1 1 2 2 1      (4) йигиндини одатда интеграл йигинди дейилади. Бу йигиндининг киймати (2) ва (3) нукталарга боглик. Агар биз (2) нукталарни кетма-кет тугри чизик кесмалари билан туташтирсак, Г эгри чизикка чизилган синик чизик хосил булади.Бу синик чизик булакларининг узунликлари    z z zn 1 2 , ,..., лардан иборатдир. Мана шу zk ларнинг энг каттаси  булсин. Энди, z x iy i z x iy k k k k k k k k k       , ,       булгани учун f z u iv x i y u x v y iv x u y k k k k k k k k k k k k k k k k ( ) ( ( , ) ( , ))( ) ( )                   

Шуларга асосланиб Sn интеграл йигиндини куйидагича S f z u x v y i v x u y n k k k n k k k k k k k k k n k n            ( ) ( ) ( )       1 1 1 (4) ёзиш мумкин. 1-таъриф. Агар  нолга интилганда (4) интеграл йигинди z z zn 1 2 1 , ,...,  ва    1 2 1 , ,..., n нукталар Г чизикнинг кайси жойларидан олинганига боглик булмай, аник бир чекли лимитга интилса, шу лимитни f(z) функциянинг Г чизик буйлаб олинган интеграли дейилади ва куйидагича ёзилади: f z dz f z k k k n ( ) ( ) lim       0 1   (5). Г чизик интеграллаш йули ёки контури дейилади. Таърифда айтилган лимит хакикатан хам мавжуд, чунки f(z) функция Г да узлуксиз булгани учун (1) га асосан u(x,y) ва v(x,y) функциялар хам узлуксиз булади. У холда эгри чизикли интеграллар таърифига асосан куйидагича тенгликларга эга буламиз:                 0 1 0 1 lim lim ( ) ( , ) ( , ) , ( ) ( , ) ( , ) u x v y u x y dx v x y dy v x u y v x y dx u x y dy k k k k k n k k k k k n       Демак, f z dz u x y dx v x y dy i v x y dx u x y dy ( ) ( , ) ( , ) ( , ) ( , )           (6) ёки кискарок килиб, f zdz u iv dx idy ( ) ( )( )        куринишда ёзиш кулайрок. (6) нинг унг томони хакикий аргументли функциялардан олинган эгри чизикли интеграллардан иборат.

2. Интегралларнинг асосий хоссалари. 1-хосса. Узгармас купайтирувчини интеграл белгиси ташка- рисига чикариш мумкин:af z dz a f z dz ( ) ( )      . Хакикатан хам, af z a f z k k k k k n k n ( ) ( )          1 1 тенгликнинг икки томонида  0 (яъни n   ) фараз килиниб лимитга утилса 1-хосса исбот булади. 2- хосса. Интеграллаш контурининг йуналиши карама-кар- шисига узгартирилса интеграл белгиси олдидаги ишора хам узгаради: f zdz f zdz ( ) ( ) .      Хакикатан хам, f z z k k k k n ( )( )     1 1 ва f z z k k k k n ( )( )      1 1 йигиндилар факат ишоралари билангина фарк килади. Демак, уларнинг лимитлари хам шу билан фарк килади. 3-хосса. Чекли сондаги функциялар йигиндисидан олинган интеграл унинг хар бир хадидан олинган интеграллар йигиндисига тенг: ( ( ) ( ) ... ( )) ( ) ( ) ... ( ) . f z f z f z dz f z dz f z dz f z dz m m 1 2 1 2              Хакикатан хам, чекли йигинди учун ( ( ) ( ) ... ( )) ( ) ( ) ... ( ) , f f f z f z f z f z k k m k k k k k k m k k k n k n k n k n 1 2 1 2 1 1 1 1                          бу тенгликнинг икки томонидан,  0 деб лимитга утиш кифоя.

4-хосса. Агар узунлиги L булган Г чизикнинг хамма нукталарида M>0 сон учун M )z(f  булса, у холда f z dz ML ( )   булади. Хакикатан хам, f z f z M z ML k k k n k k n k k k n ( ) ( )               1 1 1 Бунинг икки томонидан лимит олинса 4- хосса исбот булади. 5-хосса. f z dz f z dz f z dz m m ( ) ( ) ... ( ) ...              1 1 2 бунда Г 1 2      ... m эгри чизик Г k ёйлардан тузилган булиб, Г k нинг охирги нуктаси Г k1 нинг бошлангич нуктаси билан устма- уст тушган, яъни иккаласи бир нукта. Бунинг исботини талабага колдирамиз. 3. Коши теоремаси. 1-теорема. Агар бир богламли Е сохада f(z) аналитик булса, у холда Е да ётувчи хар кандай Г ёпик контур буйлаб f(z) функциядан олинган интеграл нолга тенг булади: f z dz ( )   0  Бу теоремани исбот килишда куйидаги леммадан фойдаланамиз. Лемма. f(z) функция Е сохада аникланган ва узлуксиз булсин, Г эса Е сохада ётувчи силлик булакчалардан иборат ихтиёрий чизик булсин. У холда ихтиёрий кичик мусбат  сон учун Е да тула ётувчи ва Г нинг ичига чизилган шундай синик чизик Р мавжудки,

f zdz f zdz ( ) ( )       булади. Бу лемманинг исботини курсатилган адабиётлардан урганиб олишни талабанинг узига колдирамиз. Мана шу леммага асосан Коши теоремасини Е сохада ётувчи ихтиёрий ёпик синик Р чизик учун исботласак, у холда теорема силлик ёки силлик булаклардан иборат ёпик Г чизик исботланган булади. Р переметри берилган купбурчакни диагоналлар ёрдами билан учбурчакларга ажратамиз (32-расм). f z dz P ( )  интегрални ажратилган учбурчакларнинг периметрлари буйлаб олинган интеграллар йигиндиси сифатда ёзиш мумкин: f z dz f z dz f z dz f z dz ACDA ADEA ACA p ( ) ( ) ( ) ( )         (7) 32-чизма Хар бир диоганал буйича интеграллаш карама-карши йуналишда икки марта бажарилганлиги учун уларнинг йигиндиси нолга тенг. Шундай килиб, Коши теоремасини Е сохада ётувчи ихтиёрий учбурчак периметри буйича олинган интеграл учун исботласак, (7) га асосан ихтиёрий ёпик Р синик чизик учун, демак, Г учун хам исботланган буламиз.

f zdz M ()   0 деб белгилаб оламиз. Энди  да теорема шартлари бажарилганда M=0 булишини исбот килиш керак. Берилган  учбурчакнинг томонларини тенг иккига булиб ва булиниш нукталарини узаро бирлаштириб,  учбурчакни туртта  I ,  II ,  III ва  IV учбурчакларга ажратамиз. (33-расм). 33-расм. Чизмани эътиборга олиб, ушбуни хосил киламиз:                      ECF D E FAD IV III II 1 Бундан: M=               I II III IV (8) (8) тенгсизликдан куринадики, унг томонидаги модулларнинг энг камида биттаси M 4 дан кичик булмайди. Шу шартни каноатлантирадиган учбурчакни  1 билан белгилаймиз, яъни: f zdz M ( ) 1 4   .  2 учбурчак учун хам  учбурчак устида юритилган мулохазаларни кайтариб,  1 ни шундай туртта учбурчакка ажратамизки, буларнинг камида биттаси, масалан,  2 учун

f zdz M ( ) 2 42   булади. Шу усулда бир-бирининг учига жойлашган шундай     , , ,..., ,... 1 2 n учбурчаклар кетма-кетлигини хосил киламизки, булар учун f zdz M n n ( )   4 (9) булади.  учбурчак периметрининг узунлигини  билан белгиласак,  1 ,  2 ,...,  n ,... учбурчаклар периметрининг узунлиги мос равишда    2 2 2 2 , ,..., n ,... булади. Хосил булган  n учбурчак ичма-ич жойлашганлиги сабабли улар учун Е сохага тегишли ягона умумий  нукта мавжуддир. f(z) функция Е да аналитик булгани учун  нуктада чекли f’(  ) хосила мавжуд булади, яъни ихтиёрий 0 учун шундай  0 мавжудки, z    булганда f z f z f () ( ) '( )         булади.      (, ) () ( ) '( ) z f z f z f     деб белгиласак, f z f f z z z () ( ) '( )( ) (, )( )            булади, бунда z    булса,    ( , ) z  . Агар n 0 етарли катта булса, n n n ( )  0 учбурчак z    доира ичида ётади, шунинг учун dz n  0 ва zdz n   0  эканлигини эътиборга олиб, куйидагини хосил киламиз:

f zdz f f z z z dz f dz f dz z z dz z dz n n n n n n () ( ) '( )( ) (, )( )) ) '( ) (, )( )                                    (10) z модул  n учбурчак периметридаги ихтиёрий z нуктадан шу учбурчакда ётувчи  нуктагача масофа булгани учун n –z 2    . Демак, (10) тенгсизликдан: n n n n dz)z(f 4 2 2 2          (11) (9) ва (11) тенгсизликларни солиштирсак, M n n 4 4 2  , ёки M<  2 . Бундан,  исталганча кичик сон булгани учун M=0 эканлиги келиб чикади. Шу билан Коши теоремаси исбот булади. 1-натижа. Агар f(z) функция бир богламли Е сохада аналитик булса, у холда Е га тегишли силлик ёки силлик булаклардан иборат ихтиёрий чизик буйлаб олинган f z dz ( )  интегралнинг киймати Г чизикка боглик булмайди, балки бу чизикнинг бошлангич ва охирги нукталарининг холати билан аникланади. (34-чизма).

(34-чизма) Хакикатан хам, Коши теоремасига асосан: f z dz ( )   0 1 2   . Бундан: f z dz f z dz ( ) ( ) ,       2 0 яъни f z dz f zdz ( ) ( )     0 2 1   . Демак, f z dz f z dz ( ) ( )      2 1 . (12) Шу сабабли, (12) ни куйидагича ёзиш мумкин: f zdz f zdz f zdz z Z ( ) ( ) ( )      0 2 1   . (13) Энди Коши теоремасининг умумий холини курамиз, яъни куп богламли соха учун текширамиз. Фараз килайлик Е соха ташки томондан Г 0 ёпик чизик билан ва ички томондан узаро кесишмайдиган оддий    1 2 , ,..., n ёпик чизиклар билан чегараланган n+1 богламли сохадан иборат булсин. Мана шу Е соханинг хамма чегаралари биргаликда мураккаб контур дейилиб, уни битта Г билан белгилаймиз (35-чизма). 35-чизма. Демак, мураккаб Г контур куйидагидан иборатдир:

Г=    0 1 2        .... n . Фараз этайлик f(z) функция ёпик E сохада, яъни Е соха ва унинг барча чегараларида аналитик булсин. Бизнинг максадимиз f(z) функциядан Г мураккаб контур буйлаб олинган интегралнинг нолга тенглигини исбот килишдан иборатдир: f z dz ( )   0  . Соддалик учун n=2 деб кабул киламиз. Мана шу Е сохани иккита бир богламли сохага ажратиш максадида    0 1 2 , , контурларни а b , cd, ef чизиклар оркали туташтирамиз (36-чизма). 36-чизма. Натижада Е 1 ва Е 2 бир богламли сохалар хосил булиб, уларнинг чегаралари мос равишда куйидагилардан иборат: С 1 =а b сqefla, C 2 = al 2 feq 1 dcp 1 b а. У холда юкоридаги коши теоремасига асосан ёпик С 1 ва С 2 контурлар буйича f(z) функциядан олинган интеграллар нолга тенг булади: f zdz f zdz C C () , ()    0 1 2 =0. 36-чизмадан куринадики f zdz f zdz f zdz f zdz C C ( ) ( ) ( ) ( )            0 0 1 2 1 2     (14). Шундай килиб, Кошининг куйидаги теоремаси исбот булди.

Кошининг 2-теоремаси. Агар куп боггламли ёпик E сохада f(z) функция аналитик булса, у холда шу соханинг бутун чегараси буйлаб мусбат йуналишда f(z) функциядан олинган интеграл нолга тенг булади. (14) ни куйидагича ёзиб оламиз:    0 1 2 0      ёки f zdz f zdz () ()       1 0 f z dz ( ) 2 (14). Шу сабабли юкоридаги теорема бошкача хам таърифланади. Кошининг 2-теоремаси. Агар куп богламли ёпик E сохада f(z) функция аналитик булса, у холда функциядан ташки чегара буйича олинган интеграл ички чегаралар буйлаб олинган интеграллар йгиндисига тенг булиб, хамма чегаралар буйича йуналиш соат стрелкаси харакати йуналишига тескари олинади. 4. Хулоса. а) Агар f(z) функция силлик чизикда узлуксиз булса, у холда унинг интеграли хамма вакт мавжуд экан. б) Аник интегралнинг купчилик хоссалари комплекс сохада хам уринли булар экан. в) Агар бир богламли Е сохада f(z) функция аналитик булса, у холда Е да ётувчи хар кандай Г ёпик контур буйлаб f(z) функциядан олинган интеграл нолга тенг булади (Коши теоремаси) г) Агар f(z) функция бир богламли Е сохада аналитик булса, у холда Е га тегишли силлик ёки булаклардан иборат ихтиёрий Г чизик буйлаб олинган интегралнинг киймати Г чизикка боглик бошлангич ва охирги нукталариниг холати билан аникланади.

д) Агар куп богламли ёпик E сохада f(z) функция аналитик булса, у холда шу соханинг бутун контури буйлаб мусбат йуналишда f(z) функциядан олинган интеграл нолга тенг булар экан. е) Агар куп богламли ёпик E сохада f(z) функция аналитик булса, у холда функциядан ташки контур буйлаб олинган интеграл ички контурлар буйлаб олинган интеграллар йигиндисига тенг булиб, хамма контурлар буйича йуналиш соат стрелкаси харакати йуналишига тескари олинади.

O'xshashlar

Интегралланувчи функциялар синфи. Интегралнинг асосий хоссалари

Аниқ интегралнинг татбиқлари

Икки каррали интегралнинг баъзи бир татбиқлари

Бошлангич функция ва аникмас интеграл. Морера теоремаси. Кошининг интеграл формуласи

Коши формуласи. Коши интеграли