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)

20
votes
3answers
708 views

Integral $\int_0^\infty x^2\,e^{-x^2}\operatorname{erf}(x)\,\log(x)\,dx$

I need to evaluate this integral: $$I=\int_0^\infty x^2\,e^{-x^2}\operatorname{erf}(x)\,\log(x)\,dx\tag1$$ I tried to do this in Mathematica and it returned a result of the form ...
20
votes
3answers
270 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
4k 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
630 views

How to evaluate $\int_0^1\frac{\log^2(1+x)}x\mathrm dx$?

The definite integral $$\int_0^1\frac{\log^2(1+x)}x\mathrm dx=\frac{\zeta(3)}4$$ arose in my answer to this question. I couldn't find it treated anywhere online. I eventually found two ways to ...
20
votes
2answers
393 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 ...
20
votes
1answer
403 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 ...
20
votes
3answers
448 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
1answer
707 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 $$ ...
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
276 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
1answer
811 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: ...
19
votes
4answers
10k views

Discontinuous derivative.

Could someone give an example of a ‘very’ discontinuous derivative? I myself can only come up with examples where the derivative is discontinuous at only one point. I am assuming the function is ...
19
votes
6answers
1k views

Proof of $\int_0^\infty \frac{\sin x}{\sqrt{x}}dx=\sqrt{\frac{\pi}{2}}$

Numerically it seems to be true that $$ \int_0^\infty \frac{\sin x}{\sqrt{x}}dx=\sqrt{\frac{\pi}{2}}. $$ Any ideas how to prove this?
19
votes
5answers
337 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 ...
19
votes
2answers
1k views

Is a differentiable function on $(-2, 4)$ always integrable on $[-2, 4]$?

So my question is, say I have a function that is differentiable on $(-2, 4)$. Is it always integrable on $[-2, 4]$? I know that if $f$ is diff on $(-2, 4)$, then it is continuous on $(-2, 4)$. And I ...
19
votes
5answers
1k views

Evaluate: $\int_0^{\pi} \ln \left( \sin \theta \right) d\theta$

Evaluate: $ \displaystyle \int_0^{\pi} \ln \left( \sin \theta \right) d\theta$ using Gauss Mean Value theorem. Given hint: consider $f(z) = \ln ( 1 +z)$. EDIT:: I know how to evaluate it, but I am ...
19
votes
6answers
597 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 ...
19
votes
8answers
860 views

Integrate: $ \int_0^\infty \frac{\log(x)}{(1+x^2)^2} \, dx $ without using complex analysis methods

Can this integral be solved without using any complex analysis methods: $$ \int_0^\infty \frac{\log(x)}{(1+x^2)^2} \, dx $$ Thanks.
19
votes
5answers
791 views

Integrate $\int\sqrt\frac{\sin(x-a)}{\sin(x+a)}dx$

Integrate $$I=\int\sqrt\frac{\sin(x-a)}{\sin(x+a)}dx$$ Let $$\begin{align}u^2=\frac{\sin(x-a)}{\sin(x+a)}\implies ...
19
votes
2answers
1k views

Calculating $\int_{\pi/2}^{\pi}\frac{x\sin{x}}{5-4\cos{x}}\,\mathrm dx$

Calculate the following integral:$$\int_{\pi/2}^{\pi}\frac{x\sin{x}}{5-4\cos{x}}\,\mathrm dx$$ I can calculate the integral on $[0,\pi]$,but I want to know how to do it on $[\frac{\pi}{2},\pi]$.
19
votes
2answers
458 views

integrate square of $\arctan x$. Tricky

$$\int \left(\frac{\tan^{-1}x}{x-\tan^{-1}x}\right)^{2}dx$$ I ran across an integral I am having a time solving. The solution merely works out to $\displaystyle\frac{1+x\tan^{-1}x}{\tan^{-1}x-x}$, ...
19
votes
3answers
507 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 = ...
19
votes
4answers
460 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 ...
19
votes
2answers
391 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)\ ...
19
votes
2answers
1k views

Olympiad calculus problem

This problem is from a qualifying round in a Colombian math Olympiad, I thought some time about it but didn't make any progress. It is as follows. Given a continuous function $f : [0,1] \to ...
19
votes
3answers
344 views

Integral $\int_{0}^1\frac{\ln\frac{3+x}{3-x}}{\sqrt{x(1-x)}}dx$

I have a problem with the following integral: $$ \int_{0}^{1}\ln\left(\,3 + x \over 3 - x\,\right)\, {{\rm d}x \over \,\sqrt{\,x\left(\,1 - x\,\right)\,}\,} $$ The first idea was to use the ...
19
votes
3answers
724 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 ...
19
votes
4answers
425 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. ...
19
votes
3answers
438 views

Find the value of $\int_{0}^{\infty}\frac{x^3}{e^x-1}\ln(e^x - 1)\,dx$

I'm trying to figure out how to evaluate the following: $$ J=\int_{0}^{\infty}\frac{x^3}{e^x-1}\ln(e^x - 1)\,dx $$ I'm tried considering $I(s) = \int_{0}^{\infty}\frac{x^3}{(e^x-1)^s}\,dx\implies ...
19
votes
4answers
938 views

Evaluate $\int_0^\infty \frac{\log(1+x^3)}{(1+x^2)^2}dx$ and $\int_0^\infty \frac{\log(1+x^4)}{(1+x^2)^2}dx$

