# Significance and motivation for outer functions

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 $$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$$.

The definition of a outer function seems so involved. Can anyone tell what led to defining outer functions as such? What would be the motivation behind remembering such a definition?

I know that outer functions in a Hardy space are important, for example if we consider the canonical factorization of an element of a Hardy space. Can anyone mention some other major utility of outer functions?

• I am not a specialist, but one basic point is that the inner-outer factorization is important, and the definition of inner functions is quite natural. One then wants a description of the "non-inner part" which is as explicit as possible, and it happens that the Herglotz formula gives you such a description, which is essentially (IIRC) what you have written as the formula for an outer function – Yemon Choi Aug 18 '19 at 13:23

Outer functions are important first of all in connection with the so-called inner-outer factorization. This is the factorization of an arbitrary bounded function $$f$$ as: $$f=BGH,$$ where $$B$$ is a Blaschke product, $$G$$ is an inner function and $$H$$ is outer. So the inner function stands inside, surrounded by $$B$$ and $$H$$, but $$B$$ already had a name when this was introduced:-) Many authors call the product $$BG$$ an inner function, not separating the Blaschke product. So they were definitely introduced together with inner functions, and this partially justifies the terminology. I believe that this was by Beurling in his seminal paper on the invariant subspaces of the shift operator. However the representation itself is much older, it is also called Herglotz representation. The paper by Beurling shows the importance of such factorization. Of course inner functions are at least as important as outer ones.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 22, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9897128939628601, "perplexity": 1284.3237127966436}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2020-16/segments/1585370506870.41/warc/CC-MAIN-20200402080824-20200402110824-00174.warc.gz"}