De Branges space

In mathematics, a de Branges space (sometimes written De Branges space) is a concept in functional analysis and is constructed from a de Branges function.

The concept is named after Louis de Branges who proved numerous results regarding these spaces, especially as Hilbert spaces, and used those results to prove the Bieberbach conjecture.

De Branges functions

A Hermite-Biehler function, also known as de Branges function is an entire function E from $ℂ$ to $ℂ$ that satisfies the inequality $|E(z)|>|E(\overline{z})|$, for all z in the upper half of the complex plane ${ℂ}^{+}=\{z\in ℂ\mid \mathrm{Im}(z)>0\}$.

Definition 1

Given a Hermite-Biehler function Template:Math, the de Branges space Template:Math is defined as the set of all entire functions F such that $$F/E,F^{\mathrm{\#}}/E\in H_2({ℂ}^{+})$$ where:

• ${ℂ}^{+}=\{z\in ℂ\mid \mathrm{Im}(z)>0\}$ is the open upper half of the complex plane.
• $F^{\mathrm{\#}}(z)=\overline{F(\overline{z})}$.
• $H_2({ℂ}^{+})$ is the usual Hardy space on the open upper half plane.

Definition 2

A de Branges space can also be defined as all entire functions Template:Math satisfying all of the following conditions:

• $\underset{ℝ}{\int }|(F/E)(\lambda ){|}^{2}d\lambda <\mathrm{\infty }$
• $|(F/E)(z)|,|(F^{\mathrm{\#}}/E)(z)|\le C_F(\mathrm{Im}(z){)}^{(-1/2)},\mathrm{\forall }z\in {ℂ}^{+}$

Definition 3

There exists also an axiomatic description, useful in operator theory.

As Hilbert spaces

Given a de Branges space Template:Math. Define the scalar product: $$[F,G]=\frac{1}{\pi }\underset{ℝ}{\int }\overline{F(\lambda )}G(\lambda )\frac{d\lambda }{|E(\lambda ){|}^2}.$$

A de Branges space with such a scalar product can be proven to be a Hilbert space.

References

• Template:Cite journal