Abstract
The aim of this work is to prove the existence of a fundamental solution associated to the Kolmogorov equation \(\mathscr {L}u = f\) in the dilation invariant case, with bounded measurable first order coefficients and bounded diffusion coefficients satisfying a sort of divergence free assumption. Finally, we prove Gaussian upper and lower bounds for the fundamental solution, and other related properties, under less restrictive assumptions on the coefficients.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The aim of this work is to prove the existence of a weak fundamental solution for a second order partial differential equation of Kolmogorov type with measurable coefficients of the form
where \(z=(x,t)=(x_1,\ldots ,x_N,t)\in \mathbb {R}^{N+1}\) and \(1 \le m_0 \le N\). In particular, the matrices \(A_0=(a_{ij} (x,t))_{i,j=1,\ldots ,m_0}\) and \(B=(b_{ij})_{i,j=1,\ldots ,N}\) satisfy the following structural assumptions.
-
(H1) The matrix \(A_0\) is symmetric with real measurable entries, i.e. \(a_{ij}(x,t)=a_{ji}(x,t)\), for every \(i,j=1,\ldots ,m_0\). Moreover, there exist two positive constants \(\lambda\) and \(\Lambda\) such that
$$\begin{aligned} \lambda |\xi |^2 \le \sum _{i,j=1}^{m_0} a_{ij} (x,t) \xi _i \xi _j \le \Lambda |\xi |^2 \end{aligned}$$for every \((x,t) \in \mathbb {R}^{N+1}\) and \(\xi \in \mathbb {R}^{m_0}\). The matrix B has constant entries.
-
(H2) The principal part operator \(\mathscr {K}\) of \(\mathscr {L}\) is hypoelliptic, where \(\mathscr {K}\) is defined as
$$\begin{aligned} \mathscr {K}u(x,t):=\sum \limits _{i=1}^{m_0}\partial ^2_{x_i} u(x,t) + \sum \limits _{i,j=1}^N b_{ij}x_j\partial _{x_i}u(x,t)-\partial _t u(x,t), \end{aligned}$$and it is dilation invariant with respect to the family of dilations \(( {\delta }_{r} )_{r>0}\) introduced in (23).
Note that we allow operator \(\mathscr {L}\) to be strongly degenerate whenever \(m_0 < N\). However, it is known that the first order part of \(\mathscr {L}\) may induce a strong regularizing property. Indeed, under suitable assumptions on the matrix B, the operator \(\mathscr {K}\) is hypoelliptic, namely every distributional solution u to \(\mathscr {K}u = f\) defined in some open set \(\Omega \subset \mathbb {R}^{N+1}\) belongs to \(C^\infty (\Omega )\) and it is a classical solution to \(\mathscr {K}u = f\), whenever \(f \in C^\infty (\Omega )\). We refer to Sect. 2 for further information on this matter. Eventually, we remark that when \(\mathscr {L}\) is uniformly parabolic (i.e. \(m_0=N\) and \(B\equiv \mathbb {O}\)), assumption \(\mathbf (H2)\) is trivially satisfied. Indeed, in this case the principal part operator \(\mathscr {K}\) is simply the heat operator.
In order to expose our main results, we first need to introduce some preliminary notation. From now on, we consider the strip \(S_{T_0T_1} := \mathbb {R}^{N}\times (T_0, T_1)\), and in accordance with the scaling of the differential equation (see (23) below) we split the coordinate \(x\in \mathbb {R}^N\) as
where every \(m_{j}\) is a positive integer such that
Thus, here and in the sequel we denote by
the gradient, the partial gradient in the first \(m_0\) components, the inner product and the divergence in \(\mathbb {R}^N\), respectively. Moreover, we introduce the matrix
where \(a_{ij}\), for every \(i,j=1,\ldots ,m_0\), are the coefficients appearing in (1), while \(a_{ij}\equiv 0\) whenever \(i > m_0\) or \(j>m_0\). Finally, we let
Now, we are in a position to rewrite the operator \(\mathscr {L}\) in the compact form
and we recall that its formal adjoint is defined as
where
We now introduce the natural framework for studying the weak regularity theory of solutions to \(\mathscr {L}u = 0\). We consider a domain \({\Omega }\subset \mathbb {R}^{N+1}\), where \({\Omega }={\Omega }_{m_0} \times {\Omega }_{N-m_0+1}\) with \({\Omega }_{m_0} \subset \mathbb {R}^{m_0}\) and \({\Omega }_{N-m_0+1} \subset \mathbb {R}^{N-m_0+1}\). We denote by \({\mathcal {D}}({\Omega })\) the set of \(C^\infty\) functions compactly supported in \({\Omega }\) and by \({\mathcal {D}}'({\Omega })\) the set of distributions in \({\Omega }\). From now on, \(H^{1}_{x^{(0)}}\) denotes the Sobolev space of functions \(u \in L^{2} ({\Omega }_{m_{0}})\) with distributional gradient \(D_{m_0}u\) lying in \(( L^{2} ({\Omega }_{m_{0}}) )^{m_{0}}\), i.e.
and we set
We let \(H^{1}_{c,x^{(0)}}\) denote the closure of \(C^\infty _{c}({\Omega }_{m_{0}})\) in the norm of \(H^{1}_{x^{(0)}}\) and we recall that \(H^{1}_{c,x^{(0)}}\) is a reflexive Hilbert space and thus we may consider its dual space
where the notation we consider is the classical one. Hence, from now on we denote by \(H^{-1}_{x^{(0)}}\) the dual of \(H^{1}_{c,x^{(0)}}\) acting on functions in \(H^{1}_{c,x^{(0)}}\) through the duality pairing \(\langle \cdot , \cdot \rangle _{H^{1}_{x^{(0)}},H^{1}_{c,x^{(0)}}}\). In a standard manner, see for instance [4, 5, 28], we let \(\mathcal {W}({\Omega })\) denote the closure of \(C_c^{\infty } ({\overline{{\Omega }}})\) in the norm
where the previous norm can explicitly be computed as follows:
where \({{\overline{x}}} = (x^{(1)},\ldots , x^{(\kappa )})\) and \(x= (x^{(0)}, {{\overline{x}}}) \in \mathbb {R}^N\). In particular, \(\mathcal {W}(\Omega )\) is a Banach space, and it was firstly introduced in [4] as an extension of the natural functional setting that arises in the study of the weak regularity theory for the kinetic Kolmogorov–Fokker–Planck equation [5, 17,18,19]. For further properties of the space \(\mathcal {W}\), we refer the reader to [28], where the authors provide a characterization of this space in the kinetic Kolmogorov–Fokker–Planck setting, i.e. when \(\kappa =2\), \(m_0=m_1=d\) and \(N=m_0+m_1\).
Definition 1.1
A function \(u \in \mathcal {W}(S_{T_0T_1})\) is a weak solution to (1) if for every non-negative test function \({\varphi }\in {\mathcal {D}}(S_{T_0T_1})\), we have
In the sequel, we will also consider weak sub-solutions to (1), namely functions \(u \in \mathcal {W}(S_{T_0T_1})\) that satisfy the following inequality
for every non-negative test function \({\varphi }\in {\mathcal {D}}(S_{T_0T_1})\). A function u is a weak super-solution to (1) if \(-u\) is a sub-solution.
Finally, we recall the definition of weak fundamental solution for the operator \(\mathscr {L}\), firstly introduced by Lanconelli et al. in [25, Definition 2.2].
Definition 1.2
A weak fundamental solution for \(\mathscr {L}\) is a continuous positive function \({\Gamma _{\!\! L}}= {\Gamma _{\!\! L}}(x,t; {\xi }, {\tau })\) defined for \(t \in \mathbb {R}\), \(0 \le T_0< {\tau }< t < T_1\) and any \(x, \xi \in \mathbb {R}^{N}\)
such that:
-
1.
\({\Gamma _{\!\! L}}= {\Gamma _{\!\! L}}(\cdot , \cdot ; {\xi }, {\tau })\) is a weak solution to \(\mathscr {L}u = 0\) in \(\mathbb {R}^N\times ({\tau },T_1)\) and \({\Gamma _{\!\! L}}= {\Gamma _{\!\! L}}(x,t; \cdot , \cdot )\) is a weak solution of \(\mathscr {L}^* v = 0\) in \(\mathbb {R}^N\times (T_0,t)\);
-
2.
for any bounded function \({\varphi }\in C (\mathbb {R}^{N})\) and any \(x,\xi \in \mathbb {R}^{N}\) we have
$$\begin{aligned}&{\left\{ \begin{array}{ll} \mathscr {L}u (x,t) = 0 \qquad &{}(x,t) \in \mathbb {R}^N\times (\tau ,T_1), \\ \lim \limits _{\begin{array}{c} (x,t) \rightarrow ( {\xi }, {\tau }) \\ t>{\tau } \end{array}} u(x,t) = {\varphi }({\xi }) \qquad&{\xi }\in \mathbb {R}^N, \end{array}\right. } \nonumber \\&{\left\{ \begin{array}{ll} \mathscr {L}^* v ( {\xi }, {\tau }) = 0 \qquad &{}( {\xi }, {\tau }) \in \mathbb {R}^N\times (T_0,t), \\ \lim \limits _{\begin{array}{c} ( {\xi }, {\tau }) \rightarrow (x,t) \\ t> {\tau } \end{array}} v( {\xi }, {\tau }) = {\varphi }(x) \qquad&x \in \mathbb {R}^N , \end{array}\right. } \end{aligned}$$(7)where the above equations need to be satisfied in the weak sense and
$$\begin{aligned} u(x,t) := \int _{\mathbb {R}^{N}} {\Gamma _{\!\! L}}(x,t; {\xi }, {\tau }) \, {\varphi }(\xi ) \, d{\xi }, \quad v( {\xi }, {\tau }) := \int _{\mathbb {R}^{N}}{\Gamma _{\!\! L}}(x,t; {\xi }, {\tau }) \, {\varphi }(x) \, dx . \end{aligned}$$
Now, we are in a position to state our main results. Firstly, we give answer to [25, Remark 2.3] by proving the existence of a weak fundamental solution for the operator \(\mathscr {L}\) in the sense of Definition 1.2 under the following assumption for the coefficients of the operator \(\mathscr {L}\).
-
(H3A) The coefficients \(a_{ij}\), \(b_i\), \(c \in L^{1} (S_{T_0T_1}) \cap L^{\infty }_{loc} (S_{T_0T_1})\) for \(i,j,k=1,\ldots ,N\), i.e. for any given compact subset K of \(S_{T_0T_1}\) there exists a positive constant M such that
$$\begin{aligned} |a_{ij}(x,t) |, |b_i(x,t)|, |c(x,t)|, \le M, \quad \quad \forall (x,t) \in K, \, \, \forall i,j = 1, \ldots , N. \end{aligned}$$Moreover, the diffusion coefficients \(a_{ij}\) are such that
$$\begin{aligned} {\text {div}}A^j_0 = 0 \quad \forall j = 1, \ldots , m_0 \text { in the distributional sense}, \end{aligned}$$where \(A^j_0\) denotes the \(j^{th}\)-column of the matrix \(A_0\) introduced in assumption (H1).
Note that the diverge free assumption on the columns of the matrix \(A_0\) is required to address technical issues arising in the proof of the forthcoming Theorem 1.3. Indeed, the existence of the weak fundamental solution is achieved by combining a regularization procedure with a diagonal argument, that allows us to prove the existence of the fundamental solution by applying Theorem 2.5 to the constructed regularized operator \(\mathscr {L}_{\varepsilon }\) under the assumption (C) listed in Sect. 2. It is our belief that this additional assumption can be dropped by considering more refined analytical techniques, such as the ones recently proposed in the pre-print [29] for the case of measurable in time and Hölder continuous in space diffusion coefficients. Lastly, we point out that it is possible to replace the diverge free assumption on the diffusion coefficients with the following, more restrictive, one: the coefficients \(a_{ij}\) are measurable, doubly (weakly) differentiable with respect to the first \(m_0\) components and such that \(\partial _{lk}^2 a_{ij} \in L^{\infty }_{loc}(S_{T_0T_1})\), for every \(l,k = 2, \ldots , m_0\). Indeed, this last assumption is enough to ensure that also the first order derivatives \(\partial _k a_{ij}\) are Lipschitz continuous on \(S_{T_0T_1}\), with a uniform modulus of continuity not depending on the set we are considering.
Theorem 1.3
(Existence of the weak fundamental solution) Let us consider operator \(\mathscr {L}\) under assumptions (H1)–(H2)–(H3A). Then there exists a fundamental solution \({\Gamma _{\!\! L}}\) of \(\mathscr {L}\) in the sense of Definition 1.2 and the following reproduction property holds. Indeed,
for every \(x, \xi \in \mathbb {R}^{N}\) and every \(t,\tau \in \mathbb {R}\) with \(\tau< s < t\) such that \(\tau , t \in (T_0, T_1)\):
Moreover, the function \({\Gamma _{\!\! L}}^{\!\!*}(x, t; \xi , \tau ) = {\Gamma _{\!\! L}}(\xi , \tau ; x,t)\) is the fundamental solution of \(\mathscr {L}^*\) and verifies the dual properties of this statement.
The existence of a classical fundamental solution is a problem that has been thoroughly addressed over the years. In particular, we refer to the works by Hörmander [20] and Kolmogorov [23] for the analysis of the case with constant, or smooth coefficients. Among others, we recall the paper [35] for the proof of the existence of a classical fundamental solution through the Levy parametrix method and we refer to the last part of Sect. 2 for further reference.
To our knowledge, Theorem 1.3 is the first existence result available for the weak fundamental solution to (1) in the sense of Definition 1.2. The proof we propose here is based on a limiting procedure combined with Schauder type estimates and a diagonal argument. This procedure was firstly proposed in [3] to prove the existence of a classical fundamental solution when the coefficients of (1) are locally Hölder continuous. The main difficulties we encounter when adapting this argument to the weak case are given by the low regularity of the coefficients, hence a new regularizing procedure is introduced in Section 4.
We emphasize that the PDE approach adopted in this work improves the previously known results in that it allows us to consider differential operators with bounded measurable coefficients in both time and space, which is a milder assumption than the ones considered in the most recent literature. Indeed, on the one hand, in [9] the authors consider the case of bounded measurable time-depending coefficients, with a proof that is based on explicit computations involving the fundamental solution. On the other hand, in [29] the case of Hölder continuous in space and bounded measurable in time coefficients is considered.
Secondly, we extend [25, Theorem 1.3] providing Gaussian upper and lower bounds for the weak fundamental solution \(\Gamma\) of \(\mathscr {L}\) under the following more general assumption on the lower order coefficients b and c.
-
(H3B) The coefficients \(b \in \left( L^\infty_{{\text {loc}}} (S_{T_0T_1}) \right) ^{m_0}\), \(c \in L^q_{{\text {loc}}} (S_{T_0T_1})\) for some \(q >\frac{Q+2}{2}\). Moreover, \(c \le 0\).
As far as we are concerned with Gaussian upper bounds for the fundamental solution \(\Gamma\) associated to \(\mathscr {L}\) with Hölder continuous coefficients, a first result dates back to [35], where the author proves Gaussian upper bounds depending on the Hölder norm of the coefficients a, b and c. Later on, Di Francesco and Pascucci [15], Di Francesco and Polidoro [16] prove upper and lower bounds for the classical fundamental solution, where also in this case the involved constants depend on the Hölder norm of the coefficients. A first result regarding Gaussian upper bounds independent of the Hölder norm of the coefficients is due to Pascucci and Polidoro, who studied operator (1) with \(b=c=0\) (see [34, Theorem 1.1]). Later on, Lanconelli and Pascucci [24] and Lanconelli et al. [25] extended Nash upper bounds to non-homogeneous operators of the form (1) with bounded measurable coefficients.
On the other hand, if we consider Gaussian lower bounds independent of the Hölder norm of the coefficients, a first result is due to Lanconelli, Pascucci and Polidoro [25, Theorem 1.3] for the particular case of the kinetic Kolmogorov–Fokker–Planck equation. The proof of this result is based on the construction of a Harnack chain, alongside with the study of the control problem associated to the principal part operator \(\mathscr {K}\). The authors of [25] already suggested this type of result could be extended to the general non-homogeneous Kolmogorov operator of step \({\kappa }\) in (1), once a suitable Harnack inequality is established. The present work is a first step in this direction as it handles the homogeneous case, the only one for which a Harnack inequality is available, see [4, Theorem 1.3].
Theorem 1.4
(Gaussian bounds) Let \(\mathscr {L}\) be an operator of the form (1) under assumptions (H1)–(H2)–(H3B). Let \(I=(T_{0}, T_{1})\) be a bounded interval, then there exist four positive constants \({\lambda }^{+}\), \({\lambda }^{-}\), \(C^{+}\), \(C^{-}\) such that
for every \((x,t), (\xi , \tau ) \in \mathbb {R}^{N}\times (T_0, T_1)\) with \(\tau < t\). The constants \({\lambda }^{+}\), \({\lambda }^{-}\), \(C^{+}\), \(C^{-}\) only depend on B, \((T_{1}-T_{0})\), \(\Vert b \Vert _q\), \(\Vert c \Vert _q\). Note that \({\Gamma _{\!\! K}}^{\! \! \! \! {\lambda }^{-}}\) and \({\Gamma _{\!\! K}}^{\! \! \! \! {\lambda }^{+}}\) denote the fundamental solution of \(\mathscr {K}_{{\lambda }^{-}}\) and \(\mathscr {K}_{{\lambda }^{+}}\), where
and the explicit expression of \({\Gamma _{\!\! K}}^{\! \! \! \! {\lambda }^{\pm }}\) is given by
for every \((x,t),(\xi ,\tau ) \in \mathbb {R}^{N+1}\), with \((x,t)\ne (\xi ,\tau )\) and
Remark 1.5
Following the strategy proposed in Theorem 1.3, the existence of the weak fundamental solution to (1) is ensured under the more restrictive assumptions (H1)-(H2)-(H3A), i.e. when \(q=+\infty\). In this case, the constants appearing in the statement will only depend on \(B, (T_1 - T_0), M\). Nevertheless, in the same spirit of [24] we provide Gaussian upper and lower bounds in the most general framework, that will hold true even if the existence of the fundamental solution is ensured through a different (and hopefully less resctrictive) procedure.
Remark 1.6
As pointed out in [4, Remark 1.7], we can replace assumption (H3B) with the one firstly considered by Wang and Zhang in [39, 40]: \(b\in L^q_{loc}(S_{T_0T_1})\) for some \(q >(Q+2)\) and \(c \in L^q_{loc}(S_{T_0T_1})\) for some \(q >\frac{Q+2}{2}\), with the additional requirement of \(c \le 0\). Note that the last assumption on the sign of c is necessary to handle unbounded coefficients, and thus when \(q = + \infty\), i.e. assumption (H3A) is in place, we are able to drop it.
Remark 1.7
Since the proof of the upper bound in (8) does not rely on the Harnack inequality stated in Theorem 3.1, the rightmost inequality of (8) holds true for the more general operator
with \(a \in \left( L^q_{{\text {loc}}} (S_T) \right) ^{m_0}\) and \({\text {div}}\,a \ge 0\).
1.1 Motivation and background
Kolmogorov equations appear in the theory of stochastic processes as linear second order parabolic equations with non-negative characteristic form. In its simplest form, if \(\left( W_t \right) _{t \ge 0}\) denotes a real Brownian motion, the density \(p=p(t,v,y,v_{0},y_{0})\) of the stochastic process \((V_{t}, Y_{t})_{t \ge 0}\)
is a solution to one of the simplest strongly degenerate Kolmogorov equation, that is
In 1934 Kolmogorov provided us with the explicit expression of the density \(p=p(t,v,y;v_{0},y_{0})\) of the above equation (see [23]) that, when \((v_0, y_0) = (0,0)\), reads as
and pointed out it is a smooth function despite the strong degeneracy of (13). This immediately suggested that the operator \(\mathscr {L}\) associated to Eq. (13)
is hypoelliptic. Indeed, later on Hörmander considered this operator as a prototype for the family of hypoelliptic operators studied in his seminal work [20].
Kolmogorov equations find their application in different research fields. First of all, the process in (12) is the solution to the Langevin equation
and several mathematical models involving linear and non linear Kolmogorov type equations have also appeared in finance, see for instance [1, 6, 8, 14]. Indeed, equations of the form (13) appear in the Black–Scholes model for the pricing of geometric averaged options (see for instance, [7, 33] and the references therein). For example, equation
arises in the Black and Scholes option pricing problem
where \({\sigma }\) is the volatility of the stock price S, r is the interest rate of a riskless bond and \(P= P(S, A, t)\) is the price of the Asian option depending on the price of the stock S, the geometric average A of the past price and the time to maturity t.
In this framework, knowing that the fundamental solution to the Kolmogorov equation exists is helpful for the study of the option pricing problem and allows us to have various advantages when dealing with numerical simulations. For further information on this topic, we refer to [7]. It is worth noting that, when dealing with the theory of stochastic processes, Kolmogorov equations arise either in non-divergence form (backward Kolmogorov) or in super-divergence form (forward Kolmogorov). These models can be written as (1) only when the coefficients are regular enough, see assumption (C) below. Despite these limitations, our analysis is useful especially from the weak regularity theory point of view, where it is fundamental to lower the regularity assumptions on the coefficients as much as possible. As a byproduct, our results may find application in numerical analysis, for example when studying a priori well-posedness of a numerical method suitable for the analysis of the pricing problem.
Moreover, we recall that the Kolmogorov equation is the prototype for a family of evolution equations arising in kinetic theory of gas, which take the following general form
In this case, we have that \(u=u(v,y,t)\) is the density of particles with velocity \(v=(v_{1}, \ldots , v_{n})\) and position \(y=(y_{1}, \ldots , y_{n})\) at time t. Moreover,
is the so called total derivative with respect to time in the phase space \({\mathbb {R}}^{2n+1}\), and \(\mathcal {J} (u)\) is the collision operator, which can be either linear or non-linear. For instance, in the usual Fokker–Planck equation (cf. [13, 37]) we have a linear collision operator of the form
where \(a_{ij}\), \(a_i\) and a are functions of (y, t); \(\mathcal {J} (u)\) can also occur in divergence form
We also mention the following non-linear collision operator of the Fokker-Planck-Landau type
where the coefficients \(a_{ij}\) and \(b_i\) depend both on \(z \in {\mathbb {R}}^{2n+1}\) and the unknown functions u through some integral expression. Moreover, this last operator is studied as a simplified version of the Boltzmann collision operator (see for instance [11, 27]). For the description of wide classes of stochastic processes and kinetic models leading to equations of the previous type, we refer to the classical monographies [10, 11] and [12].
1.2 Plan of the paper
This work is organized as follows. In Sect. 2 we recall the properties of the geometrical structure associated to operator \(\mathscr {L}\). In Sect. 3 we prove Gaussian lower bounds for the fundamental solution associated to operator \(\mathscr {L}\) under the assumption (H3B). In Sect. 4 we prove the existence of a weak fundamental solution for operator \(\mathscr {L}\) under the assumption (H3A).
2 Preliminaries
In this section we recall some notation and known results about the non-Euclidean geometry underlying the operators \(\mathscr {L}\) and \(\mathscr {K}\). We refer to the survey paper [2] and the references therein for a comprehensive treatment of this subject.
As first observed by Lanconelli and Polidoro in [26], the principal part operator \(\mathscr {K}\) is invariant with respect to left translations in the group \(\mathbb {K}=(\mathbb {R}^{N+1},\circ )\), where the group law is defined by
and
Then \(\mathbb {K}\) is a non-commutative group with zero element (0, 0) and inverse
For a given \(\zeta \in \mathbb {R}^{N+1}\) we denote by \(\ell _{{\zeta }}\) the left translation on \(\mathbb {K}=(\mathbb {R}^{N+1},\circ )\) defined as follows
Then the operator \(\mathscr {K}\) is left invariant with respect to the Lie product \(\circ\), that is
for every u sufficiently smooth.
We recall that, by [26] (Propositions 2.1 and 2.2), the dilation invariance in (H2) is equivalent to assume that, for some basis on \(\mathbb {R}^N\), the matrix B takes the following form
where every \(B_j\) is a \(m_{j} \times m_{j-1}\) matrix of rank \(m_j\), \(j = 1, 2, \ldots , {\kappa }\) with
Hence, in the sequel we will assume that B has the canonical form (17). We remark that the first part of assumption (H2), i.e. the hypoellipticity of \(\mathscr {K}\), implies the condition introduced by Hörmander in [20] applied to \(\mathscr {K}\):
where \(\mathrm{Lie}\left( \partial _{x_1},\dots ,\partial _{x_{m_0}},Y\right)\) denotes the Lie algebra generated by the first order differential operators \(\left( \partial _{x_1},\dots ,\partial _{x_{m_0}},Y\right)\) computed at (x, t). Yet another condition equivalent to (18), (see [26], Proposition A.1), is that
where
and \(E(\cdot )\) is the matrix defined in (16). Lastly, we recall that Hörmander explicitely constructed in [20] the fundamental solution of \(\mathscr {K}\) as
where
In particular, condition (19) implies that \({\Gamma _{\!\! K}}\) is well-defined.
Let us now consider the second part of assumption (H2). We say that \(\mathscr {K}\) is invariant with respect to \((\delta _r)_{r>0}\) if
for every function u sufficiently smooth. It is known (see Proposition 2.2 of [26]) that it is possible to read this dilation invariance property in the expression of the matrix B in (17). More precisely, \(\mathscr {K}\) satisfies (22) if and only if the matrix B takes the form (17). In this case, we have
where
Furthermore, we introduce the family of slanted cylinders on which we usually study the local properties of the Kolmogorov equation starting from the unit past cylinder
defined through the open balls
where \(j=0,\ldots ,\kappa\) and \(\vert \cdot \vert\) denotes the euclidean norm in \(\mathbb {R}^{m_j}\). Now, for every \(z_0 \in \mathbb {R}^{N+1}\) and \(r>0\), we set
the cylinder centered at an arbitrary point \(z_{0} \in \mathbb {R}^{N+1}\) and of radius r. We next introduce a homogeneous norm of degree 1 with respect to the dilations \(({\delta }_{r})_{r>0}\) and a corresponding quasi-distance which is invariant with respect to the group operation (15).
Definition 2.1
(Homogeneous norm) Let
be the positive integers defined as in (24).
If \(\Vert z \Vert = 0\) we set \(z=0\) while, if \(z \in \mathbb {R}^{N+1} {\setminus } \{ 0 \}\) we define \(\Vert z \Vert = r\) where r is the unique positive solution to the equation
Accordingly, we define the quasi-distance d by
As \(\det E(t) = e^{t {\mathrm{trace}} \, B} = 1\), the Lebesgue measure is invariant with respect to the translation group associated to \(\mathscr {K}\). Moreover, since \(\det {\delta }_r = r^{Q+2}\), we also have
where \({\mathcal {Q}}_r(z_0)\) is defined as in (27) and
The natural number \(Q+2\) is called the homogeneous dimension of \(\mathbb {R}^{N+1}\) with respect to \(({\delta }_{r})_{r > 0}\). This denomination is proper since the Jacobian determinant of \({\delta }_{r}\) equals to \(r^{Q+2}\).
Since \(\mathscr {K}\) is dilation invariant with respect to \(({\delta }_r )_{r>0}\), also its fundamental solution \({\Gamma _{\!\! K}}\) is a homogeneous function of degree \(- Q\), namely
We now recall the definition of Hölder continuous function in this framework.
Definition 2.2
(Hölder continuity) Let \({\alpha }\) be a positive constant, \({\alpha }\in (0, 1]\), and let \({\Omega }\) be an open subset of \(\mathbb {R}^{N+1}\). We say that a function \(f : {\Omega }\longrightarrow \mathbb {R}\) is Hölder continuous with exponent \({\alpha }\) in \({\Omega }\) with respect to the group \(\mathbb {K}=(\mathbb {R}^{N+1},\circ )\), defined in (15), (in short: Hölder continuous with exponent \({\alpha }\), \(f \in C^{\alpha }_{K} ({\Omega })\)) if there exists a positive constant \(C>0\) such that
where d is the distance defined in (28). Moreover, we associate to every bounded function \(f \in C^{\alpha }_{K} ({\Omega })\) the semi-norm
Eventually, we say a function f is locally Hölder continuous, and we write \(f \in C^{{\alpha }}_{K,{\text {loc}}}({\Omega })\), if \(f \in C^{{\alpha }}_{K}({\Omega }')\) for every compact subset \({\Omega }'\) of \({\Omega }\).
We conclude this section by presenting an overview of results regarding the classical theory and the corresponding definition of fundamental solution for the operator \(\mathscr {L}\) under the following assumption on the coefficients a, b and c.
-
(C) The matrix \(A_0\) satisfies assumption (H1), while the matrix B has constant entries. The principal part operator \(\mathscr {K}\) satisfies assumption (H2). Finally, the coefficients \(a_{ij}\), \(b_i\), c, and \(\partial _{x_k} a_{ij}\), for \(i, j,k =1, \ldots , N\), are bounded and Hölder continuous of exponent \({\alpha }\in (0,1]\).
Note that the Hölder continuity of the derivatives of \(a_{ij}\), \(i,j=1,\ldots ,N\), is required since the operator we consider in (1) is in divergence form, whereas the results we will present below (see Theorem 2.7) are proved for a trace form Kolmogorov operator.
First of all, let us recall the notion of Lie derivative Yu of a function u with respect to the vector field Y defined in (2). A function u is Lie differentiable with respect to Y at the point (x, t) if there exists and is finite
Note that \({\gamma }\) is the integral curve of Y, i.e. \({\dot{{\gamma }}} (s) = Y({\gamma }(s))\). Clearly, if \(u \in C^{1}({\Omega })\), with \({\Omega }\) open subset of \(\mathbb {R}^{N+1}\), then Yu(x, y, t) agrees with \(\sum _{i,j=1}^N b_{ij}x_j\partial _{x_i}u(x,t)-\partial _t u(x,t)\) considered as a linear combination of the derivatives of u. Then we are in a position to introduce the notion of classical solution to \(\mathscr {L}u = 0\) under the assumptions (C).
Definition 2.3
A function u is a classical solution to equation \(\mathscr {L}u = 0\) in a domain \({\Omega }\) of \(\mathbb {R}^{N+1}\) under the assumptions (C) if the derivatives \(\partial _{x_i} u, \partial _{x_i x_j}^{2} u\), for \(i,j=1,\ldots , m_0\), and the Lie derivative Yu exist as continuous functions in \({\Omega }\), and the equation \(\mathscr {L}u (x,t)= 0\) is satisfied at any point \((x,t) \in {\Omega }\). Finally, we say that u is a classical super-solution to \(\mathscr {L}u = 0\) if \(\mathscr {L}u \le 0\). We say that u is a classical sub-solution if \(-u\) is a classical supersolution.
A fundamental tool in the classical regularity theory for PDEs are Schauder type estimates. In particular, when considering the case of bounded and Hölder continuous coefficients, we recall the result proved by Manfredini in [31] (see Theorem 1.4) for classical solutions to \(\mathscr {L}u = 0\), where the natural functional setting is
and \(C^{{\alpha }} ({\Omega })\) is given in Definition 2.2. Moreover, if \(u \in C^{2 + {\alpha }} ({\Omega })\) then we define the norm
Clearly, the definition of \(C^{2+{\alpha }}_{{\text {loc}}} ({\Omega })\) follows straightforwardly from the definition of \(C^{{\alpha }}_{{\text {loc}}} ({\Omega })\). Finally, we write \(u \in C^2({\Omega })\) if u, its derivatives \(\partial _{x_i} u, \partial _{x_i x_j}^{2} u\), for \(i,j=1,\ldots , m_0\), and the Lie derivative Yu exist as continuous functions in \({\Omega }\). In the framework of semigroups, Schauder estimates where proved by Lunardi in [30]. Moreover, a complete characterization of the intrinsic Hölder spaces is provided by Pagliarani, Pascucci and Pignotti in [32]. Finally, Schauder estimates for the Boltzmann fractional framework were recently proved by Imbert and Silvestre in [22]. For a comparison between the different types of Hölder spaces considered in literature we refer to [22, 32].
As we work with first order coefficients which are not Hölder continuous but only measurable, we now introduce the Schauder type estimates proved in [36]. First of all, we recall that the modulus of continuity of a function f on any set \(H \subset \mathbb {R}^{N+1}\) is defined as follows
Definition 2.4
A function f is said to be Dini-continuous in H if
We are now in position to state the following result (see [36, Theorem 1.6]).
Theorem 2.5
Let \(\mathscr {L}\) be an operator in the form (1) satisfying hypothesis (H1)-(H2)-(H3A). Let u be a classical solution to \(\mathscr {L}u=f\). Suppose that f is Dini continuous. Then there exists a positive constant c, only depending on the operator \(\mathscr {L}\), such that:
-
(i)
$$\begin{aligned} \vert \partial ^2 u(0,0) \vert \le c \left( \sup _{{\mathcal {Q}}_1(0,0)} \vert u \vert + \vert f(0,0) \vert +\int _{0}^1 \frac{\omega _{f}(r)}{r}dr \right) ; \end{aligned}$$ -
(ii) for any points (x, t) and \(({\xi },{\tau }) \in {\mathcal {Q}}_{\frac{1}{4}}(0,0)\) we have
$$\begin{aligned}&|\partial ^2 u(x,t)- \partial ^2 u({\xi }, {\tau })|\\& \le c\left( d \sup _{{\mathcal {Q}}_{1}(0,0)} |u|+ d \sup _{{\mathcal {Q}}_{1}(0,0)}|f|+ \int _0 ^d \frac{\omega _{f}(r)}{r}dr+ d \int _{d} ^1 \frac{\omega _{f}(r)}{r^2}dr\right) . \end{aligned}$$where \(d: =d ( (x,t), ({\xi },{\tau }))\) and \(\partial ^2\) stands either for \(\partial ^2_{x_i x_j}\), with \(i,j=1,\ldots ,m\), or for Y.
Remark 2.6
The proof of the above statement is derived applying the techniques of [36, Section 6] combined with the proof of the Dini continuity of the coefficients following the lines of Sect. 4, provided that (H3A) holds true.
Lastly, we recall that the existence of a fundamental solution \({\Gamma }\) for the operator \(\mathscr {L}\) under the regularity assumptions (C) has widely been investigated over the years, and the Levy parametrix method provides us with a classic fundamental solution. Among the first results of this type we recall [21, 38, 41] and we remark that this method was firstly considered in this setting by Polidoro in [35], and then later on extended in the works [15, 16]. In particular, we report here the existence result for a classical fundamental solution for \(\mathscr {L}\) proved in [15, Theorem 1.4-1.5].
Theorem 2.7
Let us consider an operator \(\mathscr {L}\) of the form (1) under the assumption (C). Then there exists a fundamental solution \({\Gamma }: \mathbb {R}^{N+1} \times \mathbb {R}^{N+1} \rightarrow \mathbb {R}\) for \(\mathscr {L}\) with the following properties:
-
1.
\({\Gamma }(\cdot , \cdot ; {\xi }, {\tau }) \in L^{1}_{{\text {loc}}} (\mathbb {R}^{N+1}) \cap C(\mathbb {R}^{N+1} {\setminus } \{ ( {\xi }, {\tau })\}\) for every \(({\xi }, {\tau }) \in \mathbb {R}^{N+1}\);
-
2.
\({\Gamma }(\cdot , \cdot ; {\xi }, {\tau })\) is a classical solution of \(\mathscr {L}u = 0\) in \(\mathbb {R}^{N+1} {\setminus } \{ ({\xi }, {\tau }) \}\) for every \(({\xi }, {\tau }) \in \mathbb {R}^{N+1}\) in the sense of Definition 2.3;
-
3.
let \({\varphi }\in C(\mathbb {R}^{N})\) such that for some positive constant \(c_{0}\) we have
$$\begin{aligned} |{\varphi }(x) |\le c_{0} e^{c_{0} |x|^{2}} \qquad \text {for every } \, x \in \mathbb {R}^{N}, \end{aligned}$$(31)then there exists
$$\begin{aligned} \lim \limits _{\begin{array}{c} (x,t) \rightarrow (x_{0}, {\tau }) \\ t > {\tau } \end{array}} \int \limits _{\mathbb {R}^{N}} {\Gamma }(x,t; {\xi }, {\tau }) {\varphi }({\xi }) d{\xi }= {\varphi }(x_{0}) \qquad \text {for every } \, x_{0} \in \mathbb {R}^{N}; \end{aligned}$$ -
4.
let \({\varphi }\in C(\mathbb {R}^{N})\) verifying (31). Then there exists \(T \in (T_{0}, T_{1}]\) such that the function
$$\begin{aligned} u(x,t)=\int _{\mathbb {R}^{N}} {\Gamma }(x,t;{\xi },T_{0}) \, {\varphi }({\xi }) \, \, d{\xi }\, d{\tau }\end{aligned}$$(32)is a classical solution to the Cauchy problem
$$\begin{aligned} {\left\{ \begin{array}{ll} \mathscr {L}u = 0 \qquad &{}\text {in } \, \, S_{T_{0}, T} , \\ u(\cdot , T_{0}) = {\varphi }\qquad &{}\text {in } \, \, \mathbb {R}^{N}; \end{array}\right. } \end{aligned}$$(33) -
5.
the reproduction property holds. Indeed, for every \(x, {\xi }\in \mathbb {R}^{N}\) and \(t,\tau \in \mathbb {R}\) with \({\tau }< s < t\):
$$\begin{aligned} {\Gamma }(x,t; {\xi },{\tau }) = \int \limits _{\mathbb {R}^{N}} {\Gamma }(x,t;y,s) \, {\Gamma }(y,s; {\xi }, {\tau }) \, dy; \end{aligned}$$ -
6.
for every \((x,t), ({\xi }, {\tau }) \in \mathbb {R}^{N+1}\) with \(t \le {\tau }\) we have that \({\Gamma }(x,t; {\xi }, {\tau }) = 0\);
-
7.
if \(c(x,t) = c\) is constant, then
$$\begin{aligned} \int \limits _{\mathbb {R}^{N}} \Gamma (x,t; \xi , \tau ) \, d\xi = e^{- c (t - \tau )}, \qquad \forall x \in \mathbb {R}^N, \, \, \tau < t; \end{aligned}$$ -
8.
for every \({\lambda }^+ > {\lambda }\) and for every positive \(0< T_0<T_1\), there exists a constant \(C^+\) , only dependent on \({\lambda }\), B and T such that
$$\begin{aligned} {\Gamma }(x,t; {\xi }, {\tau }) \, \le \, C^{+} \, {\Gamma }^{+} (x,t; {\xi }, {\tau }) \nonumber \\ \vert \partial _{x_i}{\Gamma }(x,t; {\xi }, {\tau }) \vert \, \le \, \frac{C^{+}}{\sqrt{t -{\tau }}} \, {\Gamma }^{+} (x,t; {\xi }, {\tau }) \nonumber \\ \vert \partial _{x_i x_j}^2 {\Gamma }(x,t; {\xi }, {\tau }) \vert \, \le \, \frac{C^{+}}{t -{\tau }} \, {\Gamma }^{+} (x,t; {\xi }, {\tau }) \nonumber \\ \vert Y {\Gamma }(x,t; {\xi }, {\tau }) \vert \, \le \, \frac{C^{+}}{t -{\tau }} \, {\Gamma }^{+} (x,t; {\xi }, {\tau }) \end{aligned}$$(34)for any \(i,j=1, \ldots , m_0\) and \((x,t), ({\xi }, {\tau }) \in \mathbb {R}^{N} \times (T_0, T_1)\), and where \({\Gamma }^{+}\) denotes the fundamental solution of \(\mathscr {K}_{{\lambda }^{+}}\), defined in (10) and (9) respectively.
Moreover, there exists a fundamental solution \({\Gamma }^{*}\) to \(\mathscr {L}^{*}\) verifying the dual properties of this statement and \({\Gamma }^{*}(x, t; {\xi }, {\tau }) = {\Gamma }({\xi },{\tau }; x,t)\) for every \((x,t), ({\xi }, {\tau }) \in \mathbb {R}^{N+1}\), \((x,t) \ne ({\xi }, {\tau })\).
We observe that in [15] the authors considered a Kolmogorov-type operator in trace form. As we work with operators in divergence form, we were forced to require in (C) an additional regularity assumption on the derivatives of the coefficients \(a_{ij}\), for \(i,j=1,\ldots ,N\). This also reflects in (H3A).
3 Proof of Theorem 1.4
This section is devoted to the proof of Gaussian bounds (Theorem 1.4) for the weak fundamental solution defined in Definition 1.2. All the results proved in this section are obtained under the less restrictive assumption (H3B) and, when possible, for the more general operator \({\widetilde{\mathscr {L}}}\).
Now, given the notation of (27), we introduce the upper and lower cylinders
and we introduce some preliminary results. Quite recently, there have been various developments in the study of weak solutions to \(\mathscr {L}u = 0\), and in particular the following Harnack inequality proved in [4, Theorem 1.3], the first one in the weak framework considered in this work, holds true in our setting.
Theorem 3.1
(Harnack inequality) Let \({\mathcal {Q}}_1 := B_1 \times B_1 \times \cdots \times B_1 \times (-1,0]\) and let u be a non-negative weak solution to \(\mathscr {L}u = 0\) in \({\Omega }\supset {\widetilde{{\mathcal {Q}}}}_1\) under assumptions (H1)–(H2)–(H3B). Then we have
where \(0< \omega < 1\) and \(0< \rho < \frac{\omega }{\sqrt{2}}\). Finally, the constants C, \(\omega\), \(\rho\) only depend on the homogeneous dimension Q defined in (29), q and on the ellipticity constants \(\lambda\) and \(\Lambda\) in (H1).
Remark 3.2
When considering assumption (H3A) the constants appearing in the above statement only depend on M, since we assume \(|b(x,t)|\le M\), \(|c(x,t)|\le M\) for every \((x,t) \in \mathbb {R}^{N+1}\).
We recall the following result, which will be useful in the proof of the upcoming Lemma 3.4.
Remark 3.3
Let u be a weak solution to \(\mathscr {L}u=0\) and \(r>0\). Then \(v:=u \circ \delta _{\rho }\) solves equation \(\mathscr {L}^{(r)}v=0\), where
with \(A^{(r)}=A \circ \delta _r\), \(a^{(r)}=r(a \circ \delta _r)\), \(b^{(r)}=r(b \circ \delta _r)\) and \(c^{(r)}=r^2(c \circ \delta _r)\).
Moreover, if u is a solution to \(\mathscr {L}u=0\), then, for any \(\zeta \in \mathbb {R}^{N+1}\), \(v:=u \circ \ell _z\) solves equation \((\mathscr {L}\circ \ell _z)v=0\), where \(\mathscr {L}\circ \ell _z\) is the operator obtained by \(\mathscr {L}\) via a \(\ell _z\)-translation of the coefficients.
For \(\beta , r, R >0\) and \(z_0 \in \mathbb {R}^{N+1}\), we define the cones
and we set \(P_{\beta , r, R}(z_0):=z_0 \circ P_{\beta , r, R}\). We are now in a position to derive the following Lemma, which is a consequence of Theorem 3.1.
Lemma 3.4
Let \(z \in \mathbb {R}^{N+1}\) and \(R \in (0,1]\). Moreover, let u be a continuous and non-negative weak solution to \(\mathscr {L}u =0\) in \({\mathcal {Q}}_R(z)\) under the assumptions (H1)-(H2)-(H3B). Then we have
where C, \(R_0\) and \(\omega\) are the constants appearing in Theorem 3.1 and they only depend on Q, \(\lambda\), \(\Lambda\) and q.
Proof
Let \(w \in P_{1,\omega ,R}(z)\), i.e. \(w =z \circ \delta _\sigma (\xi , 1)\) for some \(\sigma \in (0,R]\) and \(|\xi |<\omega\). We now define the function \(u_{z,\sigma }:=u \circ \ell _z \circ \delta _\sigma\), which is a continuous and non-negative solution to \(\mathscr {L}^{(\sigma )}u_{z,\sigma }=0\) in \({\mathcal {Q}}_{R_0}(0,0) \subset {\mathcal {Q}}_{R/\sigma }(0,0)\) in virtue of Remark 3.3. Thus, we can apply the Harnack inequality (35) and infer
\(\square\)
We next state a global version of the Harnack inequality, which is a crucial step in proving the Gaussian lower bound (see Theorem 3.8 below).
Theorem 3.5
(Global Harnack inequality) Let \(t_0 \in \mathbb {R}\) and \(\tau \in (0,1]\). If u is a continuous and non-negative weak solution to \(\mathscr {L}u = 0\) in \(\mathbb {R}^{N+1}\times (\tau -t_0,\tau +t_0)\) under the assumptions (H1)-(H2)-(H3B), then we have
where \(t \in (t_0,\tau +t_0)\), \(x,\xi \in \mathbb {R}^{N}\), C is the matrix introduced in (20) and \(c_0\) is a positive constant only depending on Q, \(\lambda\), \(\Lambda\) and q.
The proof of Theorem 3.5 is based on a classical argument that makes use of the so-called Harnack chains, alongside with control theory. Moreover, the proof of this theorem follows the one of [25, Theorem 3.6], with the only difference that we here apply Theorem 3.1 and Lemma 3.4 instead of Theorem 3.1 and Lemma 3.5 of [25]. Indeed, the method we rely on has the advantage of highlighting the geometric structure of the operator \(\mathscr {L}\) and can be therefore automatically extended to more general operators. For this reason, we here do not show the derivation of Theorem 3.5 and we refer the reader to [25] for the details.
Moreover, in proving our main result Theorem 3.8, we will also make use of the following estimate, which provides an upper bound for the fundamental solution. Let us remark that in the upcoming theorem we consider operators of the form (11) satisfying the less restrictive assumptions (H1)–(H2)–(H3B).
Theorem 3.6
(Gaussian upper bound) Let \(\widetilde{\mathscr {L}}\) be an operator of the form (11) satisfying assumptions (H1)–(H2)–(H3B). Then there exists a positive constant \(c_1\), only dependent on Q, \(\lambda\), \(\Lambda\) and q, such that
for any \(0 < t-t_0 \le 1\) and \(x, y \in \mathbb {R}^{N}\).
Proof
The Gaussian upper bound (36) was proved in [25, Theorem 4.1] under the stronger assumption that the coefficients \(a_i\), \(b_i\), with \(i=1,\ldots ,m_0\), and c are bounded measurable functions of (x, t) and in [24, Theorem 1.4] under the additional hypothesis that the coefficients \(b_i\), with \(i=1,\ldots ,m_0\), are null. The more general case where the first order coefficients satisfy assumption (H3B) can be treated similarly. Thus, here we just sketch the few adjustments required to adapt the proof of [25] to the present case.
The argument relies on the combination of a Caccioppoli type inequality and a Sobolev type inequality. In order to handle the more general case, we need to replace the Caccioppoli and the Sobolev inequality contained in [24] (Theorem 2.3 and 2.5, respectively) with the ones given in [4]. More precisely, we consider the Caccioppoli inequality [4, Theorem 3.4] and we focus on the new term involving the coefficient \(a \in \left( L^q_{{\text {loc}}} ({\Omega }) \right) ^{m_0}\), which is handled as follows
where \({\beta }=\frac{q}{q-1}\), and q is the integrability exponent introduced in (H3B). From this point, we obtain the Caccioppoli inequality reasoning as in the proof of [4, Theorem 3.4].
As far as the Sobolev inequality is concerned, we find two extra terms in the representation formula of sub-solutions. More precisely, following the notation of [4, Theorem 3.3], the term \(I_0(z)\) here becomes
Since
reasoning as in [4, Theorem 3.3] we infer
where
In addition, the term \(I_3(z)\) here becomes
and can be treated exactly as the analogous one in [4]. The rest of the proof of the Sobolev inequality follows the one contained in [4, Theorem 3.3].
Lastly, when considering our case, the proof of inequality (3.4) in [24, Theorem 3.3] needs to be treated slightly differently. In particular, inequality (3.2) in [24] becomes
Thus, inequality (3.4) in [24] can be rewritten as
where \(\eta -\frac{\eta -s}{k} \le t \le \eta ,x \in \mathbb {R}^N\), \(h(x,t)=-\frac{|x|^2}{\delta }+\alpha (\eta -t)\), with \(\delta =2(\eta -s)-k(\eta -t)\). Hence, inequality (37) becomes
and therefore inequality (37) holds true provided that we choose \(\alpha =\frac{2}{\delta }\left( \Vert a \Vert _2^2+\Vert b \Vert _2^2 \right) -{\text {Tr}}B\) and k big enough. The rest of the proof follows the same lines of the one of [25, Theorem 4.1]. \(\square\)
Lemma 3.7
Let \(\mathscr {L}\) be an operator of the form (1) satisfying assumptions (H1)–(H2)–(H3B). Then there exist two positive constants R and \(c_2\), only dependent on Q and B, such that
for any \(0<t-t_0\le 1\) and \(y \in \mathbb {R}^N\).
Proof
We first notice that for a small enough constant \(c_3\), which depends only on Q and B, the function
is a weak super-solution of the Cauchy problem
where \(\mathscr {L}^*\) is the adjoint operator defined in (3). Hence, in virtue of the maximum principle we infer \(v \ge 0\), that is
We now observe that
where in the second line we have used the upper bound (36) and in the third line we have performed the change of variables \(z=\delta _{(\sqrt{t-t_0})}^0\left( y-e^{(t-t_0)B}x\right)\). Combining (39) and (40) and choosing \(c_3\) small enough we obtain the thesis. \(\square\)
We are now in a position to state and prove the following result concerning the Gaussian lower bound of the fundamental solution.
Theorem 3.8
(Gaussian lower bound) Let \(\mathscr {L}\) be an operator of the form (1) satisfying assumptions (H1)–(H2)–(H3B). Then there exists a positive constant \(c_4\), only dependent on Q, \(\lambda\), \(\Lambda\) and q, such that
for any \(0 < t-t_0 \le 1\) and \(x, y \in \mathbb {R}^{N}\).
Proof
We restrict ourselves to the case where \(x=0\), as the general statement can be obtained from the dilation and translation-invariance of the operator \(\mathscr {L}\). Then, for every \(y \in \mathbb {R}^N\) and \(R>0\), we set
and we compute
where the constant \(c_5\) only depends on B and R. We also note that the function \(\langle C^{-1}(t-t_0)\left( y-e^{(t-t_0)B}x\right) ,y-e^{(t-t_0)B}x\rangle\) is bounded by a constant M in \(D_R\) (see [26, Lemma 3.3]). Lastly, we now set \(\tau =\frac{t-t_0}{2}\) and apply to \(\Gamma\) the global Harnack inequality stated in Theorem 3.5, which yields
Hence, integrating inequality (42) over \(D_R\), we infer
where the last inequality is a direct consequence of Lemma 3.7 and the constant \(c_7\) only depends on Q, \(\lambda\), \(\Lambda\), q and B.
Setting \(\tau =\frac{3}{4}(t-t_0)\) and \(x=0\), we apply once again Theorem 3.5 and we get
where the last inequality is a consequence of a property of the covariance matrix C (see [25, Remark 4.5]). This concludes the proof. \(\square\)
4 Proof of Theorem 1.3
This section is devoted to the proof of our existence result, Theorem 1.3, under assumptions (H1)–(H2)–(H3A). Our idea is to adapt the limiting procedure proposed in [3] to the case of our interest.
Let us consider the operator \(\mathscr {L}\) under the assumption (H1)-(H3A). Our first aim is to build a sequence of operators \(\left( \mathscr {L}_{\varepsilon }\right) _{{\varepsilon }}\) satisfying the assumption (C) of Theorem 2.7. Without loss of generality we restrict ourselves to the case of \((T_0, T_1) = (0,T)\), with \(T > 1\) and hence we denote \(S_T := S_{0T}\). Thus, we may consider \({\rho }\in C^\infty _0 (\mathbb {R})\) and \(\psi \in C^\infty _0(\mathbb {R}^N)\) such that
where by abuse of notation \(B\left( \tfrac{T}{2},\tfrac{T}{4}\right)\) denotes the Euclidean ball on \(\mathbb {R}\) of radius \(\tfrac{T}{4}\) and center \(\tfrac{T}{2}\) of suitable dimension and B(0, 1) denotes the Euclidean ball of \(\mathbb {R}^N\) of radius 1 and center 0 of suitable dimension. Then, for every \({\varepsilon }\in (0, 1]\) we classically construct two families of mollifiers
Lastly, for every \({\varepsilon }\in (0, 1]\), for every \(t \in \, (0,T)\) and \(x \in \mathbb {R}^N\) we define
These newly defined coefficients are smooth and such that \(( a_{ij})_{{\varepsilon }} \rightarrow a_{ij}\), \(( b_{i})_{{\varepsilon }} \rightarrow b_{i}\), \(( c)_{{\varepsilon }} \rightarrow c\) in \(L^1(S_{T})\). Hence, the \(L^1\) convergence implies the pointwise convergence a.e. Moreover, for every \({\varepsilon }\in (0,1]\) the coefficients \((a_{ij})_{{\varepsilon }}\), \((b_{i})_{{\varepsilon }}\) and \((c)_{{\varepsilon }}\) are bounded from above by the same constant appearing in assumption (H3A). Indeed, for every \((x,t) \in K\), with \(K \subset \mathbb {R}^{N+1}\) compact,
for every \(i,j=1,\ldots ,N\). The same statement holds true for the coefficients \(c_{\varepsilon }\) and \((b_{i})_{\varepsilon }\), with \(i=1, \ldots , N\) and \({\varepsilon }\in (0,1]\).
In addition, given assumption (H3A) and our definition of the family of mollifiers we have
for every \(i=1,\ldots ,m_0\) and for every \(k=1,\ldots , m_0\), where \(C_1\) is a constant depending on \(\psi\). Indeed, for every \(y \in B(0,{\varepsilon })\), we have
where \(C_1\) is a constant that does not dependent on \({\varepsilon }\).
The same statement holds true also for \(\partial _{x_k}(a_{ij})_{\varepsilon }\) and \(\partial _{x_k}c_{\varepsilon }\), with \(k=1, \ldots , m_0\) and \({\varepsilon }\in (0,1]\). Hence, thanks to the mean value theorem along the direction of the vector fields \(\partial _{x_k}\), the coefficients \((a_{ij})_{{\varepsilon }}\),\(c_{\varepsilon }\) and \(( b_{i})_{\varepsilon }\), with \(i=1, \ldots , N\) and \({\varepsilon }\in (0,1]\), are uniformly Lipschitz continuous (i.e. Hölder continuous of exponent \({\alpha }=1\)), and therefore Dini continuous.
Hence, we can apply Theorem 2.5 to \(({\Gamma _{\!\! L}}^{\!\!\! {\varepsilon }})_{{\varepsilon }}\) for every \({\varepsilon }\in (0,1]\). Thus, there exists a sequence of equibounded fundamental solutions \(({\Gamma _{\!\! L}}^{\!\!\! {\varepsilon }})_{{\varepsilon }}\), in the sense that each of them satisfies Theorem 1.4, i.e. for every \((x,t) , ({\xi }, \tau ) \in S_T\), with \(0< \tau< t < T\)
We point out that, since the coefficients of \(\mathscr {L}_{\varepsilon }\) are uniformly bounded by M, the coefficients of Theorem 1.3 do not depend on \({\varepsilon }\).
First of all, for every fixed \((\xi , \tau ) \in S_T\) our aim is to show there exists a converging subsequence \(\left( {\Gamma _{\!\! L}}^{\!\!\! {\varepsilon }}(\cdot , \cdot ; \xi , \tau ) \right) _{{\varepsilon }}\), from now on simply \(( {\Gamma _{\!\! L}}^{\!\!\! {\varepsilon }} )_{\varepsilon }\), in every compact subset of \(\left( \mathbb {R}^N {\setminus } \{ \xi \} \right) \times (\tau , T)\).
For this reason, we define a sequence of open subsets \(({\Omega }_p)_{p \in \mathbb {N}}\) of \(S_T\)
Note that \({\Omega }_p \subset \subset {\Omega }_{p+1}\) for every \(p \in \mathbb {N}\). Moreover, \(\cup _{p=1}^{+\infty } {\Omega }_p =\left( \mathbb {R}^N {\setminus } \{ \xi \} \right) \times (\tau , T)\). Since \({\Gamma _{\!\! L}}^{\! \! \! \! {\lambda }^{+}}\) is a bounded function in \({\Omega }_p\), we have that \(( {\Gamma _{\!\! L}}^{\!\!\! {\varepsilon }})_{{\varepsilon }}\) is an equibounded sequence in every \({\Omega }_p\). Then, as the sequence \(( {\Gamma _{\!\! L}}^{\!\!\! {\varepsilon }})_{{\varepsilon }}\) is equibounded in \({\Omega }_2\), it is equicontinuous in \({\Omega }_{1}\) thanks to Theorem 2.5. Moreover, by Theorem 2.7 and Theorem 2.5, we also have that
are bounded sequences in \(C^{0}({\Omega }_{1})\), where Y is the Lie derivative defined in (30). Thus, there exists a subsequence \(({\Gamma _{\!\! L}}^{\!\!\! 1,{\varepsilon }_1})_{{\varepsilon }_1}\) that converges uniformly to some function \({\Gamma }_{1}\) that satisfies (1.4) in \({\Omega }_1\). Moreover, \({\Gamma }_{1} \in C^{2}({\Omega }_{1})\) and the function \(u(x,t) := {\Gamma }_{1}(x,t;\xi , \tau )\) is a.e. a classical solution to \(\mathscr {L}u = 0\) in \(\Omega _1\), and hence a weak solution in the set \(\Omega _1\).
We next apply the same argument to the sequence \(({\Gamma _{\!\! L}}^{\!\!\! 1,{\varepsilon }_1})_{{\varepsilon }_2}\) on the set \({\Omega }_{2}\), and obtain a subsequence \(({\Gamma _{\!\! L}}^{\!\!\! 2,{\varepsilon }_2})_{{\varepsilon }_2}\) that converges in \(C^{2}({\Omega }_{2})\) to some function \({\Gamma }_{2}\), that belongs to \(C^{2}({\Omega }_{2})\) and satisfies the bounds of Theorem 1.4 in \({\Omega }_2\). Moreover, the function \(u(x,t) := {\Gamma }_{2}(x,t; \xi , \tau )\) is a. e. a classical solution to \(\mathscr {L}u = 0\) in the set \(\Omega _2\), and hence a weak solution, to \(\mathscr {L}u = 0\) in the set \(\Omega _2\).
We next proceed by induction. Let us assume that the sequence \(({\Gamma _{\!\! L}}^{\!\! q-1,{\varepsilon }_{q-1}})_{{\varepsilon }_{q-1}}\) on the set \({\Omega }_{q}\) has been defined for some \(q \in \mathbb {N}\). We extract from it a subsequence \(({\Gamma _{\!\! L}}^{\!\! q,{\varepsilon }_q})_{{\varepsilon }_q}\) converging in \(C^{2}({\Omega }_{q})\) to some function \({\Gamma }_{q}\), satisfying Theorem 1.4 in \({\Omega }_q\) and it agrees with \({\Gamma }_{q-1}\) on the set \({\Omega }_{q-1}\).
Next, we define a function \({\Gamma _{\!\! L}}\) in the following way: for every \(\left( \mathbb {R}^N {\setminus } \{ \xi \} \right) \times (\tau , T)\) we choose \(q \in \mathbb {N}\) such that \((x,t) \in {\Omega }_{q}\) and we set \({\Gamma _{\!\! L}}(x,t;{\xi },{\tau }) := {\Gamma }_{q} (x,t;{\xi },{\tau })\).
This argument can be repeatedly applied to any choice of \((\xi , \tau ) \in S_T\). Hence, it provides us with a non ambiguous definition of \({\Gamma _{\!\! L}}\). Indeed, for any given choice of \((\xi , \tau ) \in S_T\), if \((x,t) \in {\Omega }_{p}\), then \({\Gamma }_{p}(x,t;{\xi },{\tau }) = {\Gamma }_{q}(x,t;{\xi },{\tau })\) for every choice of \(p, q \in \mathbb {N}\). In particular, we proved that \({\Gamma _{\!\! L}}^{\!\!\! {\varepsilon }}\) converges compactly uniformly on \(S_T\) to a function \(\Gamma\) on a compactly generated space. Hence, \(\Gamma (\cdot , \cdot ; \xi , \tau )\) is continuous on \(\mathbb {R}^N \times (\tau , T) {\setminus } \{ (\xi , \tau )\}\) and a weak solution to \(\mathscr {L}u = 0\) on \(\mathbb {R}^N \times (\tau , T)\). Finally, Theorem 1.4 holds true for \({\Gamma _{\!\! L}}\) because it is a weak solution to (1) in the sense of Definition 1.1.
Secondly, we verify that for any bounded function \({\varphi }\in C (\mathbb {R}^{N})\) and any \(x,\xi \in \mathbb {R}^{N}\) the function
verifies the corresponding weak Cauchy problem in (7), hence it is a weak solution to (1) in \(\mathbb {R}^N \times (\tau ,T)\) and takes the initial datum when \(t \rightarrow \tau\), with \(t > \tau\). Note that u is well-defined given the Gaussian bounds of Theorem 1.4 and property 7. of Theorem 2.7. Then, considering that for every \({\varepsilon }\in (0, 1]\)
satisfies \(\mathscr {L}_{\varepsilon }u_{\varepsilon }=0\) in the classical sense, see Theorem 2.7, thanks to the Dominated Lebesgue convergence theorem we get u defined in (43) is a weak solution to (1) in \(\mathbb {R}^N \times (\tau ,T)\).
Thus, we are left with the proof of the limiting property. By applying property 3. of Theorem 2.7 to the regularized operator \(\mathscr {L}_{\varepsilon }\), we have that for every \({\varepsilon }\in (0,1]\) and for every \((\xi , \tau ) \in \mathbb {R}^N \times (0,T)\) the following holds
where \(u_{\varepsilon }\) is defined as above in (44). Now, thanks to Theorem 1.4 we are able to apply the Lebesgue Dominated Convergence Theorem, and thus for every \((\xi , \tau ) \in \mathbb {R}^N \times (0,T)\) we have
Finally, we are left with the proof the reproduction property listed in Theorem 1.3.
For every \({\varepsilon }>0\), \(x, \xi \in \mathbb {R}^N\) and \(0< \tau< s< t < T\) we get
where the right-most inequality is obtained by applying the Gaussian upper bound in Theorem 1.4 to the fundamental solution \(\Gamma _{\varepsilon }\). Hence, by applying the reproduction property of the fundamental solution \({\Gamma _{\!\! L}}^{\! \! \! \! {\lambda }^{+}}\) we get
which allows us to use the Lebesgue Dominated Convergence theorem. Thus, the property holds true.
We complete the proof by adapting these arguments to the adjoint operator \(\mathscr {L}^*\) when considering the function v. \(\square\)
References
Alziary, B., Décamps, J.P., Koehl, P.F.: A P.D.E. approach to Asian options: analytical and numerical evidence. J. Bank. Financ. 21, 613–640 (1997)
Anceschi, F., Polidoro, S.: A survey on the classical theory for Kolmogorov equation. Matematiche 75(1), 221–258 (2020). https://doi.org/10.4418/2020.75.1.11
Anceschi, F., Muzzioli, S., Polidoro, S.: Existence of a fundamental solution of partial differential equations associated to Asian options. Real World Appl. 62, 103373 (2021). https://doi.org/10.1016/j.nonrwa.2021.103373
Anceschi, F., Rebucci, A.: A note on the weak regularity theory for degenerate Kolmogorov equations. J. Diff. Eq. 341, 538–588 (2022). https://doi.org/10.1016/j.jde.2022.09.024
Albritton, D., Armstrong, S., Mourrat, J.C., Novack, M.: Variational methods for the kinetic Fokker-Planck equation pre-print. arXiv:1902.04037v2 (2021)
Barraquand, J., Pudet, T.: Pricing of American path-dependent contingent claims. Math. Financ. 6(1), 17–51 (1996). https://doi.org/10.1111/j.1467-9965.1996.tb00111.x
Barucci, E., Polidoro, S., Vespri, V.: Some results on partial differential equations and Asian options. Math. Models Methods Appl. Sci. 11(3), 475–497 (2001). https://doi.org/10.1142/S0218202501000945
Björk, T.: Arbitrage Theory in Continuous Time. Oxford Finance Series, 4th edn., pp. xxi, 561. Oxford University Press, Oxford (2020)
Bramanti, M., Polidoro, S.: Fundamental solutions for Kolmogorov-Fokker-Planck operators with time-depending measurable coefficients. Math. Eng. (Springfield) 2(4), 734–771 (2020). https://doi.org/10.3934/mine.2020035
Caffarelli, L.A., Cabré, X.: Fully Nonlinear Elliptic Equations. AMS, Providence (1995)
Chandresekhar, S.: Stochastic problems in physics and astronomy. Rev. Modern Phys. 15, 1–89 (1943)
Delarue, F., Menozzi, S.: Density estimates for a random noise propagating through a chain of differential equations. J. Funct. Anal. 259(6), 1577–1630 (2010). https://doi.org/10.1016/j.jfa.2010.05.002
Desvillettes, L., Villani, C.: On the trend to global equilibrium in spatially inhomogeneous entropy-dissipating systems: the linear Fokker-Planck equation. Commun. Pure Appl. Math. 54(1), 1–42 (2001). https://doi.org/10.1002/1097-0312(200101)54:1<1::AID-CPA1>3.0.CO;2-Q
Dewynne, W.J., Howison, S., Wilmott, P.: Option Pricing: Mathematical Models and Computation. Oxford Financial Press, Oxford (1993)
Di Francesco, M., Pascucci, A.: On a class of degenerate parabolic equations of Kolmogorov type. AMRX Appl. Math. Res. Express No. 3 (2005) https://doi.org/10.1155/AMRX.2005.1
Di Francesco, M., Polidoro, S.: Schauder estimates, Harnack inequality and Gaussian lower bound for Kolmogorov-type operators in non-divergence form. Adv. Differ. Equ. 11(11), 1261–1320 (2006)
Golse, F., Imbert, C., Mouhot, C., Vasseur, A.F.: Harnack inequality for kinetic Fokker-Planck equations with rough coefficients and application to the Landau equation. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 19(1), 253–295 (2019). https://doi.org/10.2422/2036-2145.201702_001
Guerand, J., Imbert, C.: Log-transform and the weak Harnack inequality for kinetic Fokker–Planck equations. J. Inst. Math. Jussieu (2022). https://doi.org/10.1017/S1474748022000160
Guerand, J., Mouhot, C.: Quantitative De Giorgi methods in kinetic theory. J. Éc. Polytech. Math. 9, 1159–1181 (2022)
Hörmander, L.: Hypoelliptic second order differential equations. Acta Math. 119, 147–171 (1967)
Il’in, A.M.: On a class of ultraparabolic equations. Dokl. Akad. Nauk SSSR 159, 1214–1217 (1964)
Imbert, C., Silvestre, L.: The Schauder estimate for kinetic integral equations Anal. PDE 14(1), 171–204 (2021). https://doi.org/10.2140/apde.2021.14.171
Kolmogorov, A.: Zufallige Bewegungen (Zur Theorie der Brownschen Bewegung). Ann. Math. 2(35), 116–117 (1934)
Lanconelli, A., Pascucci, A.: Nash estimates and upper bounds for non-homogeneous Kolmogorov equations. Potential Anal. 47(4), 461–483 (2017). https://doi.org/10.1007/s11118-017-9622-1
Lanconelli, A., Pascucci, A., Polidoro, S.: Gaussian lower bounds for non-homogeneous Kolmogorov equations with measurable coefficients. J. Evol. Equ. 20(4), 1399–1417 (2020). https://doi.org/10.1007/s00028-020-00560-7
Lanconelli, E., Polidoro, S.: On a class of hypoelliptic evolution operators. Rend. Sem. Mat. Univ. Politec. Torino 52, 29–63 (1994)
Langevin, P.: On the theory of Brownian motion [Sur la théorie du mouvement brownien]. C. R. Acad. Sci (Paris) 146, 530–533 (1908)
Litsgard, M., Nyström, K.: The Dirichlet problem for Kolmogorov-Fokker-Planck type equations with rough coefficients. J. Funct. Anal. 281(10), Article ID 109226, 39 (2021). https://doi.org/10.1016/j.jfa.2021.109226
Lucertini, G., Pagliarani, S., Pascucci, A.: Optimal regularity for degenerate Kolmogorov equations with rough coefficients pre-print. ArXiv: 2204.14158 (2022)
Lunardi, A.: Schauder estimates for a class of degenerate elliptic and parabolic operators with unbounded coefficients in \({\mathbb{R}}^{n}\). Ann. della Sc. Norm. Super. Pisa Cl. di Sci. Ser. 24(1), 133–164 (1997)
Manfredini, M.: The Dirichlet problem for a class of ultraparabolic equations. Adv. Differ. Equ. 2(5), 831–866 (1997)
Pagliarani, S., Pascucci, A., Pignotti, M.: Intrinsic Taylor formula for Kolmogorov-type homogeneous groups. J. Math. Anal. Appl. 435(2), 1054–1087 (2016). https://doi.org/10.1016/j.jmaa.2015.10.080
Pascucci, A.: PDE and Martingale Methods in Option Pricing, Bocconi & Springer Series 2 Milano: Springer; Milano: Bocconi University Press. xvii, 719 (2011)
Pascucci, A., Polidoro, S.: A Gaussian upper bound for the fundamental solution of a class of ultraparabolic equations. J. Math. Anal. Appl. 282(1), 396–409 (2003). https://doi.org/10.1016/S0022-247X(03)00159-8
Polidoro, S.: On a class of ultraparabolic operators of Kolmogorov-Fokker-Planck type. Matematiche 49(1), 53–105 (1994)
Polidoro, S., Rebucci, A., Stroffolini, B.: Schauder type estimates for degenerate Kolmogorov equations with Dini continuous coefficients. Commun. Pure Appl. Anal. 21(4), 1385–1416 (2022). https://doi.org/10.3934/cpaa.2022023
Risken, H.: The Fokker-Planck Equation. volume 18 of Springer Series in Synergetics. Methods of Solution and Applications, 2nd edn. Springer, Berlin (1989)
Sonin, I.M.: On a class of degenerate diffusion processes. Teor. Veroyatn. Primen. 12, 540–547 (1967)
Wang, W., Zhang, L.: The \(C^\alpha\) regularity of weak solutions of ultraparabolic equations. Discret. Contin. Dyn. Syst. 29(3), 1261–1275 (2011)
Wang, W., Zhang, L.: \({C}^{\alpha }\) regularity of weak solutions of non-homogenous ultraparabolic equations with drift terms pre-print. arXiv:1704.05323 (2017)
Weber, M.: The fundamental solution of a degenerate partial differential equation of parabolic type. Trans. Am. Math. Soc. 71, 24–37 (1951)
Funding
Open access funding provided by Università Politecnica delle Marche within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding authors
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
Anceschi, F., Rebucci, A. On the fundamental solution for degenerate Kolmogorov equations with rough coefficients. J Elliptic Parabol Equ 9, 63–92 (2023). https://doi.org/10.1007/s41808-022-00191-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s41808-022-00191-8