Научный журнал
Международный журнал прикладных и фундаментальных исследований
ISSN 1996-3955
ИФ РИНЦ = 0,593

ОДНА ЗАДАЧА ДЛЯ УРАВНЕНИЯ С ЧАСТНЫМИ ПРОИЗВОДНЫМИ ЭЛЛИПТИЧЕСКОГО ТИПА, СОДЕРЖАЩЕГО МАЛЫЙ ПАРАМЕТР В ГЛАВНОЙ ЧАСТИ

Захарова И.В. 1
1 ФГБОУ ВО «Иркутский государственный университет»
Рассмотрена задача Дирихле в полупространстве для дифференциального уравнения в частных производных с переменным коэффициентами эллиптического типа с малым параметром при старшей производной. Последовательно строится решение предельной задачи (задачи Коши для уравнения параболического типа), строится фундаментальное решение и решается исходная задача Дирихле. Показано, что при ε → 0 фундаментальное решение уравнения эллиптического типа, содержащего малый параметр в главной части, переходит в фундаментальное решение предельного (ε = 0) уравнения параболического типа. С помощью предельного перехода установлено, что построенное решение задачи Дирихле в полупространстве для уравнения эллиптического типа, содержащего малый параметр в главной части, при ε → 0 стремится регулярным образом к решению предельной задачи, а именно к решению задачи Коши для уравнения параболического типа.
сингулярно возмущенная задача
малый параметр
фундаментальное решение
задача Дирихле
задача Коши
функция Леви
1. Миранда К. Уравнения с частными производными эллиптического типа. – М.: ИЛ, 1957. – С. 54-85.
2. Фридман А. Уравнения с частными производными параболического типа. – М.: Мир, 1968. – С. 11-41.
3. Янушаускас А. О зависящих от малого параметра уравнениях с частными производными // Краевые задачи: Сб. науч. тр. – Иркутск: Иркут. ун-т, 1990. – С. 94-103.

В том случае, когда некоторое явление моделируется дифференциальным уравнением, влияние малых параметров на данное явление сводится к изучению зависимости решений уравнения от малых параметров. Сложная ситуация возникает тогда, когда малые параметры содержатся в коэффициентах при старших производных, а при обращении в нуль этих параметров уравнение вырождается. Для уравнений с частными производными обращение в нуль некоторых параметров в главной части уравнения может приводить не к обращению в нуль всей главной части уравнения, а к изменению типа уравнения. Т.к. для уравнений в частных производных для каждого типа уравнений корректны свои задачи, то представляет интерес исследование перехода решения некоторой задачи для уравнения с малым параметром в решение для предельного уравнения. В работе [3] приведен ряд примеров, иллюстрирующих эффекты, возникающие при предельном переходе в уравнении с частными производными.

Рассмотрим задачу Дирихле в полупространстве для уравнения эллиптического типа в следующей постановке:

zah02.wmf (1)

zah03.wmf (2)

ε – малый параметр, ε > 0, zah04.wmf – непрерывная в некоторой области zah05.wmf,

zah06.wmfzah07.wmf – стремятся к нулю на бесконечности, c const, коэффициенты zah08.wmf ограничены в полупространстве t > 0 и там же удовлетворяют условию Гёльдера с показателем λ. Это означает, что отношения:

zah11.wmf

ограничены сверху при любых X и X0, принадлежащих полупространству t > 0.

Предельная задача

Прежде, чем построить решение задачи (1), (2), в уравнении (1) положим ε = 0 и рассмотрим соответствующее ему предельное уравнение:

zah12.wmf (3)

Заметим, что уравнение (3) является уравнением параболического типа. Т.е. при ε = 0 порядок уравнения не понизился, но изменился тип уравнения.

Обозначим zah13.wmf, zah14.wmf. Норму определим равенством zah15.wmf. Будем предполагать, что оператор удовлетворяет следующим условиям:

1. оператор L0 – равномерно параболический в

zah16.wmf

D – неограниченная область zah17.wmf, т.е. существуют положительные постоянные λ0 и λ1 такие, что для любого вещественного вектора zah18.wmf

zah19.wmf

для всех zah20.wmf.

2. коэффициенты L0 – непрерывные функции в zah21.wmf и для всех zah22.wmf, zah23.wmf, и некоторого α из интервала zah24.wmf, существует постоянная A, такая, что

zah25.wmf

Согласно работе [2], фундаментальное решение уравнения (3) построим методом параметрикса. Для уравнения (3) функция параметрикса имеет вид:

zah26.wmf (4)

Для любых фиксированных zah27.wmf функция zah28.wmf удовлетворяет уравнению с постоянными коэффициентами:

zah29.wmf

Чтобы построить фундаментальное решение zah30.wmf уравнения (3), будем считать zah31.wmf «первым приближением» к L0 и рассматривать Z, как «главную часть» фундаментального решения этого уравнения. Фундаментальное решение zah32.wmf будем искать в виде

zah33.wmf (5)

где Ф определяется из условия, что zah34.wmf должно удовлетворять уравнению zah35.wmf. Этот процесс и называется методом параметрикса. Тогда согласно [2] имеет место соотношение:

