Липшицева непрерывность

В математическом анализе непрерывность Липшица , названная в честь немецкого математика Рудольфа Липшица сильной формой равномерной непрерывности функций , является . Интуитивно понятно, что липшицева непрерывная функция ограничена в скорости изменения: существует такое вещественное число, что для каждой пары точек на графике этой функции абсолютное значение наклона соединяющей их линии не превышает это действительное число; наименьшая такая граница называется константой Липшица функции (и связана с модулем равномерной непрерывности ). Например, каждая функция, определенная на интервале и имеющая ограниченную первую производную, является липшицевой. ^[1]

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

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

Непрерывно дифференцируемый ⊂ Липшицев непрерывный ⊂

\alpha

- Гёльдер непрерывный ,

где $0<\alpha \leq 1$ . У нас также есть

Липшицева непрерывная ⊂ абсолютно непрерывная ⊂ равномерно непрерывная .

Определения

Для двух метрических пространств ( X , d _X ) и ( Y , d _Y ), где d _X обозначает метрику на множестве X , а d _Y — метрику на множестве Y , функция f : X → Y называется липшицевой , если существует действительная константа K ≥ 0 такая, что для всех x ₁ и x ₂ в X ,

d_{Y}(f(x_{1}),f(x_{2}))\leq Kd_{X}(x_{1},x_{2}).

^[3]

Любой такой K называется константой Липшица для функции f , а f также может называться K-липшицевым . Наименьшую константу иногда называют (лучшей) константой Липшица. ^[4] f или расширение или расширение ^[5]^{: с. 9, Определение 1.4.1.}^[6]^[7] выключенный . Если K = 1, функция называется коротким отображением , а если 0 ≤ K < 1 и f отображает метрическое пространство в себя, функция называется сжатием .

В частности, действительная функция f : R → R называется липшицевой, если существует положительная действительная константа K такая, что для всех x ₁ и x ₂ вещественных

|f(x_{1})-f(x_{2})|\leq K|x_{1}-x_{2}|.

В этом случае Y — это множество действительных чисел R со стандартной метрикой d _Y ( y ₁ , y ₂ ) = | y ₁ − y ₂ |, и X является подмножеством R .

В общем случае неравенство (тривиально) выполняется, если x ₁ = x ₂ . В противном случае можно эквивалентно определить функцию как липшицеву непрерывную тогда и только тогда, когда константа K ≥ 0 такая, что для всех x ₁ ≠ x ₂ существует

{\frac {d_{Y}(f(x_{1}),f(x_{2}))}{d_{X}(x_{1},x_{2})}}\leq K.

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

Функция называется локально липшицевой , если для каждого x из X существует окрестность U точки x такая, что f, ограниченная U, является липшицевой. Эквивалентно, если X — локально компактное метрическое пространство, то f локально липшицево тогда и только тогда, когда оно липшицево непрерывно на каждом компактном подмножестве X . В пространствах, не являющихся локально компактными, это необходимое, но не достаточное условие.

В более общем смысле, функция f, определенная на X, называется непрерывной по Гельдеру или удовлетворяет условию Гёльдера порядка α > 0 на X, если существует константа M ≥ 0 такая, что

d_{Y}(f(x),f(y))\leq Md_{X}(x,y)^{\alpha }

для всех x и y в X . Иногда условие Гёльдера порядка α называют также равномерным условием Липшица порядка α > 0.

Для действительного числа K ≥ 1, если

{\frac {1}{K}}d_{X}(x_{1},x_{2})\leq d_{Y}(f(x_{1}),f(x_{2}))\leq Kd_{X}(x_{1},x_{2})\quad {\text{ for all }}x_{1},x_{2}\in X,

тогда f называется K -билипшицевым (также пишется K -билипшицевым ). Мы говорим, f билипшицева что или билипшицева, существует имея в виду, что такой K . Билипшицево отображение инъективно и фактически является гомеоморфизмом своего образа. Билипшицева функция — это то же самое, что инъективная липшицева функция, обратная функция которой также является липшицевой.

Примеры

Липшицевы непрерывные функции, всюду дифференцируемые

Функция $f(x)={\sqrt {x^{2}+5}}$ определенное для всех действительных чисел, является липшицевым непрерывным с константой Липшица K = 1, поскольку оно всюду дифференцируемо , а абсолютное значение производной ограничено сверху единицей. Первое свойство указано ниже в разделе « Свойства ».
Аналогично, функция синуса является непрерывной по Липшицу, поскольку ее производная, функция косинуса, ограничена сверху единицей по абсолютному значению.

