Some Intrinsic Characterizations of Besov-Triebel-Lizorkin-Morrey-type Spaces on Lipschitz Domains

Abstract.

We give Littlewood-Paley type characterizations for Besov-Triebel-Lizorkin-type spaces $\mathscr{B}_{pq}^{s\tau},\mathscr{F}_{pq}^{s\tau}$ and Besov-Morrey spaces $\mathcal{N}_{uqp}^{s}$ on a special Lipschitz domain $\Omega\subset\mathbb{R}^{n}$: for a suitable sequence of Schwartz functions $(\phi_{j})_{j=0}^{\infty}$,

$$\|f\|_{\mathscr{B}_{pq}^{s\tau}(\Omega)} \textstyle\approx\sup_{P\text{ dyadic cubes}}|P|^{-\tau}\|(2^{js}\phi_{j}\ast f)_{j=\log_{2}\ell(P)}^{\infty}\|_{\ell^{q}(L^{p}(\Omega\cap P))};$$

$$\|f\|_{\mathscr{F}_{pq}^{s\tau}(\Omega)} \textstyle\approx\sup_{P\text{ dyadic cubes}}|P|^{-\tau}\|(2^{js}\phi_{j}\ast f)_{j=\log_{2}\ell(P)}^{\infty}\|_{L^{p}(\Omega\cap P;\ell^{q})};$$

$$\|f\|_{\mathcal{N}_{uqp}^{s}(\Omega)} \textstyle\approx\big{\|}\big{(}\sup_{P\text{ dyadic cubes}}|P|^{\frac{1}{u}-\frac{1}{p}}\cdot 2^{js}\|\phi_{j}\ast f\|_{L^{p}(\Omega\cap P)}\big{)}_{j=0}^{\infty}\big{\|}_{\ell^{q}}.$$

We also show that $\|f\|_{\mathscr{B}_{pq}^{s\tau}(\Omega)}$, $\|f\|_{\mathscr{F}_{pq}^{s\tau}(\Omega)}$ and $\|f\|_{\mathcal{N}_{uqp}^{s}(\Omega)}$ have equivalent (quasi-)norms via derivatives: for $\mathscr{X}^{\bullet}\in\{\mathscr{B}_{pq}^{\bullet,\tau},\mathscr{F}_{pq}^{\bullet,\tau},\mathcal{N}_{uqp}^{\bullet}\}$, we have $\|f\|_{\mathscr{X}^{s}(\Omega)}\approx\sum_{|\alpha|\leq m}\|\partial^{\alpha}f\|_{\mathscr{X}^{s-m}(\Omega)}$.

In particular $\|f\|_{\mathscr{F}_{\infty q}^{s}(\Omega)}\approx\sum_{|\alpha|\leq m}\|\partial^{\alpha}f\|_{\mathscr{F}_{\infty q}^{s-m}(\Omega)}\approx\sup_{P}|P|^{-n/q}\|(2^{js}\phi_{j}\ast f)_{j=\log_{2}\ell(P)}^{\infty}\|_{\ell^{q}(L^{q}(\Omega\cap P))}$.

1. Introduction

Let $\Omega\subset\mathbb{R}^{n}$ be a special Lipschitz domain, that is, $\Omega$ is of the form $\{(x^{\prime},x_{n}):x_{n}>\rho(x^{\prime})\}$ where $\rho:\mathbb{R}^{n-1}\to\mathbb{R}$ is a Lipschitz function such that $\|\nabla\rho\|_{L^{\infty}}<\infty$. (See also [Tri06, Definition 1.103].)

In [Ryc99], based on the construction of his extension operator, Rychkov gave a Littlewood-Paley type intrinsic characterization of the Triebel-Lizorkin spaces on $\Omega$: for $0<p<\infty$, $0<q\leq\infty$ and $s\in\mathbb{R}$, $\mathscr{F}_{pq}^{s}(\Omega)$ has the following equivalent (quasi-)norm (see [Ryc99, Theorem 3.2]):

(1) $$f\mapsto\|(2^{js}\phi_{j}\ast f)_{j=0}^{\infty}\|_{\ell^{q}(\mathbb{Z}_{\geq 0};L^{p}(\Omega))}=\bigg{(}\int_{\Omega}\Big{(}\sum_{j=0}^{\infty}2^{jsq}|\phi_{j}\ast f(x)|^{q}\Big{)}^{p/q}dx\bigg{)}^{1/p}.$$

We take obvious modification for $q=\infty$. Here $(\phi_{j})_{j=0}^{\infty}$ is a carefully chosen family of Schwartz functions such that the convolution $\phi_{j}\ast f$ is defined on $\Omega$, see Definition 4.

In [SY24, Proposition 6.6], we used Rychkov’s construction to prove that $\|f\|_{\mathscr{F}_{pq}^{s}(\Omega)}$ have equivalent (quasi-)norms via their derivatives. More precisely, let $m\geq 1$, for every $0<p<\infty$, $0<q\leq\infty$ and $s\in\mathbb{R}$ there is a $C=C(\Omega,p,q,s,m)>0$ such that

(2) $$C^{-1}\|f\|_{\mathscr{F}_{pq}^{s}(\Omega)}\leq\sum_{|\alpha|\leq m}\|\partial^{\alpha}f\|_{\mathscr{F}_{pq}^{s-m}(\Omega)}\leq C\|f\|_{\mathscr{F}_{pq}^{s}(\Omega)},\quad\forall f\in\mathscr{F}_{pq}^{s}(\Omega).$$

Both (1) and (2) miss the endpoint: do we have the analogy of (1) and (2) for $p=\infty$? In this paper, we give the positive answers to both cases, by using the recently developed Triebel-Lizorkin-type spaces $\mathscr{F}_{pq}^{s\tau}$: we have the coincidences $\mathscr{F}_{\infty q}^{s}=\mathscr{F}_{pq}^{s,\frac{1}{p}}=\mathscr{B}_{qq}^{s,\frac{1}{q}}$ for $0<p<\infty$ (see (9)).

To make the results more general, we include the discussions of Besov-type spaces $\mathscr{B}_{pq}^{s\tau}$ and the Besov-Morrey spaces $\mathscr{N}_{pq}^{s\tau}$, see Definition 6.

We denote by $\mathcal{Q}$ the set of dyadic cubes in $\mathbb{R}^{n}$, that is

(3) $$\mathcal{Q}:=\{Q_{J,v}:J\in\mathbb{Z},v\in\mathbb{Z}^{n}\},\quad\text{where}\quad Q_{J,v}:=2^{-J}v+(0,2^{-J})^{n}.$$

Our result for (1) is the following:

Theorem 1 (Littlewood-Paley type characterizations).

Let $\Omega=\{(x^{\prime},x_{n}):x_{n}>\rho(x^{\prime})\}\subset\mathbb{R}^{n}$ be a special Lipschitz domain and let $(\phi_{j})_{j=0}^{\infty}$ be a Littlewood-Paley family associated with $\Omega$ (see Definition 4). Then for $0<p,q\leq\infty$, $s\in\mathbb{R}$ and $\tau\geq 0$ ($p<\infty$ for $\mathscr{F}$-cases), we have the following equivalent (quasi-)norms:

$$\|f\|_{\mathscr{B}_{pq}^{s\tau}(\Omega)} \approx_{\phi,p,q,s,\tau}\|(2^{js}\mathbf{1}_{\Omega}\cdot(\phi_{j}\ast f))_{j=0}^{\infty}\|_{\ell^{q}L^{p}_{\tau}}=\sup_{Q_{J,v}\in\mathcal{Q}}2^{nJ\tau}\Big{(}\sum_{j=\max(0,J)}^{\infty}2^{jsq}\|\phi_{j}\ast f\|_{L^{p}(Q_{J,v}\cap\Omega)}^{q}\Big{)}^{\frac{1}{q}};$$

$$\|f\|_{\mathscr{F}_{pq}^{s\tau}(\Omega)} \approx_{\phi,p,q,s,\tau}\|(2^{js}\mathbf{1}_{\Omega}\cdot(\phi_{j}\ast f))_{j=0}^{\infty}\|_{L^{p}_{\tau}\ell^{q}}=\sup_{Q_{J,v}\in\mathcal{Q}}2^{nJ\tau}\Big{(}\int_{Q_{J,v}\cap\Omega}\Big{(}\sum_{j=\max(0,J)}^{\infty}2^{jsq}|\phi_{j}\ast f(x)|^{q}\Big{)}^{\frac{p}{q}}dx\Big{)}^{\frac{1}{p}};$$

$$\|f\|_{\mathscr{N}_{pq}^{s\tau}(\Omega)} \approx_{\phi,p,q,s,\tau}\|(2^{js}\mathbf{1}_{\Omega}\cdot(\phi_{j}\ast f))_{j=0}^{\infty}\|_{\ell^{q}M^{p}_{\tau}}=\Big{(}\sum_{j=0}^{\infty}\sup_{Q_{J,v}\in\mathcal{Q}}2^{(js+nJ\tau)q}\|\phi_{j}\ast f\|_{L^{p}(Q_{J,v}\cap\Omega)}^{q}\Big{)}^{\frac{1}{q}}.$$

(See Definition 5 for $\ell^{q}L^{p}_{\tau}$, $L^{p}_{\tau}\ell^{q}$ and $\ell^{q}M^{p}_{\tau}$.) In particular for $0<q\leq\infty$ and $s\in\mathbb{R}$,

$$\|f\|_{\mathscr{F}_{\infty q}^{s}(\Omega)}\approx_{\phi,q,s}\sup_{J\in\mathbb{Z},v\in\mathbb{Z}^{n}}2^{J\frac{n}{q}}\int_{Q_{J,v}\cap\Omega}\Big{(}\sum_{j=\max(0,J)}^{\infty}2^{jqs}|\phi_{j}\ast f(x)|^{q}dx\Big{)}^{\frac{1}{q}}.$$

One can also get some characterizations on bounded Lipschitz domain, whose expressions are less elegant however. See Remark 24.

Similar to [Ryc99, Theorem 2.3], we also have the corresponding characterizations using Peetre maximal functions, see Proposition 21 and Corollary 23.

Our result for (2) is the following:

Theorem 2 (Equivalent norm characterizations via derivatives).

Let $\mathscr{A}\in\{\mathscr{B},\mathscr{F},\mathscr{N}\}$, $0<p,q\leq\infty$, $s\in\mathbb{R}$ and $\tau\geq 0$ ($p<\infty$ for $\mathscr{F}$-cases). Let $\Omega\subset\mathbb{R}^{n}$ be either a special Lipschitz domain or a bounded Lipschitz domain. Then for any positive integer $m$, the space $\mathscr{A}_{pq}^{s\tau}(\Omega)$ has the following equivalent (quasi-)norm:

(4) $$\|f\|_{\mathscr{A}_{p,q}^{s,\tau}(\Omega)}\approx_{p,q,s,m,\tau,\Omega}\sum_{|\alpha|\leq m}\|\partial^{\alpha}f\|_{\mathscr{A}_{p,q}^{s-m,\tau}(\Omega)}.$$

In particular $\|f\|_{\mathscr{F}_{\infty,q}^{s}(\Omega)}\approx_{q,s,m,\Omega}\sum_{|\alpha|\leq m}\|\partial^{\alpha}f\|_{\mathscr{F}_{\infty,q}^{s-m}(\Omega)}$ for all $0<q\leq\infty$ and $s\in\mathbb{R}$.

The Besov-Morrey case $\mathscr{A}=\mathscr{N}$ of Theorem 2 was stated in [YSY15, Proposition 4.15]. However, the key step in their proof requires [Tri08, (4.70)] (see [YSY15, Remark 4.14]), which cannot be achieved.

Remark 3.

In the proof of [Tri08, Proposition 4.21], Triebel claimed the following statement:

(5) $$\|f\|_{\mathscr{A}_{pq}^{s}(\Omega)}\approx\|Ef\|_{\mathscr{A}_{pq}^{s}(\mathbb{R}^{n})}\approx\sum_{|\alpha|\leq m}\|\partial^{\alpha}Ef\|_{\mathscr{A}_{pq}^{s}(\mathbb{R}^{n})}=\sum_{|\alpha|\leq m}\|E\partial^{\alpha}f\|_{\mathscr{A}_{pq}^{s}(\mathbb{R}^{n})}\lesssim\sum_{|\alpha|\leq m}\|\partial^{\alpha}f\|_{\mathscr{A}_{pq}^{s}(\Omega)}.$$

