Функциональная производная (Srutenkugl,ugx hjkn[fk;ugx)

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

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

Определение

Пусть $F$ — некоторый функционал, то есть функция, определённая на некотором множестве функций. Значение функционала $F$ на функции $\phi$ обозначают $F[\phi ]$ . Его производная Гато (производная по направлению) есть предел (если он существует) выражения $\lim _{\varepsilon \to 0}{\frac {F[\phi +\varepsilon \delta \phi ]-F[\phi ]}{\varepsilon }}$ . Здесь $\delta \phi$ — некоторая функция из области определения $F$ . Отметим, что такая производная, вообще говоря, зависит от выбора функции $\delta \phi$ . В этом смысле ситуация вполне аналогичная конечномерной. Например, функция $y=|x|$ дифференцируема в точке $x=0$ справа и слева, но эти односторонние производные различны, а в обычном смысле эта функция в 0 не дифференцируема.

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

Пусть функционал $F$ имеет интегральный вид^[1]

F[\phi ]=\int _{a}^{b}L(\phi ,{\dot {\phi }},t)dt

Его первой вариацией называется выражение

\delta F=F[\phi +\delta \phi ]-F[\phi ]

Если она представима в виде

\delta F=\int _{a}^{b}S(\phi ,{\dot {\phi }},t)\delta \phi (t)dt

с точностью до величин второго порядка по $\delta \phi$ , то функция $S$ называется функциональной производной^[2] $F$ по $\phi$ и обозначается ${\frac {\delta F}{\delta \phi }}$ . Функционал при этом называют дифференцируемым.

Конкретно в данной задаче ${\frac {\delta F}{\delta \phi }}={\frac {\partial L}{\partial \phi }}-{\frac {d}{dt}}{\frac {\partial L}{\partial {\dot {\phi }}}}$ , но в общем случае ответ существенно зависит от постановки задачи и граничных условий.

Вторая вариация

Если функционал дифференцируем, то можно определить аналог второй производной (в данном случае он скорее аналогичен матрице вторых частных производных). Раскладывая полную вариацию $\delta F$ до второго порядка по $\delta \varphi$ и отбрасывая величины первого порядка, получим выражение, называемое второй вариацией функционала:

\delta ^{2}F=\iint {\frac {\delta ^{2}F}{\delta \varphi \,\delta \varphi ^{\prime }}}\,\delta \varphi (x)\,\delta \varphi ^{\prime }(x^{\prime })\,dx\,dx^{\prime }

Свойства

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

Линейность. ${\frac {\delta }{\delta \phi }}(\lambda F+\mu G)=\lambda {\frac {\delta F}{\delta \phi }}+\mu {\frac {\delta G}{\delta \phi }},\ \lambda ,\mu \in \mathbb {C}$
Тождество Лейбница. ${\frac {\delta FG}{\delta \phi }}={\frac {\delta F}{\delta \phi }}G+F{\frac {\delta G}{\delta \phi }}$
Разложение полной вариации по частным производным: $\delta F[\phi ,\psi ]={\frac {\delta F}{\delta \phi }}\delta \phi +{\frac {\delta F}{\delta \psi }}\delta \psi$
В точке экстремума функционала его производная равна 0. Точка экстремума является точкой минимума (максимума), если вторая вариация — положительно (отрицательно) определённая квадратичная форма.