Задача Дирихле для эллиптического уравнения с сингулярным коэффициентом Текст научной статьи по специальности «Математика»

Задача Дирихле для эллиптического уравнения с сингулярным коэффициентом The Dirichlet problem for an elliptic equation with a singular coeficient

УДК 517.95

Акимов Андрей Анатольевич,

к.ф.-м.н. наук, доцент, Стерлитамакский филиал БашГУ, г. Стерлитамак Вахитов Алмаз Рустэмович,

студент, Стерлитамакский филиал БашГУ, г. Стерлитамак Akimov A.A. Vahitov A.R.

Аннотация: В работе рассмотрена задача Дирихле для эллиптического уравнения с сингулярным коэффициентом. При определенных ограничениях на границу области и коэффициенты уравнения доказаны единственность решения в классе функций, след которых представимых в виде суммы ряда Фурье и существование решения поставленной задачи.

Summary: In this paper we consider the Dirichlet problem for an elliptic equation with a singular coefficient. Under certain restrictions on the boundary of the domain and the coefficients of the equation, the uniqueness of the solution in the class of functions whose trace is representable as the sum of a Fourier series and the existence of a solution of the posed problem are proved.

Ключевые слова: эллиптическое уравнение, задача Дирихле, сингулярные уравнения, краевые задачи, Фурье.

Keywords: elliptic equation, Dirichlet problem, singular equations, boundary value problems, Fourier.

1. Постановка задачи.

Рассмотрим уравнение эллиптического типа

где Р-У-^R в области эллиптичности D - единичном квадрате со

Международный журнал прикладных наук и технологий «Integral» №4 2018

Для уравнения (1) при

р< 1

в области Б поставим краевую задачу:

Найти в квадрате Б функцию " ' ■ удовлетворяющую условиям:

т(х), тл (х) и с?(г?) -е

где ■ ■ 1 ^ г ~ ■ заданные, достаточно гладкие

В работе [1] были доказаны единственность и существование решения задачи,

аналогичной (2) - (5) при ^ . ^ произвольной области, лежащей в

v > О

полуплоскости

и ограниченной линиеи

х=0.

Была построена теория потенциала

уравнения (1) при ^ ^ и получена формула решения через функцию Грина. Для полукруга построена функция Грина и в явном виде выписано решение задачи.

В работе [2] для уравнения (1) при

0 < р <2. Л= 0

в четверти

круга

построено решение краевой задачи с

нелокальным условием на линии - ~ ^ в виде суммы биортогонального ряда. Решение этой задачи использовалось при построении решения задачи Трикоми.

Для уравнения (1) Сабитовым К.Б. доказан принцип максимума, который можно использовать для доказательства единственности решения задачи.

В данной работе используется спектральный метод [4] для решения задачи (2) - (5)

2. Построение частных решений методом разделения переменных.

Пусть функция ^ - ) является решением задачи (2) - (5). В уравнении (1) разделим переменные, представив

а(х,у) = Х{х)-Г(у)Ф 0 (6)

и подставив (6) в (1):

Международный журнал прикладных наук и технологий «Integral» №4 2018

х

Разделим обе части последнего равенства на произведение

Уравнение (6) перепишем в виде

где ^ - некоторая константа.

Левая часть равенства (8) зависит только от х, а правая часть только от у, поэтому равенство (8) возможно только тогда, когда правая и левая части представляют одну и ту

же постоянную — ' Тогда из соотношения (8) получим два обыкновенных дифференциальных уравнения второго порядка:

или равносильные им уравнения

х7Х"(х)+ рхХ'(х)+ х2/1Х(х) =0, 0 < л: < 1. Г(у)+(А-ц1)Т(у) = 0, 0 < V < 1.

(9) (Ю)

Найдём

общее

\-р

решение

уравнения

(9).

Заменяя

Х(х) = х 1 ZO), функцию получим уравнение Бесселя

Записывая общее решение уравнения Бесселя в виде

НУ у С, и С,

и - функция Бесселя первого рода, и - функция Бесселя второго рода,

постоянные, получим общее решение уравнения (8) в виде Х(х) = + -

(П)

Международный журнал прикладных наук и технологий «Integral» №4 2018

Так как ""' при ^ ~^ 0 обращается в бесконечность, то ограниченным решением

уравнения(8)будет(10)при

С, = О

то есть

Найдём общее решение уравнения (10). Составим характеристическое уравнение, соответствующее уравнению (10):

к' + (Д-/Г) = 00£ = ±л/(/Г-Л).

1) при

Тогда общее решение уравнения (10) имеет вид:

Л< /Г

Г(у) = С2е^ +

с некоторыми постоянными

С и С,:

1 з 3

2) при

У (у) = С4 cosfj'//1 -Лу) + С; sinf./jU3 -Лу).