Here $E=E_{\Omega}$ is an extension operator which is bounded on $\mathscr{A}_{pq}^{s}(\Omega)\to\mathscr{A}_{pq}^{s}(\mathbb{R}^{n})$ and $\mathscr{A}_{pq}^{s-m}(\Omega)\to\mathscr{A}_{pq}^{s-m}(\mathbb{R}^{n})$.

However, the commutativity $\partial^{\alpha}\circ E=E\circ\partial^{\alpha}$ in (5) (see [Tri08, (4.70)]) cannot be achieved. In [SY24, Section 1.2] we borrowed some facts from several complex variables to show that $\partial^{\alpha}\circ E=E\circ\partial^{\alpha}$ can never be true: if it is true (even locally) then $\overline{\partial}$-equation for $\Omega$ can gain 1 derivative. To prove Theorem 2 (also to fix the proof of [YSY15, Proposition 4.15]), simply using the boundedness of $E_{\Omega}$ is not enough.

By observing (5) more carefully, the argument still works if $\partial^{\alpha}\circ E=E^{\alpha}\circ\partial^{\alpha}$ hold for some extension operators $E^{\alpha}:\mathscr{A}^{s-m}_{pq}(\Omega)\to\mathscr{A}^{s-m}_{pq}(\Omega)$. This can be done if $E$ is the standard half space extension. Using the operators $E^{\alpha}$ Triebel proved the equivalent norms via derivatives for $\mathbb{R}^{n}_{+}$ and for smooth domains, see [Tri10, Section 3.3.5].

In our case $E$ is Rychkov’s extension operator (see (31)). Even on special Lipschitz domain, it is not known to the author whether $\partial^{\alpha}\circ E=E^{\alpha}\circ\partial^{\alpha}$ can be achieved (which in general should have the form (27)). Nevertheless, a weaker form $\partial^{\alpha}\circ E=\sum_{\beta}E^{\alpha,\beta}\circ\partial^{\beta}$ is enough to fix (5). In the proof we introduce $E^{\alpha,\beta}$ in (41) and get the proof using (42).

See also [SY24, Section 2.2 and Remark 6.5].

2. Function Spaces and Notations

Let $U\subseteq\mathbb{R}^{n}$ be an open set, we define $\mathscr{S}^{\prime}(U)$ to be the space of restricted tempered distributions:
$\mathscr{S}^{\prime}(U):=\{\tilde{f}|_{U}:\tilde{f}\in\mathscr{S}^{\prime}(\mathbb{R}^{n})\}$. See also [Ryc99, Proposition 3.1].

We use the notation $A\lesssim B$ to mean that $A\leq CB$ where $C$ is a constant independent of $A,B$. We use $A\approx B$ for “$A\lesssim B$ and $B\lesssim A$”. And we use $A\lesssim_{x}B$ to emphasize that the constant depends on the quantity $x$.

When $p$ or $q<1$, we use “norms” (for $\mathscr{A}_{pq}^{s\tau}$ etc.) as the abbreviation to the usual “quasi-norms”.

In the paper we use the following Littlewood-Paley family, whose elements do not have compact supports in the Fourier side. It is crucially useful in the construction of Rychkov’s extension operator.

Definition 4.

Let $\Omega=\{x_{n}>\rho(x^{\prime})\}$ be a special Lipschitz domain, a Littlewood-Paley family associated with $\Omega$ is a sequence $\phi=(\phi_{j})_{j=0}^{\infty}\subset\mathscr{S}(\mathbb{R}^{n})$ of Schwartz functions that satisfies the following:

1. Moment condition: $\int x^{\alpha}\phi_{1}(x)dx=0$ for all multi-indices $\alpha\in\mathbb{Z}_{\geq 0}^{n}$.

2. Scaling condition: $\phi_{j}(x)=2^{(j-1)n}\phi_{1}(2^{j-1}x)$ for all $j\geq 2$.

3. Approximate identity: $\sum_{j=0}^{\infty}\phi_{j}=\delta_{0}$ is the Dirac delta measure.

4. Support condition: $\operatorname{supp}\phi_{j}\subset\{(x^{\prime},x_{n}):x_{n}<-\|\nabla\rho\|_{L^{\infty}}\cdot|x^{\prime}|\}$ for all $j\geq 0$.

In the paper we use the sequence spaces $\ell^{q}L^{p}_{\tau}$, $L^{p}_{\tau}\ell^{q}$, $\ell^{q}M^{p}_{\tau}$ given by the following:

Definition 5.

Let $0<p,q\leq\infty$ and $\tau\geq 0$. We denote by $\ell^{q}L^{p}_{\tau}(\mathbb{R}^{n})$ and $L^{p}_{\tau}\ell^{q}(\mathbb{R}^{n})$ the spaces of vector valued measurable functions $(f_{j})_{j=0}^{\infty}\subset L^{p}_{\mathrm{loc}}(\mathbb{R}^{n})$ such that the following (quasi-)norms are finite respectively:

$$\|(f_{j})_{j=0}^{\infty}\|_{\ell^{q}L^{p}_{\tau}} :=\sup_{Q_{J,v}\in\mathcal{Q}}2^{nJ\tau}\|(f_{j})_{j=\max(0,J)}^{\infty}\|_{\ell^{q}(L^{p}(Q_{J,v}))}=\sup_{J\in\mathbb{Z},v\in\mathbb{Z}^{n}}2^{nJ\tau}\Big{(}\sum_{j=\max(0,J)}^{\infty}\|f_{j}\|_{L^{p}(Q_{J,v})}^{q}\Big{)}^{\frac{1}{q}};$$

$$\|(f_{j})_{j=0}^{\infty}\|_{L^{p}_{\tau}\ell^{q}} :=\sup_{Q_{J,v}\in\mathcal{Q}}2^{nJ\tau}\|(f_{j})_{j=\max(0,J)}^{\infty}\|_{L^{p}(Q_{J,v};\ell^{q})}=\sup_{J\in\mathbb{Z},v\in\mathbb{Z}^{n}}2^{nJ\tau}\bigg{(}\int_{Q_{J,v}}\Big{(}\sum_{j=\max(0,J)}^{\infty}|f_{j}(x)|^{q}\Big{)}^{\frac{p}{q}}dx\bigg{)}^{\frac{1}{p}}.$$

We define the Morrey space $M^{p}_{\tau}(\mathbb{R}^{n})$ to be the set of all $f\in L^{p}_{\mathrm{loc}}(\mathbb{R}^{n})$ whose (quasi-)norm below is finite:

$$\|f\|_{M^{p}_{\tau}}:=\textstyle\sup_{Q_{J,v}\in\mathcal{Q}}2^{nJ\tau}\|f\|_{L^{p}(Q_{J,v})}.$$

We define $\ell^{q}M^{p}_{\tau}(\mathbb{R}^{n}):=\ell^{q}(\mathbb{Z}_{\geq 0};M^{p}_{\tau}(\mathbb{R}^{n}))$ with $\|(f_{j})_{j=0}^{\infty}\|_{\ell^{q}M^{p}_{\tau}}:=\big{(}\sum_{j=0}^{\infty}\|f_{j}\|_{M^{p}_{\tau}(\mathbb{R}^{n})}^{q}\big{)}^{\frac{1}{q}}$.

Our Besov-type spaces $\mathscr{B}_{pq}^{s\tau}$, Triebel-Lizorkin-type spaces $\mathscr{F}_{pq}^{s\tau}$ and Besov-Morrey spaces $\mathscr{N}_{pq}^{s\tau}$ are given by the following:

Definition 6.

Let $\lambda=(\lambda_{j})_{j=0}^{\infty}$ be a sequence of Schwartz functions satisfying:

1. The Fourier transform $\hat{\lambda}_{0}(\xi)=\int_{\mathbb{R}^{n}}\lambda_{0}(x)2^{-2\pi ix\xi}dx$ satisfies $\operatorname{supp}\hat{\lambda}_{0}\subset\{|\xi|<2\}$ and $\hat{\lambda}_{0}|_{\{|\xi|<1\}}\equiv 1$.

2. $\lambda_{j}(x)=2^{jn}\lambda_{0}(2^{j}x)-2^{(j-1)n}\lambda_{0}(2^{j-1}x)$ for $j\geq 1$.

Let $0<p,q\leq\infty$, $s\in\mathbb{R}$ and $\tau\geq 0$ ($p<\infty$ for $\mathscr{F}$-cases). We define the Besov-type Morrey space $\mathscr{B}_{pq}^{s\tau}(\mathbb{R}^{n})$, the Triebel-Lizorkin-type Morrey space $\mathscr{F}_{pq}^{s\tau}(\mathbb{R}^{n})$ and the Besov-Morrey space $\mathscr{N}_{pq}^{s\tau}(\mathbb{R}^{n})$, to be the sets of all tempered distributions $f\in\mathscr{S}^{\prime}(\mathbb{R}^{n})$ such that the following norms are finite, respectively:

(6) $$\|f\|_{\mathscr{B}_{pq}^{s\tau}(\mathbb{R}^{n})}:=\|(2^{js}\lambda_{j}\ast f)_{j=0}^{\infty}\|_{\ell^{q}L^{p}_{\tau}};\ \|f\|_{\mathscr{F}_{pq}^{s\tau}}:=\|(2^{js}\lambda_{j}\ast f)_{j}\|_{L^{p}_{\tau}\ell^{q}};\ \|f\|_{\mathscr{N}_{pq}^{s\tau}}:=\|(2^{js}\lambda_{j}\ast f)_{j}\|_{\ell^{q}M^{p}_{\tau}}.$$

Let $\mathscr{A}\in\{\mathscr{B},\mathscr{F},\mathscr{N}\}$. For an (arbitrary) open subset $U\subseteq\mathbb{R}^{n}$, we define $\mathscr{A}_{pq}^{s\tau}(U):=\{\tilde{f}|_{U}:\tilde{f}\in\mathscr{A}_{pq}^{s\tau}(\mathbb{R}^{n})\}$ ($p<\infty$ for $\mathscr{F}$-cases) with the norm

(7) $$\textstyle\|f\|_{\mathscr{A}_{pq}^{s\tau}(U)}:=\inf\{\|\tilde{f}\|_{\mathscr{A}_{pq}^{s\tau}(\mathbb{R}^{n})}:\tilde{f}\in\mathscr{A}_{pq}^{s\tau}(\mathbb{R}^{n}),\tilde{f}|_{U}=f\}.$$

The definitions of the spaces $\mathscr{A}_{pq}^{s\tau}(U)$ do not depend on the choice of $(\lambda_{j})_{j=0}^{\infty}$ which satisfies (P.a’) and (P.b’). See [YSY10, Page 39, Corollary 2.1] and [TX05, Theorem 2.8].

Remark 7.

We remark some known results and different notations for these spaces in $\mathbb{R}^{n}$ from the literature:

1. Clearly $\mathscr{B}_{pq}^{s}(\mathbb{R}^{n})=\mathscr{B}_{pq}^{s0}(\mathbb{R}^{n})=\mathscr{N}_{pq}^{s0}(\mathbb{R}^{n})$ and $\mathscr{F}_{pq}^{s0}(\mathbb{R}^{n})=\mathscr{F}_{pq}^{s}(\mathbb{R}^{n})$ (provided $p<\infty$).

2. In applications only $0\leq\tau\leq\frac{1}{p}$ is interesting: by [YY13, Theorem 2] and [Sic12, Lemma 3.4],

   (8) $$\mathscr{B}_{p,q}^{s,\tau}(\mathbb{R}^{n})=\mathscr{F}_{p,q}^{s,\tau}(\mathbb{R}^{n})=\mathscr{B}_{\infty,\infty}^{s+n(\tau-\frac{1}{p})}(\mathbb{R}^{n}),\quad\mathscr{N}_{p,q}^{s,\tau}(\mathbb{R}^{n})=\{0\},\quad\forall\,0<p,q\leq\infty,\ s\in\mathbb{R},\ \tau>\tfrac{1}{p}.$$

3. For the case $\tau=1/p$, by [YY13, Theorem 2] and [Sic12, Remark 11(ii)],

   $$\mathscr{B}_{p,\infty}^{s,\frac{1}{p}}(\mathbb{R}^{n})=\mathscr{F}_{p,\infty}^{s,\frac{1}{p}}(\mathbb{R}^{n})=\mathscr{B}_{\infty,\infty}^{s}(\mathbb{R}^{n}),\quad\mathscr{N}_{p,q}^{s,\frac{1}{p}}(\mathbb{R}^{n})=\mathscr{B}_{\infty,q}^{s}(\mathbb{R}^{n}),\quad\forall\,0<p,q\leq\infty,\ s\in\mathbb{R}.$$

