Volume 1, Number 1,

Teorema de Liouville en variedades

John Edison Bravo Buitrago

Abstract This abstract provides a

Introducción
El objetivo del .

1 Caracteristicas del J-invariante de March

1.1 Definiciones iniciales. Considere las siguientes funciones
Definición 1.1 Sea φ ∈ C2 (0, ∞) ∩ C([0, ∞)]), con φ (0) = 0 y φ ′ (0) = 1, φ creciente, entonces
daremos las siguientes definiciones
Z r
1
bn (r) := dt.
1 φ n−1 (t)
(B-Invariante)
1
Z ∞
B(φ ) := lim bn (r) = dt.
r→∞ 1 φ n−1 (t)
(Invariante radial)
Z r Z t
 Z r Z r

1 n−3 n−3 1
ℓn (r) := φ (v)dv dt = φ (t) dv dt.
1 φ n−1 (t) 1 1 t φ n−1 (v)
(J-Invariante de March)
t
Z  Z 
1 1
Z ∞ Z ∞ ∞
n−3 n−3
J(φ ) := lim ℓn (r) = φ (v)dv dt = φ (t) dv dt.
r→∞ 1 φ n−1 (t) 1 1 t φ n−1 (v)
Observación 1.2 Es de notar que
bn (r) ≤ ℓn (r),

:,

1
2 J. Bravo

2 Teorema de Liouville en Variedades

2.1 Primeros teoremas.

Teorema 2.1 (de comparación del volumen) Sea (M n , g) una variedad riemanniana completa con
Ric(M) ≥ 0, entonces para todo p ∈ M y R > 0, se tiene que
Volg (BR (p)) ≤ Cn Rn ,
donde BR (p) es la bola geodésica con centro en p, radio R y Cn depende solo de n.

Proposición 2.2 Sea φ ∈ C2 (0, ∞) ∩ C([0, ∞)]), con φ (0) = 0 y φ ′ (0) = 1, φ creciente. Sea
φm (r) solución de la ecuación diferencial
 
1 ∂ ∂ φm (r)
n−1
φ (r) = λm2 φm (r), (1)
φ n−3 (r) ∂ r ∂r
entonces
φm (r) ≥ φm (1) + φm′ (1)bn (r) + φm (1)λm2 ℓn (r). (2)
Demostración. Se tiene que
Z r ′
λm2
Z r Z t

φm (1) n−3
φm (r) = φm (1) + n−1 (t)
dt + φ (v)φm (v)dv dt,
1 φ 1 φ n−1 (t)
1
Z r ′
λm2
Z r Z t 
φm (1) n−3
≥ φm (1) + n−1 (t)
dt + φm (1) n−1 (t)
φ (v)dv dt,
1 φ 1 φ 1
= φm (1) + φm′ (1)bn (r) + φm (1)λm2 ℓn (r).

Proposición 2.3 Sea φ ∈ C2 (0, ∞) ∩ C([0, ∞)]), con φ (0) = 0 y φ ′ (0) = 1, φ creciente. Sea
φm (r) solución de la ecuación diferencial
 
1 ∂ ∂ φm (r)
n−1
φ (r) = λm2 φm (r), (3)
φ n−3 (r) ∂ r ∂r
entonces
φm (r) = exp (O [ℓn (r)]) . (4)
Demostración. Considere los siguientes pasos:
(1) Primero, observe que se tiene la siguiente desigualdad
Z r ′
λm2
Z r Z t 
φm (1) n−3
φm (r) = φm (1) + n−1 (t)
dt + n−1 (t)
φ (v)φm (v)dv dt,
1 φ 1 φ 1
Z r ′ 
φm (t)
= exp dt ,
1 φm (t)
φm′ (1) λm2
Z r Z r Z t  
n−3 φm (v)
= exp n−1 (t)φ (t)
dt + n−1 (t)
φ (v) dv dt ,
1 φ m 1 φ 1 φm (t)
Z r ′
λm2
Z r Z t  
φm (1) n−3 φm (t)
≤ exp n−1 (t)
dt + n−1 (t)
φ (v) dv dt ,
1 φ 1 φ 1 φm (t)
= exp φm′ (1)bn (r) + λm2 ℓn (r) ,

≤ exp φm′ (1) + λm2 ℓn (r) .

 

 Teorema de Liouville en variedades 3

(2) Por otro lado, por el teorema de valor medio para integrales, existen para cada r y para cada
t, números reales, cr ∈ (1, r), qt ∈ (1,t) y qr ∈ (1, r), tal que
λm2
Z r Z t  
n−3 φm (v)
φm (r) = exp n−1 (t)
φ (v) dv dt ,
1 φ 1 φm (t)
λm2
 Z r Z t  
1 n−3
= exp φ (v)φm (v)dv dt ,
φm (cr ) 1 φ n−1 (t) 1
 Z r 2 Z t  
1 λm φm (qt ) n−3
= exp φ (v)dv dt ,
φm (cr ) 1 φ n−1 (t) 1
φm (qr ) r λm2
 Z Z t  
n−3
= exp φ (v)dv dt ,
φm (cr ) 1 φ n−1 (t) 1
 
φm (qr )
= exp ℓn (r) ,
φm (cr )
así,  
φm (qr )
ℓn (r) ≤ φm (r) ≤ exp φm′ (1) + λm2 ℓn (r) ,
 

exp
φm (cr )
como φm es creciente
φm (qr )
lim = 1,
r→∞ φm (cr )
entonces
exp (J(φ )) ≤ lim φm (r) ≤ exp φm′ (1) + λm2 J(φ ) .
 

(5)
r→∞

