Denote by $L^{2}(D,(1-|z|^{2})^{a-1}|z|^{2b-2}dx dy)$ the set of square integrable functions on the complex disc $D= \lbrace z \in C, \; |z| <1 \rbrace$ with respect to the measure $(1-|z|^{2})^{a-1}|z|^{2b-2}dx dy$, where $z=x+iy$ and $a > 0$ and $b > 0$. Now let $f \in L^{2}(D,(1-|z|^{2})^{a-1}|z|^{2b-2}dx dy)$, i.e $$\int_{D}|f(z)|^{2}(1-|z|^{2})^{a-1}|z|^{2b-2}dx dy < + \infty$$ My goal is to find out a dense subspace $\Xi$ of $L^{2}(D,(1-|z|^{2})^{a-1}|z|^{2b-2}dx dy)$, such that the element $g \in \Xi$, satisfies the convergence the following serie: $$\sum_{n=0}^{+ \infty} n^{2a+r} \int_{D}|g(z)|^{2}|z|^{2n+2b-2}(1-|z|^{2})^{a-1} dxdy < + \infty \mbox{ where } r > 0$$ I have tried many times to solve that problem but it didn't got results. I have took the following set: $$\Xi'=\lbrace g \; entire function/ \sup_{z \in D}|g(z)|(1-|z|^{2})^{-a} < + \infty \rbrace$$ I have found out on $\Xi'$ the convergence of the serie above for $a > r+1$, but i didn't found that $\Xi'$ is a dense subspace of $L^{2}(D,|z|^{2b-2}(1-|z|^{2})^{a-1}dxdy)$ I want other informations than the compact set of D where on outside of D g=0. Because also on that case i have found that the series is convergent. I want a construction of the set $\Xi$ just like to majorate g with some function which verifies the density without using the compact support on the disc
$\begingroup$
$\endgroup$
4
-
1$\begingroup$ You can take the space of compactly supported functions. If $g=0$ for $|z|>r$, then the integrals decay like at least $r^{2n}$, so your series converges. $\endgroup$– Christian RemlingCommented Jun 16, 2022 at 15:58
-
$\begingroup$ I don't want to work with the compact support of the disc D, i have already verified that. I want other sets $\endgroup$– Assinisa HamidataCommented Jun 16, 2022 at 17:07
-
$\begingroup$ This works too with any sufficiently rapidly decaying bound such as $|g(z)|\lesssim e^{-c/(1-|z|)}$. $\endgroup$– Christian RemlingCommented Jun 16, 2022 at 18:09
-
$\begingroup$ But is it a dense subspace? The condition $|g(z)| \leq e^{-c/1-|z|}$ and what is c is it strictly positive? $\endgroup$– Assinisa HamidataCommented Jun 16, 2022 at 18:50
Add a comment
|