Generalizaciones de la función zeta de Riemann
En matemáticas , las funciones zeta múltiples son generalizaciones de la función zeta de Riemann , definida por
![{\displaystyle \zeta (s_{1},\ldots ,s_{k})=\sum _{n_{1}>n_{2}>\cdots >n_{k}>0}\ {\frac {1 }{n_{1}^{s_{1}}\cdots n_{k}^{s_{k}}}}=\sum _{n_{1}>n_{2}>\cdots >n_{k} >0}\ \prod _{i=1}^{k}{\frac {1}{n_{i}^{s_{i}}}},\!}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y converger cuando Re( s 1 ) + ... + Re( s i ) > i para todo i . Al igual que la función zeta de Riemann, las múltiples funciones zeta pueden continuar analíticamente siendo funciones meromórficas (ver, por ejemplo, Zhao (1999)). Cuando s 1 , ..., sk son todos números enteros positivos (con s 1 > 1) , estas sumas a menudo se denominan valores zeta múltiples (MZV) o sumas de Euler . Estos valores también pueden considerarse valores especiales de los múltiples polilogaritmos. [1] [2]
La k en la definición anterior se denomina "profundidad" de un MZV, y la n = s 1 + ... + s k se conoce como "peso". [3]
La forma abreviada estándar para escribir múltiples funciones zeta es colocar cadenas repetidas del argumento entre llaves y usar un superíndice para indicar el número de repeticiones. Por ejemplo,
![{\displaystyle \zeta (2,1,2,1,3)=\zeta (\{2,1\}^{2},3).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Definición
Las funciones zeta múltiples surgen como casos especiales de polilogaritmos múltiples
![{\displaystyle \mathrm {Li} _{s_{1},\ldots ,s_{d}}(\mu _{1},\ldots ,\mu _{d})=\sum \limits _{k_{ 1}>\cdots >k_{d}>0}{\frac {\mu _{1}^{k_{1}}\cdots \mu _{d}^{k_{d}}}{k_{1 }^{s_{1}}\cdots k_{d}^{s_{d}}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
que son generalizaciones de las funciones polilogarítmicas . Cuando todas son raíces n- ésimas de la unidad y todas son números enteros no negativos, los valores del polilogaritmo múltiple se denominan valores zeta múltiples coloreados de nivel . En particular, cuando se denominan sumas de Euler o valores zeta múltiples alternos , y cuando se denominan simplemente valores zeta múltiples. A menudo se escriben múltiples valores zeta.
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n=2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n=1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \zeta (s_{1},\ldots ,s_{d})=\sum \limits _{k_{1}>\cdots >k_{d}>0}{\frac {1}{k_{ 1}^{s_{1}}\cdots k_{d}^{s_{d}}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y las sumas de Euler se escriben
![{\displaystyle \zeta (s_{1},\ldots ,s_{d};\varepsilon _{1},\ldots ,\varepsilon _{d})=\sum \limits _{k_{1}>\cdots >k_{d}>0}{\frac {\varepsilon _{1}^{k_{1}}\cdots \varepsilon ^{k_{d}}}{k_{1}^{s_{1}}\ cdots k_{d}^{s_{d}}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
dónde . A veces, los autores escriben una barra sobre un correspondiente a un igual a , así por ejemplo![{\displaystyle \varepsilon _{i}=\pm 1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle s_ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varepsilon _ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle -1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
.
Estructura integral e identidades.
Kontsevich se dio cuenta de que es posible expresar múltiples valores zeta coloreados (y, por tanto, sus casos especiales) como determinadas integrales multivariables . Este resultado a menudo se expresa mediante el uso de una convención para integrales iteradas, en la que
![{\displaystyle \int _{0}^{x}f_{1}(t)dt\cdots f_{d}(t)dt=\int _{0}^{x}f_{1}(t_{1) })\left(\int _{0}^{t_{1}}f_{2}(t_{2})\left(\int _{0}^{t_{2}}\cdots \left(\ int _{0}^{t_{d}}f_{d}(t_{d})dt_{d}\right)\right)dt_{2}\right)dt_{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Usando esta convención, el resultado se puede expresar de la siguiente manera: [2]
para donde .![{\displaystyle a_{j}=\prod \limits _{i=1}^{j}\mu _{i}^{-1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle j=1,2,\ldots,d}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Este resultado es extremadamente útil debido a un resultado bien conocido sobre productos de integrales iteradas, a saber, que
donde y es el grupo simétrico de símbolos.![{\displaystyle {\mathfrak {Sh}}_{n,m}=\{\sigma \in S_{m}\mid \sigma (1)<\cdots <\sigma (n),\sigma (n+1) )<\cdots <\sigma (m)\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S_{m}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle m}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Para utilizar esto en el contexto de múltiples valores zeta, defina , como el monoide libre generado por y como el espacio vectorial libre generado por . Puede equiparse con el producto aleatorio , convirtiéndolo en un álgebra . Entonces, la función zeta múltiple se puede ver como un mapa de evaluación, donde identificamos , y definimos![{\displaystyle X=\{a,b\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X^{*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Q} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X^{*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {A}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle a={\frac {dt}{t}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle b={\frac {dt}{1-t}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para cualquier ,![{\displaystyle \mathbf {w} \en X^{*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
que, por la citada identidad integral , hace
![{\displaystyle \zeta (a^{s_{1}-1}b\cdots a^{s_{d}-1}b)=\zeta (s_{1},\ldots,s_{d}).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces, la identidad integral de los productos da [2]
![{\displaystyle \zeta (w)\zeta (v)=\zeta (w{\text{ ⧢ }}v).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Caso de dos parámetros
En el caso particular de sólo dos parámetros tenemos (con s > 1 y n , m enteros): [4]
![{\displaystyle \zeta (s,t)=\sum _{n>m\geq 1}\ {\frac {1}{n^{s}m^{t}}}=\sum _{n=2 }^{\infty }{\frac {1}{n^{s}}}\sum _{m=1}^{n-1}{\frac {1}{m^{t}}}=\ suma _{n=1}^{\infty }{\frac {1}{(n+1)^{s}}}\sum _{m=1}^{n}{\frac {1}{m ^{t}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
¿Dónde están los números armónicos generalizados ?![{\displaystyle H_{n,t}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Se sabe que múltiples funciones zeta satisfacen lo que se conoce como dualidad MZV, cuyo caso más simple es la famosa identidad de Euler :
![{\displaystyle \sum _{n=1}^{\infty }{\frac {H_{n}}{(n+1)^{2}}}=\zeta (2,1)=\zeta (3 )=\sum _{n=1}^{\infty }{\frac {1}{n^{3}}},\!}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde H n son los números armónicos .
Valores especiales de funciones zeta dobles, con s > 0 e par , t > 1 e impar , pero s + t = 2 N +1 (tomando si es necesario ζ (0) = 0): [4]
![{\displaystyle \zeta (s,t)=\zeta (s)\zeta (t)+{\tfrac {1}{2}}{\Big [}{\tbinom {s+t}{s}}- 1{\Big ]}\zeta (s+t)-\sum _{r=1}^{N-1}{\Big [}{\tbinom {2r}{s-1}}+{\tbinom { 2r}{t-1}}{\Grande ]}\zeta (2r+1)\zeta (s+t-1-2r)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Tenga en cuenta que si tenemos irreducibles, es decir, estos MZV no se pueden escribir solo como función de. [5]![{\displaystyle s+t=2p+2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p/3}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \zeta (a)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Caso de tres parámetros
En el caso particular de sólo tres parámetros tenemos (con a > 1 y n , j , i enteros):
![{\displaystyle \zeta (a,b,c)=\sum _{n>j>i\geq 1}\ {\frac {1}{n^{a}j^{b}i^{c}} }=\sum _{n=1}^{\infty }{\frac {1}{(n+2)^{a}}}\sum _{j=1}^{n}{\frac {1 }{(j+1)^{b}}}\sum _{i=1}^{j}{\frac {1}{(i)^{c}}}=\sum _{n=1} ^{\infty }{\frac {1}{(n+2)^{a}}}\sum _{j=1}^{n}{\frac {H_{j,c}}{(j+ 1)^{b}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Fórmula de reflexión de Euler
Los MZV anteriores satisfacen la fórmula de reflexión de Euler:
para![{\displaystyle a,b>1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Utilizando las relaciones aleatorias, es fácil demostrar que : [5]
para![{\displaystyle a,b,c>1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Esta función puede verse como una generalización de las fórmulas de reflexión.
Sumas simétricas en términos de la función zeta.
Sea , y para una partición del conjunto , sea . Además, dada una y una k -tupla de exponentes, defina .![{\displaystyle S(i_{1},i_{2},\cdots ,i_{k})=\sum _{n_{1}\geq n_{2}\geq \cdots n_{k}\geq 1} {\frac {1}{n_{1}^{i_{1}}n_{2}^{i_{2}}\cdots n_{k}^{i_{k}}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Pi =\{P_{1},P_{2},\dots,P_{l}\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{1,2,\puntos,k\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle c(\Pi )=(\left|P_{1}\right|-1)!(\left|P_{2}\right|-1)!\cdots (\left|P_{l}\ derecha|-1)!}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Pi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i=\{i_{1},...,i_{k}\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \prod _ {s=1}^{l}\zeta (\sum _ {j\in P_ {s}}i_ {j})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Las relaciones entre el y son: y![{\displaystyle \zeta}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S(i_{1},i_{2})=\zeta (i_{1},i_{2})+\zeta (i_{1}+i_{2})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S(i_{1},i_{2},i_{3})=\zeta (i_{1},i_{2},i_{3})+\zeta (i_{1}+i_{ 2},i_{3})+\zeta (i_{1},i_{2}+i_{3})+\zeta (i_{1}+i_{2}+i_{3}).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Teorema 1 (Hoffman)
Para cualquier real , .![{\displaystyle i_{1},\cdots,i_{k}>1,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{\sigma \in \Sigma _{k}}S(i_{\sigma (1)},\dots ,i_{\sigma (k)})=\sum _{{\text{ particiones }}\Pi {\text{ de }}\{1,\dots ,k\}}c(\Pi )\zeta (i,\Pi )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Prueba. Supongamos que son todos distintos. (No hay pérdida de generalidad, ya que podemos tomar límites). El lado izquierdo se puede escribir como . Ahora pensando en lo simétrico.![{\ Displaystyle i_ {j}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{\sigma }\sum _{n_{1}\geq n_{2}\geq \cdots \geq n_{k}\geq 1}{\frac {1}{{n^{i_ {1}}}_{\sigma (1)}{n^{i_{2}}}_{\sigma (2)}\cdots {n^{i_{k}}}_{\sigma (k) }}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
grupo actuando sobre k -tupla de enteros positivos. Una k -tupla dada tiene un grupo de isotropía![{\displaystyle \Sigma _{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n=(1,\cdots,k)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n=(n_{1},\cdots,n_{k})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y una partición asociada de : es el conjunto de clases de equivalencia de la relación
dada por sif , y . Ahora el término aparece en el lado izquierdo de exactamente los tiempos. Ocurre en el lado derecho en aquellos términos correspondientes a particiones que son refinamientos de : dejando denotar refinamiento, ocurre tiempos. Por lo tanto, la conclusión se obtendrá si se trata de cualquier k -tupla y partición asociada . Para ver esto, tenga en cuenta que cuenta las permutaciones que tienen un tipo de ciclo especificado por : dado que cualquier elemento de tiene un tipo de ciclo único especificado por una partición que refina , el resultado es el siguiente. [6]![{\displaystyle \Lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (1,2,\cdots,k)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i\sim j}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle n_ {i} = n_ {j}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma _{k}(n)=\{\sigma \in \Sigma _{k}:\sigma (i)\sim \forall i\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\frac {1}{{n^{i_{1}}}_{\sigma (1)}{n^{i_{2}}}_{\sigma (2)}\cdots {n ^{i_ {k}}} _ {\ sigma (k)}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{\sigma \in \Sigma _{k}}S(i_{\sigma (1)},\dots ,i_{\sigma (k)})=\sum _{{\text{ particiones }}\Pi {\text{ de }}\{1,\dots ,k\}}c(\Pi )\zeta (i,\Pi )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left|\Sigma _ {k}(n)\right|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Pi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \succeq}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\frac {1}{{n^{i_{1}}}_{\sigma (1)}{n^{i_{2}}}_{\sigma (2)}\cdots {n ^{i_ {k}}} _ {\ sigma (k)}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{\Pi \succeq \Lambda }(\Pi )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left|\Sigma _{k}(n)\right|=\sum _{\Pi \succeq \Lambda }c(\Pi )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n=\{n_{1},\cdots,n_{k}\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle c(\Pi )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Pi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma _ {k}(n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Para , el teorema dice
para . Este es el resultado principal de. [7]![{\displaystyle k=3}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{\sigma \in \Sigma _{3}}S(i_{\sigma (1)},i_{\sigma (2)},i_{\sigma (3)})=\zeta (i_ {1})\zeta (i_ {2})\zeta (i_ {3})+\zeta (i_ {1}+i_ {2})\zeta (i_ {3})+\zeta (i_ { 1})\zeta (i_{2}+i_{3})+\zeta (i_{1}+i_{3})\zeta (i_{2})+2\zeta (i_{1}+i_{ 2}+i_{3})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle i_ {1}, i_ {2}, i_ {3}> 1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Teniendo . Para enunciar la analogía del Teorema 1 para , necesitamos un bit de notación. para una partición![{\displaystyle \zeta (i_{1},i_{2},\cdots ,i_{k})=\sum _{n_{1}>n_{2}>\cdots n_{k}\geq 1}{ \frac {1}{n_{1}^{i_{1}}n_{2}^{i_{2}}\cdots n_{k}^{i_{k}}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \zeta's}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
de , deja .![{\displaystyle \{1,2\cdots,k\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\tilde {c}}(\Pi )=(-1)^{kl}c(\Pi )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Teorema 2 (Hoffman)
Para cualquier real , .![{\displaystyle i_{1},\cdots,i_{k}>1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{\sigma \in \Sigma _{k}}\zeta (i_{\sigma (1)},\dots ,i_{\sigma (k)})=\sum _{{\text {particiones }}\Pi {\text{ de }}\{1,\dots ,k\}}{\tilde {c}}(\Pi )\zeta (i,\Pi )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Prueba. Seguimos la misma línea argumental que en la prueba anterior. El lado izquierdo es ahora y un término aparece en el lado izquierdo desde una vez si todos son distintos, y en ningún otro caso. Por tanto, basta demostrar (1)![{\displaystyle \sum _{\sigma }\sum _{n_{1}>n_{2}>\cdots >n_{k}\geq 1}{\frac {1}{{n^{i_{1} }}_{\sigma (1)}{n^{i_{2}}}_{\sigma (2)}\cdots {n^{i_{k}}}_{\sigma (k)}}} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\frac {1}{n_{1}^{i_ {1}}n_ {2}^{i_ {2}}\cdots n_ {k}^{i_ {k}}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle n_ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{\Pi \succeq \Lambda }{\tilde {c}}(\Pi )={\begin{casos}1,{\text{ si }}\left|\Lambda \right|= k\\0,{\text{ de lo contrario }}.\end{casos}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Para probar esto, observe primero que el signo de es positivo si las permutaciones de tipo ciclo son pares y negativo si son impares : por lo tanto, el lado izquierdo de (1) es la suma con signo del número de pares e impares. permutaciones en el grupo de isotropía . Pero tal grupo de isotropía tiene igual número de permutaciones pares e impares a menos que sea trivial, es decir, a menos que la partición asociada sea . [6]![{\displaystyle {\tilde {c}}(\Pi )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Pi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma _ {k}(n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{\{1\},\{2\},\cdots ,\{k\}\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Las conjeturas de la suma y la dualidad [6]
Primero planteamos la conjetura de la suma, que se debe a C. Moen. [8]
Conjetura de la suma (Hoffman). Para enteros positivos k y n , donde la suma se extiende sobre k -tuplas de enteros positivos con .![{\displaystyle \sum _{i_{1}+\cdots +i_{k}=n,i_{1}>1}\zeta (i_{1},\cdots ,i_{k})=\zeta (n )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i_{1},\cdots,i_{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle i_ {1}> 1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Conviene hacer tres observaciones sobre esta conjetura . Primero, implica . En segundo lugar, en el caso de que diga que , o usando la relación entre y y Teorema 1,![{\displaystyle \sum _{i_{1}+\cdots +i_{k}=n,i_{1}>1}S(i_{1},\cdots ,i_{k})={n-1 \ elija k-1}\zeta (n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k=2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \zeta (n-1,1)+\zeta (n-2,2)+\cdots +\zeta (2,n-2)=\zeta (n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \zeta's}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 2S(n-1,1)=(n+1)\zeta (n)-\sum _ {k=2}^{n-2}\zeta (k)\zeta (nk).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Esto fue demostrado por Euler [9] y redescubierto varias veces, en particular por Williams. [10] Finalmente, C. Moen [8] ha demostrado la misma conjetura para k =3 mediante argumentos extensos pero elementales. Para la conjetura de la dualidad, primero definimos una involución en el conjunto de secuencias finitas de números enteros positivos cuyo primer elemento es mayor que 1. Sea el conjunto de secuencias finitas estrictamente crecientes de números enteros positivos, y sea la función que envía una secuencia en a su secuencia de sumas parciales. Si es el conjunto de sucesiones cuyo último elemento es como máximo , tenemos dos involuciones conmutantes y definidas por y = complemento de en ordenadas en orden creciente. Nuestra definición de es para con .![{\displaystyle \tau}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Soy }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathrm {T} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma :\Soy \rightarrow \mathrm {T} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Soy }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathrm {T} _ {n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathrm {T} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle R_ {n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle C_ {n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathrm {T} _ {n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle R_{n}(a_{1},a_{2},\dots ,a_{l})=(n+1-a_{l},n+1-a_{l-1},\dots ,n+1-a_{1})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle C_ {n} (a_ {1}, \ puntos, a_ {l})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{a_{1},\dots,a_{l}\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{1,2,\puntos,n\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \tau}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \tau (I)=\Sigma ^{-1}R_{n}C_{n}\Sigma (I)=\Sigma ^{-1}C_{n}R_{n}\Sigma (I) }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I=(i_{1},i_{2},\dots,i_{k})\in \Estoy }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i_{1}+\cdots +i_{k}=n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Por ejemplo,
diremos que las secuencias y son duales entre sí, y nos referiremos a una secuencia fijada por como autodual. [6]![{\displaystyle \tau (3,4,1)=\Sigma ^{-1}C_{8}R_{8}(3,7,8)=\Sigma ^{-1}(3,4,5, 7,8)=(3,1,1,2,1).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle (i_ {1}, \ puntos, i_ {k})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \tau (i_ {1}, \ puntos, i_ {k})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \tau}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Conjetura de la dualidad (Hoffman). Si es dual a , entonces .![{\displaystyle (h_{1},\dots,h_{nk})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle (i_ {1}, \ puntos, i_ {k})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \zeta (h_{1},\dots ,h_{nk})=\zeta (i_{1},\dots ,i_{k})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Esta conjetura de la suma también se conoce como teorema de la suma y se puede expresar de la siguiente manera: el valor zeta de Riemann de un número entero n ≥ 2 es igual a la suma de todos los MZV válidos (es decir, con s 1 > 1) de las particiones de longitud k y peso n , con 1 ≤ k ≤ n − 1. En fórmula: [3]
![{\displaystyle \sum _{\stackrel {s_{1}+\cdots +s_{k}=n}{s_{1}>1}}\zeta (s_{1},\ldots ,s_{k}) =\zeta (n).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Por ejemplo, con longitud k = 2 y peso n = 7:
![{\displaystyle \zeta (6,1)+\zeta (5,2)+\zeta (4,3)+\zeta (3,4)+\zeta (2,5)=\zeta (7).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Suma de Euler con todas las posibles alternancias de signo.
La suma de Euler con alternancia de signo aparece en estudios de la suma de Euler no alternante. [5]
Notación
con son los números armónicos generalizados .![{\displaystyle H_{n}^{(b)}=+1+{\frac {1}{2^{b}}}+{\frac {1}{3^{b}}}+\cdots }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
con![{\displaystyle {\bar {H}}_{n}^{(b)}=-1+{\frac {1}{2^{b}}}-{\frac {1}{3^{b }}}+\cdots }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{n=1}^{\infty }{\frac {{\bar {H}}_{n}^{(b)}(-1)^{(n+1)}} {(n+1)^{a}}}=\zeta ({\bar {a}},{\bar {b}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
con![{\displaystyle {\bar {H}}_{n}^{(c)}=-1+{\frac {1}{2^{c}}}-{\frac {1}{3^{c }}}+\cdots }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
con![{\displaystyle H_{n}^{(c)}=+1+{\frac {1}{2^{c}}}+{\frac {1}{3^{c}}}+\cdots }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{(n+2)^{a}}}\sum _{n=1}^{\infty }{\frac {H_{n}^{(c)}(-1)^{(n+1)}}{(n+1)^{b}}}=\zeta (a,{\bar {b}}, C)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{(n+2)^{a}}}\sum _{n=1}^{\infty }{\frac {{\bar {H}}_{n}^{(c)}}{(n+1)^{b}}}=\zeta (a,b,{\bar {c}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Como variante de la función Dirichlet eta definimos
con![{\displaystyle s>1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \phi (1)=-\ln 2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Fórmula de reflexión
La fórmula de reflexión se puede generalizar de la siguiente manera:![{\displaystyle \zeta (a,b)+\zeta (b,a)=\zeta (a)\zeta (b)-\zeta (a+b)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \zeta (a,{\bar {b}})+\zeta ({\bar {b}},a)=\zeta (a)\phi (b)-\phi (a+b)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \zeta ({\bar {a}},b)+\zeta (b,{\bar {a}})=\zeta (b)\phi (a)-\phi (a+b)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \zeta ({\bar {a}},{\bar {b}})+\zeta ({\bar {b}},{\bar {a}})=\phi (a)\phi (b)-\zeta (a+b)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
si tenemos![{\displaystyle a=b}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \zeta ({\bar {a}},{\bar {a}})={\tfrac {1}{2}}{\Big [}\phi ^{2}(a)-\zeta (2a){\Grande ]}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Otras relaciones
Usando la definición de serie es fácil demostrar:
con![{\displaystyle a>1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
con![{\displaystyle a>1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Otra relación útil es: [5]
![{\displaystyle \zeta (a,b)+\zeta ({\bar {a}},{\bar {b}})=\sum _ {s>0}(a+bs-1)!{\Big [}{\frac {Z_{a}(a+bs,s)}{(como)!(b-1)!}}+{\frac {Z_{b}(a+bs,s)}{( bs)!(a-1)!}}{\Grande ]}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
dónde y![{\displaystyle Z_{a}(s,t)=\zeta (s,t)+\zeta ({\bar {s}},t)-{\frac {{\Big [}\zeta (s,t) )+\zeta (s+t){\Grande ]}}{2^{(s-1)}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Z_{b}(s,t)={\frac {\zeta (s,t)}{2^{(s-1)}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Tenga en cuenta que debe usarse para todos los valores para los cuales el argumento de los factoriales es![{\displaystyle s}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle >1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \geqslant 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Otros resultados
Para todos los números enteros positivos :![{\displaystyle a,b,\puntos,k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
o más generalmente:![{\displaystyle \sum _{n=2}^{\infty }\zeta (n,a,b,\dots ,k)=\zeta (a+1,b,\dots ,k)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{n=2}^{\infty }\zeta (n,{\bar {k}})=-\phi (k+1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{n=2}^{\infty }\zeta (n,{\bar {a}},b)=\zeta ({\overline {a+1}},b)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{n=2}^{\infty }\zeta (n,a,{\bar {b}})=\zeta (a+1,{\bar {b}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{n=2}^{\infty }\zeta (n,{\bar {a}},{\bar {b}})=\zeta ({\overline {a+1}} ,{\bar {b}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lim _{k\to \infty }\zeta (n,k)=\zeta (n)-1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 1-\zeta (2)+\zeta (3)-\zeta (4)+\cdots =|{\frac {1}{2}}|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \zeta (a,a)={\tfrac {1}{2}}{\Big [}(\zeta (a))^{2}-\zeta (2a){\Big ]}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \zeta (a,a,a)={\tfrac {1}{6}}(\zeta (a))^{3}+{\tfrac {1}{3}}\zeta (3a) -{\tfrac {1}{2}}\zeta (a)\zeta (2a)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Valores zeta de Mordell-Tornheim
La función zeta de Mordell-Tornheim, introducida por Matsumoto (2003), motivado por los artículos Mordell (1958) y Tornheim (1950), se define por
![{\displaystyle \zeta _{MT,r}(s_{1},\dots ,s_{r};s_{r+1})=\sum _{m_{1},\dots ,m_{r}> 0}{\frac {1}{m_{1}^{s_{1}}\cdots m_{r}^{s_{r}}(m_{1}+\dots +m_{r})^{s_ {r+1}}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Es un caso especial de la función Shintani zeta .
Referencias
- Tornheim, Leonard (1950). "Serie doble armónica". Revista Estadounidense de Matemáticas . 72 (2): 303–314. doi :10.2307/2372034. ISSN 0002-9327. JSTOR 2372034. SEÑOR 0034860.
- Mordell, Louis J. (1958). "Sobre la evaluación de algunas series múltiples". Revista de la Sociedad Matemática de Londres . Segunda Serie. 33 (3): 368–371. doi :10.1112/jlms/s1-33.3.368. ISSN 0024-6107. SEÑOR 0100181.
- Apóstol, Tom M .; Vu, Thiennu H. (1984), "Serie de Dirichlet relacionada con la función zeta de Riemann", Journal of Number Theory , 19 (1): 85–102, doi : 10.1016/0022-314X(84)90094-5 , ISSN 0022 -314X, SEÑOR 0751166
- Crandall, Richard E.; Buhler, Joe P. (1994). "Sobre la evaluación de las sumas de Euler". Matemáticas Experimentales . 3 (4): 275. doi :10.1080/10586458.1994.10504297. SEÑOR 1341720.
- Borwein, Jonathan M.; Girgensohn, Roland (1996). "Evaluación de sumas triples de Euler". Electrón. J. Peine . 3 (1): #R23. doi : 10.37236/1247 . hdl : 1959.13/940394 . SEÑOR 1401442.
- Flajolet, Philippe; Salvy, Bruno (1998). "Sumas de Euler y representaciones integrales de contorno". Exp. Matemáticas . 7 : 15–35. CiteSeerX 10.1.1.37.652 . doi :10.1080/10586458.1998.10504356.
- Zhao, Jianqiang (1999). "Continuación analítica de múltiples funciones zeta". Actas de la Sociedad Matemática Estadounidense . 128 (5): 1275-1283. doi : 10.1090/S0002-9939-99-05398-8 . SEÑOR 1670846.
- Matsumoto, Kohji (2003), "Sobre Mordell-Tornheim y otras funciones zeta múltiples", Actas de la sesión sobre teoría analítica de números y ecuaciones diofánticas , Bonner Math. Schriften, vol. 360, Bonn: Univ. Bonn, señor 2075634
- Espinosa, Olivier; Moll, Víctor Hugo (2008). "La evaluación de Tornheim suma doble". arXiv : matemáticas/0505647 .
- Espinosa, Olivier; Moll, Víctor Hugo (2010). "La evaluación de Tornheim suma doble II". Ramanujan J. 22 : 55–99. arXiv : 0811.0557 . doi :10.1007/s11139-009-9181-1. SEÑOR 2610609. S2CID 17055581.
- Borwein, JM ; Chan, OY. (2010). "Dualidad en colas de múltiples valores zeta". En t. J. Teoría de números . 6 (3): 501–514. CiteSeerX 10.1.1.157.9158 . doi :10.1142/S1793042110003058. SEÑOR 2652893.
- Basu, Ankur (2011). "Sobre la evaluación de las sumas de Tornheim y las sumas dobles aliadas". Ramanujan J. 26 (2): 193–207. doi :10.1007/s11139-011-9302-5. SEÑOR 2853480. S2CID 120229489.
Notas
- ^ Zhao, Jianqiang (2010). "Relaciones estándar de múltiples valores de polilogaritmos en las raíces de la unidad". Documenta Matemática . 15 : 1–34. arXiv : 0707.1459 .
- ^ abc Zhao, Jianqiang (2016). Múltiples funciones Zeta, múltiples polilogaritmos y sus valores especiales . Serie sobre teoría de números y sus aplicaciones. vol. 12. Publicaciones científicas mundiales. doi :10.1142/9634. ISBN 978-981-4689-39-7.
- ^ ab Hoffman, Mike. "Múltiples valores Zeta". Página de inicio de Mike Hoffman . Academia Naval de Estados Unidos . Consultado el 8 de junio de 2012 .
- ^ ab Borwein, David; Borwein, Jonathan; Bradley, David (23 de septiembre de 2004). "Identidades paramétricas de suma de Euler" (PDF) . CARMA, Curso de Honores AMSI . La Universidad de Newcastle . Consultado el 3 de junio de 2012 .
- ^ abcd Broadhurst, DJ (1996). "Sobre la enumeración de sumas de Euler irreducibles de k veces y sus funciones en la teoría de nudos y la teoría de campos". arXiv : hep-th/9604128 .
- ^ abcdHoffman , Michael (1992). "Serie de armónicos múltiples". Revista Pacífico de Matemáticas . 152 (2): 276–278. doi : 10.2140/pjm.1992.152.275 . SEÑOR 1141796. Zbl 0763.11037.
- ^ Ramachandra Rao, R. Sita; MV Subbarao (1984). "Fórmulas de transformación para series múltiples". Revista Pacífico de Matemáticas . 113 (2): 417–479. doi : 10.2140/pjm.1984.113.471 .
- ^ ab Moen, C. "Sumas de series simples". Preimpresión .
- ^ Euler, L. (1775). "Meditations circa singulare serierum género". Comunicaciones de Novi. Acad. Ciencia. Petropol . 15 (20): 140–186.
- ^ Williams, GT (1958). "Sobre la evaluación de algunas series múltiples". Revista de la Sociedad Matemática de Londres . 33 (3): 368–371. doi :10.1112/jlms/s1-33.3.368.
enlaces externos
- Borwein, Jonathan; Zudilin, Wadim. "Apuntes de conferencias sobre la función Zeta múltiple".
- Hoffman, Michael (2012). "Múltiples valores zeta".
- Zhao, Jianqiang (2016). Múltiples funciones Zeta, múltiples polilogaritmos y sus valores especiales . Serie sobre teoría de números y sus aplicaciones. vol. 12. Publicaciones científicas mundiales. doi :10.1142/9634. ISBN 978-981-4689-39-7.
- Burgos Gil, José Ignacio; Fresan, Javier. "Múltiples valores zeta: de números a motivos" (PDF) .