We prove a number of results concerning the embedding of a Banach lattice $X$ into an r.i. space $Y$. For example we show that if $Y$ is an r.i. space on $[0,\infty)$ which is $p$-convex for some $p>2$ and has nontrivial concavity then any Banach lattice $X$ which is $r$-convex for some $r>2$ and embeds into $Y$ must embed as a sublattice. Similar conclusions can be drawn under a variety of hypotheses on $Y$; if $X$ is an r.i. space on $[0,1]$ one can replace the hypotheses of $r$-convexity for some $r>2$ by $X\neq L_2.$
We also show that if $Y$ is an order-continuous Banach lattice which contains no complemented sublattice lattice-isomorphic to $\ell_2,$ $X$ is an order-continuous Banach lattice so that $\ell_2$ is not complementably lattice finitely representable in $X$ and $X$ is isomorphic to a complemented subpace of $Y$ then $X$ is isomorphic to a complemented sublattice of $Y^N$ for some integer $N.$
We prove that the classical results by Rodin and Semenov and by Lindenstrauss and Tzafriri on the subspace generated by the Rademacher system in rearrangement invariant spaces also hold for lacunary Walsh series.
In this paper we generalize the classical Nikol'skii inequality on the many popular classes pairs of rearrangement invariant (r.i.) spaces and construct some examples in order to show the exactness of our estimations.
We obtain symmetrization inequalities in the context of Fractional Hajlasz-Sobolev spaces in the setting of rearrangement invariant spaces and prove that for a large class of measures our symmetrization inequalities are equivalent to the lower bound of the measure.
We extend the construction of Garsia-Rodemich spaces in different directions. We show that the new space \textbf{B,} introduced by Bourgain-Brezis-Mironescu \cite{bbm}, can be described via a suitable scaling of the Garsia-Rodemich norms. As an application we give a new proof of the embeddings $BMO\subset$ \textbf{B }$\subset$ $L(n^{\prime},\infty).$ We then generalize the Garsia-Rodemich construction and introduce the $GaRo_{X}$ spaces associated with a rearrangement invariant space $X,$ in such a way that $GaRo_{X}=X,$ for a large class of rearrangement invariant spaces. The underlying inequ…
Our main goal in this work is to further improve the mixed norm estimates due to Fournier, and also Algervik and Kolyada, to more general rearrangement invariant (r.i.) spaces. In particular we find the optimal domains and the optimal ranges for these embeddings between mixed norm spaces and r.i. spaces.
In this article we introduce and investigate some new Banach spaces, so - called moment spaces, and consider applications to the Fourier series, singular integral operators, theory of martingales.
The following theorem is the main result of this note. Theorem 1. Let $(E, \|\cdot\|_E) $ be a rearrangement invariant Banach function space on the interval $[0, 1]$. If $E$ is isometric to $Ł_p [0, 1]$ for some $1\le p<\infty$, then $E$ coincides with $Ł_p [0, 1]$ and furthermore $\|\cdot\|_E = λ\|\cdot\|_{Ł_p}$, where $λ= \|{\bf 1}\|_E$.
For a separable rearrangement invariant space $X$ on $[0,1]$ of fundamental type we identify the set of all $p\in [1,\infty]$ such that $\ell^p$ is finitely represented in $X$ in such a way that the unit basis vectors of $\ell^p$ ($c_0$ if $p=\infty$) correspond to pairwise disjoint and equimeasurable functions. This can be treated as a follow up of a paper by the first-named author related to separable rearrangement invariant spaces on $(0,\infty)$.
Let $1\le p<\infty$. A Banach lattice $E$ is said to be disjointly homogeneous (resp. $p$-disjointly homogeneous) if two arbitrary normalized disjoint sequences from $E$ contain equivalent in $E$ subsequences (resp. every normalized disjoint sequence contains a subsequence equivalent in $E$ to the unit vector basis of $l_p$). Answering a question raised in 2014 by Flores, Hernandez, Spinu, Tradacete, and Troitsky, for each $1<p<\infty$, we construct a reflexive $p$-disjointly homogeneous rearrangement invariant space on $[0,1]$ whose dual is not disjointly homogeneous. Employing methods from i…
We prove optimality of the Gagliardo-Nirenberg inequality $$ \|\nabla u\|_{X}\lesssim\|\nabla^2 u\|_Y^{1/2}\|u\|_Z^{1/2}, $$ where $Y, Z$ are rearrangement invariant Banach function spaces and $X=Y^{1/2}Z^{1/2}$ is the Calderón--Lozanovskii space. By optimality, we mean that for a certain pair of spaces on the right-hand side, one cannot reduce the space on the left-hand, remaining in the class of rearrangement invariant spaces. The optimality for the Lorentz and Orlicz spaces is given as a consequence, exceeding previous results. We also discuss pointwise inequalities, their importance and co…
We study the behaviour on rearrangement-invariant spaces of such classical operators of interest in harmonic analysis as the Hardy-Littlewood maximal operator (including the fractional version), the Hilbert and Stieltjes transforms, and the Riesz potential. The focus is on sharpness questions, and we present characterisations of the optimal domain (or range) partner spaces when the range (domain) is fixed. When a rearrangement-invariant partner space exists at all, a complete characterisation of the situation is given. We illustrate the results with a variety of examples of sharp particular re…
We introduce and investigate in this short article a new characteristic of rearrangement invariant (r.i.) (symmetric) space, namely so-called Tchebychev's characteristic. We reveal an important class of the r.i. spaces - so called regular r. i. spaces and show that the majority of known r.i. spaces: Lebesgue-Riesz, Grand Lebesgue Spaces, Orlicz, Lorentz and Marcinkiewicz r.i. spaces are regular. But we construct after several examples of r.i. spaces without the regular property.
We prove that if $X$ is a real rearrangement-invariant function space on $[0,1]$, which is not isometrically isomorphic to $L_2,$ then every surjective isometry $T:X\to X$ is of the form $Tf(s)=a(s)f(σ(s))$ for a Borel function $a$ and an invertible Borel map $σ:[0,1] \to [0,1].$ If $X$ is not equal to $L_p$, up to renorming, for some $1\le p\le \infty$ then in addition $|a|=1$ a.e. and $σ$ must be measure-preserving.
Motivated by recent applications of weighted norm inequalities to maximal regularity of first and second order Cauchy problems, we study real interpolation spaces on the basis of general Banach function spaces and, in particular, weighted rearrangement invariant Banach function spaces. We show equivalence of the trace method and the $K$-method, identify real interpolation spaces between a Banach space and the domain of a sectorial operator, and reprove an extension of Dore's theorem on the boundedness of $H^\infty$-functional calculus to this general setting.
Let (f_n) and (g_n) be two sequences of random variables adapted to an increasing sequence of $σ$-algebras $({\cal F}_n)$ such that the conditional distributions of f_n and g_n given ${\cal F}_{n-1}$ coincide, and such that the sequence (g_n) is conditionally independent. Then it is known that $\normo{\sum f_k}_p \le C \normo{\sum g_k}_p$, $1 \le p \le \infty$ where the constant C is independent of p. The aim of this paper is to extend this result to certain classes of Orlicz and rearrangement invariant spaces. This paper includes fairly general techniques for obtaining rearrangement invariant…
Poincaré-Sobolev-type inequalities involving rearrangement-invariant norms on the entire $\mathbb{R}^n$ are provided. Namely, inequalities of the type $\|u-P\|_{Y(\mathbb{R}^n)}\leq C\|\nabla^m u\|_{X(\mathbb{R}^n)}$, where $X$ and $Y$ are either rearrangement-invariant spaces over $\mathbb{R}^n$ or Orlicz spaces over $\mathbb{R}^n$, $u$ is a $m-$times weakly differentiable function whose gradient is in $X$, $P$ is a polynomial of order at most $m-1$, depending on $u$, and $C$ is a constant independent of $u$, are studied. In a sense optimal rearrangement-invariant spaces or Orlicz spaces $Y$ …
We improve the Sobolev-type embeddings due to Gagliardo and Nirenberg in the setting of rearrangement invariant (r.i.) spaces. In particular we concentrate on seeking the optimal domains and the optimal ranges for these embeddings between r.i. spaces and mixed norm spaces. As a consequence, we prove that the classical estimate for the standard Sobolev space by Poornima, O'Neil and Peetre (1 <=p<n), and by Hansson, Brezis and Wainger and Maz'ya (p=n) can be further strengthened by considering mixed norms on the target spaces.
We show that for spaces with 1-unconditional bases lushness, the alternative Daugavet property and numerical index~1 are equivalent. In the class of rearrangement invariant (r.i.)\ sequence spaces the only examples of spaces with these properties are $c_0$, $\ell_1$ and $\ell_\infty$. The only lush r.i.\ separable function space on $[0,1]$ is $L_1[0,1]$; the same space is the only r.i.\ separable function space on $[0,1]$ with the Daugavet property over the reals.
In this paper, we study the boundedness of the Hilbert transformation in Lorentz function spaces, thereby complementing classical results of Boyd. We also characterize the optimal range of a triangular truncation operator in Schatten-Lorentz ideals. These results further entail sharp commutator estimates and applications to operator Lipschitz functions in Schatten-Lorentz ideals.
Suppose that a real nonatomic function space on $[0,1]$ is equipped with two re\-arran\-ge\-ment-invariant norms $\|\cdot\|$ and $|||\cdot|||$. We study the question whether or not the fact that $(X,\|\cdot\|)$ is isometric to $(X,|||\cdot|||)$ implies that $\|f\|= |||f|||$ for all $f$ in $X$. We show that in strictly monotone Orlicz and Lorentz spaces this is equivalent to asking whether or not the norms are defined by equal Orlicz functions, resp. Lorentz weights. We show that the above implication holds true in most rearrangement-invariant spaces, but we also identify a class of Orlicz spac…
Extending the classical Levy-Steinitz rearrangement theorem, which in turn extended Riemann's theorem, Banaszczyk proved in 1990/93 that a metrizable, locally convex space is nuclear if and only if the domain of sums of every convergent series (i.e. the set of all elements in the space which are sums of a convergent rearrangement of the series) is a translate of a closed subspace of a special form. In this paper we present an apparently complete analysis of the domains of convergent series in duals of metrizable spaces or, more generally, in (DF)-spaces in the sense of Grothendieck.
The classical Gagliardo-Nirenberg interpolation inequality is a well-known estimate which gives, in particular, an estimate for the Lebesgue norm of intermediate derivatives of functions in Sobolev spaces. We present an extension of this estimate into the scale of the general rearrangement-invariant Banach function spaces with the proof based on the Maz'ya's pointwise estimates. As corollaries, we present the Gagliardo--Nirenberg inequality for intermediate derivatives in the case of triples of Orlicz spaces and triples of Lorentz spaces. Finally, we promote the scaling argument to validate th…
{\it We study the class of all rearrangement-invariant (=r.i.) function spaces $E$ on $[0,1]$ such that there exists $0<q<1$ for which $ \Vert \sum_{_{k=1}}^nξ_k\Vert_{E}\leq Cn^{q}$, where $\{ξ_k\}_{k\ge 1}\subset E$ is an arbitrary sequence of independent identically distributed symmetric random variables on $[0,1]$ and $C>0$ does not depend on $n$. We completely characterize all Lorentz spaces having this property and complement classical results of Rodin and Semenov for Orlicz spaces $exp(L_p)$, $p\ge 1$. We further apply our results to the study of Banach-Saks index sets in r.i. spaces.
We consider Lorentz-Karamata spaces, small and grand Lorentz-Karamata spaces, and the so-called $\mathcal{L}$, $\mathcal{R}$, $\mathcal{LL}$, $\mathcal{RL}$, $\mathcal{RL}$, and $\mathcal{RR}$ spaces. The quasi-norms for a function $f$ in each of these spaces can be defined via the non-increasing rearrangement $f^*$ or via the maximal function $f^{**}$. We investigate when these quasi-norms are equivalent. Most of the proofs are based on Hardy-type inequalities. As application we demonstrate how our general results can be used to establish interpolation formulae for the grand and small Lorentz…
For a separable rearrangement invariant space $X$ on $(0,\infty)$ of fundamental type we identify the set of all $p\in [1,\infty]$ such that $\ell^p$ is finitely represented in $X$ in such a way that the unit basis vectors of $\ell^p$ ($c_0$ if $p=\infty$) correspond to pairwise disjoint and equimeasurable functions. This characterization hinges upon a description of the set of approximate eigenvalues of the doubling operator $x(t)\mapsto x(t/2)$ in $X$. We prove that this set is surprisingly simple: depending on the values of some dilation indices of such a space, it is either an interval or …
Sobolev embeddings, of arbitrary order, are considered into function spaces on domains of $\mathbb R^n$ endowed with measures whose decay on balls is dominated by a power $d$ of their radius. Norms in arbitrary rearrangement-invariant spaces are contemplated. A comprehensive approach is proposed based on the reduction of the relevant $n$-dimensional embeddings to one-dimensional Hardy-type inequalities. Interestingly, the latter inequalities depend on the involved measure only through the power $d$. Our results allow for the detection of the optimal target space in Sobolev embeddings, for broa…
In this short paper we generalize the classical inequality between the norms in Lebesgue spaces of the functions and its derivatives, which in the multidimensional case are called Sobolev's inequalities, on the many popular classes pairs of rearrangement invariant (r.i.) spaces, namely, on the so-called moment rearrangement invariant spaces.
A Banach lattice E is called p-disjointly homogeneous, 1< p< infty, when every sequence of pairwise disjoint normalized elements in E has a subsequence equivalent to the unit vector basis of l_p. Employing methods from interpolation theory, we clarify which rearrangement invariant (r.i.) spaces on [0,1] are p-disjointly homogeneous. In particular, for every 1<p< infty and any increasing concave function f on [0,1], which is not equivalent neither 1 nor t, there exists a p-disjointly homogeneous r.i. space with the fundamental function f. Moreover, in the class of all interpolation r.i. spaces …
We characterize, in the context of rearrangement invariant spaces, the optimal range space for a class of monotone operators related to the Hardy operator. The connection between optimal range and optimal domain for these operators is carefully analyzed.
In this article we investigate the Fourier series and transforms for the functions defined on the $ [0, 2 π]^ d $ or $ R^d $ and belonging to the exponential Orlicz and some other rearrangement invariant (r.i.) spaces.
Let $l_0$ be the group (with respect to the coordinate-wise addition) of all sequences of real numbers $x=(x_k)_{k=1}^\infty$ that are eventually zero, equipped with the quasi-norm $\|x\|_0={\rm card}\{supp\,x\}$. A description of orbits of elements in the pair $(l_0,l_1)$ is given, which complements (in the sequence space setting) the classical Calderón-Mityagin theorem on a description of orbits of elements in the pair $(l_1,l_\infty)$. As a consequence, we obtain that the pair $(l_0,l_1)$ is ${\mathcal K}$-monotone.
In this paper we generalize the classical Strichartz estimation for solutions of initial problem for linear parabolic and Schrödinger PDE on many popular classes {\it pairs} of rearrangement invariant(r.i.) spaces and construct some examples in order to show the exactness of our estimations.
In this note, we show that, on a wide range of rearrangement-invariant spaces, a law-invariant bounded linear functional is a scalar multiple of the expectation. We also construct a rearrangement-invariant space on which this property fails.
A subspace $H$ of a rearrangement invariant space $X$ on $[0,1]$ is strongly embedded in $X$ if, in $H$, convergence in $X$-norm is equivalent to convergence in measure. We obtain necessary and sufficient conditions on an Orlicz function $M$, under which the unit ball of an arbitrary strongly embedded subspace in the Orlicz space $L_M$ has equi-absolutely continuous norms in $L_M$.
Rearrangement-invariance in function spaces can be viewed as a kind of generalization of 1-symmetry for Schauder bases. We define subrearrangement-invariance in function spaces as an analogous generalization of 1-subsymmetry. It is then shown that every rearrangement-invariant function space is also subrearrangement-invariant. Examples are given to demonstrate that not every function space on $(0,\infty)$ admits an equivalent subrearrangement-invariant norm, and that not every subrearrangement-invariant function space on $(0,\infty)$ admits an equivalent rearrangement-invariant norm. The latte…
This paper presents relations between several types of closedness of a law-invariant convex set in a rearrangement invariant space $\mathcal{X}$. In particular, we show that order closedness, $σ(\mathcal{X},\mathcal{X}_n^\sim)$-closedness and $σ(\mathcal{X},L^\infty)$-closedness of a law-invariant convex set in $\mathcal{X}$ are equivalent, where $\mathcal{X}_n^\sim$ is the order continuous dual of $\mathcal{X}$. We also provide some application to proper quasiconvex law-invariant functionals with the Fatou property.
We give partial answers to the following conjecture: the natural embedding of a rearrangement invariant space E into L_1([0,1]) is strictly singular if and only if G does not embed into E continuously, where G is the closure of the simple functions in the Orlicz space L_Phi with Phi(x) = exp(x^2)-1.
We characterize the rearrangement invariant spaces for which there exists a non-constant fixed point, for the Hardy-Littlewood maximal operator (the case for the spaces $L^p(\mathbb{R}^{n})$ was first considered by Korry in \cite{Ko}). The main result that we prove is that the space $L^{\frac{n}{n-2},\infty}(\mathbb{R}^{n})\cap L^{\infty}(\mathbb{R}^{n})$ is minimal among those having this property
Let $X$ be a rearrangement-invariant space over a non-atomic $σ$-finite measure space $(\mathscr{R},μ)$ and let $α\in(0,\infty)$. We define the functional \begin{equation*} \|f\|_{X^{\langle α\rangle}} = \|((|f|^α)^{**})^{\frac{1}α}\|_{\overline{X}(0,μ(\mathscr{R}))}, \end{equation*} in which $f$ is a $μ$-measurable scalar function defined on $(\mathscr{R},μ)$ and $\overline{X}(0,μ(\mathscr{R}))$ is the representation space of $X$. We denote by $X^{\langle α\rangle}$ the collection of all almost everywhere finite functions $f$ such that $\|f\|_{X^{\langle α\rangle}}$ is finite. These spaces re…
Let $Γ$ be an oriented Jordan smooth curve and $α$ be a diffeomorphism of $Γ$ onto itself which has an arbitrary nonempty set of periodic points. We prove criteria for one-sided invertiblity of the binomial functional operator \[ A=aI-bW \] where $a$ and $b$ are continuous functions, $I$ is the identity operator, $W$ is the shift operator $Wf=f\circα$, in a reflexive rearrangement-invariant space $X(Γ)$ with Boyd indices $α_X,β_X$ and Zippin indices $p_X,q_X$ satisfying inequalities \[ 0<α_X=p_X\le q_X=q_X<1. \]
Let X_1, X_2,..., X_n be a sequence of independent random variables, let M be a rearrangement invariant space on the underlying probability space, and let N be a symmetric sequence space. This paper gives an approximate formula for the quantity || ||(X_i)||_N ||_M whenever L_q embeds into M for some 1 le q < infty. This extends work of Johnson and Schechtman who tackled the case when N = l_p, and recent work of Gordon, Litvak, Schuett and Werner who obtained similar results for Orlicz spaces.
We study inequalities of the form \begin{equation*} ρ( \lvert \hat{f} \rvert) \leq C σ(f) < \infty, \end{equation*} with $f \in L_{1}(\mathbb{R}^n)$, the Lebesgue-integrable functions on $\mathbb{R}^n$ and \begin{equation*} \hat{f}(ξ) := \int_{\mathbb{R}^n} f(x) \, e^{- 2 πi ξ\cdot x} dx, \ \ \ ξ\in \mathbb{R}^n. \end{equation*} The functionals $ρ$ and $σ$ are so-called rearrangement-invariant (r.i.) norms on $M_{+}(\mathbb{R}^n)$, the nonnegative measurable functions on $\mathbb{R}^n$. Results first proved in the general context of r.i. spaces are then both specialized and expanded on in the …
Characterization of the boundedness of the segment multiplier on rearrangement-invariant spaces
Universidad Complutense de Madrid（马德里康普顿斯大学）；Brock University（布鲁克大学）；The Ohio State University（俄亥俄州立大学）；Czech Technical University in Prague（布拉格捷克理工大学）；ICMAT（数学分析与应用研究所）
We study moment rearrangement invariant spaces, which contain as particular cases the generalized Grand Lebesgue Spaces, and provide norm estimates for some operators, not necessarily linear, acting between some measurable rearrangement invariant spaces. The estimations are formulated in the terms of fundamental functions for these spaces.
We shall prove a rearrangement inequality in probability measure spaces in order to obtain sharp Leibniz-type rules of mean oscillations in Lp-spaces and rearrangement invariant Banach function spaces.
