Una función automórfica es una función que es analítica en algún dominio y satisface la relación en este dominio , donde es un elemento de algún subgrupo contable del grupo de transformaciones lineales fraccionarias del plano complejo.
La clase de funciones automórficas, que generaliza la clase de funciones elípticas , fue introducida y estudiada por el matemático francés Henri Poincaré en la década de 1880.
A lo largo del siglo XIX, prácticamente todos los matemáticos destacados de Europa participaron en el desarrollo de la teoría de las funciones elípticas, que resultó ser extremadamente útil para resolver ecuaciones diferenciales . Sin embargo, estas funciones no acababan de justificar las esperanzas puestas en ellas, y muchos matemáticos empezaron a pensar si era posible extender la clase de funciones elípticas para que las nuevas funciones fueran aplicables a aquellas ecuaciones donde las funciones elípticas son inútiles.
Poincaré encontró por primera vez esta idea en un artículo de Lazar Fuchs , el más destacado especialista de aquellos años en ecuaciones diferenciales lineales ( 1880 ). A lo largo de varios años, Poincaré desarrolló mucho la idea de Fuchs, creando la teoría de una nueva clase de funciones, que él, con la habitual indiferencia a las cuestiones de prioridad de Poincaré, propuso llamar funciones fucsias ( en francés les fonctions fuchsiennes ) -aunque tenía todas las razones para dar a esta clase su propio nombre. El caso terminó con el hecho de que Felix Klein propuso el nombre de "funciones automórficas", que se fijó en la ciencia [1] . Poincaré dedujo la expansión de estas funciones en series y demostró el teorema de la adición. Estos descubrimientos "pueden considerarse con razón el pináculo de todo el desarrollo de la teoría de las funciones analíticas de una variable compleja en el siglo XIX" [2] .
Al desarrollar la teoría de las funciones automórficas, Poincaré descubrió su conexión con la geometría de Lobachevsky , lo que le permitió plantear muchas cuestiones de la teoría de estas funciones en lenguaje geométrico. Publicó un modelo visual de la geometría de Lobachevsky , con el que ilustró material sobre la teoría de funciones.
Después del trabajo de Poincaré, las funciones elípticas pasaron de ser una dirección prioritaria de la ciencia a un caso especial limitado de una teoría general más poderosa. En el siglo XX, los resultados de Poincaré se extendieron al caso de funciones de varias variables (ver, por ejemplo, funciones modulares ). Se han hecho intentos para generalizar aún más la clase de funciones automórficas (formas automórficas ).
Las funciones automórficas se utilizan ampliamente en muchas áreas de las ciencias exactas [3] . En particular: