Concerns all aspects of integration, including the integral definition and computational methods. For questions solely about the properties of integrals, use in conjunction with (indefinite-integral), (definite-integral), (improper-integrals) or another tag(s) that typically describe(s) the types of ...

learn more… | top users | synonyms (3)

21
votes
4answers
492 views

Prove that $\int_0^1 \frac{{\rm{Li}}_2(x)\ln(1-x)\ln^2(x)}{x} \,dx=-\frac{\zeta(6)}{3}$

I have spent my holiday on Sunday to crack several integral & series problems and I am having trouble to prove the following integral \begin{equation} \int_0^1 ...
21
votes
3answers
1k views

How to find $\int x^{1/x}\mathrm dx$

EDIT: The full answer has been posted by myself. Feel free to check the logic within. How does one indefinitely integrate a function in the form of $$f(x)=x^{1/x}$$ Looking at all the things that I ...
21
votes
3answers
1k views

Who realized $\int \frac 1x dx =\ln(x)+c$?

Who discovered the non-obvious $\int \frac 1x dx=\ln(x)+c$ ? Were power series involved? The series look similar on opposite sides of 1: $$ \frac 1x =\sum_{n=0}^\infty (-1+x)^n \text{ for } ...
21
votes
2answers
476 views

Closed-form of $\sum_{n=1}^\infty\frac{(-1)^{n+1}}{n}\Psi_3(n+1)=-\int_0^1\frac{\ln(1+x)\ln^3 x}{1-x}\,dx$

Does the following series or integral have a closed-form \begin{equation} \sum_{n=1}^\infty\frac{(-1)^{n+1}}{n}\Psi_3(n+1)=-\int_0^1\frac{\ln(1+x)\ln^3 x}{1-x}\,dx \end{equation} where ...
21
votes
2answers
414 views

Integral $\int_0^1\frac{\ln x}{x^2+1}\cdot\ln\left(\frac{3\,x^2+1}{x^2+3}\right)dx$

I need to evaluate the following integral: $$\int_0^1\frac{\ln x}{x^2+1}\cdot\ln\left(\frac{3\,x^2+1}{x^2+3}\right)dx.$$ Could you suggest how to find a closed form for it? I am not sure if there is ...
21
votes
3answers
585 views

Math contest: Find number of roots of $F(x)=\frac{n}{2}$ involving a strange integral.

Edit summary: A good answer appeared. CW full answer added, based on given answers. Removing my ugly-looking attempts, as they still remain in the rev. history. Here's a final-round calculus ...
21
votes
2answers
348 views

Find the closed form of $\sum_{n=1}^{\infty} \frac{H_{ n}}{2^nn^4}$

One of the possible ways of computing the series is to obtain the generating function, but this might be a tedious, hard work, pretty hard to obtain. What would you propose then? ...
21
votes
3answers
676 views

Compute $\int_0^\pi\frac{\cos nx}{a^2-2ab\cos x+b^2}\, dx$

How to compute the following integral \begin{equation} \int_0^\pi\frac{\cos nx}{a^2-2ab\cos x+b^2}\, dx \end{equation} I have been given two integral questions by my teacher. I cannot answer ...
21
votes
2answers
1k views

Do Integrals over Fractals Exist?

Given, for example, a line integral like $$ \int_\gamma f \; ds $$ with $f$ not further defined, yet. What happens, if the contour $\gamma$ happens to be a fractal curve? Since all fractal ...
21
votes
3answers
456 views

An integral $\int_0^\infty P_s(x-1)\,e^{-x}\,dx$ involving Legendre functions

Let $P_s(x)$ denote the Legendre functions of the $1^{st}$ kind, i.e. the Legendre polynomial generalized to an arbitrary (not necessarily integer) order $s$. It can be expressed using the ...
21
votes
2answers
357 views

Prove the integral evaluates to $\frac{K}{\pi}$

