logo
  1. Главная страница
  2. Рефераты
  3. Алгебра
  4. Гиперболик типдаги дифференциал тенглаламалар хакида

Гиперболик типдаги дифференциал тенглаламалар хакида

Загружено в:

14.12.2019

Скачано:

0

Размер:

1252.5 KB
Скачать
Гиперболик типдаги дифференциал теннглаламалар ҳ а қ ида Режа: 1. Коррект қўйилган ва коррект қўйилмаган масалалар 2. Гиперболик типдаги дифференциал тенгламалар учун биринчи чегаравий масала 3. Қў шма оператор 4. Риман усули. Риман функцияси 1-6 5 . Характеристик туртбурчакда бир характеристик масала хакида 6. Бузиладиган гиперболик тенгламалар учун Риман функцияси 7.Чегарада айнийдиган гиперболик тенглама учун Гурса масаласи Кириш Маълумки XX асрнинг 20-30 1йилларида Ф.Трикoми, С.Геллерcтедт биринчи марта куйидаги )1( 1 1 2    yy xx m U U y Аралаш типдаги хусусий хосилали тенглама учун чегаравий масалалар куйидагилар ва урганганлар. Бу ерда .0  m Агар m = 0, 1 = 0 булса Трикоми номи билан айтиладиган куйидаги тенглама хосил булади: )2( 0  yy xx U yU Бу тенглама 0 y текисликда эллиптик, 0y ярим текисликда гиперболик булиб, 0 y да эса пароблик бузилади. Трикоми тенламасини куйидаги умумлашган холда хам ёзиш мумкин: )3( 0 ,0 / /     const m U U y signy yy xx m (3) тенглама хам 0 y укининг ихтиёрий кисмини уз ичига олган сохада аралаш типга тегишли булади, яъни 0y ярим текистликда эллиптик, 0y ярим текисликда гиперболик булиб 0 y да эса парабалик бузилади. 0 m булганда (3) тенглама )4( 0  yy xx U signyU Куринишга эга булади. Бу тенгламани аралаш типдаги тенгламаларнинг энг сода вакили сифатида урганишни академик М.А.Лаврентьев тавсия килган ва унинг учун турли масалаларни акдемик А.В.Бицадзе текширган. Шунинг учун хам бе тенлшама Лаврентьев-Бицадзе тенламаси дейилади. Хозирги замон техникасининг тез ривожланиши табиий фанлапр олдига янги вазифалар куя бошлади. Айникса, математикага, шу жумладан оддий дифференциал тенгламалар, хусусий хосиласи дифференциал тенгламаларга техник масалаларни ечиш учун янги-янги чегаравий масалаларни ечиш усулларини такомиллаштириш ва унинг амалий тадбикларини таъминлаш каби талабаларни куйди. Дифференциал тенгламаларга келтириладиган физик, механик, техник масалалардан ташкари экология, биология, медицина, кимё ва бошка фанларнинг хам амалий масалаларини дифференциал тенгламаларга келтириш ва улар учун коррект чегаравий масалаларни урганиш зарурияти долзарб булиб колади. Айникса юкоридаги айтилган масалалари фанининг янги сохаси аралаш типдаги тенгламаларни урганиш республикамизда етакчи математикларимиз рахбарлигида юкори даражада ривожланган. 1 3 2 : ,0 3 2 23 23     y x BC y x характеристиклар ва 0 y (5) текистликда иккинчи тартибли икки узгарувчили хусусий аралаш типдаги тенгламаларни куйидаги каноник куринишдаги тенгламалардан бирортасига келтириш мумкин. [6 ] )6( ) , ( ) ,( ) ,( ) ,( ) ,( ) ,( ) ,( ) ,( 2 2 2 2 1 1 1 1 y x f Uy x c Uy x b Uy x a U y U y x f Uy x c Uy x b Uy x a U U У y x yy m xx y x yy xx n           Бу ерда ,0n 0 m хакикий сонлар 2 2 2 2 1 1 1 1 , , , , , , , f c b a f c b a дифференциалланувчи функциялар. Одатда (6) тенглама биринчи c и биринчи тур аралаш типдаги тенглама дейилади. Бу холда 0 y бузилиши тугри чизиги (6) тенламанинг иккинчиси эса иккинчи тур аралаш типдаги тенглама дейилади. Бу холда 0 y бузилиш чизиги (6) тенгламанинг характеристкаси хам булади. Чегарада бузилмайдиган эллиптик, гиперболик, параболик тенгламалар учун куйилган коррект чегаравий масалалар (5),(6) тенглама учун умуман коррект куйилмаган булиши мумкин [3] , [4]. Бундай хол биринчи марта М.В.Келдыш томонидан 0 y тугри чизикда бузиладиган эллиптик типдаги )7( 0     CU bU aU U U у x y xx yy m тенглама учун биринчи чегаравий масаланинг коррект куйилишига бузилиш курсатгичи m ва )0, (x a -лар таъсир килишини ва 0 y бузилиш чизиги айрим холларда чегаравий шартлардан озод килиниши кераклигини исботлаган. Чегарада бузиладиган эллиптик тенглама учун исботланган теоремалар кейинчалик чегарада бузиладиган геперболик тенгламалар учун хам уринли булиши кейинчалик исботланган. Ишнинг максади ва вазифаси гиперболик типдаги бузиладиган айрим тенгламалар учун коррект масалалар куйиш ва уларнинг амалиётга тадбикларини топиш. Ишнинг амалий ахамияти. Математик физика тенгламалари фани бошка фанлардан узининг турли амалий масалаларни ечишда мухимлиги билан ажралиб туради. Айникса аралаштирадиган тенгламалар учун коррект куйилган ва ечилган чегаравий масалалар техникада мухим тадбирларга эга, булиб М.АЛаврентьев, И.Н. Векуа, С.А.Христианович, Ф.И.Франкль, К.Г.гударлея ва бошкаларнинг ишларида, газлар динамикасида, гидродинамик окимларда (товуш тезлигидан Альфен тезлигига утишда ишлатилиши курсатилади. Масалан Ф.И.Франкль томонидан ясси деворли идишдан (идиш ичидаги тезлик товуш тезлигидан кичик) товуш тезлигидан ката (юкори) тезликларда отилиб чикувчи оким тугрисидаги масала 0 ) (' ,0 )0( ,0 ) (     y k k U Uy K yy xx Чаплигин тенгламаси учун Трикоми масаласига келишини курсатди. Аралаш типдаги тенгламалар самолётсозлик, ракеталарни учиришда кенг кулланилади. Турли амалий масалаларни ечишда аралаш типдаги тенгламаларахамиятининг тобора ошиб бораётганлигини хамда бу йуналишининг республикамизда юкори даражада ривож топганлигини таъкидлаш уринли булади. Коррект қўйилган ва коррект қўйилмаган масалалар Кириш қисмида айтилганидек аралаш турдаги масала учун биринчи марта италиялик математик Франческо Трикоми 0  yy xx U yU тенглама учун қўйган ва текширган. Кейинчалик бу масаланинг турли амалий тадбиқлари Ф.И. Франкл ва бошқа олимлар томонидан топилган ва аралаш типдаги тенгламаларни ўзганишга кучайган. Ҳозирги вақтда, аралаш типдаги тенгламалар хусусий ҳосилали тенгламалар назариясининг тез ривожланиб бораётган катта бир қисмини ташкил қилади. Таъкидлаймизки бу йўналишнинг республикамизда ҳам юқори ривож топгандир. Математик физика тенгламанинг дарсликлари қўлланмалардан маълумки математик физика масалаларининг қўйилишида бошланғич шартларини ифодаловчи функциялар берилган бўлади. Табиийки масаланинг ечими шу учун улар абсалют аниқ эмас. Албатта йўл қўйилган хатолик ўз навбатида масала ечимига таъсир кўрсатади. Бошланғич ва чегаравий шартларни текширишда ечимнинг мавжудлиги ва ягоналигидан ташқари, бошланғич ва чегаравий шартларда қўйилган хатоликнинг ечимга қандай таъсир қилинишини аниқлаш мумкин аҳамиятга эгадир. Бу фикрни ойдинлаштириш учун текширилаётган масалани M орқали белгилайлик. U ҳолда M масала моҳияти берилган   E  функцияларга асосан унинг Eu u ечимини топишдан иборатдир. Бу ерда Е ва Eu - метрикалари Е ва Eu бўлган қандайдир метрик фазолар. Бу фазолар масаланинг қўйилиши билан аниқланади M масаланинг ечими тушунчаси аниқланган бўлиб, ҳар бир Е ва Eu элементга ягона uE R u   ) ( ечим мос келсин. Агар ихтиёрий 0 учун шундай 0 ) (    сони кўрсатиш мумкин бўлиб, ) ( ) , ( 2 1       тенгсизликдан   ) , ( 2 1u u тенгсизлик келиб чиқса, M масала ) ( Е Eu фазолар жуфтида турғин масала дейилади. Бунда ,....2,1 ) (     i E E U R U u i u i i i    масаланинг ечими берилган шартлар (бошланғич, чегаравий, шартлар, тенгламанинг коэффицентлари, озод ҳади ва ҳоказо) га узлуксиз боғлиқ бўлади. Агар текширилаётган M масала учун Ихтиёрий   E  учун Eu u ечим мавжуд. 2. u ечим ягона 3.Масала ) , ( E Eu фазолар жуфтлигида турғун шартлар бажарилса, M масала ) , ( E Eu фазолар жуфтлигида коррект (тўғри ) қўйилган ёки тўғридан-тўғри коррект масала дейилади. Акс ҳолда масала коррект қўйилмаган масала дейилади, яъни бу ҳолда юқоридаги талаблардан камида биттаси бажарилмайди. Шуни айтиш кечакки коррект қўйидмаган масала таърифи ) , ( E Eu жуфтликка тегишлидир, учунки бошқа метрикаларда шу масаланинг ўзи коррект қўйилган бўлиши ҳам мумкин. масалан Коши–Ковалевская теоремаси, унинг умумийлик тавсифига эга эканлигига қарамасдан дифференциал тенгламаларнинг нормал системаси учун Коши масаласининг корректлигини тўла ҳал этмайди. Ҳақиқатдан ҳам бу теорема масала ечимининг етарли кичик соҳада мавжуд ва ягоналигини таъмин этади. Одатда эса Коши масаласи умуман кичик бўлмаган саҳаларда ҳам қўйилади. Бундан ташқари тенгламани озод ҳолда ва бошланғичшартлари, умуман олганда аналитик бўлмаган функциялар бўлади. Улардан ташқари ечим бошланғич шартларга боғлиқ бўлмаслиги ҳам мумкин. Бу тасдиқни кўрсатувчи мисол биринчи марта адамат томонидан тузилган. Адамар мисоли. Ушбу )1.1.1( 0  yy xx U U Лаплас тенгламасининг 0y ярим текисликда )2.1.1( cos )0, ( ,0 )0, ( kx e x u x U x y    бошланғич шартларини қаноатлантирувчи регуляр ечими топилсин. Бевосита ҳисоблаш билан кўриш қийин эмаски бу масаланинг бирдан-бир ечими ,...2,1 , cos 1 ) , (    k shky kx e k y x U k кўринишда бўлади. Кўриш қийин эмаски  k да kx kcos  функция ҳолда текис яқинлашади, яъни 0 cos   kx k  бироқ ) , ( y x U ечим нолдан фарқли ихтиёрий унда,  k да ,0 cos 1 ) , (    shky kx e k y x U k бўлади. Шундай қилиб, Лаплас тенгламаси учун Коши масаласи коррект қўйилмаган эмас. 2.ушбу )3.1.1( xk t u u  иссиқлик ўтказувчанлик тенгламасининг    x t 0,0 соҳа )4.1.1( ,0 ), ( ),0( sin )0, (     t u t u kx e x U k  бу ерда k шартларни қаноатлантирувчи ечими топилсин. Бу масаланинг ечими )5.1.1( ...2,1 sin ),( 2     k kx e e tx U tk k функция эканлигини текшириш қийин эмас. Табиийки, ҳар бир k учун ўзининг бошланғич шарти ва унга мос ечими бор. Шу сабабли (5) ечимни ечимлар кетма-кетлиги деб қараш керак. kx e k sin  функция  k ҳолда интилади, лекин ечим эса худди Адамар мисолидек ҳеч қандай лимитга интилмайди. Бундан иссиқлик ўтказувчанлик тенгламаси учун дирихли масаласи коррект қўйилмадан масала эканлиги келиб чиқади. Бузилмайдиган тенгламалар учун қўйилган чегаравий масалалар, умуман айтганда бузиладиган тенгламалар учун коррект қўйилмаган бўлади. қуйидаги )6.1.1( 0     CU bU aU U U y x y xx yy m 0 y ва бузиладиган элептик типдаги тенглама учун биринчи чегаравий масала коррект қўйилмаган масала эканлигини биринчи марта М.В.Келдиш пайқаган ва (6) тенглама учун чегараланган функциялар синфида масаланинг коррект қўйилиши тенгламадаги )0, ( , x a m ларга боғлиқ эканлигини кўрсатган . Кейинчалик шундай ўхшаш факт айрим бузиладиган гиперболик тенгламалар синфи учун ҳам ўринли эканлиги кўрсатилган [2],[3],[5] . 2. Гиперболик типдаги дифференциал тенгламалар учун биринчи чегаравий масала. қуйидаги гиперболик типдаги хусусий ҳосилали дифферециал тенглама берилган бўлсин:         2 , , , , (1.1) u u u a b C u F                        (2.1) маълумки ҳарқандай чизиқли, икки ўзгарувчига боғлиқ иккинчи тартибли гиперболик тенгламани (2.1) каноник кўринишда ёзиш мумкин. (2.1) тенгламанинг характеристикалари       O ва O const const     0 , ўқларига параллел тўғри чизиқлардан иборат. (2.1) тенгламанинг коэффицентлари F c b a , , , узлуксиз, дифферециалланувчи функциялар бўлсин. қуйидаги чегаравий масалани қўямиз: (2.1) тенгламанинг қуйидаги шартларни қаноатлантирадиган ) , ( y x U ечимини топилсин.      0 0 0 0 ba     характеристик тўртбурчакда ) , (   U функция (2.1) тенгламасини қаноатлантиради. 2.   0 0 1 0 0 2 0 0 1 0 2 ( ), ( ), ( ) (1.2)U b U d                          (2.2) бу ерда  0 1  ,  0 2  функция узлуксиз биринчи тартибли ҳосилаларга эга. Бу қуйилган масаланинг ечимини мавжуд ва ягоналиги исботлаймиз. Шу мақсадда )3.2.1( , W u v u        белгилар киритиб, ( 2. 1) тенгламани )4.2.1( ) , ( Cu bW av F W v             кўринишда ёзиб оламиз. Бу ерган ) , ( ), , ( ), , (       W v U функцияларга нисбатан қуйидаги дифференциал тенгламалар системасига эга бўламиз. )5.2.1( , ),( ) ,( ),( , ) ( ), ( ),( , ) ( ) ,( ),( 0 0 0 0 0 0                                 d W u u d Cu bW av F W W d Cu bW av F v v (2.3) белгилашлар ёрдимида (2.1) шарт қйидаги кўринишни олади: ) ( ) , ( ) ( ) , ( '1 0 2 0 0 0                        u W u v у ҳолда (2.4), (2.5) шартлардан қуйидаги системага эга бўламиз:                                        0 0 0 , ) ( ) , ( )6.2.1( , ) ( ) , ( , ) ( ) , ( 2 1 2 Wd u d Cu bW av F W d Cu bW av F v (2.6) ситеманинг ечимлари  W V U , , лар (2.4) системанинг ҳам ечимлари бўлишини текшириш қийин эмас. Яъни (2.6) система (2.2) шартни қаноатлантирувчи. (2.1) тенглама билан эквивалент. (2.6) системани кетма-кет яқинлашиш усули билан ечамиз. Бу учун нолинчи яқинлашишларни ) ( ), ( ), ( 2 0 1 0 2 0            U W v деб олиб,  n чи яқинлашишларни қуйидагича оламиз:                    0 , ) , ( ) ( 1 1 1 2 d CU bW av F v n n n n         0 0 1 1 1 1 2 1 ( ) ( , ) , ( ) , 1, 2, 3... (1.7) , , n n n n n n n n n W F av bW CU d U W d n U V W                            (2.7) катта-кетликларнинг яқинлашувчанлиги исботлаймиз: бунинг учун , , , , ), ( ), ( ), ( ), ( '2 1 2 '1 c b a F         функциялар (2.2) тўғри тўртбурчакда чегараланган бўлсин (2.7) дан қуйидаги системага келамиз: энди 1 1 1, , n n n n n nU U W W         лар учун қуйидаги тенгсизликлар ўринли эканлигини исботлаймиз:       1 0 1 1 1 0 1 1 1 0 1 1 , ( 1)! , (1.9) ( 1)! , ( 1)! n n n n n n n n n n n n k A n W W k A n U U k A n                                          (2.9) бу ерда          , ) , ( , C b a K    ва A  n га боғлиқ бўлмаган чегараланган сон. Агар A катта чегараланган сон эканлигини ҳисобга олсак 1 n бўлганда (2.9) баҳолашлар ўринли эканлиги ишонч ҳосил қилиш қийин эмас. Энди (2.9) баҳолашларини  n учун ўринли деб, уларнинг  1n учун ўринли эканлигини исботлаймиз. ( 2. 8) системадан                                                                   0 0 ! ! )!1 ( )!1 ( 0 1 0 0 1 0 0 1 0 0 1 1 n n K A d n AK n A K c b a n n n n n n n n n   0 0 , (1.10) ! n n AK n          (2.10) (2.9) тенгсизликларнинг қ олганлари ҳам шунга ўхшаш исботлагади . Шундан кейин                       1 1 0 1 1 1 0 1 0 , , ), ( n n n n n n n n n W W W U U U        )11.2.1( , !1 1 1 0 0          n n n n K A A     қаторларни қараймиз . (2.11) қатор текис яқинлашади ва унинг йи ғ индиси ) ( 0 0     k A A  функцияга тенг . У ҳолда (2.9) баҳолашга асосан (2.10) қаторлар ҳам текис яқинлашади . Бундан      n n n W V U , , кетма - кетликларнинг  b y y a x x     0 0 , тў ғ ри тўртбурчакда текис яқинлашувчанлиги келиб чиқади . Уларнинг лимитик функциясини W v u , , десак ва (2.13) га асосан улар (2.12) системани қаноатлантиради. Демак биз юқорида (2.7), (2.8) характеристик масаламизнинг ечими мавжуд экан (2.1), (2.2) характеристик масаланинг ечими ягоналигини ҳам исботлаш қийин эмас. Ҳақиқатда ҳам     0 ,0 2 1        F демак (2.6) система 0 ,0 ,0    W v u ечимларга эга бўлишини қандайдир , , , A W A v A U    шартларини бажарувчи W v u , , ечимлар қуйидаги     0 0 0 1 1 1 1 1 1 1 1 1 1 ( , )( ) ( , )( ) ( , )( ) , ( , )( ) ( , )( ) ( , )( ) , ( ) , (1.8) n n n n n n n n n n n n n n n n n n n n V v a b W W C U U d W W a b W W C U U d U U W W d                                                              )!1 ( ) 12.2.1( )!1 ( )!1 ( 1 0 0 1 1 0 0 1 1 0 0 1                         n K W n A K U n A K U n n n n n n            тенгсизликларни қаноатлантиради. (2.12) тенгсизлик (2.9) тенгсизликга ўхшаш исботланади. (2.12) тенгсизликлар ихтиёрий n учун ўринли ва 0 U V W    эканлиги келиб чиқади. 3. Кушма оператор . Маълумки, иккинчи тартибли икки узгарувчили хусусий хосилали дифференциал тенгламалар умумий куриниши куйидагича булади. ) , ( ) , ( ) , ( ) , ( ) , ( ) , ( 2 ) , ( 2 2 2 2 2 y x f Uy x F y U y x E x U y x D y U y x C y x U y x B x U y x A                  (3.1) Бунда A,B,С,D,Е,F тенгламанинг коэффицентлари булиб каралаётган сохада x, y нинг узлуксиз дифференциалланувчи функцияларидир. (3.1) тенгламада 0 ) , (  y x f булса (3.1) тенглама бир жинсли дейилади. Тенгламалар классификацияси таърифига асосан тенглама каралаётган бирор D соханинг нукталарида 02  FCB булса (3.1) тенглама гиперболик типдаги тенглама дейилади.(3.1) тенгламанинг коэффицентлари етарли умумий шартларни каноатлантирганда, уни )2.3.1( ) , ( ) , ( ) , ( ) , ( ) ( 2 y x f Uy x c y U y x b x U y x f y x U U L             Каноник куринишга келтириш мумкин. Агар (3.2) тенгламанинг коэффициентлари дифференциалланувчи булса, )3.3.1( ) ( ) ( ) ( 2 cv bv y av x y x v v M            Операторга ) (U L операторга кушма оператор дейилади. Оддий дифференциаллаш билан куйидаги айниятни исботлаш кийин эмас: )4.3.1( ) 2 ( 2 1 ) 2 ( 2 1 ) ( ) ( auv x v U x U v y auv y v U y U v x v UM U vL                    Ихтиёрий ) , ( 0 0 y x M нукта олиб ундан 0 0, y y x x   характеристкалар утказамиз. 0 0, y y x x   характеристкалар P ва Q нукталарда силлик AB эгри чизик билан кесишсин . 0 0, y y x x   характеристкалар ва AB эгри чизикнинг PQ булган билан чегараланган сохани D билан соха чегарасини S билан белгилаймиз. D сохада (22) айниятга …. Формуласини куллаб, куйидаги формулага эга буламиз (нормал ички). )5.3.1( ) , cos( ) (2 1 ) , cos( ) (2 1 ) ( ) (                             S D ds y n buv x v u x U v x n auv y v u y U v dxdy v UM U v (3.5) формулага одатда Грин формуласи дейилади. 4. Риман усули. Риман функцияси . (3.2) тенгламанинг хар хил ечимларини топишнинг мухим усулини Риман таклиф килган. Бу парагрифда шу усул билан танишамиз. Бу ишни (3.2) тенглама учун Коши масаласини ечишдан бошлаймиз. 0 ) ('  x M шартни каноатлантирувчи ) (x M y эгри чизикда U ва y U   ларнинг кийматлари мос равишда ) ( ), ( 1 0 x x   функциялар берилган булсин. Яъни )1.4.1( ) ( ) ( 1 )( 0 )( x y U x U x My x My         (3.2), (4.1)-масала одатда Коши масаласит дейилади. (4.1) шартнинг биринчисини дифференциаллаб куйидаги формулага эга буламиз. ) ( ) (' 10 )( )( x x M y U y U x My x My          Бу ерда )2.4.1( ) (' ) ( ) ( 1 10 )( x M x x x U x My        Йуналишини соат стрелкасига карши хисоблаб нормал йуналиш ичкарига ва ds хар вакт мусбат деб )3.4.1( ) , cos( ) , cos( ds y n dy ds y n dx   тенгликларга эга буламиз. (4.3) тенгликларни хисобга олиб (3.5) формуладан фойдаланиб куйидаги формулага эга буламиз. )4.4.1( ) (2 1 ) (2 1 ) ( ) (                          S D ds auv y U v y v U dx buv x U v x U U dxdy v UM U v (4.4) формулани MPQ учбурчакка куллаб куйидаги формулани хосил киламиз:                                                         M Q M P Q P D dx buv x v u x U v dy auv y v u y U v dy auv y v u x U v dx buv x U v x v u dxdyv UM u vl )5.4.1( ) (2 1 ) (2 1 ) (2 1 ) (2 1 )( )( ( (4.5) формуладаги охирги иккита интегрални куйидагича ёзамиз:                         M Q M Q MQ M Q MQ dy av y v u uv dy auv y v u uv dy auv y v u y u v )6.4.1( ) ( 2 1 ) ( 2 1 ) (2 1                  M P M P MP dx bv x v u uv dx buv x v u x u v )7.4.1( ) ( 2 1 ) (2 1 Фараз килайлик ) , ( y x v функция куйидаги шартларни каноатлантирсин: 0 ) (  v M 2.    y y dyy xa xx v 0 0 0 ), (  (4.8) 3.    x x dx yxb yy v 0 0 0 ) ,(  У холда (4.8) шартлардан куйидаги тенгликлар бевосита келиб чикади. 0 0 0 0 0 0 0 ) , ( ) , ( ) , ( ) , ( 1 ) , ; , ( 0 ) ,( 0 1 0 ), ( 0 0 0 0 0 yy dx yxb xx dyy xa xx v y x b y x b x v v y x a y x a y v y x y x v x x y y                Агар PM тугри чизикда QM y y ,0  тугри чизикда 0x x эканлигини хисобга олсак (4.6) ва (4.7) формулалардаги охрги кушилувчилар нолга ва куидаги ихчам тенгликларга эга буламиз:             M Q MQ uv dy auv y v u y u v )9.4.1( 2 1 ) (2 1             M P MP uv dx buv x v u x u v ) 10.4.1( 2 1 ) (2 1 Агар (4.5) формулани (4.9) ва (4.10) тенгликлардан фойдаланиб куйидагича ёзамиз:  ) 11.4.1( ) (2 1 ) (2 1 ) (2 1 ) (2 1 ) , (                         D Q P Q P M dy auv y u v y v u dxv bu x u v x v u uv uv U dxdy y x vf (4.11) формуладан куйидаги Риман формуласи келиб чикади.                               d Q P Q P dxdyy x vf dy auv y u v y v u dx buv x v u x u v ub uv y x U ) 12.4.1( ) ,( ) (2 1 ) (2 1 ) (2 1 ) (2 1 ) ( 0 0 Агар ) ( 0 0y x M нуктанинг ихтиёрий танланганлигини хисобга олсак (4.12) формула юкорида куйилган Коши масаласининг ечимини беришига ишонч хосил килиш кийин эмас. Демак (4.12) формула Коши масаласи ечимининг мавжудлигини исботлайди. Коши масаласининг ечими ягоналиги хам (4.12) формулани хосил килиш усулидан бевосита келиб чикади. Хакикатдан хам Коши масаласи ечими ягона эмас деб фараз килсак ва ) , ( ), , ( 2 1 y x U y x U функцияларнинг хар бири ечим дейлик. У холда ) , ( ), , ( 2 1 y x U y x U -ечимлар учун (4.12) формулани хосил киламиз ва бу ердан ) , ( ), , ( 2 1 y x U y x U эканлиги келиб чикади. (4.8) шартларни каноатлантирувчи ) , ( y x v функцияга одатда Риман функцияси дейилади ва у факат x , y узгарувчиларга боглик булмай 0 0y x -узгарувчиларга хам боглик булгани учун уни ) , ; , ( 0 0 y x y x R v белги билан белгиланади. ) , ; , ( 0 0 y x y x R v функция x , y -узгарувчилар буйича 0 ) (  u L тенглама (оператор) учун Риман функцияси. Агар 0 ) (  v M кушма оператор учун Риман функциясини топиш учун айнан юкоридагидек иш тутиб 0 0,y x -ларни узгарувчи деб хисобласак ) ; , ( ) ; , ( 0 0 0 0 y x y x R y x y x v  функция 0 0y x узгарувчи координаталарга нисбатан 0 ) (  v M тенглама (оператор) учун Риман функцияси булади. Демак, ) 13.4.1( 0 ) , ( ) , ( ) , ( 0 0 0 0 0 0 0 0 0 0 2            v y x c y v y x b x v y x a y x v Бундан ) 14.4.1( ) , ( ) , ( 0 0 0 0 0 0 0 0 2 y R y x b x R y x a y x R          0 ) , ( ) , ( ) , ( 0 0 0 0 0 0 0 0 0 0 2            R y x c y R y x b x R y x a y x R Эканлиги хам келиб чикади. Рим a н функциясини топишда куйидаги мисолни курамиз: ) 15.4.1( 0 2 2 2 2 2 2       x u y x u x тенглама учун Риман функциясини топамиз. Агар x y xy     , алмаштиришларни бажарсак (4.15) тенглама ) 16.4.1( 0 2 1 2            U U каноник куринишда ёзилади. (4.16) тенглама кушма тенгламага эга ) 17.4.1( 0 2 1 2            v v куринишда булади. 5. Характеристик туртбурчакда бир характеристик масала хакида. Характеристик масаланинг куйилиши. 0y ярим текистликда куйидаги иккинчи тартибли икки узгарувчили гиперболик типга тегишли тенглама берилган булсин. )1.5.1( 0 ), , ( ) , ( ) , ( ) , (       y y x f Uy x c Uy x b Uy x a U УU x y xx yy Бунда f c b a , , , (5.1) тенгламанинг берилган коэффицентлари булиб, дифференциалланувчи функциялардир. (5.1) тенглама 0y да гиперболик типдаги тенглама булиб, 0 y да параболик бузилади. (5.1) бир жинсли булмаган ва унинг бир жинсли тенламаси куйидагича булади: )2.5.1( 0 ) , ( ) , ( ) , (      Uy x c Uy x b Uy x a U УU x y xx yy (5.1) тенгламанинг характеристкалари. )3.5.1( 2 2 2 1 c const y x c const y x       Чизикдан иборат. 2Г масала. 1 )0, ( 1  x a буланда 1 Q сохада (5.1) тенгламанинг регуляр 1Q сохада узлуксиз ва куйидаги ) ( ) ( ) ( ) ( 0 0 0 0 1 1 x c x U x U cA cB        (5.4) бошлангич шартларни каноатлантирувчи ечими топилсин. Бу ерда ) ( ), ( 0 0 x x   (функциялардир)берилган ва дифференциалланувчи функциялардир. 1 0 E Q  сохада (5.1) тенглама бузилмайдиган гиперболик тенглама булади. Демак, 2Г масала 1 0 E Q  сохада ечимга эга ва ечим ягонадир. Шу сабабли 2Г масалани )0, ( 1 1 x E нуктанинг етарлича кичик атрофида урганиш етарли 1 0 Q Q  соха 0 1 0 1 1 1 2 2 , 2 , 2             x y x x y x x y x x y x характеристик чизиклар билан чегараланган соха булсин. Бу ерда 0 0  ва етарлича кичик сон. )0,1( ),0,0( B A нукталардан мос равишда утувчи 2 1 2 , 2 c const y x c const y x      характеристикалар ) 16, 2( 1 2   X нуктада кесмада. AC , BC характеристикалар ва O x уки билан чегараланган характеристик учбурчакни D билан белгилаймиз. AB кесмадан ихтиёрий майинланган 1 0 )0, ( 1 1 1   x x E нуктани оламиз. Сунгра x y x y x     2 ,0 2 характеристикаларнинг кесишган нуктасини A 1 билан 1 2 , 2     y x x y x характеристикаларнинг кесишган нуктасини B 1 билан белгилаймиз. ) 16 ) 1(, 2 1( ), 16, 2( 21 1 1 1 21 1 1 1 x x B B x x A A     эканлигини хисоблаш кийн эмас. Энди 1 2 2 , 2 ,0 2 1 1         y x x y x x y x y x характеристик чизиклар билан чегараланган характерстик туртбурчакни Q 1 билан белгилаймиз. (3-чизма). 2. 2Г масала ечими мавжудлиги. (5.1) тенглама 1 0 E Q  сохада бузилмайдиган гиперболик тенгламадар, шу учун 2Г масалани 1 0 E Q  2Г масала ечими мавжуд ва ягонадир. Шу сабабли 2Г масалани )0, ( 1 1 x E нуктанинг етарлича кичик атрофида текшириш етарли. Шу максадда 0 1 0 1 1 2 2 , 2 , 2             x y x x y x x y x x y x характеристик чизиклар билан чегараланган ва етарлича кичик булган сохани iQ Q 0 билан белгилаб оламиз. Бу ерда 0 0  етарлича кичик сон. (5.1) тенглама )5.5.1( 2 2 y x y x       Характеристик координаталарда куйидагича ёзилади: )6.5.1( 4 4 )4 2 1 ( )4 4 ( ) ( 2 f CU U b U b U UL                     (5.5) алмаштириш ёрдамида D соха 1 ,0       чизиклар билан чегараланган  сохага Q 1 соха эса 1 , ,0 , 1 1         x x чизиклар билан чегараланган Q 1 сохага утади. Белгилашларни текислигидаги A , B , C , A 1 , B 1 , E 1 нукталарнинг  , текистликдаги тасвирларини хам яна A , B , C , A 1 , B 1 , E 1 белгилар билан белгилаймиз. У холда (5.4) чегаравий шарт куйидагича ёзилади: )7.5.1( )( )( ), ( ), ( 0 0 0 , 0 , c c U U cA cB          (5.6) тенгламани куйидагича ёзиб оламиз: )8.5.1( ) , (~ ) , (~ ) , (~ ) , (~ ) (            F U C U B U A U U L    Бу ерда 1 2 ~ 2 1 4 ) , ( 2 1 A b a A                    B b a B ~ 2 1 4 ) , ( 2 1 ~ 2                    , 4 ) , ( ) , (~, 4 ) , ( ~       f F c C     1 ), , ( ) , ( ) , ( ), , ( 1 1 2 1           x x a a a x x a (5.8), (5.7) масалани, яъни 2Г масалани Q 0 Риман усули билан ечамиз, 0 Q соха  , -узгарувчилар тексликда Q сохага утсин. Q соха куйидаги чизиклар билан чегараланган: 0 1 0 1 1 1 , , ,             x x x x Бу ерда 0 0  -етарлича кичик мусбат сон, маълумки, (5.8) тенгламанинг Римон функцияси ) , ; , ( 0 0    R куйидаги шартларни каноатлантириши керак: ) , ; , ( 0 0    Rфункция (5.8) тенгламага кушма булган )9.5.1( 0 ~ ) ~( ) ~( ) (*      RC RB RA R R L    Тенгламани каноатлантиради. 2. 0 0,       характеристикаларда ) , ; , ( 0 0    R мос равишда куйидаги кийматларни кабул килади: ) 10.5.1( ), ( ~ ) ( ) ( ) , ; ( 0 0 1 21 0 121 0 0 0 0                          dtt A xx R  ) 11.5.1( ) , ( ) ( ) ( ) , ; ( 0 0 21 0 21 0 0 0 0                             d R xx R  Бу ерда 0 ,  нукта Q 1 соханинг ихтиёрий тайинланган нуктасидир. (5.9) тенглама ва (5.10), (5.11) шартлардан фойдаланиб, одатдаги учул билан ) , ( 0 0      R функция учун куйидаги интеграл-дифференциал тенгламани хосил киламиз:     ) 12.5.1( ) ;, ( ~ ) ;, ( ~), ; , ( ) ;, ( ~ ~ ~), ; , ( ) , : ( ), ( ~) ; , ( ) , , , ( ) , ( ) , : , ( ) , ( ) , ( 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 dt d t R B t R A t R dt d t R C B A t R dt t Rt A t R d R B R R R t t                                                                           бу ерда ) , , , ( 0 0 0     R функция 021 21                UUU (5.13) тенглама Риман функцияси булиб куйидаги формула билан аникланади: ),,1,21 ,21 ( 21 0 21 0 1 2 0 0 0 ) ( ) ( ) )( , , , (                         F R 1 0 1 0 0 0 ) ( ) )( )( (                 (5.12) тенглама таркибига кирган икки карали интегралларга булаклаб интеграллаш усулини куллаб, ) , , , ( 0 0 0     R функция учун куйидаги интеграл тенгламани хосил киламиз:   ) 14. 5. 1( ) , ; , ( ) , ; , ( ) , ( ~ ) , ; , ( ) , ( ~ ) , ; , ( ) , ( ~ ) , ; , ( ) , (, ~ ) , ; , ( ) , , , ( 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 dt d t R t R t C t R t B t R t A R B R R t                                              ) , , , ( 0 0 0     R -га нисбатан хосил булган (5.14) тенглама Вольтерра типидаги интеграл тенглама эканлигини хам таъкидлаймиз. (5.12) тенгламанинг ечими мавжудлигини курсатамиз. Бу учун биринчи навбатда ) , ( , 1 1 1 1 0 x x E Q Q  нукта атрофидаги ва 0 0 0 1 1 1 , ,             x x x x чизиклар билан чегараланган етарлича кичик соха эканлигини хисобга оламиз. Гипергеометрик функциянинг хоссаларидан фойдаланиб куйидаги бахолашларни , ) ( ) ( ) ( ) , , , ( 21 0 21 0 1 2 0 0 0 0                     M R ,)()(),;,(),(~ 21 21 001               NRB , ) ( ) ( ), ; , ( ), ( ~ 121 21 0 0 1              t N t Rt A ) 15.5.1( . ) ( ) ( ) ( ),;, ( ),(~ ),;, ( ),(~ ),;, ( ),(~1 21 12 0 00101                            t N t Rt C t Rt B t Rt A t Бу ерда 0 0,N M чегараланган сонлардир. (5.14) тенглама ечими мавжудлигини курсатиш учун етарлича кичик 0 Q сохада кетма-кет якинлашиш усулини куллаймиз                 0 0 0 0 ) 16.5.1( ) , ;, ( ), ; , ( ), ( ~ ), ; , ( ), ( ~ ), , , ( ), ( ~ ) , ;, ( ), ; , ( ) ( ) , , , ( ) , ; , ( ) , ( ~ ) , ; , ( ) , ; , ( 0 0 )( 0 0 1 0 1 0 0 )( 0 1 1 0 0 )( 0 1 0 0 0 0 0 )1 (                                                    dt d t R t Rt C t Rt B t Rt A dt t Rt Rt A d R R B R R n t n n n Нолинчи якинлашиш 0 )0(  R ва 1n якинлашиш куйидагича булсин. 0 Q сохани етарлича кичик хисоблаймизки унда куйидаги тенгсизлик бажарилсин: ) 17.5.1( 1 ) ( ;2,1,2 1( ;;2,1,2 1( max )2( ) ( ,2 3,1,2 1 max 2 1 2 3 ) () ;2 3,1,2 1 ( max 2 1 2 3 0 0 4 0 0 3 0 0 2 0 2 0 0 1 0 1 0 0 1                                                             q F F Q N Г F Q N Г Г F Q N Г F                       0 Q сохада n  учун куйидаги бахолашлар уринли: ) 18.5.1( ) ( ) ( ) ( ) ( ) ( ) ( 0 1 21 0 21 0 1 2 )( )1 ( 0 21 0 21 0 1 2 )1 ( )0(                       n n n n i n g M R R qi M R R                   хакикатан хам ) 19.5.1( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( 3 2 1 21 0 21 0 1 2 21 0 21 0 2 2 2 1 0 1 2 21 0 0 21 0 2 1 21 2 1 0 21 0 2 1 21 0 21 0 1 2 )2( 21 0 21 0 1 2 )1( 0 0 0 0 J J J M dt d t t N M d t N M d N M M R M R                                                                                                                                 янги M h, интеграллаш узгарувчиларни киритамиз ) 20.5.1( ) ( , ) ( 0 0 M t               У холда                            1 0 21 0 0 21 0 1 0 21 0 2 21 0 0 21 0 0 21 21 0 2 1 ) 21.5.1( ) 1( ) 1( ) ( ) ( ) 1( ) 1( ) ( ) ( ) (                                     d M d N M J ёки ) 22.5.1( ) ;2 3,1,2 1 ( )2 3( )2 1( ) ( ) ( ) ( 0 1 1 21 0 21 0 2 0 1                          F Г Г MN JШунга ухшаш ) ;2,1,2 1( ) ;2,1,2 1( )2( ) ( ) ( ) ( 1 1 ) ( ) ( ) ( 1 1 1 1 ) ( ) ( ) ( ) ;2 3,1,2 1 ( )2 3( )2 1( ) ( ) ( ) ( 0 0 2 0 0 3 2 21 0 21 0 2 1 0 21 0 0 21 1 0 0 0 21 0 21 0 2 0 21 0 0 1 0 21 0 0 1 1 0 1 0 0 21 0 21 0 2 0 3 0 1 1 21 0 21 0 2 0 2                                                                                                                                                                        F F Г MN t MN d d t MN J F Г Г MN J Демак ) 23.5.1( ) 1( ) ( ) ( ) ( 21 0 21 0 1 2 )2( g M R                Энди фараз килайлик (5.18) бахолашлар n учун тугри , унинг n+1 учун тугрилигини исбот киламиз .                                                             h i i n i i h i i n i i n q M dt d t t t q M d t t N q M d N q M M R 0 21 0 1 2 21 0 21 0 2 2 21 21 1 0 1 2 21 0 21 1 0 0 21 0 21 21 0 21 1 0 0 21 0 21 21 0 21 0 1 2 )1 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( 0                                                                (5.18) бахолашнинг иккинчи тенгсизлиги хам айнан шунга ухшаш исботланади. 6 . Бузиладиган гиперболик тенгламалар учун Риман функцияси. Эйлер – Дарбу тенгламасининг Риман функцияси. Ушбу 0 ) ( ) ( 2             R R R          ёки )1.6.1(0 )( 22              RRRR               қўшма дифференциал тенгламани қаноатлантиради ва 1 1,       характеристикаларда                 ) ( ) /) ln( exp( ) exp( ) , ; , ( 1 1 1 1 1 1 1 1 1 1          t dtt R )2.6.1( ) ( ) , ; ( 1 1 1 1 1 11 1 1                  dt t l R қийматларни қабул қилади. Риман функциясини )3.6.1( . ) ( ) ( ) ( ) , ; , ( 1 1 1 1 F R                      кўринишда излаймиз, бу ерда F ҳозирча номаълум функция (6.3) дан 1 ) ( ) , ; , ( 1 1 1 1 1 1              F R 1 ) ( ) , ; , ( 1 1 1 1 1              F R Бу тенгликлардан (6.2) да асосан кўринаяптики, 1 1 1       F F бўлиши керак. (6.3) да F олдидаги кўпаяпти W белгилаб олиб, R ни ва унинг ҳосилаларини (6.1) қўшма тенгламага қўйсак, )4.6.1( 0 ) ) ( ( ) ( ) ( 2                F W W W W F W W F W W WF                        тенглама ҳосил бўлади. W нинг ҳосилаларини ҳисоблаймиз. , ) ( , ) ( 1 1 W W W W                            W W                      ) )( ( ) )( ( ) ( ) )( ( ) ( ) ( ) ( 1)( ( 1 1 1 1 2                            W ни ва унинг ҳосилаларини (6.4) тенгламага қўямиз, у ҳолда 0 ) )( )( ( ) ( ) )( ( ) )( ( 1 1 1 1 1 1 1 1 1                 F F F F                           ёки )5.6.1( 0 ) )( ( ) )( ( ) )( )( ( 11 11 11 11 11 111               F F F F                           тенгламага эга бўламиз. Ушбу      1 1 1 1               белгилашни киритамиз. Фараз қилайлик, F функция  нинг функцияси бўлсин, яъни ) ( F F  . F ни ва унинг                  F F F F F F F     , , ҳосилаларини ҳисоблагандан сўнг, (6.5) тенгламага қўямиз, содда ҳисоблашларни бажариб, қуйидаги ҳисоблашларни бажарамиз ва қуйидаги тенгламани ҳосил қиламиз:   )6.6.1( 0 )1 ( 1 ) 1(        F F b a F       (6.5) тенглама )) )( ( ) )( (1, , ( ) ,1, , ( 1 1 1                   F F гипергеометрик функциядан иборатдир. Бундан дарҳол 1 1 1       F F эканлиги келиб чиқади. Шундай қилиб, Эйлер-Дарбу тенгламасининг Риман функцияси (1.6.7) )) - )( - ( ) )( (1, , F( ) - ( ) - ( ) ( ) , ; , ( 1 1 1 1 - 1 -1 1 1                               R кўринишига эга бўлади. 2.Гиперболик типдаги бузиладиган иккинчи тур тенглама учун Риман функцияси. Кириш қисмидан маълумки, текисликда иккинчи тартибли, икки ўзгарувчили хусусий ҳосилали аралаш типдаги тенгламани қуйидаги каноник кўринишдаги тенгламани қуйидаги каноник кўринишдаги тенгламалардан бирортасига келтириш мумкин: )8.6.1( )2 0,0 ( ,         n y f CU bU aU U Uy x y xx yy n )9.6.1( )0 ,0 ( ,        m y f CU bU aU U U y x y yy xx m Одатда бузиладиган биринчи тур тенглама дейилади (6.1) тенгламани эса 0y да гиперболик типдаги бузиладиган иккинчи тур тенглама дейилади. Бу параграфда (6.8) тенгламанинг Риман функциясини топишни кўрамиз. Дастлаб 1 n бўлган ҳолни қараймиз. У ҳолда (6.1) тенглама қуйидаги кўринишга ўтади: ) 10.6.1( )0 ( , )(        y f CU bU aU U yU uL x y xx yy Бу ерда 0 , ,    c const b const a бўлган ҳол учун Риман функциясини ўрганамиз. У ҳолда (6.10) тенгламанинг характеристикалари )11.6.1( 2 2 2 1 C const y x C const y x           параболаларнинг характеристикаларидан иборат. (6.9) бир жинсли бўлмаган тенгламанинг бир жинсли кўриниши қуйидагича бўлади. ) 12.6.1( .0 ,0 )(       y bU aU U yU uL x y xx yy(6.12) тенглама   , характеристик координаталарда қуйидагича ёзилади: 0 )4 2 1 ( )4 2 1 ( ) (                  U b a U b a U u L . (6.13) (6.13) тенгламани 1 1, ,          харатеристикалар билан чегараланган харатеристик учбурчакда қараймиз ва унинг Риман функциясини топамиз. (6.13) тенглама билан аниқланадиган ) (u L операторнинг қўшма оператори қуйидаги кўринишга эга бўлади. ) 14.6.1( 4 2 1 4 2 1 )( 2 *                                                     b a b a L (6.14) тенгламанинг характеристикалари          ва 1 1, тўғри чизиқлар билан чегараланган характеристик учбурчакда қуйидаги функцияни қараймиз. ) 15.6.1( .) ,1, 2 1 , 2 1 ( ) , ; , ( ) , ; , ( 1 1 0 1 1 G a a F R R               Бу ерда                               1 1 2 2 2 2 1 1 0 )4 2 1 ( )4 2 1 ( ) , ; , ( d b a d b a ехp R F -гипергеометрик функция, ))(( ))(( 1 1 1 1           G . Оддий ҳисоблаш йўли билан 1   бўлганда 0 4 2 1        Rb R a R    1   бўлганда 0 4 2 1        Rb a R    1 ) ; ( 1 1 1 1    R тенгликларни исботлаш қийин эмас. Риман функцияси ) ; , ( 1 1 1    R ва 1 1,  ўзгарувчиларга нисбатан (6.14) тенгламанинг ечими бўлгани учун ) 16.6.1( 0 )) ; , ( ( 1 1 1 *     R L Демак 0 4 2 1 4 2 1 ) ( 1 1 1 1 1 1 1 1 2 *                                              R b a R b a R L          тенглик ўринлидир. Агар 0 b десак ) ( ), (  L u L дифференциал операторлар қуйидаги содда кўринишларда ёзилади: ) 17.6.1( ,0 2 1 2 1 )(                U a U a U uL )18.6.1( ,0 ) 2 1 ( ) 2 1 ( )(*                  a a L (6.17) тенглама Эйлер – Дарбу тенгламаси деб аталувчи ) 19.6.1( 0 ) , (                  U U U Eтенглама кўринишига келади. Бу ерда   , ихтиёрий ўзгармас сонлар (6.17), (6.18) тенгламалардан a a     2 1 , 2 1   эканлиги келиб чиқади. (6.17) тенгламанинг Риман функцияси қуйидаги формула билан аниқланади: ) 20.6.1( ) )( ( ) )( (,1, 2 1, 2 1( ) ( ) ( ) ( ) , ; , ( 1 1 1 1 21 1 21 1 21 1 1                                   a a F R a a a Энди 2 1  n бўлган ҳолни қараймиз. Бу ҳолдан ) , ( ) , ( 0 y x a y y x a m  шарт бажарилсин, .1 0 ,0 0     n m ва a m ) 21.6.1( . 2 2 , 2 2 21 21 n n yn x yn x           характеристик координаталарда (6.8) бир жинсли бўлмаган тенгламанинг бир жинсли тенгламаси қуйидаги кўринишда ёзилади: ) 22.6.1( 4 1 )(     C BU AU U uL     Бу ерда ; 1 4 ) ( ) ( ) 2 4 ( 4 ) 2(2 2 )1 (2 22 0                         b n a n n A nnm nm n ; 1 4 ) ( ) ( ) 2 4 ( 4 ) 2(2 2 )1 (2 22 0                         b n a n n B nnm nm n 1 , ,         чизиқлар билан чегараланган характеристик учбурчакда қуйидаги функцияни қараймиз. ) 23.6.1( .) ,1) 2(2 )1 (2 ( ) , , , ( ) ; , ( 1 1 0 1 1         n n n n F R R       Бу ерда ), ) , ( ) ( exp( ) , ; ( 2 2 2 2 1 1 1 0 1 1             d B d A R        .) )( ( ) ( 1 1 1 1                F гипергеометрик функция. Юқоридагиларга асосан оддий ҳисоблаш орқали қуйидаги тенгликларга эга бўламиз: ) 24.6.1( 1 ) , ; , ( ,0 ,0 1 1 1 1 1 1                     R AR R BR R (6.22) тенгламанинг операторига қўшма оператор қуйидагича бўлади. 0 4 ) ( ) ( )(*              c B A L (6.25) ) , ; , ( 1 1     R  бўлса Rc BR AR R R L 4 ) ( ) ( ) (*        (6.26) кўринишда ёзилади. (6.26) тенгламани ва (6.24) шартларни (6.22) тенгламанинг юқорида айтилган характеристик учбурчакда ) , ; , ( 1 1    R -Риман функциясининг мавжудлиги ва ягоналиги I -боб. 4.да гиперболик типдаги тенглама учун кўрилган биринчи чегаравий масала ечимининг мавжудлиги ва унинг ягоналигидан бевосита келиб чиқади. Агар 0 , ,1 0     b const a h m бўлса , 1 ) 2 4 ( 4 ) 2(2 22 0             nm n n a n n A , 1 ) 2 4 ( 4 ) 2(2 22 0              nm n n a n n BСодда кўринишга келади ва бу ҳолда (6.22) тенгламанинг кўриниши қуйидагича бўлади .   ) 27.6.1( 0 ) 2 4 (4 ) 2(2 22 0               U U n a n n U nm n (6.27) тенгламанинг Риман функцияси (6.19) формуладан бевосита келиб чиқади: ) 28.6.1( ) ;1, ,( ) ( ) ( ) ( ) , ; , ( 1 1 2 1 1                F R         Бу ерда . ) 2 4 ( 4 ) 2(2 22 0 nm n n a n n       ) )( ( ) )( ( 1 1 1 1               .  F гипергеометрик функция. 7.Чегарада айнийдиган гиперболик тенглама учун Гурса масаласи. *A характеристие масаланинг қўйилиши. )1.7.1( .)0 ( ,       y f CU bU aU U Uy x y xx yy n Бу ерда , const  f c b , , дифференциалланувчи функциялар. Агар 1 0  n бўлса (7.1) тенглама учун Коши ва характеристик чегаравий масалалар коррект қўйилган бўлади. 1 n бўлса (7.1) тенглама учун қўйиладиган чегаравий масалалар (Коши масаласи, Гурса масаласи, Дарбу масаласи) умуман олганда коррект қўйилган чегаравий масала бўлмайди.   . 4, 2 У ҳолда (7.1) тенглама қуйидагича ёзилади. )2.7.1( )0 (       y f CU bU U U yU x y xx yy  1 1    ва n бўлсин, (7.2) тенгламанинг характеристикалари const y x  2 чизиқлар оиласидан ибрат бўлади. B ва A нуқталардан ўтувчи c y x c y x     2 , 2 характеристикалар ва 0y чизиқнинг AB кесмаси билан чегараланган характеристик D билан белгилаймиз. Аниқлик учун 0 )0, ( ),0,0(      ва B B A A етарлича кичик сон бўлсин. У ҳолда D -характеристик учбурчакдан иборат соҳа 0D соҳада ўтади. 0 D соҳа )3.7.1( .0 , 2 ,0 2      y y x y x  характеристикалар билан чегараланган ва . 0 D D      y x y x 2 ,0 2 характеристикалар ) 16,2( 2   C нуқтада кесишади. Шундай қилиб 0 D соҳа учлари ) 16, 2( ),0, ( ),0,0( 2    C B A нуқталарда бўлган характеристик эгри чизиқли учбурчакдан иборат бўлади.  CB AC AB , , чизиқларни мос равишда 3 2 1 , ,    белгилар билан белгилаймиз. (7.2) тенглама учун бир характеристик чегаравий масалани қараймиз. *A масала: 0 D да регуляр, 0 D да чегараланган ва , 0 ),( 1      x x U ,2 0 ), ( 2       x x U )0( )0(    (7.4) Шартларни қаноатлантирувчи (7.2) тенгламанинг ечими топилсин. Бунда ) ( ) ( x x    берилган дифференциалланувчи функциялар. Бу ерда регуляр ечим деганда 0 D икки марта дифференциалланувчи ва (7.2) тенгламани қаноатлантирувчи ) , ( y x U функцияни тушунамиз. 2 эгри чизиқ тенгламасини ) (2 x y  билан белгилаб қуйидаги ) , ( y x  функцияни киритамиз:   )5.7.1( )( , ) ,( )( 2 )( )( x x x x y y x U y x          У ҳолда (7.2) тенглама қуйидаги кўринишни олади: )6.7.1( F c b y x y xx yy           Бунда ) 7 . 7 . 1 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( 2 ) ( ) ( 2 ) ( ) ( 2 ) ( ) ( " 2 ) ( ) ( x c x cy x b x by x x x y f F x x x x x x x x                                        чегаравий шартни эса (7.4) қуйидаги кўринишни олади: , 0 ,0 1      x ,2 0 ,0 2       x )8.7.1( 0 )0,0(   2. *A чегаравий масала ечимининг мавжудлиги функцияларини киритамиз. )9.7.1( ) ,( ) ,( ) ,( ) ,( 3 2 1 y x y x y y x y y x y x y x              У ҳолда (7.6) тенгламани қуйидаги биринчи тартибли тенгламалар системаси кўринишида ёзиш мумкин: ), (2 1 3 2 1     x , ) ( 2 ) ( 4 2 1 21 3 2 21 3 2 1 21 2 21 2              cy y b y F y y x y        )10.7.1()( 2)( 4 21 21 1 3 2 21 3 2 21 3 21 3       ycyb Fyy x y        ҳосил бўлган (7.10) тенгламалар системаси учун (7.14 ) чегаравий шартлар қуйидагича бўлади. )11.7.1( 0 ,0 0 ,0 2 0 ,0 1 1 2 3 2 1                   x x x (7.11) система характеристикалари ) 12.7.1( 2 2 , const y x const y x const y      (7.11) чегаравий шартлари ҳисобга олиб, (7.10) системаси мос равишда унинг характеристикалари (7.12) бўйича интеграллаб қуйидаги интеграл тенгламалар системасига эга бўламиз:    x y d y y 2 3 2 1 )) , ( ) , ( ( 2 1                 2 0 3 2 1 21 2 )), )( ), ( ( 4 2 1 ), ( S t x t x t t x F t      , ), ( ), ( )), ( ), ( ( 2 ), ( 2 2 1 21 3 2 21 dS dS dt t x tt x c t x t x t t x b                    3 0 3 2 1 21 3 )), )( ), ( ( 4 2 1 ), ( S t x t x t t x F t      ) 13.7.1( ), ( ), ( )), ( ), ( ( 2 ), ( 3 3 1 21 3 2 21 dS dS dt tx ttx c tx tx t tx b         Бунда 3 2,S S лар мос равишда 0 ) , ( D y x  нуқтадан ўтувчи y x const y x 2 , 2    характеристикалар ёйининг узунликларидир (7.13) интеграл тенгламалар системасини кетма-кет яқинлашиш усули билан ечамиз. Нолинчи яқинлашиш учун 0 )0(3 )0(2 )0(1       яқинлашишларни оламиз.  1 n яқинлашишларни қуйидагича топамиз:       d y y x y n n n )) , ( ) , ( ( 2 1 2 )(3 )(2 )1 (1               )), ( ), ( ( 4 2 1 ) , ( )(3 )(2 1 21 0 )1 (2 2 t x t x t y x F t n n S n      , ), ( ), ( )), ( ), ( ( 2 ), ( 2 2 1 21 3 2 21 dS dS dt t x tt x c t x t x t t x b                    )), ( ), ( ( 4 2 1 ) , ( )(3 )(2 1 21 0 )1 (3 3 t x t x t y x F t n n S n      ) 14.7.1( ), ( ), ( )), ( ), ( ( 2 ), ( 3 3 )(1 21 )(3 )(3 21 dS dS dt t x tt x c t x t x t t x b n n n         қуйидаги белгилашларни киритамиз:      xx x xx x xx x c c c D C b b b D B D A , max , max , max       (7.2) тенгламанинг коэффициентлари c b, ,  Лар етарлича дифференциалланувчи ва бошланғич функциялар етарлича кичик 0 D соҳада )15.7.1( 02( ),(        y O F yx шартни қаноатлантирсин. Бу ерда ). ( 0   E  Юқорида айтилганидек 0 D соҳа етарлича кичик соҳа бўлиб ) 16.7.1( .1 2 2 5 2 2 3 2 2 5 2 1 max 0 0 21 0            q E cx E By E     тенгсизлик бажарилади. 1-лемма. 0 D соҳада  n нинг барча қийматларида қуйидаги баҳолашлар ўринли 3,2,1 ,0 )0(   j j           1 0 2 )1 (1 )1( )1 (, ) 2 ( ,0 0 n i i E n j n q y x y           1 0 25 )1( ) 17.7.1( , 0 n i i E nj q Ny   Бу ерда  N чегараланган сон. Исбот: )3,2,1 ( ,0 )0(   j j 0 )1(1              dt Nt dt t Nt y E E y 0 2 2 0 21 )1( 2 0 0    E E E y N y E Nc y E N               0 0 0 25 25 0 25 0 2 2 5 2 2 2 5 2      Шунга ўхшаш E y N    0 2 5 )1(3   E y N     0 2 5 )1(3 )1(2 2    Юқоридаги тенгсизликларга асосан  , 2 2 0 2 5 )2(1 y x y N E       ), 1( 2 2 5 2 3 2 2 5 2 1 max 0 0 0 25 0 21 25 25 )2(2 q y N E Cx E By E y N y N E E E                                        Тўлиқ индукция усулига асосан (7.17) тенгсизликларни n учун ўринли деб, 1n учун ўринли эканлигини кўрсатамиз:            1 0 2 25 25 )1( 1 ) 2 ( 00n i x y EE in y x y N d y q N                 1 0 1 0 2 , ) 2 ( 0 n i n i i E i q y x yN q                        E By E y N y N y N E n E E 0 0 25 )1 (2 25 25 )2(2 3 2 1 2 2 5 2 1 max 1 0 0 0                                          n i i E n i i x E E n q y N q E C E By E y N y N 0 25 1 0 0 0 21 0 25 25 )2 (3 , ) 2 2 5 2 3 2 2 5 2 1 max ( 1 0 0 0         Шуларга ўхшаш қуйидаги тенгсизликни ҳам келтириб чиқариш қийин эмас.           1 0 25 )1(3 )1(2 , 2 0 n i i E n n q y N                  1 0 25 1 0 0 0 ) 2 2 5 2 n i i E n i i x q Ny q E C            n i i E n n j q Ny 0 25 )1 (3 )1 (2 3,2 , 2 0   Шундай қилиб лемма 7.1 ҳам исбот бўлди. Лемма 7.2 0 D соҳада ихтиёрий n учун қуйидаги баҳолашлар ўринли: )18.7.1( ) 2 ( 0 0 0 0 25 )1(3 )1(3 0 25 )(2 )1(2 2 1 )(1 )1(1 2 )0(1 )1(1                                               y Nq y Nq y x y q N Ny n n n n n n n n n Исботи : 1,0 n бўлади                                                                                                         0 0 0 25 0 0 21 0 25 21 0 )0(1 )1(1 0 21 0 )0(3 )1(3 1 21 )0(2 )1(2 0 1 )0(3 )1(3 1 1 0 )0(2 )1(2 )1(2 )2(2 2 2 )0(3 )1(3 )0(2 )1(2 11 21 2 2 5 2 3 2 2 5 2 1 max 2 2 4 2 1 4 2 1 ); 2 ( 2 1 y Nq C By Ny dt t C dt t b dt t b dt t dt t y x y d y y y y y x y Чун ки                                     0 0 0 2 5 0 2 1 03 13 2 5 0 2 1 02 12 2 01 11 Ny dt F t Ny dt F t Ny y y Худди шундай             0 25 13 23 y q N Тўлиқ индукция усулига асосан (7.18) тенгсизликларни n учун ўринли деб , 1n учун ўринли эканини кўрсатамиз :                                                                                                                                   0 0 0 25 25 0 0 21 0 1 21 1 1 1 0 21 1 3 ) (3 0 1 0 0 1 2 ) (2 1 0 1 3 ) (3 1 1 2 ) (2 2 1 2 2 1 2 1 3 ) (3 1 2 ) (2 1 1 1 2 2 5 2 3 2 2 5 2 1 max 2 2 42 1 42 1 ), 2 ( ) 21 y Nq y Cx y B Nq dt t C dt t b dt t b dt t dt t y x y Nq d n n n n y n n y y y n n y n n n n n n n xy n n n n n n Худди шундай        0 25 )(3 )1 (3 y Nq v v n n n , эканлигига ҳам ишонч ҳосил қилиш қийин эмас . Шундай килиб лемма 7.2 ҳам исбот бўлди. Энди    ) , ( ,) , ( ,) , ( )(3 )(2 )(1 y x v y x v y x v n n n . (7.19) функционал кетма–кетликларнинг 0D соҳасида текис яқинлашишини ёки барибир       ) 20.7.1( ) , ( ) , ( ) , ( ) , ( ) , ( ) , ( 1 )(3 3 1 )(2 2 1 )(1 1 )1 ( )1 ( )1 (                n n n n n n y x y x y x y x y x y x n n n       функционал қаторларнинг 0 D соҳасида текис яқинлашишини кўрсатамиз. функционал қаторнинг текис яқинлашувчилиги ҳақидаги вейерштрас аломатига асосан, 7.1 , 7.2 – леммалардан ( 7.20 ) функционал қаторларнинг ёки барибир ( 7.19 ) функционал кетма-кетликларнинг 0 D соҳада текис яқинлашиши келиб чиқади. Уларнинг текис яқинлашган лимитларни мос равишда ) , ( ), , ( ), , ( 3 2 1 y x y x y x    лар билан белгилаймиз. ) , ( ), , ( ), , ( 3 2 1 y x y x y x    функциялар 0 D соҳада  0y узлуксиз функциялар ҳам бўлади. 7.1 ,7.2- леммаларга асосан улар учун қуйидаги баҳолашлар ҳам ўринли бўлади. ) 21.7.1( 1 1 2 ) ,( ) , ( 1 1 ) , ( 1 1 ) , ( 1 1 ) 2 ( ) ,( 0 0 0 0 25 3 2 25 3 25 2 2 1 q Ny y x y x q Ny y x q Ny y x q y x Ny y x                                    ( 7.21 ) баҳолашлар ( 7.13 ) системадаги интегралларнинг мавжуд бўлишини таъминлайди ва ( 7.14) системада лимитга ўтиб,лимитик фукциялар ) , ( ), , ( ), , ( 3 2 1 y x y x y x    функцияларнинг ( 7.13 ) системани қаноатлантиришига ишонч ҳосил қиламиз. ) , ( ) , (1 y x y x    бўлгани учун ) , ( y x  ҳам (7.13) системани қаноатлантиради ва )0 ( 2 2 3 2 3 2      y y y x       бўлгани учун 0 ) , ( D y x  да узлуксиз y ва x ўзгарувчилар бўйича биринчи тартибли ҳосилаларда эса ва улар узлуксиз. Иккинчи тартибли ( y ва x буйича) ҳосилаларга эга эканлигини кўрсатиш учун (7.13) системани x ўзгарувчи бўйича дифференциаллаб,     x x x 3 3 2 2 1 1 , ,,       нисбатан (7.13) ситемага ўхшаш система ҳосил қилиб, уни (7.13) системани ечиган усул билан ечамиз ва х, y б ў йича Д 0 соҳада иккинчи тартибли ҳосилаларга эга эканлигини курсатамиз. Агар ) , ( ), , ( ), , ( 3 2 1 y x y x y x    функциялар ( 7.13 ) системанинг ечимлари булса ) , ( y x  қ ) , (1 y x  функция ( 7.10 ) тенгламанинг ( 7.11 ) чегаравий шартини каноатлантирувчи ечими булади. У холда ( , ) U x y функция чегаравий шарт (7.11) ни каноатлантирувчи (7.10) тенгламанинг ечими булади. Шундай килиб 1  ва n қ 1 булган холда А * - чегаравий масала ечимининг мавжудлиги исботланди. 2. 1 ,2 1     n бўлсин бу ҳолда (7.1) тенгламанинг ) , ( y x  коэффиценти     my y x ) , ( (7.22) кўринишга эга бўлсин. У ҳолда (3.1) тенглама ) 23.7.1( ) ,( ) ,( ) ,( y x f Uy x C Uy x b U y U Uy x y m xx yy n       кўриниш олади. (7.23) тенгламанинг характеристикалари ) 24.7.1( 2 2 , 2 2 21 21 const yn x const yn x n n         эгри чизиқлардан иборат бўлади )0, ( ),0,0(  B A (7.24) характеристикалар ва 0 y чизиқ билан чегаланган характеритик учбурчакни яна 0D билан белгидаймиз. Унинг томонлари  CB AC AB , , лар билан белгилаймиз. (7.23) тенглама учун 0D соҳада қуйидаги чегаравий масалани қараймиз. B масала: 0D да регуляр, 0D да узлуксиз ва ) 25.7.1( ),0( )0( ), ( ), ( 1 1 1 1 2 1          x U x U чегаравий шартларни қаноатлантирувчи (7.23) тенгламанинг ечими топилсин. Бу ерда ) ( ), ( 2 1 x x   берилган дифферанциалланувчи функциялар қуйидаги каби бу ерда ҳам регуляр ечим деганда 0D икки марта дифференциалланувчи ва (7.23) тенгламани қаноатлантирувчи ) , ( y x  функцияни киритамиз. ) 26.7.1( ) ( ) ( ) ( )1( ) , ( ) , ( 2 1 x x x y y x U y x          у ҳолда (7.23) тенглама қуйидаги кўринишни олади:   )27.7.1(, fCbuyxyy yym xxyyn       бунда ) 28.7.1( )( ) ( )( )( )( ) )( ) ( )( ( 2 1 1 1 2 1 1 x C x x x y x x x x y f F m                   (7.28) чегаравий шарт эса қуйидаги кўринишни олади. ) 29.7.1( 0 )0,0( ,0 ,0 2 1         B чегаравий масаланинг ечими мавжудлиги кўрсатамиз. Бу учун (7.9) белгилашларга ўхшаш қуйидаги белгилашларни киритамиз. , ),( , ),( ),,( ),( 2 3 2 1 1 x y n x y n y yx y yx yx yx              7.30     , ) ( 2 ) ( 4 2 , ) ( 2 4 2 , 2 1 1 2 3 2 2 3 2 1 2 3 2 3 1 2 3 2 2 3 2 1 2 2 2 2 3 2 3                    n n n n n x n y n n n n n x n y x y C yb y ny F y y Cy yb y ny F y y                                  ( 7.31 ) у ҳолда (7.27) тенгламани (7.31) иккинчи тартибли тенгламалар системаси кўринишида ёзиш мумкин: ҳосил бўлган (7.31) система учун (7.29) чегаравий шартлар қуйидагича бўлади: ) 32.7.1( 0 0 ,0 1 1 2 3 1 1          ( 7.31 ) системанинг характеристикалари қуйидаги ) 33.7.1( 2 2 , 2 2 , 21 21 const yn x const yn x const y n n          (7.32) чегаравий шартларни ҳисобга олиб, (7.31) системани мос равишда унинг характеристикалари (7.32) бўйича интеграллаб қуйидаги интеграл тенгламалар системасига эгамиз. 3 3 0 1 2 3 2 2 3 2 1 2 3 2 2 2 2 2 2 1 2 3 2 2 3 2 1 2 2 2 2 2 2 3 2 1 3 ), ( ) , ( ), ( ( 2 ) , ( ) , ( ( 4 2 , ) , ( ), ( ( 2 ) , ( ) , ( ( 4 2 , )) , ( ) , ( ( 2 1 dS dS dt t x Ct y x t x tb y y t nt F t dS dS dt Ct y x t x tb y y t nt F t d y y S n n n n n x n yn n n n n n x n yn                                                                              Фойдаланилган адабиётлар р ў йхати : 1. Каримов И.А.”Асосий вазифамиз-Ватанимиз тараккиети ва халкимиз фаровонлигини янада юксалтиришдир”.Т.”Узбекистон” 2010й.3-80б. 2. Салохиддинов М.С. “Математик физика тенгламалари” Тошкент «Узбекистон» 2002й. 23-67б. 3. Салохиддинов М.С., Уринов А.К., «Гиперболик ва эллиптик типдаги бузиладиган дифференсиал тенгламалар».Тошкент. «Узбекистон» 2006й. 29-133б. 4. Смирнов М.М. “Уравнения смешанного типа” M . «Наука» 1970г .26-151 c . 5. Терсенов С.А. Введение в теорию уравнений, вырождаюшихся на границе. Новосибрк – 1973г.34-67с. 6. Туйлиев А. О задача Дарбу для одной вырождающейся гиперболической системы. ДАН Уз СССР, 1985, № 9. 3-4с.

Похожие

Гиперболик типдаги бузиладиган биринчи тур тенглама учун коши масаласи
Гиперболик фазо ҳақида тушунча, гиперболик текислик аксиомалари системасининг зидсизлиги
Дифференциал тенгламалар
Дифференциал ҳисобнинг татбиқлари
Дифференциал ҳисоб функция ҳосиласи