2
$\begingroup$

Let $\mathbb{D}$ and $\mathbb{T}$ denote the open unit disk and unit circle in $\mathbb{C}$ respectively. We write $Hol(\mathbb{D})$ for the space of all holomorphic functions on $\mathbb{D}.$ The Hardy spaces on $\mathbb{D}$ are defined as: $$H^{p}:= \left\{ f\in Hol\left( \mathbb{D}\right) :\sup _{r < 1}\int ^{2\pi }_{0}\left| f\left( re^{i\theta}\right) \right| ^{p}d\theta < \infty \right\} \;\;\;\;(0<p<\infty), $$ $$H^{\infty }:= \left\{ f\in Hol\left( \mathbb{D}\right) :\sup_{z\in D}\left| f\left( z\right) \right| < \infty \right\}.$$ A function $g\in H^p(\mathbb{D})$ is outer if there exists a function $G:\mathbb{T}\longrightarrow [0,\infty)$ with $G\in L^1(\mathbb{T})$ such that $$g\left( z\right) =\alpha \text{exp}\left( \int ^{2\pi }_{0}\dfrac {e^{i\theta }+z}{e^{i\theta }-z}G\left( e^{i\theta }\right) \dfrac {d\theta }{2\pi }\right) \qquad(z\in \mathbb{D})$$ and $|\alpha|=1$.

Is it true that any outer function can be written as the quotient of two bounded outer functions? If yes, then how? Also if $f\in H^p$ is outer, then is $\frac{1}{f}$ outer?

$\endgroup$
1
  • $\begingroup$ I dont think reciprocal of a outer function in $H^p$ is outer, because the reciprocal of $\alpha e^{\int_0^{2\pi}\frac{e^{i\theta}+z}{e^{i\theta}-z}}G(ie^{i\theta})\frac{d\theta}{2\pi}$ may not be bounded $\endgroup$
    – vidyarthi
    Aug 19, 2019 at 11:08

1 Answer 1

1
$\begingroup$

Your defintion is not quite correct as an outer function in $H^p$ is:

$f(z)= e^{i\theta}\exp\left( \int ^{2\pi }_{0}\dfrac {e^{i\theta }+z}{e^{i\theta }-z}\log G\left( e^{i\theta }\right) \dfrac {d\theta }{2\pi }\right) \qquad(z\in \mathbb{D})$, where $G \ge 0, G \in L^p, \log G \in L^1$

Then both questions are easily shown to be true:

For the first let $\log G = \log^+ G - \log^{-}G$ the standard decomposition of $\log G$ in positive and negative parts; then obviously both:

$f_{\pm}(z)=\exp(-\left( \int ^{2\pi }_{0}\dfrac {e^{i\theta }+z}{e^{i\theta }-z}\log^{\pm} G\left( e^{i\theta }\right) \dfrac {d\theta }{2\pi }\right) \qquad(z\in \mathbb{D}))$ are bounded by $1$

and $f= \frac{f_{-}}{f_+}$, while trivially $ \frac{1}{f}= \frac{f_{+}}{f_{-}}$ corresponding to $\frac{1}{G}$ which is outer in the restricted Nevalinna space (it may not be in $H^q$ for any $q >0$ though)

$\endgroup$
3
  • $\begingroup$ Can you tell how $f_+$ and $f_-$ are bounded by 1? $\endgroup$
    – user31459
    Aug 20, 2019 at 1:44
  • $\begingroup$ corrected the typos (the minus obviously has to be in the exponent), so now everything should be clear since the real parts of the exponent in both $f_{\pm}$ are negative as the real parts of the integrands are $\ge 0$ since the Poisson Kernel (the real part of $\frac{e^{i\theta} +z}{e^{i\theta} -z}$) and $\log^{\pm} G$ are non-negative $\endgroup$
    – Conrad
    Aug 20, 2019 at 10:27
  • $\begingroup$ @Conrad Yes. Thank you! $\endgroup$
    – user510271
    Aug 20, 2019 at 10:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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