Формула Парсеваля – Гутцмера - Parseval–Gutzmer formula - Wikipedia
В математике Формула Парсеваля – Гутцмера заявляет, что если
является аналитическая функция на закрытый диск радиуса р с Серия Тейлор
![{ displaystyle f (z) = sum _ {k = 0} ^ { infty} a_ {k} z ^ {k},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/372f324efd09e4b5152c355949d7fdfb31419178)
тогда для z = повторноiθ на границе диска,
![{ displaystyle int _ {0} ^ {2 pi} | f (re ^ {i theta}) | ^ {2} , mathrm {d} theta = 2 pi sum _ {k = 0} ^ { infty} | a_ {k} | ^ {2} r ^ {2k},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3336cf64781193d57a670cfc7845668b26fc9d5a)
который также может быть записан как
![{ displaystyle { frac {1} {2 pi}} int _ {0} ^ {2 pi} | f (re ^ {i theta}) | ^ {2} , mathrm {d} theta = sum _ {k = 0} ^ { infty} | a_ {k} r ^ {k} | ^ {2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/29ce141ae62a904a30fe5da00c1e78b84445a85d)
Доказательство
Формула интеграла Коши для коэффициентов утверждает, что для вышеуказанных условий:
![{ displaystyle a_ {n} = { frac {1} {2 pi i}} int _ { gamma} ^ {} { frac {f (z)} {z ^ {n + 1}}} , mathrm {d} z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/600470bf379b545e20de8eeb978030358a157206)
куда γ определяется как круговой путь вокруг начала радиуса р. Также для
у нас есть:
Применяя оба этих факта к проблеме, начиная со второго факта:
![{ displaystyle { begin {align} int _ {0} ^ {2 pi} left | f left (re ^ {i theta} right) right | ^ {2} , mathrm { d} theta & = int _ {0} ^ {2 pi} f left (re ^ {i theta} right) { overline {f left (re ^ {i theta} right) }} , mathrm {d} theta [6pt] & = int _ {0} ^ {2 pi} f left (re ^ {i theta} right) left ( sum _ {k = 0} ^ { infty} { overline {a_ {k} left (re ^ {i theta} right) ^ {k}}} right) , mathrm {d} theta && { text {Использование разложения Тейлора для сопряженного}} [6pt] & = int _ {0} ^ {2 pi} f left (re ^ {i theta} right) left ( sum _ {k = 0} ^ { infty} { overline {a_ {k}}} left (re ^ {- i theta} right) ^ {k} right) , mathrm {d} theta [6pt] & = sum _ {k = 0} ^ { infty} int _ {0} ^ {2 pi} f left (re ^ {i theta} right) { overline {a_ {k}}} left (re ^ {- i theta} right) ^ {k} , mathrm {d} theta && { text {Равномерная сходимость рядов Тейлора}} [6pt ] & = sum _ {k = 0} ^ { infty} left (2 pi { overline {a_ {k}}} r ^ {2k} right) left ({ frac {1} { 2 { pi} i}} int _ {0} ^ {2 pi} { frac {f left (re ^ {i theta} right)} {(re ^ {i theta}) ^ {k + 1}}} {rie ^ {i theta}} right) mathrm {d} theta & = sum _ {k = 0} ^ { infty} left (2 pi { overline {a_ {k}}} r ^ {2k} right) a_ {k} && { text {Применение интеграла Коши Формула}} & = {2 pi} sum _ {k = 0} ^ { infty} {| a_ {k} | ^ {2} r ^ {2k}} end {выравнивается}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4226b99415ef1d1ce74760cd96c184e0ddd44b91)
Дальнейшие приложения
Используя эту формулу, можно показать, что
![{ Displaystyle сумма _ {к = 0} ^ { infty} | a_ {k} | ^ {2} r ^ {2k} leqslant M_ {r} ^ {2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/976957e3a62387d4c1e7a6ec1b6e9b96ff493076)
куда
![{ Displaystyle M_ {r} = sup {| f (z) |: | z | = r }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68aa8d684701007c01221d4a701d3e6a6a81a3ff)
Это делается с помощью интеграла
![{ displaystyle int _ {0} ^ {2 pi} left | f left (re ^ {i theta} right) right | ^ {2} , mathrm {d} theta leqslant 2 pi left | max _ { theta in [0,2 pi)} left (f left (re ^ {i theta} right) right) right | ^ {2} = 2 pi left | max _ {| z | = r} (f (z)) right | ^ {2} = 2 pi M_ {r} ^ {2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61d7493e06f35cf83c0cd8f98af73c3db67275f8)
Рекомендации