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

0
votes
0answers
27 views

Closed expression for simple recursive formula

I would like to express the following recursive formula in a closed expression. $V_\tau=(1+R)V_{\tau-1}+\tau(c-p\lambda\mu)+constant$ where: $\tau\geq1$ $V_1=\frac{1}{2}(2u+c-p\lambda\mu)R$ ...
7
votes
1answer
198 views

Evaluating $\int_0^{\frac{1}{2}}\log^2(2\sin(\pi x))\cos(\pi(1-2x))dx$ [closed]

How can we prove following formulas $$\int_0^{\frac{1}{2}}\log^2(2\sin(\pi x))\cos(\pi(1-2x))dx=\frac{-1}{4}$$ or $$\int_0^{\frac{1}{2}}\log^3(2\sin(\pi x))\cos(\pi(1-2x))dx=\frac{\pi^2+6}{16}$$
12
votes
5answers
459 views

Closed form for $\int_{0}^{1/2}\left(2x - 1\right)^{6}\ \log^{2}\left(2\sin\left(\pi x\right)\right)\,{\rm d}x$

How can I find a closed form for the following integral $$ \int_0^{1/2}\left(2x - 1\right)^{6}\ \log^{2}\left(2\sin\left(\pi x\right)\right) \,{\rm d}x $$
3
votes
1answer
175 views

Analytic solutions to $f(x+y) +h(x+y)= f(x)(g(y)+h(y)) + g(x)(f(y)+h(y)) + h(x)(f(y)+g(y))$?

Let $x,y$ be complex numbers. Consider $f(x+y) +h(x+y)= f(x)(g(y)+h(y)) + g(x)(f(y)+h(y)) + h(x)(f(y)+g(y))$ valid for all $x,y$. What are the analytic solutions for $f,g,h$ ? Can we conclude an ...
13
votes
2answers
267 views

Closed form of $\int_0^\frac{1}{2}x^n\cot(\pi x)\,dx$

What is the closed form of the following integral $$\int_0^\frac{1}{2}x^n\cot(\pi x)\,dx,n\in\mathbb{N}$$ By Mathematica I saw that $$\int_0^\frac{1}{2}x\cot(\pi x)\,dx=\frac{\log(2)}{2\pi}$$ ...
2
votes
1answer
73 views

A closed form for $\sum_{i\cdot j^k=n}(-1)^i$?

$$\alpha_k(n) \stackrel{\text{def.}}{=} \sum_{i\cdot j^k=n}(-1)^i.$$ Does a closed form exist for $\alpha_k(n)$? For low values of $k$: $$\alpha_0(n)=(-1)^n$$ $$\alpha_1(n)=\begin{cases} ...
18
votes
3answers
327 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?
0
votes
0answers
72 views

Closed form for matrix multiplication

Let Q be a n by n positive definite or positive semi definite matrix and g be a vector in $R^{n}$. Is there a closed form to get x? $g^{T}Q^{k}g = x(g^{T}Qg)$ where k is a some integer number.
2
votes
2answers
239 views

Closed form expression for unusual sum of binomial coefficients

How do I get a closed form expression for $\sum_{i=c}^{n} i\binom{i}{c}$? Note that the index ranges over the upper values of the binomial, not the lower. I know computer algebra systems can give me ...
15
votes
1answer
176 views

Closed form for $\sum_{n=0}^\infty\frac{\operatorname{Li}_{1/2}\left(-2^{-2^{-n}}\right)}{\sqrt{2^n}}$

Let $$S=\sum_{n=0}^\infty\frac{\operatorname{Li}_{1/2}\left(-2^{-2^{-n}}\right)}{\sqrt{2^n}},\tag1$$ where $\operatorname{Li}_a(z)$ is the polylogarithm. For $a=1/2$ it can be represented as ...
3
votes
2answers
60 views

Does $E^2 \; ( E \approx 1.2640847\ldots)$ equal $D \approx 1.5979102\ldots$?

Does $E^2=D$? Where $E$ is a constant used in the closed form of the Sylvester Sequence (see: Closed form formula and asymptotics) and $D$ is a constant for the closed formula of the sequence A007018 ...
39
votes
2answers
421 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 ...
12
votes
1answer
180 views

Integral $\int_0^\infty\exp\left(-\sqrt2\,x^2\right)\,\operatorname{erfi}(x)\,\log(x)\,x^3\,dx$

Consider the following integral: $$\mathcal{A}=\int_0^\infty\exp\left(-\sqrt2\,x^2\right)\,\operatorname{erfi}(x)\,\log(x)\,x^3\,dx,\tag1$$ where $\operatorname{erfi}(x)$ denotes the imaginary error ...
1
vote
1answer
56 views

