OpenStax-CNX module: m12931 1

Teoremas de Plancharel y Parseval ∗

Justin Romberg

Translated By:

Fara Meza

Erika Jackson

†
Based on Plancharel and Parseval's Theorems by

Justin Romberg

This work is produced by OpenStax-CNX and licensed under the

Creative Commons Attribution License 2.0‡

Abstract
Este modulo contiene la denición del teorema de Plancharel y del teorema de Parseval con sus
demostraciones y ejemplos.

1 Teorema de Plancharel
Theorem 1: Teorema de Plancharel
El producto interno de dos vectores/señales es el mismo que en `2 el producto interno de su
expansión de coecientes.
Sea {bi } una base ortonormal para un Espacio de Hilbert H . x ∈ H , y ∈ H
X
x= αi bi
i

X
y= β i bi
i

entonces X
< x, y >H = αi βi
i

∗ Version 1.1: Jul 25, 2005 1:12 pm +0000

† http://cnx.org/content/m10769/2.4/
‡ http://creativecommons.org/licenses/by/2.0/

http://cnx.org/content/m12931/1.1/
OpenStax-CNX module: m12931 2

Example
Aplicando las Series de Fourier, podemos ir de f (t) a {cn } y de g (t) a {dn }
Z T ∞
X
f (t) g (t)dt = cn dn
0 n=−∞

el producto interno en el dominio-tiempo = producto interno de los coeentes de Fourier.

Proof:
X
x= αi bi
i
X
y= β j bj
j
 
X X X X X X X
< x, y >H =< αi bi , βj bj >= αi < bi , βj bj  >= αi βj < (bi , bj ) >= αi βi
i j i j i j i

usando las reglas del producto interno1 .

note: < bi , bj >= 0 cuando i 6= j y < bi , bj >= 1 cuando i = j

Si el espacio de Hillbert H tiene un ONB, los productos internos son equivalentes a los productos
internos en `2 .
Todo H con ONB son de alguna manera equivalente a `2 .
note: las secuencias de cuadrados sumables son importantes.

2 Teorema de Parseval
Theorem 2: Teorema de Parseval
La energía de una señal = suma de los cuadrados de su expansión de coecientes.
Sea x ∈ H , {bi } ONB
X
x= αi bi
i

Entonces X
2 2
(k x kH ) = (|αi |)
i

Proof:
Directamente de Plancharel
2
X X 2
(k x kH ) = < x, x >H = αi αi = (|αi |)
i i

1 "Producto Interno" <http://cnx.org/content/m12876/latest/#list_rules>

http://cnx.org/content/m12931/1.1/
OpenStax-CNX module: m12931 3

Example
Series de Fourier √1 eiw0 nt
T
1 X 1
f (t) = √ cn √ eiw0 nt
T n T
Z T ∞
X
2 2
(|f (t) |) dt = (|cn |)
0 n=−∞

http://cnx.org/content/m12931/1.1/