Первоначальное изучение граничного поведения

Ядро Пуассона Р_r(θ) обладает и четвертым свойством:

d) Для любого σ > О, Р_r(θ) →0 равномерно для σ≤│θ│≤π при r→1.

Это сразу следует из формулы для Р_r(θ).

Теорема. Пусть функция F непрерывна на R и F(t+2π)=F(θ). Пусть

Тогда U(z)→F(φ), когда , и сходимость равномерна по φ.

Доказательство.

Этот результат восходит к самому Пуассону, который полагал, что отсюда вытекает сходимость ряда Фурье функции к ней самой (на самом деле из теоремы это не следует!). Запишем

Для заданного произвольного числа <р мы имеем по свойству с)

Следовательно,

Пусть таково, что |F(s)— F(φ)| < ε при |s — φ|<2ϭ;

число ϭ здесь зависит только от ε, а не от φ, из-за (равномерной!) непрерывности функции F.

Запишем интеграл в правой части в виде суммы двух:

Если |θ-φ|< ϭ то первый интеграл справа не превосходит

Tb М — верхняя грань величины | F(t)|. Тогда второй интеграл не превосходит

,

что меньше ε, если r достаточно близко к 1, в силу свойства d).

Таким образом, , если |θ-φ|< ϭ, а r достаточно близко к 1.

Q. E. D.

Замечание. Свойства a), b), с) и d) вместе взятые показывают, что представляет собою так называемую аппроксимативную единицу. Доказанная теорема имеет место в силу этих свойств: не только для ядра Пуассона, но и для других ядер, являющихся аппроксимативными единицами, справедливы аналогичные результаты.

Теорема. Пусть пусть функция F[t) непре­рывна в точке θ₀. Тогда стремится к F(θ₀) при стремлении re^iθ к e^iθ

Доказательство такое же, как у предыдущей теоремы.

Теорема. Пусть , 1≤ р < ∞, и пусть

.

Тогда , т.е. стремится к F(G) в А"-норме при r → 1.

Доказательство.

Положим F_r(θ) = U(re^1θ). Тогда

Используя свойства а) и с) (мы рассматриваем как предел выпуклых комбинаций функций . считая t параметром, а θ — переменной), имеем по очевидному обобщению неравенства треугольника

.

Полагая

Дата добавления: 2014-10-15; Просмотров: 272; Нарушение авторских прав?; Мы поможем в написании вашей работы!