Periodo algebraico

En matemáticas, específicamente en geometría algebraica, un período o período algebraico ^[1]​ es un número complejo que se puede expresar como una integral de una función algebraica sobre un dominio algebraico. Los períodos forman una clase de números y incluyen junto a los números algebraicos, muchas constantes matemáticas bien conocidas como el número π . Las sumas y productos de períodos siguen siendo períodos, de modo que los períodos ${\displaystyle {\mathcal {P}}}$ forman un anillo.

Los períodos son importantes en la teoría de ecuaciones diferenciales y números trascendentales, así como en problemas abiertos de la geometría algebraica moderna. ^[2]​ También aparecen al calcular las integrales que surgen de los diagramas de Feynman, y se ha trabajado intensamente para intentar comprender las conexiones. ^[3]​

Un numero ${\displaystyle \alpha }$ es un período algebraico si se puede expresar como una integral de la forma:

${\displaystyle \alpha =\int _{P(x_{1},\ldots ,x_{n})\geq 0}Q(x_{1},\ldots ,x_{n})\ \mathrm {d} x_{1}\ldots \mathrm {d} x_{n}}$

${\displaystyle P}$ es un polinomio y ${\displaystyle Q}$ es una función racional en ${\displaystyle \mathbb {R} ^{n}}$ con coeficientes racionales.^[1]​ Un número complejo es un período si sus partes reales e imaginarias son períodos.

Una definición alternativa permite que ${\displaystyle P}$ y ${\displaystyle Q}$ son funciones algebraicas; esto parece más general, pero es equivalente. Los coeficientes de las funciones racionales y polinomios también pueden generalizarse a números algebraicos porque los números algebraicos irracionales se pueden expresar en términos de áreas de dominios adecuados.

En otras palabras, un período (no negativo) es el volumen de una región en ${\displaystyle \mathbb {R} ^{n}}$ definida por desigualdades polinómicas con coeficientes racionales. ^[2]​^[4]​

Los períodos tienen por objeto salvar la brecha entre los números algebraicos, que forman una clase demasiado pequeña para incluir muchas constantes matemáticas comunes, y los números trascendentales, que son incontables y, salvo muy pocos ejemplos específicos, difíciles de describir. Por lo general tampoco son computables .

El anillo de los períodos ${\displaystyle {\mathcal {P}}}$ se encuentra entre los números algebraicos ${\displaystyle \mathbb {\overline {Q}} }$ y números complejos ${\displaystyle \mathbb {C} }$ y es contable . Los períodos en sí son todos computables, ^[5]​ y en particular definibles. Tenemos la inclusión: ${\displaystyle \mathbb {\overline {Q}} \subset {\mathcal {P}}\subset \mathbb {C} }$ .

Los períodos incluyen algunos de esos números trascendentales, que pueden describirse de forma algorítmica y sólo contienen una cantidad finita de información. ^[2]​

Ejemplos de números que son períodos algebraicos incluyen:^[1]​^[2]​^[6]​

Número	Integral
Número algebraico ${\displaystyle \alpha }$.	${\displaystyle \alpha =\int _{0}^{\alpha }\mathrm {d} x}$
El logaritmo natural de un número algebraico${\displaystyle \alpha >0}$.	${\displaystyle \ln(\alpha )=\int _{1}^{\alpha }{\frac {1}{x}}\ \mathrm {d} x}$
Las funciones trigonométricas inversas de números algebraicos ${\displaystyle \alpha }$.	${\displaystyle \arctan(\alpha )=\int _{0}^{\alpha }{\frac {1}{1+x^{2}}}\ \mathrm {d} x}$
El número ${\displaystyle \pi }$.	${\displaystyle \pi =\int _{0}^{1}{\frac {4}{x^{2}+1}}\ \mathrm {d} x}$
La constante de Apéry ${\displaystyle \zeta (3)}$	${\displaystyle \zeta (3)=\int _{0}^{1}\int _{0}^{1}\int _{0}^{1}{\frac {\mathrm {d} x\mathrm {d} y\mathrm {d} z}{1-xyz}}}$
La constante de Catalan ${\displaystyle G}$.	${\displaystyle G=\int _{0}^{1}\int _{0}^{1}{\frac {\mathrm {d} x\mathrm {d} y}{1+x^{2}y^{2}}}}$
La constante de la lemniscata ${\displaystyle \varpi }$.	${\displaystyle \varpi =2\int _{0}^{1}{\frac {\mathrm {d} x}{\sqrt {1-x^{4}}}}}$
Algunas integrales elípticas como el perímetro ${\displaystyle P}$ de una elipse.	${\displaystyle P=\int _{-b}^{b}{\sqrt {1+{\frac {a^{2}x^{2}}{b^{4}-b^{2}x^{2}}}}}\mathrm {d} x}$
Sumas y productos períodos.

