В математике, дифференциал Гато или Производная Гато является обобщением концепции производной по направлению в дифференциальном исчислении. Названный в честь Рене Гато, французского математика, умершего молодым в Первой мировой войне, он определен для функций между локально выпуклыми топологическими векторными пространствами такие как банаховы пространства. Подобно производной Фреше в банаховом пространстве, дифференциал Гато часто используется для формализации функциональной производной, обычно используемой в вариационном исчислении и физике..
В отличие от других форм производных, дифференциал Гато функции может быть нелинейным. Однако часто определение дифференциала Гато также требует, чтобы это было непрерывное линейное преобразование. Некоторые авторы, такие как Тихомиров (2001), проводят дополнительное различие между дифференциалом Гато (который может быть нелинейным) и производной Гато (который они считают линейным). В большинстве приложений непрерывная линейность следует из некоторых более примитивных условий, которые естественны для конкретной ситуации, например, наложения комплексной дифференцируемости в контексте бесконечномерной голоморфности или непрерывной дифференцируемости. в нелинейном анализе.
Содержание
- 1 Определение
- 2 Линейность и непрерывность
- 3 Высшие производные
- 4 Свойства
- 5 Пример
- 6 См. Также
- 7 Ссылки
Определение
Предположим, что и являются локально выпуклыми топологическими векторными пространствами. (например, банаховы пространства ), открыто, и . Дифференциал Гато из в в направлении определяется как
| | (1) |
Если предел существует для всех , тогда говорят, что дифференцируема по Гато в .
Предел, указанный в (1), берется относительно топологии . Если и являются реальными топологическими векторными пространствами, то предел берется для реальный . С другой стороны, если и являются сложными топологическими векторными пространствами, тогда указанный выше предел обычно берется как в комплексной плоскости, как в определении комплексной дифференцируемости. В некоторых случаях вместо сильного предела берется слабый предел, что приводит к понятию слабой производной Гато.
Линейность и непрерывность
В каждой точке дифференциал Гато определяет функцию
Эта функция однородна в том смысле, что для всех скаляров ,
Однако эта функция не обязательно должна быть аддитивной, так что дифференциал Гато может не быть линейным, в отличие от производная Фреше. Даже если он линейный, он может не зависеть непрерывно от , если и бесконечномерны. Кроме того, для дифференциалов Гато, линейных и непрерывных в , есть несколько неэквивалентных способов сформулировать их непрерывную дифференцируемость.
. Например, рассмотрим действительную -значная функция двух вещественных переменных, определенных как
Это дифференцируемая по Гато в (0, 0) с дифференциалом
Однако это непрерывно, но не линейно по аргументам . В бесконечных измерениях любой прерывистый линейный функционал на является дифференцируемым по Гато, но его дифференциал Гато в является линейным, но не непрерывным.
- Связь с производной Фреше
Если дифференцируема по Фреше, то она также дифференцируема по Гато, и ее производные по Фреше и Гато согласуются. Обратное явно неверно, поскольку производная Гато может не быть линейной или непрерывной. Фактически, производная Гато даже может быть линейной и непрерывной, но производная Фреше может не существовать.
Тем не менее, для функций из сложного банахова пространства в другое сложное банахово пространство , производная Гато (где предел берется по комплексному , стремящемуся к нулю, как в определении комплексной дифференцируемости ) автоматически линейно, согласно теореме Zorn (1945). Кроме того, если является (комплексным) дифференцируемым по Гато в каждом с производной
, затем дифференцируема по Фреше на с производной Фреше (Zorn 1946). Это аналогично результату базового комплексного анализа о том, что функция является аналитической, если она комплексно дифференцируема в открытом множестве, и является фундаментальным результатом при изучении бесконечного размерная голоморфность.
- Непрерывная дифференцируемость
Непрерывная дифференцируемость по Гато может быть определена двумя неэквивалентными способами. Предположим, что дифференцируем по Гато в каждой точке открытого множества . Одно из понятий непрерывной дифференцируемости в требует, чтобы отображение в пространстве продукта
быть непрерывным. Не нужно предполагать линейность: если и являются пространствами Фреше, то автоматически ограничено и линейно для всех (Hamilton 1982).
Более сильное понятие непрерывной дифференцируемости требует, чтобы
было непрерывным отображением
от до пространства непрерывных линейных функций от до . Обратите внимание, что это уже предполагает линейность .
С технической точки зрения это последнее понятие непрерывной дифференцируемости типично (но не универсально), когда пробелы и являются банаховыми, поскольку также является банаховым, и тогда можно использовать стандартные результаты функционального анализа. Первое является более общим определением в областях нелинейного анализа, где задействованные функциональные пространства не обязательно являются банаховыми пространствами. Например, дифференцирование в пространствах Фреше имеет приложения, такие как теорема Нэша – Мозера об обратной функции, в которой интересующие функциональные пространства часто состоят из гладких функций на многообразие.
Высшие производные
В то время как производные Фреше высшего порядка естественным образом определяются как полилинейные функции путем итерации, используя изоморфизмы производная Гато более высокого порядка не может быть определена таким образом. Вместо этого производная Гато-го порядка функции в направлении определяется как
| | (2) |
Вместо полилинейной функции это однородная функция степени in .
Существует еще один кандидат на определение производной более высокого порядка, функция
| | (3) |
, которое естественно возникает в вариационном исчислении как , по крайней мере, в особый случай, когда имеет скалярное значение. Однако он может вообще не иметь каких-либо разумных свойств, кроме того, что он по отдельности однороден в и . Желательно иметь достаточные условия, чтобы гарантировать, что является симметричной билинейной функцией от и , и это согласуется с поляризацией из .
Например, выполняется следующее достаточное условие (Hamilton 1982). Предположим, что равно в том смысле, что отображение
непрерывно в топологии продукта, и, кроме того, вторая производная, определенная посредством (3), также непрерывна в том смысле, что
непрерывно. Тогда билинейно и симметрично в и . В силу билинейности выполняется поляризационное тождество
, относящаяся к производной второго порядка с дифференциалом . Аналогичные выводы справедливы и для производных более высокого порядка.
Свойства
Версия фундаментальной теоремы исчисления верна для производной Гато от при условии предполагается достаточно непрерывно дифференцируемым. В частности:
- Предположим, что равно в том смысле, что производная Гато является непрерывной функцией . Тогда для любых и ,
- где интеграл - это интеграл Гельфанда – Петтиса (слабый интеграл).
Из этого вытекают многие другие известные свойства производной, такие как полилинейность и коммутативность производные высшего порядка. Дополнительные свойства, также следствия фундаментальной теоремы, включают:
- для всех и . (Обратите внимание, что, как и в случае с простыми частными производными, производная Гато не удовлетворяет цепному правилу, если производной разрешено быть разрывной.)
- Предположим, что отрезок между и полностью лежит в пределах . Если равно , тогда
- где остаток член определяется как
Пример
Пусть быть гильбертовым пространством квадратично интегрируемых функций на измеримом множестве по Лебегу в евклидовом пространстве . Функционал
где - действительная -значная функция от вещественная переменная и определена на с действительными значениями, имеет производную Гато
Действительно, указанное выше является пределом из
См. также
Ссылки
- Gateaux, R (1913), «Sur les fonctionnelles continue et les fonctionnelles analytiques», Comptes rendus hebdomadaires des séances de l'Académie des Sciences, Париж, 157 : 325–327, получено 2 сентября 2012 г..
- Gateaux, R (1919), «Fonctions d'une infinité de variables indépendantes», Bulletin de la Société Mathématique de Франция, 47 : 70–96.
- Гамильтон, RS (1982), «Обратная забава Теорема Нэша и Мозера », Bull. Амер. Математика. Soc., 7 (1): 65–222, doi : 10.1090 / S0273-0979-1982-15004-2, MR 0656198
- Хилле, Эйнар ; Филлипс, Ральф С. (1974), Функциональный анализ и полугруппы, Провиденс, Р.И.: Американское математическое общество, MR 0423094.
- Тихомиров, В.М. (2001) [1994], Энциклопедия математики, EMS Press.
- Zorn, Max (1945), «Характеризация аналитических функций в банаховых пространствах», Annals of Математика, Вторая серия, 46 (4): 585–593, doi : 10.2307 / 1969198, ISSN 0003-486X, JSTOR 1969198, MR 0014190.
- Zorn, Max (1946), «Производные и дифференциалы Фреше», Бюллетень Американского математического общества, 52 (2): 133–137, doi : 10.1090 / S0002-9904-1946-08524-9, MR 0014595.