CC BY
35
УДК 517.955.8
АСИМПТОТИКА РЕШЕНИЯ БИСИНГУЛЯРНО ВОЗМУЩЕННОГО ЭЛЛИПТИЧЕСКОГО УРАВНЕНИЯ. СЛУЧАЙ ОСОБОЙ ТОЧКИ НА ГРАНИЦЕ
Турсунов Дилмурат Абдиллажанович,
канд. физ.-мат. наук, доцент кафедры алгебры и геометрии Ошского государственного университета, Республика Кыргызстан, 714000, г. Ош, ул. Ленина, 331. E-mail: d_osh@rambler.ru
При математическом моделировании процессов конвективно-диффузионного переноса, химической кинетики и др. возникают краевые задачи для уравнений эллиптического типа второго порядка с малым параметром при старших производных. Явное решение этих задач построить в общем случае не удается, поэтому используют разные асимптотические методы. Основополагающими в этом направлении являются работы А.Н. Тихонова, А.Б. Васильевой, С.А. Ломова, В.Б. Бутузова, Л.И. Люстерника, М.И. Вишика, A.M. Ильина. В случае, когда соответствующее невозмущенное уравнение имеет негладкое решение, эти задачи, по терминологии A.M. Ильина, называют бисингулярными. Ранее для построения асимптотики бисингулярно возмущенных задач применялся метод сращивания, а метод пограничных функций не использовался напрямую. В работе предложена модификация метода пограничных функций, благодаря которой стало возможным построить асимптотику решения бисингулярно возмущенного эллиптического уравнения. Целью исследования является развитие асимптотического метода пограничных функций для бисингулярно возмущенных задач. Применяя обобщенный метод пограничных функций, построено асимптотическое разложение решения бисингулярно возмущенного эллиптического уравнения в случае, когда предельное уравнение имеет особенность на граничных точках области. Задача рассматривается в круге.
Ключевые слова:
Асимптотика, бисингулярное возмущение, эллиптическое уравнение, особая точка, задача Дирихле, малый параметр, уравнение Эйри, функции Эйри.
Введение
Как нам известно, многие задачи физики, техники и других наук приводятся к сингулярно возмущенным уравнениям эллиптического типа. Сингулярно возмущенные уравнения эллиптического типа рассматривались многими авторами, например в работах [1-10] и в цитируемых ими работах. Впервые В. Вазов в работе [1] изучил асимптотику решения первой краевой задачи для простейшего эллиптического уравнения внутри области. Левинсон [2] в двумерном случае исследовал асимптотику решения задачи Дирихле для общего эллиптического уравнения второго порядка с малым параметром е, вырождающейся при е=0 в задачу Коши для уравнения первого порядка с регулярным полем характеристик. Им был построен для этой цели пограничный слой вблизи соответствующей части границы. Предельный переход в этой задаче с любым полем характеристик проведен в работе С. Л. Каменомостской [8]. А.М. Ильин в работе [10] рассматривал различные задачи, в том числе бисингулярно возмущенные эллиптические уравнения. А.М. Ильин, применяя метод сращивания асимптотических разложений, построил формальные асимптотические разложения (ФАР) решений и привел их строгие обоснования. В данной работе для построения полного асимптотического разложения мы используем аналог метода погранфункций [11-13] (обобщение метода по-гранфункций). Обобщенный метод пограничных функций ранее применялся для сингулярно возмущенных обыкновенных дифференциальных уравнений с точками поворота. В работе [11] обобщенным методом пограничных функций построена
асимптотика решения уравнения Лайтхилла первого порядка. В работе [12] построено асимптотическое разложение решения сингулярно возмущенных обыкновенных дифференциальных уравнений второго порядка с одной точкой поворота в действительной оси. В работе [13] построено равномерное асимптотическое разложение решения сингулярно возмущенных обыкновенных дифференциальных уравнений второго порядка с двумя точками поворота в действительной оси.
Постановка задачи
Рассмотрим задачу Дирихле для бисингулярно возмущенного эллиптического уравнения
еАи(х,у)-д(х)ц(х,у)=/(х,у),(х,у)€£={(х,у)\ х2+у2<1), (1)
4=0, Г={(х,у)\х2+у2=1}, (2)
где Дх,у)еСм(.0) - заданная функция.
I. Рассмотрим случай, когда д(х)=(1-х). В этом случае уравнение имеет простую точку поворота в точке (1,0). Для начала рассмотрим структуру внешнего разложения решения задачи (1), (2), которое будем искать в виде:
оо
V = ^еЧ (х, .у), е^ 0, (3)
к=0
после подстановки (3) в (1) и приравнивания коэффициентов при одинаковых степенях е получим рекуррентную систему уравнений: -(1-х)~о(х,у)=Дх,у), (1-х)~к(х,у)=Дум(х,у), ке'Н. -
Отсюда определяются все ~к(х,у)бС(“)(5\(1,у)): ~о(х,у)= -Дх,у)/(1-х), ~о(х,у)=А~к-1(х,у)/(1-х), т. е.
V = -
(1 - х) (1 - х)
+... + -
-Рп (х, у) +..., о,
(1 - х)3
где ¥ъ(х,у)еС(а)(Р), ке№.
В граничной точке (1,0) все эти функции ~(х,у) имеют нарастающие особенности:
~ . Рк (х, у)
г к (ху) = уТХ)3^
Построение ФАР решения. Решение задачи (1), (2) ищем в виде:
и(х,у)=^(х,у)+ По(п, ф)+Ш-2( Т, £)/рг+
+Ш-1(т,£)/ц1+Шо(т,£)+Е(х,у), (4)
где п=(1~г)А, т=(1-х)/ц2, %=у/ц, е=Я2, е=^в, х=геояф, у=гетф.
Подставляя (4) в (1) получим: еАуо-(1-х)ро+^2А1?(ш-2+^ш-1+^2шо)-т(ш-2+^ш-1+^2шо)+
+еАПфПо-(1- соё(ф)+Хг1со8(ф))ло+еАЕ-(1-х)Е=
=Дх,у)-Н(у)+Н(^), (5)
где
1 ( д2 2 д2 ^
т{ = ;х41дт2 +М д|2),
. 1 ( д2 Я д Я2 д2 ^
Апф = —I — --------- ------— +
Я21дп2 (1 -Яп) дп (1 -Яп)2
Здесь мы ввели новую неизвестную функцию Н(у), которую определяем ниже.
Из равенства (5) имеем:
-(1-хК=Дх,у)-Н(у),
Отсюда
Vо(x у)=-(Дх,у)-Н(у))/(1-х), и здесь мы _определим функцию Н(у) так, чтобы Уо(х,у)еСн(1>). Пусть Н(у)=Д1,у), тогда
Уо( X, у) = /(у)(1 - х)7'-1.
7=1
Из равенства (5) для по получим задачу:
дЧ
дц2
- (1 - 005 ф)п0 = 0,
по(0,ф) = - ^о(1, ф),Нтпо(П ф) = °.
Отсюда
По(П,ф) = - ^ * ^о(1,ф).
Для функций ш-2(т,£), ш-1(т,|), шо(т,|) составим следующие задачи:
д2
дт
2 - тМ-2 = Но, Ііт м_2(т, £) = 0,
д2м-1
дт2
щ-2(0,0) = о,
- тМ-1 = , Ііт м-1 (т, £) = о,
м-1(о,о) = о,
(6)
(7)
дт
2о- ™о = §2Но, ІітМ-2(т,£) = о,
Що(0,0) = -^(0,0Х
(8)
где Нк =— И(к)(0), к = 0,1,2. к!
Задачи (6)-(8) имеют следующие решения:
■ +
Щ-2(т,^) = -пНо
Щ-1(т,^) = -пН&
Що(т,^) = -пН2^2
Аі(т) | £г(5)йЬ
0
+Ві(т) |Аі(я)ёя -
т
-л/3Аі(т) | Аі(я)іія
о
т
Аі(т) І Ві( я)ёя +
о
+Ві(т) |Аі(я)ёя -
т
-\[ЬАі(т) | Аі(я)іія
о
т
Аі(т) | Ві( я)ёя +
о
+Ві(т) |Аі(я)ёя -
т
-л/5Аі(т) |Аыёя
-Уо(0,0)
Аі(т) Аі(0)'
Асимптотику решений задачи (6)-(8) при т^-ъ ищем в виде
Щ (т,й = ао(й +
- +... +
т т
Подставляя (9) в (6), имеем:
+... (9)
Щ (т,£) = ао(£) +
а1(^) + + ап (4)
-+ ... +
т т
Отсюда
яо(^)=о, а1(|)=-Яо, а2(^о, аз(^)-о, а4(|)=2а1(|),... . Следовательно,
г ^ Н0 ( 1 1 ^
™_2(Т,%) =-I а1 +— а4... + —^ +... |.
Т \ Т Т У
Аналогично получим: т« = Н£( 1
Що(т,1) = -
Н£
. + 1
а 4.. 3т а3т+1 т
.. + 1
'а4. 3т а3т+1
+ ..
Т \ Т т
Оценка остаточного члена Я(х,у). Для Е(х,у) получим следующую задачу:
еАЕ-(1-х)Е=О(д% ЕГ=о.
п
є
Применяя принцип максимума [14], имеем:
\Е \<с^б области Б.
Нами доказана следующая теорема Теорема 1. Пусть / (х,у)еС(со)(Б), /(1,о)^о, тогда для решения задачи (1), (2) справедливо асимптотическое разложение
и(х,у)=Vо(х,у)+ По(п, ф)+Ш-2( т, £)/^2+ +Ш-1(т,|)/^“1+Шо(т,|)+О (^),
где п=(1_г)/Я, т=(1-х)/ц2, |=у/^, е=Я2, е=^в, х=геояф, у=гетф.
II. Пусть д (х)=(1-х2). В этом случае предельное уравнение имеет особенность в двух граничных точках (-1,о) и (1,о).
Структура внешнего разложения примет вид:
V = -Дхт) +_
(1 - х2) (1 - х2)
х, у) +
+... +
а2\3п+1 п
- х )
рп(х,у) +..., о,
И(у)=(/(1,у)(1+х)+/(-1,у)(1-х))/2,
Из равенства (11) для п0 получим задачу:
д2п
дП
-- (1 - 005 ф)п0 = 0,
где ^к(х,у)еСн(Б), кеК.
Построение ФАР решения. Решение задачи (1), (2) ищем в виде:
и(х,у)^о(х,у)+Ло(п,ф№-2(У,£,)/^2+
+£ч(7, %)/цл+ёо(У, |)+Ш-2(т, £)/^2+ +Ш-1(т,^)/^1+Шо(т,^)+Е(х,у), (Ю)
где п=(1-г)/Я, у=(1+х)/ц\ т=(1-х)/ц2, |=у/^, е=Я2, е=^в, х=геояф, у=гетф; g(y,%) - обобщенная погранфункция в окрестности точки (-1,о), а ш(г,£) - обобщенная погранфункция в окрестности точки (1,о).
Подставляя (1о) в (1), получим: еАVо-(1-X2)Vо+M2Аrг;(g-2+Mg-l+M2gо)-tl(g-2+Mg-l+M2gо)+ +^2Аг?(ш-2+^ш-1+^2шо)-т(ш-1+^ш1+^2шо)+
+ еАг?По-(1- е082(ф)+2Япе082(ф)-Я2П2е082(ф))по+ +еАЕ-(1-х2)Е=/(х,у)-Н(х,у)+Н(х,у). (11)
Как всегда мы здесь ввели новую функцию Я(х,у), которую определим ниже.
Из равенства (11) имеем:
-(1-х>о=/(х,у)-Н(х,у).
Тем самым
^о(х,у)=-(Дх,у)-Н(х,у))/(1-х2). Определим неизвестную функцию Я(х,у) так, чтобы v0(x,y)еC(”)(D). Пусть
тогда
”о(*,у)=-(Я*,уН/(1,у)(1+*)+Л-1, У)(1-х))/2)/(1-х2).
П>(0,ф) = -^0(1, ф),Нш пП ф) = 0, решение которой имеет вид:
п0(п,ф) = -е-зтф|Ч(1,ф).
Для функции Ш-2(г,|), шч(т,|), Шо(т,|), g-2(Y,^), g-1(Y,^), g0(Y,^)) составляются аналогичные (6)-(8) задачи.
При т-^да, 7-^», имеем:
ш-2=0(т‘), ш-1=0(^т-1), шо=0(^т-1),
^2=0(Г‘), ^1=0(^), Й=0(|У).
Оценка остаточного члена Я(х,у). Для Е(х,у) получим следующую задачу:
еАЕ-(1-х2) Е=О(^3), ЕГ=о.
Учитывая результат работы [13] и применяя принцип максимума_[14], имеем:
\Е \<с^ в области Б.
Нами доказана следующая теорема.
Теорема 2. Пусть д(х)=(1-х2), /(1,о)^о, /(-1,о)^о, тогда для решения задачи (1), (2) справедливо асимптотическое разложение
и(х,у)^о(х,у)+Ло(п,ф№-2(У,%)/К^-1(У,%)/К1+ +gо(Y, 1)+Ш-2(т, ^)/^-2+Ш-1( т, ^)/^-‘+Шо( т, |)+0(^), где п=(1-г)/Я, т=(1+х)/^2, т=(1-х)/^2, £=уМ е=Я2, е=^в, х=геояф, у=гатф, g(y,|), ш(т,|) - обобщенные погранфункции, соответственно в окрестности точек (-1,о) и (1,о).
Заключение
Обобщением метода пограничных функций построены асимптотические разложения решения задачи Дирихле для эллиптических уравнений второго порядка в круге. Рассмотрены два случая: 1) особенность появляется в одной граничной точке; 2) особенность появляется на двух граничных точках. Обобщенный метод пограничных функций можно применять при построении асимптотических разложений решения задачи Дирихле для бисингулярно возмущенных эллиптических уравнений. Причем асимптотическое разложение представляется в явном виде по дробным степеням малого параметра е. Формальное асимптотическое разложение обосновано применением принципа максимума.
п
є
СПИСОК ЛИТЕРАТУРЫ
1. Wasow W. Asymptotic solution of boundary value problems for the differential equation AU+X8U/dx=Xf(x,y) // Duke Math. J. - 1944. - V. 11. - P. 405-415.
2. Levinson N. The first boundary value problem for sA«+Aux+Buy+Cu=5 for small е // Ann. of Math. - 1950. -V. 51. - P. 428-445.
3. Eckhaus W., De Jager E.M. Asymptotic solutions of singular perturbation problems for linear differential equations of elliptic type // Arch. Rat. Mech. Anal. - 1966. - V. 23. - № 1. - P. 26-86.
4. Eckhaus W. Boundary Layers in Linear Elliptic Singular Perturbation Problems // SIAM Review. - 1972. - V. 14. - № 2. - P. 225-270.
5. De Jager E.M. Singular elliptic perturbations of vanishing first order differential operators // Lecture Notes in Math. - 1972. -№ 280. - P. 73-86.
6. De Groen P.P.N. Turning points in second order elliptic singular perturbation problems // Lecture Notes in Math. - 1972. -№ 280. - P. 273-278.
7. Shagi-di Shih, Kellogg R.B. Asymptotic analysis of a singular perturbation problem // SIAM J. Math. Anal. - 1987. - V. 18. -№5. - P. 1467-1511.
8. Каменомостская С.Л. Об уравнениях эллиптического и параболического типа с малым параметром при старших производных // Мат. сб. - 1952. - № 31 (73):3. - C. 703-708.
9. Вишик M^., Люстерник Л.А. Регулярное вырождение и пограничный слой для линейных дифференциальных уравнений с малым параметром // УMН - 1957. - M 12:5 (77). - C. 3-122.
10. Ильин АЖ Согласование асимптотических разложений краевых задач. - M.: Наука, 1989. - 334 с.
11. Alymkulov K. Analog of Method of Boundary Layer Function for the Solution of the Lighthill’s Model Equation with the regular Singular Point // American J. Math. & Statistics. - 2013. -V. 3. - M 1. - P. 53-61.
12. Алымкулов К., Асылбеков Т.Д., Долбеева С.Ф. Обобщение метода погранфункций для решения краевой задачи для бисингулярно возмущенного дифференциального уравнения второго порядка // Mатем. Заметки. - 2013. - Т. 94. - Вып. 3. - С. 483-487.
13. Турсунов Д.А. Асимптотическое разложение решения сингулярно возмущенного дифференциального уравнения второго порядка с двумя точками поворота // Вестник Томского государственного университета. Mатематика и механика. - 2013. -Ml (21). - С. 34-40.
14. Гилбарг Д., Трудингер Н. Эллиптические дифференциальные уравнения с частными производными второго порядка. - M.: Наука, 1989. - 464 с.
Поступила 12.07.2013 г.
UDC 517.955.8
ASYMPTOTIC SOLUTIONS OF THE BISINGULAR PERTURBED ELLIPTIC EQUATION. CASE OF A SINGULAR POINT ON THE BOUNDARY
Dilmurat A. Tursunov,
Cand. Sc., Osh State University, Kyrgyz Republic, 714000, Osh, Lenin street, 331. E-mail: d_osh@rambler.ru
For mathematical modeling the convective-diffusive transport, chemical kinetics the boundary value problems occur for elliptic equations of the second order with a small parameter in the highest derivatives. The explicit solution of these problems can be constructed in a general case using different asymptotic methods. The fundamental work in this direction was done by A.N. Tikhonov, A.B. Vasilyeva,
S.A. Lomov, V.B. Butuzov, LI. Lyustemik, M.I. Vishik, A.M. Ilin. When the corresponding unperturbed equation has a smooth solution these problems are called bisingular in A.M. Ilin terminology. The method of matching was applied before to construct the asymptotic of bisingularly perturbed problems, but the method of boundary functions was not used directly. The author has proposed to modify the method of boundary functions that makes possible the construction of the asymptotic solutions of bisingularly perturbed elliptic equation. The aim of the study is to develop the asymptotic method of boundary functions for bisingularly perturbed equations. Applying the generalized method of boundary functions, the author constructed the asymptotic expansion of the solution for bisingularly perturbed elliptic equation in the case when the limit equation has a singularity at the boundary points of the region. The problem is considered in the circle.
Key words:
Asymptotics, bisingular perturbation, elliptic equation, singular point, Dirichlet problem, small parameter, Airy equation, Airy functions.
REFERENCES
1. Wasow W. Asymptotic solution of boundary value problems for the differential equationAU+A5U/5x=Af(x,y). Duke Math. J., 1944, vol. 11, pp. 405-415.
2. Levinson N. The first boundary value problem for sAu+Aux+Buy+Cu=D for small s. Ann. of Math., 1950, vol. 51, pp. 428-445.
3. Eckhaus W., De Jager E.M. Asymptotic solutions of singular perturbation problems for linear differential equations of elliptic type. Arch. Rat. Mech. Anal, 1966, vol. 23, no. 1, pp. 26-86.
4. Eckhaus W. Boundary Layers in Linear Elliptic Singular Perturbation Problems. SIAM Review, 1972, vol. 14, no. 2, pp. 225-270.
5. De Jager E.M. Singular elliptic perturbations of vanishing first order differential operators. Lecture Notes in Math., 1972, no. 280, pp. 73-86.
6. De Groen P.P.N. Turning points in second order elliptic singular perturbation problems. Lecture Notes in Math., 1972, no. 280, pp. 273-278.
7. Shagi-di Shih, Kellogg R.B. Asymptotic analysis of a singular perturbation problem. SIAM J. Math. Anal, 1987, vol. 18, no. 5, pp. 1467-1511.
З4
8. Kamenomostskaya S.L. Ob uravneniyakh ellipticheskogo i parabo-licheskogo tipa s malym parametrom pri starshikh proizvodnykh [On equations of elliptic and parabolic type with a small parameter in the highest derivatives]. Mat. sb., 1952, no. 31 (73): 3, pp. 703-708.
9. Vishik M.I., Lyusternik L.A. Regulyarnoe vyrozhdenie i pogra-nichny sloy dlya lineynykh differentsialnykh uravneniy s malym parametrom [Regular degeneration and boundary layer for linear differential equations with a small parameter]. UMN (Successes of Mathematical Sciences), 1957, no. 12:5 (77), pp. 3-122.
10. Ilin A.M. Soglasovanie asimptoticheskikh razlozheniy kraevykh zadach [Matching of asymptotic expansions of boundary value problems]. Moscow, Nauka, 1989. 334 p.
11. Alymkulov K. Analog of Method of Boundary Layer Function for the Solution of the Lighthill’s Model Equation with the regular Singular Point. American J. Math. & Statistics, 2013, vol. 3, no. 1, pp. 53-61.
12. Alymkulov K., Asylbekov T.D., Dolbeeva S.F. Obobshchenie metoda pogranfunktsiy dlya resheniya kraevoy zadachi dlya bisingulyarno vozmushchennogo differentsialnogo uravneniya vtorogo poryadka [Generalization of the boundary functions for solving boundary value problem for Bisingular perturbed second order differential equation]. Matem. Zametki (Mat. Notes), 2013, vol. 94, no. 3, pp. 483-487.
13. Tursunov D.A. Asimptoticheskoe razlozhenie resheniya singulyarno vozmushchennogo differentsialnogo uravneniya vtorogo poryadka s dvumya tochkami povorota [Asymptotic expansion of the solution of a singularly perturbed second order differential equation with two turning points]. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika (Bulletin of the Tomsk State University. Mathematics and mechanics), 2013, no. 1 (21), pp. 34-40.
14. Gilbarg D., Trudinger N. Ellipticheskie differentsialnye uravneni-ya s chastnymi proizvodnymi vtorogo poryadka [Elliptic partial differential equations of second order]. Moscow, Nauka, 1989. 464 p.
УДК 514.757.2
ДИФФЕРЕНЦИРУЕМОЕ ОТОБРАЖЕНИЕ РАНГА r АФФИННОГО Qm И ПРОЕКТИВНОГО Pn ПРОСТРАНСТВ
Аль-Хассани Мудхар Аббас,
преподаватель кафедры математики Университета Басры, Ирак; аспирант кафедры высшей математики Физико-техническсго института ТПУ Россия, 634050, г. Томск, пр. Ленина, д. 30. E-mail: mudhar73@mail.ru
Лучинин Анатолий Алексеевич,
канд. физ.-мат. наук, доцент, доцент кафедры высшей математики Физико-технического института ТПУ, Россия, 634050, г. Томск, пр. Ленина, д. 30. E-mail: luchinin@tpu.ru
Актуальность работы вызвана необходимостью дополнительного изучения специального отображения Vrm, n ранга r<min (m, n) аффинного Qm и проективного Pn пространств.
Цель работы. В предыдущих работах были рассмотрены отображения Vm n, когда r<min (m, n) в случаях m=n, m<n, m>n. В данной работе рассматривается дифференцируемое отображение Vrm, n ранга r<min (m, n) аффинного пространства Qm и проективного пространства P.
Методы исследования. Основными методами исследования являются метод внешних форм Картана в локальной дифференциальной геометрии и теоретико-групповой метод Г.Ф. Лаптева. Эти методы предполагают локальное изучение рассматриваемого объекта и использование функций класса 0е.
Результаты. Рассмотрено регулярное отображение ранга r аффинного и проективного пространств. Дана геометрическая характеристика этого отображения. С отображением V'm, n инвариантно ассоциируется отображение m-мерного пространства в многообразие невырожденных нуль-пар. Доказано (геометрически и методом Кэлера) существование данного отображения. Изучена аналитически и геометрически структура внутреннего фундаментального геометрического объекта.
Ключевые слова:
Дифференцируемые отображения, многомерные пространства и поверхности, геометрические объекты.
1. Аналитический аппарат
1.1. Как и в [1-3] рассматривается т-мерное аффинное пространство От и п-мерное эквипроек-тивное пространство Рп, отнесенные к подвижному аффинному реперу О и подвижному эквипроектив-ному реперу Р с соответствующими деривационными формулами и структурными уравнениями:
От : ° = {B, £а } йВ = еаёа, ёёа = 0*5 , В0а = 0ЬЛ0аЬ, В0Ьа = 0саЛ0Ьс, (а,Ь, с = 1Ш); (1)
Рп: Р = {А1}, йЛ1 = ю^А,, Вю^ = юК ле>/,
юК = 0, (1,3,К = 0П). (2)
Предполагается, что между пространствами существует дифференцируемое отображение
V : О ^ Р . (3)
т ,п х-'Ш п V >
Дифференциальные уравнения этого отображения с учетом (1) и (2) запишутся в виде
ю0 = А^0а, (/, 7, к = 1П). (4)
