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

В. т. основана на возможности приближенного описания исследуемой системы с помощью нек-рой специальным образом выбираемой "идеальной" системы, допускающей корректное и полное изучение. Одним из признаков применимости В. т. в одной из ее форм, определяемой спецификой конкретной задачи, для к-рой В. т. разрабатывается, является условие того, что уравнения, описывающие исследуемый процесс, содержат в явной или неявной форме малый параметр (или несколько таких параметров). При этом требуется, чтобы при нулевом значении малого параметра уравнения допускали точное решение, и таким образом проблема сводится к нахождению асимптотики наилучшего приближения к истинному решению с точностью до e, e ², ... .

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

Существенное уточнение астрономич. данных сформулировало проблему учета влияния других планет на движение одной из них вокруг Солнца. Так возникла классическая трех тел задача, причем, напр., при изучении системы Луна - Земля - Солнце в качестве малого параметра выбиралось отношение масс Луны и Земли. Начиная с трудов Ж. Лагранжа (J. Lagrange), П. Лапласа (P. Laplace) было выдвинуто представление о том, что постоянные величины, характеризующие движение планеты вокруг Солнца, ввиду влияния движения других планет как бы "возмущаются" и претерпевают изменения, зависящие от времени; отсюда идет и наименование "теория возмущений".

В. т. занимала внимание классиков Ж. Лагранжа, П. Лапласа, С. Пуассона (S. Poisson), К. Гаусса (С. Gauss) и в результате их работ оказалось возможным проводить вычисления с чрезвычайно большой точностью. Триумфом В. т. явилось открытие планеты Нептун (1848) Дж. Адамсом (J. Adams) и У. Леверье (U. Le Verrier) из анализа отклонений в движении планеты Уран.

Трудности первоначально разработанных методов В. т. были обусловлены наличием в получающихся разложениях членов, содержащих время tвне знака синуса или косинуса. Вклад таких членов в ряд В. т. существен лишь за длительные промежутки времени (порядка столетий), но и в этом случае невозможно строгое описание планетных движений в схеме В. т.- приемлемым является только первое приближение. Появление так наз. секудярных членов обусловлено зависимостью частоты движения (обращения) исследуемой планеты от соответствующих частот других планет. Учет такого рода зависимости и приводит к возникновению в решениях как секулярных (вида ), так и смешанных (вида ) членов. Напр., соотношение

в схеме В. т. допускает следующее разложение по

смешанный член в к-ром появляется в результате разложения колебания с частотой (1) по колебаниям с частотой w₀.

Создание специальных методов В. т., устраняющих секулярные члены, т. е. позволяющих представить решение в чисто тригонометрич. виде, связано с работами Линдштедта (Lindstedt), П. Гульдина (P. Guldin), Ш. <делоне (ch.="" delaunay),="" б.="" волина="" (в.="" bohlin),="" с.="" ньюкома="" (s.="" newcomb).="" в="" предложенном="" ими="" подходе="" частоты="" уже="" не="" разлагаются="" по="" малым="" параметрам,="" т.="" е.="" в="" соответствующие="" разложения="" входят="" не="" частоты="" нулевого="" приближения,="" а="" нек-рым="" образом="" переопределенные="" (в="" терминах="" современной="" теоретич.="" физики="" -="" ренормированные)="" частоты.="" в="" результате="" каждый="" отдельный="" член="" ряда="" в.="" т.="" по="" степеням="" малого="" параметра="" представляет="" собой="" сходящееся="" выражение.="" вопрос="" о="" сходимости="" ряда="" в.="" т.="" в="" целом="" остается="" открытым="" из-за="" появления="" так="" наз.="" малых="" знаменателей="" (малых="" делителей),="" образующихся="" при="" интегрировании="" в="" каждом="" приближении="" в.="" т.="" выражении="" вида=""> , где - набор частот, отвечающих различным движениям. В случае почти соизмеримых частот сумма в показателе экспоненты может быть малой и тогда после соответствующего интегрирования возникают члены ряда В. т., знаменатели к-рых малы, что и приводит к расходящимся выражениям ряда В. т. В частности, для двух частот и , отношение к-рых является иррациональным числом, можно подобрать так, чтобы соответствующий ряд В. т. расходился.

При изучении с общей математич. точки зрения проблемы малых знаменателей А. Пуанкаре (Н. Poincare) и А. М. Ляпуновым была предложена методика построения специального вида периодич. решений, эффективная не только в задачах небесной механики, но и в теории дифференциальных уравнений в целом.

Существенный вклад в решение проблемы малых делителей был сделан в работах [4], [5], [6]. Метод последовательных канонич. замен переменных позволяет "понизить" порядок возмущения и с помощью достигаемой усиленной сходимости (так наз. сверхсходимости) "преодолеть" расходимость ряда В. т. из-за малых знаменателей, возникающих в каждом порядке В. т., надлежащим выбором канонич. преобразования.

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

Важную роль сыграли (выполненные в развитие работ Ж. Лагранжа) исследования В. Ван дер Поля (В. Van der Pol) по уравнениям типа Рэлея с малым параметром e:

Частным случаем уравнения (3) является Ван дер Поля Уравнение.

Для решения уравнения