4. Although $\mathscr{F}_{pq}^{s\tau}$-spaces are only defined for $p<\infty$, we have a description for $\mathscr{F}_{\infty q}^{s}$-spaces as the following (see [YSY10, Page 41, Proposition 2.4(iii)] and [FJ90, Section 5]):

   (9) $$\mathscr{F}_{\infty q}^{s}(\mathbb{R}^{n})=\mathscr{F}_{p,q}^{s,\frac{1}{p}}(\mathbb{R}^{n})=\mathscr{B}_{q,q}^{s,\frac{1}{q}}(\mathbb{R}^{n}),\quad\forall\,0<p<\infty,\ 0<q\leq\infty,\ s\in\mathbb{R}.$$

5. Our notation $\mathscr{N}_{pq}^{s\tau}$ corresponds to the $\mathcal{B}_{pq}^{s\tau}$ in [Sic12, Definition 5]. For the classical notations $\mathcal{N}_{uqp}^{s}$ we have correspondence (see [Sic12, Remark 13(iii)] for example):

   $$\mathcal{N}_{u,q,p}^{s}(\mathbb{R}^{n})=\mathscr{N}_{p,q}^{s,\frac{1}{p}-\frac{1}{u}}(\mathbb{R}^{n}),\quad\forall\,0<p\leq u\leq\infty,\ 0<q\leq\infty,\ s\in\mathbb{R}.$$

6. We do not talk about the Triebel-Lizorkin-Morrey spaces $\mathcal{E}_{uqp}^{s}$ in the paper, because they are special cases of the Triebel-Lizorkin-type spaces: we have $\mathcal{E}_{u,q,p}^{s}(\mathbb{R}^{n})=\mathscr{F}_{p,q}^{s,1/p-1/u}(\mathbb{R}^{n})$ for all $p\in(0,\infty)$, $q\in(0,\infty]$, $u\in[p,\infty]$ and $s\in\mathbb{R}$. See [YSY10, Corollary 3.3].

7. There are also papers that use the notations $\Lambda^{\varrho}\mathscr{A}_{pq}^{s}$ and $\Lambda_{\varrho}\mathscr{A}_{pq}^{s}$ for $\mathscr{A}\in\{\mathscr{B},\mathscr{F}\}$ and $-n\leq\varrho\leq 0$ ($p<\infty$ for $\mathscr{F}$-cases), for example [Tri20, HT23]. These spaces describe the same collection to $\mathscr{A}_{pq}^{s\tau}$ for $\mathscr{A}\in\{\mathscr{B},\mathscr{F},\mathscr{N}\}$, see [HT23, Remarks 2.7 and 2.9] for example.

For more discussions, we refer the reader to [YSY10, Tri14, HT23].

3. Proof of the Theorems

Our proof follows from some results in [Ryc99] and [YY10].

The key ingredient is the Peetre maximal operators introduced in [Pee75].

Definition 8.

Let $N>0$, $U\subseteq\mathbb{R}^{n}$ be an open set and let $\eta=(\eta_{j})_{j=0}^{\infty}$ be a sequence of Schwartz functions. The associated Peetre maximal operators $(\mathcal{P}^{\eta,N}_{U,j})_{j=0}^{\infty}$ are given by

$$\mathcal{P}^{\eta,N}_{U,j}f(x):=\sup\limits_{y\in U}\frac{|\eta_{j}\ast f(y)|}{(1+2^{j}|x-y|)^{N}},\quad f\in\mathscr{S}^{\prime}(\mathbb{R}^{n}),\quad x\in\mathbb{R}^{n},\quad j\geq 0.$$

Lemma 9.

Let $\phi=(\phi_{j})_{j=0}^{\infty}$ be a Littlewood-Paley family associated with a special Lipschitz domain $\Omega$ (see Definition 4). Then there is a $\psi=(\psi_{j})_{j=0}^{\infty}\subset\mathscr{S}^{\prime}(\mathbb{R}^{n})$ satisfying (P.a) and (P.b) such that $(\psi_{j}\ast\phi_{j})_{j=0}^{\infty}$ is also associated with $\Omega$.

Proof.

The assumptions $\phi_{j}(x)=2^{(j-1)n}\phi_{1}(2^{j-1}x)$ for $j\geq 1$ and $\sum_{j=0}^{\infty}\phi_{j}=\delta_{0}$ imply $\phi_{1}(x)=2^{n}\phi_{0}(2x)-\phi_{0}(x)$, i.e. $\hat{\phi}_{1}(\xi)=\hat{\phi}_{0}(\xi/2)-\hat{\phi}_{0}(\xi)$. We can take $\psi=(\psi_{j})_{j=0}^{\infty}$ via the Fourier transforms:

$$\hat{\psi}_{0}(\xi):=2\hat{\phi}_{0}(\xi)-\hat{\phi}_{0}(\xi)^{3};\qquad\hat{\psi}_{j}(\xi):=(\hat{\phi}_{0}(2^{-j}\xi)+\hat{\phi}_{0}(2^{1-j}\xi))(2-\hat{\phi}_{0}(2^{-j}\xi)^{2}-\hat{\phi}_{0}(2^{1-j}\xi)^{2}),\text{ for }j\geq 1.$$

See [Ryc99, Proposition 2.1] for details. ∎

Lemma 10 ([BPT96, Lemma 2.1]).

Let $\eta=(\eta_{j})_{j=0}^{\infty}$ and $\theta=(\theta_{j})_{j=0}^{\infty}\subset\mathscr{S}(\mathbb{R}^{n})$ both satisfy conditions (P.a) and (P.b). Then for any $N>0$ there exists a $C=C(\eta,\theta,N)>0$ such that

$$\int_{\mathbb{R}^{n}}|\eta_{j}\ast\theta_{k}(x)|(1+2^{k}|x|)^{N}dx\lesssim_{\eta,\theta,N}2^{-N|j-k|},\qquad\forall j,k\geq 0.$$

Lemma 11.

Let $0<p,q\leq\infty$, $\tau\geq 0$ and $\delta>n\tau$. There is a $C=C(n,p,q,\tau,\delta)>0$ such that for every $(g_{j})_{j=0}^{\infty}\subset L^{p}_{\mathrm{loc}}(\mathbb{R}^{n})$,

(10) $$\Big{\|}\Big{(}\sum_{k\geq 0}2^{-\delta|j-k|}g_{k}\Big{)}_{j=0}^{\infty}\Big{\|}_{\ell^{q}L^{p}_{\tau}} \leq C\|(g_{j})_{j=0}^{\infty}\|_{\ell^{q}L^{p}_{\tau}};$$

(11) $$\Big{\|}\Big{(}\sum_{k\geq 0}2^{-\delta|j-k|}g_{k}\Big{)}_{j=0}^{\infty}\Big{\|}_{L^{p}_{\tau}\ell^{q}} \leq C\|(g_{j})_{j=0}^{\infty}\|_{L^{p}_{\tau}\ell^{q}},\qquad\text{provided }p<\infty;$$

(12) $$\Big{\|}\Big{(}\sum_{k\geq 0}2^{-\delta|j-k|}g_{k}\Big{)}_{j=0}^{\infty}\Big{\|}_{\ell^{q}M^{p}_{\tau}} \leq C\|(g_{j})_{j=0}^{\infty}\|_{\ell^{q}M^{p}_{\tau}}.$$

Proof.

(10) and (11) have been done in [YY10, Lemma 2.3]. We only prove (12).

Using the case $\tau=0$ in (10) we have

$$\textstyle\big{\|}\big{(}\sum_{k\geq 0}2^{-\delta|j-k|}f_{k}\big{)}_{j=0}^{\infty}\big{\|}_{\ell^{q}(L^{p})}\lesssim_{p,q,\delta}\|(f_{j})_{j=0}^{\infty}\|_{\ell^{q}(L^{p})},\quad\forall(f_{j})_{j=0}^{\infty}\in\ell^{q}(\mathbb{Z}_{\geq 0};L^{p}(\mathbb{R}^{n})).$$

Note that $\|g_{k}\|_{M^{p}_{\tau}}=\|\sup_{Q_{J,v}}|2^{nJ\tau}\mathbf{1}_{Q_{J,v}}\cdot g_{k}|\|_{L^{p}(\mathbb{R}^{n})}$. By taking $f_{k}:=\sup_{Q_{J,v}}|2^{nJ\tau}\mathbf{1}_{Q_{J,v}}\cdot g_{k}|$ above we have

$$\Big{\|}\Big{(}\sum_{k\geq 0}2^{-\delta|j-k|}|g_{k}|\Big{)}_{j=0}^{\infty}\Big{\|}_{\ell^{q}M^{p}_{\tau}}=\Big{\|}\Big{(}\sup_{Q_{J,v}\in\mathcal{Q}}2^{nJ\tau}\mathbf{1}_{Q_{J,v}}\cdot\sum_{k\geq 0}2^{-\delta|j-k|}|g_{k}|\Big{)}_{j=0}^{\infty}\Big{\|}_{\ell^{q}(L^{p})}$$

$$\quad\leq\Big{\|}\Big{(}\sum_{k\geq 0}2^{-\delta|j-k|}\sup_{Q_{J,v}\in\mathcal{Q}}2^{nJ\tau}\mathbf{1}_{Q_{J,v}}\cdot|g_{k}|\Big{)}_{j=0}^{\infty}\Big{\|}_{\ell^{q}(L^{p})}=\Big{\|}\Big{(}\sum_{k\geq 0}2^{-\delta|j-k|}f_{k}\Big{)}_{j=0}^{\infty}\Big{\|}_{\ell^{q}(L^{p})}$$

$$\quad\lesssim_{p,q,\delta}\|(f_{j})_{j=0}^{\infty}\|_{\ell^{q}(L^{p})}=\|(g_{j})_{j=0}^{\infty}\|_{\ell^{q}M^{p}_{\tau}}. \hskip 57.81621pt\qed$$

Lemma 12.

Let $\Omega\subset\mathbb{R}^{n}$ be a special Lipschitz domain, let $\phi=(\phi_{j})_{j=0}^{\infty}$ be a Littlewood-Paley family associated with $\Omega$, and let $\theta=(\theta_{j})_{j=0}^{\infty}$ satisfies conditions (P.a), (P.b) and (P.d). Then for any $N>0$ and $\gamma\in(0,\infty]$ there is a $C=C(\theta,\phi,N)>0$, such that,

(13) $$\mathcal{P}^{\theta,N}_{\Omega,j}f(x)\leq C\bigg{(}\sum_{k=0}^{\infty}2^{-N\gamma|j-k|}\int_{\Omega}\frac{2^{kn}|\phi_{k}\ast f(y)|^{\gamma}dy}{(1+2^{k}|x-y|)^{N\gamma}}\bigg{)}^{1/\gamma},\quad\forall f\in\mathscr{S}^{\prime}(\mathbb{R}^{n}),\ j\geq 0,\ x\in\Omega.$$

Proof.

The special case $\theta=\phi$ of (13) is proved in [Ryc99, Proof of Theorem 3.2, Step 1]. Namely, we have

(14) $$\mathcal{P}^{\phi,N}_{\Omega,j}f(x)\lesssim_{\phi,N}\bigg{(}\sum_{k=0}^{\infty}2^{-N\gamma|j-k|}\int_{\Omega}\frac{2^{kn}|\phi_{k}\ast f(y)|^{\gamma}dy}{(1+2^{k}|x-y|)^{N\gamma}}\bigg{)}^{1/\gamma},\quad\forall f\in\mathscr{S}^{\prime}(\mathbb{R}^{n}),\ j\geq 0,\ x\in\Omega.$$

Also see [Ull12, Proof of Theorem 2.6, Step 1] for the argument. Thus it suffices to prove the case $\gamma=\infty$:

(15) $$\mathcal{P}^{\theta,N}_{\Omega,j}f(x)\lesssim_{\theta,\phi,N}\sup_{k\geq 0}2^{-N|j-k|}\mathcal{P}^{\phi,N}_{\Omega,k}f(x),\quad\forall f\in\mathscr{S}^{\prime}(\mathbb{R}^{n}),\quad j\geq 0,\quad x\in\Omega.$$

Let $\psi=(\psi_{j})_{j=0}^{\infty}$ satisfies the consequence of Lemma 9, so $\theta_{j}\ast f=\sum_{k=0}^{\infty}(\theta_{j}\ast\psi_{k})\ast(\phi_{k}\ast f)$ for $j\geq 0$. By assumption $\phi_{j},\psi_{j},\theta_{j}$ are supported in $K=\{x_{n}<-\|\nabla\rho\|_{L^{\infty}}\cdot|x^{\prime}|\}$ where $\rho$ is the defining function for $\Omega=\{x_{n}>\rho(x^{\prime})\}$. Using the property $\Omega-K\subseteq\Omega$, we have

