Forma modular simulada

En matemáticas, una forma modular simulada es la parte holomórfica de una forma de Maass débil armónica, y una función theta simulada es esencialmente una forma modular simulada de peso 1/2. Srinivasa Ramanujan describió los primeros ejemplos de funciones theta simuladas en su última carta de 1920 a G. H. Hardy y en su cuaderno perdido. (Zwegers, 2001) Sander Zwegers descubrió que agregarles ciertas funciones no holomorfas las convierte en formas armónicas débiles de Maass.

Historia

"Supóngase que hay una función en forma euleriana, y supóngase que todos o una infinidad de puntos son singularidades exponenciales, y también supóngase que en estos puntos la forma asintótica se cierra tan claramente como en los casos de (A) y (B). La pregunta es: ¿Se toma la función suma de dos funciones, una de las cuales es una función ordinaria θ y la otra una función (trivial) que es O (1) en todos los puntos e^2mπi/n? ... Cuando no es así, llamo a la función una función θ simulada" —La definición original de Ramanujan de una función theta simulada, de (Ramanujan, 2000, Appendix II)

La carta de Ramanujan del 12 de enero de 1920 a Hardy, reimpresa en (Ramanujan, 2000, Appendix II), enumeraba 17 ejemplos de funciones que llamó funciones simuladas de theta, y su cuaderno perdido (Ramanujan, 1988) contenía varios ejemplos más. (Ramanujan usó el término "función theta" para lo que hoy se llamaría una forma modular). El propio Ramanujan señaló que tienen una serie asintótica en las cúspides, similar a la de las formas modulares de peso 1/2, posiblemente con polos en las cúspides, pero no puede expresarse en términos de una función theta "ordinaria". Llamó a funciones con propiedades similares "simulacros de funciones theta". Más tarde, Zwegers descubrió la conexión de la función theta simulada con las formas de Maass débiles.

Ramanujan asoció un orden a sus funciones theta simuladas, que no estaban claramente definidas. Antes del trabajo de Zwegers, las órdenes de las funciones theta simuladas conocidas incluían

3, 5, 6, 7, 8, 10.

La noción de orden de Ramanujan más tarde resultó corresponder al conductor de la forma modular de peso ¹⁄₂ de las formas armónicas de Maass que admiten las funciones simuladas theta de Ramanujan como sus proyecciones holomorfas.

En las siguientes décadas, Watson, Andrews, Selberg, Hickerson, Choi, McIntosh y otros estudiaron las funciones simuladas theta de Ramanujan. Probaron las declaraciones de Ramanujan sobre ellas y encontraron varios ejemplos e identidades más. La mayoría de las "nuevas" identidades y ejemplos ya eran conocidos por Ramanujan, y reaparecieron en su cuaderno perdido. Watson (1936) descubrió que bajo la acción de elementos del grupo modular, el orden 3 de funciones theta simuladas casi se transforma en formas modulares de peso 1/2 (multiplicado por las potencias adecuadas de q), excepto porque hay "términos de error" en las ecuaciones funcionales, generalmente dados como integrales explícitas. Sin embargo, durante muchos años no hubo una buena definición de una función theta simulada. Esto cambió en 2001, cuando Zwegers descubrió su relación con las formas modulares no holomórficas, sumas de Lerch y series theta indefinidas. Zwegers (2002) demostró, utilizando el trabajo previo de Watson y Andrews, que las funciones theta simuladas de los órdenes 3, 5 y 7 pueden escribirse como la suma de una forma débil de Maass de peso ¹⁄₂ y una función que está limitada en geodésicas que terminan en cúspides. La forma débil de Maass tiene un autovalor 3/16 bajo la laplaciana hiperbólica (el mismo valor que las formas modulares holomorfas de peso ¹⁄₂); pero que sin embargo, aumenta exponencialmente rápido cerca de las cúspides, por lo que no satisface la condición de crecimiento habitual para la forma de onda de Maass. Zwegers demostró este resultado de tres maneras diferentes, relacionando las funciones theta simuladas con las funciones theta de Hecke de retículas indefinidas de dimensión 2, y con las sumas de Appell-Lerch, y con las formas meromórficas de Jacobi.

El resultado fundamental de Zwegers demuestra que las funciones simuladas de theta son las "partes holomórficas" de las formas analíticas modulares reales de peso 1/2. Esto permite ampliar muchos resultados sobre formas modulares de las funciones theta simuladas. En particular, al igual que las formas modulares, las funciones simuladas de theta se encuentran en ciertos espacios explícitos de dimensiones finitas, lo que reduce las pruebas largas y duras de muchas identidades entre ellas al álgebra lineal rutinaria. Por primera vez se hizo posible producir un número infinito de ejemplos de funciones theta simuladas. Antes de este trabajo, solo se conocían unos 50 ejemplos (la mayoría de los cuales fueron encontrados por primera vez por Ramanujan). Como otras aplicaciones de las ideas de Zwegers, Kathrin Bringmann y Ken Ono demostraron que ciertas series q que surgen de la serie hipergeométrica básica de Rogers–Fine están relacionadas con partes holomórficas de la forma armónica de Maas débil de peso 3/2 (Bringmann, Folsom y Ono, 2009) y demostró que la serie asintótica para coeficientes de la función theta simulada de orden 3 f(q) estudiada por (Andrews, 1966) y Dragonette (1952) converge a los coeficientes (Bringmann y Ono, 2006). En particular, las funciones theta simuladas poseen expansiones asintóticas en las cúspides del grupo modular, actuando sobre el semiplano superior, que se parecen a las de forma modular de peso 1/2 con polos en las cúspides.

Definición

Una forma modular simulada se definirá como la "parte holomórfica" de una forma armónica de Maass débil.

Tómese un peso k, generalmente con 2k entero. Elíjase un subgrupo Γ de SL₂(Z) (o del grupo metapléctico si k es semi-entero) y un caracter ρ de Γ. Una forma modular f para este caracter y este grupo Γ se transforma bajo elementos de Γ por