Липшицевы непрерывные функции, не всюду дифференцируемые

Функция $f(x)=|x|$ определенное на вещественных числах, является липшицевым с постоянной Липшица, равной 1, согласно обратному неравенству треугольника . В более общем смысле, норма векторного пространства является липшицевой относительно соответствующей метрики, с константой Липшица, равной 1.

Липшицевы непрерывные функции, всюду дифференцируемые, но не непрерывно дифференцируемые.

Функция $f(x)\;=\;{\begin{cases}x^{2}\sin(1/x)&{\text{if }}x\neq 0\\0&{\text{if }}x=0\end{cases}}$ , производная которого существует, но имеет существенный разрыв при $x=0$ .

Непрерывные функции, которые не являются (глобально) липшицевыми.

Функция f ( x ) = √ x, определенная на [0, 1], не является липшицевой. Эта функция становится бесконечно крутой, когда x приближается к 0, поскольку ее производная становится бесконечной. Однако оно равномерно непрерывно, ^[8] и оба непрерывны по Гёльдеру класса C ^{0, а} для α ⩽ 1/2, а также абсолютно непрерывен на [0, 1] (оба из которых влекут первое).

Дифференцируемые функции, которые не являются (локально) липшицевыми

Функция f, определяемая формулами f (0) = 0 и f ( x ) = x ^3/2sin(1/ x ) для 0 < x ≤1 дает пример функции, которая дифференцируема на компактном множестве, но не является локально липшицевой, поскольку ее производная функция не ограничена. См. также первое свойство ниже.

Аналитические функции, которые не являются (глобально) липшицевыми.

Показательная функция становится сколь угодно крутой при x → ∞ и, следовательно, не является глобально липшицевой, несмотря на то, что является аналитической функцией .
Функция f ( x ) = x ² с областью определения все действительные числа не являются липшицевыми. Эта функция становится сколь угодно крутой, когда x приближается к бесконечности. Однако оно локально липшицево.

Характеристики

Всюду дифференцируемая функция g : R → R является липшицевой (с K = sup | g ′( x )|) тогда и только тогда, когда она имеет ограниченную первую производную ; одно направление следует из теоремы о среднем значении . В частности, любая непрерывно дифференцируемая функция является локально липшицевой, поскольку непрерывные функции локально ограничены, поэтому ее градиент также локально ограничен.
Липшицева функция g : R → R абсолютно непрерывна и, следовательно, дифференцируема почти всюду , то есть дифференцируема в каждой точке вне множества нулевой меры Лебега . Его производная по существу ограничена по величине константой Липшица, и при a < b разность g ( b ) − g ( a ) равна интегралу от производной g ' на интервале [ a , b ].
- И наоборот, если f : I → R абсолютно непрерывна и, следовательно, дифференцируема почти всюду и удовлетворяет | ж ' ( Икс ) | ⩽ K для почти всех x в I , то f непрерывна по Липшицу с константой Липшица не K. более
- В более общем смысле, теорема Радемахера расширяет результат дифференцируемости на липшицевы отображения между евклидовыми пространствами: липшицево отображение f : U → R ^м, где U — открытое множество в R ^н, почти всюду дифференцируема . Более того, если K — лучшая константа Липшица функции f , то $\|Df(x)\|\leq K$ всякий раз, когда полная производная Df существует. ^{[ нужна ссылка ]}
Для дифференцируемого отображения Липшица $f:U\to \mathbb {R} ^{m}$ неравенство $\|Df\|_{W^{1,\infty }(U)}\leq K$ справедлива лучшая константа Липшица $K$ из $f$ . Если домен $U$ выпукло, то на самом деле $\|Df\|_{W^{1,\infty }(U)}=K$ . ^{[ нужны дальнейшие объяснения ]}
Предположим, что { f _n } — последовательность липшицевых непрерывных отображений между двумя метрическими пространствами и что все f _n имеют константу Липшица, ограниченную некоторым K . Если fn _f сходится к отображению f равномерно , то K. константа Липшица ограничена тем же также является липшицевым, причем В частности, это означает, что множество вещественных функций на компактном метрическом пространстве с определенной оценкой константы Липшица является замкнутым и выпуклым подмножеством банахова пространства непрерывных функций. Однако этот результат не справедлив для последовательностей, в которых функции могут иметь неограниченные константы Липшица. Фактически, пространство всех липшицевых функций на компактном метрическом пространстве является подалгеброй банахова пространства непрерывных функций и, следовательно, плотно в нем, что является элементарным следствием теоремы Стоуна – Вейерштрасса (или как следствие аппроксимационной теоремы Вейерштрасса , поскольку каждый полином локально липшицев непрерывен).
Всякое липшицево непрерывное отображение равномерно непрерывно и, следовательно, непрерывно . В более общем смысле, набор функций с ограниченной константой Липшица образует равнонепрерывное множество. Из теоремы Арзела –Асколи следует, что если { f _n } — равномерно ограниченная последовательность функций с ограниченной константой Липшица, то у нее есть сходящаяся подпоследовательность. По результату предыдущего абзаца предельная функция также является липшицевой, с такой же оценкой для константы Липшица. В частности, множество всех вещественнозначных липшицевых функций на компактном метрическом пространстве X, имеющих константу Липшица ⩽ K, является локально компактным выпуклым подмножеством банахова пространства C ( X ).
Для семейства липшицевых непрерывных функций f _α с общей константой функция $\sup _{\alpha }f_{\alpha }$ (и $\inf _{\alpha }f_{\alpha }$ ) также является липшицевым, с той же константой Липшица, при условии, что она принимает конечное значение хотя бы в точке.
Если U — подмножество метрического пространства M и f : U → R — липшицева непрерывная функция, всегда существуют липшицевы непрерывные отображения M → R , которые расширяют f и имеют ту же константу Липшица, что и f (см. также теорему Киршбрауна ). Расширение предоставляется