$$\mathbf{1}_{\Omega}\cdot(\theta_{j}\ast f) \textstyle=\mathbf{1}_{\Omega}\cdot\sum_{k=0}^{\infty}(\theta_{j}\ast\psi_{k})\ast(\mathbf{1}_{\Omega}\cdot(\phi_{k}\ast f));$$

$$\text{and thus}\quad\mathcal{P}^{\theta,N}_{\Omega,j}f(x) =\sup_{z\in\Omega}\frac{|\theta_{j}\ast f(z)|}{(1+2^{j}|x-z|)^{N}}\leq\sup_{z\in\Omega}\sum_{k=0}^{\infty}\int_{\Omega}\frac{|\theta_{j}\ast\psi_{k}(z-y)||\phi_{k}\ast f(y)|dy}{(1+2^{j}|x-z|)^{N}}.$$

The elementary inequality yields

$$\frac{1}{(1+2^{j}|x-z|)^{N}}\leq\frac{2^{N|j-k|}}{(1+2^{k}|x-z|)^{N}}\frac{(1+2^{k}|z-y|)^{N}}{(1+2^{k}|z-y|)^{N}}\leq 2^{N|j-k|}\frac{(1+2^{k}|z-y|)^{N}}{(1+2^{k}|x-y|)^{N}}.$$

Therefore,

(16) $$\mathcal{P}^{\theta,N}_{\Omega,j}f(x) =\sup_{z\in\Omega}\frac{|\phi_{k}\ast f(z)|}{(1+2^{k}|x-z|)^{N}}\sum_{k=0}^{\infty}\int_{\Omega}2^{N|j-k|}|\theta_{j}\ast\psi_{k}(z-y)|(1+2^{k}|z-y|)^{N}dy$$

$$\leq\sup_{k\geq 0}2^{-N|j-k|}\mathcal{P}_{\Omega,k}^{\phi,N}f(x)\sum_{l=0}^{\infty}\int_{\Omega}2^{2N|j-l|}|\theta_{j}\ast\psi_{l}(y)|(1+2^{l}|y|)^{N}dy$$

$$\lesssim_{\theta,\phi,N}\sup_{k\geq 0}2^{-N|j-k|}\mathcal{P}_{\Omega,k}^{\phi,N}f(x)\sum_{l=0}^{\infty}2^{(2N-(2N+1))|j-l|}\lesssim\sup_{k\geq 0}2^{-N|j-k|}\mathcal{P}_{\Omega,k}^{\phi,N}f(x).$$

Here the last inequality is obtained by applying Lemma 10.

Therefore we get (15). Combining it with (14) we complete the proof. ∎

Recall the Hardy-Littlewood maximal function $\mathcal{M}f(x):=\sup_{R>0}|B(0,R)|^{-1}\int_{B(x,R)}|f(y)|dy$ for $f\in L^{1}_{\mathrm{loc}}$.

Lemma 13.

Let $N>n$. There is a $C=C(N)>0$ such that for any $g\in L^{1}_{\mathrm{loc}}(\mathbb{R}^{n})$,

(17) $$\int_{\mathbb{R}^{n}}\frac{2^{kn}|g(y)|dy}{(1+2^{k}|x-y|)^{N}}\leq C\sum_{w\in\mathbb{Z}^{n}}\frac{1}{(1+|v-w|)^{N-n}}\cdot\mathcal{M}(\mathbf{1}_{Q_{J,w}}\cdot g)(x),\quad J\in\mathbb{Z},\ v\in\mathbb{Z}^{n},\ k\geq J,\ x\in Q_{J,v}.$$

Our lemma here is weaker than the corresponding estimate in [YY10, Proof of Theorem 1.2, Step 3].

Proof.

By taking a translation, it suffices to prove the estimate on $x\in Q_{J,0}$, i.e for $v=0$. Note that if $y\in Q_{J,w}$, then $|x-y|\geq\operatorname{dist}(Q_{J,w},Q_{J,0})\geq\frac{1}{\sqrt{n}}2^{-J}\max(0,|w|-\sqrt{n})$ and $|x-y|\leq|w|+\sqrt{n}$. Therefore

$$\int_{\mathbb{R}^{n}}\frac{2^{kn}|g(y)|dy}{(1+2^{k}|x-y|)^{N}}\leq\int_{B(x,3\sqrt{n}2^{-J})}\frac{2^{kn}|g(y)|dy}{(1+2^{k}|x-y|)^{N}}+\sum_{|w|>2\sqrt{n}}\int_{Q_{J,w}}\frac{2^{kn}|g(y)|dy}{(1+2^{k}|x-y|)^{N}}$$

$$\quad\lesssim\Big{\|}\frac{2^{n(k-J)}}{(1+2^{k}|y|)^{N}}\Big{\|}_{L^{1}(\mathbb{R}^{n}_{y})}\mathcal{M}(\mathbf{1}_{B(0,4\sqrt{n}2^{-J})}\cdot g)(x)+\sum_{|w|>2\sqrt{n}}\frac{2^{kn}}{\big{(}1+2^{k}2^{-J}(\frac{|w|}{\sqrt{n}}-1)\big{)}^{N}}\int_{Q_{J,w}}|g(y)|dy$$

$$\quad\lesssim\sum_{|w|<4\sqrt{n}}\mathcal{M}(\mathbf{1}_{Q_{J,w}}\cdot g)(x)+\sum_{|w|>2\sqrt{n}}\frac{2^{-(k-J)(N-n)}}{|w|^{N-n}}\cdot\frac{2^{nJ}}{|w|^{n}}\int_{B(x,2^{-J}(|w|+\sqrt{n}))}|\mathbf{1}_{Q_{J,w}}\cdot g(y)|dy$$

$$\quad\lesssim\sum_{w\in\mathbb{Z}^{n}}\frac{1}{(1+|w|)^{N-n}}\cdot\mathcal{M}(\mathbf{1}_{Q_{J,w}}\cdot g)(x). \hskip 21.68121pt\qed$$

Combining Lemmas 11 - 13 we have the following Morrey-type estimates for Peetre maximal functions.

Proposition 14.

Keeping the assumptions of Lemma 12, for every $0<p,q\leq\infty$, $s\in\mathbb{R}$, $\tau\geq 0$ and $N>~{}\!\max(2n/\min(p,q),|s|+n\tau)$, there is a $C=C(\theta,\phi,p,q,s,\tau,N)>0$ such that for every $f\in\mathscr{S}^{\prime}(\Omega)$,

(18) $$\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\mathcal{P}^{\theta,N}_{\Omega,j}f)\big{)}_{j=0}^{\infty}\big{\|}_{\ell^{q}L^{p}_{\tau}} \leq C\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\phi_{j}\ast f)\big{)}_{j=0}^{\infty}\big{\|}_{\ell^{q}L^{p}_{\tau}};$$

(19) $$\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\mathcal{P}^{\theta,N}_{\Omega,j}f)\big{)}_{j=0}^{\infty}\big{\|}_{L^{p}_{\tau}\ell^{q}} \leq C\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\phi_{j}\ast f)\big{)}_{j=0}^{\infty}\big{\|}_{L^{p}_{\tau}\ell^{q}},\qquad\text{provided }p<\infty;$$

(20) $$\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\mathcal{P}^{\theta,N}_{\Omega,j}f)\big{)}_{j=0}^{\infty}\big{\|}_{\ell^{q}M^{p}_{\tau}} \leq C\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\phi_{j}\ast f)\big{)}_{j=0}^{\infty}\big{\|}_{\ell^{q}M^{p}_{\tau}}.$$

Remark 15.

It is possible that the assumption $N>\max(\frac{2n}{\min(p,q)},|s|+n\tau)$ can be relaxed to $N>\frac{n}{\min(p,q)}$. In applications, we only need a large enough $N$ that does not depend on $f$.

A similar result for (20) can be found in [TX05, Proposition 2.12]. Note that we require $\theta_{j}$ to have Fourier compact supports in that proposition.

Proof.

We use a convention $\phi_{j}:\equiv 0$ for $j\leq-1$. Thus in the computations below every sequence $(a_{j})_{j=J}^{\infty}$ is identical to $(a_{j})_{j=\max(0,J)}^{\infty}$.

By the assumption on $N$ we can take $\gamma\in(0,\min(p,q))$ such that $N\gamma>2n$. We first prove (19).

Since $N>|s|+n\tau$. By Lemma 12 and using $2^{j\gamma s}2^{-N\gamma|j-k|}\leq 2^{-(N-|s|)\gamma|j-k|}2^{k\gamma s}$,

$$\|(2^{js}\mathcal{P}^{\theta,N}_{\Omega,j}f)_{j=0}^{\infty}\|_{L^{p}_{\tau}\ell^{q}}=\big{\|}\big{(}2^{j\gamma s}(\mathcal{P}^{\theta,N}_{\Omega,j}f)^{\gamma}\big{)}_{j=0}^{\infty}\big{\|}_{L^{\frac{p}{\gamma}}_{\tau\gamma}\ell^{\frac{q}{\gamma}}}^{\frac{1}{\gamma}}\lesssim\bigg{\|}\Big{(}\sum_{k=0}^{\infty}2^{(|s|-N)\gamma|j-k|}\int_{\Omega}\frac{2^{kn}|2^{ks}\phi_{k}\ast f(y)|^{\gamma}dy}{(1+2^{k}|\cdot-y|)^{N\gamma}}\Big{)}_{j=0}^{\infty}\bigg{\|}_{L^{\frac{p}{\gamma}}_{\tau\gamma}\ell^{\frac{q}{\gamma}}}^{\frac{1}{\gamma}}.$$

By Lemma 11 and since $(N-|s|)\gamma>n\tau\gamma$,

$$\bigg{\|}\Big{(}\sum_{k=0}^{\infty}2^{(|s|-N)\gamma|j-k|}\int_{\Omega}\frac{2^{kn}|2^{ks}\phi_{k}\ast f(y)|^{\gamma}dy}{(1+2^{k}|\cdot-y|)^{N\gamma}}\Big{)}_{j=0}^{\infty}\bigg{\|}_{L^{\frac{p}{\gamma}}_{\tau\gamma}\ell^{\frac{q}{\gamma}}}\lesssim\bigg{\|}\Big{(}\int_{\Omega}\frac{2^{kn}|2^{ks}\phi_{k}\ast f(y)|^{\gamma}dy}{(1+2^{k}|\cdot-y|)^{N\gamma}}\Big{)}_{k=0}^{\infty}\bigg{\|}_{L^{\frac{p}{\gamma}}_{\tau\gamma}\ell^{\frac{q}{\gamma}}}.$$

Applying Lemma 13 with $g(x)=\mathbf{1}_{\Omega}(x)\cdot|2^{ks}\phi_{k}\ast f(x)|^{\gamma}$ for each $k\geq 0$ and expanding the $L^{\frac{p}{\gamma}}_{\tau\gamma}\ell^{\frac{q}{\gamma}}$-norm,

$$\bigg{\|}\Big{(}\int_{\Omega}\frac{2^{kn}|2^{ks}\phi_{k}\ast f(y)|^{\gamma}dy}{(1+2^{k}|\cdot-y|)^{N\gamma}}\Big{)}_{k=0}^{\infty}\bigg{\|}_{L^{\frac{p}{\gamma}}_{\tau\gamma}\ell^{\frac{q}{\gamma}}}=\sup_{J\in\mathbb{Z},v\in\mathbb{Z}^{n}}2^{nJ\tau\gamma\cdot\frac{1}{\gamma}}\bigg{\|}\Big{(}\int_{\Omega}\frac{2^{kn}|2^{ks}\phi_{k}\ast f(y)|^{\gamma}dy}{(1+2^{k}|\cdot-y|)^{N\gamma}}\Big{)}_{k=J}^{\infty}\bigg{\|}_{L^{\frac{p}{\gamma}}(Q_{J,v};\ell^{\frac{q}{\gamma}})}^{\frac{1}{\gamma}}$$