Background: Evaluation of $\int_0^\infty \frac{\log(1+x^2)}{(1+x^2)^2}dx$ We can prove using the Beta-Function identity that $$\int_0^\infty \frac{1}{(1+x^2)^\lambda}dx=\sqrt{\pi}\frac{\Gamma ...
19
votes
4answers
940 views

Evaluating $\int_0^1 \frac{\log x \log \left(1-x^4 \right)}{1+x^2}dx$

I am trying to prove that $$\int_0^1 \frac{\log x \log \left(1-x^4 \right)}{1+x^2}dx = \frac{\pi^3}{16}-3G\log 2 \tag{1}$$ where $G$ is Catalan's Constant. I was able to express it in terms of ...
19
votes
5answers
598 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 ...
19
votes
2answers
474 views

Evaluating $\int_0^{\infty} \text{sinc}^m(x) dx$

How do I evaluate $$I_m = \displaystyle \int_0^{\infty} \text{sinc}^m(x) dx,$$ where $m \in \mathbb{Z}^+$? For $m=1$ and $m=2$, we have the well-known result that this equals $\dfrac{\pi}2$. In ...
19
votes
1answer
405 views

Integral: $\int_0^{\pi} \frac{x}{x^2+\ln^2(2\sin x)}\,dx$

I am trying to solve the following by elementary methods: $$\int_0^{\pi} \frac{x}{x^2+\ln^2(2\sin x)}\,dx$$ I wrote the integral as: $$\Re\int_0^{\pi} \frac{dx}{x-i\ln(2\sin x)}$$ But I don't find ...
19
votes
1answer
329 views

A closed form for $\int_0^\infty\frac{e^{-x}\ J_0(x)\ \sin\left(x\,\sqrt[3]{2}\right)}{x}dx$

I am stuck with this integral: $$\int_0^\infty\frac{e^{-x}\ J_0(x)\ \sin\left(x\,\sqrt[3]{2}\right)}{x}dx,$$ where $J_0$ is the Bessel function of the first kind. Is it possible to express this ...
19
votes
4answers
335 views

An integral by O. Furdui $\int_0^1 \log^2(\sqrt{1+x}-\sqrt{1-x}) \ dx$

The following integral was proposed in a paper by O. Furdui, namely $$\int_0^1 \log^2(\sqrt{1+x}-\sqrt{1-x}) \ dx$$ and then the generalization $$\int_0^1 \log^2(\sqrt[k]{1+x}-\sqrt[k]{1-x}) \ ...
19
votes
3answers
827 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 ...
19
votes
4answers
304 views

Intriguing Indefinite Integral: $\int ( \frac{x^2-3x+1/3 }{x^3-x+1})^2 \mathrm{d}x$

Evaluate $$\int \left( \frac{x^2-3x+\frac{1}{3}}{x^3-x+1}\right)^2 \mathrm{d}x$$ I tried using partial fractions but the denominator doesn't factor out nicely. I also substituted ...
19
votes
3answers
215 views

Integrals of integer powers of dilogarithm function

I'm interested in evaluating integrals of positive integer powers of the dilogarithm function. I'd like to see the general case tackled if possible, or barring that then as many particular cases as ...
19
votes
3answers
768 views

A way of evaluating integrals without doing anything?

The user known as sos440 posted this: $$\begin{align*} \sum_{n=0}^\infty \frac{r^n}{n!} \int_0^\infty x^n e^{-x} \; dx & = \int_{0}^\infty \sum_{n=0}^\infty \frac{(rx)^n}{n!} e^{-x} \; dx = ...
19
votes
3answers
602 views

Evaluate $\int_0^{\pi/2} \frac{\ln\left(e^{2x} + 1\right)}{1 + \sin2x}\mathrm dx$

Here's my Xmas gift to all of you! I just encountered a very tough integral. $$\int_{0}^{\pi/2} \frac{\ln\left(e^{2x} + 1\right)}{1 + \sin2x}\mathrm dx$$ I have tried for a few hours. This task is ...
19
votes
2answers
338 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 ...
19
votes
1answer
369 views

Closed form for $\int_0^\infty\frac{\sqrt{x+\sqrt{x^2+1}}}{\sqrt{x\phantom{|}}\sqrt{x^2+1}}e^{-x}dx$

Is it possible to evaluate this integral in a closed form? $$\int_0^\infty\frac{\sqrt{x+\sqrt{x^2+1}}}{\sqrt{x\phantom{|}}\sqrt{x^2+1}}e^{-x}dx$$
19
votes
2answers
499 views

Ramanujan style nested differential Equation

So I was exploring some math the other day... and I came across the following neat identity: Given $y$ is a function of $x$ ($y(x)$) and $$ y = 1 + \frac{\mathrm{d}}{\mathrm{d}x} \left(1 + ...
18
votes
7answers
733 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.
18
votes
7answers
1k views

A simple way to evaluate $\int_{-a}^a \frac{x^2}{x^4+1} \, \mathrm dx$?

I am currently trying to show that $\int_{-\infty}^\infty \cos(x^2) \, \mathrm dx = \sqrt{\frac{\pi}{2}}$ and the last integral I have to evaluate is $$\int_{-a}^a \frac{x^2}{x^4+1} \, \mathrm dx.$$ ...
18
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 ...
18
votes
5answers
1k views

Can all real polynomials be factored into quadratic and linear factors?

So I understand how to do integration on rational functions with a linear and a quadratic denominator, and I understand how to do a partial fraction decomposition, but I was wondering what happens if ...
18
votes
5answers
1k views

Evaluating $\int_0^{\infty}\frac{\ln(x^2+1)}{x^2+1}dx$

How would I go about evaluating this integral? $$\int_0^{\infty}\frac{\ln(x^2+1)}{x^2+1}dx.$$ What I've tried so far: I tried a semicircular integral in the positive imaginary part of the complex ...
18
votes
3answers
516 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 ...