Применение метода Фурье к исследованию задачи Дирихле для уравнения с отклоняющимся аргументом и оператором Лапласа в главной части

Размещено на http://www.allbest.ru/

Применение метода Фурье к исследованию задачи Дирихле для уравнения с отклоняющимся аргументом и оператором Лапласа в главной части

Лесев Вадим Николаевич

Бжеумихова Оксана Игоревна

Аннотации

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

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

APPLICATION OF THE FOURIER METHOD FOR THE INVESTIGATION OF THE DIRICHLET PROBLEM FOR THE EQUATION WITH DEVIATING ARGUMENTS AND THE LAPLACE OPERATOR IN THE MAIN PART

Lesev Vadim Nikolaevich

Cand.Phys.-Math.Sci., associate professor

Bzheumihova Oksana Igorevna

postgraduate student

Kabardino-Balkarian State University named after H.M. Berbekova, Nalchik, Russia

The article investigates the first boundary problem for the partial differential equations of the second order with deviating argument. The method of separation of variables is used to prove the solubility of the boundary problem in the desired class of functions

Keywords: boundary value problem, partial differential equations, deviating argument, Fourier method.

Введение

Современные технологии, основанные на математическом моделировании с одной стороны, и успехи фундаментальной науки с другой, приводят к необходимости постановки и исследования новых краевых задач для различных классов дифференциальных уравнений. Немалый интерес, как у отечественных, так и зарубежных авторов [1-5] вызывают задачи для обыкновенных дифференциальных уравнений с отклоняющимся аргументом.

Основополагающие результаты в теории этих уравнений были получены в середине прошлого столетия Р. Беллманом [6], В.И. Зубовым [7], С.Б. Норкиным [8], Л.Э. Эльсгольцем [9]. Но, несмотря на достигнутые успехи в данной теории, возникают новые потребности (продиктованные современными производственными технологиями [10-12]) в проведении исследований еще в большей степени приближенных к процессам, протекающим на практике, т.е. в изучении многомерных случаев, а, следовательно, уравнений с частными производными. Именно это делает актуальными исследования, представленные настоящей работой, основной целью которой является исследование вопроса разрешимости первой краевой задачи для модельного уравнения в частных производных с отклоняющимся аргументом.

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

Пусть

?

односвязная область евклидовой плоскости точек .

В области рассмотрим уравнение

. (1)

Пусть , .

Для уравнения (1) исследована следующая задача:

Задача А.

Найти регулярное в области решение уравнения (1) из класса

, удовлетворяющее условиям

, , , , (2)

где - заданные, достаточно гладкие функции, причем

, , ,.

Доказательство существования и единственности задачи

Разобьем задачу (1), (2) на две вспомогательные в области :

, (3)

, , (4)

, , (5)

, (6)

, , (7)

, , (8)

где .

Для задачи (1), (2) справедлива следующая теорема:

Теорема 1.

Пусть

1) , ,

где , ;

2) , , , , ;

3) , ,

тогда задача (1), (2) разрешима в требуемом классе функций.

Для доказательства теоремы 1 применим метод Фурье [13], т. е. решение уравнения (3) удовлетворяющее условиям (4) и (5) будем искать в виде

. (9)

Подставляя (9) в (3) и опуская нижние индексы, получим

,

где .

Отсюда, с учетом (4) будем иметь

, (10)

, (11)

, (12)

. (13)

Исследуем задачу Штурма-Лиувилля (10), (11). Дважды дифференцируя (10), приходим к соотношению:

. (14)

С другой стороны из (10) имеем:

, . (15)

На основании (14) и принимая во внимание (15), получим

, (16)

Характеристическое уравнение соответствующее (16), будет иметь вид:

.

Разрешая биквадратное уравнение, находим

, , , .

Таким образом, общее решение уравнения (16) может быть записано в виде:

. (17)

Исследуем представление (17) для различных значений [14].

Случай 1: . В этом случае (17) принимает вид:

.

Подставляя последнее равенство в (10), получим

.

Данное соотношение справедливо тогда и только тогда, когда , . В этом случае (17) примет вид:

.

Используя условия (11), получим



Определитель этой системы

обращается в ноль только при , что противоречит рассматриваемому случаю .

Следовательно, . Откуда заключаем, что .

Случай 2: исследуется аналогично. При таком значении общее решение (10) имеет вид:

.

Удовлетворяя (11), имеем

Т.к. определитель системы

,

то и .

Случай 3: . В этом случае удовлетворяя общее решение (10)

.

условиям (11), находим

Определитель системы

равен нулю при , либо при

.

Следовательно и , т.к. .

