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

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

Yuklangan vaqt:

14.12.2019

Ko'chirishlar soni:

0

Hajmi:

216.5 KB

Ko'chirib olish

Вариацион ҳисобга кириш . Қадимги масалалар Режа: 1. Вариацион ҳисобга кириш . Қадимги масалалар 2. Вариацион ҳисобнинг асосий тушунчалари. Эйлер тенгламаси.

Вариацион ҳисобга кириш . Қадимги масалалар Берилган бирор ) (x f z функциянинг максимал ёки минимал қийматларини топиш масалалари билан бир қаторда физика масалаларида кўпинча функционаллар деб аталувчи алоҳида турдаги ми қ дорларнинг максимал ёки минимал қийматларини топишга тўғри келади. Қийматлари бир ёки бир нечта функциялар ёрдамида аниқланадиган ўзгарувчи миқдорлар функционаллар дейилади. Масалан, текисликда берилган ) , ( 0 0 y x A ва ) , ( 1 1 y x B нуқталарни туташтирувчи текис (ёки фазовий) чизиқ ёйининг l узунлиги функционал бўлади. Агар ) (x y y чизиқ тенгламаси берилган бўлса, l миқдор dx y x yl x x    1 0 2) ( 1 )] ( [ формула билан ҳисобланади. Бирор сиртнинг S юзаси ҳам функционал бўлади, чунки бу юза ) , ( y x z z сирт тенгламасига кирган ) , ( y x z функцияни, яъни сиртни танлаш ёрдамида аниқланади. Маълумки,             D dxdy dy dz dx dz y x z S 2 2 1 )] , ( [ , бу ерда D – берилган сиртнинг Oxy текисликка проекцияси. Инерция моментлари, статик моментлар, бирор бир жинсли чизиқ ёки сиртнинг оғирлик маркази координаталари ҳам функционалларга мисол бўлади. Барча мисолларда биз функционалларга хос хусусиятни кўрамиз: функция (ёки вектор функция)га бирорта сон мос қўйилади. Вариацион ҳисоб фани функционалларнинг максимал ёки минимал қийматларини топиш усулларини ўрганади. Функционалнинг максимал ёки минимал қийматини топиш масаласи вариацион масала дейилади. Физика ва механиканинг кўпгина қонунлари тасдиқлайдики, ўрганилаётган жараёнда бирор функционал максимум ёки минимумга

эришиши лозим. Бундай ҳолларда бу қонунлар механика ёки физиканинг вариацион принциплари деб номланади. Шундай вариацион принциплар қаторига қуйидагилар киради: энг кичик таъсир принципи, энергиянинг сақланиш қонуни, импульснинг сақланиш қонуни, ҳаракат миқдорининг сақланиш қонуни, классик ва релятивистик майдон назариясининг турли вариацион принциплари, оптикадаги Ферма принципи ва ҳоказо. Вариацион ҳисоб 1696 йилдан ривожлана бошлади ва Леонард Эйлер (1707-1783) нинг тадқиқотлари натижасида мустақил математик фанга айланди. Шунинг учун, Л. Эйлерни ҳақли равишда вариацион ҳисобнинг асосчиси деб аташ мумкин. Вариацион ҳисобнинг ривожланишига қуйидаги учта масала катта туртки бўлди: Б р а х и с т о х р о н а ҳақидаги масала. 1696 йилда Иоганн Бернулли математиклар эътиборига энг тез тушиш чизиғи - брахистохрона ҳақидаги масалани баён қилди. Бу масалада битта вертикал тўғри чизиқда ётмайдиган берилган А ва В нуқталарни туташтирувчи шундай чизиқни топиш керакки, А дан В га тушаётган моддий нуқта шу чизиқ бўйлаб А дан В га энг қисқа вақтда тушсин. Кўриниб турибдики, А ва В нуқталар оралиғидаги энг қисқа масофани ифодаловчи чизиқ тўғри чизиқ бўлади, энг қисқа вақт чизиғи эса тўғри чизиқ эмас, чунки тўғри чизиқ бўйлаб ҳаракатланганда ҳаракат тезлиги нисбатан секин ўсади; агар эгри чизиқни олсак, А дан тушиб келаётган йўл узунроқ бўлсада, йўлнинг кўпроқ қисми каттароқ тезлик билан босиб ўтилади. Брахистохрона ҳақидаги масаланинг ечимини Иоганн Бернулли, Я.Бернулли, Г.Лейбниц, И.Ньютон ва Г.Лопитал топганлар. Энг тез тушиш чизиғи ц и к л о и д а экан. Г е о д е з и к ч и з и қ л а р ҳақидаги масала. Бунда бирор( , , ) 0x y z   сирт устидаги берилган иккита нуқталарни туташтирувчи энг қисқа узунликдаги чизиқни топиш талаб қилинади. Бундай энг қисқа чизиқлар геодезик чизиқлар дейилади. Бундай ҳолда, биз, аслида, шартли

экстремум масаласини ўрганаётган бўламиз. ( , , ) 0x y z   шарт бажарилганда      1 0 2 2 1 x x dx z y l функционалга минимум берадиган ( ) ва z(x) y x функцияларни топиш керак. Бу масалани 1698 йилда Я.Бернулли ечган, бироқ бундай масалаларни ечишнинг умумий усулларини Л.Эйлер ва Ж.Лагранж ишларидан топиш мумкин. И з о п е р и м е т р и к масала. Энг катта S юзани чегаралайдиган берилган l узунликдаги ёпиқ чизиқни топиш керак. Бу чизиқ қадимги Грецияда ҳам маълум эди: бу доира экан. Бу масалада S функционалнинг минимумини ўзига хос қўшма шарт – чизиқ узунлиги ўзгармас бўлганда, яъни          1 0 2 2 )( )( t t dt t y t x l функционал ўзгармас қийматли бўлганда топиш талаб қилинади. Бундай шартлар изопериметрик шартлар дейилади. Изопериметрик масалаларни ечишнинг умумий усуллари Л.Эйлер томонидан ишлаб чиқилган. Биз келгусида қуйидаги энг кўп учрайдиган функционаллар учун қўйилган турли вариацион масалаларни ечиш усулларини ўрганамиз:   1 0 )) ( ), ( , ( x x dx x y x y x F   1 0 , )) ( ),... ( ), ( , ( )( x x n dx x y x y x y x F    1 0 , )) ( ),..., ( ), ( ),..., ( , ( 1 1 x x n n dx x y x y x y x y x F      D dxdy y z x z y x z y x F , ) , ), , ( , , (

бу ерда F – берилган функциялар,) (x y , ), ( ),..., (1 x y x y n ) , ( y x z функциялар эса функционалларнинг аргументларидир. Вариацион ҳисобнинг асосий тушунчалари. Эйлер тенгламаси. Таъриф. Агар бирор Х функционаллар фазосидаги G тўпламнинг ҳар бир ( ) y y x  элементига аниқ битта J сон мос қўйилса, у ҳолда G X  тўпламда )] ( [ ) ( x y J y J  функционал берилган дейилади. Вариацион ҳисобда Х функционал фазо сифатида қўлланиладиган ] , [ b a С n ( бу ерда ва бундан кейин ...,2,1,0  n ) фазо қуйидагича аниқланади: Чизиқли нормаланган ] , [ b a С n фазо нормаси    n k k ba x n x y y 0 )( ];[ ) ( max бўлган ҳамда [ a , b ] кесмада n -тартиблигача ( n -тартибли ҳам киради) узлуксиз ҳосилаларга эга бўлган y (х) функциялардан тузилган. ] , [ b a С n фазода y 1 ва y 2 функциялар (чизиқлар) ўртасидаги ) , ( 2 1 y y  масофа       n k k k ba x n n x y x y y y y y 0 )(2 )(1 ];[ 2 1 2 1 ) ( ) ( max ) , ( формула билан топилади. ] , [ ) (* b a С x y n  функция ва 0 - ихтиёрий сон бўлсин. Ушбу   n y y ) , ( * тенгсизликни қаноатлантирадиган ] , [ ) ( b a C x y n  функциялар (чизиқлар) тўплами ) (* x y чизиқнинг n -тартибли  -атрофи дейилади. Агар ) (* x y чизиқнинг бирор  -атрофига тегишли бўлган барча у(х) функциялар учун )] ( [ )] ( [ * x y J x y J  ) )] ( [ )] ( [ ( * x y J x y J  (1) тенгсизлик бажарилса, у ҳолда J [ y ( x ) ] функционал ) (* x y чизиқда локал ёки нисбий минимум (максимум) га эришади дейилади.

J [ y ( x ) ] функциянинг локал минимум ва максимумлари унинг локал экстремумлари дейилади. Агар (1) муносабат бирор ] , [ b a C G n  тўпламга тегишли бўлган барча у(х) чизиқларда бажарилса, у ҳолда J [ y(x) ] функционал G тўпламдаги ўзининг абсолют экстремумига ) (* x y чизиқда эришади дейилади. J [ y ( x ) ] функционал ] , [1 b a C G  тўпламда аниқланган бўлсин. G x y ) ( функциялар нафақат ] , [1 b a С фазонинг элементлари, балки ] , [0 b a C фазонинг ҳам элементларидир. J [ y ( x ) ] функционалнинг ] , [0 b a C фазодаги локал экстремуми кучли, ] , [1 b a С фазодаги локал экстремуми эса кучсиз локал экстремум дейилади. Функционалнинг ҳар қандай кучли экстремуми бир вақтнинг ўзида кучсиз экстремум ҳам бўлади, тескариси умуман олганда ўринли эмас. J [ y ( x ) ] функционалнинг ҳар қандай абсолют экстремуми кучли ва кучсиз локал экстремум бўлади, бироқ ҳар қандай локал экстремум абсолют экстремум бўлавермайди . Вариацион ҳисобнинг энг содда масаласи. F(x, y, z) функция ўзининг барча аргументлари бўйича иккинчи тартибли узлуксиз ҳосилаларга эга бўлсин. Энди    b a dx y y x F x y J ) , , ( )] ( [ (2) кўринишдаги функционални ўрганамиз. Вариацион ҳисобнинг э н г с о д д а масаласи. Ушбу ] , [ ) ( 1 b a C x y  кўринишдаги 0 ) ( y a y  , 1 ) ( y b y  (3) ч егаравий шартларни қаноатлантирадиган барча функциялар ичидан шундай функцияни топингки, бу функцияда (2) функционал кучсиз экстремумга эришсин.

Бошқача айтганда, ) , ( 0 0 y a M ва ) , ( 1 1 y b M нуқталар орқали ўтувчи барча силлиқ чизиқлар ичидан (2) функционалга кучсиз экстремум берадиганини топиш керак. Вариацион ҳисобнинг энг содда масаласини ечишда қуйидаги теорема қўлланилади. Теорема 1. (2) функционал ] , [ ) ( 1 b a C x y  да кучсиз экстремумга эришиши учун бу функция 0  y y F dx d F (4) кўринишдаги тенгламани қаноатлантириши зарур. (4) тенглама Эйлер тенгламаси дейилади ва унинг ечимлари (интеграл чизиқлари) (2) функционалнинг экстремаллари дейилади. Эйлер тенгламаси ёйилган ҳолда қуйидагича ёзилади: 0 ) ( ) (          y yx yy yy F F F x y F x y . Агар 0 yyF бўлса, бу тенглама иккинчи тартибли дифференциал тенглама бўлади, шунинг учун унинг ечими иккита ихтиёрий ўзгармасларга боғлиқ бўлиб, бу ўзгармаслар (3) чегаравий шартлар ёрдамида топилади. Функционалнинг ҳар қандай экстремуми бир вақтнинг ўзида кучсиз экстремум ҳам бўлганлиги учун 1-теорема (2) функционалнинг кучли экстремуми учун ҳам зарурий шарт бўлади. Бундан ташқари, (2) функционалнинг } ) ( , ) ( ] , [ ) ( { 1 0 1 y by y a y b a C x y G     (5) тўпламдаги абсолют экстремуми локал (кучсиз ва кучли) экстремум ҳам бўлганлиги учун 1-теорема (2) функционалнинг (5) тўпламдаги абсолют экстремумининг ҳам зарурий шартидир. Шундай қилиб, (4)-(3) ма салани ечиб, (5) функциялар тўпламига тегишли бўла туриб, (2) функционалга экстремум бера олиши мумкин бўлган барча чизиқларни топиш имконияти бор. Мисол 1.     1 0 2 , ) ( )] ( [ dx xy y x y J

функционалнинг 0 )1( )0(   y y шартларни қаноатлантирувчи экстремалларини топинг. Ечиш . Бу ҳолда  ) , , ( y y x F xy y 2 , шунинг учун Эйлер тенгламаси 0 2   x y кўринишда бўлади. Унинг умумий ечими 2 1 3 12 C x C x y    кўринишда бўлади. 0 )1( )0(   y y шартлардан 1 C ва 2 C ўзгармасларни аниқлаймиз: .0 12 1 )1( ,0 )0( 2 1 2       C C y C y Бундан 0 , 12/1 2 1   C С . Демак, биз ўрганаётган масаланинг ягона экстремали x x x y 12 1 12 1 ) ( 3  кўринишда бўлар экан. (4)- ( 3 ) масаланинг ечими ҳар доим ҳам мавжуд бўлавермайди, мавжуд бўлган тақдирда эса ҳар доим ҳам ягона бўлавермайди. Мисол 2 .     1 0 ) ( ) ( dx yx e y J y функционалнинг 1 )1( ,0 )0(   y y шартларни қаноатлантирувчи экстремалларини топинг. Ечиш: Эйлер тенгламаси 1ye кўринишда бўлади. Бу тенгламанинг ечими бўлган 0 ) (  x y функция 1 )1(  y шартни қаноатлантирмайди ва, демак, берилган масала ечимга эга эмас. Мисол 3.       0 2 2 ) cos 4 ( )] ( [ dx x y y y x y J функционалнинг 0 ) ( )0(   y y шартларни қаноатлантирувчи экстремалларини топинг.

Ечиш: Эйлер тенгламаси x y y cos2  кўринишда бўлади. Унинг умумий ечими . sin cos sin ) ( 2 1 x C x C x x x y    Энди эса 0 ) ( )0(   y y шартларни қўллаб, x x С x y sin) ( ) (   ечимларни топамиз, бу ерда С-ихтиёрий ўзгармаслар. Шундай қилиб, берилган масала чексиз кўп ечимга эга.

O'xshashlar

Вариацион усулга оддий мисоллар

Вариацион усулнинг асосий теоремаси

Корреляцион ва регресион масалалар

Квант механикасида стационар масалалар

ЭХМда масалалар ечиш боскичлари