с некоторыми постоянными ^5

Итак, ограниченное в области Б решение уравнения (1) есть функция

Пусть решение задачи (2) - (5) при ^ ' то есть, выполнены равенства

Международный журнал прикладных наук и технологий «Integral» №4 2018

Следовательно, функция из формулы (6) является решением следующей

спектральной задачи: наити значения параметра

М

и соответствующие им

Х(х) Ф 0,

функции которые удовлетворяют уравнению (9) и граничным условиям (13) и

(14).

при

Для решения этой спектральной задачи воспользуемся ограниченным ^ —* 0 решением (12) уравнения (9), которое удовлетворим условиям (13) и (14):

Исходя из первого уравнения системы имеем

Х(х) = О.

так как, в

противном случае, получим тривиальное решение

Так как нули функции

Бесселя при - положительны и счетны, то обозначим через ' 4 - п-ый

положительный корень функции Итак, система функций

где ' 4 - положительный вещественный корень бесселевой функции : ' является системой собственных функций спектральной задачи (9), (13), (14), соответствующей

множеству собственных значений

Вернёмся к уравнению (7). Его можно переписать в виде

или

Общее решение уравнения (17) имеет вид [7, с.401]:

где 1 * - - некоторые постоянные.

Общее решение уравнения (18) есть функция

У {у) = С4 соз(1/у ) + с5 зт(|у),

(\9)

С ПОСТОЯННЫМИ И ^ '

Тогда ограниченное в области Б решение уравнения (1) можно представить в виде

Предположим, что решение задачи (2) - (5) при 1 ^С*) 0. Тогда

можно показать, как это проделано для функции ■ ■ , что параметр и

Г(у) Ф 0

1 Ч«/ / и

соответствующая функция являются решением спектральной задачи для

уравнения (18) со следующими условиями

7(0) = 7(1) = 0. Используя функцию (19), получим,

(20)

т.е. решением спектральной задачи (18), (20) являются собственные V = яп,

значения 4

и соответствующие им собственные функции

3. Единственность решения.

Теорема 1. Если существует решение задачи (2) - (5) при ^ ^ ^ ^ ' то оно единственно.

Доказательство. Рассмотрим функции

которые при фиксированном у есть коэффициенты разложения Фурье 1

япГятЛ

Покажем, что

обыкновенному дифференциальному уравнению:

2 зшС ту). п \>п(х)

функции в ряд по Покажем, что " удовлетворяет

Действительно

так как

1-е

fell Juiy (xr у)sin(my)dy = (x,y)5т(шу) £ - m\uy (x,у) соs(my)dy

1

= -m(u(x. t'} cos (от v) I + m f u{x. y ) sin( my)dy) =

= ~(m) *\u{x,y)sm{xny)dy.

Положив в формуле (22) ' ' получим, что

1)При ^ " общее решение уравнения (23) имеет вид [7, с.401]

Удовлетворяя общее решение условиям (24) получим

Таким образом, решение задачи (23), (24) есть функция

2) При ^ общее решение уравнения (23) имеет вид [7, с.401]

Из условий (24) найдем константу

ci-

Таким образом, решение задачи (23), (24) есть функция

Международный журнал прикладных наук и технологий «Integral» №4 2018

где

^Д)

- модифицированная функция Бесселя порядка

3)При ^ ^ общее решение уравнения (23) имеет вид [7, с.401]

v„(x)=C2x1Ji+C3,

где * ' неизвестные пока постоянные.

Так как то получим что ъ ^ ' то получим что '

Ы;

;)эт {шу)(1у.

Таким образом, решение задачи (23), (24) есть функция 1

vя(x) = Г р(х)зш(я?ту)ф ■ X1-'.

(25**)

Из формул (25), (25*), (25**) и теории рядов Фурье следует единственность решения задачи (2) - (5), так как, если ^ на сегменте [0,1], при этом ^^ ^' 1 интегрируема (так как ^' ■ непрерывна на ^ ), все коэффициенты ряда Фурье

1

Иi^y)

i <Р(У

) зш( шу')с1у

функции ~ равны нулю, так как ;

4. Существование решения.

/о\ р л е. а,

существует единственное решение задачи (2) - (5) при ^

со да

и(х, у) = ия(х,у) = 22>„ (х)зш(ятту),

ТО

и оно имеет вид

(26)

л-1

л-1

определяется формулами (25), (25*), (25**) .

Доказательство. В теореме 1 пункта 3 показано, что если существует

решение

задачи (2) - (5), то оно имеет вид (26). Остается обосновать, что

функция принадлежит классу (2), удовлетворяет уравнению (3) и краевым

условиям (4), (5).

Покажем, что функция

и(х,у)еС(П).

и(х,у) Е С{П)гл C7{D) .

что D

в

Обоснуем

Для этого покажем, что ряд в формуле (26) равномерно сходиться

Оценим члены функционального ряда в (26). Пусть ™ *.<*>

тогда

определяется по формуле (25). Так как

функция

ограничена на бесконечности, имеем оценку:

где С — некоторая константа. Оценим интеграл

Эта оценка следует из работы [6, с.81]. Из оценок (27), (28) следует, что

и ряд в (26) мажорируется положительным числовым рядом

значит по

признаку Вейерштрасса сумма ряда (26) непрерывна в

2) Пусть ( ) - хогда определяется по формуле (25*). Имеет место

