12. Вариационное исчисление.

Функционалом называется отображение, ставящее каждой функции из некоторого множества число.

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

Задача о брахистохроне (сформулирована Бернулли). Даны две точки не лежащие на одной прямой. Нужно определить линию, соединяющую эти точки, такую что материальная точка скатится по этой линии без трения за кратчайшее время. Оказалось, что эта линия циклоида.

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

, причём функции Y(x) и Z(x) подчинены условиям j(X, y,z)=0.

Изопериметрическая задача. Требуется найти замкнутую линию заданной длины L, ограничивающую максимальную площадь.

Вариация и её свойства.

Можно считать близкими функции Y(x) И Y1(x) модуль их разности мал для всех X. Однако при таком определении близости кривых могут возникнуть сложности с функционалами вида . Поэтому естественно считать близкими те кривые, которые близки и по производным. В первом случае кривые близки в смысле близости нулевого порядка во втором в смысле первого.

Разность между двумя допустимыми функциями dY=y1(x)- y2(x) называется вариацией аргумента функционала.

Определение. Если приращение функционала DV=v[Y(x)+ dY]- v[Y(x)]

Можно представить в виде DV=L[Y(x), dY]+b[Y(x), dY]max|DY|, где L-линейный функционал по отношению к dY, а b®0 при max|DY|®0, то называют L вариацией функционала.

Другое определение.

Рассмотрим производную функционала V[Y(x)+A dY] по a при a=0.

Вариация функционала v[Y(x)] равна: .

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

Определение. Функционал V[Y(x)] достигает на кривой Y=y0(x) максимума, если значения функционала v[Y(x)] на любой близкой к Y=y0(x) кривой не больше чем V[Y0 (x)]. В этом случае DV£0.

Аналогично вводится определение строгого максимума, минимума и строгого минимума.

Теорема. Если функционал имеющий вариацию, достигает максимума или минимума при Y=y0(x) (внутренней точки области определения функционала), то при Y=y0(x)DV=0.

Доказательство. При фиксированных Y0(x) и dY, V[Y0+adY] является функцией только a, по предположению достигает экстремума при a=0.

Следовательно производная по a обращается в ноль.

< Предыдущая		Следующая >