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

16
votes
0answers
203 views

Definite integral of arcsine over square-root of quadratic

For $a,b\in\mathbb{R}\land0<a\le1\land0\le b$, define $\mathcal{I}{\left(a,b\right)}$ by the integral ...
11
votes
0answers
121 views

A conjectured identity for tetralogarithms $\operatorname{Li}_4$

I experimentally discovered (using PSLQ) the following conjectured tetralogarithm identity: $$\begin{align}&\phantom{+\;}19\!\;\pi^4-570\ln^42-90\ln^43\\ ...
11
votes
0answers
174 views

Closed-form of $\int_0^1 \left(\ln \Gamma(x)\right)^3\,dx$

From the amazing result by Raabe we know that $$LG_1=\int_0^1 \ln \Gamma(x)\,dx = \frac{1}{2}\ln(2\pi) = -\zeta'(0).$$ We also know that $$LG_2 = \int_0^1 \left(\ln \Gamma(x)\right)^2\,dx = ...
11
votes
0answers
226 views

A closed form for $\sum_{k=1}^\infty \psi^{(1)} (k+a)\psi^{(1)} (k+b)$

The following result $$ \sum_{k=1}^\infty\left(\psi^{(1)} (k)\right)^2 = 3\zeta(3) $$ where $\psi^{(1)}$ is the polygamma function makes me think there is a nice sum for the series $$ ...
10
votes
0answers
481 views

Analytic form of: $ \int \frac{\bigl[\cos^{-1}(x)\sqrt{1-x^2}\bigr]^{-1}}{\ln\bigl( 1+\sin(2x\sqrt{1-x^2})/\pi\bigr)} dx $

Background: On my quest to solve difficult integrals, I chanced upon this site: http://www.durofy.com/5-most-beautiful-questions-from-integral-calculus/ Good problems for me, (novice), although I ...
10
votes
0answers
103 views

Is there a simple expression for $\sum_{n=0}^{\infty} \left[ (4x)^n \frac{(n!)^2}{(2n+1)!} \right]^2?$

Is there a simple expression for the power series $$\sum_{n=0}^{\infty} \left[ (4x)^n \frac{(n!)^2}{(2n+1)!} \right]^2?$$ This question came up in a quantum mechanics problem. Mathematica only returns ...
9
votes
0answers
170 views

Closed form of a difficult definite integral

I'm looking for a closed-form expression for the value of this integral: $$I=\int_0^\pi \frac{\sin(x)}{\sqrt{x^3+x+1}} dx$$ The graph of the integrand looks like this: $\hskip 2.4 in$ Numerically, ...
8
votes
0answers
155 views

Known exact values of the $\operatorname{Li}_3$ function

We know some exact values of the trilogarithm $\operatorname{Li}_3$ function. Known real analytic values for $\operatorname{Li}_3$: $\operatorname{Li}_3(-1)=-\frac{3}{4} \zeta(3)$ ...
8
votes
0answers
193 views

Nice way to express the radical $\sqrt{4+\sqrt[3]{4+\sqrt[4]{4+\dots}}}$

Since $e=\sum_{n=0}^\infty\frac{1}{n!}=1+1+\frac12(1+\frac13(1+\frac14(1+\dots)))$ We have $4^{e-2}=\sqrt{4\cdot\sqrt[3]{4\cdot\sqrt[4]{4\cdots}}}$ Is there however a nice way to express the radical ...
7
votes
0answers
104 views

Relations between definite integrals not having a known closed form

Are there any known cases, when there are two (or more) definite integrals, none of them having any known closed-form expression on its own, but there is still a non-trivial$^\dagger$ elementary ...
6
votes
0answers
65 views

Closed form of an infinite series of integrals $\int_{0}^{\eta} \cos nt \cos t \sqrt{\cos^2 t - \cos^2 \eta}$

Let $$ I(n,\eta) = \int_{0}^{\eta} \cos nt \, \cos t \, \sqrt{\cos^2 t - \cos^2 \eta}\; dt $$ where it is known that $0 < \eta \leq \frac \pi 2$. Is it possible to evaluate $S$, the infinite ...
6
votes
0answers
110 views

Closed-form of $\int_0^{\pi/2} \arctan(x)\cot(x)\,dx$

