In mathematics and control theory, H2, or H-square is a Hardy space with square norm. It is a subspace of L2 space, and is thus a Hilbert space. In particular, it is a reproducing kernel Hilbert space.
In general, elements of L2 on the unit circle are given by
infty | |
\sum | |
n=-infty |
anein\varphi
whereas elements of H2 are given by
infty | |
\sum | |
n=0 |
anein\varphi.
The projection from L2 to H2 (by setting an = 0 when n < 0) is orthogonal.
l{L}
infty | |
[l{L}f](s)=\int | |
0 |
e-stf(t)dt
can be understood as a linear operator
l{L}:L2(0,infty)\toH2\left(C+\right)
where
L2(0,infty)
C+
\|l{L}f\| | |
H2 |
=\sqrt{2\pi}
\|f\| | |
L2 |
.
The Laplace transform is "half" of a Fourier transform; from the decomposition
L2(R)=L2(-infty,0) ⊕ L2(0,infty)
one then obtains an orthogonal decomposition of
L2(R)
L2(R)= H2\left(C-\right) ⊕ H2\left(C+\right).
This is essentially the Paley-Wiener theorem.