5 votos

Cierre forma $\int_0^x \{1/t \}\,\mathrm{d}t$, $x \in \mathbb{R}_+$ y relacionadas.

Después de algunas pruebas creo que

Conjetura 1 Deje $x \in \mathbb{R}_+$ $$ \int_{0}^{x}\left\{\,1 \sobre t\,\right\}\,{\rm d}t = 1 - \gamma + H_{\left\{1/x\right\}} - x\left\lfloor\, 1/x\,\right\rfloor + \log\left(\,x\,\right) $$

Donde $\{x\} = x - \left\lfloor\, x\,\right\rfloor$ es la parte fraccionaria de un número y $H_{n} = \sum_{k=1}^{n} 1/n$ es la suma de los $n$ primer armónico de los números. Me han confirmado el resultado anterior para integral para $x\geq 1$. Se reduce a $$ \int_0^x \left\{1 \over t\right\}\,{\rm d}t = 1 - \gamma + \log\left(\,x\,\right)\,, \qquad x \geq 1 $$ ¿El resultado anterior presionado para $x \in \left(\,0,1\,\right)$ ? ¿El más general integral $$ \int_{0}^{x}\left\{\,1 \sobre t\,\right\}^{p}\,{\rm d}t = 1 - \gamma $$ Donde $x \in \mathbb{R}$ $p \geq 1$ tienen una similar forma cerrada?

Sé el caso de la $p \geq 1$ $x=1$ ha sido resuelto.

5voto

Renan Puntos 6004

Vamos a centrarnos en el caso de $x \in (0,1)$, la parte difícil.

Conjetura 1 Deje $x \in (0,1)$, $ $ \int_0^x \left\{ \frac{1}{t} \right\}\,\mathrm{d}t = 1 - \gamma + H_{\{1/x\}} - x\lfloor1/x\rfloor + \log x$$

(donde $\{x\} = x - \lfloor x\rfloor$ es la parte fraccionaria de un número y $H_n = \sum_{k=1}^n 1/k$ son los armónicos números).

Por favor, su Conjetura 1, como se indicó anteriormente, es no de acuerdo con los resultados numéricos obtenidos a partir de WA/Mathematica, al $x=\frac12, \frac13, \frac14, \cdots$. Podría usted por favor, compruebe?

Por ejemplo, usted puede encontrar que $$ \int_0^{1/2} \left\{ \frac{1}{t} \right\}\,\mathrm{d}t = \frac32- \gamma \log 2 = 0.2296371545 ... , $$ whereas putting $x=1/2$ en la Conjetura 1 no da el mismo resultado (que produce un número negativo).

Podríamos sugerir el parcial siguiente conjetura.

Conjetura. Deje $q$ ser cualquier número entero tal que $q \geq 1.$ $ $ \begin{align} \int_0^{1/q} \left\{ \frac{1}{t} \right\}\,\mathrm{d}t &= H_{q}- \gamma- \log q \qquad (*) \quad (proved) \\ \\ \int_0^{1/q} \left\{ \frac{1}{t} \right\}^2\,\mathrm{d}t &= H_{q}- \gamma+\log(2\pi)+2q\log q-2q-2\log(q!) \qquad (**) \end {align} $$

Esto coincide con las aproximaciones numéricas.


Tenemos el siguiente resultado.

La proposición. Deje $x$ ser un número real tal que $x >0$ y deje $p=1,2,3, ... .$ $$ \begin{align} \int_0^x &\left\{ \frac{1}{t} \right\}^p\mathrm{d}t = (-1)^p \lfloor1/x\rfloor^p \left(x-\frac{1}{\lfloor1/x\rfloor+1} \right) - (-1)^p p\lfloor1/x\rfloor^{p-1} \log \left(x\lfloor1/x\rfloor+x \right) \\ &+ \sum_{k=2}^p \frac{(-1)^{p-k}}{k-1}{p \choose k} \lfloor1/x\rfloor^{p-k}\left( (\lfloor1/x\rfloor+1)^{k-1}-\frac{1}{x^{k-1}}\right) + \int_0^{{\small \displaystyle \frac{1}{\lfloor1/x\rfloor+1}}} \left\{ \frac{1}{t} \right\}^p\mathrm{d}t \end{align} $$

Prueba. Empezamos como aziiri hizo. $$\begin{align} \int_0^x \left\{\frac{1}{t} \right\}^p \mathrm{d}t & = \int_{1/x}^{\infty} \frac{\{u\}^p}{u^2} \mathrm{d}u \\ & = \int_{1/x}^{\lfloor1/x\rfloor+1} \frac{\{u\}^p}{u^2} \mathrm{d}u +\int_{\lfloor1/x\rfloor+1}^{\infty} \frac{\{u\}^p}{u^2} \mathrm{d}u \\ & = \int_{1/x}^{\lfloor1/x\rfloor+1} \frac{(u-\lfloor1/x\rfloor)^p}{u^2} \mathrm{d}u +\int_0^{{\small \displaystyle \frac{1}{\lfloor1/x\rfloor+1}}} \left\{ \frac{1}{t} \right\}^p\mathrm{d}t \end{align}$$ a continuación, aplicamos el binomio de expansión a lo explícito de la primera integral en la última línea.

Claramente el problema se reduce a encontrar un general de la forma cerrada para las integrales $$ \int_0^{1/q} \left\{ \frac{1}{t} \right\}^p\mathrm{d}t $$ para$p=1,2,3, ... $$q=1,2,3, ...$.

5voto

sfletche Puntos 151

Lo primero que establece $y=1/t$ y $n=\lfloor 1/x\rfloor$ (por simplicidad), luego $$ \begin{aligned}f(x)= \int0^x \left{ \frac{1}{t} \right}\,\mathrm{d}t &= \int{1/x}^{\infty} \frac{{y}}{y^2} \ \mathrm{d}y = \left(\sum_{k=n+1}^{\infty} \intk^{k+1} \frac{x-k}{x^2} \ \mathrm{d}y\right) +\int{1/x}^{n+1} \frac{y-n}{y^2} \end{} $$ Integrate simply to get : $% $ $\begin{aligned} f(x)&=n \left(\frac{1}{n+1}-x\right)+\log (n+1)+\log (x)+ \sum{k=n+1}^{\infty} \ln (k+1) -\log k - \frac{1}{k+1} \ &=n \left(\frac{1}{n+1}-x\right)+\log (n+1)+\log (x)+H{n+1}-\log (n+1) -\gamma \ &=n \left(\frac{1}{n+1}-x\right)+\log (x)+H_{n+1}-\gamma \end{aligned}$

Ahora, no dude en sustituir $n=\lfloor 1/x\rfloor$ y tal vez simplificar la expresión utilizando algunas identidades de parte del entero.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X