Harnack inequality for hypoelliptic second order partial differential operators

We consider nonnegative solutions $u:\Omega\longrightarrow \mathbb{R}$ of second order hypoelliptic equations \begin{equation*} \mathscr{L} u(x) =\sum_{i,j=1}^n \partial_{x_i} \left(a_{ij}(x)\partial_{x_j} u(x) \right) + \sum_{i=1}^n b_i(x) \partial_{x_i} u(x) =0, \end{equation*} where $\Omega$ is a bounded open subset of $\mathbb{R}^{n}$ and $x$ denotes the point of $\Omega$. For any fixed $x_0 \in \Omega$, we prove a Harnack inequality of this type $$\sup_K u \le C_K u(x_0)\qquad \forall \ u \ \mbox{ s.t. } \ \mathscr{L} u=0, u\geq 0,$$ where $K$ is any compact subset of the interior of the $\mathscr{L}$-propagation set of $x_0$ and the constant $C_K$ does not depend on $u$.


Introduction
We consider second order partial differential operators L acting on functions u ∈ C 2 ( ) as follows (1) for x belonging to any open bounded subset of R n . The coefficients a ij , b i are real functions and belong to C ∞ ( ) for 1 ≤ i, j ≤ n. Moreover, A := (a ij ) is a n × n symmetric and non-negative matrix. We also assume the following hypotheses: (H1) L − β and L * are hypoelliptic for every constant β ≥ 0; (H2) inf a 11 > 0.
We recall that L is said hypoelliptic if every distribution u in such that L u ∈ C ∞ ( ) is a smooth function. We note that condition (H2) ensures that for every x ∈ there exists ξ ∈ R n such that A(x)ξ, ξ > 0 that is L is non-totally degenerate, in accordance with Definition 5.1 in [7]. We can drop condition (H2) if the operator L = ∂ 2 x n+1 + L acting on R n+1 satisfies (H1) (see Corollary 1).
The main result of this paper is the following Harnack inequality for the non-negative solutions of the equation L u = 0. It obviously applies to the Laplacian and to the heat operators and in these cases it restores the classical elliptic and parabolic Harnack inequalities. We introduce here the definition of L -propagation set P(x 0 , ) appearing it the above statement. It is the set of all points x reachable from x 0 by a propagation path: A L -propagation path is any absolutely continuous path γ : [0, T ] −→ such that for suitable piecewise constant real functions λ 1 , . . . , λ n , and μ, μ ≥ 0.
are the vector fields defined in the following way: As we said at the beginning of the Introduction, our main result can holds also under somehow weaker assumptions on L . Only in the following Corollary the hypotheses (H1) and (H2) on L are replaced by the assumption that the operator L = ∂ 2 x n+1 + L in R n+1 satisfies (H1). Of course if L satisfies assumption (H1) then also L does. A simple example of operator satisfying the hypotheses of this Corollary but not the ones of Theorem

Corollary 1
If the operator L = ∂ 2 x n+1 + L acting on × R satisfies (H1) then for every x 0 in and for every compact set K contained in the interior of the L -propagation set P(x 0 , ), there exists a positive constant C = C(x 0 , K, , L ) such that The notion of propagation set P(x 0 , ) has been introduced by Amano in his work on maximum principle (see [2,Theorem 2]). In our case it reads as follows.
Assume that u is a (smooth) solution of L u = 0 in . If u attains its maximum at a point The Amano maximum principle is a crucial tool to prove Theorem 1 using the abstract Harnack inequality of the Potential Theory [10, Proposition 6.1.5]. We observe that Harnack inequalities based on results of Potential Theory were proved in [5,Theorem 4.2] for heat equations on Carnot groups and in [9, Theorem 1.1] and in [8,Theorem 5.2] for more general evolution equations. The class of hypoelliptic operators considered in [8,9] where X j are smooth vector fields on R N and (y, t) denoted the point of any subset of R N+1 . We explicitly note that operator (3) is a particular example of the operators (1), with respect to the variable x = (y, t). In both papers the operators are assumed left translation invariant w.r.t. a Lie group in R N+1 and endowed with a global fundamental solution. We point out that the use of the fundamental solution is a key step in verifying the separation axiom of the axiomatic Potential Theory. The approach used in this note allows us to prove the validity of the separation axiom in Section 2.4 without requiring the existence of any global fundamental solution on every bounded open set. We rely only on hypoellipticity, on non total degeneracy of L and the following maximum principle due to Picone that we recall for the sake of completeness.
Let V be any open (bounded) subset of . Assume that exists a function w : V → R such that L w < 0 in V and inf V w > 0. Then for every u ∈ C 2 (V ) such that In our case the existence of a function w follows from (H2) and from the smoothness of the coefficients. Indeed, under these assumptions, we can choose two positive real constants M and λ such that the function has the required properties. This paper is organized as follows. In Section 2 all the notions and results from Potential Theory that we need are briefly recalled. In Section 3 we show that the set of the solutions u of L u = 0 in satisfies the axioms of the Doob Potential Theory. In Section 4 we prove that the L -propagation set of x 0 is a subset of the smallest absorbent set containing x 0 . In this way we derive the Harnack inequality for the non-negative solutions u of L u = 0. In Section 5 the propagation sets of some meaningful operators are studied. In particular we focus on the following operators: , and we show that the geometry of the relevant Harnack inequality may appear either of parabolic or elliptic-type, depending on the choice of , even if both operators are parabolic.