$$\quad\lesssim_{N,\gamma}\sup_{J\in\mathbb{Z},v\in\mathbb{Z}^{n}}2^{nJ\tau}\bigg{\|}\Big{(}\sum_{w\in\mathbb{Z}^{n}}\frac{1}{(1+|w-v|)^{N\gamma-n}}\mathcal{M}(\mathbf{1}_{Q_{J,w}}\cdot\mathbf{1}_{\Omega}\cdot|2^{ks}\phi_{k}\ast f|^{\gamma})\Big{)}_{k=J}^{\infty}\bigg{\|}_{L^{\frac{p}{\gamma}}(Q_{J,v};\ell^{\frac{q}{\gamma}})}^{\frac{1}{\gamma}}$$

$$\quad\leq\Big{(}\sum_{v\in\mathbb{Z}^{n}}\frac{1}{(1+|v|)^{N\gamma-n}}\Big{)}^{1/\gamma}\sup_{J\in\mathbb{Z},w\in\mathbb{Z}^{n}}2^{nJ\tau}\big{\|}\big{(}\mathcal{M}(\mathbf{1}_{Q_{J,w}\cap\Omega}\cdot|2^{ks}\phi_{k}\ast f|^{\gamma})\big{)}_{k=J}^{\infty}\big{\|}_{L^{\frac{p}{\gamma}}(\mathbb{R}^{n};\ell^{\frac{q}{\gamma}})}^{\frac{1}{\gamma}}.$$

Since $N\gamma-n>n$ the sum $\sum_{v\in\mathbb{Z}^{n}}(1+|v|)^{n-N\gamma}$ is finite.

Finally, applying Fefferman-Stein’s inequality to $\big{(}\mathcal{M}(\mathbf{1}_{Q_{J,w}\cap\Omega}\cdot|2^{ks}\phi_{k}\ast f|^{\gamma})\big{)}_{k=J}^{\infty}$ in $L^{\frac{p}{\gamma}}(\mathbb{R}^{n};\ell^{\frac{q}{\gamma}})$ for each $J\in\mathbb{Z}$ (see [FS71, Theorem 1(1)] and also [Gra14, Remark 5.6.7]), since $1<p/\gamma<\infty$ and $1<q/\gamma\leq\infty$,

$$\sup_{Q_{J,w}\in\mathcal{Q}}2^{nJ\tau}\big{\|}\big{(}\mathcal{M}(\mathbf{1}_{Q_{J,w}\cap\Omega}\cdot|2^{ks}\phi_{k}\ast f|^{\gamma})\big{)}_{k=J}^{\infty}\big{\|}_{L^{\frac{p}{\gamma}}(\mathbb{R}^{n};\ell^{\frac{q}{\gamma}})}^{\frac{1}{\gamma}}\lesssim\sup_{Q_{J,w}}2^{nJ\tau}\big{\|}\big{(}\mathbf{1}_{Q_{J,w}\cap\Omega}\cdot|2^{ks}\phi_{k}\ast f|^{\gamma})\big{)}_{k=J}^{\infty}\big{\|}_{L^{\frac{p}{\gamma}}(\mathbb{R}^{n};\ell^{\frac{q}{\gamma}})}^{\frac{1}{\gamma}}$$

$$\quad=\sup_{Q_{J,w}}2^{nJ\tau}\big{\|}\big{(}\mathbf{1}_{\Omega}\cdot(2^{ks}\phi_{k}\ast f)\big{)}_{k=J}^{\infty}\big{\|}_{L^{p}(Q_{J,w};\ell^{q})}=\big{\|}\big{(}2^{ks}\mathbf{1}_{\Omega}\cdot(\phi_{k}\ast f)\big{)}_{k=0}^{\infty}\big{\|}_{L^{p}_{\tau}\ell^{q}}.$$

This completes the proof of (19).

The proof of (18) and (20) are similar but simpler: by assumption $1<p/\gamma\leq\infty$ we have

(21) $$\mathcal{M}:L^{\frac{p}{\gamma}}(\mathbb{R}^{n})\to L^{\frac{p}{\gamma}}(\mathbb{R}^{n}).$$

Therefore, we prove (18) by the following:

$$\|(2^{js}\mathcal{P}^{\theta,N}_{\Omega,j}f)_{j=0}^{\infty}\|_{\ell^{q}L^{p}_{\tau}}\lesssim_{\theta,\phi,s,\tau,N,\gamma}\bigg{\|}\Big{(}\sum_{k=0}^{\infty}2^{-(n\tau+1)\gamma|j-k|}\int_{\Omega}\frac{2^{kn}|2^{ks}\phi_{k}\ast f(y)|^{\gamma}dy}{(1+2^{k}|\cdot-y|)^{N\gamma}}\Big{)}_{j=0}^{\infty}\bigg{\|}_{\ell^{\frac{q}{\gamma}}L^{\frac{p}{\gamma}}_{\tau\gamma}}^{\frac{1}{\gamma}} \text{by }\eqref{Eqn::STInq::omega}$$

$$\quad\lesssim_{p,q,s,\tau}\bigg{\|}\Big{(}\int_{\Omega}\frac{2^{kn}|2^{ks}\phi_{k}\ast f(y)|^{\gamma}dy}{(1+2^{k}|\cdot-y|)^{N\gamma}}\Big{)}_{k=0}^{\infty}\bigg{\|}_{\ell^{\frac{q}{\gamma}}L^{\frac{p}{\gamma}}_{\tau\gamma}}^{\frac{1}{\gamma}} \text{by }\eqref{Eqn::ASumLem::Bs}$$

$$\quad\lesssim_{N,\gamma}\Big{(}\sum_{v\in\mathbb{Z}^{n}}\frac{1}{(1+|v|)^{N\gamma-n}}\Big{)}^{1/\gamma}\big{\|}\big{(}\mathcal{M}(\mathbf{1}_{\Omega}\cdot|2^{ks}\phi_{k}\ast f|^{\gamma})\big{)}_{k=0}^{\infty}\big{\|}_{\ell^{\frac{q}{\gamma}}L^{\frac{p}{\gamma}}_{\tau\gamma}}^{\frac{1}{\gamma}} \text{by }\eqref{Eqn::PeeToHL}$$

$$\quad\lesssim_{p,\gamma}\big{\|}\big{(}\mathbf{1}_{\Omega}\cdot|2^{ks}\phi_{k}\ast f|^{\gamma})\big{)}_{k=0}^{\infty}\big{\|}_{\ell^{q/\gamma}L^{p/\gamma}_{\tau\gamma}}^{1/\gamma}=\big{\|}\big{(}2^{ks}\mathbf{1}_{\Omega}\cdot(\phi_{k}\ast f)\big{)}_{k=0}^{\infty}\big{\|}_{\ell^{q}L^{p}_{\tau}} \text{by }\eqref{Eqn::PeeEst::BddM}.$$

Finally we prove (20). Using (15) and (12) (since $N>|s|+n\tau$) we have

(22) $$\|(2^{js}\mathcal{P}^{\theta,N}_{\Omega,j}f)_{j=0}^{\infty}\|_{\ell^{q}M^{p}_{\tau}}\lesssim_{\theta,\phi,s,N}\Big{\|}\Big{(}\sum_{k=0}^{\infty}2^{(N-|s|)|j-k|}2^{ks}\mathcal{P}^{\phi,N}_{\Omega,k}f\Big{)}_{j=0}^{\infty}\Big{\|}_{\ell^{q}M^{p}_{\tau}}\lesssim_{p,q,\tau,N}\|(2^{js}\mathcal{P}^{\phi,N}_{\Omega,j}f)_{j=0}^{\infty}\|_{\ell^{q}M^{p}_{\tau}}.$$

Taking $\gamma\in(n/N,\min(p,q))$, we have $2^{js}(\mathcal{P}^{\phi,N}_{\Omega,j}f)\lesssim_{N,\gamma}\mathcal{M}(|2^{js}\mathbf{1}_{\Omega}\cdot(\phi_{j}\ast f)|^{\gamma})^{1/\gamma}$ pointwise in $\mathbb{R}^{n}$.

When $p<\infty$ and $\tau<1/p$, by [TX05, Lemma 2.5] we have

(23) $$\|2^{js}\mathcal{P}^{\phi,N}_{\Omega,j}f\|_{M^{p}_{\tau}}\lesssim_{N,\gamma}\big{\|}\mathcal{M}\big{(}|2^{js}\mathbf{1}_{\Omega}\cdot(\phi_{j}\ast f)|^{\gamma}\big{)}^{1/\gamma}\big{\|}_{M^{p}_{\tau}}\lesssim_{p,\gamma,\tau}\|2^{js}\mathbf{1}_{\Omega}\cdot(\phi_{j}\ast f)\|_{M^{p}_{\tau}},\quad j\geq 0.$$

We see that (23) is valid for all $1<p/\gamma\leq\infty,\tau\geq 0$.

When $\tau=1/p$, we have $M^{p}_{\tau}=L^{\infty}$ by [Sic12, Remark 11(ii)], so (23) follows from (21). When $\tau>1/p$ we have $M^{p}_{\tau}=\{0\}$, so (23) holds trivially.

Thus by taking $\ell^{q}$-sum of (23), we get (20), completing the proof. ∎

Proposition 16.

Let $\theta=(\theta_{j})_{j=0}^{\infty}$ satisfies (P.a) and (P.b), and let $\lambda=(\lambda_{j})_{j=0}^{\infty}$ satisfies (P.a’) and (P.b’). For any $0<p,q\leq\infty$, $s\in\mathbb{R}$, $\tau\geq 0$ and $N>\max(2n/\min(p,q),|s|+n\tau)$, there is a $C=C(\theta,\lambda,p,q,s,\tau,N)>0$ such that for every $\tilde{f}\in\mathscr{S}^{\prime}(\mathbb{R}^{n})$,

(24) $$\|(2^{js}\mathcal{P}^{\theta,N}_{\mathbb{R}^{n},j}\tilde{f})_{j=0}^{\infty}\|_{\ell^{q}L^{p}_{\tau}} \leq C\|(2^{js}\lambda_{j}\ast\tilde{f})_{j=0}^{\infty}\|_{\ell^{q}L^{p}_{\tau}};$$

(25) $$\|(2^{js}\mathcal{P}^{\theta,N}_{\mathbb{R}^{n},j}\tilde{f})_{j=0}^{\infty}\|_{L^{p}_{\tau}\ell^{q}} \leq C\|(2^{js}\lambda_{j}\ast\tilde{f})_{j=0}^{\infty}\|_{L^{p}_{\tau}\ell^{q}},\qquad\text{provided }p<\infty;$$

(26) $$\|(2^{js}\mathcal{P}^{\theta,N}_{\mathbb{R}^{n},j}\tilde{f})_{j=0}^{\infty}\|_{\ell^{q}M^{p}_{\tau}} \leq C\|(2^{js}\lambda_{j}\ast\tilde{f})_{j=0}^{\infty}\|_{\ell^{q}M^{p}_{\tau}}.$$

Proof.

The proof is the same as that for Proposition 14, except that we replace every $\Omega$ by $\mathbb{R}^{n}$ in the arguments. We leave the details to readers. ∎

Based on Proposition 14, we can prove a boundedness result of Rychkov-type operators on $\mathscr{A}_{pq}^{s\tau}$-spaces.

Proposition 17.

Let $\Omega\subset\mathbb{R}^{n}$ be a special Lipschitz domain and let $\gamma\in\mathbb{R}$. Let $\eta=(\eta_{j})_{j=0}^{\infty}$ and $\theta=(\theta_{j})_{j=0}^{\infty}$ satisfy conditions (P.a), (P.b) and (P.d) with respect to $\Omega$. We define an operator $T^{\eta,\theta,\gamma}_{\Omega}$ as

(27) $$T^{\eta,\theta,\gamma}_{\Omega}f:=\sum_{j=0}^{\infty}2^{j\gamma}\eta_{j}\ast(\mathbf{1}_{\Omega}\cdot(\theta_{j}\ast f)),\quad f\in\mathscr{S}^{\prime}(\Omega).$$

Then for $\mathscr{A}\in\{\mathscr{B},\mathscr{F},\mathscr{N}\}$, $0<p,q\leq\infty$, $s\in\mathbb{R}$ and $\tau\geq 0$ ($p<\infty$ for $\mathscr{F}$-cases), we have the boundedness

$$T^{\eta,\theta,\gamma}_{\Omega}:\mathscr{A}_{p,q}^{s,\tau}(\Omega)\to\mathscr{A}_{p,q}^{s-\gamma,\tau}(\mathbb{R}^{n}).$$

Proof.

