A "closed form expression" is any representation of a mathematical expression in terms of "known" functions, "known" usually being replaced with "elementary".

learn more… | top users | synonyms

20
votes
2answers
6k views

What does closed form solution usually mean?

This is motivated by this question and the fact that I have no access to Timothy Chow's paper What Is a Closed-Form Number? indicated there by Qiaochu Yuan. If an equation $f(x)=0$ has no closed form ...
135
votes
5answers
34k views

Integral $\int_{-1}^1\frac1x\sqrt{\frac{1+x}{1-x}}\ln\left(\frac{2\,x^2+2\,x+1}{2\,x^2-2\,x+1}\right) \ \mathrm dx$

I need help with this integral: $$I=\int_{-1}^1\frac1x\sqrt{\frac{1+x}{1-x}}\ln\left(\frac{2\,x^2+2\,x+1}{2\,x^2-2\,x+1}\right)\ \mathrm dx.$$ The integrand graph looks like this: $\hspace{1in}$ The ...
17
votes
5answers
936 views

Find a closed form for this sequence: $a_{n+1} = a_n + a_n^{-1}$

Today, we had a math class, where we had to show, that $a_{100} > 14$ for $$a_0 = 1;\qquad a_{n+1} = a_n + a_n^{-1}$$ Apart from this task, I asked my self: Is there a closed form for this ...
11
votes
5answers
334 views

Closed form for $n$th derivative of exponential of $f$

What is the closed form for: $$\frac{\partial^n}{\partial x^n}\exp(f(x))=\exp(f(x))\cdot[????]$$
50
votes
3answers
3k views

Evaluate $\int_0^1 \frac{\log \left( 1+x^{2+\sqrt{3}}\right)}{1+x}dx$