${\displaystyle f\left({\frac {a\tau +b}{c\tau +d}}\right)=\rho {\begin{pmatrix}a&b\\c&d\end{pmatrix}}(c\tau +d)^{k}f(\tau )}$ 

Una forma débil de Maass de peso k es una función continua en el semiplano superior que se transforma como una forma modular de peso 2 & minus; k y es una función propia del operador laplaciano de peso k, y se llama armónico si su valor propio es (1 − k/2)k/2 (Bruinier y Funke, 2004). Este es el valor propio de las formas modulares de peso k holomórficas, por lo que todos estos son ejemplos de formas de Maass armónicas débiles. Una forma de Maass es una forma de Maass débil que disminuye rápidamente en las cúspides.

Entonces, una forma de Maass débil armónica es anulada por el operador diferencial

${\displaystyle {\frac {\partial }{\partial \tau }}y^{k}{\frac {\partial }{\partial {\overline {\tau }}}}}$ 

Si F es cualquier forma de Maass débil armónica, entonces la función g dada por

${\displaystyle g=y^{k}{\frac {\partial {\overline {F}}}{\partial \tau }}=\sum _{n}b_{n}q^{n}}$ 

es holomorfa y se transforma como una forma modular de peso k, aunque puede no ser holomorfa en las cúspides. Si se puede encontrar cualquier otra función g^* con la misma imagen g, entonces F − g^* será holomorfa. Dicha función se da invirtiendo el operador diferencial por integración; por ejemplo se puede definir

${\displaystyle g^{*}(\tau )=\left({\frac {i}{2}}\right)^{k-1}\int _{-{\overline {\tau }}}^{i\infty }(z+\tau )^{-k}{\overline {g(-{\overline {z}})}}\,dz=\sum _{n}n^{k-1}{\overline {b_{n}}}\beta _{k}(4ny)q^{-n+1}}$ 

donde

${\displaystyle \displaystyle \beta _{k}(t)=\int _{t}^{\infty }u^{-k}e^{-\pi u}\,du}$ 

es esencialmente la función gamma incompleta.

La integral converge siempre que g tiene un cero en la cúspide i, y la función gamma incompleta se puede extender por continuación analítica, por lo que esta fórmula se puede utilizar para definir la parte holomórfica g^* de F incluso en el caso de que g sea meromórfica en i∞, aunque esto requiere cierto cuidado si k es 1 o no entero, o si n = 0. El inverso del operador diferencial está lejos de ser único, ya que se puede agregar cualquier función homomórfica a g^* sin afectar a su imagen, y como resultado la función g^* no necesita ser invariante bajo el grupo Γ. La función h = F − g^* se llama parte holomórfica de F.

Una forma modular simulada se define como la parte holomórfica h de alguna forma armónica débil de Maass F. Entonces, existe un isomorfismo desde el espacio de formas modulares simuladas h hacia el subespacio de las formas armónicas débiles de Maass.

La forma modular simulada h es holomorfa pero no del todo modular, mientras que h + g^* es modular pero no del todo holomorfa. El espacio de formas modulares simuladas de peso k contiene el espacio de formas casi modulares ("formas modulares que pueden ser meromórficas en las cúspides") de peso k como un subespacio. El cociente es (antilinealmente) isomorfo al espacio de formas modulares holomorfas de peso 2 − k. La forma modular de peso −(2 − k) g correspondiente a una forma modular simulada h se llama sombra. Es bastante común que diferentes funciones theta simuladas tengan la misma sombra. Por ejemplo, las 10 funciones theta simuladas de orden 5 encontradas por Ramanujan se dividen en dos grupos de 5, donde todas las funciones en cada grupo tienen la misma sombra (considerando la multiplicación por una constante).

Zagier (2007) define una función theta simulada como una potencia racional de q = e^2πiτ multiplicada por una forma modular simulada de peso 1/2 cuya sombra es una serie theta de la forma

${\displaystyle \sum _{n\in Z}\varepsilon (n)nq^{\kappa n^{2}}}$ 

para una κ racional positiva y una función periódica impar ε. Cualquiera de estas series theta es una forma modular de peso 3/2. La potencia racional de q se puede considerar un accidente histórico.

La mayoría de las formas modulares simuladas y las formas débiles de Maass tienen un rápido crecimiento en las cúspides. Es común imponer la condición de que crecen como máximo exponencialmente en las cúspides (lo que para las formas modulares simuladas significa que son "meromórficas" en las cúspides). El espacio de las formas modulares simuladas (de peso y grupo dados) cuyo crecimiento está limitado por alguna función exponencial fija en las cúspides es de dimensión finita.

Suma de Appell-Lerch

Las sumas de Appell-Lerch, una generalización de la Serie de Lambert, fueron estudiadas por primera vez por Plantilla:Harvs y Plantilla:Harvs. Watson estudió las funciones theta simuladas de orden 3 expresándolas en términos de sumas de Appell–Lerch, y Zwegers las utilizó para demostrar que las funciones theta simuladas son esencialmente formas modulares simuladas.

La serie de Appell–Lerch es

${\displaystyle \mu (u,v;\tau )={\frac {a^{\frac {1}{2}}}{\theta (v;\tau )}}\sum _{n\in Z}{\frac {(-b)^{n}q^{{\frac {1}{2}}n(n+1)}}{1-aq^{n}}}}$ 

donde

${\displaystyle \displaystyle q=e^{2\pi i\tau },\quad a=e^{2\pi iu},\quad b=e^{2\pi iv}}$ 

y

${\displaystyle \theta (v,\tau )=\sum _{n\in Z}(-1)^{n}b^{n+{\frac {1}{2}}}q^{{\frac {1}{2}}\left(n+{\frac {1}{2}}\right)^{2}}.}$ 

La serie modificada

${\displaystyle {\hat {\mu }}(u,v;\tau )=\mu (u,v;\tau )-{\frac {1}{2}}R(u-v;\tau )}$ 

donde

