Let $G$ be the Lie group ${\Bbb{R}}^2\rtimes {\Bbb{R}}^+$ endowed with the Riemannian symmetric space structure. Take a distinguished basis $X_0,\, X_1,\,X_2$ of left-invariant vector fields of the Lie algebra of $G$, and consider the Laplacian $Δ=-\sum_{i=0}^2X_i^2$ and the first-order Riesz transforms $\mathcal R_i=X_iΔ^{-1/2}$, \hskip3pt $i=0,1,2$. We first show that the atomic Hardy space $H^1$ in $G$ introduced by the authors in a previous paper does not admit a characterization in terms of the Riesz transforms $\mathcal R_i$. It is also proved that two of these Riesz transforms are bounded from $H^1$ to $H^1$.
We prove that supermodularity is a necessary condition for the generalized Hardy- Littlewood and Riesz rearrangement inequalities. We also show the necessity of the monotonicity of the kernels involved in the Riesz{type integral.
We characterize the Hardy space $H^1$ in the rational Dunkl setting associated with the reflection group $\mathbb Z_2^n$ by means of Riesz transforms. As a corollary we obtain a Riesz transform characterization of $H^1$ for product of Bessel operators in $(0,\infty)^n$.
In this article we obtain the non - asymptotical low estimations for bilinear Riesz's functional through the Lebesgue spaces norms by means of building of some examples.
In this paper, we characterize the weighted local Hardy spaces $h^p_ρ(ω)$ related to the critical radius function $ρ$ and weights $ω\in A_{1}^{ρ,\,\infty}(\mathbb{R}^{n})$ by localized Riesz transforms $\widehat{R}_j$, in addition, we give a characterization of weighted Hardy spaces $H^{1}_{\cal L}(ω)$ via Riesz tranforms associated to Schrödinger operator $\cal L$, where $Ł=-Δ+V$ is a Schrödinger operator on $\mathbb{R}^{n}$ ($n\ge 3$) and $V$ is a nonnegative function satisfying the reverse Hölder inequality.
We analyse Morrey spaces, generalised Morrey spaces and Campanato spaces on homogeneous groups. The boundedness of the Hardy-Littlewood maximal operator, Bessel-Riesz operators, generalised Bessel-Riesz operators and generalised fractional integral operators in generalised Morrey spaces on homogeneous groups is shown. Moreover, we prove the boundedness of the modified version of the generalised fractional integral operator and Olsen type inequalities in Campanato spaces and generalised Morrey spaces on homogeneous groups, respectively. Our results extend results known in the isotropic Euclidea…
Given a frequency $λ=(λ_n)$, we study when almost all vertical limits of a $\mathcal{H}_1$-Dirichlet series $\sum a_n e^{-λ_ns}$ are Riesz-summable almost everywhere on the imaginary axis. Equivalently, this means to investigate almost everywhere convergence of Fourier series of $H_1$-functions on so-called $λ$-Dirichlet groups, and as our main technical tool we need to invent a weak-type $(1, \infty)$ Hardy-Littlewood maximal operator for such groups. Applications are given to $H_1$-functions on the infinite dimensional torus $\mathbb{T}^\infty$, ordinary Dirichlet series $\sum a_n n^{-s}$, a…
Let L=-Δ+V be a Schrödinger operator on R^d, d\geq 3. We assume that V is a nonnegative, compactly supported potential that belongs to L^p(R^d), for some p>d/2. Let K_t be the semigroup generated by -L. We say that an L^1(R^d)-function f belongs to the Hardy space H_L^1 associated with L if sup_{t>0} |K_t f| belongs to L^1(R^d). We prove that f\in H_L^1 if and only if R_j f \in L^1(R^d) for j=1,...,d, where R_j= \frac{d}{dx_j} L^{-1/2} are the Riesz transforms associated with L.
Let $\A$ be a finite subdiagonal algebra in Arveson's sense. Let $H^p(\A)$ be the associated noncommutative Hardy spaces, $0<p\le\8$. We extend to the case of all positive indices most recent results about these spaces, which include notably the Riesz, Szegö and inner-outer type factorizations. One new tool of the paper is the contractivity of the underlying conditional expectation on $H^p(\A)$ for $p<1$.
The purpose of this paper is to develop some methods to study Riesz type inequalities, Hardy-Littlewood type theorems and smooth moduli of holomorphic, pluriharmonic and harmonic functions in high-dimensional cases. Initially, we prove some sharp Riesz type inequalities of pluriharmonic functions on bounded symmetric domains. The obtained results extend the main results in (\textit{Trans. Amer. Math. Soc.} {\bf 372} (2019)~ 4031--4051). Furthermore, some Hardy-Littlewood type theorems of holomorphic and pluriharmonic functions on John domains are established. Additionally, we also discuss the …
Let $Γ$ be a graph with the doubling property for the volume of balls and $P$ a reversible random walk on $Γ$. We introduce $H^1$ Hardy spaces of functions and $1$-forms adapted to $P$ and prove various characterizations of these spaces. We also characterize the dual space of $H^1$ as a $BMO$-type space adapted to $P$. As an application, we establish $H^1$-$H^1$ and $H^1$-$L^1$ boundedness of the Riesz transform.
Let $p(\cdot):\ \mathbb R^n\to(0,\infty)$ be a variable exponent function satisfying that there exists a constant $p_0\in(0,p_-)$, where $p_-:=\mathop{\mathrm {ess\,inf}}_{x\in \mathbb R^n}p(x)$, such that the Hardy-Littlewood maximal operator is bounded on the variable exponent Lebesgue space $L^{p(\cdot)/p_0}(\mathbb R^n)$. In this article, via investigating relations between boundary valued of harmonic functions on the upper half space and elements of variable exponent Hardy spaces $H^{p(\cdot)}(\mathbb R^n)$ introduced by E. Nakai and Y. Sawano and, independently, by D. Cruz-Uribe and L.-A…
We extend the classical Hardy-Sobolev-Poincare-Wirtinger inequalities from the ordinary Lebesgue-Riesz spaces into the Grand Lebesgue ones, with exact constants evaluation.
We prove that if $τ$ is a large positive number, then the atomic Goldberg-type space $\mathfrak{h}^1(N)$ and the space $\mathfrak{h}_{\mathcal R_τ}^1(N)$ of all integrable functions on $N$ whose local Riesz transform $\mathcal R_τ$ is integrable are the same space on any complete noncompact Riemannian manifold $N$ with Ricci curvature bounded from below and positive injectivity radius. We also relate $\mathfrak{h}^1(N)$ to a space of harmonic functions on the slice $N\times (0,δ)$ for $δ>0$ small enough.
Let $φ$ be a Musielak-Orlicz function satisfying that, for any $(x,\,t)\in\mathbb{R}^n\times(0,\,\infty)$, $φ(\cdot,\,t)$ belongs to the Muckenhoupt weight class $A_\infty (\mathbb{R}^n)$ with the critical weight exponent $q(φ)\in[1,\,\infty)$ and $φ(x,\,\cdot)$ is an Orlicz function with $0<i(φ)\le I(φ)\le 1$ which are, respectively, its critical lower type and upper type. In this article, the authors establish the Riesz transform characterizations of the Musielak-Orlicz-Hardy spaces $H_φ(\mathbb{R}^n)$ which are generalizations of weighted Hardy spaces and Orlicz-Hardy spaces. Precisely, the…
Let $L$ be a homogeneous divergence form higher order elliptic operator with complex bounded measurable coefficients on $\mathbb{R}^n$ and $X$ a ball quasi-Banach function space on $\mathbb{R}^n$ satisfying some mild assumptions. Denote by $H_{X,\, L}(\mathbb{R}^n)$ the Hardy space, associated with both $L$ and $X$, which is defined via the Lusin area function related to the semigroup generated by $L$. In this article, the authors establish both the maximal function and the Riesz transform characterizations of $H_{X,\, L}(\mathbb{R}^n)$. The results obtained in this article have a wide range o…
Let $X$ be a ball quasi-Banach function space satisfying some mild assumptions and $H_X(\mathbb{R}^n)$ the Hardy space associated with $X$. In this article, the authors introduce both the Hardy space $H_X(\mathbb{R}^{n+1}_+)$ of harmonic functions and the Hardy space $\mathbb{H}_X(\mathbb{R}^{n+1}_+)$ of harmonic vectors, associated with $X$, and then establish the isomorphisms among $H_X(\mathbb{R}^n)$, $H_{X,2}(\mathbb{R}^{n+1}_+)$, and $\mathbb{H}_{X,2}(\mathbb{R}^{n+1}_+)$, where $H_{X,2}(\mathbb{R}^{n+1}_+)$ and $\mathbb{H}_{X,2}(\mathbb{R}^{n+1}_+)$ are, respectively, certain subspaces o…
Let $w$ be a Muckenhoupt $A_2(\mathbb{R}^n)$ weight and $L_w:=-w^{-1}\mathop\mathrm{div}(A\nabla)$ the degenerate elliptic operator on the Euclidean space $\mathbb{R}^n$. In this article, the authors establish the Riesz transform characterization of the Hardy space $H_{L_w}^p(\mathbb{R}^n)$ associated with $L_w$, for $w\in A_{q}(\mathbb{R}^n)$ and $w^{-1}\in A_{2-\frac{2}{n}}(\mathbb{R}^n)$ with $n\geq 3$, $q\in[1,2]$ and $p\in(q(\frac{1}{r}+\frac{q-1}{2}+\frac{1}{n})^{-1},1]$ if, for some $r\in[1,\,2)$, $\{tL_w e^{-tL_w}\}_{t\geq 0}$ satisfies the weighted $L^r-L^2$ full off-diagonal estimate…
In this note we prove various sharp boundedness results on suitable Hardy type spaces for Riesz transforms of arbitrary order on noncompact symmetric spaces of arbitrary rank.
Let $L_1$ be a nonnegative self-adjoint operator in $L^2({\mathbb R}^n)$ satisfying the Davies-Gaffney estimates and $L_2$ a second order divergence form elliptic operator with complex bounded measurable coefficients. A typical example of $L_1$ is the Schrödinger operator $-Δ+V$, where $Δ$ is the Laplace operator on ${\mathbb R}^n$ and $0\le V\in L^1_{\mathop\mathrm{loc}} ({\mathbb R}^n)$. Let $H^p_{L_i}(\mathbb{R}^n)$ be the Hardy space associated to $L_i$ for $i\in\{1,\,2\}$. In this paper, the authors prove that the Riesz transform $D (L_i^{-1/2})$ is bounded from $H^p_{L_i}(\mathbb{R}^n)$ …
In this paper we consider a complete connected noncompact Riemannian manifold M with bounded geometry and spectral gap. We prove that the imaginary powers of the Laplacian and the Riesz transform are bounded from the Hardy space X^1(M), introduced in previous work of the authors, to L^1(M).
We discuss the Hardy-Littlewood maximal operator on discrete Morrey spaces of arbitrary dimension. In particular, we obtain its boundedness on the discrete Morrey spaces using a discrete version of the Fefferman-Stein inequality. As a corollary, we also obtain the boundedness of some Riesz potentials on discrete Morrey spaces.
Let $L$ be a second order divergence form elliptic operator with complex bounded measurable coefficients. The operators arising in connection with $L$, such as the heat semigroup and Riesz transform, are not, in general, of Calderón-Zygmund type and exhibit behavior different from their counterparts built upon the Laplacian. The current paper aims at a thorough description of the properties of such operators in $L^p$, Sobolev, and some new Hardy spaces naturally associated to $L$. First, we show that the known ranges of boundedness in $L^p$ for the heat semigroup and Riesz transform of $L$, ar…
In this paper we introduce a new atomic Hardy space $X^1(γ)$ adapted to the Gauss measure $γ$, and prove the boundedness of the first order Riesz transform associated with the Ornstein-Uhlenbeck operator from $X^1(γ)$ to $L^1(γ)$. We also provide a new, short and almost self-contained proof of its weak-type $(1,1)$.
Inspired by the work of Hedenmalm, Lindqvist and Seip, we consider different properties of dilations systems of a fixed function $φ\in L^2(0,1)$. More precisely, we study when the system $\{φ(nx)\}_n$ is a Bessel sequence, a Riesz sequence, or it satisfies the lower frame bound. We are able to characterize these properties in terms of multipliers of the Hardy space $\mathcal{H}^2$ of Dirichtet series and, also, in terms of Hardy spaces on the infinite polytorus. We also address the multivariate case.
We characterize the dual spaces of the generalized Hardy spaces defined by replacing Lebesgue quasi-norms by Wiener amalgam ones. In these generalized Hardy spaces, we prove that some classical linear operators such as Calderón-Zygmund, convolution and Riesz potential operators are bounded.
The rearrangement inequalities of Hardy-Littlewood and Riesz say that certain integrals involving products of two or three functions increase under symmetric decreasing rearrangement. It is known that these inequalities extend to integrands of the form F(u_1,..., u_m) where F is supermodular; in particular, they hold when F has nonnegative mixed second derivatives. This paper concerns the regularity assumptions on F and the equality cases. It is shown here that extended Hardy-Littlewood and Riesz inequalities are valid for supermodular integrands that are just Borel measurable. Under some nond…
We consider a homogeneous tree endowed with a nondoubling flow measure $μ$ of exponential growth and a probabilistic Laplacian $\mathcal{L}$ self-adjoint with respect to $μ$. We prove that the maximal characterization in terms of the heat and the Poisson semigroup of $\mathcal{L}$ and the Riesz transform characterization of the atomic Hardy space introduced in a previous work fail.
Let $Δ$ and $L=Δ-\|\mathbf x\|^2$ be the Dunkl Laplacian and the Dunkl harmonic oscillator respectively. We define the Hardy space $\mathcal H^1$ associated with the Dunkl harmonic oscillator by means of the nontangential maximal function with respect to the semigroup $e^{tL}$. We prove that the space $\mathcal H^1$ admits characterizations by relevant Riesz transforms and atomic decompositions. The atoms which occur in the atomic decompositions are of local type.
In this paper, we show the equivalence between the boundedness of the Riesz transform $dΔ^{-1/2}$ on $L^p$, $p\in (2,p_0)$, and the equality $H^p=L^p$, $p\in(2,p_0)$, in the class of manifold whose measure is doubling and for which the scaled Poincaré inequalities hold. Here, $H^p$ is a Hardy space of exact $1-$forms, naturally associated with the Riesz transform.
In this paper we consider a complete connected noncompact Riemannian manifold M with bounded geometry and spectral gap. We prove that the Hardy type spaces X^k(M), introduced in a previous paper of the authors, have an atomic characterization. As an application, we prove that the Riesz transforms of even order 2k are bounded from X^k(M) to L^1(M)and on L^p(M) for 1<p<\infty.
The purpose of this work is to describe an abstract theory of Hardy-Sobolev spaces on doubling Riemannian manifolds via an atomic decomposition. We study the real interpolation of these spaces with Sobolev spaces and finally give applications to Riesz inequalities.
Linear combinations of exponentials $e^{iλ_kt}$ in the case where the distance between some points $λ_k$ tends to zero are studied. D. Ullrich has proved the basis property of the divided differences of exponentials in the case when the groups consist of equal number of points all of them are close enough to integers. We have generalized this result for groups with arbitrary number of close points and obtained a full description of Riesz bases of exponential divided differences. The application to a control problem is presented.
The Feichtinger Conjecture, if true, would have as a corollary that for each set $E\subset \T$ and $Λ\subset \Z$, there is a partition $Λ_1,...,Λ_N$ of $\Z$ such that for each $1\le i \le N$, $\{\exp(2πi xλ): λ\in Λ_i\}$ is a Riesz sequence. In this paper, sufficient conditions on sets $E\subset \T$ and $Λ\subset \R$ are given so that $\{\exp(2πi xλ) 1_E: λ\in Λ\}$ can be uniformly partitioned into Riesz sequences.
We introduce a decreasing one-parameter family $\mathfrak{X}^γ(M)$, $γ>0$, of Banach subspaces of the Hardy-Goldberg space $\mathfrak{h}^1(M)$ on certain nondoubling Riemannian manifolds with bounded geometry and we investigate their properties. In particular, we prove that $\mathfrak{X}^{1/2}(M)$ agrees with the space of all functions in $\mathfrak{h}^1(M)$ whose Riesz transform is in $L^1(M)$, and we obtain the surprising result that this space does not admit an atomic decomposition.
We study the boundary behavior of functions in the Hardy spaces on the infinite dimensional polydisk. These spaces are intimately related to the Hardy spaces of Dirichlet series. We exhibit several Fatou and Marcinkiewicz-Zygmund type theorems for radial convergence. As a consequence one obtains easy new proofs of the brothers F. and M. Riesz theorems in infinite dimension. Finally, we provide counterexamples showing that the pointwise Fatou theorem is not true in infinite dimensions without restrictions to the mode of radial convergence even for bounded analytic functions.
For alpha>0 we consider the system l_k^{(alpha-1)/2}(x) of the Laguerre functions which are eigenfunctions of the differential operator Lf =-\frac{d^2}{dx^2}f-\frac{alpha}{x}\frac{d}{dx}f+x^2 f. We define an atomic Hardy space H^1_{at}(X), which is a subspace of L^1((0,infty), x^alpha dx). Then we prove that the space H^1_{at}(X) is also characterized by the Riesz transform Rf=\sqrtπ\frac{d}{dx}L^{-1/2}f in the sense that f\in H^1_{at}(X) if and only if f,Rf \in L^1((0,infty),x^alpha dx).
In this work we extend the theory of the classical Hardy space $H^1$ to the rational Dunkl setting. Specifically, let $Δ$ be the Dunkl Laplacian on a Euclidean space $\mathbb{R}^N$. On the half-space $\mathbb{R}_+\times\mathbb{R}^N$, we consider systems of conjugate $(\partial_t^2+Δ_{\mathbf{x}})$-harmonic functions satisfying an appropriate uniform $L^1$ condition. We prove that the boundary values of such harmonic functions, which constitute the real Hardy space $H^1$, can be characterized in several different ways, namely by means of atoms, Riesz transforms, maximal functions or Littlewood-…
We study weak-type estimates and exponential integrability for the variable order Riesz potential. As an application we prove an exponential integrability result with respect to the Hausdorff content for functions from variable exponent Sobolev spaces. In particular, the earlier exponential integrability results are improved to a corresponding one with respect to the Choque integral whenever John domains are considered. Moreover, new exponential integrability results also for domains with outward cusps are obtained.
In this paper we introduce generalized grand Morrey spaces in the framework of quasimetric measure spaces, in the spirit of the so-called grand Lebesgue spaces. We prove a kind of reduction lemma which is applicable to a variety of operators to reduce their boundedness in generalized grand Morrey spaces to the corresponding boundedness in Morrey spaces, as a result of this application, we obtain the boundedness of the Hardy-Littlewood maximal operator as well as the boundedness of Calderón-Zygmund potential type operators. Boundedness of Riesz type potential operators are also obtained in the …
Building on the author's recent work with Jan Maas and Jan van Neerven, this paper establishes the equivalence of two norms (one using a maximal function, the other a square function) used to define a Hardy space on $\R^{n}$ with the gaussian measure, that is adapted to the Ornstein-Uhlenbeck semigroup. In contrast to the atomic Gaussian Hardy space introduced earlier by Mauceri and Meda, the $h^{1}(\R^{n};dγ)$ space studied here is such that the Riesz transforms are bounded from $h^{1}(\R^{n};dγ)$ to $L^{1}(\R^{n};dγ)$. This gives a gaussian analogue of the seminal work of Fefferman and Stein…
We investigate the Hardy space H^1_L associated to the Schrödinger operator L=-Δ+V on R^n, where V=\sum_{j=1}^d V_j. We assume that each V_j depends on variables from a linear subspace VV_j of \Rn, dim VV_j \geq 3, and V_j belongs to L^q(VV_j) for certain q. We prove that there exist two distinct isomorphisms of H^1_L with the classical Hardy space. As a corollary we deduce a specific atomic characterization of H_L^1. We also prove that the space H_L^1 is described by means of the Riesz transforms R_{L,i} = \partial_i L^{-1/2}.
In this article, the authors introduce a class of mixed-norm Herz spaces, $\dot{E}^{\vecα,\vec{p}}_{\vec{q}}(\mathbb{R}^{n})$, which is a natural generalization of mixed Lebesgue spaces and some special cases of which naturally appear in the study of the summability of Fourier transforms on mixed-norm Lebesgue spaces. The authors also give their dual spaces and obtain the Riesz-Thorin interpolation theorem on $\dot{E}^{\vecα,\vec{p}}_{\vec{q}}(\mathbb{R}^{n})$. Applying these Riesz-Thorin interpolation theorem and using some ideas from the extrapolation theorem, the authors establish both the …
For $2\le p<\infty$ we show the lower estimates \[ \|A^{\frac 12}x\|_p \kl c(p)\max\{\pl \|Γ(x,x)^{1/2}\|_p,\pl \|Γ(x^*,x^*)^{1/2}\|_p\} \] for the Riesz transform associated to a semigroup $(T_t)$ of completely positive maps on a von Neumann algebra with negative generator $T_t=e^{-tA}$, and gradient form \[ 2Γ(x,y)\lel Ax^*y+x^*Ay-A(x^*y)\pl .\] As additional hypothesis we assume that $Γ^2\gl 0$ and the existence of a Markov dilation for $(T_t)$. We give applications to quantum metric spaces and show the equivalence of semigroup Hardy norms and martingale Hardy norms derived from the Markov …
We prove two new equivalences of the Feichtinger conjecture that involve reproducing kernel Hilbert spaces. We prove that if for every Hilbert space, contractively contained in the Hardy space, each Bessel sequence of normalized kernel functions can be partitioned into finitely many Riesz basic sequences, then a general bounded Bessel sequence in an arbitrary Hilbert space can be partitioned into finitely many Riesz basic sequences. In addition, we examine some of these spaces and prove that for these spaces bounded Bessel sequences of normalized kernel functions are finite unions of Riesz bas…
Let $H[X]$ and $H[Y]$ be abstract Hardy spaces built upon Banach function spaces $X$ and $Y$ over the unit circle $\mathbb{T}$. We prove an analogue of the Brown-Halmos theorem for Toeplitz operators $T_a$ acting from $H[X]$ to $H[Y]$ under the only assumption that the space $X$ is separable and the Riesz projection $P$ is bounded on the space $Y$. We specify our results to the case of variable Lebesgue spaces $X=L^{p(\cdot)}$ and $Y=L^{q(\cdot)}$ and to the case of Lorentz spaces $X=Y=L^{p,q}(w)$, $1<p<\infty$, $1\le q<\infty$ with Muckenhoupt weights $w\in A_p(\mathbb{T})$.
We give necessary and sufficient conditions for inhomogeneous Calderón-Zgymund operators to be bounded on the local hardy spaces $h^p(\mathbb{R}^n)$. We then give applications to local and truncated Riesz transforms, as well as pseudo-differential operators defined by amplitudes.
Let Lf(x)=-Δf(x) + V(x)f(x), V\geq 0, V\in L^1_{loc}(R^d), be a non-negative self-adjoint Schrödinger operator on R^d. We say that an L^1-function f belongs to the Hardy space H^1_L if the maximal function M_L f(x)=\sup_{t>0} |e^{-tL} f(x)| belongs to L^1(R^d). We prove that under certain assumptions on V the space H^1_L is also characterized by the Riesz transforms R_j=\frac{\partial}{\partial x_j} L^{-1/2}, j=1,...,d, associated with L. As an example of such a potential V one can take any V\geq 0, V\in L^1_{loc}, in one dimension.
The rational Dunkl operators are commuting differential-reflection operators on the Euclidean space $R^d$ associated with a root system, that contain some non-local refection terms, and the associated Hardy space is defined by means of the Riesz transforms with respect to the Dunkl operators. The aim of the paper is to prove that its dual can be realized by a class of functions on $R^d$, denoted by $BMC_κ$ in the text, that consists of the underlying functions of a certain type of weighted Carleson measures. Our method is "purely analytic" and does not depend on the atomic decomposition. As a …
Let $\{K_t\}_{t>0}$ be the semigroup of linear operators generated by a Schrödinger operator $-L=Δ- V(x)$ on $\mathbb R^d$, $d\geq 3$, where $V(x)\geq 0$ satisfies $Δ^{-1} V\in L^\infty$. We say that an $L^1$-function $f$ belongs to the Hardy space $H^1_L$ if the maximal function $\mathcal M_L f(x) = \sup_{t>0} |K_tf(x)|$ belongs to $L^1(\mathbb R^d) $. We prove that the operator $(-Δ)^{1\slash 2} L^{-1\slash 2}$ is an isomorphism of the space $H^1_L$ with the classical Hardy space $H^1(\mathbb R^d)$ whose inverse is $L^{1\slash 2} (-Δ)^{-1\slash 2}$. As a corollary we obtain that the space $H…
We extend to several dimensions the result of K. Seip and Y.I. Lyubarskii that proves the existence of Riesz basis of exponentials for a finite union of intervals with equals lengths.