I'm looking for a closed-form of the following integral problem. $$I = \int_0^{\pi/2} \arctan(x)\cot(x)\,dx.$$ The numerical approximation of $I$ is $$I \approx ...
6
votes
0answers
135 views

Closed-forms of real parts of special value dilogarithm identities from inverse tangent integral function

The inverse tangent integral is defined as $$\operatorname{Ti}_2(x)=\Im\operatorname{Li}_2\left(ix\right)$$ Because this we have some special value identitiy. Let $c_1 = \operatorname{Li}_2(i)$, ...
6
votes
0answers
169 views

Closed-form of integrals containing double exponentials

Are there closed forms for the following integrals? $$\begin{align} I_1(w) & = \int_{-\infty}^{\infty} \frac{\exp(-we^y)}{y^2+\pi^2} dy, \\ I_2(w) & = \int_{-\infty}^{\infty} ...
6
votes
0answers
157 views

An incorrect answer for an integral

As the authors pointed out in this paper (p. 2), the following evaluation which was in Gradshteyn and Ryzhik (sixth edition) is incorrect (and has been removed). $$ ...
5
votes
0answers
302 views

Challenging integral: $\int_0^Z\frac{\alpha^{(1-x^2)}}{1-x^2} dx$

I'd like to find a symbolic form for the following integral: $$ f(\alpha, Z) = \int_0^Z\frac{\alpha^{(1-x^2)}}{1-x^2} dx $$ It is given that $0 \le \alpha \le 1$ and $0 \le Z < 1$. The following ...
5
votes
0answers
147 views

Can these integrals be represented in closed form?

This paper in the formula F.3.6 (page 271) gives the following formula for the derivative of Hurwitz Zeta function: $$\frac ...
5
votes
0answers
116 views

Infinite series involving factorials of squares

Does $$\sum_{n=0}^\infty \frac{1}{(n^2)!}=2.04167\dots$$ possess a closed form?
5
votes
0answers
64 views

Closed form of a “harmonic” alternating dilogarithm sum

Does the following sum $$ S = \sum_{n\geq 2}(-1)^n \mathrm{Li}_2(2/n) = 1.14434\ 42096\ 91982\ 23727\ 39852\ 45805\ldots $$ have a closed form in terms of known constants? Neither the inverse ...
5
votes
0answers
137 views

Integral of a product of five Bessel functions of order $0$

Does the following integral have a closed form? $$ \mathcal{J}(2,3,5,7,11) = \int_0^\infty x J_0(x\sqrt{2})J_0(x\sqrt{3})J_0(x\sqrt{5})J_0(x\sqrt{7})J_0(x\sqrt{11})\,dx. $$ I know that some similar ...
5
votes
0answers
112 views

Value of a Sine-Like Infinite Product

Does the following infinite product have a "nice" closed form? $$ P = \prod_{k=2}^{\infty} \left(\left(1 - \frac{1}{k^2}\right)^\dfrac{(-1)^k}{k}\right) $$ I know that without the power one could ...
5
votes
0answers
82 views

Can we consider a hypergeometric function as a closed-form?

Let's say a calculus problem like an integral or a series has a solution that inevitably involving a hypergeometric function. It turns out that hypergeometric function cannot be expressed in term of ...
5
votes
0answers
155 views

Log Log Integrals III

