Después de probar la inexistencia de funciones armónicas limitadas en variedades con curvaturas positivas , propuso el problema de Dirichlet en el infinito para funciones armónicas limitadas en variedades negativamente curvadas, y luego procedió a funciones armónicas de crecimiento polinomial.