${\displaystyle R(z;\tau )=\sum _{\nu \in Z+{\frac {1}{2}}}(-1)^{\nu -{\frac {1}{2}}}\left({\rm {sign}}(\nu )-E\left[\left(\nu +{\frac {\Im (z)}{y}}\right){\sqrt {2y}}\right]\right)e^{-2\pi i\nu z}q^{-{\frac {1}{2}}\nu ^{2}}}$ 

y además y= Im(τ) y también

${\displaystyle E(z)=2\int _{0}^{z}e^{-\pi u^{2}}\,du}$ 

satisface las siguientes propiedades de transformación

${\displaystyle {\begin{aligned}{\hat {\mu }}(u+1,v;\tau )&=a^{-1}bq^{-{\frac {1}{2}}}{\hat {\mu }}(u+\tau ,v;\tau )\\&{}=-{\hat {\mu }}(u,v;\tau )\\e^{{\frac {2}{8}}\pi i}{\hat {\mu }}(u,v;\tau +1)&={\hat {\mu }}(u,v;\tau )\\&{}=-\left({\frac {\tau }{i}}\right)^{-{\frac {1}{2}}}e^{{\frac {\pi i}{\tau }}(u-v)^{2}}{\hat {\mu }}\left({\frac {u}{\tau }},{\frac {v}{\tau }};-{\frac {1}{\tau }}\right).\end{aligned}}}$ 

En otras palabras, la serie modificada de Appell–Lerch se transforma como una forma modular con respecto a τ. Dado que las funciones theta simuladas se pueden expresar en términos de series de Appell–Lerch, esto significa que las funciones theta simuladas se transforman como formas modulares si se les agregan ciertas series no analíticas.

Serie theta indefinida

Andrews (1986) mostró que varias de las funciones theta simuladas de quinto orden de Ramanujan son iguales a los cocientes Θ(τ)/θ(τ), donde θ(τ) es una forma modular de peso 1/2 y Θ(τ) es una función theta de una forma cuadrática binaria indefinida, y Hickerson (1988b) demostró resultados similares para las funciones theta simuladas de séptimo orden. Zwegers a su vez demostró cómo completar las funciones theta indefinidas para producir formas modulares analíticas reales, y usó este procedimiento para dar otra prueba de la relación entre las funciones theta simuladas y las formas de onda de Maass débiles.

Forma meromórfica de Jacobi

Andrews (1988) observó que algunas de las funciones theta simuladas de quinto orden de Ramanujan podrían expresarse en términos de cocientes de las funciones theta de Jacobi. Zwegers usó esta idea para expresar funciones simuladas de theta como coeficientes de Fourier de formas meromórficas de Jacobi.

Aplicaciones

• Lawrence y Zagier (1999) simula funciones relacionadas con theta para invariantes cuánticos de 3 variedades.
• Semikhatov, Taormina y Tipunin (2005) simula funciones relacionadas con theta para el super álgebra de Lie y para la teoría de campo conforme bidimensional de dimensiones infinitas.
• Troost (2010) mostró que las terminaciones modulares de las formas modulares simuladas surgen como géneros elípticos de las teorías de campo conforme con espectro continuo.
• Las funciones theta simuladas aparecen en la teoría de la luz de luna umbral.
• Dabholkar, Murthy y Zagier (2012) demostraron que las formas modulares simuladas están relacionadas con las degeneraciones de agujeros negros cuánticos en la teoría de cuerdas para N = 4.

Ejemplos

• Cualquier forma modular de peso k (posiblemente solo meromórfica en las cúspides) es una forma modular simulada de peso k con sombra 0.
• La serie cuasimodular de Eisenstein

${\displaystyle \displaystyle E_{2}(\tau )=1-24\sum _{n>0}\sigma _{1}(n)q^{n}}$ 

de peso 2 y nivel 1 es una forma modular simulada de peso 2, cuya sombra es una constante. Esto significa que

${\displaystyle \displaystyle E_{2}(\tau )-3/\pi y}$ 

se transforma como una forma modular de peso 2 (donde τ = x + iy).

• La función estudiada por Zagier (1975) (Hirzebruch y Zagier, 1976, 2.2) con coeficientes de Fourier que son números de clase de Hurwitz H(N) de campos cuadráticos imaginarios, es una forma modular simulada de peso 3/2, nivel 4 y sombra ∑q ⁿ². La forma de onda de Maass débil correspondiente es

${\displaystyle F(\tau )=\sum _{N}H(N)q^{n}+y^{-1/2}\sum _{n\in Z}\beta (4\pi n^{2}y)q^{-n^{2}}}$ 

donde

${\displaystyle \beta (x)={\frac {1}{16\pi }}\int _{1}^{\infty }u^{-3/2}e^{-xu}du}$ 

y además y = Im(τ), q = e^2πiτ.

Las funciones theta simuladas son formas modulares simuladas de peso 1/2 cuya sombra es una función theta unitaria, multiplicada por una potencia racional de q (por razones históricas). Antes de que el trabajo de Zwegers condujera a un método general para construirlos, la mayoría de los ejemplos se daban como funciones hipergeométricas básicas, pero esto es en gran medida un accidente histórico, y la mayoría de las funciones theta simuladas no tienen una expresión simple conocida en términos de tales funciones.

Las funciones theta simuladas "triviales" son las formas modulares (holomorfas) de peso 1/2, que fueron clasificadas por Serre y Stark (1977), quien demostró que todas podían escribirse en términos de funciones theta de redes unidimensionales.

Los siguientes ejemplos utilizan los símbolos de q-Pochhammer ${\displaystyle (a;q)_{n}}$  que se definen como:

${\displaystyle (a;q)_{n}=\prod _{0\leq j<n}(1-aq^{j})=(1-a)(1-aq)\cdots (1-aq^{n-1}).}$ 

Orden 2

(McIntosh, 2007) estudió algunas funciones de simulación theta de orden 2.

${\displaystyle A(q)=\sum _{n\geq 0}{\frac {q^{(n+1)^{2}}(-q;q^{2})_{n}}{(q;q^{2})_{n+1}^{2}}}=\sum _{n\geq 0}{\frac {q^{n+1}(-q^{2};q^{2})_{n}}{(q;q^{2})_{n+1}}}}$  (sucesión A006304 en OEIS)

