Una función matemática de Srinivasa Ramanujan
En teoría de números , la suma de Ramanujan , generalmente denotada c q ( n ), es una función de dos variables enteras positivas q y n definidas por la fórmula
![{\displaystyle c_{q}(n)=\sum _{1\leq a\leq q \atop (a,q)=1}e^{2\pi i{\tfrac {a}{q}}n },}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde ( a , q ) = 1 significa que a solo toma valores coprimos a q .
Srinivasa Ramanujan mencionó las sumas en un artículo de 1918. [1] Además de las expansiones analizadas en este artículo, las sumas de Ramanujan se utilizan en la prueba del teorema de Vinogradov de que todo número impar suficientemente grande es la suma de tres primos . [2]
Notación
Para los números enteros a y b , se lee " a divide a b " y significa que hay un número entero c tal que De manera similar, se lee " a no divide a b ". El símbolo de suma![{\displaystyle a\mid b}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\frac {b}{a}}=c.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle a\nmid b}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _ {d\,\mid \,m}f(d)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
significa que d pasa por todos los divisores positivos de m , por ejemplo
![{\displaystyle \sum _{d\,\mid \,12}f(d)=f(1)+f(2)+f(3)+f(4)+f(6)+f(12) .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es el máximo común divisor ,
es la función totiente de Euler ,
es la función de Möbius , y
es la función zeta de Riemann .
Fórmulas para c q ( n )
Trigonometría
Estas fórmulas provienen de la definición, la fórmula de Euler y las identidades trigonométricas elementales.![{\displaystyle e^{ix}=\cos x+i\sin x,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{aligned}c_{1}(n)&=1\\c_{2}(n)&=\cos n\pi \\c_{3}(n)&=2\cos { \tfrac {2}{3}}n\pi \\c_{4}(n)&=2\cos {\tfrac {1}{2}}n\pi \\c_{5}(n)&= 2\cos {\tfrac {2}{5}}n\pi +2\cos {\tfrac {4}{5}}n\pi \\c_{6}(n)&=2\cos {\tfrac {1}{3}}n\pi \\c_{7}(n)&=2\cos {\tfrac {2}{7}}n\pi +2\cos {\tfrac {4}{7} }n\pi +2\cos {\tfrac {6}{7}}n\pi \\c_{8}(n)&=2\cos {\tfrac {1}{4}}n\pi +2 \cos {\tfrac {3}{4}}n\pi \\c_{9}(n)&=2\cos {\tfrac {2}{9}}n\pi +2\cos {\tfrac { 4}{9}}n\pi +2\cos {\tfrac {8}{9}}n\pi \\c_{10}(n)&=2\cos {\tfrac {1}{5}} n\pi +2\cos {\tfrac {3}{5}}n\pi \\\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y así sucesivamente ( OEIS : A000012 , OEIS : A033999 , OEIS : A099837 , OEIS : A176742 ,.., OEIS : A100051 ,...). c q ( n ) es siempre un número entero.
Kluyver
Sea entonces ζ q es una raíz de la ecuación x q − 1 = 0 . Cada uno de sus poderes,![{\displaystyle \zeta _{q}=e^{\frac {2\pi i}{q}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \zeta _ {q},\zeta _ {q}^{2},\ldots ,\zeta _ {q}^{q-1},\zeta _ {q}^{q}=\zeta {q}^{0}=1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
también es una raíz. Por lo tanto, como hay q de ellas, todas son raíces. Los números donde 1 ≤ n ≤ q se llaman q -ésimas raíces de la unidad . ζ q se llama raíz q -ésima primitiva de la unidad porque el valor más pequeño de n que forma es q . Las otras q -ésimas raíces primitivas de la unidad son los números donde ( a , q ) = 1. Por lo tanto, hay φ ( q ) primitivas q -ésimas raíces de la unidad.
![{\displaystyle \zeta _{q}^{n}=1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \zeta _ {q}^{a}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Por lo tanto, la suma de Ramanujan c q ( n ) es la suma de las n -ésimas potencias de las q -ésimas raíces primitivas de la unidad.
Es un hecho [3] que las potencias de ζ q son precisamente las raíces primitivas de todos los divisores de q .
Ejemplo. Sea q = 12. Entonces
y son las duodécimas raíces primitivas de la unidad,![{\displaystyle \zeta _{12}^{11}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y son las sextas raíces primitivas de la unidad,![{\displaystyle \zeta _{12}^{10}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y son las cuartas raíces primitivas de la unidad,![{\displaystyle \zeta _{12}^{9}=-i}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y son las terceras raíces primitivas de la unidad,![{\displaystyle \zeta _{12}^{8}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es la segunda raíz primitiva de la unidad, y
es la primera raíz primitiva de la unidad.
Por lo tanto, si
![{\displaystyle \eta _{q}(n)=\sum _{k=1}^{q}\zeta _{q}^{kn}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es la suma de las n -ésimas potencias de todas las raíces, primitivas e imprimitivas,
![{\displaystyle \eta _{q}(n)=\sum _{d\mid q}c_{d}(n),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y por inversión de Möbius ,
![{\displaystyle c_{q}(n)=\sum _ {d\mid q}\mu \left({\frac {q}{d}}\right)\eta _ {d}(n).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
De la identidad x q − 1 = ( x − 1)( x q −1 + x q −2 + ... + x + 1) se deduce que
![{\displaystyle \eta _{q}(n)={\begin{cases}0&q\nmid n\\q&q\mid n\\\end{cases}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y esto lleva a la fórmula
![{\displaystyle c_{q}(n)=\sum _ {d\mid (q,n)}\mu \left({\frac {q}{d}}\right)d,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
publicado por Kluyver en 1906. [4]
Esto muestra que c q ( n ) es siempre un número entero. Compáralo con la fórmula.
![{\displaystyle \phi (q)=\sum _{d\mid q}\mu \left({\frac {q}{d}}\right)d.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
von Sterneck
Se muestra fácilmente a partir de la definición que c q ( n ) es multiplicativo cuando se considera como una función de q para un valor fijo de n : [5] es decir
![{\displaystyle {\mbox{Si }}\;(q,r)=1\;{\mbox{ entonces }}\;c_{q}(n)c_{r}(n)=c_{qr}( norte).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
A partir de la definición (o fórmula de Kluyver) es sencillo demostrar que, si p es un número primo,
![{\displaystyle c_{p}(n)={\begin{casos}-1&{\mbox{ if }}p\nmid n\\\phi (p)&{\mbox{ if }}p\mid n\ \\end{casos}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y si p k es una potencia prima donde k > 1,
![{\displaystyle c_{p^{k}}(n)={\begin{cases}0&{\mbox{ if }}p^{k-1}\nmid n\\-p^{k-1}& {\mbox{ si }}p^{k-1}\mid n{\mbox{ y }}p^{k}\nmid n\\\phi (p^{k})&{\mbox{ si } }p^{k}\mid n\\\end{casos}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Este resultado y la propiedad multiplicativa se pueden utilizar para demostrar
![{\displaystyle c_{q}(n)=\mu \left({\frac {q}{(q,n)}}\right){\frac {\phi (q)}{\phi \left({ \frac {q}{(q,n)}}\right)}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Esto se llama función aritmética de von Sterneck. [6] La equivalencia entre éste y la suma de Ramanujan se debe a Hölder. [7] [8]
Otras propiedades de c q ( n )
Para todos los números enteros positivos q ,
![{\displaystyle {\begin{aligned}c_{1}(q)&=1\\c_{q}(1)&=\mu (q)\\c_{q}(q)&=\phi (q )\\c_{q}(m)&=c_{q}(n)&&{\text{para }}m\equiv n{\pmod {q}}\\\end{alineado}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Para un valor fijo de q, el valor absoluto de la secuencia está limitado por φ ( q ), y para un valor fijo de n, el valor absoluto de la secuencia está limitado por n .![{\displaystyle \{c_{q}(1),c_{q}(2),\ldots \}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{c_{1}(n),c_{2}(n),\ldots \}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si q > 1
![{\displaystyle \sum _{n=a}^{a+q-1}c_{q}(n)=0.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Sea m 1 , m 2 > 0, m = lcm( m 1 , m 2 ). Entonces [9] las sumas de Ramanujan satisfacen una propiedad de ortogonalidad :
![{\displaystyle {\frac {1}{m}}\sum _{k=1}^{m}c_{m_{1}}(k)c_{m_{2}}(k)={\begin{ casos}\phi (m)&m_{1}=m_{2}=m,\\0&{\text{de lo contrario}}\end{casos}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Sea n , k > 0. Entonces [10]
![{\displaystyle \sum _{\stackrel {d\mid n}{\gcd(d,k)=1}}d\;{\frac {\mu ({\tfrac {n}{d}})}{ \phi (d)}}={\frac {\mu (n)c_{n}(k)}{\phi (n)}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
conocida como la identidad Brauer - Rademacher .
Si n > 0 y a es cualquier número entero, también tenemos [11]
![{\displaystyle \sum _{\stackrel {1\leq k\leq n}{\gcd(k,n)=1}}c_{n}(ka)=\mu (n)c_{n}(a) ,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
debido a Cohen.
Mesa
Expansiones de Ramanujan
Si f ( n ) es una función aritmética (es decir, una función de valores complejos de números enteros o naturales), entonces una serie infinita convergente de la forma:
![{\displaystyle f(n)=\sum _ {q=1}^{\infty }a_ {q}c_ {q} (n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
o de la forma:
![{\displaystyle f(q)=\sum _{n=1}^{\infty }a_{n}c_{q}(n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde a k ∈ C , se llama expansión de Ramanujan [12] de f ( n ).
Ramanujan encontró ampliaciones de algunas de las funciones más conocidas de la teoría de números. Todos estos resultados se prueban de manera "elemental" (es decir, utilizando únicamente manipulaciones formales de series y los resultados más simples sobre la convergencia). [13] [14] [15]
La expansión de la función cero depende de un resultado de la teoría analítica de los números primos, a saber, que la serie
![{\displaystyle \sum _{n=1}^{\infty }{\frac {\mu (n)}{n}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
converge a 0, y los resultados para r ( n ) y r ′( n ) dependen de teoremas de un artículo anterior. [dieciséis]
Todas las fórmulas de esta sección provienen del artículo de Ramanujan de 1918.
Funciones generadoras
Las funciones generadoras de las sumas de Ramanujan son series de Dirichlet :
![{\displaystyle \zeta (s)\sum _{\delta \,\mid \,q}\mu \left({\frac {q}{\delta }}\right)\delta ^{1-s}= \sum _{n=1}^{\infty }{\frac {c_{q}(n)}{n^{s}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es una función generadora para la secuencia c q (1), c q (2), ... donde q se mantiene constante, y
![{\displaystyle {\frac {\sigma _{r-1}(n)}{n^{r-1}\zeta (r)}}=\sum _{q=1}^{\infty }{\ frac {c_{q}(n)}{q^{r}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es una función generadora de la secuencia c 1 ( n ), c 2 ( n ), ... donde n se mantiene constante.
También está la doble serie de Dirichlet.
![{\displaystyle {\frac {\zeta (s)\zeta (r+s-1)}{\zeta (r)}}=\sum _{q=1}^{\infty }\sum _{n= 1}^{\infty }{\frac {c_{q}(n)}{q^{r}n^{s}}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
σ k ( norte )
σ k ( n ) es la función divisora (es decir, la suma de las k -ésimas potencias de los divisores de n , incluidos 1 y n ). σ 0 ( n ), el número de divisores de n , generalmente se escribe d ( n ) y σ 1 ( n ), la suma de los divisores de n , generalmente se escribe σ ( n ).
Si s > 0,
![{\displaystyle {\begin{aligned}\sigma _ {s}(n)&=n^{s}\zeta (s+1)\left({\frac {c_{1}(n)}{1^ {s+1}}}+{\frac {c_{2}(n)}{2^{s+1}}}+{\frac {c_{3}(n)}{3^{s+1 }}}+\cdots \right)\\\sigma _{-s}(n)&=\zeta (s+1)\left({\frac {c_{1}(n)}{1^{s +1}}}+{\frac {c_{2}(n)}{2^{s+1}}}+{\frac {c_{3}(n)}{3^{s+1}} }+\cdots \right)\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Configurar s = 1 da
![{\displaystyle \sigma (n)={\frac {\pi ^{2}}{6}}n\left({\frac {c_{1}(n)}{1}}+{\frac {c_ {2}(n)}{4}}+{\frac {c_{3}(n)}{9}}+\cdots \right).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si la hipótesis de Riemann es cierta y![{\displaystyle -{\tfrac {1}{2}}<s<{\tfrac {1}{2}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sigma _{s}(n)=\zeta (1-s)\left({\frac {c_{1}(n)}{1^{1-s}}}+{\frac { c_{2}(n)}{2^{1-s}}}+{\frac {c_{3}(n)}{3^{1-s}}}+\cdots \right)=n^ {s}\zeta (1+s)\left({\frac {c_{1}(n)}{1^{1+s}}}+{\frac {c_{2}(n)}{2 ^{1+s}}}+{\frac {c_{3}(n)}{3^{1+s}}}+\cdots \right).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
re ( norte )
d ( n ) = σ 0 ( n ) es el número de divisores de n , incluidos 1 y n mismo.
![{\displaystyle {\begin{alineado}-d(n)&={\frac {\log 1}{1}}c_{1}(n)+{\frac {\log 2}{2}}c_{ 2}(n)+{\frac {\log 3}{3}}c_{3}(n)+\cdots \\-d(n)(2\gamma +\log n)&={\frac { \log ^{2}1}{1}}c_{1}(n)+{\frac {\log ^{2}2}{2}}c_{2}(n)+{\frac {\log ^{2}3}{3}}c_{3}(n)+\cdots \end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde γ = 0,5772... es la constante de Euler-Mascheroni .
φ ( norte )
La función totiente de Euler φ( n ) es el número de enteros positivos menores que n y coprimos con n . Ramanujan define una generalización del mismo, si
![{\ Displaystyle n = p_ {1} ^ {a_ {1}} p_ {2} ^ {a_ {2}} p_ {3} ^ {a_ {3}} \ cdots}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es la factorización prima de n , y s es un número complejo, sea
![{\displaystyle \varphi _{s}(n)=n^{s}(1-p_{1}^{-s})(1-p_{2}^{-s})(1-p_{3 }^{-s})\cdots,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
de modo que φ 1 ( n ) = φ ( n ) es la función de Euler. [17]
El demuestra que
![{\displaystyle {\frac {\mu (n)n^{s}}{\varphi _{s}(n)\zeta (s)}}=\sum _{\nu =1}^{\infty } {\frac {\mu (n\nu )}{\nu ^{s}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y usa esto para mostrar que
![{\displaystyle {\frac {\varphi _{s}(n)\zeta (s+1)}{n^{s}}}={\frac {\mu (1)c_{1}(n)} {\varphi _{s+1}(1)}}+{\frac {\mu (2)c_{2}(n)}{\varphi _{s+1}(2)}}+{\frac {\mu (3)c_{3}(n)}{\varphi _{s+1}(3)}}+\cdots .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Dejando s = 1,
![{\displaystyle \varphi (n)={\frac {6}{\pi ^{2}}}n\left(c_{1}(n)-{\frac {c_{2}(n)}{2 ^{2}-1}}-{\frac {c_{3}(n)}{3^{2}-1}}-{\frac {c_{5}(n)}{5^{2} -1}}+{\frac {c_{6}(n)}{(2^{2}-1)(3^{2}-1)}}-{\frac {c_{7}(n) }{7^{2}-1}}+{\frac {c_{10}(n)}{(2^{2}-1)(5^{2}-1)}}-\cdots \right ).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Tenga en cuenta que la constante es la inversa [18] de la de la fórmula para σ( n ).
Λ( n )
La función de Von Mangoldt Λ( n ) = 0 a menos que n = p k sea una potencia de un número primo, en cuyo caso es el logaritmo natural log p .
![{\displaystyle -\Lambda (m)=c_{m}(1)+{\frac {1}{2}}c_{m}(2)+{\frac {1}{3}}c_{m} (3)+\cpuntos }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Cero
Para todo norte > 0,
![{\displaystyle 0=c_{1}(n)+{\frac {1}{2}}c_{2}(n)+{\frac {1}{3}}c_{3}(n)+\ cpuntos.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Esto es equivalente al teorema de los números primos . [19] [20]
r 2 s ( n ) (sumas de cuadrados)
r 2 s ( n ) es el número de formas de representar n como la suma de 2 s cuadrados , contando diferentes órdenes y signos como diferentes (por ejemplo, r 2 (13) = 8, como 13 = (±2) 2 + ( ±3) 2 = (±3) 2 + (±2) 2 .)
Ramanujan define una función δ 2 s ( n ) y hace referencia a un artículo [21] en el que demostró que r 2 s ( n ) = δ 2 s ( n ) para s = 1, 2, 3 y 4. Para s > 4 muestra que δ 2 s ( n ) es una buena aproximación a r 2 s ( n ).
s = 1 tiene una fórmula especial:
![{\displaystyle \delta _{2}(n)=\pi \left({\frac {c_{1}(n)}{1}}-{\frac {c_{3}(n)}{3} }+{\frac {c_{5}(n)}{5}}-\cdots \right).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En las siguientes fórmulas los signos se repiten con un período de 4.
![{\displaystyle {\begin{alineado}\delta _ {2s}(n)&={\frac {\pi ^{s}n^{s-1}}{(s-1)!}}\left( {\frac {c_{1}(n)}{1^{s}}}+{\frac {c_{4}(n)}{2^{s}}}+{\frac {c_{3} (n)}{3^{s}}}+{\frac {c_{8}(n)}{4^{s}}}+{\frac {c_{5}(n)}{5^{ s}}}+{\frac {c_{12}(n)}{6^{s}}}+{\frac {c_{7}(n)}{7^{s}}}+{\frac {c_{16}(n)}{8^{s}}}+\cdots \right)&&s\equiv 0{\pmod {4}}\\[6pt]\delta _{2s}(n)&= {\frac {\pi ^{s}n^{s-1}}{(s-1)!}}\left({\frac {c_{1}(n)}{1^{s}}} -{\frac {c_{4}(n)}{2^{s}}}+{\frac {c_{3}(n)}{3^{s}}}-{\frac {c_{8 }(n)}{4^{s}}}+{\frac {c_{5}(n)}{5^{s}}}-{\frac {c_{12}(n)}{6^ {s}}}+{\frac {c_{7}(n)}{7^{s}}}-{\frac {c_{16}(n)}{8^{s}}}+\cdots \right)&&s\equiv 2{\pmod {4}}\\[6pt]\delta _{2s}(n)&={\frac {\pi ^{s}n^{s-1}}{( s-1)!}}\left({\frac {c_{1}(n)}{1^{s}}}+{\frac {c_{4}(n)}{2^{s}} }-{\frac {c_{3}(n)}{3^{s}}}+{\frac {c_{8}(n)}{4^{s}}}+{\frac {c_{ 5}(n)}{5^{s}}}+{\frac {c_{12}(n)}{6^{s}}}-{\frac {c_{7}(n)}{7 ^{s}}}+{\frac {c_{16}(n)}{8^{s}}}+\cdots \right)&&s\equiv 1{\pmod {4}}{\text{ y } }s>1\\[6pt]\delta _{2s}(n)&={\frac {\pi ^{s}n^{s-1}}{(s-1)!}}\left( {\frac {c_{1}(n)}{1^{s}}}-{\frac {c_{4}(n)}{2^{s}}}-{\frac {c_{3} (n)}{3^{s}}}-{\frac {c_{8}(n)}{4^{s}}}+{\frac {c_{5}(n)}{5^{ s}}}-{\frac {c_{12}(n)}{6^{s}}}-{\frac {c_{7}(n)}{7^{s}}}-{\frac {c_{16}(n)}{8^{s}}}+\cdots \right)&&s\equiv 3{\pmod {4}}\\\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y por lo tanto,
![{\displaystyle {\begin{aligned}r_{2}(n)&=\pi \left({\frac {c_{1}(n)}{1}}-{\frac {c_{3}(n )}{3}}+{\frac {c_{5}(n)}{5}}-{\frac {c_{7}(n)}{7}}+{\frac {c_{11}( n)}{11}}-{\frac {c_{13}(n)}{13}}+{\frac {c_{15}(n)}{15}}-{\frac {c_{17} (n)}{17}}+\cdots \right)\\[6pt]r_{4}(n)&=\pi ^{2}n\left({\frac {c_{1}(n)} {1}}-{\frac {c_{4}(n)}{4}}+{\frac {c_{3}(n)}{9}}-{\frac {c_{8}(n) }{16}}+{\frac {c_{5}(n)}{25}}-{\frac {c_{12}(n)}{36}}+{\frac {c_{7}(n )}{49}}-{\frac {c_{16}(n)}{64}}+\cdots \right)\\[6pt]r_{6}(n)&={\frac {\pi ^ {3}n^{2}}{2}}\left({\frac {c_{1}(n)}{1}}-{\frac {c_{4}(n)}{8}}- {\frac {c_{3}(n)}{27}}-{\frac {c_{8}(n)}{64}}+{\frac {c_{5}(n)}{125}} -{\frac {c_{12}(n)}{216}}-{\frac {c_{7}(n)}{343}}-{\frac {c_{16}(n)}{512} }+\cdots \right)\\[6pt]r_{8}(n)&={\frac {\pi ^{4}n^{3}}{6}}\left({\frac {c_{ 1}(n)}{1}}+{\frac {c_{4}(n)}{16}}+{\frac {c_{3}(n)}{81}}+{\frac {c_ {8}(n)}{256}}+{\frac {c_{5}(n)}{625}}+{\frac {c_{12}(n)}{1296}}+{\frac { c_{7}(n)}{2401}}+{\frac {c_{16}(n)}{4096}}+\cdots \right)\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
r ′ 2s (n) (sumas de triángulos)
es el número de formas en que n puede representarse como la suma de 2 números triangulares (es decir, los números 1, 3 = 1 + 2, 6 = 1 + 2 + 3, 10 = 1 + 2 + 3 + 4, 15, . ..; el n -ésimo número triangular viene dado por la fórmula n ( n + 1)/2.)
El análisis aquí es similar al de los cuadrados. Ramanujan se refiere al mismo artículo que hizo para los cuadrados, donde demostró que existe una función tal que para s = 1, 2, 3 y 4, y que para s > 4, es una buena aproximación a![{\displaystyle \delta '_{2s}(n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle r'_{2s}(n)=\delta '_{2s}(n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \delta '_{2s}(n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle r'_{2s}(n).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Nuevamente, s = 1 requiere una fórmula especial:
![{\displaystyle \delta '_{2}(n)={\frac {\pi }{4}}\left({\frac {c_{1}(4n+1)}{1}}-{\frac {c_{3}(4n+1)}{3}}+{\frac {c_{5}(4n+1)}{5}}-{\frac {c_{7}(4n+1)}{ 7}}+\cdots\right).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si s es múltiplo de 4,
![{\displaystyle {\begin{aligned}\delta '_{2s}(n)&={\frac {({\frac {\pi }{2}})^{s}}{(s-1)! }}\left(n+{\frac {s}{4}}\right)^{s-1}\left({\frac {c_{1}(n+{\frac {s}{4}})} {1^{s}}}+{\frac {c_{3}(n+{\frac {s}{4}})}{3^{s}}}+{\frac {c_{5}(n+ {\frac {s}{4}})}{5^{s}}}+\cdots \right)&&s\equiv 0{\pmod {4}}\\[6pt]\delta '_{2s}( n)&={\frac {({\frac {\pi }{2}})^{s}}{(s-1)!}}\left(n+{\frac {s}{4}}\ derecha)^{s-1}\left({\frac {c_{1}(2n+{\frac {s}{2}})}{1^{s}}}+{\frac {c_{3} (2n+{\frac {s}{2}})}{3^{s}}}+{\frac {c_{5}(2n+{\frac {s}{2}})}{5^{s }}}+\cdots \right)&&s\equiv 2{\pmod {4}}\\[6pt]\delta '_{2s}(n)&={\frac {({\frac {\pi }{ 2}})^{s}}{(s-1)!}}\left(n+{\frac {s}{4}}\right)^{s-1}\left({\frac {c_{ 1}(4n+s)}{1^{s}}}-{\frac {c_{3}(4n+s)}{3^{s}}}+{\frac {c_{5}(4n +s)}{5^{s}}}-\cdots \right)&&s\equiv 1{\pmod {2}}{\text{ y }}s>1\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Por lo tanto,
![{\displaystyle {\begin{aligned}r'_{2}(n)&={\frac {\pi }{4}}\left({\frac {c_{1}(4n+1)}{1 }}-{\frac {c_{3}(4n+1)}{3}}+{\frac {c_{5}(4n+1)}{5}}-{\frac {c_{7}( 4n+1)}{7}}+\cdots \right)\\[6pt]r'_{4}(n)&=\left({\frac {\pi }{2}}\right)^{ 2}\left(n+{\frac {1}{2}}\right)\left({\frac {c_{1}(2n+1)}{1}}+{\frac {c_{3}( 2n+1)}{9}}+{\frac {c_{5}(2n+1)}{25}}+\cdots \right)\\[6pt]r'_{6}(n)&= {\frac {({\frac {\pi }{2}})^{3}}{2}}\left(n+{\frac {3}{4}}\right)^{2}\left( {\frac {c_{1}(4n+3)}{1}}-{\frac {c_{3}(4n+3)}{27}}+{\frac {c_{5}(4n+3 )}{125}}-\cdots \right)\\[6pt]r'_{8}(n)&={\frac {({\frac {\pi }{2}})^{4}} {6}}(n+1)^{3}\left({\frac {c_{1}(n+1)}{1}}+{\frac {c_{3}(n+1)}{ 81}}+{\frac {c_{5}(n+1)}{625}}+\cdots \right)\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
sumas
Dejar
![{\displaystyle {\begin{aligned}T_{q}(n)&=c_{q}(1)+c_{q}(2)+\cdots +c_{q}(n)\\U_{q} (n)&=T_{q}(n)+{\tfrac {1}{2}}\phi (q)\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces para s > 1 ,
![{\displaystyle {\begin{alineado}\sigma _{-s}(1)+\cdots +\sigma _{-s}(n)&=\zeta (s+1)\left(n+{\frac { T_{2}(n)}{2^{s+1}}}+{\frac {T_{3}(n)}{3^{s+1}}}+{\frac {T_{4} (n)}{4^{s+1}}}+\cdots \right)\\&=\zeta (s+1)\left(n+{\tfrac {1}{2}}+{\frac { U_{2}(n)}{2^{s+1}}}+{\frac {U_{3}(n)}{3^{s+1}}}+{\frac {U_{4} (n)}{4^{s+1}}}+\cdots \right)-{\tfrac {1}{2}}\zeta (s)\\d(1)+\cdots +d(n) &=-{\frac {T_{2}(n)\log 2}{2}}-{\frac {T_{3}(n)\log 3}{3}}-{\frac {T_{4} }(n)\log 4}{4}}-\cdots \\d(1)\log 1+\cdots +d(n)\log n&=-{\frac {T_{2}(n)(2 \gamma \log 2-\log ^{2}2)}{2}}-{\frac {T_{3}(n)(2\gamma \log 3-\log ^{2}3)}{3 }}-{\frac {T_{4}(n)(2\gamma \log 4-\log ^{2}4)}{4}}-\cdots \\r_{2}(1)+\cdots +r_{2}(n)&=\pi \left(n-{\frac {T_{3}(n)}{3}}+{\frac {T_{5}(n)}{5}} -{\frac {T_{7}(n)}{7}}+\cdots \right)\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ver también
Notas
- ^ Ramanujan, Sobre ciertas sumas trigonométricas...
Estas sumas son evidentemente de gran interés y ya se han analizado algunas de sus propiedades. Pero, hasta donde yo sé, nunca han sido considerados desde el punto de vista que adopto en este artículo; y creo que todos los resultados que contiene son nuevos.
( Artículos , p. 179). En una nota a pie de página se citan las páginas 360-370 de Dirichlet-Dedekind Vorlesungen über Zahlentheorie , 4ª ed. - ^ Nathanson, cap. 8.
- ^ Hardy y Wright, Thms 65, 66
- ^ GH Hardy, PV Seshu Aiyar y BM Wilson, notas de Sobre ciertas sumas trigonométricas... , Ramanujan, Papers , p. 343
- ^ Schwarz y Spilken (1994) p.16
- ^ B. Berndt, comentario de Sobre ciertas sumas trigonométricas... , Ramanujan, Papers , p. 371
- ^ Knopfmacher, pag. 196
- ^ Hardy y Wright, pag. 243
- ^ Tóth, enlaces externos, ec. 6
- ^ Tóth, enlaces externos, ec. 17.
- ^ Tóth, enlaces externos, ec. 8.
- ^ B. Berndt, comentario de Sobre ciertas sumas trigonométricas... , Ramanujan, Papers , págs.
- ^ Ramanujan, Sobre ciertas sumas trigonométricas...
La mayoría de mis fórmulas son "elementales" en el sentido técnico de la palabra; pueden (es decir) demostrarse mediante una combinación de procesos que involucran sólo álgebra finita y teoremas generales simples relacionados con series infinitas.
( Artículos , p. 179) - ^ La teoría de las series formales de Dirichlet se analiza en Hardy & Wright, § 17.6 y en Knopfmacher.
- ^ Knopfmacher, cap. 7, analiza las expansiones de Ramanujan como un tipo de expansión de Fourier en un espacio producto interno que tiene c q como base ortogonal.
- ^ Ramanujan, Sobre ciertas funciones aritméticas
- ^ Esta es la función totient de Jordan , J s ( n ).
- ^ Cfr. Hardy y Wright, Thm. 329, que establece que
![{\displaystyle \;{\frac {6}{\pi ^{2}}}<{\frac {\sigma (n)\phi (n)}{n^{2}}}<1.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- ^ Hardy, Ramanujan , pág. 141
- ^ B. Berndt, comentario de Sobre ciertas sumas trigonométricas... , Ramanujan, Papers , p. 371
- ^ Ramanujan, Sobre ciertas funciones aritméticas
Referencias
- Hardy, GH (1999), Ramanujan: Doce conferencias sobre temas sugeridos por su vida y obra , Providence RI: AMS / Chelsea, ISBN 978-0-8218-2023-0
- Hardy, GH ; Wright, EM (1979) [1938]. Introducción a la teoría de los números (5ª ed.). Oxford: Prensa de Clarendon. ISBN 0-19-853171-0. Señor 0568909. Zbl 0423.10001.
- Knopfmacher, John (1990) [1975], Teoría analítica abstracta de números (2ª ed.), Nueva York: Dover, ISBN 0-486-66344-2, Zbl 0743.11002
- Nathanson, Melvyn B. (1996), Teoría de números aditivos: las bases clásicas , Textos de posgrado en matemáticas, vol. 164, Springer-Verlag, sección A.7, ISBN 0-387-94656-X, Zbl 0859.11002.
- Nicol, California (1962). "Algunas fórmulas que involucran sumas de Ramanujan". Poder. J. Matemáticas . 14 : 284–286. doi : 10.4153/CJM-1962-019-8 .
- Ramanujan, Srinivasa (1918), "Sobre ciertas sumas trigonométricas y sus aplicaciones en la teoría de números", Transactions of the Cambridge Philosophical Society , 22 (15): 259–276(págs. 179-199 de sus Collected Papers )
- Ramanujan, Srinivasa (1916), "Sobre ciertas funciones aritméticas", Transactions of the Cambridge Philosophical Society , 22 (9): 159–184(págs. 136-163 de sus Collected Papers )
- Ramanujan, Srinivasa (2000), Artículos recopilados , Providence RI: AMS / Chelsea, ISBN 978-0-8218-2076-6
- Schwarz, Wolfgang; Spilker, Jürgen (1994), Funciones aritméticas. Una introducción a las propiedades elementales y analíticas de las funciones aritméticas y a algunas de sus propiedades casi periódicas , Serie de notas de conferencias de la London Mathematical Society, vol. 184, Prensa de la Universidad de Cambridge , ISBN 0-521-42725-8, Zbl 0807.11001
enlaces externos
- Tóth, László (2011). "Sumas de productos de sumas de Ramanujan". Annali dell'universita' di Ferrara . 58 : 183-197. arXiv : 1104.1906 . doi :10.1007/s11565-011-0143-3. S2CID 119134250.