2
votes
0answers
31 views

Prove $\int_0^1 \frac{\ln(1+t^{4+\sqrt{15}})}{1+t}dt= -\frac{\pi^2}{12}(\sqrt{15}-2)+\ln (2) \ln(\sqrt{3}+\sqrt{5})+\ln(\phi) \ln(2+\sqrt{3})$

Prove that: \begin{equation} \int_0^1 \frac{\ln\left(1+t^{4+\sqrt{15}}\right)}{1+t}dt= -\frac{\pi^2}{12}(\sqrt{15}-2)+\ln (2) \ln(\sqrt{3}+\sqrt{5})+\ln(\phi) \ln(2+\sqrt{3}) \end{equation} ...
12
votes
2answers
343 views
+100

Closed form for the integral $\int_{0}^{\infty}\frac{\ln^{2}(x)\ln(1+x)}{(1-x)(x^{2}+1)}dx$

Here is a challenging one maybe some would like a go at. Show that: ...
12
votes
5answers
286 views

The other ways to calculate $\int_0^1\frac{\ln(1-x^2)}{x}dx$

Prove that $$\int_0^1\frac{\ln(1-x^2)}{x}dx=-\frac{\pi^2}{12}$$ without using series expansion. An easy way to calculate the above integral is using series expansion. Here is an example ...
9
votes
3answers
114 views

Proof of $\int_0^\infty \frac{x^{\alpha}dx}{1+2x\cos\beta +x^{2}}=\frac{\pi\sin (\alpha\beta)}{\sin (\alpha\pi)\sin \beta }$

I found a nice formula of the following integral here $$\int_0^\infty \frac{x^{\alpha}dx}{1+2x\cos\beta +x^{2}}=\frac{\pi\sin (\alpha\beta)}{\sin (\alpha\pi)\sin \beta }$$ It states there that ...
2
votes
2answers
90 views

How to do this integral $\int_{-\pi}^{\pi} x^n \cos^m(x) dx$?

is there a way to explicitely evaluate this integral for natural numbers $n,m$: $$\int_{-\pi}^{\pi} x^n \cos^m(x) dx.$$ Apparently, if $n$ is odd, this integral is zero due to symmetry.
10
votes
3answers
190 views

Prove that $\int_0^1\frac{\ln(1-x)\ln^2x}{x-1}dx=\frac{\pi^4}{180}$

Prove that (please) $$\int_0^1\frac{\ln(1-x)\ln^2x}{x-1}dx=\frac{\pi^4}{180}$$ I've tried using Taylor series and I ended up with $$-\sum_{m=0}^\infty\sum_{n=1}^\infty\frac{2}{n(m+n+1)^3}$$ I am ...
2
votes
0answers
92 views

Line integral $\int_{\gamma}e^xcos(y)dx+e^xsin(y)dy$

First of all, I'm having trouble evaluating $$\int_{\gamma}e^xcos(y)dx+e^xsin(y)dy$$ where $\gamma$ is the triangle with vertices $(0,0), (1,0), (1,\frac\pi2)$ This is what I've done so far: 1) With ...
6
votes
4answers
164 views

How to find $\int_{0}^{\pi/2} \log ({1+\cos x}) dx$ using real-variable methods?

How do you find the value of this integral, using real methods? $$I=\displaystyle\int_{0}^{\pi/2} \log ({1+\cos x}) dx$$ The answer is $2C-\dfrac{\pi}{2}\log {2}$ where $C$ is Catalan's constant.
1
vote
0answers
86 views

Riemann implies Lebesgue integrablility on $\mathbb{R}^n$, prove $f(x)$ continuous at x where $g(x)=G(x)$

Let $f:[a_1,b_1]\times \cdots \times[a_n,b_n] \rightarrow \mathbb{R}$ be Riemann integrable. Prove that is $f$ Lebesgue integrable. Proof: $$Q:= [a_1,b_1]\times \cdots \times [a_n,b_n].$$ For simple ...
-1
votes
0answers
26 views

Darboux integrable, $f$ continuous at x where g(x)=G(x) [duplicate]

