ЎЗБЕКИСТОН МИЛЛИЙ УНИВЕРСИТЕТИ, МАТЕМАТИКА
ИНСТИТУТИ ҲУЗУРИДАГИ ИЛМИЙ ДАРАЖАЛАР БЕРУВЧИ
DSc.27.06.2017.FM.01.01 РАҚАМЛИ ИЛМИЙ КЕНГАШ
ЎЗБЕКИСТОН МИЛЛИЙ УНИВЕРСИТЕТИ
ХАЖИЕВ ИКРОМБЕК ОЗОДОВИЧ
ХУСУСИЙ ҲОСИЛАЛИ АРАЛАШ-ТУЗИЛМАЛИ ТУРДАГИ
ТЕНГЛАМАЛАРГА ҚЎЙИЛГАН НОКОРРЕКТ МАСАЛАЛАРНИ
ТАДҚИҚ ЭТИШ ВА ТАҚРИБИЙ ЕЧИШ
01.01.02 – Дифференциал тенгламалар ва математик физика
ФИЗИКА-МАТЕМАТИКА ФАНЛАРИ БЎЙИЧАФАЛСАФА ДОКТОРИ (PhD)
ДИССЕРТАЦИЯСИ АВТОРЕФЕРАТИ
Тошкент шаҳри – 2017 йил
2
УДК: 519.6+517.95
Физика-математика фанлари бўйича фалсафа доктори (PhD)
диссертацияси автореферати мундарижаси
Оглавление автореферата диссертации
доктора философии (PhD) по физико-математическим наукам
Contents of dissertation abstract of doctor of philosophy (PhD)
on physical-mathematical sciences
Хажиев Икромбек Озодович
Хусусий ҳосилали аралаш-тузилмали турдаги тенгламаларга қўйилган
нокоррект масалаларни тадқиқ этиш ва тақрибий ечиш. . . . . . . . . . . . . . . . . . .3
Хажиев Икромбек Озодович
Исследования и приближенные решения некорректных задач для уравнений
в частных производных смешанно-составного типа. . . . . . . . . . . . . . . . . . . . .23
Khajiev Ikrombek Ozodovich
Investigations and approximate solutions of ill-posed problems for partial
differential equations of mixed-composite type. . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Эълон қилинган ишлар рўйиҳати
Список опубликованных работ
List of published works . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3
ЎЗБЕКИСТОН МИЛЛИЙ УНИВЕРСИТЕТИ, МАТЕМАТИКА
ИНСТИТУТИ ҲУЗУРИДАГИ ИЛМИЙ ДАРАЖАЛАР БЕРУВЧИ
DSc.27.06.2017.FM.01.01 РАҚАМЛИ ИЛМИЙ КЕНГАШ
ЎЗБЕКИСТОН МИЛЛИЙ УНИВЕРСИТЕТИ
ХАЖИЕВ ИКРОМБЕК ОЗОДОВИЧ
ХУСУСИЙ ҲОСИЛАЛИ АРАЛАШ-ТУЗИЛМАЛИ ТУРДАГИ
ТЕНГЛАМАЛАРГА ҚЎЙИЛГАН НОКОРРЕКТ МАСАЛАЛАРНИ
ТАДҚИҚ ЭТИШ ВА ТАҚРИБИЙ ЕЧИШ
01.01.02 – Дифференциал тенгламалар ва математик физика
ФИЗИКА-МАТЕМАТИКА ФАНЛАРИ БЎЙИЧАФАЛСАФА ДОКТОРИ (PhD)
ДИССЕРТАЦИЯСИ АВТОРЕФЕРАТИ
Тошкент шаҳри – 2017 йил
4
Физика-математика фанлари бўйича фалсафа доктори (Doctor of Philosophy)
диссертацияси мавзуси Ўзбекистон Республикаси Вазирлар Маҳкамаси ҳузуридаги Олий
аттестация комиссиясида В2017.1.PhD/FM12 рақам билан рўйхатга олинган.
Докторлик диссертацияси Ўзбекистон Миллий университетида бажарилган.
Диссертация автореферати уч тилда (ўзбек, рус, инглиз (резюме)) Илмий кенгаш веб-
саҳифаси (http://ik-fizmat.nuu.uz/) ва «Ziyonet» Ахборот таълим порталида (www.ziyonet.uz)
жойлаштирилган.
Илмий раҳбар:
Фаязов Кудратилло Садридинович
физика-математика фанлари доктори, профессор
Расмий оппонентлар:
Хасанов Акназар Бекдурдиевич
физика-математика фанлари доктори, профессор
Исломов Бозор Исломович
физика-математика фанлари доктори, профессор
Етакчи ташкилот:
Бухоро давлат университети
Диссертация ҳимояси Ўзбекистон Миллий университети, Математика институти ҳузуридаги
DSc.27.06.2017.FM.01.01 рақамли Илмий кенгашнинг 2017 йил «___»___________ соат ___ даги
мажлисида бўлиб ўтади. (Манзил: 100174, Тошкент ш., Олмазор тумани, Университет кўчаси,
4- уй. Тел.: (+99871) 227-12-24, факс: (+99871) 246-53-21, 246-02-24, e-mail: nauka@nuu.uz).
Диссертация билан Ўзбекистон Миллий университетининг Ахборот-ресурс марказида
танишиш мумкин (___ рақами билан рўйхатга олинган). Манзил: 100174, Тошкент ш., Олмазор
тумани, Университет кўчаси, 4-уй. Тел.: (+99871) 246-02-24.
Диссертация автореферати 2017 йил «___» _______________куни тарқатилди.
(2017 йил «____» ___________ даги ______ рақамли реестр баѐнномаси).
А.С. Садуллаев
Илмий даражалар берувчи Илмий
кенгаш раиси, ф.-м.ф.д., академик
Ғ.И. Ботиров
Илмий даражалар берувчи Илмий
кенгаш илмий котиби, ф.-м.ф.н.
М.С. Салахитдинов
Илмий даражалар берувчи Илмий
кенгаш ҳузуридаги илмий семинар раиси,
ф.-м.ф.д., академик
5
КИРИШ (фалсафа доктори (PhD) диссертацияси аннотацияси)
Диссертация мавзусининг долзарблиги ва зарурати.
Жаҳон миқѐсида
олиб борилаѐтган кўплаб илмий-амалий тадқиқотлар аксарият ҳолларда
хусусий ҳосилали дифференциал тенгламалар учун нокоррект чегаравий
масалаларни тадқиқ қилишга келтирилади. Тескари ва нокоррект
масалаларнинг асоссий объекти геофизик кузатувлар, газ динамикаси,
акустик тўлқинлар тарқалиши каби амалий тадқиқотларнинг моделларидир.
Аралаш-тузилмали
турдаги
дифференциал
тенгламаларга
қўйилган
нокоррект чегаравий масалаларни шартли корректликка текшириш ва
тақрибий ечимларини қуриш етарли даражада шаклланмаганлиги сабабли,
ушбу нокоррект масалаларга оид тадқиқотларни ривожлантириш муҳим
вазифалардан бири бўлиб қолмоқда.
Мустақиллик йилларида мамлакатимизда фундаментал фанларнинг
амалий татбиқига эга бўлган дифференциал тенгламаларнинг долзарб
йўналишларига, жумладан аралаш-тузилмали турдаги хусусий ҳосилали
дифференциал тенгламалар учун турли чегаравий масалаларни тадқиқ
қилишга алоҳида эътибор қаратилди. Бунинг натижасида хусусий ҳосилали
дифференциал тенгламалар учун тескари ва нокоррект чегаравий
масалаларни тадқиқ қилиш ҳамда уларнинг тақрибий ечимларини қуришга
доир салмоқли натижаларга эришилди. “Математика, физика, амалий
математика фанларининг устивор йўналишлари бўйича халқаро стандартлар
даражасида илмий тадқиқотлар олиб бориш асосий вазифалар ва фаолият
йўналишлари” этиб белгиланди
1
. Қарор ижросини таъминлашда хусусий
ҳосилали дифференциал тенгламалар назарияси, тескари ва нокоррект
масалалар назарияси ва қарорларни қабул қилиш назарияларини
ривожлантириш муҳим аҳамиятга эга.
Ҳозирги кунда жаҳонда юқори тартибли аралаш-тузилмали турдаги
хусусий
ҳосилали
тенгламаларга
қўйилган
нокоррект
чегаравий
масалаларнинг ечимини шартли корректликкка текшириш, тақрибий
ечимларини қуриш, аниқ ечими ва тақрибий ечими орасидаги фарқни
баҳолаш билан боғлиқ муаммоларни тадқиқ қилиш ва амалиѐтга татбиқ этиш
муҳим аҳамият касб этмоқда. Бу борада: масаланинг ечими априор баҳосини
аниқлаш; корректлик тўпламини топиш; ягоналик ва шартли турғунлик
теоремаларини исботлаш; регулярлаштириш ва квазитескари усуллари билан
тақрибий ечим қуриш, аниқ ва тақрибий ечим орасидаги фарқ нормасига мос
функционал фазода баҳо топиш; регулярлаштириш параметрни ҳисоблаш
формула келтириб чиқариш; бошланғич берилганларга мос аниқ ва тақрибий
ечимларни ҳисоблаш алгоритмини тузиш ва дастурини яратиш мақсадли
илмий тадқиқотлар ҳисобланади.
1
Ўзбекистон Республикаси Вазирлар Маҳкамасининг 2017 йил 18 майдаги “Ўзбекистон Республикаси
Фанлар академиясининг янгидан ташкил этилган илмий-тадқиқот муассасалари фаолиятини ташкил этиш
тўғрисида”ги 292-сон қарори
6
Ўзбекистон Республикаси Президентининг 2008 йил 15 июлдаги
ПҚ-916-сон «Инновацион лойиҳалар ва технологияларни ишлаб чиқаришга
татбиқ этишни рағбатлантириш борасидаги қўшимча чора-тадбирлар
тўғрисида»ги, 2017 йил 17 февралдаги ПҚ-2789-сон «Фанлар академияси
фаолияти, илмий-тадқиқот ишларини ташкил этиш, бошқариш ва
молиялаштиришни янада такомиллаштириш чора-тадбирлари тўғрисида»ги
Қарори ва 2017 йил 8 февралдаги ПФ-4947-сон «Ўзбекистон Республикасини
янада ривожлантириш бўйича харакатлар стратегияси тўғрисида»ги Фармони
ҳамда мазкур фаолиятга тегишли бошқа норматив-ҳуқуқий хужжатларда
белгиланган вазифаларни амалга оширишга ушбу диссертация тадқиқоти
муайян даражада хизмат қилади.
Тадқиқотнинг республика фан ва технологиялари ривожланиши
устувор йўналишларига боғлиқлиги.
Мазкур тадқиқот республика фан ва
технологиялар
ривожланишининг
IV.
«Математика,
механика
ва
информатика» устувор йўналиши доирасида бажарилган.
Муаммонинг ўрганилганлик даражаси.
Диссертацияда тадқиқот
қилинаѐтган масалалар математик физиканинг аралаш тенгламалар синфига
тегишли. Бундай турдаги тенгламаларга қўйилган коррект чегаравий
масалалар кўп математиклар томонидан тадқиқ қилинган. Йўналишини вақт
бўйича ўзгартирувчи параболик тенглама учун чегаравий масалани M.Jevrey
қараган. Бундай масалаларни турли чегаравий ва бошланғич шартлар билан
C.D.Pagani, G.Talenti, В.В.Врагов, В.К.Романко, С.А.Терсенов, А.М.Нахушев
ва бошқалар тадқиқ қилишган. Ф.Трикоми ва С.Геллерстедт илмий ишлари
аралаш турдаги тенгламаларга бағишланган. Бунга М.А.Лаврентьев,
М.В.Келдыш, А.В.Бицадзе, М.С.Салахитдинов, Т.Д.Джураев, В.Н.Врагов,
К.Б.Сабитов, А.И.Кожанов, С.П.Пулькин, А.П.Солдатов, Н.В.Кислов ва
уларнинг илмий мактабининг илмий ишлари ҳам тегишли.
Тескари вақт оралиғи билан параболик тенглама учун нокоррект
чегаравий масала А.Н.Тихонов, М.Ландис, С.Г.Крейн, С.П.Шишатский,
Х.Левин ва бошқаларнинг илмий ишларида қаралган. Бу ишларда параболик
турдаги тенглама учун Коши масаласини характерламайдиган тескари
масаланинг шартли корректлиги қаралган. Ушбу натижалар С.Г.Крейн,
Х.Левин ва бошқалар томонидан ўз-ўзига қўшма оператор коэффициентли
эволюцион дифференциал тенгламалар учун умумлаштирилган. Шундай
тадқиқотлар псевдо-дифференциал тенгламалар учун B.D.Coleman, R.J.Duffin
ва V.J.Mizel ишларида бажарилган. Эллиптик турдаги тенгламалар учун
нокоррект масалалар F.John, М.М.Лаврентьев, С.Г.Крейн, М.Ландис,
В.К.Иванов ва бошқалар тадқиқ қилишган.
Гиперболик тенглама учун Дирехли масаласи А.Ш.Алимов томонидан
қаралган. Ш.Ярмухамедов Карлеман функцияси ѐрдамида эллиптик тенглама
учун Коши масаласининг тақрибий ечимини қурган. Ш.Ярмухамедов
ўқувчилари томонидан тенгламалар системаси учун Карлеман функцияси
усули билан регулярлашган ечим қурилган. С.П.Шишатский ҳамда
М.Х.Аламинов натижаларини такидлаш керак, бунда бузилган параболик ва
эллиптик тенгламалар учун нокоррект чегаравий масалалар қаралган.
7
А.Хайдаров ва Д.К.Дурдиевларнинг тадқиқот ишларида эллиптик ва
гиперболик тенгламалар учун тескари ва нокоррект масалалар ўрганилган,
Акр.Бегматовнинг ишларида эса интеграл геометрия масалалари тадқиқ
қилинган. Йўналишини вақт бўйича ўзгартирувчи, иккинчи тартибли аралаш
турдаги тенгламаларга қўйилган нокоррект масалалар К.С.Фаязов ишларида
ўрганилган.
Диссертация тадқиқотининг диссертация бажарилган олий таълим
муассасасининг илмий-тадқиқот ишлари режалари билан боғлиқлиги.
Диссертация тадқиқоти Ўзбекистон Миллий университетининг Ф-4-30
«Оператор тип коэффициентли дифференциал-оператор тенгламалар учун
ички ва чегаравий масалалар» (2012-2016 йиллар) мавзусидаги илмий
тадқиқот лойиҳаси доирасида бажарилган.
Тадқиқотнинг мақсади
юқори тартибли аралаш, тузилмали ва аралаш-
тузилмали турдаги хусусий ҳосилали дифференциал тенгламаларга қўйилган
нокоррект масалаларни шартли корректликка текшириш ва мос корректлик
тўпламида тақрибий ечимларини топишдан иборат.
Тадқиқотнинг вазифалари:
юқори тартибли тузилмали ва аралаш-тузилмали турдаги хусусий
ҳосилали дифференциал тенгламаларга қўйилган нокоррект чегаравий
масалаларни тадқиқ қилиш;
юқори тартибли аралаш турдаги хусусий ҳосилали тенгламаларга
қўйилган нокоррект чегаравий масалаларни тадқиқ қилиш;
регулярлаштирилган тақрибий ечимларни топиш, мос функционал
фазоларда аниқ ва тақрибий ечим орасидаги фарқ нормаси учун баҳо
аниқлаш;
регулярлаштириш параметрини ҳисоблаш формуласини топиш, сонли
ечимни ва график натижаларни чиқариш дастурини тузиш.
Тадқиқотнинг объекти
юқори тартибли аралаш, тузилмали ва аралаш-
тузилмали турдаги хусусий ҳосилали дифференциал тенгламалардан иборат.
Тадқиқотнинг предмети
юқори тартибли аралаш, тузилмали ва
аралаш-тузилмали турдаги хусусий ҳосилали дифференциал тенгламаларга
қўйилган нокоррект чегаравий масалалардан иборат.
Тадқиқотнинг усуллари.
Тадқиқот ишида математик таҳлил, спектрал
ѐйилмалар, логарифмик қавариқлик, Карлеман баҳо, математик физика ва
дифференциал тенгламаларни ечиш усулларидан фойдаланилган.
Тадқиқотнинг илмий янгилиги
қуйидагилардан иборат:
юқори тартибли аралаш, тузилмали ва аралаш-тузилмали турдаги
хусусий ҳосилали дифференциал тенгламалар учун нокоррект чегаравий
масалаларнинг ечимлари априор баҳоси олинган;
юқори тартибли аралаш, тузилмали ва аралаш-тузилмали турдаги
хусусий ҳосилали дифференциал тенгламалар учун нокоррект чегаравий
масалаларнинг корректлик тўплами аниқланган ҳамда ягоналик, шартли
турғунлик теоремалари исботланган;
регулярлаштириш усули билан тақрибий ечим топилиб, мос фазода аниқ
ечим билан тақрибий ечим орасидаги фарқ нормаси учун баҳо аниқланган,
8
регулярлаштириш параметрини ҳисоблаш учун формула келтирилиб
чиқарилган;
ҳисоблаш алгоритмлар асосида аниқ ва тақрибий ечимнинг сонли,
график натижаларини чиқариш дастури Visual C# муҳитида тузилган.
Тадқиқотнинг амалий натижалари
аралаш-тузилмали турдаги
хусусий ҳосилали тенгламаларга қўйилган нокоррект масалалар ечими учун
априор баҳо олинганлиги, шартли корректлик тўпламлари аниқланганлиги ва
тақрибий ечимни ҳисоблаш учун регулярлаштириш параметри формуласи
топилганлидан иборатдир.
Тадқиқот натижаларининг ишончлилиги
функционал анализ,
дифференциал тенгламалар назарияси, нокоррект масалалар назарияси
усулларидан фойдаланилганлиги ҳамда математик мулоҳазаларнинг ва
исботларнинг қатъийлиги билан асосланган.
Тадқиқот натижаларининг илмий ва амалий аҳамияти.
Тадқиқот
натижаларининг илмий аҳамияти аралаш-тузилмали турдаги хусусий
ҳосилали дифференциал тенгламалар назарияси ҳамда нокоррект масалалар
назариясининг ривожланиши учун фойдаланиш мумкинлиги билан
изоҳланади.
Тадқиқот натижаларининг амалий аҳамияти аралаш, тузилмали, аралаш-
тузилмали турдаги дифференциал тенгламаларга қўйилган нокоррект
чегаравий масалалар билан ифодаланувчи геофизик кузатувлар, газ
динамикаси, туташ муҳитлар механикси, акустик тўлқинлар тарқалиши каби
жараѐнларнинг моделларига татбиқ этиш билан белгиланади.
Тадқиқот натижаларининг жорий қилиниши:
Нокоррект масалаларнинг ечимлари учун шарли турғунлик баҳони
аниқлаш ва мос корректлик тўпламида тақрибий ечимларини топиш:
учинчи тартибли аралаш-тузилмали турдаги хусусий ҳосилали
тенгламага қўйилган нокоррект масаланинг шартли турғунлиги ва бир
жинсли бўлмаган тенгламаларга қўйилган чегаравий масала ечими априор
баҳоси “Математик физика тенгламалари” номли ўқув қўлланманинг “5-§.
Коррект қўйилган масала тушунчаси. Нокоррект чегаравий масалаларга
мисоллар” ва “21- §. Бир жинсли бўлмаган иссиқлик тарқалиш тенгламаси
учун Коши масаласи”да фойдаланилган (Ўзбекистон Республикаси Олий ва
ўрта махсус таълим вазирлигининг 2017 йил 30 октябрдаги 89-03-2584 сонли
маълумотномаси).
Илмий
натижаларнинг
қўлланилиши
нокоррект
масалаларга мисоллар тузиш ва бир жинсли бўлмаган иссиқлик тарқалиш
тенгламаси учун Коши масаласи ечими ягоналиги ҳамда турғунлигини
исботлаш имконини берган;
аралаш-тузилмали турдаги тенгламалар учун нокоррект чегаравий
масалаларнинг ечими априор баҳоси Ф-4-02 рақамли грантда каср тартибли
хусусий ҳосилали дифференциал тенгламаларга қўйилган чегаравий
масалаларнинг ечими априор баҳосини аниқлашда қўлланилган (Ўзбекистон
Республикаси Фан ва технологиялар агентлигининг 2017 йил 28 августдаги
ФТА-02-11/558-сонли
маълумотномаси).
Илмий
натижаларнинг
қўлланилиши каср тартибли хусусий ҳосилали дифференциал тенгламаларга
9
қўйилган чегаравий масалаларнинг ечими ягоналиги ва турғунлигини
аниқлаш имконини берган;
аралаш турдаги хусусий ҳосилали тенгламаларга қўйилган чегаравий
масалаларга мос спектрал масалаларнинг хоссалари Ф-4-02 рақамли грантда
каср тартибли хусусий ҳосилали дифференциал тенгламаларга қўйилган
масалаларга мос спектрал масалаларни ўрганишда қўлланилган (Ўзбекистон
Республикаси Фан ва технологиялар агентлигининг 2017 йил 28 августдаги
ФТА-02-11/558-сонли
маълумотномаси).
Илмий
натижаларнинг
қўлланилиши каср тартибли хусусий ҳосилали дифференциал тенгламаларга
қўйилган масалаларга мос спектрал масалаларнинг хос сонлари ва хос
функцияларини аниқлаш имконини берган.
Тадқиқот
натижаларининг
апробацияси.
Мазкур
тадқиқот
натижалари 14 илмий-амалий анжуманларда, жумладан 8 та халқаро ва 6 та
республика илмий - амалий анжуманларида муҳокамадан ўтказилган.
Тадқиқот натижаларининг эълон қилинганлиги.
Диссертация
мавзуси бўйича жами 23 та илмий иш чоп этилган, шулардан, Ўзбекистон
Республикаси Олий аттестатция комиссиясининг докторлик диссертациялари
асосий илмий натижаларини чоп этиш тавсия этилган илмий нашрларда 9 та
мақола, жумладан, 2 таси хорижий ва 7 таси республика журналларида нашр
этилган.
Диссертациянинг тузилиши ва ҳажми.
Диссертация кириш қисми,
учта боб, хулоса ва фойдаланилган адабиѐтлар рўйхати, иловадан ташкил
топган. Диссертациянинг ҳажми 100 бетни ташкил этган.
ДИССЕРТАЦИЯНИНГ АСОСИЙ МАЗМУНИ
Кириш
қисмида
диссертация мавзусининг долзарблиги ва зарурати
асосланган,
тадқиқотнинг
республика
фан
ва
технологиялари
ривожланишининг
устивор
йўналишларига
мослиги
кўрсатилган,
муаммонинг ўрганилганлик даражаси келтирилган, тадқиқот мақсади,
вазифалари, объекти ва предмети тавсифланган, тадқиқотнинг илмий
янгилиги ва амалий натижалари баѐн қилинган, олинган натижаларнинг
назарий ва амалий аҳамияти очиб берилган, тадқиқот натижаларининг жорий
қилиниши, нашр этилган ишлар ва диссертация тузилиши бўйича
маълумотлар келтирилган.
Диссертациянинг
«Шартли-коррект масалалар ва аралаш-тузилмали
турдаги дифференциал тенгламалар»
деб номланувчи биринчи боби
диссертациянинг асосий натижаларини баѐн қилишда зарур бўладиган
ѐрдамчи маълумотлар, асосий таърифлар, нокоррект масалалар учун муҳим
лемма ва теоремалар, учинчи тартибли аралаш турдаги хусусий ҳосилали
тенглама учун нокоррект чегаравий масалани шартли корректликка
текшириш ва тақрибий ечиш, учинчи ва тўртинчи тартибли тузилмали
турдаги хусусий ҳосилали тенгламаларга қўйилган чегаравий масала шартли
корректлиги ва регуляризациясига бағишланган.
10
1.1-параграфда диссертация мавзуси бўйича қилинган тадқиқотларни
умумлаштирувчи қисқача маълумот, коррект ва нокоррект масала
тушунчаси, шартли коррект таърифи, А.Н.Тихонов теоремаси, логарифмик
қабариқ функцияси, регулярлаштириш оператори таърифи келтирилган.
2.2-параграфда
қуйидаги чегаравий масала қаралган: Берилган
{ 1
1,
0, 0
}
x
x
t
T
соҳада
2
2
2
2
1 sgn
( , )
0
x
u x t
t
t
x
,
(1)
тенгламани ва бошланғич
1
2
3
( , 0)
( ),
( , 0)
( ),
( , 0)
( )
t
tt
u x
p x
u x
p x
u x
p x
,
(2)
чегаравий
( 1, )
(1, )
0
u
t
u t
,
(3)
тикиш
( 0, )
( 0, ),
( 0, )
( 0, )
x
x
u
t
u
t
u
t
u
t
,
(4)
шартларини қаноатлантирувчи
( , )
u x t
функцияни топинг. Бунда
1
2
3
( ),
( ),
( )
p x
p x
p x
берилган функциялар.
Йўналишини вақт бўйича ўзгартирувчи параболик турдаги ва аралаш
турдаги иккинчи тартибли тенгламалар учун коррект чегаравий масалалар
кўпчилик муаллифлар томонидан ўрганилган. К.С. Фаязов ишида эса
Лаврентьев-Бицадзе тенгламаси учун нокоррект чегаравий масала тадқиқ
қилинган.
Мазкур (1)-(4) масалани тадқиқ қилишда
( , )
( , )
( , )
t
u x t
u x t
v x t
белгилаш
киритамиз ва
2
2
2
2
( , )
( , )
sgn
0
v x t
v x t
x
t
x
( , 0)
( ),
( , 0)
( )
t
v x
f x
v x
g x
( 1, )
(1, )
0
v
t
v t
( 0, )
( 0, ),
( 0, )
( 0, )
x
x
v
t
v
t
v
t
v
t
масалага келамиз, бу ерда
2
1
3
2
( )
( )
( ), ( )
( )
( )
f x
p x
p x
g x
p x
p x
. Бу масалани
ўрганишда
(x)
X(x)
0,
( 1)
X(1)
0,
( 0)
X( 0),
( 0)
X ( 0),
sgn x X
X
X
X
спектрал масаланинг хоссаларидан фойдаланилади.
Умумлашган ечим деб
1
1
1
0
1
1
1
( , ) sgn
sgn
( , 0) ( )
sgn
( , 0) ( )
T
tt
xx
t
v x t
xV
V dxdt
xV x
g x dx
xV x
f x dx
11
тенгликни қаноатлантирувчи
2
( , )
L ( 1,1); [0, T]
v x t
C
функцияни тушунамиз,
бунда
2
2
( , )
( )
V x t
W
,
( , )
( , )
0,
t
V x T
V x T
( 1, )
(1, )
0
V
t
V
t
шартларни
бажарувчи ихтиѐрий функция.
Ушбу параграфда қуйидаги лемма ва теоремалар исботланган.
Лемма 1.
sgn
( , )
( , )
0
tt
xx
x v x t
v x t
тенгламани ва
( 1, )
(1, )
0
v
t
v t
шартни
қаноатлантирувчи
( , )
v x t
функция учун
1
1
1
2
2
2
2 (
)
1
1
1
( , )
4
( , 0)
( , )
T t
t
T
T
t T t
x
x
v x t dx
v x
dx
v x T dx
e
баҳо ўринли, бу ерда
1
1
2
2
1
1
1
( , 0)
( , 0)
2
xx
xt
sgn x v x
dx
v x
dx
.
Теорема 1.
Фараз қиламиз масаланинг ечими мавжуд,
( , )
u x t
M
, ва
:
( , )
( , )
tx
x
M
u u x T
u x T
M
. У ҳолда (1)-(4) масала ечими ягона.
Теорема 2.
Фараз қиламиз масаланинг ечими мавжуд,
1
2
( , ), ( , )
u x t u x t
M
,
:
( , )
( , )
tx
x
M
u u x T
u x T
M
ва
2
2
[ 1;1]
i
i
W
p
p
1,2.,
i
1
2
3
3
[ 1;1]
W
p
p
.
У ҳолда (1)-(4) масаланинг ечими учун
1/2
2
2
2
2
2 (
)
1
2
0
( , )
( , )
8
1
2
2
t
T s
s
t
t
s T s
T
T
u x t
u x t
e
e
m
e
ds
баҳо ўринли.
Фараз қиламиз қаралаѐтган (1)-(4) масаланинг ечими мавжуд,
M
тўпламга тегишли ва
( )
( )
i
i
p x
p x
,
1,2,3.,
0
i
. У ҳолда аниқ ва
тақрибий бошланғич берилганларга мос тақрибий ечим қурилиб, мос
функционал фазода аниқ ва тақрибий ечимлар орасидаги фарқ нормаси
қуйидаги тенгсизликни қаноатлантиради
1
2
2
2
(
)
2
2
2
2
2
1
0
( , )
( , )
2
1
/
2
2
N
T
T t
t T
T
T
N
N
N
u t x
u
t x
e
m e
e
e
ch
t dt
,
бу ерда
k
,
tg
th
тенгламанинг мусбат ечимлари.
1.3 - параграф бигармоник тенгламага қўйилган чегаравий масала
регуляризацияси ва шартли корректлигига бағишланган.
Масаланинг қўйилиши.
0
, 0
x
t
T
соҳада
2
( , )
0
u x t
(5)
тенгламани,
( )
0
( ),
0,1,2, 3 ,
0
i
i
i
t
u
f x
i
x
t
,
(6)
( )
( )
0
0,
0,2 , 0
i
i
i
i
x
x
u
u
i
t
T
x
x
(7)
чегаравий шартларни қаноатлантирувчи
( , )
u x t
функцияни топинг.
12
Лаплас тенгламаси учун Коши масаласи М.М.Лаврентьев, М.Е. Ландис,
абстракт шаклида эса С.Г. Крейн, H.Levine ва бошқалар томонидан шартли
корректликка текширилган.
Лемма 2.
Ушбу
( , )
0
v x t
тенгламани,
( , 0)
( , )
0
v t
v t
шартни
қаноатлантирувчи
( , )
v x t
ечим учун
1
2
2
2
0
0
0
( )
(0, )
( , )
t
t
T
T
v dx
c t
v
x dx
p
v T x dx
p
,
баҳо ўринли, бу ерда
2 (
)
( )
t T t
c t
e
,
2
2
0
1
(0, )
(0, )
2
x
t
p
v
x
v
x dx
.
Лемма 3.
(5) тенгламани ва (7) шартларни қаноатлантирувчи функция
ихтиѐрий
(0, )
t
T
да
1
( )
( )
2
2
2
0
0
0
0
0
( )
( , 0)
r t
r t
t
T
u dxd
d t T
u x
dx
u dxdt
тенгсизликни қаноатлантиради, бу ерда
2
2
2
1
1
2
1
2
1
( )
t
T
T
e
T
e
t
T
e
d t
e
,
2
2
0
0
2
1
( , )
T
T
v x t dxdt
,
2
2
0
2
( , 0)
( , 0)
( , 0) ( , 0)
x
t
t
Tu x
Tu x
u x
u x
dx
,
2
2
1
( )
1
t
T
e
r t
e
.
Корректлик тўплами
M
ни қуйидагича аниқлаймиз
: ( , )
( , )
( , )
xx
tt
M
u u x T
u x T
u x T
m
.
Теорема 3.
Фараз қиламиз (5)-(7) масаланинг ечими мавжуд ва
( , )
u x t
M
. У
ҳолда масаланинг ечими ягонадир.
Теорема 4.
Фараз қиламиз масаланинг ечими мавжуд,
1
2
( , ), ( , )
u x t u x t
M
,
3
2
i
i
i
W
f
f
,
0,1,2, 3.
i
У ҳолда (5)-(7) масаланинг ечими учун қуйидаги
тенгсизлик ўринли
1
( )
( )
2
2
2
1
2
0
0
( , )
( , )
( )
2
t
r t
r t
u x t
u x t
dxd
c t T
m T
бу ерда
1
2
2 (
)
2
2
2
2
0
2
1
2
2
4
2
T
t
t
t T t
T
T
T
e
m
dt
T
.
(5)-(7) масаланинг тақрибий ечими квазитескари ва Тихонов
ругулярлаштириш усуллари билан қурилган. Аниқ берилганларга мос аниқ
ечим ва тақрибий берилганларга мос тақрибий ечим орасидаги фарқ баҳоси
аниқланган:
Квазитескари усули билан аниқланган баҳо
4
2
2
4
( , )
( , )
(
)
t
m t
u t x
u t x
e
e T
t
.
13
Бу тенгсизликнинг ўнг тарафи
0
учун
4
2
2
0
4
inf
(
)
t
M t
e
e T
t
,
t
T
дан
парамертр қиймати топилади.
Тихонов регулярлаштириш усули билан
(
1)(
)
( , )
( , )
2
2
Nt
N
t T
N
m
e
u t x
u
t x
e
баҳони келтириб чиқариш мумкин.
Маълумки, охирги тенгсизликнинг ўнг тарафидаги ифоданинг
(
1)(
)
0
inf
N
t T
Nt
me
e
дан, регулярлаштириш параметри
N
топилади. Агар
0
бўлса
1
ln
m
N
T
.
Биринчи бобнинг 4-параграфида учинчи тартибли тузилмали турдаги
хусусий ҳосилали дифференциал тенгламага қўйилган чегаравий масала
ечимининг шартли корректлиги кўрсатилган.
Масаланинг қўйилиши. Берилган
{0
1, 0
}
x
t
T
соҳада
2
2
2
2
2
2
( , )
( , )
u x t
f x t
t
x
t
x
(8)
тенгламани, бошланғич
0
( , )
( ),
0,1,2., 0
1;
i
i
i
t
u x t
x i
x
t
(9)
чегаравий
(0, )
(1, )
0
(0, )
(1, )
0
xx
xx
u
t
u t
u
t
u
t
,
0
t
T
,
(10)
шартларни қаноатлантирувчи
( , )
u x t
функцияни топинг.
(8)-(10) масалани тадқиқ қилиш учун лемма 3 ва қуйидаги леммадан
фойдланилган.
Лемма 4.
Ушбу
2
2
( , )
( , )
v x t
f x t
t
x
,
( , )
x t
,
тенгламанинг ечими ва
(0, )
(1, )
0,
v t
v t
0
t
T
.
шартларни қаноатлантирувчи
( , )
v x t
функция учун
2
2
2
2
2
2
2
2
0
0
0
0
0
0
1
( , )
( , )
( , 0)
( , )
2
2
T
T
sT
sT
x
e
v x t dxdt
f x t dxdt Te
v x
dx
v x T dx
s
s
баҳо ўринли, бу ерда
0
s
.
Белгилаш киритамиз
: ( , )
( , )
( , )
xxx
xtt
M
u u x T
u
x T
u
x T
m
.
Теорема 5.
Фараз қиламиз (8)-(10) масала ечими мавжуд ва
( , )
u x t
M
, у
ҳолда бу масаланинг ечими ягона.
14
Теорема 6.
Фараз қиламиз (8)-(10) масала ечими мавжуд,
1
2
( , ), ( , )
u x t u x t
M
ва
2
2
0
0
[0, ]
( )
( )
W
p x
p x
,
2
1
1
[0, ]
( )
( )
L
p x
p x
,
2
2
2
[0, ]
( )
( )
L
p x
p x
,
2
[0, ]
( , )
( , )
L
f x t
f x t
. У ҳолда бу масала ечими учун ушбу тенгсизлик
ўринли
1
( )
( )
2
2
2
1
2
0
0
( , )
( , )
( )
t
r t
r t
u x t
u x t dxd
d t T
Tm
где
2
2
2
2
2
2
1
1
2
1
4
2 2
1
2
2
sT
T
e
T
m
T
s
s
,
0
s
.
Диссертациянинг
«Аралаш-тузилмали
турдаги
тенгламаларга
қўйилган чегаравий масалаларнинг Тихонов бўйича корректлигини
тадқиқ қилиш»
деб номланувчи иккинчи бобида
t
ўзгарувчи бўйича
иккинчи, учинчи ва тўртинчи тартибли аралаш-тузилмали турдаги хусусий
ҳосилали дифференциал тенгламаларга қўйилган нокоррект чегаравий
масалалар қаралган. Ҳар бир масала ечими учун априор баҳо олиниб, мос
корректлик тўпламида ягоналик ва шартли турғунлик теоремалари исбот
қилинган.
Иккинчи бобнинг 1-параграфида пароболик турдаги вақт бўйича
йўналишини ўзгартирувчи ва иссиқлик тарқалиш тенгламаларидан тузилган
t
ўзгарувчига нисбатан иккинчи,
x
ўзгарувчига нисбатан эса тўртинчи
тартибли
тенглама
учун
чегаравий
масала
қаралган.
Бунда
{ 1
1,
0, 0
}
x
x
t
T
соҳада
2
2
2
2
( , )
0
sign x
u x t
t
t
x
x
(11)
тенгламани,
( , 0)
( ),
( , 0)
( ),
1
1;
t
u x
f x
u x
g x
x
(12)
бошланғич,
( 1, )
(1, )
0
( 1, )
(1, )
0
xx
xx
u
t
u t
u
t
u
t
,
0
t
T
,
(13)
чегаравий,
( 0, )
( 0, ),
( 0, )
( 0, ),
( 0, )
( 0, ),
( 0, )
( 0, ).
x
x
xx
xx
xxx
xxx
u
t
u
t
u
t
u
t
u
t
u
t
u
t
u
t
(14)
ва тикиш шартларини қаноатлантирувчи
( , )
u x t
функция тадқиқ қилинган. Бу
ердаги
( ), ( )
f x g x
берилган функциялар.
С.Г. Пятков, Н.В. Кислов муаллифларнинг ишларида биринчи тартибли
тенглама учун коррект чегаравий масалалар ўрганилган. Йўналишини вақт
бўйича ўзгартирадиган пароболик тенгламага қўйилган нокоррект масала
К.С. Фаязов томонидан ўрганилган. Биринчи тартибли тенгламалар учун
нокоррект масалалар H. Levine, А.Л. Бухгейм ишларида ҳам қаралган.
15
Лемма 5.
Ушбу
2
2
( , )
0
sgn x
v x t
t
x
тенгламани,
( 1, )
(1, )
0
v
t
v t
шартни
соҳада қаноатлантирувчи
( , )
v x t
ечим
учун
1
1
1
2
2
2
1
1
1
( , )
( , 0)
( , )
T t
t
T
T
x
x
x
v x t dx
v x
dx
v x T dx
баҳо ўринли.
Корректлик тўпламини қуйидагича киритамиз
1
1
1
2
2
2
2
1
1
1
:
( , )
( , )
( , )
xxx
ttx
M
u
u x t dx
u
x t dx
u
x t dx
m
.
Теорема 7.
Фараз қиламиз (11)-(14) масаланинг ечими мавжуд ва
( , )
u x t
M
.
У ҳолда бу ечим ягонадир.
Теорема 8.
Фараз қиламиз (11) - (14) масаланинг ечими мавжуд,
1
2
( , ), ( , )
u x t u x t
M
ва
3
2
( )
( )
W
f x
f x
,
1
2
( )
( )
W
g x
g x
. У ҳолда (11)-(14)
масаланинг ечими учун
2
2
1
2
2
2
2
2
2
2
1
2
0
1
0
2
4
2
T
T
T t
t
sT
sT
T
T
e
m
u
u
dxdt
m
dt
Te
s
s
,
баҳо тўғри, бу ерда
0
s
.
Мазкур бобнинг 2-параграфида бир жинсли бўлмаган
t
ўзгарувчига
нисбатан учинчи тартибли аралаш тузилмали дифференциал тенгламала учун
чегаравий масаланинг шартли корректлиги ўрганилган.
Масаланинг қўйилиши:
4,3
3,2
,
,
( , )
( )
( )
x t
x t
u x t
C
C
синфга тегишли ва
{ 1
1, 0
,
0}
x
t
T x
соҳада
2
2
2
2
2
2
( , )
sign x
g x t
t
t
x
x
,
(15)
тенгламани,
( , 0)
( ),
( , 0)
( ),
( , 0)
( ),
1
1;
t
tt
u x
p x
u x
q x
u x
r x
x
(16)
бошланғич,
( 1, )
(1, )
0
( 1, )
(1, )
0
xx
xx
u
t
u t
u
t
u
t
,
0
t
T
;
(17)
чегаравий, ва
( 0, )
( 0, ),
( 0, )
( 0, ),
( 0, )
( 0, ),
( 0, )
( 0, ).
x
x
xx
xx
xxx
xxx
u
t
u
t
u
t
u
t
u
t
u
t
u
t
u
t
(18)
тикиш шартларини қаноатлантирувчи
( , )
u x t
функцияни топинг, бу ерда
4
2
1
2
2
2,
( ), ( )
[ 1;1], ( )
[ 1; 1], ( , )
( )
t
p x q x
W
r x
W
g x t
W
берилган функциялар.
Лемма 6.
Фараз қиламиз
( )
w t
( )
( )
( )
w t
w t
g t
16
тенгламани ва
1
2
(0)
, (0)
w
w w
w
шартларни қаноатлантирсин. У ҳолда ушбу
тенгламанинг ечими учун
(0, )
t
T
бўлганда
( )
1
( )
2
2
2
1
0
0
( )
( )
( )
r t
t
T
r t
w
d
c t Tw
w
d
тенгсизлик ўринли, бунда
-ўзгармас сон,
( )
g t
- берилган функция,
2
2
1
( )
1
t
T
e
r t
e
,
2
2
2
1
1
2
1
( )
exp
2
1
t
T
T
e
T
e
t
T
c t
e
2
2
2
2
1
2
1
2
0
2
1
( )
2
2
T
T
g t dt
w
w T
w w
.
Лемма 7.
соҳада
( , )
v x t
функция
( , )
tt
xx
sgnxv
v
g x t
тенгламани
ва
( , 0)
( ), ( , 0)
( ),
( 1, )
(1, )
0,
( 0, )
( 0, ),
( 0, )
( 0, ),
t
x
x
v x
f x v x
s x
v
t
v t
v
t
v
t v
t
v
t
шартларни қаноатлантирсин. У ҳолда
( , )
v x t
ечим учун ихтиѐрий
,
x t
да
кейинги баҳо ўринли
( )
1
( )
2
2
2
0
0
0
0
0
( , )
( )
( )
( , )
,
r t
t
T
r t
v x
d
c t T f x
v x t dt
бу ерда
2
2
2
2
2
0
1
0
0
0
2
1
( , )
2
( )
(2
1) ( )
( )
T
T
g x t
dt
T f x
T
s x
f x
.
(15)-(18) масала учун корректлик тўпламини қуйидагича киритамиз
1
2
2
2
2
1
:
( , )
( , )
( , )
x
xx
t
M
u
u x T
u x T
u x T dx
m
Теорема 9.
Фараз қиламиз (15)-(18) масаланинг ечими мавжуд ва
( , )
u x t
M
,
у ҳолда бу масаланинг ечими ягона.
Теорема 10.
Фараз қиламиз (15)-(18) масаланинг ечими мавжуд,
1
2
( , ), ( , )
u x t u x t
M
ва
0
( , )
( , )
g x t
g x t
,
4
2
( )
( )
W
p x
p x
,
2
2
( )
( )
W
q x
q x
,
2
( )
( )
L
r x
r x
. У ҳолда бу масаланинг ечими учун ушбу
2
2
1
2
2
1
( )
( )
2
2
2
2
2
1
2
0
1
0
( ) 3
4
2
2
T
T
sT
r t
r t
sT
e
m
u
u
dxdt
c t
T
Tm
dt
Te
s
s
баҳо ўринли, бу ерда
0
s
,
3
2
(2
17
12)
T
T
.
Ушбу бобнинг 3-параграфида
t
ўзгарувчига нисбатан учинчи тартибли
йўналишини вақт бўйича ўзгартирувчи ва Лаплас операторларидан тузилган
дифференциал тенглама учун чегаравий масаланинг шартли корректлиги
ўрганилган.
17
Бунда
{ 1
1, 0
,
0}
x
t
T x
соҳада
2
2
2
2
2
2
( , )
0
sign x
u x t
t
x
t
x
(19)
учинчи тартибли аралаш тузиламали дифференциал тенгламани қараймиз.
Берилган
соҳада (19) тенгламани, кейинги
( , 0)
( ),
( , 0)
( ),
( , 0)
( ),
1
1;
t
tt
u x
p x
u x
q x
u x
r x
x
(20)
бошланғич
( 1, )
(1, )
0
( 1, )
(1, )
0
xx
xx
u
t
u t
u
t
u
t
,
0
t
T
;
(21)
чегаравий
( 0, )
( 0, ),
( 0, )
( 0, ),
( 0, )
( 0, ),
( 0, )
( 0, ).
x
x
xx
xx
xxx
xxx
u
t
u
t
u
t
u
t
u
t
u
t
u
t
u
t
(22)
ва тикиш шартларини қаноатлантирувчи
( , )
u x t
функция тадқиқ қилинган. Бу
ерда
( ), ( ), ( )
p x q x r x
берилган функциялар.
Лемма 5 ва лемма 3 натижаларидан фойдаланиб ушбу масаланинг ечими
учун
1
( )
( )
1
1
1
2
2
2
0
1
1
0
1
( )
( , 0)
r t
r t
t
T
u dxd
d t T
u x
dx
u dxdt
,
априор баҳо ўринли, бунда
2
2
2
1
1
2
1
2
1
( )
t
T
T
e
T
e
t
T
e
d t
e
,
2
2
1
( )
1
t
T
e
r t
e
,
1
1
2
2
2
0
1
1
4 2
1
( , 0)
( , 0)
( , )
( , )
T t
t
T
T
T
ttx
xxx
ttx
xxx
T
u x
u
x
dx
u x T
u
x T dx
dt
,
1
2
2
1
2
( , 0)
( , 0)
( , 0) ( , 0)
x
t
t
Tu x
Tu x
u x
u x
dx
.
(19)-(22) масаланинг ечими учун корректлик тўпламини қуйидагича
киритамиз
1
1
1
2
2
2
2
1
1
1
:
( , )
( , )
( , )
xxx
xtt
M
u
u x T dx
u
x T dx
u
x T dx
m
.
Теорема 11.
Фараз қиламиз
(19)-(22) масаланинг ечими мавжуд ва
( , )
u x t
M
, у ҳолда ушбу масаланинг ечими ягона.
Теорема 12.
Фараз қиламиз
(19)-(22) масаланинг ечими мавжуд,
1
2
( , ), ( , )
u x t u x t
M
ва
3
2
( )
( )
W
p x
p x
,
2
( )
( )
L
q x
q x
,
1
2
( )
( )
W
r x
r x
. У
ҳолда ушбу масала ечими учун
1
1
( )
( )
2
2
2
1
2
0
1
( )
t
r t
r t
u
u
dxd
d t T
m T
18
баҳо ўринли, бунда
1
2
2
2
2
0
1
8 2
1
2
2(2
1)
t
T
T t
T
T
T
m dx
dt
T
,
2
2
2
1
1
2
1
2
1
( )
t
T
T
e
T
e
t
T
e
d t
e
,
2
2
1
( )
1
t
T
e
r t
e
.
2.4-параграфда эса тўртинчи тартибли аралаш тузилмали хусусий
ҳосилали дифференциал тенглама учун чегаравий масаланинг шартли
корректлиги ўрганилган.
Бунда
{ 1
1, 0
,
0}
x
t
T x
соҳада кейинги тенгламани
2
2
2
2
2
2
2
2
( , )
0
sign x
u x t
t
x
t
x
,
(23)
бошланғич
( , 0)
( ),
( , 0)
( ),
( , 0)
( ),
( , 0)
( ),
1
1;
t
tt
ttt
u x
p x
u x
q x
u x
r x
u x
s x
x
(24)
чегаравий
( 1, )
(1, )
0,
( 1, )
(1, )
0,
xx
xx
u
t
u
t
u
t
u
t
0
t
T
(25)
ва тикиш
( 0, )
( 0, ),
( 0, )
( 0, ),
( 0, )
( 0, ),
( 0, )
( 0, ).
x
x
xx
xx
xxx
xxx
u
t
u
t
u
t
u
t
u
t
u
t
u
t
u
t
(26)
шартларни қаноатлантирувчи
( , )
u x t
функцияни топиш керак. Бу ерда
4
2
( ), ( )
( ), ( ), ( )
( )
p x q x
C
r x s x
C
.
Корректлик тўпламини қуйидагича киритамиз
1
1
1
2
2
2
2
1
1
1
:
( , )
( , )
( , )
xxx
ttx
M
u
u x t dx
u
x t dx
u
x t dx
m
.
(23) - (26) масаланинг ечими учун қуйидаги теоремалар ўринли.
Теорема 13.
Фараз қиламиз (23) – (26) масаланинг ечими мавжуд ва
( , )
u x t
M
, у ҳолда ушбу масаланинг ечими ягона.
Теорема 14.
Фараз қиламиз (23) – (26) масаланинг ечими мавжуд,
1
2
( , ), ( , )
u x t u x t
M
ва
4
2
( )
( )
W
p x
p x
,
4
2
( )
( )
W
q x
q x
,
2
2
( )
( )
W
r x
r x
,
2
2
( )
( )
W
s x
s x
. У ҳолда (23) - (26) масаланинг ечими учун
1
1
( )
( )
2
2
2
1
2
0
1
( )
t
r t
r t
u
u
dxd
d t T
m T
баҳо ўринли, бу ерда
2
2
2
2
2 (
)
2
0
4 2
1
5
2
4
(2
1)
T
T t
t
t T t
T
T
T
m
e
dt
T
.
Диссертациянинг
«Юқори тартибли аралаш турдаги тенгламалар
учун чегаравий масалалар
» деб номланувчи учинчи боби юқори тартибли
аралаш турдаги хусусий ҳосилали дифференциал тенгламалар учун
нокоррект чегаравий масалаларни шартли корректликка текшириш ва
19
тақрибий ечимини қуришга, тўртинчи тартибли абстракт дифференциал
тенглама учун Коши масаласининг шартли корректлигига бағишланган.
Учинчи бобнинг 1-параграфида
,
2
j
N j
учун аралаш турдаги
2
j
тартибли хусусий ҳосилали дифференциал тенглама ўрганилган.
Масала.
1
1,
0, 0
x
x
t
T
соҳада
2
2
( , )
( , )
0,
n
n
u x t
u x t
sgnx
t
x
2 ,
,
2
j
n
j
N j
(27)
тенгламани, бошланғич
0
( , )
( ),
0,1,2,...,
1.,
1
1;
l
l
t
l
l
u x t
x
n
x
t
(28)
чегаравий
( 1, )
(1, )
0, 0
;
u
t
u t
t
T
(29)
ва тикиш
( 0, )
( 0, ),
( 0, )
( 0, ), 0
,
x
x
u
t
u
t u
t
u
t
t
T
(30)
шартларини қаноатлантирувчи
( , )
u x t
функцияни топиш керак.
Ушбу (27)-(30) масаланинг умумлашган ечими деб
1
1
2
2
0
1
1
0
1
0
( , )
sgn
1
( )
,
T
n k
n
k
n
k
n
k
k
t
V
V
V
u x t sgnx
dxdt
x
x
dx
t
x
t
тенгликни қаноатлантирувчи
( , )
u x t
,
2
( , )
( 1,1); [0, ]
u x t
L
C T
функцияни
тушунамиз,
бунда
2
( , )
( )
n
V x t
W
,
0
l
l
t T
V
t
,
0,1,..., n 1.
l
,
( 1, )
(1, )
0
V
t
V
t
шартларни бажарувчи ихтиѐрий функция.
Лемма 8.
( )
t
функция ушбу
n/2
0
n
n
d
dt
тенгламани ва
(0)
,
0,1,..., n 1.,
l
l
l
l
d
f
dt
шартларни қаноатлантирсин, у ҳолда
2
1
2
2
0
0
1
1
( )
( )
8
,
t
t
T
T
l
l
l
l
l
n
n
l
l
d T
t
f
dt
тенгсизлик ўринли, бу ерда
- ўзгармас сон.
Бу леммадан (27)-(30) масала ечими учун қуйидаги априор баҳо келтирилиб
чиқарилган
2
2
1
2
2
2
0
0
1
0
1
1
1
( , )
( )
( )
2
k
k
t
t
T
T
l
l
l
k
l
l
n
n
k
l
l
k
k
k
l
l
l
k
d
d
u x t
u T
u T
dt
dt
n
Қаралаѐтган масаланинг корректлик тўпламини
20
2
2
0
1
1
2
:
( )
( )
l
l
n
l
l
k
k
k
k
l
l
d
d
M
u
u T
u T
m
dt
dt
кўринишда киритамиз.
Теорема 15.
Айтайлик (27) - (30) масаланинг ечими мавжуд ва
( , )
u x t
M
. У
ҳолда бу масланинг ечими ягона.
Теорема 16.
Айтайлик (27) - (30) масаланинг ечими мавжуд,
( , ), ( , )
u x t u x t
M
, ва
0
( )
( )
l
l
x
x
,
0,1,...,k 1.
l
. У ҳолда (27) - (30)
масаланинг ечими учун
,
x t
бўлганда қуйидаги тенгсизлик ўринли
0
( , )
( , )
( , )
u x t
u x t
m
,
бу ерда
( , )
2
2
T t
t
T
T
m
n
n
m
.
3.2 параграфда тўртинчи тартибли дифференциал-оператор тенглама
учун нокоррект чегаравий масаланинг шартли корректлиги ва регулярлашган
ечими ўрганилган.
Айтайлик,
( )
u t
-
t
0
,
t
T
скаляр аргументининг функцияси бўлиб,
қийматларини
H
Гильберт фазодан қабул қилсин.
Ушбу дифференциал тенгламани қараймиз
,
tttt
Bu
Au
(31)
бу ерда
A
ўз-ўзига қўшма мусбат аниқланган оператор бўлиб, аниқланиш
соҳаси
( )
D A
H
да зич жойлашган,
B
оператор ҳам ўз-ўзига қўшма оператор
бўлиб,
H
фазони
H
га изоморф акслантирсин, ундан ташқари
E
E
I
бўлсин, бунда
,
E
E
лар
B
оператор спектрининг мусбат ва манфий
қисмларига мос келувчи спектрал проекторлар.
Масала
. (31) тенгламани ва бошланғич
0
( , )
0,1,2, 3
,
.,
j
j
j
t
d u x t
j
dt
(32)
шартларини қаноатлантирувчи
( )
u t
функция топиш керак.
(31)-(32) масаланинг умумлашган ечими деб
0
1
2
3
0
,
,
(0)
,
(0))
( ,
(0))
( ,
(0)
T
tttt
ttt
tt
t
u Bv
Av dt
f Bv
f Bv
f Bv
f Bv
тенгликни қаноатлантирувчи
( )
u t
,
( )
0,
;
u t
C
T H
, функцияни тушинамиз,
бунда
2
2
( )
0,
;
,
v t
L
T H
2
, ,
0, ;
, ( )
( )
( )
( )
0
t
tt
ttt
t
tt
ttt
v v v
L
T H v T
v T
v T
v T
.
Корректлик тўпламини
2
2
3
2
0
1
:
( )
( )
j
j
j
k
k
k
j
j
j
k
d
d
M
u
u T
u T
m
dt
dt
кўринишда киритамиз.
21
Теорема 17.
Фараз қиламиз (31)-(32) масаланинг ечими мавжуд ва
( , )
u x t
M
.
У ҳолда (31)-(32) масаланинг ечими ягона.
Теорема 18.
Фараз қилайлик,
A
ва
B
операторлар кўрсатилган шартларни
қаноатлантирсин ва
( ), ( )
u t u t
M
,
0
j
j
f
f
,
0,1,2,3.
j
, у ҳолда (31)-(32)
масаланинг ечими
(0, )
t
T
учун ушбу
0
( )
( )
( , )
u t
u t
m
,
тенгсизлик ўринли, бунда
( , )
2
f 2
in
T t
t
T
t
T
m
m
.
Учинчи бобнинг 3-параграфида тўртинчи тартибли аралаш турдаги
дифференциал тенглама учун чегаравий масаланинг тақрибий ечими тадқиқ
қилинган.
Бунда
1
1,
0, 0
x
x
t
T
соҳада
4
2
4
2
( , )
( , )
0,
u x t
u x t
sgnx
t
x
(33)
тенгламани қараймиз.
Масала.
Ушбу
соҳада (33) тенгламани, бошланғич
0
( , )
( ),
0,1,2, 3.,
1
1;
j
j
j
t
u x t
x j
x
t
чегаравий
( 1, )
(1, )
0, 0
;
u
t
u t
t
T
ва тикиш
( 0, )
( 0, ),
( 0, )
( 0, ), 0
,
x
x
u
t
u
t u
t
u
t
t
T
шартларини қаноатлантирувчи
( , )
u x t
функцияни топиш керак.
Мазкур масаланинг умумлашган ечими деб
1
1
2
3
2
0
0
1
1
0
4
3
4
( , )
sgn
1
( )
,
T
k
k
k
k
k
t
V
V
V
u x t sgnx
dxdt
x
x
dx
t
x
t
тенгликни қаноатлантирувчи
( , )
u x t
,
2
( , )
( 1,1); [0, ]
u x t
L
C T
функцияни
тушунамиз, бунда
2
4
( , )
( )
V x t
W
,
0
j
j
t T
V
t
,
0,1,2,3.
j
,
( 1, )
(1, )
0
V
t
V
t
шартларни бажарувчи ихтиѐрий функция.
Тихонов регулярлаштириш усули билан қаралаѐтган масаланинг
тақрибий ечими қурилган, аниқ ечим ва тақрибий ечим орасидаги фарқ
нормаси учун
0
(
)
( , )
N
N
u
u
ch
t
m N
тенгсизлик ўринли, бу ерда
2
2
2
2
0
0
1
( , )
k
k
T t
t
T
T
k N
m N
m
бунда
( , )
0
m N
қачонки
N
.
22
ХУЛОСА
Диссертация иши тузилмали, аралаш ҳамда аралаш-тузилмали турдаги
хусусий ҳосилали дифференциал тенгламаларга қўйилган нокоррект
чегаравий масалаларни шартли корректликка текшириш, тақрибий ечимини
қуриш, аниқ ва тақрибий ечим орасидаги яқинлигини кўрсатувчи фарқнинг
мос функционал фазодаги нормасини аниқлашга бағишланган.
Тадқиқотнинг асосий натижалари қуйидагилардан иборат:
1. Тузилмали, аралаш, аралаш-тузилмали турдаги хусусий ҳосилали
дифференциал тенгламалар учун чегаравий масалалар корректликга
текширилган ва ечимларининг априор баҳолари аниқланган.
2. Тузилмали, аралаш, аралаш-тузилмали турдаги хусусий ҳосилали
дифференциал тенгламалар учун нокоррект чегаравий масалалар
ечимларининг ягоналик ва шартли турғунлик теоремалари исботланган.
3. Аралаш турдаги тенгламага мос келувчи спектрал масала ўрганилиб,
хос функциялар ва хос сонларни ҳисоблаш формуллари топилган.
4. Тузилмали ва аралаш турдаги хусусий ҳосилалаи дифференциал
тенгламалар учун нокоррект чегаравий масалаларнинг тақрибий ечимлари
кетма-кетлик кўринишда қурилиб, аниқ ечим ва тақрибий ечим орасидаги
яқинликни билдирувчи фарқ нормаси аниқланган.
5. Нокоррект чегаравий масалаларга шартли коррект тўплами топилган.
6. Тақрибий ечимларни қуриш учун регулярлаштириш параметрини
ҳисоблаш формуласи аниқланган.
7.
Аниқланган
ҳисоблаш
алгоритмлари
асосида
бошланғич
берилганларга мос масалаларнинг аниқ ва тақрибий ечимларини сонли,
график кўринишда чиқариш дастури тузилган.
23
НАУЧНЫЙ СОВЕТ DSc.27.06.2017.FM.01.01 ПО ПРИСУЖДЕНИЮ
УЧЕНЫХ СТЕПЕНЕЙ ПРИ НАЦИОНАЛЬНОМ УНИВЕРСИТЕТЕ
УЗБЕКИСТАНА, ИНСТИТУТЕ МАТЕМАТИКИ
ЎЗБЕКИСТОН МИЛЛИЙ УНИВЕРСИТЕТИ
ХАЖИЕВ ИКРОМБЕК ОЗОДОВИЧ
ИССЛЕДОВАНИЯ И ПРИБЛИЖЕННЫЕ РЕШЕНИЯ
НЕКОРРЕКТНЫХ ЗАДАЧ ДЛЯ УРАВНЕНИЙ В ЧАСТНЫХ
ПРОИЗВОДНЫХ СМЕШАННО-СОСТАВНОГО ТИПА
01.01.02 – Дифференциальные уравнения и математическая физика
АВТОРЕФЕРАТ ДИССЕРТАЦИИ ДОКТОРА ФИЛОСОФИИ (PhD)
ПО ФИЗИКО-МАТЕМАТИЧЕСКИМ НАУКАМ
г. Ташкент – 2017 год
24
Тема диссертации доктора философии (Doctor of Philosophy) по физико-
математическим наукам зарегистрирована в Высшей аттестационной комиссии при
Кабинете Министров Республики Узбекистан за № В2017.1.PhD/FM12
Диссертация выполнена в Национальном университете Узбекистана.
Автореферат диссертации на трех языках (узбекский, русский, английский (резюме))
размещен на веб-странице Научного совета (http://ik-fizmat.nuu.uz/) и на Информационно-
образовательном портале «Ziyonet» (www.ziyonet.uz).
Научный консультант:
Фаязов Кудратилло Садридинович
доктор физико-математических наук, профессор
Официальные оппоненты:
Хасанов Акназар Бекдурдиевич
доктор физико-математических наук, профессор
Исломов Бозор Исломович
доктор физико-математических наук, профессор
Ведущая организация:
Бухарский государственный университет
Защита диссертации состоится «____» _____________2017 года в ____ часов на заседании
Научного совета ___________________ при Национальном университете Узбекистана (Адрес:
100174, г. Ташкент, Алмазарский район, ул. Университетская, 4. Тел.: (+99871) 227-12-24,
факс: (+99871) 246-53-21, e-mail: nauka@nuu.uz).
С диссертацией можно ознакомиться в Информационно-ресурсном центре Национального
университета Узбекистана (зарегистрирована за №_____). (Адрес: 100174, г. Ташкент,
Алмазарский район, ул. Университетская, 4. Тел.: (+99871) 246-02-24).
Автореферат диссертации разослан «____» _______________2017 года.
(протокол рассылки №________ от «____» _______________2017 года).
А.С.Садуллаев
Председатель научного совета по
присуждению ученых степеней,
д.ф.-м.н., академик
Г.И.Ботиров
Ученый секретарь научного совета по
присуждению ученых степеней, к.ф.-м.н.
М.С. Салахитдинов
Председатель научного семинара при научном
совете по присуждению ученых степеней,
д.ф.-м.н., академик
25
ВВЕДЕНИЕ (аннотация диссертации доктора философии(PhD))
Актуальность и востребованность темы диссертации.
Многие
научно-прикладные исследования, проводимые на мировом уровне, во
многих случаях сводятся к исследованию некорректных краевых задач для
дифференциальных уравнений в частных производных. Основным объектом
теории обратных и некорректных задач являются модели прикладных
исследований в области геофизических наблюдений, газовой динамики,
распространения акустических волн и др. Так как для некорректных краевых
задач
дифференциальных
уравнений
смешанно-составного
типа
исследования на условную корректность и построения приближѐнного
решения нужной степени не сформированы, для этих некорректных задач
развития исследовании остается одним из важных задач.
В годы независимости в нашей стране особое внимание было уделено
актуальным направлениям дифференциальных уравнений, которые имеют
практическое применение в фундаментальных науках,
а также
исследованиям различных краевых задач для дифференциальных уравнений
в частных производных смешанно-составного типа. В результате были
получены значительные результаты в исследовании обратных и
некорректных краевых задач для дифференциальных уравнений в частных
производных и их приближенное решение. Проведение научных
исследований на международном уровне по важным направлениям
математики, прикладной математики, физики выделено как основная задача
фундаментальных исследований
1
. Развитие теорий дифференциальных
уравнений в частных производных, теорий обратных и некорректных задач, и
теорий принятия решений играют важную роль в исполнении постановления.
На сегодняшний день в мире проведение исследований на условную
корректность, на построение приближѐнного решения, нахождения
погрешности между точным и приближѐнным решениями некорректных
краевых задач для уравнений в частных производных смешанно-составного
типа высокого порядка связанные с прикладными проблемами, приобретают
большое значение. В этой связи: определение априорный оценки решения,
нахождение множества корректности, доказательство теорем единственности
и условной устойчивости, построение приближѐнных решений методами
регуляризации и квази-обращений, нахождение оценки нормы разности
между точными и приближѐнными решениями в соответствующем
пространстве, вывод формулы вычисления параметра регуляризации,
составление алгоритма и реализация программы вычисления точных и
приближѐнных решений с соответствующими начальными данными
считаются целевыми научными исследованиями.
Эта диссертация, в определенной степени, служит осуществлению задач,
обозначенных в Постановлениях Президента Республики Узбекистан
№-ПП-916 «О дополнительных мерах по стимулированию внедрения
1
Постановление №292 Кабинета Министров Республики Узбекистан от 18 мая 207 года “Об организации
деятельности научно-исследовательских заведений Академии наук”
26
инновационных проектов и технологий в производство» от 15 июля
2008 года, №-ПП-2789 «О мерах по дальнейшему совершенствованию
деятельности Академии наук, организации, управления и финансирования
научно-исследовательской деятельности» от 17 февраля 2017 года и №-УП-
4947 «О стратегии действий по дальнейшему развитию Республики
Узбекистан» от 8 февраля 2017 года а также в других нормативно-правовых
актах по данной деятельности.
Соответствие исследований приоритетным направлениям развития
науки и технологий республики.
Данное исследование выполнено
в
соответствии с приоритетным направлением развития науки и технологий в
Республике Узбекистан IV. «Математика, механика и информатика».
Степень изученности проблемы.
Исследуемые в диссертации задачи
относятся к классу смешанных уравнений математической физики.
Корректные краевые задачи для таких типов уравнений исследованы
многими математиками. В частности, M.Jevrey рассмотрел краевую задачу
для параболического уравнения с меняющимся направлением времени.
Задачи такого типа с различными граничными и начальными условиями
исследовали C.D.Pagani, G.Talenti, В.В.Врагов, В.К.Романко, С.А.Терсенов,
А.М.Нахушев и др. Работа Ф.Трикоми и С.Геллерстедта была посвящена
уравнению смешанного типа. Сюда относятся и работы М.А.Лаврентьева,
М.В.Келдыша,
А.В.Бицадзе,
М.С.Салахитдинова,
Т.Д.Джураева,
В.Н.Врагова, К.Б.Сабитова, А.И.Кожанова, С.П.Пулькина, А.П.Солдатова,
Н.В.Кислова и их научных школ.
Некорректные краевые задачи для параболического уравнения
с обратным течением времени были исследованы в работах А.Н. Тихонова,
М.Ландиса, С.Г.Крейна, С.П.Шишатского, Х.Левина и др. В этих работах для
уравнения параболического типа были рассмотрены обратная и не
характерная задача Коши на условную корректность. Эти результаты были
обобщены для абстрактных эволюционных уравнений с самосопряженными
операторными коэффициентами С.Г.Крейном, Х.Левином и др. Для псевдо-
дифференциальных уравнений аналогичные исследования были проведены в
работах B.D.Coleman, R.J.Duffin и V.J.Mizel. Некорректные задачи для
уравнений эллиптического типа были предметом исследований F.John,
М.М.Лаврентьева, С.Г.Крейна, М.Ландиса, В.К.Иванова и др.
А.Ш.Алимов рассмотрел задачу Дирехле для гиперболического
уравнения. Ш.Ярмухамедов с помощью функций Карлемана построил
приближенные решения задачи Коши для эллиптического уравнения. Для
системы уравнений были построены регуляризованные решения методом
функции Карлемана учениками Ш.Ярмухамедова. Следует отметить
результаты С.П.Шишатского, а таже М.Х.Аламинова, которые исследовали
некорректные краевые задачи для вырождающихся параболических и
эллиптических уравнений. Обратные и некорректные задачи для задач
уравнений эллиптического и гиперболического типа были предметом
исследований А.Хайдарова и Д.К.Дурдиева, а задачи интегральной
геометрии исследовались Акр.Бегматовым. Некорректные краевые задачи
27
для уравнения параболического типа с меняющимся направлением времени и
уравнения смешанного типа были предметом исследований работ
К.С.Фаязова.
Связь темы диссертации с научно-исследовательскими работами
высшего учебного заведения, в которой выполняется диссертация.
Диссертационная работа выполнена в соответствии с плановой темой
научно-исследовательских работ Ф-4-30 «Внутренние и краевые задачи для
дифференциально-операторных
уравнений
с операторными типами
коэффициентов» Национального университета Узбекистана (2012-2016 гг.).
Целью исследования
являются установлению условной корректности и
нахождения приближенных решений на множестве корректности
некорректных задач для дифференциальных уравнений в частных
производных смешанного и составного, а также смешанно-составного типов
высокого порядка.
Задачи исследования:
исследование некорректных краевых задач для дифференциальных
уравнений в частных производных составного и смешанно-составного типов
высокого порядков;
исследование некорректных краевых задач для дифференциальных
уравнений в частных производных смешанного типа высокого порядков;
нахождение регуляризованних решений, определение оценок норм
разности между точными и приближенными решениями в соответствующих
функциональных пространствах;
нахождение формул вычисления параметров регуляризации, реализация
программ численного решения и графических результатов.
Объектом исследования
являются дифференциальные уравнения в
частных производных смешанного, составного и смешанно-составного типов
высокого порядка.
Предметом исследования
являются некорректные краевые задачи для
дифференциальных уравнений в частных производных смешанного,
составного и смешанно-составного типов высокого порядка.
Методы исследования.
В диссертационной работе используются
методы
математического
анализа,
спектрального
разложения,
логарифмической выпуклости, Карлемановская оценка и методы решений
дифференциальных уравнений и математической физики
.
Научная новизна исследования состоит в следующем:
получены априорные оценки решения некорректных краевых задач для
дифференциальных уравнений в частных производных смешанного,
составного и смешанно-составного типов высокого порядков;
определены множества корректности некорректных краевых задач для
дифференциальных уравнений в частных производных смешанного,
составного и смешанно-составного типов высокого порядков, а также
доказаны теоремы единственности и условной устойчивости;
28
построены приближенные решения, определены оценки норм разности
между точными и приближенными решениями в соответствующих
пространствах, выведены формулы вычисления параметров регуляризации;
реализованы программы в среде Visual C# выводящие численные и
графические результаты точного и приближенного решения на основе
вычисляющих алгоритмов.
Практические результаты
исследования
состоят из вывода априорних
оценок решений, определения множеств корректности, нахождения формул
параметра регуляризаций для вычисления приближеных решений
некорректных задач для уравнений в частных производных смешанно-
составного типа.
Достоверность результатов исследования
обоснована строгостью
математических рассуждений и доказательств, использованием методов
теории некорректных задач, теории дифференциальных уравнений,
функционального анализа
Научная и практическая значимость результатов исследования.
Научная
значимость результатов
исследования заключается в том, что их
можно использовать для дальнейшего развития теории дифференциальных
уравнений в частных производных смешанно-составного типа а также теории
некорректных задач.
Практическая значимость результатов исследований определяется тем,
что их можно применить к моделям геофизических наблюдений, в газовой
динамике, механике сплошной среды, распространении акустических волн и
подобным прикладным задачам, которые выражаются некорректными
краевыми задачами для дифференциальных уравнений смешанного,
составного и смешанно-составного типов.
Внедрение результатов исследования:
На основе опеределения оценок условной устойчивости и нахождения
приближенных решений на соответствующем множестве корректности для
решений некорректных задач:
- условная устойчивость решения некорректной краевой задачи для
дифференциального уравнения третьего порядка смешанно-составного типа
и априорная оценка решения некорректной задачи для неоднородного
уравнения использованы при “§5. Понятия корректных задач. Примеры
некорректных задач” и “§21. Задача Коши для неоднородного уравнения
теплопроводности” учебного пособия “Уравнения математической физики”
(Протокол №89-03-2584 от 30 октября 2017 года Министерства высшего и
средне-специального образования Республики Узбекистан). Применение этих
научных результатов дало возможность создание примеров некорректных
задач, доказать единственность и устойчивость решения задачи Коши для
неоднородного уравнения теплопроводности;
- априорная оценка решения некорректной краевой задачи для
дифференциального уравнения смешанно-составного типа применена при
получении апприорной оценки кревых задач для дифференциальных
уравнений дробного порядка в научном проекте Ф-4-02 (Протокол № ФТА-
29
02-11/558 от 28 августа 2017 года агентства науки и технологии Республики
Узбекистан). Применения научных результатов дали возможность доказать
единственность
и
устойчивость
решения
краевых
задач
для
дифференциальных уравнений дробного порядка;
- соответствующие краевым задачам уранений в частных производных
смешанного типа свойства спектральных задач применены при
исследованиях собственых значений и собственных функций краевой задачи
для уравнения дробного порядка в научном проекте Ф-4-02 (Протокол №
ФТА-02-11/558 от 28 августа 2017 года агентства науки и технологии
Республики Узбекистан). Применения научных результатов дали
возможность определить собственные функции и собственые значение
соответствующей спектральной задачи для уравнения дробного порядка.
Апробация
результатов
исследования.
Результаты
данного
исследования были обсуждены на 14 научно-практических конференциях, в
том числе на 8 международных и 6 республиканских.
Публикация результатов исследования.
По теме диссертации
опубликовано 23 научных работ, из них 9 входят в перечень научных
изданий, предложенных Высшей аттестационной комиссией Республики
Узбекистан для защиты докторских диссертаций, в том числе 2 опубли-
кованы в зарубежных журналах и 7 – в республиканских научных изданиях.
Объѐм и структура диссертации
. Диссертация состоит из введения,
трех глав, заключения, списка использованной литературы и приложения.
Объем диссертации составляет 100 страницы.
ОСНОВНОЕ СОДЕРЖАНИЕ ДИССЕРТАЦИИ
Во введении
обоснована актуальность и востребованность темы
диссертации, определено соответствие исследования приоритетным
направлениям развития науки и технологий республики, приведен обзор
зарубежных научных исследований, степень изученности проблемы,
сформулированы цели и задачи, выявлены объект и предмет исследования,
изложены научная новизна и практические результаты исследования,
раскрыта теоретическая и практическая значимость полученных результатов,
даны сведения о внедрении результатов исследования, об опубликованных
работах и о структуре диссертации.
В первой главе диссертации, названной
«Условно-корректные задачи и
дифференциальные уравнения смешанно-составного типа»
, приведены
необходимые предварительные сведения, основные определения, теоремы и
леммы для важных некорректных задач, которые будут использованы при
изложении
результатов
диссертации,
исследования
на
условную
устойчивость и приближенное решение для уравнения в частных
производных смешанно-составного типа третьего порядка, условная
корректность и регуляризация краевых задач для уравнения в частных
производных составного типа третьего, четвертого порядков.
30
В параграфе 1.1 представлен краткий обзор выводов по теме
диссертации, приведены понятия корректных и некорректных задач,
определение условной корректности, теорема А.Н.Тихонова, функция
логарифмической выпуклости, определение регуляризирующего оператора.
В параграфе 1.2 рассматривается следующая краевая задача: найти
решение уравнения
2
2
2
2
1 sgn
( , )
0
x
u x t
t
t
x
(1)
в области
{ 1
1,
0, 0
}
x
x
t
T
, удовлетворяющее следующим
условиям:
1
2
3
( , 0)
( ),
( , 0)
( ),
( , 0)
( )
t
tt
u x
p x
u x
p x
u x
p x
,
(2)
( 1, )
(1, )
0
u
t
u t
,
(3)
( 0, )
( 0, ),
( 0, )
( 0, )
x
x
u
t
u
t
u
t
u
t
,
(4)
где
1
2
3
( ),
( ),
( )
p x
p x
p x
заданные функции.
Исследованиям корректных краевых задач для уравнения смешенного типа
второго порядка и уравнения параболического типа с меняющимся
направлением времени посвящены работы многих авторов. В работе
К.С.Фаязова исследована краевая задача для уравнения Лаврентьева-Бицадзе.
Для исследования задачи (1)-(4) введем обозначение
( , )
( , )
( , )
u x t
u x t
v x t
t
и перепишем задачу (1)-(4) в следующем виде:
2
2
2
2
( , )
( , )
sgn
0
v x t
v x t
x
t
x
,
1
( , 0)
( ), ( , 0)
( ), ( , 0)
( )
t
u x
p x v x
f x v x
g x
,
( 1, )
(1, )
0
v
t
v t
,
( 0, )
( 0, ),
( 0, )
( 0, )
x
x
v
t
v
t
v
t
v
t
,
где
2
1
3
2
( )
( )
( ), ( )
( )
( )
f x
p x
p x
g x
p x
p x
.
В дальнейшем будем пользоваться свойствами собственных функций
следующей спектральной задачи:
(x)
X(x)
0,
( 1)
X(1)
0,
( 0)
X( 0),
( 0)
X ( 0).
sgn x X
X
X
X
Под
обобщенным решением краевой задачи
понимаем функцию
2
( , )
L ( 1,1); [0, T]
v x t
C
, удовлетворяющую следующему тождеству
1
1
1
0
1
1
1
( , ) sgn
sgn
( , 0) ( )
sgn
( , 0) ( )
T
tt
xx
t
v x t
xV
V dxdt
xV x
g x dx
xV x
f x dx
для любой функции
2
2
( , )
( )
V x t
W
,
( , )
( , )
0,
t
V x T
V x T
( 1, )
(1, )
0
V
t
V
t
.
31
В этом параграфе доказаны следующие лемма и теоремы.
Лемма 1.
Пусть в области
функция
( , )
v x t
удовлетворяет уравнению
sgn
( , )
( , )
0
tt
xx
x v x t
v x t
и условиям
( 1, )
(1, )
0
v
t
v t
. Тогда для решения
( , )
v x t
при любом
,
x t
справедлива следующая оценка
1
1
1
2
2
2
2 (
)
1
1
1
( , )
4
( , 0)
( , )
T t
t
T
T
t T t
x
x
v x t dx
v x
dx
v x T dx
e
,
где
1
1
2
2
1
1
1
( , 0)
( , 0)
2
xx
xt
sgn x v x
dx
v x
dx
.
Теорема 1.
Пусть решение задачи существует и
( , )
u x t
M
. Решение задачи
(1)-(4) единственно.
Теорема 2.
Пусть решение задачи существует,
1
2
( , ), ( , )
u x t u x t
M
и
2
2
[ 1;1]
i
i
W
p
p
1,2.,
i
1
2
3
3
[ 1;1]
W
p
p
. Тогда для решения задачи (1)-(4)
имеет место оценка
1/2
2
2
2
2
2 (
)
1
2
0
( , )
( , )
8
1
2
2
t
T s
s
t
t
s T s
T
T
u x t
u x t
e
e
m
e
ds
.
Пусть решение рассматриваемой задачи (1)-(4) существует и
принадлежит
M
, а также
( )
( )
j
j
p x
p x
1,2,3.,
0
j
,
2
3
( )
( )
p x
p x
. Тогда
построены приближенные решения по точным и приближенным начальным
данным, а разность, в соответствующем функциональном пространстве,
удовлетворяет следующему неравенству:
1
2
2
2
(
)
2
2
2
2
2
1
0
( , )
( , )
2
1
/
2
2
N
T
T t
t T
T
T
N
N
N
u t x
u
t x
e
m e
e
e
ch
t dt
где
k
положительный корень уравнения
tg
th
.
Параграф 1.3 посвящен регуляризации и условной корректности краевой
задачи для бигармонического уравнения.
Пусть
( , )
u t x
является
решением
уравнения
в
области
0
, 0
x
t
T
2
2
2
2
2
2
2
2
( , )
0
u x t
t
x
t
x
.
(5)
Постановка задачи
. Найти решение уравнения (5) в области
,
удовлетворяющее следующим условиям:
начальным
( )
0
( ),
0,1,2, 3 ,
0
i
i
i
t
u
f x
i
x
t
;
(6)
граничным
32
( )
( )
0
0,
0,2 , 0
i
i
i
i
x
x
u
u
i
t
T
x
x
.
(7)
Задачу Коши для уравнения Лапласа исследовали М.М.Лаврентьев,
М.Е.Ландис, в виде абстрактного С.Г.Крейн, Х.Левин и другие исследовали
на условной корректности.
Лемма 2
. Для решения уравнения
( , )
0
v x t
, удовлетворяющего условиям
( , 0)
( , )
0
v t
v t
справедлива оценка
1
2
2
2
0
0
0
( )
( , 0)
( , )
t
t
T
T
v dx
c t
v x
dx
p
v x T dx
p
,
Где
2 (
)
( )
t T t
c t
e
,
2
2
0
1
( , 0)
( , 0)
2
x
t
p
v x
v x
dx
.
Лемма 3
. Для решения уравнения (5), удовлетворяющего условиям
(0, )
( , )
0
u
t
u
t
при любом
(0, )
t
T
имеет место оценка
1
( )
( )
2
2
2
0
0
0
0
0
( )
( , 0)
r t
r t
t
T
u dxd
d t T
u x
dx
u dxdt
,
где функции
2
2
2
1
1
2
1
2
1
( )
t
T
T
e
T
e
t
T
e
d t
e
,
2
2
0
0
2
1
( , )
T
T
v x t dxdt
,
2
2
0
2
( , 0)
( , 0)
( , 0) ( , 0)
x
t
t
Tu x
Tu x
u x
u x
dx
,
2
2
1
( )
1
t
T
e
r t
e
.
Определим множества корректности
M
следующим образом
: ( , )
( , )
( , )
xx
tt
M
u u x T
u x T
u x T
m
.
Теорема 3.
Пусть решение задачи существует и
( , )
u x t
M
. Тогда решение
задачи (5)-(7) единственно.
Введем обозначение: через
1
( , )
u x t
обозначим решение задачи с точными
данными, а через
2
( , )
u x t
решение задачи с приближенными данными.
Теорема 4.
Пусть решение задачи существует,
1
2
( , ),
( , )
u x t u x t
M
и
3
2
i
i
i
W
f
f
0,1,2, 3.
i
. Тогда для решения задачи (5)-(7) имеет место
оценка
1
( )
( )
2
2
2
1
2
0
0
( , )
( , )
( )
2
t
r t
r t
u x t
u x t
dxd
c t T
m T
,
где
1
2
2 (
)
2
2
2
2
0
2
1
2
2
4
2
T
t
t
t T t
T
T
T
e
m
dt
T
.
Построены
приближенные
решения
задачи
(5)-(7)
методами
регуляризации Тихонова и квазиобращения. Определена оценка разности
между точным и приближенным решениями.
33
Получена оценка методом квазиобращения
4
2
2
4
( , )
( , )
(
)
t
m t
u t x
u t x
e
e T
t
.
Из правой части последнего неравенства для любых
0
найдем
4
2
2
0
4
inf
( )
(
)
t
M t
e
e T
t
,
t
T
и тогда найдется
.
Оценка методом регуляризация Тихонова
(
1)(
)
( , )
( , )
2
2
Nt
N
t T
N
m
e
u x t
u
x t
e
.
Правую часть неравенства можно сделать сколь угодно малой из-за
(
1)(
)
0
inf
( )
N
t T
Nt
me
e
N
и тогда найдется
N
. Легко видеть, что при
0
1
ln
m
N
T
.
В параграфе 4 первой главы показана условная коррекность краевой
задачи для дифференциального уравнения составного типа третьего порядка
Постановка задачи.
В области
{0
, 0
}
x
t
T
рассмотрим
уравнение
2
2
2
2
2
2
( , )
( , )
u x t
f x t
t
x
t
x
.
(8)
Пусть ее решение удовлетворяет следующим условиям
0
( , )
(x),
0,1,2., 0
;
i
i
i
t
u x t
p
i
x
t
(9)
(0, )
( , )
0
(0, )
( , )
0
xx
xx
u
t
u
t
u
t
u
t
,
0
t
T
.
(10)
Для исследования задачи (8)-(10) использованы лемма 3 и следующая лемма.
Лемма 4.
Для решения уравнения
2
2
( , )
( , )
v x t
f x t
t
x
,
( , )
x t
,
удовлетворяющего условиям
(0, )
(1, )
0,
v t
v t
0
t
T
.
справедлива оценка
2
2
2
2
2
2
2
2
0
0
0
0
0
0
1
( , )
( , )
( , 0)
( , )
2
2
T
T
sT
sT
x
e
v x t dxdt
f x t dxdt Te
v x
dx
v x T dx
s
s
где
0
s
.
Введем обозначение
: ( , )
( , )
( , )
xxx
xtt
M
u u x T
u
x T
u
x T
m
.
34
Теорема 5.
Пусть решение задачи существует и
( , )
u x t
M
. Решение задачи
(8)-( 10) единственно.
Теорема 6.
Пусть решение задачи существует и
1
2
( , ), ( , )
u x t u x t
M
,
2
2
0
0
[0, ]
( )
( )
W
p x
p x
,
2
1
1
[0, ]
( )
( )
L
p x
p x
,
2
2
2
[0, ]
( )
( )
L
p x
p x
,
2
[0, ]
( , )
( , )
L
f x t
f x t
. Тогда для решение задачи (1.4.1)-( 1.4.3) имеет место
оценка
1
( )
( )
2
2
2
1
2
0
0
( , )
( , )
( )
t
r t
r t
u x t
u x t dxd
d t T
Tm
,
где
2
2
2
2
2
2
1
1
2
1
4
2 2
1
2
2
sT
T
e
T
m
T
s
s
,
0
s
.
Вторая глава диссертации, названная
«Исследования корректности по
Тихонову краевых задач для уравнений смешанно-составного типа»,
посвящена исследованию некорректных краевых задач для уравнений в
частных производных смешанно-составного типа второго, третьего,
четвертого порядков. Получены априорная оценка, доказаны теоремы о
единственности и условной устойчивости на множестве корректности для
каждой задачи.
Во второй главе первого параграфа рассмотрена оценка условной
устойчивости некорректной краевой задачи для уравнения второго порядка
по
t
смешанно-составного типа.
Рассмотрим уравнение
2
2
2
2
( , )
0
sgn x
u x t
t
t
x
x
(11)
в области
{ 1
1,
0, 0
}
x
x
t
T
. Будем рассматривать задачу: найти
решение уравнения (11) в области
, которое удовлетворяет следующим
условиям
( , 0)
( ),
( , 0)
( ),
1
1;
t
u x
f x
u x
g x
x
(12)
( 1, )
(1, )
0
( 1, )
(1, )
0
xx
xx
u
t
u t
u
t
u
t
,
0
t
T
,
(13)
( 0, )
( 0, ),
( 0, )
( 0, ),
( 0, )
( 0, ),
( 0, )
( 0, ).
x
x
xx
xx
xxx
xxx
u
t
u
t
u
t
u
t
u
t
u
t
u
t
u
t
(14)
Здесь
( ), ( )
f x g x
заданные функции.
Для уравнений первого порядка исследованию корректных краевых
задач посвящены работы С.Г.Пяткова, Н.В.Кислова, и других. Случаю
некорректных задач для уравнений с меняющимся направлением по времени
посвящены работы К.С.Фаязова, а также работа H.Levine, А.Л.Бухгейма и
других.
35
Лемма 5.
Для решения уравнения
2
2
( , )
0
sgn x
v x t
t
x
удовлетворяющего условиям
( 1, )
(1, )
0
v
t
v t
в области
справедлива
оценка
1
1
1
2
2
2
1
1
1
( , )
( , 0)
( , )
T t
t
T
T
x
x
x
v x t dx
v x
dx
v x T dx
.
Теорема 7.
Пусть решение задачи (11)-(14) существует и
( , )
u x t
M
. Тогда
решение задачи единственно.
Теорема 8.
Пусть решение задачи существует,
1
2
( , ), ( , )
u x t u x t
M
и
3
2
( )
( )
W
f x
f x
,
1
2
( )
( )
W
g x
g x
. Тогда для решения задачи (11)-(14) с
соответствующими данными верна оценка
2
2
1
2
2
2
2
2
2
2
1
2
0
1
0
2
( , )
( , )
4
2
T
T
T t
t
sT
sT
T
T
e
m
u x t
u x t
dxdt
m
dt
Te
s
s
,
где
0
s
.
Второй параграф данной главы посвящен изучению некорректной
краевой задачи для неоднородного уравнения смешанно-составного типа
третьего порядка с переменным направлением времени.
Постановка задачи.
Исследуем функцию
4,3
3,2
,
,
( , )
( )
( )
x t
x t
u x t
C
C
в
области
{ 1
1, 0
,
0}
x
t
T x
, удовлетворяющую уравнению
2
2
2
2
2
2
( , )
( , ),
sgnx
u x t
g x t
t
t
x
x
(15)
при следующих начальных
( , 0)
( ),
( , 0)
( ),
( , 0)
( ),
1
1,
t
tt
u x
p x
u x
q x
u x
r x
x
(16)
и граничных условиях
( 1, )
(1, )
0
, 0
,
( 1, )
(1, )
0
xx
xx
u
t
u t
t T
u
t
u
t
(17)
и условиям склеивания
( 0, )
( 0, ),
( 0, )
( 0, ),
( 0, )
( 0, ),
( 0, )
( 0, ).
x
x
xx
xx
xxx
xxx
u
t
u
t u
t
u
t
u
t
u
t u
t
u
t
(18)
Здесь
4
2
( )
[ 1;1]
p x
W
,
2
2
( )
[ 1;1]
q x
W
,
2
( )
[ 1;1]
r x
L
,
2
( , )
( )
g x t
L
заданные
функции.
Лемма 6.
Пусть
( )
t
решение уравнения
( )
( )
( ),
t
t
g t
и удовлетворяет условиям
1
2
(0)
,
(0)
w
w
, тогда для решения данного
уравнения при
0,
t
T
имеет место неравенство
36
( )
1
( )
2
2
2
1
0
0
( )
( )
( )
r t
t
T
r t
w
d
c t Tw
w
d
где
- некоторая константа,
( )
g t
- заданная функция,
2
2
1
( )
1
t
T
e
r t
e
,
2
2
2
1
1
2
1
( )
exp
2
1
t
T
T
e
T
e
t
T
c t
e
,
2
2
2
2
1
2
1
2
0
(2
1)
( )
2
2
T
T
g t dt
w
w T
w w
.
Лемма 7.
Пусть в области
функция
( , )
v x t
удовлетворяет уравнению
( , ),
tt
xx
sgnxv
v
g x t
и условиям
( , 0)
( ), ( , 0)
( ),
( 1, )
(1, )
0,
( 0, )
( 0, ),
( 0, )
( 0, ).
t
x
x
v x
f x v x
s x
v
t
v t
v
t
v
t v
t
v
t
Тогда для решения
( , )
v x t
при любом
,
x t
справедлива следующая оценка
( )
1
( )
2
2
2
0
0
0
0
0
( , )
( )
( )
( , )
,
r t
t
T
r t
v x
d
c t T f x
v x t dt
где
2
2
2
2
2
0
1
0
0
0
2
1
( , )
2
( )
(2
1) ( )
( )
T
T
g x t
dt
T f x
T
s x
f x
.
Теорема 9.
Пусть решение задачи (15)-(18) существует и
( , )
u x t
M
, тогда
решение задачи единственно.
Теорема 10.
Пусть решение задачи существует и
1
2
( , ), ( , )
u x t u x t
M
,
0
( , )
( , )
g x t
g x t
,
4
2
( )
( )
W
p x
p x
,
2
2
( )
( )
W
q x
q x
,
2
( )
( )
L
r x
r x
. Тогда
для решения задачи (15)-(18) имеет место оценка
2
2
1
2
2
1
( )
( )
2
2
2
2
2
1
2
0
1
0
( ) 3
4
2
2
T
T
sT
r t
r t
sT
e
m
u
u
dxdt
c t
T
Tm
dt
Te
s
s
,
где
0
s
,
3
2
(2
17
12)
T
T
.
Параграф 2.3 посвящен некорректной краевой задаче для уравнения
третьего порядка по
t
с меняющимся направлением времени.
Рассмотрим дифференциальное уравнение
2
2
2
2
2
2
( , )
0
sign x
u x t
t
x
t
x
(19)
в области
{ 1
1, 0
,
0}
x
t
T x
.
Постановка задачи.
Исследуем функцию
( , )
u x t
в области
удовлетворяющую уравнению (19) и следующим условиям:
начальным
37
( , 0)
( ),
( , 0)
( ),
( , 0)
( ),
1
1;
t
tt
u x
p x
u x
q x
u x
r x
x
(20)
граничным
( 1, )
(1, )
0
( 1, )
(1, )
0
xx
xx
u
t
u t
u
t
u
t
,
0
t
T
;
(21)
и условиям склеивания
( 0, )
( 0, ),
( 0, )
( 0, ),
( 0, )
( 0, ),
( 0, )
( 0, ),
x
x
xx
xx
xxx
xxx
u
t
u
t
u
t
u
t
u
t
u
t
u
t
u
t
(22)
где
( ), ( ), ( )
p x q x r x
заданные функции.
Используя результаты леммы 5 и леммы 3 для решения задачи имеем
оценка
1
( )
( )
1
1
1
2
2
2
0
1
1
0
1
( )
( , 0)
r t
r t
t
T
u dxd
d t T
u x
dx
u dxdt
,
где
2
2
2
1
1
2
1
2
1
( )
t
T
T
e
T
e
t
T
e
d t
e
,
2
2
1
( )
1
t
T
e
r t
e
,
1
1
2
2
2
0
1
1
4 2
1
( , 0)
( , 0)
( , )
( , )
T t
t
T
T
T
ttx
xxx
ttx
xxx
T
u x
u
x
dx
u x T
u
x T dx
dt
,
1
2
2
1
2
( , 0)
( , 0)
( , 0) ( , 0)
x
t
t
Tu x
Tu x
u x
u x
dx
.
Введем обозначение
1
1
1
2
2
2
2
1
1
1
:
( , )
( , )
( , )
xxx
xtt
M
u
u x T dx
u
x T dx
u
x T dx
m
.
Теорема 11.
Пусть решение задачи (19)-(22) существует и
( , )
u x t
M
, тогда
решение задачи единственно.
Теорема 12.
Пусть решение задачи существует,
1
2
( , ),
( , )
u x t u x t
M
и
3
2
( )
( )
W
p x
p x
,
2
( )
( )
L
q x
q x
,
1
2
( )
( )
W
r x
r x
. Тогда для решения
задачи (19)-(22) имеет место оценка
1
1
( )
( )
2
2
2
1
2
0
1
( )
t
r t
r t
u
u
dxd
d t T
m T
где
1
2
2
2
2
0
1
8 2
1
2
2(2
1)
t
T
T t
T
T
T
m dx
dt
T
,
2
2
2
1
1
2
1
2
1
( )
t
T
T
e
T
e
t
T
e
d t
e
,
2
2
1
( )
1
t
T
e
r t
e
.
В параграфе 2.4 рассматривается краевая задача некорректная в смысле
Адамара для дифференциального уравнения в частных производных
смешанно-составного типа 4-го порядка.
38
Постановка задачи.
В области
{ 1
1, 0
,
0}
x
t
T x
рассмотрим следующее уравнение
2
2
2
2
2
2
2
2
( , )
0
sign x
u x t
t
x
t
x
,
(23)
и пусть ее решение удовлетворяет следующим условиям
( , 0)
( ),
( , 0)
( ),
( , 0)
( ),
( , 0)
( ),
1
1;
t
tt
ttt
u x
p x
u x
q x
u x
r x
u x
s x
x
(24)
( 1, )
(1, )
0,
( 1, )
(1, )
0
xx
xx
u
t
u t
u
t
u
t
,
0
t
T
(25)
( 0, )
( 0, ),
( 0, )
( 0, ),
( 0, )
( 0, ),
( 0, )
( 0, ).
x
x
xx
xx
xxx
xxx
u
t
u
t
u
t
u
t
u
t
u
t
u
t
u
t
(26)
где
4
2
( ), ( )
( ), ( ), ( )
( )
p x q x
C
r x s x
C
.
Введем множество корректности следующим образом
1
1
1
2
2
2
2
1
1
1
:
( , )
( , )
( , )
xxx
ttx
M
u
u x t dx
u
x t dx
u
x t dx
m
.
Теорема 13.
Пусть решение задачи (23)-(26) существует и
( , )
u x t
M
, тогда
решение задачи единственно.
Теорема 14.
Пусть решение задачи существует,
1
2
( , ),
( , )
u x t u x t
M
и
4
2
( )
( )
W
p x
p x
,
4
2
( )
( )
W
q x
q x
,
2
2
( )
( )
W
r x
r x
и
2
2
( )
( )
W
s x
s x
.
Тогда для решения задачи (23)-(26) с соответствующими данными верна
оценка
1
1
( )
( )
2
2
2
1
2
0
1
( )
t
r t
r t
u
u
dxd
d t T
m T
,
где
2
2
2
2
2 (
)
2
0
4 2
1
5
2
4
(2
1)
T
T t
t
t T t
T
T
T
m
e
dt
T
.
В третьей главе диссертации, названной
«Краевые задачи для
уравнений
смешанного
типа
высокого
порядка»
,
исследована
некорректная краевая задача для уравнения высокого порядка смешанного
типа. Получена априорная оценка решения методом логарифмической
выпуклости. Доказана теорема о единственности решения и получена оценка,
характеризирующая условную устойчивость решения на множестве
корректности.
Рассмотрена
задача
Коши
для
абстрактного
дифференциального
уравнения
четвертого
порядка
на
условную
корректность и приведен скалярный пример.
В параграфе 3.1 рассмотрена краевая задача для уравнения в частных
производных смешанного типа
2
j
порядка,
,
2
j
N j
.
Рассмотрим дифференциальное уравнение
2
2
( , )
( , )
sgn
0,
n
n
u x t
u x t
x
t
x
(27)
39
в области
1
1,
0, 0
x
x
t
T
, где
2 ,
,
2
j
n
j
N j
.
Задача.
Ищется функция
( , )
u x t
,удовлетворяющая уравнению (27) в
и
следующим условиям:
начальным
0
( , )
( ),
0,1,2,...,
1.,
1
1;
l
l
t
l
l
u
t
x
x
t
n
x
(28)
граничным
( 1, )
(1, )
0, 0
;
u
t
u t
t
T
(29)
а также условиям склеивания
( 0, )
( 0, ), ( 0, )
( 0, ), 0
.
x
x
u
t
u
t u
t
u
t
t
T
(30)
Под обобщенным решением краевой задачи (27) - (30) понимаем функцию
( , )
u x t
, такую, что
2
( , )
( 1,1); [0, ]
u x t
L
C T
, удовлетворяющую следующему
тождеству
1
1
2
1
2
0
0
1
1
0
1
( , )
sgn
1
( )
,
T
k
k
n k
k
n
k
n
n
t
V
V
V
u x t sgnx
dxdt
x
x
dx
t
x
t
для
любой
функции
2
( , )
( )
n
V x t
W
,
0
k
k
t T
V
t
,
0,1,...,n 1.
k
,
( 1, )
(1, )
0
V
t
V
t
.
Лемма 8.
Для решения уравнения
2
0,
n
n
n
d
dt
удовлетворяющего условиям
(0)
,
0,1,..., n 1.,
k
k
k
k
d
f
dt
справедлива оценка
1
1
2
1
2
2
0
0
( )
( )
,
t
t
T
T
k
k
k
k
n
n
k
k
k
d
T
t
n
f
dt
где
- константа,
2 ,
,
1
j
n
j
N j
.
Пусть
2
2
2
0
1
1
:
( )
( )
.
l
k
k
k
l
k
l
n
l
l
l
d
d
M
u
u T
u T
m
dt
dt
Теорема 15.
Пусть решение задачи (27) - (30) существуют и
( , )
u x t
M
. Тогда
решение задачи (27) - (30) единственно.
Теорема 16.
Пусть решение задачи (27) - (30) существует и
( , ), ( , )
u x t u x t
M
.
Пусть
0
( )
( )
l
l
x
x
,
0,1,..., n 1.
l
. Тогда для любого решения задачи
(27) - ( 30) при
,
x t
имеет место неравенство
40
0
( , )
( , )
( , ),
u x t
u x t
m
где
( , )
2
2
T t
t
T
T
n
m
n
m
.
Параграф 3.2 посвящен исследованию некорректной краевой задачи для
дифференциально-операторного уравнения четвертого порядка. Получена
априорная оценка и доказаны единственность и условная устойчивость
решения.
Пусть
( )
u t
функция скалярного аргумента
t
,
0
,
t
T
со значениями в
пространстве Гильберта
H
.
Рассмотрим дифференциальное уравнение
,
tttt
Bu
Au
(31)
где
A
самосопряженный и положительный оператор с плотной в
H
областью
определения
( )
D A
,
B
-самосопряженный
оператор,
осуществляющий изоморфизм
H
в
H
, причем
,
E
E
I
где
,
E E
спектральные проекторы, соответствующие положительной и
отрицательной частям спектра оператора
.
B
Задача Коши.
Найти решение уравнения (31) такое, что
( )
0
,
0,1,2, 3.
i
j
t
u
f
j
(32)
Под обобщенным решением задачи (31), (32) понимаем функцию,
удовлетворяющую
следующим
условиям
( )
0,
;
,
u t
C
T H
удовлетворяющую следующему тождеству
0
1
2
3
0
,
,
(0)
,
(0))
( ,
(0))
( ,
(0)
T
tttt
ttt
tt
t
u Bv
Av dt
f Bv
f Bv
f Bv
f Bv
для любой функции
2
2
( )
0,
;
,
v t
L
T H
2
, ,
0, ;
t
tt
ttt
v v v
L
T H
,
( )
( )
( )
( )
0
t
tt
ttt
v T
v T
v T
v T
.
Введем обозначение
2
2
3
2
0
1
:
( )
( )
j
j
j
k
k
k
j
j
j
k
d
d
M
u
u T
u T
m
dt
dt
.
Теорема 17.
Пусть решение задачи (31) - (32) существуют и
( )
u t
M
. Тогда
решение задачи (31)-(32) единственно.
Теорема 18.
Пусть операторы
A
и
B
удовлетворяет указанным условиям и
пусть
( ), ( )
u t u t
M
,
0
j
j
f
f
,
0,1,2,3.
j
. Тогда для любого решения
задачи (31), (32) при
(0, )
t
T
имеет место неравенство
0
( , )
u
u
m
,
где
( , )
nf 4
2
i
T t
t
T
t
T
m
m
.
В параграфе 3.3 исследуется начально-краевая задача для уравнения
смешанного типа четвертого порядка. Построено приближенное решение
41
методом регуляризации и получена оценка погрешности нормы разности
точного и приближенного решения.
Рассмотрим уравнение
4
2
4
2
( , )
( , )
0
u x t
u x t
sgnx
t
x
,
(33)
в области
1
1,
0, 0
x
x
t
T
.
Задача.
Ищется функция
( , )
u x t
, удовлетворяющая уравнению (33) в
и
следующим условиям: начальным
0
( , )
( ),
0,1,2, 3., 1
1,
j
j
j
t
u x t
x j
x
t
(34)
граничным
( 1, )
(1, )
0, 0
,
u
t
u t
t
T
(35)
а также условиям склеивания
( 0, )
( 0, ),
( 0, )
( 0, )
, 0
.
x
x
u
t
u
t u
t
u
t
t
T
(36)
Под обобщенным решением краевой задачи (33)-(36) понимаем
функцию
( , )
u x t
, такую, что,
2
( , )
( 1,1); [0, ]
u x t
L
C T
, удовлетворяющую
следующему тождеству
1
0
1
( , )
T
tttt
xx
u x t sgnxV
V dxdt
1
3
2
1
0
1
( ) ( , 0)
( ) ( , 0)
( ) ( , 0)
( )
( , 0)
,
t
tt
ttt
sgnx
x V x
x V x
x V x
x V x
dx
для любой функции
4
2
( , )
( )
V x t
W
,
( , )
( , )
( , )
( , )
0
t
tt
ttt
V x T
V x T
V x T
V x T
,
( 1, )
(1, )
0
V
t
V
t
.
Пусть
0
0
3
( )
( )
x
x
и
u
M
. Тогда построено приближенное решение
методом регуляризации Тихонова и получена следующая оценка разности
между точным и приближенным решениями
0
(
)
( , ).
N
N
u
u
ch
t
m N
где
2
2
2
2
0
0
1
( , )
k
k
T t
t
T
T
k N
m N
m
, причем
( , )
0
m N
при
N
.
42
ЗАКЛЮЧЕНИЕ
Диссертационная
работа
посвящена
исследованию
условной
корректности и построению приближенного решения, близкого в норме
рассматриваемого пространства к точному решению на множестве
корректности краевых задач дифференциального уравнения в частных
производных составного, смешанного и смешанно-составного типов.
Основными результатами исследования являются:
1. Априорные оценки решений и установление условной корректности
краевых задач для дифференциальных уравнений в частных производных
составного, смешанного и смешанно-составного типов.
2. Доказаны теоремы единственности и условной устойчивости для
решений некорректных краевых задач дифференциальных уравнений
составного, смешанного и смешанно-составного типа.
3.
Изучена спектральная задача, соответствующая уравнению
смешанного типа, и найдена формула для вычисления собственных функций
и собственных чисел.
4. Приближенные решения построены в виде последовательностей и
соответственно определена норма разности, которая означает близость
между точным и приближенным решениями некорректных краевых задач для
дифференциальных уравнений составного, смешанного и смешанно-
составного типов.
5. Найдены множества условной корректности для некорректных задач.
6. Определены параметры регуляризации и выведены их формулы
расчета для построения приближенного решения.
7. Реализовано программное обеспечение, которое вычисляет точные и
приближенные решения в соответствии с исходными данными на основе
численного алгоритма вычислений в численном и графическом виде.
43
SCIENTIFIC COUNCIL AWARDING SCIENTIFIC DEGREES
DSc.27.06.2017.FM.01.01 NATIONAL UNIVERSITY OF UZBEKISTAN,
INSTITUTE OF MATHEMATICS
NATIONAL UNIVERSITY OF UZBEKISTAN
KHAJIEV IKROMBEK OZODOVICH
INVESTIGATIONS AND APPROXIMATE SOLUTIONS OF ILL-POSED
PROBLEMS FOR PARTIAL DIFFERENTIAL EQUATIONS OF MIXED-
COMPOSITE TYPE
01.01.02-Differential equations and mathematical physics
ABSTRACT OF DISSERTATION OF THE DOCTOR OF PHILOSOPHY (PhD) ON
PHYSICAL AND MATHEMATICAL SCIENCES
TASHKENT-2017
44
The theme of dissertation of doctor of philosophy (PhD) on physical and mathematical
sciences was registered at the Supreme Attestation Commission at the Cabinet of Ministers of the
Republic of Uzbekistan under number В2017.1.PhD/FM12.
Dissertation has been prepared at National University of Uzbekistan.
The abstract of the dissertation is posted in three languages (uzbek, russian, english (resume)) on
the website (www.ik-fizmat.nuu.uz) and the “Ziyonet” Information and educational portal
(www.ziyonet.uz).
Scientific supervisor:
Fayazov Kudratillo Sadridinovich
Doctor of Physical and Mathematical Sciences, Professor
Official opponents:
Khasanov Aknazar Bekdurdievich
Doctor of Physical and Mathematical Sciences, Professor
Islomov Bozor Islomovich
Doctor of Physical and Mathematical Sciences, Professor
Leading organization:
Bukhara State University
Defense will take place «____» _____________2017 at _____ at the meeting of Scientific Council
number DSc.27.06.2017.FM.01.01
at National University of Uzbekistan, Institute of Mathematics.
(Address: University str. 4, Almazar area, Tashkent, 100174, Uzbekistan, Ph.: (+99871) 227-12-24, fax:
(+99871) 246-53-21, e-mail: nauka@nuu.uz).
Dissertation is possible to review in Information-resource centre at National University of
Uzbekistan (is registered №____) (Address: University str. 4, Almazar area, Tashkent, 100174,
Uzbekistan, Ph.: (+99871) 246-02-24).
Abstract of dissertation sent out on «____» _______________2017 year
(Mailing report № ___________on «____» _______________2017 year)
A. Sadullaev
Chairman of scientific council
on award of scientific degrees,
D.F.-M.S., professor, academician
G.I. Botirov
Scientific secretary of scientific council
on award of scientific degrees, C.F.-M.S.
M.S.Salakhitdinov
Chairman of scientific Seminar under Scientific
Council on award of scientific degrees,
D.F.-M.S., professor, academician
45
INTRODUCTION (abstract of PhD thesis)
The urgency and relevance of the dissertation topic.
Many scientific and
applied studies conducted at the world level, in many cases, reduce to the study of
ill-posed boundary-value problems for partial differential equations. The basis of
the theory of ill-posed problems laid in the middle of the last century and they are
associated with problems of great practical importance. The main object of the
theory of inverse and ill-posed problems is the model of applied research in the
field of geophysical observation, gas dynamics, the propagation of acoustic waves,
etc. Since the study of ill-posed problems for mixed-composite equations on
conditional correctness and the construction of an approximate solution, it is
insufficient to develop a study of ill-posed problems for such equations is an actual
problem.
The aim of the research work
is to establish conditionally correctness and
finding approximate solutions on the set of correctness of ill-posed problems for
high order partial differential equations of mixed, composite, mixed-composite
types.
The tasks of research work:
-
investigation of ill-posed boundary value problems for high orders partial
differential equations of composite and mixed-composite types;
-
studies of ill-posed boundary value problems for high orders partial
differential equations of mixed type;
-
finding regular solutions, determining estimates of the norms of the
difference between exact and approximate solutions in the corresponding function
spaces;
-
finding formulas for calculating regularization parameters, implementing
numerical solutions and graphical results.
The object of the research work
is the high order partial differential
equation of mixed, composite and mixed-composite types.
Scientific novelty of the research work
is as follows
:
-
a priori estimates of the solution of ill-posed boundary-value problems for
partial differential equations of mixed, composite and mixed-composite types of
high orders are obtained;
-
sets of correctness defined for ill-posed boundary-value problems for partial
differential equations of mixed, composite and mixed-composite types of high
orders, and uniqueness and conditional stability theorems are proved;
-
approximate solutions are constructed, estimates of the norms of the
difference between the exact and approximate solutions in the corresponding
spaces are determined, formulas for calculating the regularization parameters are
derived;
-
implemented programs in a visual c # environment that outputs numerical
and graphical results of an exact and approximate solution based on computational
algorithms.
46
The outline of the thesis
In the dissertation work, conditional correctness investigated and approximate
solution constructed that is close to an exact solution of boundary value problems
for partial differential equation of composite, mixed, and mixed-composite types in
the norm of the space under consideration on the correctness set.
The main results of the study are:
A priori estimates of solutions and establishment of conditional correctness
of boundary value problems for partial differential equations of composite, mixed
and mixed-composite types.
Theorems of uniqueness and conditional stability for solutions of ill-posed
boundary value problems for differential equations of composite, mixed, and
mixed-composite type proved.
Spectral problems corresponding to the problems under study considered,
formulas are given for calculating Eigen functions and eigenvalues.
Approximate solutions constructed in the form of sequences and the norm of
the difference is defined accordingly, which means the closeness between the exact
and approximate solutions of ill-posed boundary value problems for differential
equations of composite, mixed, and mixed-composite type.
For considered ill-posed problems, the sets of conditional correctness
defined.
The regularization parameters are determined and its calculation formula
derived to construct an approximate solution.
Implemented software that calculates accurate and approximate solutions in
accordance with the initial data based on numerical algorithms for calculations in
numerical and graphical form.
47
ЭЪЛОН ҚИЛИНГАН ИШЛАР РЎЙХАТИ
СПИСОК ОПУБЛИКОВАННЫХ РАБОТ
LIST OF PUBLISHED WORKS
I бўлим (1 часть; part 1)
1.
Хажиев И.О. Приближенные решения некорректной краевой задачи
для уравнения в частных производных третьего порядка смешанного типа. //
Вестник НУУз, 2009, №1, С. 99-102. (01.00.00; № 8).
2.
Хажиев И.О. Регуляризация краевой задачи для уравнения в частных
производных четвертого порядка. // УзМЖ. - Ташкент 2009, №3, С. 56-64.
(01.00.00; № 6).
3.
Хажиев И.О. Исследования некорректной краевой задачи для
уравнения третьего порядка составного типа. // Вестник НУУз, 2011, №4/1,
С. 222-224. (01.00.00; № 8)
4.
Хажиев И.О. Оценка устойчивости некорректной краевой задачи для
уравнения второго порядка смешанно-составного типа. // Вестник НУУз,
2013, №2. С. 187-190. (01.00.00; № 8)
5.
Хажиев И.О. Краевая задача для уравнения в частных производных
четвертого порядка смешанного типа. // УзМЖ. –Ташкент, 2013, №2, С. 130-
136. (01.00.00; № 6).
6.
Фаязов К.С., Хажиев И.О. Условная корректность краевой задачи
для составного дифференциального уравнения четвертого порядка. //
Известия вузов, Математика. 2015, №4, С. 65 -74, РАН. (№ 22. Research Gate
IF=0.37)
7.
Фаязов К.С., Хажиев И.О. Оценка условной устойчивости и
приближенное решение краевой задачи для уравнения в частных
производных четвертого порядка. // Математические заметки СВФУ, 2015,
Том 22, № 1 (85), С. 78-88. (РИНЦ Импакт-фактор 0,178)
8.
Хажиев И.О., Фаязова З.К. Краевая задача для уравнения в частных
производных восьмого порядка смешанного типа. // УзМЖ. – Ташкент, 2016,
№4, С. 148-157. (01.00.00; № 6).
9.
Khajiev I.O, Fayazov K.S., Fayazova Z.K. Ill-posed boundary value
problem for operator-di
ff
erential equation of fourth order. Вестник НУУз, 2016,
№2. C. 53-61. (01.00.00; № 8)
II бўлим (2 часть; part 2)
10.
Фаязов К.С., Хажиев И.О. Приближенное решение некорректной
краевой задачи для уравнения смешанного типа. Труды межд. науч. конф.
«Современные проблемы математической физики и информационные
технологии », - Ташкент, 2003, Том №1. С. 116-119
11.
Хажиев И.О. Регуляризация краевой задачи для уравнения в частных
производных четвертого порядка. Материалы Республиканской научно-
48
практической конф. «Новые направления в теории динамических систем и
некорректных задач». 19-20 октября 2007.- Самарканд.
12.
Фаязов К.С., Хажиев И.О. Метод регуляризации для решения
краевой задачи для уравнения в частных производных третьего порядка
смешанного типа. Материалы Республиканской научно-практической конф.
«Вычислительные технологии и математические моделирование», Ташкент,
2009 г.
13.
Фаязов К.С., Хажиев И.О. Некорректная краевая задача для
уравнения в частных производных третьего порядка смешанного типа.
Материалы тезисов межд. науч. конф. «Теория и численные методы решения
обратных и некорректных задач».- Новосибирск, 2009. С. 108.
14.
Фаязов К.С., Хажиев И.О. Краевая задача для уравнения в частных
производных третьего порядка. Тезисы межд. конф. «Актуальные проблемы
прикладной математики и информационных технологий-Аль-Хорезми 2009».
18-21 сентября 2009. С. 77-78.
15.
Фаязов К.С., Хажиев И.О. Некорректная краевая задача для одного
уравнения смешанно-составного типа третьего порядка. Тезисы межд. конф.
“Обратные и некорректные задачи математической физики” посвященная
80-летию со дня рождения академика М.М.Лаврентьева. -Новосибирск, 2012.
С. 156.
16.
Фаязов К.С., Хажиев И.О. Некорректная краевая задача для
уравнения смешанно-составного типа третьего порядка. Материалы межд.
науч. конф. «Актуальные проблемы прикладной математики и информа-
ционных технологий-Аль-Хорезми 2012». Том №II, Ташкент, 2012. С. 45-48.
17.
Фаязов К.С., Хажиев И.О. Некорректная краевая задача для
смешанно-составного дифференциального уравнения в частных производных
третьего порядка. Тезисы докладов респуб. науч. конф. с участием ученых из
стран СНГ «Современные проблемы дифференциальных уравнений и их
приложения». 21-23 ноября 2013. -Ташкент. С. 195-196.
18.
Фаязов К.С., Хажиев И.О. Conditional correctness of boundary value
problem for the composed-mixed type differential equations highs order.
Материалы пятый конгресс математиков Тюркского мира. 5-7 июня 2014. -
«Аврора – Иссык - Куль» Кыргызстан. С. 106.
19.
Фаязов К.С., Хажиев И.О. Некорректные краевые задачи для
уравнения смешанно-составного типа четвертого порядка. Материалы межд.
науч. конф. «Актуальные проблемы прикладной математики и
информационных технологий-Аль-Хорезми 2014». Том №I, Ташкент, 2014.
С. 237-242.
20.
Фаязов К.С., Хажиев И.О. Некорректная краевая задача для
уравнения четвертого порядка с меняющимся направлением времени.
Материалы межд. науч. конф. "Прикладной и геометрический анализ".-
Самарканд, 2014. С. 89-90
21.
Фаязов К.С., Хажиев И.О. Оценка условной устойчивости краевой
задачи для уравнения в частных производных четвертого порядка.
Материалы респуб. науч. конф. (с участием зарубежных ученых)
49
“Неклассические уравнения математической физики и их приложения”. 23-25
октября, 2014. -Ташкент, С. 104-107.
22.
Хажиев И.О., Фаязова З.К. условная корректность краевой задачи
для дифференциального уравнения смешанного типа восьмого порядка.
Материалы рес. науч. конф. «Математическая физика и родственные
проблемы современного анализа». 26-27 ноября 2015. - Бухара. С. 286-287.
23.
Хажиев И.О. Некорректная краевая задача для уравнения
смешанного типа четвертого порядка. Тезисы докладов рес. науч. конф. с
участием зарубежных ученых «Современные методы математической физики
и их приложения». 15-17 апреля 2015.-Ташкент. С. 228-229.
50
Авторефератнинг ўзбек, рус ва инглиз тилларидаги нусхалари
«ЎзМУ хабарлари» таҳририятида таҳрирдан ўтказилди.
Босишга рухсат этилди: 03.11.2017 йил
Бичими 60х44
1
/
16
, «Times New Roman»
гарнитурада рақамли босма усулида босилди.
Шартли босма табоғи 3,2. Адади: 100. Буюртма: № 320.
Ўзбекистон Республикаси ИИВ Академияси,
100197, Тошкент, Интизор кўчаси, 68
«АКАДЕМИЯ НОШИРЛИК МАРКАЗИ»
Давлат унитар корхонасида чоп этилди.