Recall $\mathscr{S}^{\prime}(\Omega)=\{\tilde{f}|_{\Omega}:\tilde{f}\in\mathscr{S}^{\prime}(\mathbb{R}^{n})\}$ is defined via restrictions. We see that $T^{\eta,\theta,\gamma}_{\Omega}:\mathscr{S}^{\prime}(\Omega)\to\mathscr{S}^{\prime}(\mathbb{R}^{n})$ is well-defined in the sense that, for every extension $\tilde{f}\in\mathscr{S}^{\prime}(\mathbb{R}^{n})$ of $f$, the summation $\sum_{j=0}^{\infty}2^{j\gamma}\eta_{j}\ast(\mathbf{1}_{\Omega}\cdot(\theta_{j}\ast\tilde{f}))$ converges $\mathscr{S}^{\prime}(\mathbb{R}^{n})$ and does not depend on the choice of $\tilde{f}$. See [SY24, Propositions 3.10 and 3.14] for example.

Let $\lambda=(\lambda_{j})_{j=0}^{\infty}$ be as in Definition 6 that defines the $\mathscr{A}_{pq}^{s\tau}$-norms. By Lemma 10, for every $j,k\geq 0$, $\int_{\mathbb{R}^{n}}|\lambda_{j}\ast\eta_{k}(y)|(1+2^{k}|y|)^{N}dy\lesssim_{\lambda,\eta,N}2^{-N|j-k|}$. Thus by the similar argument to (16), for every $N>|s-\gamma|$,

$$2^{j(s-\gamma)}2^{k\gamma}|\lambda_{j}\ast\eta_{k}\ast(\mathbf{1}_{\Omega}\cdot(\theta_{k}\ast f))(x)| \leq 2^{j(s-\gamma)}2^{k\gamma}\int_{\Omega}|\lambda_{j}\ast\eta_{k}(y)|(1+2^{k}|y|)^{N}dy\cdot\sup\limits_{t\in\Omega}\frac{|\theta_{k}\ast f(t)|}{(1+2^{k}|x-t|)^{N}}$$

$$\lesssim_{\lambda,\eta,N}2^{-(N-|s-\gamma|)|j-k|}2^{ks}(\mathcal{P}_{\Omega,k}^{\theta,N}f)(x).$$

Therefore, by Lemma 11, for any $N>|s-\gamma|+n\tau$,

(28) $$\|(2^{j(s-\gamma)}\lambda_{j}\ast T^{\eta,\theta,\gamma}_{\Omega}f)_{j=0}^{\infty}\|_{\ell^{q}L^{p}_{\tau}} \lesssim_{\lambda,\eta,p,q,s,\gamma,\tau,N}\|(2^{ks}\mathcal{P}_{\Omega,k}^{\theta,N}f)_{k=0}^{\infty}\|_{\ell^{q}L^{p}_{\tau}};$$

(29) $$\|(2^{j(s-\gamma)}\lambda_{j}\ast T^{\eta,\theta,\gamma}_{\Omega}f)_{j=0}^{\infty}\|_{L^{p}_{\tau}\ell^{q}} \lesssim_{\lambda,\eta,p,q,s,\gamma,\tau,N}\|(2^{ks}\mathcal{P}_{\Omega,k}^{\theta,N}f)_{k=0}^{\infty}\|_{L^{p}_{\tau}\ell^{q}},\qquad\text{provided }p<\infty;$$

(30) $$\|(2^{j(s-\gamma)}\lambda_{j}\ast T^{\eta,\theta,\gamma}_{\Omega}f)_{j=0}^{\infty}\|_{\ell^{q}M^{p}_{\tau}} \lesssim_{\lambda,\eta,p,q,s,\gamma,\tau,N}\|(2^{ks}\mathcal{P}_{\Omega,k}^{\theta,N}f)_{k=0}^{\infty}\|_{\ell^{q}M^{p}_{\tau}}.$$

Let $\tilde{f}\in\mathscr{A}_{pq}^{s\tau}(\mathbb{R}^{n})$ be an extension of $f$. Clearly $\mathcal{P}^{\theta,N}_{\Omega,k}f(x)=\mathcal{P}^{\theta,N}_{\Omega,k}\tilde{f}(x)\leq\mathcal{P}^{\theta,N}_{\mathbb{R}^{n},k}\tilde{f}(x)$ holds pointwise for $x\in\mathbb{R}^{n}$. Therefore, by choosing $N>2n/\min(p,q)$ and combining (28) and (24), we have

$$\|T^{\eta,\theta,\gamma}_{\Omega}f\|_{\mathscr{B}_{pq}^{s\tau}(\mathbb{R}^{n})}=\|(2^{j(s-\gamma)}\lambda_{j}\ast T^{\eta,\theta,\gamma}_{\Omega}f)_{j=0}^{\infty}\|_{\ell^{q}L^{p}_{\tau}}\lesssim_{\eta,\theta,\lambda,p,q,s,\gamma,\tau}\|(2^{js}\lambda_{j}\ast\tilde{f})_{j=0}^{\infty}\|_{\ell^{q}L^{p}_{\tau}}=\|\tilde{f}\|_{\mathscr{B}_{pq}^{s\tau}(\mathbb{R}^{n})}.$$

Taking the infimum over all extensions $\tilde{f}$ of $f$ we get the boundedness $T^{\eta,\theta,\gamma}_{\Omega}:\mathscr{B}_{p,q}^{s,\tau}(\Omega)\to\mathscr{B}_{p,q}^{s-\gamma,\gamma}(\mathbb{R}^{n})$. Similarly using (29), (25) and (30), (26) we get $T^{\eta,\theta,\gamma}_{\Omega}:\mathscr{A}_{p,q}^{s,\tau}(\Omega)\to\mathscr{A}_{p,q}^{s-\gamma,\gamma}(\mathbb{R}^{n})$ for $\mathscr{A}\in\{\mathscr{F},\mathscr{N}\}$. ∎

Remark 18.

Under the definition (7), the operator norms of $T^{\eta,\theta,\gamma}_{\Omega}$ do not depend on $\Omega$. This is due to the same reason as mentioned in [SY24, Remark 3.11]:

One can see that the constants in Proposition 14 depend on everything except on $\Omega$. The same hold for the implied constants in (28), (29) and (30). After the pointwise inequality $\mathcal{P}^{\theta,N}_{\Omega,k}f\leq\mathcal{P}^{\theta,N}_{\mathbb{R}^{n},k}\tilde{f}$, it remains to estimate $(2^{js}\mathcal{P}^{\theta,N}_{\mathbb{R}^{n},j}\tilde{f})_{j=0}^{\infty}$ (which is Proposition 16), where $\Omega$ is not involved.

Corollary 19 ([YSY15, ZHS20, Zhu21]).

Let $\Omega\subset\mathbb{R}^{n}$ be a special Lipschitz domain. Let $\phi=(\phi_{j})_{j=0}^{\infty}$ and $\psi=(\psi_{j})_{j=0}^{\infty}$ be as in the assumption and conclusion of Lemma 9 with respect to $\Omega$. Then the Rychkov’s extension operator

(31) $$E_{\Omega}f=E^{\psi,\phi}_{\Omega}f:=\sum_{j=0}^{\infty}\psi_{j}\ast(\mathbf{1}_{\Omega}\cdot(\phi_{j}\ast f)),\quad f\in\mathscr{S}^{\prime}(\Omega),$$

is well-defined and has boundedness $E_{\Omega}:\mathscr{A}_{pq}^{s\tau}(\Omega)\to\mathscr{A}_{pq}^{s\tau}(\mathbb{R}^{n})$ for $\mathscr{A}\in\{\mathscr{B},\mathscr{F},\mathscr{N}\}$ and all $0<p,q\leq\infty$, $s\in\mathbb{R}$, $\tau\geq 0$ ($p<\infty$ for $\mathscr{F}$-cases).

Proof.

$E_{\Omega}$ is an extension operator because by assumption $E_{\Omega}f|_{\Omega}=\sum_{j=0}^{\infty}\psi_{j}\ast\phi_{j}\ast f=f$. The boundedness is immediate since $E_{\Omega}=T^{\psi,\phi,0}_{\Omega}$ from (27). ∎

Remark 20.

Corollary 19 is not new. See [YSY15, Proposition 4.13] for $\mathscr{A}=\mathscr{N}$, [ZHS20, Section 4] for $\mathscr{A}=\mathscr{F}$ and [Zhu21, Section 4] for $\mathscr{A}=\mathscr{B}$. For the proof we also refer [GHS23, Theorem 3.6] to readers.

The key to prove Theorem 1 is to use the following analog of [Ryc99, Theorem 2.3].

Proposition 21 (Characterizations via Peetre’s maximal functions).

Let $\Omega\subset\mathbb{R}^{n}$ be a special Lipschitz domain and let $\phi=(\phi_{j})_{j=0}^{\infty}$ be a Littlewood-Paley family associated with $\Omega$. Then for $0<p,q\leq\infty$, $s\in\mathbb{R}$ and $\tau\geq 0$ ($p<\infty$ for $\mathscr{F}$-cases), we have the following intrinsic characterizations: for every $N>\max(\frac{2n}{\min(p,q)},|s|+n\tau)$,

(32) $$\|f\|_{\mathscr{B}_{pq}^{s\tau}(\Omega)} \approx_{\phi,p,q,s,\tau,N}\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\mathcal{P}^{\phi,N}_{\Omega,j}f)\big{)}_{j=0}^{\infty}\big{\|}_{\ell^{q}L^{p}_{\tau}};$$

(33) $$\|f\|_{\mathscr{F}_{pq}^{s\tau}(\Omega)} \approx_{\phi,p,q,s,\tau,N}\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\mathcal{P}^{\phi,N}_{\Omega,j}f)\big{)}_{j=0}^{\infty}\big{\|}_{L^{p}_{\tau}\ell^{q}},\qquad\text{provided }p<\infty;$$

(34) $$\|f\|_{\mathscr{N}_{pq}^{s\tau}(\Omega)} \approx_{\phi,p,q,s,\tau,N}\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\mathcal{P}^{\phi,N}_{\Omega,j}f)\big{)}_{j=0}^{\infty}\big{\|}_{\ell^{q}M^{p}_{\tau}}.$$

Remark 22.

(32) and (33) are not new as well. The case $\mathscr{A}=\mathscr{F}$ is done in [SZ22, Theorem 1.7], where a more general setting is considered. See also [GHS23, Proof of Theorem 3.6, Step 2] for a proof of $\mathscr{A}\in\{\mathscr{B},\mathscr{F}\}$.

As already mentioned in Remark 15, it is possible that the assumption of $N$ can be weakened.

Proof of Proposition 21.

Let $\lambda=(\lambda_{j})_{j=0}^{\infty}$ be as in Definition 6 that defines the $\mathscr{A}_{pq}^{s\tau}$-norms. We only prove (33) since the proof of (32) and (34) are the same by replacing $L^{p}_{\tau}\ell^{q}$ with $\ell^{q}L^{p}_{\tau}$ and $\ell^{q}M^{p}_{\tau}$, and including the discussion of $p=\infty$.

($\gtrsim$) For $f\in\mathscr{F}_{pq}^{s\tau}(\Omega)$, let $\tilde{f}\in\mathscr{F}_{pq}^{s\tau}(\mathbb{R}^{n})$ be an extension of $f$. We see that pointwisely

$$(\mathbf{1}_{\Omega}\cdot\mathcal{P}^{\phi,N}_{\Omega,j}f)(x)\leq\mathcal{P}^{\phi,N}_{\Omega,j}f(x)=\mathcal{P}^{\phi,N}_{\Omega,j}\tilde{f}(x)\leq\mathcal{P}^{\phi,N}_{\mathbb{R}^{n},j}\tilde{f}(x),\quad j\geq 0,\quad x\in\mathbb{R}^{n}.$$

Thus by Proposition 14,

$$\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\mathcal{P}^{\phi,N}_{j}f)\big{)}_{j=0}^{\infty}\big{\|}_{L^{p}_{\tau}\ell^{q}}\leq\big{\|}\big{(}2^{js}\mathcal{P}^{\phi,N}_{\Omega,j}\tilde{f}\big{)}_{j=0}^{\infty}\big{\|}_{L^{p}_{\tau}\ell^{q}}\lesssim_{\lambda,\phi,p,q,s,\gamma,\tau,N}\big{\|}\big{(}2^{js}\lambda_{j}\ast\tilde{f}\big{)}_{j=0}^{\infty}\big{\|}_{L^{p}_{\tau}\ell^{q}}=\|\tilde{f}\|_{\mathscr{F}_{pq}^{s\tau}(\mathbb{R}^{n})}.$$

Taking infimum over all extensions $\tilde{f}$ of $f$, we get $\|f\|_{\mathscr{F}_{pq}^{s\tau}(\Omega)}\gtrsim\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\mathcal{P}^{\phi,N}_{\Omega,j}f)\big{)}_{j=0}^{\infty}\big{\|}_{L^{p}_{\tau}\ell^{q}}$.