оценка:

где — некоторая константа. Из оценок (28), (29) имеем

и ряд в (26) мажорируется D

непрерывна в

значит по признаку Вейерштрасса сумма ряда (26)

3)При " " определяется по формуле (25**).

Оценим интеграл

Тогда

и ряд мажорируется О

непрерывна в

значит по признаку Вейерштрасса сумма ряда (26)

Международный журнал прикладных наук и технологий «Integral» №4 2018

Покажем, что " Для этого продифференцируем ряд по х и у два раза

в области D.

1) при

б) при

Л-(тт)1 = 0

К (*) = 0.

Оценим функциональный ряд (30). Имеем

v'{:х) = 0(п2).

(31)

В силу ограниченности на бесконечности функции ^ ^ ° $ ^ имеем оценки:

Из оценок (28), (31), (32), (33), следует, что

то есть ряд в формуле (30) мажорируется сходящимся положительным числовым рядом, следовательно, равномерно сходиться на Б.

Международный журнал прикладных наук и технологий «Integral» №4 2018 Продифференцируем ряд по y два раза в области D

При любом ^ справедлива оценка

(m)1v!i(x)sm(my)=

Из этой оценки следует, что

то есть ряд в формуле (35) мажорируется сходящимся положительным числовым рядом, следовательно, равномерно сходиться на Б.

Покажем, что функция (26) удовлетворяет краевым условиям (4), (5). Для этого

т(хХ р(у)

докажем сходимость к функциям их разложении.

Аналогично,

ы(1,

Удовлетворим -О условию (5):

Ъ Ъ 17 ^

= 2Zun 0= У) = 2Zvn (0 sm(OTv) = 2 £ sin(xny) f <p(y) sm(my)dy. (35)

Л-1

Л-1

Л-1

Так как

<р(у)

имеет ограниченное изменение на [0,1], то по признаку Дирихле

<р(у)

Жордана [6, с.98] ряд (29) сходится к

Список использованной литературы

1. Пулькин, С.П. Некоторые краевые задачи для уравнения / С.П. Пулькин // Уч. зап. Куйбыш. пединститута., 1958, Вып. 21.

2. Сабитов, К.Б., Ильясов, Р.Р. Решение задачи Трикоми для уравнения с сингулярным коэффициентом спектральным методом / К.Б. Сабитов, Р.Р. Ильясов // Изв. вузов. Матем. -2004. - № 2.

3. Ильясов, Р.Р. Задачи Коши и Гурса для гиперболического уравнения с сингулярным коэффициентом / Р.Р. Ильясов // Труды Всеросс. науч. конф. "Современные проблемы физики и математики." - Уфа: Гилем, 2004.

4. Моисеев, Е.И. О решении спектральным методом одной нелокальной краевой задачи / Е.И. Моисеев // Дифференц. уравнения. - 1999. - Т. 35, № 8.

5. Ватсон, Г.Н. Теория бесселевых функций / Г.Н. Ватсон. - Ч.1.- М: ИЛ, 1949.

6. Зигмунд, А. Тригонометрические ряды. / А. Зигмунд. - М: Мир, 1965.

7. Камке, Э. Справочник по обыкновенным дифференциальным уравнениям [Текст] / Э. Камке. - М: ИЛ, 1949.

8. Сабитов К.Б., Акимов А.А. К теории аналога задачи Неймана для уравнений смешанного типа // Известия высших учебных заведений. Математика. 2001. № 10. С. 73 — 80.

9. Акимов А.А. О единственности решения задачи типа Неймана для уравнения Чаплыгина // Вестник Московского государственного областного университета. 2013. № 4. С. 38.

10. Акимов А.А., Агафонова А.А. Из истории построения функции Римана-Грина // Современные научные исследования и разработки. 2017. № 7 (15). С. 35-38.

11. Акимов А.А., Абдуллина Р.И. Использование функциональных рядов при решении интегральных уравнений // Синергия Наук. 2017. № 14. С. 871-876.

12. Акимов А.А., Абдуллина Р.И. Методика построения функции Римана-Грина // Colloquium-journal. 2017. № 10 (10). С. 76-79.