Лемма Кальдерона – Зигмунда

редактировать

В математике лемма Кальдерона – Зигмунда является фундаментальным результатом в анализе Фурье, гармоническом анализе и сингулярные интегралы. Он назван в честь математиков Альберто Кальдерона и Антони Зигмунда.

Учитывая интегрируемую функцию f: R→ C, где R означает Евклидово пространство и C обозначают комплексные числа, лемма дает точный способ разбиения Rна два устанавливает : один, где f существенно мало; другой - счетный набор кубов, где f существенно велико, но при этом сохраняется некоторый контроль над функцией.

Это приводит к ассоциированному разложению Кальдерона – Зигмунда функции f, где f записывается как сумма «хороших» и «плохих» функций с использованием вышеуказанных наборов.

Содержание

  • 1 Лемма о покрытии
  • 2 Разложение Кальдерона – Зигмунда
  • 3 См. Также
  • 4 Ссылки

Лемма о покрытии

Пусть f: R→ Cинтегрируема, а α положительна постоянный. Тогда существует открытое множество Ω такое, что:

(1) Ω - несвязное объединение открытых кубов, Ω = ∪ kQk, такое, что для каждого Q k,
α ≤ 1 m (Q k) ∫ Q k | f (x) | d x ≤ 2 d α. {\ displaystyle \ alpha \ leq {\ frac {1} {m (Q_ {k})}} \ int _ {Q_ {k}} | f (x) | \, dx \ leq 2 ^ {d} \ alpha.}\ alpha \ leq {\ frac {1} {m (Q_ {k})}} \ int _ {{Q_ { k}}} | f (x) | \, dx \ leq 2 ^ {d} \ alpha.
(2) | f (x) | ≤ α почти всюду в дополнении F к Ω.

Разложение Кальдерона – Зигмунда

Учитывая f, как указано выше, мы можем записать f как сумму «хорошей» функции g и «плохой» функции b, f = г + б. Для этого мы определяем

g (x) = {f (x), x ∈ F, 1 m (Q j) ∫ Q jf (t) dt, x ∈ Q j, {\ displaystyle g (x) = {\ begin {case} f (x), x \ in F, \\ {\ frac {1} {m (Q_ {j})}} \ int _ {Q_ {j}} f (t) \, dt, x \ в Q_ {j}, \ end {case}}}g (x) = {\ begin {cases} f (x), x \ in F, \\ {\ frac {1} {m (Q_ {j})}} \ int _ {{Q_ {j}}} f (t) \, dt, x \ in Q_ {j}, \ end {cases}}

и пусть b = f - g. Следовательно, мы имеем, что

b (x) = 0, x ∈ F {\ displaystyle b (x) = 0, \ x \ in F}b (x) = 0, \ x \ in F
1 m (Q j) ∫ Q jb (x) dx = 0 {\ displaystyle {\ frac {1} {m (Q_ {j})}} \ int _ {Q_ {j}} b (x) \, dx = 0}{\ frac {1} {m (Q_ {j})}} \ int _ {{Q_ {j}}} b (x) \, dx = 0

для каждого куба Q j.

Таким образом, функция b поддерживается в наборе кубов, где f может быть "большим", но имеет то полезное свойство, что ее среднее значение равно нулю на каждом из этих кубов. Между тем | g (x) | ≤ α для почти каждого x в F, и на каждом кубе в Ω g равно среднему значению f по этому кубу, которое по выбранному покрытию не больше 2α.

См. Также

Ссылки

Последняя правка сделана 2021-05-14 14:03:01
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте