Harmonic analysis (mathematics)
   HOME

TheInfoList



OR:

Harmonic analysis is a branch of mathematics concerned with the representation of functions or signals as the superposition of basic
wave In physics, mathematics, and related fields, a wave is a propagating dynamic disturbance (change from equilibrium) of one or more quantities. Waves can be periodic, in which case those quantities oscillate repeatedly about an equilibrium (re ...
s, and the study of and generalization of the notions of Fourier series and Fourier transforms (i.e. an extended form of Fourier analysis). In the past two centuries, it has become a vast subject with applications in areas as diverse as
number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mat ...
,
representation theory Representation theory is a branch of mathematics that studies abstract algebraic structures by ''representing'' their elements as linear transformations of vector spaces, and studies modules over these abstract algebraic structures. In essen ...
,
signal processing Signal processing is an electrical engineering subfield that focuses on analyzing, modifying and synthesizing ''signals'', such as sound, images, and scientific measurements. Signal processing techniques are used to optimize transmissions, ...
,
quantum mechanics Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all quantum physics including quantum chemistr ...
,
tidal analysis The theory of tides is the application of continuum mechanics to interpret and predict the tidal deformations of planetary and satellite bodies and their atmospheres and oceans (especially Earth's oceans) under the gravitational loading of anot ...
and
neuroscience Neuroscience is the scientific study of the nervous system (the brain, spinal cord, and peripheral nervous system), its functions and disorders. It is a multidisciplinary science that combines physiology, anatomy, molecular biology, developme ...
. The term " harmonics" originated as the
Ancient Greek Ancient Greek includes the forms of the Greek language used in ancient Greece and the ancient world from around 1500 BC to 300 BC. It is often roughly divided into the following periods: Mycenaean Greek (), Dark Ages (), the Archaic p ...
word ''harmonikos'', meaning "skilled in music". In physical
eigenvalue In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denoted ...
problems, it began to mean waves whose frequencies are integer multiples of one another, as are the frequencies of the harmonics of music notes, but the term has been generalized beyond its original meaning. The classical Fourier transform on R''n'' is still an area of ongoing research, particularly concerning Fourier transformation on more general objects such as tempered distributions. For instance, if we impose some requirements on a distribution ''f'', we can attempt to translate these requirements in terms of the Fourier transform of ''f''. The
Paley–Wiener theorem In mathematics, a Paley–Wiener theorem is any theorem that relates decay properties of a function or distribution at infinity with analyticity of its Fourier transform. The theorem is named for Raymond Paley (1907–1933) and Norbert Wiener (189 ...
is an example of this. The Paley–Wiener theorem immediately implies that if ''f'' is a nonzero distribution of compact support (these include functions of compact support), then its Fourier transform is never compactly supported (i.e. if a signal is limited in one domain, it is unlimited in the other). This is a very elementary form of an
uncertainty principle In quantum mechanics, the uncertainty principle (also known as Heisenberg's uncertainty principle) is any of a variety of mathematical inequalities asserting a fundamental limit to the accuracy with which the values for certain pairs of physic ...
in a harmonic-analysis setting. Fourier series can be conveniently studied in the context of Hilbert spaces, which provides a connection between harmonic analysis and
functional analysis Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (e.g. inner product, norm, topology, etc.) and the linear functions defined o ...
. There are four versions of the Fourier transform, dependent on the spaces that are mapped by the transformation (discrete/periodic–discrete/periodic:
discrete Fourier transform In mathematics, the discrete Fourier transform (DFT) converts a finite sequence of equally-spaced samples of a function into a same-length sequence of equally-spaced samples of the discrete-time Fourier transform (DTFT), which is a comple ...
, continuous/periodic–discrete/aperiodic: Fourier series, discrete/aperiodic–continuous/periodic: discrete-time Fourier transform, continuous/aperiodic–continuous/aperiodic: Fourier transform).


Abstract harmonic analysis

One of the most modern branches of harmonic analysis, having its roots in the mid-20th century, is
analysis Analysis ( : analyses) is the process of breaking a complex topic or substance into smaller parts in order to gain a better understanding of it. The technique has been applied in the study of mathematics and logic since before Aristotle (3 ...
on
topological group In mathematics, topological groups are logically the combination of groups and topological spaces, i.e. they are groups and topological spaces at the same time, such that the continuity condition for the group operations connects these two st ...
s. The core motivating ideas are the various Fourier transforms, which can be generalized to a transform of
function Function or functionality may refer to: Computing * Function key, a type of key on computer keyboards * Function model, a structured representation of processes in a system * Function object or functor or functionoid, a concept of object-oriente ...
s defined on Hausdorff locally compact topological groups. The theory for abelian
locally compact group In mathematics, a locally compact group is a topological group ''G'' for which the underlying topology is locally compact and Hausdorff. Locally compact groups are important because many examples of groups that arise throughout mathematics are loc ...
s is called
Pontryagin duality In mathematics, Pontryagin duality is a duality (mathematics), duality between locally compact abelian groups that allows generalizing Fourier transform to all such groups, which include the circle group (the multiplicative group of complex numb ...
. Harmonic analysis studies the properties of that duality and Fourier transform and attempts to extend those features to different settings, for instance, to the case of non-abelian Lie groups. For general non-abelian locally compact groups, harmonic analysis is closely related to the theory of unitary group representations. For compact groups, the
Peter–Weyl theorem In mathematics, the Peter–Weyl theorem is a basic result in the theory of harmonic analysis, applying to topological groups that are compact, but are not necessarily abelian. It was initially proved by Hermann Weyl, with his student Fritz Peter, ...
explains how one may get harmonics by choosing one irreducible representation out of each equivalence class of representations. This choice of harmonics enjoys some of the useful properties of the classical Fourier transform in terms of carrying convolutions to pointwise products, or otherwise showing a certain understanding of the underlying
group A group is a number of persons or things that are located, gathered, or classed together. Groups of people * Cultural group, a group whose members share the same cultural identity * Ethnic group, a group whose members share the same ethnic ide ...
structure. See also:
Non-commutative harmonic analysis In mathematics, noncommutative harmonic analysis is the field in which results from Fourier analysis are extended to topological groups that are not commutative. Since locally compact abelian groups have a well-understood theory, Pontryagin dualit ...
. If the group is neither abelian nor compact, no general satisfactory theory is currently known ("satisfactory" means at least as strong as the
Plancherel theorem In mathematics, the Plancherel theorem (sometimes called the Parseval–Plancherel identity) is a result in harmonic analysis, proven by Michel Plancherel in 1910. It states that the integral of a function's squared modulus is equal to the integ ...
). However, many specific cases have been analyzed, for example SL''n''. In this case,
representations ''Representations'' is an interdisciplinary journal in the humanities published quarterly by the University of California Press. The journal was established in 1983 and is the founding publication of the New Historicism movement of the 1980s. It ...
in infinite
dimensions In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coordin ...
play a crucial role.


Other branches

*Study of the
eigenvalue In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denoted ...
s and
eigenvector In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denoted ...
s of the Laplacian on domains, manifolds, and (to a lesser extent)
graph Graph may refer to: Mathematics *Graph (discrete mathematics), a structure made of vertices and edges **Graph theory, the study of such graphs and their properties *Graph (topology), a topological space resembling a graph in the sense of discre ...
s is also considered a branch of harmonic analysis. See e.g.,
hearing the shape of a drum To hear the shape of a drum is to infer information about the shape of the drumhead from the sound it makes, i.e., from the list of overtones, via the use of mathematical theory. "Can One Hear the Shape of a Drum?" is the title of a 1966 articl ...
. * Harmonic analysis on Euclidean spaces deals with properties of the Fourier transform on R''n'' that have no analog on general groups. For example, the fact that the Fourier transform is rotation-invariant. Decomposing the Fourier transform into its radial and spherical components leads to topics such as
Bessel function Bessel functions, first defined by the mathematician Daniel Bernoulli and then generalized by Friedrich Bessel, are canonical solutions of Bessel's differential equation x^2 \frac + x \frac + \left(x^2 - \alpha^2 \right)y = 0 for an arbitrar ...
s and
spherical harmonic In mathematics and physical science, spherical harmonics are special functions defined on the surface of a sphere. They are often employed in solving partial differential equations in many scientific fields. Since the spherical harmonics form ...
s. * Harmonic analysis on tube domains is concerned with generalizing properties of
Hardy space In complex analysis, the Hardy spaces (or Hardy classes) ''Hp'' are certain spaces of holomorphic functions on the unit disk or upper half plane. They were introduced by Frigyes Riesz , who named them after G. H. Hardy, because of the paper . I ...
s to higher dimensions.


Applied harmonic analysis

Many applications of harmonic analysis in science and engineering begin with the idea or hypothesis that a phenomenon or signal is composed of a sum of individual oscillatory components. Ocean
tide Tides are the rise and fall of sea levels caused by the combined effects of the gravitational forces exerted by the Moon (and to a much lesser extent, the Sun) and are also caused by the Earth and Moon orbiting one another. Tide tables ...
s and vibrating strings are common and simple examples. The theoretical approach is often to try to describe the system by a
differential equation In mathematics, a differential equation is an equation that relates one or more unknown functions and their derivatives. In applications, the functions generally represent physical quantities, the derivatives represent their rates of change, an ...
or system of equations to predict the essential features, including the amplitude, frequency, and phases of the oscillatory components. The specific equations depend on the field, but theories generally try to select equations that represent major principles that are applicable. The experimental approach is usually to acquire data that accurately quantifies the phenomenon. For example, in a study of tides, the experimentalist would acquire samples of water depth as a function of time at closely enough spaced intervals to see each oscillation and over a long enough duration that multiple oscillatory periods are likely included. In a study on vibrating strings, it is common for the experimentalist to acquire a sound waveform sampled at a rate at least twice that of the highest frequency expected and for a duration many times the period of the lowest frequency expected. For example, the top signal at the right is a sound waveform of a bass guitar playing an open string corresponding to an A note with a fundamental frequency of 55 Hz. The waveform appears oscillatory, but it is more complex than a simple sine wave, indicating the presence of additional waves. The different wave components contributing to the sound can be revealed by applying a mathematical analysis technique known as the Fourier transform, the result of which is shown in the lower figure. Note that there is a prominent peak at 55 Hz, but that there are other peaks at 110 Hz, 165 Hz, and at other frequencies corresponding to integer multiples of 55 Hz. In this case, 55 Hz is identified as the fundamental frequency of the string vibration, and the integer multiples are known as harmonics.


See also

*
Convergence of Fourier series In mathematics, the question of whether the Fourier series of a periodic function converges to a given function is researched by a field known as classical harmonic analysis, a branch of pure mathematics. Convergence is not necessarily given in th ...
* Fourier analysis for computing periodicity in evenly spaced data * Harmonic (mathematics) *
Least-squares spectral analysis Least-squares spectral analysis (LSSA) is a method of estimating a frequency spectrum, based on a least squares fit of sinusoids to data samples, similar to Fourier analysis. Fourier analysis, the most used spectral method in science, generally ...
for computing periodicity in unevenly spaced data * Spectral density estimation *
Tate's thesis In number theory, Tate's thesis is the 1950 PhD thesis of completed under the supervision of Emil Artin at Princeton University. In it, Tate used a translation invariant integration on the locally compact group of ideles to lift the zeta function ...


References


Bibliography

*
Elias Stein Elias Menachem Stein (January 13, 1931 – December 23, 2018) was an American mathematician who was a leading figure in the field of harmonic analysis. He was the Albert Baldwin Dod Professor of Mathematics, Emeritus, at Princeton University, whe ...
and
Guido Weiss Guido Leopold Weiss (born 29 December 1928 in Trieste, died 25 December 2021 in St. Louis) was an American mathematician, working in analysis, especially Fourier analysis and harmonic analysis. Childhood Weiss was born in Trieste Italy int ...
, ''Introduction to Fourier Analysis on Euclidean Spaces'',
Princeton University Press Princeton University Press is an independent publisher with close connections to Princeton University. Its mission is to disseminate scholarship within academia and society at large. The press was founded by Whitney Darrow, with the financia ...
, 1971. *
Elias Stein Elias Menachem Stein (January 13, 1931 – December 23, 2018) was an American mathematician who was a leading figure in the field of harmonic analysis. He was the Albert Baldwin Dod Professor of Mathematics, Emeritus, at Princeton University, whe ...
with Timothy S. Murphy, ''Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals'', Princeton University Press, 1993. *
Elias Stein Elias Menachem Stein (January 13, 1931 – December 23, 2018) was an American mathematician who was a leading figure in the field of harmonic analysis. He was the Albert Baldwin Dod Professor of Mathematics, Emeritus, at Princeton University, whe ...
, ''Topics in Harmonic Analysis Related to the Littlewood-Paley Theory'', Princeton University Press, 1970. * Yitzhak Katznelson, ''An introduction to harmonic analysis'', Third edition. Cambridge University Press, 2004. ; 0-521-54359-2 * Terence Tao
Fourier Transform
(Introduces the decomposition of functions into odd + even parts as a harmonic decomposition over ℤ₂.) * Yurii I. Lyubich. ''Introduction to the Theory of Banach Representations of Groups''. Translated from the 1985 Russian-language edition (Kharkov, Ukraine). Birkhäuser Verlag. 1988. * George W. Mackey
Harmonic analysis as the exploitation of symmetry–a historical survey
''Bull. Amer. Math. Soc.'' 3 (1980), 543–698. * M. Bujosa, A. Bujosa and A. Garcıa-Ferrer
Mathematical Framework for Pseudo-Spectra of Linear Stochastic Difference Equations
''IEEE Transactions on Signal Processing'' vol. 63 (2015), 6498-6509.


External links

{{Authority control Acoustics Musical terminology