¿Obtener una forma cerrada para la función de Riemann resuelve su conjetura?

¿Qué quieres decir con forma cerrada? Si quiere decir en términos de alguna composición finita de funciones familiares como [matemáticas] x ^ 2, \ sin (x), e ^ x, x + y [/ matemáticas], entonces puede demostrar que eso no es posible (Hilbert demostró que no es una solución para ninguna ecuación diferencial algebraica, a diferencia de las funciones elementales como la que describí).

Si permite tomar sumas o integrales infinitas, entonces tenemos tales expresiones de forma cerrada para la función zeta de Riemann: deduje una en mi respuesta a ¿Cómo pasamos de la función zeta de Riemann a su ecuación funcional ?, por ejemplo. Si está de acuerdo con tener una expresión que solo converge dentro de la franja crítica pero no necesariamente converge en todos los demás lugares, entonces podemos hacer eso también:

[matemáticas] \ zeta (s) = \ frac {1} {s – 1} \ sum_ {n = 1} ^ \ infty \ left (\ frac {n} {(n + 1) ^ s} – \ frac { n – s} {n ^ s} \ right) [/ math]

dentro de esa región.

Si hubiera algún tipo de algoritmo que tomara una expresión como esta y devolviera su conjunto cero, entonces sí, eso resolvería la conjetura. Sin embargo, no se conoce dicho algoritmo, y es muy posible que dicho algoritmo ni siquiera sea teóricamente posible (si permitimos que [math] | x | [/ math] sea una función elemental, entonces puede probar que no existe tal algoritmo )

En resumen, no, esto no resuelve la conjetura en absoluto.

Solo si es obvio a partir de esa forma cerrada cuáles son los ceros. Un formulario no se cierra mucho más que, digamos

[matemáticas] x ^ 7 + 15x ^ 6-43x ^ 4 + x ^ 3 + 19x ^ 2-x-1 [/ matemáticas]

Pero, ¿puede decirme algo de un vistazo sobre los ceros de esa función? ¿Son todos reales o imaginarios, por ejemplo?

De hecho, la función zeta ya está en una “forma cerrada”, o más bien, no hay una definición clara de “forma cerrada”, por lo que lo que debería estar buscando es simplemente “una forma en la que es obvio cuáles son los ceros”.