MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

[EDIT by YC: the original question's title asked about a basis for the Hardy space on the disk. It is clear from the actual question that what was meant was the Bergman space.]

In arXiv:0310.5297, Yuval Peres and Balin Virag study the roots of random power series, $f(z) = \sum a_n z^n$ (where the $a_n$ are Gaussian with mean 0 and variance 1) and show that correlations of the roots are determined by the Bergman kernel $$ \rho(z_1, \dots, z_n) = \frac{1}{\pi^n} \det\left[ \frac{1}{1 - z_i \overline{z_j}} \right]_{i,j}$$ According to Wikipedia, the Bergman kernel is the projection operator from $L^2(\mathbb{D})$ to the Bergman space $A^2(\mathbb{D})$ of $L^2$ holomorphic functions on the unit disk. What is the basis for such a space of functions?

share|cite|improve this question
I don't think you mean to say Hardy space. Hardy space is the space of holomorphic functions whose boundary values are square-integrable on the circle. What you are considering, I think is the Bergman space of the disk. By integrating in polar co-ordinates it is easy to see that the monomials are pairwise orthogonal (where the inner product is that of $L^2(D)$) and so one now just needs to normalize appropriately. – Yemon Choi Jun 19 '11 at 1:45
By the way, what do you mean by "countable basis"? I assume that you are after an orthonormal basis for the Bergman space, but you should probably take note that there is a more general notion of (Schauder) basis for Banach spaces. Note also that the set of reproducing kernel functions for the Bergman space does not form a basis, uncountable or otherwise, in this sense. – Yemon Choi Jun 19 '11 at 4:55
John Mangual: it seems you are extremely confused about the basic definitions of the Hardy space, Bergman space, and Bergman kernel. The Bergman space, not the Hardy space, is what is relevant for the Bergman kernel; the $\rho$ you've written down is not the Bergman kernel; and the Bergman kernel is a function, not a projection operator. An orthogonal basis for the Hardy space $H^2$ or the Bergman space $L^2_a$ is very easy: just take $\{1, z, z^2, \ldots\}$ and normalise if you wish. – Zen Harper Jun 20 '11 at 1:04
I suggest you read the following books for a good introduction: Kehe Zhu, Operator Theory on Function Spaces (both Hardy and Bergman spaces); and P. Koosis, Introduction to $H_p$ spaces; P. Duren, Theory of $H^p$ spaces for the Hardy spaces, etc. There is a more recent book (a yellow Springer grad. text) by Hedenmalm, Korenblum, Zhu, Theory of Bergman spaces, which I haven't read but is probably very good. – Zen Harper Jun 20 '11 at 1:09
you are right the monomials are orthogonal. why don't you post an answer for credit! – john mangual Aug 22 '11 at 4:33
up vote 6 down vote accepted

Assuming that we normalize so that the area of the unit disc is $\pi$, take $f_n(z) = \sqrt{\frac{n+1}{\pi}} z^n$ for $n=0,1,2,\dots$ to get an orthonormal basis.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.