Шартли экстремум масалалари. Изопериметрик масалалар - Algebra - Referatlar

Шартли экстремум масалалари. Изопериметрик масалалар

Yuklangan vaqt:

12.12.2019

Ko'chirishlar soni:

0

Hajmi:

406.5 KB

Ko'chirib olish

Шартли экстремум масалалари. Изопериметрик масалалар. Вариацион ҳисобнинг сонли усуллари Режа: 1. Шартли экстремум масалалари. Изопериметрик масалалар 2. Вариацион ҳисобнинг сонли усуллари

Шартли экстремум масалалари. Изопериметрик масалалар. Изланаётган функцияларга чегаравий шартлар билан бир қаторда бошқа қўшимча шартлар ҳам қўйилган вариацион ҳисоб масалалари шартли экстремум масалалари дейилади. Бир неча функцияларга боғлиқ бўлган функционалнинг экстремуми ҳақидаги масалани ўрганамиз:     b a n n n dx x y x y x y x y x y x y x F y y y J )) ( ),..., ( ), ( ), ( ...,), ( ), ( , ( ] ...,, , [ 2 1 2 1 2 1 (10) функционалнинг n k y b y y a y k k k k ,...,1 , ) ( , ) ( )1( )0(    (11) чегаравий шартларни ва қўшимча n m m i y y y y x n n i      , ,...,1 ,0 ) ,..., , ...,, , ( 1 1  (12) шартларни қаноатлантирувчи экстремумини топинг. Вариацион ҳисобнинг бу масаласи Лагранж масаласи дейилади. Лагранж функцияси деб аталувчи функцияни тузамиз:     ) ,..., , ,..., , , ...,, , , ( 1 2 1 2 1 m n n y y y y y y x L        ) ,..., , , ...,, , , ( 2 1 2 1 n n y y y y y y x F ) y ,..., y, , y ,..., y, , ( ) ( n 2 1 n 2 1 1     y y x x i m i i   (13) бу ерда ] ; [ ) ( 1 b a C xi   - ихтиёрий функциялар бўлиб, улар Лагранж кўпайтувчилари дейилади. Лагранж масаласини ечишда (10) функционалнинг экстремуми учун қуйидаги зарурий шартдан фойдаланамиз. Теорема 3 . Агар ) ( ),..., (1 x y x y n функциялар (11) ва (12) шартлар бажарилганда (10) функционалга экстремум қиймат берса, у ҳолда шундай ) ,...1 ( ) ( m i xi   Лагранж кўпайтувчилари топиладики, бунда мос Лагранж функциялари

  b a n Ldx y y I . ) ,..., ( 1функционал учун ёзилган Эйлер тенгламалари системасини қаноатлантиради: n k L dx d L k k y y ,...,1 ,0     . (14) 3-теорема ёрдамида ) ,..., ( 1 ny y J функционалнинг шартли экстремуми ҳақидаги масала ) ,..., ( 1 ny y I функционалнинг (12) қўшимча шартларсиз экстремумини топиш масаласига келтирилади. 3-теоремани қўллаш чоғида Лагранж масаласини ечиш учун зарур бўлган изланаётган n k x yk ,...,1 ), (  функциялар ва m i xi ,...,1 ), (   , Лагранж кўпайтувчилари (14) ва (12) кўринишдаги m n та тенгламали тенгламалар системасидан аниқланади. Мисол 4 . Қ уйидаги Лагранж масаласида ) , ( 2 1 y y J функционалга экстремум бериши мумкин бўлган ) ( ), ( 2 1 x y x y функцияларни топинг:      1 0 22 21 2 1 ; ) ( ) , ( dx y y y y J .0 ;1 2 )1( ,1 2 )1( ,0 )0( )0( 2 1 2 1 2 1       y y sh y ch y y y Ечиш. Бу масала учун Лагранж функцияси ) ( 2 1 22 21 y y y y L      кўринишига эга. ) ( ), ( 2 1 x y x y ва ) (x  функцияларни топиш учун, (14) кўринишдаги Эйлер тенгламаси ва 0 ,0 2 ,0 2 2 1 2 1       y y y y   тенгламалардан иборат системани тузамиз. Бу системадан аввало ) (x  функцияни, сўнгра ) (1 x y функцияни йўқотиб 0 2 2   y y тенгламани тузамиз. 2y ни z билан белгилаймиз: 0  z z . Бу тенгламанинг умумий ечими x x e C e C x z    2 1 ) (

Бундан кетма-кет топамиз :             4 3 2 1 2 1 3 2 1 2 ) ( ) ( ) ( ) ( C x C e C e C dx x y x y C e C e C dx x z x y x x x x Энди 4 1,...., C C ўзгармасларни топиш учун қуйидаги тенгламалар системасини тузамиз: ,1 2 )1( ,1 2 )1( ,0 )0( ,0 )0( 3 1 2 1 2 4 3 1 2 1 1 3 2 1 2 4 2 1 1 sh C e C e C y ch C C e C e C y C C C y C C C y                    Бундан 0 ,1 4 3 2 1     C C C C , яъни мазкур масалада ) , ( 2 1 y y J функционал , 2 )( , 2 )( 2 1 shx e e x y chx e e x y x x x x         функцияларда экстремумга эришиши мумкин. Изопериметрик масалалар. Ч егаравий шартлар ва       b a i n n i m i C dx y y y y y y x F , ,...,1 , ) ,..., , , ...,, , , ( 2 1 2 1 (1 5 ) қўшимча шартлар бажарилганда ( 10 ) функционалнинг шартли экстремумини топиш масаласи изопериметрик масала дейилади. Изоҳ. Изопериметрик масалада, Лагранж масаласидан фарқли ўлароқ, қўшимча шартларга n m  тарзидаги шарт қўйилмайди. Бундай масала учун Лагранж функцияси     ) ,..., , ,..., , , ...,, , , (~ 1 2 1 2 1 m n n y y y y y y x L        ) ,..., , , ...,, , , ( 2 1 2 1 n n y y y y y y x F ) y ,..., y, , y ,..., y, , ( n 2 1 n 2 1 1     y y x Fi m i i (16) кўринишда бўлади, бу ерда m i i ,....,1 ,   , Лагранж кўпайтувчилари бўлиб, улар ихтиёрий ҳақиқий сонлардир.

Изопериметрик масалани ечишда ҳам экстремумнинг зарурий шарти мавжуд бўлиб, у Лагранж масаласи учун айтилган 3-теоремага ўхшайди. Теорема 4. Агар ) ( ),..., ( ), ( 2 1 x y x y x y n функциялар (10) функционалга (11), (15) шартлар бажарилганда экстремум қиймат берса, у ҳолда шундай m  ,...,1 сонлар (Лагранж кўпайтувчилари) топиладики, қуйидаги Эйлер тенгламалар системаси ўринли бўлади: , ,....,1 ,0 ~ ~ n k L dx d L k k y y     (17) Бу ерда L~ - (16) кўринишдаги Лагранж функцияси. 4- теоремани қўллаш чоғида изопериметрик масалани ечиш учун зарур бўлган изланаётган n k x yk ,...,1 ), (  функциялар ва m i i ,....,1 ,   Лагранж кўпайтувчилари (17) ва (15) кўринишидаги n m  та тенгламали тенгламалар системасидан аниқланади. Мисол 5. Қ уйидаги изопериметрик масалада ) (y J функционалга экстремум берадиган ) (x y функцияни топинг:     0 2 ; ) ( dx y y J .2 cos ;1 ) ( ,1 )0( 0        dxx y y y Ечиш. Бу масалада Лагранж функцияси x y y L cos 2   кўринишга эга. 0 2 cos   y x  Эйлер тенгламасидан 2 1 cos2 ) ( C x C x x y     ечимларни топамиз.  Лагранж кўпайтувчисини аниқлаш учун қўшимча 2 2 4 cos) cos2 ( 1 0 2 1             C xdx C x C x шартдан фойдаланамиз, бундан 1 8 2 C      ни топамиз. Шундай қилиб, Эйлер тенгламасининг умумий ечими 2 1 1cos 4 cos ) ( C x C x C x x y      кўринишда экан.

2 1 C ва C ўзгармаслар ,1 )4 ( 1 ) ( ,1 4 1 )0( 2 1 2 1          C C y C C y     чегаравий шартлардан аниқланади: 0 2 1  C C . Демак, ) (y J функционал x y cos функцияда экстремумга эришиши мумкин. Вариацион ҳисобнинг сонли усуллари. Функционални минимизациялаш масаласининг Эйлер-Лагранж тенгламаларини ечишга келтирилиши билан кўп ҳолларда катта ҳисоблашларни бажаришга мажбур бўламиз. Тақрибий сонли усуллар вариацион ҳисобнинг тўғри усуллари деб аталади. Тўғри (сонли) усулларнинг асосий ғояси шуки, вариацион масал а чекли сондаги ўзгарувчили функциянинг экстремумини топишга доир бирор масаланинг лимити сифатида қаралади. Бу усуллар энг кўп тарқалган ва ўрганилган Ритц, Канторович ва Галёркин усулларидир. Шуни таъкидлаш лозимки, вариацион ҳисобнинг сонли усуллари дифференциал тенгламалар учун чегаравий масалаларни ечишнинг ҳам сонли усулларидир. Ритц усули Ушбу. 0 1 ( ) ( , , ) , ( ) , ( ) (30) b a J y F x y y dx y a y y b y      функционалнинг минимумини топиш талаб қилинаётган бўлсин . Ритц усулининг ғояси шуки, ) (y J функционалнинг қийматлари (30) вариацион масаланинг ихтиёрий жоиз эгри чизиқларида эмас, балки қуйидаги 0 1 ( ) ( ) ( ), (31) n n i i i y x x C x      

кўринишдаги мумкин бўлган барча чизиқли комбинацияларда ўрганилади, бу ерда ) ( , )( , ) ( 1 0 0 0 x ва y b y a i     - чизиқли эркли функцияларнинг кетма-кетлиги, . ,...,2,1 ,0 ) ( ) ( n i b a i i     Бу функциялар координата функциялари дейилади. (31) кўринишдаги функцияларда (30) функция n та n C C ,...,1 ўзгарувчиларнинг функциясига айланади: ). ,..., , ( )) ( ( 2 1 n n C C C x y J   n C C ,...,1 қийматлар шундай танланадики, натижада ). ,..., , ( 2 1 nC C C  функция экстремумга эришсин, яъни n C C ,...,1 қийматлар 0, 1, 2, ..., . (32) i i n C     тенгламалар системасидан аниқланади. (32) системадан n i Ci ,...,2,1 ,*  қийматларни топсак, (32) вариацион масаланинг тақрибий ечими * * 0 1 ( ) ( ) ( ). (33)n n i i i y x x C x       кўринишда ёзилади. Минимизацияловчи  N n x yn  ), (* кетма- кетликнинг яқинлашиш масалалари анча мураккаб. Улар махсус адабиётларда ўрганилган. Ритц ёки бошқа усулда олинган натижалар аниқлигини баҳолаш учун, одатда, қуйидаги амалий қоидадан фойдаланилади. ) ( ) ( *1 * x y ва x y n n  ларни хисоблаб, уларни ] , [ b a кесманинг бир неча нуқталарида таққослаб кўрилади. Агар уларнинг қийматлари талаб қилинган аниқликда устма-уст тушса, у ҳолда ўрганилаётган (30) вариацион масаланинг ечими талаб қилинган аниқликда ) (* x yn га тенг деб ҳисобланади. Агар ) ( ) ( *1 * x y ва x y n n  нинг қийматлари ҳеч бўлмаганда баъзи нуқталарда бир-биридан сезиларли фарқ қилса, у ҳолда ) ( *2 x yn ҳисоблаб

кўрилади ва энди ) ( ) ( *2 *1 x y ва x y n n   ларнинг қийматлари таққослаб кўрилади. Бу жараён ) ( ) ( * 1 * x y ва x y kn kn   ларнинг қийматлари берилган аниқлик доирасида бир-бири билан устма-уст тушгунча давом эттирилади. Мисол 12 . 1 2 2 0 ( ) ( 2 ) (34)J y y y xy dx      функционалнинг 0 )1( ,0 )0(   y y чегаравий шартлар қаноатлантирувчи экстремалини Ритц усули билан топинг. Ечиш. 0 ) (0  x  деб оламиз. Координата функциялари сифатида N k x x x k k k     , )( 1  функцияларни оламиз. Бу функциялар 0 )1( )0(   k k   чегаравий шартларни қаноатлантиради. 2n деб оламиз. У ҳолда (33) га кўра, 2 3 2 2 1 2( ) ( ) ( ) (35) y x C x x C x x     ва 2 2 1 2( ) (2 1) (3 2 ) (36) y x C x C x x      энди (35) ва (36) ни (34) га қўйиб ва интеграллаб, топамиз: 2 1 22 2 1 21 2 2 1 10 1 6 1 7 1 30 11 30 11 )) ( ( ) , ( C C C C C C x y J C C        ) , ( 2 1C C  функция экстремумининг зарурий шартидан фойдаланиб, топамиз: 1 2 1 1 2 2 11 11 1 0, 15 30 6 11 2 1 0. (37) 30 7 10 C C C C C C            (37) системани ечиб, , 43 7 , 473 69 *2 *2   C C қийматларни топамиз, демак , ) (x y экстремалнинг тақрибий ) (*2 x y қиймати ) 69 8 77( 473 1 ) ( 43 7 ) ( 473 69 ) ( 2 3 2 3 2 *2 x x x x x x x x y        кўринишда бўлади . Бу ҳолда қўйилган масаланинг аниқ ечими ҳам бизга маълум: x e e e e x y x x     ) (1 ) ( 2

) (*2 x y тақрибий ечимнинг Ритц усулида олинган қийматларини унинг аниқ ечими қийматлари билан таққослаймиз. X 0,0 0,2 0,4 0,6 0,8 1,0 y(x) 0,0000 -0,0287 -0,0505 -0,0583 -0,0444 0,0000 ) (*2 x y 0,0000 -0,0285 -0,0506 -0,0585 -0,0442 0,0000 Таққослаш шуни кўрсатадики , аниқ ва тақрибий қийматлар 0,0002 аниқликда устма - уст тушмоқда . Канторович усули . Бу усул функционал бир неча ўзгарувчиларга боғлиқ бўлгандаги вариацион масалаларни ечишда қўлланилади . 1 2 [ ( , )] , , , , , {( , ) , ( ) ( )}, ( , ). (38) D D u u J u x y F x y u dxdy x y D x y a x b x y x u x y                       бўлсин. (38) функционалга Ритц усули қўлланиладиган бўлса, қуйидаги координата функциялари танланади : ) , ( ),..., , ( ), , ( 1 0 y x y x y x n   Ечим   n k k k n y x x u y x u 1 ) , ( ) ( ) , (  , кўринишда изланади, бу ерда k C -номаълум ўзгармаслар. Канторович усулида эса экстремалнинг ифодаси 0 1 ( , ) ( , ) ( , ), (39) n n k k k u x y x y C x y       кўринишда олинади, бу ерда ) (x uk - номаълум функциялар бўлиб, улар (38) экстремал қиймат қабул қиладиган қилиб танланади. Ечимни (39) кўринишда қидириш билан экстремаллар синфи анча кенгаяди.

Энди (39) ни (38) га қўйиб ва ҳосил бўлган ифодани у бўйича интеграллаб, қуйидаги функционални оламиз:      b a n n n dx x u x u x u x u x y x u J )) ( ),..., ( ), ( ),..., ( , ( )] , ( [ 1 1 n k x uk ,...,2,1 ), (*  функциялар Эйлер-Лагранж тенгламалар системасини қаноатлантириши лозим: n k dx d kk uu ,...,2,1 ,0 **       , кўринишдаги ) , (* y x un тақрибий қиймат эса b x ва a x   тўғри чизиқлардаги берилган чегаравий шартларни қаноатлантириши лозим. Мисол 13. Канторович усули билан қуйидаги функционалнинг экстремалини топинг: 2 2 [ ( , )] 2 , (40) D u u J u x y u dxdy x y                           бу ерда 1 ,0 }, , ),{(      n ubybbxayx D D Ечимни ) )( ( ) , ( 2 2 1 1 y b x u y x u   кўринишда қидирамиз. b y тўғри чизиқлардаги чегаравий шартлар бажарилади. ) , (1 y x u ни (40) га қўйиб ва y бўйича интеграллаб, топамиз: dx u b u b u b x u J a a         13 213 2 1 2 1 3 8 3 8 15 16 )] ( [ . Бу функционал учун Эйлер тенгламаси 2 1 2 1 4 5 ) ( 2 5 ) ( b x u b x u     кўринишда бўлади. Бу тенгламанинг умумий ечими: 5,0 5,2 5,2 ) ( 2 1 1    b x sh C b x ch C x u 2 1 C ва C ўзгармасларни чегаравий шартлардан аниқлаймиз, яъни ,0 ) ( ) ( 1 1    a u a u бундан 1 *1 *2 5,2 2 0       b a ch С ва C .

Пировардида (40) функционал экстремалининг тақрибий ифодасини топамиз :      b a ch b x ch ybybxuyxu 5,2 5,2 1)(5,0))((),( 2222* 1* 1 . Галёркин усули. Бу усул ҳам вариацион масалалар, ҳам оддий ва хусусий ҳосилали дифференциал тенгламалар учун чегаравий масалаларнинг тақрибий ечимларини топишга мўлжалланган. Номаълум ) (p u функция бирор D соҳада қуйидаги чегаравий масалани қаноатлантирсин : ) 41( ) ( 0 )) (( , ), ( )) (( чегараси нинг G P u да G P P f P u L        Бу ерда L - бирор чизиқли дифференциал оператор, Г эса чегаравий шартларнинг чизиқли оператори. (41) чегаравий масаланинг тақрибий ечими йиғинди кўринишда изланади:   n k k k n P c P u 1 ), ( ) (  бу ерда kc - ҳозирча номаълум коэффицентлар, ) (P k - бир жинсли чегаравий шартларни қаноатлантирувчи чизиқли эркли узлуксиз дифференциалланувчи функцияларнинг системаси f сифатида ) ( )) ( ( P f p u L f n    боғланишни белгилаймиз. kc коэффициентлар D соҳада f нинг n k P k ,...,1 ), (   , функцияларга ортогоналлиги шартидан аниқланади:     D k n n k dP P P f P u L ) 42( ,...,2,1 ,0 ) ( )] ( )) ( ( [  L оператор чизиқли бўлганлиги учун (42) тенгликда ic ни ҳисоблашга қулай бўлган каноник кўринишда ёзилади:      n i G k G k i i dP P P f dP P P L c 1 , ) ( ) ( ) ( )) ( (   

ёки     n i G k G k i i dP P P f dP P P f c 1 , ) ( ) ( ) ( ) (   бу ерда )) ( ( ) ( P L P f i i   . Мисол 14.     1 0 2 ) 2 ( ) ( dx xy y y J функционалнинг 0 )1( ,0 )0(   y y шартларни қаноатлантирувчи экстремалини топинг. Ечиш: Эйлер тенгламасини тузамиз. ) 43( . ),( ,0 x y яъни xf Ly ва F dx d F y y      Чегаравий шартлар аввалгидек: .0 )1( ,0 )0(   y y Дастлабки масала тенг кучли чегаравий масалага келтирилади: .0 )1( ,0 )0( ,     y y x y Ечимни Галёркин усули билан тақрибий топамиз, бунинг учун изланаётган функцияни ) 44( ) 1( ) 1( ) )( 1( ) ( 2 x Bx x Ax Bx A x x x y        кўринишда ёзамиз, бу ерда y x x x ва x x x      ). 1( ) ( ) 1( ) ( 2 2 1   ни ҳисоблаб ва (43) тенгламанинг чап томонига қўйиб  нинг ифодасини топамиз: . ) 6 2( 2 x x B A f      f нинг ) ( ) ( 2 1 x ва x   функцияларга ортогоналлиги шарти ўрнига B ва A коэффицентлар f нинг x x ва x   ) ( 1 ) ( 2 1   функцияларга ортогоналлиги шартидан аниқланган ( ) ( ) ( 2 1 x ва x   функциялар ]1,0[ да ) ( ) ( 2 1 x ва x   билан чизиқли боғлиқсиз):                 1 0 1 0 2 1 0 1 0 1 0 1 0 . ) 6 2( 2 , ) 6 2( 2 dx x xdx x B dx A xdx dx x B dx A (45) (45) дан интегралларни ҳисоблаб

3 1 , 2 1 2     B A B Aтенгламалар системасини оламиз. Бу системани B ва A га нисбатан ечиб , 6 1 ,6 1   B A ни топамиз. Топилган B ва A коэффициентларни (44) формулага қўйиб экстремал учун изланаётган яқинлашишни топамиз: . 6 ) 1( ) 1( 6 1 ) 1( 6 1 ) (* 2 2 x x x x x x x y       Бу масалада топилган тақрибий ечим аниқ 6/) 1( 2x x y   ечим билан устма-уст тушмоқда.

O'xshashlar

Шартли эстремумнинг иккинчи тури

Вариацион ҳисобга кириш. Қадимги масалалар

Шартли варианталар

Математик дастурлаш

Чизиксиз дастурлаш