Sergei Mikhailovitch Voronin (Серге́й Миха́йлович Воро́нин en ruso; 11 de marzo de 1946 - 18 de octubre de 1997) fue un matemático ruso especializado en teoría de números. Es conocido por un teorema que demuestra que la franja crítica de la función zeta de Riemann posee la propiedad de universalidad.
También trabajó en teoría de números aditiva y aplicaciones de la teoría de números al análisis numérico. Así mismo, estaba interesado en la historia de las matemáticas.
Su padre era ingeniero petrolero y su madre, maestra. Creció en Buguruslán, en la región de Oremburgo. Estudió piano en una escuela de música, y tras participar con éxito en concursos de matemáticas, asistió a cursos de verano de matemáticas en Moscú. En 1963, se trasladó a un internado especial de matemáticas en Moscú. En 1964, ingresó en la Universidad Lomonosov, donde estudió teoría analítica de números con Anatoli Karatsuba. En 1972, se doctoró sobre la función zeta de Riemann con la tesis "El estudio del comportamiento de la función zeta de Riemann", dirigida por Yulij Ilyashenko.
Fue profesor de teoría de números en la Universidad Pedagógica Estatal de Moscú.
En su disertación, Voronin demostró que la función zeta de Riemann no obedece a una ecuación diferencial continua. En 1975, como parte de su tesis de habilitación, demostró su teorema de universalidad según el cual cualquier función analítica continua no nula en un disco circular puede aproximarse mediante la función zeta de Riemann dentro de la franja crítica
{\displaystyle {\tfrac {1}{2}}<\mathrm {Re} \,s<1}
El teorema muestra el comportamiento caótico de la función zeta de Riemann en la franja crítica. También estudió la distribución de ceros de otras funciones zeta (Dirichlet, Epstein). Por ejemplo, en 1980 demostró que ciertas funciones (en este caso, la función de Davenport-Heilbronn), seguida poco después por algunas funciones zeta de Epstein) que se definen en el semiplano derecho mediante una serie de Dirichlet y satisfacen una ecuación funcional similar a la de la función zeta de Riemann, pero para las cuales no se cumple la hipótesis de Riemann, presentan, sin embargo, una acumulación anormal de ceros en la línea crítica.
Teorema de universalidad de Voronin
una función continua que no tiene ceros y es analítica dentro del disco circular
{\displaystyle 0<r<{\tfrac {1}{4}}}
. Entonces, para cada número real
{\displaystyle |\zeta (s+{\tfrac {3}{4}}+i\tau )-f(s)|<\epsilon }
El teorema también es válido para las funciones L de Dirichlet generales, y puede formularse de modo que las funciones continuas, no nulas y analíticas
que se encuentran en la franja
{\displaystyle {\tfrac {1}{2}}<\mathrm {Re} \,s<1}
, se pueden aproximar uniformemente con precisión arbitraria en
por traslaciones de la función zeta de Riemann a lo largo del eje imaginario
{\displaystyle \zeta (s+i\tau )}