${\displaystyle B(q)=\sum _{n\geq 0}{\frac {q^{n(n+1)}(-q^{2};q^{2})_{n}}{(q;q^{2})_{n+1}^{2}}}=\sum _{n\geq 0}{\frac {q^{n}(-q;q^{2})_{n}}{(q;q^{2})_{n+1}}}}$  (sucesión A153140 en OEIS)

${\displaystyle \mu (q)=\sum _{n\geq 0}{\frac {(-1)^{n}q^{n^{2}}(q;q^{2})_{n}}{(-q^{2};q^{2})_{n}^{2}}}}$  (sucesión A006306 en OEIS)

La función μ fue encontrada por Ramanujan, tal como figura en su cuaderno perdido.

Están relacionadas con las funciones enumeradas en la sección de las funciones orden 8, por

${\displaystyle U_{0}(q)-2U_{1}(q)=\mu (q)}$ 

${\displaystyle V_{0}(q)-V_{0}(-q)=4qB(q^{2})}$ 

${\displaystyle V_{1}(q)+V_{1}(-q)=2A(q^{2})}$ 

Orden 3

Ramanujan mencionó cuatro funciones theta simuladas de orden 3 en su carta a Hardy, y enumeró otras tres en su cuaderno perdido, que fueron redescubiertas por George Neville Watson. Watson (1936) probó las relaciones entre ellas declaradas por Ramanujan y también encontró sus transformaciones bajo elementos del grupo modular al expresarlas como sumas de Appell-Lerch. Dragonette (1952) describió la expansión asintótica de sus coeficientes. Zwegers (2000) los relacionó con formas armónicas débiles de Maass. Véase también (Fine, 1988)

Las siete funciones theta simuladas de orden 3 dadas por Ramanujan son

${\displaystyle f(q)=\sum _{n\geq 0}{q^{n^{2}} \over (-q;q)_{n}^{2}}={2 \over \prod _{n>0}(1-q^{n})}\sum _{n\in \mathbf {Z} }{(-1)^{n}q^{n(3n+1)/2} \over 1+q^{n}}}$ , (sucesión A000025 en OEIS).

${\displaystyle \phi (q)=\sum _{n\geq 0}{q^{n^{2}} \over (-q^{2};q^{2})_{n}}={1 \over \prod _{n>0}(1-q^{n})}\sum _{n\in \mathbf {Z} }{(-1)^{n}(1+q^{n})q^{n(3n+1)/2} \over 1+q^{2n}}}$  (sucesión A053250 en OEIS).

${\displaystyle \psi (q)=\sum _{n>0}{q^{n^{2}} \over (q;q^{2})_{n}}={q \over \prod _{n>0}(1-q^{4n})}\sum _{n\in \mathbf {Z} }{(-1)^{n}q^{6n(n+1)} \over 1-q^{4n+1}}}$  (sucesión A053251 en OEIS).

${\displaystyle \chi (q)=\sum _{n\geq 0}{q^{n^{2}} \over \prod _{1\leq i\leq n}(1-q^{i}+q^{2i})}={1 \over 2\prod _{n>0}(1-q^{n})}\sum _{n\in \mathbf {Z} }{(-1)^{n}(1+q^{n})q^{n(3n+1)/2} \over 1-q^{n}+q^{2n}}}$  (sucesión A053252 en OEIS).

${\displaystyle \omega (q)=\sum _{n\geq 0}{q^{2n(n+1)} \over (q;q^{2})_{n+1}^{2}}={1 \over \prod _{n>0}(1-q^{2n})}\sum _{n\geq 0}{(-1)^{n}q^{3n(n+1)}{1+q^{2n+1} \over 1-q^{2n+1}}}}$  (sucesión A053253 en OEIS).

${\displaystyle \nu (q)=\sum _{n\geq 0}{q^{n(n+1)} \over (-q;q^{2})_{n+1}}={1 \over \prod _{n>0}(1-q^{n})}\sum _{n\geq 0}{(-1)^{n}q^{3n(n+1)/2}{1-q^{2n+1} \over 1+q^{2n+1}}}}$  (sucesión A053254 en OEIS).

${\displaystyle \rho (q)=\sum _{n\geq 0}{q^{2n(n+1)} \over \prod _{0\leq i\leq n}(1+q^{2i+1}+q^{4i+2})}={1 \over \prod _{n>0}(1-q^{2n})}\sum _{n\geq 0}{(-1)^{n}q^{3n(n+1)}{1-q^{4n+2} \over 1+q^{2n+1}+q^{4n+2}}}}$  (sucesión A053255 en OEIS).

Las primeras cuatro forman un grupo con la misma sombra (dependiente de una constante), y también las tres últimas. Más precisamente, las funciones satisfacen las siguientes relaciones (encontradas por Ramanujan y probadas por Watson):

${\displaystyle {\begin{aligned}2\phi (-q)-f(q)&=f(q)+4\psi (-q)=\theta _{4}(0,q)\prod _{r>0}\left(1+q^{r}\right)^{-1}\\4\chi (q)-f(q)&=3\theta _{4}^{2}(0,q^{3})\prod _{r>0}\left(1-q^{r}\right)^{-1}\\2\rho (q)+\omega (q)&=3\left({\frac {1}{2}}q^{-{\frac {3}{8}}}\theta _{2}(0,q^{\frac {3}{2}})\right)^{2}\prod _{r>0}\left(1-q^{2r}\right)^{-1}\\\nu (\pm q)\pm q\omega \left(q^{2}\right)&={\frac {1}{2}}q^{-{\frac {1}{4}}}\theta _{2}(0,q)\prod _{r>0}\left(1+q^{2r}\right)\\f\left(q^{8}\right)\pm 2q\omega (\pm q)\pm 2q^{3}\omega \left(-q^{4}\right)&=\theta _{3}(0,\pm q)\theta _{3}^{2}\left(0,q^{2}\right)\prod _{r>0}\left(1-q^{4r}\right)^{-2}\\f(q^{8})+q\omega (q)-q\omega (-q)&=\theta _{3}(0,q^{4})\theta _{3}^{2}(0,q^{2})\prod _{r>0}\left(1-q^{4r}\right)^{-2}\end{aligned}}}$ 

