Coefficients of holomorphic functions defined by Borel probability measures on the unit disc - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T04:55:56Z http://mathoverflow.net/feeds/question/35443 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/35443/coefficients-of-holomorphic-functions-defined-by-borel-probability-measures-on-th Coefficients of holomorphic functions defined by Borel probability measures on the unit disc Leandro 2010-08-13T06:21:59Z 2010-08-16T02:33:11Z <p>Let be $\mathcal M(\partial\mathbb D)$ denote the set of all Borel complex probability measures on $\partial\mathbb D$ (unit circle in the complex plane). Define a mapping $\Phi:\mathcal M(\partial\mathbb D)\to \ell^{\infty}(\mathbb N)$ by $$\Phi(\mu)=(c_0,c_1,\ldots)$$ where $c_k$, are the coefficients of the Taylor expansion (around $z=0$) of the function $$f(z)=\int_{\partial\mathbb D}\frac{1}{1-wz} d\mu(w),$$ <b>Question:</b> Who is the set $\Phi(\mathcal M(\partial\mathbb D))$ ? Given a sequence is there a simple criterion to verify if it belongs to this space?</p> <p><b>Motivation:</b> Let be $A=(a_0,a_1,\ldots)\in\Phi(\mathcal M(\mathbb D))$, $g:U\subset\mathbb C\to \mathbb C$ analytic with $$g(z)=\sum_{k=0}^{\infty}b_kz^k$$ Define $A*g:U\subset\mathbb C\to \mathbb C$ by $$A*h(z)=\sum_{k=0}^{\infty} a_kb_kz^k.$$ The above integral representation, can be used to give a short proof of <code>$$\|A*h\|_{U}\leq \|h\|_{U},$$</code> where <code>$\|g\|_{U}=\sup_{z\in U}|g(z)|$</code>.</p> <p>PS:This question it is a generalization of a question that arose in a discussion at Area 51.</p> <p><b> Edition: </b> I am correcting the question, because in the previous version the integrals could have no meaning. In fact, I was looking for the criterion by a line integral representation.</p> http://mathoverflow.net/questions/35443/coefficients-of-holomorphic-functions-defined-by-borel-probability-measures-on-th/35463#35463 Answer by Zen Harper for Coefficients of holomorphic functions defined by Borel probability measures on the unit disc Zen Harper 2010-08-13T09:52:18Z 2010-08-16T02:33:11Z <p><em><strong>EDIT: this was for a different problem, but it has now been changed; so ignore this!</em></strong></p> <p>Too long for a comment...</p> <p>If the integral is over $D$, then $f'(z)$ is (after changing variable $w$ to $\bar{w}$ in the measure $\mu$) $\frac{d}{dz} \int_D \frac{d\mu(w)}{1-\bar{w}z} = \int_D \frac{\bar{w} \, d\mu(w)}{(1-\bar{w}z)^2} = P_{L^2_a}(\bar{w} \mu),$ which is (formally) the $L^2_a(D)$ Bergman space projection operator applied to the measure $\bar{w} \mu$; but I don't know if this function of $z$ necessarily does lie in $L^2_a$.</p> <p>So it's closely connected to Bergman space Toeplitz operators, which are known to be very tricky (much worse than on the Hardy space). Even worse, there is usually no nice way to characterise various function spaces which arise in terms of Taylor coefficients.</p> <p>So your question really combines <em>two</em> interesting and highly non-trivial problems! I doubt there is any really simple answer.</p> http://mathoverflow.net/questions/35443/coefficients-of-holomorphic-functions-defined-by-borel-probability-measures-on-th/35499#35499 Answer by Piero D'Ancona for Coefficients of holomorphic functions defined by Borel probability measures on the unit disc Piero D'Ancona 2010-08-13T15:03:09Z 2010-08-13T15:25:15Z <p>There's probably something I do not understand about your question, in case just forget my babbling. Anyway let me try: if you expand $$\frac{1}{1-wz}=\sum_{k\ge0}z^kw^k$$ and write $$f(z)=\sum_{k\ge0}z^k\int_{\partial D}w^k d\mu(w)= \sum_{k\ge0}z^k\int_0^{2\pi}e^{ik\theta}d\mu(\theta)$$ you see that the $c_k$ are the Fourier coefficients of positive order of the measure $\mu$. Now I would not go too far and say that any bounded sequence may apply, but this is well documented in several places (see e.g. the <a href="http://en.wikipedia.org/wiki/Trigonometric_moment_problem" rel="nofollow">trigonometric moment problem</a>).</p> <p>EDIT: and maybe <a href="https://facultystaff.richmond.edu/~wross/PDF/cauchy.pdf" rel="nofollow">this</a> is a good starting point.</p>