Some Recalls from Potential Theory
We recall some definitions and results of the Potential Theory that we need to prove our Harnack inequality. For a detailed description of the general theory of harmonic spaces we refer to [6, chapter 6], [10] and to [3].

Sheafs of Functions and Harmonic Sheafs in
Let V be any open subset of . We denote by R the set R ∪ {∞, −∞} and by R V the set of When F (V ) is a linear subspace of C(V , R) for every V ⊆ , we say that the sheaf of functions F on V is harmonic and we denote it H( ).

Regular Open Sets, Harmonic Measures and Absorbent Sets
Let H be a harmonic sheaf on . We say that an open set V ⊆ is regular if: and (iii) it follows that, for every regular set V and for every x ∈ V , the map is linear and positive. Thus, the Riesz representation theorem (see e.g. [13]), implies that, for every regular set V and for every x ∈ V , there exists a regular Borel measure, that we denote by μ V x , supported in ∂V , such that The measure μ V x is called the harmonic measure related to V and x. Now, let A be a closed subset of . We say that A is absorbent if it contains the supports of all the harmonic measures related to its points. More precisely, for every x ∈ A and every regular set If x 0 ∈ , we define x 0 as the smallest absorbent set containing x 0 :

Superharmonic Functions
We denote by S ( ) the family of the superharmonic functions on . By the maximum principle, we have that every function u ∈ C 2 ( ) such that L u ≤ 0 in is superharmonic (see [6, Proposition 7.2.5]).

Doob Harmonic Spaces and Harnack Inequality
We say that a harmonic sheaf H( ) is a Doob harmonic space if the following axioms are satisfied.
and L is the operator (1). The positivity axiom (A1) is plainly verified. Indeed every constant function belongs to H( ).
(A3), i.e. the existence of a basis of the euclidean topology of formed by regular sets, can be proved as in [7,Corollarie 5.2], see also [6,Proposition 7.1.5]. We stress that the tools used in its proof are only the hypoellipticity, the non totally degeneracy of the operator L and the classical Picone Maximum Principle. Now we are left to verify the separation axiom (A4). As in our setting the constant are superharmonic functions, we need to prove that ∀ y, z ∈ , y = z, ∃ u ∈ S ( ), u ≥ 0, such that u(y) = u(z).

Propagation Sets and Harnack Inequality
Let X 1 (x), . . . , X n (x), Y (x) be the vector fields defined in the following way: We recall that a L -propagation path is any absolutely continuous path γ : [0, T ] −→ such that for suitable piecewise constant real functions λ 1 , . . . , λ n , and μ with μ ≥ 0. For a point x 0 in , we define the L -propagation set as the set of all points x such that x and x 0 can be connected by a propagation path, running from x 0 to x: Proceeding as in [8,Lemma 5.8], we prove now that the L -propagation set of x 0 is a subset of every absorbent set containing x 0 . This Lemma, based on the maximum propagation principle, is a key lemma in order to get our Harnack inequality so we prefer to give here its detailed proof.

