О разрешимости краевых задач для уравнения Лаврентьева-Бицадзе со смешанными граничными условиями тема автореферата и диссертации по математике, 01.01.02 ВАК РФ
Моисеев, Тихон Евгеньевич
АВТОР
|
||||
доктора физико-математических наук
УЧЕНАЯ СТЕПЕНЬ
|
||||
Москва
МЕСТО ЗАЩИТЫ
|
||||
2013
ГОД ЗАЩИТЫ
|
|
01.01.02
КОД ВАК РФ
|
||
|
Московский государственный университет имени М.В. Ломоносова факультет Вычислительной математики и кибернетики
На правах рукописи
005058267
МиииьЙВ Тихон Евгеньевич
О разрешимости краевых задач для уравнения Лаврентьева-Бицадзе со смешанными граничными условиями
01.01.02 - Дифференциальные уравнения, динамические системы и оптимальное управление
АВТОРЕФЕРАТ диссертации на соискание ученой степени доктора физико-математических наук
1 е т аиз
Москва - 2013
005058267
Работа выполнена на кафедре вычислительных методов факультета вычислительной математики и кибернетики Московского государственного университета имени М. В. Ломоносова.
Официальные оппоненты:
доктор физико-математических наук,
профессор
Зарубин Александр Николаевич
доктор физико-математических наук, профессор
Макин Александр Сергеевич
доктор физико-математических наук, профессор
Репин Олег Александрович
Ведущая организация:
Институт прикладной математики им. М. В. Келдыша РАН
Защита состоится " 05" июня 2013 г. в 15часов 30 минут на заседании диссертационного совета Д.501.001-43 при Московском государственном университете имени М.В.Ломоносова, расположенном по адресу: 119991, Российская Федерация, Москва, ГСП-1, Ленинские горы, 2-й учебный корпус, Факультет ВМК МГУ имени М.В.Ломоносова, аудитория 685.
С диссертацией можно ознакомиться в библиотеке Факультета ВМК МГУ имени М.В.Ломоносова.
Автореферат разослан » & -¿Л- 2013 г.
Ученый секретарь диссертационного совета,
профессор, доктор физико-математических наук Е.В. ЗАХАРОВ
Общая характеристика работы
Актуальность работы. Работа посвящена изучению разрешимости краевых задач для уравнений смешанного типа. Одним из первых, кто поставил и решил корректную задачу для уравнений смешанного типа был Трикоми, чье имя и название получило уравнение
д2и д2и п т
Задача Трикоми — найти регулярное решение уравнения (1), когда задаются условия первого рода на границе области эллиптичности и на одной из характеристик уравнения (1). При определенных требованиях на градиент решения уравнения на линии изменения типа, Трикоми удалось решить эту задачу. Метод решения этого уравнения — это сведение уравнения (1) к сингулярному интегральному уравнению с последующей его регуляризацией. Этот метод остается и сейчас одним из основных при решении уравнений смешанного типа. Трикоми также сформулировал еще одну задачу для уравнения (1), когда носителем данных является не вся характеристика, а только ее часть. Соответствующая задача получила название "задача с отходом от характеристики". Эта задача существенно трудней, чем просто задача Трикоми.
Геллерстедт в докторской диссертации (1935 г.) поставил новые задачи для уравнения Трикоми, которые называются теперь задачами Геллерстедта.
Отметим еще работу С. А. Чаплыгина "о газовых струях", написанную им в 1909 г., но получившую признание после 1945 г.
Новым толчком к изучению задач смешанного типа и уравнений, вырождающихся на границе области послужила статья М. В. Келдыша, опубликованная в 1951 г., в которой он показал, что задача Дирихле для вырождающихся на границе области уравнений, вообще говоря, некорректно поставле-
на. Подробные результаты об уравнениях, вырождающихся на границе и об уравнениях смешанного типа, можно найти в книгах М. М. Смирнова (1966, 1970,1985 гг.) и книге А. В. Бицадзе "Некоторые классы уравнений в частных производных" (1981 г.) , а также в монографии О. И. Маричева, А. А. Кил-баса, О. А. Репина "Краевые задачи для уравнений в частных производных с разрывными коэффициентами" (2006 г. ). В этой монографии на современном уровне изложена часть наиболее важных результатов, взятая из книг М. М. Смирнова , А. В. Бицадзе, Е. И. Моисеева и научных статей других авторов, вышедших с 1950 г . по 2006 г. В этой же книге приведено уравнение Лаврентьева-Бицадзе, которое появилось в 1950 г.
Для этого уравнения, М. А. Лаврентьевым был предложен аналог задачи Трикоми, которая формулируется следующим образом: введем область V - т>\ и Т>2, где Т>1 - {0 < г < 1, 0 < 0 < 7Г> — полукруг в верхней полуплоскости. На границе полукруга задано условие
где функция /(0) — функция из класса Гельдера с некоторым показателем 0 < а < 1, Т>2 — это область в нижней полуплоскости, ограниченная отрезком линии изменения типа и характеристиками уравнениями (2). Для простоты будем считать, что
Кроме этого, на линии изменения типа должны выполняться условия сопряжения
ихх + ^п у)иуу = 0.
(2)
«(1,9) = /(©),
(3)
и{х, -х- 1) = 0, я 6 (-1,0).
(4)
дх
(5)
В этих предположениях А. В. Бицадзе доказал принцип экстремума для задачи (2)-(6). Экстремум не может достигаться на линии изменения типа уравнения. Из этого сразу следует единственность задачи Трикоми для уравнения Лаврентьева-Бицадзе.
А. В. Бицадзе получил изящное представление задачи Трикоми в эллиптической части области в виде контурного интеграла
и(г) — Ие Д ■кг
№
1
£ — г 1 — Ьг
<Й, (7)
используя формулу Келдыша-Седова. Этот метод приведен в книге М. А. Лаврентьева и Б. В. Шабата "Методы теории функций комплексного переменного". Е. И. Моисеев получил эту формулу спектральным методом, выписав решение задачи Трикоми в виде биортогональиого ряда, а затем просуммировав этот ряд. Большой вклад в развитие спектральной теории решения краевых задач дифференциальных уравнений внес академик В. А. Ильин.
В общем случае можно показать, что все предыдущие рассуждения верны и для кривой Ляпунова (существование и единственность решения задачи (2)-(6), но выписать решение для кривой Ляпунова в явном виде, вообще говоря, невозможно.
Отметим, что А. В. Бицадзе вывел своеобразную формулу среднего значения для гармонической функции
1
и(0,0)= 1
у/2]
и{г,&) [Ъ%\2 ¿В.
А. В. Бицадзе исследовал также случай, когда в области эллиптичности задана нормальная производная. Он также доказал, что решение задачи Трикоми с отходом от характеристики при определенных ограничениях существует и единственно. Впоследствии эти ограничения были сняты. А. В. Бицадзе показал, что задача Дирихле для уравнения Лаврентьева-Бицадзе некор-
5
ректно поставлена и указал те области, для которых эта задача может быть корректна.
Ф. И. Франкль обнаружил ряд важных приложений уравнений смешанного типа к задачам трансзвуковой газовой динамики и теории сопел Лаваля. Им была поставлена новая задача, известная теперь, как задача Франкля.
Следующим этапом стало рассмотрение уравнение Лаврентьева-Бицадзе со спектральным параметром
ихх + (8ёпу)иуу + А2и = 0, (8)
или
^п у)ихх + иуу + А2ы = 0. (9)
Уравнение (8) исследовал С. М. Пономарев, а уравнение (9) - Е. И. Моисеев. С. М. Пономарев выписал собственные функции для уравнения (8) и исследовал их на полноту.
Е. И. Моисеев для уравнения (9) получил априорные оценки решения задачи Трикоми, а при А = 0 построил явно функцию Грина для задачи Трикоми. Он впервые установил области на комплексной плоскости, в которых нет точек спектра задачи Трикоми для таких уравнений, как уравнение Лаврентьева-Бицадзе и уравнение Трикоми со спектральным параметром. Е. И. Моисеев исследовал также уравнение Трикоми и получил результаты, аналогичные результатам уравнения Лаврентьева-Бицадзе, то есть нашел сектора на комплексной плоскости, где не лежит спектр задачи Трикоми. Эти результаты изложены в книге Е. И. Моисеева "Уравнения смешанного типа со спектральным параметром". В 1984 и 1987 гг. он находит точные условия полноты, минимальности и базисности неортогональных систем синусов и косинусов с нецелочисленным индексом. Основываясь на этих результатах, он публикует цикл статьей в 1990-1992 гг., в которых был предложен спектральный метод решения задач Трикоми и Геллерстедта для уравнения Лав-
6
рентьева-Бицадзе, а также для уравнения Трикоми и вырождающихся уравнений через биортогональные ряды. Однако вопрос о разрешимости задач со смешанными краевыми условиями в эллиптической части области практически не был исследован. Настоящая диссертация и призвана восполнить этот пробел.
Задачи со смешанными краевыми условиями возникают при рассмотрении нелокальных краевых задач типа Бицадзе-Самарского или при сведении нелокальной задачи Геллерстедта к двум локальным задачам. Кроме упомянутых авторов вопросами разрешимости уравнений смешанного типа занимались следующие ученые: В. Ф. Волкодавов, В. Н. Врагов, Т. Д. Джураев, В. Н. Диденко, В. И. Жегалов , А. Н. Зарубин , Т. Ш. Кальменов, Г. Д. Кара-топраклиев, Н. Ю. Капустин, И. Л. Кароль, А. Г. Кузьмин, О. А. Ладыженская, А. М. Нахушев, О. А. Репин, С. П. Пулькин , К. Б. Сабитов, М. С. Са-лахитдинов, А. П. Солдатов, А. А. Полосин, А. В. Псху, Р. С. Хайлурин.
Эти авторы и их ученики развивали как традиционные направления, так и ставили новые задачи для уравнений смешанного типа.
Цель диссертационной работы. Изучение разрешимости краевых задач для уравнений смешанного типа со смешанными краевыми условиями в эллиптической части области для уравнения Лаврентьева-Бицадзе.
Изучение разрешимости задачи Геллерстедта с условиями склеивания Франкля на линии изменения типа уравнения.
Представление решений указанных задач в виде биортогональных рядов и изучение их сходимости.
Получение эффективных интегральных представлений решений указанных задач.
Выяснение условий разрешимости соответствующих задач и единственности их решений .
Получение формул среднего значения гармонической функции для выяснения применимости принципа экстремума .
Нахождение функции Грина в явном аналитическом виде для некоторых задач.
Научная новизна.
1. Впервые получена формула среднего значения для гармонической функции в круговом секторе, когда на радиусах этого сектора наклонные производные с постоянным углом наклона равны нулю. Доказано, что эта формула справедлива, если сумма углов наклона производных не отрицательна, и не справедлива в противоположном случае. Эта формула совпадает с формулой среднего значения А. В. Бицадзе при сумме углов наклона производных равной нулю. Полученная в диссертации формула необходима при применении принципа экстремума для гармонической функции.
2. Впервые исследована разрешимость краевой задачи для гармонической функции в круговом секторе, когда на дуге сектора задано условие первого рода, а на радиусах сектора наклонные производные равны нулю. Доказано, что такая задача однозначно разрешима, если сумма углов наклона производных неотрицательна. Когда эта сумма меньше нуля, однородная задача имеет нетривиальное решение, а неоднородная задача всегда разрешима при любых данных Дирихле на дуге сектора. Полученные решения выписаны в виде биортогональных рядов. Эти же решения выписаны в виде восьми интегралов типа Коши. Одним из частных случаев этих решений является изящная интегральная формула А. В. Бицадзе. Все результаты справедливы для любой области, которая является образом конформного отображения кругового сектора.
3. Впервые изучена разрешимость двух задач Трикоми со смешанными краевыми условиями (на одной части границы эллиптической области задано краевое условие первого рода, а на другой — наклонная производная). Для
одной из них доказано существование нетривиального решения однородной задачи при определенном угле наклона производной и однозначная разрешимость неоднородной задачи при других углах. Для сопряженной задачи Трикоми доказано, что в зависимости от угла наклона производной, задача либо условно разрешима, либо однозначно. Решения этих задач выписаны в виде биортогональных рядов.
4. Впервые рассмотрены задачи Трикоми со смешанными краевыми условиями и с условием склеивания Франкля на линии изменения типа уравнения. Доказано, что в зависимости от значения параметра склеивания и угла наклона производной задачи либо однозначно разрешимы, либо однородная задача имеет нетривиальное решение и при этом неоднородная всегда разрешима, либо неоднородная задача условно разрешима. Для решений этих задач получены интегральные представления в виде интегралов типа Коши.
5. Впервые изучены задачи Геллерстедта с условиями склеивания Франкля на линии изменения типа уравнения Лаврентьева-Бицадзе. Доказано, что в зависимости от значений параметров склеивания задачи Геллерстедта либо однозначно разрешимы, либо однородная задача имеет нетривиальное решение и при этом неоднородная всегда разрешима, либо неоднородная задача условно разрешима. Для решений этих задач получены интегральные представления в виде интегралов типа Коши.
Практическая значимость. Работа носит теоретический характер. Предложенные методы могут быть использованы для дальнейшего изучения и развития теории уравнений смешанного типа. Полученные результаты могут применяться для решения прикладных математических задач. Например, для ряда важных приложений уравнений смешанного типа к задачам трансзвуковой газовой динамики и теории сопел Лаваля.
Апробация работы. Результаты работы неоднократно докладывались на международных конференциях: "Тихонов и современная математика"
(Москва, 2006), посвященной 100-летию академика А. Н. Тихонова; "Дифференциальные уравнения и смежные вопросы" (Москва, 2007 и 2011), посвященных памяти академика И. Г. Петровского ; "Дифференциальные уравнения и топология" (Москва, 2008), посвященной 100-летию со дня рождения академика Л. С. Понтрягина; "Современные проблемы математики, механики и их приложений", (Москва, 2009), посвященной 70-летию ректора МГУ академика В. А. Садовничего; "Современные проблемы вычислительной математики и математической физики" (Москва, 2009), посвященной 90- летию со дня рождения академика А. А. Самарского.
Доклады также были сделаны на конференции факультета ВМК МГУ "Тихоновские чтения" (Москва, 2010) и на конференции МГУ "Ломоносовские чтения" (Москва, 2011), посвященной 300-летию со дня рождения М. В. Ломоносова.
Результаты работы неоднократно докладывались на научно-исследовательских семинарах кафедры вычислительных методов, а также кафедры функционального анализа и его применений.
Публикации. Основное содержание и результаты диссертации представлены в 15 работах автора, опубликованных в журналах, входящих в перечень ВАК. Список публикаций приведен в конце автореферата.
Структура и объем диссертации. Диссертация состоит из введения, 5 глав, разделенных на 15 параграфов и списка литературы из 45 наименований. Общий объем диссертации 160 страниц.
Содержание работы
Во введении приведены основные исторические этапы развития теории уравнений смешанного типа, на основании чего ставятся цели данной работы и обосновывается ее актуальность. Кроме того, формулируется научная
новизна и значимость полученных результатов, а также излагается краткое содержание работы.
В первой и второй главах получены предварительные результаты, необходимые для решения дальнейших задач. В первой главе диссертации рассматриваются два нелокальных аналога задачи Геллерстедта для уравнения Лаврентьева-Бицадзе, в эллиптической части области которого заданы нелокальные условия Бицадзе-Самарского. Доказано, что каждая из этих задач сводится к двум локальным задачам и формулируются две теоремы о единственности и существовании решений этих локальных задач. Кроме того, получено решение краевой задачи для уравнения Пуассона со смешанными краевыми условиями и нелокальным условием четности в области, ограниченной полукругом. Для этой задачи построена в явном аналитическом виде функция Грина, определяемая формулой
♦«-»-(Ш^Г*
а - п , а + ?7 , + агс^ т;—^ - аг^ „ . . +
'/3-С
'/З + С
+ (-1)' агс1Е + (-1 Г1 вх<Ле ° 77
¿ = 1,2. (10)
Во второй главе изучается разрешимость краевых задач для уравнения Лапласа со смешанными краевыми условиями трех видов. Краевые условия - это заданная нормальная производная на части границы и наклонная производная на другой ее части. Решение выписано в виде биортогонального ряда. В качестве примера приведем один из основных результатов этой главы из третьего параграфа.
2.3. Построение нетривиального решения однородной задачи при к < 0.
2.3.3. Постановка задачи. В области
В = {(г, 0): 0 < г < 1, 0<Э< 7г/2},
В — замыкание области £), рассмотрим смешанную краевую задачу. Найти в области О функцию, удовлетворяющую уравнению Лапласа
Аи = 0 (11)
и следующим краевым условиям: неоднородное условие первого рода
и(1,6) = /(9), е€[0,тг/2], (12)
где /(&) - функция из класса Гёльдера, при у = 0 наклонная производная с постоянным углом наклона к
■ди ди\ дх ду)
= 0, х € (0,1), (13)
1/=0
а при х = 0 условие второго рода
= 0, у € (0,1). (14)
ди дх
1=0
Под регулярным решением задачи (11)—(14) будем понимать функцию, принадлежащую классу и £ С°(£>) ПС2(£>), непрерывно дифференцируемую вплоть до границы, за исключением точек (0,0), (1,0), (0,1), в которых gradгt может иметь особенности ниже первой степени.
Теорема 0.1. [2.6] Если к < 0 и и(0,0) Ф 0, то нетривиальное решение однородной задачи (11)-(Ц)■ существует и выписывается в виде ряда
(г, 6) = впга- С05 ап (- е) - С, (15)
п=0
где С - произвольная постоянная, не равная нулю. Ряд (15) сходится равномерно и других линейно независимых решений задача (Н)-(Ц) не имеет. Коэффициент ап определяется равенством ап = — (2/7г) arctg к + 2п, а Вп -коэффициенты биортогоналъного разложения.
В третьей главе впервые получена формула среднего значения для гармонической функции в круговом секторе, когда на радиусах этого сектора наклонные производные с постоянным углом наклона равны нулю. Доказано, что эта формула справедлива, если сумма углов наклона производных не отрицательна, и не справедлива в противоположном случае. Эта формула совпадает с формулой среднего значения A.B. Бицадзе при сумме углов наклона производных равной нулю.
Получен критерий однозначной разрешимости смешанной краевой задачи для гармонической функции в секторе круга, на дуге которого задано первое краевое условие, а на радиусах задаются наклонные производные с постоянным углом наклона на каждом из радиусов. Решение этой задачи выписано в виде биортогонального ряда. Построено нетривиальное решение однородной задачи. На основе полученных результатов изучена разрешимость двух задач Трикоми со смешанными краевыми условиями. Для одной из этих задач доказано существование нетривиального решения однородной задачи при определенном угле наклона производной, а при других углах — однозначная разрешимость неоднородной задачи. Для другой задачи Трикоми доказано, что в зависимости от угла наклона производной задача либо условно разрешима, либо однозначно разрешима. Условие разрешимости явно выписано в виде интеграла с помощью формулы среднего значения.
3.1. О единственности решения смешанной краевой задачи для уравнения Лапласа
3.1.1. Постановка задачи
В области V = [{г, : 0<7-<1,0<$<7г/2] требуется найти решение уравнения Лапласа
Аи = 0, (16)
которое удовлетворяет следующим краевым условиям:
и(М)=/(0), 1? € [О.тг/2], (17)
= 0, 0 < г < 1, (18)
1 ди ^ди г д'д дг
1 ди ди г д'д дг
1?=0
= 0, 0 < г < 1. (19)
При условии к + х < 0 и и(0,0) Ф 0 построено явно нетривиальное решение однородной задачи (16)—(19) в области Т> и доказана единственность решения при условии к + я > 0.
Решение и € С2 (V) П С(Т>) (Т> - замыкание области Т>) непрерывно дифференцируемо до границы, за исключением точек (0,0), (1, 0), (1,7г/2), и {тгас1и может иметь особенности ниже первой степени в этих точках.
Отметим, что при х = 0 задача (16)—(19) переходит в задачу, которая рассматривалась в работе [6]; функция /(г?) принадлежит классу Гёльдера.
Теорема 0.2. [3.1] Однородная задана (16)~(19) имеет только нулевое решение в двух случаях:
1)к + х> 0;
2) к + х < 0 и и(0,0) =0.
Теорема 0.3. [3.2] При к + х < 0 и и(0,0) ф 0 существует только одно линейно независимое нетривиальное решение однородной задачи (16)-(19) и оно определяется формулой (20).
и
0 + <?0 + \ -С. (20)
Здесь = к, tg1?l = х, причем £ (—тг/2, ж/2), ^ 6 (—тг/2, тг/2),
В случае к + х > 0 будем искать решение неоднородной задачи (16)—(19) в виде
3.2. О разрешимости задачи Трикоми для уравнения Лаврентьева-Бицадзе со смешанными краевыми условиями
3.2.1. Постановка задачи
В области V = и £>_, где Т>+ = (0 < г < 1, 0 < ■& < тг/2), (г,т?) -полярные координаты, а £>_ - область, ограниченная отрезком [0,1] оси Ох и отрезками прямых у = -х, х е [0,1/2], у = х - 1, х € [1/2,1], требуется найти регулярное решение уравнения Лаврентьева-Бицадзе
с краевыми условиями, записанными в полярной системе координат в области Т>+ и в декартовой системе координат в области :
п=1
ихх + ^п у)иуу = 0,
(21)
и(1,0) = Д0), ^ е [0, тг/2]
(22)
0 < г < 1, в £>+
(23)
и
и(®,х-1)=0, ® 6 [1/2,1] в V-
Регулярное решение задачи (21)—(24) изучается в классе функций
(24)
и € П С2(£>+) П С2(1>-)
(V - замыкание области V).Предполагается непрерывность частных производных уравнения (21) при переходе через линию изменения типа у — 0 и ^ас1г1 может иметь особенности ниже первой степени в угловых точках области Т>+. Функция /(1?) принадлежит Са\0, тг/2] и удовлетворяет условию
ДО) = 0.
Задача (21)-(24) сводится в области Т>+ к следующей задаче: найти гармоническую функцию и(г,ч9) в области Т>+, удовлетворяющую краевым условиям (22) и (23), заданным в Т>+, и условию, заданному на линии изменения типа уравнения:
/1 du
\r &ô дг)
: 0, 0 < г < 1.
(25)
?=о
Теорема 0.4. [3.3] Решение однородной задачи (21)-(24) имеет только нулевое решение при условии 1 + 7 > 0.
Теорема 0.5. [3.4] При условии 1+7 < 0 однородная задача (21)-(24) имеет только одно линейно независимое решение вида
и =
,2n-m(7)
sin
71=0
V2
(2n-m(7))tf + Y
-С,
Y,Mx-y)2n-mb) -с.
(26)
71=0
Здесь и ниже 771(7) = V^ + 27Г 1arctg7, С - произвольная ненулевая константа,
тг/2
Ап = С
72 = 0,1,2,...,
о
- коэффициенты биортогопального разложения, где Нп - биортогональная система.
Теорема 0.6. [3.5] При условии 1 + 7 < 0 решение неоднородной задачи имеет вид
00
и =
п=0
,2n-rn{l)
sin
(2 n - т( 7))г? +
Зтг
(27)
п=0
В случае 1 + 7 < 0 решение определяется с точностью до решения однородной задачи (21)-(24), заданного равенством (26).
В формулах (27) С„ = Ц'2 f(#)Hn(û) cW, п = 0,1,2,..., - коэффициенты биортогонального разложения, #„ - биортогональная система.
Теорема 0.7. [3.6] При условии 1 + 7 > 0 неоднородная задача (21)-(24) имеет единственное решение и оно может быть записано в виде
и =
-Do + EA,r2n-m(7) sin
n=l
37Г
(2n - m(7))0 + T
JK
D0 + ^^Dn(x-y)
(28)
2n-m(i)
n=l
3.3. Формула среднего значения для гармонической функции в круговом секторе
Исчерпывающим образом решен вопрос о справедливости формулы среднего значения для гармонической в круговом секторе функции, удовлетворяющей на прямолинейных участках границы этого сектора однородным краевым условиям типа наклонной производной с коэффициентами к их соответственно. Доказана справедливость этой формулы при к + х > 0, и установлено, что при к + х < 0 эта формула, вообще говоря, не справедлива.
3.3.1. Постановка задачи
Введем область
V = [ { г, 9 } : 0 < г < г0, 0 < в < а0, где а0 € (0,2тг) ],
представляющую круговой сектор. Здесь г0 — радиус окружности, а0 — фиксированное число. В секторе задана гармоническая функция и(г, в), т. е. в V
Аи = 0, (29)
а на границе сектора заданы граничные условия
+ =0, 0 < г < го, (30)
г дв от ш=о
1 ди ди i
=0' 0 < г < го- (31)
г от аг 1о=о0
Для гармонической функции и(г, в) (функция дважды-непрерывно-дифференцируема в области V и непрерывна в замыкании области V) установлена формула среднего значения
u(r,e)de и( 0,0) r(í-^)r(í-f)
---шг-ж = т"а°1р^
[*»(£)] ' [eos (а] '
В формуле (32) в0 = arctgfc, 0i = arctgx, поэтому интегралы в левой части существуют. Г(ж) — Гамма-функция Эйлера.
Теорема 0.8. [3.7] Формула среднего значения (32) справедлива при к+яг > О и, вообще говоря, несправедлива при к + к < 0.
Формула (32) неверна при к + к < 0. В этом случае однородная задача имеет нетривиальное решение
( Оо+вЛ ir » fr\{n- * .
tí = > Ai — sin
¿í w
я" } ао 2
- а
в котором постоянная С не обращается в нуль.
18
Отметим, что в начале координат достигается один из экстремумов, следовательно, для этой функции не выполняется формула среднего значения (32).
Ранее установленные формулы среднего значения
1/2
и(0,0)= 1
\/2 J
и(0,0) = 1
7Гvf+l J
(в\
^ 2 arcctg к
«М) ( tg-
вытекают из установленной нами формулы (32) при выборе соответствующих значений во и д\.
Первые две из этих формул использовались для доказательства единственности задачи Трикоми, а последняя — при доказательстве единственности "внешней" задачи Геллерстедта.
3.4. Об условной разрешимости задачи Трикоми со смешанными краевыми условиями
В этом случае краевое условие задачи Трикоми задается на характеристике, выходящей из начала координат в отличие от п.2. Доказано, что в зависимости от угла наклона производной, задача либо имеет единственное решение, либо условно разрешима с условием разрешимости
Ото --
'и^Ще«-.. (зз)
[cos (7ггЗ/2аго)] *
В четвертой главе получено интегральное представление решения для уравнения Лапласа с тремя различными краевыми условиями. Это ннтеграль-
ное представление в частном случае совпадает с изящной формулой А. В. Би-цадзе. Решение выписывается в виде интегралов типа Коши для восьми различных значений параметров.
Приведено эффективное интегральное представление решения задачи Трикоми для уравнения Лаврентьева-Бицадзе со смешанными краевыми условиями в эллиптической части области и с условием склеивания Франкля
4.1. Об интегральном представлении решения уравнения Лапласа со смешанными краевыми условиями
Получено интегральное представление решения для уравнения Лапласа с тремя различными краевыми условиями. В зависимости от постановки задачи однородная краевая задача может иметь нетривиальные решение, в других случаях решение однородной задачи равно нулю. Отметим, что неоднородная задача всегда разрешима.
4.1.1. Постановка задачи
В области V = {(г,1?) : 0 < г < 1, 0 < 1? < тг}, (г,0) - полярные координаты, требуется найти регулярное решение уравнения Лапласа
Аи = О,
(34)
которое удовлетворяет смешанным краевым условиям
«(1,0) = №, 0 6[О,7Г]
(35)
(36)
Условия (36) и (37) - это задание наклонных производных с постоянными углами наклона. Кроме того, будем предполагать, что £ (—7г/2. я/2), € (—7г/2,7г/2), а в условии (35) /(т?) принадлежит классу Гёльдера.
Задача (34)-(37) тесно связана с уравнением Лаврентьева-Бицадзе
которое при у > 0 является уравнением Лапласа. Ранее в работах подробно рассматривался ряд постановок, например: задача Трикоми, задача Геллер-стедта и другие задачи для уравнения Лаврентьева-Бицадзе.
Вернемся к задаче (34)-(37). Регулярное решение будем искать в классе функций и € С2{Т>) П С°(Х>), непрерывно дифференцируемых до границы, за исключением точек (0,0), (1,0), (—1,0), в которых gradг¡ может иметь особенность ниже первой степени.
4.1.2. Основная теорема
Теорема 0.9. [4-1] Решение задачи (34)-(37) можно записать в виде контурного интеграла
в котором г — гехр(г$), £ = ехр(г^) - комплексные числа; 7 - полуокружность, которая начинается в точке (+1,0) и заканчивается в точке (—1,0), а параметры ¡3 и 7 определяются равенствами
ихх + (щпу)иуу - 0,
х
7
(38)
Замечание 0.1 (о выборе константы Ло) При условии до + дг < О константа Ао - произвольное вещественное число, при •до+^1 — 0 полагаем А0 = О, а при условии 1?о + > 0 константа Ао определяется из соотношения
(/(<р)-Ао)}11(<р)(Ьр = 0,
где Ь,1(ф) - первая биортогональная функция к системе зт[(п+Р/2)гд+у/2], 71=1,2,...
4.2. Эффективное интегральное представление одной краевой задачи со смешанными краевыми условиями
Получено интегральное представление регулярного решения краевой задачи для уравнения Лапласа с тремя различными краевыми условиями. Приведем один случай во + в\ — 0.
Для случая 0О < 0 и 01 > 0 решение задачи (34)-(37) выписывается в виде интеграла типа Коши
«I
(г) =
29а , 1 , ч Ш - +1 /1 + ^
-«•¿//'-»•(Й)' (т
-К
1 -£г
Л. (40)
и{г) =
ж
29,
= 11е —
гж
/(агв4)
1-г\ » /1 + 2
1
1+«
+1
+
I — г 1 — ¿г
сЙ. (41)
Формула (41) дает решение задачи (34)-(37) в случае в0 + 9\ = 0. При в0 = —л-/4 и 01 = 7г/4 получаем из формулы (40) формулу, которую установил
А. В. Бицадзе
и(г) = 11еЛ /(а^) ■
7
Теорема 0.10. [44] В случае ва + в\ = 0 решение краевой задачи (34)-(37) выписывается в виде интеграла типа Коши по формулам (40) или (41) и решение в этом случае единственно.
4.3. О разрешимости задачи Трикоми с обобщенным условием склеивания Франкля
В настоящей работе изучается разрешимость задачи Трикоми для уравнения Лаврентьева-Бицадзе со смешанными краевыми условиями в эллиптической части области. На линии изменения типа уравнения градиент решения подчиняется некоторому условию. Это условие обычно называют "обобщенным условием склеивания Франкля". Доказано, что неоднородная задача Трикоми либо имеет единственное решение, либо условно разрешима, а однородная задача имеет только тривиальное решение. Приведено эффективное интегральное представление решения данной задачи.
4.3.1. Постановка задачи
В области V = VI и Т>2, где Т>х = { 0 < г < 1, 0 < в < тг}, (г, 9) -полярные координаты, а Т>2 — треугольник в нижней полуплоскости, который ограничен отрезками прямых у = 0, х £ [0,1], у = —х, х 6 [0,1/2], у = х — 1, х 6 [1/2,1], требуется найти регулярное решение уравнения Лаврентьева-Бицадзе
В области эллиптичности уравнения заданы смешанные краевые условия
ихх + ^п у)иуу = 0.
(42)
и(М) = /(0), 0е[о,тг], 23
1 ди ди
= 0. (44)
в=1Г
Будем предполагать, что функция /(0) удовлетворяет условию Гельдера с некоторым показателем а. Условие (44) — это задание наклонной производной с постоянным углом наклона.
В гиперболической части области уравнения Лаврентьева-Бицадзе данные заданы на одной из характеристик этого уравнения
и(х, —х) = 0, х«Е[0, (45)
Решение задачи (42)-(45) будем искать в классе функций:
и&С^ф) ПС2(2?!)ПС2(1>2).
На линии изменения типа уравнения будем требовать выполнение условий:
ди, ди,
дх дх
, ди. „, ди,
Условие (46) будем называть "обобщенным условием склеивания по Франк-
лю"
Введем обозначения к = tgthetaol к —
Замечание 0.2. При х = 0 получаем важный результат, что задачи Трикоми с условием сшивания по Франклю (46) и с заданием первого краевого условия (43) и нормальной производной (в нее переходит наклонная производная при н = 0) могут стать условно разрешимыми.
Теорема 0.11. [4-6] В случае 90 - 8\ =0 краевая задача (4%)-(46) разрешима тогда и только тогда, когда выполняется условие (47), а решение выписывается в виде интеграла типа Коши.
Необходимое и достаточное условие разрешимости задач имеет вид ~ м (вт1)Щ/*
(соэ |)
■¿0 = 0. (47)
' 2)
Теорема 0.12. [4-7] В случае бд — >0 краевая задача (42)-(46) имеет единственное решение, которое выписывается в виде интеграла типа Ко-ши.
Теорема 0.13. [4-8] В случае в0 - в\ < 0 краевая задача (42)-(46) разрешима тогда и только тогда, когда выполняется условие (47), и решение выписывается в виде интеграла типа Коши.
4.4. О неединственности решения задачи Трикоми с обобщенным условием склеивания Франкля
Доказано, что решение неоднородной задачи Трикоми либо имеет единственное решение, либо определено с точностью до решения однородной задачи. Неоднородная задача всегда разрешима при любых входных данных, вне зависимости от того, имеет ли однородная задача Трикоми нетривиальное решение или нет. Приведено эффективное интегральное представление решения данной задачи как в эллиптической, так и в гиперболической части области уравнения.
4.4.1. Постановка задачи
Отличается от постановки 4.3.1 тем, что в гиперболической части области уравнения Лаврентьева-Бицадзе данные заданы на одной из характеристик этого уравнения
и(х, ж — 1) = 0, ж е 1]. (48)
Пятая глава посвящена изучению разрешимости задач типа Геллерстедта, для уравнения Лаврентьева-Вицадзе с неклассическим условием склеивания градиента решения. Такие условия обычно называют "обобщенным условием склеивания по Франклю". Будет изучена разрешимость задачи Гел-лерстедта, когда данные задаются на внешних и внутренних характеристиках уравнения. Отметим, что только неоднородная задача Геллерстедта с данными на внешних характеристиках уравнения или однозначна разрешима или определена с точностью до нетривиального решения однородной задачи. Все остальные варианты задания данных на других характеристиках уравнения приводят либо к однозначной разрешимости неоднородной задачи либо к условной разрешимости. В каждом параграфе выписаны интегральные представления решения задачи как в эллиптической, так и в гиперболической части уравнения. Решение при этом является регулярным. В начале каждого параграфа, дается краткая постановка задачи и затем приводится интегральные формулы для решения.
5.1. Задача Геллерстедта с неклассическими условиями склеивания градиента решения на линии изменения типа с данными на внешних характеристиках
5.1.1. Постановка задачи
Введем область V = А и £>2 и £>3, где А = {0 < г < 1, 0 < 0 < тг} открытый полукруг единичного радиуса, область Т>2 — это область в нижней части полуплоскости, ограниченная отрезками прямых у = 0, у = -х, у — х -1. Область £>з — это область, ограниченная отрезками прямых у = О, у = х,у = —х—1. Нетрудно видеть, что это область является прямоугольным треугольником.
Рассмотрим уравнение Лаврентьева-Бицадзе
uxx + {sgny)uvy = 0. (49)
Уравнение (49) определено в области и в открытых областях Т>2 и Т>з, (граница этих областей не включается). В эллиптической части уравнения (49) на границе единичного полукруга задано краевое условие:
u(M) = /(0), 0 6[O,jr], (50)
где функция /($) удовлетворяет условию Гёльдера на отрезке[0, 7г] с некоторым показателем а.
В гиперболической части уравнения данные задаются на характеристиках уравнения у — х — 1, у — —х — 1. Именно,
и(х, х — 1) = 0, i < х < 1,
2 ! (51)
и{х, -х - 1) = 0, -1<х<-~.
Кроме того, предполагается, что на линии изменения типа уравнения (49) у = 0 выполняются соотношения
= -1<аг<1, 0<х<1,
ох ох
Ах,-0) = р(х,+0), —1 < х < 0, (52)
ду оу
Ах,-0) = ^(х,Щ, Oerel.
где и к и к — постоянные числа, и, кроме того, ни одно из них не обращается в ноль. Отметим, что при к = k = 1, задача переходит в классическую задачу Геллерстедта.
Решение задачи (49)-(52) уравнения мы будем искать в классе функций:
и € Сф) П C2(Vi) П C2(V2) П C2{Vz). 27
Тот факт, что градиент решения задачи (49)-(52) не является непрерывной функцией на линии изменения типа уравнения, приводит к тому, что при условии к + к < 0 у однородной задачи (49)-(52) (/(в) = 0) есть нетривиальные решения. Отметим, что неоднородная задача (/(в) ф 0) при к + к > 0 однозначно разрешима.
Введем обозначения к - Щв0, к - tg0l. Будем предполагать, что в0 € € (—7г/2,0) и (0,тг/2), угол вх € (-тг/2,0) и (0,тг/2).
Задача (49)~(52) сводится в области эллиптичности к следующей задаче:
Аи = 0, (53)
«(1,0) =/(<?), (54)
= 0, (55)
= 0. (56)
1 ди ди\
/1 ди ди\
{-гШ-^э?)
1?=7Г
Итак , справедлива
Теорема 0.14. [5.1] В случае + 1?1 = 0 решение краевой задачи (49)-(52) выписывается в виде интеграла типа Коши и решение в этом случае единственно.
Теорема 0.15. [5.2] В случае + 01 < 0 решение краевой задачи (49)-(52) выписывается в виде интеграла типа Коши.
Замечание 0.3. Если положить = 0, то получим нетривиальное
решение задачи (49)-(52).
Теорема 0.16. [5.3] В случае 0О + > 0 решение краевой задачи (49)-(52) выписывается в виде интеграла типа Коши и решение в этом случае единственно.
Замечание 0.4. При ■до = = 7г/4 получаем важные формулы для классического варианта внешней задачи Геллерстедта
и(г) — Ие — 7гг
2(1 -22)
(/(ачО-А.Ы^у-
■ +
£ - 2 1 -
сЙ+Во В Х>1,
(57)
и(х,у) = Ые-7тг
■ +
г
г-{х-у) 1 -г(х-у)
(И + В0 в 2?г, (58)
и(а;, у) = 11е — 7гг
им - Во) • \1-^372)-х
г
, ' , + 1 , ' , Л + Во В Яз. (59) Ь - {х + г/) 1 - ¿(а; + у)]
Константа Во во всех формулах вычисляется по формуле среднего значения гармонической функции, которую с учетом условия (50) можно переписать в виде
№
8Ш|-
1в0_ _ . ... 291
С0315
= (60)
г 1-
в0 + 0]
5.2. Задача Геллерстедта с неклассическими условиями склеивания градиента решения на линии изменения типа с данными на внутренних характеристиках
В данном параграфе исследована на разрешимость задача Геллерстедта для уравнения Лаврентьева-Бицадзе. В области эллиптичности уравнения на границе единичной полуокружности с центром в начале координат задана функция. В области гиперболичности уравнения на характеристиках уравнения заданы нулевые условия. Отметим, что обе характеристики приходят в начало координат. Такие характеристики принято называть внутренними. На линии изменения типа уравнения задаются "условия типа Франкля". Доказано, что задача либо условно разрешима, либо однозначно разрешима. В случае условной разрешимости явно выписывается условие разрешимости. Выписано интегральное представление решения во всех случаях.
5.2.1. Постановка задачи
Постановка задачи отличается от постановки задачи (49)—(52) условием (61).
В гиперболической части уравнения данные задаются на характеристиках уравнения у — —х, у = х. Именно,
и(х, -х) = 0, 0<я<^,
! 2 (61) и(х,х) =0, -- < х < 0.
Тогда задача (49)-(52) сводится в области эллиптичности к следующей
задаче:
Au = О,
(62)
«(1 ,*) = №
(63)
= 0
(64)
= 0, u(0,0) = 0.
(65)
Теорема 0.17. ¡5.4] В случае "до 4- i?i = 0 решение задачи Геллерстедта существует тогда и только тогда, когда выполнено условие разрешимости (70). При выполнении условия разрешимости решение задачи выписывается в виде интеграла типа Коши и решение в этом случае единственно.
Замечание 0.5. При во = тг/4 и 6\ = —тг/4, получаем формулу, которую установил А. В. Бицадзе для задачи Трикоми:
Теорема 0.18. [5.5] В случае $о + > 0 решение краевой задачи Геллерстедта представимо в виде интеграла типа Коши и в этолг случае единственно.
Замечание 0.6. При г?о = = 7г/4 получаем решение классического варианта задачи Геллерстедта
w
(,) = Rel}/(argi)
t — z 1 — tz
1 1
^ dt. (66)
i
13 Vu (67)
и(х, у) = Re —г
4 7гг.
/0*8 О ■ \1-Щ—р) х
t-(x + y) 1 -t(x + y)
dt a V2, (68)
u{x,y) = Re-.
dt + B0 в V¡. (69)
Теорема 0.19. [5.6] В случае г?0 + < 0 решение краевой задачи Геллер-стедта существует тогда и только тогда, когда выполнено уыовие разрешимости. При выполнении условия разрешимости решение задачи выписывается в виде интеграла типа Коши.
Условие разрешимости задачи может быть записано в виде
т
sml-
20ц 1Г
COSI-
20! 1Г
= 0.
(70)
Основные публикации по теме диссертации.
1. Ионкин Н. И., Моисеев Т. Е. Решение задачи Геллерстедта с нелокальными краевыми условиями //ДАН. 2005. Т. 400, № 5. С. 592-595.
2. Моисеев Т. Е. О теоремах единственности решений нелокальных краевых задач для уравнения Лаврентьева-Бицадзе //Дифференц. уравнения. 2005. Т. 41, № 5. С. 710-712.
3. Моисеев Т. Е. Решение нелокальной краевой задачи для уравнения Пуассона со смешанными краевыми условиями с помощью функции Грина //Дифференц. уравнения. 2005. Т. 41, № 10. С. 1423-1425.
4. Моисеев Т. Е. О решении уравнения Лапласа со смешанными краевыми условиями. //Дифференц. уравнения. 2006. Т. 42, № 4. С. 563-566.
5. Моисеев Т. Е. Об одном варианте задачи с наклонной производной //Дифференц. уравнения. 2006. Т. 42, № 10. С. 1434-1436.
6. Моисеев Т. Е. Разрешимость краевых задач с наклонной производной //Дифференц. уравнения. 2007. Т. 43, № 7. С. 995-997.
7. Моисеев Т. Е. О неединственности решения смешанной краевой задачи для уравнения Лапласа //Дифференц. уравнения. 2008. Т. 44, № 5. С. 712-714.
8. Моисеев Т. Е. О разрешимости задачи Трикоми для уравнения Лаврентьева-Бицадзе со смешанными краевыми условиями //Дифференц. уравнения. 2009. Т. 45, № 10. С. 1512-1514.
9. Моисеев Т. Е. Формула среднего значения для гармонической функции в круговом секторе //ДАН. 2010. Т. 432, № 5. С. 592-593.
10. Моисеев Т. Е. Об условной разрешимости задачи Трикоми со смешанными краевыми условиями //Дифференц. уравнения. 2010. Т. 46, № 10. С. 1513-1515.
11. Моисеев Т. Е. Об интегральном представлении решения уравнения Лапласа со смешанными краевыми условиями //Дифференц. уравнения. 2011. Т. 47, № 10. С. 1446-1451.
12. Моисеев Т. Е. Эффективное интегральное представление одной краевой задачи со смешанными краевыми условиями //ДАН. 2012. Т. 444, К2 2. С. 150-152.
13. Моисеев Т. Е. О решении задачи Геллерстедта для уравнения Лав-рентьева-Бицадзе //Дифференц. уравнения. 2012. Т. 48, № 10. С. 1454-1456.
14. Моисеев Т. Е. О разрешимости одного нелокального варианта задачи Геллерстедта //Дифференц. уравнения. 2003. Т. 39, № 10. С. 1404-1408.
15. Моисеев Т. Е. О полноте собственных функций одной нелокальной краевой задачи Геллерстедта //Дифференц. уравнения. 2003. Т. 39, № 11. С. 1568-1570.
Напечатано с готового оригинал-макета
Подписано в печать 22.03.2013 г. Формат 60x90 1/16. Усл.печ.л. 2,0. Тираж 100 экз. Заказ 079.
Издательство ООО "МАКС Пресс" Лицензия ИД N 00510 от 01.12.99 г. 119992, ГСП-2, Москва, Ленинские горы, МГУ им. М.В. Ломоносова, 2-й учебный корпус, 527 к. Тел. 8(495)939-3890/91. Тел./факс 8(495)939-3891.
Московский государственный университет имени М.В. Ломоносова факультет Вычислительной математики и кибернетики
На__правах рукописи
0В20Г350В43 Л1Лтк
МОИСЕЕВ Тихон Евгеньевич
О разрешимости краевых задач для уравнения Лаврентьева—Бицадзе со смешанными граничными условиями
01.01.02 - Дифференциальные уравнения, динамические системы
и оптимальное управление
ДИССЕРТАЦИЯ на соискание ученой степени доктора физико-математических наук
Москва - 2013
Содержание
Введение ................................... 4
Глава 1. Нелокальные краевые задачи...............51
1.1. О теоремах единственности решений нелокальных краевых задач для уравнения Лаврентьева-Бицадзе.............51
1.2. Решение нелокальной краевой задачи для уравнения Пуассона
со смешанными краевыми условиями с помощью функции Грина 56
Глава 2. Краевые задачи с наклонной производной.......61
2.1. О решении уравнения Лапласа со смешанными краевыми условиями .................................61
2.2. Об одном варианте задачи с наклонной производной......67
2.3. Разрешимость краевых задач с наклонной производной.....71
Глава 3. Задачи со смешанными краевыми условиями.....77
3.1. О единственности решения смешанной краевой задачи для уравнения Лапласа............................78
3.2. О разрешимости задачи Трикоми для уравнения Лаврентьева-Бицадзе со смешанными краевыми условиями..........81
3.3. Формула среднего значения для гармонической функции в круговом секторе ............................85
3.4. Об условной разрешимости задачи Трикоми со смешанными краевыми условиями ........................89
Глава 4. Интегральные представления...............94
4.1. Об интегральном представлении решения уравнения Лапласа
со смешанными краевыми условиями...............94
4.2. Эффективное интегральное представление одной краевой задачи со смешанными краевыми условиями............103
4.3. О разрешимости задачи Трикоми с обобщенным условием склеивания Франкля...........................109
4.4. О неединственности решения задачи Трикоми с обобщенным условием склеивания Франкля...................117
Глава 5. Разрешимость задачи Геллерстедта для уравнения Лаврентьева—Бицадзе с неклассическими условиями склеивания градиента (по Франклю) на линии изменения типа уравнения 127
5.1. Задача Геллерстедта с неклассическими условиями склеивания градиента решения на линии изменения типа с данными на внешних характеристиках .....................128
5.2. Задача Геллерстедта с неклассическими условиями склеивания градиента решения на линии изменения типа с данными на внутренних характеристиках....................139
Литература..................................153
Введение
Актуальность работы. Работа посвящена изучению разрешимости краевых задач для уравнений смешанного типа. Одним из первых, кто поставил и решил корректную задачу для уравнений смешанного типа был Трикоми [42], чье имя и название получило уравнение
д2и д2и
Задача Трикоми — найти регулярное решение уравнения (1), когда задаются условия первого рода на границе области эллиптичности и на одной из характеристик уравнения (1). При определенных требованиях на градиент решения уравнения на линии изменения типа, Трикоми удалось решить эту задачу. Метод решения этого уравнения — это сведение уравнения (1) к сингулярному интегральному уравнению с последующей его регуляризацией. Этот метод остается и сейчас одним из основных при решении уравнений смешанного типа. Трикоми также сформулировал еще одну задачу для уравнения (1), когда носителем данных является не вся характеристика, а только ее часть. Соответствующая задача получила название "задача с отходом от характеристики". Эта задача существенно трудней, чем просто задача Трикоми.
Геллерстедт [45] в докторской диссертации (1935 г.) поставил новые задачи для уравнения Трикоми, которые называются теперь задачами Геллер-стедта.
Отметим еще работу С. А. Чаплыгина "О газовых струях", написанную им в 1909 г., но получившую признание после 1945 г. [43].
Новым толчком к изучению задач смешанного типа и уравнений, вырождающихся на границе области послужила статья М. В. Келдыша [11], опубликованная в 1951 г., в которой он показал, что задача Дирихле для вы-
рождающихся на границе области уравнений, вообще говоря, некорректно поставлена. Подробные результаты об уравнениях, вырождающихся на границе и об уравнениях смешанного типа, можно найти в книгах М. М. Смирнова [39] (1966, 1970, 1985 гг.) и книге А. В. Бицадзе [1] "Некоторые классы уравнений в частных производных" (1981 г.) , а также в монографии О. И. Маричева, А. А. Килбаса, О. А. Репина [15] "Краевые задачи для уравнений в частных производных с разрывными коэффициентами" (2006 г. ). В этой монографии на современном уровне изложена часть наиболее важных результатов, взятая из книг М. М. Смирнова , А. В. Бицадзе, Е. И. Моисеева и научных статей других авторов, вышедших с 1950 г . по 2006 г. В этой же книге приведено уравнение Лаврентьева-Бицадзе, которое появилось в 1950 г.
ихх + {щпу)иуу = 0. (2)
Для этого уравнения, М. А. Лаврентьевым был предложен аналог задачи Трикоми, которая формулируется следующим образом: введем область V = V1 и V 2, где Х>1 = {0 < г < 1, 0<©<7г} — полукруг в верхней полуплоскости. На границе полукруга задано условие
и(1,е) = де), (з)
где функция /(0) — функция из класса Гельдера с некоторым показателем 0 < а < 1, Т>2 —это область в нижней полуплоскости, ограниченная отрезком линии изменения типа и характеристиками уравнениями (2). Для простоты будем считать, что
и(х, -х - 1) = 0, я Е (-1,0). (4)
Кроме этого, на линии изменения типа должны выполняться условия
сопряжения
ди. ди.
(6)
В этих предположениях А. В. Бицадзе [1], [2] доказал принцип экстремума для задачи (2)-(6). Экстремум не может достигаться на линии изменения типа уравнения. Из этого сразу следует единственность задачи Трикоми для уравнения Лаврентьева-Бицадзе.
А. В. Бицадзе [1], [2] получил изящное представление задачи Трикоми в эллиптической части области в виде контурного интеграла
и(2) = Яе- /(*)
7гг
1 — г I-*2
1
1
Ь — г 1 — Ьг
(7)
используя формулу Келдыша-Седова. Этот метод приведен в книге М. А. Лаврентьева и Б. В. Шабата [13] "Методы теории функций комплексного переменного". Е. И. Моисеев [19] получил эту формулу спектральным методом, выписав решение задачи Трикоми в виде биортогонального ряда, а затем просуммировав этот ряд. Большой вклад в развитие спектральной теории решения краевых задач дифференциальных уравнений внес академик В. А. Ильин [7].
В общем случае можно показать, что все предыдущие рассуждения верны и для кривой Ляпунова (существование и единственность решения задачи (2)—(6)), но выписать решение для кривой Ляпунова в явном виде, вообще говоря, невозможно.
Отметим, что А. В. Бицадзе [1], [2] вывел своеобразную формулу среднего значения для гармонической функции
и(0,0)
1
7Г
у/2 }
А. В. Бицадзе исследовал также случай, когда в области эллиптичности задана нормальная производная. Он также доказал, что решение задачи Три-коми с отходом от характеристики при определенных ограничениях существует и единственно. Впоследствии эти ограничения были сняты. А. В. Бицадзе [1], [2] показал, что задача Дирихле для уравнения Лаврентьева-Бицадзе некорректно поставлена и указал те области, для которых эта задача может быть корректна.
Ф. И. Франкль [44] обнаружил ряд важных приложений уравнений смешанного типа к задачам трансзвуковой газовой динамики и теории сопел Ла-валя. Им была поставлена новая задача, известная теперь, как задача Франк-ля.
Следующим этапом стало рассмотрение уравнение Лаврентьева-Бицадзе со спектральным параметром
ихх + ^п у)иуу + Х2и = 0, (8)
или
^п у)ихх + Чуу + Х2и = 0. (9)
Уравнение (8) исследовал С. М. Пономарев, а уравнение (9) — Е. И. Моисеев. С. М. Пономарев выписал собственные функции для уравнения (8) и исследовал их на полноту.
Е. И. Моисеев для уравнения (9) получил априорные оценки решения задачи Трикоми, а при Л = 0 построил явно функцию Грина для задачи Трикоми. Он впервые установил области на комплексной плоскости, в которых нет точек спектра задачи Трикоми для таких уравнений, как уравнение Лаврентьева-Бицадзе и уравнение Трикоми со спектральным параметром. Е. И. Моисеев исследовал также уравнение Трикоми и получил результаты, аналогичные результатам уравнения Лаврентьева-Бицадзе. то есть нашел сектора на комплексной плоскости, где не лежит спектр задачи Трикоми.
Эти результаты изложены в книге Е. И. Моисеева [18] "Уравнения смешанного типа со спектральным параметром". В 1984 и 1987 гг. он находит точные условия полноты, минимальности и базисности неортогональных систем синусов и косинусов с нецелочисленным индексом [16], [17]. Основываясь на этих результатах, он публикует цикл статьей [19], [20] в 1990-1992 гг., в которых был предложен спектральный метод решения задач Трикоми и Геллерстед-та для уравнения Лаврентьева-Бицадзе, а также для уравнения Трикоми и вырождающихся уравнений через биортогональные ряды. Однако вопрос о разрешимости задач со смешанными краевыми условиями в эллиптической части области практически не был исследован. Настоящая диссертация и призвана восполнить этот пробел.
Задачи со смешанными краевыми условиями возникают при рассмотрении нелокальных краевых задач типа Бицадзе-Самарского [3] или при сведении нелокальной задачи Геллерстедта к двум локальным задачам [8]. Кроме упомянутых авторов вопросами разрешимости уравнений смешанного типа занимались следующие ученые: В. Ф. Волкодавов, В. Н. Врагов, Т. Д. Джура-ев, В. Н. Диденко, В. И. Жегалов [5], А. Н. Зарубин [6], Т. Ш. Кальменов [9], Г. Д. Каратопраклиев, Н. Ю. Капустин [10], И. Л. Кароль, В. А. Кондратьев [12], А. Г. Кузьмин, О. А. Ладыженская, А. С. Макин [14], А. М. Наху-шев [36], О. А. Репин [15], С. П. Пулькин , К. Б. Сабитов [10], М. С. Салахит-динов, А. Л. Скубачевский, А. П. Солдатов, А. А. Полосин [38], А. В. Псху, Р. С. Хайруллин.
Эти авторы и их ученики развивали как традиционные направления, так и ставили новые задачи для уравнений смешанного типа.
Цель диссертационной работы. Изучение разрешимости краевых задач для уравнений смешанного типа со смешанными краевыми условиями в эллиптической части области для уравнения Лаврентьева-Бицадзе.
Изучение разрешимости задачи Геллерстедта с условиями склеивания Франкля на линии изменения типа уравнения.
Представление решений указанных задач в виде биортогональных рядов и изучение их сходимости.
Получение эффективных интегральных представлений решений указанных задач.
Выяснение условий разрешимости соответствующих задач и единственности их решений .
Получение формул среднего значения гармонической функции для выяснения применимости принципа экстремума .
Нахождение функции Грина в явном аналитическом виде для некоторых задач.
Научная новизна.
1. Впервые получена формула среднего значения для гармонической функции в круговом секторе, когда на радиусах этого сектора наклонные производные с постоянным углом наклона равны нулю. Доказано, что эта формула справедлива, если сумма углов наклона производных не отрицательна, и не справедлива в противоположном случае. Эта формула совпадает с формулой среднего значения А. В. Бицадзе при сумме углов наклона производных равной нулю. Полученная в диссертации формула необходима при применении принципа экстремума для гармонической функции.
2. Впервые исследована разрешимость краевой задачи для гармонической функции в круговом секторе, когда на дуге сектора задано условие первого рода, а на радиусах сектора наклонные производные равны нулю. Доказано, что такая задача однозначно разрешима, если сумма углов наклона производных неотрицательна. Когда эта сумма меньше нуля, однородная задача имеет нетривиальное решение, а неоднородная задача всегда разрешима при любых данных Дирихле на дуге сектора. Полученные решения выписа-
ны в виде биортогональных рядов. Эти же решения выписаны в виде восьми интегралов типа Коши. Одним из частных случаев этих решений является изящная интегральная формула А. В. Бицадзе. Все результаты справедливы для любой области, которая является образом конформного отображения кругового сектора.
3. Впервые изучена разрешимость двух задач Трикоми со смешанными краевыми условиями (на одной части границы эллиптической области задано краевое условие первого рода, а на другой — наклонная производная). Для одной из них доказано существование нетривиального решения однородной задачи при определенном угле наклона производной и однозначная разрешимость неоднородной задачи при других углах. Для сопряженной задачи Трикоми доказано, что в зависимости от угла наклона производной, задача либо условно разрешима, либо однозначно. Решения этих задач выписаны в виде биортогональных рядов.
4. Впервые рассмотрены задачи Трикоми со смешанными краевыми условиями и с условием склеивания Франкля на линии изменения типа уравнения. Доказано, что в зависимости от значения параметра склеивания и угла наклона производной задачи либо однозначно разрешимы, либо однородная задача имеет нетривиальное решение и при этом неоднородная всегда разрешима, либо неоднородная задача условно разрешима. Для решений этих задач получены интегральные представления в виде интегралов типа Коши.
5. Впервые изучены задачи Геллерстедта с условиями склеивания Франкля на линии изменения типа уравнения Лаврентьева-Бицадзе. Доказано, что в зависимости от значений параметров склеивания задачи Геллерстедта либо однозначно разрешимы, либо однородная задача имеет нетривиальное решение и при этом неоднородная всегда разрешима, либо неоднородная задача условно разрешима. Для решений этих задач получены интегральные представления в виде интегралов типа Коши.
Практическая значимость. Работа носит теоретический характер. Предложенные методы могут быть использованы для дальнейшего изучения и развития теории уравнений смешанного типа. Полученные результаты могут применяться для решения прикладных математических задач. Например, для ряда важных приложений уравнений смешанного типа к задачам трансзвуковой газовой динамики и теории сопел Л аваля.
Апробация работы. Результаты работы неоднократно докладывались на международных конференциях: "Тихонов и современная математика" (Москва, 2006), посвященной 100-летию академика А. Н. Тихонова; "Дифференциальные уравнения и смежные вопросы" (Москва, 2007 и 2011), посвященных памяти академика И. Г. Петровского ; "Дифференциальные уравнения и топология" (Москва, 2008), посвященной 100-летию со дня рождения академика Л. С. Понтрягина; "Современные проблемы математики, механики и их приложений", (Москва, 2009), посвященной 70-летию ректора МГУ академика В. А. Садовничего; "Современные проблемы вычислительной математики и математической физики" (Москва, 2009), посвященной 90- летию со дня рождения академика А. А. Самарского.
Доклады также были сделаны на конференции факультета ВМК МГУ "Тихоновские чтения" (Москва, 2010) и на конференции МГУ "Ломоносовские чтения" (Москва, 2011), посвященной 300-летию со дня рождения М. В. Ломоносова.
Результаты работы неоднократно докладывались на научно-исследовательских семинарах кафедры вычислительных методов, а также кафедры функционального анализа и его применений.
Публикации. Основное содержание и результаты диссертации представлены в 15 работах автора, опубликованных в журналах, входящих в перечень ВАК. Список публикаций приведен в конце диссертации.
Во введении приведены основные исторические этапы развития теории уравнений смешанного типа, на основании чего ставятся цели данной работы и обосновывается ее актуальность. Кроме того, формулируется научная новизна и значимость полученных результатов, а также излагается краткое содержание работы.
В первой Главе диссертации рассматриваются два нелокальных аналога задачи Геллерстедта для уравнения Лаврентьева- Бицадзе, в эллиптической части области которого заданы нелокальные условия Бицадзе-Самар-ского. Доказано, что каждая из этих задач сводится к двум локальным задачам и формулируются две теоремы о единственности и существовании решений этих локальных задач.
Кроме того, рассматривается краевая задача со смешанными краевыми условиями и нелокальным условием четности для уравнения Пуассона в области, ограниченной полукругом. Для этой задачи построена функция Грина в явном аналитическом виде.
1.1. О теоремах единственности решений нелокальных краевых задач для уравнения Лаврентьева—Бицадзе
1.1.1. Постановка задачи
В области £> = £>+ и £>1_ и £>2_, где Г>+ = {(г, 0) : 0 < г < 1, 0 < 0 < < 7г} — полукруг в верхней полуплоскости,
V1_ = {{x,y): -у<х<у + 1, —1/2 < < 0},
Р2- = {{х,у) : -у-1<х<у, -1/2 < у < 0},
равнобедренные прямоугольные треугольники в нижней полуплоскости, изучается единственность регулярного решения уравнения
ихх + (у) -иуу = 0 в V, (10)
удовлетворяющего следующим краевым условиям: на границе области Т>\ задается нелокальное условие четности
и(1,0) =и(1,тг-0), Э е [0,71-/2], (И)
и нормальная производная
ди дг
В гиперболической области задаются условия Геллерстедта:
= /(6), 6