Una propiedad útil de los números algebraicos es que la igualdad entre dos expresiones algebraicas se puede determinar algorítmicamente. Una conjetura de Kontsevich y Zagier implicaría que la igualdad de períodos también es decidible: se sabe que la desigualdad de los reales computables es recursivamente enumerable ; y a la inversa, si dos integrales concuerdan, entonces un algoritmo podría confirmarlo probando todas las formas posibles de transformar una de ellas en la otra.

Otras cuestiones abiertas consisten en demostrar qué constantes matemáticas conocidas no pertenecen al anillo de períodos. Un ejemplo de un número real que no es un período lo da la constante de Chaitin Ω . Cualquier otro número no computable también da un ejemplo de un número real que no es un período. También es posible construir ejemplos artificiales de números computables que no sean períodos. ^[7]​ Sin embargo, no existen números computables que se haya demostrado que no sean períodos y que no hayan sido construidos artificialmente para ese propósito.

Se conjetura que 1/ π, el número e y la constante de Euler-Mascheroni γ no son períodos. ^[2]​

Permitiendo que la función ${\displaystyle Q}$ sería el producto de una función algebraica y la exponencial de una función algebraica, da como resultado los períodos exponenciales ${\displaystyle {\mathcal {E}}{\mathcal {P}}}$ . ^[2]​ ^[4]​ ^[8]​ También forman un anillo y son contables. Es ${\displaystyle {\overline {\mathbb {Q} }}\subset {\mathcal {P}}\subseteq {\mathcal {EP}}\subset \mathbb {C} }$ .

Se sabe que el número e y la constante de Euler-Mascheroni son períodos exponenciales. ^[2]​^[4]​^[9]​

1. ↑ ^{a b c} Weisstein, Eric W. «Algebraic Period». mathworld.wolfram.com (en inglés). Consultado el 21 de septiembre de 2024.  Error en la cita: Etiqueta <ref> no válida; el nombre «:0» está definido varias veces con contenidos diferentes
2. ↑ ^{a b c d e f g} Kontsevich, Maxim; Zagier, Don (2001). «Periods». En Engquist, Björn; Schmid, eds. Mathematics unlimited—2001 and beyond. Berlin, New York City: Springer. pp. 771-808. ISBN 9783540669135.  Error en la cita: Etiqueta <ref> no válida; el nombre «:1» está definido varias veces con contenidos diferentes
3. ↑ Marcolli, Matilde. «Feynman integrals and motives». MISSING LINK.. 
4. ↑ ^{a b c} Lagarias, Jeffrey C. (19 de julio de 2013). «Euler's constant: Euler's work and modern developments». Bulletin of the American Mathematical Society 50 (4): 527-628. ISSN 0273-0979. arXiv:1303.1856. doi:10.1090/S0273-0979-2013-01423-X.  Error en la cita: Etiqueta <ref> no válida; el nombre «:2» está definido varias veces con contenidos diferentes
5. ↑ Tent, Katrin; Ziegler, Martin (2010). «Computable functions of the reals». Münster Journal of Mathematics 3: 43-66. 
6. ↑ Waldschmidt, Michel (2006). «Transcendence of periods: the state of the art». Pure and Applied Mathematics Quarterly 2 (2): 435-463. doi:10.4310/PAMQ.2006.v2.n2.a3. 
7. ↑ Yoshinaga, Masahiko (2008-05-03). «Periods and elementary real numbers» (en en). arXiv:0805.0349  [math.AG]. 
8. ↑ Commelin, Johan; Habegger, Philipp (2022-03-30). «Exponential periods and o-minimality». MISSING LINK.. 
9. ↑ Belkale, Prakash; Brosnan, Patrick (2003). «Periods and Igusa local zeta functions». International Mathematics Research Notices 2003 (49): 2655. doi:10.1155/S107379280313142X. Consultado el 21 de septiembre de 2024.