WikiDer > Теорема Фреше – Колмогорова.

Эта статья включает Список ссылок, связанное чтение или внешняя ссылка, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты. Пожалуйста, помогите улучшать эта статья введение более точные цитаты. (Ноябрь 2011 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

В функциональный анализ, то Теорема Фреше – Колмогорова. (имена Рис или же Weil также иногда добавляются) дает необходимое и достаточное условие для того, чтобы набор функций был относительно компактный в L^п Космос. Его можно рассматривать как L^п версия Теорема Арцела – Асколи, из которого это можно вывести. Теорема названа в честь Морис Рене Фреше и Андрей Колмогоров.

Заявление

Позволять ${ displaystyle B}$ быть подмножеством ${ Displaystyle L ^ {p} ( mathbb {R} ^ {n})}$ с ${ Displaystyle р в [1, infty)}$, и разреши ${ displaystyle tau _ {h} f}$ обозначают перевод ${ displaystyle f}$ к ${ displaystyle h}$, то есть, ${ displaystyle tau _ {h} f (x) = f (x-h).}$

Подмножество ${ displaystyle B}$ является относительно компактный тогда и только тогда, когда выполняются следующие свойства:

1. (Равностепенная) ${ displaystyle lim _ {| h | to 0} Vert tau _ {h} f-f Vert _ {L ^ {p} ( mathbb {R} ^ {n})} = 0}$ равномерно на ${ displaystyle B}$.
2. (Equitight) ${ displaystyle lim _ {r to infty} int _ {| x |> r} left | f right | ^ {p} = 0}$ равномерно на ${ displaystyle B}$.

Первое свойство может быть указано как ${ Displaystyle forall varepsilon> 0 , , существует delta> 0}$ такой, что ${ Displaystyle Vert tau _ {h} ff Vert _ {L ^ {p} ( mathbb {R} ^ {n})} < varepsilon , , forall f in B, forall h }$ с ${ displaystyle | h | < delta.}$

Обычно теорема Фреше – Колмогорова формулируется с дополнительным предположением, что ${ displaystyle B}$ ограничен (т.е. ${ Displaystyle Vert е Vert _ {L ^ {p} ( mathbb {R} ^ {n})} < infty}$ равномерно на ${ displaystyle B}$). Однако недавно было показано, что равноправие и равностепенная непрерывность подразумевают это свойство.^[1]

Особый случай

Для подмножества ${ displaystyle B}$ из ${ Displaystyle L ^ {p} ( Omega)}$, куда ${ displaystyle Omega}$ является ограниченным подмножеством ${ Displaystyle mathbb {R} ^ {п}}$, условие беспристрастности не требуется. Следовательно, необходимое и достаточное условие для ${ displaystyle B}$ быть относительно компактный в том, что имеет место свойство равностепенной непрерывности. Однако это свойство следует интерпретировать с осторожностью, как показано в примере ниже.

Примеры

Наличие решений PDE

Позволять ${ displaystyle (и _ { epsilon}) _ { epsilon}}$ быть последовательность растворов вязкой Уравнение Бюргерса позировал в ${ displaystyle mathbb {R} times (0, T)}$:

${ displaystyle { frac { partial u} { partial t}} + { frac {1} {2}} { frac { partial u ^ {2}} { partial x}} = epsilon Дельта u, quad u (x, 0) = u_ {0} (x),}$

с ${ displaystyle u_ {0}}$ достаточно гладко. Если решения ${ displaystyle (и _ { epsilon}) _ { epsilon}}$ наслаждайся ${ Displaystyle L ^ {1}}$-заключение и ${ Displaystyle L ^ { infty}}$-связанные свойства,^[2] покажем существование решений невязкого Уравнение Бюргерса

${ displaystyle { frac { partial u} { partial t}} + { frac {1} {2}} { frac { partial u ^ {2}} { partial x}} = 0, quad u (x, 0) = u_ {0} (x).}$

Первое свойство можно сформулировать следующим образом: Если ${ displaystyle u, v}$ являются решениями уравнения Бюргерса с ${ displaystyle u_ {0}, v_ {0}}$ в качестве исходных данных, то

${ displaystyle int _ { mathbb {R}} | u (x, t) -v (x, t) | dx leq int _ { mathbb {R}} | u_ {0} (x) - v_ {0} (x) | dx.}$

Второе свойство просто означает, что ${ displaystyle Vert u ( cdot, t) Vert _ {L ^ { infty} ( mathbb {R})} leq Vert u_ {0} Vert _ {L ^ { infty} ( mathbb {R})}}$.

Теперь позвольте ${ Displaystyle К подмножество mathbb {R} times (0, T)}$ быть любым компактный набор, и определим

${ displaystyle w _ { epsilon} (x, t): = u _ { epsilon} (x, t) mathbf {1} _ {K} (x, t),}$

куда ${ displaystyle mathbf {1} _ {K}}$ является ${ displaystyle 1}$ на съемочной площадке ${ displaystyle K}$ и 0 в противном случае. Автоматически, ${ Displaystyle B: = {(ш _ { epsilon}) _ { epsilon} } subset L ^ {1} ( mathbb {R} ^ {2})}$ поскольку

${ displaystyle int _ { mathbb {R} ^ {2}} | w _ { epsilon} (x, t) | dxdt = int _ { mathbb {R} ^ {2}} | u _ { epsilon } (x, t) mathbf {1} _ {K} (x, t) | dxdt leq Vert u_ {0} Vert _ {L ^ { infty} ( mathbb {R})} | K | < infty.}$

Равностепенная непрерывность является следствием ${ Displaystyle L ^ {1}}$-соглашение с ${ Displaystyle и _ { epsilon} (х-в, т)}$ является решением уравнения Бюргерса с ${ displaystyle u_ {0} (х-ч)}$ в качестве исходных данных и поскольку ${ Displaystyle L ^ { infty}}$-связанные удержания: у нас есть это

${ displaystyle Vert w _ { epsilon} ( cdot -h, cdot -h) -w _ { epsilon} Vert _ {L ^ {1} ( mathbb {R} ^ {2})} leq Vert w _ { epsilon} ( cdot -h, cdot -h) -w _ { epsilon} ( cdot, cdot -h) Vert _ {L ^ {1} ( mathbb {R} ^ { 2})} + Vert w _ { epsilon} ( cdot, cdot -h) -w _ { epsilon} Vert _ {L ^ {1} ( mathbb {R} ^ {2})}.}.$

Мы продолжаем рассмотрение

${ displaystyle { begin {align} & Vert w _ { epsilon} ( cdot -h, cdot -h) -w _ { epsilon} ( cdot, cdot -h) Vert _ {L ^ { 1} ( mathbb {R} ^ {2})} & leq Vert (u _ { epsilon} ( cdot -h, cdot -h) -u _ { epsilon} ( cdot, cdot -h)) mathbf {1} _ {K} ( cdot -h, cdot -h) Vert _ {L ^ {1} ( mathbb {R} ^ {2})} + Vert u_ { epsilon} ( cdot, cdot -h) ( mathbf {1} _ {K} ( cdot -h, cdot -h) - mathbf {1} _ {K} ( cdot, cdot - з) Vert _ {L ^ {1} ( mathbb {R} ^ {2})}. end {выравнивается}}}$

Первое слагаемое в правой части удовлетворяет

${ displaystyle Vert (u _ { epsilon} ( cdot -h, cdot -h) -u _ { epsilon} ( cdot, cdot -h)) mathbf {1} _ {K} ( cdot -h, cdot -h) Vert _ {L ^ {1} ( mathbb {R} ^ {2})} leq T Vert u_ {0} ( cdot -h) -u_ {0} Верт _ {L ^ {1} ( mathbb {R})}}$

заменой переменной и ${ Displaystyle L ^ {1}}$-соглашение. Второй член удовлетворяет

${ displaystyle Vert и _ { epsilon} ( cdot, cdot -h) ( mathbf {1} _ {K} ( cdot -h, cdot -h) - mathbf {1} _ {K} ( cdot, cdot -h)) Vert _ {L ^ {1} ( mathbb {R} ^ {2})} leq Vert u_ {0} Vert _ {L ^ { infty} ( mathbb {R})} Vert mathbf {1} _ {K} ( cdot -h, cdot) - mathbf {1} _ {K} Vert _ {L ^ {1} ( mathbb { R} ^ {2})}}$

заменой переменной и ${ Displaystyle L ^ { infty}}$-граница. Более того,

${ displaystyle Vert w _ { epsilon} ( cdot, cdot -h) -w _ { epsilon} Vert _ {L ^ {1} ( mathbb {R} ^ {2})} leq Vert (u _ { epsilon} ( cdot, cdot -h) -u _ { epsilon}) mathbf {1} _ {K} ( cdot, cdot -h) Vert _ {L ^ {1} ( mathbb {R} ^ {2})} + Vert u _ { epsilon} ( mathbf {1} _ {K} ( cdot, cdot -h) - mathbf {1} _ {K}) Vert _ {L ^ {1} ( mathbb {R} ^ {2})}.}$

Оба члена могут быть оценены, как и раньше, если заметить, что равностепенная непрерывность времени снова следует за ${ Displaystyle L ^ {1}}$-соглашение.^[3] Непрерывность отображения трансляции в ${ Displaystyle L ^ {1}}$ то дает равностепенную непрерывность равномерно на ${ displaystyle B}$.

Справедливость сохраняется по определению ${ displaystyle (ш _ { epsilon}) _ { epsilon}}$ принимая ${ displaystyle r}$ достаточно большой.

Следовательно, ${ displaystyle B}$ является относительно компактный в ${ Displaystyle L ^ {1} ( mathbb {R} ^ {2})}$, и тогда существует сходящаяся подпоследовательность ${ displaystyle (и _ { epsilon}) _ { epsilon}}$ в ${ Displaystyle L ^ {1} (К)}$. По аргументу покрытия последняя сходимость ${ Displaystyle L_ {loc} ^ {1} ( mathbb {R} times (0, T))}$.

Чтобы сделать вывод о существовании, остается проверить, что предельная функция, как ${ displaystyle epsilon до 0 ^ {+}}$, подпоследовательности ${ displaystyle (и _ { epsilon}) _ { epsilon}}$ удовлетворяет

${ displaystyle { frac { partial u} { partial t}} + { frac {1} {2}} { frac { partial u ^ {2}} { partial x}} = 0, quad u (x, 0) = u_ {0} (x).}$

Смотрите также

• Теорема Арцела – Асколи
• Теорема выбора Хелли
• Теорема Реллиха – Кондрахова.

Рекомендации

Литература

• Брезис, Хайм (2010). Функциональный анализ, пространства Соболева и уравнения в частных производных. Universitext. Springer. п. 111. ISBN 978-0-387-70913-0.
• Рис, Марсель (1933). "Sur les ensembles compacts de fonctions sommables" (PDF). Acta Sci. Математика. 6: 136–142.
• Precup, Раду (2002). Методы в нелинейных интегральных уравнениях. Springer. п.21. ISBN 978-1-4020-0844-3.