$f:[a_1,b_1]x[a_2,b_2]\rightarrow \mathbb{R}$ that is Riemann integrable, and let $g(x),G(x)$ functions with property $g(x)\leq f(x) \leq G(x)$, g=G a.e.! G(x), g(x) are obtain from proof Riemann int ...
4
votes
3answers
264 views

Prove $\int_{\mathbb{R^{+}}} \frac{\sin^3 {(\pi x^2)} \cos {(4x^2)}}{x^5} dx=\frac{\pi}{32} (3\pi-4)^2$

How do you arrive at the result $$I=\displaystyle\int_{\mathbb{R^{+}}} \dfrac{\sin^3 {(\pi x^2)} \cos {(4x^2)}}{x^5} dx=\dfrac{\pi}{32} (3\pi-4)^2\ ?$$ Wolfram Alpha agrees numerically. I tried ...
0
votes
1answer
34 views

$f(r) \leq \int_r^{r+1} f(t)dt$

Suppose $f:[0,\infty)\to [0,\infty)$ is continuous (uniformly, if you want) and that $\int_0^{\infty} f(t)~\mathrm{d}t < \infty$. Is the following true? $$ f(r) \leq \int_r^{r+1} f(t)~\mathrm{d}t ...
1
vote
3answers
132 views

Value of the integral $\int_{\mathbb{R}} \frac{x\sin {(\pi x)}}{(1+x^2)^2}$

How do we evaluate the integral $$I=\displaystyle\int_{\mathbb{R}} \dfrac{x\sin {(\pi x)}}{(1+x^2)^2}$$ I have wasted so much time on this integral, tried many substitutions $(x^2=t, \ \pi x^2=t)$. ...
0
votes
2answers
47 views

Integration of piecewise defined function: $ f(x)=0$ for $x<1$ and $f(x)=1$ for $x\geq1$

I think I am confusing myself too much on this. Let $ f(x)=0$ for $x<1$, and $f(x)=1$ for $x\geq1$. What is $\int_0^1f(x)\,dx$? I am worried because $f$ is discontinuous at $1$. Does that make ...
9
votes
2answers
171 views

An exercise from my brother: $\int_{-1}^1\frac{\ln (2x-1)}{\sqrt[\large 6]{x(1-x)(1-2x)^4}}\,dx$

My brother asked me to calculate the following integral before we had dinner and I have been working to calculate it since then ($\pm\, 4$ hours). He said, it has a beautiful closed form but I doubt ...
4
votes
2answers
87 views

Evaluate $\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}e^{-\frac{1}{2}(x^2-xy+y^2)}dx\, dy$

I need to evaluate the following integral: $$\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}e^{-\frac{1}{2}(x^2-xy+y^2)}dx\, dy$$ I thought of evaluating the iterated integral ...
9
votes
1answer
178 views

Evaluate $\int_{0}^{\large\frac{\pi}{4}} \ln {(\sin x)}\cdot\ln {(\cos x)} \left(\frac{\ln{(\sin x)}}{\cot x}+\frac{\ln {(\cos x)}}{\tan x}\right)dx$

How do I find the value of this integral? $$I=\int_{0}^{\Large\frac{\pi}{4}} \ln {(\sin x)}\cdot\ln {(\cos x)} \left(\dfrac{\ln{(\sin x)}}{\cot x}+\dfrac{\ln {(\cos x)}}{\tan x}\right)dx$$ I tried ...
1
vote
0answers
33 views

Not lebesgue integrable function?

I want to consider the function $f:[-1,1]\times [-1,1]\rightarrow \mathbb R:f(x,y)= \begin{cases} \frac{xy}{(x^2+y^2)^2} & (x,y) \neq (0,0) \\ 0 & (x,y) = (0,0) \end{cases} $ And I have ...
3
votes
2answers
133 views

Evaluating $\int^b_a \frac{dx}{x}$ from the definition of the integral

I know that $$\int^b_a \frac{dx}{x}=\ln b-\ln a$$ I'm trying to evaluate this integral using the same method used in this answer: http://math.stackexchange.com/a/873507/42912 My attempt $\int^b_a ...
6
votes
2answers
200 views

Integral $\int_{0}^{\pi/2} \arctan \left(2\tan^2 x\right) \mathrm{d}x$

The following integral may seem easy to evaluate ... $$ \int_{0}^{\Large\frac{\pi}{2}} \arctan \left(2 \tan^2 x\right) \mathrm{d}x = \pi \arctan \left( \frac{1}{2} \right). $$ Could you prove ...
0
votes
2answers
41 views

Convergence of improper integral of $\ln f(x)$

Is there something know about the convergence of $\int_0^1 \ln f(x)dx $ for $f(x)$ continous on $\left(0,1\right)$ and both limits exists, i.e. $\lim_{x\to 0} f(x)$ and $\lim_{x\to 1} f(x)$ ? I ...
8
votes
2answers
232 views

A Binet-like integral $\int_{0}^{1} \left(\frac{1}{\ln x} + \frac{1}{1-x} -\frac{1}{2} \right) \frac{x^s }{1-x}\mathrm{d}x$

I met this integral $$ \int_{0}^{1} \left(\frac{1}{\ln x} + \frac{1}{1-x} -\frac{1}{2} \right) \frac{ \mathrm{d}x}{1-x} \qquad (*) $$ while evaluating this log-cosine integral. I made several ...
7
votes
2answers
233 views

Proving that $\int_0^1\frac{x \log^2(1-x)}{1+x^2} \ dx = \frac{35}{32}\zeta(3)+\frac{1}{24}\log^3(2) -\frac{5}{96} \pi^2 \log(2)$

Could we possibly prove this result without using the polylogarithm? I know how to do it by polylogarithm means, but I want a different way. Is that possible? $$\int_0^1\frac{x \log^2(1-x)}{1+x^2} ...
9
votes
2answers
353 views

Integral $\int_1^{\sqrt{2}}\frac{1}{x}\ln\left(\frac{2-2x^2+x^4}{2x-2x^2+x^3}\right)dx$

Calculate the following integral: \begin{equation} \int_1^{\sqrt{2}}\frac{1}{x}\ln\left(\frac{2-2x^2+x^4}{2x-2x^2+x^3}\right)dx \end{equation} I am having trouble to calculate the integral. I ...
10
votes
0answers
187 views

The closed form of $\int_0^{\pi/4}\frac{\log(1-x) \tan^2(x)}{1-x\tan^2(x)} \ dx$

What tools, ways would you propose for getting the closed form of this integral? $$\int_0^{\pi/4}\frac{\log(1-x) \tan^2(x)}{1-x\tan^2(x)} \ dx$$
11
votes
3answers
357 views

Finding the maximum value of $\displaystyle \int_{0}^{1}e^x\log f(x)dx$ when $\displaystyle \int_{0}^{1}f(x)dx=1$

Suppose that $f(x)\ (0\le x\le 1)$ is continuous and strictly positive and satisfies $$\int_{0}^{1}f(x)dx=1.$$ Then, can we find the maximum and the minimum value of the following? If yes, then how? ...
5
votes
2answers
199 views

Prove that $f$ is constant on $[a,b]$

$\displaystyle \int_{a}^{b} f^2(x) \, \mathrm{d}x$ = $\displaystyle \int_{a}^{b} f^4(x) \, \mathrm{d}x$ = $\displaystyle \int_{a}^{b} f^3(x) \, \mathrm{d}x$ And $f$ is continious on $[a,b]$ and ...
1
vote
1answer
37 views

defenite integral involve bessel function

I have an integral which involves Bessel function as follows: $I=\int_{r=0}^a \int_{\theta=0}^{2\pi}(e^{-jkr\cos(\theta-\phi)}d\theta)rdr$ I have tried with $e^{-jkr\cos(\theta-\phi)}=\sum ...
1
vote
2answers
107 views

Finding a root of a function via Rolle's theorem

Consider the function $f(t)=a(1-t)\cos(at)-\sin (at)$, where $a\in\mathbb R$. To show that it has a root in the unit interval I am urged to integrate $f$ and apply Rolle's Theorem. Attempt: $$\int ...
8
votes
1answer
260 views

Evaluation of $\int_0^1 \frac{\log(1+x)}{1+x}\log\left(\log\left(\frac{1}{x}\right)\right) \ dx$

I need some hints, clues for getting the closed form of $$\int_0^1 \frac{\log(1+x)}{1+x}\log\left(\log\left(\frac{1}{x}\right)\right) \ dx$$
0
votes
1answer
34 views

Finding volume between plane and paraboloid

Find the volume between bounded by $z=4$ and $z=x^2+y^2$.(Answer: $8\pi$) I thouhg using dievergence theorm ($\iint_KdivFdxdydz=\iint_SF\cdot\hat{n}dS$) for $\vec{F}=\big(\frac x 2,\frac y ...
4
votes
3answers
272 views

Integral without residues

How do I do this integral without using complex variable theorems? (i.e. residues) $$\lim_{n\to \infty} \int_0^{\infty} \frac{\cos(nx)}{1+x^2} \, dx$$
4
votes
3answers
526 views

Prove the equation

Prove that $$\int_0^{\infty}\exp\left(-\left(x^2+\dfrac{a^2}{x^2}\right)\right)\text{d}x=\frac{e^{-2a}\sqrt{\pi}}{2}$$ Assume that the equation is true for $a=0.$
3
votes
2answers
110 views

Show that $\lim_{n\rightarrow \infty} \int_0^{\pi/2} 2^n \sqrt{n} \sin^n(x) \cos^{n-2}(x) \; dx = \sqrt{2\pi}$

I wish to show $$\lim_{n\rightarrow \infty} \int_0^{\pi/2} 2^n \sqrt{n} \sin^n(x) \cos^{n-2}(x) \; dx = \sqrt{2\pi}$$ I've tried substitution and integration by parts to get a recursive formula for ...
18
votes
2answers
291 views

A closed form for a lot of integrals on the logarithm

One problem that has been bugging me all this summer is as follows: a) Calculate $$I_3=\int_{0}^{1}\int_{0}^{1}\int_{0}^{1} \ln{(1-x)} \ln{(1-xy)} \ln{(1-xyz)} \,\mathrm{d}x\, \mathrm{d}y\, ...
0
votes
2answers
54 views

Finding $(p,q)$ such that $\frac{x^p}{1+x^q}$ is integrable on $(0,+\infty)$

I'm trying to show that $f(x) = \frac{x^p}{1+x^q}$ is integrable on $(0,\infty)$ if and only if $p > -1$ and $q-p > 1$. So on $[1,\infty)$ we can compare with $g(x) = x^{p-q}$ which is ...
6
votes
4answers
152 views

How can we prove $\int_1^\pi x \cos(\frac1{x}) dx<4$ by hand?

Is there any way we can prove this definite integral inequality by hand: $$ \int_{1}^{\pi}x\cos\left(1 \over x\right)\,{\rm d}x < 4 $$ I don't where to start even, please help. That ...
2
votes
1answer
52 views

If the integral of a non-negative function is $0$, then the function is $0$

Suppose that $f$ is a continuous function on $[a,b]$ and that $f(x)\geq0$ for all $x\in [a,b]$. Show that if $\int_a^bf(x)=0$, then $f(x)=0$ for all $x\in[a,b]$. Let $F(x)=\int_a^xf(x)$. Since ...
3
votes
0answers
104 views

The elementary methods to compute $\int_0^\pi\frac{e^{ix}}{x-\alpha e^{ix}}\,dx\quad;\quad\text{for}\, \alpha>0$

How to compute the following integral using elementary methods (high school methods). \begin{equation}\int_0^\pi\frac{e^{ix}}{x-\alpha e^{ix}}\,dx\qquad;\qquad\text{for}\, ...
1
vote
3answers
105 views

Evaluate $\int_0^{\infty}\int_0^{\infty}e^{-x^2-2xy-y^2}\,dx\,dy$

I would like to compute the following, $$ \int_0^{\infty}\int_0^{\infty}e^{-x^2-2xy-y^2}\ dx\,dy $$ It is obvious that we can rewrite the integral above to, $$ ...
3
votes
3answers
175 views

Integral $\int_0^{\infty} \frac{x^{a-1}}{1+x} dx $ converges?

For what values ​​of $a \in \mathbb{R}$ the following integral converges? $$\int_0^{\infty} \frac{x^{a-1}}{1+x}\ dx $$ I tried to compute the integral but I stuck solving and then I tried to compare ...
0
votes
2answers
45 views

Integrability of a piecewise function [closed]

I got this question: Is the function $g$ defined below is integrable on $[0,1]$? $$g(x)= \begin{cases} \dfrac{1}{x}\sin\dfrac{1}{x} & \text{if $x\neq 0$} \\[8pt] 3 & \text{if $x=0$} ...
14
votes
3answers
301 views

The 3 Integral $\int_0^\infty {x\,{\rm d}x\over \sqrt[3]{\,\left(e^{3x}-1\right)^2\,}}=\frac{\pi}{3\sqrt 3}\big(\log 3-\frac{\pi}{3\sqrt 3} \big)$

Hi I am trying evaluate this integral and obtain the closed form:$$ I:=\int_0^\infty \frac{x\,dx}{\sqrt[\large 3]{(e^{3x}-1)^2}}=\frac{\pi}{3\sqrt 3}\left(\log 3-\frac{\pi}{3\sqrt 3} \right). $$ The ...
13
votes
2answers
436 views

Integral $\int_0^\infty \frac{\sqrt{\sqrt{\alpha^2+x^2}-\alpha}\,\exp\big({-\beta\sqrt{\alpha^2+x^2}\big)}}{\sqrt{\alpha^2+x^2}}\sin (\gamma x)\,dx$

I am having trouble showing this equality is true$$ \int_0^\infty \frac{\sqrt{\sqrt{\alpha^2+x^2}-\alpha}\,\exp\big({-\beta\sqrt{\alpha^2+x^2}\big)}}{\sqrt{\alpha^2+x^2}}\sin (\gamma ...
5
votes
2answers
124 views

Integral $\int_0^{\pi/4}\frac{x^2\tan x}{\cos^2 x}dx=\frac{\log 2}{2}-\frac{\pi}{4}+\frac{\pi^2}{16}$

Hi I am trying to evaluate the definite integral which has a closed form given by: $$ \mathcal{I}=\int_0^{\pi/4}\frac{x^2\tan x}{\cos^2 x}dx=\frac{\log 2}{2}-\frac{\pi}{4}+\frac{\pi^2}{16}. $$ We can ...
1
vote
1answer
39 views

$\lim_{n\to \infty}\sum^n_{i=1}\frac{2}{\sqrt{4n^2-i^2}}$

How to calculate the following limit? $\lim_{n\to \infty}\sum^n_{i=1}\frac{2}{\sqrt{4n^2-i^2}}$ I think it should be a definite integral, but what's the function to integrate and over what interval? ...
23
votes
2answers
2k views

Single Variable Integral

Compute the following integral \begin{equation} \int_0^{\Large\frac{\pi}{4}}\left[\frac{(1-x^2)\ln(1+x^2)+(1+x^2)-(1-x^2)\ln(1-x^2)}{(1-x^4)(1+x^2)}\right] x\, ...
12
votes
3answers
236 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 ...
2
votes
2answers
70 views

Integral involving a logarithm and a linear rational function

$$\int_{0}^{1} \frac{\log x}{x-1}dx$$ I was wondering: is it possible to evaluate this integral with real methods? Playing around with a series expansion I was able to recognize that the integral is ...
3
votes
2answers
68 views

I want to prove $k(x,t)=\frac{1}{\sqrt{4\pi t} } e^{\frac{-x^2}{4t}} $

I have this integral $$u(x,t)=\int _{-\infty}^{\infty} f(\eta)\left[\frac{1}{2\pi}\int _{-\infty}^{\infty}e^{iw(x-\eta)-w^2t}\ dw\right]\ d\eta=\int _{-\infty}^{\infty}k(x-\eta,t)f(\eta)\ d\eta$$ I ...