Orden 5

Ramanujan escribió diez funciones theta simuladas de orden 5 en su carta de 1920 a Hardy, y declaró algunas relaciones entre ellas que fueron probadas por Watson (1937). En su cuaderno perdido, declaró algunas identidades adicionales relacionadas con estas funciones, equivalentes a las "conjeturas theta simuladas" (Andrews y Garvan, 1989), que fueron probadas por Hickerson (1988). Andrews (1986) encontró representaciones de muchas de estas funciones como el cociente de una serie theta indefinida respecto a formas modulares de peso 1/2.

${\displaystyle f_{0}(q)=\sum _{n\geq 0}{q^{n^{2}} \over (-q;q)_{n}}}$  (sucesión A053256 en OEIS)

${\displaystyle f_{1}(q)=\sum _{n\geq 0}{q^{n^{2}+n} \over (-q;q)_{n}}}$  (sucesión A053257 en OEIS)

${\displaystyle \phi _{0}(q)=\sum _{n\geq 0}{q^{n^{2}}(-q;q^{2})_{n}}}$  (sucesión A053258 en OEIS)

${\displaystyle \phi _{1}(q)=\sum _{n\geq 0}{q^{(n+1)^{2}}(-q;q^{2})_{n}}}$  (sucesión A053259 en OEIS)

${\displaystyle \psi _{0}(q)=\sum _{n\geq 0}{q^{(n+1)(n+2)/2}(-q;q)_{n}}}$  (sucesión A053260 en OEIS)

${\displaystyle \psi _{1}(q)=\sum _{n\geq 0}{q^{n(n+1)/2}(-q;q)_{n}}}$  (sucesión A053261 en OEIS)

${\displaystyle \chi _{0}(q)=\sum _{n\geq 0}{q^{n} \over (q^{n+1};q)_{n}}=2F_{0}(q)-\phi _{0}(-q)}$  (sucesión A053262 en OEIS)

${\displaystyle \chi _{1}(q)=\sum _{n\geq 0}{q^{n} \over (q^{n+1};q)_{n+1}}=2F_{1}(q)+q^{-1}\phi _{1}(-q)}$  (sucesión A053263 en OEIS)

${\displaystyle F_{0}(q)=\sum _{n\geq 0}{q^{2n^{2}} \over (q;q^{2})_{n}}}$  (sucesión A053264 en OEIS)

${\displaystyle F_{1}(q)=\sum _{n\geq 0}{q^{2n^{2}+2n} \over (q;q^{2})_{n+1}}}$  (sucesión A053265 en OEIS)

${\displaystyle \Psi _{0}(q)=-1+\sum _{n\geq 0}{q^{5n^{2}} \over (1-q)(1-q^{4})(1-q^{6})(1-q^{9})...(1-q^{5n+1})}}$  (sucesión A053266 en OEIS)

${\displaystyle \Psi _{1}(q)=-1+\sum _{n\geq 0}{q^{5n^{2}} \over (1-q^{2})(1-q^{3})(1-q^{7})(1-q^{8})...(1-q^{5n+2})}}$  (sucesión A053267 en OEIS)

Orden 6

Ramanujan (1988) escribió siete funciones theta simuladas de orden 6 en su cuaderno perdido, y declaró 11 identidades entre ellas, que se probaron en (Andrews y Hickerson, 1991). Dos de las identidades de Ramanujan se relacionan con φ y ψ en varios argumentos, cuatro de ellas expresan φ y ψ en términos de la serie Appell-Lerch, y las últimas cinco identidades expresan las cinco funciones theta simuladas de sexto orden restantes en términos de φ y ψ. Berndt y Chan (2007) descubrió dos funciones más de sexto orden. Las funciones de theta simuladas de orden 6 son:

${\displaystyle \phi (q)=\sum _{n\geq 0}{(-1)^{n}q^{n^{2}}(q;q^{2})_{n} \over (-q;q)_{2n}}}$  (sucesión A053268 en OEIS)

${\displaystyle \psi (q)=\sum _{n\geq 0}{(-1)^{n}q^{(n+1)^{2}}(q;q^{2})_{n} \over (-q;q)_{2n+1}}}$  (sucesión A053269 en OEIS)

${\displaystyle \rho (q)=\sum _{n\geq 0}{q^{n(n+1)/2}(-q;q)_{n} \over (q;q^{2})_{n+1}}}$  (sucesión A053270 en OEIS)

${\displaystyle \sigma (q)=\sum _{n\geq 0}{q^{(n+1)(n+2)/2}(-q;q)_{n} \over (q;q^{2})_{n+1}}}$  (sucesión A053271 en OEIS)

${\displaystyle \lambda (q)=\sum _{n\geq 0}{(-1)^{n}q^{n}(q;q^{2})_{n} \over (-q;q)_{n}}}$  (sucesión A053272 en OEIS)

${\displaystyle 2\mu (q)=\sum _{n\geq 0}{(-1)^{n}q^{n+1}(1+q^{n})(q;q^{2})_{n} \over (-q;q)_{n+1}}}$  (sucesión A053273 en OEIS)

${\displaystyle \gamma (q)=\sum _{n\geq 0}{q^{n^{2}}(q;q)_{n} \over (q^{3};q^{3})_{n}}}$  (sucesión A053274 en OEIS)

${\displaystyle \phi _{-}(q)=\sum _{n\geq 1}{q^{n}(-q;q)_{2n-1} \over (q;q^{2})_{n}}}$  (sucesión A153251 en OEIS)

${\displaystyle \psi _{-}(q)=\sum _{n\geq 1}{q^{n}(-q;q)_{2n-2} \over (q;q^{2})_{n}}}$  (sucesión A153252 en OEIS)

