Extremal problems in BMO and VMO involving the Garsia norm
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866929708220809216 |
|---|---|
| author | Dyakonov, Konstantin M. |
| author_facet | Dyakonov, Konstantin M. |
| contents | Given an $L^2$ function $f$ on the unit circle $\mathbb T$, we put $$Φ_f(z):=\mathcal P(|f|^2)(z)-|\mathcal Pf(z)|^2,\qquad z\in\mathbb D,$$ where $\mathbb D$ is the open unit disk and $\mathcal P$ is the Poisson integral operator. The Garsia norm $\|f\|_G$ is then defined as $\sup_{z\in\mathbb D}Φ_f(z)^{1/2}$, and the space ${\rm BMO}$ is formed by the functions $f\in L^2$ with $\|f\|_G<\infty$. If $\|f\|^2_G=Φ_f(z_0)$ for some point $z_0\in\mathbb D$, then $f$ is said to be a norm-attaining ${\rm BMO}$ function, written as $f\in{\rm BMO}_{\rm na}$. Note that ${\rm BMO}_{\rm na}$ contains ${\rm VMO}$, the space of functions with vanishing mean oscillation. We study, first, the functions $f$ in $L^\infty$ (as well as in $L^\infty\cap{\rm BMO}_{\rm na}$) with the property that $\|f\|_G=\|f\|_\infty$. The analytic case, where $L^\infty$ gets replaced by $H^\infty$, is discussed in more detail. Secondly, we prove that every function $f\in{\rm BMO}_{\rm na}$ with $\|f\|_G=1$ is an extreme point of ${\rm ball}\,({\rm BMO})$, the unit ball of ${\rm BMO}$ with respect to the Garsia norm. This implies that the extreme points of ${\rm ball}\,({\rm VMO})$ are precisely the unit-norm ${\rm VMO}$ functions. As another consequence, we arrive at an amusing "geometric" characterization of inner functions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_05565 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Extremal problems in BMO and VMO involving the Garsia norm Dyakonov, Konstantin M. Complex Variables Classical Analysis and ODEs Functional Analysis 30H10, 30H35, 30H50, 30J05, 30J10, 46A55, 46J15 Given an $L^2$ function $f$ on the unit circle $\mathbb T$, we put $$Φ_f(z):=\mathcal P(|f|^2)(z)-|\mathcal Pf(z)|^2,\qquad z\in\mathbb D,$$ where $\mathbb D$ is the open unit disk and $\mathcal P$ is the Poisson integral operator. The Garsia norm $\|f\|_G$ is then defined as $\sup_{z\in\mathbb D}Φ_f(z)^{1/2}$, and the space ${\rm BMO}$ is formed by the functions $f\in L^2$ with $\|f\|_G<\infty$. If $\|f\|^2_G=Φ_f(z_0)$ for some point $z_0\in\mathbb D$, then $f$ is said to be a norm-attaining ${\rm BMO}$ function, written as $f\in{\rm BMO}_{\rm na}$. Note that ${\rm BMO}_{\rm na}$ contains ${\rm VMO}$, the space of functions with vanishing mean oscillation. We study, first, the functions $f$ in $L^\infty$ (as well as in $L^\infty\cap{\rm BMO}_{\rm na}$) with the property that $\|f\|_G=\|f\|_\infty$. The analytic case, where $L^\infty$ gets replaced by $H^\infty$, is discussed in more detail. Secondly, we prove that every function $f\in{\rm BMO}_{\rm na}$ with $\|f\|_G=1$ is an extreme point of ${\rm ball}\,({\rm BMO})$, the unit ball of ${\rm BMO}$ with respect to the Garsia norm. This implies that the extreme points of ${\rm ball}\,({\rm VMO})$ are precisely the unit-norm ${\rm VMO}$ functions. As another consequence, we arrive at an amusing "geometric" characterization of inner functions. |
| title | Extremal problems in BMO and VMO involving the Garsia norm |
| topic | Complex Variables Classical Analysis and ODEs Functional Analysis 30H10, 30H35, 30H50, 30J05, 30J10, 46A55, 46J15 |
| url | https://arxiv.org/abs/2404.05565 |