# Compute $\int_{0}^{1}\left[\frac{2}{x}\right]-2\left[\frac{1}{x}\right]dx$

The question is to find $$\int_{0}^{1}\left[\dfrac{2}{x}\right]-2\left[\dfrac{1}{x}\right]dx,$$

where $[x]$ is the largest integer no greater than $x$, such as $[2.1]=2, \;[2.7]=2,\; [-0,1]=-1.$

Is there any nice method to solve this integral,Thank you everyone.

Some of my thoughts: I have if $a\in(0,1]$, then $$\int_{0}^{1}\left[\dfrac{a}{x}\right]-a\left[\dfrac{1}{x}\right]dx=a\ln{a}.$$

What about $a>1$, $$\int_{0}^{1}\left[\dfrac{a}{x}\right]-a\left[\dfrac{1}{x}\right]dx=?$$

and $$\int_{0}^{1}\left(\left[\dfrac{2}{x}\right]-2\left[\dfrac{1}{x}\right]\right)^{2}dx=?$$

becasue I have $$\int_{0}^{1}\left(\dfrac{1}{x}-\left[\dfrac{1}{x}\right]\right)^2=-1-\gamma+\ln{(2\pi)}$$

-

We have $$\left\lfloor \dfrac1x \right\rfloor = n \text{ if }x \in \left(\dfrac1{n+1}, \dfrac1n\right]$$ $$\left\lfloor \dfrac2x \right\rfloor = \begin{cases}2n+1 & \text{ if }x \in \left(\dfrac1{n+1}, \dfrac1{n+1/2}\right] \\ 2n & \text{ if }x \in \left(\dfrac1{n+1/2}, \dfrac1{n}\right] \end{cases}$$ We hence have $$\left\lfloor \dfrac2x \right\rfloor - 2 \left\lfloor \dfrac1x \right\rfloor = \begin{cases} 1 & \text{ if }\left(\dfrac1{n+1}, \dfrac1{n+1/2}\right] \\ 0 & \text{ if }x \in \left(\dfrac1{n+1/2}, \dfrac1{n}\right] \end{cases}$$ Hence, $$\int_0^1 \left( \left\lfloor \dfrac2x \right\rfloor - 2 \left\lfloor \dfrac1x \right\rfloor\right) dx = \sum_{n=1}^{\infty} \left(\dfrac1{n+1/2} - \dfrac1{n+1}\right) = 2\log2-1$$

One way to evaluate $$\sum_{n=1}^{\infty} \left(\dfrac1{n+1/2} - \dfrac1{n+1}\right)$$ is as follows. We have $$f(x) = \sum_{n=1}^{\infty} \left(x^{n-1/2} - x^{n} \right) = \sum_{n=1}^{\infty} x^{n-1}\left(\sqrt{x} -x\right) = \dfrac{\sqrt{x}-x}{1-x} = \dfrac{\sqrt{x}}{1+\sqrt{x}}$$ Now we have $$\int_0^1 f(x) dx = \sum_{n=1}^{\infty} \left(\int_0^1 x^{n-1} dx - \int_0^1 x^{n-1/2} dx\right) = \sum_{n=1}^{\infty} \left(\dfrac1n - \dfrac1{n+1/2}\right)$$ We also have \begin{align} \int_0^1 f(x) dx & = \int_0^1 \dfrac{\sqrt{x}dx}{1+\sqrt{x}} = \int_0^1 \dfrac{2t^2dt}{1+t} = 2\int_0^1 \dfrac{dt}{1+t} + 2\int_0^1 \dfrac{(t^2-1)dt}{1+t}\\ & = 2 \log(2) + 2 \int_0^1 (t-1) dt= 2\log(2)-1 \end{align}

-
It's nice,Thank you, I think $$\int_{0}^{1}\left[\dfrac{a}{x}\right]-a\left[\dfrac{1}{x}\right]dx=a\ln{a}-1? a>1$$ –  math110 Jun 5 '13 at 3:56

You just have to figure out where the integrand is nonzero. In this case, the integrand really takes the value

$$\left\lfloor \frac{2}{x} \right\rfloor - 2\left \lfloor \frac{1}{x} \right\rfloor = \begin{cases} \\0 & x \in \left [ \frac{2}{2 n+1},\frac{2}{2 n}\right )\\ 1 & x \in \left [ \frac{2}{2 n},\frac{2}{2 n-1}\right ) \end{cases}$$

for $n \ge 1$ and $x \in [0,1]$. Here is a plot generated in Mathematica:

Thus, the integral is just a sum of the interval lengths over which the integrand has the value of $1$:

\begin{align}\int_0^1 dx \, \left ( \left\lfloor \frac{2}{x} \right\rfloor - 2\left \lfloor \frac{1}{x} \right\rfloor \right ) &= \frac{2}{3} - \frac{2}{4} + \frac{2}{5} - \frac{2}{6} + \ldots \\ &= 2 \left [ \sum_{k=1}^{\infty} \frac{(-1)^{k+1}}{k} - \frac12 \right ]\\ &= 2 \log{2} - 1\end{align}

-
You can use \left\lfloor and \right\rfloor –  Pedro Tamaroff Jun 5 '13 at 3:49
It's nice,That's right.Thank you –  math110 Jun 5 '13 at 3:51

Hint: If you start drawing this function, you will see that this integral can be expressed as a discrete (but infinite) sum of areas. So rather than evaluating an integral, you can evaluate a series instead. Finding that series is a big part of this problem.

-

Here is another solution using some advanced concept:

Let $I$ denote the integral in question. With the substitution $x \mapsto \frac{1}{x}$, we have

$$I = \int_{1}^{\infty} \frac{[2x] - 2[x]}{x^2} \, dx.$$

Now performing the integration by parts,

\begin{align*} I &= \left[ - \frac{[2x] - 2[x]}{x} \right]_{1^{-}}^{\infty} + \int_{1^{-}}^{\infty} \frac{1}{x} d([2x] - 2[x]) \\ &= 1 + \lim_{n \to \infty} \int_{1^{-}}^{n^{+}} \frac{1}{x} d([2x] - 2[x]) \\ &= 1 + \lim_{n \to \infty} \left( \int_{1^{-}}^{n^{+}} \frac{1}{x} d[2x] - 2 \int_{1^{-}}^{n^{+}} \frac{1}{x} d[x] \right) \\ &= 1 + 2 \lim_{n \to \infty} \left( \int_{2^{-}}^{2n^{+}} \frac{1}{x} d[x] - \int_{1^{-}}^{n^{+}} \frac{1}{x} d[x] \right) \\ &= 1 + 2 \lim_{n \to \infty} \left( \sum_{k=2}^{2n} \frac{1}{k} - \sum_{k=1}^{n} \frac{1}{k} \right) \\ &= 1 + 2 \lim_{n \to \infty} \left(-1 + \sum_{k=1}^{n} \frac{1}{n+k} \right) \\ &= 2 \log 2 - 1. \end{align*}

-
wa,That's nice methods!Thank you my frend @sos440 –  math110 Jun 5 '13 at 4:07
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 2, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 1.000009536743164, "perplexity": 907.5136579145595}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 5, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2014-52/segments/1418802768977.107/warc/CC-MAIN-20141217075248-00139-ip-10-231-17-201.ec2.internal.warc.gz"}