The periodic complex method in interpolation spaces (Q395145)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The periodic complex method in interpolation spaces |
scientific article |
Statements
The periodic complex method in interpolation spaces (English)
0 references
28 January 2014
0 references
We shall briefly recall the famous complex method construction introduced by \textit{A. P. Calderón} [Stud. Math. 24, 113--190 (1964; Zbl 0204.13703)] and its ``periodic'' variant, apparently first studied by \textit{J. Peetre} [Rend. Sem. Mat. Univ. Padova 46 (1971), 173--190 (1972; Zbl 0233.46047)]. Let \((A_0, A_1)\) be a couple of two complex Banach spaces that are both continuously embedded in some topological Hausdorff vector space. The space \(\mathcal{F}^{\infty}(A_0,A_1)\) consists of all bounded and continuous \((A_0+A_1)\)-valued functions \(f(z)\) on the strip \(0\leqslant\Re z\leqslant1\) which are analytic in the interior \(0<\Re z<1\), for which \(t\mapsto f(j+it)\) is a continuous and bounded \(A_j\)-valued function of the real variable \(t\), \(j=0,1\); \(\mathcal{F}^{\infty}(A_0,A_1)\), equipped with the norm \[ \left\|{f}\right\|_{\mathcal{F}^{\infty}}=\max\Bigl\{\sup_{t\in\mathbb{R}}\left\|{f(it)}\right\|_{A_0},\, \sup_{t\in\mathbb{R}}\left\|{f(1+it)}\right\|_{A_1}\Bigr\}, \] is a Banach space. The space \(\mathcal{F}(A_0,A_1)\) is the closed subspace of \(\mathcal{F}^{\infty}(A_0,A_1)\) defined by the additional conditions \[ \lim_{\left|{t}\right|\to\infty}\left\|{f(j+it)}\right\|_{A_j}=0\;\;\text{for}\;\;j=0,1. \] Following Calderón [loc. cit.], for each \(0<\theta<1\), the complex interpolation space \([A_0,A_1]_{\theta}\) consists of all \(a\in A_0+A_1\) of the form \(a=f(\theta)\) for some \(f\in\mathcal{F}(A_0,A_1)\). This is a Banach space endowed with the norm: \[ \left\|{a}\right\|_{[A_0,A_1]_{\theta}}=\inf\bigl\{\left\|{f}\right\|_{\mathcal{F}}\,:\, f\in\mathcal{F}(A_0,A_1),\;f(\theta)=a\bigr\}. \] Replacing \(\mathcal{F}\) by \(\mathcal{F}^{\infty}\) in Calderón's definition of \([A_0,A_1]_{\theta}\) changes neither the space defined nor the norm of any of its elements. For each fixed \(\lambda>0\), one may then define the ``periodic'' interpolation space \([A_0,A_1]_{\theta}^{\lambda}\) analogously to \([A_0,A_1]_{\theta}\) just by replacing \(\mathcal{F}^{\infty}\) with \(\mathcal{F}^{\lambda}\), where the space \(\mathcal{F}_{\lambda}(A_0,A_1)\) is the closed subspace of \(\mathcal{F}^{\infty}(A_0,A_1)\) defined by the additional condition \(f(z)=f(z+i\lambda)\) for all \(z\) in the strip \(0\leqslant\Re z\leqslant1\). \textit{M. Cwikel} showed [Indiana Univ. Math. J. 27, 1005--1009 (1978; Zbl 0409.46067)] that \([A_0,A_1]_{\theta}^{\lambda}\) is the same as the classical complex method space \([A_0,A_1]_{\theta}\) and, moreover, there exists \(C=C(\lambda,\theta)\) such that \[ \left\|{a}\right\|_{[A_0,A_1]_{\theta}}\leqslant\left\|{a}\right\|_{[A_0,A_1]^{\lambda}_{\theta}}\leqslant C \left\|{a}\right\|_{[A_0,A_1]_{\theta}} \] for all \(a\in[A_0,A_1]_{\theta}\). Cwikel also proved that in general no uniform upper bound for the constant \(C\) as \(\lambda\) approaches zero can exist. Here, the author proves that for each fixed \(\lambda>0\) the equivalence constant \(C\) can be chosen to be independent of the choice of \(0<\theta<1\). He also shows that this same equivalence constant approaches \(1\) as \(\lambda\to\infty\). In other words, this means that when applying the complex method of Calderón, it makes an~arbitrarily small difference if one restricts oneself to periodic functions, provided that the period is large enough.
0 references
interpolation spaces
0 references
periodic complex method
0 references