Intereting Posts

How to test whether two group presentations are isomorphic
Which Linear Algebra textbook would be best for beginners? (Strang, Lay, Poole)
Prove that a continuous function on a closed interval attains a maximum
Egyptian fraction series for $\frac{99}{70}-\sqrt{2}$
calculate the sum of an infinite series
Consider convergence of series: $\sum_{n=1}^{\infty}\sin\left$
Do 4 points in ${\mathbb R}^2$ in convex position define a unique elliplse that passes through those 4 points?
How many passwords can be formed from this maze?
Consider the function, f and its second derivative:
Why does «Massey cube» of an odd element lie in 3-torsion?
Basis for a topology with a countable number of sets
Spinor Mapping is Surjective
Relationships between AC, Ultrafilter Lemma/BPIT, Non-measurable sets
What is the sum $\sum_{k=0}^{n}k^2\binom{n}{k}$?
Calculate the binomial sum $ I_n=\sum_{i=0}^n (-1)^i { 2n+1-i \choose i} $

How do I integrate $$\int_{0}^1 x \bigg\lceil \frac{1}{x} \bigg\rceil \left\{ \frac{1}{x} \right\}\, dx$$

Where $\lceil x \rceil $ is the ceiling function, and $\left\{x\right\}$ is the fractional part function

- sum of series using mean value theorem
- Find the derivative of $\sqrt{x}$ using the formal definition of a derivative
- Prove that $\sum\limits_{n=0}^{\infty}{(e^{b_n}-1)}$ converges, given that $\sum\limits_{n=0}^{\infty}{b_n}$ converges absolutely.
- Solution of functional equation $f(x+y)=f(x)+f(y)+y\sqrt{f(x)}$
- limit of a sequence. might be related to Cesaro theorem
- Continued fraction of $e^{-2\pi n}$

- Calculus Integral from Partial Fractions
- Choosing a continuous function satisfying the mean value theorem
- Integration by Parts implies U-substitution?
- Under what condition we can interchange order of a limit and a summation?
- Limit, solution in unusual way
- An alternative proof for sum of alternating series evaluates to $\frac{\pi}{4}\sec\left(\frac{a\pi}{4}\right)$
- How can we show that $\int_{0}^{\pi/2}x\cos(8x)\ln\left(1+\tan x\over 1-\tan x\right)\mathrm dx={\pi\over 12}?$
- Why does substitution work in antiderivatives?
- Interesting log sine integrals $\int_0^{\pi/3} \log^2 \left(2\sin \frac{x}{2} \right)dx= \frac{7\pi^3}{108}$
- Does $\sum\limits_{n=1}^\infty\frac{1}{\sqrt{n}+\sqrt{n+1}}$ converge?

A related problem.

**Hint:** try to use the definition of the fractional part function which is defined by

$$ \left\{ x\right\} = x – \lfloor x\rfloor , $$

and the following relation between the floor and ceiling functions

$$ \lceil x \rceil – \lfloor x \rfloor = \begin{cases} 0&\mbox{ if } x\in \mathbb{Z}\\ 1&\mbox{ if } x\not\in \mathbb{Z} \end{cases}. $$

**Added:**

$$ \int_{0}^1 x \bigg\lceil \frac{1}{x} \bigg\rceil \left\{ \frac{1}{x} \right\}\, dx=\int_{0}^1 x (1+\lfloor 1/x \rfloor)(1/x-\lfloor1/x\rfloor)\, dx. $$

Now, make the change of variables $y=1/x$ to the last integral

$$\int_{0}^1 x (1+\lfloor 1/x \rfloor)(1/x-\lfloor1/x\rfloor)\, dx=\int_{1}^{\infty} \frac{1}{y} (1+\lfloor y \rfloor)(y-\lfloor y\rfloor)\, \frac{dy}{y^2}$$

$$\implies I = \sum_{n=1}^{\infty}\int_{n}^{n+1} \frac{1}{y^3} (1+n)(y-n)\, dy= \frac{1}{2}\sum_{n=1}^{\infty}\frac{1}{n(n+1)}=\frac{1}{2} $$

**Note:** To evaluate the sum, use the telescoping technique. First write the summand as

$$ \frac{1}{n(n+1)}= \frac{1}{n}-\frac{1}{n+1}. $$

Now, find the partial sum of the series

$$ s_n = \sum_{k=1}^{n} \left( \frac{1}{k}-\frac{1}{k+1} \right)=1-\frac{1}{n+1}. $$

Then the series sums to

$$ s = \lim_{n \to \infty} s_n = 1. $$

The main idea is to divide $(0,1)$ into “good” intervals. I’lll give only the main steps of computation

$$

\int\limits_{(0,1)} x \bigg\lceil \frac{1}{x} \bigg\rceil \left\{ \frac{1}{x} \right\} dx

=\sum\limits_{n=1}^\infty\int\limits_{n\leq \frac{1}{x}<n+1} x \bigg\lceil \frac{1}{x} \bigg\rceil \left\{ \frac{1}{x} \right\} dx

=\sum\limits_{n=1}^\infty\int\limits_{\frac{1}{n+1}< x\leq \frac{1}{n}} x (n+1) \left(\frac{1}{x}-n\right) dx

=\sum\limits_{n=1}^\infty\frac{1}{2n^2+2n}=\frac{1}{2}\sum\limits_{n=1}^\infty\left(\frac{1}{n}-\frac{1}{n+1}\right)=\frac{1}{2}

$$

Split the integral up into segments $S_m=[1/m,1/(m+1)]$ with $[0,1]= \cup_{m=1}^\infty S_m$. In the segment $m$, we have $\lceil 1/x \rceil=m+1$ and $\{1/x\} = 1/x- \lfloor 1/x\rfloor = 1/x – m$ (apart from values of $x$ on the boundary which do not contribute to the integral).

This yields

$$\begin{align}\int_0^1 x \bigg\lceil \frac{1}{x} \bigg\rceil \left\{ \frac{1}{x} \right\}\, dx &= \sum_{m=1}^\infty \int_{S_m}x \bigg\lceil \frac{1}{x} \bigg\rceil \left\{ \frac{1}{x} \right\}\, dx \\

&= \sum_{m=1}^\infty \int_{1/(m+1)}^{1/m} x (m+1)\left(\frac1x -m \right)\, dx\\

&= \sum_{m=1}^\infty \frac{1}{2m(1+m)}\\

&=\frac{1}{2}.

\end{align}$$

- Finite Element Method for a Two-Point Problem
- Projection Matrix onto null space of a vector
- Prove that there exist a branch
- How to evaluate the limit $\lim_{x\to 0} \frac{1-\cos(4x)}{\sin^2(7x)}$
- Homomorphisms and exact sequences
- To get addition formula of $\tan (x)$ via analytic methods
- A semicontinuous function discontinuous at an uncountable number of points?
- Prove that $2^{2^{\sqrt3}}>10$
- What's the last step in this proof of the uniqueness of equalizers?
- Proof that there is no Banach-Tarski paradox in $\Bbb R^2$ using finitely additive invariant set functions?
- Bochner Integral: Axioms
- Calculate Inverse Laplace transform
- When is the kernel pair of a finite presentation of algebraic structures finitely generated?
- Localisation isomorphic to a quotient of polynomial ring
- Extension of Riemannian Metric to Higher Forms