How to find algebraic simplification for recurrence relation with closed-form solution, specifically for the Lucas-Lehmer primality test

I have a question based on the section Proof of correctness in the article Lucas-Lehmer primality test, see following link. ...
18
votes
3answers
391 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 ...
19
votes
3answers
547 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 ...
23
votes
2answers
265 views

Need help with $\int_0^\infty e^{-x}\ln\ln\left(e^x+\sqrt{e^{2x}-1}\right)\,dx$

I need help with this integral: $$\int_0^\infty e^{-x}\ln\ln\left(e^x+\sqrt{e^{2x}-1}\right)\,dx\approx0.20597312051214...$$ Is it possible to evaluated it in a closed form?
10
votes
2answers
337 views

Integral $S_\ell(r) = \int_0^{\pi}\int_{\phi}^{\pi}\frac{(1+ r \cos \psi)^{\ell+1}}{(1+ r \cos \phi)^\ell} \rm d\psi \ \rm d\phi $

Is there a closed form for $|r|<1$ and $\ell>0$ integer? The solution for the special cases $\ell=2$ and $4$ would also be interesting if the general case is not available. Integrating ...
1
vote
3answers
205 views

Closed form for integral $ \int_0^{\pi} \frac{\sin (m \phi)}{(1 + r \cos \phi)^n} d\phi$

Is there a closed form for $n>0$ integer, $m\neq 0$ integer, and $|r|<1$ real?
17
votes
1answer
464 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 ...
19
votes
1answer
357 views

Derivative of the Meijer G-function with respect to one of its parameters

Are there any approaches that allow to find a derivative of the Meijer G-function with respect to one of its parameters in a closed form (or at least numerically with a high precision and in ...
21
votes
2answers
644 views

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

Could you suggest any ideas how to evaluate this integral? Is there a closed-form result? $$\int_0^\infty\frac{\ln\left(1+x+\sqrt{x^2+2\,x}\right)\,\ln\left(1+\sqrt{x^2+2\,x+2}\right)}{x^2+2x+1}dx$$
19
votes
1answer
249 views

How to prove $\sum_{n=1}^\infty\operatorname{arccot}\frac{\sqrt[2^n]2+\cos\frac\pi{2^n}}{\sin\frac\pi{2^n}}=\operatorname{arccot}\frac{\ln2}\pi$?

How can I prove the following identity? $$\sum_{n=1}^\infty\operatorname{arccot}\frac{\sqrt[2^n]2+\cos\frac\pi{2^n}}{\sin\frac\pi{2^n}}=\operatorname{arccot}\frac{\ln2}\pi$$
21
votes
3answers
380 views

Integral $\int_0^\infty{_1F_2}\left(\begin{array}{c}\tfrac12\\1,\tfrac32\end{array}\middle|-x\right)\frac{dx}{1+4\,x}$

I need to evaluate this integral to a high precision: $$\large I=\int_0^\infty{_1F_2}\left(\begin{array}{c}\tfrac12\\1,\tfrac32\end{array}\middle|-x\right)\frac{dx}{1+4\,x}$$ Symbolic integration in ...
19
votes
2answers
324 views

A closed form for $\int_0^1{_2F_1}\left(-\frac{1}{4},\frac{5}{4};\,1;\,\frac{x}{2}\right)^2dx$

Is it possible to evaluate in a closed form integrals containing a squared hypergeometric function, like in this example? ...
0
votes
1answer
44 views

The closed form of a sum of mod(k,m) where k goes from 1 to a arbitrary number.

Is there a closed form for $\sum_{n=0}^{C} mod(n,m)$ for arbitrary integers m ?
7
votes
1answer
198 views

Simplification of $G_{2,4}^{4,2}\left(\frac18,\frac12\middle|\begin{array}{c}\frac12,\frac12\\0,0,\frac12,\frac12\\\end{array}\right)$

In this post Cleo gives a misterious result containing the following generalized Meijer G-function: ...
22
votes
2answers
630 views

Closed form for $\int_0^\infty\frac{\sin x\,\cdot\,\operatorname{Ci}x-\cos x\,\cdot\,\operatorname{Si}x}{\sqrt{16\,x^2+1}}dx$

Is it possible to find a closed form for this integral? $$\mathcal{S}=\int_0^\infty\frac{\sin x\cdot\operatorname{Ci}x-\cos x\cdot\operatorname{Si}x}{\sqrt{16\,x^2+1}}dx,$$ where $\operatorname{Ci}x$ ...
8
votes
0answers
81 views

Derivatives of the Struve functions $H_\nu(x)$, $L_\nu(x)$ and other related functions w.r.t. their index $\nu$

There are some known formulae for derivatives of the Bessel functions $J_\nu(x),\,$$Y_\nu(x),\,$$K_\nu(x),\,$$I_\nu(x)\,$with respect to their index $\nu$ for certain values of $\nu$, e.g. ...
5
votes
1answer
189 views

closed form for $\int_0^{\infty}\log^n\left(\frac{e^x}{e^x-1}\right)dx$

How can I find a closed form for $$\int_0^{\infty}\log^n\left(\frac{e^x}{e^x-1}\right)dx, n\in\mathbb{N}$$
0
votes
2answers
89 views

How can I compute this sum of binomial

Is there any way to compute the following sum: $\displaystyle{ \sum_{\ell = {n + 1 \over{\vphantom{\LARGE A}2}}}^{n}{n \choose \ell}5^{n - \ell}}$ where $n$ is odd. Thank you.
0
votes
0answers
65 views

Close formula for triple sum binomial coefficient

I need to compute the following sum or to find a lower and upper bound that limit the sum: $\sum_{l=\frac{n+1}{2}}^n \binom{n}{l} \sum_{t=0}^{n-l} \binom{l}{t} 2^{l-t} \sum_{m=t}^{n-l} \binom{n-l}{m} ...
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 ...
27
votes
1answer
758 views

Integral $\int_{-1}^{1} \frac{1}{x}\sqrt{\frac{1+x}{1-x}} \log \left( \frac{(r-1)x^{2} + sx + 1}{(r-1)x^{2} - sx + 1} \right) \, dx$

Regarding this problem, I conjectured that $$ I(r, s) = \int_{-1}^{1} \frac{1}{x}\sqrt{\frac{1+x}{1-x}} \log \left( \frac{(r-1)x^{2} + sx + 1}{(r-1)x^{2} - sx + 1} \right) \, dx = 4 \pi ...
25
votes
1answer
308 views

Conjectured closed form for $\int_0^1x^{2\,q-1}\,K(x)^2dx$ where $K(x)$ is the complete elliptic integral of the 1ˢᵗ kind

I am interested in a general closed-form formula for integrals of the following form: $$\mathcal{J}_q=\int_0^1x^{2\,q-1}\,K(x)^2dx,\tag0$$ where $K(x)$ is the complete elliptic integral of the 1ˢᵗ ...
4
votes
1answer
157 views

Closed form for a fixed point of the exponential function?

Let $$e^z = \sum_{n=0}^{\infty} \frac{z^n}{n!} $$ denote the exponential function, which is defined on the entire complex plane. There is a fixed point of this function at $w= a+bi$ where $a \approx ...
26
votes
2answers
1k views

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

This is somewhat similar to my previous question: 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$ Is it possible to find a closed form ...
8
votes
0answers
117 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) ...
25
votes
2answers
380 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 ...
27
votes
2answers
874 views