Orden 7

Ramanujan dio tres funciones theta simuladas de orden 7 en su carta de 1920 a Hardy. Fueron estudiados por Selberg (1938), quien encontró una expansión asintótica para sus coeficientes, y (Andrews, 1986). Hickerson (1988) encontró representaciones de muchas de estas funciones como cocientes de series theta indefinidas mediante formas modulares de peso 1/2. Plantilla:Harvs describió sus propiedades de transformación modular.

• ${\displaystyle \displaystyle F_{0}(q)=\sum _{n\geq 0}{q^{n^{2}} \over (q^{n+1};q)_{n}}}$  (sucesión A053275 en OEIS)
• ${\displaystyle \displaystyle F_{1}(q)=\sum _{n\geq 0}{q^{n^{2}} \over (q^{n};q)_{n}}}$  (sucesión A053276 en OEIS)
• ${\displaystyle \displaystyle F_{2}(q)=\sum _{n\geq 0}{q^{n(n+1)} \over (q^{n+1};q)_{n+1}}}$  (sucesión A053277 en OEIS)

Estas tres funciones theta simuladas tienen sombras diferentes, por lo que a diferencia del caso de las funciones de orden 3 y orden 5 de Ramanujan, no hay relaciones lineales entre ellas y las formas modulares ordinarias. Las formas de Maass débiles correspondientes son

${\displaystyle {\begin{aligned}M_{1}(\tau )&=q^{-1/168}F_{1}(q)+R_{7,1}(\tau )\\[4pt]M_{2}(\tau )&=-q^{-25/168}F_{2}(q)+R_{7,2}(\tau )\\[4pt]M_{3}(\tau )&=q^{47/168}F_{3}(q)+R_{7,3}(\tau )\end{aligned}}}$ 

donde

${\displaystyle R_{p,j}(\tau )=\!\!\!\!\sum _{n\equiv j{\bmod {p}}}{12 \choose n}\operatorname {sgn}(n)\beta (n^{2}y/6p)q^{-n^{2}/24p}}$ 

y

${\displaystyle \beta (x)=\int _{x}^{\infty }u^{-1/2}e^{-\pi u}\,du}$ 

es más o menos la función de error complementaria.

Bajo el grupo metapléctico, estas tres funciones se transforman de acuerdo con una representación tridimensional determinada del grupo metapléctico de la siguiente manera

${\displaystyle {\begin{aligned}M_{j}(-1/\tau )&={\sqrt {\tau /7i}}\,\sum _{k=1}^{3}2\sin(6\pi jk/7)M_{k}(\tau )\\[6pt]M_{1}(\tau +1)&=e^{-2\pi i/168}M_{1}(\tau ),\\[6pt]M_{2}(\tau +1)&=e^{-2\times 25\pi i/168}M_{2}(\tau ),\\[6pt]M_{3}(\tau +1)&=e^{-2\times 121\pi i/168}M_{3}(\tau ).\end{aligned}}}$ 

En otras palabras, son los componentes de una forma de peso débil de Maass armónica de valor vectorial 1/2.

Orden 8

Gordon y McIntosh (2000) encontró ocho funciones theta simuladas de orden 8. Halló cinco relaciones lineales que las involucraban, y expresó cuatro de las funciones como sumas de Appell-Lerch, y describió sus transformaciones bajo el grupo modular. Las dos funciones V₁ y U₀ habían sido encontradas anteriormente por Ramanujan (1988, p. 8, eqn 1; p. 29 eqn 6) en su cuaderno perdido.

${\displaystyle S_{0}(q)=\sum _{n\geq 0}{q^{n^{2}}(-q;q^{2})_{n} \over (-q^{2};q^{2})_{n}}}$  (sucesión A153148 en OEIS)

${\displaystyle S_{1}(q)=\sum _{n\geq 0}{q^{n(n+2)}(-q;q^{2})_{n} \over (-q^{2};q^{2})_{n}}}$  (sucesión A153149 en OEIS)

${\displaystyle T_{0}(q)=\sum _{n\geq 0}{q^{(n+1)(n+2)}(-q^{2};q^{2})_{n} \over (-q;q^{2})_{n+1}}}$  (sucesión A153155 en OEIS)

${\displaystyle T_{1}(q)=\sum _{n\geq 0}{q^{n(n+1)}(-q^{2};q^{2})_{n} \over (-q;q^{2})_{n+1}}}$  (sucesión A153156 en OEIS)

${\displaystyle U_{0}(q)=\sum _{n\geq 0}{q^{n^{2}}(-q;q^{2})_{n} \over (-q^{4};q^{4})_{n}}}$  (sucesión A153172 en OEIS)

${\displaystyle U_{1}(q)=\sum _{n\geq 0}{q^{(n+1)^{2}}(-q;q^{2})_{n} \over (-q^{2};q^{4})_{n+1}}}$  (sucesión A153174 en OEIS)

${\displaystyle V_{0}(q)=-1+2\sum _{n\geq 0}{q^{n^{2}}(-q;q^{2})_{n} \over (q;q^{2})_{n}}=-1+2\sum _{n\geq 0}{q^{2n^{2}}(-q^{2};q^{4})_{n} \over (q;q^{2})_{2n+1}}}$  (sucesión A153176 en OEIS)

${\displaystyle V_{1}(q)=\sum _{n\geq 0}{q^{(n+1)^{2}}(-q;q^{2})_{n} \over (q;q^{2})_{n+1}}=\sum _{n\geq 0}{q^{2n^{2}+2n+1}(-q^{4};q^{4})_{n} \over (q;q^{2})_{2n+2}}}$  (sucesión A153178 en OEIS)

Orden 10

Ramanujan (1988, p. 9) enumeró cuatro funciones theta simuladas de orden 10 en su cuaderno perdido, y estableció algunas relaciones entre ellas, que fueron probadas por Plantilla:Harvs.