($\lesssim$) By Corollary 19 we have $\|f\|_{\mathscr{F}_{pq}^{s\tau}(\Omega)}\approx\|E_{\Omega}f\|_{\mathscr{F}_{pq}^{s\tau}(\mathbb{R}^{n})}=\|(2^{js}\lambda_{j}\ast E_{\Omega}f)_{j=0}^{\infty}\|_{L^{p}_{\tau}\ell^{q}}$. Therefore using (28) with the fact that $E_{\Omega}=T^{\psi,\phi,0}_{\Omega}$,

(35) $$\|(2^{js}\lambda_{j}\ast E_{\Omega}f)_{j=0}^{\infty}\|_{L^{p}_{\tau}\ell^{q}}=\|(2^{js}\lambda_{j}\ast T^{\psi,\phi,0}_{\Omega}f)_{j=0}^{\infty}\|_{L^{p}_{\tau}\ell^{q}}\lesssim_{\psi,\phi,\lambda,p,q,s,\tau}\|(2^{js}\mathcal{P}^{\phi,N}_{\Omega,j}f)_{j=0}^{\infty}\|_{L^{p}_{\tau}\ell^{q}}.$$

Write $\Omega=\{(x^{\prime},x_{n}):x_{n}>\rho(x^{\prime})\}$. We define a “fold map” $L=L_{\Omega}:\mathbb{R}^{n}\twoheadrightarrow\overline{\Omega}$ as

$$L(x):=x\quad\text{if }x\in\Omega;\qquad L(x):=(x^{\prime},2\rho(x^{\prime})-x_{n}),\quad\text{if }x\notin\Omega.$$

Recall $\Omega=\{x_{n}>\rho(x^{\prime})\}$. By direct computation, we have

(36) $$\textstyle|L(x)-y|\leq\big{(}\|\nabla\rho\|_{L^{\infty}}+\sqrt{1+\|\nabla\rho\|_{L^{\infty}}^{2}}\big{)}^{2}|x-y|\lesssim_{\Omega}|x-y|\qquad x\in\mathbb{R}^{n},\quad y\in\Omega.$$

Therefore

$$\mathcal{P}_{\Omega,j}^{\phi,N}f(x)=\sup_{y\in\Omega}\frac{|\phi_{j}\ast f(y)|}{(1+2^{j}|x-y|)^{N}}\lesssim_{\Omega,N}\sup_{y\in\Omega}\frac{|\phi_{j}\ast f(y)|}{(1+2^{j}|L(x)-y|)^{N}}=\big{(}\mathcal{P}_{\Omega,j}^{\phi,N}f\big{)}\big{(}L(x)\big{)},\quad x\in\mathbb{R}^{n}.$$

Clearly for $0<p\leq\infty$ we have the following estimate for cube $Q\in\mathcal{Q}$ and function $g\in L^{p}_{\mathrm{loc}}(\Omega)$:

$$\|g\circ L\|_{L^{p}(Q)}\lesssim_{p}\|g\|_{L^{p}(\Omega\cap L^{-1}(Q))}\lesssim_{p}\sum_{P\in\mathcal{I}_{Q}}\|\mathbf{1}_{\Omega}\cdot g\|_{L^{p}(P)},\quad\text{where }\mathcal{I}_{Q}:=\{P\in\mathcal{Q}:|P|=|Q|,\ P\cap L^{-1}(Q)\neq\varnothing\}.$$

By (36) we have control of the cardinality $\#\mathcal{I}_{Q}\lesssim_{n}(1+\|\nabla\rho\|_{L^{\infty}})^{2n}\lesssim_{\Omega}1$, which is uniform in $Q\in\mathcal{Q}$. Therefore,

(37) $$\|(2^{js}\mathcal{P}^{\phi,N}_{\Omega,j}f)_{j=0}^{\infty}\|_{L^{p}_{\tau}\ell^{q}}\lesssim_{N}\big{\|}\big{(}2^{js}(\mathcal{P}^{\phi,N}_{\Omega,j}f)\circ L\big{)}_{j=0}^{\infty}\big{\|}_{L^{p}_{\tau}\ell^{q}}\lesssim_{p,q,\Omega}\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\mathcal{P}^{\phi,N}_{\Omega,j}f)\big{)}_{j=0}^{\infty}\big{\|}_{L^{p}_{\tau}\ell^{q}}.$$

Combining (35) and (37) we get $\|f\|_{\mathscr{F}_{pq}^{s\tau}(\Omega)}\lesssim\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\mathcal{P}^{\phi,N}_{\Omega,j}f)\big{)}_{j=0}^{\infty}\big{\|}_{L^{p}_{\tau}\ell^{q}}$, finishing the proof. ∎

We can now prove Theorem 1:

Proof of Theorem 1.

The $\mathscr{F}_{\infty q}^{s}$-cases follow immediately from the $\mathscr{F}_{pq}^{s\tau}$-cases using (9).

Fix a $N>\max(2n/\min(p,q),|s|+n\tau)$. We only prove the $\mathscr{F}_{pq}^{s\tau}$-cases. The proofs of the $\mathscr{B}_{pq}^{s\tau}$-cases and the $\mathscr{N}_{pq}^{s\tau}$-cases are the same, except that we replace every $L^{p}_{\tau}\ell^{q}$ with $\ell^{q}L^{p}_{\tau}$ and $\ell^{q}M^{p}_{\tau}$.

By Proposition 21 we have $\|f\|_{\mathscr{F}_{pq}^{s\tau}(\Omega)}\approx\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\mathcal{P}^{\phi,N}_{\Omega,j}f)\big{)}_{j=0}^{\infty}\big{\|}_{L^{p}_{\tau}\ell^{q}}$. Therefore, it suffices to show that $\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\mathcal{P}^{\phi,N}_{\Omega,j}f)\big{)}_{j=0}^{\infty}\big{\|}_{L^{p}_{\tau}\ell^{q}}\approx\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\phi_{j}\ast f)\big{)}_{j=0}^{\infty}\big{\|}_{L^{p}_{\tau}\ell^{q}}$.

Clearly $\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\mathcal{P}^{\phi,N}_{\Omega,j}f)\big{)}_{j=0}^{\infty}\big{\|}_{L^{p}_{\tau}\ell^{q}}\geq\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\phi_{j}\ast f)\big{)}_{j=0}^{\infty}\big{\|}_{L^{p}_{\tau}\ell^{q}}$ since $\phi_{j}\ast f(x)\leq\mathcal{P}^{\phi,N}_{\Omega,j}f(x)$ holds for all $f\in\mathscr{S}^{\prime}(\Omega)$, $x\in\Omega$ and $j\geq 0$. The converse $\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\mathcal{P}^{\phi,N}_{\Omega,j}f)\big{)}_{j=0}^{\infty}\big{\|}_{L^{p}_{\tau}\ell^{q}}\lesssim_{\phi,p,q,s,\tau,N}\big{\|}\big{(}2^{js}\mathbf{1}_{\Omega}\cdot(\phi_{j}\ast f)\big{)}_{j=0}^{\infty}\big{\|}_{L^{p}_{\tau}\ell^{q}}$ follows from (18). Thus, we prove the $\mathscr{F}_{pq}^{s\tau}$-cases. ∎

We have the immediate analogy of [YY10, Theorem 1.1] on Lipschitz domains:

Corollary 23.

Keeping the assumptions in Proposition 21, we have the following intrinsic characterizations: for every $N>\max(2n/\min(p,q),|s|+n\tau)$,

$$\|f\|_{\mathscr{B}_{pq}^{s\tau}(\Omega)} \approx_{\phi,p,q,s,\tau,N}\sup_{Q_{J,v}\in\mathcal{Q}}2^{nJ\tau}\Big{(}\sum_{j=\max(0,J)}^{\infty}2^{jsq}\|\mathcal{P}^{\phi,N}_{(Q_{J,v}\cap\Omega),j}f\|_{L^{p}(Q_{J,v}\cap\Omega)}^{q}\Big{)}^{\frac{1}{q}};$$

$$\|f\|_{\mathscr{F}_{pq}^{s\tau}(\Omega)} \approx_{\phi,p,q,s,\tau,N}\sup_{Q_{J,v}\in\mathcal{Q}}2^{nJ\tau}\Big{(}\int_{Q_{J,v}\cap\Omega}\Big{(}\sum_{j=\max(0,J)}^{\infty}2^{jsq}|\mathcal{P}^{\phi,N}_{(Q_{J,v}\cap\Omega),j}f(x)|^{q}\Big{)}^{\frac{p}{q}}dx\Big{)}^{\frac{1}{p}},\quad\text{provided }p<\infty;$$

$$\|f\|_{\mathscr{N}_{pq}^{s\tau}(\Omega)} \approx_{\phi,p,q,s,\tau,N}\Big{(}\sum_{j=0}^{\infty}\sup_{Q_{J,v}\in\mathcal{Q}}2^{nJ\tau q+jsq}\|\mathcal{P}^{\phi,N}_{(Q_{J,v}\cap\Omega),j}f\|_{L^{p}(Q_{J,v}\cap\Omega)}^{q}\Big{)}^{\frac{1}{q}}.$$

Proof.

Since $|\phi_{j}\ast f(x)|\leq\mathcal{P}^{\phi,N}_{(Q_{J,v}\cap\Omega),j}f(x)\leq\mathcal{P}^{\phi,N}_{\Omega,j}f(x)$ pointwisely for every $Q_{J,v}\in\mathcal{Q}$ and $x\in Q_{J,v}\cap\Omega$, the results follow immediately by combining Theorem 1 and Proposition 21. ∎

Remark 24.

By the standard partition of unity argument, we can give the analogy of Theorem 1 on a bounded Lipschitz domain. An example is the following:

(38) $$\|f\|_{\mathscr{B}_{pq}^{s\tau}(\Omega)} \approx\sum_{\nu=1}^{N}\|(2^{js}\mathbf{1}_{\Omega\cap U_{\nu}}\cdot(\phi_{j}^{\nu}\ast(\chi_{\nu}f)))_{j=0}^{\infty}\|_{\ell^{q}L^{p}_{\tau}};$$

(39) $$\|f\|_{\mathscr{F}_{pq}^{s\tau}(\Omega)} \approx\sum_{\nu=1}^{N}\|(2^{js}\mathbf{1}_{\Omega\cap U_{\nu}}\cdot(\phi_{j}^{\nu}\ast(\chi_{\nu}f)))_{j=0}^{\infty}\|_{L^{p}_{\tau}\ell^{q}};$$

(40) $$\|f\|_{\mathscr{N}_{pq}^{s\tau}(\Omega)} \approx\sum_{\nu=1}^{N}\|(2^{js}\mathbf{1}_{\Omega\cap U_{\nu}}\cdot(\phi_{j}^{\nu}\ast(\chi_{\nu}f)))_{j=0}^{\infty}\|_{\ell^{q}M^{p}_{\tau}};$$

Here $\{U_{\nu},(\phi_{j}^{\nu})_{j=0}^{\infty},\chi_{\nu}\}_{\nu=1}^{N}$ satisfy the following:

• $\{U_{\nu}\}_{\nu=1}^{N}$ is an open cover of $\overline{\Omega}$, and there are cones $K_{\nu}\subset\mathbb{R}^{n}$ such that $U_{\nu}\cap(\Omega-K_{\nu})\subseteq U_{\nu}\cap\Omega$ for each $\nu=1,\dots,N$.

• For $\nu=1,\dots,N$, $(\phi_{j}^{\nu})_{j=0}^{\infty}$ satisfies (P.a) - (P.c) in Definition 4, with support condition $\operatorname{supp}\phi_{j}^{\nu}\subset K_{\nu}$ for $j\geq 0$.

• $\chi_{\nu}\in C_{c}^{\infty}(U_{\nu})$ for $\nu=1,\dots,N$, and satisfy $\sum_{\nu=1}^{N}\chi_{\nu}|_{\overline{\Omega}}\equiv 1$.

To prove (38), (39) and (40) the only thing we need are the following standard results ($p<\infty$ for $\mathscr{F}$-cases):

1. Let $\chi\in C_{c}^{\infty}(\mathbb{R}^{n})$. Then $[\tilde{f}\mapsto\chi\tilde{f}]:\mathscr{A}_{pq}^{s\tau}(\mathbb{R}^{n})\to\mathscr{A}_{pq}^{s\tau}(\mathbb{R}^{n})$ is bounded.