Yesterday I received the following integral that might require some tedious steps to do $$\int_0^{\infty}{\small\left[ \frac{x}{\log^2\left(e^{\large x^2}-1\right)}- \frac{x}{\sqrt{e^{\large ...
21
votes
1answer
409 views

How to find $\int_0^\infty \prod_{k=1}^n \frac{\sin \frac{x}{2k-1}}{\frac{x}{2k-1}}\mathrm dx$

I am trying to calculate the integral $$ I_n=\int \limits_0^\infty \prod_{k=1}^n \frac{\sin \frac{x}{2k-1}}{\frac{x}{2k-1}}\mathrm dx. $$ (I have literature on this, if people want). Note, we can ...
21
votes
2answers
900 views

Integral $\int_0^{\pi/2}\frac{x}{\sin x}\log^2\left(\frac{1+\cos x-\sin x}{1+\cos x+\sin x}\right)dx$

Please help me to evaluate this integral: $$\large\int_0^{\pi/2}\frac{x}{\sin x}\log^2\left(\frac{1+\cos x-\sin x}{1+\cos x+\sin x}\right)dx$$
21
votes
2answers
503 views
21
votes
1answer
747 views

Integral $\int_0^\infty\frac{\ln\left(\sqrt{x+1\vphantom{x^0}}-1\right)\,\ln\left(\sqrt{x^{-1}+1}+1\right)}{(x+1)^{3/2}}dx$

Another integral similar to my previous question: $$\int_0^\infty\frac{\ln\left(\sqrt{x+1\vphantom{x^0}}-1\right)\,\ln\left(\sqrt{x^{-1}+1}+1\right)}{(x+1)^{3/2}}dx$$ Could you suggets how to evaluate ...
21
votes
4answers
440 views

Evaluating $\int^1_0 \frac{\log(1+x)\log(1-x) \log(x)}{x}\, \mathrm dx$

In this thread a friend posted the following integral $$I=\int^1_0 \frac{\log(1+x)\log(1-x) \log(x)}{x}\, \mathrm dx$$ The best we could do is expressing it in terms of Euler sums ...
21
votes
1answer
486 views

Integral for function of square

Let $f:[0,\infty) \rightarrow \mathbb R$ be a strictly positive, decreasing, differentiable function, such that $$f(0) = 1, \quad \lim_{x\rightarrow \infty} f(x) = 0$$ and $$\frac{1}{f(x)^2} = ...
21
votes
1answer
719 views

Integral $\int_{-\infty}^\infty J^3_0(x) e^{i\omega x}\mathrm dx $

Hi I am trying to evaluate the integral $$ \mathcal{I}(\omega)=\int_{-\infty}^\infty J^3_0(x) e^{i\omega x}\mathrm dx $$ analytically. We can also write $$ ...
21
votes
1answer
403 views

Integral $\int_0^1\frac{\log(x)\log^2(1-x)\log^2(1+x)}{x}\mathrm dx$

I decided to follow a recent trend and ask a question about logarithmic integrals :) Is there a closed form for this integral? $$\int_0^1\frac{\log(x)\log^2(1-x)\log^2(1+x)}{x}\mathrm dx$$
21
votes
6answers
762 views

The formalism behind integration by substitution

When you are doing an integration by substitution you do the following working. $$\begin{align*} u&=f(x)\\ \Rightarrow\frac{du}{dx}&=f^{\prime}(x)\\ \Rightarrow ...
21
votes
2answers
1k views

Integral $\int_1^\infty\frac{dx}{1+2^x+3^x}$

Can the integral $$\int_1^\infty\dfrac{dx}{1+2^x+3^x}$$ be given in closed form? This question arises naturally when I considered doing integrals. What makes an integral hard? Well, the integrand, of ...
21
votes
1answer
335 views

Evaluating :$\int \frac{1}{x^{10} + x}dx$

$$\int \frac{1}{x^{10} + x}dx$$ My solution : $$\begin{align*} \int\frac{1}{x^{10}+x}\,dx&=\int\left(\frac{x^9+1}{x^{10}+x}-\frac{x^9}{x^{10}+x}\right)\,dx\\ ...
21
votes
1answer
361 views

A closed form for $\int_0^\infty\left(\frac{2^{-x}-3^{-x}}x\right)^adx,\ a\notin\mathbb{Z}^+$

Let $$I(a)=\int_0^\infty\left(\frac{2^{-x}-3^{-x}}x\right)^adx.$$ $I(a)$ has closed form representations for all $a\in\mathbb{Z}^+$. Is there any algebraic (or at least period) ...
21
votes
2answers
368 views

Does $\int_{-1}^1\frac{\arctan x}{\text{arctanh}\,x}\,dx$ have a closed form?

Mathematica gives an approximate result of $1.581949621806183890451628...$, but no exact form. I predict it's a function of $e$ and $\pi$, and perhaps even the Golden Ratio $\phi$ (It certainly ...
21
votes
3answers
573 views

Evaluating $\int{ \frac{\arctan\sqrt{x^{2}-1}}{\sqrt{x^{2}+x}}} \,dx$

How to integrate? $$\int{ \frac{\arctan\sqrt{x^{2}-1}}{\sqrt{x^{2}+x}}}\, dx$$ I have no idea how to do it. Tried to get some information from wiki, but its too hard :|
20
votes
10answers
2k views

What is the most efficient method to evaluate this indefinite integral?

$$\int x^5 e^x\,\mathrm{d}x$$ Is there another, more efficient way to solve this integral that is not integration by parts?
20
votes
3answers
824 views

Integrate $\int_0^{\pi/2} \frac{1}{1+\tan^\alpha{x}}\,\mathrm{d}x$

Evaluate the integral $$\int_0^{\pi/2} \frac{1}{1+\tan^\alpha{x}}\,\mathrm{d}x$$
20
votes
5answers
368 views

Closed form of $\int_0^\infty \ln \left( \frac{x^2+2kx\cos b+k^2}{x^2+2kx\cos a+k^2}\right) \;\frac{\mathrm dx}{x}$

Today I discussed the following integral in the chat room $$\int_0^\infty \ln \left( \frac{x^2+2kx\cos b+k^2}{x^2+2kx\cos a+k^2}\right) \;\frac{\mathrm dx}{x}$$ where $0\leq a, b\leq \pi$ and ...
20
votes
5answers
1k views

Evaluating $\int\limits_0^\infty \! \frac{x^{1/n}}{1+x^2} \ \mathrm{d}x$

I've been trying to evaluate the following integral from the 2011 Harvard PhD Qualifying Exam. For all $n\in\mathbb{N}^+$ in general: $$\int\limits_0^\infty \! \frac{x^{1/n}}{1+x^2} \ \mathrm{d}x$$ ...
20
votes
6answers
608 views

Is there a fundamental reason that $\int_b^a = -\int_a^b$

Is there a fundamental reason that switching the order of the limits in an integral results in the negative, i.e., $$\int_b^af(x)\,dx = -\int_a^bf(x)\,dx?$$ As far as I can tell, this is just chosen ...
20
votes
5answers
826 views

Computing $\lim\limits_{n\to+\infty}n\int_{0}^{\pi/2}xf(x)\cos ^n xdx$

I got stuck at the following problem. Let $f\in C([0,\pi/2])$, then compute $$ \lim_{n\to+\infty}n\int\limits_{0}^{\pi/2}xf(x)\cos ^n xdx $$ Could you suggest a helpful idea?
20
votes
3answers
513 views

If $\alpha$ is an acute angle, show that $\displaystyle \int_0^1 \frac{dx}{x^2+2x\cos{\alpha}+1} = \frac{\alpha}{2\sin{\alpha}}.$

If $\alpha$ is an acute angle, show that $\displaystyle \int_0^1 \frac{dx}{x^2+2x\cos{\alpha}+1} = \frac{\alpha}{2\sin{\alpha}}.$ My attempt: Write $x^2+2x\cos{\alpha}+1 = ...
20
votes
2answers
409 views

A closed form for $\int_0^\infty\frac{\sin(x)\ \operatorname{erfi}\left(\sqrt{x}\right)\ e^{-x\sqrt{2}}}{x}dx$

Let $\operatorname{erfi}(x)$ be the imaginary error function $$\operatorname{erfi}(x)=\frac{2}{\sqrt{\pi}}\int_0^xe^{z^2}dz.$$ Consider the integral $$I=\int_0^\infty\frac{\sin(x)\ ...
20
votes
3answers
772 views

Evaluating $\int_0^\pi\arctan\bigl(\frac{\ln\sin x}{x}\bigr)\mathrm{d}x$

I found the following integral as a by product of another one. It has a nice closed form. $$ \int_{0}^{\pi} \arctan\left(\ln\left(\sin x \right) \over x\right)\,{\rm d}x $$ Mathematica and ...
20
votes
4answers
444 views

Evaluating $\int_{0}^{\infty} \frac{x^{3}- \sin^{3}(x)}{x^{5}} \ dx $ using contour integration

EDIT: Instead of expressing the integral as the imaginary part of another integral, I instead expanded $\sin^{3}(x)$ in terms of complex exponentials and I don't run into problems anymore. ...
20
votes
4answers
630 views

Evaluating $\lim \limits_{n\to \infty}\,\,\, n\!\! \int\limits_{0}^{\pi/2}\!\! \left(1-\sqrt [n]{\sin x} \right)\,\mathrm dx$

Evaluate the following limit: $$\lim \limits_{n\to \infty}\,\,\, n\!\! \int\limits_{0}^{\pi/2}\!\! \left(1-\sqrt [n]{\sin x} \right)\,\mathrm dx $$ I have done the problem . My method: First I ...
20
votes
3answers
288 views

A closed form for $\int_0^\infty e^{-a\,x} \operatorname{erfi}(\sqrt{x})^3\ dx$

Let $\operatorname{erfi}(x)$ be the imaginary error function $$\operatorname{erfi}(x)=\frac{2}{\sqrt{\pi}}\int_0^xe^{z^2}dz.$$ Consider the following parameterized integral $$I(a)=\int_0^\infty ...
20
votes
2answers
5k views

Will moving differentiation from inside, to outside an integral, change the result?

I'm interested in the potential of such a technique. I got the idea from Moron's answer to this question, which uses the technique of differentiation under the integral. Now, I'd like to consider ...
20
votes
3answers
907 views

Evaluating the integral $\int_{-\infty}^\infty \frac {dx}{\cos x + \cosh x}$

Many recent questions have been asked here similar to this integral $$\int_{-\infty}^\infty \frac {dx}{\cos x + \cosh x} = 2.39587\dots$$ whose "closed form" I cannot seem to figure out. I have ...
20
votes
3answers
455 views

Closed form for integral $\int_{0}^{\pi} \left[1 - r \cos\left(\phi\right)\right]^{-n} \phi \,{\rm d}\phi$

Is there a closed form for $$I_n =\int_{0}^{\pi} \frac{\phi}{(1 - r \cos\phi)^n} \,{\rm d}\phi $$ for $\left\vert\,r\,\right\vert < 1$ real and $n > 0$ integer ? The solution to this integral ...
20
votes
2answers
894 views

A Challenging Integral $\int_0^{\frac{\pi}{2}}\log \left( x^2+\log^2(\cos x)\right)dx$

I encountered a strange integral with a strange result. $$\int_0^{\frac{\pi}{2}}\log \left( x^2+\log^2(\cos x)\right)dx = \pi \log \left(\log (2) \right)$$ Believe it or not, the result agrees ...
20
votes
2answers
1k views

Does integration by parts with “deja vu” have a name?

In some integration by parts problems, such as evaluating the integral of $e^x \cos x$ or $\sec^ 3 x$, one performs integration by parts (possibly more than once, and possibly together with algebraic ...
20
votes
1answer
289 views

A combination integral and series resulting the inverse tangent integral

$\def\Ti{{\rm{Ti}}_2}$I have been able to solve an integral problem, now I tried to use the other method to crack the integral and I have to prove the following expression \begin{equation} ...
20
votes
2answers
397 views

What is the integral of $e^{a \cdot x+b \cdot y}$ evaluated over the Koch Curve

What is $$\int_{K} e^{a \cdot x+ b \cdot y} \mu(x,y)$$ where $K$ is the Koch curve and $\mu(x,y)$ is a uniform measure look here. Attempt: I can evaluate the integral numerically and I have derived ...
20
votes
1answer
826 views

Interesing, hard limit with sum, involving $\pi$

Yesterday I was boring so I decided to derive formula for area of circle with integrals. Very good exercise, I think, because I forgot many, many things about integrals. So I started with: ...
20
votes
0answers
742 views

About the integral $\int_{0}^{+\infty}\sin(x\,\log x)\,dx$

It is an interesting exercise to show that the function $f(x)=\sin(x\log x)$ is Riemann-integrable over $\mathbb{R}^+$ (as shown by robjohn in this related question, for instance). Even more ...
19
votes
7answers
798 views

Evaluate $\int_0^\infty\frac{\ln x}{1+x^2}dx$

Evaluate $$\int_0^\infty\frac{\ln x}{1+x^2}\ dx$$ I don't know where to start with this so either the full evaluation or any hints or pushes in the right direction would be appreciated. Thanks.
19
votes
2answers
1k views

Is indefinite integration non-linear?

Let us consider this small problem: $$ \int0\;dx = 0\cdot\int1\;dx = 0\cdot(x+c) = 0 \tag1 $$ $$ \frac{dc}{dx} = 0 \qquad\iff\qquad \int 0\;dx = c, \qquad\forall c\in\mathbb{R} \tag2 $$ These are two ...
19
votes
3answers
593 views

Integral $\int_0^{\infty} \frac{\log x}{\cosh^2x} \ \mathrm{d}x = \log\frac {\pi}4- \gamma$

Inspired by the user @Integrals, I thought I'd find some nice integrals! Especially interesting are those involving $\log \pi$. From Borwein and Devlin's "The Computer as Crucible", pg. 58 - show that ...
19
votes
5answers
1k views

Prove: $\int_0^1 \frac{\ln x }{x-1} d x=\sum_1^\infty \frac{1}{n^2}$

I'd like your help with proving that $$\int_0^1 \frac{\ln x }{x-1}d x=\sum_{n=1}^\infty \frac{1}{n^2}.$$ I tried to use Fourier series, or to use a power series and integrate it twice but it didn't ...