No label defined (Q4948082)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1428714
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1428714 |
Statements
12 April 2000
0 references
Besov space
0 references
0.90915084
0 references
0.90438133
0 references
0.89853954
0 references
0.8974354
0 references
0.8971704
0 references
0.89243853
0 references
Let \(f\) be a function analytic in the unit disk \(D\). For \(\alpha>0\), we say that \(f\in {\mathcal B}^\alpha\) if \[ \|f\|_{{\mathcal B}^\alpha}= |f(0)|+ \sup_{z\in D}(1-|z|^2)^\alpha|f'(z)|> \infty, \] and we say that \(f\in{\mathcal B}_0^\alpha\) if \(\lim_{|z|\to 1}(1-|z|^2)^\alpha|f'(z)|=0\). We say that \(f\) is in the Besov space \(B_p\), \(1< p< \infty\), if \[ \|f\|_{B_p}=|f(0)|+ \Biggl\{ \iint_D (1-|z|f'(z)|^p dx dy \Biggr\}^{1/p}< \infty. \] Also, we say that \(f\in B_1\) if \[ \|f\|_{B_1}=|f(0)|+|f'(0)|+ \iint_D|f''(z)|dx dy< \infty. \] Finally, we say that \(f\in Q_p\) if \[ \|f\|_{Q_p}=|f(0)|+ \Biggl\{ \sup_{a\in D} \iint_D|f'(z)|^2 \biggl( \log \biggl|\frac{1- \overline{a}z} {a-z} \biggr|\biggr)^p dx dy \Biggr\}^{1/2}< \infty, \] and we say that \(f\in Q_{p,0}\) if \[ \lim_{|a|\to 1} \iint_D |f'(z)|^2 \biggl( \log \biggl|\frac{1-\overline{a}z} {a-z} \biggr|\biggr)^p dx dy\to 0. \] The authors prove two results about these spaces. Let \(X\) denote any of the spaces \({\mathcal B}^\alpha\) for \(0< \alpha< 2\), \({\mathcal B}_0^\alpha\) for \(0< \alpha< 2\), \(B_p\) for \(1\leq p< \infty\), \(Q_p\) for \(0< p< \infty\), or \(Q_{p,0}\) for \(0< p< \infty\). For \(f_1, f_2\in X\), let \[ F_j(z)= \int_0^z f_j(\zeta) d\zeta, \qquad j=1,2, \quad z\in D. \] Then there exists a function \(h\in X\) such that \[ F_1(z) F_2(z)= \int_0^z h(\zeta) d\zeta, \quad z\in D, \] such that \(\|h\|_X\leq C\|f_1\|_X \|X_2\|_X\) and the constant \(C\) depends only on \(X\). (The spaces \({\mathcal B}_0^\alpha\) and \(Q_{p,0}\) use the norms for \({\mathcal B}^\alpha\) and \(Q_p\), respectively.) In addition, under the same assumptions on \(X\), if \[ \Phi_j(z)= \tfrac 1z \int_0^z f_j(\zeta) d\zeta, \qquad j=1,2,\quad z\in D, \] then there exists \(g\in X\) such that \(\|g\|_X\leq C\|f_1\|_X \|f_2\|_X\) and the constant \(C\) depends only on \(X\). Examples are given to show that the result about the product \(F_1(z) F_2(z)\) is false for the case \(X={\mathcal B}^\alpha\) for \(\alpha\geq 2\).
0 references