Mellin transforma de la función del piso

Question

Que tengo del integral transforma tablas que:

$$\operatorname{Mellin}(\lfloor x\rfloor) = -\dfrac{\zeta(-z)}{z},\quad \operatorname{Re}(z)<-1$$

¿Cómo puede demostrar esto?

Answer 1

Con la funciones características $\chi_n$ de la % de intervalos $[n,\infty)$, podemos escribir

$$\lfloor x\rfloor = \sum_{n=1}^\infty \chi_n(x),$$

y así

$$\int_1^\infty \frac{\lfloor x\rfloor}{x^{s+1}}\,dx = \int_1^\infty \frac{1}{x^{s+1}}\sum_{n=1}^\infty \chi_n(x)\,dx,$$

y uno puede intercambiar sumación y la integración (Teorema de convergencia dominada) para obtener

$$\int_1^\infty \frac{\lfloor x\rfloor}{x^{s+1}}\,dx = \sum_{n=1}^\infty \int_1^\infty \frac{\chi_n(x)}{x^{s+1}}\,dx = \sum_{n=1}^\infty \int_n^\infty \frac{dx}{x^{s+1}} = \sum_{n=1}^\infty \left[-\frac{1}{sx^s}\right]_n^\infty = \frac{1}{s}\sum_{n=1}^\infty \frac{1}{n^s} = \frac{\zeta(s)}{s}$$

$\operatorname{Re} s > 1$. Normalizar ese cómputo conforme a la definición de la transformada de Mellin con que está trabajando.

Answer 2

$$ \int_{0}^{\infty} \lfloor x\rfloor x^{z-1} \ dx = \sum_{k=0}^{\infty} \int_{k}^{k+1} k x^{z-1} \ dx = \sum_{k=1}^{\infty} k \int_{k}^{k+1} x^{z-1} \ dx $$

$$ = \sum_{k=1}^{\infty} \frac{k}{z} \Big((k+1)^{z} - k^{z} \Big) = \frac{1}{z}\Big( (2^{z} - 1 ) + 2 (3^{z}-2^{z} ) + 3 (4^{z}-3^{z} ) + \ldots\Big)$$

$$ = \frac{1}{z} \Big( -1 -2^{z} - 3^{z} - \ldots) = - \frac{1}{z} \Big(1+2^{z}+3^{z} + \ldots \Big) = - \frac{\zeta(-z)}{z}$$