Let $\Omega\subset\mathbb{C}^n$ be any $C^{\infty}$ bounded domain and let $H^2(\partial\Omega)$ denotes a Holomorphicholomorphic Hardy space which is a $L^2(\partial\Omega)$ closure of $A^{\infty}(\Omega)(=\mathscr{O}(\Omega)\cap C^{\infty}(\overline{\Omega})).$ Because $H^2(\partial\Omega)$ is a closed subspace of $L^2(\partial\Omega)$ there exists a countable dense subset {$\phi_j$} where $ j\in\mathbb{N}$ such that $$ f=\sum_{j=1}^{\infty}\langle f,\phi_j\rangle\phi_j\qquad \forall f\in H^2(\partial\Omega) $$ My Question: can we choose $ \forall j\in\mathbb{N},\;\; \phi_j\in A^{\infty}(\Omega)?$
Minor Formatting and Math Jaxing (used $\langle$ and $\rangle$ instead of $<$ and $>$)
Daniele Tampieri
- 6.4k
- 7
- 30
- 45