• ${\displaystyle \phi (q)=\sum _{n\geq 0}{q^{n(n+1)/2} \over (q;q^{2})_{n+1}}}$  (sucesión A053281 en OEIS)
• ${\displaystyle \psi (q)=\sum _{n\geq 0}{q^{(n+1)(n+2)/2} \over (q;q^{2})_{n+1}}}$  (sucesión A053282 en OEIS)
• ${\displaystyle \mathrm {X} (q)=\sum _{n\geq 0}{(-1)^{n}q^{n^{2}} \over (-q;q)_{2n}}}$  (sucesión A053283 en OEIS)
• ${\displaystyle \chi (q)=\sum _{n\geq 0}{(-1)^{n}q^{(n+1)^{2}} \over (-q;q)_{2n+1}}}$  (sucesión A053284 en OEIS)

Referencias

• Andrews, George E. (1966), «On the theorems of Watson and Dragonette for Ramanujan's mock theta functions», American Journal of Mathematics 88 (2): 454-490, ISSN 0002-9327, JSTOR 2373202, MR 0200258, doi:10.2307/2373202 .
• Andrews, George E. (1986), «The fifth and seventh order mock theta functions», Transactions of the American Mathematical Society 293 (1): 113-134, ISSN 0002-9947, JSTOR 2000275, MR 814916, doi:10.2307/2000275 .
• Andrews, George E. (1989), «Mock theta functions», Theta functions—Bowdoin 1987, Part 2 (Brunswick, ME, 1987), Proc. Sympos. Pure Math. 49, Providence, R.I.: American Mathematical Society, pp. 283-298, MR 1013178 .
• Andrews, George E. (1988), «Ramanujan's fifth order mock theta functions as constant terms», Ramanujan revisited (Urbana-Champaign, Ill., 1987), Boston, MA: Academic Press, pp. 47-56, MR 938959 .
• Andrews, George E.; Garvan, F. G. (1989), «Ramanujan's lost notebook. VI. The mock theta conjectures», Advances in Mathematics 73 (2): 242-255, ISSN 0001-8708, MR 987276, doi:10.1016/0001-8708(89)90070-4 .
• Andrews, George E.; Hickerson, Dean (1991), «Ramanujan's lost notebook. VII. The sixth order mock theta functions», Advances in Mathematics 89 (1): 60-105, ISSN 0001-8708, MR 1123099, doi:10.1016/0001-8708(91)90083-J .
• Appell, P. (1884), «Sur les fonctions doublement périodiques de troisième espèce», Annales Scientifiques de l'École Normale Supérieure 1: 135-164, doi:10.24033/asens.236 .
• Berndt, Bruce C.; Chan, Song Heng (2007), «Sixth order mock theta functions», Advances in Mathematics 216 (2): 771-786, ISSN 0001-8708, MR 2351377, doi:10.1016/j.aim.2007.06.004 .
• Bringmann, Kathrin; Ono, Ken (2007), , Proceedings of the National Academy of Sciences of the United States of America 104 (10): 3725-3731, Bibcode:2007PNAS..104.3725B, ISSN 0027-8424, MR 2301875, PMC 1820651, PMID 17360420, doi:10.1073/pnas.0611414104, archivado desde el original el 28 de agosto de 2008, consultado el 27 de febrero de 2007 .
• Bringmann, Kathrin; Ono, Ken (2006), , Inventiones Mathematicae 165 (2): 243-266, Bibcode:2006InMat.165..243B, ISSN 0020-9910, MR 2231957, doi:10.1007/s00222-005-0493-5, archivado desde el original el 29 de agosto de 2006, consultado el 9 de marzo de 2007 .
• Bringmann, Kathrin; Ono, Ken (2010), , Annals of Mathematics 171: 419, doi:10.4007/annals.2010.171.419, archivado desde el original el 29 de agosto de 2006, consultado el 9 de marzo de 2007 .
• Bruinier, Jan Hendrik; Funke, Jens (2004), «On two geometric theta lifts», Duke Mathematical Journal 125 (1): 45-90, ISSN 0012-7094, MR 2097357, arXiv:math/0212286, doi:10.1215/S0012-7094-04-12513-8 .
• Choi, Youn-Seo (1999), «Tenth order mock theta functions in Ramanujan's lost notebook», Inventiones Mathematicae 136 (3): 497-569, Bibcode:1999InMat.136..497C, ISSN 0020-9910, MR 1695205, doi:10.1007/s002220050318 .
• Choi, Youn-Seo (2000), «Tenth order mock theta functions in Ramanujan's lost notebook. II», Advances in Mathematics 156 (2): 180-285, ISSN 0001-8708, MR 1808245, doi:10.1006/aima.2000.1948 .
• Choi, Youn-Seo (2002), «Tenth order mock theta functions in Ramanujan's lost notebook. IV», Transactions of the American Mathematical Society 354 (2): 705-733, ISSN 0002-9947, JSTOR 2693766, MR 1862564, doi:10.1090/S0002-9947-01-02861-6 .
• Choi, Youn-Seo (2007), «Tenth order mock theta functions in Ramanujan's lost notebook. III», Proceedings of the London Mathematical Society 94 (1): 26-52, ISSN 0024-6115, MR 2293464, doi:10.1112/plms/pdl006 .
• Dabholkar, Atish; Murthy, Sameer; Zagier, Don (2012). «Quantum Black Holes, Wall Crossing, and Mock Modular Forms». arXiv:1208.4074

 [hep-th]. 

