Парсевалова теорема

Шаблон:Сређивање У математици, Парсевалова теорема обично се односи на резултат да је Фуријеова трансформација унитарна ; односно, да је сума (или интеграл) квадрата функције једнака збиру (или интегралу) квадрата његове трансформације. Она потиче из теореме из 1799. године о серијама Марка-Антоана Парсевала, која је касније примењена на Фуријеов ред . Позната је и као Рајлехова енергетска теорема, или Рајлехов идентитет, након Џона Вилијама Страта, лорда Рајлеха.

Иако се термин „Парсевалова теорема“ често користи за описивање унитарности било које Фуријеове трансформације, посебно у физици, најчешћи облик овог својства се правилније назива Планшерелова теорема .

Доказ Парсевалове теореме

Претпоставимо да су $A(x)$ и $B(x)$ две квадратне интеграбилне (у погледу Лебегове мере), функције сложене вредности на $ℝ$ периоде $2\pi$ са Фуријеовим редом

$A(x)=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{a}_n{e}^{inx}$

и

$B(x)=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{b}_n{e}^{inx}$

респективно. Онда

где

$i$

је имагинарна јединица, а хоризонталне цртице означавају сложену конјугацију .

Више уопштено, дата као абелова локална компактна група G са дуалношћу по Понтрагјину G^, Парсевалова теорема каже да Понтрагјин-Фуријеова трансформација јесте унитарни оператер између Хилбертових простора L² (G) и L² (G^) (с интеграција је против одговарајуће умањене Харове мере на две групе.) Када је G јединични круг Т, G^ су цели бројеви и то је случај који је горе разматран. Када је G права линија $ℝ$, G^ је такође $ℝ$ а унитарна трансформација је Фуријеова трансформација на стварној линији. Када је G циклична група Z_n, поново је самодуална, а Понтрагјин-Фоуријева трансформација је оно што се у примењеним контекстима назива дискретном Фуријевом трансформацијом .

Парсевалова теорема се такође може изразити на следећи начин: Претпоставимо да је $f(x)$ квадратна интеграбилна функција $[-\pi ,\pi ]$ (тј. $f(x)$ и $f^2(x)$ су интегрисани на том интервалу), са Фуријеовим редом

$f(x)\simeq \frac{a_0}{2}+\sum _{n=1}^{\mathrm{\infty }}(a_n\cos (nx)+b_n\sin (nx)).$

Тада

$\frac{1}{\pi }\underset{-\pi }{\overset{\pi }{\int }}{f}^2(x)\mathrm{d}x=\frac{a_0^2}{2}+\sum _{n=1}^{\mathrm{\infty }}(a_n^2+b_n^2).$

Нотација коришћена у физици

У физици и инжењерству, Парсевалова теорема се често пише као:

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}|x(t){|}^2\mathrm{d}t=\frac{1}{2\pi }\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}|X(\omega ){|}^2\mathrm{d}\omega =\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}|X(2\pi f){|}^2\mathrm{d}f$

где $X(\omega )={ℱ}_{\omega }\{x(t)\}$ представља континуирану Фуријеову трансформацију (у нормализованом, унитарном облику) од $x(t)$, а $\omega =2\pi f$ је фреквенција у радијанима у секунди.

Тумачење овог облика теореме је да се укупна енергија сигнала може израчунати сабирањем снаге по узорку током времена или спектралне снаге по фреквенцији.

За дискретне временске сигнале, теорема постаје:

$\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}|x[n]{|}^2=\frac{1}{2\pi }\underset{-\pi }{\overset{\pi }{\int }}|X_{2\pi }(\varphi ){|}^2\mathrm{d}\varphi$

где $X_{2\pi }$ јесте дискретна Фуријеова трансформација (ДТФТ) од $x$ и $\varphi$ представља угаону фреквенцију (у радијанима по узорку) од $x$ .

Алтернативно, за дискретну Фуријеову трансформацију (ДФТ), однос постаје:

$\sum _{n=0}^{N-1}|x[n]{|}^2=\frac{1}{N}\sum _{k=0}^{N-1}|X[k]{|}^2$

где $X[k]$ јесте ДФТ од $x[n]$, обе дужине $N$ .

Види још

Парсевалова теорема уско је повезана са осталим математичким резултатима који укључују унитарне трансформације:

• Парсевалов идентитет
• Планшерелова теорема
• Теорема Вајнер – Хинчин
• Беселова неједнакост

Референце

• Парсевал, МацТутор архива историје математике .
• Георге Б. Арфкен и Ханс Ј. Вебер, Математичке методе за физичаре (Харцоурт: Сан Диего, 2001).
• Хуберт Кеннеди, Осам математичких биографија (Перемптори Публицатионс: Сан Францисцо, 2002).
• Алан В. Оппенхеим и Роналд В. Сцхафер, 2. издање дискретне обраде сигнала (Прентице Халл: Уппер Саддле Ривер, Њ, 1999) стр. 60.
• Виллиам МцЦ. Сиеберт, Цирцуитс, Сигналс, анд Системс (МИТ Пресс: Цамбридге, МА, 1986), стр. 410–411.
• Давид В. Каммлер, Први курс у Фоуриеровој анализи (Прентице-Халл, Инц., Река Горње седло, Њ, 2000) стр. 74.

Спољашње везе

• Парсевалова теорема на МетВорлд