Abstract
We study elliptic and parabolic boundary value problems in spaces of mixed scales with mixed smoothness on the halfspace. The aim is to solve boundary value problems with boundary data of negative regularity and to describe the singularities of solutions at the boundary. To this end, we derive mapping properties of Poisson operators in mixed scales with mixed smoothness. We also derive \(\mathcal {R}\)sectoriality results for homogeneous boundary data in the case that the smoothness in normal direction is not too large.
Introduction
In recent years, there were some efforts to generalize classical results on the bounded \(\mathcal {H}^\infty \)calculus ([7, 8, 13, 14]) and maximal regularity ([8, 9, 11, 12, 21]) of elliptic and parabolic equations to cases in which rougher boundary data can be considered. The main tool in order to derive these generalizations is spatial weights, especially power weights of the form
which measure the distance to the boundary of the domain \(\mathcal {O}\subset \mathbb {R}^n\). Including weights which fall outside the \(A_p\)range, i.e., weights with \(r\notin (1,p1)\), provides a huge flexibility concerning the smoothness of the boundary data which can be considered. We refer the reader to [32] in which the bounded \(\mathcal {H}^\infty \)calculus for the shifted Dirichlet Laplacian in \(L_p(\mathcal {O},w_r^{\partial \mathcal {O}})\) with \(r\in (1,2p1){\setminus }\{p1\}\) has been obtained and applications to equations with rough boundary data are given. One even obtains more flexibility if one studies boundary value problems in weighted Besov and Triebel–Lizorkin spaces. Maximal regularity results for the heat equation with inhomogeneous boundary data have been obtained in [30]. In [22], similar results were shown for general elliptic and parabolic boundary value problems.
The elliptic and parabolic equations we are interested in are of the form
and
where \(A,B_1,\ldots ,B_m\) is a homogeneous constantcoefficient parameterelliptic boundary system, f is a given inhomogeneity and the \(g_j\) \((j=1,\ldots ,m)\) are given boundary data. Of course, f and the \(g_j\) in (12) may depend on time. We will also study the case in which (12) is supplemented by initial conditions, i.e.,
for some \(T\in \mathbb {R}_+\). The focus will lie on the systematic treatment of boundary conditions \(g_j\) which are only assumed to be tempered distributions. In particular, boundary data of negative regularity will be included. However, we still have some restrictions on the smoothness in time of the boundary data for (13).
One reason for the interest in the treatment of rougher boundary data is that they naturally appear in problems with boundary noise. The fact that white noise terms have negative pathwise regularity (see for example [4, 16, 47]) was one of the main motivations for this work. It was already observed in [6] that even in one dimension solutions to equations with Gaussian boundary noise only have negative regularity in an unweighted setting. By introducing weights, this issue was resolved for example in [1]. We also refer to [5] in which the singularities at the boundary of solutions of Poisson and heat equation with different kinds of noise are analyzed.
One drawback of the methods in [1, 5, 6] is that solutions are constructed in a space which is too large for traces to exist, i.e., the operators
are not well defined as operators from the space in which the solution is constructed to the space of boundary data. This problem is avoided by using a mild solution concept, which is a valid approach in the classical setting and therefore, it seems reasonable to accept mild solutions as good enough, even though \({\text {tr}}_{\partial \mathcal {O}}B_j(D)u\) does not make sense on its own.
In this paper, we propose a point of view which helps us to give a meaning to \({\text {tr}}_{\partial \mathcal {O}}B_j(D)u\) in a classical sense. We will exploit that solutions to (11), (12) and (13) are very smooth in normal directions so that taking traces will easily be possible, even if the boundary data is just given by tempered distributions. This can be seen by studying these equations in spaces of the form \(\mathscr {B}^k(\mathbb {R}_{+},\mathscr {A}^s(\mathbb {R}^{n1}))\), where \(\mathscr {A}\) and \(\mathscr {B}\) denote certain scales of function spaces with smoothness parameters s and k, respectively. The parameter k corresponds to the smoothness in normal direction and will be taken large enough so that we can take traces and the parameter s corresponds to smoothness in tangential directions and will be taken small enough so that \(\mathscr {A}^s\) contains the desired boundary data. This way, we will not only be able to give a meaning to \({\text {tr}}_{\partial \mathcal {O}}B_j(D)u\), but we will also obtain tools which help us to analyze the singularities of solutions at the boundary. This supplements the quantitative analysis in [22, 30, 32].
The idea to use spaces with mixed smoothness is quite essential in this paper, even if one refrains from using mixed scales. We refer to [42, Chapter 2] for an introduction to spaces with dominating mixed smoothness. It seems like these spaces have not been used in the theory of partial differential equations so far. Nonetheless, we should mention that they are frequently studied in the theory of function spaces and have various applications. In particular, they are a classical tool in approximation theory in a certain parameter range, see for example [46, Chapter 11].
This paper is structured in the following way:

Section 2 briefly introduces the tools and concepts we use throughout the paper. This includes some notions and results from the geometry of Banach spaces, \(\mathcal {R}\)boundedness and weighted function spaces.

In Sect. 3, we study pseudodifferential operators in mixed scales with mixed smoothness. This will be important for the treatment of Poisson operators, as we will view them as functions in normal direction with values in the space of pseudodifferential operators of certain order in tangential directions.

Section 4 is the central part of this paper and the basis for the results in the subsequent sections. Therein, we derive various mapping properties of Poisson operators with values in spaces of mixed scales and mixed smoothness.

In Sect. 5, we study Eq. (11) in spaces of mixed scales and mixed smoothness with homogeneous boundary data, i.e., with \(g_j=0\). We derive \(\mathcal {R}\)sectoriality of the corresponding operator under the assumption that the smoothness in normal direction is not too high. As a consequence, we also obtain maximal regularity for (13) with \(g_j=0\) in the UMD case.