Ahora se verán algunas consecuencias de dichas proposiciones.

Teorema 2.4 Sea (M n , g) una variedad Riemanniana completa con métrica
g = dr2 + φ 2 (r)gω ,
donde gω una métrica arbitraria en la esfera Sn−1 . Además, φ ∈ C2 ((0, ∞)) ∩ C([0, ∞)]), con
φ (0) = 0 y φ ′ (0) = 1. Entonces
1. Si Jn (φ ) < ∞, entonces el Problema de Dirichlet en infinito es soluble.
2. Si Jn (φ ) = ∞, entonces la función armónica u es constante.
Demostración. Del problema de Dirichlet en infinito es sabido que si existe solución, es repre-
sentada de la forma
u(r, ω) = ∑ φm (r) ∑ cm,k fm,k (ω),
m̸=0 k
1. Si Jn (φ ) < ∞, entonces por la desigualdad (5) de la proposición 2.3 se sigue que el problema
de Dirichlet en el infinito es soluble.
2. Por contradicción, supongamos que Jn (φ ) = ∞ y que existe u armónica no constante que
resuelve el problema de Dirichlet dado por:
△g u = 0, u|∂ BR (0) = f, (R0 fijo). (6)
0

Consideremos la función
φm (r)
uR (r, ω) = ∑ ∑ cm,k,R fm,k (ω), (7)
m̸=0 φm (R) k
4 J. Bravo

tal que uR −→ u, cuando R −→ ∞.

Siendo así, para R0 fijo, es claro que existe C, tal que φm (R0 ) ≤ C, para toda m, por la
desigualdad (5) de la proposición 2.3, existe una constante D, tal que φm (r) ≤ Dℓn (r) y por
el teorema (2.1) de comparación del volumen
Z
||uR ||2L2 (BR (0)) = |uR (r, ω)|2 dVolg ,
0 BR0 (0)
Z
2
≤ |uR (R0 , ω)| dVolg ,
BR0 (0)

= |uR (R0 , ω)|2Volg (BR0 ),

≤ |uR (R0 , ω)|2Cn Rn0 ,
φm2 (R0 )
= ∑ 2 ∑ |cm,k,R |2Cn Rn0 ,
m̸=0 φm (R) k
C
≤ ∑ 2 ∑ |cm,k,R|2CnRn0,
m̸=0 φm (R) k
φm2 (R0 )
≤ ∑ 2 ∑ |cm,k,R|2CnRn0,
m̸=0 φm (R) k
C exp (ℓn (R))
= ∑ 2 ∑ |cm,k,R|2CnRn0,
m̸=0 φm (R) exp (ℓn (R)) k
CD
≤ ∑ ∑ |cm,k,R |2Cn Rn0 ,
exp (ℓn (R)) m̸=0 k
CD
≤ R2Cn Rn0 ,
exp (ℓn (R))

Como
lim ℓn (R) = Jn (φ ) = ∞,
R→∞
tenemos que
||uR (r, ω)||2L2 (BR (0)) → 0,
0
cuando R → ∞, esto implica que
||u(r, ω)||2L2 (BR (0)) ≡ 0,
0

de lo que se concluye que u(r, ω) ≡ 0, pero eso contradice la hipótesis de que u no es con-
stante. Por ende, u debe ser constante.

Bibliografía

[2] M. A NDERSON . “The Dirichlet problem at infinity for manifolds of negative curvature". J. Differ. Geom. 18, 701–721,
(1983).

[4] M. A NDERSON AND R. S CHOEN . “Positive harmonic functions on complete manifolds of negative curvature". Ann. Math.
2. 121, 429–461. , (1985).
 Teorema de Liouville en variedades 5

[6] S. Y. C HENG AND S. T. YAU . “Differential equations on Riemannian manifolds and their geometric applications" Comm.
Pure Appl. Math. 28, 333–354, (1975).

[8] H. C HOI . “In asymptotic Dirichlet problems for harmonic functions on Riemannian manifolds" Trans. Am. Math. Soc. 281,
691–716, (1984).

[10] J. E. B RAVO . J. C. C ORTISSOZ . D. P. S TEIN . “Some Observations on Liouville’s Theorem on Surfaces and the Dirichlet
Problem at Infinity" Lobachevskii Journal of Mathematics, Vol. 43, No. 1, pp. 71–77, (2022)

[12] J. C. C ORTISSOZ . “A note on harmonic functions on surfaces" Am. Math. Mon. 123, 884–893, (2016).

[14] J. C. C ORTISSOZ . "An Observation on the Dirichlet Problem at Infinity on Riemannian cones" arXiv:2111.11351 [math.DG],
aceptado en Nagoya Math. J. (2021).

[16] G. H ERGLOTZ . “Über potenzreihen mit positivem, realem Teil im Einheitskreis" Ber. Verh. Sachs, Akad. Wiss., Math.-Phys.
Kl. 63, (1911).

[18] R. J I . “The asymptotic Dirichlet problems on manifolds with unbounded negative curvature" Math. Proc. Cambridge Phil.
Soc. 167, 133–157, (2019).

[20] J OST, J ÖRGEN . “Riemannian geometry and geometric analysis" Springer International., (2017).

[22] D. S ULLIVAN . “The Dirichlet problem at infinity for a negatively curved manifold" J. Differ. Geom. 18, 723–732, (1983).

[24] S. T. YAU . “Harmonic functions on complete Riemannian manifolds" JComm. Pure Appl. Math. 28, 201–228, (1975).

[26] R ICHARD S CHOEN , S HING -T UNG YAU . “Lectures on Differential Geometry" International Press of Boston. Cap I-IV
(2010).