Pre-dual of Fofana's spaces

TL;DR

This paper characterizes the pre-dual of Fofana's Wiener amalgam-based spaces, focusing on their dilation properties and minimal invariant spaces, advancing the understanding of their duality structure.

Contribution

It provides a novel characterization of the pre-dual of Fofana's spaces using minimal invariant spaces related to dilation operators.

Findings

Pre-dual characterized via minimal invariant spaces

Spaces exhibit dilation behavior similar to $L^eta(\

Abstract

It is the purpose of this paper to give a characterization of the pre-dual of the spaces introduced by I.~Fofana on the basis of Wiener amalgam spaces. Those spaces have a specific dilation behaviour similar to the spaces $L^\alpha(\mathbb R^d)$. The characterization of the pre-dual will be based on the idea of minimal invariant spaces (with respect to such a group of dilation operators).

Equations

$${}_{\rho}\left\|f\right\|_{q,p}=\left\{\begin{array}[]{lll}\left[\sum_{k\in\mathbb{Z}^{d}}\left\|f\chi_{I^{\rho}_{k}}\right\|^{p}_{q}\right]^{\frac{1}{p}}&\text{ if }&p<\infty\\ \sup_{k\in\mathbb{Z}^{d}}\left\|f\chi_{I^{\rho}_{k}}\right\|_{q}&\text{ if }&p=\infty\end{array}\right.$$

$${\Vert f\Vert }_{q,p}\le {\Vert f\Vert }_{q_1,p}$$

$${\Vert f\Vert }_{q,p}\le {\Vert f\Vert }_{q,p_1}$$

$${\Vert fg\Vert }_1\le {}_{\rho }{\Vert f\Vert }_{q,p}{}_{\rho }{\Vert g\Vert }_{q^{\prime },p^{\prime }},f,g\in L_{loc}^1({\mathbb{R}}^d),$$

$$⟨T,f⟩={\int }_{{\mathbb{R}}^d}f(x)\varphi (T)(x)dx,f\in (L^q,{\ell }^p)({\mathbb{R}}^d)$$

$${\Vert \varphi (T)\Vert }_{q^{\prime },p^{\prime }}=\Vert T\Vert .$$

$${\Vert S{t}_{\rho }^{(\alpha )}f\Vert }_{\alpha }={\Vert f\Vert }_{\alpha },0<\rho <\infty \text{ and }f\in L_{loc}^1({\mathbb{R}}^d).$$

$${\Vert S{t}_{\rho }^{(\alpha )}f\Vert }_{q,p}={\rho }^{-d(\frac{1}{\alpha }-\frac{1}{q})}{}_{{\rho }^{-1}}{\Vert f\Vert }_{q,p},0<\rho <\infty \text{ and }f\in L_{loc}^1({\mathbb{R}}^d)$$

$${\Vert f\Vert }_{q,p,\alpha }:=\underset{\rho >0}{\sup }{\Vert S{t}_{\rho }^{(\alpha )}f\Vert }_{q,p}=\underset{\rho >0}{\sup }{\rho }^{d(\frac{1}{\alpha }-\frac{1}{q})}{}_{\rho }{\Vert f\Vert }_{q,p}.$$

$$(L^{q},\ell^{p})^{\alpha}(\mathbb{R}^{d})=\left\{f\in L^{1}_{loc}(\mathbb{R}^{d}){\,\big{|}\,}\left\|f\right\|_{q,p,\alpha}<\infty\right\}.$$

$$\mathcal{M}_{q,\lambda}(\mathbb{R}^{d})=\left\{f\in L^{q}_{loc}(\mathbb{R}^{d}){\,\big{|}\,}\sup_{x\in\mathbb{R}^{d},r>0}r^{\frac{\lambda-d}{q}}\left\|f\chi_{B(x,r)}\right\|_{q}<\infty\right\}.$$

$$L^{\alpha,\infty}(\mathbb{R}^{d})=\left\{f\in L^{1}_{loc}(\mathbb{R}^{d}){\,\big{|}\,}\left\|f\right\|^{\ast}_{\alpha,\infty}<\infty\right\},$$

$${\Vert S{t}_{\rho }^{(\alpha )}f\Vert }_{q,p,\alpha }={\Vert f\Vert }_{q,p,\alpha },0<\rho <\infty \text{ and }f\in L_{loc}^1({\mathbb{R}}^d).$$

$${\int }_{{\mathbb{R}}^d}\left(S{t}_{\rho }^{(\alpha )}f\right)(x)g(x)dx={\int }_{{\mathbb{R}}^d}f(x)\left(S{t}_{{\rho }^{-1}}^{({\alpha }^{\prime })}g\right)(x)dx.$$

$$\mathcal{B}={\mathcal{B}}_{\Phi }:=\left\{f=\sum _{j\in J}{a}_j{\phi }_j:\sum _{j\in J}\left|a_j\right|<\infty \right\},$$

$$\left\|f\right\|_{\mathcal{B}}=\inf\left\{\sum_{j\in J}\left|a_{j}\right|{\,\big{|}\,}f=\sum_{j\in J}a_{j}\varphi_{j}\right\}.$$

$$\left\{\begin{array}[]{l}\sum_{n\geq 1}\left|c_{n}\right|<\infty\\ \left\|f_{n}\right\|_{q^{\prime},p^{\prime}}\leq 1,\ n\geq 1\\ f:=\sum_{n\geq 1}c_{n}St^{(\alpha^{\prime})}_{\rho_{n}}f_{n}\text{ in the sense of }L^{1}_{loc}(\mathbb{R}^{d})\end{array}\right..$$

$${\Vert f\Vert }_{\mathcal{H}(q,p,\alpha )}:=\inf \left\{\sum _{n\ge 1}\left|c_n\right|\right\},$$

$$f\in L^{{\alpha }^{\prime }}\text{ and }{\Vert f\Vert }_{{\alpha }^{\prime }}\le {\Vert f\Vert }_{q^{\prime },p^{\prime }}.$$

$$S{t}_{\rho }^{({\alpha }^{\prime })}f\in L^{{\alpha }^{\prime }}\text{ and }{\Vert S{t}_{\rho }^{({\alpha }^{\prime })}f\Vert }_{{\alpha }^{\prime }}\le {\Vert f\Vert }_{q^{\prime },p^{\prime }}.$$

$$\Phi=\left\{St^{(\alpha^{\prime})}_{\rho}f{\,\big{|}\,}\rho>0\text{ and }\left\|f\right\|_{q^{\prime},p^{\prime}}\leq 1\right\}.$$

$$u_k=S{t}_{r_k^{-1}}^{({\alpha }^{\prime })}({\mathfrak{a}}_k),$$

$${\Vert 2^{-d}{C}^{-1}{u}_k\Vert }_{q^{\prime },1}\le 1\text{ and }f=\sum _{k\ge 1}(2^{d}C{c}_k)S{t}_{r_k}^{({\alpha }^{\prime })}(2^{-d}{C}^{-1}{u}_k).$$

$$(L^{q^{\prime }},{\ell }^{p^{\prime }})({\mathbb{R}}^d)\subset \mathcal{H}(q,p,\alpha )\subset L_{loc}^1({\mathbb{R}}^d),$$

$$S{t}_{\rho }^{({\alpha }^{\prime })}f=\sum _{n\ge 1}{c}_{n}S{t}_{\rho {\rho }_n}^{({\alpha }^{\prime })}{f}_n$$

$$S{t}_{\rho }^{({\alpha }^{\prime })}f\in \mathcal{H}(q,p,\alpha )\text{ and }{\Vert S{t}_{\rho }^{({\alpha }^{\prime })}f\Vert }_{\mathcal{H}(q,p,\alpha )}={\Vert f\Vert }_{\mathcal{H}(q,p,\alpha )}.$$

$$f={\Vert f\Vert }_{q^{\prime },p^{\prime }}S{t}_1^{({\alpha }_1)}({\Vert f\Vert }_{q^{\prime },p^{\prime }}^{-1}f)\text{ and }{\Vert {\Vert f\Vert }_{q^{\prime },p^{\prime }}^{-1}f\Vert }_{q^{\prime },p^{\prime }}=1$$

$${\Vert f\Vert }_{\mathcal{H}(q,p,\alpha )}\le {\Vert f\Vert }_{q^{\prime },p^{\prime }}.$$

$$c_{n}S{t}_{{\rho }_n}^{({\alpha }^{\prime })}{f}_n\in X\text{ and }{\Vert c_{n}S{t}_{{\rho }_n}^{({\alpha }^{\prime })}{f}_n\Vert }_X=\left|c_n\right|{\Vert f_n\Vert }_X\le K\left|c_n\right|,n\ge 1.$$

$$\sum _{n\ge 1}{\Vert c_{n}S{t}_{{\rho }_n}^{({\alpha }^{\prime })}{f}_n\Vert }_X\le K\sum _{n\ge 1}\left|c_n\right|$$

$$f=\sum _{n\ge 1}{c}_{n}S{t}_{{\rho }_n}^{({\alpha }^{\prime })}{f}_n\in X\text{ and }{\Vert f\Vert }_X\le K\sum _{n\ge 1}\left|c_n\right|.$$

Full text

Hans G. Feichtinger is grateful to J. Feuto and I. Fofana for the opportunity to visit Abidjan and give a course on Banach Gelfand Triples at the Conference Harmonic Analysis and Applications

1. Introduction

Let $d$ be a fix positive integer and $\mathbb{R}^{d}$ the $d$-dimensional Euclidean space, equipped with its Lebesgue measure $dx$. For $1\leq q,p\leq\infty$ the amalgam of $L^{q}$ and $L^{p}$ is the space $(L^{q},\ell^{p})$ of function $f:\mathbb{R}^{d}\rightarrow\mathbb{C}$ which are locally in $L^{q}$ and such that the sequence $\left\{\left\|f\chi_{I_{k}}\right\|_{q}\right\}_{k\in\mathbb{Z}^{d}}$ belongs to $\ell^{p}(\mathbb{Z}^{d})$, where $I_{k}=k+\left[0,1\right)^{d}$. The map $f\mapsto\left\|f\right\|_{p}$ denotes the usual norm on the Lebesgue space $L^{p}(\mathbb{R}^{d})$ on $\mathbb{R}^{d}$ while $\chi_{E}$ stands for the characteristic function of the subset $E$ of $\mathbb{R}^{d}$.

Amalgam spaces have being introduced by N. Wiener in 1926 (see [31]), but their systematic study began with the work of F. Holland [23] in 1975. Since then, they have been widely studied (see [2, 21, 11, 12, 30, 17] and the references therein). It is easy to see that the usual Lebesgue space $L^{q}$ coincides with the amalgam space $(L^{q},\ell^{q})$. Also, the Lebesgue space $L^{q}$ is known to be invariant under dilations. In fact, for $\rho>0$, the dilation operator $St^{(q)}_{\rho}:f\mapsto\rho^{-\frac{d}{q}}f(\rho^{-1}\cdot)$ is isometric. Proper amalgam spaces don’t have this property. Even worse, for $q\neq p$ we can’t found $\alpha>0$ such that $\sup_{\rho>0}\left\|St^{(\alpha)}_{\rho}f\right\|_{q,p}<\infty$, although $St^{(\alpha)}_{\rho}f\in(L^{q},\ell^{p})$ for all $f\in(L^{q},\ell^{p})$, $\rho>0$ and $\alpha>0$ (see e.g. [3] or [24]). In order to compensate this shortfall, Fofana introduced (see [18]) in the years 1980’s the functions spaces $(L^{q},\ell^{p})^{\alpha}$, which consist of $f\in(L^{q},\ell^{p})$ satisfying $\sup_{\rho>0}\left\|St^{(\alpha)}_{\rho}f\right\|_{q,p}<\infty$ (see Section 2 for more precision).

These spaces can be viewed as some generalized Morrey spaces, and we will always refer to them as Fofana spaces.

Many classical results for Lebesgue and the classical Morrey spaces have been extended to the setting of the spaces $(L^{q},\ell^{p})^{\alpha}(\mathbb{R}^{d})$ (see [18, 19, 20, 14, 15, 16, 27, 5, 29, 4]). Although the dual space of Lebesgue spaces $L^{\alpha}(\mathbb{R}^{d})$ ($1\leq\alpha<\infty)$ and amalgam spaces $(L^{q},\ell^{p})(\mathbb{R}^{d})$ ($1\leq q,p<\infty$) are well known ($L^{\alpha^{\prime}}$ and $(L^{q^{\prime}},\ell^{p^{\prime}})$ respectively with $\frac{1}{p^{\prime}}+\frac{1}{p}=1$), the one of $(L^{q},\ell^{p})^{\alpha}(\mathbb{R}^{d})$ is still unknown. But in the case $p=\infty$ and $q<\alpha$, there are already four characterizations of the pre-dual of $(L^{q},\ell^{\infty})^{\alpha}(\mathbb{R}^{d})$ (see [1, 22, 26, 32]) which are equal.

The purpose of this paper is to give a beginning of answer by the determination of a pre-dual of $(L^{q},\ell^{p})^{\alpha}(\mathbb{R}^{d})$ for $1<q<\alpha<p<\infty$.

In doing so we will make use of the idea of minimal invariant Banach spaces of functions which has already quite some tradition and has shown to be useful in a variety of situations, see [6, 7, 8, 9, 10] or [25].

The paper is organized as follows : In Section 2, we give some basic facts about amalgams and minimal Banach spaces. The third section is devoted to pre-dual of Fofana spaces as well as certain properties of these spaces.

2. Some basic facts about Amalgam and Minimal Banach spaces

For any normed space $E$, we denote by $E^{\ast}$ its topological dual space. Given $1\leq p,q\leq\infty$, the amalgam space $(L^{q},\ell^{p})$ is equipped with the norm $\left\|f\right\|_{q,p}=\left\|\left\{\left\|f\chi_{I_{k}}\right\|_{q}\right\}\right\|_{\ell^{p}}$. For any $\rho>0$, we put

[TABLE]

with $I^{\rho}_{k}=\Pi^{d}_{j=1}\left[k_{j}\rho,(k_{j}+1)\rho\right)\text{ if }k=(k_{j})_{1\leq j\leq d}\in\mathbb{Z}^{d}.$ It is clear that $\left\|f\right\|_{q,p}=\ _{1}\left\|f\right\|_{q,p}$.

We have the following well known properties (see for example [21]).

1. (1)

For $0<\rho<\infty$, $f\mapsto\ _{\rho}\left\|f\right\|_{q,p}$ is a norm on $(L^{q},\ell^{p})(\mathbb{R}^{d})$ equivalent to $f\mapsto\left\|f\right\|_{q,p}$. With respect to these norms the amalgam spaces $(L^{q},\ell^{p})(\mathbb{R}^{d})$ are Banach spaces. 2. (2)

The spaces are (strictly) increasing with the global exponent $q$ and (strictly) decreasing with a growing local exponent $q$; more precisely

[TABLE] 3. (3)

For $0<\rho<\infty$, Hölder’s inequality is fulfilled :

[TABLE]

where $q^{\prime}$ and $p^{\prime}$ are conjugate exponent of $q$ and $p$ respectively: $\frac{1}{q}+\frac{1}{q^{\prime}}=1=\frac{1}{p}+\frac{1}{p^{\prime}}$. When $1\leq q,p<\infty$, $(L^{q^{\prime}},\ell^{p^{\prime}})(\mathbb{R}^{d})$ is isometrically isomorphic to the dual $(L^{q},\ell^{p})(\mathbb{R}^{d})^{\ast}$ of $(L^{q},\ell^{p})(\mathbb{R}^{d})$ in the sense that for any element $T$ of $(L^{q},\ell^{p})(\mathbb{R}^{d})^{\ast}$, there is an unique element $\phi(T)$ of $(L^{q^{\prime}},\ell^{p^{\prime}})(\mathbb{R}^{d})$ such that

[TABLE]

and furthermore

[TABLE]

We recall that \left\|T\right\|:=\sup\left\{\left|\left\langle T,f\right\rangle\right|{\,\big{|}\,}f\in L^{q}_{loc}(\mathbb{R}^{d})\text{ and }\left\|f\right\|_{q,p}\leq 1\right\}.

Next we summarize a couple of properties of dilation operators. We assume that $1\leq\alpha\leq\infty$.

1. (1)

For any real number $\rho>0$, $St^{(\alpha)}_{\rho}$ maps $L^{1}_{loc}(\mathbb{R}^{d})$ into itself. 2. (2)

$St^{(\alpha)}_{1}f=f,\ f\in L^{1}_{loc}(\mathbb{R}^{d})$. 3. (3)

$St^{(\alpha)}_{\rho_{1}}\circ St^{(\alpha)}_{\rho_{2}}=St^{(\alpha)}_{\rho_{1}\rho_{2}}=St^{(\alpha)}_{\rho_{2}}\circ St^{(\alpha)}_{\rho_{1}}$.

In other words, $(St^{(\alpha)}_{\rho})_{\rho>0}$ is a commutative group of operators on $L^{1}_{loc}(\mathbb{R}^{d})$, isomorphic to the multiplicative group $(0,\infty)$. As mentioned in the introduction, we have for $1\leq\alpha\leq\infty$

[TABLE]

In other words, each of those normalizations is isometric on exactly one of the family of $L^{r}$-spaces.

For amalgam spaces, direct computations (see for example (2.1) and Proposition 2.2 in [16]) give the following results:

[TABLE]

and therefore

[TABLE]

It follows that the space $(L^{q},\ell^{p})^{\alpha}(\mathbb{R}^{d})$ can be defined by

[TABLE]

We recall that for $q<\alpha$, the space $(L^{q},\ell^{\infty})^{\alpha}(\mathbb{R}^{d})$ is exactly the classical Morrey space $\mathcal{M}_{q,\frac{dq}{\alpha}}(\mathbb{R}^{d})$ introduced by Morrey in 1938, see [28], and defined for $\lambda=\frac{dq}{\alpha}$ by

[TABLE]

Fofana spaces have the following properties (cf. [18], [19]):

1. (1)

$\left((L^{q},\ell^{p})^{\alpha}(\mathbb{R}^{d}),\left\|\cdot\right\|_{q,p,\alpha}\right)$ is a Banach space which is non trivial if and only if $q\leq\alpha\leq p$, 2. (2)

if $\alpha\in\left\{p,q\right\}$ then $(L^{q},\ell^{p})^{\alpha}(\mathbb{R}^{d})=L^{\alpha}(\mathbb{R}^{d})$ with equivalent norms, 3. (3)

if $q<\alpha<p$ then $L^{\alpha}(\mathbb{R}^{d})\subsetneq L^{\alpha,\infty}(\mathbb{R}^{d})\subsetneq(L^{q},\ell^{p})^{\alpha}(\mathbb{R}^{d})\subsetneq(L^{q},\ell^{p})(\mathbb{R}^{d})$, where $L^{\alpha,\infty}(\mathbb{R}^{d})$ is the weak Lebesgue space on $\mathbb{R}^{d}$ defined by

[TABLE]

with $\left\|f\right\|^{\ast}_{\alpha,\infty}:=\sup_{\lambda>0}\left|\left\{x\in\mathbb{R}^{d}{\,|\,}\left|f(x)\right|>\lambda\right\}\right|^{\frac{1}{\alpha}}$. We denote by $\left|E\right|$, the Lebesgue measure of a measurable subset $E$ of $\mathbb{R}^{d}$.

For any $\rho>0$, the dilation $St^{(\alpha)}_{\rho}$ map isometrically the space $(L^{q},\ell^{p})^{\alpha}(\mathbb{R}^{d})$ to itself. More precisely,

[TABLE]

Remark 2.1**.**

It is easy to see that, if $0<\rho<\infty$ and $(f,g)$ is an element of $L^{1}_{loc}(\mathbb{R}^{d})\times L^{1}_{loc}(\mathbb{R}^{d})$ such that $(St^{(\alpha)}_{\rho}f)g$ belongs to $L^{1}(\mathbb{R}^{d})$, then $f(St^{(\alpha)}_{\rho^{-1}}g)$ belongs to $L^{1}(\mathbb{R}^{d})$ and

[TABLE]

Searching for a dilation invariant version of the Segal algebra $S_{0}({\mathbb{R}}^{d})$ (introduced in [8]) Feichtinger and Zimmermann introduced a certain exotic minimal space in [13]. We will use later on the following result of that paper:

Theorem 2.2** ([13], Theorem 2.1).**

Let $\bf B$ be a Banach space, and $\Phi=(\varphi_{j})_{j\in J}$ a (not necessarily countable) bounded family in $\bf B$. Define

[TABLE]

and let

[TABLE]

Then $(\mathcal{B},\left\|\cdot\right\|_{\mathcal{B}})$ is a Banach space continuously embedded into $\bf B$.

3. A pre-dual of Fofana spaces

Definition 3.1**.**

Let $1\leq q\leq\alpha\leq p\leq\infty$. The space $\mathcal{H}(q,p,\alpha)$ is defined as the set of all elements $f$ of $L^{1}_{loc}(\mathbb{R}^{d})$ for which there exist a sequence $\left\{(c_{n},\rho_{n},f_{n})\right\}_{n\geq 1}$ of elements of $\mathbb{C}\times(0,\infty)\times(L^{q^{\prime}},\ell^{p^{\prime}})(\mathbb{R}^{d})$ such that

[TABLE]

We will always refer to any sequence $\left\{(c_{n},\rho_{n},f_{n})\right\}_{n\geq 1}$ of elements of $\mathbb{C}\times(0,\infty)\times(L^{q^{\prime}},\ell^{p^{\prime}})(\mathbb{R}^{d})$ satisfying (3.1) as $\mathfrak{h}$-decomposition of $f$.

For any element $f$ of $\mathcal{H}(q,p,\alpha)$, we set

[TABLE]

where the infimum is taken over all $\mathfrak{h}$-decomposition of $f$.

Proposition 3.2**.**

Let $1\leq q\leq\alpha\leq p\leq\infty$. $\mathcal{H}(q,p,\alpha)$ endowed with $\left\|\cdot\right\|_{\mathcal{H}(q,p,\alpha)}$ is a Banach space continuously embedded into $L^{\alpha^{\prime}}(\mathbb{R}^{d})$.

Proof.

Since $1\leq p^{\prime}\leq\alpha^{\prime}\leq q^{\prime}\leq\infty$, it comes from (2.2) and (2.3) that for any element $f\in(L^{q^{\prime}},\ell^{p^{\prime}})(\mathbb{R}^{d})$,

[TABLE]

Therefore, by (2.6)

[TABLE]

The result follows from Theorem 2.2, using the Banach space ${\bf B}=L^{\alpha^{\prime}}(\mathbb{R}^{d})$ and its bounded subset

[TABLE]

$\Box$

For $1<p<\infty$ and $0<\lambda<d$. Zorko proved in [32] that the Morrey space $\mathcal{M}_{p,\lambda}$ is the dual space of the space $\mathcal{Z}_{p^{\prime},\lambda}$, which consists of all the functions $f$ on $\mathbb{R}^{d}$ which can be written in the form $f:=\sum_{k}c_{k}\mathfrak{a}_{k}$, where $\left\{c_{k}\right\}$ is a sequence in $\ell^{1}$, and $\left\{\mathfrak{a}_{k}\right\}$ is a sequence of functions on $\mathbb{R}^{d}$ satisfying for each $k$,

• •

$\mathrm{supp}\ \mathfrak{a}_{k}\subset\text{ a ball }B_{k}$,

• •

$\left\|\mathfrak{a}_{k}\right\|_{p^{\prime}}\leq 1/{\left|B_{k}\right|^{\frac{d-\lambda}{dp}}}.$

Notice that for $p=\infty$ and $q<\alpha$, the space $\mathcal{Z}_{q^{\prime},\frac{dq}{\alpha}}$ is continuously embedded into $\mathcal{H}(q,\infty,\alpha)$. In fact, let $f=\sum_{k}c_{k}\mathfrak{a}_{k}\in\mathcal{Z}_{q^{\prime},\frac{dq}{\alpha}}$ with the sequences $\left\{c_{k}\right\}$ and $\left\{\mathfrak{a}_{k}\right\}$ as in the Introduction. For any $k\in{\mathbb{N}}$, we put

[TABLE]

where $r_{k}$ is the radius of the ball $B_{k}$ associated to $\mathfrak{a}_{k}$. There exists a constant $C>0$ (one can take $C=\left|B(0,1)\right|^{\frac{1}{\alpha}-\frac{1}{q}}$), such that

[TABLE]

We prove next that for $1\leq q\leq\alpha\leq p\leq\infty$, the space $\mathcal{H}(q,p,\alpha)$ is a certain minimal Banach space.

Proposition 3.3**.**

For $1\leq q\leq\alpha\leq p\leq\infty$, the space $\mathcal{H}(q,p,\alpha)$ is a minimal Banach space, isometrically invariant under the family $(St^{(\alpha^{\prime})}_{\rho})_{\rho>0}$ and such that

[TABLE]

with continuous inclusions.

Proof.

1. (1)

Let us first prove that $\mathcal{H}(q,p,\alpha)$ is isometrically invariant by $St^{(\alpha^{\prime})}_{\rho}$ for all $\rho>0$.

Let $f\in\mathcal{H}(q,p,\alpha)$. For $0<\rho<\infty$ and any $\mathfrak{h}$-decomposition $\left\{(c_{n},\rho_{n},f_{n})\right\}_{n\geq 1}$ of $f$, we have

[TABLE]

so that

[TABLE]

Thus, $St^{(\alpha^{\prime})}_{\rho}$ is an isometric automorphism of $\mathcal{H}(q,p,\alpha)$. 2. (2)

First we verify that $(L^{q^{\prime}},\ell^{p^{\prime}})$ is continuously embedded into $\mathcal{H}(q,p,\alpha)$. For any $0\neq f\in(L^{q^{\prime}},\ell^{p^{\prime}})$ we have

[TABLE]

and therefore $f$ belongs to $\mathcal{H}(q,p,\alpha)$ and satisfies

[TABLE]

Thus our claim is verified. 3. (3)

It remains to prove that this space is minimal. Let $X$ be another Banach space continuously embedded into $L^{1}_{loc}(\mathbb{R}^{d})$ such that

1. (a)

$X$ is isometrically invariant by $(St^{(\alpha^{\prime})}_{\rho})_{\rho>0}$, i.e., if $f\in X$ then $St^{(\alpha^{\prime})}_{\rho}f\in X\text{ and }\left\|St^{(\alpha^{\prime})}_{\rho}f\right\|_{X}=\left\|f\right\|_{X},\ \rho>0$, 2. (b)

$(L^{q^{\prime}},\ell^{p^{\prime}})(\mathbb{R}^{d})$ is continuously embedded into $X$, i.e., there exists $K>0$ such that for $f\in(L^{q^{\prime}},\ell^{p^{\prime}})(\mathbb{R}^{d})$, $f\in X$ and $\left\|f\right\|_{X}\leq K\ _{1}\left\|f\right\|_{q^{\prime},p^{\prime}}$.

For $f\in\mathcal{H}(q,p,\alpha)$ and any $\mathfrak{h}$-decomposition $\left\{(c_{n},\rho_{n},f_{n})\right\}_{n\geq 1}$

[TABLE]

Thus

[TABLE]

and therefore, as $X$ is a Banach space,

[TABLE]

From this and (3.2) it follows that

[TABLE]

Thus $\mathcal{H}(q,p,\alpha)$ is continuously included in $X$.

$\Box$

Our main result can be stated as follows.

Theorem 3.4**.**

Let $1<q\leq\alpha\leq p\leq\infty$. The operator $g\mapsto T_{g}$ defined by (3.6) is an isometric isomorphism of $(L^{q},\ell^{p})^{\alpha}(\mathbb{R}^{d})$ into $\mathcal{H}(q,p,\alpha)^{\ast}$.

For the proof, we need some intermediate results.

Remark 3.5**.**

It is clear that if $\left\{(c_{n},\rho_{n},f_{n})\right\}_{n\geq 1}$ is a $\mathfrak{h}$-decomposition of $f\in\mathcal{H}(q,p,\alpha)$, then $(\sum^{m}_{n=1}c_{n}St^{(\alpha^{\prime})}_{\rho_{n}}f_{n})_{m\geq 1}$ is a sequence of elements of $(L^{q^{\prime}},\ell^{p^{\prime}})(\mathbb{R}^{d})$ which converges to $f$ in $\mathcal{H}(q,p,\alpha)$. Hence $(L^{q^{\prime}},\ell^{p^{\prime}})(\mathbb{R}^{d})$ is a dense subspace of $\mathcal{H}(q,p,\alpha)$.

Proposition 3.6**.**

Let $1\leq q\leq\alpha\leq p\leq\infty$, $f\in\mathcal{H}(q,p,\alpha)$ and $g\in(L^{q},\ell^{p})^{\alpha}$. Then $fg$ belongs to $L^{1}(\mathbb{R}^{d})$ and

[TABLE]

Proof.

Let $\left\{(c_{n},\rho_{n},f_{n})\right\}_{n\geq 1}$ be a $\mathfrak{h}$-decomposition of $f$.

By using successively (2.11), (2.4) and (2.7), we obtain for any $n\geq 1$,

[TABLE]

Therefore we have

[TABLE]

This implies that $fg=\sum_{n\geq 1}c_{n}St^{(\alpha^{\prime})}_{\rho_{n}}f_{n}g$ belongs to $L^{1}(\mathbb{R}^{d})$ and

[TABLE]

Taking the infimum with respect to all $\mathfrak{h}$-decompositions of $f$, we get

[TABLE]

$\Box$

Remark 3.7**.**

Let $1\leq q\leq\alpha\leq p\leq\infty$ and set :

[TABLE]

By Prop. 3.6 and the fact that $\varphi\mapsto\int_{\mathbb{R}^{d}}\varphi(x)dx$ belongs to $L^{1}(\mathbb{R}^{d})^{\ast}$, that :

1. (1)

for any element $g$ of $(L^{q},\ell^{p})^{\alpha}(\mathbb{R}^{d})$, $f\mapsto\left\langle T_{g},f\right\rangle$ belongs to $\mathcal{H}(q,p,\alpha)^{\ast}$, 2. (2)

$T:g\mapsto T_{g}$* is linear and bounded mapping from $(L^{q},\ell^{p})^{\alpha}(\mathbb{R}^{d})$ into $\mathcal{H}(q,p,\alpha)^{\ast}$ satisfying $\left\|T\right\|\leq 1$, that is :*

[TABLE]

Now we can prove our main result.

Proof of Theorem 3.4.

We know (see Remark 3.7) that $g\mapsto T_{g}$ is a bounded linear application of $(L^{q},\ell^{p})^{\alpha}(\mathbb{R}^{d})$ into $\mathcal{H}(q,p,\alpha)^{\ast}$ such that

[TABLE]

Let $T$ be an element of $\mathcal{H}(q,p,\alpha)^{\ast}$. From (3.4) it follows that the restriction $T_{0}$ of $T$ to $(L^{q^{\prime}},\ell^{p^{\prime}})(\mathbb{R}^{d})$ belongs to $(L^{q^{\prime}},\ell^{p^{\prime}})(\mathbb{R}^{d})^{\ast}$. Furthermore, we have $1\leq p^{\prime}\leq\alpha^{\prime}\leq q^{\prime}<\infty$. So, by (2.5), there is an element $g$ of $(L^{q},\ell^{p})(\mathbb{R}^{d})$ such that

[TABLE]

Hence , for $f\in(L^{q^{\prime}},\ell^{p^{\prime}})(\mathbb{R}^{d})$ and $\rho>0$ we have

[TABLE]

by (2.4) and (2.11), and

[TABLE]

by (3.3) and (3.4). From this and (2.5) it follows that

[TABLE]

and therefore, by (2.7),

[TABLE]

From (3.8), the density of $(L^{q^{\prime}},\ell^{p^{\prime}})(\mathbb{R}^{d})$ in $\mathcal{H}(q,p,\alpha)$ (see Remark 3.5) and Prop. 3.6, we get

[TABLE]

This completes the proof. $\Box$

We end this paper by stating some interesting properties of the spaces $\mathcal{H}(q,p,\alpha)$.

Proposition 3.8**.**

Let $1\leq q\leq\alpha\leq p\leq\infty$.

1. (1)

*The space $\mathcal{H}(q,p,\alpha)$ is a Banach $L^{1}(\mathbb{R}^{d})$-module: *

for $(f,\varphi)\in\mathcal{H}(q,p,\alpha)\times L^{1}(\mathbb{R}^{d})$

[TABLE] 2. (2)

If $1<q$ and $\varphi\in L^{1}(\mathbb{R}^{d})$ with $\varphi\geq 0$ and $\left\|\varphi\right\|_{1}=1$ then

[TABLE]

Consequently $\mathcal{H}(q,p,\alpha)$ is an essential Banach $L^{1}(\mathbb{R}^{d})$-module. 3. (3)

For $1<p,q\leq\infty$ the Schwartz space of rapidly decreasing functions or the space of compactly supported $C^{\infty}$-functions are dense subspaces of $\mathcal{H}(q,p,\alpha)$. 4. (4)

For $1<p,q\leq\infty$, the Banach space $\mathcal{H}(q,p,\alpha)$ is separable.

Proof.

Let $f\in\mathcal{H}(q,p,\alpha)$ and $\varphi\in L^{1}(\mathbb{R}^{d})\setminus\left\{0\right\}$ .

1. (1)

Let $\left\{(c_{n},\rho_{n},f_{n})\right\}_{n\geq 1}$ be a $\mathfrak{h}$-decomposition of $f$. A direct computation shows that

[TABLE]

Hence, combining the fact that $(L^{q^{\prime}},\ell^{p^{\prime}})(\mathbb{R}^{d})$ is a $L^{1}(\mathbb{R}^{d})$ Banach module and Relation (2.6), we obtain

[TABLE]

This implies that

[TABLE]

Moreover

[TABLE]

Therefore

[TABLE]

in the sense of $L^{1}_{loc}(\mathbb{R}^{d})$, with

[TABLE]

That is $f\ast\varphi$ belongs to $\mathcal{H}(q,p,\alpha)$ and satisfies

[TABLE] 2. (2)

Let us assume that $1<q$ and $\left\|\varphi\right\|_{1}=1$. For any real number $\epsilon>0$, we set $\varphi_{\epsilon}=St^{(1)}_{\epsilon}\varphi$. Let us consider $\left\{(c_{n},\rho_{n},f_{n})\right\}_{n\geq 1}$, a $\mathfrak{h}$-decomposition of $f$. b We know that the sequence $(f^{m})_{m\geq 1}$ defined by

[TABLE]

converges to $f$ in $\mathcal{H}(q,p,\alpha)$. Let us fix any real number $\delta>0$. There is a positive integer $m_{\delta}$ satisfying

[TABLE]

Moreover, for any real number $\epsilon>0$, we have

[TABLE]

The last term is not greater than

[TABLE]

where

[TABLE]

It comes that

[TABLE]

By hypothesis, we have $1\leq p^{\prime}\leq q^{\prime}<\infty$ and therefore

[TABLE]

So we have

[TABLE]

and therefore

[TABLE]

This inequality being true for any real number $\delta>0$, we actually have $\lim_{\epsilon\rightarrow 0}\left\|f\ast\varphi_{\epsilon}-f\right\|_{\mathcal{H}(q,p,\alpha)}=0$. 3. (3)

Approximating a given function in ${\mathcal{H}(q,p,\alpha)}$ first by some function with compact support and then convolving it by some compactly supported, infinitely differentiable test function provides an approximation by a test function, which also belongs to the Schwartz space. 4. (4)

For $1<q\leq p\leq\infty$, we have $1\leq p^{\prime}\leq q^{\prime}<\infty$. But it is well known that $(L^{q^{\prime}},\ell^{p^{\prime}})$ is separable. Thus the result follows from the density of $(L^{q^{\prime}},\ell^{p^{\prime}})$ in ${\mathcal{H}(q,p,\alpha)}$.

$\Box$

For $1<q\leq\alpha\leq p\leq\infty$, we have defined a pre-dual of the Fofana space $(L^{q},\ell^{p})^{\alpha}$ using some atomic decomposition method developed by Feichtinger, and proved that for $p=\infty$ and $q<\alpha$, the pre-dual of classical Morrey space is embedded in our space. But our further goal is to find the dual space of $(L^{q},\ell^{p})^{\alpha}$ and their interpolation spaces. This appears not as an easy task and has to be left for future work.

4. Conclusion

In summary we have used techniques concerning minimal invariant Banach spaces of functions in order to characterize the pre-dual of certain Fofana spaces which have not been known so far. Starting from a characterization of a Fofana space as a (dense) subspace of a Wiener amalgam space under a certain group of (suitably normalized) dilation operators one can generate the predual space by starting from the predual of the mentioned Wiener amalgam spaces and then describing the predual via atomic decompositions, using the (adjoint) group of dilation operators.

Acknowledgement: During the period of the preparation of the material for this manuscript (spring and summer of 2018) the first author held a guest position at TU Muenich, Dept. of Theoretical Information Sciences (H. Boche). The second author is thankful to Fofana Ibrahim for drawing his attention to the separability of the predual, and many helpful discussions.