Finally, we apply our techniques to Eqs. (11), (12) and (13) in Sect. 6. We will be able to treat (11) and (12) for arbitrary regularity in space and time. However, for the initial boundary value problem (13) we still have some restrictions concerning the regularity in time of the boundary data.
Comments on localizations
We should emphasize that we do not address questions of localization or perturbation in this work. Thus, we do not yet study what kind of variable coefficients or lowerorder perturbations of the operators we can allow. We also do not yet study how our results can be transferred to more general geometries than just the halfspace. Nonetheless, we want to give some ideas on how one can proceed.
The usual approach to transfer results for boundary value problems from the model problem on the halfspace with constant coefficients to more general domains with compact smooth boundary and operators with nonconstant coefficients is quite technical but standard. One takes a cover of the boundary which is fine enough such that in each chart the equation almost looks like the model problem with just a small perturbation on the coefficients and the geometry. In order to formally treat the local problem in a chart as the model problem, one has to find suitable extensions of the coefficients and the geometry such that the parameterellipticity is preserved and such that the coefficients are constant up to a small perturbation. One also carries out similar steps in the interior of the domain, where the equation locally looks like an elliptic or parabolic equation in \(\mathbb {R}^n\). The essential step is then to derive perturbation results which justify that these small perturbations do not affect the property which one wants to transfer to the more general situation. Such a localization procedure has been carried out in full detail in [36]. We also refer the reader to [8, Chapter 8].
The localization approach also seems to be reasonable in our situation. However, there is an additional difficulty: As described above, we work in spaces of the form \(\mathscr {B}^k(\mathbb {R}_{+},\mathscr {A}^s(\mathbb {R}^{n1}))\) which splits the halfspace in tangential and normal directions. Since this splitting uses the geometric structure of the halfspace, one might wonder what the right generalization of these spaces to a smooth bounded domain would be. In order to answer this question, we think that the notion of a collar of a manifold with boundary should be useful. More precisely, due to Milnor’s collar neighborhood theorem (see for example [38, Corollary 3.5]) there exists an open neighborhood U of the boundary \(\partial M\) of a smooth manifold M which is diffeomorphic to \(\partial M\times [0,1)\). This neighborhood U is a socalled collar neighborhood. On \(\partial M\times [0,1)\) it is straightforward how to generalize our spaces with mixed smoothness: One could just take \(\mathscr {B}^k([0,1),\mathscr {A}^s(\partial M))\). Now one could define the space
where \(\Phi :U\rightarrow \partial M\times [0,1)\) denotes the diffeomorphism provided by the collar neighborhood theorem. It seems natural to endow \(\mathscr {B}^k(\mathscr {A}^s(U))\) with the norm
This definition allows us to give a meaning to the splitting in normal and tangential directions for a neighborhood of the boundary of general domains. It is less clear how to extend this splitting to the interior of the domain. But fortunately, this is also not important in our analysis. Indeed, the solution operators for inhomogeneous boundary data have a strong smoothing effect so that solutions are arbitrarily smooth in the interior of the domain with continuous dependence on the boundary data. Therefore, in the case of smooth coefficients one may work with smooth functions in the interior. To this end, we can take another open set \(V\subset {\text {int}} M\), where \({\text {int}} M\) denotes the interior of M, such that \(M=U \cup V\) and \(\Phi (U\cap V)\subset \partial M\times [\tfrac{1}{2},1)\). Moreover, we take \(\phi ,\psi :C^{\infty }(M)\) such that \({\text {supp}}\phi \subset U\), \({\text {supp}}\psi \subset V\) and \(\phi +\psi \equiv 1\). Finally, we think that on bounded domains the right spaces should be given by
since they preserve the splitting in normal and tangential directions close to the boundary and since they use the smoothing effect of the solution operators where the splitting cannot be preserved anymore.
Comparison to other works
There are several other works which study boundary value problems with rough boundary data. The approach which seems to be able to treat the most boundary data is the one by Lions and Magenes, see [33,34,35]. It also allows for arbitrary regularity at the boundary. One of the main points is that the trace operator is extended to the space \(D_A^{r}\) (see [33, Theorem 6.5]) where it maps into a boundary space with negative regularity. The space \(D_A^{r}\) contains those distributions \(u\in H^{r}(\Omega )\) such that Au is in the dual of the space
i.e., \(\Xi ^{r+2m}\) contains functions whose derivatives may have singularities at the boundary with a certain order. This extension of the trace operator was generalized to the scale of Hörmander spaces in [3], where the authors used suitable interpolation techniques. One advantage of our approach compared to [3, 33,34,35] is that we can give a detailed quantitative analysis of the smoothness and singularities of solutions at the boundary. For example, we show in Theorem 4.16 that solutions of (11) are arbitrarily smooth in normal direction if the smoothness in tangential direction is chosen low enough. Moreover, we describe the singularities at the boundary if the smoothness in tangential direction is too high.
Another technique to treat rougher boundary data is to systematically study boundary value problems in weighted spaces. This has for example been carried out in [22, 30, 32]. By using power weights in the \(A_{\infty }\) range, one can push the regularity on the boundary down to almost 0. However, if one works with \(A_{\infty }\) weights, then many Fourier analytic tools are not available anymore in the \(L_p\) scale. The situation is better in Besov and Triebel–Lizorkin spaces, where Fourier multiplier techniques can still be applied. This has been used for secondorder operators with Dirichlet boundary conditions in [30] and for general parameterelliptic and parabolic boundary value problems in [22]. In both references, maximal regularity with inhomogeneous boundary data has been derived. Lindemulder and Veraar [32] derive a bounded \(\mathcal {H}^\infty \)calculus for the Dirichlet Laplacian in weighted \(L_p\)spaces even for some weights which fall outside the \(A_p\) range. The main tool therein to replace Fourier multiplier techniques are variants of Hardy’s inequality. The results derived in [22, 30, 32] are stronger than the ones we derive here in the sense that we do not derive maximal regularity with inhomogeneous boundary data or a bounded \(\mathcal {H}^\infty \)calculus. As in our work, the singularities at the boundary are described by the strength of the weights one has to introduce. However, we can treat much more boundary data since [22, 30, 32] are restricted to positive regularity on the boundary.
There are also works dealing with rough boundary data for nonlinear equations such as the Navier–Stokes equation, see for example [2, 19] and references therein. The former reference uses the notion of very weak solutions as well as semigroup and interpolation–extrapolation methods. The latter reference studies the problem in the context of the Boutet de Monvel calculus. Our methods would still have to be extended to nonlinear problems. However, in both of the cited works there are restrictions on the regularity of the boundary data which can be considered.
Notations and assumptions
We write \(\mathbb {N}=\{1,2,3,\ldots \}\) for the natural numbers starting from 1 and \(\mathbb {N}_0=\{0,1,2,\ldots \}\) for the natural numbers starting from 0. Throughout the paper, we take \(n\in \mathbb {N}\) to be the space dimension and write
If \(n=1\), we also just write \(\mathbb {R}_+:=\mathbb {R}^1_+\). Given a real number \(x\in \mathbb {R}\), we write
We will frequently use the notation with the brackets for sums or differences of real numbers. Oftentimes, we split \(x=(x',x_n)\in \mathbb {R}^{n1}\times \mathbb {R}\) or in the Fourier image \(\xi =(\xi ',\xi _n)\) where \(x',\xi '\in \mathbb {R}^{n1}\) refer to the directions tangential to the boundary \(\mathbb {R}^{n1}=\partial \mathbb {R}^{n}_+\) and \(x_n,\xi _n\in \mathbb {R}\) refer to the normal directions. Given \(x\in \mathbb {C}^n\) or a multiindex \(\alpha \in \mathbb {N}_0^n\), we write
for the Euclidean length of x or the \(\ell ^1\)norm of the multiindex \(\alpha \), respectively. Even though this notation is ambiguous, it is convention in the literature and we therefore stick to it. We write
for the usual scalar product. The Bessel potential will be denoted by
Given an angle \(\phi \in (0,\pi ]\), we write
If M is a set, then we use the notation
for the canonical projection of \(M^n\) to the jth component.
Throughout the paper, E will denote a complex Banach space on which we impose additional conditions at certain places. The topological dual of a Banach space \(E_0\) will be denoted by \(E_0'\). By \(\mathscr {S}(\mathbb {R}^n;E)\) and \(\mathscr {S}'(\mathbb {R}^n;E)\) we denote the spaces of Evalued Schwartz functions and Evalued tempered distributions, respectively. Given a domain \(\mathcal {O}\subset \mathbb {R}^n\), we write \(\mathscr {D}(\mathcal {O};E)\) and \(\mathscr {D}'(\mathcal {O};E)\) for the spaces of Evalued test functions and Evalued distributions, respectively. If \(E=\mathbb {C}\) in some function space, then we will omit it in the notation. On \(\mathscr {S}(\mathbb {R}^n;E)\), we define the Fourier transform
As usual, we extend it to \(\mathscr {S}'(\mathbb {R}^n;E)\) by \([\mathscr {F}u](f):=u(\mathscr {F}f)\) for \(u\in \mathscr {S}'(\mathbb {R}^n;E)\) and \(f\in \mathscr {S}(\mathbb {R}^n)\). Sometimes, we also use the Fourier transform \(\mathscr {F}'\) which only acts on the tangential directions, i.e.,
By \(\sigma (T)\) and \(\rho (T)\), we denote the spectrum and the resolvent set, respectively, of a linear operator \(T:E\supset D(T)\rightarrow E\) defined on the domain D(T). We write \(\mathcal {B}(E_0,E_1)\) for the set of all bounded linear operators from the Banach space \(E_0\) to the Banach space \(E_1\) and we set \(\mathcal {B}(E):=\mathcal {B}(E,E)\).
If \(f,g:M\rightarrow \mathbb {R}\) map some parameter set M to the reals, then we occasionally write \(f\lesssim g\) if there is a constant \(C>0\) such that \(f(x)\le C g(x)\) for all \(x\in M\). If \(f\lesssim g\) and \(g\lesssim f\), we also write \(f\eqsim g\). We mainly use this notation in longer computations.
Now we formulate our assumptions on the operators \(A(D),B_1(D),\ldots ,B_m(D)\): Let
for some \(m,m_1,\ldots ,m_m\in \mathbb {N}\) with \(m_j<2m\) \((j=1,\ldots ,m)\) and \(a_{\alpha },b^j_{\beta }\in \mathcal {B}(E)\).
Assumption 1.1
(Ellipticity and Lopatinskii–Shapiro condition) There is a \(\phi '\in (0,\pi ]\) such that

(a)
\(\rho (A(\xi ))\subset \Sigma _{\phi '}\) for all \(\xi \in \mathbb {R}^n{\setminus }\{0\}\).

(b)
The equation
$$\begin{aligned} \lambda u(x_n)A(\xi ',D_n)u(x_n)&=0\quad \,\,(x_n>0),\\ B_j(\xi ',D_n)u(0)&=g_j\quad (j=1,\ldots ,m) \end{aligned}$$has a unique continuous solution u with \(\lim _{x\rightarrow \infty } u(x)=0\) for all \((\lambda ,\xi ')\in \Sigma _{\phi '}\times \mathbb {R}^{n1}\) and all \(g=(g_1,\ldots ,g_m)\in E^m\).
We take \(\phi \in (0,\phi ')\). If timedependent equations are considered, we assume that \(\phi >\pi /2\).
Assumption 1.1 will be a global assumption which we assume to hold true without explicitly mentioning this every time. As we also consider mixed scales in this paper, there will be a lot of different choices of the precise spaces. Moreover, for the Bessel potential scale we will need different assumptions on the weights and the Banach space E than for the Besov scale, Triebel–Lizorkin scale, or their dual scales. Thus, it will be convenient to introduce a notation which covers all these different cases. Some of the notation and notions in the following assumption will be introduced later in Sect. 2. For the moment, we just mention that H denotes the Bessel potential scale, B the Besov scale, \(\mathcal {B}\) its dual scale, F the Triebel–Lizorkin scale and \(\mathcal {F}\) its dual scale.
Assumption 1.2
Let E be a Banach space, \(s_0,s_1,s_2\in \mathbb {R}\), \(p_0,p_1,p_2\in [1,\infty )\) and \(q_0,q_1,q_2\in [1,\infty ]\). Let further \(w_0,w_1,w_2\) be weights and \(I_{x_n},J_{t}\subset \mathbb {R}\) intervals. In the following, \(\bullet \) is a placeholder for any suitable choice of parameters. Moreover, by writing \(J_{t}\), \(I_{x_n}\) and \(\mathbb {R}^{n1}_{x'}\) we indicate with respect to which variable the spaces should be understood. Here, t denotes the time, \(x_n\) the normal direction and \(x'\) the tangential directions.

(a)
We take
$$\begin{aligned} \mathscr {A}^\bullet \in \{H^\bullet _{p_0}(\mathbb {R}^{n1}_{x'},&w_0;E), B^\bullet _{p_0,q_0}(\mathbb {R}^{n1}_{x'},w_0;E),F^\bullet _{p_0,q_0}(\mathbb {R}^{n1}_{x'},w_0;E),\\&\mathcal {B}^\bullet _{p_0,q_0}(\mathbb {R}^{n1}_{x'},w_0;E),\mathcal {F}^\bullet _{p_0,q_0}(\mathbb {R}^{n1}_{x'},w_0;E)\}. \end{aligned}$$If \(\mathscr {A}^\bullet \) belongs to the Bessel potential scale, we assume that \(p_0\in (1,\infty )\), that E is a UMD space and that \(w_0\) is an \(A_p(\mathbb {R}^{n1})\) weight. If \(\mathscr {A}^\bullet \) belongs to the Besov or Triebel–Lizorkin scale, we assume that \(w_0\) is an \(A_{\infty }(\mathbb {R}^{n1})\) weight. If \(\mathscr {A}^\bullet \) belongs to the dual scale of Besov or Triebel–Lizorkin scale, we assume that \(w_0\) is an \([A_{\infty }(\mathbb {R}^{n1})]_p'\) weight, \(p_0,q_0\in (1,\infty )\) and that E is a UMD space.

(b)
We take
$$\begin{aligned}&\mathscr {B}^{\bullet }(I_{x_n};\mathscr {A}^\bullet )\in \{H^\bullet _{p_1}(I_{x_n},w_1;\mathscr {A}^\bullet ), B^\bullet _{p_1,q_1}(I_{x_n},w_1;\mathscr {A}^\bullet ),F^\bullet _{p_1,q_1}(I_{x_n},w_1;\mathscr {A}^\bullet ),\\&\qquad \mathcal {B}^\bullet _{p_1,q_1}(I_{x_n},w_1;\mathscr {A}^\bullet ),\mathcal {F}^\bullet _{p_1,q_1}(I_{x_n},w_1;\mathscr {A}^\bullet )\}. \end{aligned}$$We impose conditions on \(w_1,p_1,q_1\) and E which are analogous to the ones for \(w_0,p_0,q_0\) and E in part (a).

(c)
We take
$$\begin{aligned}&\mathscr {C}^{\bullet }(J_t;\mathscr {A}^\bullet )\in \{H^\bullet _{p_2}(J_t,w_2;\mathscr {A}^\bullet ), B^\bullet _{p_2,q_2}(J_t,w_2;\mathscr {A}^\bullet ),F^\bullet _{p_2,q_2}(J_t,w_2;\mathscr {A}^\bullet ),\\&\qquad \mathcal {B}^\bullet _{p_2,q_2}(J_t,w_2;\mathscr {A}^\bullet ),\mathcal {F}^\bullet _{p_2,q_2}(J_t,w_2;\mathscr {A}^\bullet )\}. \end{aligned}$$We impose conditions on \(w_2,p_2,q_2\) and E which are analogous to the ones for \(w_0,p_0,q_0\) and E in part (a).

(d)
We take
$$\begin{aligned}&\mathscr {C}^{\bullet }(J_{t};\mathscr {B}^{\bullet }(I_{x_n};\mathscr {A}^\bullet ))\in \{H^\bullet _{p_2}(J_{t},w_2;\mathscr {B}^{\bullet }(I_{x_n};\mathscr {A}^\bullet )), B^\bullet _{p_2,q_2}(J_{t},w_2;\mathscr {B}^{\bullet }(I_{x_n};\mathscr {A}^\bullet )),\\&\qquad F^\bullet _{p_2,q_2}(J_{t},w_2;\mathscr {B}^{\bullet }(I_{x_n};\mathscr {A}^\bullet )), \}. \end{aligned}$$We impose conditions on \(w_2,p_2,q_2\) and E which are analogous to the ones for \(w_0,p_0,q_0\) and E in part (a).
Most of the time, we just write \(\mathscr {A}^s\), \(\mathscr {B}^k(\mathscr {A}^s)\) and \(\mathscr {C}^l(\mathscr {B}^k(\mathscr {A}^s))\) instead of \(\mathscr {A}^s_{p_0,q_0}(\mathbb {R}^{n1}_{x'},w_0;E)\), \(\mathscr {B}^k_{p_1,q_1}(I_{x_n},w_1;\mathscr {A}^s(\mathbb {R}^{n1}_{x'},w_0;E))\) and \(\mathscr {C}^l_{p_2,q_2}(J_t,w_2;\mathscr {B}^k_{p_1,q_1}(I_{x_n},w_1;\mathscr {A}^s(\mathbb {R}^{n1}_{x'},w_0;E))\). We mainly do this in order to keep notations shorter. Moreover, most of the time we only work with the smoothness parameter so that adding the other parameters to the notation would be distracting. However, at some places we will still add some of the other parameters if more clarity is needed.
Also Assumption 1.2 will be global and we use this notation throughout the paper.
Remark 1.3

(a)
Assumption 1.2 is formulated in a way such that we can always apply Mikhlin’s theorem, Theorem 2.15, and its iterated versions Proposition 3.7 and Proposition 3.8. If E has to satisfy Pisier’s property \((\alpha )\) for some results, we will explicitly mention it.

(b)
Note that every \(f\in \mathscr {S}'(\mathbb {R}^{n1})\) is contained in one of the spaces \(\mathscr {A}^{\bullet }\) with certain parameters, see for example [26, Proposition 1].
Preliminaries
Some notions from the geometry of Banach spaces
If one wants to transfer theorems from a scalarvalued to a vectorvalued situation, then this is oftentimes only possible if one imposes additional geometric assumptions on the Banach space. And since the iterated spaces we introduced in Assumption 1.2 are vectorvalued even if we take \(E=\mathbb {R}\) or \(E=\mathbb {C}\), it should not come as a surprise that we have to introduce some of these geometric notions. We refer the reader to [23, 24] for an extensive treatment of the notions in this subsection.
UMD spaces
The importance of UMD spaces lies in the fact that Mikhlin’s Fourier multiplier theorem has only been generalized for operatorvalued symbols if the underlying Banach spaces are UMD spaces. Therefore, if one wants to work with Fourier multipliers on vectorvalued \(L_p\)spaces, one is forced to impose this geometric condition.
A Banach space E is called UMD space if for all \(p\in (1,\infty )\) there is a constant \(C>0\) such that for all probability spaces \((\Omega ,\mathcal {F},\mathbb {P})\), all \(N\in \mathbb {N}\), all \(\varepsilon _1,\ldots ,\varepsilon _N\in \mathbb {C}\) with \(\varepsilon _1=\ldots =\varepsilon _N=1\), all filtrations \((\mathcal {F}_k)_{k=0}^N\) and all martingales \((f_k)_{k=0}^N\) in \(L_p(\Omega ;E)\) it holds that
This is equivalent to E being a Banach space of class \(\mathcal {HT}\), which is defined by the boundedness of the Hilbert transform on \(L_p(\mathbb {R};E)\). UMD spaces are always reflexive. Some important examples of UMD spaces are:

Hilbert spaces, in particular the scalar fields \(\mathbb {R},\mathbb {C}\),

the space \(L_p(S;E)\) for \(p\in (1,\infty )\), a \(\sigma \)finite measure space \((S,\mathcal {A},\mu )\) and a UMD space E,

the classical function spaces such as Bessel potential spaces \(H^{s}_p\), Besov spaces \(B^{s}_{p,q}\) and Triebel–Lizorkin spaces \(F^{s}_{p,q}\) in the reflexive range as well as their Evalued versions if E is a UMD space.
Cotype
In this work, Banach spaces satisfying a finite cotype assumption could be considered as merely a technical notion that is needed to derive Proposition 4.11 which is a sharper version of Proposition 4.9. The latter does not need a finite cotype assumption, while we show that it seems to be necessary to derive the former in Proposition 4.13. The main reason why we need finite cotype assumptions is that they allow us to use a version of Kahane’s contraction principle with function coefficients, see Proposition 2.1.
Let \((\Omega ,\mathcal {F},\mathbb {P})\) be a probability space. A sequence of random variables \((\varepsilon _k)_{k\in \mathbb {N}}\) is called Rademacher sequence if it is an i.i.d. sequence with \(\mathbb {P}(\varepsilon _k=1)=\mathbb {P}(\varepsilon _k=1)=\frac{1}{2}\) for \(k\in \mathbb {N}\). A Banach space E is said to have cotype \(q\in [2,\infty ]\) if there is a constant \(C>0\) such that for all choices of \(N\in \mathbb {N}\) and \(x_1,\ldots ,x_N\in E\) the estimate
holds with the usual modification for \(q=\infty \). We want to remark the following

Every Banach space has cotype \(\infty \).

If a Banach space has cotype \(q\in [2,\infty )\), then it also has cotype \(\widetilde{q}\in [q,\infty ]\).

No nontrivial Banach space can have cotype \(q\in [1,2)\) since even the scalar fields \(\mathbb {R}\) and \(\mathbb {C}\) do not satisfy this.

If the Banach space E has cotype \(q_E\), then \(L_p(S;E)\) has cotype \(\max \{p,q_E\}\) for every measure space \((S,\mathcal {A},\mu )\).

If the Banach space E has cotype \(q_E\), then \(H^{s}_p(\mathbb {R}^n;E)\) has cotype \(\max \{p,q_E\}\) and \(B^{s}_{p,q}(\mathbb {R}^n;E)\) and \(F^{s}_{p,q}(\mathbb {R}^n;E)\) have cotype \(\max \{p,q,q_E\}\). The same also holds for the weighted variants we introduce later.
Pisier’s property \((\alpha )\)
Finally, we also need Pisier’s property \((\alpha )\) at some places in this paper. This condition is usually needed if one wants to derive \(\mathcal {R}\)boundedness from Mikhlin’s multiplier theorem. If one has a set of \(\mathcal {R}\)bounded operatorvalued symbols, then one needs Pisier’s property \((\alpha )\) in order to obtain the \(\mathcal {R}\)boundedness of the resulting operator family.
A Banach space E has Pisier’s property \((\alpha )\) if Kahane’s contraction principle also holds for double random sums, i.e., if for two Rademacher sequences \((\varepsilon '_i)_{i\in \mathbb {N}}\), \((\varepsilon ''_j)_{j\in \mathbb {N}}\) on the probability spaces \((\Omega ',\mathcal {F}',\mathbb {P}')\) and \((\Omega '',\mathcal {F}'',\mathbb {P}'')\), respectively, there is a constant \(C>0\) such that for all \(M,N\in \mathbb {N}\), all \((a_{ij})_{1\le i\le M,1\le j\le N}\subset \mathbb {C}\) with \(a_{ij}\le 1\) and all \((x_{ij})_{1\le i\le M,1\le j\le N}\subset E\) the estimate
holds. Even though Pisier’s property \((\alpha )\) is independent of the UMD property, the examples of spaces with Pisier’s property \((\alpha )\) we have in mind are similar:

Hilbert spaces, in particular the scalar fields \(\mathbb {R},\mathbb {C}\),

the space \(L_p(S;E)\) for \(p\in [1,\infty )\), a measure space \((S,\mathcal {A},\mu )\) and a Banach space E with Pisier’s property \((\alpha )\),

the classical function spaces such as Bessel potential spaces \(H^{s}_p\), Besov spaces \(B^{s}_{p,q}\) and Triebel–Lizorkin spaces \(F^{s}_{p,q}\) in the reflexive range as well as their Evalued versions if E has Pisier’s property \((\alpha )\).
\(\mathcal {R}\)bounded Operator Families
We refer the reader to [8, 24] for introductions to \(\mathcal {R}\)bounded operator families. The notion of \(\mathcal {R}\)–boundedness is frequently needed if one works with vectorvalued function spaces. As UMD spaces, it is essential for vectorvalued generalizations of Mikhlin’s multiplier theorem. But perhaps more importantly, it can be used to derive a necessary and sufficient condition for a closed linear operator \(A:E\supset D(A)\rightarrow E\) on the UMD space E to have the property of maximal regularity. This is the case if and only if it is \(\mathcal {R}\)–sectorial, i.e., if and only if the set
for some \(\phi >\pi /2\) is \(\mathcal {R}\)–bounded, see [49, Theorem 4.2]. Here, an operator A is said to have the property of maximal regularity on [0, T), \(0<T<\infty \), if the mapping
is an isomorphism of Banach spaces, where \(\gamma _0u:= u(0)\) denotes the temporal trace and \(I_p(A)\) is the space of admissible initial conditions. It can be described as a real interpolation space of X and D(A) by the relation \(I_p(A):=(X,D(A))_{11/p.p}\). The above isomorphy is very useful for the treatment of nonlinear parabolic equations, as it allows for the efficient use of fixed point iterations. This approach to nonlinear equations has already been applied many times in the literature.
Let us now define \(\mathcal {R}\)–boundedness: Let \(E_0,E_1\) be Banach spaces. A family of operators \(\mathcal {T}\subset \mathcal {B}(E_0,E_1)\) is called \(\mathcal {R}\)bounded if there is a constant \(C>0\) and \(p\in [1,\infty )\) such that for a Rademacher sequence \((\varepsilon _k)_{k\in \mathbb {N}}\) on a probability space \((\Omega ,\mathcal {F},\mathbb {P})\) and all \(N\in \mathbb {N}\), \(x_1,\ldots ,x_N\in E_0\) and \(T_1,\ldots ,T_N\in \mathcal {T}\) the estimate
holds. The least admissible constant such that this estimate holds will be denoted by \(\mathcal {R}(\mathcal {T})\) or, if we want to emphasize the dependence on the Banach spaces, by \(\mathcal {R}_{\mathcal {B}(E_0,E_1)}(\mathcal {T})\). By the Kahane–Khintchine inequalities, the notion of \(\mathcal {R}\)boundedness does not depend on p. \(\mathcal {R}\)boundedness trivially implies uniform boundedness, but the converse does not hold true in general. For Hilbert spaces however, both notions coincide.
An equivalent characterization of \(\mathcal {R}\)boundedness can be given by using the \({\text {Rad}}_p(E)\)spaces. They are defined as the space of all sequences \((x_k)_{k\in \mathbb {N}}\subset E\) such that \(\sum _{k=1}^{\infty } \varepsilon _k x_k\) converges in \(L_p(\Omega ;E)\). \({\text {Rad}}_p(E)\)spaces are endowed with the norm
Given \(T_1,\ldots ,T_N\in \mathcal {B}(E_0,E_1)\) we define
where \(T_k:=0\) for \(k>N\). Then, a family of operators \(\mathcal {T}\subset \mathcal {B}(E_0,E_1)\) is \(\mathcal {R}\)bounded if and only if
is uniformly bounded.
Let us now collect some results concerning \(\mathcal {R}\)boundedness which will be useful in this paper.
Proposition 2.1
Let E be a Banach space with cotype \(q\in [2,\infty )\), \((\varepsilon _k)_{k\in \mathbb {N}}\) a Rademacher sequence on the probability space \((\Omega ,\mathcal {F},\mathbb {P})\) and let \((S,\mathcal {A},\mu )\) be a \(\sigma \)finite measure space. For all \(\widetilde{q}\in (q,\infty ]\) there exists a constant \(C>0\) such that for all \(N\in \mathbb {N}\), \(f_1,\ldots ,f_N\in L_{\widetilde{q}}(S)\) and \(x_1,\ldots ,x_N\in E\) it holds that
If \(q\in \{2,\infty \}\), then we can also take \(\widetilde{q}=q\).
Proof
This is one of the statements in [25, Lemma 3.1]. \(\square \)
Remark 2.2

(a)
It was already observed in [25, Remark 3.3] that if \(\widetilde{q}<\infty \), then Proposition 2.1 can also be formulated as follows: The image of the unit ball \(B_{L^{\widetilde{q}}(S)}(0,1)\) in \(L^{\widetilde{q}}(S)\) under the embedding \(L^{\widetilde{q}}(S)\hookrightarrow \mathcal {B}(E,L^{\widetilde{q}}(S;E)),f\mapsto f\otimes (\,\cdot \,)\) is an \(\mathcal {R}\)bounded subset of \(\mathcal {B}(E,L^{\widetilde{q}}(S;E))\).

(b)
If \((S,\mathcal {A},\mu )\) is nonatomic and if (21) holds for all \(N\in \mathbb {N}\), \(f_1,\ldots ,f_N\in L_{\widetilde{q}}(S)\) and \(x_1,\ldots ,x_N\in E\), then E has cotype \(\widetilde{q}\). This follows from the statements in [25, Lemma 3.1].

(c)
Let \((A,\Sigma ,\nu )\) be a \(\sigma \)finite measure space. Let further \(2\le \overline{q}<q<\infty \) and let \(\overline{E}\) be a Banach space with cotype \(\overline{q}\). If \(E=L_q(A;\overline{E})\), then (21) also holds with \(\widetilde{q}=q\). This was shown in [25, Remark 3.4].
Proposition 2.3
Let \((E_0,E_1)\) and \((F_0,F_1)\) be interpolation couples of UMDspaces, \(\Sigma \subset \mathbb {C}\) and \(f:\Sigma \rightarrow \mathbb {C}\). Let further \((T(\lambda ))_{\lambda \in \Sigma }\subset \mathcal {B}(E_0+E_1,F_0+F_1)\) be a collection of operators such that
for some \(M_0,M_1>0\). We write \(E_{\theta }=[E_0,E_1]_{\theta }\) and \(F_{\theta }=[F_0,F_1]_{\theta }\) with \(\theta \in (0,1)\) for the complex interpolation spaces. Then, there is a constant \(C>0\) such that
Proof
In order to avoid possible ambiguities with complex exponentials, we assume that f takes values in \((0,\infty )\). As a consequence of Kahane’s contraction principle ([24, Theorem 6.1.13]), we may do this without loss of generality. It suffices to show that
is a bounded family in \(\mathcal {B}({\text {Rad}}_p(E_{\theta }),{\text {Rad}}_p(F_{\theta }))\). Let
For fixed \(N\in \mathbb {N}\) and \(\lambda _1,\ldots ,\lambda _N\in \Sigma \), we define
For fixed \((x_k)_{k\in \mathbb {N}}\in {\text {Rad}}_p(E_{0})\cap {\text {Rad}}_p(E_{1})\), the mapping
is continuous, bounded and analytic in the interior of S. Again, we used the convention \(T(\lambda _k)=0\) for \(k>N\). Moreover, by assumption we have that
Thus, it follows from abstract Stein interpolation (see [48, Theorem 2.1]) that
where we used the shorter notation \({\text {Rad}}_p^{\theta }(E_{0},E_1)=[{\text {Rad}}_p(E_{0}),{\text {Rad}}_p(E_{1})]_{\theta }\) in the subscript. But it was shown in [27, Corollary 3.16] that
with equivalence of norms so that there is a constant \(C>0\) such that
Since \(N\in \mathbb {N}\) and \(\lambda _1,\ldots ,\lambda _N\in \Sigma \) were arbitrary, we obtain the assertion. \(\square \)
Remark 2.4

(a)
The proof of Proposition 2.3 was inspired by the proof of [20, Lemma 6.9]. Note that [20, Example 6.13] shows that Proposition 2.3 does not hold true if the complex interpolation functor is replaced by the real one.

(b)
In Proposition 2.3, we only use the UMD assumption in order to show that the interpolation space of two Rademacher spaces coincides with the Rademacher space of the interpolation space of the underlying Banach spaces. This holds more generally for Kconvex Banach spaces (see [24, Theorem 7.4.16]). We refrain from introducing Kconvexity in order not to overload this paper with geometric notions. Note however that UMD spaces are Kconvex, see [24, Example 7.4.8].
Lemma 2.5
Let \(\psi \in (0,\pi )\) and let \(E_0,E_1\) be Banach spaces. Let further \(N:\overline{\Sigma }_{\psi }\rightarrow \mathcal {B}(E_0,E_1)\) be holomorphic and bounded on \(\Sigma _{\psi }\) and suppose that \(N_{\partial \Sigma _\psi }\) has \(\mathcal {R}\)bounded range. Then, the set
is \(\mathcal {R}\)bounded for all \(\psi '<\psi \) and all \(k\in \mathbb {N}_0\).
Proof
For \(k=0\) and \(k=1\), the proof is contained in [29, Example 2.16]. Other values of k can then be obtained by iteration. Note that the boundedness of N is necessary since Poisson’s formula, which is used for \(k=0\), only holds for bounded functions.
\(\square \)
Definition 2.6
Let (X, d) be a metric space and \(E_0,E_1\) be Banach spaces. Let further \(U\subset \mathbb {R}^n\) be open and \(k\in \mathbb {N}_0\).

(a)
We say that a function \(f:X\rightarrow \mathcal {B}(E_0,E_1)\) is \(\mathcal {R}\)continuous if for all \(x\in X\) and all \(\varepsilon >0\) there is a \(\delta >0\) such that we have
$$\begin{aligned} \mathcal {R}_{\mathcal {B}(E_0,E_1)}(\{f(y)f(x): y\in B(x,\delta )\})<\varepsilon . \end{aligned}$$We write \(C_{\mathcal {R}B}(X,\mathcal {B}(E_0,E_1))\) for the space of all \(\mathcal {R}\)continuous functions \(f:X\rightarrow \mathcal {B}(E_0,E_1)\) with \(\mathcal {R}\)bounded range.

(b)
We say that a function \(f:X\rightarrow \mathcal {B}(E_0,E_1)\) is uniformly \(\mathcal {R}\)continuous if for all \(\varepsilon >0\) there is a \(\delta >0\) such that for all \(x\in X\) we have
$$\begin{aligned} \mathcal {R}_{\mathcal {B}(E_0,E_1)}(\{f(y)f(x): y\in B(x,\delta )\})<\varepsilon . \end{aligned}$$We write \(BUC_{\mathcal {R}}(X,\mathcal {B}(E_0,E_1))\) for the space of all uniformly \(\mathcal {R}\)continuous functions \(f:X\rightarrow \mathcal {B}(E_0,E_1)\) with \(\mathcal {R}\)bounded range.

(c)
We write \(C_{\mathcal {R}B}^k(U,\mathcal {B}(E_0,E_1))\) for the space of all \(f\in C^k(U,\mathcal {B}(E_0,E_1))\) such that \(\partial ^{\alpha }f\in C_{\mathcal {R}B}(U,\mathcal {B}(E_0,E_1))\) for all \(\alpha \in \mathbb {N}_0^n\), \(\alpha \le k\). Analogously, we write \(BUC_{\mathcal {R}}^k(U,\mathcal {B}(E_0,E_1))\) for the space of all \(f\in C^k(U,\mathcal {B}(E_0,E_1))\) such that \(\partial ^{\alpha }f\in BUC_{\mathcal {R}}(U\mathcal {B}(E_0,E_1))\) for all \(\alpha \in \mathbb {N}_0^n\), \(\alpha \le k\).
Definition 2.7
Let \(U\subset \mathbb {R}^n\) be open, \(E_0,E_1\) Banach spaces and \(k\in \mathbb {N}_0\). Let further \(\mathcal {T}\subset C_{\mathcal {R}B}^k(X,\mathcal {B}(E_0,E_1))\) or \(\mathcal {T}\subset BUC_{\mathcal {R}}^k(X,\mathcal {B}(E_0,E_1))\).

(a)
We say that \(\mathcal {T}\) is bounded if
$$\begin{aligned} \sup _{f\in \mathcal {T}}\mathcal {R}(f^{(j)}(U):j\in \{0,\ldots ,k\})<\infty . \end{aligned}$$ 
(b)
We say that \(\mathcal {T}\) is \(\mathcal {R}\)bounded if
$$\begin{aligned} \mathcal {R}(\{f^{(j)}(x):x\in U, f\in \mathcal {T}, j\in \{0,\ldots ,k\}\})<\infty . \end{aligned}$$
Weighted function spaces
Weights are an important tool to weaken the regularity assumptions on the data which are needed in order to derive wellposedness and a priori estimates for elliptic and parabolic boundary value problems, see for example [1, 5, 22, 30, 32]. Power weights, i.e., weights of the form \(w_\gamma (x):={\text {dist}}(x,\partial \mathcal {O})^\gamma \) which measure the distance to the boundary of the domain \(\mathcal {O}\subset \mathbb {R}^n\), are particularly useful for this purpose. Roughly speaking, the larger the value of \(\gamma \), the larger may the difference between regularity in the interior and regularity on the boundary be. This way, one can obtain arbitrary regularity in the interior while the regularity of the boundary data may be close to 0. However, there is an important borderline: If \(\gamma \in (1,p1)\), where p denotes the integrability parameter of the underlying function space, then \(w_\gamma \) is a socalled \(A_p\) weight. If \(\gamma \ge p1\), then it is only an \(A_{\infty }\) weight. \(A_p\) weights are an important class of weights. These weights are exactly the weights w for which the Hardy–Littlewood maximal operator is bounded on \(L_p(\mathcal {O},w)\). Consequently, the whole Fourier analytic toolbox can still be used and many results can directly be transferred to the weighted setting. In the \(A_{\infty }\)range however, this does not hold any longer. But in order to obtain more flexibility for the regularity of the boundary data which can be considered, one would like to go beyond the borderline and also work with \(A_{\infty }\) weights. This is possible if one works with weighted Besov or Triebel–Lizorkin spaces. As we will explain later, these scales of function spaces allow for a combination of \(A_{\infty }\) weights and Fourier multiplier methods. In our analysis, we want to include both cases: We treat the more classical situation with the Bessel potential scale and \(A_p\) weights, which include the classical Sobolev spaces, as well as the more flexible situation with Besov and Triebel–Lizorkin scales and \(A_{\infty }\) weights.
Let us now give the precise definitions: Let \(\mathcal {O}\subset \mathbb {R}^n\) be a domain. A weight w on \(\mathcal {O}\) is a function \(w:\mathcal {O}\rightarrow [0,\infty ]\) which takes values in \((0,\infty )\) almost everywhere with respect to the Lebesgue measure. We mainly work with the classes \(A_p\) \((p\in (1,\infty ])\). A weight w on \(\mathbb {R}^n\) is an element of \(A_p\) for \(p\in (1,\infty )\) if and only if
The quantity \([w]_{A_p}\) is called \(A_p\) Muckenhoupt characteristic constant of w. We define \(A_{\infty }:=\bigcup _{1<p<\infty } A_p\). Moreover, we write \([A_{\infty }]_p'\) for the space of all weights w such that the pdual weight \(w^{\frac{1}{p1}}\) is in \(A_{\infty }\). We refer to [18, Chapter 9] for an introduction to these classes of weights.
For \(p\in [1,\infty )\), a domain \(\mathcal {O}\subset \mathbb {R}^n\), a weight w and a Banach space E the weighted Lebesgue–Bochner space \(L_p(\mathcal {O},w;E)\) is defined as the space of all strongly measurable functions \(f:\mathcal {O}\rightarrow E\) such that
We further set \(L_{\infty }(\mathcal {O},w;E):=L_{\infty }(\mathcal {O};E)\). In addition, let \( L_1^{loc}(\mathcal {O};E)\) be the space of all locally integrable functions, i.e., strongly measurable functions \(f:\mathcal {O}\rightarrow E\) such that
for all compact \(K\subset \mathcal {O}\). As usual, functions which coincide on a set of measure 0 are considered as equal in these spaces.
One has to be cautious with the definition of weighted Sobolev spaces. One would like to define them as spaces of distributions such that derivatives up to a certain order can be represented by functions in \(L_p(\mathcal {O},w;E)\). But for some weights, the elements of \(L_p(\mathcal {O},w;E)\) might not be locally integrable and thus, taking distributional derivatives might not be possible. Hölder’s inequality shows that \(L_p(\mathcal {O},w;E)\subset L_1^{loc}(\mathcal {O},E)\) if \(w^{\frac{1}{p1}}\in L_1^{loc}(\mathcal {O})\). We refer to [28] for further thoughts in this direction.
Definition 2.8
Let \(\mathcal {O}\subset \mathbb {R}^n\) be a domain, E a Banach space, \(m\in \mathbb {N}_0\), \(p\in [1,\infty )\) and w a weight on \(\mathcal {O}\) such that \(w^{\frac{1}{p1}}\in L_1^{loc}(\mathcal {O})\).

(a)
We define the weighted Sobolev space \(W^m_p(\mathcal {O},w;E)\) by
$$\begin{aligned}&W^m_p(\mathcal {O},w;E):=\{f\in L_p(\mathcal {O},w;E)\,\,\forall \alpha \in \mathbb {N}_0^n,\,\alpha \\&\quad \le m : \partial ^\alpha f\in L_p(\mathcal {O},w;E)\} \end{aligned}$$and endow with the norm \(\Vert f\Vert _{W^m_p(\mathcal {O},w;E)}:=\big (\sum _{\alpha \le m} \Vert f\Vert _{L_p(\mathcal {O},w;E)}^p\big )^{1/p}\). With the usual modifications, we can also define \(W^m_\infty (\mathcal {O},w;E)\).

(b)
As usual, we define \(W^m_{p,0}(\mathcal {O},w;E)\) to be the closure of the space of test functions \(\mathscr {D}(\mathcal {O};E)\) in \(W^m_{p}(\mathcal {O},w;E)\).

(c)
Let E be reflexive, \(w\in A_p\) and \(p,p'\in (1,\infty )\) conjugated Hölder indices, i.e., they satisfy \(1=\frac{1}{p}+\frac{1}{p'}\). Then, we define the dual scale \(W^{m}_p(\mathcal {O},w;E):=(W^m_{p',0}(\mathcal {O},w^{\frac{1}{p1}};E'))'\).
We further define weighted Bessel potential, Besov and Triebel–Lizorkin spaces. Since we use the Fourier analytic approach, we already define them as subsets of tempered distributions.
Definition 2.9
Let E be a Banach space, \(s\in \mathbb {R}\), \(p\in [1,\infty ]\) and w a weight on \(\mathbb {R}^n\) such that \(w^{\frac{1}{p1}}\in L_1^{loc}(\mathbb {R}^n)\). Then, we define the weighted Bessel potential space \(H^s_p(\mathbb {R}^n,w;E)\) by
and endow it with the norm \(\Vert f\Vert _{H^s_p(\mathbb {R}^n,w;E)}:=\Vert \langle D\rangle ^s f\Vert _{L_p(\mathbb {R}^n,w;E)}\).
Definition 2.10

(a)
Let \(\varphi _0\in \mathscr {D}(\mathbb {R}^n)\) be a smooth function with compact support such that \(0\le \varphi _0\le 1\) and
$$\begin{aligned} \varphi _0(\xi )=1\quad \text {if } \xi \le 1,\qquad \varphi _0(\xi )=0\quad \text {if }\xi \ge 3/2. \end{aligned}$$For \(\xi \in \mathbb {R}^n\) and \(k\in \mathbb {N}\), let further
$$\begin{aligned} \varphi (\xi )&:=\varphi _0(\xi )\varphi _0(2\xi ),\\ \varphi _k(\xi )&:=\varphi (2^{k}\xi ). \end{aligned}$$We call such a sequence \((\varphi _k)_{k\in \mathbb {N}_0}\) smooth dyadic resolution of unity.

(b)
Let E be a Banach space and let \((\varphi _k)_{k\in \mathbb {N}_0}\) be a smooth dyadic resolution of unity. On the space of Evalued tempered distributions \(\mathscr {S}'(\mathbb {R}^n;E)\), we define the sequence of operators \((S_k)_{k\in \mathbb {N}_0}\) by means of
$$\begin{aligned} S_kf:=\mathscr {F}^{1}\varphi _k\mathscr {F} f\quad (f\in \mathscr {S}'(\mathbb {R}^n;E)). \end{aligned}$$The sequence \((S_k f)_{k\in \mathbb {N}_0}\) is called dyadic decomposition of f.
By construction, we have that \(\mathscr {F}(S_k f)\) has compact support so that \(S_k f\) is an analytic function by the Paley–Wiener theorem, see [17, Theorem 2.3.21]. Moreover, it holds that \(\sum _{k\in \mathbb {N}_0} \varphi _k=1\) so that we have \(f=\sum _{k\in \mathbb {N}_0} S_kf\), i.e., f is the limit of a sequence of analytic functions where the limit is taken in the space of tempered distributions. Elements of Besov and Triebel–Lizorkin spaces even have convergence in a stronger sense, as their definition shows:
Definition 2.11
Let \((\varphi _k)_{k\in \mathbb {N}_0}\) be a smooth dyadic resolution of unity. Let further E be a Banach space, w a weight, \(s\in \mathbb {R}\), \(p\in [1,\infty )\) and \(q\in [1,\infty ]\).

(a)
We define the weighted Besov space \(B^s_{p,q}(\mathbb {R}^n,w;E)\) by
$$\begin{aligned} B^s_{p,q}(\mathbb {R}^n,w;E):=\{f\in \mathscr {S}'(\mathbb {R}^n,E): \Vert f\Vert _{B^s_{p,q}(\mathbb {R}^n,w;E)}<\infty \} \end{aligned}$$where
$$\begin{aligned} \Vert f\Vert _{B^s_{p,q}(\mathbb {R}^n,w;E)}:=\Vert (2^{sk}\mathscr {F}^{1}\varphi _k\mathscr {F}f)_{k\in \mathbb {N}_0}\Vert _{\ell ^q(L_p(\mathbb {R}^n,w;E))}. \end{aligned}$$ 
(b)
We define the weighted Triebel–Lizorkin space \(F^s_{p,q}(\mathbb {R}^n,w;E)\) by
$$\begin{aligned} F^s_{p,q}(\mathbb {R}^n,w;E):=\{f\in \mathscr {S}'(\mathbb {R}^n;E): \Vert f\Vert _{F^s_{p,q}(\mathbb {R}^n,w;E)}<\infty \} \end{aligned}$$where
$$\begin{aligned} \Vert f\Vert _{F^s_{p,q}(\mathbb {R}^n,w;E)}:=\Vert (2^{sk}\mathscr {F}^{1}\varphi _k\mathscr {F}f)_{k\in \mathbb {N}_0}\Vert _{L_p(\mathbb {R}^n,w;\ell ^q(E)))}. \end{aligned}$$
It is well known, that these spaces do not depend on the choice of the dyadic resolution of unity if w is an \(A_{\infty }\)weight. In this case, different choices lead to equivalent norms, see for example [37, Proposition 3.4]. In fact, the condition on the weight can be weakened: In [41], it was shown that one also obtains the independence of the dyadic resolution of unity in the case of socalled \(A_{\infty }^{loc}\) weights.
Definition 2.12
Let E be a reflexive Banach space, \(w\in [A_{\infty }]_p'\), \(s\in \mathbb {R}\) and \(p,q\in (1,\infty )\). We define the dual scales of Besov and Triebel–Lizorkin scale by
where \(p',q'\) denote the conjugated Hölder indices.
Remark 2.13
The main reason for us to include the dual scales in our considerations is the following: If w is additionally an admissible weight in the sense of [42, Section 1.4.1.], then we have \(\mathcal {B}^{s}_{p,q}(\mathbb {R}^n,w)=B^{s}_{p,q}(\mathbb {R}^n,w)\) and \(\mathcal {F}^{s}_{p,q}(\mathbb {R}^n,w)=F^{s}_{p,q}(\mathbb {R}^n,w)\). Therefore, we can also treat weighted Besov and Triebel–Lizorkin spaces with weights that are outside the \(A_{\infty }\) range. Formulating this in terms of dual scales allows us to transfer Fourier multiplier theorems without any additional effort just by duality. The main example we have in mind will be \(w(x)=\langle x\rangle ^{d}\) with arbitrary \(d\in \mathbb {R}\). We will make use of this in a forthcoming paper on equations with boundary noise.
Proposition 2.14
Recall that Assumption 1.2 holds true and suppose that E has cotype \(q_E\in [2,\infty )\). Let further \((S,\Sigma ,\mu )\) be a \(\sigma \)finite measure space, \((\varepsilon _k)_{k\in \mathbb {N}}\) a Rademacher sequence on the probability space \((\Omega ,\mathcal {F},\mathbb {P})\), \(s\in \mathbb {R}\) and \(p_0,q_0\in (1,\infty )\). Consider one of the following cases:

(a)
\(\mathscr {A}^\bullet \) stands for the Bessel potential scale and \(p\in (\max \{q_E,p_0\},\infty )\). Moreover, we allow \(p=\max \{q_E,p_0\}\) if \(q_E<p_0\) or if E is a Hilbert space and \(p_0=2\).

(b)
\(\mathscr {A}^\bullet \) stands for the Besov scale and \(p\in (\max \{q_E,p_0,q_0\},\infty )\). Moreover, we allow \(p=\max \{q_E,p_0,q_0\}\) if \(q_E< p_0\le q_0\) or if E is a Hilbert space and \(p_0=q_0=2\).

(c)
\(\mathscr {A}^\bullet \) stands for the Triebel–Lizorkin scale and \(p\in (\max \{q_E,p_0,q_0\},\infty )\). Moreover, we allow \(p=\max \{q_E,p_0,q_0\}\) if \(q_E< q_0\le p_0\) or if E is a Hilbert space and \(p_0=q_0=2\).
Then, the images of balls with finite radius in \(L_p(S)\) under the embedding
are \(\mathcal {R}\)bounded. More precisely, there is a constant \(C>0\) such that for all \(N\in \mathbb {N}\), \(g_1,\ldots ,g_N\in \mathscr {A}^s\) and all \(f_1,\ldots ,f_N\in L_p(S)\) we have the estimate
Proof
The cases \(p\in (\max \{q_E,p_0\},\infty )\) in the Bessel potential case and \(p\in (\max \{q_E,p_0,q_0\},\infty )\) in the Besov and Triebel–Lizorkin case follow from the result by Hytönen and Veraar, Proposition 2.1, as in these cases \(\mathscr {A}^s\) has cotype \(\max \{q_E,p_0\}\) and \(\max \{q_E,p_0,q_0\}\), respectively, see for example [24, Proposition 7.1.4]. The Hilbert space cases follow directly since uniform boundedness and \(\mathcal {R}\)boundedness coincide. The other cases in which \(p=\max \{q_E,p_0\}\) or \(p=\max \{q_E,p_0,q_0\}\) are allowed follow by Fubini’s theorem together with the Kahane–Khintchine inequalities as in [25, Remark 3.4]. \(\square \)
For the mapping properties, we derive later on, it is essential that we can use Mikhlin’s multiplier theorem. There are many versions of this theorem available. For our purposes, the following will be sufficient.
Theorem 2.15

(a)
Let E be a UMD space, \(p\in (1,\infty )\), \(s\in \mathbb {R}\) and let w be an \(A_p\) weight. Let \(m\in C^n(\mathbb {R}^n{\setminus }\{0\};\mathcal {B}(E))\) such that
$$\begin{aligned} \kappa _m:=\mathcal {R}\big (\{\xi ^{\alpha }D^{\alpha }m(\xi ):\xi \in \mathbb {R}^n{\setminus }\{0\},\alpha \le n\}\big )<\infty . \end{aligned}$$Then, we have that
$$\begin{aligned} \Vert \mathscr {F}^{1} m \mathscr {F} \Vert _{\mathcal {B}(H^s_p(\mathbb {R}^n,w;E))}\le C\kappa _m \end{aligned}$$with a constant \(C>0\) only depending on n, p and E.

(b)
Suppose that E is a UMD space with Pisier’s property \((\alpha )\). Let \(p\in (1,\infty )\) and \(w\in A_p(\mathbb {R}^n)\). Let further \(\mathcal {T}\subset C^{n}(\mathbb {R}^n{\setminus }\{0\},\mathcal {B}(E))\). Then, there is a constant \(C>0\) independent of \(\mathcal {T}\) such that
$$\begin{aligned} \mathcal {R}_{\mathcal {B}(H^s_p(\mathbb {R}^n,w;E))}(\{\mathscr {F}^{1}m\mathscr {F}:m\in \mathcal {T}\})\le C\kappa _{\mathcal {T}} \end{aligned}$$where
$$\begin{aligned} \kappa _{\mathcal {T}}:=\mathcal {R}_{\mathcal {B}(E)}(\{\xi ^{\alpha } D^{\alpha }m(\xi ):\xi \in \mathbb {R}^n{\setminus }\{0\},\alpha \in \mathbb {N}_0^n,\alpha \le n, m\in \mathcal {T}\}). \end{aligned}$$ 
(c)
Let E be a Banach space, \(p\in (1,\infty )\), \(q\in [1,\infty ]\) and \(s\in \mathbb {R}\). Let further w be an \(A_{\infty }\) weight, \(m\in C^{\infty }(\mathbb {R}^n,\mathcal {B}(E))\) and \(\mathscr {A}^s_{p,q}(\mathbb {R}^n,w;E)\in \{B^s_{p,q}(\mathbb {R}^n,w;E),F^s_{p,q}(\mathbb {R}^n,w;E)\}\). Then, there is a natural number \(N\in \mathbb {N}\) and a constant \(C>0\) not depending on m such that
$$\begin{aligned} \Vert \mathscr {F}^{1} m \mathscr {F} \Vert _{\mathcal {B}(\mathscr {A}^s_{p,q}(\mathbb {R}^n,w;E))}\le C\kappa _m \end{aligned}$$where
$$\begin{aligned} \kappa _m:=\sup _{\alpha \le N}\sup _{\xi \in \mathbb {R}^n} \Vert \langle \xi \rangle ^{\alpha }D^{\alpha }m(\xi )\Vert _{\mathcal {B}(E)}. \end{aligned}$$The same holds if E is reflexive, \(p,q\in (1,\infty )\), \(w\in [A_\infty ]_p'\) and \(\mathscr {A}^s_{p,q}(\mathbb {R}^n,w;E)\in \{\mathcal {B}^s_{p,q}(\mathbb {R}^n,w;E),\mathcal {F}^s_{p,q}(\mathbb {R}^n,w;E)\}\).

(d)
Let E be a Banach space, \(p\in (1,\infty )\), \(q\in [1,\infty ]\) and \(s\in \mathbb {R}\). Let further w be an \(A_{\infty }\) weight, \(\mathcal {T}\subset C^{\infty }(\mathbb {R}^n,\mathcal {B}(E))\) and \(\mathscr {A}^s_{p,q}(\mathbb {R}^n,w;E)\in \{B^s_{p,q}(\mathbb {R}^n,w;E),F^s_{p,q}(\mathbb {R}^n,w;E)\}\). Then, there is an \(N\in \mathbb {N}\) and a constant \(C>0\) independent of \(\mathcal {T}\) such that
$$\begin{aligned} \mathcal {R}(\{\mathscr {F}^{1} m \mathscr {F} : m\in \mathcal {T}\}\le C \kappa _{\mathcal {T}} \end{aligned}$$where
$$\begin{aligned} \kappa _{\mathcal {T}}:=\sup _{\alpha \le N}\mathcal {R}(\{\langle \xi \rangle ^{\alpha }D^{\alpha }m(\xi ):\xi \in \mathbb {R}^n,m\in \mathcal {T}\}). \end{aligned}$$The same holds if E is a UMD space, \(p,q\in (1,\infty )\), \(w\in [A_\infty ]_p'\) and \(\mathscr {A}^s_{p,q}(\mathbb {R}^n,w;E)\in \{\mathcal {B}^s_{p,q}(\mathbb {R}^n,w;E),\mathcal {F}^s_{p,q}(\mathbb {R}^n,w;E)\}\).
Proof
Part (a) with \(s=0\) is contained in [15, Theorem 1.2]. The general case \(s\in \mathbb {R}\) follows from \(s=0\) by decomposing \(m(\xi )=\langle \xi \rangle ^{s}m(\xi )\langle \xi \rangle ^{s}\) and by using the definition of Bessel potential spaces. Part (b) can be derived as [29, 5.2 (b)]. The scalarvalued, unweighted version of part (c) is contained in [45, Paragraph 2.3.7]. But the proof therein can be transferred to our situation by using [37, Proposition 2.4]. Part (d) is the isotropic version of [22, Lemma 2.4]. The statements concerning the dual scales follow by duality. In the \(\mathcal {R}\)bounded case, we refer the reader to [24, Proposition 8.4.1]. \(\square \)
Remark 2.16
For the dual scales in Theorem 2.15(d), it is actually not necessary to assume that E is a UMD space. Instead [24, Proposition 8.4.1] shows that Kconvexity is good enough. But since we did not introduce Kconvexity, we only stated the less general version here.
Remark 2.17
Later on, we sometimes want to apply Mikhlin’s theorem for m taking values in \(\mathcal {B}(E^N,E^M)\) with certain \(N,M\in \mathbb {N}\) instead of \(\mathcal {B}(E)\). Note however that we can identify \(\mathcal {B}(E^N,E^M)\simeq \mathcal {B}(E)^{M\times N}\). Hence, one can apply Mikhlin’s theorem for each component and the statements of Theorem 2.15 transfer to the case in which m takes values in \(\mathcal {B}(E^N,E^M)\).
Later on, we will also use parameterdependent versions of our function spaces. They are natural to work with in the context of the parameterdependent Boutet de Monvel calculus. And since we use elements of this parameterdependent calculus, these spaces are also useful in our setting.
Definition 2.18
Recall that Assumption 1.2 holds true. Let \(\mu \in \mathbb {C}\) and \(s,s_0\in \mathbb {R}\). Then, we define the parameterdependent weighted spaces
where \(\langle D,\mu \rangle :=\mathscr {F}^{1}\langle \xi ,\mu \rangle \mathscr {F}=\mathscr {F}^{1}(1+\xi ^2+\mu ^2)^{1/2}\mathscr {F}\).
Lemma 2.19
Let \(\mu \in \mathbb {C}\) and \(s,s_0\in \mathbb {R}\). We have the estimates
Proof
Assumption 1.2 is formulated in a way such that we can apply our versions of the Mikhlin multiplier theorem, Theorem 2.15(a) and (c). Let first \(s\ge s_0\). Note that the function
satisfies the condition from Theorem 2.15 uniformly in \(\mu \). Indeed, by induction it follows that \(\partial ^{\alpha }_{\xi }m(\xi ,\mu )\) \((\alpha \in \mathbb {N}_0^n)\) is a linear combination of terms of the form
for some \(\beta \in \mathbb {N}_0^n\) and \(i,k,j\in \mathbb {N}_0\) such that \(\alpha =i+2j+k\beta \). But each of these terms satisfies
Hence, \((m(\cdot ,\mu ))_{\mu \in \mathbb {C}}\) is a bounded family of Fourier multipliers. Using this, we obtain
for \(ss_0\ge 0\) and
for \(ss_0\le 0\). \(\square \)
In this paper, we also consider function spaces on open intervals I. In this case, we can just define them by restriction.
Definition 2.20
Let be \(I\subset \mathbb {R}\) an open interval. Then, we define the space \((\mathscr {A}^{\bullet }(I,w;E),\Vert \cdot \Vert _{\mathscr {A}^{\bullet }(I,w;E)})\) by
We use the same definition for \(\mathscr {B}^{\bullet }\) and \(\mathscr {C}^{\bullet }\).
Remark 2.21
Recall that we defined \(W^{m}_p(\mathcal {O},w;E)\) as the dual of \(W^m_{p'}(\mathcal {O},w^{\frac{1}{p1}};E')\) and not by restriction. In the scalarvalued unweighted setting both definitions coincide, see [44, Section 2.10.2]. We believe that the same should hold true under suitable assumptions in the weighted vectorvalued setting. But since this is not important for this work, we do not investigate this any further.
Lemma 2.22
Let \(s\in \mathbb {R}\), \(p\in (1,\infty )\), \(r\in (1,p1)\) and \(l\in \mathbb {N}\). Suppose that \(\mathscr {A}^{s}\) is reflexive. Then, we have the continuous embeddings
Proof
We should note that almost the same proof was given in [30]. By duality, it suffices to prove
where \(r'=\frac{r}{p1}\) and \(p'=\frac{p}{p1}\). But this is a special case of [32, Corollary 3.4]. \(\square \)
Pseudodifferential operators in mixed scales
Now we briefly introduce some notions and notations concerning pseudodifferential operators. Since we only use the xindependent case in the following, we could also formulate our results in terms of Fourier multipliers. However, parameterdependent Hörmander symbol classes provide a suitable framework for the formulation of our results. In the case of parameterdependent symbols, we oftentimes consider spaces of smooth functions on an open set \(U\subset \mathbb {R}^n\times \mathbb {C}\). In this case, we identify \(\mathbb {C}\simeq \mathbb {R}^2\) and understand the differentiability in the real sense. If we want to understand it in the complex sense, we say holomorphic instead of smooth.
Definition 3.1
Let Z be a Banach space, \(d\in \mathbb {R}\), \(\Sigma \subset \mathbb {C}\) open and \(\vartheta :\Sigma \rightarrow (0,\infty )\) a function.

(a)
The space of parameterindependent Hörmander symbols \(S^d(\mathbb {R}^n;Z)\) of order d is the space of all smooth functions \(p\in C^{\infty }(\mathbb {R}^n;Z)\) such that
$$\begin{aligned} \Vert p\Vert ^{(d)}_k:=\sup _{\xi \in \mathbb {R}^n, \atop \alpha \in \mathbb {N}_0^n, \alpha \le k} \langle \xi \rangle ^{(d\alpha )} \Vert D^{\alpha }_{\xi }p(\xi )\Vert _{Z}<\infty \end{aligned}$$for all \(k\in \mathbb {N}_0\).

(b)
The space of parameterdependent Hörmander symbols \(S^{d,\vartheta }(\mathbb {R}^n\times \Sigma ;Z)\) of order d is the space of all smooth functions \(p\in C^{\infty }(\mathbb {R}^n\times \Sigma ;Z)\) such that
$$\begin{aligned} \Vert p\Vert ^{(d,\vartheta )}_k:=\sup _{\alpha \in \mathbb {N}_0^n,\,\gamma \in \mathbb {N}_0^2\atop \alpha +\gamma \le k}\sup _{\xi \in \mathbb {R}^n,\mu \in \Sigma } \vartheta (\mu )^{1}\langle \xi ,\mu \rangle ^{(d\alpha _1\gamma _1)} \Vert D^{\alpha }_{\xi }D_{\mu }^{\gamma }p(\xi ,\mu )\Vert _{Z}<\infty \end{aligned}$$for all \(k\in \mathbb {N}_0\). If \(\vartheta =1\), then we also omit it in the notation.
Actually, if one omits the weight function \(\vartheta \), then the latter symbol class is the special case of parameterdependent Hörmander symbols with regularity \(\infty \). Usually, one also includes the regularity parameter \(\nu \) in the notation of the symbol class, so that the notation \(S^{d,\infty }(\mathbb {R}^n\times \Sigma ;Z)\) is more common in the literature. But since the symbols in this paper always have infinite regularity, we omit \(\infty \) in the notation.
For the Bessel potential case, \(\mathcal {R}\)bounded versions of these symbol classes are useful.
Definition 3.2
Let E be a Banach space, \(N,M\in \mathbb {N}\), \(d\in \mathbb {R}\), \(\Sigma \subset \mathbb {C}\) open and \(\vartheta :\Sigma \rightarrow (0,\infty )\) a function.

(a)
By \(S^d_{\mathcal {R}}(\mathbb {R}^n;\mathcal {B}(E^N,E^M))\), we denote the space of all smooth functions \(p\in C^{\infty }(\mathbb {R}^n;\mathcal {B}(E^N,E^M))\) such that
$$\begin{aligned} \Vert p\Vert ^{(d)}_{k,\mathcal {R}}:=\mathcal {R}\big \{\langle \xi \rangle ^{(d\alpha _1)}D^{\alpha }_{\xi }p(\xi ):\xi \in \mathbb {R}^n, \alpha \in \mathbb {N}_0^n, \alpha \le k \big \}<\infty \end{aligned}$$for all \(k\in \mathbb {N}_0\).

(b)
By \(S^{d,\vartheta }_{\mathcal {R}}(\mathbb {R}^n\times \Sigma ;\mathcal {B}(E^N,E^M))\), we denote the space of all smooth functions \(p\in C^{\infty }(\mathbb {R}^n\times \Sigma ;\mathcal {B}(E^N,E^M))\) such that
$$\begin{aligned}&\Vert p\Vert ^{(d,\vartheta )}_{k,\mathcal {R}}:=\mathcal {R}\big \{\vartheta (\mu )^{1}\langle \xi ,\mu \rangle ^{(d\alpha \gamma )} D^{\alpha }_{\xi }D_{\mu }^{\gamma }p(\xi ,\mu ):\\&\xi \in \mathbb {R}^n,\mu \in \Sigma ,\alpha \in \mathbb {N}_0^n,\gamma \in \mathbb {N}_0^2,\alpha +\gamma \le k\big \}<\infty \end{aligned}$$for all \(k\in \mathbb {N}_0\). If \(\vartheta =1\), then we also omit it in the notation.
Remark 3.3

(a)
It seems like \(\mathcal {R}\)bounded versions of the usual Hörmander symbol classes have first been considered in the Ph.D. thesis of Štrkalj. We also refer to [40].

(b)
It was observed in [10] that also the \(\mathcal {R}\)bounded symbol classes are Fréchet spaces.

(c)
Since uniform bounds can be estimated by \(\mathcal {R}\)bounds, we have the continuous embeddings
$$\begin{aligned}&S^d_{\mathcal {R}}(\mathbb {R}^n;\mathcal {B}(E^N,E^M))\hookrightarrow S^d(\mathbb {R}^n;\mathcal {B}(E^N,E^M)),\\&\quad S^{d,\vartheta }_{\mathcal {R}}(\mathbb {R}^n\times \Sigma ;\mathcal {B}(E^N,E^M))\hookrightarrow S^{d,\vartheta }(\mathbb {R}^n\times \Sigma ;\mathcal {B}(E^N,E^M)). \end{aligned}$$ 
(d)
Since uniform boundedness and \(\mathcal {R}\)boundedness for a set of scalars are equivalent, we have that
$$\begin{aligned} S^d(\mathbb {R}^n;\mathbb {C})\hookrightarrow S^d_{\mathcal {R}}(\mathbb {R}^n;\mathcal {B}(E^N)),\quad S^{d,\vartheta }(\mathbb {R}^n\times \Sigma ;\mathbb {C})\hookrightarrow S^{d,\vartheta }_{\mathcal {R}}(\mathbb {R}^n\times \Sigma ;\mathcal {B}(E^N)). \end{aligned}$$ 
(e)
Given \(d_1,d_2\in \mathbb {R}\), \(\vartheta _1,\vartheta _2:\Sigma \rightarrow (0,\infty )\) and \(N_1,N_2,N_3\in \mathbb {N}\) we have the continuous bilinear mappings
$$\begin{aligned}&S^{d_2}(\mathbb {R}^n;\mathcal {B}(E^{N_2},E^{N_3}))\times S^{d_1}(\mathbb {R}^n;\mathcal {B}(E^{N_1},E^{N_2}))\\&\rightarrow S^{d_1+d_2}(\mathbb {R}^n;\mathcal {B}(E^{N_1},E^{N_3})),\,(p_2,p_1)\mapsto p_2p_1,\\&S^{d_2,\vartheta _2}(\mathbb {R}^n\times \Sigma ;\mathcal {B}(E^{N_2},E^{N_3}))\times S^{d_1,\vartheta _1}(\mathbb {R}^n\times \Sigma ;\mathcal {B}(E^{N_1},E^{N_2}))\\&\qquad \rightarrow S^{d_1+d_2,\vartheta _1\cdot \vartheta _2}(\mathbb {R}^n\times \Sigma ;\mathcal {B}(E^{N_1},E^{N_3})),\,(p_2,p_1)\mapsto p_2p_1. \end{aligned}$$The same properties also hold for the \(\mathcal {R}\)bounded versions.

(f)
The differential operator \(\partial ^{\alpha }\) with \(\alpha \in \mathbb {N}_0^n\) is a continuous linear operator
$$\begin{aligned} S^{d}(\mathbb {R}^n;\mathcal {B}(E^{N},E^{M}))\rightarrow S^{d\alpha }(\mathbb {R}^n;\mathcal {B}(E^{N},E^{M})),\,p\mapsto \partial ^{\alpha }p,\\ S^{d,\vartheta }(\mathbb {R}^n\times \Sigma ;\mathcal {B}(E^{N},E^{M}))\rightarrow S^{d\alpha ,\vartheta }(\mathbb {R}^n\times \Sigma ;\mathcal {B}(E^{N},E^{M})),\,p\mapsto \partial ^{\alpha }p. \end{aligned}$$The same properties also hold for the \(\mathcal {R}\)bounded versions.

(g)
One could also view parameterindependent symbol classes as a subset of parameterdependent symbol classes with bounded \(\Sigma \subset \mathbb {C}\) which consists of those symbols which do not depend on the parameter \(\mu \). Hence, the statements we formulate for parameterdependent symbol classes in the following also hold in a similar way in the parameterindependent case.
Definition 3.4
Let E be a Banach space, \(d\in \mathbb {R}\) and \(\Sigma \subset \mathbb {C}\) open. Let further \(p\in S^d(\mathbb {R}^n\times \Sigma ;\mathcal {B}(E^{N},E^{M}))\). Then, we define the corresponding pseudodifferential operator by
for \(f\in \mathscr {S}(\mathbb {R}^n;E^N)\).
Since we only consider xindependent symbols, the mapping properties of such pseudodifferential operators are an easy consequence of Mikhlin’s theorem.
Proposition 3.5
Let \(N,M\in \mathbb {N}\), \(s,s_0,d\in \mathbb {R}\), \(\Sigma \subset \mathbb {C}\) open and \(\vartheta :\Sigma \rightarrow (0,\infty )\) a function. Consider one of the following two cases

(a)
\(\mathscr {A}^{\bullet }\) belongs to the Bessel potential scale and \(S^{d,\vartheta }_{\mathscr {A}}(\mathbb {R}^{n}\times \Sigma ;\mathcal {B}(E^N,E^M))=S^{d,\vartheta }_{\mathcal {R}}(\mathbb {R}^{n}\times \Sigma ;\mathcal {B}(E^N,E^M))\).

(b)
\(\mathscr {A}^{\bullet }\) belongs to the Besov or the Triebel–Lizorkin scale and \(S^{d,\vartheta }_{\mathscr {A}}(\mathbb {R}^{n}\times \Sigma ;\mathcal {B}(E^N,E^M))=S^{d,\vartheta }(\mathbb {R}^{n}\times \Sigma ;\mathcal {B}(E^N,E^M))\).
Then, the mapping
defined by extension from \(\mathscr {S}(\mathbb {R}^{n},E^N)\) to \(\mathscr {A}^{s+d,\mu ,s_0}(\mathbb {R}^{n},w_0,E^N)\) is bilinear and continuous. Moreover, there is a constant \(C>0\) independent of \(\vartheta \) such that
for all \(\mu \in \Sigma \).
Proof
It is obvious that the mapping is bilinear. For the continuity, we note that
is continuous. Hence, by Mikhlin’s theorem there is an \(N'\in \mathbb {N}\) such that
This also shows the asserted estimate. \(\square \)
We can also formulate an \(\mathcal {R}\)bounded version of Proposition 3.5 without the parameterdependence of the function spaces.
Proposition 3.6
Let \(N,M\in \mathbb {N}\), \(s,d\in \mathbb {R}\), \(\Sigma \subset \mathbb {C}\) open and \(\vartheta :\Sigma \rightarrow (0,\infty )\) a function. Consider one of the following two cases

(a)
\(\mathscr {A}^{\bullet }\) belongs to the Bessel potential scale and E satisfies Pisier’s property \((\alpha )\) in addition to Assumption 1.2.

(b)
\(\mathscr {A}^{\bullet }\) belongs to the Besov or the Triebel–Lizorkin scale.
Then, the mapping
defined by extension from \(\mathscr {S}(\mathbb {R}^n,E^N)\) to \(\mathscr {A}^{s,\mu ,s_0}(\mathbb {R}^{n},w_0;E^N)\) is bilinear and continuous. Moreover, there is a constant \(C>0\) independent of \(\vartheta \) such that
Proof
Note that \(m(\,\cdot \,,\mu ):=[\xi \mapsto \langle \mu \rangle ^{d_+}\langle \xi ,\mu \rangle ^d\langle \xi \rangle ^{d}]\) satisfies Mikhlin’s condition uniformly in \(\mu \). Indeed, by induction on \(\alpha \) one gets that \(\partial ^{\alpha }\langle \mu \rangle ^{d_+}\langle \xi ,\mu \rangle ^d\langle \xi \rangle ^{d}\) is a linear combination of terms of the form
for some \(\beta \in \mathbb {N}_0^{n1}\), \(j,k\in \mathbb {N}_0\) with \(\alpha =2j+2k\beta \). For such a term, we obtain
Hence, by Mikhlin’s theorem there is an \(N'\in \mathbb {N}\) such that
\(\square \)
Proposition 3.7
(Iterated version of Mikhlin’s theorem) Let \(s,k\in \mathbb {R}\) and let E be a Banach space. Consider one of the following cases with Assumption 1.2 in mind, \(\mathscr {B}\) being defined on \(I_{x_n}=\mathbb {R}\) and with \(m\in L_{\infty }(\mathbb {R}^n;\mathcal {B}(E))\) being smooth enough:

(a)
Neither \(\mathscr {A}\) nor \(\mathscr {B}\) stands for the Bessel potential scale. For \(N\in \mathbb {N}_0\), we define
$$\begin{aligned} \kappa _{m,N}:=\sup \big \{\langle \xi '\rangle ^{\alpha '}\langle \xi _n\rangle ^{\alpha _n}\Vert \partial _{\xi }^{\alpha }m(\xi ',\xi _n)\Vert _{\mathcal {B}(E)}: \alpha \in \mathbb {N}_0^{n},\alpha \le N, \xi \in \mathbb {R}^{n}\big \}. \end{aligned}$$ 
(b)
\(\mathscr {A}\) stands for the Bessel potential scale and \(\mathscr {B}\) does not stand for the Bessel potential scale. For \(N\in \mathbb {N}_0\), we define
$$\begin{aligned}&\kappa _{m,N}:=\sup _{\xi _n\in \mathbb {R},\alpha _n\in \mathbb {N}_0,\alpha _n\le N}\mathcal {R}\big \{\xi '^{\alpha '}\\&\langle \xi _n\rangle ^{\alpha _n}\partial _{\xi }^{\alpha }m(\xi ',\xi _n): \alpha '\in \mathbb {N}_0^{n1},\alpha '\le N, \xi '\in \mathbb {R}^{n1}\big \}. \end{aligned}$$ 
(c)
\(\mathscr {B}\) stands for the Bessel potential scale and \(\mathscr {A}\) does not stand for the Bessel potential scale. For \(N\in \mathbb {N}_0\), we define
$$\begin{aligned} \kappa _{m,N}:=\mathcal {R}\big \{\langle \xi '\rangle ^{\alpha '}\xi _n^{\alpha _n}\partial _{\xi }^{\alpha }m(\xi ',\xi _n): \alpha \in \mathbb {N}_0^{n},\alpha \le N, \xi \in \mathbb {R}^{n}\big \}. \end{aligned}$$ 
(d)
Both \(\mathscr {A}\) and \(\mathscr {B}\) stand for the Bessel potential scale and E satisfies Pisier’s property \((\alpha )\). For \(N\in \mathbb {N}_0\), we define
$$\begin{aligned} \kappa _{m,N}:=\mathcal {R}\big \{\xi '^{\alpha '}\xi _n^{\alpha _n}\partial _{\xi }^{\alpha }m(\xi ',\xi _n): \alpha \in \mathbb {N}_0^{n},\alpha \le N, \xi \in \mathbb {R}^{n}\big \}. \end{aligned}$$
There is an \(N\in \mathbb {N}_0\) and a constant \(C>0\) independent of m such that
Proof
First, we note that \({\text {op}}[\partial _{\xi _n}^{\alpha _n}m(\,\cdot ,\xi _n)]=\partial _{\xi _n}^{\alpha _n}{\text {op}}[m(\,\cdot ,\xi _n)]\), \(\alpha _n\in \mathbb {N}\), if m is smooth enough. Indeed, let \(\varepsilon >0\) be small enough and \(h\in (\varepsilon ,\varepsilon )\). Then, we have
Now we can use the uniform continuity of
to see that we have convergence to 0 as \(h\rightarrow 0\) in the above estimate. The uniform continuity follows from the boundedness of the derivatives (if m is smooth enough). For derivatives of order \(\alpha _n\ge 2\) we can apply the same argument to \(\partial _{\xi _n}^{\alpha _n1}m\).
The idea is now to apply Mikhlin’s theorem twice. For example, in case (d) one obtains
by Theorem 2.15(b) for \(N_n,N\in \mathbb {N}_0\) large enough. The other cases are obtained analogously. \(\square \)
There also is an \(\mathcal {R}\)bounded version of Proposition 3.7
Proposition 3.8
(Iterated \(\mathcal {R}\)bounded version of Mikhlin’s theorem) Let \(s,k\in \mathbb {R}\) and let E be a Banach space. Consider one of the following cases with Assumption 1.2 in mind and with \(\mathcal {M}\subset C^{\widetilde{N}}(\mathbb {R}^n{\setminus }\{0\};\mathcal {B}(E))\) with \(\widetilde{N}\in \mathbb {N}_0\) being large enough:

(a)
Neither \(\mathscr {A}\) nor \(\mathscr {B}\) stands for the Bessel potential scale. For \(N\in \mathbb {N}_0\), we define
$$\begin{aligned} \kappa _{\mathcal {M},N}:=\mathcal {R}\big \{\langle \xi '\rangle ^{\alpha '}\langle \xi _n\rangle ^{\alpha _n}\partial _{\xi }^{\alpha }m(\xi ): m\in \mathcal {M},\alpha \in \mathbb {N}_0^{n},\alpha \le N, \xi \in \mathbb {R}^{n}\big \}. \end{aligned}$$ 
(b)
\(\mathscr {A}\) stands for the Bessel potential scale, \(\mathscr {B}\) does not stand for the Bessel potential scale and E satisfies Pisier’s property \((\alpha )\). For \(N\in \mathbb {N}_0\), we define
$$\begin{aligned} \kappa _{\mathcal {M},N}:=\mathcal {R}\big \{\xi '^{\alpha '}\langle \xi _n\rangle ^{\alpha _n}\partial _{\xi }^{\alpha }m(\xi ): m\in \mathcal {M},\alpha \in \mathbb {N}_0^{n},\alpha \le N, \xi \in \mathbb {R}^{n}\big \}. \end{aligned}$$ 
(c)
\(\mathscr {B}\) stands for the Bessel potential scale, \(\mathscr {A}\) does not stand for the Bessel potential scale and E satisfies Pisier’s property \((\alpha )\). For \(N\in \mathbb {N}_0\), we define
$$\begin{aligned} \kappa _{\mathcal {M},N}:=\mathcal {R}\big \{\langle \xi '\rangle ^{\alpha '}\xi _n^{\alpha _n}\partial _{\xi }^{\alpha }m(\xi ): m\in \mathcal {M},\alpha \in \mathbb {N}_0^{n},\alpha \le N, \xi \in \mathbb {R}^{n}\big \}. \end{aligned}$$ 
(d)
Both \(\mathscr {A}\) and \(\mathscr {B}\) stand for the Bessel potential scale and E satisfies Pisier’s property \((\alpha )\). For \(N\in \mathbb {N}_0\), we define
$$\begin{aligned} \kappa _{\mathcal {M},N}:=\mathcal {R}\big \{\xi '^{\alpha '}\xi _n^{\alpha _n}\partial _{\xi }^{\alpha }m(\xi ',\xi _n):m\in \mathcal {M}, \alpha \in \mathbb {N}_0^{n},\alpha \le N, \xi \in \mathbb {R}^{n}\big \}. \end{aligned}$$
There is an \(N\in \mathbb {N}_0\) and a constant \(C>0\) such that
Proof
This follows by the same proof as 3.7. One just has to use the \(\mathcal {R}\)bounded versions of Mikhlin’s theorem. \(\square \)
Lemma 3.9
(Lifting Property for Mixed Scales). Let \(s,k,t_0,t_1\in \mathbb {R}\). Then,
is an isomorphism of Banach spaces
Proof
If \(\mathscr {A}^\bullet \) or \(\mathscr {B}^{\bullet }\) belongs to the Bessel potential scale, then it follows from the definition of Bessel potential spaces that
respectively. In the other cases, this is the statement of [37, Proposition 3.9]. Composing the two mappings yields the assertion. \(\square \)
Proposition 3.10
Let \(s,k\in \mathbb {R}\) and \(t\ge 0\). Suppose that E has Pisier’s property \((\alpha )\) if both \(\mathscr {A}\) and \(\mathscr {B}\) belong to the Bessel potential scale. Then,
is an isomorphism of Banach spaces.
Proof
By the assumptions we imposed on \(\mathscr {B}^{\bullet }(\mathscr {A}^\bullet )\), we can apply Mikhlin’s theorem. We define
which satisfies the assumptions of Proposition 3.7. Indeed, by induction we have that \(\partial _{\xi }^{\alpha }f\) is a linear combination of terms of the form
for some \(\beta \in \mathbb {N}_0^n\), \(i',i_n,j',j_n,k',k_n\in \mathbb {N}_0\) such that \(\alpha _n=i_n+2j_n+k_n\beta _n\) and \(\alpha '=i'+2j'+k'\beta '\). But for such a term we have that
This shows that f satisfies the assumptions of Proposition 3.7. Therefore, we obtain
as well as
This proves the assertion. \(\square \)
Proposition 3.11
Let \(s,k,d\in \mathbb {R}\). Let
Suppose that E has Pisier’s property \((\alpha )\) if both \(\mathscr {A}\) and \(\mathscr {B}\) belong to the Bessel potential scale

(a)
If \(d\le 0\), then
$$\begin{aligned} S^d_{\mathscr {B},\mathscr {A}}(\mathbb {R}^n,\mathcal {B}(E)) \times \mathscr {B}^k(\mathscr {A}^s) \rightarrow \mathscr {B}^{kd}(\mathscr {A}^s)\cap \mathscr {B}^k(\mathscr {A}^{sd}),\;(p,u)\mapsto {\text {op}}[p] u \end{aligned}$$is bilinear and continuous.

(b)
If \(d\ge 0\), then
$$\begin{aligned} S^d_{\mathscr {B},\mathscr {A}}(\mathbb {R}^n,\mathcal {B}(E)) \times (\mathscr {B}^{k+d}(\mathscr {A}^s)\cap \mathscr {B}^k(\mathscr {A}^{s+d})) \rightarrow \mathscr {B}^k(\mathscr {A}^s),\;(p,u)\mapsto {\text {op}}[p] u \end{aligned}$$is bilinear and continuous.
Proof
By writing \(p(\xi )=\frac{p(\xi )}{\langle \xi \rangle ^d}\langle \xi \rangle ^d\) and using Proposition 3.10, we only have to treat the case \(d=0\). But this case is included in the iterated version of Mikhlin’s theorem, Proposition 3.7. Indeed, for a symbol \(p\in S^0(\mathbb {R}^n,\mathcal {B}(E))\) we have
for all \(k\in \mathbb {N}_0\). If \(p\in S^0_{\mathcal {R}}(\mathbb {R}^n,\mathcal {B}(E))\), we can use Kahane’s contraction principle in order to obtain
\(\square \)
Poisson operators in mixed scales
Consider Eq. (11) with \(f=0\), i.e.,
Recall that we always assume that the ellipticity condition and the Lopatinskii–Shapiro condition are satisfied in the sector \(\Sigma _{\phi '}{\setminus }\{0\}\) with \(\phi '\in (0,\pi )\) and that \(\phi \in (0,\phi ')\). The solution operators of (41) which map the boundary data \(g=(g_1,\ldots ,g_m)\) to the solution u are called Poisson operators. This notion comes from the Boutet de Monvel calculus, where Poisson operators are part of the socalled singular Green operator matrices. These matrices were introduced to extend the idea of pseudodifferential operators to boundary value problems. They allow for a unified treatment of boundary value problems and their solution operators, since both of them are contained in the algebra of singular Green operator matrices. In this work however, we do not need this theory in full generality. Instead, we just focus on Poisson operators.
We will use a solution formula for the Poisson operator corresponding to (41) which was derived in the classical work [8, Proposition 6.2] by Denk, Hieber and Prüss. In order to derive this formula, a Fourier transform in the tangential directions of (41) is applied. This yields a linear ordinary differential equation of order 2m at each point in the frequency space. This ordinary differential equation is then transformed to a linear firstorder system which can easily be solved by an exponential function if one knows the values of
The Lopatinskii–Shapiro condition ensures that those vectors \(U(\xi ',0)\) which yield a stable solution can be uniquely determined from \((\mathscr {F}'g_1,\ldots ,\mathscr {F}'g_m)\). The operator which gives this solution is denoted by
Now one just has to take the inverse Fourier transform of the solution and a projection to the first component. The latter is necessary to come back from the solution of the firstorder system to the solution of the higherorder equation.
This would already be enough to derive a good solution formula. However, in [8] an additional rescaling was introduced so that compactness arguments can be applied. More precisely, the variables \(\rho (\xi ',\lambda )=\langle \xi ',\lambda ^{1/2m}\rangle =(1+\xi '^2+\lambda ^{1/m})^{1/2}\), \(b=\xi '/\rho \) and \(\sigma =\lambda /\rho ^{2m}\) are introduced in the Fourier image. The solution formula is then written in terms of \((\rho ,b,\sigma )\) instead of \((\xi ',\lambda )\). For this reformulation, it is crucial that the operators \(A,B_1,\ldots ,B_m\) are homogeneous, i.e., that there are no lowerorder terms. And even though this rescaling makes the formulas more involved, the compactness arguments which can be used as a consequence are very useful.
After carrying out all these steps, the solution can be represented by
where

\({\text {pr}}_1:E^{2m}\rightarrow E,\,w\mapsto w_1\) is the projection onto the first component,

\(g=(g_1,\ldots ,g_m)^T\) and the operator \({\text {Poi}}(\lambda ):E^m\rightarrow E^{2m}\) is given by
$$\begin{aligned} \left[ {\text {Poi}}(\lambda )g\right] (x):=\big [(\mathscr {F}')^{1} e^{i\rho A_0(b,\sigma )x_n}M(b,\sigma )\hat{g}_{\rho }\big ](x'). \end{aligned}$$(42) 
\(\mathscr {F}'\) is the Fourier transform along \(\mathbb {R}^{n1}\), i.e., in tangential direction,

\(A_0\) is a smooth function with values in \(\mathcal {B}(E^{2m},E^{2m})\) which one obtains from \(\lambda A(\xi ',D_n)\) after a reduction to a firstorder system,

M is a smooth function with values in \(\mathcal {B}(E^{m},E^{2m})\) which maps the values of the boundary operators applied to the stable solution v to the vector containing its derivatives at \(x_n=0\) up to the order \(2m1\), i.e.,
$$\begin{aligned} (B_1(D)v(0),\ldots , B_m(D)v(0))^T\mapsto (v(0),\partial _n v(0),\ldots , \partial _n^{2m1} v(0))^T, \end{aligned}$$ 
\(\rho \) is a positive parameter that can be chosen in different ways in dependence of \(\xi '\) and \(\lambda \). In our case, it will be given by \(\rho (\xi ',\lambda )=\langle \xi ',\lambda ^{1/2m}\rangle =(1+\xi '^2+\lambda ^{1/m})^{1/2}\),

\(b=\xi '/\rho \), \(\sigma =\lambda /\rho ^{2m}\) and \(\hat{g}_{\rho }=((\mathscr {F}'g_1)/\rho ^{m_1},\ldots ,(\mathscr {F}'g_m)/\rho ^{m_m})^T\),
Again, we want to emphasize that b, \(\sigma \), and \(\rho \) depend on \(\xi '\) and \(\lambda \). We only neglect this dependence in the notation for the sake of readability.
Another operator that we will use later is the spectral projection \(\mathscr {P}_{}\) of the matrix \(A_0\) to the part of the spectrum that lies above the real line. This spectral projection has the property that \(\mathscr {P}_(b,\sigma )M(b,\sigma )=M(b,\sigma )\).
For our purposes, we will rewrite the above representation in the following way: For \(j=1,\ldots ,m\) we write
where \(\hat{g}_j\otimes e_j\) denotes the mtuple whose jth component equals to \(\hat{g}_j\) and whose other components all equal to 0, as well as
so that we obtain
Remark 4.1
If we look at Formula (42), we can already see that the solution operator is actually just an exponential function in normal direction. As such, it should be arbitrarily smooth. Of course, one has to think about with respect to which topology in tangential direction this smoothness should be understood. It is the aim of this section to analyze this carefully. We treat (42) as a function of \(x_n\) with values in the space of pseudodifferential operators in tangential direction. Since (42) is exponentially decaying in \(\xi '\) if \(x_n>0\), the pseudodifferential operators will have order \(\infty \), i.e., they are smoothing. Hence, the solutions will also be arbitrarily smooth, no matter how rough the boundary data is. However, the exponential decay becomes slower as one approaches \(x_n=0\). This will lead to singularities if (42) is considered as a function of \(x_n\) with values in the space of pseudodifferential operators of a fixed order. In the following, we will study how strong these singularities are depending on the regularity in normal and tangential directions in which the singularities are studied. The answer will be given in Theorem 4.16. Therein, one may choose the regularity in normal direction k, the integrability in normal direction p, the regularity in tangential direction t of the solution and the regularity s of the boundary data. Then, the parameter r in the relation \(rp[t+km_js]_+>1\) gives a description of the singularity at the boundary, since it is the power of the power weight which one has to add to the solution space such that the Poisson operator is a welldefined continuous operator between the spaces one has chosen.
In the following, we oftentimes substitute \(\mu =\lambda ^{1/2m}\) for homogeneity reasons. If \(\lambda \) is above the real line, then we take \(\mu \) to be the first of these roots, and if \(\lambda \) is below the real line, we take \(\mu \) to be the last of these roots. If \(\lambda >0\), then we just take the ordinary positive root.
Definition 4.2
A domain \(\mathcal {O}\) is called plump with parameters \(R>0\) and \(\delta \in (0,1]\) if for all \(x\in \mathcal {O}\) and all \(r\in (0,R]\) there exists a \(z\in \mathcal {O}\) such that
Lemma 4.3
Let \(E_0,E_1\) be a Banach spaces. As described above, we take \(\mu =\lambda ^{1/2m}\) so that \(\rho (\xi ',\mu )=\langle \xi ',\mu \rangle \), \(b=\xi '/\rho \) and \(\sigma =\mu ^{2m}/\rho ^{2m}\). Let \(U\subset \mathbb {R}^{n1}\times \Sigma _{\phi }\) be a plump and bounded environment of the range of \((b,\sigma )\). Then, the mapping
is well defined and continuous.
Proof
A similar proof was carried out in [22, Proposition 4.21]. We combine this proof with [24, Theorem 8.5.21] in order to obtain the \(\mathcal {R}\)bounded version.
Let \(A\in BUC^{\infty }(U,\mathcal {B}(E_0,E_1))\). By induction on \(\alpha '+\gamma \), we show that \(D_{\xi '}^{\alpha '}D_{\mu }^\gamma (A\circ (b,\sigma ))\) is a linear combination of terms of the form \((D_{\xi '}^{\widetilde{\alpha }'}D_{\mu }^{\widetilde{\gamma }}A)\circ (b,\sigma )\cdot f\) with \(f\in S^{\alpha '\gamma }_{\mathcal {R}}(\mathbb {R}^{n1}\times \Sigma _{\phi /2m})\), \(\widetilde{\alpha }'\in \mathbb {N}_0^{n1}\) and \(\widetilde{\gamma }\in \mathbb {N}_0\). It follows from [24, Theorem 8.5.21] that this is true for \(\alpha '+\gamma =0\). So let \(j\in \{1,\ldots ,n1\}\). By the induction hypothesis, we have that \(D_{\xi '}^{\alpha '}D_{\mu }^\gamma (A\circ (b,\sigma ))\) is a linear combination of terms of the form \((D_{\xi '}^{\widetilde{\alpha }'}D_{\mu }^{\widetilde{\gamma }}A)\circ (b,\sigma )\cdot f\) with \(f\in S^{\alpha '\gamma }_{\mathcal {R}}(\mathbb {R}^{n1}\times \Sigma _{\phi /2m})\), \(\widetilde{\alpha }'\in \mathbb {N}_0^{n1}\) and \(\widetilde{\gamma }\in \mathbb {N}_0\). Hence, for \(D_{\xi _j}D_{\xi '}^{\alpha '}D_{\mu }^{\gamma }\) it suffices to treat the summands separately, i.e., we consider \(D_{\xi _j}((D_{\xi '}^{\widetilde{\alpha }'}D_{\mu }^{\widetilde{\gamma }}A)\circ (b,\sigma )\cdot f)\). By the product rule and the chain rule, we have
By the induction hypothesis and Remark 3.3 (e) and (f) we have that
The same computation for \(D_{\mu _1}\) and \(D_{\mu _2}\) instead of \(D_{\xi _j}\) also shows the desired behavior and hence, the induction is finished.
Now we use [24, Theorem 8.5.21] again: Since U is plump we have that A and all its derivatives have an \(\mathcal {R}\)bounded range on U. Therefore, the terms \((D_{\xi '}^{\widetilde{\alpha }'}D_{\mu }^{\widetilde{\gamma }}A)\circ (b,\sigma )\cdot f\) from above satisfy
which shows the assertion. \(\square \)
Corollary 4.4

(a)
There is a constant \(c>0\) such that the mapping
$$\begin{aligned} \mathbb {R}_+\rightarrow S^{0}_{\mathcal {R}}(\mathbb {R}^{n1}\times \Sigma _{\phi /2m};\mathcal {B}(E^{2m})), y\mapsto [(\xi ',\mu )\mapsto e^{cy}e^{iA_0(b,\sigma )y}\mathscr {P}_{}(b,\sigma )] \end{aligned}$$is bounded and and uniformly continuous.

(b)
There are constants \(C,c>0\) such that
$$\begin{aligned} \mathcal {R}(\{e^{c\rho x_n}e^{i\rho A_0(b,\sigma )x_n}\mathscr {P}_(b,\sigma ):(\xi ',\mu )\in \mathbb {R}^{n1}\times \Sigma _{\phi /2m}\})<C \end{aligned}$$for all \(x_n\ge 0\)
Proof

(a)
By Lemma 4.3, it suffices to show that there is a plump environment U of the range \((b,\sigma )\) such that
$$\begin{aligned} \mathbb {R}_+\rightarrow BUC^{\infty }(U,\mathcal {B}(E^{2m})), y\mapsto [(\xi ',\mu )\mapsto e^{cy}e^{iA_0(\xi ,\mu )y}\mathscr {P}_{}(\xi ,\mu )] \end{aligned}$$is bounded and continuous. We can for example take
$$\begin{aligned} U=\big \{\big (\tfrac{\theta \xi '}{\rho },\tfrac{\theta \mu ^{2m}}{\rho ^{2m}}\big ): \xi '\in \mathbb {R}^{n1},\,\mu \in \Sigma _{\phi /2m},\,\theta \in (\tfrac{1}{2},2)\big \}. \end{aligned}$$Obviously, this set contains the range of \((b,\sigma )\) and it is smooth and relatively compact. By this compactness, it follows as in [8, Section 6] (mainly because of the spectral gap (6.11)) that there is a constant \(c>0\) such that
$$\begin{aligned} \sup _{y\ge 0,\, (\xi ',\mu )\in U}\Vert e^{2cy}e^{i A_0(\xi ',\mu )y}\mathscr {P}_(\xi ',\mu ) \Vert _{\mathcal {B}(E^{2m})}<\infty . \end{aligned}$$Now, we show by induction on \(\alpha '+\gamma \) that \(\partial _{\xi '}^{\alpha '}\partial _{\mu }^{\gamma }e^{i A_0(\xi ',\mu )y}\mathscr {P}_(\xi ',\mu )\) is a linear combination of terms of the form
$$\begin{aligned} f(\xi ',\mu ) e^{i A_0(\xi ',\mu )y}\mathscr {P}_(\xi ',\mu ) g(\xi ',\mu )y^p \end{aligned}$$(44)where \(f,g:\mathbb {R}^{n1}\times \Sigma _{\phi /2m}\rightarrow \mathcal {B}(E^{2m})\) are holomorphic and \(p\in \mathbb {N}_0\). Obviously this is true for \(\alpha '+\gamma =0\). For the induction step, we can directly use the induction hypothesis and consider a term of the form (44). Since
$$\begin{aligned}&e^{i A_0(\xi ',\mu )y}\mathscr {P}_(\xi ',\mu )=e^{i A_0(\xi ',\mu )y}\mathscr {P}_(\xi ',\mu )^2\\&\quad =\mathscr {P}_(\xi ',\mu )e^{i A_0(\xi ',\mu )y}\mathscr {P}_(\xi ',\mu )=\mathscr {P}_(\xi ',\mu )e^{i A_0(\xi ',\mu )y} \end{aligned}$$one can directly verify that the derivatives \(\partial _{\xi _j}\partial _{\xi '}^{\alpha '}\partial _{\mu }^{\gamma }e^{i A_0(\xi ',\mu )y}\mathscr {P}_(\xi ',\mu )\) \((j=1,\ldots ,n1)\) and \(\partial _{\mu _i}\partial _{\xi '}^{\alpha '}\partial _{\mu }^{\gamma }e^{i A_0(\xi ',\mu )y}\mathscr {P}_(\xi ',\mu )\) \((i\in \{1,2\})\) are again a linear combination of terms of the form (44). But for such a term, we have
$$\begin{aligned} \Vert f e^{i A_0y}\mathscr {P}_ gy^p \Vert _{BUC(U,\mathcal {B}(E^{2m}))}\le C e^{cy} \end{aligned}$$for some constant \(C>0\) and all \(y\ge 0\). This shows that
$$\begin{aligned} \big ([(\xi ',\mu )\mapsto e^{cy}e^{iA_0(\xi ,\mu )y}\mathscr {P}_{}(\xi ,\mu )]\big )_{y\ge 0} \end{aligned}$$satisfies the assumptions of Lemma 4.3 uniformly in y so that the boundedness follows. The continuity follows from applying the same argument to
$$\begin{aligned} (e^{iA_0(\xi ,\lambda )h}{\text {id}}_{E^{2m}})e^{iA_0(\xi ,\lambda )y}\mathscr {P}_(\xi ',\mu ) \end{aligned}$$for small h, \(h\in \mathbb {R}\). Note that \((\xi ,\lambda )\) only runs through a relatively compact set again so that \(e^{iA_0(\xi ,\lambda )h}{\text {id}}_{E^{2m}}\rightarrow 0\) in \(BUC^{\infty }(U)\) as \(h\rightarrow \infty \).

(b)
This follows from the first part by substituting \(y=\rho x_n\).
\(\square \)
Lemma 4.5
Let \(n_1,n_2\in \mathbb {R}\) and \(c>0\). Moreover, let \(f_0\in S^{n_1}_{\mathcal {R}}(\mathbb {R}^{n1}\times \Sigma _{\phi /2m},\mathcal {B}(E^{2m}))\) and \(g\in S_{\mathcal {R}}^{n_2}(\mathbb {R}^{n1}\times \Sigma _{\phi /2m},\mathcal {B}(E,E^{2m}))\). Then, for all \(\alpha \in \mathbb {N}_0^{n+1}\) we have that \(\partial _{\xi ',\mu }^{\alpha }f_0e^{c\rho x_n+i\rho A_0(b,\sigma )x_n}\mathscr {P}_(b,\sigma )g_0\) is a linear combination of terms of the form
where \(f_{\alpha }\in S_{\mathcal {R}}^{n_1d_1}(\mathbb {R}^{n1}\times \Sigma _{\phi /2m},\mathcal {B}(E^{2m}))\), \(g_{\alpha }\in S^{n_2d_2}_{\mathcal {R}}(\mathbb {R}^{n1}\times \Sigma _{\phi /2m},\mathcal {B}(E,E^{2m}))\) and \(k+d_1+d_2=\alpha \).
Proof
This can be shown by induction on \(\alpha \). Using Lemma 4.3, the proof of [22, Lemma 4.22] carries over to our setting. \(\square \)
Proposition 4.6
Let \(\zeta ,\delta \ge 0\), \(k\in \mathbb {N}_0\) and \(\vartheta (c,x_n,\mu )=x_n^{\delta }\mu ^{\zeta } e^{c\mu x_n}\) for \(c,x_n,\mu \in \mathbb {R}_+\).

(a)
For all \(l\in \mathbb {N}_0\), there are constants \(C,c>0\) such that
$$\begin{aligned} \Vert (\xi ',\mu )\mapsto D_{x_n}^ke^{c\rho x_n}e^{i\rho A_0(b,\sigma )x_n}M_j(b,\sigma )\tfrac{1}{\rho ^{m_j}}\Vert ^{(k+\zeta m_j\delta ,\vartheta (c/2,x_n,\cdot \,))}_{l,\mathcal {R}}<C \end{aligned}$$(45)for all \(x_n\in \mathbb {R}_+\).

(b)
The mapping
$$\begin{aligned}&\mathbb {R}_+\rightarrow S^{k+\zeta m_j\delta }_{\mathcal {R}}(\mathbb {R}^{n1}\times \Sigma _{\phi /2m};\mathcal {B}(E,E^{2m})), x_n\mapsto [(\xi ',\mu )\\&\mapsto x_n^{\delta } e^{c\rho x_n}D_{x_n}^ke^{i\rho A_0(b,\sigma )x_n}M_j(b,\sigma )\tfrac{1}{\rho ^{m_j}}] \end{aligned}$$is continuous.

(c)
If \(f\in BUC(\mathbb {R}_+,\mathbb {C})\) with \(f(0)=0\), then
$$\begin{aligned}&\overline{\mathbb {R}_+}\rightarrow S^{k+\zeta m_j\delta }_{\mathcal {R}}(\mathbb {R}^{n1}\times \Sigma _{\phi /2m};\mathcal {B}(E,E^{2m})),\\&x_n\mapsto [(\xi ',\mu )\mapsto f(x_n)x_n^{\delta } e^{c\rho x_n}D_{x_n}^ke^{i\rho A_0(b,\sigma )x_n}M_j(b,\sigma )\tfrac{1}{\rho ^{m_j}}] \end{aligned}$$is uniformly continuous.

(d)
If \(\varepsilon \in (0,\delta ]\), then
$$\begin{aligned}&\overline{\mathbb {R}_+}\rightarrow S^{k+\zeta +\varepsilon m_j\delta }_{\mathcal {R}}(\mathbb {R}^{n1}\times \Sigma _{\phi /2m};\mathcal {B}(E,E^{2m})),\\&x_n\mapsto [(\xi ',\mu )\mapsto x_n^{\delta } e^{c\rho x_n}D_{x_n}^ke^{i\rho A_0(b,\sigma )x_n}M_j(b,\sigma )\tfrac{1}{\rho ^{m_j}}] \end{aligned}$$is uniformly continuous.
Proof

(a)
By Lemma 4.5, we have that \(D_{\xi '}^{\alpha '}D_{\mu }^{\gamma } e^{c\rho x_n}e^{i\rho A_0(b,\sigma )x_n}M_{j}(b,\sigma )\frac{1}{\rho ^{m_j}}\) is a linear combination of terms of the form
$$\begin{aligned} f_{\alpha ',\gamma }e^{c\rho x_n+i\rho A_0(b,\sigma )x_n}\mathscr {P}_(b,\sigma )g_{\alpha ',\gamma }x_n^{p} \end{aligned}$$where \(f_{\alpha ',\gamma }\in S^{d_1}(\mathbb {R}^{n1}\times \mathbb {R}_+,\mathcal {B }( E^{2m},E^{2m}))\), \(g_{\alpha ',\gamma }\in S^{m_{j}d_2}(\mathbb {R}^{n1}\times \mathbb {R}_+,\mathcal {B}(E,E^{2m}))\) and \(p+d_1+d_2=\alpha '+\gamma \). But for such a term, we have that
$$\begin{aligned}&\mathcal {R}\big (\{\vartheta (\tfrac{c}{2},x_n,\mu )^{1}\rho ^{k\zeta +m_j+\delta +\alpha '+\gamma }D_{x_n}^kf_{\alpha ',l}(\xi ',\mu )e^{c\rho x_n}e^{i\rho A_0(b,\sigma )x_n}\\&\qquad \mathscr {P}_(b,\sigma )g_{\alpha ',l}(\xi ',\mu )x_n^p : (\xi ',\mu )\in \mathbb {R}^{n1}\times \Sigma _{\phi /2m}\}\big ) \\&\quad \le C \sum _{\widetilde{k}=0}^k \mathcal {R}\big (\{\vartheta (\tfrac{c}{2},x_n,\mu )^{1}\rho ^{k\zeta +m_j+\delta +\alpha '+\gamma }f_{\alpha ',l}(\xi ',\mu )e^{c\rho x_n}e^{i\rho A_0(b,\sigma )x_n}\\&\qquad \mathscr {P}_(b,\sigma )[c\rho +i\rho A_0(b,\sigma )]^{k\widetilde{k}}g_{\alpha ',l}(\xi ',\mu )x_n^{[p\widetilde{k}]_+}: (\xi ',\mu )\in \mathbb {R}^{n1}\times \Sigma _{\phi /2m}\}\big )\\&\quad \le C \sum _{\widetilde{k}=0}^k\mathcal {R}\big (\{\vartheta (\tfrac{c}{2},x_n,\mu )^{1} \rho ^{\zeta +\delta \widetilde{k}d_1d_2+\alpha '+\gamma }e^{c\rho x_n}x_n^{[p\widetilde{k}]_+}: (\xi ',\mu )\in \mathbb {R}^{n1}\times \Sigma _{\phi /2m}\}\big )\\&\quad \le C \mathcal {R}\big (\{\vartheta (\tfrac{c}{2},x_n,\mu )^{1}x_n^{\delta }\mu ^{\zeta }\rho ^{d_1d_2p+\alpha '+\gamma }e^{\tfrac{c}{2}\rho x_n}: (\xi ',\mu )\in \mathbb {R}^{n1}\times \Sigma _{\phi /2m}\}\big )\\&\quad \le C. \end{aligned}$$From the second to the third line, we used Lemma 4.3 and Corollary 4.4(b). This gives (45).

(b)
Again, we consider a term of the form
$$\begin{aligned} f_{\alpha ',\gamma }e^{i\rho A_0(b,\sigma )x_n}\mathscr {P}_(b,\sigma )g_{\alpha ',\gamma }x_n^{p} \end{aligned}$$where \(f_{\alpha ',\gamma }\in S^{d_1}(\mathbb {R}^{n1}\times \mathbb {R}_+,\mathcal {B }( E^{2m},E^{2m}))\), \(g_{\alpha ',\gamma }\in S^{m_{j}d_2}(\mathbb {R}^{n1}\times \mathbb {R}_+,\mathcal {B}(E,E^{2m}))\) and \(p+d_1+d_2=\alpha '+\gamma \). By the same computation as in part (a), we obtain
$$\begin{aligned}&\mathcal {R}\big (\{\vartheta (\tfrac{c}{2},x_n,\mu )^{1}\rho ^{k\zeta +m_j+\delta +\alpha '+\gamma }D_{x_n}^kf_{\alpha ',l}\\&(\xi ',\mu )[e^{c\rho (x_n+h)+i\rho A_0(b,\sigma )(x_n+h)}e^{c\rho x_n+i\rho A_0(b,\sigma )x_n}]:\\&\qquad (\xi ',\mu )\in \mathbb {R}^{n1}\times \Sigma _{\phi /2m}\})\\&\quad \le C \mathcal {R}\big (\{\vartheta (\tfrac{c}{2},x_n,\mu )^{1}x_n^{\delta }\mu ^{\zeta }\rho ^{d_1d_2p+\alpha '+\gamma }[e^{c\rho h+i\rho A_0(b,\sigma )h}\\&\qquad {\text {id}}_{E^{2m}}] e^{\tfrac{3c}{4}\rho x_n}: (\xi ',\mu )\in \mathbb {R}^{n1}\times \Sigma _{\phi /2m}\}\big )\\&\quad = C \mathcal {R}\big (\{[e^{c\rho h+i\rho A_0(b,\sigma )h}{\text {id}}_{E^{2m}}] e^{\tfrac{c}{4}\rho x_n}: (\xi ',\mu )\in \mathbb {R}^{n1}\times \Sigma _{\phi /2m}\}\big )\\&\quad \le C \mathcal {R}\big (\{[e^{c\rho h+i\rho A_0(b,\sigma )h}{\text {id}}_{E^{2m}}] e^{\tfrac{c}{4}\rho x_n}: (\xi ',\mu )\in \mathbb {R}^{n1}\times \Sigma _{\phi /2m}, \rho \le \tfrac{1}{\sqrt{h}}\}\big ) \\&\qquad +C \mathcal {R}\big (\{[e^{c\rho h+i\rho A_0(b,\sigma )h}{\text {id}}_{E^{2m}}] e^{\tfrac{cx_n}{4\sqrt{h}}}: (\xi ',\mu )\in \mathbb {R}^{n1}\times \Sigma _{\phi /2m}, \rho \ge \tfrac{1}{\sqrt{h}}\}\big ). \end{aligned}$$From Corollary 4.4 (a), it follows that the first \(\mathcal {R}\)bound tends to 0 as \(h\rightarrow 0\). By Corollary 4.4 (b), it holds that
$$\begin{aligned} \mathcal {R}(\{e^{c\rho h+i\rho A_0(b,\sigma )h}{\text {id}}_{E^{2m}}:(\xi ',\mu )\in \mathbb {R}^{n1}\times \Sigma _{\phi /2m}, \rho \ge \tfrac{1}{\sqrt{h}}\})<\infty \end{aligned}$$and since \(x_n>0\) also the second \(\mathcal {R}\)bound tends to 0 as \(h\rightarrow 0\). This shows the desired continuity.

(c)
This follows by the same computation as in part (b). However, without f there would be no continuity at \(x_n=0\) as the second \(\mathcal {R}\)bound
$$\begin{aligned} \mathcal {R}\big (\{[e^{c\rho h+i\rho A_0(b,\sigma )h}{\text {id}}_{E^{2m}}] e^{\tfrac{cx_n}{2\sqrt{h}}}: (\xi ',\mu )\in \mathbb {R}^{n1}\times \Sigma _{\phi /2m}, \rho \ge \tfrac{1}{\sqrt{h}}\}\big ) \end{aligned}$$does not tend to 0 as \(h\rightarrow 0\) for \(x_n=0\). By adding f though, we obtain the desired continuity.

(d)
This follows from part (c) with \(f(x_n)=x_n^{\varepsilon }\) for \(x_n\) close to 0.
\(\square \)
Given a topological spaces \(Z_0,Z_1\) and \(z\in Z_0\), we now write
for the evaluation map at z.
Corollary 4.7
Let \(k\in \mathbb {N}_0\), \(p_0\in (1,\infty )\), \(q_0\in [1,\infty ]\), \(\zeta \ge 0\) and \(s_0,s,\widetilde{t}\in \mathbb {R}\).

(a)
There are constants \(C,c>0\) such that for all \(x_n>0\) and all \(\lambda \in \Sigma _{\phi }\) we have the parameterdependent estimate
$$\begin{aligned} \Vert [D_{x_n}^k{\text {Poi}}_j(\lambda )&f](\cdot ,x_n)\Vert _{\mathscr {A}^{\widetilde{t}+m_jk\zeta ,\lambda ^{1/2m},s_0}(\mathbb {R}^{n1},w,E^{2m})}\\ {}&\le Cx_n^{[\widetilde{t}s]_+}\lambda ^{\zeta /2m}e^{c\lambda ^{1/2m}x_n}\Vert f\Vert _{\mathscr {A}^{s,\lambda ^{1/2m},s_0}(\mathbb {R}^{n1},w,E)}\\&\quad (f\in \mathscr {S}(\mathbb {R}^{n1},E)). \end{aligned}$$ 
(b)
There is a constant \(c>0\) such that for all \(\lambda \in \Sigma _{\phi }\) we have that
$$\begin{aligned} K(\lambda ):=[x_n\mapsto x_n^{[\widetilde{t}s]_+}\lambda ^{\frac{\zeta [[\widetilde{t}s]_+m_j+k+\zeta ]_+}{2m}}e^{c\lambda ^{1/2m} x_n}{\text {ev}}_{x_n}D_{x_n}^k{\text {Poi}}_j(\lambda )] \end{aligned}$$is an element of
$$\begin{aligned} C_{\mathcal {R}B}\big (\mathbb {R}_+;\mathcal {B}(\mathscr {A}^s(\mathbb {R}^{n1},w;E^{2m}),\mathscr {A}^{\widetilde{t}+m_jk\zeta }(\mathbb {R}^{n1},w;E^{2m}))\big ). \end{aligned}$$Moreover, for all \(\sigma >0\) we have that the set \(\{K(\lambda ):\lambda \in \Sigma _{\phi },\,\lambda \ge \sigma \}\) is \(\mathcal {R}\)bounded in \(C_{\mathcal {R}B}\big (\mathbb {R}_+;\mathcal {B}(\mathscr {A}^s(\mathbb {R}^{n1},w;E^{2m}),\mathscr {A}^{\widetilde{t}+m_jk\zeta }(\mathbb {R}^{n1},w;E^{2m}))\big )\).

(c)
Let \(f\in BUC([0,\infty ),\mathbb {C})\) such that \(f(0)=0\). There is a constant \(c>0\) such that for all \(\lambda \in \Sigma _{\phi }\) we have that
$$\begin{aligned} K_f(\lambda ):=[x_n\mapsto f(x_n)x_n^{[\widetilde{t}s]_+}\lambda ^{\frac{\zeta [[\widetilde{t}s]_+m_j+k+\zeta ]_+}{2m}}e^{c\lambda ^{1/2m} x_n}{\text {ev}}_{x_n}D_{x_n}^k{\text {Poi}}_j(\lambda )] \end{aligned}$$is an element of
$$\begin{aligned} BUC_{\mathcal {R}}\big (\mathbb {R}_+;\mathcal {B}(\mathscr {A}^s(\mathbb {R}^{n1},w;E^{2m}),\mathscr {A}^{\widetilde{t}+m_jk\zeta }(\mathbb {R}^{n1},w;E^{2m}))\big ). \end{aligned}$$Moreover, for all \(\sigma >0\) we have that the set \(\{K_f(\lambda ):\lambda \in \Sigma _{\phi },\,\lambda \ge \sigma \}\) is \(\mathcal {R}\)bounded in \(BUC_{\mathcal {R}}\big (\mathbb {R}_+;\mathcal {B}(\mathscr {A}^s(\mathbb {R}^{n1},w;E^{2m}),\mathscr {A}^{\widetilde{t}+m_jk\zeta }(\mathbb {R}^{n1},w;E^{2m}))\big )\).

(d)
Let \(\varepsilon >0\) and let \(K(\lambda )\) be defined as in Part (b). Then, \(K(\lambda )\) is an element of
$$\begin{aligned} BUC_{\mathcal {R}}\big (\mathbb {R}_+;\mathcal {B}(\mathscr {A}^s(\mathbb {R}^{n1},w;E^{2m}),\mathscr {A}^{\widetilde{t}+m_j\varepsilon k\zeta }(\mathbb {R}^{n1},w;E^{2m}))\big ). \end{aligned}$$Moreover, for all \(\sigma >0\) we have that the set \(\{K(\lambda ):\lambda \in \Sigma _{\phi },\,\lambda \ge \sigma \}\) is \(\mathcal {R}\)bounded in \(BUC_{\mathcal {R}}\big (\mathbb {R}_+;\mathcal {B}(\mathscr {A}^s(\mathbb {R}^{n1},w;E^{2m}),\mathscr {A}^{\widetilde{t}+m_j\varepsilon k\zeta }(\mathbb {R}^{n1},w;E^{2m}))\big )\).
Proof

(a)
By Proposition 4.6, we have that
$$\begin{aligned} \big (D_{x_n}^k e^{i\rho A_0(b,\sigma )x_n}\frac{M_{j}(b,\sigma )}{\rho ^{m_j}}\big )_{x_n>0}&\subset S^{\zeta +km_{j}[\widetilde{t}s]_+}_{\mathcal {R}}(\mathbb {R}^{n1}\times \Sigma _{\phi /2m};\mathcal {B}(E,E^{2m}))\\ {}&\subset S^{\zeta +km_{j}\widetilde{t}+s}_{\mathcal {R}}(\mathbb {R}^{n1}\times \Sigma _{\phi /2m};\mathcal {B}(E,E^{2m})). \end{aligned}$$Therefore, it follows from (45) together with the mapping properties for parameterdependent pseudodifferential operators, Proposition 3.5, that \({\text {ev}}_{x_n}D_{x_n}^k{\text {Poi}}_j(\lambda )\) maps \(\mathscr {A}^{s,\lambda ^{1/2m},s_0}(\mathbb {R}^{n1},w,E)\) into \(\mathscr {A}^{\widetilde{t}+m_jk\zeta ,\lambda ^{1/2m},s_0}(\mathbb {R}^{n1},w,E^{2m})\) with a bound on the operator norms which is given by \(Cx_n^{[\widetilde{t}s]_+}\lambda ^{\zeta /2m} e^{c\lambda ^{1/2m}x_n}\) for all \(\widetilde{t},s\in \mathbb {R}\), \(x_n>0\) and all \(\zeta \ge 0\).

(b)
We use Proposition 4.6(a) together with Proposition 3.6. Then, we obtain
$$\begin{aligned}&\mathcal {R}_{\mathcal {B}(\mathscr {A}^s(\mathbb {R}^{n1},w;E^{2m}),\mathscr {A}^{\widetilde{t}+m_jk\zeta }(\mathbb {R}^{n1},w;E^{2m})}\big (\{x_n^{[\widetilde{t}s]_+}\lambda ^{\frac{\zeta [[\widetilde{t}s]_+m_j+k+\zeta ]_+}{2m}}e^{c\lambda ^{1/2m}x_n}\\&\qquad {\text {ev}}_{x_n}D_{x_n}^k{\text {Poi}}_j(\lambda ):\lambda \in \Sigma _{\phi },\,\lambda \ge \sigma \}\big )\\&\quad \le \mathcal {R}_{\mathcal {B}(\mathscr {A}^{\widetilde{t}[\widetilde{t}s]_+}(\mathbb {R}^{n1},w;E^{2m}),\mathscr {A}^{\widetilde{t}+m_jk\zeta }(\mathbb {R}^{n1},w;E^{2m}))}\big (\{x_n^{[\widetilde{t}s]_+}\lambda ^{\frac{\zeta [[\widetilde{t}s]_+m_j+k+\zeta ]_+}{2m}}e^{c\lambda ^{1/2m}x_n}\\&\qquad {\text {ev}}_{x_n}D_{x_n}^k{\text {Poi}}_j(\lambda ):\lambda \in \Sigma _{\phi },\,\lambda \ge \sigma \}\big )\\&\quad \le C_{\sigma }. \end{aligned}$$This shows that
$$\begin{aligned} \mathcal {R}(\{[K(\lambda )](x_n):x_n\ge 0,\,\lambda \in \Sigma _{\phi },\,\lambda \ge \sigma \})<\infty \end{aligned}$$in \(\mathcal {B}(\mathscr {A}^s(\mathbb {R}^{n1},w;E^{2m}),\mathscr {A}^{\widetilde{t}+m_jk\zeta }(\mathbb {R}^{n1},w;E^{2m}))\) it remains to show that the \(K(\lambda )\) are \(\mathcal {R}\)continuous. But this follows from the continuity statement in Proposition 4.6 (b) together with Proposition 3.6.

(c)
This follows as Part (b) but with Proposition 4.6(c) instead of Proposition 4.6(b).

(d)
This follows as Part (b) but with Proposition 4.6 (d) instead of Proposition 4.6(b).
\(\square \)
Proposition 4.8
Consider the situation of Corollary 4.7 and let \(p\in [1,\infty )\), \(r\in \mathbb {R}\). In order to shorten the formulas, we write \(\gamma _1=rp[\widetilde{t}s]_+\) and \(\gamma _2=p\zeta p[[\widetilde{t}s]_+m_j+ k+\zeta ]_+\). Suppose that \(\gamma _1>1\). Then, for all \(\sigma >0\) and all there is a constant \(C>0\) such that for all \(\lambda \in \Sigma _{\phi }\) with \(\lambda \ge \sigma \) and all \(f\in \mathscr {A}^{s}_p(\mathbb {R}^{n1},w;E)\) it holds that
Proof
We use Corollary 4.7 and obtain
for all \(f\in \mathscr {A}^{s}_p(\mathbb {R}^{n1},w;E)\). \(\square \)
Proposition 4.9
Consider the situation of Corollary 4.7 and let \(p\in [1,\infty )\), \(r\in \mathbb {R}\). Again we write \(\gamma _1=rp[\widetilde{t}s]_+\) as well as \(\gamma _2=p\zeta p[[\widetilde{t}s]_+m_j+ k+\zeta ]_+\). Suppose that \(\gamma _1>1\) and take \(\varepsilon \in (0,1+\gamma _1)\). Then, for all \(\sigma >0\) and all there is a constant \(C>0\) such that for all \(\varepsilon \ge 0\)
where the \(\mathcal {R}\)bounds are taken in \(\mathcal {B}(\mathscr {A}^{s}(\mathbb {R}^{n1},w;E),W^{k}_{p}(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^{\widetilde{t}+m_j k\zeta }(\mathbb {R}^{n1},w;E^{2m}))).\)
Proof
Let \((\varepsilon _l)_{l\in \mathbb {N}}\) be a Rademacher sequence on the probability space \((\Omega ,\mathcal {F},\mathbb {P})\) and let \(N\in \mathbb {N}\), \(\lambda _1,\ldots ,\lambda _N\in \Sigma _{\phi }\) and \(f_1,\ldots ,f_N\in \mathscr {A}^s(\mathbb {R}^{n1},w;E)\). Using Corollary 4.7 and Kahane’s contraction principle, we obtain
for all \(N\in \mathbb {N}\), all \(\lambda _1,\ldots ,\lambda _N\in \Sigma _{\phi }\) and all \(f_1,\ldots ,f_N\in \mathscr {A}^s(\mathbb {R}^{n1},w;E)\). This is the desired estimate. \(\square \)
Remark 4.10
Comparing Proposition 4.8 and Proposition 4.9, one might wonder if one can omit the \(\varepsilon \) in Proposition 4.9. After having applied Kahane’s contraction principle in the proof of Proposition 4.9, it seems like the \(\varepsilon \) is necessary. Roughly speaking, taking \((\lambda _l)_{l\in \mathbb {N}}\) such that this sequence is dense in \(\Sigma _{\phi }{\setminus }\overline{B(0,\sigma )}\) will cause \(\max _{l=1,\ldots ,N}\{\lambda _l^{\frac{\gamma _1+1}{2m}}e^{p\frac{c}{2}\lambda _l^{1/2m}x_n} x_n^{\gamma _1}\}\) to have a singularity of the form \(x_n^{1}\) at \(x_n=0\) if \(N\rightarrow \infty \). Indeed, taking \(\lambda _l^{1/2m}\) close to \(x_n^{1}\) yields that \(\lambda _l^{\frac{\gamma _1+1}{2m}}e^{p\frac{c}{2}\lambda _l^{1/2m}x_n} x_n^{\gamma _1}\) is close to \(x_n^{1} e^{pc/2}\). Hence, the integral \(\left( \int _{0}^{\infty } \max _{l=1,\ldots ,N}\{\lambda _l^{\frac{\gamma _1+1}{2m}}e^{p\frac{c}{2}\lambda _l^{1/2m}x_n} x_n^{\gamma _1}\}\,\mathrm{d}x_n\right) ^{1/p}\) will tend to \(\infty \) as \(N\rightarrow \infty \). Thus, if one wants to remove the \(\varepsilon \), it seems like one should not apply Kahane’s contraction principle as it is applied in the proof of Proposition 4.9. This can for example be avoided under a cotype assumption on E together with a restriction on p, as Proposition 4.11 shows. However, there are some cases in which the \(\varepsilon \) cannot be removed. We will show this in Proposition 4.13.
Proposition 4.11
Consider the situation of Corollary 4.7 and let \(r\in \mathbb {R}\). Suppose that E has finite cotype \(q_E\). Suppose that the assumptions of Proposition 2.14 hold true. Again, we define \(\gamma _1=rp[\widetilde{t}s]_+\) as well as \(\gamma _2=p\zeta p[[\widetilde{t}s]_+m_j+ k+\zeta ]_+\). Suppose that \(\gamma _1>1\). Then, for all \(\sigma >0\) there is a constant \(C>0\) such that
where \(\mathcal {R}\)bounds are taken in \(\mathcal {B}(\mathscr {A}^{s}(\mathbb {R}^{n1},w;E),W^{k}_{p}(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^{\widetilde{t}+m_j k\zeta }(\mathbb {R}^{n1},w;E^{2m}))).\)
Proof
Let \((\varepsilon _l)_{l\in \mathbb {N}}\) be a Rademacher sequence on the probability space \((\Omega ,\mathcal {F},\mathbb {P})\) and let \(N\in \mathbb {N}\), \(\lambda _1,\ldots ,\lambda _N\in \Sigma _{\phi }\) and \(f_1,\ldots ,f_N\in \mathscr {A}^s(\mathbb {R}^{n1},w;E)\). Using Corollary 4.7 and Proposition 2.14, we obtain
for all \(N\in \mathbb {N}\), all \(\lambda _1,\ldots ,\lambda _N\in \Sigma _{\phi }\) and all \(f_1,\ldots ,f_N\in \mathscr {A}^s(\mathbb {R}^{n1},w;E)\). This is the desired estimate. \(\square \)
Let us now see what can happen if the cotype assumption is not satisfied.
Lemma 4.12
Let \(\widetilde{\mathscr {A}}^s\) be defined by
where B(0, 1) denotes the ball with center 0 and radius 1. We endow \(\widetilde{\mathscr {A}}^s\) with the norm \(\Vert \cdot \Vert _{\mathscr {A}^s}\). Then, \(\widetilde{\mathscr {A}}^s\) is a Banach space.
Proof
Let \((u_n)_{n\in \mathbb {N}}\subset \widetilde{\mathscr {A}}^s\) be a Cauchy sequence. Since \(\mathscr {A}^s\) is a Banach space, we only have to prove that the limit \(u:=\lim _{n\rightarrow \infty }u_n\) satisfies \({\text {supp}}\mathscr {F}u\subset \overline{B(0,1)}\). But since
is continuous, it follows that
for all \(f\in \mathscr {S}(\mathbb {R}^n)\) such that \({\text {supp}} f\subset \overline{B(0,1)}^c\). This shows the assertion. \(\square \)
Proposition 4.13
Let \(\sigma >0\), \(r\in \mathbb {R}\) and \(p\in [1,2)\). For \(\lambda \ge \sigma \) and \(g\in \mathscr {A}^s\) let \(u_\lambda :={\text {Poi}}_{\Delta }(\lambda )g\) be the solution of
which is decaying in normal direction. Then, the set of operators
is not \(\mathcal {R}\)bounded.
Proof
Applying Fourier transform in tangential direction to (46), we obtain
The stable solution of this equation is given by \(e^{(\lambda +\xi '^2)^{1/2} x_n}\hat{g}(\xi ')\) so that the decaying solution of (46) is given by
Let \(\chi \subset \mathscr {D}(\mathbb {R}^{n1})\) be a test function with \(\chi (\xi ')=1\) for \(\xi '\in B(0,1)\) and \({\text {supp}}\chi \subset B(0,2)\). It holds that \(\chi (\xi ')e^{((\lambda +\xi '^2)^{1/2}\lambda ^{1/2})x_n}\) satisfies the Mikhlin condition uniformly in \(\lambda \ge \sigma \) and \(x_n\le 1\). Hence, we have that
is \(\mathcal {R}\)bounded, where \(\widetilde{\mathscr {A}^s}\) is defined as in Lemma 4.12. Using these observations together with the \(\mathcal {R}\)boundedness of \(\{\lambda ^{\frac{1+r}{2p}}{\text {Poi}}_{\Delta }(\lambda ):\lambda \ge \sigma \}\), we can carry out the following calculation: Let \((\varepsilon _l)_{l\in \mathbb {N}}\) be a Rademacher sequence on the probability space \((\Omega ,\mathcal {F},\mathbb {P})\), \(\lambda _l=(\sigma 2^l)^2\) \((l\in \mathbb {N})\), \(N\in \mathbb {N}\) and \(g_1,\ldots ,g_N\in \widetilde{\mathscr {A}}^s\). Then, we obtain
This shows that \(\widetilde{\mathscr {A}}^s\) has cotype p. However, \(\widetilde{\mathscr {A}}^s\) is a nontrivial Banach space by Lemma 4.12 and therefore its cotype must satisfy \(p\ge 2\). This contradicts \(p\in [1,2)\) and hence, \(\{\lambda ^{\frac{1+r}{2p}}{\text{ Poi }}_{\Delta }(\lambda ):\lambda \ge \sigma \}\) cannot be \(\mathcal {R}\)bounded. \(\square \)
Remark 4.14
Proposition 4.13 shows that it is not possible in general to remove the \(\varepsilon \) in Proposition 4.9. Even though we only treat the Laplacian with Dirichlet boundary conditions in Proposition 4.13, it seems like the integrability parameter in normal direction may not be smaller than the cotype of the space in tangential directions in order to obtain the sharp estimate of Proposition 4.11.
Remark 4.15
Depending on what one aims for, it can also be better to substitute \(t=\widetilde{t}+m_jk\zeta \) in Proposition 4.8, Proposition 4.9 or Proposition 4.11. In this case, we obtain the estimates
where
and where the operator norms and the \(\mathcal {R}\)bounds are taken in
If we now choose \(\zeta :=[m_j+skt]_+\), then we obtain
From this, it follows that
This yields the following result:
Theorem 4.16
Recall Assumptions 1.1 and 1.2. Let \(k\in \mathbb {N}_0\), \(r,s,t\in \mathbb {R}\) and \(p\in [1,\infty )\). Suppose that \(rp[t+km_js]_+>1\).

(a)
For all \(\sigma >0\), there is a constant \(C>0\) such that
$$\begin{aligned} \Vert {\text {Poi}}_{j}(\lambda )\Vert \le C\lambda ^{\frac{1r+p(km_j)+p[ts]_+}{2mp}} \end{aligned}$$for all \(\lambda \in \Sigma _{\phi }\) such that \(\lambda \ge \sigma \) where the operator norms are taken in the space \(\mathcal {B}(\mathscr {A}^{s}(\mathbb {R}^{n1},w;E),W^{k}_{p}(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^{t}(\mathbb {R}^{n1},w;E^{2m})))\).

(b)
Let \(\varepsilon \in (0,\gamma _1+1)\). Then, for all \(\sigma >0\) there is a constant \(C>0\) such that
$$\begin{aligned} \mathcal {R}\big (\{\lambda ^{\frac{1+r\varepsilon p(km_j)p[ts]_+}{2mp}}{\text {Poi}}_{j}(\lambda ):\lambda \in \Sigma _{\phi },\,\lambda \ge \sigma \}\big )\le C \end{aligned}$$where the \(\mathcal {R}\)bounds are taken in \(\mathcal {B}(\mathscr {A}^{s}(\mathbb {R}^{n1},w;E),W^{k}_{p}(\mathbb {R}_+, {\text {pr}}_n^{r};\mathscr {A}^{t}(\mathbb {R}^{n1},w;E^{2m})))\).

(c)
Suppose that the assumptions of Proposition 2.14 hold true. Then, for all \(\sigma >0\) there is a constant \(C>0\) such that
$$\begin{aligned} \mathcal {R}\big (\{\lambda ^{\frac{1+rp(km_j)p[ts]_+}{2mp}}{\text {Poi}}_{j}(\lambda ):\lambda \in \Sigma _{\phi },\,\lambda \ge \sigma \}\big )\le C \end{aligned}$$where the \(\mathcal {R}\)bounds are taken in \(\mathcal {B}(\mathscr {A}^{s}(\mathbb {R}^{n1},w;E),W^{k}_{p}(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^{t}(\mathbb {R}^{n1},w;E^{2m})))\).
Proof
This follows from Proposition 4.8, Proposition 4.9 and Proposition 4.11 together with the observations in Remark 4.15. \(\square \)
Corollary 4.17
Let \(k\in \mathbb {Z}\), \(s,t\in \mathbb {R}\), \(p\in (1,\infty )\) and \(r\in (1,p1)\). Suppose that \(rp[t+km_js]_+>1\) and that \(\mathscr {A}^s\) is reflexive.

(a)
For all \(\sigma >0\), there is a constant \(C>0\) such that
$$\begin{aligned} \Vert {\text {Poi}}_{j}(\lambda )\Vert \le C\lambda ^{\frac{1r+p(km_j)+p[ts]_+}{2mp}} \end{aligned}$$for all \(\lambda \in \Sigma _{\phi }\) such that \(\lambda \ge \sigma \) where the operator norms are taken in the space \(\mathcal {B}(\mathscr {A}^{s}(\mathbb {R}^{n1},w;E),W^{k}_{p}(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^{t}(\mathbb {R}^{n1},w;E^{2m})))\).

(b)
Let \(\varepsilon \in (0,\gamma _1+1)\). Then, for all \(\sigma >0\) there is a constant \(C>0\) such that
$$\begin{aligned} \mathcal {R}\big (\{\lambda ^{\frac{1+r\varepsilon p(km_j)p[ts]_+}{2mp}}{\text {Poi}}_{j}(\lambda ):\lambda \in \Sigma _{\phi },\,\lambda \ge \sigma \}\big )\le C \end{aligned}$$where the \(\mathcal {R}\)bounds are taken in \(\mathcal {B}(\mathscr {A}^{s}(\mathbb {R}^{n1},w;E),W^{k}_{p}(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^{t}(\mathbb {R}^{n1},w;E^{2m})))\).

(c)
Suppose that the assumptions of Proposition 2.14 hold true. Then, for all \(\sigma >0\) there is a constant \(C>0\) such that
$$\begin{aligned} \mathcal {R}\big (\{\lambda ^{\frac{1+rp(km_j)p[ts]_+}{2mp}}{\text {Poi}}_{j}(\lambda ):\lambda \in \Sigma _{\phi },\,\lambda \ge \sigma \}\big )\le C \end{aligned}$$where the \(\mathcal {R}\)bounds are taken in \(\mathcal {B}(\mathscr {A}^{s}(\mathbb {R}^{n1},w;E),W^{k}_{p}(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^{t}(\mathbb {R}^{n1},w;E^{2m})))\).
Proof
The case \(k\in \mathbb {N}_0\) is already contained in Theorem 4.16. Hence, we only treat the case \(k<0\). In this case, it holds that
Hence, Theorem 4.16 holds with a weight of the power \(rpk\) and smoothness 0 in normal direction. Combining this with Lemma 2.22 yields the assertion. \(\square \)
Corollary 4.18
Let \(s,t\in \mathbb {R}\), \(k\in (0,\infty ){\setminus }\mathbb {N}\), \(p\in (1,\infty )\), \(r\in (1,p1)\) and \(q\in [1,\infty ]\). We write \(k=\overline{k}\theta \) with \(\overline{k}\in \mathbb {N}_0\) and \(\theta \in [0,1)\). Suppose that \(rp[t+\overline{k}m_js]_+>1\).

(a)
For all \(\sigma >0\) there is a constant \(C>0\) such that for all \(\lambda \in \Sigma _{\phi }\) with \(\lambda \ge \sigma \) we have the estimate
$$\begin{aligned} \Vert {\text {Poi}}_{j}(\lambda )\Vert \le C\lambda ^{\frac{1r+p(km_j)+p[ts]_+}{2mp}} \end{aligned}$$where the norm is taken in \(\mathcal {B}(\mathscr {A}^{s}(\mathbb {R}^{n1},w;E),H^{k}_{p}(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^{t}(\mathbb {R}^{n1},w;E^{2m})))\) or in \(\mathcal {B}(\mathscr {A}^{s}(\mathbb {R}^{n1},w;E),B^{k}_{p,q}(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^{t}(\mathbb {R}^{n1},w;E^{2m}))).\)

(b)
Let \(\varepsilon \in (0,\gamma _1+1)\) and let E be a UMD space. Then, for all \(\sigma >0\) there is a constant \(C>0\) such that
$$\begin{aligned} \mathcal {R}\big (\{\lambda ^{\frac{1+r\varepsilon p(km_j)p[ts]_+}{2mp}}{\text {Poi}}_{j}(\lambda ):\lambda \in \Sigma _{\phi },\,\lambda \ge \sigma \}\big )\le C \end{aligned}$$where the \(\mathcal {R}\)bounds are taken in \(\mathcal {B}(\mathscr {A}^{s}(\mathbb {R}^{n1},w;E),H^{k}_{p}(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^{t}(\mathbb {R}^{n1},w;E^{2m})))\).

(c)
Suppose that the assumptions of Proposition 2.14 hold true and let E be a UMD space. Then, for all \(\sigma >0\) there is a constant \(C>0\) such that
$$\begin{aligned} \mathcal {R}\big (\{\lambda ^{\frac{1+rp(km_j)p[ts]_+}{2mp}}{\text {Poi}}_{j}(\lambda ):\lambda \in \Sigma _{\phi },\,\lambda \ge \sigma \}\big )\le C \end{aligned}$$where the \(\mathcal {R}\)bounds are taken in \(\mathcal {B}(\mathscr {A}^{s}(\mathbb {R}^{n1},w;E),H^{k}_{p}(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^{t}(\mathbb {R}^{n1},w;E^{2m})))\).
Proof
This follows from Theorem 4.16 together with real and complex interpolation, see [37, Proposition 6.1, (6.4)] together with a retraction–coretraction argument, [31, Proposition 5.6] and Proposition 2.3. Note that the power weight \({\text {pr}}_n^{r}\) is an \(A_p\) weight, since \(r\in (1,p1)\), see [18, Example 9.1.7]. \(\square \)
Lemma 4.19
Let \(p\in (1,\infty )\), \(r\in (1,p1)\) and \(w_r(x):=x^r\) for \(x\in \mathbb {R}_+\). Then, the linear operator
is bounded.
Proof
In [17, Appendix I.3] this was shown for \(r=0\) using Schur’s Lemma. We adjust the same proof to the weighted setting.
Let \(K(x,y):=\frac{1}{y^r(x+y)}\). Then, we may write
We further define the transpose operator
By the lemma in [17, Appendix I.2], it is sufficient to find \(C>0\) and \(u,v:\mathbb {R}_+\rightarrow (0,\infty )\) such that
where \(1=\frac{1}{p}+\frac{1}{p'}\). Similar to [17, Appendix I.3], we choose
and
Note that \(r\in (1,p1)\) ensures that both integrals are finite since
and
With this choice, we obtain
and
This shows the assertion. \(\square \)
From now on, we use the notation
for \(p\in (1,\infty )\) \(k,\widetilde{k}\in [0,\infty )\), \(s\in \mathbb {R}\), \(r\in (1,p1)\) and \(I\in \{\mathbb {R}_+,\mathbb {R}\}\). Moreover, we endow both spaces with the norm
respectively, so that \((D^{k,\widetilde{k},s}_{r}(I),\Vert \cdot \Vert _{D^{k,\widetilde{k},s}_{r}(I)})\) and \((D^{k,2m,s}_{r,B}(I),\Vert \cdot \Vert _{D^{k,2m,s}_{r,B}(I)})\) are a Banach spaces.
Proposition 4.20
Let \(s\in \mathbb {R}\), \(p\in (1,\infty )\), \(r\in (1,p1)\) and \(k\in \mathbb {N}_0\) such that \(k\le \min \{\beta _n:\beta \in \mathbb {N}_0^n,\beta =m_j,b_\beta ^j\ne 0\}\). Let further \(u\in D^{k,2m,s}_{r}(\mathbb {R}_+)\) and \(\theta \in [0,1]\) such that \(2m\theta \in \mathbb {N}_0\). Then, for all \(\sigma >0\) there is a constant \(C>0\) such that we have the estimate
where the \(\mathcal {R}\)bound is taken in
Proof
The proof uses an approach which is sometimes referred to as Volevichtrick. This approached is already standard in the treatment of parameterelliptic and parabolic boundary value problems in classical Sobolev spaces, see for example Lemma 7.1 in [8] and how it is used to obtain the results therein. The idea is to use the fundamental theorem of calculus in normal directions and to apply the boundedness of the operator
from Lemma 4.19. Using these ideas in connection with Corollary 4.7, we can carry out the following computation: Let \((\varepsilon _n)_{n\in \mathbb {N}}\) be a Rademacher sequence on the probability space \((\Omega ,\mathcal {F},\mathbb {P})\), \(N\in \mathbb {N}\), \(\lambda _1,\ldots ,\lambda _N\) and \(u_1,\ldots ,u_N\in H^{k}(\mathbb {R}_+,{\text {pr}}_n^r;\mathscr {A}^{s+2m})\cap H^{k+2m}(\mathbb {R}_+,{\text {pr}}_n^r;\mathscr {A}^{s})\). Then, we obtain
In order to keep the notation shorter, we continue the computation with just the first of the four terms. The steps we would have to carry out for the other three terms, are almost exactly the same with just minor changes on the parameters. We obtain
From the second to the third line, we used Corollary 4.7, from the third to the fourth line we used Lemma 4.19 and in the last step we used that \(k\le \min \{\beta _n:\beta \in \mathbb {N}_0^n,\beta =m_j,b_\beta ^j\ne 0\}\). The other three terms above can either also be estimated by
or by
if the derivative \(\partial _{y_n}\) is taken of \(g_j\) instead of \({\text {Poi}}_j\). Since \(m_j< 2m\), we obtain the estimate
\(\square \)
Resolvent estimates
Now we study the resolvent problem, i.e., (11) with \(g_j=0\). We show that the corresponding operator is \(\mathcal {R}\)sectorial and thus has the property of maximal regularity in the UMD case. But first, we prove the \(\mathcal {R}\)sectoriality in \(\mathbb {R}^n\).
Theorem 5.1
Let \(k,s\in \mathbb {R}\). Suppose that E satisfies Pisier’s property \((\alpha )\) if one of the scales \(\mathscr {A}, \mathscr {B}\) belongs to the Bessel potential scale. Then, for all \(\sigma >0\) the realization of \(A(D)\sigma \) in \(\mathscr {B}^k(\mathscr {A}^s)\) given by
is \(\mathcal {R}\)sectorial in \(\Sigma _{\phi }\) and there is a constant \(C>0\) such that the estimate
holds for all \(\lambda \in \Sigma _{\phi }\).
Proof
It was shown in [22, Lemma 5.10] that
holds for all \(\alpha \in \mathcal {B}(E)\) and all \((s_1,s_2,s_3)\in \mathbb {R}^3\). Note that the authors of [22] use a different convention concerning the sign of A. Taking \((s_1,s_2,s_3)=(0,1,0)\) together with the iterated \(\mathcal {R}\)bounded versions of Mikhlin’s theorem, Proposition 3.8, show that
Thus, it only remains to prove that \(\mathscr {B}^{k+2m}(\mathscr {A}^s)\cap \mathscr {B}^k(\mathscr {A}^{s+2m})\) is the right domain and that (51) holds. But (52) with \((s_1,s_2,s_3)=(1,0,1)\) shows that
so that
uniformly in \(\lambda \in \Sigma _{\phi }\). Now the assertion follows from Proposition 3.11. \(\square \)
Remark 5.2

(a)
If both \(\mathscr {A}\) and \(\mathscr {B}\) belong to the Bessel potential scale, then Theorem 5.1 can be improved in the following way: Lemma 3.9 together with Fubini’s theorem yields that
$$\begin{aligned} \langle D' \rangle ^{s}\langle D_n\rangle ^{k} L_p(\mathbb {R}^n_x,w_0\otimes w_1;E){\mathop {\rightarrow }\limits ^{\eqsim }} H^k_p(\mathbb {R}_{x_n},w_1;H^{s}_p(\mathbb {R}^{n1}_{x'},w_0,E)). \end{aligned}$$Moreover, we have
$$\begin{aligned}&\langle D' \rangle ^{s}\langle D_n\rangle ^{k} H^{2m}_p(\mathbb {R}^n_x,w_0\otimes w_1;E)\\&\quad =H^{k+2m}_p(\mathbb {R}_{x_n},w_1;H^{s}_p(\mathbb {R}^{n1}_{x'},w_0,E))\cap H^{k}_p(\mathbb {R}_{x_n},w_1;H^{s+2m}_p(\mathbb {R}^{n1}_{x'},w_0,E)). \end{aligned}$$But it is well known that the realization of A(D) even admits a bounded \(\mathcal {H}^{\infty }\)calculus in \( L_p(\mathbb {R}^n_x,w_0\otimes w_1;E)\) with domain \(H^{2m}_p(\mathbb {R}^n_x,w_0\otimes w_1;E)\) no matter whether Pisier’s property \((\alpha )\) is satisfied or not (recall that the weights in the Bessel potential case are in \(A_p\)). This can be derived by using the weighted versions of Mikhlin’s theorem in the proof of [8, Theorem 5.5]. Since \(\langle D' \rangle ^{s}\langle D_n\rangle ^{k}\) is an isomorphism, A(D) also admits a bounded \(\mathcal {H}^{\infty }\)calculus in \(H^k_p(\mathbb {R}_{x_n},w_1;H^{s}_p(\mathbb {R}^{n1}_{x'},w_0,E))\) with domain
$$\begin{aligned} H^{k+2m}_p(\mathbb {R}_{x_n},w_1;H^{s}_p(\mathbb {R}^{n1}_{x'},w_0,E))\cap H^{k}_p(\mathbb {R}_{x_n},w_1;H^{s+2m}_p(\mathbb {R}^{n1}_{x'},w_0,E)), \end{aligned}$$even if Pisier’s property \((\alpha )\) is not satisfied.

(b)
In the proof of Theorem 5.1, one can also use Proposition 3.7 instead of Proposition 3.8 if one only needs sectoriality. In this case, we can again drop the assumption that E has to satisfy Pisier’s property \((\alpha )\).
Remark 5.3
For the \(\mathcal {R}\)sectoriality of the boundary value problem, which we are going to derive in Theorem 5.4, we have a restriction on the regularity in normal direction. It may not be larger than \(k_{max}\in \mathbb {N}_0\) which we define by
i.e., \(k_{\max }\) is the minimal order in normal direction of all nonzero differential operators which appear in any of the boundary operators
Therefore, if there is a nonzero term with no normal derivatives in one of the \(B_1,\ldots , B_n\), then \(k_{\max }=0\). In particular, it holds that \(k_{\max }=0\) if one of the operators \(B_1,\ldots , B_n\) corresponds to the Dirichlet trace at the boundary. This includes the case of the Dirichlet Laplacian. On the other hand, for the Neumann Laplacian we have \(k_{\max }=1\). In this sense, our results will be analogous to the usual isotropic case: We will be able to derive \(\mathcal {R}\)sectoriality of the Neumann Laplacian in \(L_{p}(\mathbb {R}_+,;\mathscr {A}^s)\) and \(H_{p}^1(\mathbb {R}_+,;\mathscr {A}^s)\), but for the Dirichlet Laplacian we can only derive it in \(L_{p}(\mathbb {R}_+,;\mathscr {A}^s)\).
Theorem 5.4
Recall Assumptions 1.1 and 1.2. Suppose that E satisfies Pisier’s property \((\alpha )\). Let \(k\in [0,k_{\max }]\cap \mathbb {N}_0\), \(p\in (1,\infty )\), \(r\in (1,p1)\) and \(s\in \mathbb {R}\). We define the operator
on the domain
Then, for all \(\sigma >0\) we have that \(A_B\sigma \) is \(\mathcal {R}\)sectorial in \(\Sigma _{\phi }\). Moreover, there is a constant C such that for all \(\lambda \in \Sigma _\phi \) with \(\lambda \ge \sigma \) we have the estimate
In particular, it holds that \(D^{k,2m,s}_{r,B}(\mathbb {R}_+)=D(A_B)\).
Proof
Consider
where \(\lambda \in \Sigma _{\phi }\), \(f\in H_{p}^k(\mathbb {R}_+,{\text {pr}}_n^r;\mathscr {A}^s)\), \((\lambda A(D))_{\mathbb {R}^n}^{1}\) denotes the resolvent on \(\mathbb {R}^n\) as in Theorem 5.1, \(r_+\) denotes the restriction of a distribution on \(\mathbb {R}^n\) to \(\mathbb {R}^n_+\) and \(\mathscr {E}\) denotes an extension operator mapping \(H_{p}^t(\mathbb {R}_+,{\text {pr}}_n^r;\mathscr {A}^s)\) into \(H_{p}^t(\mathbb {R},{\text {pr}}_n^r;\mathscr {A}^s)\) for arbitrary \(t\in \mathbb {R}\). \(\mathscr {E}\) can for example be chosen to be Seeley’s extension, see [43].
Combining Proposition 4.20 with \(\theta =1\) and Theorem 5.1 yields that the set
is \(\mathcal {R}\)bounded. Next, we show that \(R(\lambda )\) is indeed the resolvent so that we obtain \(\mathcal {R}\)sectoriality. To this end, we show that
is a bijection with inverse \(\lambda A_B\). Let \(f\in H_{p}^k(\mathbb {R}_+,{\text {pr}}_n^r;\mathscr {A}^s)\). Since
by construction, it follows from applying \(B_j(D)\) to (54) that \({\text {tr}}_{x_n=0}B_j(D)R(\lambda )f=0\) for all \(j=1,\ldots ,m\). Moreover, we have \((\lambda A(D)){\text {pr}}_1{\text {Poi}}_j(\lambda )=0\) by the definition of \({\text {Poi}}_j(\lambda )\). This shows that
and therefore
But it is already contained in (55) that \( \lambda R(\lambda )f\in H_{p}^k(\mathbb {R}_+,{\text {pr}}_n^r;\mathscr {A}^s)\). This shows that \(R(\lambda )\) maps \(H_{p}^k(\mathbb {R}_+,{\text {pr}}_n^r;\mathscr {A}^s)\) into \(D(A_B)\). In addition, (56) shows the injectivity of \(R(\lambda )\). But also
is injective as a consequence of the Lopatinskii–Shapiro condition. Hence, there is a mapping
such that \(T(\lambda )(\lambda A(D))={\text {id}}_{D(A_B)}\). But from this, we obtain
so that
i.e., \(R(\lambda )=(\lambda A_B)^{1}\) is indeed the resolvent and we obtain the \(\mathcal {R}\)sectoriality.
It remains to show that the estimate (53) holds. To this end, we can again use the formula for the resolvent (54) in connection with Proposition 4.20 (\(\theta =0\)) and Theorem 5.1. Then, we obtain for \(u\in D(A_B)\) that
This also implies that \(D(A_B)=D^{k,2m,s}_{r,B}(\mathbb {R}_+)\). Indeed, it follows from Proposition 3.11 that
for \(u\in D^{k,2m,s}_{r,B}(\mathbb {R}_+)\). Hence, we have
\(\square \)
Remark 5.5
If E is a UMD space, then the results of Theorem 5.4 also hold for \(k\in [0,k_{\max }]\), i.e., k does not have to be an integer. This follows from complex interpolation, see Proposition 2.3 and [31, Proposition 5.6]. Note that unlike in Proposition 2.3 we can not replace the UMD space E by a Kconvex Banach space, since the UMD property is needed for the complex interpolation of Bessel potential spaces in [31, Proposition 5.6]. Moreover, in Assumption 1.2 we require E to be a UMD space if one of the spaces in tangential or normal direction belongs to the Bessel potential scale.
Two canonical applications of Theorem 5.4 are Dirichlet and Neumann Laplacian.
Corollary 5.6
Let \(E=\mathbb {C}\), \(p\in (1,\infty )\), \(r\in (1,p1)\) and \(s\in \mathbb {R}\).

(a)
We consider the Laplacian with Dirichlet boundary conditions
$$\begin{aligned} \Delta _D:L_p(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^s)\supset D(\Delta _D)\rightarrow L_p(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^s) \end{aligned}$$on the domain \(D(\Delta _D)\) given by
$$\begin{aligned} D(\Delta _D):=\{u\in H^{2}_p(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^s)\cap L_p(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^{s+2m}): {\text {tr}}_{x_n=0}u=0\}. \end{aligned}$$For all \(\sigma >0\), it holds that \(\Delta _D\sigma \) is \(\mathcal {R}\)sectorial in any sector \(\Sigma _{\psi }\) with \(\psi \in (0,\pi )\).

(b)
Let \(k\in \{0,1\}\). We consider the Laplacian with Neumann boundary conditions
$$\begin{aligned} \Delta _N:H^k_p(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^s)\supset D(\Delta _D)\rightarrow H^k_p(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^s) \end{aligned}$$on the domain \(D(\Delta _N)\) given by
$$\begin{aligned} D(\Delta _N):=\{u\in H^{k+2}_p(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^s)\cap H^k_p(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^{s+2m}): {\text {tr}}_{x_n=0}\partial _n u=0\}. \end{aligned}$$For all \(\sigma >0\), it holds that \(\Delta _N\sigma \) is \(\mathcal {R}\)sectorial in any sector \(\Sigma _{\psi }\) with \(\psi \in (0,\pi )\).
Proof
Both statements follow directly from Theorem 5.4. \(\square \)
Application to boundary value problems
Theorem 6.1
Let \(s_1,\ldots ,s_m\in \mathbb {R}\) and \(g_j\in \mathscr {A}^{s_j}\) \((j=1,\ldots ,m)\). Then, the equation
has a unique solution \(u\in \mathscr {S}'(\mathbb {R}^n_+;E)\) for all \(\lambda \in \Sigma _{\phi }\). This solution satisfies
Moreover, for all \(\sigma >0\), \(t,r\in \mathbb {R}\), \(p\in [1,\infty )\) and \(k\in \mathbb {N}_0\) such that \(rp[t+km_js_j]_+>1\) for all \(j=1,\ldots ,m\) there is a constant \(C>0\) such that
for all \(\lambda \in \Sigma _{\phi }\) with \(\lambda \ge \sigma \)
Proof
All the assertions follow directly from Theorem 4.16 (a). \(\square \)
Remark 6.2

(a)
Note that the smoothness parameters k and t of the solution in Theorem 6.1 can be chosen arbitrarily large if one accepts a strong singularity at the boundary. On the other hand, if t is chosen small enough, then the singularity can be removed.

(b)
In Theorem 6.1, we can take \(k=1+\max _{j=1,\ldots ,m}m_j\), \(r=0\) and t such that \(rp[t+km_js_j]_+>1\) for all \(j=1,\ldots ,m\). This means that the boundary conditions \(B_j(D)u=g_j\) can be understood in a classical sense. Indeed, [37, Proposition 7.4] in connection with [37, Proposition 3.12] shows that
$$\begin{aligned} W^k_p(\mathbb {R}_+;\mathscr {A}^t)\hookrightarrow BUC^{k1}(\mathbb {R}_+;\mathscr {A}^t). \end{aligned}$$Hence, \({\text {tr}}_{x_n=0}B_j(D)u\) can be defined in the classical sense.

(c)
One can again use interpolation techniques or one can directly work with Corollary 4.18 in order to obtain results for the Bessel potential or the Besov scale in normal direction. Note however that this comes with some restrictions on the weight \({\text {pr}}_n^r\).
Theorem 6.3
As defined in Remark 5.3 we set
Let \(s\in \mathbb {R}\), \(p\in (1,\infty )\), \(r\in (1,p1)\), \(k\in [0,k_{\max }]\cap \mathbb {N}_0\) and \(f\in W^k_p(\mathbb {R}_+,{\text {pr}}_n^r;\mathscr {A}^s)\). Let further \(s_j\in (s+2m+km_j\frac{1+r}{p},\infty )\) and \(g_j\in \mathscr {A}^{s_j}\) \((j=1,\ldots ,m)\). Then, the equation
has a unique solution
and for all \(\sigma >0\) there is a constant \(C>0\) such that for all \(\lambda \in \Sigma _{\phi }\) with \(\lambda \ge \sigma \) we have the estimate
Proof
By Theorem 5.4, we have a unique solution
to the equation
which satisfies the estimate
By Remark 5.2(b), we do not need Pisier’s property \((\alpha )\) for this. Moreover, by Theorem 6.1 the unique solution \(u_2\) to the equation
satisfies the estimates
Note that by our choice of \(s_j\), we have
for \(s+2m+km_j\frac{1+r}{p}<s_j\le s+2m+km_j\) and
for \(s_j\ge s+2m+km_j\). The unique solution u of the full system is given by \(u=u_1+u_2\) and therefore summing up yields the assertion. \(\square \)
Theorem 6.4
Recall from Assumption 1.2 that \(\mathscr {C}\) stands for the Bessel potential, Besov, Triebel–Lizorkin or one of their dual scales and that we impose some conditions on the corresponding parameters. Let \(\sigma >0\), \(s_1,\ldots ,s_m,l_1,\ldots ,l_m\in \mathbb {R}\) and \(g_j\in \mathscr {C}^{l_j}(\mathbb {R}_+,w_2;\mathscr {A}^{s_j})\). Let further
the set of admissible parameters. Then, the equation
has a unique solution \(u\in \mathscr {S}'(\mathbb {R}\times \mathbb {R}^n_+;E)\). This solution satisfies
and for all \((r,t_0,l,k,p)\in \bigcap _{j=1}^mP_j\) there is a constant \(C>0\) independent of \(g_1,\ldots ,g_m\) such that
Proof
We apply the Fourier transform \(\mathscr {F}_{t\mapsto \tau }\) in time to (61) and obtain
Hence, the solution of (61) is given by
From Theorem 4.16 together with Lemma 2.5, it follows that
for arbitrary \(\varepsilon >0\) if the parameters satisfy \(rp[{t_0}+km_js_j]_+>1\). Hence, the parameterindependent version of Proposition 3.6 (as in Remark 3.3 (g)) yields
as well as the estimate
But the condition
implies
if \(\varepsilon >0\) is chosen small enough. Therefore, we obtain
and the estimate
if \((r,{t_0},l,k,p)\in P_j\). Taking the sum over all \(j=1,\ldots ,m\) yields the assertion. \(\square \)
Remark 6.5

(a)
If \(\mathscr {C}\) does not stand for the Bessel potential scale or if \(p>\max \{p_0,q_0,q_E\}\) where \(q_E\) denotes the cotype of E, then the parameter set \(P_j\) in Theorem 6.4 can potentially be chosen slightly larger, namely
$$\begin{aligned} P_j=\{(r,{t_0},l,k,p): {t_0},l\in \mathbb {R},&r\in (1,\infty ).k\in \mathbb {N}_0,p\in [1,\infty ),\\&rp[{t_0}+km_js_j]_+>1,\\&r2mp(ll_j)p(km_j)p[{t_0}s_j]_+\ge 1\}. \end{aligned}$$Indeed, if \(p>\max \{p_0,q_0,q_E\}\), then
$$\begin{aligned}{}[\tau \mapsto {\text {Poi}}_j(\sigma +i\tau )]\in S^{\frac{1r+p(km_j)+p[{t_0}s_j]_+}{2mp}}_{\mathcal {R}}(\mathbb {R},\mathcal {B}(\mathscr {A}^{s_j},W^k_p(\mathbb {R}_+,{\text {pr}}_n^r;\mathscr {A}^{t_0}))) \end{aligned}$$by Theorem 4.16. If one continues the proof of Theorem 6.4 with this information, then one will find that the \(\varepsilon \) in (64) can be removed so that the inequality (63) does not have to be strict. The same holds for Besov and Triebel–Lizorkin scale, as in this case
$$\begin{aligned}{}[\tau \mapsto {\text {Poi}}_j(\sigma +i\tau )]\in S^{\frac{1r+p(km_j)+p[{t_0}s_j]_+}{2mp}}(\mathbb {R},\mathcal {B}(\mathscr {A}^{s_j},W^k_p(\mathbb {R}_+,{\text {pr}}_n^r;\mathscr {A}^{t_0}))) \end{aligned}$$is good enough and holds without restriction on p.

(b)
As in Remark 6.2, we can take the trace \({\text {tr}}_{x_n=0}B_j(D)u\) in the classical sense if k is large enough and if l and \({t_0}\) are small enough.

(c)
Again, we can use interpolation techniques to extend the result in Theorem 6.4 to the case in which the Bessel potential or Besov scale are taken in normal direction. However, this can only be done for \(r\in (1,p1)\).
Theorem 6.6
Let \(\alpha \in (0,1)\), \(T>0\), \(s,t_0\in \mathbb {R}\), \(p\in (1,\infty )\), \(r\in (1,p1)\), \(\mu \in (1,\infty )\), \(v_{\mu }(t)=t^{\mu }\) \((t\in (0,T])\) and \(s_1,\ldots ,s_m,l_1,\ldots ,l_m\in \mathbb {R}\). Assume that \(\mu \in (1,q_2)\) if \(\mathscr {C}\) belongs to the Bessel potential scale. Let again
and \(k\in [0,k_{\max }]\cap \mathbb {N}_0\). We further assume that
for all \(j=1,\ldots ,m\). Suppose that E satisfies Pisier’s property \((\alpha )\).
Then, for all \(u_0\in H_p^k(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^{t_0})\), all \(\alpha \)Hölder continuous \(f\in C^{\alpha }((0,T);H_p^k(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^{t_0}))\) with \(\alpha \in (0,1)\) and \(g_j\in \mathscr {C}^{l_j}([0,T],v_{\mu };\mathscr {A}^{s_j})\) there is a unique solution u of the equation
which satisfies
for all \(\delta >0\) and some \(l^*\in \mathbb {R}\).
Proof
First, we substitute \(v(t,\,\cdot \,)=e^{\sigma t}u(t,\,\cdot \,)\) for some \(\sigma >0\). Since we work on a bounded time interval [0, T], this multiplication is an automorphism of all the spaces we consider in this theorem. Hence, it suffices to look for a solution of the equation
where \(\widetilde{f}(t)=e^{\sigma t} f(t)\) and \(\widetilde{g}_j(t)=e^{\sigma t} g_j(t)\). We split v into two parts \(v=r_{[0,T]}v_1+v_2\) which are defined as follows: \(v_1\) solves the equation
where \(\mathscr {E}\) is a suitable extension operator and \(r_{[0,T]}\) is the restriction to [0, T]. Moreover, \(v_2\) is the solution of
For \(v_1\), it follows from Theorem 6.4 that
and for all \((r',t',l',k',p')\in \bigcap _{j=1}^mP_j\) there is a constant \(C>0\) independent of \(g_1,\ldots ,g_m\) such that
In particular, if \(l'>\frac{1+\mu }{q_2}\) we have \(v_1\in BUC([0,T];W^{k'}_{p'}(\mathbb {R}_+,{\text {pr}}_n^{r'};\mathscr {A}^{t'}))\) so that we can take the time trace \(v_1(0)\), see [37, Proposition 7.4]. If condition (65) is satisfied, then we can choose \(l>\frac{1+\mu }{q_2}\) small enough such that \((r,t_0,l,k,p)\in \bigcap _{j=1}^mP_j\). Hence, under this condition we obtain
is well defined. But since we have \(r\in (1,p1)\), it follows from Theorem 5.4 that \(A_B\sigma \) generates a holomorphic \(C_0\)semigroup \((T(t))_{t\ge 0}\) in \(W^{k}_p(\mathbb {R}_+,{\text {pr}}_n^r;\mathscr {A}^{t_0})\). In addition, \(v_2\) is given by
It follows from standard semigroup theory that
where
see for example [39, Chapter 4, Corollary 3.3]. Since also \(v_1\in BUC([0,T];W^{k}_{p}(\mathbb {R}_+,{\text {pr}}_n^{r};\mathscr {A}^{t_0}))\), we obtain
and, since \(v_1\) is arbitrarily smooth away from the boundary, also
for all \(\delta >0\). Concerning the value of \(l^*\), we note that if \((r,{t_0},l,k,p)\in \bigcap _{j=1}^mP_j\), then also \((r,{t_0}2m,l1,k+2m,p)\in \bigcap _{j=1}^mP_j\). Hence, we just have to take \(l^*\le l1\) such that
Altogether, this finishes the proof. \(\square \)
Remark 6.7
While we can treat arbitrary space regularity of the boundary data in Theorem 6.6, it is important to note that (65) poses a restriction on the time regularity of the boundary data. Even if we take \({t_0}\le \min _{j=1,\ldots ,m} s_j\), \(k=0\), r very close to \(p1\) and \(q_2\) very large, we still have the restriction
In the case of the heat equation with Dirichlet boundary conditions, this would mean that the boundary data needs to have a time regularity strictly larger than \(\frac{1}{2}\). Having boundary noise in mind, it would be interesting to go beyond this border. It would need further investigation whether this is possible or not. In fact, (65) gives a restriction on the time regularity only because we do not allow \(r\ge p1\), otherwise we could just take r very large and allow arbitrary regularity in time. The reason why we have to restrict to \(r<p1\) is that we want to apply the semigroup to the time trace \(v_1(0)\). However, until now we can only do this for \(r\in (1,p1)\). Hence, if one wants to improve Theorem 6.6 to the case of less time regularity, there are at least two possible directions:

(1)
One could try to generalize Theorem 5.4 to the case in which \(r>p1\). In fact, in [32] Lindemulder and Veraar derive a bounded \(\mathcal {H}^{\infty }\)calculus for the Dirichlet Laplacian in weighted \(L_p\)spaces with power weights of order \(r\in (1,2p1){\setminus }\{p1\}\). It would be interesting to see whether their methods also work for \(L_p(\mathbb {R}_+,{\text {pr}}^r;\mathscr {A}^s)\) with \(r\in (p1,2p1)\).

(2)
One could try to determine all initial data \(u_0\) which is given by \(u_0=\widetilde{u}_0+v_1(0)\) where \(\widetilde{u}_0\in H^k_p(\mathbb {R}_+,{\text {pr}}_n^r;\mathscr {A}^t)\) and \(v_1\) is the solution to
$$\begin{aligned} \partial _t v_1+\sigma v_1 A(D) v_1&=0\quad \;\text {in }\mathbb {R}\times \mathbb {R}^{n}_+,\\ B_j(D)v_1&=\widetilde{g}_j\quad \text {in }\mathbb {R}\times \mathbb {R}^{n}_+, \end{aligned}$$for some \(\widetilde{g}_j\in \mathscr {C}^{l_j}(\mathbb {R},v_{\mu };\mathscr {A}^{s_j})\) satisfying \(\widetilde{g}_j\vert _{[0,T]}=g_j\). For such initial data, the initial boundary value problem can be solved with our methods for arbitrary time regularity of the boundary data. Indeed, in this case we just have to take the right extension of \(g_j\) so that \(u_0v_1(0)\in H^k_p(\mathbb {R}_+,{\text {pr}}^r;\mathscr {A}^t)\). Then, we can just apply the semigroup in order to obtain the solution of (67).
References
E. Alòs and S. Bonaccorsi. Stochastic partial differential equations with Dirichlet whitenoise boundary conditions. Ann. Inst. H. Poincaré Probab. Statist., 38(2):125–154, 2002.
H. Amann. NavierStokes equations with nonhomogeneous Dirichlet data. J. Nonlinear Math. Phys., 10(suppl. 1):1–11, 2003.
A. Anop, R. Denk, and A. Murach. Elliptic problems with rough boundary data in generalized sobolev spaces. arXiv preprintarXiv:2003.05360, 2020.
S. Aziznejad and J. Fageot. Wavelet Analysis of the Besov Regularity of Lévy White Noises. arXiv preprintarXiv:1801.09245v2, 2020.
Z. Brzeźniak, B. Goldys, S. Peszat, and F. Russo. Second order PDEs with Dirichlet white noise boundary conditions. J. Evol. Equ., 15(1):1–26, 2015.
G. Da Prato and J. Zabczyk. Evolution equations with whitenoise boundary conditions. Stochastics Stochastics Rep., 42(34):167–182, 1993.
R. Denk, G. Dore, M. Hieber, J. Prüss, and A. Venni. New thoughts on old results of R. T. Seeley. Math. Ann., 328(4):545–583, 2004.
R. Denk, M. Hieber, and J. Prüss. \(\mathscr {R}\)boundedness, Fourier multipliers and problems of elliptic and parabolic type. Mem. Amer. Math. Soc., 166(788):viii+114, 2003.
R. Denk, M. Hieber, and J. Prüss. Optimal \(L^p\)\(L^q\)estimates for parabolic boundary value problems with inhomogeneous data. Math. Z., 257(1):193–224, 2007.
R. Denk and T. Krainer. \(\mathscr {R}\)boundedness, pseudodifferential operators, and maximal regularity for some classes of partial differential operators. Manuscripta Math., 124(3):319–342, 2007.
R. Denk, J. Prüss, and R. Zacher. Maximal \(L_p\)regularity of parabolic problems with boundary dynamics of relaxation type. J. Funct. Anal., 255(11):3149–3187, 2008.
G. Dore and A. Venni. On the closedness of the sum of two closed operators. Math. Z., 196(2):189–201, 1987.
G. Dore and A. Venni. \(H^\infty \) functional calculus for an elliptic operator on a halfspace with general boundary conditions. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 1(3):487–543, 2002.
X. T. Duong. \(H_\infty \) functional calculus of elliptic operators with \(C^\infty \) coefficients on \(L^p\) spaces of smooth domains. J. Austral. Math. Soc. Ser. A, 48(1):113–123, 1990.
S. Fackler, T. P. Hytönen, and N. Lindemulder. Weighted estimates for operatorvalued fourier multipliers. Collect. Math. 71(3):511–548, 2020.
J. Fageot, A. Fallah, and M. Unser. Multidimensional Lévy white noise in weighted Besov spaces. Stochastic Process. Appl., 127(5):1599–1621, 2017.
L. Grafakos. Classical Fourier analysis, volume 249 of Graduate Texts in Mathematics. Springer, New York, second edition, 2008.
L. Grafakos. Modern Fourier analysis, volume 250 of Graduate Texts in Mathematics. Springer, New York, second edition, 2009.
G. Grubb. Nonhomogeneous Dirichlet NavierStokes problems in low regularity \(L_p\) Sobolev spaces. J. Math. Fluid Mech., 3(1):57–81, 2001.
B. H. Haak, M. Haase, and P. C. Kunstmann. Perturbation, interpolation, and maximal regularity. Adv. Differential Equations, 11(2):201–240, 2006.
M. Hieber and J. Prüss. Heat kernels and maximal \(L^p\)\(L^q\) estimates for parabolic evolution equations. Comm. Partial Differential Equations, 22(910):1647–1669, 1997.
F. Hummel and N. Lindemulder. Elliptic and parabolic boundary value problems in weighted function spaces. arXiv preprintarXiv:1911.04884v1, 2019.
T. Hytönen, J. van Neerven, M. Veraar, and L. Weis. Analysis in Banach spaces. Vol. I. Martingales and LittlewoodPaley theory, volume 63 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer, Cham, 2016.
T. Hytönen, J. van Neerven, M. Veraar, and L. Weis. Analysis in Banach spaces. Vol. II, volume 67 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer, Cham, 2017. Probabilistic methods and operator theory.
T. Hytönen and M. Veraar. \(R\)boundedness of smooth operatorvalued functions. Integral Equations Operator Theory, 63(3):373–402, 2009.
M. Kabanava. Tempered Radon measures. Rev. Mat. Complut., 21(2):553–564, 2008.
M. Kaip and J. Saal. The permanence of \(\mathscr {R}\)boundedness and property\((\alpha )\) under interpolation and applications to parabolic systems. J. Math. Sci. Univ. Tokyo, 19(3):359–407, 2012.
A. Kufner and B. Opic. How to define reasonably weighted Sobolev spaces. Comment. Math. Univ. Carolin., 25(3):537–554, 1984.
P. C. Kunstmann and L. Weis. Maximal \(L_p\)regularity for parabolic equations, Fourier multiplier theorems and \(H^\infty \)functional calculus. In Functional analytic methods for evolution equations, volume 1855 of Lecture Notes in Math., pages 65–311. Springer, Berlin, 2004.
N. Lindemulder. Second order operators subject to dirichlet boundary conditions in weighted triebellizorkin spaces: Parabolic problems. arXiv preprintarXiv:1812.05462, 2018.
N. Lindemulder, M. Meyries, and M. Veraar. Complex interpolation with Dirichlet boundary conditions on the half line. Math. Nachr., 291(16):2435–2456, 2018.
N. Lindemulder and M. Veraar. The heat equation with rough boundary conditions and holomorphic functional calculus. J. Differ. Equ. 269(7):5832–5899, 2020.
J.L. Lions and E. Magenes. Nonhomogeneous boundary value problems and applications. Vol. I. SpringerVerlag, New YorkHeidelberg, 1972. Translated from the French by P. Kenneth, Die Grundlehren der mathematischen Wissenschaften, Band 181.
J.L. Lions and E. Magenes. Nonhomogeneous boundary value problems and applications. Vol. II. SpringerVerlag, New YorkHeidelberg, 1972. Translated from the French by P. Kenneth, Die Grundlehren der mathematischen Wissenschaften, Band 182.
J.L. Lions and E. Magenes. Nonhomogeneous boundary value problems and applications. Vol. III. SpringerVerlag, New YorkHeidelberg, 1973. Translated from the French by P. Kenneth, Die Grundlehren der mathematischen Wissenschaften, Band 183.
M. Meyries. Maximal regularity in weighted spaces, nonlinear boundary conditions, and global attractors. PhD thesis, Karlsruhe Institute of Technology, 2010.
M. Meyries and M. Veraar. Sharp embedding results for spaces of smooth functions with power weights. Studia Math., 208(3):257–293, 2012.
J. Milnor. Lectures on the\(h\)cobordism theorem. Notes by L. Siebenmann and J. Sondow. Princeton University Press, Princeton, N.J., 1965.
A. Pazy. Semigroups of linear operators and applications to partial differential equations, volume 44 of Applied Mathematical Sciences. SpringerVerlag, New York, 1983.
P. Portal and v. Štrkalj. Pseudodifferential operators on Bochner spaces and an application. Math. Z., 253(4):805–819, 2006.
V. S. Rychkov. LittlewoodPaley theory and function spaces with \(A^{\rm loc}_p\) weights. Math. Nachr., 224:145–180, 2001.
H.J. Schmeisser and H. Triebel. Topics in Fourier analysis and function spaces. A WileyInterscience Publication. John Wiley & Sons, Ltd., Chichester, 1987.
R. T. Seeley. Extension of \(C^{\infty }\) functions defined in a half space. Proc. Amer. Math. Soc., 15:625–626, 1964.
H. Triebel. Interpolation theory, function spaces, differential operators, volume 18 of NorthHolland Mathematical Library. NorthHolland Publishing Co., AmsterdamNew York, 1978.
H. Triebel. Theory of function spaces, volume 78 of Monographs in Mathematics. Birkhäuser Verlag, Basel, 1983.
R. M. Trigub and E. S. Bellinsky. Fourier analysis and approximation of functions. Kluwer Academic Publishers, Dordrecht, 2004. [Belinsky on front and back cover].
M. C. Veraar. Regularity of Gaussian white noise on the \(d\)dimensional torus. In Marcinkiewicz centenary volume, volume 95 of Banach Center Publ., pages 385–398. Polish Acad. Sci. Inst. Math., Warsaw, 2011.
J. Voigt. Abstract Stein interpolation. Math. Nachr., 157:197–199, 1992.
L. Weis. Operatorvalued Fourier multiplier theorems and maximal \(L_p\)regularity. Math. Ann., 319(4):735–758, 2001.
Acknowledgements
Since most of the material in this work is based on some results of my Ph.D. thesis and just contains generalizations, simplifications and corrections of mistakes, I would like to thank my Ph.D. supervisor Robert Denk again for his outstanding supervision.
I thank Mark Veraar for the instructive discussion on the necessity of finite cotype in certain estimates, which helped me to prove Proposition 4.13.
I also thank the Studienstiftung des deutschen Volkes for the scholarship during my doctorate and the EU for the partial support within the TiPES project funded by the European Union’s Horizon 2020 research and innovation programme under Grant Agreement No. 820970. Moreover, I acknowledge partial support of the SFB/TR109 “Discretization in Geometry and Dynamics.”
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hummel, F. Boundary value problems of elliptic and parabolic type with boundary data of negative regularity. J. Evol. Equ. 21, 1945–2007 (2021). https://doi.org/10.1007/s00028020006640
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00028020006640
Mathematics Subject Classification
 Primary: 35B65
 Secondary: 35K52
 35J58
 46E40
 35S05
Keywords
 Boundary value problems
 Boundary data of negative regularity
 Mixed scales
 Mixed smoothness
 Poisson operators
 Singularities at the boundary
 Weights