Abstract
We consider a heat-type operator \(\mathcal {L}\) structured on the left invariant 1-homogeneous vector fields which are generators of a Carnot group, with a uniformly positive matrix of bounded measurable coefficients depending only on time. We prove that if \(\mathcal {L}u\) is smooth with respect to the space variables, the same is true for u, with quantitative regularity estimates in the scale of Sobolev spaces defined by right invariant vector fields. Moreover, the solution and its space derivatives of every order satisfy a 1/2-Hölder continuity estimate with respect to time. The result is proved both for weak solutions and for distributional solutions, in a suitable sense.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Let \({\mathbb {G}}=\left( {\mathbb {R}}^{N},\circ ,D_{\lambda }\right) \) be a Carnot group and let \(X_{1},\ldots ,X_{q}\) be the generators of its Lie algebra, so that the canonical sublaplacian
and the corresponding heat operator
are hypoelliptic in \({\mathbb {R}}^{N}\) and \({\mathbb {R}}^{N+1}\), respectively. (Precise definitions will be given in Sect. 1.) Let us now consider
where \(\left\{ a_{ij}\left( t\right) \right\} _{i,j=1}^{q}\) is a real, symmetric, uniformly positive matrix of bounded measurable coefficients:
for some \(\nu >0\), every \(\xi \in {\mathbb {R}}^{q}\), a.e. \(t\in \left( 0,T\right) \). We want to prove a regularity result for \({\mathcal {L}}\) in the space variables, that is, roughly speaking: if \(u\in W^{1,2}\left( \left( 0,T\right) ,L_\mathrm{loc} ^{2}\left( {\mathbb {R}}^{N}\right) \right) \) is a weak solution to \({\mathcal {L}}u=F\), \(u\left( 0,\cdot \right) =0\) and F is smooth, with respect to the space variables, in some domain \(\left( 0,T\right) \times \Omega \), then the same is true for u, with quantitative regularity estimates on u in terms of \({\mathcal {L}}u\). Also, we will prove that, if F is smooth w.r.t. the space variables, then u and every space derivative \(\partial _{x}^{\alpha }u\) are \(\frac{1}{2}\)-Hölder continuous with respect to t. See Theorem 2.3 for the precise statements. This kind of regularity is the best we can hope, even for a uniformly parabolic operator
as soon as a is only \(L^{\infty }\) (see Example 2.16). The above regularity result can be extended also to distributional solutions belonging to \(W^{1,2}\left( \left( 0,T\right) ,{\mathcal {D}}^{\prime }\left( {\mathbb {R}}^{N}\right) \right) \) (see Theorem 3.3 for the precise statement). This can be seen as a kind of Hörmander’s theorem with respect to the space variables.
A result of this kind has been proved by Krylov [12], who considered operators
with
where the functions \(\sigma ^{ik}\left( t,x\right) \) are assumed to have x-derivatives of every order uniformly bounded for \(x\in {\mathbb {R}}^{N}\) and \(t\in \left( 0,1\right) \), and the vector fields \(L_{0},L_{1},\ldots ,L_{q}\) for every fixed t satisfy Hörmander’s condition in \({\mathbb {R}}^{N}\). Now, every operator (0.1) can be rewritten as
with
where
and
so that
Since the coefficients \(b_{ji}\left( x\right) \) of the generators on a Carnot group are polynomials, the functions \(\left| D_{x}^{\alpha } b_{ji}\left( x\right) \right| \) are not globally bounded on \({\mathbb {R}}^{N}\). Therefore, although the class of operators that we consider is strictly contained in the class considered by Krylov as to their structure, the assumption on \(\sigma ^{ik}\left( t,x\right) \) made in [12] is not satisfied in our situation.
Actually, the technique employed in this paper is very different from that in [12]. In [12], following the classical approach introduced by Kohn [11] and Oleĭnik-Radkevič [15], pseudodifferential operators and Sobolev spaces of fractional order are used. Here, instead, we adapt to the evolutionary case the technique introduced in [2] to give a proof of Hörmander’s theorem for sublaplacians on Carnot groups. The main idea consists in measuring the regularity of solutions of an equation \({\mathcal {L}}u=f\), where \({\mathcal {L}}\) is a left invariant operator, in terms of Sobolev spaces induced by right invariant vector fields. Since a right invariant operator and a left invariant operator always commute, this approach greatly simplifies the proof of higher-order estimates. We handle Sobolev norms with respect to vector fields by means of equivalent norms defined in terms of finite difference operators, in the directions of the vector fields \(X_{1},\ldots ,X_{q}\). This feature of our argument is reminiscent of the original proof of Hörmander’s theorem given in [10], although in the richer framework of Carnot groups the proof becomes much simpler.
Let us now give some motivation for the present research and describe some related literature. The regularity result proved in [12] has been applied by the same Author in [13] to prove an analogous result for stochastic PDEs, and in [14], in the context of filtering problems. We refer to [13] for motivations to prove this result without any continuity assumption on the coefficients with respect to time.
Hyperbolic operators of the kind
with merely bounded measurable \(a_{ij}\) have been studied by many authors, see, for instance, [6, 7, 9] and references therein. In particular, [9] gives some physical motivation to study this class of operators under no regularity condition on \(a_{ij}\left( t\right) \).
Operators of the kind
satisfying (0.2) have been studied by several Authors, assuming the coefficients \(a_{ij}\left( t,x\right) \) either Hölder continuous or with vanishing mean oscillation, and proving a priori estimates and regularity results in the scale of Hölder or Sobolev spaces induced by the vector fields \(\left\{ X_{i}\right\} _{i=1}^{q}\) and the distance they induce. See, for instance, [3,4,5] and references therein. In [4], for the operator \({\mathcal {L}}\) with Hölder continuous coefficients, a heat kernel has been constructed and shown to satisfy sharp Gaussian estimates, which also imply a scale invariant Harnack inequality.
The operators (0.1) studied in the present paper can also be seen as model operators to study the more general class (0.3) with the coefficients satisfying some moderate regularity assumption in x, but only \(L^{\infty }\) with respect to time, an area of research that we plan to attack in the future.
1 Preliminaries about Carnot groups
Let us recall some standard definitions and results that will be useful in the following. For the proofs of these facts, the reader is referred to [8, 1, Chap.1]. A homogeneous group (in \({\mathbb {R}}^{N}\)) is a Lie group \(\left( {\mathbb {R}}^{N},\circ \right) \) (where the group operation \(\circ \) will be thought as a “translation”) endowed with a one parameter family \(\left\{ D_{\lambda }\right\} _{\lambda >0}\) of group automorphisms (“dilations”) which act this way:
for suitable integers \(1=\alpha _{1}\leqslant \alpha _{2}\leqslant \cdots \leqslant \alpha _{N}\). We will write \({\mathbb {G}}=\left( {\mathbb {R}}^{N},\circ ,D_{\lambda }\right) \) to denote this structure. The number
will be called homogeneous dimension of \({\mathbb {G}}\). A homogeneous norm on \({\mathbb {G}}\) is a continuous function
such that, for some constant \(c>0\) and every \(x,y\in {\mathbb {G}},\)
We will always use the symbol \(\left\| \cdot \right\| \), without any subscript, to denote a homogeneous norm in \({\mathbb {G}}\). Examples of homogeneous norms are the following:
or
It can be proved that any two homogeneous norms on \({\mathbb {G}}\) are equivalent.
We say that a smooth function f in \({\mathbb {G}}{\setminus }\left\{ 0\right\} \) is \(D_{\lambda }\)-homogeneous of degree \(\beta \in {\mathbb {R}}\) (or simply “\(\beta \)-homogeneous”) if
Given any differential operator P with smooth coefficients on \({\mathbb {G}}\), we say that P is left invariant if for every \(x,y\in {\mathbb {G}}\) and every smooth function f
where
Analogously, one defines the notion of right invariant differential operator. Also, P is said \(\beta \)-homogeneous (for some \(\beta \in {\mathbb {R}}\)) if
for every smooth function f, \(\lambda >0\) and \(x\in {\mathbb {G}}\).
A vector field is a first-order differential operator
Let \({\mathfrak {g}}\) be the Lie algebra of left invariant vector fields over \({\mathbb {G}}\), where the Lie bracket of two vector fields is defined as usual by
Let us denote by \(X_{1},X_{2},\ldots ,X_{N}\) the canonical base of \({\mathfrak {g}}\), that is for \(i=1,2,\ldots ,N\), \(X_{i}\) is the only left invariant vector field that agrees with \(\partial _{x_{i}}\) at the origin. Also, \(X_{1}^{R},X_{2}^{R},\ldots ,X_{N}^{R}\) will denote the right invariant vectors fields that agree with \(\partial _{x_{1}},\partial _{x_{2}},\ldots ,\partial _{x_{N} }\) (and hence with \(X_{1},X_{2},\ldots ,X_{N}\)) at the origin.
We assume that for some integer \(q<N\), the vector fields \(X_{1},X_{2} ,\ldots ,X_{q}\) are 1-homogeneous and the Lie algebra generated by them is \({\mathfrak {g}}\). If s is the maximum length of commutators
required to span \({\mathfrak {g}}\), then we will say that \({\mathfrak {g}}\) is a stratified Lie algebra of step s, \({\mathbb {G}}\) is a Carnot group (or a stratified homogeneous group) and its generators \(X_{1},X_{2},\ldots ,X_{q}\) satisfy Hörmander’s condition at step s in \({\mathbb {G}}\). Under these assumptions, by Hörmander’s theorem (see [10]), the canonical sublaplacian
is hypoelliptic in \({\mathbb {R}}^{N}\), that is: for every domains \(\Omega ^{\prime }\subset \Omega \subset {\mathbb {R}}^{N}\), whenever \(u\in {\mathcal {D}} ^{\prime }\left( \Omega \right) \) solves in distributional sense the equation \(Lu=f\) in \(\Omega \), then \(f\in C^{\infty }\left( \Omega ^{\prime }\right) \Rightarrow u\in C^{\infty }\left( \Omega ^{\prime }\right) .\)
Analogously, the corresponding heat operator
is hypoelliptic in \({\mathbb {R}}^{N+1}\).
The following compact notation will be used throughout the following. For a multiindex
we let
with an analogous meaning for \(X_{I}^{R},X_{\left[ I\right] }^{R}.\)
We will make use of the Sobolev spaces \(W_{X}^{k,p}\left( {\mathbb {G}}\right) \), \(W_{X^{R}}^{k,p}\left( {\mathbb {G}}\right) \) induced by the systems of vector fields
respectively. More precisely, given an open subset \(\Omega \) of \({\mathbb {R}} ^{N}\), we say that \(f\in W_{X}^{k,2}\left( \Omega \right) \) if \(f\in L^{2}\left( \Omega \right) \) and there exist, in weak sense, \(X_{I}f\in L^{2}\left( \Omega \right) \) for every multiindex I with \(\left| I\right| \le k\). We set
The space \(W_{X^{R}}^{k,2}\left( \Omega \right) \) has a similar definition. We will also use local Sobolev spaces. For example, we will say that \(f\in W_{X,\mathrm{loc}}^{k,2}\left( \Omega \right) \) if for every \(\varphi \in C_{0} ^{\infty }\left( \Omega \right) \), we have \(\varphi f\in W_{X}^{k,2}\left( \Omega \right) \).
For homogeneity reasons, the generators \(X_{1},\ldots ,X_{q}\) satisfy the simple relation \(X_{i}^{*}=-X_{i}\) (where \(X^{*}\) stands for the transposed operator of X). In other words,
whenever \(f\in W_{X,\mathrm{loc}}^{1,2}\left( {\mathbb {G}}\right) \) and \(g\in C_{0} ^{1}\left( {\mathbb {G}}\right) \).
The validity of Hörmander’s condition at step s implies the following important:
Proposition 1.1
(See [2, Prop. 2.1]) Under the above assumptions we have:
1.
2. For any positive integer k and any \(\Omega ^{\prime }\Subset \Omega \) there exists a constant \(c>0\) such that, for every \(u\in W_{X}^{ks,2}\left( \Omega \right) \) we have
where \(W^{k,2}\left( \Omega ^{\prime }\right) \) denotes the standard Sobolev space. Analogous properties hold for the spaces \(W_{X^{R}}^{k,2}\left( \Omega \right) \).
Let us point out a relation between left and right invariant operators which will be very useful in the following.
Proposition 1.2
(see [2, Prop. 2.2]) Let \({\mathcal {L}},{\mathcal {R}}\) be any two differential operators on \({\mathbb {G}}\) with smooth coefficients, left and right invariant, respectively. Then, \({\mathcal {L}}\) and \({\mathcal {R}}\) commute:
for any smooth function f.
For every given couple of measurable functions \(\varphi ,\psi :{\mathbb {G}} \rightarrow {\mathbb {R}}\), we define
whenever the integral makes sense. One can prove the following:
Proposition 1.3
For every couple of measurable functions \(f,\psi \) defined on \({\mathbb {G}}\) such that the following convolutions are well defined, we have
-
i)
if \({\mathcal {P}}\) is a left invariant differential operator then
$$\begin{aligned} {\mathcal {P}}\left( f*\psi \right) =f*\mathcal {P\psi }, \end{aligned}$$(1.3) -
ii)
if \({\mathcal {P}}\) is a right invariant differential operator then
$$\begin{aligned} {\mathcal {P}}\left( \psi *f\right) =\mathcal {P\psi }*f \end{aligned}$$whenever \(\mathcal {P\psi }\) exists at least in weak sense.
2 Subelliptic estimates for heat-type operators with t-measurable coefficients
For a domain \(\Omega \subseteq {\mathbb {G}}\), let
We are going to define several function spaces on \({\mathbb {G}}_{T}=\left( 0,T\right) \times {\mathbb {G}}\) that we will use in the following.
The definitions of the spaces \(L^{2}\left( \left( 0,T\right) ,X\right) \), \(W^{1,2}\left( \left( 0,T\right) ,X\right) \), \(C^{0}\left( \left[ 0,T\right] ,X\right) \) when X is a Banach space are standard. For instance, we will often use the spaces
(for \(k=1,2,3,\ldots \)) normed with
and the analogous spaces \(L^{2}\left( \left( 0,T\right) ,W_{X^{R}} ^{k,2}\left( {\mathbb {G}}\right) \right) \).
We will say that \(u\in L^{2}\left( \left( 0,T\right) ,W_{X,\mathrm{loc}} ^{k,2}\left( {\mathbb {G}}\right) \right) \) when for every \(\zeta \in C_{0}^{\infty }\left( {\mathbb {G}}\right) \) we have \(u\zeta \in L^{2}\left( \left( 0,T\right) ,W_{X}^{k,2}\left( {\mathbb {G}}\right) \right) \).
For a function \(f\in L^{2}\left( \left( 0,T\right) ,W_{X}^{1,2}\left( {\mathbb {G}}\right) \right) \), we will also use the shorthand notation
with the analogous meaning for \(\left\| \nabla _{X^{R}}f\right\| _{L^{2}\left( {\mathbb {G}}_{T}\right) }^{2}.\)
Definition 2.1
(Weak solution) We say that \(u\in W^{1,2}\left( \left( 0,T\right) ,L_{\mathrm{loc}}^{2}\left( {\mathbb {G}}\right) \right) \ \)is a weak solution to \({\mathcal {L}}u=F\in L^{2}\left( \left( 0,T\right) ,L_{\mathrm{loc}}^{2}\left( {\mathbb {G}}\right) \right) \) if
for every \(\phi \in C_{0}^{\infty }\left( {\mathbb {G}}\right) \) and a.e. \(t\in \left( 0,T\right) \).
Note that \(W^{1,2}\left( \left( 0,T\right) ,L_{\mathrm{loc}}^{2}\left( {\mathbb {G}}\right) \right) \subset C^{0}\left( \left[ 0,T\right] ,L_{\mathrm{loc}}^{2}\left( {\mathbb {G}}\right) \right) \), hence the initial value \(u\left( 0,\cdot \right) \) is a well defined element of \(L_{\mathrm{loc}}^{2}\left( {\mathbb {G}}\right) \).
Definition 2.2
We say that a function u belongs to \(L^{2}\left( \left( 0,T\right) ,C^{\infty }\left( {\overline{\Omega }}\right) \right) \) if \(u\in L^{2}\left( \left( 0,T\right) ,C^{k}\left( {\overline{\Omega }}\right) \right) \) for every \(k=0,1,2,\ldots \) In particular, this implies that
We say that a function u belongs to \(C^{0}\left( \left[ 0,T\right] ,C^{\infty }\left( {\overline{\Omega }}\right) \right) \) if \(u\in C^{0}\left( \left[ 0,T\right] ,C^{k}\left( {\overline{\Omega }}\right) \right) \) for every \(k=0,1,2,\ldots \)
We can now state the first main result of this paper:
Theorem 2.3
Let \({\mathbb {G}}\) be a Carnot group of step s with generators \(X_{1},\ldots ,X_{q}\), let \({\mathcal {L}}\) be as in (0.1) and let (0.2) be in force. Let \(u\in W^{1,2}\left( \left( 0,T\right) ,L_{\mathrm{loc}}^{2}\left( {\mathbb {G}}\right) \right) \), \(u\left( 0,\cdot \right) =0\), be a weak solution to \({\mathcal {L}}u=F\in L^{2}\left( \left( 0,T\right) ,L_{\mathrm{loc}}^{2}\left( {\mathbb {G}}\right) \right) \) in the sense of (2.1).
(i) For every \(k=1,2,3,\ldots \), let \(\zeta ,\zeta _{1}\in C_{0}^{\infty }\left( {\mathbb {G}}\right) ,\zeta \prec \zeta _{1}\). There exists \(c=c\left( k,\zeta ,\zeta _{1},{\mathbb {G}},\nu \right) >0\) such that
and
(ii) In particular, if \(F\in L^{2}\left( \left( 0,T\right) ,W_{X^{R} ,\mathrm{loc}}^{k+s^{2}+2s-1,2}\left( {\mathbb {G}}\right) \right) \) for some \(k=0,1,2,3,\ldots \), then u is also a strong solution to \({\mathcal {L}}u=F\) and for every multiindex I with \(\left| I\right| \leqslant k\) we have
(iii) For every (cartesian) derivative \(\partial _{x}^{\alpha }\) and \(\zeta ,\zeta _{1}\in C_{0}^{\infty }\left( {\mathbb {G}}\right) ,\zeta \prec \zeta _{1}\), there exists \(c=c\left( \alpha ,\zeta ,\zeta _{1},{\mathbb {G}} ,\nu \right) >0\) and a positive integer h such that whenever \(F\in L^{2}\left( \left( 0,T\right) ,W_{X^{R},\mathrm{loc}}^{h,2}\left( {\mathbb {G}} \right) \right) \) then
and
(iv) In particular, if
then
The first step of the proof is a standard energy estimate. Before proving it, we need to define some more function spaces:
Definition 2.4
We let:
Note that \({\mathcal {H}}\subset C^{0}\left( \left[ 0,T\right] ,L^{2}\left( {\mathbb {G}}\right) \right) \), so that for \(u\in {\mathcal {H}}\) and \(t\in \left[ 0,T\right] \), \(u\left( t,\cdot \right) \) is a well defined element of \(L^{2}\left( {\mathbb {G}}\right) \).
We will also use
Proposition 2.5
Under the previous assumption on \({\mathcal {L}}\), for every \(u\in {\mathcal {H}}\) such that \(u\left( 0,\cdot \right) =0\) we have
for a constant \(c_{\nu }\) only depending on the ellipticity constant \(\nu \) in (0.2).
Proof
For \(u\in {\mathcal {H}}\) we have, recalling that \(X_{i}^{*}=-X_{i}\) (see (1.2)):
Since
we have
In particular, for u vanishing on \(t=0\) we get (2.3). \(\square \)
In the following of this section, we will recall and adapt several definitions and arguments taken from [2]. The reader is referred to that paper for some details.
Definition 2.6
(Finite difference operators) For every \(h\in {\mathbb {G}}\) and function f defined in \({\mathbb {G}}\), let us define the operators:
Whenever the function f also depends on t, we will simply write
and analogously for \({\widetilde{\Delta }}_{h}f\left( t,x\right) .\)
Definition 2.7
For \(m=1,2,3,4,\ldots \), let
Then, for \(\alpha >0\) and \(f\in L^{2}\left( {\mathbb {G}}_{T}\right) \) we define the semi-norms
We also set for convenience
The relations between the above seminorms and Sobolev norms with respect to vector fields are contained in the following two results, which can be derived by [2, Thm. 3.11, Prop.3.13] simply integrating in t.
Proposition 2.8
For \(m=1,2,\ldots \)there exists \(c=c\left( m,{\mathbb {G}}\right) \) such that, for every \(f\in L^{2}\left( {\mathbb {G}} _{T}\right) \) we have:
1. If \(f\in L^{2}\left( \left( 0,T\right) ,W_{X}^{m,2}\left( {\mathbb {G}}\right) \right) \) then
Analogously,
2. If \(f\in L^{2}\left( \left( 0,T\right) ,W_{X^{R}}^{m,2}\left( {\mathbb {G}}\right) \right) \) then
Proposition 2.9
There exists \(C=C\left( {\mathbb {G}}\right) \) such that for every \(f\in L^{2}\left( {\mathbb {G}}_{T}\right) \) we have:1. If \(\left| f\right| _{1}<\infty \) then \(f\in L^{2}\left( \left( 0,T\right) ,W_{X}^{1,2}\left( {\mathbb {G}}\right) \right) \), with
2. If \(\left| f\right| _{1}^{R}<\infty \) then \(f\in L^{2}\left( \left( 0,T\right) ,W_{X^{R}}^{1,2}\left( {\mathbb {G}}\right) \right) \), with
The following bound instead links the \(L^{2}\left( \left( 0,T\right) ,W_{X}^{1,2}\left( {\mathbb {G}}\right) \right) \) norm with the operators \({\widetilde{\Delta }}_{h}\):
Proposition 2.10
Let \(\Omega \) be a bounded domain in \({\mathbb {G}}\). There exists \(c=c\left( \Omega ,{\mathbb {G}}\right) \) such that for every \(u\in L^{2}\left( \left( 0,T\right) ,W_{X}^{1,2}\left( {\mathbb {G}}\right) \right) \) with \({\text {sprt}}u\left( t,\cdot \right) \subset \Omega \) for every \(t\in \left( 0,T\right) \) we have
(Recall that s is the step of the Lie algebra.)
Proof
It is enough to apply to \(u\left( t,\cdot \right) \) the computations made in [2, Prop.3.7, Lemma 3.8] for functions in \(W_{X}^{1,2}\left( {\mathbb {G}}\right) \) and then integrate on \(\left( 0,T\right) \). \(\square \)
If \(u\in \) \({\mathcal {H}}\), \(u\left( t,\cdot \right) \) is supported in some bounded domain \(\Omega \) for every \(t\in \left[ 0,T\right] \) and \(u\left( 0,\cdot \right) =0\), then by the previous Proposition and (2.3 ) we get
that is
Notation 2.11
Henceforth, we will write
if \(\zeta _{0},\zeta \in C_{0}^{\infty }\left( {\mathbb {G}}\right) \) such that \(0\leqslant \zeta _{0}\leqslant \zeta \leqslant 1\) and \(\zeta =1\) on \({\text {*}}{sprt}\zeta _{0}.\)
We have the following analog of Theorem 3.15 in [2]:
Theorem 2.12
Let \(\zeta _{0},\zeta \in C_{0}^{\infty }\left( {\mathbb {G}}\right) \) with \(\zeta _{0}\prec \zeta \). For every \(m\in {\mathbb {N}}\) the exists \(c=c\left( \zeta _{0},\zeta ,m,{\mathbb {G}},\nu \right) >0\) such that if \(u\in {\mathcal {H}}_{0}\ \)then
whenever the right-hand side is finite.
Proof
We can repeat the proof of Theorem 3.15 in [2] applying (2.8) to the function \(\zeta _{0}u\in {\mathcal {H}}\), since \(u\in {\mathcal {H}}_{0}\), and exploiting the identity
and the fact that the operators \(\partial _{t}\) and \({\widetilde{\Delta }}_{h}\) commute, so that \({\mathcal {L}}\) and \({\widetilde{\Delta }}_{h}\) still commute.
\(\square \)
Also Proposition 3.16 in [2] (Marchaud inequality on Carnot groups) still holds, with \(L^{2}\left( {\mathbb {G}}\right) \) norms replaced with \(L^{2}\left( {\mathbb {G}}_{T}\right) \) norms, and this implies the following analog of Corollary 3.17 in [2].
Corollary 2.13
Let \(u\in \) \({\mathcal {H}}\), \(u\left( 0,\cdot \right) =0\), and assume that for \(\varepsilon \in \left( 0,1\right) \) and some integer \(m>1\) the seminorm \(\left| u\right| _{m,1+\varepsilon }^{R}\) is finite. Then,
with \(c=c\left( {\mathbb {G}}\right) .\)
We are now in position to state the first step of our regularity estimate:
Proposition 2.14
Let \(\zeta _{0},\zeta \in C_{0}^{\infty }\left( {\mathbb {G}}\right) \) with \(\zeta _{0}\prec \zeta \). There exists \(c=c\left( \zeta _{0},\zeta ,{\mathbb {G}},\nu \right) >0\) such that
and
Proof
Applying to \(\zeta _{0}u\) Corollary 2.13 and Theorem 2.12 with \(m=s+1\) and \(\varepsilon =1/s\), we can write:
From this inequality, by Propositions 2.9 and 2.8 we conclude the desired result. \(\square \)
To iterate this result to higher-order derivatives, we first need a regularization result allowing to apply (2.11) to functions u satisfying weaker assumptions.
Proposition 2.15
Let \(u\in W^{1,2}\left( \left( 0,T\right) ,L_{\mathrm{loc}}^{2}\left( {\mathbb {G}}\right) \right) ,u\left( 0,\cdot \right) =0,\) be a weak solution to \({\mathcal {L}}u=F\in L^{2}\left( \left( 0,T\right) ,L_{\mathrm{loc}}^{2}\left( {\mathbb {G}}\right) \right) \) in the sense of Definition 2.2. If \(F\in L^{2}\left( \left( 0,T\right) ,W_{X^{R} ,\mathrm{loc}}^{s^{2},2}\left( {\mathbb {G}}\right) \right) \) then \(u\in L^{2}\left( \left( 0,T\right) ,W_{X^{R},\mathrm{loc}}^{1,2}\left( {\mathbb {G}}\right) \right) \) and for every \(\zeta ,\zeta _{1}\in C_{0}^{\infty }\left( {\mathbb {G}}\right) \) with \(\zeta \prec \zeta _{1}\) the following estimate holds:
with \(c=c\left( \zeta _{0},\zeta ,{\mathbb {G}},\nu \right) .\)
Proof
Let us define the \(\varepsilon \)-mollified \(u_{\varepsilon }\) of u as follows. For \(\phi \in C_{0}^{\infty }\left( {\mathbb {G}}\right) \) such that
define, for any \(\varepsilon >0,\)
and
Now the function \(u_{\varepsilon }\) is smooth with respect to x (as can be seen computing \(X_{I}^{R}u_{\varepsilon }\)), while
and, for any couple of domains \(K\Subset K^{\prime }\Subset {\mathbb {G}}\) and \(\varepsilon \) small enough,
Here we have used Young’s inequality in the form
for \(K\Subset K^{\prime }\), and \(\varepsilon \) small enough, since \(\phi _{\varepsilon }\) is compactly supported.
Also,
hence \(u_{\varepsilon }\in {\mathcal {H}}_{0}\) and we can apply to \(u_{\varepsilon }\) the estimate proved in Proposition 2.14:
We claim that
for a.e. t and a.e. x. This is not trivial since \({\mathcal {L}}u\) just exists in the above weak sense; hence, we cannot simply write \({\mathcal {L}} \left( u_{\varepsilon }\right) =\left( {\mathcal {L}}u\right) _{\varepsilon }\). However, for every \(\varphi \in C_{0}^{\infty }\left( {\mathbb {G}}\right) \), letting
with
we can write:
Next,
and
letting \(\psi _{y}\left( z\right) =\varphi \left( y\circ z\right) \)
and (2.15) follows. By known properties of the mollifiers, as \(\varepsilon \rightarrow 0\) we have \(\phi _{\varepsilon }*u\rightarrow u\) in \(L^{2}\left( {\mathbb {R}}^{N}\right) \) as soon as \(u\in L^{2}\left( {\mathbb {R}}^{N}\right) \). Also, for every left invariant differential operator L we can write \(L\left( \phi _{\varepsilon }*u\right) =\phi _{\varepsilon }*Lu\) as soon as Lu exists in \(L^{2}\left( {\mathbb {R}} ^{N}\right) .\) Therefore,
as soon as \(F\in L^{2}\left( \left( 0,T\right) ,W_{X,\mathrm{loc}}^{k,2}\left( {\mathbb {G}}\right) \right) \).
To prove convergence in \(L^{2}\left( \left( 0,T\right) ,W_{X^{R},\mathrm{loc}} ^{s,2}\left( {\mathbb {G}}\right) \right) \) we make the following rough estimates (see Proposition 1.1):
We want to show that, for \(F\in L^{2}\left( \left( 0,T\right) ,W_{X,\mathrm{loc}}^{s^{2},2}\left( {\mathbb {G}}\right) \right) \),
Now:
where by (2.16), we already know that
To apply Lebesgue theorem and conclude the desired result we need to bound \(g_{\varepsilon }\) with an integrable function independent of \(\varepsilon \). Now:
where \(K\Subset K^{\prime }\Subset {\mathbb {G}}\) and \(\varepsilon \) small enough (see (2.13)). By (1.3), we have \(X_{i}\left( F_{\varepsilon }\right) =\left( X_{i}F\right) _{\varepsilon }\), then
and an iterative reasoning allows to conclude (2.18). Recalling (2.17) and the fact that
we conclude that the right-hand side of (2.14) is bounded. Hence, the sequence \(\zeta u_{\varepsilon }\) is bounded in \(L^{2}\left( \left( 0,T\right) ,W_{X^{R}}^{1,2}\left( {\mathbb {G}}\right) \right) \), and there exists a subsequence of \(\zeta u_{\varepsilon }\) weakly converging in \(L^{2}\left( \left( 0,T\right) ,W_{X^{R}}^{1,2}\left( {\mathbb {G}}\right) \right) \) to some g and in particular weakly converging in \(L^{2}\left( {\mathbb {G}}_{T}\right) \) to \(\zeta u\). This is enough to say that \(\zeta u\in L^{2}\left( \left( 0,T\right) ,W_{X^{R}}^{1,2}\left( {\mathbb {G}}\right) \right) \). Moreover,
hence (2.12) holds. \(\square \)
We are now in position for the
Proof of Theorem 2.3
(i) We will prove (2.2) by induction on k. For \(k=1\), this is exactly Proposition 2.15. Assume that (2.2) holds up to an integer k and let \(u\in {\mathcal {H}}_{0}\) such that \({\mathcal {L}}u\in L^{2}\left( \left( 0,T\right) ,W_{X^{R}}^{k+s^{2} ,2}\left( {\mathbb {G}}\right) \right) \). By the inductive assumption, \(\zeta u\in L^{2}\left( \left( 0,T\right) ,W_{X^{R}}^{k,2}\left( {\mathbb {G}} \right) \right) \). Let \(X_{I}^{R}\) be a right invariant differential operator with \(\left| I\right| \leqslant k\), then \(\zeta X_{I}^{R}u\in L^{2}\left( {\mathbb {G}}_{T}\right) \). We would like to apply Proposition 2.15 to \(X_{I}^{R}u\), but in order to do that we would need to know that \(X_{I}^{R}u\in W^{1,2}\left( \left( 0,T\right) ,L_{\mathrm{loc}} ^{2}\left( {\mathbb {G}}\right) \right) \) with \(X_{I}^{R}u\left( 0,\cdot \right) =0\), which is unclear. Then, let \(u_{\varepsilon }\) be the mollified version of u as in the proof of Proposition 2.15, so that:
which is a smooth function in x, and since \(X_{I}^{R}\phi _{\varepsilon }\) is integrable (although its \(L^{1}\left( {\mathbb {G}}\right) \) norm is not uniformly bounded with respect to \(\varepsilon \)) we have
(see (2.13)) and since \(\partial _{t}u\in L^{2}\left( \left( 0,T\right) ,L_{\mathrm{loc}}^{2}\left( {\mathbb {G}}\right) \right) \), the same is true for \(\partial _{t}X_{I}^{R}\left( u_{\varepsilon }\right) \), which equals \(X_{I}^{R}\left( \partial _{t}u\right) _{\varepsilon }\). Then,
which also implies
since \(u\left( 0,\cdot \right) =0\) in \(L^{2}\left( {\mathbb {G}}\right) \). We claim that
at least in weak sense. Actually, noting that \({\mathcal {L}}\) and \(X_{I}^{R}\) commute,
since \(X_{I}^{R}\varphi \in C_{0}^{\infty }\left( {\mathbb {G}}\right) \) and \({\mathcal {L}}\left( u_{\varepsilon }\right) =F_{\varepsilon }\) for a.e. t and x (see (2.15))
for a.e. t. Therefore, we can apply Proposition 2.15 to \(X_{I}^{R}\left( u_{\varepsilon }\right) \) getting
Noting that
for some \(I^{\prime }\) with \(\left| I^{\prime }\right| =\left| I\right| -1\), we can proceed iteratively getting, for some different cutoff function \(\zeta _{2}\succ \zeta _{1}\),
From this bound, which is uniform with respect to \(\varepsilon \), reasoning like in the proof of Proposition 2.15 we read that, under the assumption \(X_{I}^{R}F\in L^{2}\left( \left( 0,T\right) ,W_{X^{R} }^{s^{2},2}\left( {\mathbb {G}}\right) \right) \), which is true as soon as \(F\in L^{2}\left( \left( 0,T\right) ,W_{X^{R}}^{k+s^{2},2}\left( {\mathbb {G}}\right) \right) \), we have the uniform boundedness of
which implies the weak convergence in \(L^{2}\left( \left( 0,T\right) ,W_{X^{R}}^{1,2}\left( {\mathbb {G}}\right) \right) \) of (a subsequence of) \(\zeta X_{I}^{R}\left( u_{\varepsilon }\right) \) to some g. In particular, the convergence is in \(L^{2}\left( {\mathbb {G}}_{T}\right) ,\) which implies that for every \(\eta \in L^{2}\left( 0,T\right) \) and \(\phi \in C_{0}^{\infty }\left( {\mathbb {G}}\right) \)
Pick the cutoff function \(\zeta \left( x\right) =1\) on some bounded open set \(\Omega \), then for every \(\phi \in C_{0}^{\infty }\left( \Omega \right) \) we have
On the other hand,
hence
which implies, for a.e. t and a.e. \(x\in \Omega \),
in the sense of weak derivatives. This means that \(\zeta X_{I}^{R}u\in L^{2}\left( \left( 0,T\right) ,W_{X^{R}}^{1,2}\left( {\mathbb {G}}\right) \right) \) and \(\zeta X_{I}^{R}\left( u_{\varepsilon }\right) \rightarrow \zeta X_{I}^{R}u\) weakly in \(L^{2}\left( \left( 0,T\right) ,W_{X^{R}} ^{1,2}\left( {\mathbb {G}}\right) \right) \), which also implies, by (2.19),
So we are done.
(ii) Let \(\zeta \in C_{0}^{\infty }\left( {\mathbb {G}}\right) \) and \(u\in W_{X^{R},\mathrm{loc}}^{2s,2}\left( {\mathbb {G}}\right) \). Inequalities
show that
Let \(u\in W^{1,2}\left( \left( 0,T\right) ,L_{\mathrm{loc}}^{2}\left( {\mathbb {G}}\right) \right) ,u\left( 0,\cdot \right) =0\), be a weak solution to \({\mathcal {L}}u=F\in L^{2}\left( \left( 0,T\right) ,W_{X^{R},\mathrm{loc}} ^{h,2}\left( {\mathbb {G}}\right) \right) \). By point (i), if \(\zeta _{1}F\in L^{2}\left( \left( 0,T\right) ,W_{X^{R}}^{k+s^{2}-1,2}\left( {\mathbb {G}}\right) \right) \), then \(\zeta u\in L^{2}\left( \left( 0,T\right) ,W_{X^{R}}^{k,2}\left( {\mathbb {G}}\right) \right) \). In particular, if \(h\ge 2s+s^{2}-1\) then \(u\in L^{2}\left( \left( 0,T\right) ,W_{X,\mathrm{loc}}^{2,2}\left( {\mathbb {G}}\right) \right) \) and this implies that u is actually a strong solution to the equation \({\mathcal {L}}u=F\), so that for a.e. t and a.e. x we have
This identity allows to transfer further x-regularity of both F and u to \(u_{t}\): if, for some \(k=1,2,3,\ldots \), we know that \(h\ge k+2s+s^{2}-1\), then by point (i) \(u\in L^{2}\left( \left( 0,T\right) ,W_{X^{R},\mathrm{loc}} ^{k+2s,2}\left( {\mathbb {G}}\right) \right) \), so that \(X_{i}X_{j}u\in L^{2}\left( \left( 0,T\right) ,W_{X^{R},\mathrm{loc}}^{k,2}\left( {\mathbb {G}} \right) \right) \), hence by (2.20) \(u_{t}\in L^{2}\left( \left( 0,T\right) ,W_{X^{R},\mathrm{loc}}^{k,2}\left( {\mathbb {G}} \right) \right) \) and \(u\in W^{1,2}\left( \left( 0,T\right) ,W_{X^{R},\mathrm{loc}}^{k,2}\left( {\mathbb {G}}\right) \right) \).
This implies that for \(\left| I\right| \leqslant k\), \(X_{I}^{R}u\in C^{0}\left( \left[ 0,T\right] ,L_{\mathrm{loc}}^{2}\left( {\mathbb {G}}\right) \right) \). Moreover, we can write, for every \(t_{1},t_{2}\in \left[ 0,T\right] \) and a.e. \(x\in {\mathbb {G}}\),
Letting \(t_{1}=0\) in (2.21), we get
an identity which can also be differentiated with respect to \(X_{I}^{R}\), giving
which implies
This completes the proof of (ii).
(iii) Next, multiplying both sides of (2.22) for \(\zeta \in C_{0}^{\infty }\left( {\mathbb {G}}\right) \) and taking \(L^{2}\left( {\mathbb {G}}\right) \)-norms we get, recalling that \(X_{I}^{R}\) commutes with \({\mathcal {L}}\):
By point (i) of this theorem, this implies that
for some \(h\mathcal {\ }\)large enough and any cutoff function \(\zeta _{1}\) such that \(\zeta \prec \zeta _{1}\). On the other hand, letting
and noting that every cartesian derivative \(\partial _{x}^{\alpha }v\left( x\right) \) can be bounded, uniformly on a compact set of \({\mathbb {G}}\) by a suitable linear combination of \(X_{I}^{R}v\), we arrive to a bound
for some integer \(h_{1}>h\). And since also the sup of \(\left| \partial _{x}^{\alpha }u\left( t_{2},\cdot \right) -\partial _{x}^{\alpha }u\left( t_{1},\cdot \right) \right| \) can be bounded, by Sobolev embeddings, by suitable \(L^{2}\) norms of higher order derivatives, we also have a control
for some integer \(h_{2}>h_{1}\). Also, since \(\partial _{x}^{\alpha }u\left( 0,x\right) =0,\) this implies
This ends the proof of (iii). The previous result also shows that
Then, the equality
also implies that
that is (iv). \(\square \)
We end this section with an easy example showing that the regularity properties of the solution cannot be improved for bounded measurable coefficients \(a_{ij}\left( t\right) \).
Example 2.16
Let us consider the uniformly parabolic operator
with \(a\in L^{\infty }\left( {\mathbb {R}}\right) \), \(a\left( t\right) \ge \nu >0\). The function
satisfies \({\mathcal {L}}u=0\); u is smooth w.r.t. x and only Lipschitz continuous w.r.t. t. Let
Then, U solves the problem
with \(F\left( t,x\right) =-\alpha t^{\alpha -1}u\left( t,x\right) \), so that, as soon as \(\alpha >\frac{1}{2},\)
Moreover,
Hence,
Since \(\alpha >\frac{1}{2}\) can be chosen as close to 1/2 as we want, this shows that the regularity with respect to t expressed by Theorem 2.3 cannot be improved. Also, note that the Hölder continuity w.r.t. t cannot be improved to Lipschitz continuity just remaining far off \(t=0\): if we multiply the above \(U\left( t,x\right) \) for \(\left| t-t_{0}\right| ^{\alpha }\) we get a similar example exhibiting a \(\alpha \)-Hölder continuity w.r.t. t near \(t=t_{0}\).
3 Regularization of distributional solutions
In this section, we want to extend our smoothness result, established in Theorem 2.3 (iv) for functions in \(W^{1,2}\left( \left( 0,T\right) ,L_{\mathrm{loc}}^{2}\left( {\mathbb {G}}\right) \right) \), to more general distributions. First of all, we need to make precise the distributional notions that we will use.
Definition 3.1
Let \(\Omega \subseteq {\mathbb {G}}\) be an open set. We will say that \(u\in L^{2}\left( \left( 0,T\right) ,{\mathcal {D}}^{\prime }\left( \Omega \right) \right) \) if \(u\in {\mathcal {D}}^{\prime }\left( \Omega _{T}\right) \) and for every \(\phi \in {\mathcal {D}}\left( \Omega \right) \) there exists a function \(h_{\phi }\in L^{2}\left( 0,T\right) \) such that for every \(\psi \in {\mathcal {D}}\left( 0,T\right) ,\)
In this case we will write, more transparently, \(h_{\phi }\left( t\right) =\left\langle u\left( t,\cdot \right) ,\phi \right\rangle \) and
for every \(\phi \in {\mathcal {D}}\left( \Omega \right) \ \)and \(\psi \in {\mathcal {D}}\left( 0,T\right) \) (and therefore also for every \(\psi \in L^{2}\left( 0,T\right) \)).
Analogously, we will say that \(u\in W^{1,2}\left( \left( 0,T\right) ,{\mathcal {D}}^{\prime }\left( \Omega \right) \right) \) if \(u\in {\mathcal {D}} ^{\prime }\left( \Omega _{T}\right) \) with both u and its distributional derivative \(\partial _{t}u\) belonging to \(L^{2}\left( \left( 0,T\right) ,{\mathcal {D}}^{\prime }\left( \Omega \right) \right) \).
We will say that u is a distributional solution to \({\mathcal {L}}u=F\) in \(\Omega _{T}\), with \(F\in L^{2}\left( \left( 0,T\right) ,{\mathcal {D}} ^{\prime }\left( \Omega \right) \right) \) if \(u\in W^{1,2}\left( \left( 0,T\right) ,{\mathcal {D}}^{\prime }\left( \Omega \right) \right) \) and:
for every \(\phi \in {\mathcal {D}}\left( \Omega \right) \) and a.e. \(t\in \left( 0,T\right) \), or equivalently:
\(\forall \phi \in {\mathcal {D}}\left( \Omega \right) ,\psi \in L^{2}\left( 0,T\right) \).
The proof of a regularity result for distributional solutions usually begins identifying the given distribution, locally, with some derivative of a continuous function, in view of the classical result about the local structure of distributions. For distributions in the class \(L^{2}\left( \left( 0,T\right) ,{\mathcal {D}}^{\prime }\left( \Omega \right) \right) \), we could not find in the literature any reference for a similar result. So we will explicitly assume that our distribution could be seen, on a fixed domain compactly contained in \(\Omega \), as a space derivative of a suitable function:
Definition 3.2
Let \(u\in L^{2}\left( \left( 0,T\right) ,{\mathcal {D}} ^{\prime }\left( \Omega \right) \right) \) for some open set \(\Omega \subseteq {\mathbb {G}}\). We will say that u satisfies the x-finite order assumption on \(\Omega \) if:
there exists a function \(h\in L^{2}\left( \left( 0,T\right) ,L_{\mathrm{loc}} ^{1}\left( \Omega \right) \right) \) and a multiindex \(\alpha \) such that
that is
\(\forall \phi \in {\mathcal {D}}\left( \Omega \right) ,\psi \in L^{2}\left( 0,T\right) \).
If \(u\in W^{1,2}\left( \left( 0,T\right) ,{\mathcal {D}}^{\prime }\left( \Omega \right) \right) \), we will say that u satisfies the x-finite order assumption on \(\Omega \) if (3.1) holds with \(h\in W^{1,2}\left( \left( 0,T\right) ,L_{\mathrm{loc}}^{1}\left( \Omega \right) \right) \).
Note that if \(u\in W^{1,2}\left( \left( 0,T\right) ,{\mathcal {D}}^{\prime }\left( \Omega \right) \right) \) satisfies the x-finite order assumption on \(\Omega ^{\prime }\), then \(h\in C^{0}\left( \left[ 0,T\right] ,L_{\mathrm{loc}} ^{1}\left( \Omega \right) \right) \). In particular, saying that \(u\left( 0,\cdot \right) =0\) means that \(h\left( 0,\cdot \right) =0\) a.e. in \(\Omega \).
The aim of this section is to prove that:
Theorem 3.3
For some bounded domain \(\Omega \subset {\mathbb {G}}\), let u be a distributional solution to \({\mathcal {L}}u=F\) in \(\Omega _{T}\) with \(F\in L^{2}\left( \left( 0,T\right) ,{\mathcal {D}}^{\prime }\left( \Omega \right) \right) \). Assume that u satisfies the x-finite order assumption (see Definition 3.2) and \(u\left( 0,\cdot \right) =0\) in \(\Omega \). Then, for every domain \(\Omega ^{\prime }\Subset \Omega \), if
then
In order to prove Theorem 3.3, we will follow the technique used in [2, §4] for sublaplacians. Therefore, some proofs, which contain almost straightforward adaptations of corresponding arguments in [2, §4], will be omitted.
Let us consider the second-order differential operator
built using the whole canonical base of right invariant vector fields. This is a right invariant (but no longer homogeneous) uniformly elliptic operator in \({\mathbb {G}}\), which at the origin coincides with the standard Laplacian. Therefore, the fundamental solution of the Laplacian, \(\gamma \left( x\right) =c_{N}\left| x\right| ^{2-N}\), can be used to build a parametrix for \({\mathcal {L}}^{R}\): letting \({\widetilde{\gamma }}\left( x\right) =\gamma \left( x\right) \eta \left( x\right) \), where \(\eta \) is a cutoff function equal to 1 in a neighborhood of the origin, one can prove the following:
Proposition 3.4
(see [2, Prop. 4.2.]) Let \(V\subset {\mathbb {G}}\) be a neighborhood of the origin. There exist \({\widetilde{\gamma }}\in C^{\infty }\left( {\mathbb {G}}{\setminus }\left\{ 0\right\} \right) \) and \(\omega \in C^{\infty }\left( {\mathbb {G}}{\setminus }\left\{ 0\right\} \right) \), both supported in V, satisfying
and such that in the sense of distributions
(Here \(\delta \) is the Dirac mass as a distribution in \({\mathbb {R}}^{N}\).)
Let us now consider three open sets in \({\mathbb {G}}\), \(\Omega ^{\prime } \Subset \Omega ^{\prime \prime }\Subset \Omega \) and let V be a neighborhood of the origin such that \(V^{-1}\circ \Omega ^{\prime }\subset \Omega ^{\prime \prime }\). Define \({\widetilde{\gamma }}\) as in Proposition 3.4, with \({\widetilde{\gamma }}\) supported in V. The convolution with \(\widetilde{\gamma }\) defines a regularizing operator that acts on functions \(u\in L_{\mathrm{loc}} ^{1}\left( {\mathbb {G}}_{T}\right) \) as follows. For every \(x\in \Omega ^{\prime }\) and \(t\in \left[ 0,T\right] \), we set
The subscript V in \(T_{V}\) recalls that the definition of the operator depends on the choice of the neighborhood V used to define \({\widetilde{\gamma }}\).
Note that
Namely, for \(x\in \Omega ^{\prime }\) and \(x\circ y^{-1}\in {\text {sprt}} {\widetilde{\gamma }}\), the point \(y=\left( x\circ y^{-1}\right) ^{-1}\circ x\) ranges in \(V^{-1}\circ \Omega ^{\prime }\subset \Omega ^{\prime \prime }\); hence, introducing characteristic functions,
or
which by Young’s inequality gives, at least for a.e. t,
and hence
Also, \(T_{V}\) acts on distributions \(u\in L^{2}\left( \left( 0,T\right) ,{\mathcal {D}}^{\prime }\left( \Omega \right) \right) \) as follows. For every \(\varphi \in {\mathcal {D}}\left( \Omega ^{\prime }\right) \) we set
where
Observe that the assumption on V implies that \(T_{V}^{*}\varphi \) is a test function in \(\Omega ^{\prime }\). Namely, for \(x\in {\text {sprt}} \varphi \) and \(x\circ y^{-1}\in {\text {sprt}}{\widetilde{\gamma }}\) the point y ranges in \(\Omega ^{\prime \prime }\Subset \Omega \). The function \(T_{V}^{*}\varphi \) is smooth, as one can see writing
and computing left invariant derivatives
Therefore, the pairing (3.6) is well defined. Also, from the previous identity we easily read that if \(\varphi _{k}\rightarrow 0\) in \({\mathcal {D}} \left( \Omega \right) \) then \(T_{V}^{*}\varphi _{k}\rightarrow 0\) in \({\mathcal {D}}\left( \Omega ^{\prime }\right) \). Hence, \(T_{V}u\left( t,\cdot \right) \in \) \({\mathcal {D}}^{\prime }\left( \Omega ^{\prime }\right) \). Moreover,
(just by definition of \(L^{2}\left( \left( 0,T\right) ,{\mathcal {D}}^{\prime }\left( \Omega \right) \right) \)), so that
Next, we need to prove the regularizing properties of \(T_{V}\). The following result is an adaptation of [2, Prop. 4.4.].
Proposition 3.5
(Regularizing properties of \(T_{V}\)) Let \(\Omega ^{\prime }\Subset \Omega ^{\prime \prime }\Subset \Omega \). There exists a neighborhood V of the origin such that the operator \(T_{V}\) defined in (3.6) has the following properties.
(1) Let \(u\in {\mathcal {D}}^{\prime }\left( \left( 0,T\right) \times \Omega \right) \) such that \(u=\frac{\partial ^{\alpha }}{\partial x^{\alpha }}g\), for some \(g\in L^{2}\left( \left( 0,T\right) ,L_{\mathrm{loc}}^{1}\left( \Omega \right) \right) \) and multiindex \(\alpha .\) Then \(T_{V}u\in L^{2}\left( \left( 0,T\right) ,{\mathcal {D}}^{\prime }\left( \Omega ^{\prime }\right) \right) \) and
for suitable \(A_{\beta }\in L^{2}\left( \left( 0,T\right) ,L_{\mathrm{loc}} ^{1}\left( \Omega ^{\prime }\right) \right) \).
(2) Let \(u\in L^{2}\left( \left( 0,T\right) ,L_{\mathrm{loc}}^{p}\left( \Omega \right) \right) \) for some \(1\leqslant p<\frac{N}{2}\), then
and
(3) Let \(u\in L^{2}\left( \left( 0,T\right) ,L_{\mathrm{loc}}^{2}\left( \Omega \right) \right) \) then \(T_{V}u\in L^{2}\left( \left( 0,T\right) ,W_{X}^{1,2}\left( \Omega ^{\prime }\right) \right) \).
(4) Let \(u\in L^{2}\left( \left( 0,T\right) ,C^{\infty }\left( {\overline{\Omega }}\right) \right) \), then \(T_{V}u\in L^{2}\left( \left( 0,T\right) ,C^{\infty }\left( \overline{\Omega ^{\prime }}\right) \right) .\)
The proof of this result is a quite straightforward adaptation of the proof of [2, Prop. 4.4] and therefore will be omitted.
Corollary 3.6
Let \(\Omega ^{\prime }\Subset \Omega \Subset {\mathbb {G}}\). For every distribution \(u\in {\mathcal {D}}^{\prime }\left( \left( 0,T\right) \times \Omega \right) \) such that \(u=\partial _{x}^{\alpha }g\) for some multindex \(\alpha \) and \(g\in L^{2}\left( \left( 0,T\right) ,L_{\mathrm{loc}}^{1}\left( \Omega \right) \right) \) there exist a neighborhood of the origin V and an integer K such that \(\left( T_{V}\right) ^{K}u\in L^{2}\left( \left( 0,T\right) ,W_{X}^{1,2}\left( \Omega ^{\prime }\right) \right) \).
The proof follows exactly that of [2, Corollary 4.5].
Proposition 3.7
Let \(\Omega ^{\prime }\Subset \Omega \) and V small enough so that \(V\circ \Omega ^{\prime }\Subset \Omega \). Then, for any distribution \(u\in L^{2}\left( \left( 0,T\right) ,{\mathcal {D}}^{\prime }\left( \Omega \right) \right) \) and every left invariant operator \({\mathcal {P}}\) on \({\mathbb {G}}\) we have
Also, if \(u\in W^{1,2}\left( \left( 0,T\right) ,{\mathcal {D}}^{\prime }\left( \Omega \right) \right) \) then
Remark 3.8
The previous proposition can be obviously iterated writing
for any fixed positive integer K, provided V is chosen small enough to have
Proof
Let \(u\in L^{2}\left( \left( 0,T\right) ,{\mathcal {D}}^{\prime }\left( \Omega \right) \right) \), then \(T_{V}u\in L^{2}\left( \left( 0,T\right) ,{\mathcal {D}}^{\prime }\left( \Omega ^{\prime }\right) \right) \) and for every \(\varphi \in {\mathcal {D}}\left( \Omega ^{\prime }\right) \) we can write, denoting by \({\mathcal {P}}^{\mathcal {*}}\) the transpose operator of \({\mathcal {P}}\) and recalling that \({\mathcal {P}}^{*}\) is still left invariant,
where the above equalities hold for a.e. t, as usual. This implies (3.7).
To prove (3.8), it is enough to show that
Actually, for every \(\psi \in {\mathcal {D}}\left( 0,T\right) \) and \(\varphi \in {\mathcal {D}}\left( \Omega ^{\prime }\right) \) we have
Hence, \(\mathcal {\partial }_{t}T_{V}u=T_{V}\mathcal {\partial }_{t}u.\) \(\square \)
Lemma 3.9
Let \(\Omega ^{\prime }\Subset \Omega ^{\prime \prime } \Subset \Omega \) and \(u\in L^{2}\left( \left( 0,T\right) ,{\mathcal {D}} ^{\prime }\left( \Omega \right) \right) \) satisfying the x-finite order assumption in \(\Omega \). There exists V small enough so that if
then \(u\in L^{2}\left( \left( 0,T\right) ,W_{X}^{1,2}\left( \Omega ^{\prime }\right) \right) \).
The proof of this lemma is very similar to that of [2, Lemma 4.8] and therefore will be omitted.
Proof of Theorem 3.3
Fix \(\Omega ^{\prime }\Subset \Omega ^{\prime \prime }\Subset \Omega ^{\prime \prime \prime }\Subset \Omega \). By Corollary 3.6, there exist a positive integer K and a neighborhood V of the origin such that \(T_{V}^{K}u\in L^{2}\left( \left( 0,T\right) ,W_{X}^{1,2}\left( \Omega ^{\prime \prime \prime }\right) \right) \). Applying Corollary 3.6 also to \(\partial _{t}u\), and possibly choosing a larger integer K and a smaller neighborhood V, we can also assume
so that
Let now \(U\subseteq V\) a neighborhood of the origin such that
Let
so that \(\Omega _{2K}\Subset \Omega ^{\prime \prime \prime }\). Clearly, it is still true that
(having replaced the operator \(T_{V}\) with \(T_{U}\), based on a smaller neighborhood).
By Proposition 3.7 and Remark 3.8, we have
Since, \(F\in L^{2}\left( \left( 0,T\right) ,C^{\infty }\left( {\overline{\Omega }}\right) \right) \), by point (4) in Proposition 3.5 we have \(T_{U}^{K}F\in L^{2}\left( \left( 0,T\right) ,C^{\infty }\left( \overline{\Omega _{2K}}\right) \right) \). By (3.9) then \({\mathcal {L}}\left( T_{U}^{K}u\right) \in L^{2}\left( \left( 0,T\right) ,C^{\infty }\left( \overline{\Omega _{2K}}\right) \right) \) and, since \(T_{U}^{K}u\in W^{1,2}\left( \left( 0,T\right) ,W_{X} ^{1,2}\left( \Omega _{2K}\right) \right) \), we can apply Theorem 2.3 (iv) to conclude that \(T_{U}^{K}u\in C^{0}\left( \left[ 0,T\right] ,C^{\infty }\left( \overline{\Omega _{2K-1}}\right) \right) \) and
Applying Lemma 3.9 to u and \(\partial _{t}u\), we see that \(T_{U}^{K-1}u\in W^{1,2}\left( \left( 0,T\right) ,W_{X}^{1,2}\left( \Omega _{2K-2}\right) \right) \). Iterating this argument K times shows that \(u\in W^{1,2}\left( \left( 0,T\right) ,W_{X}^{1,2}\left( \Omega ^{\prime \prime }\right) \right) \). Since \(F\in L^{2}\left( \left( 0,T\right) ,C^{\infty }\left( {\overline{\Omega }}\right) \right) \) we can apply again Theorem 2.3 (iv) to conclude \(u\in C^{0}\left( \left[ 0,T\right] ,C^{\infty }\left( \overline{\Omega ^{\prime } }\right) \right) \) and \(u_{t}\in L^{2}\left( \left( 0,T\right) ,C^{\infty }\left( \overline{\Omega ^{\prime }}\right) \right) \). \(\square \)
References
A. Bonfiglioli, E. Lanconelli, F. Uguzzoni: Stratified Lie groups and potential theory for their sub-Laplacians. Springer, Berlin, 2007.
M. Bramanti, L. Brandolini: A proof of Hörmander’s theorem for sublaplacians on Carnot groups. Nonlinear Anal. 126 (2015), 170–200.
M. Bramanti, L. Brandolini: Schauder estimates for parabolic nondivergence operators of Hörmander type. Journal of Differential Equations, 234 (2007), no.1, 177-245.
M. Bramanti, L. Brandolini, E. Lanconelli, F. Uguzzoni: Non-divergence equations structured on Hörmander vector fields: heat kernels and Harnack inequalities. Memoirs of the AMS 204 (2010), no. 961, 1-136.
M. Bramanti, M. Zhu: \(L^{{}_{p}}\)and Schauder estimates for nonvariational operators structured on Hörmander vector fields with drift. Analysis & PDE 6-8 (2013), 1793-1855.
F. Colombini, D. Del Santo, M. Reissig: On the optimal regularity of coefficients in hyperbolic Cauchy problems. Bull. Sci. Math. 127 (2003), no. 4, 328–347.
F. Colombini, E. De Giorgi, S. Spagnolo: Sur les équations hyperboliques avec des coefficients qui ne dépendent que du temps. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 6 (1979), no. 3, 511–559.
G. B. Folland: Subelliptic estimates and function spaces on nilpotent Lie groups. Ark. Mat. 13 (1975), no. 2, 161–207.
C. Garetto, M. Ruzhansky: Hyperbolic second order equations with non-regular time dependent coefficients. Arch. Ration. Mech. Anal. 217 (2015), no. 1, 113–154.
L. Hörmander: Hypoelliptic second order differential equations. Acta Math. 119 (1967), 147-171.
J. J. Kohn: Pseudo-differential operators and hypoellipticity. Partial differential equations (Proc. Sympos. Pure Math., Vol. XXIII, Univ. California, Berkeley, Calif., 1971), pp. 61–69. Amer. Math. Soc., Providence, R.I., 1973.
N. V. Krylov: Hörmander’s theorem for parabolic equations with coefficients measurable in the time variable. SIAM J. Math. Anal. 46 (2014), no. 1, 854–870.
N. V. Krylov: Hörmander’s theorem for stochastic partial differential equations. Reprinted in St. Petersburg Math. J. 27 (2016), no. 3, 461–479. Algebra i Analiz 27 (2015), no. 3, 157–182.
N. V. Krylov: Hypoellipticity for filtering problems of partially observable diffusion processes. Probab. Theory Related Fields 161 (2015), no. 3-4, 687–718.
O. A. Oleĭnik, E. V. Radkevič: Second order equations with nonnegative characteristic form. Plenum Press, New York-London, 1973.
Funding
Open access funding provided by Politecnico di Milano within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bramanti, M. Space regularity for evolution operators modeled on Hörmander vector fields with time dependent measurable coefficients. J. Evol. Equ. 21, 1419–1448 (2021). https://doi.org/10.1007/s00028-020-00629-3
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00028-020-00629-3