Límite relacionado con $\zeta(x)$

Question

Me estoy dando cuenta de algunas cosas:

$$\lim_{n \to \infty} \left(\sum_{x=1}^{n} x^{-1/3}-\frac{3}{2}n^{2/3} \right)=\zeta(1/3)$$

Nota $\int n^{-1/3} dn=\frac{3}{2}n^{2/3}+c$

$$\lim_{n \to \infty} \left(\sum_{x=1}^{n} x^{-1/2}-\frac{2}{1}n^{1/2} \right)=\zeta(1/2)$$

Y

$$\int n^{-1/2}dn=2n^{1/2}+c$$

Parece que

$$\lim_{n \to \infty} \left(\sum_{x=1}^{n} x^{-1/s}-\frac{s}{s-1}n^{(s-1)/s} \right)=\zeta(1/s)$$

Si $s \neq 1$ Alguien puede explicar por qué.

Answer 1

Como $n \to \infty$ : $$n^{-s} -\int_n^{n+1} x^{-s}dx = \int_n^{n+1} (n^{-s}-x^{-s})dx = \int_n^{n+1} \int_n^x s t^{-s-1}dt dx = \mathcal{O}(n^{-s-1})$$

Así, $$F(s) = \sum_{n=1}^\infty \left( n^{-s}-\int_n^{n+1} x^{-s}dx\right) = \lim_{N \to \infty} \left(\sum_{n=1}^N n^{-s}\right)-\int_1^{N+1} x^{-s}dx$$ $$ = \lim_{N \to \infty} \left(\sum_{n=1}^N n^{-s}\right) - \frac{1-(N+1)^{1-s}}{s-1}$$ converge y es analítica para $Re(s) > 0$ .

Pero para $Re(s) > 1$ , $\lim_{N \to \infty} (N+1)^{1-s} = 0$ para que $$F(s) = \frac{-1}{s-1}+\sum_{n=1}^\infty n^{-s} = \frac{-1}{s-1}+\zeta(s)$$ Y por continuación analítica esto se mantiene para $Re(s) > 0$ (o si lo prefiere por el teorema de identidad para funciones analíticas complejas ).

Por último, dado que para $Re(s) > 0$ : $\lim_{N \to \infty} (N+1)^{1-s}-N^{1-s} = 0$ , lo consigues por $Re(s) > 0$ : $$\lim_{N \to \infty} \left(\sum_{n=1}^N n^{-s}\right) + \frac{N^{1-s}}{s-1} = \lim_{N \to \infty} \left(\sum_{n=1}^N n^{-s}\right) + \frac{(N+1)^{1-s}}{s-1} = F(s)+ \frac{1}{s-1}= \zeta(s)$$

Answer 2

$\newcommand{\bbx}[1]{\,\bbox[8px,border:1px groove navy]{{#1}}\,} \newcommand{\braces}[1]{\left\lbrace\,{#1}\,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack} \newcommand{\dd}{\mathrm{d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,} \newcommand{\ic}{\mathrm{i}} \newcommand{\mc}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\pars}[1]{\left(\,{#1}\,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\root}[2][]{\,\sqrt[#1]{\,{#2}\,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$

$\ds{\lim_{n \to \infty}\pars{\sum_{x = 1}^{n}x^{-1/3} - {3 \over 2}\,n^{2/3}} = \zeta\pars{1 \over 3}}$

\begin{align} \sum_{x = 1}^{n}x^{-1/3} & = {3 \over 2}\sum_{x = 1}^{n}{x - 1/3 \over x^{1/3}} - {3 \over 2}\sum_{x = 1}^{n}x^{2/3} + {3 \over 2}\sum_{x = 0}^{n - 1}{1 \over \pars{x + 1}^{1/3}} \\[5mm] & = {3 \over 2}\sum_{x = 1}^{n}{x - 1/3 \over x^{1/3}} - {3 \over 2}\sum_{x = 1}^{n}x^{2/3} + {3 \over 2} + {3 \over 2}\sum_{x = 1}^{n}{1 \over \pars{x + 1}^{1/3}} - {3 \over 2}{1 \over \pars{n + 1}^{1/3}} \\[1cm] & = -\,{3 \over 2}\sum_{x = 1}^{n} \bracks{{x \over \pars{x + 1}^{1/3}} - {x - 1/3 \over x^{1/3}}} + {3 \over 2} + {3 \over 2}\ \underbrace{% \bracks{\sum_{x = 1}^{n}\pars{x + 1}^{2/3} - \sum_{x = 1}^{n}x^{2/3}}} _{\ds{-1 + \pars{n + 1}^{2/3}}} \\ & \phantom{=\,\,}-\,{3 \over 2}{1 \over \pars{n + 1}^{1/3}} \end{align}

---

\begin{align} &\mbox{Then,}\quad\lim_{n \to \infty}\pars{% \sum_{x = 1}^{n}x^{-1/3} - {3 \over 2}\,n^{2/3}}\ =\ \overbrace{-\,{3 \over 2} \sum_{x = 1}^{\infty} \bracks{{x \over \pars{x + 1}^{1/3}} - {x - 1/3 \over x^{1/3}}}} ^{\ds{=\ \zeta\pars{1 \over 3}}}\label{1}\tag{1} \\[5mm] & \phantom{=}+\ \underbrace{{3 \over 2}\lim_{n \to \infty}\bracks{\pars{n + 1}^{2/3} - \,{3 \over 2}{1 \over \pars{n + 1}^{1/3}} - n^{2/3}}}_{\ds{=\ 0}}\ =\ \bbox[10px,#ffe,border:1px dotted navy]{\ds{\zeta\pars{1 \over 3}}} \end{align}

La serie, en la \eqref {1} RHS, es un $\ds{\zeta}$ -representación que se obtiene reordenando la "definición original" de forma que se amplía el rango de validez de la serie. Los detalles se dan en el enlace citado anteriormente.

Answer 3

Desde el Wikipedia de la suma de Ramanujan (unos párrafos más abajo):

Se ha propuesto el uso de $C(1)$ en lugar de $C(0)$ como resultado de la suma de Ramanujan, ya que entonces se puede asegurar que una serie $\sum _{k=1}^{\infty }f(k)$ admite una y sólo una suma de Ramanujan, definida como el valor en $1$ de la única solución de la ecuación en diferencia $R(x)-R(x+1)=f(x)$ que verifica la condición $\int_{1}^{2}R(t)dt=0$ . Esta definición de la suma de Ramanujan (denotada como $\sum _{n\geq 1}^{\Re }f(n)$ ) no coincide con la suma de Ramanujan definida anteriormente, $C(0)$ ni con la suma de series convergentes, pero tiene propiedades interesantes, como: Si $R(x)$ tiende a un límite finito cuando $x\to1^+$ , entonces la serie $\sum _{n\geq 1}^{\Re }f(n)$ es convergente, y tenemos

$$\sum_{n\ge1}^\Re f(n)=\lim_{N\to\infty}\left(\sum_{n=1}^Nf(n)-\int_1^Nf(t)dt\right)$$

que parece ser exactamente lo que está buscando. En el enlace se ofrece más contexto.