Функционал. Функциональное пространство

РАЗДЕЛ 12. ЭЛЕМЕНТЫ ВАРИАЦИОННОГО ИСЧИСЛЕНИЯ

· Излагаются основы вариационного исчисления

· Рассматривается уравнение Эйлера, условия трансверсальности

ВВЕДЕНИЕ

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

Отметим, что задание функции определяет саму функцию ввиду равенства

+ .

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

. (1)

Кроме того, пусть для всех выполняются неравенства

Уравнение (1) показывает, что функции и определяют функцию .

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

Пусть . Интерес представляет величина

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

Рассмотренная задача представляет собой пример так называемой простейшей задачи вариационного исчисления, которая формулируется следующим образом. Рассматривается отрезок и дифференцируемые функции удовлетворяющие условиям )= , а также функция ), обладаюшая определёнными свойствами, которые будут уточнены ниже. Ищется

по всем дифференцируемым функциям удовлетворяющим условиям )= .

Отметим очевидное сходство этой задачи с задачей отыскания наибольшего значения функции на отрезке . Отметим и очевидное различие: в задаче об отыскании экстремума функции отыскивается точка. В поставленной выше задаче отыскивается функция.

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

ФУНКЦИОНАЛ. ФУНКЦИОНАЛЬНОЕ ПРОСТРАНСТВО

Определение. Если каждой функции из некоторого множества функций поставлено в соответствие число то говорят, что на этом множестве определён функционал.

Примеры:

1. Зафиксируем точку и рассмотрим множество функций , определённых в этой точке. Определим функционал равенством .

2. Зафиксируем точку и рассмотрим множество функций , дифференцируемых в этой точке. Определим функционал равенством .

3. Рассмотрим класс функций , интегрируемых на отрезке Определим функционал равенством

4. Введённая выше для непрерывной по совокупности переменных функции ) величина

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

Замечание. Рассмотренные в примерах 3 и 4 функционалы обладают так называемым свойством локальности. Это свойство состоит в том, что если разбить отрезок на части, вычислить значения функционала на этих частях и взять сумму этих значений, то эта сумма окажется равной значению функционала на всём отрезке. Далеко не все функционалы обладают этим свойством. Например, функционал

Представляющий собой абсциссу центра тяжести материальной кривой, свойством локальности не обладает.

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

и расстояния между точками

При этом

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

Определение. Линейным нормированным пространством называется линейное(векторное) пространство , каждому элементу которого поставлено в соответствие неотрицательное число , называемое нормой этого элемента. При этом норма обладает следующими свойствами (аксиомы нормы):

1. = .

2. (2)

В линейном нормированном пространстве можно ввести метрику (или, что то же самое, расстояние), положив Таким образом, линейное нормированное пространство представляет собой метрическое пространство. Следует отметить, что элементами линейного нормированного пространства могут быть объекты различной природы: числа, векторы, матрицы, функции и т.д.

Мы будем, в основном, рассматривать следующие пространства.

Определение. Пространство которое состоит из непрерывных на отрезке функций. Норма в этом пространстве определена равенством

. (3)

Расстояние между его элементами равно

. (4)

Определение. Пространство , которое состоит из непрерывных на отрезке функций , обладающих непрерывной на этом отрезке производной . Норма в этом пространстве определяется равенством

, (5)

а расстояние, соответственно, равенством

. (6)

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

(7)

а расстояние, соответственно, равенством

.(8)

Задача. Проверить, что определённые равенствами (3),(5), (7) величины удовлетворяют аксиомам нормы.

НЕПРЕРЫВНОСТЬ ФУНКЦИОНАЛА

Пусть функциональное пространство, обладающее структурой линейного нормированного пространства (иными словами, в нём введена некоторая норма).

Определение. Функционал называется непрерывным в точке , если для любого существует число такое, что для всех удовлетворяющих неравенству выполняется неравенство

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

Например, интересующий нас функционал

в случае непрерывной по совокупности переменных функции ) непрерывен в пространстве и не является, вообще говоря, непрерывным, если рассматривать его

на множестве функций , имеющих на отрезке непрерывную производную но при этом понимать близость таких функций в смысле нормы пространства .

Типичным примером такой ситуации является функционал

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

ВАРИАЦИЯ ФУНКЦИОНАЛА

При исследовании обычных функций на экстремум важную роль играло понятие дифференциала – главной линейной части приращения функции. Аналогом этого понятия

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

Определение. Пусть линейное нормированное пространство и функционал, определённый на этом пространстве. Он называется линейным, если он непрерывен и если для любых выполняется равенство ().

Все функционалы из примеров 1-4 пункта линейные.

Рассмотрим теперь функционал и его приращение

(x), (9)

