Математическая энциклопедия - дифференциальные уравнения с малым параметром при производных

система вида

где z и у суть, соответственно, М- и m-мерные векторы, m>0 малый параметр. Полагая в (1) формально m=0, получим так наз. вырожденную систему

Пусть решение x(t,m) системы (1) (хозначает z и ув совокупности) определяется нек-рыми дополнительными условиями. При выяснении возможности использования уравнений (2) для построения асимптотического при малых m приближения к x(t,m) возникают трудности, связанные с тем, что система (2) более низкого порядка, чем (1), и поэтому ее решение не может удовлетворить всем условиям, поставленным для (1). Априори не ясно, какие из дополнительных условий, поставленных для (1), следует оставить для определения решения (2), а какие отбросить. Кроме того, уравнение F(z, у,t) = 0 имеет относительно z, вообще говоря, несколько корней, и снова априори не ясно, какой из этих корней нужно выбрать при решении системы (2), чтобы получить правильное приближение. Эти моменты отличают постановку задачи об асимптотике решения системы (1) от регулярного случая, когда mвходит не в качестве множителя при производных, а в правые части и притом регулярно. Первые работы, относящиеся к системе вида (1), были посвящены начальной задаче

В наиболее законченной форме результат был дан А. Н. Тихоновым [1]. В общих чертах он состоит в следующем. Пусть уравнение F(z, у, t)=0 определяет в нек-рой замкнутой ограниченной области Dнесколько изолированных корней

Введем так называемую присоединенную систему

в к-рой у* и t* рассматриваются как параметры. Возьмем один из корней я=ji и обозначим его z=j(y, t). Корень z=j(y, t)наз. устойчивым в D, если для каждой точки соответствующая точка покоя z=j(y*, t* )присоединенной системы (4) является асимптотически устойчивой. Областью влияния устойчивого корня z=j(y, t)наз. множество точек (z*, у*, t* )таких, что решение системы (4), определяемое начальным условием z|t=0=z*, стремится к j( у*, t* )при Оказывается, что если z=j(y, t)устойчивый корень, а точка (z⁰, у ⁰, 0), являющаяся начальной для рассматриваемого решения x(t,m) начальной задачи (3), принадлежит его области влияния, то это решение при m->0 стремится к решению вырожденной системы (2), причем в качестве решения первого уравнения в (2) берется z=j(y, t), а в качестве начального условия условие (3) для у(условие (3) для zотбрасывается). Другими словами,

где yo(t)находится из системы

при начальном условии y0|t=0=y⁰; T связано с размерами области D. Таким образом, в отличие от регулярного случая близость при малых m решения x(t,m)системы (1) к решению системы, в к-рой положено m=0, т. е. системы (2), имеет место только при специальных условиях.

Предельный переход (6) не является равномерным в связи с тем, что, вообще говоря,Иными словами, в связи с "потерей" начальных условий для z, и в окрестности t=0 имеется (правда, бесконечно сужающаяся при ) область, где z(t,m). и z0(t)не близки. Это явление получило название явления пограничного слоя (название заимствовано из гидродинамики).

Понятие устойчивости корня z=j(y, t )играет большую роль при исследовании системы (1). Различным критериям устойчивости точки покоя по Ляпунову (см. Устойчивость по Ляпунову )соответствуют различные критерии устойчивости корня z=j(y, t). Наиболее употребителен критерий первого приближения, состоящий в требовании, чтобы собственные значения Xматрицы

удовлетворяли неравенству Re l<0 в D. Если Re l>0, то для задачи (1), (3) имеет место результат, аналогичный описанному выше, но для t<0. Если матрица (8) имеет собственные значения с действительными частями разных знаков, т. е.

то решение начальной задачи (1), (3), вообще говоря, предела при не имеет. Однако если для (1) поставить не начальную, а краевую задачу, причем при t=0 задать kкомпонент вектора z (компоненты будем обозначать нижними индексами), а при t=T задать М-k компонент вектора z (значение уможно задавать как при t=0, так и при t=T):

то для решения x(t,m)задачи (1), (10), (11) при выполнении нек-рых усло'вий (аналогичных требованию принадлежности начальной точки области влияния устойчивого корня в случае начальной задачи) будет справедлив предельный переход (5), (6), где y0(t)определяется по-прежнему системой (7). При этом предельный переход (6) справедлив для 0<t<T, и пограничный слой появляется как в окрестности t=0, так и в окрестности t=T, поскольку при m=0 происходит "потеря" дополнительных условий (10), заданных и при t=0, и при t-T. Случай (9) получил название условно устойчивого случая (см. [2]).

После того как был установлен предельный переход (5), (6), исследование задачи (1), (3) развивалось в направлении построения асимптотич. разложения ее решения. В регулярном случае решение начальной задачи представляется степенным рядом по m

к-рый при условии достаточной гладкости правых частей является асимптотич. рядом. В случае (1), благодаря наличию пограничного слоя, асимптотич. разложение решения носит более сложный характер, а именно: к степенному разложению типа (12) следует добавить еще так наз. пограничный ряд

Члены П kx(t/m) наз. пограничными членами. Они играют роль вблизи t=0, а далее быстро убывают по закону. ехр(at/m), где a>0. (Подробное описание алгоритма построения асимптотич. разложения решения задачи (1), (3) дано в [2]; там же доказано, что остаточный член асимптотич. разложения (13) при достаточной гладкости правых частей (1) имеет порядок O(mⁿ⁺¹) равномерно относительно ) Подобного же рода асимптотич. разложение имеет место для решения задачи (1), (10), (11). Отличие заключается в том, что в этом случае к степенному разложению типа (12) добавляются уже два пограничных ряда в связи с наличием пограничного слоя в окрестности и t=0, и t=T.

Асимптотич. представление (13) (при наличии устойчивого корня) или аналогичное ему представление с двумя пограничными слоями (при наличии условно устойчивого корня) дает возможность доказать существование и получить асимптотику решения задач с более сложными дополнительными условиями, чем (3) или (10), (11) (см. [2]):