в первом приближении Б. Ван дер Поль предложил без должного математич. обоснования метод "медленно меняющихся коэффициентов", аналогичный одному из методов, применявшихся еще Ж. Лагранжем в небесной механике. Этот метод основан на представлении решения уравнения (4) в виде функции гармонич. колебаний, амплитуда и фача к-рых - медленно меняющиеся функции параметра t.

Общая теория нелинейных колебаний была разработана в работах Н. М. Крылова и Н. Н. Боголюбова. При этом были преодолены принципиальные математич. трудности и дано распространение В. т. на общие неконсервативные системы. Развитые в этих работах новые асимптотич. методы нелинейной механики позволяют получать решения в высших приближениях В. т. в математически обоснованной схеме, причем наряду с периодич. решениями допускали строгое рассмотрение квази-периодич. режима.

Идея асимптотич. методов теории возмущений Крылова - Боголюбова становится наглядной при рассмотрении уравнения

описывающего нелинейные колебания системы с одной степенью свободы.

К правильной формулировке асимптотич. метода можно прийти, исходя из физич. соображений о характере колебательного процесса. Так, при полном отсутствии нелинейности, т. е. при , колебания, описываемые уравнением (5), будут чисто гармоническими с постоянной амплитудой и равномерно вращающейся фазой. В случае, если , т. е. в случае наличия нелинейного возмущения, естественно ожидать появления в решении уравнения (5) обертонов, зависимости мгновенной частоты от амплитуды и, наконец, систематич. увеличения или уменьшения амплитуды колебания в связи с притоком или поглощением энергии возмущающими силами.

Принимая во внимание все эти физич. соображения, естественно решение уравнения (5) искать в виде ряда

в к-ром - периодич. функции угла с периодом , а величины как функции времени определяются дифференциальными уравнениями

Таким образом, задача сводится к подбору соответствующих выражений для функций так, чтобы выражение (6), в к-рое вместо аи будут подставлены функции времени, определенные из системы (7), являлось решением исходного уравнения (5). Причем накладываются нек-рые дополнительные условия, обеспечивающие отсутствие в решении (6) секулярных членов.

Ограничиваясь в формальном ряде (6) первыми членами, приходят к m-му приближению, обладающему свойством асимптотичности в том смысле, что при фиксированном ти выражение (6) стремится к точному решению уравнения (5); уравнения первого приближения совпадают .с уравнениями Ван дер Поля. Проблема оценки погрешности m-го приближения не вызывает особенных трудностей. Аналогичным образом решается задача в случае Nстепеней свободы.

Если интерпретировать формулу (6) не как решение уравнения (5), а как формулу замены переменных, то можно получить точные выражения для производных по времени от амплитуды аи фазы .

Как известно (см. [8], [9]) во многих случаях дифференциальные уравнения, описывающие колебательные процессы и содержащие "малый" параметр, могут быть приведены к так наз. стандартной форме:

где - малый положительный параметр. Большое число задач физики и техники приводится к этому виду. Для системы дифференциальных уравнений вида (8) разработан особый метод аппроксимации, названный методом усреднения. Согласно методу усреднений, эти уравнения для достаточно малых значений е на конечном интервале посредством замены переменных

приводятся к усредненным уравнениям:

где

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

Были установлены [13] при весьма общих условиях оценки разности на временном интервале длины . Кроме того, можно установить соответствие и в таких свойствах решений общих систем, к-рые зависят от их поведения на бесконечном интервале. Таким образом были доказаны теоремы о существовании и устойчивости квазипериодич. решений.

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

Такой подход был использован Н. Н. Боголюбовым для нек-рых задач статистич. механики, связанных с вычислением функций распределения sчастиц (s= l, 2, ..., N).для систем многих взаимодействующих частиц. Малым параметром в задачах статцстнч. механики может служить как малая константа взаимодействия, так и малая плотность частиц в системе. В одном из этих приближений можно выразить высшие s-частичные функции распределения через функции распределения одной частицы. При этом уже в первом приближении В. т. можно получить из системы кинетич. уравнений известные уравнения Больцмана, а также уравнения Ландау, Власова и Боголюбова - Ленарда - Балеску, широко применяемые в теории плазмы.

Следует отметить, что перечисленные методы развиты в применении к уравнениям с малым параметром, входящим в них регулярным образом (не при старшей производной). В то же время, напр., уравнение Ван дер Поля в форме Рэлея в случае больших е автоматически сводится к уравнению; в к-ром малый параметр стоит перед старшей производной. Для задач такого типа, требующих особого подхода, развиты мощные методы исследования (см. [14], [15], [16], [17]).

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

4) Большое значение методы В. т. имеют в области квантовой механики, где, такие как и в классической, точные решения получены лишь в задаче двух тел, формально сводимой к задаче одного тела во внешнем потенциальном поле. Здесь используются две формы В. т.: одна для стационарных состояний, другая для расчета вероятностей переходов из одного стационарного состояния в другое в схеме метода матрицы рассеяния. В. т. формулируется в квантовой механике как задача на собственные значения для линейного самосопряженного оператора вида:

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

В предположении малости волновые функции

и собственные значения энергии Е _п могут быть найдены в виде рядов