При фиксированном величина (9) представляет собой функционал(в общем случае, нелинейный) от переменной

Определение. Вариацией (или дифференциалом) функционала называется линейный функционал , для которого

(x)= + , (10)

где при

Заметим, что определение (10) вариации функционала вполне аналогично определению дифференциала дифференцируемой функции.

Теорема. Если вариация функционала существует, то она определяется однозначно.

& Лемма. Если линейный функционал, для которого

=0, (11)

то

& Предположим, что утверждение леммы неверно и что при условии (11) всё же существует элемент такой, что Положим Тогда, по свойству нормы, , . Однако и , откуда

= .

Полученное противоречие доказывает лемму.%

Вернёмся к доказательству теоремы и предположим, что

(x)= + ,

(x)= + .

Тогда линейный функционал

при

По лемме что означает, что , что и требовалось доказать.%

Пример. Найти приращение функционала

, t

Решение. ()=

Пример. Найти вариацию функционала

Решение. (x)= .

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

Формула для вычисления вариации функционала более общего вида

будет получена, при естественных условиях, ниже в равенстве (17).

ЭКСТРЕМУМ ФУНКЦИОНАЛА

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

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

В первом случае, т.е. если окрестность рассматривается в пространстве , говорят о слабом экстремуме функционала.

Во втором случае, т.е. если окрестность рассматривается в пространстве , говорят о сильном экстремуме функционала.

Ясно, что точка сильного экстремума функционала является и точкой слабого экстремума функционала, поскольку окрестность точки в пространстве входит и в некоторую окрестность этой точки в пространстве . Обратное, в общем случае, неверно.

Обычно задача отыскания слабого экстремума проще, чем задача отыскания сильного экстремума, так как рассматриваемые функционалы обычно непрерывны в , но не непрерывны в .

Теорема. (Необходимое условие экстремума функционала). Если имеет экстремум в точке и если в этой точке существует его вариация , то она равна 0.

& Рассмотрим, для определённости, случай минимума, т.е. пусть

()

для всех с достаточно малой величиной . По определению вариации,

()= , (12)

где при Если , то при достаточно малых знак правой части равенства (12) определяется знаком . Но линейный функционал, поэтому

Следовательно, приращение () меняет свой знак в окрестности точки и в ней нет экстремума функционала .%

Замечание. Обратите внимание на аналогию между этой теоремой и теоремой о необходимом условии экстремума функции(теоремой Ферма).

УРАВНЕНИЕ ЭЙЛЕРА

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

(13)

такую, которая является точкой слабого экстремума функционала

(14)

Дадим функции приращение , имеющее на отрезке непрерывную производную. Для того, чтобы функция удовлетворяла условиям (13), функция

должна удовлетворять условиям

. (15)

Вычислим вариацию функционала

(x)= =

+…. (16)

При выводе формулы мы воспользовались разложением по формуле Тейлора, многоточие означает члены, имеющие степени не ниже второй по совокупности переменных

Из формулы (16) следует, что величина

представляет собой главную, линейную по совокупности переменных часть приращения (x), т.е. вариацию функционала . Итак,

.(17)

Докажем основную для дальнейшего теорему.

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

определённый на функций , имеющих на отрезке непрерывную производную и удовлетворяющих условиям достигал слабого экстремума на функции необходимо, чтобы эта функция удовлетворяла уравнению Эйлера:

(18)

& Доказательство теоремы базируется на следующей лемме.

Лемма. (Дюбуа-Реймон). Если и непрерывные функции и если

(19)

для любой функции удовлетворяющей условиям (15), то дифференцируемая функция и

Полное доказательство леммы Дюбуа-Реймона можно найти, например, в книге[], (глава1, параграф 3, лемма 2). Здесь мы ограничимся её частным случаем, являющимся прекрасной иллюстрацией основной идеи. Именно, докажем, что:

если непрерывная функция и если для любой функции удовлетворяющей условиям (15) выполняется равенство

, (20)

то

& Предположим противное, т.е. что существует точка такая, что . Ввиду непрерывности функции , существует интервал , на котором Рассмотрим функцию

Эта функция принадлежит классу и удовлетворяет условиям (15). Кроме того,

Поэтому

что противоречит условию (20). %

Вернёмся к доказательству теоремы и применим лемму, согласно которой

что и требовалось доказать. %

Замечание. Уравнение (18) даёт необходимое, но не достаточное условие экстремума функционала. Однако часто бывает очевидно, что решение задачи должно существовать. Если, при этом, уравнение (20) даёт единственное решение, удовлетворяющее условиям (13), то это решение и является искомым.

Часто в качестве достаточного условия наличия максимума функционала (14) фигурирует выпуклость вверх функции по переменным Для наличия минимума этого функционала достаточна выпуклость вниз по переменным