Integral $\int_0^{\pi/2}\arctan^2\left(\frac{6\sin x}{3+\cos 2x}\right)dx$

Is it possible to evaluate this integral in a closed form? $$I=\int_0^{\pi/2}\arctan^2\left(\frac{6\sin x}{3+\cos 2x}\right)dx$$
20
votes
2answers
308 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 ...
24
votes
3answers
528 views

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

There is a curious known integral: $$\int_0^1\frac{\ln\left(1+x^{2+\sqrt{3\vphantom{\large3}}}\right)}{1+x}dx=\frac{\pi^2}{12}\left(1-\sqrt{3\vphantom{\large3}}\right)+\ln ...
10
votes
1answer
265 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 ...
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 ...
0
votes
0answers
70 views

Closed form for the following sum

I found this sum in an old math problems book and it asks me to find its closed form. And for the life of me I can't find. Here it is ...
27
votes
3answers
1k views

Integral $\int_0^\infty\frac{\operatorname{arccot}\left(\sqrt{x}-2\,\sqrt{x+1}\right)}{x+1}dx$

Is it possible to evaluate this integral in a closed form? $$\int_0^\infty\frac{\operatorname{arccot}\left(\sqrt{x}-2\,\sqrt{x+1}\right)}{x+1}dx$$
17
votes
1answer
285 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 ...
27
votes
1answer
717 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$$
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 ...
22
votes
3answers
1k views

Integral $\int_0^\infty\frac{1}{x\,\sqrt{2}+\sqrt{2\,x^2+1}}\cdot\frac{\log x}{\sqrt{x^2+1}}\mathrm dx$

I need your assistance with evaluating the integral $$\int_0^\infty\frac{1}{x\,\sqrt{2}+\sqrt{2\,x^2+1}}\cdot\frac{\log x}{\sqrt{x^2+1}}dx$$ I tried manual integration by parts, but it seemed to only ...