Scientific journal
International Journal of Applied and fundamental research
ISSN 1996-3955
ИФ РИНЦ = 0,593

ONE PROBLEM FOR THE EQUATION WITH PARTIAL DERIVATIVES OF AN ELLIPTIC TYPE CONTAINING A SMALL PARAMETER IN THE PRINCIPAL PART

Zakharova I.V. 1
1 Irkutsk State University
1684 KB
The Dirichlet problem in a half-space for a partial differential equation with variable coefficients of elliptic type with a small parameter with the highest derivative is considered. The solution of the limit problem (the Cauchy problem for an equation of parabolic type) is consecutively constructed, a fundamental solution is constructed, and the original Dirichlet problem is solved. It is shown that when ε → 0 a fundamental solution of an equation of elliptic type containing a small parameter in the principal part becomes a fundamental solution of the limiting (ε = 0) equation of parabolic type. With the help of the limit transition it is established that the solution of the Dirichlet problem in a half-space for an equation of elliptic type containing a small parameter in the principal part, ε → 0 tends in a regular way to the solution of the limit problem, namely, to the solution of the Cauchy problem for an equation of parabolic type.
singularly perturbed problem
small parameter
fundamental solution
Dirichlet problem
Cauchy problem
Levy function

В том случае, когда некоторое явление моделируется дифференциальным уравнением, влияние малых параметров на данное явление сводится к изучению зависимости решений уравнения от малых параметров. Сложная ситуация возникает тогда, когда малые параметры содержатся в коэффициентах при старших производных, а при обращении в нуль этих параметров уравнение вырождается. Для уравнений с частными производными обращение в нуль некоторых параметров в главной части уравнения может приводить не к обращению в нуль всей главной части уравнения, а к изменению типа уравнения. Т.к. для уравнений в частных производных для каждого типа уравнений корректны свои задачи, то представляет интерес исследование перехода решения некоторой задачи для уравнения с малым параметром в решение для предельного уравнения. В работе [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.