• Dragonette, Leila A. (1952), «Some asymptotic formulae for the mock theta series of Ramanujan», Transactions of the American Mathematical Society (Transactions of the American Mathematical Society, Vol. 72, No. 3) 72 (3): 474-500, ISSN 0002-9947, JSTOR 1990714, MR 0049927, doi:10.2307/1990714 .
• Fine, Nathan J. (1988), Basic hypergeometric series and applications, Mathematical Surveys and Monographs 27, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-1524-3, MR 956465 .
• Garthwaite, Sharon Anne (2008), «The coefficients of the ω(q) mock theta function», International Journal of Number Theory 4 (6): 1027-1042, ISSN 1793-0421, MR 2483310, doi:10.1142/S1793042108001869 .
• Gordon, Basil; McIntosh, Richard J. (2000), «Some eighth order mock theta functions», Journal of the London Mathematical Society 62 (2): 321-335, ISSN 0024-6107, MR 1783627, doi:10.1112/S0024610700008735 .
• Hickerson, Dean (1988), «A proof of the mock theta conjectures», Inventiones Mathematicae 94 (3): 639-660, Bibcode:1988InMat..94..639H, ISSN 0020-9910, MR 969247, doi:10.1007/BF01394279 .
• Hickerson, Dean (1988), «On the seventh order mock theta functions», Inventiones Mathematicae 94 (3): 661-677, Bibcode:1988InMat..94..661H, ISSN 0020-9910, MR 969247, doi:10.1007/BF01394280 .
• Hirzebruch, Friedrich; Zagier, Don (1976), «Intersection numbers of curves on Hilbert modular surfaces and modular forms of Nebentypus», Inventiones Mathematicae 36: 57-113, Bibcode:1976InMat..36...57H, ISSN 0020-9910, MR 0453649, doi:10.1007/BF01390005, «hdl 21.11116/0000-0004-399B-E» .
• Lawrence, Ruth; Zagier, Don (1999), , The Asian Journal of Mathematics 3 (1): 93-107, ISSN 1093-6106, MR 1701924, doi:10.4310/AJM.1999.v3.n1.a5, archivado desde el original el 8 de agosto de 2008, consultado el 1 de julio de 2020 .
• Lerch, M. (1892), «Bemerkungen zur Theorie der elliptischen Funktionen», Jahrbuch uber die Fortschritte der Mathematik 24: 442-445 .
• McIntosh, Richard J. (2007), «Second order mock theta functions», Canadian Mathematical Bulletin 50 (2): 284-290, ISSN 0008-4395, MR 2317449, doi:10.4153/CMB-2007-028-9, archivado desde el original el 9 de diciembre de 2012, consultado el 1 de julio de 2020 .
• Ramanujan, Srinivasa (1988), The lost notebook and other unpublished papers, Berlin, New York: Springer Science+Business Media, ISBN 978-3-540-18726-4, MR 947735 .
• Ramanujan, Srinivasa (2000), «Collected papers of Srinivasa Ramanujan», Nature (Providence, R.I.: AMS Chelsea Publishing) 123 (3104): 631, Bibcode:1929Natur.123..631L, ISBN 978-0-8218-2076-6, MR 2280843, doi:10.1038/123631a0 .
• Selberg, A. (1938), «Über die Mock-Thetafunktionen siebenter Ordnung. (On the mock theta functions of seventh order)», Archiv for Mathematik og Naturvidenskab 41: 3-15 . Reimpreso en el volumen I de sus obras recopiladas.
• Semikhatov, A. M.; Taormina, A.; Tipunin, I. Yu. (2005), «Higher-level Appell functions, modular transformations, and characters», Communications in Mathematical Physics 255 (2): 469-512, Bibcode:2005CMaPh.255..469S, ISSN 0010-3616, MR 2129953, arXiv:math/0311314, doi:10.1007/s00220-004-1280-7 .
• Troost, J. (2010), «The Non-Compact Elliptic Genus : Mock or Modular», Journal of High Energy Physics 2010 (6): 104, Bibcode:2010JHEP...06..104T, arXiv:1004.3649, doi:10.1007/JHEP06(2010)104 .
• Serre, Jean-Pierre; Stark, H. M. (1977), «Modular forms of weight 1/2», Modular functions of one variable, VI (Proc. Second Internat. Conf., Univ. Bonn, Bonn, 1976), Lecture Notes in Mathematics 627, Berlin, New York: Springer Science+Business Media, pp. 27-67, ISBN 978-3-540-08530-0, MR 0472707, doi:10.1007/BFb0065296 .
• Watson, G. N. (1936), «The Final Problem : An Account of the Mock Theta Functions», Journal of the London Mathematical Society 11: 55-80, doi:10.1112/jlms/s1-11.1.55 .
• Watson, G. N. (1937), «The Mock Theta Functions (2)», Proceedings of the London Mathematical Society, s2-42: 274-304, doi:10.1112/plms/s2-42.1.274 .
• Zagier, Don (1975), «Nombres de classes et formes modulaires de poids 3/2», Comptes Rendus de l'Académie des Sciences, Série A et B 281 (21): Ai, A883-A886, ISSN 0151-0509, MR 0429750 .
• Zagier, Don (2009) [2007], «Ramanujan's mock theta functions and their applications (after Zwegers and Ono-Bringmann)», Séminaire Bourbaki. Exp. 986, Astérisque 326: 143-164, ISSN 0303-1179, MR 2605321 .
• Zwegers, S. P. (2002), Mock Theta Functions, Utrecht PhD thesis, ISBN 90-393-3155-3 .
• Zwegers, S. P. (2001), «Mock θ-functions and real analytic modular forms», q-series with applications to combinatorics, number theory, and physics (Urbana, IL, 2000), Contemp. Math. 291, Providence, R.I.: American Mathematical Society, pp. 269-277, ISBN 978-0-8218-2746-8, MR 1874536 . (Enlace roto: febrero de 2018)
• Zwegers, S. P. (2008), Appell–Lerch sums as mock modular forms . (enlace roto disponible en Internet Archive; véase el historial, la primera versión y la última). (Enlace roto: febrero de 2018)

Lecturas adicionales

• Ono, Ken (2008), «Mock theta functions, ranks and Maass forms», en Alladi, Krishnaswami, ed., Surveys in Number Theory, Developments in Mathematics 17, Springer Science+Business Media, pp. 119-141, ISBN 978-0-387-78509-7, Zbl 1183.11064 .

Enlaces externos

• por George Andrews
• Documentos sobre simulacros de funciones theta por Kathrin Bringmann
• por Ken Ono
• por Sander Zwegers
• Weisstein, Eric W. «Mock Theta Function». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 

•   Datos: Q3754575