Parseval's theorem

E624505

mathematical theorem result in Fourier analysis

Parseval's theorem is a fundamental result in Fourier analysis that equates the total energy of a function in the time (or spatial) domain with the total energy of its representation in the frequency domain.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (2)

Label	Occurrences
Parseval theorem	2
Parseval's theorem canonical	1

Statements (45)

Predicate	Object
instanceOf	mathematical theorem ⓘ result in Fourier analysis ⓘ
appliesTo	L2(-π,π) ⓘ L2(R) ⓘ square-integrable functions ⓘ
assumes	existence of Fourier representation ⓘ square-integrability of the function ⓘ
category	theorems in functional analysis ⓘ theorems in harmonic analysis ⓘ theorems in real analysis ⓘ
coreIdea	conservation of L2 norm under Fourier transform ⓘ equality of energy in time and frequency domains ⓘ
field	Fourier analysis NERFINISHED ⓘ applied mathematics ⓘ functional analysis ⓘ harmonic analysis ⓘ signal processing ⓘ
generalizedBy	Plancherel's theorem NERFINISHED ⓘ
historicalPeriod	19th century mathematics ⓘ
holdsIn	Hilbert spaces with orthonormal basis ⓘ
implies	Fourier transform is an isometry on L2 NERFINISHED ⓘ
isSpecialCaseOf	Plancherel's theorem NERFINISHED ⓘ
mathematicalFormulation	integral of \|f(x)\|^2 equals integral of \|F(ω)\|^2 up to normalization ⓘ sum of squares of Fourier coefficients equals L2 norm squared of function ⓘ
namedAfter	Marc-Antoine Parseval NERFINISHED ⓘ
relatedTo	Bessel's inequality NERFINISHED ⓘ orthogonality of trigonometric system ⓘ unitary operators ⓘ
relatesConcept	Fourier series NERFINISHED ⓘ Fourier transform NERFINISHED ⓘ L2 space ⓘ energy of a function ⓘ frequency domain ⓘ orthonormal basis ⓘ time domain ⓘ
usedFor	computing mean-square error in approximations ⓘ energy conservation checks in numerical algorithms ⓘ proving convergence properties of Fourier series ⓘ
usedIn	communications engineering ⓘ filter design ⓘ image processing ⓘ quantum mechanics ⓘ signal energy computation ⓘ spectral analysis ⓘ vibration analysis ⓘ

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Wiener–Khinchin theorem → relatedTo → Parseval's theorem ⓘ

Cauchy–Schwarz inequality → relatedTo → Parseval's theorem ⓘ

this entity surface form: Parseval theorem

Riesz–Fischer theorem → relatedTo → Parseval's theorem ⓘ

this entity surface form: Parseval theorem