2. Let $\Phi$ be an invertible affine linear transform. Then $[\tilde{f}\mapsto\tilde{f}\circ\Phi]:\mathscr{A}_{pq}^{s\tau}(\mathbb{R}^{n})\to\mathscr{A}_{pq}^{s\tau}(\mathbb{R}^{n})$ is bounded.

3. For every $m\geq 1$, we have equivalent norms $\|f\|_{\mathscr{A}_{p,q}^{s,\tau}(\mathbb{R}^{n})}\approx_{p,q,s,\tau,m}\sum_{|\alpha|\leq m}\|\partial^{\alpha}f\|_{\mathscr{A}_{p,q}^{s-m,\tau}(\mathbb{R}^{n})}$.

One can see [YSY10, Sections 6.1.1 and 6.2], [WYY17, Theorem 1.6] and [ST07, Theorem 3.3] for their proof. See also [HT23, Sections 3.4, 4.2 and 4.3]. We remark that because of (8) it is enough to consider the case $0\leq\tau\leq\frac{1}{p}$. We leave the details to the readers.

One can also write down the analogy of Proposition 21 and Corollary 23 similar to (38), (39) and (40), we leave the details to the readers as well.

Finally, we prove Theorem 2 using the following fact:

Proposition 25 ([SY24, Theorem 1.5 (ii)]).

Let $(\phi_{j})_{j=1}^{\infty}$ be a family of Schwartz functions satisfying (P.a), (P.b) and (P.d). Recall that for every $j\geq 1$, $\phi_{j}(x)=2^{(j-1)n}\phi_{1}(2^{j-1}x)$, $\int x^{\alpha}\phi_{j}(x)dx=0$ for all $\alpha$, and $\operatorname{supp}\phi_{j}\subset\{x_{n}<-A|x^{\prime}|\}$ for some $A>0$.

Then for any $m\geq 1$, there are families of Schwartz functions $\tilde{\phi}^{\beta}=(\tilde{\phi}^{\beta}_{j})_{j=1}^{\infty}$ for $|\beta|=m$ that also satisfy (P.a), (P.b) and (P.d), such that

$$\phi_{j}=2^{-jm}\sum_{|\beta|=m}\partial^{\beta}\tilde{\phi}_{j}^{\beta},\quad\text{for every }j\geq 1.$$

Proof of Theorem 2.

Once the case of special Lipschitz domains is done, the proof of the case of bounded Lipschitz domains follows from the standard partition of unity argument (one can read [SY24, Section 6] for details) along with the facts ($\Psi$.a), ($\Psi$.b) and ($\Psi$.c) mentioned in Remark 24.

Let $\Omega\subset\mathbb{R}^{n}$ be a special Lipschitz domain. Let $f\in\mathscr{A}_{pq}^{s\tau}(\Omega)$ and let $\tilde{f}\in\mathscr{A}_{pq}^{s\tau}(\mathbb{R}^{n})$ be an extension of $f$. By ($\Psi$.c) we have $\|\partial^{\alpha}\tilde{f}\|_{\mathscr{A}_{p,q}^{s-|\alpha|,\tau}(\mathbb{R}^{n})}\lesssim_{p,q,s,\tau,\alpha}\|\tilde{f}\|_{\mathscr{A}_{pq}^{s\tau}(\mathbb{R}^{n})}$. Since $\partial^{\alpha}\tilde{f}$ is also an extension of $\partial^{\alpha}f$, by (7) in Definition 5, taking the infimum over all extensions $\tilde{f}$ of $f$ we get $\sum_{|\alpha|\leq m}\|\partial^{\alpha}f\|_{\mathscr{A}_{p,q}^{s-m,\tau}(\Omega)}\lesssim\|f\|_{\mathscr{A}_{pq}^{s\tau}(\Omega)}$.

To prove the converse inequality $\|f\|_{\mathscr{A}_{pq}^{s\tau}(\Omega)}\lesssim\sum_{|\alpha|\leq m}\|\partial^{\alpha}f\|_{\mathscr{A}_{p,q}^{s-m,\tau}(\Omega)}$, let $(\phi_{j},\psi_{j})_{j=0}^{\infty}$ be as in (31).

We let $(\tilde{\phi}^{\beta}_{j})_{j=1}^{\infty}\subset\mathscr{S}(\mathbb{R}^{n})$ ($|\beta|>0$) be given in Proposition 25. Thus $\phi_{j}=2^{-jq}\sum_{\beta:|\beta|=q}\partial^{\beta}\tilde{\phi}^{\beta}_{j}$ for all $j,q\geq 1$.

For $\alpha\neq 0$, we define $\psi^{\alpha}=(\psi^{\alpha}_{j})_{j=1}^{\infty}$ by $\psi^{\alpha}_{j}(x):=2^{-j|\alpha|}\partial^{\alpha}\psi_{j}(x)$ (for $j\geq 1$). Thus the sequences $\psi^{\alpha}$ (for $\alpha\neq 0$) all satisfy (P.a), (P.b) and (P.d).

We define a family of linear operators,

(41) $$E^{\alpha,0}f=E^{\alpha,0}_{\Omega}f:=\partial^{\alpha}\psi_{0}\ast(\mathbf{1}_{\Omega}\cdot(\phi_{0}\ast f)),\quad E^{\alpha,\beta}f=E^{\alpha,\beta}_{\Omega}f:=\sum_{j=1}^{\infty}\psi_{j}^{\alpha}\ast(\mathbf{1}_{\Omega}\cdot(\tilde{\phi}_{j}^{\beta}\ast f)),\text{ for }|\alpha|=|\beta|>0.$$

For every $f\in\mathscr{S}^{\prime}(\Omega)$ and for every multi-index $\alpha\neq 0$, we see that

(42) $$\partial^{\alpha}Ef =\sum_{j=0}^{\infty}\partial^{\alpha}\psi_{j}\ast(\mathbf{1}_{\Omega}\cdot(\phi_{j}\ast f))=\partial^{\alpha}\psi_{0}\ast(\mathbf{1}_{\Omega}\cdot(\phi_{0}\ast f))+\sum_{j=1}^{\infty}\sum_{\beta:|\beta|=|\alpha|}2^{j|\alpha|}\psi_{j}^{\alpha}\ast(\mathbf{1}_{\Omega}\cdot 2^{-j|\alpha|}(\partial^{\beta}\tilde{\phi}_{j}^{\beta}\ast f))$$

$$=\partial^{\alpha}\psi_{0}\ast(\mathbf{1}_{\Omega}\cdot(\phi_{0}\ast f))+\sum_{\beta:|\beta|=|\alpha|}\sum_{j=1}^{\infty}\psi_{j}^{\alpha}\ast(\mathbf{1}_{\Omega}\cdot(\tilde{\phi}_{j}^{\beta}\ast\partial^{\beta}f))=E^{\alpha,0}f+\sum_{\beta:|\beta|=|\alpha|}E^{\alpha,\beta}[\partial^{\beta}f].$$

By Proposition 17, $E^{\alpha,0},E^{\alpha,\beta}:\mathscr{A}_{p,q}^{s-m,\tau}(\Omega)\to\mathscr{A}_{p,q}^{s-m,\tau}(\mathbb{R}^{n})$ are all bounded. Therefore

$$\|f\|_{\mathscr{A}_{pq}^{s\tau}(\Omega)}\approx \|Ef\|_{\mathscr{A}_{pq}^{s\tau}(\mathbb{R}^{n})}\overset{\text{\ref{Item::Property::DerNorm}}}{\approx}\sum_{|\alpha|\leq m}\|\partial^{\alpha}Ef\|_{\mathscr{A}_{pq}^{s-m,\tau}(\mathbb{R}^{n})}$$

$$\overset{\text{\eqref{Eqn::EqvNormPfKey}}}{\lesssim} \|Ef\|_{\mathscr{A}_{pq}^{s-m,\tau}(\mathbb{R}^{n})}+\sum_{0<|\alpha|\leq m}\Big{(}\|E^{\alpha,0}f\|_{\mathscr{A}_{pq}^{s-m,\tau}(\mathbb{R}^{n})}+\sum_{\beta:|\beta|=|\alpha|}\|E^{\alpha,\beta}[\partial^{\beta}f]\|_{\mathscr{A}_{pq}^{s-m,\tau}(\mathbb{R}^{n})}\Big{)}$$

$$\lesssim \|f\|_{\mathscr{A}_{pq}^{s-m,\tau}(\Omega)}+\sum_{0<|\alpha|\leq m}\Big{(}\|f\|_{\mathscr{A}_{pq}^{s-m,\tau}(\Omega)}+\sum_{\beta:|\beta|=|\alpha|}\|\partial^{\beta}f\|_{\mathscr{A}_{pq}^{s-m,\tau}(\Omega)}\Big{)}\lesssim\sum_{|\beta|\leq m}\|\partial^{\beta}f\|_{\mathscr{A}_{pq}^{s-m,\tau}(\Omega)}.$$

This completes the proof of (4) for the case of special Lipschitz domains.

The $\mathscr{F}_{\infty q}^{s}$-cases follow immediately from (9) since we have $\mathscr{F}_{\infty q}^{s}(\mathbb{R}^{n})=\mathscr{F}_{qq}^{s,\frac{1}{q}}(\mathbb{R}^{n})$. ∎

4. Further Open Questions

By the same method, using Lemma 10 - Proposition 14, it is possible for us to get the analogs of Theorems 1 and 2 on the so-called local spaces.

The local version of $\mathscr{A}_{pq}^{s\tau}(\mathbb{R}^{n})$ for $\mathscr{A}\in\{\mathscr{B},\mathscr{F},\mathscr{N}\}$, denoted by $\mathscr{A}_{p,q,\text{unif}}^{s,\tau}(\mathbb{R}^{n})$, is defined by replacing the supremum among the set of dyadic cubes $\mathcal{Q}$ with $\{Q_{J,v}\in\mathcal{Q}:J\geq 0\}$. See [Sic12, Section 3.4] for example. For an open subset $\Omega\subseteq\mathbb{R}^{n}$ we use $\mathscr{A}_{p,q,\text{unif}}^{s,\tau}(\Omega):=\{\tilde{f}|_{\Omega}:\tilde{f}\in\mathscr{A}_{p,q,\text{unif}}^{s,\tau}(\mathbb{R}^{n})\}$ similarly. For more details we refer [Tri13] to readers.

One can also consider the analog of Theorems 1 and 2 on $\mathscr{A}_{p(\cdot),q(\cdot)}^{s(\cdot),\phi}$, the spaces with variable exponents. For example [SZ22], which may require certain assumptions on the exponents.

In Definition 6, it is known that the norms are equivalent if $(\lambda_{j})_{j=0}^{\infty}$ only satisfies the scaling condition (P.b) and the Tauberian condition:

(43) $$\text{There exist }\varepsilon_{0},c>0\quad\text{such that}\quad|\hat{\lambda}_{0}(\xi)|>c\text{ for }|\xi|<\varepsilon_{0},\quad\text{and }|\hat{\lambda}_{1}(\xi)|>c\text{ for }\varepsilon_{0}/2<|\xi|<2\varepsilon_{0}.$$

See [WYY17, Theorems 2.5 and 2.6] and [Xu05, Theorem 1] for example.

It is not known to the author whether we can replace the assumption (P.c) for $(\phi_{j})_{j=0}^{\infty}$ in Theorem 1 with the Tauberian condition (43).

For Theorem 2, we do not know whether (4) has the following improvement:

Question 26.

Keeping the assumptions of Theorem 2, can we find a $C=C(\Omega,p,q,s,\tau,m)>0$ such that the following holds?

$$\|f\|_{\mathscr{A}_{pq}^{s\tau}(\Omega)}\leq C\Big{(}\|f\|_{\mathscr{A}_{p,q}^{s-m,\tau}(\Omega)}+\sum_{k=0}^{n}\Big{\|}\frac{\partial^{m}f}{\partial x_{k}^{m}}\Big{\|}_{\mathscr{A}_{p,q}^{s-m,\tau}(\Omega)}\Big{)},\quad\forall\,f\in\mathscr{A}_{pq}^{s\tau}(\Omega).$$

Cf. [WYY17, Theorem 1.6]. The question is open even for the classical Besov and Triebel-Lizorkin spaces $\mathscr{A}_{pq}^{s}(\Omega)$ when $\Omega$ is a (special or bounded) Lipschitz domain.

Acknowledgment.

I would like to thank Dorothee Haroske, Wen Yuan and Ciqiang Zhuo for their informative discussions and advice. I would also like to thank the referees for the comments and suggestions.