Let $\vec{X}=(X_0, X_1)$ be a compatible couple of Banach spaces, $ 1\le p \le \infty$ and let $ φ$ be positive quasi-concave function. Denote by $\overline{X}_{φ,p}=(X_0,X_1)_{φ,p}$ the real interpolation spaces defined by S. Janson (1981). We give necessary and sufficient conditions on $ φ_{0}$, $φ_{1}$ and $φ$ for the validity of \begin{equation*}
\left(\overline{X}_{φ_{0},1},\overline{X}_{φ_{1},1}
\right) _{φ,p}= \left(\overline{X}_{φ_{0},\infty},\overline{X}_{φ_{1},\infty}\right)_{φ,p} \end{equation*} for all $ 1\le p\le \infty$, and all Banach couples $\overline{X}. $
A set of all symmetric Banach function spaces defined on [0,1] is equipped with the partial order by the relation of continuous inclusion. Properties of symmetric spaces, which do not depend of their position in the ordered structure, are studied. With the help of the J. Peetre's interpolation scheme it is shown that for any pair of symmetric spaces E, F such that F is absolutely continuously included in E there exists an intermediate (so called, Peetre's) space K(E,F;W), where W is a space with an unconditional basis, that is reflexive or, respectively, weakly sequentially complete provided W…
The Peetre "plus-minus" interpolation spaces $\left\langle A_{0},A_{1}\right\rangle _θ$ are defined variously via conditions about the unconditional convergence of certain Banach space valued series whose terms have coefficients which are powers of 2 or, alternatively, powers of $e$. It may seem intuitively obvious that using powers of 2, or of $e$, or powers of some other constant number greater than 1 in such definitions should produce the same space to within equivalence of norms. To allay any doubts, we here offer an explicit proof of this fact, via a "continuous" definition of the same sp…
We characterize when Peetre's K-functional decays to zero slowly and we use this characterization to demonstrate certain strict inclusions between real interpolation spaces.
Let $ X=(X_0,X_1)$ and $ Y=(Y_0,Y_1)$ be Banach couples and suppose $T: X\to Y$ is a linear operator such that $T:X_0\to Y_0$ is compact. We consider the question whether the operator $T:[X_0,X_1]_θ\to [Y_0,Y_1]_θ$ is compact and show a positive answer under a variety of conditions. For example it suffices that $X_0$ be a UMD-space or that $X_0$ is reflexive and there is a Banach space so that $X_0=[W,X_1]_α$ for some $0<α<1.$
Let (B_0,B_1) be a Banach pair. Stafney showed that one can replace the space F(B_0,B_1) with its subspace G(B_0,B_1) in the definition of the norm in the Calderon complex interpolation method on the strip if the element belongs to the intersection of the spaces B_i. We shall extend this result to a more general setting, which contains well-known interpolation methods: the Calderon complex interpolation method on the annulus, the Lions-Peetre real method (with several different choices of norms), and the Peetre "plus minus" method.
In this article, the authors study the interpolation of Morrey-Campanato spaces and some smoothness spaces based on Morrey spaces, e.\,g., Besov-type and Triebel-Lizorkin-type spaces. Various interpolation methods, including the complex method, the $\pm$-method and the Peetre-Gagliardo method, are studied in such a framework. Special emphasize is given to the quasi-Banach case and to the interpolation property.
We study the relationship between exact interpolation spaces for positive, linear operators, for order preserving, Lipschitz continuous operators, and for positive Gagliardo-Peetre operators, and exact partially $K$-monotone spaces in interpolation couples of compatible Banach lattices. By general Banach lattice theory we recover a characterisation of exact interpolation spaces for order preserving, Lipschitz continuous operators in the couple $(L^1,L^\infty )$ due to Bénilan and Crandall.
We investigate the stability of compactness of bilinear operators acting on the product of interpolation of Banach spaces. We develop a general framework for such results and our method applies to abstract methods of interpolation in the senseof Aronszajn and Gagliardo. A key step is to show an one-sided bilinear interpolation theorem on compactness for bilinear operators on couples satisfying an approximation property. We show applications to general cases, including Peetre's method and the general real interpolation methods.
We prove the stability of isomorphisms between Banach spaces generated by interpolation methods introduced by Cwikel-Kalton-Milman-Rochberg which includes, as special cases, the real and complex methods up to equivalence of norms and also the so-called $\pm$ or $G_1$ and $G_2$ methods defined by Peetre and Gustavsson-Peetre. This result is used to show the existence of solution of certain operator analytic equation. A by product of these results is a more general variant of the Albrecht-Müller result which states that the interpolated isomorphisms satisfy uniqueness-of-inverses between interpo…
The behavior of bilinear operators acting on interpolation of Banach spaces for the $ρ$ method in relation to the compactness is analyzed. Similar results of Lions-Peetre, Hayakawa and Person's compactness theorems are obtained for the bilinear case and the $ρ$ method.
In this paper, we show that the interpolation spaces between Grand, small or classical Lebesgue are so called Lorentz-Zygmund spaces or more generally $GΓ$-spaces. As a direct consequence of our results any Lorentz-Zygmund space $L^{a,r}({\rm Log}\, L)^β$, is an interpolation space in the sense of Peetre between either two Grand Lebesgue spaces or between two small spaces provided that $ 1<a<\infty, β\not= 0$. The method consists in computing the so called K-functional of the interpolation space and in identifying the associated norm.
We obtain new oscillation inequalities in metric spaces in terms of the Peetre $K-$functional and the isoperimetric profile. Applications provided include a detailed study of Fractional Sobolev inequalities and the Morrey-Sobolev embedding theorems in different contexts. In particular we include a detailed study of Gaussian measures as well as probablity measures between Gaussian and exponential. We show a kind of reverse Polya-Szego principle that allows us to obtain continuity as a self improvement from boundedness, using symetrization inequalities. Our methods also allow for precise estimat…
We discuss a question which relates to Calderon's complex interpolation method. More precisely, we will consider the so-called "periodic" complex interpolation method, studied by Peetre. (Which also corresponds to the spaces obtained by Calderon's construction using Banach space valued analytic functions, but defined on an annulus instead of the strip used by Calderon.) Cwikel showed that, using functions with a given period iλin the complex method mechanism, one obtains the same interpolation spaces as in the original version of the complex method, up to equivalence of norms. He also showed t…
We consider linear operators $T$ mapping a couple of weighted $L_p$ spaces $\{L_{p_0}(U_0), L_{p_1}(U_1)\}$ into $\{L_{q_0}(V_0), L_{q_1}(V_1)\}$ for any $1\le p_0$, $ p_1$, $q_0$, $q_1\le\infty$, and describe the interpolation orbit of any $a\in L_{p_0}(U_0)+ L_{p_1}(U_1)$ that is we describe a space of all $\{Ta\}$, where $T$ runs over all linear bounded mappings from $\{L_{p_0}(U_0), L_{p_1}(U_1)\}$ into $\{L_{q_0}(V_0),L_{q_1}(V_1)\}$. We present in this paper the proofs of results which were announced in V.I.Ovchinnikov, C. R. Acad. Sci. Paris Ser. I 334 (2002) 881--884. We show that inte…
Let (A_0,A_1) and (B_0,B_1) be Banach couples with A_0 contained in A_1 and B_0 contained in B_1. Let T:A_1 --> B_1 be a possibly nonlinear operator which is a compact Lipschitz map of A_j into B_j for j=0,1. It is known that T maps the Lions-Peetre space (A_0,A_1)_θ,q boundedly into (B_0,B_1)_θ,q for each θin (0,1) and each q in [1,\infty), and that this map is also compact if if T is linear. We present examples which show that in general the map T:(A_0,A_1)_θ,q --> (B_0,B_1)_θ,q is not compact.
Cocompactness is a useful weaker counterpart of compactness in the study of imbeddings between function spaces. In this paper we show that subcritical continuous imbeddings of fractional Sobolev spaces and Besov spaces over \mathbb{R}^{N} are cocompact relative to lattice shifts. We use techniques of interpolation spaces to deduce our results from known cocompact imbeddings for classical Sobolev spaces ("vanishing" lemmas of Lieb and Lions). We give examples of applications of cocompactness to compactness of imbeddings of some radial subspaces and to existence of minimizers in some isoperimetr…
The operator-valued multiplier theorems in weighted abstract Besov spaces are studied. These results permit us to show embedding theorems in weighted Besov-Lions type spaces. The most regular class of interpolation space is found such that the mixed differential operator is bounded from Besov-Lions space to this and Ehrling-Nirenberg-Gagliardo type sharp estimates are established. By using these results the separability properties of degenerate differential operators are studied. Especially, we prove that the associated differential operators are positive and also are generators of analytic se…
We prove novel results on interpolation of Fredholm operators including an abstract factorization theorem. The main result of this paper provides sufficient conditions on the parameters $θ\in (0,1)$ and $q\in \lbrack 1,\infty ]$ under which an operator $A$ is a Fredholm operator from the real interpolation space $(X_{0},X_{1})_{θ,q}$ to $(Y_{0},Y_{1})_{θ,q} $ for a given operator $A\colon (X_{0},X_{1})\rightarrow (Y_{0},Y_{1})$ between compatible pairs of Banach spaces such that its restrictions to the endpoint spaces are Fredholm operators. These conditions are expressed in terms of the corre…
We consider the maximal regularity problem for non-autonomous evolution equations of the form $u(t) + A(t) u(t) = f(t)$ with initial data $u(0) = u\_0$ . Each operator $A(t)$ is associated with a sesquilinear form $a(t; *, *)$ on a Hilbert space $H$ . We assume that these forms all have the same domain and satisfy some regularity assumption with respect to t (e.g., piecewise $α$-H{ö}lder continuous for some $α\textgreater{} 1/2$). We prove maximal Lp-regularity for all initial values in the real-interpolation space $(H, D(A(0)))\_{1/p,p}$ . The particular case where $p = 2$ improves previously…