{\tilde {f}}(x):=\inf _{u\in U}\{f(u)+k\,d(x,u)\},

где k константа Липшица для f на U. —

Липшицевы многообразия

Липшицева структура на топологическом многообразии определяется с помощью атласа карт, карты переходов которых являются билипшицевыми; это возможно, поскольку билипшицевы отображения образуют псевдогруппу . Такая структура позволяет определять локально липшицевы отображения между такими многообразиями аналогично тому, как определяются гладкие отображения между гладкими многообразиями : если $M$ и $N$ — липшицевы многообразия, то функция $f:M\to N$ тогда локально липшицева и только тогда, когда для каждой пары координатных карт $\phi :U\to M$ и $\psi :V\to N$ , где $U$ и $V$ — открытые множества в соответствующих евклидовых пространствах, композиция $\psi ^{-1}\circ f\circ \phi :U\cap (f\circ \phi )^{-1}(\psi (V))\to V$ локально Липшиц. на определении метрики $M$ или $N.$ Это определение не основано ^[9]

Эта структура является промежуточной между структурой кусочно-линейного многообразия и топологическим многообразием : структура PL порождает уникальную липшицеву структуру. ^[10] Хотя липшицевы многообразия тесно связаны с топологическими многообразиями, теорема Радемахера позволяет проводить анализ, что дает различные приложения. ^[9]

Односторонний Липшиц

Пусть F ( x ) — полунепрерывная сверху функция от x , и что F ( x ) — замкнутое выпуклое множество для всех x . Тогда F односторонне липшицева. ^[11] если

(x_{1}-x_{2})^{T}(F(x_{1})-F(x_{2}))\leq C\Vert x_{1}-x_{2}\Vert ^{2}

для некоторого C и для всех x ₁ и x ₂ .

Возможно, что функция F может иметь очень большую константу Липшица, но умеренную или даже отрицательную одностороннюю константу Липшица. Например, функция

{\begin{cases}F:\mathbf {R} ^{2}\to \mathbf {R} ,\\F(x,y)=-50(y-\cos(x))\end{cases}}

имеет константу Липшица K = 50 и одностороннюю константу Липшица C = 0. Примером, который является односторонним, но не липшицевым, является F ( x ) = e ^{− х}, при С = 0.

См. также

Картирование сжатия – функция, уменьшающая расстояние между всеми точками.
Преемственность Дини
Модуль непрерывности
Квази-изометрия
Лемма Джонсона-Линденштрауса . Для любого целого числа n ≥0 любое конечное подмножество X ⊆ R ^ни любого действительного числа 0<ε<1 существует (1+ε)-билипшицева функция $f:\mathbb {R} ^{n}\to \mathbb {R} ^{d},$ где $d=\lceil 15(\ln |X|)/\varepsilon ^{2}\rceil .$

Ссылки

