Abstract
On a manifold X with boundary and bounded geometry we consider a strongly elliptic second order operator A together with a degenerate boundary operator T of the form \(T=\varphi _0\gamma _0 + \varphi _1\gamma _1\). Here \(\gamma _0\) and \(\gamma _1\) denote the evaluation of a function and its exterior normal derivative, respectively, at the boundary. We assume that \(\varphi _0, \varphi _1\ge 0\), and \(\varphi _0+\varphi _1\ge c\), for some \(c>0\), where either \(\varphi _0,\varphi _1\in C^{\infty }_b(\partial X)\) or \(\varphi _0=1 \) and \(\varphi _1=\varphi ^2\) for some \(\varphi \in C^{2+\tau }(\partial X)\), \(\tau >0\). We also assume that the highest order coefficients of A belong to \(C^\tau (X)\) and the lower order coefficients are in \(L_\infty (X)\). We show that the \(L_p(X)\)-realization of A with respect to the boundary operator T has a bounded \(H^\infty \)-calculus. We then obtain the unique solvability of the associated boundary value problem in adapted spaces. As an application, we show the short time existence of solutions to the porous medium equation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Maximal regularity has become an indispensable tool in the analysis of evolution equations as it can be used to establish in an uncomplicated way the existence of short time solutions to a large class of quasilinear parabolic problems. Maximal regularity in turn is implied by the existence of a bounded \(H^\infty \)-calculus, a concept introduced by McIntosh in 1986, [29], of angle \(<\pi /2\). Many elliptic operators are known to have a bounded \(H^\infty \)-calculus, see e.g. Amann, Hieber, Simonett [5] for the case of differential operators. Already in 1971 Seeley [37] had shown that differential boundary value problems have bounded imaginary powers, a property which is very close to that of having a bounded \(H^\infty \)-calculus and can often be shown by the same methods. Ellipticity, however, is not necessary in this context as shown in [9]; a hypoellipticity condition in the spirit of Hörmander’s conditions (4.2)’ and (4.4)’ in [22] is sufficient. In the present article, we establish the existence of a bounded \(H^\infty \)-calculus for a degenerate elliptic boundary value problem. We consider a strongly elliptic operator A, endowed with a boundary operator that, in general, will not satisfy the Lopatinsky-Shapiro ellipticity condition. The key point of our analysis then is the construction of a parameter-dependent parametrix to the resolvent with the help of Boutet de Monvel’s calculus for boundary value problems [8]. As a consequence of the non-ellipticity, however, this parametrix will only belong to an extended version of Boutet de Monvel’s calculus that we sketch, below. Still, this will enable us to deduce the necessary estimates for the existence of the bounded \(H^\infty \)-calculus.
Here are the details. Let X be an n-dimensional manifold with boundary \(\partial X\) and bounded geometry. Let A be a strongly elliptic second order partial differential operator on X which in local coordinates can be written in the form
where \(a^{kl}\in C^\tau ({X})\) are real-valued,Footnote 1 the matrix \((a^{kl}(x))_{1\le k,l\le n}\) is positive definite with a uniform positive lower bound, \(b^k,c^0\in L_\infty (X)\), and \(D_k = -i\partial _{x_k}\). If these conditions are met, we call the operator A sufficiently regular. Furthermore, we say that A is M-elliptic, if all the norms of the coefficients are bounded by \(M>0\) and the positive lower bound of the matrix is given by 1/M. Obviously, this is no restriction as every operator as above is M-elliptic for some M. The operator A is endowed with a boundary operator T of the form
Here \(\gamma _0\) denotes the trace operator and \(\gamma _1\) the exterior normal derivative at \(\partial X\). Moreover, \(\varphi _0, \varphi _1\in C_b^\infty (\partial X)\) are real-valued functions on the boundary with \(\varphi _0,\varphi _1\ge 0\) and \(\varphi _0 + \varphi _1\ge c>0\). We obtain the classical Dirichlet problem for \(\varphi _0=1, \varphi _1=0\). The choice \(\varphi _0=0, \varphi _1=1\) yields Neumann boundary conditions, and Robin problems correspond to the case where \(\varphi _1\) is nowhere zero.
For given functions f and \(\phi \) we consider the boundary value problem with spectral parameter \(\lambda \)
in \(L_p(X)\), \(1<p<\infty \). To this end we introduce the \(L_p\)-realization of the above boundary value problem, i.e. the unbounded operator \(A_T\), acting like A on the domain
This problem has been investigated by many authors, see e.g. Egorov-Kondrat’ev [16], Kannai [24] or Taira [42, 43, 45], also for the case where the boundary operator T involves an additional first order tangential differential operator. This makes the analysis more subtle and will be treated in a subsequent publication.
We recall the notion of sectoriality:
Definition 1.1
A closed and densely defined operator \(B:{\mathcal {D}}(B)\subset E\rightarrow E\), acting in a Banach space E that is injective with dense range is called sectorial of type \(\omega <\pi \), if for every \(\omega<\theta <\pi \) there exists a constant \(C_\theta \), such that
Here \(\Sigma _\theta =\{\lambda \in {\mathbb {C}}\backslash \{0\}:|\arg (\lambda )|\le \theta \}\cup \{0\}\) is the sector of angle \(\theta \) around the positive real axis.
It has been shown by Taira that, for a bounded domain X, the \(L_p\)-realization \(A_T\) is sectorial of type \(\varepsilon \) for every \(\varepsilon >0\), possibly after replacing A by \(A+c\) for a positive constant c. In particular, it generates an analytic semigroup. For details see e.g. [43, Theorem 1.2].
1.1 Bounded \(H^\infty \) calculus
By \(H^\infty (\Sigma _\theta )\) we denote the space of bounded holomorphic functions in the interior of the sector \(\Sigma _\theta \) and by \(H_*^\infty (\Sigma _\theta )\) the subspace of all functions f such that \(|f(\lambda )|\le C(|\lambda |^\epsilon +|\lambda |^{-\varepsilon })^{-1}\) for suitable \(C,\varepsilon >0\). It is well-known that this is a dense subspace with respect to the topology of uniform convergence on compact sets.
For a sectorial operator B of type \(\omega \), \(\theta '\in \ ]\omega ,\theta [\) and \(f\in H_*^\infty (\Lambda _\theta )\) let
The integral exists due to the sectoriality and is independent of the choice of \(\theta '\) by Cauchy’s integral theorem. Given \(f\in H^\infty (\Sigma _\theta )\), we can approximate f by a sequence \((f_n)\subset H_*^\infty (\Sigma _\theta )\) and define
It can be shown that \({\mathcal {D}}(B)\cap {{\,\mathrm{range}\,}}(B)\) is dense in E and that the above equation defines a closable operator. The closure is again denoted by f(B).
Definition 1.2
We say that a sectorial operator B of type \(\omega \) admits a bounded \(H^\infty \) calculus of angle \(\omega \), if for any \(\omega<\theta <\pi \) there exists a constant \(C_\theta >0\), such that
According to the principle of uniform boundedness it is sufficient to verify estimate (1.3) for all \(f\in H_*^\infty (\Sigma _{\theta })\).
1.2 Main results
Theorem 1.3
Let (X, g) be a manifold with boundary and bounded geometry. Let T be as in (1.2) and \(A_T\) be the realization given above of an M-elliptic sufficiently regular second order differential operator. Then, for every \(0<\vartheta <\pi \) a constant \(\nu =\nu (M,|t|_*,\vartheta )\ge 0\) exists such that \(A_T+\nu \) allows an \(H^\infty (\Sigma _\vartheta )\)-calculus in \(L_p(X)\). Moreover, a constant \(C=C(M,|t|_*,\vartheta )>0\) exists such that for all \(f\in H^\infty (\Sigma _\vartheta )\) the following estimate holds:
Here \(|t|_*\) stands for suitable seminorms of \( \varphi _0\) and \( \varphi _1\), respectively, in \(C^ \infty _b(\partial X)\). Theorem 1.3 extends to the case of non-smooth boundary operators. In order to keep the technical difficulties at a reasonable level, we shall then assume that \(\varphi _0=1\) and \(\varphi _1\) is the square of a \(C^{2+\tau }\)-function \(\varphi \) with \(\tau >0\):
for some \(\varphi \in C^{2+\tau }\), \(\tau >0\). Supposing that \(\varphi _0=1\) is not an essential restriction. The assumption that \(\varphi _1\) is the square of a \(C^{2+\tau }\)-function is; it is motivated by the fact that the pseudodifferential techniques require the \(C^{2+\tau }\) regularity of the square root of \(\varphi _1\), which differs from the regularity of \(\varphi _1\) near the zero set. Here is the precise statement.
Theorem 1.4
Let (X, g) and A be as in Theorem 1.3 and T as in (1.4). For every \(0<\vartheta <\pi \) we then find \(\nu =\nu (M,|t|_*,\vartheta )\ge 0\) and \(C=C(M,|t|_*,\vartheta )>0\) such that \(A_T+\nu \) allows an \(H^\infty (\Sigma _\vartheta )\)-calculus in \(L_p(X)\) and
As a corollary, we obtain unique solvability for the full boundary value problem. For this we need some notation. As before, (X, g) is a manifold with boundary and bounded geometry, \(1<p<\infty \).
We denote by \(B^{s}_p(\partial X):= B^s_{p,p}(\partial X)\) the \(L_p\)-Besov space of order \(s\in {\mathbb {R}}\) on \(\partial X\) as defined in [17]. According to [17, Theorem 4.10], \(B^{s-1/p}_p(\partial X)\), \(1<p<\infty \), \(s>1/p\), coincides with the space of all restrictions to \(\partial X\) of functions in \(H^s_p(X)\). The theorem, below, can be shown by modifying the proof of [17, Theorem 4.10] in the spirit of the proof of [47, Theorem 2.9.2].
Theorem 1.5
Let \(s>1+1/p\). Then, given \(v_0\in B^{s-1/p}_p(\partial X)\) and \(v_1\in B^{s-1-1/p}_p (\partial X)\) there exists \(u\in H^s_p(X)\) such that \(\gamma _0u=v_0\) and \(\gamma _1 u = v_1\).
Definition 1.6
For \(s\in {\mathbb {R}}\) and the boundary condition T in (1.2) or \(s>-\tau \) and T in (1.4), we define
Clearly, this is a Banach space with the topology of the non-direct sum.
Proposition 1.7
For \(s>1+1/p\) the mapping \(T: H^s_p(X) \rightarrow B^{s-1-1/p}_{p,T}(\partial X)\) is surjective.
In fact, given \(v= \varphi _0 v_0+\varphi _1v_1\) in \(B^{s-1-1/p}_{p,T}(\partial X)\), Theorem 1.5 implies that we find \(u_0\) and \(u_1\) in \(H^s_p(X)\) such that \(\gamma _0u_0 = v_0\), \(\gamma _1u_0=0\), \(\gamma _0u_1=0\) and \(\gamma _1u_1=v_1\). Then \(u_0+u_1\) is a preimage of v under T.
Theorem 1.8
For every \(0<\vartheta <\pi \) the operator
is a topological isomorphism for \(\lambda \in \Sigma _\vartheta \), \(|\lambda |\) sufficiently large.
This is immediate from Theorem 1.3 and the surjectivity of T: Given \(f\in L_p(X)\) and \(v \in B^{1-1/p}_{p,T}(\partial X)\), we first fix \(w_0\in H^2_p(X)\) with \(Tw_0=v\). By Theorem 1.3, the problem \((A-\lambda )w=f-(A-\lambda )w_0\), \(Tu=0\) has a unique solution \(w\in H^2_p(X)\). Then \(u=w+w_0\) is the (unique) solution to \((A-\lambda )u=f\), \(T u = v\). Hence (1.5) is a bijection. As it is continuous, it is a topological isomorphism in view of the closed graph theorem.
Finally, we apply our results to the porous medium equation with boundary condition T and strictly positive initial value. Details can be found in Sect. 6. We obtain:
Theorem 1.9
Let \(1<p,q<\infty \), \(n/p+2/q<1\), \(m>0\), \(v_0\in H^2_p(X)\) with \(v_0\ge c>0\), and \(\phi \in C^1(J_0;B^{1-1/p}_{p,T}(\partial X))\) with \(\phi (0)=Tv_0\). Here \(J_0=[0,t_0]\) with \(t_0>0\). Then the porous medium equation
has a unique short time solution of maximal regularity, i.e. there exists an interval \(J=[0,t^*]\) with \(t^*>0\) and a unique solution
of the porous medium Eq. (1.6).
Remark 1.10
(a) If the boundary \(\partial X\) is the disjoint union of two open subsets \(Y_0\) and \(Y_1\) and their common boundary \(\Sigma \), which additionally is a smooth embedded submanifold of \(\partial X\), and we choose \(\varphi _0\) and \(\varphi _1\) to be the characteristic functions of \(Y_0\) and \(Y_1\), we obtain the Zaremba problem, where Dirichlet conditions are imposed on \(Y_0\) and Neumann conditions on \(Y_1\).
In this sense, the Zaremba problem might be considered a limit case of the degenerate problem studied here. However, the two problems are rather different in spirit. As our arguments show, the problem here can still be treated by methods from the theory of boundary value problems via Boutet de Monvel’s calculus. The Zaremba problem in contrast is basically an edge-degenerate problem, as explained by Seeley in [38]. The role of the edge is played by the interface \(\Sigma \), and additional conditions have to be imposed there. A corresponding singular pseudodifferential calculus has been developed by Dines, Harutyunyan and Schulze, see [14].
-
(b)
For convenience we have assumed that the coefficients of A are real. In fact, the results also hold in the parameter-elliptic complex-valued case with the corresponding change of the sector.
1.3 Relation to previous work
In [1], Abels developed a (different) variant of Boutet de Monvel’s calculus with non-smooth symbols in order to construct parametrices to elliptic operators with Hölder regularity. Also, Krainer [25] constructed a calculus with symbols of type \(\rho ,\delta \) taking values in operator ideals in Hilbert spaces.
Theorem 1.3 and 1.4 extend [43, Theorem 1.2] in that (i) one can now treat manifolds of bounded geometry instead of bounded domains, (ii) the differentiability assumptions on the coefficients of A are reduced from \(C^\infty \) to \(C^\tau \), \(\tau >0\), for the top order terms and \(L_\infty \) for the lower order terms, while T can also be of the form (1.4), and (iii) one obtains the existence of a bounded \(H^\infty \)-calculus rather than the existence of a holomorphic semigroup. Theorem 1.8 extends [43, Theorem 1.1] to the case of manifolds with boundary and bounded geometry and operators with non-smooth coefficients, with the restriction that \(\lambda \in \Sigma _\vartheta \) has to be large and we work on \(H^2_p(X)\) as a consequence of the non-smoothness of the coefficients.
In [44] and [41] Taira treats more general Waldenfels integro-differential operators to which the present methods should also be applicable.
While there is a wealth of literature on the porous medium equation, it seems to be new to study it on manifolds of bounded geometry and with degenerate boundary condition.
1.4 Outline of the paper
We first focus on the boundary operator T in (1.2); the non-smooth case in (1.4) will be treated in Sect. 5.
In order to establish (1.3) for \(A_T+c\) we have to show that for every fixed \(0<\theta <\pi \)
It is clear that a good understanding of \((A_T+c-\lambda )^{-1}\) on the rays \(\arg \lambda = \pm \theta \), \(0<\theta <\pi \) is essential for this task.
The main tool we use in this paper is Boutet de Monvel’s calculus for boundary value problems [8]. Details can be found e.g. in the monographs by Rempel and Schulze [32] and Grubb [19] or in the short introduction [35]. We will also need a slight generalization for which details will be given below. Recall that an operator of order \(m\in {\mathbb {R}}\) and class (or type) \(d \in {\mathbb {N}}_0\) in Boutet de Monvel’s calculus on \({\mathbb {R}}^n_+\) is a matrix of operators
Here \(E_0\) and \(E_1\) are vector bundles over \({\mathbb {R}}^n\), and \(F_0\), \(F_1\) are vector bundles over \(\partial {\mathbb {R}}^n_+=\mathbb R^{n-1}\). Moreover, P is a pseudodifferential operator on \(\mathbb R^n\) satisfying the transmission condition, and \(P_+\) denotes its truncation to \({\mathbb {R}}^n_+\): \(P_+ = r^+Pe^+\), where \(e^+\) denotes extension by zero from \({\mathcal {S}}({\mathbb {R}}^n_+, E_0)\) to, say, \(L_2( {\mathbb {R}}^n,E_0)\), and \(r^+\) denotes the restriction of distributions on \({\mathbb {R}}^n\) to those on \({\mathbb {R}}^n_+\). The operators G and T are singular Green and trace operators of order m and class d, respectively; K is a potential operator of order m. Finally S is a pseudodifferential operator on the boundary \({\mathbb {R}}^{n-1}\) of order m.
Boutet de Monvel’s calculus is closed under compositions provided the vector bundles fit together. Via coordinate maps the calculus can be transferred to smooth manifolds with boundary.
Boutet de Monvel’s calculus has a symbolic structure with a notion of ellipticity, and there exist parametrices to elliptic elements in the calculus. Moreover, the calculus contains its inverses whenever these exist. An operator of order m and class d as above extends to a bounded map
provided \(s>d-1+1/p\), where \(H^s_p\) denotes the usual Sobolev space and \(B^s_p=B^s_{p,p}\) the Besov space of order s, see Grubb [18].
It is well-known that the operator
is invertible for \(\lambda \in \Lambda _\theta \), \(\theta >0\), \(|\lambda |\) sufficiently large, whenever X is a compact manifold with boundary or \({\mathbb {R}}^n_+\). In particular, it is invertible for all \(\lambda \in \Lambda _\theta \), if we replace A by \(A+c\) for \(c>0\) sufficiently large. In order to keep the notation simple, we will assume from now on that A has been replaced by \(A+c\) for such c and write A instead of \(A+c\).
Apart from the fact that \(\gamma _0\) is formally not of the right order (which is of no importance here and can be easily arranged), the problem fits into Boutet de Monvel’s calculus and one obtains the inverse in the form
Here \((A-\lambda )^{-1}\) is the resolvent on a closed manifold with boundary into which X embeds (in case X is compact) or on \({\mathbb {R}}^n\) (if \(X = {\mathbb {R}}_+^n\)), see [19].
We will denote the corresponding truncation by \(Q_{\lambda ,+}\):
As a consequence,
Assuming that \(S_\lambda :=TK_\lambda ^D\) is invertible with inverse \(S^{-1}_\lambda \), we find that
For the realization \((A-\lambda )_T\) we obtain:
with
Lemma 1.11
For every choice of \(\theta \in \ ]0,\pi [\), there exists a constant \(C_\theta \ge 0\) such that
Lemma 1.11 is well-known, the proof relies on the fact that the operators \(Q_\lambda \) and \(G_\lambda ^D\) are parameter-dependent operators of order \(-2\) in Boutet de Monvel’s calculus, if one writes \(-\lambda = \mu ^2e^{i\theta }\) and considers \(Q_\lambda \) and \(G^D_\lambda \) as functions of \(\mu \), see e.g. Grubb [19]. For the more general situation of a manifold with boundary and conic singularities, see [11].
It remains to study the term \(G^T_\lambda \). It will turn out that \(TK_\lambda ^D\) is a hypoelliptic pseudodifferential operator of order 1 on the boundary. As we will see, it has a parametrix with local symbols in the Hörmander class \(S^0_{1,1/2}\) which then agrees with \(S^{-1}_\lambda \) up to a regularizing operator. In order to treat the composition of \(S^{-1}_\lambda \) with the operators \(K_\lambda ^D\) and \(Q_{\lambda ,+}+G^D_\lambda \), we will need an extension of the classical Boutet de Monvel calculus.
2 An extended Boutet de Monvel type calculus
We recall the algebra \({\mathcal {H}}\) of functions on \({\mathbb {R}}\): It is the direct sum
where
and \({\mathcal {H}}'\) is the space of all polynomials on \({\mathbb {R}}\). The sum is direct, since the functions in \({\mathcal {H}}^+\) and \({\mathcal {H}}^-_{-1}\) decay to first order.
It will be helpful to use also weighted Sobolev spaces on \(\mathbb R_+\): For \({\textbf {s}}=(s_1, s_2)\in {\mathbb {R}}^2\) we let \(H^{\textbf{s}}_p({\mathbb {R}}_+) \) denote the space of all \(u\in \mathcal D'({\mathbb {R}}_+)\) such that \(\langle x\rangle ^{s_2}u\) belongs to the ordinary Sobolev space \(H^{s_1}_p({\mathbb {R}}_+)\). We then have
where the limits are taken over \({\textbf {s}}\in {\mathbb {R}}^2\) and \(\dot{H}_q^{{\textbf {s}}}({\mathbb {R}}_+)\) denotes all distributions u in \(H_q^{{\textbf {s}}}({\mathbb {R}})\) for which \({{\,\mathrm{supp}\,}}u\subset \overline{{\mathbb {R}}}_+\).
2.1 Operator-valued symbols
Let E, F be Banach spaces with strongly continuous group actions \(\kappa ^E_\lambda \), \(\kappa ^F_\lambda \), \(\lambda >0\), as introduced by Schulze in [36]. Given \(q\in {\mathbb {N}}\), \(m\in {\mathbb {R}}\), \(0\le \delta <1\), we call a function \(a=a(y,\eta )\in C^\infty ({\mathbb {R}}^q\times {\mathbb {R}}^q,{\mathcal {L}}(E,F))\) an operator-valued symbol in \(S^m_{1,\delta }({\mathbb {R}}^q\times \mathbb R^q; E,F)\) if, for all multi-indices \(\alpha , \beta \), there exist constants \(C_{\alpha , \beta }\) such that
In the sequel, we will mostly have the case where and E and F are either \({\mathbb {C}}\) or (weighted) Sobolev spaces over \({\mathbb {R}}\) or \({\mathbb {R}}_+\). On \({\mathbb {C}}\) we will use the trivial group action; on the Sobolev spaces we will use the action given by \(\kappa _\lambda u(t) = \sqrt{\lambda }f(\lambda t)\). Note that this group action is unitary on \(L^2({\mathbb {R}})\) and \(L^2({\mathbb {R}}_+)\). Using the representations (2.1) and (2.2), the above definition extends to the case, where \(E={\mathcal {S}}({\mathbb {R}}_+)\), \(E={\mathcal {S}}'({\mathbb {R}}_+)\) or \(F={\mathcal {S}}({\mathbb {R}}_+)\), see [35] for details.
2.2 The transmission condition
Definition 2.1
A symbol \(p\in S^m_{1,\delta }({\mathbb {R}}^n\times {\mathbb {R}}^n)\) satisfies the transmission condition at \(x_n=0\) provided that, for all \(k\in {\mathbb {N}}_0\)
We write \(p\in {\mathcal {P}}^m_{1,\delta }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1})\).
Remark 2.2
\({\mathcal {P}}^\infty _{1,\delta }:=\bigcup _m{{\mathcal {P}}}^m_{1,\delta }\) is closed under the usual symbol operations, i.e. addition, pointwise multiplication and inversion, differentiation, Leibniz product and asymptotic summation. We also have \(S^{-\infty }=\bigcap _m{{\mathcal {P}}}^m_{1,\delta }\).
Theorem 2.3
Let \(p\in {\mathcal {P}}^m_{1,\delta }({\mathbb {R}}^n\times {\mathbb {R}}^n)\). Then
Proof
This follows from the fact that \(\kappa _{\langle \xi '\rangle ^{-1}}{{\,\mathrm{op}\,}}_n (p)\kappa _{\langle \xi '\rangle } = {{\,\mathrm{op}\,}}_n (q_{x',\xi '})\), where \(q_{x',\xi '}(x_n,\xi _n) = p(x', x_n/\langle \xi '\rangle , \xi ', \langle \xi '\rangle \xi _n)\) and the corresponding proof for Hörmander type (1, 0); this is Theorem 2.12 in [35]. The arguments carry over to general \((1,\delta )\). \(\square \)
2.3 Potential, trace and singular Green symbols
Definition 2.4
Let \(m\in {\mathbb {R}}\), \(d\in {\mathbb {N}}_0\). All functions, below, may be matrix valued.
-
A function \(k\in C^\infty ({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1}\times {\mathbb {R}})\) belongs to the space \({\mathcal {K}}^m_{1,\delta }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1})\) of potential symbols of order m and Hörmander type \((1,\delta )\), if
$$\begin{aligned} k_{[0]}(x',\xi ';\xi _n):=k(x',\xi ';\langle \xi '\rangle \xi _n)\in S^{m-1}_{1,\delta }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1}){\hat{\otimes }}{\mathcal {H}}^+_{\xi _n}. \end{aligned}$$ -
A function \(t\in C^\infty ({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1}\times {\mathbb {R}})\) belongs to the space \({\mathcal {T}}^{m,d}_{1,\delta }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1})\) of trace symbols of order m, class d and Hörmander type \((1,\delta )\), if
$$\begin{aligned} t_{[0]}(x',\xi ';\xi _n):=t(x',\xi ';\langle \xi '\rangle \xi _n)\in S^{m}_{1,\delta }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1}){\hat{\otimes }}{\mathcal {H}}^-_{d-1}. \end{aligned}$$ -
A function \(g\in C^\infty ({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1}\times {\mathbb {R}}\times {\mathbb {R}})\) belongs to the space \({\mathcal {G}}^{m,d}_{1,\delta }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1})\) of singular Green symbols of order m, class d and Hörmander type \((1,\delta )\), if
$$\begin{aligned}&g_{[0]}(x',\xi ';\xi _n,\eta _n):=g(x',\xi ';\langle \xi '\rangle \xi _n,\langle \xi '\rangle \eta _n) \nonumber \\&\in S^{m-1}_{1,\delta }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1}){\hat{\otimes }}{\mathcal {H}}^+_{\xi _n}{\hat{\otimes }}{\mathcal {H}}^{-}_{d-1,\eta _n}. \end{aligned}$$
The spaces \({\mathcal {K}}^m_{1,0}\), \({\mathcal {T}}^m_{1,0}\) and \({\mathcal {G}}^m_{1,0}\) are denoted by Grubb in [19] as \(S_{1,0}^{m-1}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1};{\mathcal {H}}^+)\), \(S^{m}_{1,0}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1};{\mathcal {H}}^-_{d-1})\), and \(S^{m-1}_{1,0}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1};{\mathcal {H}}^+{\hat{\otimes }}{\mathcal {H}}^-_{d-1})\). Rempel and Schulze denote them in [32] by \({\mathfrak {K}}^{m-1}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\), \({\mathfrak {T}}^{m,d}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\) and \({\mathfrak {B}}^{m-1,d}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n+1})\). They are Fréchet spaces with the topologies induced by the scaled functions. For fixed \((x',\xi ')\) the symbols above define Wiener-Hopf operators. Hence we obtain an action in the normal direction:
where \(I^+\) is the plus-integral, see [19, p.166]. We can interpret \({{\,\mathrm{op}\,}}_nk\), \({{\,\mathrm{op}\,}}_n t\) and \({{\,\mathrm{op}\,}}_ng\) as operator-valued symbols. Depending on the class there are several extensions possible.
Theorem 2.5
(Description by operator-valued symbols). Let \({\textbf {s}}\in {\mathbb {R}}^2\) with \(s_1>d-1/2\). The following maps are bounded and linear.
-
(1)
\({{\,\mathrm{op}\,}}_n:{\mathcal {G}}_{1,\delta }^{m,0}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1})\rightarrow S^{m}_{1,\delta }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1};{\mathcal {S}}'({\mathbb {R}}_+){},{\mathcal {S}}({\mathbb {R}}_+){})\)
-
(2)
\({{\,\textrm{op}\,}}_n:{\mathcal {G}}_{1,\delta }^{m,d}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1})\rightarrow S^{m}_{1,\delta }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1};H_2^{\textbf {s}}({\mathbb {R}}_+){},{\mathcal {S}}({\mathbb {R}}_+){})\)
-
(3)
\({{\,\mathrm{op}\,}}_n:{\mathcal {K}}_{1,\delta }^{m}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1})\rightarrow S^{m-1/2}_{1,\delta }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1};{\mathbb {C}},{\mathcal {S}}({\mathbb {R}}_+){})\)
-
(4)
\({{\,\mathrm{op}\,}}_n:{\mathcal {T}}_{1,\delta }^{m,0}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1})\rightarrow S^{m+1/2}_{1,\delta }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1};{\mathcal {S}}'({\mathbb {R}}_+){},{\mathbb {C}})\)
-
(5)
\({{\,\textrm{op}\,}}_n:{\mathcal {T}}_{1,\delta }^{m,d}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1})\rightarrow S^{m+1/2}_{1,\delta }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1};H_2^{\textbf {s}}({\mathbb {R}}_+){},{\mathbb {C}})\)
We omit the proof, which is straightforward. We also need the description via symbol-kernels. To this end we define
Theorem 2.6
(Description by symbol-kernels). The following assertions hold:
-
(i)
For every operator-valued symbol \(k\in S_{1,\delta }^m({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1};{\mathbb {C}},{\mathcal {S}}({\mathbb {R}}_+))\) there exists a unique \({\tilde{k}}\in \widetilde{{\mathcal {K}}}_{1,\delta }^m({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1})\), such that
$$\begin{aligned}{}[k(x',\xi ')c](x_n)={\tilde{k}}(x',\xi ';x_n)c,\; c\in {\mathbb {C}} . \end{aligned}$$ -
(ii)
For every operator-valued symbol \(t\in S_{1,\delta }^m({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1};{\mathcal {S}}'({\mathbb {R}}_+),{\mathbb {C}})\) there exists a unique \({\tilde{t}}\in \widetilde{{\mathcal {T}}}^{m,0}_{1,\delta }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1})\), such that
$$\begin{aligned} t(x',\xi ')u=\int _{{\mathbb {R}}_+}{\tilde{t}}(x',\xi ';y_n)u(y_n) \,dy_n,\; u\in {\mathcal {S}}({\mathbb {R}}_+). \end{aligned}$$ -
(iii)
For every operator-valued symbol \(g\in S_{1,\delta }^m({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1};{\mathcal {S}}'({\mathbb {R}}_+),{\mathcal {S}}({\mathbb {R}}_+))\) there exists a unique \({\tilde{g}}\in \widetilde{{\mathcal {G}}}^{m}_{1,\delta }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n-1})\), such that
$$\begin{aligned}{}[g(x',\xi ')u](x_n)=\int _{{\mathbb {R}}_+}{\tilde{g}}(x',\xi ';x_n,y_n)u(y_n)\,dy_n,\; u\in {\mathcal {S}}({\mathbb {R}}_+). \end{aligned}$$
Proof
See Theorems 3.7 and 3.9 in [35]. \(\square \)
Corollary 2.7
The maps (1), (3), and (4) in Theorem 2.5 are bijections. The maps (2) and (5) are bijections onto their image, which is the set of all operators of the form
Proof
We get from symbols to operator-valued symbols, to symbol-kernels, and back to symbols by Theorem 2.5, Theorem 2.6 and the Fourier transform. For non-zero class we use the fact \(I^+\xi ^j{\mathcal {F}}e^+\phi =(-i)^j\gamma _j^+\phi \). \(\square \)
2.4 Boundary symbols and operators
We next define the space of boundary symbols of order m, class d and Hörmander type \((1,\delta )\) by
It is clear from Theorems 2.5 and 2.3 that the action of \(b\in \mathcal {BM}^{m,d}_{1,\delta }\) in the normal direction defines a matrix of operator-valued symbols
We write \(B:={{\,\mathrm{op}\,}}[{{\,\mathrm{op}\,}}_nb]\) for the associated operator. We denote the components of B associated with p, g, k, t and s by \(P_+,G,K,T,\) and S, respectively. It is well-known that these operators form an algebra for Hörmander type (1, 0). The proof given in [35] extends to the case \((1,\delta )\) with obvious modifications.
Theorem 2.8
(Composition). Composition yields a bilinear and continuous map
where \(\#\) is the Leibniz product of operator-valued symbols, given by the property that \({{\,\mathrm{op}\,}}({{\,\mathrm{op}\,}}_nb){{\,\mathrm{op}\,}}({{\,\mathrm{op}\,}}_nb')={{\,\mathrm{op}\,}}({{\,\mathrm{op}\,}}_nb\#b')\). Moreover
Here the subscript 0 denotes the restriction to \(x_n=0\) and \(\circ _n\) denotes the point-wise composition, [19, Theorem 2.6.1].
The well-known mapping properties of Boutet de Monvel operators extend to operators of Hörmander type \((1,\delta )\). We refer to [18] for the proof of the following statement (in the case \(\delta =0\)).
Theorem 2.9
Let \(b\in \mathcal {BM}^{m,d}_{1,\delta }\) and \(s>d+1/p-1\). Then
is bounded. The map \(b\mapsto B\) is continuous.
Remark 2.10
The above calculus and the continuity properties naturally extend to the case of operators acting on vector bundles over compact manifolds with boundary.
3 The resolvent
For the proof of Theorem 1.3, a suitable description of the resolvent \((A_T-\lambda )^{-1}\) is mandatory. We explain the key idea of how this description is derived in the simple example, where \(A=-\Delta \), \(T=\gamma _0\), and \(\nu =1\). Here, the benefit is that we can point out the main ideas. Moreover, the majority of abstract arguments can be replaced by explicit computations.
In the article [2], Shmuel Agmon proved a priori estimates for solutions of the following boundary value problem with spectral parameter:
Writing \(\lambda =\mu ^2e^{i\theta }\), we observe that, given a solution u of (3.1), the function \({\tilde{u}}:=u\otimes e_\mu \) with \(e_\mu (z)=e^{i\mu z}\) solves the elliptic boundary problem
with \({\tilde{f}}=f\otimes e_\mu \) and \({\tilde{\phi }}=\phi \otimes e_\mu \). For (3.2), a priori estimates are well-known, but for our purpose, they are not sufficient. However, the basic idea can be extended to provide a relation between the inverses of (3.2) and (3.1). The following three operators are of interest:
Here, \(i\kappa _\theta (\xi ',\zeta )\) is the root of the polynomial \(\xi _n\mapsto a_{\theta }(\xi ,\zeta ):=\langle \xi \rangle ^2+e^{i(\pi +\theta )}\zeta ^2\), with positive imaginary part. Furthermore, \({\mathcal {F}}\) and \({\mathcal {F}}'\), respectively, denote the Fourier transform with respect to all variables and the tangential variables, respectively. The identities \(A_\theta Q_\theta =1\), \(A_\theta K_\theta =0\), \(\gamma _0K_\theta =1\), and \(\gamma _0(Q_\theta +G_\theta )=0\) can be verified in a quick calculation. Therefore:
The operators belong to Boutet de Monvel’s calculus. We denote the symbols by lower case letters. The solution operators to Problem (3.2) and (3.1) are related. In order to reveal this relation, we need the following result.
Lemma 3.1
Let \(p\in S^m_{1,\delta }({\mathbb {R}}^n\times {\mathbb {R}}^{n+1};E,F)\). Then \(p_\mu :=p\vert _{\zeta =\mu }\in S^m_{1,\delta }({\mathbb {R}}^n\times {\mathbb {R}}^{n};E,F)\) and the associated operators are related as follows:
Proof
For fixed \(\mu \), \(p_\mu \) is a symbol in view of the estimate:
The following formal computation can be justified using oscillatory integrals.
The above computation holds for each point, thus Eq. (3.4) holds. \(\square \)
Now, we verify that the function \(u:=(Q_{\theta ,\mu ,+}+G_{\theta ,\mu })f+K_{\theta ,\mu }\phi \) solves Problem (3.1) for given f and \(\phi \):
Therefore, the inverse of the parameter-dependent problem can be constructed for the inverse of the associated extended problem. For \(\lambda =\mu ^2e^{i\theta }\):
What we are especially interested in is the left entry on the right hand side. Here, we observe:
Therefore, we obtain an explicit formula for the resolvent:
The example encourages us to initially solve the extended problem:
In general, no explicit formulas for the inverse of the above problem exist. We will therefore replace the inverse by a parametrix and analyze the resulting error term.
According to Eq. (3.4), the restriction \(\zeta =\mu \) in Lemma 3.1 commutes with composition. Therefore, for an elliptic symbol p with parametrix \(p^{-\#}\) and remainder r we obtain:
To estimate the error term, we need to analyze the dependence on the parameters \(\theta ,\mu \) and thus on \(\lambda \) of the operators above. The dependence on \(\theta \) for \(0<\vartheta \le |\theta |\le \pi \) is not essential. In fact, we obtain uniform estimates on operator norms that only depend on \(\vartheta \). However, the dependence on \(\mu \) is essential and will be discussed next.
3.1 The dependence on the spectral parameter \(\mu \)
We consider general Boutet de Monvel symbols which have a covariable \(\zeta \) with no space dependence, i.e. they are constant with respect to the variable z. By restriction \(\zeta =\mu \), we obtain again Boutet de Monvel symbols. The norms of the associated operators depend on the parameter \(\mu \).
Theorem 3.2
Let \(0\le \delta <1\).
-
(a)
Let \(p\in S^{-m}_{1,\delta }({\mathbb {R}}^{n}\times {\mathbb {R}}^{n+1})\) and \(m\ge 0\). Then
$$\begin{aligned} \Vert P_\mu \Vert _{{\mathcal {L}}(L_p({\mathbb {R}}^n))}\le C|p|_*\langle \mu \rangle ^{-m}. \end{aligned}$$(3.5) -
(b)
Let \(g\in {\mathcal {G}}^{-m,0}_{1,\delta }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n})\) and \(m>0\). Then
$$\begin{aligned} \Vert G_\mu \Vert _{{\mathcal {L}}(L_p({\mathbb {R}}_+^n))}\le C|g|_*\langle \mu \rangle ^{-m}. \end{aligned}$$(3.6) -
(c)
Let \(k\in {\mathcal {K}}_{1,\delta }^{-m}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n})\) and \(m\ge 0\). Then
$$\begin{aligned} \Vert K_\mu \Vert _{{\mathcal {L}}(B^{-1/p}_p({\mathbb {R}}^{n-1});L_p({\mathbb {R}}_+^n))}\le C|k|_*\langle \mu \rangle ^{-m}. \end{aligned}$$(3.7) -
(d)
Let \(t\in {\mathcal {T}}_{1,\delta }^{-m,0}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n})\) and \(m\ge 1\). Then
$$\begin{aligned} \Vert T_\mu \Vert _{{\mathcal {L}}(L_p({\mathbb {R}}_+^n);B^{1-1/p}_p({\mathbb {R}}^{n-1}))}\le C|t|_*\langle \mu \rangle ^{-m+1}. \end{aligned}$$(3.8)
Here, C denotes a suitable constant and \(|p|_*\), \(|g|_*\), \(|k|_*\), \(|t|_*\) suitable seminorms for p, g, k and t, respectively.
Before we turn our attention to the proof, let us draw a conclusion from the above theorem which demonstrates its value.
Corollary 3.3
Let \(m\ge m'\ge 0\). Let \(b\in \mathcal {BM}^{m,d}_{1,\delta }({\mathbb {R}}^n\times {\mathbb {R}}^{n+1})\) have a parametrix \(b^{-\#}\in \mathcal {BM}^{-m',0}_{1,\delta }({\mathbb {R}}^n\times {\mathbb {R}}^{n+1})\). Then \(B_\mu \) is invertible for large \(\mu \), and \(\Vert B_\mu ^{-1}-B_\mu ^{-\#}\Vert _{{\mathcal {L}}(L_p({\mathbb {R}}_+^n)\oplus B^{-1/p}_P({\mathbb {R}}^{n-1}))}\le C|b|_* \langle \mu \rangle ^{-N}\) for all \(N\in {\mathbb {N}}_0\).
Proof
By assumption \(b\#b^{-\#}=1-r\) with \(r\in \mathcal {BM}^{-\infty }_{1,\delta }({\mathbb {R}}^n\times {\mathbb {R}}^{n+1})\). As \(B_\mu B^{-\#}_\mu =1-R_\mu \), Theorem 3.2 implies that \(\Vert R_\mu \Vert \le C\langle \mu \rangle ^{-N}\) for all \(N\in {\mathbb {N}}_0\). For large \(\mu \), the inverse of \(1-R_\mu \) is given by a Neumann series. Therefore, \(B_\mu \) has a right inverse for large \(\mu \):
Clearly the second summand is rapidly decreasing in \(\mu \). Similarly we obtain a left inverse. \(\square \)
For the proof of Theorem 3.2 we need the following observation. Since there is no dependence on the space variable z we can interpret a pseudodifferential operator P with symbol in \(S^0_{1,\delta }({\mathbb {R}}^{n}\times {\mathbb {R}}^{n+1})\) as a pseudodifferential operator on the cylinder \({\mathbb {R}}^n\times {\mathbb {S}}_L\), where \({\mathbb {S}}_L\) is the circle with radius \(L/2\pi \). Then we obtain:
Lemma 3.4
If \(p\in S^0_{1,\delta }({\mathbb {R}}^{n}\times {\mathbb {R}}^{n+1})\), then for all \(L>0\) we have
Here C is a constant independent of L.
Proof
We first note that P preserves L-periodicity:
We identify \(u\in L_p({\mathbb {R}}^n\times {\mathbb {S}}_L)\) with an L-periodic function by letting
Note that for every \(j\in {\mathbb {Z}}\) we have \(u_j\in L_p({\mathbb {R}}^n\times {\mathbb {R}})\) and \(\Vert u_j\Vert _{L_p({\mathbb {R}}^n\times {\mathbb {R}})}=\Vert u\Vert _{L_p({\mathbb {R}}^n\times {\mathbb {S}}_L)}\). The integral kernel \(k= k(x,z,y,w)\) of the pseudodifferential operator P is given by
Since p is of order zero, we obtain the estimate
for all even \(l\in {\mathbb {N}}\) with \(l>n\) with a suitable seminorm \(|p|_*\) for p. For \(|j|\ge 2\), \(z\in [-L/2,L/2]\) and \(w\in {{\,\mathrm{supp}\,}}u_j\) we have \(|z-w|\ge (j-1)L\), hence
We write \(\chi _j\) for the indicator function of \([-L/2+jL,L/2+jL]\). A quick computation shows that
Hence we get \(L_p\)-estimates by Schur’s test, for Schur’s test we refer to [39, Theorem 0.3.1]. More explicitly:
In particular the right hand side is summable, and for \(L\ge 1\) we obtain
We still need to prove that the bound also holds for \(L<1\). Choose \(N\in {\mathbb {N}}\) so large that \(NL\ge 1\), and consider an L-periodic function as an NL-periodic function. We have \(\Vert u\Vert _{L_p({\mathbb {R}}^n\times {\mathbb {S}}_{NL})} = N^{1/p}\Vert u\Vert _{L_p({\mathbb {R}}^n\times {\mathbb {S}}_{L})}\) and hence, by the above argument,
for a constant C independent of NL. \(\square \)
Proof of Theorem 3.2
Let us first assume that \(p\in S^0_{1,\delta }({\mathbb {R}}^n\times {\mathbb {R}}^{n+1})\). We write \(e_\mu \) for the \(2\pi /\mu \)-periodic function \([x\mapsto e^{i\mu x}]\). For \(u\in L_p({\mathbb {R}}^n)\) we take the \(L_p\)-norm of both sides of Eq. (3.4):
Since P is of order zero, Lemma 3.4 yields
and part (a) follows for \(m=0\). For \(m<0\) we can use what we did so far to reduce to the case \(p(x,\xi ,\mu )=\langle \xi ,\mu \rangle ^{-m}\). But for this symbol the statement is a consequence of the \(L_p\)-mapping property of pseudodifferential operators and the following simple estimates.
Now for part (b). We recall that \({\tilde{g}}\in \widetilde{\mathcal G}^{m,0}_{1,\delta }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\) satisfies the estimates
So Schur’s test implies that \(\Vert D^\alpha _{\xi '}{{\,\mathrm{op}\,}}_n{\tilde{g}}_\mu \Vert _{{\mathcal {L}}(L_p({\mathbb {R}}_+))}\le C |g|_*\langle \xi ',\mu \rangle ^{m-|\alpha |}\). We are interested in the integral kernel
with \(N\in {\mathbb {N}}\) and \(L:=\sum _{|\alpha |=1} \frac{(x'-y')^\alpha }{|x'-y'|^2}D_{\xi '}^\alpha \). We take \(N=n-1\) and use the fact that \(|e^{it}-1|\le 2|t|^\theta \) for \(0<\theta < \min (1,|m|)\), to get
Choosing \(N=n\) we obtain \(\Vert K(x',y',\mu )\Vert _{{\mathcal {L}}(L_p({\mathbb {R}}_+))}\le C |g|_*|x'-y'|^{-n}\langle \mu \rangle ^{-m-1}\). The first estimate for \(\langle \mu \rangle |x'-y'|\le 1\) and the second for \(\langle \mu \rangle |x'-y'|> 1\) imply
In fact, this follows from the the identities
Hence the assertion follows with Schur’s test.
For part (c): We recall the well-known fact that every potential operator K can be written as \(r^+P{{\tilde{\gamma }}}_0^*\), where P is a pseudodifferential operator of order \(-m-1\) whose symbol-kernel is given by \({\tilde{p}}=E{\tilde{k}}\); E is Seeley’s extension operator applied to \(x_n\), and \({{\tilde{\gamma }}}_0^*\) is the adjoint to the evaluation \({{\tilde{\gamma }}}_0: H^s_{p'}({\mathbb {R}}^n)\rightarrow B_{p'}^{s-1/p'}({\mathbb {R}}^{n-1})\), \(s>1/p'\). It is clear that \(K_\mu =r^+P_\mu {{\tilde{\gamma }}}_0^*\). The map
is uniformly bounded with respect to \(\mu \). In view of the continuity of \({{\tilde{\gamma }}}_0^*\) from \(B_p^{-1/p}({\mathbb {R}}^{n-1})\) to \(H^{-1}_p({\mathbb {R}}^n)\) we have
Define \(q=p\#\langle \xi ,\zeta \rangle ^{1}\in S^{-m}_{1,\delta }({\mathbb {R}}^n\times {\mathbb {R}}^{n+1})\). By part (a)
The estimate for \(K_\mu \) follows.
For part (d) we use a similar approach. We write \(T=\gamma _0 Pe^+\), where P is a pseudodifferential operator of order m with symbol-kernel \({\tilde{p}}=E{\tilde{t}}\). Clearly \(T_\mu =\gamma _0 P_\mu e^+\). By the same argument as in part (c) we have
Define \(q=\langle \xi ,\zeta \rangle ^{1}\#p\in S^{-m+1}_{1,\delta }({\mathbb {R}}^n\times {\mathbb {R}}^{n+1})\). By part (a)
The estimate for \(T_\mu \) follows. \(\square \)
3.2 The principal symbol of the degenerate singular Green operator
We will now apply Agmon’s trick to our problem. We introduce the operator \(A_\theta :=A+e^{i\theta }D^2_z\) acting on \(\mathbb R^n_+\times {\mathbb {R}}\). The symbol of \(A_\theta \) is \(a_\theta (x,\xi ,\zeta ) = a(x,\xi )+e^{i\theta }\zeta ^2 \in S^2_{1,0}({\mathbb {R}}^n\times {\mathbb {R}}^{n+1})\), where \(a(x,\xi ) \) is the symbol of A. Assuming that a is homogeneous of degree 2, there exists a constant \(c=c(M,\vartheta )\) such that for all \(0<\vartheta \le |\theta |\le \pi \) the estimate \(|a_\theta (x,\xi ,\zeta )|\ge c|\xi ,\zeta |^2\) holds. In particular, \(A_\theta \) is elliptic. After possibly replacing A by \(A+c\) for some positive constant c we may and will assume that the Dirichlet problem for \(A_\theta \) is invertible. In the introduction we already pointed out that the solution operator to the Dirichlet problem is an operator in the Boutet de Monvel calculus, i.e.
We will need the principal symbols of the operators \(G_\theta ^D\) and \(K_\theta ^D\) and collect the results to fix some notation.
Remark 3.5
-
(a)
For fixed \((x',\xi ')\), the restriction to the boundary of the principal symbol of \(A_\theta \) is a polynomial of degree two in \(\xi _n\). It therefore has two roots, say \(\pm i\kappa _\theta ^\pm (x',\xi ',\zeta )\), with \({{\,\mathrm{Re}\,}}\kappa _\theta ^\pm \ge 0\).
-
(b)
We have \(\kappa _\theta ^\pm \in S^1_{1,0}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n})\). Both are strongly elliptic, i.e. \({{\,\mathrm{Re}\,}}\kappa _\theta ^\pm \ge \omega |\xi ',\zeta |\) for suitable \(\omega >0\).
-
(c)
The principal symbol of \(K_\theta ^D\in {\mathcal {K}}^{0}_{1,0}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\) is \((\kappa _\theta ^++i\xi _n)^{-1}\).
-
(d)
The principal symbol of \(G_\theta ^D\in {\mathcal {G}}^{-2,0}_{1,0}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n})\) is
\(a_{nn}^{-1}(\kappa ^+_\theta +\kappa ^-_\theta )^{-1}(\kappa _\theta ^++i\xi _n)^{-1}(\kappa _\theta ^--i\eta _n)^{-1}\).
For details see [21, Section 2].
For large \(-\lambda =e^{i\theta }\mu ^2\) define
The operator \(G_\lambda ^T\) defined in (1.9) coincides with \(G^T_{\theta ,\mu }\mod \mathcal {O}(\langle \lambda \rangle ^{-N})\) for all \(N\in {\mathbb {N}}\), as operators in \(L_p({\mathbb {R}}^n_+)\). Moreover, let \(G^{T,*}_\theta \) be any operator with the same principal symbol as \(G^T_\theta \). Then according to Theorem 3.2 and the lemma below, \(G^T_\lambda =G^{T,*}_{\theta ,\mu }\mod o(\langle \lambda \rangle ^{-1})\), as operators on \(L_p({\mathbb {R}}^n_+)\).
Lemma 3.6
The operator \(G^T_{\theta }\) is a singular Green operator with symbol \(g^T_\theta \in {\mathcal {G}}^{-2,0}_{1,1/2}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\) and principal symbol
for suitable \(s^{T}_\theta \in S^{-1}_{1,1/2}\left( {\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n}\right) \). The corresponding symbol-kernel is
Proof
Modulo smoothing operators \(G_\theta ^T\) is the composition of the potential operator \(K_\theta ^D\), a parametrix \(S_\theta ^{-\#}\) to the pseudodifferential operator \(S_\theta :=TK^D_\theta \) on the boundary, multiplication by the function \(\varphi _1\) introduced in (1.2) and the trace operator \(\gamma _1 (Q_{\theta ,+}+G^D_\theta )\). Note that \(Q_{\theta ,+}+G^D_\theta \) maps into the kernel of \(\gamma _0\) so that there is no contribution from \(\varphi _0\gamma _0\). Hence the principal symbol of \(G_\theta ^T\) is given by multiplication of the principal symbols of these operators. For the proof of the lemma it is therefore sufficient to combine the following three statements.
-
(i)
\(K^D_\theta = {{\,\mathrm{op}\,}}k_\theta \) with \(k_\theta \in {\mathcal {K}}^{0}_{1,0}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\) and principal symbol
$$\begin{aligned} k_{\theta (0)}(x',\xi ',\zeta ,\xi _n)=(\kappa ^+_\theta (x',\xi ',\zeta )+i\xi _n)^{-1}, \end{aligned}$$which is Remark 3.5(c).
-
(ii)
The symbol \(s^{-\#}_\theta \#\varphi _1\) of \(S^{-\#}_\theta \varphi _1\) is an element of \(S^{-1}_{1,1/2}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\). This is the content of Lemma 3.8, below.
-
(iii)
\(\gamma _1 (Q_{\theta ,+}+G^D_\theta )={{\,\mathrm{op}\,}}t_\theta \) with \(t_\theta \in {\mathcal {T}}^{-1,0}_{1,0}\) and principal symbol
$$\begin{aligned} t_{\theta (-1)}(x',\xi ',\zeta ,\xi _n)=-a_n(x')^{-1}(\kappa _\theta ^-(x',\xi ',\zeta )-i\xi _n)^{-1}, \end{aligned}$$which follows from Remark 3.5 and the composition rules.
\(\square \)
3.3 The parametrix on the boundary
We recall a sufficient condition for the existence of a parametrix.
Theorem 3.7
(Parametrix). Let \(m\ge 0\) and \(p\in S_{1,0}^m({\mathbb {R}}^n\times {\mathbb {R}}^n)\). Suppose there exists a \(0\le \delta <1\), such that for sufficiently large \(|\xi |\) we have the estimates
Then there exists a parametrix \(p^{-\#}\in S^{0}_{1,\delta }({\mathbb {R}}^n\times {\mathbb {R}}^n)\), i.e.,
with \(r_1,r_2\in S^{-\infty }({\mathbb {R}}^n\times {\mathbb {R}}^n)\).
Proof
See [28, Chapter 2, Theorem 5.4]. \(\square \)
Lemma 3.8
The operator \(S_\theta :=TK_\theta ^D\) has a parametrix with symbol \(s_\theta ^{-\#}\) in \(S^{0}_{1,1/2}\left( {\mathbb {R}}^{n-1}\times {\mathbb {R}}^n\right) \). Moreover \(s^{-\#}_\theta \#\varphi _1\in S^{-1}_{1,1/2}\left( {\mathbb {R}}^{n-1}\times {\mathbb {R}}^n\right) \).
Before going into the proof let us point out that the difference between the Robin and the degenerate boundary value problem is the order of the operator \(S_\theta \) which here is zero due to the zeros of \(\varphi _1\) and the resulting loss of ellipticity. The key observation is that we gain back the loss in order by composing with the multiplication operator \(\varphi _1\).
Proof
We want to show that the symbol of \(S_\theta =TK_\theta ^D\) satisfies inequalities (3.11) and (3.12). Write
where \(\Pi _\theta :=\gamma _1K^D_\theta \) is the Dirichlet-to-Neumann operator. It is well-known and a consequence of Remark 3.5(c) that its symbol \(\pi _\theta \) is an element of \(S^1_{1,0}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\); its principal symbol is \(\kappa ^+_\theta \). By Remark 3.5(b) we have \({{\,\mathrm{Re}\,}}\pi _\theta \ge 1\) for sufficiently large \(|\xi ,\zeta |\). Hence, the symbol \(s_\theta \) of \(S_\theta \) satisfies:
The constant c exists by assumption. We have to verify the estimates
The estimate is trivial for \(|\beta |\ge 2\), as \(s_\theta \in S^1_{1,0}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\) and \(|s_\theta ^{-1}|\le c^{-1}\) by Eq. (3.13). Equation (3.13) also shows that \((\varphi _1\pi _\theta )^{k/2}s_\theta ^{-1}\) is bounded for \(k=1,2\). The ellipticity of \(\pi _\theta \) implies that \(|\pi _\theta |^{-k/2}\lesssim \langle \xi ',\zeta \rangle ^{-k/2}\). We obtain the remaining estimates:
and with the help of the inequality \(|\partial _{x_j}\varphi _1(x)|^2 \le \Vert \varphi _1''\Vert _\infty |\varphi _1(x)|\):
Here \(\equiv \) means equality modulo terms that satisfy the estimate. According to Theorem 3.7, there exists a parametrix to \(S_\theta \) with symbol \(s_\theta ^{-\#}\in S^0_{1,1/2}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^{n})\). We still need to show that multiplication by \(\varphi _1\) reduces the order. As \(\pi _\theta \) is elliptic, there exists a parametrix \(\pi _\theta ^{-\#}\) such that \(\pi _\theta \pi _\theta ^{-\#}-1=r'_\theta \) is regularizing, and we find that
Composition with \(\varphi _1 \) or \(\varphi _0 \) from the left is just pointwise multiplication. Hence we obtain the improved order of \(s_\theta ^{-\#}\#\varphi _1 \) from the identities
As \(\varphi _0 \pi _\theta ^{-\#}, \pi _\theta ^{-\#}\in S^{-1}_{1,0}\) and \(s_\theta ^{-\#} \in S^{0}_{1,1/2}\), this completes the proof. \(\square \)
4 Bounded \(H^\infty \)-calculus
In this section we will prove Theorem 1.3.
4.1 The half space and constant coefficients
First, we consider the case where the underlying manifold is the euclidean half-space, the coefficients of the differential operator are constant and only the top order terms are non-zero. In symbols, \(X={\mathbb {R}}^n_+\), \({a^{ij}}(x)={a^{ij}}\in {\mathbb {R}}\), \(b^{j}(x)=0\) and \(c^0(x)=0\). According to the last section, the resolvent of \(A_T+\nu \) has the following structure:
where \(R(\lambda )\in {\mathcal {L}}(L_p({\mathbb {R}}^n_+))\) and \(\Vert R(\lambda )\Vert ={\mathcal {O}}(\langle \lambda \rangle ^{-1-\varepsilon })\) for some \(\varepsilon >0\). For the proof of Theorem 1.3 it is sufficient to provide Estimate (1.3). According to the equation above, we may estimate the three terms on the right hand side separately. The estimate for the first term is well-known, in fact it is the same as in the non-degenerate case. Any operator whose norm in \({\mathcal {L}}(L_p({\mathbb {R}}^n_+))\) is \({\mathcal {O}}(\langle \lambda \rangle ^{-1-\varepsilon })\), for some \(\varepsilon >0\), is integrable along the boundary of \(\Sigma _\theta \) and therefore the estimate holds. To provide the estimate for the singular Green part we need the following.
Lemma 4.1
Let \(\sigma \in S^1_{1,0}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\) and \({{\,\mathrm{Re}\,}}\sigma (x',\xi ',\zeta )\ge c|\xi ',\zeta |\). Then the map
is uniformly bounded. In fact, we have a bound \(C=C(|\sigma |_*,c)\) on the seminorms.
Proof
Induction over \(|\alpha |+|\beta |+l=N\) shows that \(D^\alpha _{\xi '}D^\beta _{x'}D^l_\zeta \exp (-\sigma (x',\xi ',\zeta )t)\) is a linear combination over all \(k\le N\), \(\alpha _1+\dots +\alpha _k=\alpha \), \(\beta _1+\dots +\beta _k=\beta \), and \(l_1+\dots +l_k=l\). The terms in the linear combination have the following structure:
Furthermore, the assumption \(\sigma \in S^1_{1,0}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\) implies:
Moreover, we use the fact that \(s^k\exp (-s)\) is bounded on the positive real axis in order to obtain:
According to the last two estimates, all terms in the linear combination can be estimated by \(C|\xi ',\zeta |^{-|\alpha |-l}\). \(\square \)
Lemma 4.2
A constant \(C=C(|t|_*,M,\vartheta )\) exists such that
Proof
The boundary of \(\Sigma _\theta \) consists of the two rays \(e^{\pm i\theta }{\mathbb {R}}\), which can be treated separately and analogously. Thus, providing the estimate for the following operator is sufficient:
For the estimate, we use the explicit description of the symbol-kernel of \(G'_{\theta }\) in Lemma 3.6. Since \(s^T_{\theta }\in S^{-1}_{1,1/2}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\), \(\zeta s^T_{\theta }(x',\xi ',\zeta )\in S^0_{1,1/2}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\). According to Remark 3.5, the \(\kappa ^\pm _{\theta }\) are strongly elliptic and a constant \(c=c(M,\vartheta )>0\) exists such that:
Thus, \(\sigma ^\pm _{\theta }(x',\xi ',\zeta ):=\kappa ^\pm _{\theta }(x',\xi ',\zeta )-c\zeta \) satisfies the assumption of Lemma 4.1 and the map, below, is uniformly bounded:
Now, we analyze the action of \(G'_{\theta ,\mu }\) in the direction normal to the boundary. To this end, we define a family of operators that act on \({\mathcal {S}}({\mathbb {R}}^{n-1})\):
Correspondingly, we define \(H_{\theta ,\mu }(x_n,y_n)\) from \(h_\theta \). Please note that:
Since the seminorms of \(h_{\theta }\) are uniformly bounded with respect to \((x_n,y_n)\in {\mathbb {R}}^2_{++}\), Theorem 3.2 shows that:
Furthermore, if \(u=v\otimes w\in {\mathcal {S}}({\mathbb {R}}^{n-1})\otimes {\mathcal {S}}({\mathbb {R}}_+)\) is a simple tensor, then:
In order to provide the estimate for \(I^+\), it is sufficient to consider simple tensors because they span a dense subset of \(L_p({\mathbb {R}}^n_+)\). Therefore:
where we used \(L_p\)-boundedness of the Hilbert transform for the latter inequality. The estimate implies that \(I^+\in {\mathcal {B}}(L_p({\mathbb {R}}^n_+))\) and \(\Vert I^+\Vert \le C\Vert f\Vert _{L_\infty (\Sigma _\vartheta )}\). Here, \(C=C(M,|t|_*,\vartheta )\) is the constant in the estimate above. \(\square \)
We now have proven Theorem 1.3 for diffperential operator with constant coefficients.
Remark 4.3
The above arguments also provide the result for the case of smooth coefficients. However, in this case the constants also depend on the symbol seminorms of the differential operator.
4.2 The Euclidean half space
Now, we treat the situation where \(X={\mathbb {R}}^n_+\), but the coefficients of the differential operator may not be constant. We assume that \({a^{ij}}\in C^\tau ({\mathbb {R}}^n_+)\) for some \(\tau >0\) and \(b^{j},c^0\in L_\infty ({\mathbb {R}}^n_+)\). We use the classical approach of freezing coefficients. We only freeze the coefficients of the differential operator, not those of the boundary operator. We use a localization scheme similar to that used by Kunstmann and Weis in [27]. This provides a family of operators that are small perturbations of an operator with frozen coefficients. We will prove that they allow a bounded \(H^\infty \)-calculus in a uniform manner. By patching together these operators, we can conclude that \(A_T\) itself allows a bounded \(H^\infty \)-calculus. We choose a small \(r>0\), how small we have to chose r will become clear later on. We define the cubes \(Q=(-r,r)^n\) and \(Q_l:=Q+l\), with \(l\in \Gamma :=r({\mathbb {Z}}\times {\mathbb {N}}_0)\). Observe that \({\mathbb {R}}^n_+\subset \cup _{l\in \Gamma }Q_l\). We fix a positive function \(\psi \in C_c^\infty (Q)\) such that \(\gamma _1\psi =0\) and
Moreover, we choose a cut-off function \(\chi \in C^\infty _c(Q)\) such that \(\chi =1\) on \({{\,\mathrm{supp}\,}}\psi \) and define \(\chi _l(x):=\chi (x-l)\). We define \(A_l\) as the \(L_p\)-realization with respect to the boundary operator T of the following differential operator.
Observe that \(A_l\psi _l=A_T'\psi _l\), where \(A_T'\) denotes the \(L_p\)-realization of the principal part of \({\mathcal {A}}\). The major technical difficulty is to show that each operator in the family \((A_l)_{l\in \Gamma }\) allows a bounded \(H^\infty \)-calculus, with uniform estimates. More precisely, for suitably chosen \(r>0\):
Lemma 4.4
The operator \(A_l\) belongs to \(H^\infty (\Sigma _{\theta })\) for all \(\theta >0\) and \(l\in \Gamma \). Moreover there exists a \(C:=C(M,\theta ,\Vert a_\alpha \Vert _{C^\tau },|t|_*)>0\) such that
We can choose \(r>0\) such that \(A^s_l\) is a small perturbation of \(A_l^c+\nu \), in the sense of the following result. Recall that the shift \(\nu \) was introduced to ensure the existence of a unique solution to the boundary problem.
Theorem 4.5
Let E be a Banach space with the UMD property, let \(A\in {\mathcal {S}}(E)\) have a bounded \(H^\infty (\Sigma _\vartheta )\)-calculus, and \(0\in \rho (A)\). Suppose that B is a linear operator in E such that \({\mathcal {D}}(A)\subset {\mathcal {D}}(B)\) and
for some \(\varepsilon >0\). Suppose further that \(\gamma \in (0,1)\) and a constant \(C>0\) exist such that
Then \(A+B\) has a bounded \(H^\infty (\Sigma _\vartheta )\)-calculus in E, provided \(\varepsilon \) is sufficiently small. Moreover, a constant \(C_{A+B}=C_{A+B}(C_A,\varepsilon ,C)\) exists such that
For the proof we refer to [12]. To verify the assumptions of the theorem above, we observe:
Lemma 4.6
A constant \(C>0\) exists such that for \(a^s_{l,\alpha }:=\chi _l(a_\alpha -a_\alpha (l))\):
given that \(0<\sigma \le \tau \).
Proof
We recall that r is proportional to the diameter of the cube Q. Thus,
By a similar argument, we obtain the second estimate. \(\square \)
Next, we verify that the lemma above implies the following estimate:
It is well-known that \(C^\tau ({\mathbb {R}}^n_+)\hookrightarrow {\mathcal {B}}(H^s_{p}({\mathbb {R}}^n_+))\) as a multiplication operator for \(0\le s<\tau \). Therefore, with \(s=0\) we obtain:
Furthermore, on \(H^2_p({\mathbb {R}}^n_+)\cap \ker T\), the norm \(\Vert (A^c_l+\nu )\cdot \Vert _{L_p({\mathbb {R}}^n_+)}\) and the \(H^2_p({\mathbb {R}}^n_+)\) norm are equivalent because \((A^c_l+\nu )\) is invertible. Hence, Eq. (4.2) holds. Now, we compute the domain of \((A^c_l+\nu )^\gamma \) for \(2\gamma <\min \{1/p,\tau \}\). According to Theorem [47, Theorem 1.15.2], the domain is:
We write \({\dot{H}}^2_{p}({\mathbb {R}}^n_+)\) for the closure of \(C^\infty _c({\mathbb {R}}^n_+)\) in \(H^2_{p}({\mathbb {R}}^n_+)\). By interpolation, the embedding \({\dot{H}}^2_{p}({\mathbb {R}}^n_+)\hookrightarrow H^2_p({\mathbb {R}}^n_+)\cap \ker T\hookrightarrow H^2_p({\mathbb {R}}^n_+)\) implies:
As \(H^{2\gamma }_p({\mathbb {R}}^n_+)={\dot{H}}^{2\gamma }_{p}({\mathbb {R}}^n_+)\) for \(2\gamma <1/p\), we conclude that \({\mathcal {D}}((A^c_l+\nu )^\gamma )=H^{2\gamma }_p({\mathbb {R}}^n_+)\). Furthermore, the operator \((A^c_l+\nu )^\gamma \) is invertible. Thus, \(\Vert (A^c_l+\nu )^\gamma \cdot \Vert _{L_p({\mathbb {R}}^n_+)}\) and \(\Vert \cdot \Vert _{H^{2\gamma }_p({\mathbb {R}}^n_+)}\) are equivalent norms on \({\mathcal {D}}((A^c_l+\nu )^\gamma )\). We make use of Lemma 4.6 and the embedding \(C^\sigma ({\mathbb {R}}^n_+)\hookrightarrow {\mathcal {B}}(H^s_{p}({\mathbb {R}}^n_+))\) to obtain the following estimate:
We can further estimate the right hand side with [26, p. 70]:
In sum, the following estimate holds for all \(u\in {\mathcal {D}}((\nu +A^c_l)^{1+\gamma })\):
The constants in Eqs. (4.2) and (4.3) are independent of l and r. Therefore, we can choose r such that Theorem 4.5 applies to \(\nu +A^c_l+A^s_l\) and thus Lemma 4.4 holds.
Now we describe the localization scheme. We define \({\mathbb {H}}^s_p({\mathbb {R}}^n_+):=l_p(\Gamma ,H^s_p({\mathbb {R}}^n_+))\) and we write \({\mathbb {L}}_p({\mathbb {R}}^n_+)\) if \(s=0\). We introduce the localization operator L and the patching operator P with the help of a partition of unity (4.1):
We also define the operator \({\mathbb {T}}:{\mathbb {H}}^2_p({\mathbb {R}}^n_+)\rightarrow l_p(\Gamma ;B^{1-1/p}_p({\mathbb {R}}^n_+))\), \((u_l)_{l\in \Gamma }\rightarrow (Tu_l)_{l\in \Gamma }\). We collect some properties of these operators, which follow directly form the definitions:
Lemma 4.7
Let L, P and \({\mathbb {T}}\) be as above. Then
-
(1)
\(L\in {\mathcal {B}}(H^s_p({\mathbb {R}}^n_+);{\mathbb {H}}^s_p({\mathbb {R}}^n_+))\)
-
(2)
\(P\in {\mathcal {B}}({\mathbb {H}}^s_p({\mathbb {R}}^n_+);H^s_p({\mathbb {R}}^n_+))\)
-
(3)
\(PL=1\)
-
(4)
\(L:H^2_p({\mathbb {R}}^n_+)\cap \ker T\rightarrow {\mathbb {H}}^2_p\cap \ker {\mathbb {T}}\)
-
(5)
\(P:{\mathbb {H}}^2_p\cap \ker {\mathbb {T}}\rightarrow H^2_p({\mathbb {R}}^n_+)\cap \ker T\)
We write \(A_{lk}:=\delta _{lk}A_l\), with domain \({\mathcal {D}}(A_{lk})=H^2_p({\mathbb {R}}^n_+)\cap \ker T\). We define
Similar we define \({\mathbb {B}}\) and \({\mathbb {D}}\) for the following families of operators.
Here \(A_{low}\) denotes the \(L_p\)-realisation with respect to the boundary operator T of \({\mathcal {A}}-{\mathcal {A}}'\). All sums in (4.4) are finite. In fact, we have a symmetric relation \(l\bowtie k:\Leftrightarrow {{\,\mathrm{supp}\,}}\psi _l\cap {{\,\mathrm{supp}\,}}\psi _k\ne \emptyset \) on \(\Gamma \). The definition of \(\psi _l\) implies that for fixed \(l\in \Gamma \) the set \(\Gamma _l:=\{k\in \Gamma :k\bowtie l\}\) is finite. Obviously \(B_{lk}=0\) and \(D_{lk}=0\) if \(k\ne \Gamma _l\). The operators above are defined such that they satisfy the following relations.
For suitably chosen \(r>0\) we obtain:
Lemma 4.8
The operator \({\mathbb {A}}\) belongs to \(H^\infty (\Sigma _\theta )\) for each \(\theta >0\).
Proof
We fix \(\theta >0\) and choose \(r>0\) such that Lemma 4.4 applies. In particular, \(\Sigma _\theta \subset \rho (A_l)\) for all \(l\in \Gamma \) with uniform bounds on the inverse. Therefore, the inverse of \(\lambda -{\mathbb {A}}\) exists and is given by \((\lambda -{\mathbb {A}})^{-1}(u_l)_{l\in \Gamma }=((\lambda -A_l)^{-1}u_l)_{l\in \Gamma }\). For each \(l\in \Gamma \) we have a bounded operator
Let C be as in Lemma 4.4 and \(f\in H_*^\infty (\Sigma _\theta )\). Then
This estimate is sufficient to see that \({\mathbb {A}}\in H^\infty (\Sigma _\theta )\). \(\square \)
Next, we observe that both \({\mathbb {B}}\) and \({\mathbb {D}}\) are lower order perturbations of \({\mathbb {A}}\) in the sense of the following well-known perturbation theorem going back to Amann. For a proof we refer to [27, Proposition 13.1].
Theorem 4.9
Let \(A\in {\mathcal {S}}(E)\) have a bounded \(H^\infty (\Sigma _\theta )\)-calculus in E and assume \(0\in \rho (A)\). Let \(\gamma \in (0,1)\) and suppose that B is a linear operator in E satisfying \({\mathcal {D}}(B)\supset {\mathcal {D}}(A)\), and
where \(C>0\). Then \(\nu +A+B\) has a bounded \(H^\infty (\Sigma _\theta )\)-calculus in E for \(\nu \ge 0\) sufficiently large.
In particular, for suitably chosen \(r>0\) we obtain:
Lemma 4.10
For each \(\theta >0\) a constant \(\nu \ge 0\) exists such that both \(\nu +\mathbb {A+B}\) and \(\nu +\mathbb {A+D}\) belong to \(H^\infty (\Sigma _\theta )\).
Proof
We can assume that \(0\in \rho ({\mathbb {A}})\), otherwise we consider \(\nu +{\mathbb {A}}\). Thus, \({\mathbb {A}}^{(1-\gamma )}\) is invertible and \(\Vert \cdot \Vert _{{\mathcal {D}}({\mathbb {A}}^{1-\gamma })}\) is equivalent to \(\Vert {\mathbb {A}}^{1-\gamma }\cdot \Vert _{{\mathbb {L}}_p({\mathbb {R}}^n_+)}\). According to Lemma 4.8, the operator \({\mathbb {A}}\) belongs to \(H^\infty (\Sigma _\theta )\) and therefore has bounded imaginary powers. According to [47, Theorem 1.15.2], the domain of \({\mathbb {A}}^{1-\gamma }\) is given by complex interpolation.
We can focus on \({\mathbb {B}}\), because the arguments for \({\mathbb {D}}\) are the same. A closer look on the definition of \(B_{lk}\) reveals that it is a first order differential operator. In particular, for each \(\gamma <1/2\) we have the standard estimate:
Note that the constant \(C>0\) only depends on the \(L_\infty \)-norm of the coefficients and thus can be chosen independent of k and l. We write \(N:=\sup _{l\in \Gamma } \#\{k\in \Gamma :k\bowtie l\}\). Then by estimate (4.7)
In the fourth inequality we used the symmetry of the relation \(\bowtie \) to change the order of summation. We finish the proof by the application of Theorem 4.9 to \(\nu +\mathbb {A+B}\). \(\square \)
Now, we can prove Theorem 1.3 for the case \(X={\mathbb {R}}_+^n\).
Proof
For given \(\theta >0\) we choose \(\nu ,r>0\) such that Lemma 4.10 applies. For each \(\lambda \in \Sigma _\theta \) the operator \(\lambda -(\nu +A_T)\) is invertible with left inverse \(P(\lambda -(\nu +\mathbb {A+B}))^{-1}L\) and right inverse \(P(\lambda -(\nu +\mathbb {A+D}))^{-1}L\). For all \(f\in H^\infty _*(\Sigma _\theta )\) we have
Therefore, \(\nu +A_T\) allows a bounded \(H^\infty (\Sigma _\theta )\)-calculus. \(\square \)
4.3 Manifolds
Now, let (X, g) be a manifold with boundary and bounded geometry as in [17], see also [34]. We choose an atlas of Fermi coordinates \(\kappa _l:U_l\subset X\rightarrow V_l\subset \overline{{\mathbb {R}}}^n_+\) with index set \(\Gamma \) such that \(\sup _{l\in \Gamma }|\{k\in \Gamma :U_k\cap U_l\ne \emptyset \}|=:N<\infty \). We also choose a subordinate partition of unity \((\psi _l)_{l\in \Gamma }\) such that \(\partial _\nu \psi _l=0\) for all \(l\in \Gamma \). Here, \(\nu \) denotes an outward unit normal vector field on \(\partial X\). For each \(\psi _l\), we choose positive functions \(\chi _l',\chi _l\in C^\infty _c(U_l)\) such that \(\chi _l=1\) on \({{\,\mathrm{supp}\,}}\psi _l\) and \(\chi _l'=1\) on \({{\,\mathrm{supp}\,}}\chi _l\). We denote \(\chi _{l,*}=\kappa _{l,*}\chi _l\in C_c^\infty (V_l)\subset C_c^\infty (\overline{{\mathbb {R}}}_+^n)\). Similarly, we define \(\chi '_{l,*}\). Moreover, we write \({\tilde{\kappa }}_l(x'):=\kappa _l(x',0)\) for the induced chart on the boundary. Let \({\mathcal {A}}\) be a sufficiently regular M-elliptic second order differential operator on X as in (1.1) and T be a boundary operator as in (1.2). For each \(l\in \Gamma \), we define the following operators:
Then \({\mathcal {A}}_l\) is an M-elliptic second order differential operator on euclidean space with sufficiently regular coefficients. Moreover, the norms of the coefficients of the local representations of \({\mathcal {A}}\) are bounded by M. Therefore, the norms of the coefficients of \({\mathcal {A}}_l\) are uniformly bounded with respect to \(l\in \Gamma \) and so are the seminorms \(|t_l|_*\). We define:
Each operator \(A_l\) satisfies the assumptions in the last subsection. Therefore, we can apply Theorem 1.3 to \(A_l\), which implies that Lemma 4.4 continues to hold. We define the localization operator and the patching operator by:
By definition, u belongs to \(H^s_p(X)\) if and only if Lu belongs to \({\mathbb {H}}^s_p({\mathbb {R}}^n_+)\). Moreover, the norms of u and Lu coincide. Therefore:
-
\(L\in {\mathcal {B}}(H^s_p(X);{\mathbb {H}}^s_p({\mathbb {R}}^n_+))\),
-
\(P\in {\mathcal {B}}({\mathbb {H}}^s_p({\mathbb {R}}^n_+);H^s_p(X))\), and
-
\(PL=1\).
Remark 4.11
Spaces on manifolds with boundary and bounded geometry:
-
(a)
It is natural to define \(H^s_p(X)\) as \(r^+H^s_p({\hat{X}})\). Here \(r^+\) is the restriction in the sense of distributions, \(H^s_p({\hat{X}})=(I-\Delta _g)^{-s/2}L_p({\hat{X}})\) and \({\hat{X}}\) is a manifold with bounded geometry which contains X. For the existence of \({\hat{X}}\) we refer to [6]. The operator \((I-\Delta _g)^{-s/2}\) is well defined for all \(s\in {\mathbb {R}}\), due to the result of Strichartz in [40]. Since the restriction can be treated analogously to the euclidean or compact case, we may only consider \(H^s_p({\hat{X}})\). Let L be defined as above with respect to an atlas of normal coordinates. Then \(\Vert L\cdot \Vert _{{\mathbb {H}}_p^s({\mathbb {R}}^n)}\) and \(\Vert (I-\Delta _g)^s\cdot \Vert _{L_p({\hat{X}})}\) are equivalent norms; this result is due to H. Triebel, see [48, Theorem 7.4.5]. In [17], it was observed that an atlas of Fermi coordinates also gives rise to an equivalent norm.
-
(b)
The interpolation results for \(H^s_p({\mathbb {R}}^n)\) extend to \(H^s_p({\hat{X}})\). This follows from two facts. First \(H^s_p({\hat{X}})\) is a retract of \({\mathbb {H}}^s_p({\mathbb {R}}^n)\). Second \({\mathbb {H}}^s_p({\mathbb {R}}^n)\) is the space of p-summable sequences with values in \(H^s_p({\mathbb {R}}^n)\).
-
(c)
We may define Besov-spaces via real interpolation or via the localization operator L. According to part (b) both definitions coincide. The trace theorem holds on manifolds with boundary and bounded geometry, see [17] for the details.
Furthermore, we define \({\mathbb {T}}:{\mathbb {H}}^2_p({\mathbb {R}}^n_+)\rightarrow {\mathbb {B}}^{1-1/p}_p({\mathbb {R}}^{n-1})\), \((u_l)_{l\in {\mathcal {I}}}\mapsto (T_lu_l)_{l\in {\mathcal {I}}}\). Using the fact \(\partial _\nu \psi _l=0\) for all \(l\in \Gamma \) we obtain: The localization operator maps the kernel of T to the kernel of \({\mathbb {T}}\) and the patching operator maps the kernel of \({\mathbb {T}}\) into the kernel of T. We define \({\mathcal {D}}({\mathbb {A}}):={\mathbb {H}}^2_p({\mathbb {R}}^n_+)\cap \ker {\mathbb {T}}\). Note that \((u_l)_{l\in \Gamma }\in {\mathcal {D}}({\mathbb {A}})\) implies that \(u_l\in {\mathcal {D}}(A_l)\) for all \(l\in \Gamma \). Therefore, the following definition is reasonable:
Lemma 4.8 continues to hold as it only relies on Lemma 4.4. We define \({\mathbb {B}},{\mathbb {D}}:{\mathbb {H}}^2_p({\mathbb {R}}^n_+)\subset {\mathbb {L}}_p({\mathbb {R}}^n_+)\rightarrow {\mathbb {L}}_p({\mathbb {R}}^n_+)\) as infinite matrices with entries:
Again, the definition is motivated by the Relations (4.5) and (4.6). The operators \({\mathbb {A}},{\mathbb {B}},{\mathbb {D}}, L\) and P have the same properties as those on the euclidean space. Therefore, the proof of Theorem 1.3 carries over.
5 Non-smooth boundary operators
In order to treat the case of non-smooth boundary operators, we may assume that \(X={\mathbb {R}}^n_+\) and A has constant coefficients. The same perturbation arguments as before will then give the result for the general case. For the sake of simplicity we will moreover suppose that \(\varphi _0\equiv 1\), and \(\varphi _1=\varphi ^2\), with \(\varphi \in C^{2+\tau }\) and \(\tau >0\). The operator \(S_\theta =TK_\theta ^D\) then is a pseudodifferential operator on the boundary with symbol:
As in the smooth case, we associate an operator \(S_\lambda \) to \(S_\theta \) by restricting the additional covariable to \(\mu \), where \(\lambda =e^{\pm \theta }\mu ^2\). The following result is essential.
Proposition 5.1
For sufficiently large \(|\lambda |\) and \(s< \tau -1\), the operator \(S_\lambda \) is invertible as an unbounded operator in \(B^s_p(\mathbb R^{n-1})\) with its maximal domain. Moreover,
and there exists an \(s^T_\theta \in S^{-1}_{1,\gamma }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\) and an \(\varepsilon >0\), such that for \(S^T_\lambda ={{\,\mathrm{op}\,}}(s^T_{\theta ,\mu })\) we have
The constant \(C=C(M,\Vert \varphi \Vert _{C^{2+\tau }})\) and the symbol seminorms of \(s^T_\theta \) only depend on M and \(\Vert \varphi \Vert _{C^{2+\tau }}\).
Using the above result, the proof of Theorem 1.4 is analogous to that of Theorem 1.3, from Lemma 3.6 onwards.
Proof of Theorem 1.4
Recall that \((A^{-1}_{\lambda ,+}+G^D_\lambda ,K^D_\lambda )\) is the inverse to the Dirichlet problem and \(G^T_\lambda =-K^D_\lambda S^{-1}_\lambda T(A_{\lambda ,+}^{-1}+G^D_\lambda )\), see (1.9). In view of Eq. (5.2) and Theorem 3.2, the operator \(A_{\lambda ,+}^{-1}+G^D_\lambda +G^T_\lambda \) maps \(L_p({\mathbb {R}}^n_+)\) into \(H^2_p({\mathbb {R}}^n_+)\). Note that
Therefore, \(A_{\lambda ,+}^{-1}+G^D_\lambda +G^T_\lambda \) maps \(L_p({\mathbb {R}}^n_+)\) into the domain \({\mathcal {D}}(A_T)\) and is the resolvent. According to Eq. (5.3) and Theorem 3.2,
Thus, up to an error which is integrable with respect to \(\lambda \), \(G^T_\lambda \) coincides with
This operator has a symbol-kernel as in Lemma 3.6. The only difference is that now \(\delta =\gamma \) instead of \(\delta =1/2\), which does not affect the arguments given in Sect. 4. \(\square \)
The rest of this section is dedicated to the proof of Proposition 5.1. Guided by the smooth case, we define a pseudodifferential operator on the boundary with symbol:
First we have to check that the function above is indeed a symbol. To this end we need the following estimates.
Lemma 5.2
Let \(s_\theta \) be as in (5.1). Then for all \(\alpha ,\beta \in {\mathbb {N}}^{n}\) with \(|\beta |\le 2\) a constant \(C=C(M,\Vert \varphi \Vert _{C^{2+\tau }})\) exists such that
Proof
We first consider the Estimates (5.5). The function
is bounded as \(\mathrm{Re}\) \(\pi _\theta (\xi ,\zeta ) \ge c|\xi ,\zeta |\ge 0\) with a constant \(c=c(M)\). To estimate the Hölder norm we write
By elementary calculus, we obtain
Note that, under the assumption that \(a\in \Lambda _\theta \) for some \(0<\theta <\pi /2\), a constant \(C=C(\theta )\) exists such that \(|f_a(s)|\le C\) and \(|asf_a(s)|\le C\). Therefore, \(\Vert f_a(s)\Vert _{C^i}\le C |a|^i\) for \(i\in \{0,1,2,3\}\). By interpolation, we obtain \(\Vert f_a(s)\Vert _{C^{2+\tau }}\le C|a|^{2+\tau }\) for \(0<\tau <1\). According to [23, Theorem A.8], the composition of \(C^{2+\tau }\) functions is again a \(C^{2+\tau }\) function, and
Here, the constant \(C=C(M,\theta ,\Vert \varphi \Vert _{C^{2+\tau }})\) also depends on \(\Vert \varphi \Vert _{C^{2+\tau }}\). Next, we consider the Estimates (5.6). For \(\alpha \ne 0\)
As \(\pi _\theta \in S^1_{1,0}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\) is an elliptic symbol, the following estimates hold
We recall the well-known estimate for the Hölder norm of a product:
In view of Eqs. (5.8), (5.9) and (5.10), for the proof of (5.6) it is sufficient to prove:
Using the fact that
these estimates follow from Estimates (5.5). Finally we consider Estimates (5.7). In case \(|\beta |=2\), they follow from (5.5) and the fact that \(s_\theta \in C^{2+\tau } S^1_{1,0}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\). If \(|\beta |=1\), we use the fact that \((as)f_a(s)\) is bounded. \(\square \)
With these estimates at hand we can prove the following result.
Lemma 5.3
Let \(s_\theta ^{-\#}\) be as in (5.4). Then
Proof
According to Leibniz’ rule, \(\partial ^\alpha _\xi s_\theta ^{-\#}\) is a linear combination of terms, indexed by \(k\le |\alpha |\) and \(\alpha _1+\dots +\alpha _k=\alpha \), which have the following structure:
According to Lemma 5.2, the supremum norm of such a term is bounded by \(C\langle \xi ',\zeta \rangle ^{-|\alpha _i|}\) and the Hölder norm is bounded by \(C\langle \xi ',\zeta \rangle ^{1+\tau /2-|\alpha _i|}\). Therefore, \(s^{-\#}_\theta \) is a symbol of the claimed class. As \(\varphi \) only depends on x, \(\partial ^\alpha _\xi \varphi ^2 s_\theta ^{-\#}\) has a similar structure as \(\partial ^\alpha _\xi s_\theta ^{-\#}\). We only have to replace the first factor by
Since \(\pi _\theta \) is elliptic of order 1, we have the claimed reduction in the order. \(\square \)
In order to verify that \(s_\theta ^{-\#}\) is a coarse parametrix to \(s_\theta \), we need some results on the composition of non-smooth pseudodifferential operators. In essence, we follow the argumentation in [1]. The key tool to handle the composition of non-smooth symbols is symbol smoothing:
Theorem 5.4
Let \(p\in C_*^\sigma S^m_{1,\delta }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\) and \(\gamma \in (\delta ,1)\). Then symbols
exist such that \(p=p^\sharp +p^\flat \). Moreover,
For the proof of the result, we refer to [46, §1.3].
Let \(p\in C_*^{\sigma _p}S^{m_p}_{1,\delta _p}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\) and \(q\in C_*^{\sigma _q}S^{m_q}_{1,\delta _q}({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\). For all \(k<\sigma _q\) we define the truncated composition:
Moreover, we write \(t_k^\flat (p,q)=t_k(p,q^\flat )\) and \(t_k^\sharp (p,q)=t_k(p,q^\sharp )\), where \(q^\sharp \) and \(q^\flat \) are as in Theorem 5.4 with \(\gamma \in (\delta _q,1)\). Note that \(t_k^\sharp \) is defined for all \(k\in {\mathbb {N}}_0\). Clearly the truncated composition is a symbol, given as a sum over symbols of different order and regularity. In order to facilitate the analysis, we set \(t_{-1}(p,q):=0\) and introduce the difference \(d_k(p,q):=t_k(p,q)-t_{k-1}(p,q)\). Similarly we define \(d_k^\flat (p,q)\) and \(d_k^\sharp (p,q)\). From the definition we conclude that:
To each symbol defined above we associate a pseudodifferential operator. We denote the operator by capital letters, e.g. \(P:=p(x,D)\). To further simplify the notation we drop the dependence on p and q if these are obvious, e.g. \(t_k=t_k(p,q)\) or \(T_k=t_k(x,D)=t_k(p,q)(x,D)\).
We now analyze the composition. To this end we fix \(n,n'\in {\mathbb {N}}_0\), such that \(n'\le n\) and \(n'\le \sigma _q\). Then:
The first term on the right hand side is the truncated composition and the other terms are remainder terms, which we now analyze. We define \(R_{n'}:=T_{n'}^\sharp -T_{n'}\), \(R_{n,n'}:=T_{n}^\sharp -T_{n'}^\sharp \), \(R^\sharp _n:=PQ^\sharp -T_n^\sharp \), and \(R^\flat :=PQ^\flat \). In view of Eq. (5.12), the term
is a pseudodifferential operator with symbol
We point out that the following term is a pseudodifferential operator with the same regularity as p.
To be precise, Eqs. (5.13) and (5.14) imply that the symbol belongs to
We use the well-known fact that \(PQ^\sharp \sim \sum _{k\in {\mathbb {N}}_0}D^\sharp _k\) in order to analyze
In view of Eqs. (5.13) and (5.14), the symbol of the operator above belongs to
The analysis of \(R^\flat =PQ^\flat \) relies on the fact that \(Q^\flat \) has lower order than Q.
We now apply the results above to the case of interest, which is \(p=s_\theta \) and \(q=s_\theta ^{-\#}\). The parameters in this case are \(m_p=1\), \(m_q=0\), \(\delta _p=0\), \(\delta _q=1/2\) and \(\sigma _p=\sigma _q=2+\tau \), with \(\tau >0\). We fix \(n'=0\), \(n=2\) and \(\gamma \in (1/(2+\tau )+1/2,1)\). We define \(2\varepsilon =\min ((\gamma -1/2)(2+\tau )-1,1)>0\). Then Eq. (5.12) implies
In particular, since \(R_0=D^\flat _0\) we have
We make the following observation. According to Lemma 5.2:
Please note that these terms have lower order than the general theory implies. We may write \(D_k^\sharp =D_k-D_k^\flat \) for \(k\in \{1,2\}\). Then
On the other hand, the general theory implies
By complex interpolation we obtain
In particular, as \(R_{0,2}=D^\sharp _1+D^\sharp _2\) we have
According to Eq. (5.15), we have
Theorem 5.4 yields
Since \(P:B^{s+1}_p({\mathbb {R}}^n)\rightarrow B_p^s({\mathbb {R}}^n)\) if \(0\le s<2+\tau \), we obtain
We define \(R^R_\theta :=S_\theta S_\theta ^{-\#}-I\), then \(R^R_\theta =R_0+R_{0,2}+R^\sharp _2+R^\flat \). Thus
We also compute the left remainder. In this case \(p=s_\theta ^{-\#}\) and \(q=s_\theta \), thus the parameters are \(m_p=0\), \(m_q=1\), \(\delta _p=1/2\), \(\delta _q=0\) and \(\sigma _p=\sigma _q=2+\tau \). We fix \(n'=0\), \(n=1\) and \(\gamma =1/2\). Then \((\gamma -\delta _q)(2+\tau )=1+\tau /2\ge 1+2\varepsilon \), with the same \(\varepsilon \) as above. According to Eq. (5.12),
In particular, as \(R_0=D^\flat _0\) we have
As before, we obtain:
Thus, if we write \(D_1^\sharp =D_1-D^\flat _1\) we obtain
Since \(\delta _q=0\) in this case, the general theory implies
Therefore, by complex interpolation with parameter \(1-2\varepsilon \) we obtain
Since \(R_{0,1}=D^\sharp _1\), the above result holds for \(R_{0,1}\). We want to point out that \(\tau -\varepsilon >0\). We choose \(n=1\) in this case, as \(r_1^\sharp \) already has order \(-1\). We therefore have
Note that \(q^b\) has order \(-2\varepsilon \). Since p has order zero, we obtain
We define \(R_\theta ^L:=S_\theta ^{-\#}S_\theta -I\), then \(R_\theta ^L=R_0+R_{1,0}+R^\sharp _1+R^\flat \). Therefore,
Now we analyze the parameter dependence of the above operator. To this end we need to extend Theorem 3.2 to non-smooth symbols.
Theorem 5.5
Let \(p\in C_*^\sigma S^{-m}_{1,\delta }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\) and \(m\ge 0\). Then
for \(0\le s\le m\) and \(s< \sigma (1-\delta )\).
Proof
We fix \(\gamma \in (\delta ,1)\) such that \(s\gamma <\sigma (\gamma -\delta )\). According to Theorem 5.4 a decomposition \(p=p^\sharp +p^\flat \) exists, with \(p^\sharp \in S^{-m}_{1,\gamma }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\) and \(p^\flat \in C_*^\sigma S^{-m-\sigma (\gamma -\delta )}_{1,\gamma }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\). According to Theorem 3.2,
Note that for any \(s,s'\le 0\) the estimate \(\langle \xi ,\mu \rangle ^{s+s'}\le \langle \xi \rangle ^s\langle \mu \rangle ^{s'}\) holds. Therefore, the map
is bounded by \(\langle \mu \rangle ^{-m+s}\). The result follows from the well-known mapping properties of non-smooth pseudodifferential operators. \(\square \)
Corollary 5.6
The operators \(R^R_\lambda \) and \(R^L_\lambda \) belong to \({\mathcal {L}}(L_p({\mathbb {R}}^{n-1}))\) and their norms are bounded by \(C\langle \lambda \rangle ^{-\varepsilon /2}\), with \(C=C(M,\Vert \varphi \Vert _{C^{2+\tau }})\).
Proof
Theorem 5.5 directly applies to all symbols of the components of \(R^R_\theta \) and \(R^L_\theta \), except for \(R^\flat _\theta =P_\theta Q^\flat _\theta \), where we have to use the theorem twice. \(\square \)
Proposition 5.7
For sufficiently large \(|\lambda |\), \(1-R^R_\lambda \) and \(1-R^L_\lambda \) are invertible in \({\mathcal {L}}(L_p({\mathbb {R}}^{n-1}))\). Moreover, \((1-R^R_\lambda )^{-1}\in {\mathcal {L}}(B^s_p({\mathbb {R}}^{n-1}))\) for \(0\le s<1+\tau \) and \((1-R^L_\lambda )^{-1}\in {\mathcal {L}}(B^s_p({\mathbb {R}}^{n-1}))\) for \(0\le s< 2+\tau -\varepsilon \).
Proof
Let \(R=R^R_\lambda \) or \(R=R^L_\lambda \). According to Corollary 5.6, the \({\mathcal {L}}(L_p({\mathbb {R}}^{n-1}))\)-norm of R is less than 1, if \(|\lambda |\) is large. Therefore, the inverse is given by a Neumann series
The finite sum belongs to \({\mathcal {L}}(B^s_p({\mathbb {R}}^{n-1}))\), since R does. We fix K such that \(K\varepsilon > s\). Since \(H^{s'}_p({\mathbb {R}}^{n-1})\hookrightarrow B^s_p({\mathbb {R}}^{n-1})\) for \(s'>s\), \(R^K\in {\mathcal {L}}(L_p({\mathbb {R}}^{n-1});B^s_p({\mathbb {R}}^{n-1}))\). in view of the fact that \(B^s_p({\mathbb {R}}^{n-1})\hookrightarrow L_p({\mathbb {R}}^{n-1})\) for \(s>0\), we obtain \(R^K(1-R)^{-1}\in {\mathcal {L}}(B^s_p({\mathbb {R}}^{n-1}))\). \(\square \)
Now we can prove Proposition 5.1.
Proof
By definition, we have \(S_\lambda S_\lambda ^{-\#}=1-R^L_\lambda \) and \(S_\lambda ^{-\#}S_\lambda =1-R^R_\lambda \). According to Proposition 5.7, for sufficiently large \(|\lambda |\), the left and right inverse to \(S_\lambda \) exist and belong to \({\mathcal {L}}(B^s_p({\mathbb {R}}^{n-1}))\), if \(0\le s< 1+\tau \). The inverse is
Now we consider \(S_\lambda ^{-1}\varphi ^2=(1-R^R_\lambda )^{-1}S^{-\#}_\lambda \varphi ^2\). In view of Lemma 5.3, \(\varphi ^2S^{-\#}_\lambda \) maps \(B^s_p({\mathbb {R}}^{n-1})\) to \(B^{s+1}_p({\mathbb {R}}^{n-1})\) for \(s< 1+\tau \). Moreover, \((1-R^R_\lambda )^{-1}\in {\mathcal {L}}(B^s_p({\mathbb {R}}^{n-1}))\) for \(s<2+\tau -\varepsilon \), according to Proposition 5.7. Thus, it is sufficient to consider the commutator \([S_\lambda ^{-\#},\varphi ^2]\). To this end, we apply the results on the composition to \(p=s^{-\#}_\theta \in C^{2+\tau } S^0_{1,1/2}\) and \(q=\varphi ^2\in C^{2+\tau } S^{0}_{1,0}\), we fix \(n'=0\), \(n=1\) and \(\gamma <1\) such that \((2+\tau )(\gamma -1/2)>1\). Then
Thus, \([S^{-\#}_\lambda ,\varphi ^2]\) belongs to \( {\mathcal {L}}(B^s_p({\mathbb {R}}^{n-1});B^{s+1}_p({\mathbb {R}}^{n-1}))\) for \(0\le s<1+\tau \) and Eq. (5.2) holds. We observe, that \(r_{0,1}=d^\sharp _1=d_1-d^\flat _1\in C^{1+\tau }S^{-1-1/2}_{1,\gamma }\), since:
According to Theorem 5.5, the operator \([S_\lambda ^{-\#},\varphi ^2]\in {\mathcal {L}}(L_p({\mathbb {R}}^{n-1}))\) and \(\Vert [S_\lambda ^{-\#},\varphi ^2]\Vert \in {\mathcal {O}}(\langle \lambda \rangle ^{-(1+\varepsilon )/2})\). Thus
We denote by \(s^T_\theta \) the smooth part of the symbol of \(\varphi ^2S_\theta ^{-\#}\). According to Lemma 5.3 and Theorem 5.4, \(s^T_\theta \in S^{-1}_{1,\gamma }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\) and \(\varphi ^2s^{-\#}_\theta -s^T_\theta \in S^{-(1+\varepsilon )}_{1,\gamma }({\mathbb {R}}^{n-1}\times {\mathbb {R}}^n)\). In view of Theorem 5.5, we have \(\varphi ^2S_\lambda ^{-\#}-S^T_\lambda \in {\mathcal {L}}(L_p({\mathbb {R}}^{n-1}))\) and \(\Vert \varphi ^2S_\lambda ^{-\#}-S^T_\lambda \Vert \in {\mathcal {O}}(\langle \lambda \rangle ^{-(1+\varepsilon )/2})\). \(\square \)
6 The porous medium equation
In this section, we illustrate the applicability of the theory developed so far to nonlinear parabolic partial differential equations. A prominent example for this type of equations is the porous medium Eq. (1.6). It arises for instance in the description of the gas flow through a porous medium. As pointed out, we consider the case where the initial value \(v_0\in H^2_p(X)\) satisfies \(v_0\ge c\) for some \(c>0\) and the boundary value \(\phi \) is in \(C^1(J_0;B^{1-1/p}_{p,T}(\partial X))\), \(J_0=[0,t_0]\) and compatible with the initial value, i.e., \(\phi (0)=Tv_0\). Under this assumption, Theorem 1.9 provides the short time existence of a solution. We recall a result on short time existence for quasi-linear evolution equations.
6.1 Quasi-linear evolution equations
Let \(1<q<\infty \), \(E_0\) be a Banach space, \(E_1\hookrightarrow E_0\) densely, \(J_0=[0,t_0]\) for some \(t_0>0\). We consider the quasi-linear problem
Here \(E_q:=(E_0,E_1)_{1-1/q,q}\), \(A:J_0\times E_q\rightarrow {\mathcal {L}}(E_1,E_0)\) is continuous, and \(F:J_0\times E_q\rightarrow E_0\) satisfies assumptions of the Caratheodory type, i.e. \(F(\cdot ,u)\) is measurable for each \(u\in E_q\), \(F(t,\cdot )\) is continuous for a.a. \(t\in J_0\), and \(f(\cdot ):=F(\cdot ,0)\in L_q(J_0;E_0)\). Moreover, we assume the following condition on local Lipschitz continuity of A and F for some \(R^*>0\):
- (A):
-
For each \(R\in (0,R^*)\) there is a constant \(C=C(R)\) such that
$$\begin{aligned} \Vert A(t,u)v-A(t,{\bar{u}})v\Vert _{E_0}\le C\Vert u-{\bar{u}}\Vert _{E_q}\Vert v\Vert _{E_1},\;\;t\in J_0,\;u,{\bar{u}}\in B(0,R),\;v\in E_1. \end{aligned}$$ - (F):
-
For each \(R\in (0,R^*)\) there is a function \(\psi _R\in L_q(J_0)\) such that
$$\begin{aligned} \Vert F(t,u)-F(t,{\bar{u}})\Vert _{E_0}\le \psi _R(t)\Vert u-{\bar{u}}\Vert _{E_q},\;\; a.a.\; t\in J_0,\;u,{\bar{u}}\in B(0,R). \end{aligned}$$
Theorem 6.1
Suppose assumptions (A) and (F) are satisfied, and assume that \(A_0=A(0,u_0)\) has the property of maximal \(L_q\)-regularity. Then there is a \(t^*>0\) such that (6.1) admits a unique solution u on \(J=[0,t^*]\) in the maximal regularity class \(u\in H^1_q(J;E_0)\cap L_q(J;E_1)\)
The result goes back to [10]. We use the formulation given in [31], except for the fact that we assume \(u_0=0\) and require Lipschitz continuity of A and F only for some \(R^*>0\) while in [31, Theorem 3.1] \(R^*=\infty \) is assumed. The latter can be achieved easily by modifying A and F outside a neighborhood of zero:
Let A satisfy assumption (A). Fix a positive function \(\chi \in C^\infty ({\mathbb {R}}_+)\), which is 1 on \([0,R^*/2]\) and 0 on \([R^*,\infty )\). We define
Then \({\tilde{A}}\) satisfies Assumption (A), with \(R^*=\infty \). Similarly
satisfies Assumption (F), with \(R^*=\infty \). By definition \({\tilde{A}}(0,u_0)=A(0,u_0)\) and therefore \({\tilde{A}}(0,u_0)\) has the property of maximal \(L_q\)-regularity, if \(A(0,u_0)\) does. Under the assumptions of Theorem 6.1, [31, Theorem 3.1] implies that a unique solution \(u\in H^1_q(J;E_0)\cap L_q(J;E_1)\) to
exists. It is well-known that the solution belongs to \(C(J;E_q)\). Thus, for a possibly shorter J we can assume that \(u(t)\in B(u_0,R^*/2)\) for all \(t\in J\). Therefore, \({\tilde{A}}(t,u(t))=A(t,u(t))\) and \({\tilde{F}}(t,u(t))=F(t,u(t))\) for all \(t\in J\). Hence, u solves Eq. (6.1).
6.2 Proof of Theorem 1.9
As a first step we reduce to the case of homogeneous boundary condition. To this end, we need the following result.
Lemma 6.2
Let \(\phi \in C^1(J_0;B^{1-1/p}_{p,T}(\partial X))\) and \(v_0\in H^2_p(X)\). Then there exists a \(w\in C^1(J_0;H^2_p(X))\), such that \(Tw=\phi \) and \(w(0)=v_0\).
Proof
By Proposition 1.7, \(T:H^s_p(X)\rightarrow B^s_{p,T}(\partial X)\) is linear, bounded and surjective. According to a result of Michael [30, Corollary, p. 364] every linear bounded surjective map between two Banach spaces has a continuous right inverse. Hence there exists a continuous lifting of the continuous map \({{\dot{\phi }}}: J_0\rightarrow B^{1-1/p}_{p,T}\), i.e. a map \({\tilde{w}}\in C(J_0;H^2_p(X))\) such that \({T}{\tilde{w}}(t)={\dot{\phi }}(t)\). We define
Then \(w\in C^1(J_0;H^s_p(X))\) and
Clearly \(w(0)=v_0\). \(\square \)
We define \(u:=v-w\) and consider the following parabolic problem:
A quick computation shows that v solves (1.6) if and only if u solves (6.3). Therefore, we focus on Problem (6.3) which we rewrite as a quasi-linear evolution equation. To this end, we need the following identity which can easily be verified in local coordinates.
The first term on the right hand side is the highest order term. Therefore, we define
According to the definitions above, Problem (6.3) is the quasi-linear evolution equation:
In the following, we verify that Theorem 6.1 can be applied to (6.4), which proves Theorem 1.9. We define \(E_0=L_p(X)\) and \(E_1=H_p^2(X)\cap \ker T\). Then
Here, the last embedding holds since \(2-2/q-n/p>1>0\) by assumption. Please note that \(A(0,u(0))=mv_0^{m-1}\Delta _{g,T}\) satisfies the assumptions of Theorem 1.3 as \(v_0\) is Hölder continuous and strictly positive. Therefore, a suitable shift of A(0, u(0)) allows a bounded \(H^\infty \)-calculus and thus A(0, u(0)) has maximal \(L_q\)-regularity. In order to verify the assumptions (A) and (F) we need the following result, which is inspired by [33].
Lemma 6.3
Let \(w\in C(J_0;C^\tau (X))\) with \({{\,\mathrm{Re}\,}}w(0,\cdot )\ge c>0\). Let
Then an interval \(J=[0,t^*]\), with \(t^*>0\), a neighborhood V of zero in \(C^\tau (X)\), and a constant \(C:=C(c,\Vert w(0,\cdot )\Vert _{C^\tau (X)})\) exist such that for all \(f\in H^\infty (W)\), \(t\in J\), and \(u,{\bar{u}}\in V\) the following estimates hold:
Proof
Since w depends continuously on t, we can chose a \(t^*>0\) such that for all \(t\in J:=[0,t^*]\) we have \(\Vert w(t)-w(0)\Vert _{C^\tau (X)}\le c/8\). We choose \(V:=\{u\in C^\tau :\Vert u\Vert _{C^\tau (X)}< c/8\}\). As all functions in V are continuous, we obtain for all \(t\in J\):
Furthermore, we define
By definition, some distance between the boundary of \(W''\) and the boundary of \(W'\) exists, i.e., \(d(\partial W'',\partial W')\ge c/4\). Therefore, \(|\eta -(u(x)+w(t,x))|\ge c/4\) for all \(t\in J\), \(u\in V\), \(\eta \in \partial W'\) and \(x\in X\). It is well-known that such a lower bound implies that \((\eta -(u(\cdot )+w(t,\cdot )))^{-1}\in C^\tau (X)\). Moreover, the following estimate holds:
We can estimate the length of the boundary \(\partial W'\):
For all \(u\in V\), \(t\in J\), and \(x\in X\) we obtain the following identity from the Cauchy integral representation:
Thus, we obtain the first estimate \(\Vert f(u+w(t))\Vert _{C^\tau (X)}\le LS\Vert f\Vert _{H^\infty (W)}\). Now, let \(u,{\bar{u}}\in V\), \(t\in J\), \(x\in X\), and use the resolvent identity to obtain:
We can estimate the \(C^\tau (X)\)-norm of I(t, x) as before. Therefore, we obtain the second claimed estimate. \(\square \)
According to Lemma 6.2, \(w\in C^1(J_0;H^2_p(X))\). Under the assumptions of Theorem 1.9, \(H^2_p(X)\hookrightarrow C^\tau (X)\) and therefore \(w\in C(J_0;C^\tau (X))\). We chose an interval J and a neighborhood V according to Lemma 6.3. Therefore, we can choose a neighborhood U of zero in \(E_q\) such that its image under the embedding belongs to V. We apply Lemma 6.3 to \(f(z):=z^{m-j}\), with \(j\in \{0,1\}\). Therefore, a constant exists such that for all \(u,{\bar{u}}\in U\) and \(t\in J\):
In view of the embeddings \(E_q\hookrightarrow C^\tau (X)\) and \(C^\tau (X)\hookrightarrow {\mathcal {L}}(E_0)\), Eq. (6.5) implies that A(t, u) satisfies Assumption (A):
Now, we consider F(t, u).
Since \(w\in C^1(J;H^2_p(X))\), the map \(t\mapsto \Vert \Delta _g w(t,\cdot )\Vert _{E_0}\) belongs to \(L_q(J)\). In view of Eq. (6.6), we obtain
Next, we define \(h(t,u):=(u+w(t))^{m-2}|\nabla (u+w(t))|_g^2\)
For \(v,{\bar{v}}\in E_q\) we can estimate the \(L_q\) inner product of the gradient:
Therefore, for all \(u,{\bar{u}}\in U\) and \(t\in J\) the following estimates hold
In view of Eqs. (6.5) and (6.6), these estimates imply that for all \(u,{\bar{u}}\in U\) and \(t\in J\) the following estimate holds
Thus, F satisfies Assumption (F). We apply Theorem 6.1 to Problem (6.4), which proves Theorem 1.9.
Data availability
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Notes
See also Remark 1.10(b) for the complex case.
References
Abels, H.: Pseudodifferential boundary value problems with non-smooth coefficients. Commun. Partial Differ. Equ. 30(10–12), 1463–1503 (2005)
Agmon, S.: On the eigenfunctions and on the eigenvalues of general elliptic boundary value problems. Commun. Pure Appl. Math. 15, 119–147 (1962)
Amann, H.: Linear and quasilinear parabolic problems. In: Vol. I, Monographs in Mathematics, vol. 89 (Birkhäuser Boston, Inc., Boston, 1995) (Abstract linear theory)
Amann, H.: Linear and quasilinear parabolic problems. In: Vol. II, Monographs in Mathematics, vol. 106 (Birkhäuser/Springer, Cham), p. 2
Amann, H., Hieber, M., Simonett, G.: Bounded \(H_\infty \)-calculus for elliptic operators. Differ. Integral Equ. 7(3–4), 613–653 (1994)
Ammann, B., Große, N., Nistor, V.: Well-posedness of the Laplacian on manifolds with boundary and bounded geometry. Mathematische Nachrichten 292(6), 1213–1237 (2019)
Bergh, J., Löfström, J.: Interpolation spaces. An introduction. Springer, Berlin (1976). Grundlehren der Mathematischen Wissenschaften, No. 223
Boutet de Monvel, L.: Boundary problems for pseudo-differential operators. Acta Math. 126(1–2), 11–51 (1971)
Bilyj, O., Schrohe, E., Seiler, J.: \(H_\infty \)-calculus for hypoelliptic pseudodifferential operators. Proc. Am. Math. Soc. 138(5), 1645–1656 (2010)
Clément, P., Li, S.: Abstract parabolic quasilinear equations and application to a groundwater flow problem. Adv. Math. Sci. Appl. 3(Special Issue), 17–32 (1993/94)
Coriasco, S., Schrohe, E., Seiler, J.: Bounded \(H_\infty \)-calculus for differential operators on conic manifolds with boundary. Commun. Partial Differ. Equ. 32(1–3), 229–255 (2007)
Denk, R., Dore, G., Hieber, M., Prüss, J., Venni, A.: New thoughts on old results of R. T. Seeley. Math. Ann. 328(4), 545–583 (2004)
Denk, R., Hieber, M., Prüss, J.: \(\cal{R}\)-boundedness, Fourier multipliers and problems of elliptic and parabolic type. Mem. Am. Math. Soc. 166(788), 114 (2003)
Dines, N., Harutjunjan, G., Schulze, B.-W.: Mixed boundary value problems and parametrices in the edge calculus. Bull. Sci. Math. 131(4), 325–360 (2007)
Dore, G., Venni, A.: On the closedness of the sum of two closed operators. Math. Z. 196(2), 189–201 (1987)
Egorov, J.V., Kondrat’ev, V.A.: The oblique derivative problem. Mat. sb. (N.S.) 78(120), 148–176 (1969) (Russian)
Große, N., Schneider, C.: Sobolev spaces on Riemannian manifolds with bounded geometry: general coordinates and traces. Math. Nachr. 286(16), 1586–1613 (2013)
Grubb, G.: Pseudo-differential boundary problems in \(L_{p}\) spaces. Commun. Partial Differ. Equ. 15(3), 289–340 (1990)
Grubb, G.: Functional Calculus of Pseudodifferential Boundary Problems, 2nd ed. Progress in Mathematics, vol. 65 (Birkhäuser Boston, Inc., Boston, 1996)
Grubb, G., Hörmander, L.: The transmission property. Math. Scand. 67(2), 273–289 (1990)
Grubb, G., Schrohe, E.: Trace expansions and the noncommutative residue for manifolds with boundary. J. Reine Angew. Math. 536, 167–207 (2001)
Hörmander, L.: Pseudo-differential operators and hypoelliptic equations, singular integrals. In: Proceedings of Symposia in Pure Mathematics, Vol. X, Chicago, Illinois, 1966, American Mathematical Society, Providence, RI, pp. 138–183 (1967)
Hörmander, L.: The boundary problems of physical geodesy. Arch. Rational Mech. Anal. 62(1), 1–52 (1976)
Kannai, Y.: Hypoellipticity of certain degenerate elliptic boundary value problems. Trans. Am. Math. Soc. 217, 311–328 (1976)
Krainer, T.: A calculus of abstract edge pseudodifferential operators of type \(\rho , \delta \), Elliptic and parabolic equations. In: Escher, J. , Schrohe, E., Seiler, J., Walker, C. (eds.) Springer Proceedings in Mathematics and Statistics, vol. 119. Springer, Cham, pp. 179–207 (2015)
Krietenstein, T.: Bounded \(H^\infty \)-calculus for a degenerate elliptic boundary value problem, Dissertation, Leibniz Universität Hannover (2019). https://doi.org/10.15488/8829
Kunstmann, P.C., Weis, L.: Maximal \(L_{p}\)-Regularity for Parabolic Equations, Fourier Multiplier Theorems and \(H^\infty \)-Functional Calculus, Functional Analytic Methods for Evolution Equations, Lecture Notes in Mathematics, pp. 65–311. Springer, Berlin (1855)
Kumano-go, H.: Pseudodifferential Operators. MIT Press, Cambridge (1981). (Translated from the Japanese by the author, Rémi Vaillancourt and Michihiro Nagase)
McIntosh, A.: Operators which have an \(H_\infty \) functional calculus, miniconference on operator theory and partial differential equations (North Ryde, 1986). In: Proceedings of the Centre for Mathematical Analysis, Australian National University, vol. 14, Australian Naional University, Canberra (1986), pp. 210–231
Michael, E.: Continuous selections. I. Ann. Math. (2) 63, 361–382 (1956)
Prüss, J.: Maximal Regularity for Evolution Equations in \(L_{p}\)-Spaces (2002). Lecture notes for the Summer School ‘Positivity and Semigroups’, Monopoli, September (2002). https://www2.mathematik.uni-halle.de/reports/sources/2002/02-24report.ps. Accessed 9 Aug 2021
Rempel, S., Schulze, B.-W.: Index Theory of Elliptic Boundary Problems. North Oxford Academic Publishing Co. Ltd., London (1985). (Reprint of the 1982 edition)
Roidos, Nikolaos, Schrohe, Elmar: Existence and maximal \(L^p\)-regularity of solutions for the porous medium equation on manifolds with conical singularities. Commun. Partial Differ. Equ. 41(9), 1441–1471 (2016)
Schick, T.: Manifolds with boundary and of bounded geometry. Math. Nachr. 223, 103–120 (2001)
Schrohe, E.: A Short Introduction to Boutet de Monvel’s Calculus, Approaches to Singular Analysis (Berlin, 1999), Operator Theory: Advances and Applications, pp. 85–116. Birkhäuser, Basel (2001)
Schulze, B.-W.: Pseudo-differential Operators on Manifolds with Singularities, Studies in Mathematics and Its Applications, vol. 24. North-Holland Publishing Co., Amsterdam (1991)
Seeley, R.: Norms and domains of the complex powers \(A_{B}z\). Am. J. Math. 93, 299–309 (1971)
Seeley, R.: Trace expansions for the Zaremba problem. Commun. Partial Differ. Equ. 27(11–12), 2403–2421 (2002)
Sogge, C.D.: Fourier Integrals in Classical Analysis, 2nd ed. Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge (2017)
Strichartz, R.S.: Analysis of the Laplacian on the complete Riemannian manifold. J. Funct. Anal. 52(1), 48–79 (1983)
Taira, K.: Boundary Value Problems and Markov Processes, 3rd ed. Lecture Notes in Mathematics. Springer Nature, Cham (2020)
Taira, K.: On some degenerate oblique derivative problems. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 23(2), 259–287 (1976)
Taira, K.: Analytic Semigroups and Semilinear Initial Boundary Value Problems, 2nd ed. London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge (2016)
Taira, K.: Semigroups, Boundary Value Problems and Markov Processes. Springer Monographs in Mathematics, 2nd edn. Springer, Heidelberg (2014)
Taira, K.: Bifurcation curves in a combustion problem with general Arrhenius reaction-rate laws. Ann. Univ. Ferrara Sez. VII Sci. Mat. 62(2), 337–371 (2016)
Taylor, M.: Pseudodifferential Operators and Nonlinear PDE, Progress in Mathematics. Birkhäuser, Basel (1991)
Triebel, H.: Interpolation Theory, Function Spaces, Differential Operators, North-Holland Mathematical Library, vol. 18. North-Holland Publishing Co., Amsterdam (1978)
Triebel, H.: Theory of Function Spaces. II, Monographs in Mathematics. Birkhäuser Verlag, Basel (1992)
Acknowledgements
The results in this article are based on the second author’s thesis, see [26]. His work was partly supported by Deutsche Forschungsgemeinschaft through the research training group GRK 1463. The authors thank K. Taira and Ch. Walker for helpful discussions and the referees for their suggestions that led to an improvement of the results.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Communicated by Y. Giga.
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
Krietenstein, T., Schrohe, E. Bounded \(H^\infty \)-calculus for a degenerate elliptic boundary value problem. Math. Ann. 383, 1597–1646 (2022). https://doi.org/10.1007/s00208-021-02251-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-021-02251-1