I am trying to find a closed form for $$\int_0^1 \frac{\log \left( 1+x^{2+\sqrt{3}}\right)}{1+x}dx = 0.094561677526995723016 \cdots$$ It seems that the answer is $$\frac{\pi^2}{12}\left( ...
11
votes
2answers
537 views

Alternating harmonic sum $\sum_{k\geq 1}\frac{(-1)^k}{k^3}H_k$

How to analytically prove $$\sum_{k\geq 1}\frac{(-1)^k}{k^3}H_k=-\frac{11\pi^4}{360}+\frac{\ln^42-\pi^2\ln^22}{12}+2\mathrm{Li}_4\left(\frac12\right)+\frac{7\ln 2}{4}\zeta(3) $$ As O.L answer ...
19
votes
3answers
431 views

Closed form for $\sum_{n=1}^\infty\frac{(-1)^n n^4 H_n}{2^n}$

Please help me to find a closed form for the sum $$\sum_{n=1}^\infty\frac{(-1)^n n^4 H_n}{2^n},$$ where $H_n$ are harmonic numbers: $$H_n=\sum_{k=1}^n\frac{1}{k}=\frac{\Gamma'(n+1)}{n!}+\gamma.$$
15
votes
2answers
460 views

Closed form for $\sum_{n=-\infty}^{\infty}\frac{1}{(n-a)^2+b^2}$.

What is the closed form for $\sum_{n=-\infty}^{\infty}\frac{1}{(n-a)^2+b^2}$? We can use Fourier series of $e^{-bx}$ ($|x|<\pi$) to evaluate $\sum_{n=-\infty}^{\infty}\frac{1}{n^2+b^2}$. But this ...
79
votes
2answers
3k views

How to prove $\int_0^1\tan^{-1}\left[\frac{\tanh^{-1}x-\tan^{-1}x}{\pi+\tanh^{-1}x-\tan^{-1}x}\right]\frac{dx}{x}=\frac{\pi}{8}\ln\frac{\pi^2}{8}?$

How can one prove that $$\int_0^1 \tan^{-1}\left[\frac{\tanh^{-1}x-\tan^{-1}x}{\pi+\tanh^{-1}x-\tan^{-1}x}\right]\frac{dx}{x}$$ $$=\frac{\pi}{8}\ln\frac{\pi^2}{8}?$$
33
votes
4answers
1k views

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

Is there a closed form for the integral $$\int_0^1\frac{\ln\left(x+\sqrt2\right)}{\sqrt{2-x}\,\sqrt{1-x}\,\sqrt{\vphantom{1}x}}dx.$$ I do not have a strong reason to be sure it exists, but I would be ...
34
votes
2answers
1k views

Closed form for $\int_0^1\log\log\left(\frac{1}{x}+\sqrt{\frac{1}{x^2}-1}\right)\mathrm dx$

Please help me to find a closed form for the following integral: $$\int_0^1\log\left(\log\left(\frac{1}{x}+\sqrt{\frac{1}{x^2}-1}\right)\right)\,{\mathrm d}x.$$ I was told it could be calculated in a ...
13
votes
3answers
297 views

$\sum_{n=0}^\infty\frac{(-1)^n}{(2n+1)^{2m+1}}=\frac{(-1)^m E_{2m}\pi^{2m+1}}{4^{m+1}(2m)!}$

I'm looking for a way to prove $$\sum_{n=0}^\infty\frac{(-1)^n}{(2n+1)^{2m+1}}=\frac{(-1)^m E_{2m}\pi^{2m+1}}{4^{m+1}(2m)!}$$ Since ...
27
votes
3answers
2k views

Integral $\int_0^1\frac{\arctan^2x}{\sqrt{1-x^2}}dx$

Is it possible to evaluate this integral in a closed form? $$I=\int_0^1\frac{\arctan^2x}{\sqrt{1-x^2}}dx$$ It also can be represented as $$I=\int_0^{\pi/4}\frac{\phi^2}{\cos \phi\,\sqrt{\cos ...
10
votes
1answer
262 views

What would qualify as a valid reason to believe there is a closed form?

I noticed that almost every non-homework-level integral posted on this site prompts somebody to ask "Do you have any reason to believe there is a closed form?" (some recent examples here and here) I ...
17
votes
1answer
560 views

How can I find $\sum\limits_{n=0}^{\infty}\left(\frac{(-1)^n}{2n+1}\sum\limits_{k=0}^{2n}\frac{1}{2n+4k+3}\right)$?

prove that$$\sum_{n=0}^{\infty}\left(\frac{(-1)^n}{2n+1}\sum_{k=0}^{2n}\frac{1}{2n+4k+3}\right)=\frac{3\pi}{8}\log(\frac{1+\sqrt5}{2})-\frac{\pi}{16}\log5 $$ This problem, I think use ...
21
votes
4answers
504 views

Computing $ \int_0^\infty \frac{\log x}{\exp x} \ dx $

I know that $$ \int_0^\infty \frac{\log x}{\exp x} = -\gamma $$ where $ \gamma $ is the Euler-Mascheroni constant, but I have no idea how to prove this. The series definition of $ \gamma $ leads me ...
16
votes
2answers
415 views

How to prove $\int_0^\infty J_\nu(x)^3dx\stackrel?=\frac{\Gamma(1/6)\ \Gamma(1/6+\nu/2)}{2^{5/3}\ 3^{1/2}\ \pi^{3/2}\ \Gamma(5/6+\nu/2)}$?

I am interested in finding a general formula for the following integral: $$\int_0^\infty J_\nu(x)^3dx,\tag1$$ where $J_\nu(x)$ is the Bessel function of the first kind: $$J_\nu(x)=\sum ...
3
votes
2answers
411 views

Solving for the closed term solution of a third order recurrence relation with real constant coefficients

How would you solve for the closed term form of $a(n)$ given the general form of the third order linear homogenous recurrence relation with real constant coefficients. ...
33
votes
3answers
894 views

An integral involving Fresnel integrals $\int_0^\infty \left(\left(2\ S(x)-1\right)^2+\left(2\ C(x)-1\right)^2\right)^2 x\ \mathrm dx,$

I need to calculate the following integral: $$\int_0^\infty \left(\left(2\ S(x)-1\right)^2+\left(2\ C(x)-1\right)^2\right)^2 x\ \mathrm dx,$$ where $$S(x)=\int_0^x\sin\frac{\pi z^2}{2}\mathrm dz,$$ ...
27
votes
1answer
713 views

Prove $\int_0^1\frac{x^2-2\,x+2\ln(1+x)}{x^3\,\sqrt{1-x^2}}dx=\frac{\pi^2}8-\frac12$

How can I prove the following identity? $$\int_0^1\frac{x^2-2\,x+2\ln(1+x)}{x^3\,\sqrt{1-x^2}}dx=\frac{\pi^2}8-\frac12$$
23
votes
2answers
379 views

A closed form of $\int_0^\infty\frac{\sqrt[\phi]{x}\ \arctan x}{\left(x^\phi+1\right)^2}dx$

Is it possible to evaluate the following integral in a closed form? $$\int_0^\infty\frac{\sqrt[\phi]{x}\ \arctan x}{\left(x^\phi+1\right)^2}dx,$$ where $\phi$ is the golden ratio: ...
23
votes
3answers
605 views

A conjectured closed form of $\int_0^\infty\frac{x-1}{\sqrt{2^x-1}\ \ln\left(2^x-1\right)}dx$

Consider the following integral: $$\mathcal{I}=\int_0^\infty\frac{x-1}{\sqrt{2^x-1}\ \ln\left(2^x-1\right)}dx.$$ I tried to evaluate $\mathcal{I}$ in a closed form (both manually and using ...
25
votes
2answers
642 views

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

I'm struggling with this integral $$I=\int_0^1\frac{1-x^2+\left(1+x^2\right)\ln x}{\left(x+x^2\right)\ln^3x}dx.\tag1$$ Mathematica could not evaluate it in a closed form. Its numeric value is ...
22
votes
1answer
481 views

Closed form for $\sum_{n=1}^\infty\frac{\psi(n+\frac{5}{4})}{(1+2n)(1+4n)^2}$

This question came up in the process of finding solution to another problem. Eventually, the problem was solved avoiding calculation of this sum, but it looks quite interesting on its own. Is there a ...
23
votes
1answer
478 views

$\int_0^1\arctan\,_4F_3\left(\frac{1}{5},\frac{2}{5},\frac{3}{5},\frac{4}{5};\frac{1}{2},\frac{3}{4},\frac{5}{4};\frac{x}{64}\right)\,\mathrm dx$

I need help with calculating this integral: $$\int_0^1\arctan\,_4F_3\left(\frac{1}{5},\frac{2}{5},\frac{3}{5},\frac{4}{5};\frac{1}{2},\frac{3}{4},\frac{5}{4};\frac{x}{64}\right)\,\mathrm dx,$$ where ...
14
votes
2answers
267 views

$\int_0^\infty(\log x)^2(\mathrm{sech}\,x)^2\mathrm dx$

Is there any closed-form representation for the following integral? $$\int_0^\infty(\log x)^2(\mathrm{sech}\,x)^2\mathrm dx,$$ where $\mathrm{sech}\,x$ is the hyperbolic secant, ...
11
votes
1answer
194 views

Need help with calculating this sum: $\sum_{n=0}^\infty\frac{1}{2^n}\tan\frac{1}{2^n}$

I need help with calculating this sum: $$\sum_{n=0}^\infty\frac{1}{2^n}\tan\frac{1}{2^n}$$
18
votes
3answers
310 views

$\sum_{n=1}^{\infty}\frac{H_n}{n^2 2^n}=\zeta(3)-\frac{1}{2}\log(2)\zeta(2)$

How can I prove that $$\sum_{n=1}^{\infty}\frac{H_n}{n^2 2^n}=\zeta(3)-\frac{1}{2}\log(2)\zeta(2).$$ Can anyone help me please?
16
votes
5answers
780 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 ...
18
votes
3answers
390 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 ...
5
votes
3answers
289 views

Closed form for the sum of even fibonacci numbers?

I recently took a look a project euler, and I am trying to think of a smart way to do number 2. I looked at the sequence, and I saw that the question is basically asking for $$ \sum_{i=1}^n F_{3i} $$ ...
4
votes
2answers
278 views

Closed form for $n$-th derivative of exponential

I need the closed-form for the $n$-th derivative ($n\geq0 $): $$\frac{\partial^n}{\partial x^n}\exp\left(-\frac{\pi^2a^2}{x}\right)$$ Thanks! By following the suggestion of Hermite polynomials: ...
13
votes
2answers
367 views

Evaluating $\int_0^{2\pi}\frac{dt}{\sqrt[4]{P(\cos t,\sin t)}}$

$${\LARGE\int}_0^{2\pi}\frac{dt}{\sqrt[{\LARGE 4}]{A\Big(\sin^8t+\cos^8t\Big)+B\Big(\sin^6t\cos^2t+\sin^2t\cos^6t\Big)+C~\sin^4t\cos^4t}}~=~?$$ where $A=0.3$, $B=-3.3$, and $C=10$. Its numerical ...
2
votes
2answers
1k views

Finding the closed form for a sequence

My teacher isn't great with explaining his work and the book we have doesn't cover anything like this. He wants us to find a closed form for the sequence defined by: $P_{0} = 0$ $P_{1} = 1$ ...
2
votes
4answers
558 views

How to find a closed form solution to a recurrence of the following form?

I need to find the closed form solution to the following recurrence -: $ T(n) = 8*T(n/2) + 0.25*n^2$ with $T(1) = 1$ and $n=2^j$ and this is what I have tried so far but just can't seem to get a ...
47
votes
2answers
1k views

Integral $\int_1^\infty\frac{\operatorname{arccot}\left(1+\frac{2\pi}{\operatorname{arcoth}x-\operatorname{arccsc}x}\right)}{\sqrt{x^2-1}}dx$

Consider the following integral: $$\mathcal{I}=\int_1^\infty\frac{\operatorname{arccot}\left(1+\frac{2\,\pi}{\operatorname{arcoth}x\,-\,\operatorname{arccsc}x}\right)}{\sqrt{x^2-1}}dx,$$ where ...
51
votes
1answer
1k views

Closed form for $\int_0^\infty\ln\frac{J_\mu(x)^2+Y_\mu(x)^2}{J_\nu(x)^2+Y_\nu(x)^2}\mathrm dx$

Consider the following integral: $$\mathcal{I}(\mu,\nu)=\int_0^\infty\ln\frac{J_\mu(x)^2+Y_\mu(x)^2}{J_\nu(x)^2+Y_\nu(x)^2}\mathrm dx,$$ where $J_\mu(x)$ is the Bessel function of the first kind: ...
34
votes
3answers
662 views

$\int_0^{\infty}\frac{x^3}{(x^4+1)(e^x-1)}\mathrm dx$

I need to find a closed-form for the following integral. Please give me some ideas how to approach it: $$\int_0^{\infty}\frac{x^3}{(x^4+1)(e^x-1)}\mathrm dx$$
33
votes
2answers
428 views

Closed form for $\prod_{n=1}^\infty\sqrt[2^n]{\tanh(2^n)},$

Please help me to find a closed form for the infinite product $$\prod_{n=1}^\infty\sqrt[2^n]{\tanh(2^n)},$$ where $\tanh(z)=\frac{e^z-e^{-z}}{e^z+e^{-z}}$ is the hyperbolic tangent.
26
votes
2answers
457 views

Closed form for $\sum_{n=1}^\infty\frac{1}{2^n\left(1+\sqrt[2^n]{2}\right)}$

Here is another infinite sum I need you help with: $$\sum_{n=1}^\infty\frac{1}{2^n\left(1+\sqrt[2^n]{2}\right)}.$$ I was told it could be represented in terms of elementary functions and integers.
22
votes
2answers
714 views

Are there other cases similar to Herglotz's integral $\int_0^1\frac{\ln\left(1+t^{4+\sqrt{15}}\right)}{1+t}\ \mathrm dt$?

This post of Boris Bukh mentions amazing Gustav Herglotz's integral $$\int_0^1\frac{\ln\left(1+t^{\,4\,+\,\sqrt{\vphantom{\large A}\,15\,}\,}\right)}{1+t}\ \mathrm ...
25
votes
2answers
378 views

Closed form for $\int_0^1\frac{x^{5/6}}{(1-x)^{1/6}\,(1+2\,x)^{4/3}}\log\left(\frac{1+2x}{x\,(1-x)}\right)\,dx$

I need to evaluate this integral: $$Q=\int_0^1\frac{x^{5/6}}{(1-x)^{1/6}\,(1+2\,x)^{4/3}}\log\left(\frac{1+2x}{x\,(1-x)}\right)\,dx.$$ I tried it in Mathematica, but it was not able to find a closed ...
25
votes
2answers
720 views

A conjectural closed form for $\sum\limits_{n=0}^\infty\frac{n!\,(2n)!}{(3n+2)!}$

Let $$S=\sum\limits_{n=0}^\infty\frac{n!\,(2n)!}{(3n+2)!},\tag1$$ its numeric value is approximately $S \approx 0.517977853388534047...$${}^{[more\ digits]}$ $S$ can be represented in terms of the ...
39
votes
2answers
418 views

Conjecture $_2F_1\left(\frac14,\frac34;\,\frac23;\,\frac13\right)=\frac1{\sqrt{\sqrt{\frac4{\sqrt{2-\sqrt[3]4}}+\sqrt[3]{4}+4}-\sqrt{2-\sqrt[3]4}-2}}$

Using a numerical search on my computer I discovered the following inequality: $$\left|\,{_2F_1}\left(\frac14,\frac34;\,\frac23;\,\frac13\right)-\rho\,\right|<10^{-20000},\tag1$$ where $\rho$ is ...
20
votes
2answers
350 views

How to calculate $\sum_{n=1}^\infty\frac{(-1)^n}n H_n^2$?

I need to calculate the sum $\displaystyle S=\sum_{n=1}^\infty\frac{(-1)^n}n H_n^2$, where $\displaystyle H_n=\sum\limits_{m=1}^n\frac1m$. Using a CAS I found that $S=\lim\limits_{k\to\infty}s_k$ ...
17
votes
1answer
284 views

A closed form for $\int_0^\infty\ln x\cdot\ln\left(1+\frac1{2\cosh x}\right)dx$

Is it possible to evaluate this integral in a closed form? $$\int_0^\infty\ln x\cdot\ln\left(1+\frac1{2\cosh x}\right)dx=\int_0^\infty\ln x\cdot\ln\left(1+\frac1{e^{-x}+e^x}\right)dx$$ I tried to ...
43
votes
2answers
1k views

Conjecture $\int_0^1\frac{dx}{\sqrt[3]x\,\sqrt[6]{1-x}\,\sqrt{1-x\left(\sqrt{6}\sqrt{12+7\sqrt3}-3\sqrt3-6\right)^2}}=\frac\pi9(3+\sqrt2\sqrt[4]{27})$

Let $$\alpha=\sqrt{6}\ \sqrt{12+7\,\sqrt3}-3\,\sqrt3-6.\tag1$$ Note that $\alpha$ is the unique positive root of the polynomial equation $$\alpha^4+24\,\alpha^3+18\,\alpha^2-27=0.\tag2$$ Now consider ...
20
votes
4answers
476 views

A closed form for $\int_0^\infty\frac{\ln(x+4)}{\sqrt{x\,(x+3)\,(x+4)}}dx$

I need to a evaluate the following integral $$I=\int_0^\infty\frac{\ln(x+4)}{\sqrt{x\,(x+3)\,(x+4)}}dx.$$ Both Mathematica and Maple failed to evaluate it in a closed form, and lookups of the ...
23
votes
1answer
447 views

Integral $\int_0^1\ln\ln\,_3F_2\left(\frac{1}{4},\frac{1}{2},\frac{3}{4};\frac{2}{3},\frac{4}{3};x\right)\,dx$

I encountered this scary integral $$\int_0^1\ln\ln\,_3F_2\left(\frac{1}{4},\frac{1}{2},\frac{3}{4};\frac{2}{3},\frac{4}{3};x\right)\,dx$$ where $_3F_2$ is a generalized hypergeometric function ...
20
votes
2answers
572 views

Integral $\int_0^\infty\left(x+5\,x^5\right)\operatorname{erfc}\left(x+x^5\right)\,dx$

Is it possible to find a closed form (possibly using known special functions) for this integral? $$\int_0^\infty\left(5\,x^5+x\right)\operatorname{erfc}\left(x^5+x\right)\,dx$$ where ...