WikiDer > Предельные теоремы Сегё

В математический анализ, то Предельные теоремы Сегё описать асимптотическое поведение детерминанты большого Матрицы Теплица.^[1][2][3] Впервые они были доказаны Габор Сегу.

Обозначение

Позволять φ : Т→C быть сложной функцией ("символ") на единичной окружности. Рассмотрим п×п Матрицы Теплица Т_п(φ), определяется

${ Displaystyle T_ {n} ( phi) _ {k, l} = { widehat { phi}} (k-l), quad 0 leq k, l leq n-1,}$

где

${ Displaystyle { widehat { phi}} (к) = { гидроразрыва {1} {2 pi}} int _ {0} ^ {2 pi} phi (е ^ {я theta}) е ^ {- ik theta} , d theta}$

являются Коэффициенты Фурье из φ.

Первая теорема Сегё

Первая теорема Сегё^[1][4] заявляет, что если φ > 0 и φ ∈ L₁(Т), тогда

${ displaystyle lim _ {n to infty} { frac { det T_ {n} ( phi)} { det T_ {n-1} ( phi)}} = exp left { { frac {1} {2 pi}} int _ {0} ^ {2 pi} log phi (e ^ {i theta}) , d theta right }.}$

(1)

Правая часть (1) это среднее геометрическое из φ (четко определено среднее арифметико-геометрическое неравенство).

Вторая теорема Сегё

Обозначим правую часть (1) от г. Вторая (или сильная) теорема Сегё^[1][5] утверждает, что если, кроме того, производная от φ является Гёльдер непрерывный порядка α > 0, то

${ displaystyle lim _ {n to infty} { frac { det T_ {n} ( phi)} {G ^ {n} ( phi)}} = exp left { sum _ {k = 1} ^ { infty} k left | { widehat {( log phi)}} (k) right | ^ {2} right }.}$

использованная литература