Тауберова теорема Хаарса - Википедия - Haars tauberian theorem

В математический анализ, Хаара тауберова теорема^[1] названный в честь Альфред Хаар, связывает асимптотическое поведение непрерывная функция к свойствам его Преобразование Лапласа. Это связано с интегральной формулировкой Тауберова теорема Харди – Литтлвуда.

Упрощенная версия Феллера

Уильям Феллер дает следующую упрощенную форму этой теоремы^[2]

Предположим, что ${ displaystyle f (t)}$ неотрицательная и непрерывная функция для ${ Displaystyle т geq 0}$, имея конечные Преобразование Лапласа

${ Displaystyle F (s) = int _ {0} ^ { infty} e ^ {- st} f (t) , dt}$

за ${ displaystyle s> 0}$. потом ${ Displaystyle F (s)}$ хорошо определено для любого комплексного значения ${ displaystyle s = x + iy}$ с ${ displaystyle x> 0}$. Предположим, что ${ displaystyle F}$ проверяет следующие условия:

1. Для ${ Displaystyle у neq 0}$ функция ${ Displaystyle F (х + iy)}$ (который обычный на правая полуплоскость ${ displaystyle x> 0}$) имеет непрерывные граничные значения ${ Displaystyle F (iy)}$ в качестве ${ Displaystyle х до +0}$, за ${ Displaystyle х geq 0}$ и ${ Displaystyle у neq 0}$, кроме того, для ${ displaystyle s = iy}$ это может быть записано как

${ displaystyle F (s) = { frac {C} {s}} + psi (s),}$

куда ${ displaystyle psi (iy)}$ имеет конечные производные ${ Displaystyle psi '(iy), ldots, psi ^ {(r)} (iy)}$ и ${ Displaystyle psi ^ {(г)} (iy)}$ ограничена на каждом конечном интервале;

2. Интеграл

${ displaystyle int _ {0} ^ { infty} e ^ {ity} F (x + iy) , dy}$

сходится равномерно относительно ${ displaystyle t geq T}$ для фиксированного ${ displaystyle x> 0}$ и ${ displaystyle T> 0}$;

3. ${ Displaystyle F (х + iy) к 0}$ в качестве ${ displaystyle y to pm infty}$, равномерно по ${ Displaystyle х geq 0}$;

4. ${ Displaystyle F '(iy), ldots, F ^ {(r)} (iy)}$ стремятся к нулю как ${ displaystyle y to pm infty}$;

5. Интегралы

${ displaystyle int _ {- infty} ^ {y_ {1}} e ^ {ity} F ^ {(r)} (iy) , dy}$ и ${ displaystyle int _ {y_ {2}} ^ { infty} e ^ {ity} F ^ {(r)} (iy) , dy}$

сходятся равномерно относительно ${ displaystyle t geq T}$ для фиксированного ${ displaystyle y_ {1} <0}$, ${ displaystyle y_ {2}> 0}$ и ${ displaystyle T> 0}$.

В этих условиях

${ displaystyle lim _ {t to infty} t ^ {r} [f (t) -C] = 0.}$

Полная версия

Более подробная версия приведена в ^[3]

Предположим, что ${ displaystyle f (t)}$ является непрерывной функцией для ${ Displaystyle т geq 0}$, имея Преобразование Лапласа

${ Displaystyle F (s) = int _ {0} ^ { infty} e ^ {- st} f (t) , dt}$

со следующими свойствами

1. Для всех значений ${ displaystyle s = x + iy}$ с ${ displaystyle x> a}$ функция ${ Displaystyle F (s) = F (х + iy)}$ является обычный;

2. Для всех ${ displaystyle x> a}$, функция ${ Displaystyle F (х + iy)}$, рассматриваемая как функция переменной ${ displaystyle y}$, обладает свойством Фурье («Fourierschen Charakter besitzt»), определенный Хааром как любой ${ displaystyle delta> 0}$ есть ценность ${ displaystyle omega}$ такой, что для всех ${ displaystyle t geq T}$

${ displaystyle { Big |} , int _ { alpha} ^ { beta} e ^ {iyt} F (x + iy) , dy ; { Big |} < delta}$

в любое время ${ displaystyle alpha, beta geq omega}$ или же ${ Displaystyle альфа, бета leq - omega}$.

3. Функция ${ Displaystyle F (s)}$ имеет граничное значение для ${ Displaystyle Re s = а}$ формы

${ Displaystyle F (s) = sum _ {j = 1} ^ {N} { frac {c_ {j}} {(s-s_ {j}) ^ { rho _ {j}}}} + psi (s)}$

куда ${ displaystyle s_ {j} = a + iy_ {j}}$ и ${ displaystyle psi (а + iy)}$ является ${ displaystyle n}$ раз дифференцируемая функция ${ displaystyle y}$ и такая, что производная

${ displaystyle left | { frac {d ^ {n} psi (a + iy)} {dy ^ {n}}} right |}$

ограничена на любом конечном интервале (для переменной ${ displaystyle y}$)

4. Производные

${ displaystyle { frac {d ^ {k} F (a + iy)} {dy ^ {k}}}}$

за ${ Displaystyle к = 0, ldots, п-1}$ иметь нулевой предел для ${ displaystyle y to pm infty}$ и для ${ Displaystyle к = п}$ обладает свойством Фурье, как определено выше.

5. Для достаточно больших ${ displaystyle t}$ следующее правило

${ displaystyle lim _ {y to pm infty} int _ {a + iy} ^ {x + iy} e ^ {st} F (s) , ds = 0}$

При указанных выше предположениях имеем следующую асимптотическую формулу

${ displaystyle lim _ {t to infty} t ^ {n} e ^ {- at} { Big [} f (t) - sum _ {j = 1} ^ {N} { frac { c_ {j}} { Gamma ( rho _ {j})}} e ^ {s_ {j} t} t ^ { rho _ {j} -1} { Big]} = 0}$

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