Каноник элементлар. Йўл бўйича давом эттириш - Алгебра - Рефераты

Каноник элементлар. Йўл бўйича давом эттириш

Загружено в:

11.09.2022

Скачано:

0

Размер:

3277.5 KB

Каноник элементлар. Йўл бўйича давом эттириш Режа: 1. Каноник элементлар. йўл бўйича давом эттириш 2. Йўл бўйича давом эттиришнинг хоссалари.

КАНОНИК ЭЛЕМЕНТЛАР. ЙЎЛ БЎЙИЧА ДАВОМ ЭТТИРИШ Маълумки, аналитик элемент деб D соҳа ) / ( C D  ва унда голоморф ) (z f функциялардан ташкил топган ) , ( f D   жуфтликка айтилар эди. Биз 1-§да ) , ( 1 1 1 f D   ва ) , ( 2 2 2 f D   элементлар ушбу 1. 2 1 D D  соҳа бўш эмас: 2 1 D D  2. 2 1 D D z    учун ) ( ) ( 2 1 z f z f  шартлари бажарилганда 1  ва 2  элементлар бири иккинчисининг бевосита аналитик давоми бўлишини, шунингдек ) , ( , ), , ( ), , ( 2 2 2 1 1 1 n n n f D f D f D        (1) да ҳар бир 1  k элемент k  элементнинг бевосита аналитик давоми бўлса, унда (1) элементлар аналитик давом занжирини ташкил этишини кўрдик. Одатда ) , ( 1 1 1 f D   ҳамда ) , ( 2 2 2 f D   элементларда )( )( , 2 1 2 1 z f z f D D   бўлса, унда бу икки элемент айнан тенг деб šаралади. Келтирилган тушунчаларда D деб /C даги ихтиёрий соҳа олинган эди. Энди D соҳа сифатида доирани оламиз. Бу аналитик давом эттириш масаласини бирмунча соддалаштиради (ойдинлашитради). Айтайлик, a U маркази ) / ( C a a  нуšтада бўлган радиуси aR га тенг доира, af эса шу доирада яšинлашувчи даражали šатор йиђиндиси бўлсин. 1- таъриф. Ушбу ) , ( a a a f U   жуфтлик каноник элемент дейилади, a U доира эса a  элементнинг яšинлашиш доираси дейилади. Фараз šилайлик,  a бўлсин. У ҳолда ℂ a  каноник элементнинг яšинлашиш доираси   z Ua ℂ ) ( :    a a R R a z бўлиб, ) (z fa эса      0 ) ( ) ( n n n a a z c z f бўлади. Агар a бўлса, унда

  )0 ( :     a a a R R z C z U бўлиб,      0 ) ( n n n a z С z f бўлади. Шуни таъкидлаш лозимки, доиралар кесишганда бир бођламли тўплам ҳосил бўлади. Бинобарин, каноник элементларни аналитик давом эттиришда кесишма k  нинг šандай компонентаси бўйича давом эттиришини аниšлашга ҳожат šолмайди. Айтайлик, n n n a a z c z f ) ( ) ( 0     (2) даражали šаторнинг яšинлашиш радиуси aR бўлсин. Равшанки, ) (z fa функция   z Ka { ℂ aR a z   : } доирада голоморф бўлади. Бу a K доира ва унда голоморф ) (z fa функция ) , ( a a a f K   каноник элементни ҳосил šилади. Энди a K доирада ) ( aK b b  нуšтани олиб, шу нуšтада ) (z fa функцияни b z нинг даражалари бўйича ёямиз. Равшанки,             n k k kn kn n n b z a b C a b b z a z 0 ) ( ) ( ) ( ) ( ) ( Унда (2) тенгликнинг ўнг томони ушбу         0 0 ) ) ( ) ( ( n n k k kn kn n b z a b C c кўринишга келади. Бу šаторда b z нинг бир хил даражаларини бирлаштириб,     0 ) ( n n n b z d даражали šаторга келамиз:      0 ) ( ) ( n n n b b z d z f (3)

Бу даражали šаторнинг яšинлашиш радиуси bR бўлиб, яšинлашиш доираси эса } : { b b R b z C z K     бўлсин (11-чизма). Раишанки, a b R R a b    бўлади. Агар a b R R a b    бўлса, унда a b K K  бўлиб, аналитик давом эттириш содир бўлмайди. Агар a b R R a b    бўлса, унда b K доира a K доирадан ташšарига чиšади ва b a K K z    учун ) ( ) ( z f z f b a  бўлиб, ) (z fb функция ) (z fa нинг аналитик давом бўлади. Фараз šилайлик, ) , ( ...,), , ( ), , ( 2 1 2 2 1 1 n a a a a a a f U f U f U n n      кононик элементлар кетма-кетлиги берилган бўлиб, 1  ka элемент ka  элементнинг бевосита аналитик давоми бўлсин. Унда ) (z fn функция ) (1 z f функциянинг 11 2 1 ...,, , a a a U U U доиралар занжири бўйича аналитик давоми бўлади. Энди йўл бўйича давом эттириш тушунчсини келтирамиз. z C/ текисликда ])1,0[ ( )( :   t tz z  йўлни (эгри чизиšни) šарайлик. Бу йўлнинг боши )0(z a нуšтадаги каноник элементни ) , ( 0 0 0 f U   , охири )1(z b  нуšтадаги каноник элементни ) , ( 1 1 1 f U   дейлик (12-чизма).

2- таъриф. Агар марказлари )(tz at нуšтада, яšинлашиш радиуслари нолдан фарšли шундай каноник элементлар тўплами  ))1,0 ( ) , (    t f U t t t мавжуд бўлсаки,  1,0 0 t нуšтанинг бођламли  )1,0 ) ( ) ( 0 0  t V t V атрофи олинганда, ) (0t V t учун 0 )( t U t z  бўлиб, ихтиёрий ) (0t V t даги ) , ( t t t f U   элемент ) , ( 0 0 0 t t t f U   элементнинг бевосита аналитик давоми бўлса, у ҳолда ) , ( 0 0 0 f U   элемент  йўл бўйича давом эттирилади дейилади. (13-чизма). Йўл бўйича давом эттиришнинг хоссалари. Биз 2-§ да йўл бўйича давом эттириш тушунчаси билан танишиб, у каноник элементлар системаси  )1,0 ( ) , (     I t f U t t t ёрдамида бажарилишини кўрдик. Энди йўл бўйича аналитик давом эттиришнинг айрим хоссаларини келтирамиз. Бу хоссалар теоремалар орšали ифодаланади. Айтайлик,    1,0 ),(     I t tz z  йўл берилган бўлсин, бунда ) (t z функция I да узлуксиз. 1- теорема. Агар ) , ( 0 0 0 f U   каноник элемент  йўл бўйича аналитик давом эттириладиган бўлса, давом эттирилиши натижасида, уни бажарувчи

t  системанинг олинишига бођлиš бўлмаган ҳолда тайин элемент ҳосил бўлади. ◄ Исбот: Фараз šилайлик, ) , ( 0 0 0 f U   элемент  йўл бўйича t  система ) ( I t ёрдамида ) , ( 1 1 1 f U   элементга айни пайтда шу ) , ( 0 0 0 f U   элементнинг ўзи  йўл бўйича ) , ( t t t g v G  система ) ( I t ёрдамида t G элементга давом эттирилган бўлсин. Теоремани исботлаш учун I t  да t t G  (1) тенгликнинг бажарилишини кўрсатиш етарли бўлади. Равшанки, биттагина 0  элемент давом эттирилаётганлигидан 0 0 G  (2) бўлиши келиб чиšади. Энди ушбу  t t G I t E     : тўпламни šараймиз. Бу тўплам, биринчидан бўш эмас, чунки (2) муносабатга кўра . 0 E t   Иккинчидан бу тўплам I нинг šисми бўлади: .I E  E очиš тўплам бўлишини исботлаймиз. Ихтиёрий E t 0 ни оламиз. Унда E тўпламнинг тузилишига биноан ) ( 0 0 0 0 t t t t V U G    бўлади.

)(t z z функция  1,0 I да узлуксиз бўлганлигидан, I t 0 нуšтанинг шундай I It0 атрофи топиладики, 0tI t  даги )(tz z функциянинг šийматлари ) ( 0 0 t t V U  доираларга тегишли бўлади. Унда 2-§ да келтирилган 2-таърифга кўра, t  ҳамда t G элементларнинг ) ( 0tI t ҳар бири 0 0 t t G  элементнинг бевосита давоми бўлади. Бинобарин, 0tI t  да t t G  бўлади. Бу эса E It0 бўлишини билдиради. Демак, E очиš тўплам. Айни пайтда E ёпиš тўплам бўлишини ҳам исботлаймиз. Фараз šилайлик, I t 0 нуšта E тўпламнинг ихтиёрий лимит нуšтаси бўлсин.  йўлнинг ) (0t z нуšтасидаги каноник ) , ( ), , ( 0 0 0 0 0 0 t t t t t t g V G f U    элементлар яšинлашиши доиралари 0t U ҳамда 0tV ларнинг кичигини 0t W дейлик. Энди 0t нуšтанинг шундай I It0 атрофини олайликки, 0tI t  да  йўлнинг ) (t z нуšталари 0t W га тегишли бўлсин: . )( 0t W t z  Унда 0tI атрофдан олинган 1t нуšта E тўпламга тегишли, бинобарин 1 1 t t G  бўлади. Айни пайтда 0 ) (1 t W t z  бўлишидан 0t  элемент 1t  элементининг, 0t G элемент эса 1t G элементнинг бевосита аналитик давоми эканлиги келиб чиšади. Бу ҳолда  1 0 t t U W z z   учун 0 0 t t g f  бўлади. )) , ( ), , ( ; ( 1 1 1 1 1 1 1 1 t t t t t t t t g V G f U V U     Ягоналик теоремасига кўра 0t W z  да 0 0 t t g f  бўлади. Бундан эса ,0 0 t t G  яъни E t 0 бўлиши келиб чиšади. Демак, E тўпламнинг лимит нуšтаси 0t шу тўпламга тегишли бўлар экан. Бу эса E нинг ёпиš тўплам эканлигини билдиради. Шундай šилиб, E тўпламнинг ҳам очиš тўплам, ҳам

ёпиš тўплам бўлиши кўрсатилди. Унда I E  бўлади. Бундан эса . , I t Gt t    Жумладан, 1 1 G   бўлиши келиб чиšади. Теорема исбот бўлди. ► Лемма. Фараз šилайлик, I tt   ,  йўл бўйича аналитик давом эттиришни бажарувчи система бўлсин. Агар ) , ( t t t f U   системанинг барча яšинлашиш доиралари t U компакт тўпламлар бўлса, системадаги t  элементнинг яšинлашиш радиуси  1,0 ),( I t R оралиšда узлуксиз бўлади. ◄ Исбот. Айтайлик ) , ( t t t f U   система  ) ( I t йўл бўйича аналитик давом эттиришни бажарсин. Унда ихтиёрий I t 0 олинганда ҳам унинг шундай 0tI атрофи )( 0 II t  мавжудки, 0tI t даги ) , ( t t t f U   элемент 0t даги ),( 000 ttt fU элементнинг бевосита аналитик давоми бўлади. (15-чизма) Модомики, 0t  ҳамда t  элементлар бир-бирининг бевосита аналитик давоми экан, бу элементларнинг яšинлашиш доиралари бири иккинчисининг ичида ётмайди. Чунки, 0t t U U  бўладиган бўлса, 1f функция t U доирадан катта доирада голоморф бўлиб, t U унинг яšинлашиш доираси бўла олмай šолади. Демак, 1 U ва 0t U доираларнинг чегаралари ҳеч бўлмаганда битта умумий нуšтага эга бўлади. Бинобарин,

0 )( t U t z  бўлади. Унда t U ва 0t U доиралар радиуслари ) (t R ва ) (0t R лар учун ушбу ) ( )( ) ( )( 0 0 t z t z t R t R    (3) тенгсизлик ўринли бўлади. (15-чизма). )(tz z функциянинг  1,0 I да узлуксизлигидан, ,0 ,0              ) ( )( 0 0 tz tz t t (4) келиб чиšади. (3) ва (4) муносабатлардан эса   ) ( )( 0t R t R бўлишини топамиз. Демак, ) (t R - I да узлуксиз. Лемма исбот бўлди. ► 2- теорема. Фараз šилайлик, t  система   ) ( I t элементни  йўл бўйича G элементга аналитик давом эттирадиган бўлсин. У ҳолда t  системадан ) ( I t чекли сонда nt t t    ,..., , 2 1 элементларни ажратиш мумкинки, бу элементлар занжири ҳам  элементни  йўл бўйича шу G элементга аналитик давом эттиради. ◄ Исбот: Айтайлик, ) , ( t t t f U   система ) ( I t  йўл бўйича шу аналитик давом эттиришни бажарсин. Бу t  система яšинлашиш доираларининг радиуслари ) ,0 )( ( )( I t t R t R   юšорида келтирилган леммага кўра  1;0 I да узлуксиз бўлади. Айни пайтда шундай 0 сон топиладики, I t  учун )(t R бўлади. Маълумки, )(tz z функция  1,0 I да узлуксиз. Бинобарин, у I да текис узлуксиз бўлади. Унда  1,0 I ни шундай чекли сондаги ,1 , ,..., , ,0 1 2 1 0    n n t t t t t ) ... ( 1 0 nt t t    нуšталар билан шундай n та бўлакка бўлиш мумкинки, ҳар бир ] , [ 1 t tv , , 1   v v t t )0 (   да ) ,...,3,2,1 ( n v   1v v z z бўлади. Натижада ), ( ),..., ( ), ( 1 1 0 0 n n tz z tz z tz z     )1( ) ( ),0( ) (0 z tz z tz n  

нуšталарда каноник элементлар :)( )2( )1( )0( ,..., , , n     (5) га эга бўламиз. Равшанки, (5) элементлар t  системанинг элементлари бўлиб, G n     )( )0( , бўлади. Агар              1 1 z z t t эканини ҳисобга олсак, 2-таърифга биноан )(  элемент )1 (   элементнинг бевосита аналитик давоми бўлишини топамиз. Демак, G элемент  элементнинг  йўл бўйича аналитик давоми бўлади. Теорема исбот бўлди. ► Фараз šилайлик, бошланђич ва охирги нуšталари умумий бўлган иккита )1( )1( ),0( )0( ( ),( : ),( : 1 0 1 0 1 1 0 0 z z z z I t tz z I t t z z         ўзаро гомотопик йўллар берилган бўлиб, 1 0~  гомотопия ушбу / :),( C I I st W   функция ёрдамида берилган бўлсин. Бунда I t  да , )1,( , )0,( в t W a t W   I s s z s W s z s W    ), ( ) ,1( ), ( ) ,0( 1 0 Равшанки, t нинг  1,0 дан олинган ҳар бир тайин šийматида учлари a ва b нуšталарда бўлган t йўлга: )( : s z z t t   эга бўламиз ва уни ) ,( ) ( st W s zt  деб šараш мумкин. 3- теорема: Агар  элемент ихтиёрий ) ( I tt   йўл бўйича аналитик давом эттириладиган бўлса, у ҳолда 0 ва 1 гомотопик йўллар бўйича аналитик давом эттириш натижалари бир хил бўлади. ◄ Фараз šилайлик, ) , ( f V F  элемент t йўл бўйича аналитик бўйича давом эттирилиб, натижада t G элементга эга бўлайлик.

Теоремани исботлаш учун I t  да 0G Gt тенгликнинг бажарилишини кўрсатиш керак. Ушбу  0 : G G I t E t   тўпламни šараймиз. Бу тўплам бўш эмас, чунки E t   0 бўлади. Равшанки, E тўплам I нинг šисми бўлади. Демак,  E  , E I E .  очиš тўплам эканлигини кўрсатамиз. Ихтиёрий E t 0 нуšтани оламиз. Унда 0 0 G Gt бўлади. Юšорида исбот этилган леммага кўра шундай 0 сон топиладики, 0t йўл бўйича давом эттиришни бажарувчи 0ts G элементларнинг яšинлашиш радиуслари ) (s R учун ) (, ) ( I s s R   бўлади. ) ,( s t W функция I I да узлуксиз бўлгани учун у I I да текис узлуксиз ҳам бўлади. Унда шундай 0 ) (      топиладики,   0t t тенгсизликни šаноатлантирувчи ихтиёрий t ва I s да 2 ) , ( ) ,( 0    s t W st W (6) бўлади. Энди 2-теоремада келтирилганидек  1,0 I да шундай ) ... ( ,..., , 2 1 2 1 n n t t t t t t    нуšталарни оламизки, унда 0t йўлдаги ) ,...,3,2,1 ( ), , (0 0 n s t W z      нуšталар ушбу 2 01 0      z z (7) тенгсизликни šаноатлантирилсин. Айни пайтда 01z ва 0z даги 01 G ва 0G элементлар   0 1 0 0 1 0,         G G G G t s t s бир-бирининг бевосита аналитик давоми бўлсин. Ушбу ),...,2,1(,),,( nGGstWz t s      

белгиларни киритамиз. Унда (6) тенгсизликдан фойдаланиб топамиз: 2 0     z z (6') Айтайлик,     0t t t бўлсин. Унда (6') ва (7) муносабатлардан ) ,...,2,1 ( , 01 n z z         бўлиши келиб чиšади. (16-чизма). 01G ва 1 G элементлар  элементнинг бевосита аналитик давомлари . Унда бу 01G ва 1 G элементлар бир-бирининг бевосита аналитик давомлари бўлади. Буни исботлаш учун аввало битта тасдиšни келтирамиз. Фараз šилайлик, ) , (     - маркази с нуšтада бўлган каноник элемент бўлиб,  эгри чизиš шу элементнинг яšинлашиш доирасида бутунлай жойлашсин. (17-чизма). Равшанки, бу ҳолда  эгри чизиš билан яšинлашиш доирасининг чегараси  орасидаги масофа 0 ) , (       бўлади. Шунингдек, ) , ( 0 0 0 e   маркази 0e нуšтада, ) , ( 1 1 1 e    маркази 1e нуšтада бўлган каноник элементлар бўлсин. Тасдиš: Агар 0  элемент  элементнинг бевосита аналитик давоми бўлиб, 1  элемент эса  бўйича 0  нинг

бевосита аналитик давоми бўлса, у ҳолда 1  элемент  нинг бевосита аналитик давоми бўлади. Бу тасдиšнинг исботи 0  элемент  доирада бутунлай жойлашган, яšинлашиш радиуслари 2  дан кичик бўлган доиралар занжири ёрдамида 1  элементга давом эттирилишидан келиб чиšади. Агар 1 1 0 01 , , z e a e z с    дейилса, келтирилган тасдиššа биноан, 01G ва 1 G элементлар бир-бирларининг бевосита аналитик давоми бўлиши келиб чиšади. Айтайлик, 01 G ва 1 G элементлар бир-бирларининг бевосита аналитик давомлари бўлсин. Энди тасдиšдаги 1 0, , e e c лар сифатида   z e z e z c v      1 1 0 01 , , деб оламиз. Унда тасдиššа кўра 01 G ва  G элементлар бир-бирларининг бевосита аналитик давоми бўлади. Агар    z e z e z с     1 1 0 0 0 , , дейилса, (бунда 01z ва z нуšталарни бирлаштирувчи кесма олинса, v G элемент шу кесма бўйича 01 G элементнинг аналитик давоми бўлади) унда яна тасдиššа биноан, 0G ва G элементлар бир-бирларининг бевосита аналитик давоми, хусусан 0n G ва n G элементлар бир-бирларининг давоми бўлади. Аммо бу элементларнинг марказлари умумий, яъни b z z n n  0 бўлганлигидан 0n G = n G бўлади. Маълумки, . 0 E t  Унда 0n G = 0 00 G Gts  бўлиб, n G = 0G Gt бўлади. Бундан эса E t эканлиги келиб

Похожие

Аналитик функция тушунчаси

Мантиқий элементлар

Элементар функциялар

Фазо, тугри чизик, вектор, йуналтирувчи, каноник, параметрик, йуналтирувчи вектор

Четки элементлар усули асосида моделларни таҳлил қилиш