Real Analysis – How to Evaluate Complex Definite Integral

ceiling-and-floor-functionsdefinite integralsfractional-partreal-analysissummation

$\{x\}$ is the fractional part of $x$.

$\{x\}=x-\lfloor x\rfloor$

I ended up with this double summation:
$$\lim\limits_{\substack{a\to\infty\\b\to\infty}}\sum_{m=1}^{a}\sum_{n=0}^{b}\left(\frac{1}{m}\ln\left(\frac{1-\frac{n+m}{n+m+1}}{1-\frac{n+m+1}{n+m+2}}\right)-\int_{\frac{1}{m}\frac{n+m}{n+m+1}}^{\frac{1}{m}\frac{n+m+1}{n+m+2}}\operatorname{floor}\left(\frac{1}{1-mx}\right)dx\right)$$

With $a=22$ and $b=100$, I approximated it at $0.432173036271$.

I got stuck at evaluating the integral of the floor function and I doubt I will be able to solve the double summation. Here is the Desmos graph I was working in if that is of any help.

Thanks in advance.

Best Answer

$\newcommand{\d}{\,\mathrm{d}}$A partial answer. We should find: $$\begin{align}I&=\int_0^1\left\{\frac{1}{x\cdot\{\frac{1}{x}\}}\right\}\d x\\&=\sum_{n=1}^\infty\int_{\frac{1}{n+1}}^{\frac{1}{n}}\left\{\frac{1}{x(\frac{1}{x}-n)}\right\}\d x\\&=\sum_{n=1}^\infty\sum_{m=n+1}^\infty\int_{\frac{m-1}{mn}}^{\frac{m}{(m+1)n}}\left(\frac{1}{1-nx}-m\right)\d x\\&=\sum_{n=1}^\infty\frac{1}{n}\sum_{m=n+1}^\infty\left[\ln\left(1+\frac{1}{m}\right)-\frac{1}{m+1}\right]\\&=\sum_{n=1}^\infty\frac{1}{n}\lim_{N\to\infty}[\ln(N)-\ln(n+1)-H_{N+1}+H_{n+1}]\\&=\sum_{n=1}^\infty\frac{H_{n+1}-\ln(n+1)-\gamma}{n}\\&=1-\sum_{n=1}^\infty\frac{\gamma-(H_n-\ln(n+1))}{n}\end{align}$$But I don't believe I know any nice representations for the error $H_n-\ln(n+1)-\gamma$ and don't know how to proceed. I am certain such representations exist, though. I mean, I can cook up some basic integrals but they don't have a nice form. It is nice to observe the numerators in the final form of that series are precisely the differences between the differences in area between the graphs of $1/\lfloor x\rfloor$ and $1/x$ over $[1,n+1]$ and the limit of these differences, $\gamma$. So crudely you could rewrite the summands as $\frac{\gamma}{n}-\frac{1}{n}\int_1^{n+1}\left(\frac{1}{\lfloor x\rfloor}-\frac{1}{x}\right)\d x$ but I doubt that that is useful.

Related Question