^ Сохраб, Х.Х. (2003). Базовый реальный анализ . Том. 231. Биркхойзер. п. 142. ИСБН 0-8176-4211-0 .
^ Томсон, Брайан С.; Брукнер, Джудит Б.; Брукнер, Эндрю М. (2001). Элементарный реальный анализ . Прентис-Холл. п. 623. ИСБН 978-0-13-019075-8 .
^ Сиркоид, Мишель О (2006), «Функции Липшица» , метрические пространства , серия Springer по математике для студентов, Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-1-84628-369-7
^ Беньямини, Йоав; Линденштраусс, Йорам (2000). Геометрический нелинейный функциональный анализ . Американское математическое общество. п. 11. ISBN 0-8218-0835-4 .
^ Бураго, Дмитрий; Бураго, Юрий; Иванов, Сергей (2001). Курс метрической геометрии . Американское математическое общество. ISBN 0-8218-2129-6 .
^ Махру, Омар А; Шалчи, Заид; Хаммонд, Кристофер Дж (2014). « 'Расширение' и 'дилатация': тенденции в употреблении по обе стороны Атлантики» . Британский журнал офтальмологии . 98 (6): 845–846. doi : 10.1136/bjophthalmol-2014-304986 . ПМИД 24568871 .
^ Громов, Михаил (1999). «Количественная теория гомотопии». В Росси, Хьюго (ред.). Перспективы математики: приглашенные доклады по случаю 250-летия Принстонского университета, 17–21 марта 1996 г., Принстонский университет . Американское математическое общество. п. 46. ИСБН 0-8218-0975-Х .
^ Роббин, Джоэл В., Непрерывность и равномерная непрерывность (PDF)
^ Jump up to: ^а ^б Розенберг, Джонатан (1988). «Приложения анализа на липшицевых многообразиях» . Миниконференции по гармоническому анализу и операторным алгебрам (Канберра, 1987) . Канберра: Австралийский национальный университет . стр. 269–283. МИСТЕР 954004
^ «Топология многообразий» , Математическая энциклопедия , EMS Press , 2001 [1994]
^ Дончев, Цанко; Фархи, Эльза (1998). «Устойчивость и эйлерова аппроксимация односторонних липшицевых дифференциальных включений». SIAM Journal по контролю и оптимизации . 36 (2): 780–796. дои : 10.1137/S0363012995293694 .

[1] Сохраб, Х.Х. (2003). Базовый реальный анализ . Том. 231. Биркхойзер. п. 142. ИСБН 0-8176-4211-0 .

[2] Томсон, Брайан С.; Брукнер, Джудит Б.; Брукнер, Эндрю М. (2001). Элементарный реальный анализ . Прентис-Холл. п. 623. ИСБН 978-0-13-019075-8 .

[3] Сиркоид, Мишель О (2006), «Функции Липшица» , метрические пространства , серия Springer по математике для студентов, Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-1-84628-369-7

[4] Беньямини, Йоав; Линденштраусс, Йорам (2000). Геометрический нелинейный функциональный анализ . Американское математическое общество. п. 11. ISBN 0-8218-0835-4 .

[5] Бураго, Дмитрий; Бураго, Юрий; Иванов, Сергей (2001). Курс метрической геометрии . Американское математическое общество. ISBN 0-8218-2129-6 .

[6] Махру, Омар А; Шалчи, Заид; Хаммонд, Кристофер Дж (2014). « 'Расширение' и 'дилатация': тенденции в употреблении по обе стороны Атлантики» . Британский журнал офтальмологии . 98 (6): 845–846. doi : 10.1136/bjophthalmol-2014-304986 . ПМИД 24568871 .

[7] Громов, Михаил (1999). «Количественная теория гомотопии». В Росси, Хьюго (ред.). Перспективы математики: приглашенные доклады по случаю 250-летия Принстонского университета, 17–21 марта 1996 г., Принстонский университет . Американское математическое общество. п. 46. ИСБН 0-8218-0975-Х .

[8] Роббин, Джоэл В., Непрерывность и равномерная непрерывность (PDF)

[Rosenberg-9] Jump up to: ^а ^б Розенберг, Джонатан (1988). «Приложения анализа на липшицевых многообразиях» . Миниконференции по гармоническому анализу и операторным алгебрам (Канберра, 1987) . Канберра: Австралийский национальный университет . стр. 269–283. МИСТЕР 954004

[10] «Топология многообразий» , Математическая энциклопедия , EMS Press , 2001 [1994]

[11] Дончев, Цанко; Фархи, Эльза (1998). «Устойчивость и эйлерова аппроксимация односторонних липшицевых дифференциальных включений». SIAM Journal по контролю и оптимизации . 36 (2): 780–796. дои : 10.1137/S0363012995293694 .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]