The integrals \begin{align} I_{7} = \int_{0}^{1} \ln(x) \ \ln^{2}\left( \ln \left(\frac{1}{x}\right) \right) \ \frac{dx}{1-x} \end{align} and \begin{align} I_{8} = \int_{0}^{1} \ln(x) \ \ln^{2}\left( ...
4
votes
0answers
54 views

Evaluating $~\int_0^1\sqrt{\frac{1+x^n}{1-x^n}}~dx~$ and $~\int_0^1\sqrt[n]{\frac{1+x^2}{1-x^2}}~dx$

How could we prove that $$\int_0^1\sqrt{\frac{1+x^n}{1-x^n}}~dx~=~a\cdot2^{a-1}~\bigg[\frac12~B\bigg(\frac a2,~\frac a2\bigg)~+~B\bigg(\dfrac{a+1}2,~\dfrac{a+1}2\bigg)\bigg],$$ where ...
4
votes
0answers
72 views

Closed form for $\sum^\infty_{n=1}\frac{H_n}{2^n\,(2n+1)^2}$

(This is a slight variation of another question, already answered) Can we find a closed form of the following series? $$S=\sum^\infty_{n=1}\frac{H_n}{2^n\,(2n+1)^2}\tag1$$ Using some non-rigorous ...
4
votes
0answers
107 views

closed form is exact in euclidean space

Question is to show that $d(f)=0$ for a $0$ form on $\mathbb{R}^n$ then $f$ is a constant function. See that $$0=df=\sum_i\frac{\partial f}{\partial x_i}dx_i$$ implies that $\frac{\partial ...
4
votes
0answers
127 views

Is there a closed-form expression for Shapley value of glove game?

Suppose we have a coalition game with transferable utilities, with $m$ players having a right-handed glove and $n$ players having a left-handed glove. The value of a coalition is equal to the number ...
4
votes
0answers
40 views

How do I find the finite limits of this infinite product?

What is... $$\lim_{\omega \to \infty} \left( {1 \over {a^{\omega}}} \cdot \prod_{N=1}^{\omega} (1+e^{b \cdot c^{-N}}) \right)$$ I'd like closed form solutions, and in this case that means any ...
4
votes
0answers
64 views

Prove that an equation has no elementary solution

There are methods proving that a polynomial isn't solvable in radical extensions (see Abel–Ruffini theorem) or proving that an integral or a differential equation has no solutions expressible through ...
4
votes
0answers
121 views

Exact values of error function

The error function is defined as $$\operatorname{erf}(z)=\frac{2}{\sqrt{\pi}} \int_0^z e^{-t^2} \, dt.$$ We know that the Gaussian integral is $$\int_{-\infty}^{\infty} e^{-x^2}\,dx=\sqrt{\pi}.$$ ...
4
votes
0answers
125 views

Closed-form expression for a hypergeometric series

What is the closed-form expression for $${}_2 F_1 \left(1+2\lceil n/2\rceil,-n;1/2;-z/4\right)$$ According to the book Concrete Mathematics (R.Graham, D.Knuth, O.Patashnik 2nd), the authors say the ...
3
votes
0answers
78 views

Infinite Series $\sum_{m=1}^{\infty} \frac{(-1)^{m-1}}{m^m}$

Any ideas to calculate this infinite sum? The ratio test guarantees the convergence; $$\lim_{m\to \infty} \frac{m^m}{(m+1)^{(m+1)}}=0<1$$
3
votes
0answers
35 views

Does a better form exists for the coefficients of this product of power series?

Let $$f(a,b,t) = \sqrt{1-at}\sqrt{1-bt}$$ We take the series for $\sqrt{1-at}$ and $\sqrt{1-bt}$ around $t = 0$ and multiply them together to find $$f(a,b,t) = \sum_{n=0}^\infty ...
3
votes
0answers
77 views

About the closed form for $\lim_{y\to +\infty}\left(-\frac{2}{\pi}\log(1+y)+\int_{0}^{y}\frac{|\cos x\,|}{1+x}\,dx\right)$

Recently, when facing a baby Rudin's exercise, I proved that: $$ \int_{0}^{y}\frac{|\cos x\,|}{1+x}\,dx = \frac{2}{\pi}\log(1+y)+O(1) $$ holds by integration by parts. Now I wonder if ...
3
votes
0answers
55 views

Closed form expression for a sum

I want to calculate a sum of the form $$\sum_{k=0}^m \frac{\Gamma[m+1+\alpha-k]^2}{\Gamma[m+1-k]^2}\frac{\Gamma[x+k]}{\Gamma[x]k!}$$ where $m>0$ and belongs to integers and $\alpha$ takes half ...
3
votes
0answers
82 views

Prove that primitives of $\frac{x^3}{{\rm e}^x - 1}$ have no closed form in terms of elementary functions

It is known the following indefinite integral $$\int \frac{x^3}{{\rm e}^x - 1} dx$$ cannot be evaluated in closed form in terms of any of the elementary functions of mathematics. A proof of this can ...
3
votes
0answers
36 views

How to work with a recursive function with 2 recursive instances?

In class, we figured out how to find the closed form of a recursive definition through the "basic 5 steps method". Example function T(n): If n = 1, T(1) = 1 If n > 1, T(n) = T(n-1)+1 Step 1: ...
3
votes
0answers
95 views

Seeking closed-form solution to $\sum_{n=1}^{\infty}\frac{\log{(1+n)}}{(1+n)^{\alpha}-1}$

I'm looking for a closed-form solution to this infinite series: $$S(\alpha):=\sum_{n=1}^{\infty}\frac{\log{(1+n)}}{(1+n)^{\alpha}-1},~~~\Re(\alpha)>1.$$ My attempt All I've really been ...
3
votes
0answers
52 views

Solving equation with LambertW function?

Does the equation $$ a = b x e^x + c x + d e^x $$ have a solution form solution? I tried to look for it by using the LambertW funcion, but I did not succeed. Thanks in advance.
3
votes
0answers
70 views

Closed form of specific series

I'm working on a problem that involves the integrals of various Bessel functions that Mathematica can't symbolically handle. I've managed to grind out the transformations and integrals by hand, and ...
3
votes
0answers
117 views

A photon in expanding Universe (a snail on a tree)

I want to know how far a snail can reach in expanding universe. It has a constant speed c = 1 and tree is expanding at speed $v= H_0 D$, with Hubble constant $H_0 = 1$. Here D(T) is the distance of ...
3
votes
0answers
106 views

How to resolve this equation for $f(n)$ without using $f(n-1)$

I have an equation related to some work I'm doing on Poisson distribution where I'm calculating a sequence of 100 values between a minimum and maximum value which is set by another formula. ...
2
votes
0answers
71 views

Intriguing Poisson sum with hyperbolic function

I've been playing with lots of Poisson sums lately, and I thought this one to be interesting: $$\sum_{k\in\mathbb{Z}}\left(\frac{1}{(k+x)\sinh{(k+x)\pi q}}-\frac{1}{\pi q (k+x)^2}\right)$$I want to ...
2
votes
0answers
58 views

Is there a closed-form solution (even approximated) to this inequality?

I have the following function: $f(x, \theta) = (1-\theta)(x+1)^{-\theta}\left[ \frac{2-2\theta}{1- 2\theta} (N^{1-2\theta} - (x+1)^{1-2\theta}) - (x+1)^{-\theta}(N^{1-\theta} - (x+1)^{1-\theta}) ...
2
votes
0answers
54 views

I suspect this integral has a closed form but I can't find it

$$\int_a^b \frac{\text{d}\eta}{\eta}\sin\left(A\eta^3\right)\sin\left(A(\eta-B)^3\right)$$ $$\int_a^b \frac{\text{d}\eta}{\eta}\sin\left(A\eta^3\right)\cos\left(A(\eta-B)^3\right)$$ where ...
2
votes
0answers
34 views

Closed form of a matrix product

Is there any closed form or a bound for a matrix product of this kind $$ P=\prod_{i=1}^n \begin{pmatrix} 1-a & a \\ b_i & 1-b_i \end{pmatrix}, \quad a,b_i \in [0,1] $$ for an arbitrary ...
2
votes
0answers
62 views

Closed form for sequence: $\sum_{j=1}^k 2^j j^{1/2}$

Any idea how to find the closed form for either of following sequences: $$ A(k) = \sum_{j=1}^k 2^j j^{1/2} $$ or $$ B(k) = \sum_{j=1}^k 2^a, \quad \quad a:= {j^{1/2}} $$ Note: closed form for one of ...
2
votes
0answers
77 views

How to find $\sum_{n \in \mathbb Z_+} \frac{2^{n-1}}{2^{2^n}}$?

I'm trying to calculte the measure of a fat Cantor set, but run into this question: How to find $$\sum_{n \in \mathbb Z_+} \frac{2^{n-1}}{2^{2^n}}$$
2
votes
0answers
35 views

Is there a general rule for proving that an equation has no analyticial solution

Somebody asked this here: Prove that an equation has no elementary solution But so far there is no response. The little math I know I have learnt it myself so I dont have a big picture of things. I ...
2
votes
0answers
52 views

What techniques does Mathematica use to find solutions to these sequences?

This question is related to my previous question: Need help finding a closed form for complicated sum. An answer to that question led my to try and find the general term of the following recurrence: ...