Lemma 1 For every
Proof By contradiction, suppose x ∈ P(x 0 , ) and x / ∈ x 0 . There exists an absolutely continuous path γ connecting x 0 and x: As x 0 is a subset closed in and γ is continuous, there will be a time t 1 such that γ (t 1 ) = x 1 ∈ x 0 and γ (t) / ∈ x 0 when t is in ]t 1 , T ]. Let's take a regular open set V containing x 1 . There will be t 2 ∈]t 1 , T ] such that x 2 = γ (t 2 ) ∈ ∂V . From what we wrote before, x 2 does not belong to x 0 .
Take now a neighborhood of x 2 , U such that U ∩ ∂V ⊆ \ x 0 and consider a function ϕ defined on ∂V such that ϕ is strictly positive in U ∩ ∂V and 0 otherwise.
because x 1 is in x 0 and supp μ V x 1 ⊆ x 0 for every regular set V . But h V ϕ is nonnegative and it would attain its minimum at x 1 . From Amano minimum propagation principle [2, Theorem 2], it would follow that In conclusion, we would have that that is a contraddiction.
We are now ready to give the proofs of our main results.
Proof of Theorem 1 Let x 0 in and let K be a compact set contained in the interior of P(x 0 , ). As x 0 is a closed subset of , Lemma 1 implies that P(x 0 , ) ⊆ x 0 . On the other hand, as we showed in Section 3, the set of the solutions of the equation L u = 0 is a Doob harmonic space in . Then, by Theorem A, there exists a positive constant C = C(x 0 , K, , L ) such that sup

Examples
In this Section we give two examples of operators for which we give Harnack-type inequalities that, to our knowledge, are new. In general, the main step in the application of our Theorem 1 is the characterization of the propagation set P(x 0 , ) of the operator L . We recall that the Control Theory provides us with several tools useful for this problem. We refer, for example, to the book [1, Chapter 8] by Agrachev and Sachkov.

A Harnack Inequality for the Stationary Mumford Operator
We consider the operator L = ∂ 2 Proof In view of Theorem 1, we need only to prove that in this case the propagation set P(0, ) agrees with . With this aim, we fix any point z = (z 1 , z 2 , z 3 ) in , and we construct a L -propagation path steering 0 to z. Note that, in our case, the vector fields defined in Eq. 2 are We connect 0 and z by a path γ : [0, T ] → such that γ (t) = ±X(γ (t)) in the first interval [0, t 1 ], then γ (t) = Y (γ (t)) in the second interval [t 1 , t 2 ], and γ (t) = ±X(γ (t)) in the third interval [t 2 , T ], for t 1 , t 2 , T such that 0 ≤ t 1 ≤ t 2 ≤ T chosen as follows.
We next set t 2 = t 1 + z 2 2 + z 2 3 , and we choose γ such that γ (t) = Y (γ (t)) for t 1 < t < t 2 . Also in this case, if (z 2 , z 3 ) = (0, 0), we skip this step. We conclude the construction of γ by choosing s * = z 1 − t * , T = t 2 + |s * | and following the same method used in the first step. The path γ then writes as follows.

Remark 1
The above construction can be reproduced to translated cylinders for every y = (y 1 , y 2 , y 3 ) ∈ R 3 . We find P((y 1 , y 2 , y 3 ), y ) = y . We point out that, on the other hand, the geometry of the propagation set P(0, ) changes completely as the width of the interval ] − a, a[ is smaller than 2π . For instance, if we consider the set we easily see that P(0, ) = ∩ x 3 > 0 . This fact is in accordance with the invariance of the operator L with respect to the following left translation introduced in [4]. Denote x = (t, z), y = (s, w) ∈ R × C. then x • y := (t + s, z + we it ).

A Harnack Inequality for a Degenerate Ornstein Uhlenbeck Operator
We consider the operator L = ∂ 2 for some positive a and b.
As in the case of Mumford operator, Theorem 1 gives an elliptic Harnack inequality.
Proof We prove that, also in this case, the propagation set P(0, ) agrees with . The vector fields defined in Eq. 2 are We choose an integral curve γ such that γ (t) = ±X(γ (t)) in some intervals. A curve like that writes as γ (t) = ( x 1 ± t, x 2 ). In particular, we will use the field X to increase or decrease the first coordinate x 1 . In some other intervals we choose γ (t) = Y (γ (t)). Such a curve writes as γ (t) = ( x 1 , x 2 + x 1 t). In this case, we rely on the sign of x 1 to increase or decrease the second component x 2 . We prefer not to give the details of the construction and to refer to the following figure.

Remark 2 The above result fails as
and a 1 and a 2 have the same sign. In particular, if a 1 and a 2 are both positive, and we consider x 0 = a 1 +a 2 2 , 0 , we have P(x 0 , ) = ∩ x 2 > 0 . On the contrary, if a 1 and a 2 are both negative, we have P(x 0 , ) = ∩ x 2 < 0 .