Liouville properties
Tobias Holck Colding, William P. Minicozzi II

TL;DR
This paper surveys the classical and generalized Liouville theorems, discusses Yau's conjecture, and explores recent applications in geometric group theory and mean curvature flow singularities, proposing new approaches for high codimension cases.
Contribution
It provides a comprehensive overview of Liouville properties, discusses Yau's conjecture, and introduces new ideas for analyzing singularities in high codimension mean curvature flow.
Findings
Yau's conjecture remains influential in geometric analysis.
Recent methods have advanced understanding of polynomial growth groups.
New approaches are proposed for classifying high codimension mean curvature flow singularities.
Abstract
The classical Liouville theorem states that a bounded harmonic function on all of must be constant. In the early 1970s, S.T. Yau vastly generalized this, showing that it holds for manifolds with nonnegative Ricci curvature. Moreover, he conjectured a stronger Liouville property that has generated many significant developments. We will first discuss this conjecture and some of the ideas that went into its proof. We will also discuss two recent areas where this circle of ideas has played a major role. One is Kleiner's new proof of Gromov's classification of groups of polynomial growth and the developments this generated. Another is to understanding singularities of mean curvature flow in high codimension. We will see that some of the ideas discussed in this survey naturally lead to a new approach to studying and classifying singularities of mean curvature flow in higher…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsChemical Thermodynamics and Molecular Structure · Advanced Thermodynamics and Statistical Mechanics · History and advancements in chemistry
Liouville properties
Tobias Holck Colding
MIT, Dept. of Math.
77 Massachusetts Avenue, Cambridge, MA 02139-4307.
and
William P. Minicozzi II
[email protected] and [email protected]
Abstract.
The classical Liouville theorem states that a bounded harmonic function on all of must be constant. In the early 1970s, S.T. Yau vastly generalized this, showing that it holds for manifolds with nonnegative Ricci curvature. Moreover, he conjectured a stronger Liouville property that has generated many significant developments. We will first discuss this conjecture and some of the ideas that went into its proof.
We will also discuss two recent areas where this circle of ideas has played a major role. One is Kleiner’s new proof of Gromov’s classification of groups of polynomial growth and the developments this generated. Another is to understanding singularities of mean curvature flow in high codimension. We will see that some of the ideas discussed in this survey naturally lead to a new approach to studying and classifying singularities of mean curvature flow in higher codimension. This is a subject that has been notoriously difficult and where much less is known than for hypersurfaces.
The authors were partially supported by NSF Grants DMS 1812142 and DMS 1707270.
To S.T. Yau on his seventieth birthday.
0. Introduction
The classical Liouville theorem, named after Joseph Liouville (1809 - 1882), states that a bounded (or even just positive) harmonic function on all of must be constant. There is a very short proof of this for bounded functions using the mean value property:
Given two points, choose two balls with the given points as centers and of equal radius. If the radius is large enough, the two balls will coincide except for an arbitrarily small proportion of their volume. Since the function is bounded, the averages of it over the two balls are arbitrarily close, and so the function assumes the same value at any two points.
The Liouville theorem has had a huge impact across many fields, such as complex analysis, partial differential equations, geometry, probability, discrete mathematics and complex and algebraic geometry. As well as many applied areas. The impact of the Liouville theorem has been even larger as the starting point of many further developments.
On manifolds with nonegative Ricci curvature, mean values inequalities hold, but are no longer equalities, and the above proof does not give a Liouville type property. However, in the 1970s, S.T. Yau, [Ya1], showed that the Liouville theorem holds for such manifolds. Later, in the mid 1970s, Yau together with S.Y. Cheng, [CgYa], showed a gradient estimate on these manifolds giving an effective version of the Liouville theorem; see also, Schoen, [Sc].
The situation is very different for negatively curved manifolds such as hyperbolic space. This is easiest seen in two dimensions where being harmonic is conformally invariant, so each harmonic function on the Euclidean disk is also harmonic in the hyperbolic metric. In particular, each continuous function on the circle extends to a harmonic function on the disk and the space of bounded harmonic functions is infinite dimensional; cf. Anderson, [A], Sullivan, [S], and Anderson-Schoen, [ASc].
In general, given a complete manifold and a nonnegative constant , is the linear space of harmonic functions of polynomial growth at most :
That is, if and for some and a constant
[TABLE]
In 1974, S.T. Yau conjectured the following stronger Liouville property:
Conjecture \the\fnum.
If has , then is finite dimensional for each .
This conjecture generated many significant developments and was discussed by many authors. See, for instance: page in [Ya3], problem in [Ya4], Conjecture in [Sc], [Ka1], [Ka2], [Kz], [DF], Conjecture in [Li1], and problem (1) in [LiTa1], amongst others.
The conjecture was settled in [CM4]:
Theorem \the\fnum.
[CM4] Conjecture ‣ 0. Introduction holds.
In fact, [CM4] proved finite dimensionality under much weaker assumptions of:
- (1)
A volume doubling bound. 2. (2)
A scale-invariant Poincaré inequality.
Both (1) and (2) hold for by the Bishop-Gromov volume comparison and [B]. However, these properties do not require much regularity of the space and are quite flexible. In particular, they make sense for more general metric-measure spaces and are preserved by bi-Lipschitz changes of the metric. Moreover, the properties (1) and (2) make sense also for discrete spaces, vastly extending the theory and methods out of the continuous world. This extension opens up applications to geometric group theory and discrete mathematics; some of which we will touch upon later.
1. Harmonic polynomials on Euclidean space
There are two simple ways to understand . The first, which is very special to Euclidean space, uses that the Laplacian commutes with partial derivatives on . The key is then the gradient estimate111The constant is not sharp.:
If on , then
[TABLE]
Thus, if on all of , then for all . Letting gives that is constant. Since on , the gradient estimate implies that if , then . Applying this times gives that the -th order partials are constant and, thus, is a polynomial of degree . It follows that is the space of harmonic polynomials of degree at most and, thus, has dimension of the order .
There is another way to think of this that gives a more general perspective. Namely, in polar coordinates , the Laplacian is
[TABLE]
In particular, the restriction of a homogeneous harmonic polynomial of degree to gives an eigenfunction with eigenvalue .
A similar “cone construction” holds more generally; cf. [CM2]. Given a manifold , the cone over is the manifold with the metric
[TABLE]
The Laplacians of and are related by
[TABLE]
Using (1.3), we can now reinterpret the spaces :
Lemma \the\fnum.
If on , then where
[TABLE]
As a consequence of Lemma 1, the spectral properties of are equivalent to properties of harmonic functions of polynomial growth on . In this way, the dimension bounds on , for large, are related to spectral asymptotics on the cross-section which are given by Weyl’s asymptotic formula. This point of view was a focus point of [CM5].
2. Laplacian on a manifold
On a Riemannian manifold with metric and Levi-Civita connection , the gradient of a function is defined by
[TABLE]
The Laplacian of is the trace of the Hessian. That is, if is an orthonormal frame for , then
[TABLE]
For harmonic functions, we get the following reverse Poincaré inequality (also sometimes called the Caccioppoli inequality):
Lemma \the\fnum (Reverse Poincaré).
If on , then
[TABLE]
Incidentally, Yau used this in [Ya2] to show:
Theorem \the\fnum (Yau).
If is open, is harmonic, and , then must be constant. If has infinite volume, then .
2.1. The Bochner formula
On Euclidean space , partial derivatives commute and
[TABLE]
On a Riemannian manifold , derivatives do not commute and (2.4) does not hold in general. However, the failure of derivatives to commute is measured by the Riemann curvature tensor. Using this, Bochner proved the following extremely useful formula:
[TABLE]
Thus, if , then the energy density of a harmonic function is subharmonic.
3. Gradient estimate for harmonic functions
Gradient estimates have played a key role in geometry and PDE since at least the early work of Bernstein in the 1910s. These are probably the most fundamental a priori estimates for elliptic and parabolic equations, leading to Harnack inequalities, Liouville theorems, and compactness theorems for both linear and nonlinear PDE.
A typical example for linear equations is the well–known, and highly influential, gradient estimate of S.Y. Cheng and S.T. Yau for harmonic functions:
Theorem \the\fnum.
[CgYa] If on with nonnegative Ricci curvature, then
[TABLE]
Proof.
We begin by introducing a cutoff function that vanishes on and has bounds on its gradient and Laplacian. Define the cutoff function , where is the distance function to the center [math] of the ball. Observe that
[TABLE]
where the third line used the Laplacian comparison theorem (which applies since ).
Using the product rule the Laplacian, the Bochner formula and the above formulas for , we compute that
[TABLE]
where the last inequality used the absorbing inequality with and . On the other hand, we have so the function
[TABLE]
is subharmonic on (i.e., ). By the maximum principle, the maximum of occurs on the boundary so that
[TABLE]
∎
In fact, Cheng and Yau proved a stronger estimate:
Theorem \the\fnum (Gradient estimate; [CgYa]).
If and is positive on with , then
[TABLE]
An important consequence of (3.9) is the Harnack inequality for positive harmonic functions. Accordingly, estimates of the form (3.9), which give a bound for the derivative of the logarithm of a positive function, are often referred to as differential Harnack estimates. In 1986, Li and Yau proved a sharp gradient, or differential Harnack, estimate for the heat equation on manifolds with , [LiY]. The paper [C2] gives a sharp elliptic gradient estimate on such manifolds. Finally, note that the Harnack inequality holds more generally for manifolds with a volume doubling and Poincaré inequality by [Gr], [SC].
4. Harmonic functions with polynomial growth on general spaces
The Cheng-Yau gradient estimate implies the global Liouville theorem of Yau, [Ya3], by taking in (3.9). In fact, it implies the stronger result that any harmonic function with sublinear growth must be constant:
Corollary \the\fnum.
[CgYa] If is complete with , then for .
Since has nonnegative Ricci curvature and the coordinate functions are harmonic, this is obviously sharp. Therefore, when a different approach is needed. Instead of showing a Liouville theorem, the point is to control the size of the space of solutions. Over the years, there were many interesting partial results (including when is a surface, [LiTa2] and [DF]). In [LiTa1], P. Li and L.F. Tam obtained the borderline case , showing that
[TABLE]
for an -dimensional manifold with . When the space has dimension and is spanned by the coordinate functions plus the constant functions. The corresponding rigidity theorem was proven in [ChCM] (see [Li2] for the special case where is Kähler):
Theorem \the\fnum.
[ChCM] If is complete with , then every tangent cone at infinity splits isometrically as
[TABLE]
Hence, if , then [C1] implies that .
Finally, in [CM4], Yau’s conjecture from 1974 was settled. Namely, [CM4] showed that the spaces of polynomial growth harmonic functions are finite dimensional; see Theorem ‣ 0. Introduction. The proof consists of two independent steps (the first does not use harmonicity):
- •
Given a -dimensional subspace and , there exists a -dimensional subspace and so that
[TABLE]
- •
The dimension of a space of harmonic functions satisfying (4.3) is bounded in terms of and .
To give some feel for the argument, we will sketch a proof of the second step.
Proof.
(Sketch of second step) For simplicity, suppose that and . Fix a scale to be chosen small. We will use two properties of manifolds with :
First, we can find balls with
[TABLE]
where is the characteristic function of a set . (To do this, choose a maximal disjoint collection of balls of radius and then use the volume comparison to get the second inequality in (4.4) and bound .)
Second, there is a uniform Poincaré inequality: If , then
[TABLE]
To bound the dimension of , we will construct a linear map and show that is injective for sufficiently small. We define by
[TABLE]
We will deduce a contradiction if is in the kernel of . In particular, (4.5) gives that for each
[TABLE]
Combining this with (4.4) gives
[TABLE]
We now (for the only time) use that is harmonic. Namely, the Caccioppoli inequality (or reverse Poincaré inequality) for harmonic functions gives
[TABLE]
Combining (4.8) and (4.9), we get
[TABLE]
This contradicts (4.3) if is sufficiently small, completing the proof. ∎
On Euclidean space , the spaces are given by harmonic polynomials of degree at most . In particular, it is not hard to see that
[TABLE]
Using the correspondence between harmonic polynomials and eigenfunctions on (see Lemma 1), this is closely related to Weyl’s asymptotic formula on . In [CM5], the authors proved a similar sharp polynomial bound for manifolds with non–negative Ricci curvature:
Theorem \the\fnum.
[CM5] If is complete with and , then
[TABLE]
Taking , (4.11) illustrates that the exponent is sharp in (4.12). However, as in Weyl’s asymptotic formula, the constant in front of can be related to the volume. Namely, we actually showed the stronger statement
[TABLE]
where
- •
depends only on the dimension .
- •
is the “asymptotic volume ratio” .
- •
is a function of with .
As noted above, Theorem 4 also gives lower bounds for eigenvalues on a manifold with . Using the sharper estimate (4.13) introduces the volume of into these eigenvalue estimates (as predicted by Weyl’s asymptotic formula).
An interesting feature of these dimension estimates is that they follow from “rough” properties of and are therefore surprisingly stable under perturbation. For instance, in [CM4], we proved Theorem ‣ 0. Introduction for manifolds with a volume doubling and a Poincaré inequality; unlike a Ricci curvature bound, these properties are stable under bi–Lipschitz transformations.
This finite dimensionality was not previously known even for manifolds bi–Lipschitz to (except under additional hypotheses, cf. Avellenada–Lin, [AvLn], and Moser–Struwe, [MrSt]).
The volume doubling and Poincaré inequality together imply a meanvalue inequality. Using the meanvalue inequality and the doubling, we prove finite dimensionality for harmonic sections of certain bundles in [CM6] (see also [CM3]).
This is just a very brief overview (omitting many interesting results), but we hope that it gives something of the flavor of the subject; see [CM3] and references therein for more.
5. The heat equation
A function satisfies the heat equation if . In particular, harmonic functions are static (time-independent) solutions of the heat equation.
5.1. Ancient solutions of the heat equation
The natural parabolic generalization of a polynomial growth harmonic function is a polynomial growth ancient solution of the heat equation. On , it is classical that these are just polynomials in and and, thus, finite dimensional. In view of [CM4], [CM5] and [CM6] for harmonic functions, it is natural to seek dimension bounds for these spaces on manifolds. This was initiated by Calle in 2006 in her thesis, [Ca1], [Ca2]; cf. [LZ] for some recent results, including a parabolic generalization of [CM4].
Given , let be the space of ancient solutions of the heat equation so that there exists with
[TABLE]
Theorem \the\fnum.
[CM11] If for some , then for
[TABLE]
Combining this with the bound when from [CM5] gives:
Corollary \the\fnum.
[CM11] There exists so that if , then for
[TABLE]
This result is optimal in the following sense: There is a constant so that for
[TABLE]
Thus, the exponent in (5.3) is sharp; see Lin and Zhang, [LZ], for a recent related result that adapts the methods of [CM4]–[CM6] to get the weaker bound .
Theorem 5.1 gives finite dimensionality of for any where is finite dimensional. Thus, the earlier results of [CM4]–[CM6] give finite dimensionality of when has a volume doubling and either a Poincaré or meanvalue inequality.
5.2. Parabolic gradient estimates
The next lemma gives a simple interior gradient estimate that parallels the gradient estimate of Theorem 3 for harmonic functions. One can also get gradient estimates in time, though the scaling factor is different.
Lemma \the\fnum.
If is complete with , the there exists depending on so that if on , then
[TABLE]
Proof.
By scaling, it suffices to prove the estimate when . Let be a cut-off function that is one on and zero on the parabolic boundary of . Note that and, by the Bochner formula since , . Therefore, the Kato inequality and the absorbing inequality give
[TABLE]
Using the Laplacian comparison theorem, we can construct so that for a constant depending just on . It follows that is a subsolution of the heat equation and the parabolic maximum principle gives
[TABLE]
After rescaling to radius , this gives the lemma. ∎
In [LiY], Li and Yau proved a gradient estimate for positive solutions of the heat equation:
Theorem \the\fnum (Differential Harnack inequality; [LiY]).
If and is positive on with , then
[TABLE]
There is also a local version of Theorem 5.2 in [LiY] when is positive on with . Namely, there exists depending on so that
[TABLE]
An immediate corollary of (5.9) is a generalization of Lemma 5.2:
Corollary \the\fnum.
There exists depending on so that if and , then
[TABLE]
Similarly, we have .
Proof.
Let be the supremum of on . Then and satisfy the heat equation and are positive with
[TABLE]
Let . Applying (5.9) to gives on that
[TABLE]
Thus, we get on that . Applying (5.9) to gives on that
[TABLE]
which gives that . Combining the upper and lower bounds on gives (5.10). Finally, using (5.10) in (5.13) gives the spatial gradient estimate. ∎
Using the parabolic gradient estimate of Li-Yau in place of the Cheng-Yau gradient estimate, we will get generalizations of the harmonic rigidity theorems when the degree of growth is low.
Corollary \the\fnum.
Suppose that . If , then . If , then . Finally, with equality only on
Proof.
Suppose that with . By taking in Lemma 5.2, we see that and, thus, is constant in space. The equation then implies that is also constant in time.
By Corollary 5.2, we see that if , then . In particular, , by [LiTa1], and equality holds if and only if by [ChCM]. ∎
6. Recent results
In the last two sections we will discuss two recent applications of the methods discussed here in two very different directions. The first is a new proof, by Kleiner, of Gromov’s theorem about groups of polynomial growth whereas the second, which is discussed in the next section, is to blow-ups (ancient solutions) of curvature flow.
6.1. Connections with geometric group theory
Recently Kleiner, [K], (see also Shalom-Tao, [ST]) used, in part, the circle of ideas discussed here in his new proof of an important and foundational result in geometric group theory, originally due to Gromov, [G]. Gromov’s theorem asserts that any finitely generated group of polynomial growth has a finite index nilpotent subgroup.
Given an infinite group generated by a finite symmetric set, a function on the group is said to be harmonic if it obeys the mean value equality. Here the mean is taken over adjacent elements. Kleiner’s proof has roughly four steps, cf. [T1], [T2]. The first is to construct plenty of polynomial growth harmonic functions on any group with polynomial growth. The second step uses that the space of polynomial growth functions on the group is finite dimensional for each . The third step shows that any finitely generated group of polynomial growth that sits inside a compact Lie subgroup of the general linear group is virtually abelian. Finally, the fourth step uses an induction argument to reduce the general question to the third step. Steps one and two together give that step three applies. To get the key finite dimensionality of the second step, Kleiner shows a Poincaré inequality and observes that the group satisfies a type of doubling condition.
7. A new approach to MCF in higher codimension
We will see that ideas discussed in this survey naturally lead to a new approach to studying and classifying singularities of mean curvature flow (MCF) in higher codimension. This is a subject that has been notoriously difficult and where much less is known than for hypersurfaces. The idea of [CM10] is to use ideas described in the earlier sections to show that blowups of higher codimension MCF have codimension that typically is much smaller than in the original flow. In many important instances we can show that blowups are evolving hypersurfaces in an Euclidean subspace even when the original flow is very far from being hypersurfaces.
A one-parameter family of -dimensional submanifolds evolves by mean curvature flow if each point evolves by
[TABLE]
where is the mean curvature vector and is the second fundamental form. It is said to be ancient if it exists for all negative times. The restrictions of the coordinate functions on to the evolving submanifolds satisfy the heat equation. This connects the study of MCF with the study of spaces of polynomial growth functions. Indeed one way of thinking about MCF is that the position vector satisfies the nonlinear heat equation
[TABLE]
This equation is nonlinear since the Laplacian depends on the evolving submanifold .
There is a Lyapunov function for the flow that is particularly useful. To define it recall that the Gaussian surface area of an -dimensional submanifold is
[TABLE]
The factor is chosen to make the Gaussian area one for an -plane through the origin. Following [CM9], the entropy is the supremum of over all translations and dilations
[TABLE]
By Huisken’s monotonicity, [H], it follows that is monotone nonincreasing under the flow. From this, and lower semi continuity of , we have that all blowups have entropy bounded by that of the initial submanifold in a MCF.
MCF in higher codimension is a complicated nonlinear parabolic system and much less is known than for hypersurfaces. The singularities are modeled by shrinkers that evolve by scaling. Shrinkers get more complicated as the codimension increases. The most fundamental shrinkers are cylinders , but there are many others including all -dimensional minimal submanifolds of the sphere . The entropy of round spheres is monotone decreasing in the dimension, [St], with
[TABLE]
and .
Any blowup of a MCF leads to an ancient flow. A particularly important way of blowing up is around a fixed point in space-time. This kind of ancient flow is a shrinker. A submanifold is a shrinker if it satisfies the equation
[TABLE]
where is the perpendicular part of the position vector field. This is equivalent to saying that the one parameter family flows by the MCF.
7.1. Bounding codimension
Let be an ancient MCF with entropies . The space consists of polynomial growth caloric functions on so that and there exists depending on with
[TABLE]
In [CM10], for each we bound the dimension of for an ancient MCF . The bound is in terms of the dimension of , the entropy, and . The next result is a special case of this for that shows that the codimension of the smallest Euclidean space that the flow sits inside is bounded in terms of the entropy.
Theorem \the\fnum.
(Bounding codimension by entropy for ancient flows, [CM10]). If is an ancient MCF, then an Euclidean subspace of dimension .
There is a parallel of this result that can been seen as a generalization of a well-known result of Cheng-Li-Yau. To explain this let be a shrinker with finite entropy . We will use to denote the Gaussian norm. As in [CM6], the drift Laplacian (Ornstein-Uhlenbeck operator) is self-adjoint with respect to the Gaussian inner product We will say that is a -eigenfunction if and . The spectral counting function is the number of eigenvalues counted with multiplicity. In [CM10] we bound the spectral counting function for any shrinker in terms of , , and . As a special case we get:
Theorem \the\fnum.
(Bounding codimension by entropy for shrinkers, [CM10]). If is a shrinker, then an Euclidean subspace of dimension .
Our estimates in Theorems 7.1 and 7.1 are linear in the entropy, which is known to be sharp. The corresponding linear estimate for algebraic varieties in complex projective space follows from Bézout’s theorem, in [Ha]. When is a closed -dimensional minimal submanifold of the sphere and the entropy reduces to the volume, then this estimate follows from theorem in [CgLYa].
In theorem in [dCW], do Carmo and Wallach construct families of minimal submanifolds of the sphere, each isometric to the same round sphere, generalizing earlier results of Calabi [Ca]. The boundary immersions of the families in [dCW] lie in a lower-dimensional affine space. Obviously, they have the same volume and, since they are contained in spheres, also the same entropy. Thus, the number of linearly independent coordinate functions can vary along a family.
7.2. Sharp bound for codimension
Suppose that is an ancient MCF with . For each constant define the flow by
[TABLE]
It follows that is an ancient MCF as well. Since , Huisken’s monotonicity, [Hu], and work of Ilmanen, [I], White, [Wh1], gives that every sequence has a subsequence (also denoted by ) so that converges to a shrinker (so ) with . We will say that such a is a tangent flow at of the original flow.
The next result gives a sharp bound for the codimension:
Theorem \the\fnum.
(Sharp codimension bound, [CM10]). If is an ancient MCF and one tangent flow at is a cylinder, then is a flow of hypersurfaces in a Euclidean subspace.
We believe that this theorem will have wide ranging consequences for MCF in higher codimension. To briefly explain some of these we make the following conjecture:
Conjecture \the\fnum.
For and any codimension, round generalized cylinders, , are the shrinkers with the lowest entropy.
We also conjecture that for any the round has the least entropy of any closed shrinker . The corresponding result for hypersurfaces was proven in [CIMW]; see also [HW]. It was also noted in [CIMW] that the “Simons cone” over has entropy strictly less than that of . In other words, already for , the round generalized cylinders is not a complete list of the lowest entropy shrinkers. Conjecture 7.2 is known for since shrinking curves are contained in affine two-planes and have entropy at least that of round circles. It is also known to hold for and by work of Bernstein-Wang, [BW].
If Conjecture 7.2 holds, then combined with Theorem 7.2 it would follow that any ancient flow with entropy at most plus some small would be a hypersurface in some Euclidean subspace of dimension provided . This would give that all blowups near any cylindrical singularity for are ancient flows of hypersurfaces. Thus, reducing the system to a single differential equation.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[AH] L. Ambrosio and S. Honda, Local spectral convergence in R C D ⋆ 𝑅 𝐶 superscript 𝐷 ⋆ RCD^{\star} (K,N) spaces , Nonlinear Anal. 177 (2018), part A, 1–23.
- 2[A Sc] M.T. Anderson and R. Schoen, Positive Harmonic Functions on Complete Manifolds of Negative Curvature , Annals of Math. Second Series, Vol. 121, No. 2 (1985) 429–46.
- 3[A] M. T. Anderson, The Dirichlet problem at infinity for manifolds of negative curvature . J. Differential Geom. 18 (1983), no. 4, 701–721 (1984).
- 4[ADS] S.B. Angenent, P. Daskalopoulos, and N. Sesum, Uniqueness of two-convex closed ancient solutions to the mean curvature flow , preprint.
- 5[Av Ln] M. Avellaneda and F.H. Lin, Un theoreme de Liouville pour des equations elliptiques a coefficients periodiques , C. R. Acad. Sci. Paris 309 (1989) 245–250.
- 6[BFO] P. Bella, B. Fehrman and F. Otto, A Liouville theorem for elliptic systems with degenerate ergodic coefficients . Ann. Appl. Probab. 28 (2018), no. 3, 1379–1422.
- 7[BDKY] I. Benjamini, H. Duminil-Copin, G. Kozma and A. Yadin, Disorder, entropy and harmonic functions , Ann. Probab. 43 (2015), no. 5, 2332–2373.
- 8[BW] J. Bernstein and L. Wang, A topological property of asymptotically conical self-shrinkers of small entropy . Duke Math. J., (2017) 166(3):403–435.