zah36.wmf (6)

где

zah37.wmf (7)

Таким образом, для каждых фиксированных zah38.wmf функция zah39.wmf является решением интегрального уравнения Вольтерра с особым ядром zah40.wmf В [2] показано, что особенность ядра интегрируема, а уравнение (6) имеет решение вида:

zah41.wmf (8)

где

zah42.wmf

и

zah43.wmf (9)

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

zah44.wmf (10)

zah45.wmf (11)

Задача (10), (11) есть задача Коши в полупространстве для уравнения параболического типа. Согласно [1], её решение даётся формулой:

zah46.wmf (12)

где Г – фундаментальное решение, определяемое (5).

zah47.wmf

Решение задачи Дирихле (1), (2)

В уравнении (1) введём новую неизвестную функцию zah48.wmf по формуле:

zah49.wmf (13)

В результате получим уравнение:

zah51.wmf (14)

Для того чтобы построить фундаментальное решение уравнения (14) в полупространстве t > 0, необходимо знать функцию Леви для этого уравнения. Согласно определению функции Леви, данному в работе [1], надо построить функцию zah52.wmf непрерывную вместе со своими производными первого и второго порядка включительно по x, y, t, когда X и Y изменяются в некоторой области С и , и чтобы она при некотором α > 0 удовлетворяла оценкам вида:

zah53.wmf (15)

равномерно в каждой замкнутой области, содержащейся в C.

Здесь r – расстояние между точками X и Y, zah54.wmf

zah55.wmf

zah56.wmf zah57.wmf

Следуя методике работы [1], построим функцию zah58.wmf в виде:

zah59.wmf

где zah60.wmf – функция Макдональда, которая есть zah61.wmf при zah62.wmf и zah63.wmf, где a < 1, при t > 1.

Функция zah64.wmf есть функция Леви для уравнения (14) и для достаточно больших r справедливы оценки:

zah65.wmf

С учетом замены (13), получим функцию Леви для уравнения (1):

zah66.wmf

zah67.wmf

zah68.wmf

Переходя к пределу, в последнем выражении, получим:

zah69.wmf. (16)

Как видим, оно совпадает с формулой (4).

Следуя работе [1], фундаментальное решение для (14) будем искать как решение интегрального уравнения:

zah70.wmf (17)

которое, в свою очередь, имеет решение вида:

zah71.wmf (18)

где

zah72.wmf

zah73.wmf

zah74.wmf

Проведя несложные, но достаточно громоздкие преобразования, с учетом вида функции zah75.wmf, получим, что:

zah76.wmf

Далее, принимая во внимание выражение (7) получим:

zah77.wmf. (19)

А с учетом замены (13) и равенств (16), (19), получим:

zah78.wmf (20)

Решение задачи (1), (2) будем искать в виде:

zah79.wmf (21)

где zah80.wmf – главное фундаментальное решение уравнения (1). Согласно [1], функция zah81.wmf, заданная формулой (21), будет являться регулярным решением задачи (1), (2) в том и только том случае, если для из ∂D

zah82.wmf (22)

С учетом того, что вектор нормали v, выходящий из полупространства D+, имеет направление, противоположное оси ‚œ, оператор zah83.wmf в формуле (22) в данном конкретном случае будет иметь вид:

zah84.wmf. (23)

Принимая во внимание выражения (20), (23) получим, что ядро интегрального уравнения (22) при t = 0 и при > 0 равно 0.

Таким образом, искомое решение задачи (1), (2) примет вид:

zah85.wmf (24)

Выполнив вычисления под знаком интеграла в (24) с учетом выражений (17), (20), (23), получим, что:

zah86.wmf

Полученный результат сформулируем в виде теоремы:

Теорема. Если в уравнении (1) c > 0, а остальные коэффициенты ограничены в полупространстве t > 0 и удовлетворяют в этом полупространстве условию Гёльдера с показателем λ, то решение задачи Дирихле для уравнения (1) в полупространстве t > 0 при ε → > 0 стремиться к решению задачи Коши для соответствующего предельного уравнения, которое получается из (1), если в нем положить ε = 0.


Библиографическая ссылка

Захарова И.В. ОДНА ЗАДАЧА ДЛЯ УРАВНЕНИЯ С ЧАСТНЫМИ ПРОИЗВОДНЫМИ ЭЛЛИПТИЧЕСКОГО ТИПА, СОДЕРЖАЩЕГО МАЛЫЙ ПАРАМЕТР В ГЛАВНОЙ ЧАСТИ // Международный журнал прикладных и фундаментальных исследований. – 2017. – № 5-2. – С. 235-239;
URL: https://applied-research.ru/ru/article/view?id=11578 (дата обращения: 24.04.2024).

Предлагаем вашему вниманию журналы, издающиеся в издательстве «Академия Естествознания»
(Высокий импакт-фактор РИНЦ, тематика журналов охватывает все научные направления)

«Фундаментальные исследования» список ВАК ИФ РИНЦ = 1,674