Случай 4: . При указанном значении для всех

(17) принимает вид

. (18)

Удовлетворяя (18) граничным условиям (11) получим

В силу неравенства

,

имеем и .

Случай 5. При (17) принимает вид:

.

Удовлетворяя полученное выражение для граничным условиям (11), будем иметь:

Равенство

справедливо при

, либо при .

Таким образом, задача Штурма-Лиувилля (10), (11) имеет собственные значения уравнение фурье теорема

,

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

, , ,

где - произвольные постоянные, нуждающиеся в определении.

Подставляя найденные собственные значения

в (12) приходим к соотношению

.

Общее решение последнего представимо в виде:

,

где .

Следовательно, решение задачи (3) - (5) имеет вид:

 (19)

Где

,

.

Для получим

, (20)

где

,

.

Аналогично исследовав задачу Штурма-Лиувилля (12), (13) получим решение задачи (6) - (8):

, (21)

Где

,

.

На основании условий теоремы 1 заключаем, что ряды (19), (20), (21) сходится равномерно. Так же легко показать равномерную сходимость рядов , , , и .

Единственность решения задачи A легко может быть установлена в силу тривиальности решения однородной задачи. В самом деле, полагая , , на основании равенств (19), (20), (21) и в силу полноты систем [15]:

, , ,

будем иметь . Таким образом, убеждаемся в том, что однородные задачи имеют только тривиальное решение. Откуда и следует единственность решений задач A.

Заключение

Приведенные в работе исследования выполнены для уравнения с отклоняющимся аргументом нейтрального типа, что является характерным для биологических и диффузионных моделей, а полученные теоретические результаты легко могут быть реализованы в современных прикладных пакетах. Исследование же новых задач с нелокальными операторами в краевых условиях могут стать следующим этапом в развитии теории уравнений с отклоняющимся аргументом.

Список литературы

1. Мудров А.В. О связи систем обыкновенных дифференциальных уравнений и уравнений с запаздывающим аргументом// Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика. - 2007. - Т.7. № 2. - С. 52-64.

2. Beklaryan L.A. Group Singularities of Differential Equations with Deviating Arguments and Metric Invariants Related to Them// Journal of Mathematical Sciences. 2001. Vol. 105, No. 1. P. 1799-1811.

3. Kitamura Y., Kusano T. Nonlinear Oscillation of Higher Order Functional Differential Equations with Deviating Arguments// J. Math. Anal. Appl. 1980. Vol. 77. P. 100-119.

4. J.-G. Dong. Oscillation of solutions for first order neutral differential equations with distributed deviating arguments// Computers and Mathematics with Applications. 2009. Vol. 58. P. 784-790.

5. Xiong W., Yue G. Almost periodic solutions for a class of fourth-order nonlinear differential equations with a deviating argument// Computers and Mathematics with Applications. 2010. Vol. 60, P. 1184-1190.

6. Беллман Р. Динамическое программирование. - М.: Изд-во Иностранная литература, 1960. - 400 с.

7. Зубов В.И. К теории линейных стационарных систем с запаздывающим аргументом // Изв. вузов, сер. мат. - 1958. №6 - С. 86-95.

8. Норкин С.Б. Дифференциальные уравнения второго порядка с запаздывающим аргументом. - М.: Наука, 1965 - 356 с.

9. Эльсгольц Л.Э. Введение в теорию дифференциальных уравнений с отклоняющимся аргументом. - М.: Наука, 1964. - 128 с.

10. Bzheumikhova O.I., Lesev V.N. On the issue of the relationships of differential equations with distributed deviating arguments and equations with fractional integrals// Сборник научных трудов Sworld по материалам международной научно-практической конференции. 2012. Т. 3. № 2. С. 75-76.

11. Demidenko G. V., Likhoshvai V. A., Mel'nik I. A. On properties of solutions to equations of multistage substance synthesis// J. Anal. Appl. 2010. Vol. 8, No. 1. P. 47-61.

12. Abta A., Kaddar A., Alaoui Talibi H. Global stability for delay SIR and SEIR epidemic models with saturated incidence rates// Electronic Journal of Differential Equations. 2012. Vol. 2012. No. 23. P. 1-13.

13. Тихонов А.Н., Самарский А.А. Уравнения математической физики. - М.: Изд-во Наука, 1977. - 735 с.

14. Марченко В.А. Операторы Штурма-Лиувилля и их приложения. - Киев: Изд-во Наукова думка, 1977. - 330 с.

15. Никольский С.М. Курс математического анализа. . - М.: Физматлит, 2001. - 592 с.

Размещено на Allbest.ru

...