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

2
votes
1answer
55 views

Examples of pairs of difficult integrals [on hold]

I’m looking for pairs of difficult definite integrals that are linked algebraically on a certain field without known change of variable or integration by parts from one integral to the other. Here a ...
10
votes
2answers
276 views

Evaluating $\int_0^\pi\arctan\left(\frac{\ln\sin x}{x}\right)\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 ...
12
votes
2answers
300 views

Determining the number of valid TicTacToe board states in terms of board dimension

I am attempting to find a closed form equation in terms of $n$, for the number of valid Tic-Tac-Toe board states (ignoring symmetry), where the board has dimension $n \times n ,\; 0 \lt n,\;n \in \Bbb ...
4
votes
1answer
164 views

Can we express the following in a closed form? [duplicate]

I want to evaluate the integral: $$I=\int_{0}^{\pi/2}\ln \left ( \frac{(1+\sin x)^{1+\cos x}}{1+\cos x} \right )\,dx$$ Well, the sub $u=\pi/2-x$ does not give me any result. In fact it makes the ...
8
votes
1answer
142 views
+100

Prove $_2F_1\left(\frac13,\frac13;\frac56;-27\right)\stackrel{\color{#808080}?}=\frac47$

I discovered the following conjecture numerically, but have not been able to prove it yet: $$_2F_1\left(\frac13,\frac13;\frac56;-27\right)\stackrel{\color{#808080}?}=\frac47.\tag1$$ The equality holds ...
8
votes
4answers
155 views

Do these integrals have a closed form? $I_1 = \int_{-\infty }^{\infty } \frac{\sin (x)}{x \cosh (x)} \, dx$

The following integrals look like they might have a closed form, but Mathematica could not find one. Can they be calculated, perhaps by differentiating under the integral sign? $$I_1 = \int_{-\infty ...
9
votes
0answers
107 views
4
votes
1answer
61 views

Expressing a Recursion in terms of factorials

Given the recursion $$f(n) = nf(n-1) + (n-1)f(n-2) $$ $$f(0) = 1, f(1) = 1$$ How exactly does one express the target function? I know that $$f(n) = nf(n-1)$$ gives rise to $$f(n) = \Gamma(n+1)$$ ...
6
votes
0answers
100 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). $$ ...
11
votes
1answer
281 views

Packing an infinite sequence of disks

Let $a > 1$ and $Q(a)$ denote the supremum of values of $q$ such that a countably infinite collection of disks, whose areas form an infinitely decreasing geometric progression with the start value ...
4
votes
0answers
117 views
+50

Closed form $\sum_{n=2}^{\infty} \frac{1}{\ln^n{n}}$ and $\sum_{n=2}^{\infty} \frac{n}{\ln^n{n}}$

Apologies if this has been asked before, but I was playing around with Wolfram Alpha and got approximations but not closed forms for $$\sum_{n=2}^{\infty} \frac{1}{\ln^n{n}} \approx 3.2426094109 $$ ...
4
votes
2answers
116 views
+100

Convergence of ${\large\int}_{-\infty}^\infty J_0(x)\,J_0(x+a)\,dx$

Consider $$I(a)={\int}_{-\infty}^\infty J_0(x)\,J_0(x+a)\,dx,$$ where $J_0(z)$ is the Bessel Function of the $1^{st}$ kind and $a>0$. Does this integral converge for any values of $a$? If so, is ...
3
votes
1answer
86 views

Evaluating an infinite square root

How do I evaluate the square root: $$\sqrt{2013+276\sqrt{2027+278\sqrt{2041+280\cdots}}}$$ I have tried creating two arithmetic sequences such that $$a_n = 1999+14n$$ $$b_n = 274+2n$$ so the square ...
4
votes
1answer
89 views

Prove this polylogarithmic integral has the stated closed form value

Question. Prove the following polylogarithmic integral has the stated value: $$I:=\int_{0}^{1}\frac{\operatorname{Li}_2{(1-x)}\log^2{(1-x)}}{x}\mathrm{d}x=-11\zeta{(5)}+6\zeta{(3)}\zeta{(2)}.$$ ...
2
votes
2answers
40 views

Sum of odd Bessel Functions

In an answer, I showed that: $$\sin(1)=2\sum_{k=0}^\infty(-1)^k J_{2k+1}(1)$$ Where $J_n(x)$ is the Bessel function of the first kind. Is there a more general result for the infinite sum of odd Bessel ...
3
votes
0answers
93 views

Integral ${\large\int}_0^\infty\frac{\ln x}{1+x}\sqrt{\frac{x+\sqrt{1+x^2}}{1+x^2}}\ dx$

Please help me to evaluate this integral: $$I={\large\int}_0^\infty\frac{\ln x}{1+x}\sqrt{\frac{x+\sqrt{1+x^2}}{1+x^2}}\ dx.\tag1$$ Mathematica could not evaluate it in a closed form. A numerical ...
2
votes
0answers
46 views

BCH (Baker-Campbell-Hausdorff) formula for $[X,Y]=xY-yX$

If some $X$ and $Y$ satisfy the commutation relation $[X,Y]=XY-YX=xY-yX$, where $x$ and $y$ are numbers (or commute mutually and with $X$ and $Y$), then what is the closed form of $\ln(\exp X \exp ...
3
votes
3answers
173 views

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

This integral has been bugging me since yesterday: $$\int_0^1\frac{\ln\ln\left(\frac{1}{x}\right)}{x^2-x+1}dx$$ I've tried substitution $y=\frac{1}{x}$ and $e^y=\frac{1}{x}$, but those didn't ...
2
votes
0answers
57 views

Find the exact value of expression

Let $$S=\sqrt{4+\sqrt[3]{4+\sqrt[4]{4+\sqrt[5]{4+\sqrt[6]{4+\cdots}}}}}$$ Is it possible to write $S$ in terms of standard mathematical functions and operators? If yes, what is the exact value of $S$? ...
0
votes
1answer
38 views

Do all series have a closed form representation of their partial sum? If not, can we feasibly prove that this is not the case?

The question was motivated by the way in which we approach the convergence and divergence of some series. During my undergraduate analysis course one of the only times in which the partial sum was ...
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?
5
votes
3answers
193 views

Harmonic Numbers series I

Can it be shown that \begin{align} \sum_{n=1}^{\infty} \binom{2n}{n} \ \frac{H_{n+1}}{n+1} \ \left(\frac{3}{16}\right)^{n} = \frac{5}{3} + \frac{8}{3} \ \ln 2 - \frac{8}{3} \ \ln 3 \end{align} where ...
17
votes
2answers
325 views

$\int_0^\infty\text{Ci}(x)^3\mathrm dx$

Is there a closed form for this integral: $$\int_0^\infty\text{Ci}(x)^3\mathrm dx,$$ where $\text{Ci}(x)=-\int_x^\infty\frac{\cos z}{z}\mathrm dz$ is the cosine integral?
6
votes
1answer
116 views

How do people on MSE find closed-form expressions for integrals, infinite products, etc?

I always wanted to ask this question since when I joined MSE, but because I was afraid of asking too many soft questions I never asked it. I've seen some pretty complicated integrals and infinite ...
1
vote
0answers
14 views

Derivative of a generalized hypergeometric function

Let $$f(a)={_2F_3}\left(\begin{array}c1,\ 1\\\tfrac32,\ 1-a,\ 2+a\end{array}\middle|-\pi^2\right).$$ How to find $f'(0)$ in a closed form?
1
vote
1answer
47 views

Closed form for the recursion $\displaystyle u_n=\sum_{k=0}^{n-1} u_ku_{n-1-k}$

I was completing a computer science problem when the following recursion popped up: $u_0=1$ $\displaystyle u_n=\sum_{k=0}^{n-1} u_ku_{n-1-k}$ Is there a closed form for this recursion ? I ...
3
votes
1answer
48 views

Does $\int { y\cosh \left(\beta y^2\right)}J_0\left(\gamma y^2 \right) dy$ have a closed form

I am trying to solve the following indefinite integral $$F_Y(y) = \int {y\cosh \left(\beta y^2\right)}J_0\left(\gamma y^2 \right) dy$$ Where $J_0$ is the Bessel function of the first kind. I tried ...
20
votes
4answers
479 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 ...
1
vote
2answers
48 views

Find a closed form for the generating function for this sequence

The sequence: $0, 0, 0, 1, 1, 1, 1, 1, 1, \ldots$ The book gives the answer of $\frac{x^3}{1-x}$ but I'm not sure how to get this answer. I understand the generating function of this sequence will be ...
2
votes
1answer
28 views

Constructing an indicator function from a braid group which represents 'all strings have returned to their initial position'.

TL;DR Is there a well-defined closed formula from the braid group $B_n$ to $\{-1,1\} \left(\text{ or }\{0,1\}\right)$ which represents whether all the strings have returned to their initial ...
18
votes
3answers
376 views

How to solve $\int_0^\infty J_0(x)\ \text{sinc}(\pi\,x)\ e^{-x}\,\mathrm dx$?

I need some help with solving this integral involving Bessel function: $\hspace{2in}\displaystyle\int_0^\infty$$J_0(x)\ $$\text{sinc}(\pi\,x)\ $$e^{-x}\,\mathrm dx.$
3
votes
1answer
53 views

Find a sequence

Find the function for the sequence $a_0 = 0, a_1 = 1$ and $a_{n}=a_{n+10}+a_n$ for all $n>0$.
18
votes
2answers
370 views

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

Is it possible to evaluate this integral in a closed form? $$ I \equiv \int_{0}^{1}{\ln\left(x\right) \over x - 1}\, \ln\left(1 + {1 \over \ln^{2}\left(x\right)}\right)\,{\rm d}x $$ Numerically, ...
12
votes
1answer
287 views

How to prove $\int_0^\pi\frac{\ln(2+\cos\phi)}{\sqrt{2+\cos\phi}}d\phi=\frac{\ln3}{\sqrt3}K\left(\sqrt{\frac23}\right)$?

How can I prove the following conjectured identity? $$\int_0^\pi\frac{\ln(2+\cos\phi)}{\sqrt{2+\cos\phi}}d\phi\stackrel?=\frac{\ln3}{\sqrt3}K\left(\sqrt{\frac23}\right),\tag1$$ where $K(x)$ is the ...
20
votes
2answers
309 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 ...
2
votes
0answers
101 views

Definite trigonometric integral

This question is motivated by Iterative Mean, Covariance Algorithm Convergence: Is there a closed form for the integral $$ \int_0^{2 \pi} ...
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 ...
1
vote
1answer
53 views

Identities involving adjoint action

I'm looking for list of identities involving adjoint action $\mathrm{ad}_A X = [A,X] = AX - XA$. For example, it can be easily shown that: \begin{equation} e^{\mathrm{ad}_A} X = e^A X e^{-A} ...
2
votes
2answers
110 views

Closed form for $f(x)=\int_{0}^{+\infty}e^{it^{x}}dt$?

Let $x>1$ and $f(x)=\int_{0}^{+\infty}e^{it^{x}}dt$. Does this integral have a closed form ? Fist point, the integral converges. Indeed let $u=e^{it^{x}}$ and $v=\frac{-i}{x}t^{1-x}$ we have ...
0
votes
0answers
45 views

closed form expression for an infinite series

Is there any closed form expression for the infinite sum $∑_{n≥0}q^{n(n+1)/2}(1+q)(1+q^2)...(1+q^n)u^n$ where both q and n are variables and $n \in N∪0$?
0
votes
1answer
39 views

closed form expression for an infinite sum

Is there any closed form expression for the infinite sum $\sum_{n≥0}q^{n^2}u^n$ where both q and n are variables and $n \in N∪0$ ?
2
votes
3answers
178 views

What is the closed form for $\sum_{n=1}^\infty \frac1n - \frac1{n+1/p}$?

A while ago, I started to look at expressions of the following form: $$ S_p:=\sum_{n=1}^\infty \frac1n - \frac1{n+1/p}, $$ where $p$ is prime, because otherwise things get too complicated for me at ...
0
votes
3answers
46 views

Closed-form term for $\sum_{i=1}^{\infty} i q^i$ [duplicate]

I am interested in the following sum $$\sum_{i=1}^{\infty} i q^i$$ for some $q<1$. Is there a closed-form-term for this? If yes, how does one derive this? I am also interested in ...
2
votes
0answers
27 views

Closed-form solution to polynomials of this special form?

I have two sets of real numbers $\{a_k\}$ and $\{b_k\}$ such that: $$a_n \leq \ldots \leq a_1 < b_1 \leq \ldots \leq b_n$$ Now consider the following polynomial equation: $$\prod_{k=1}^n (x - ...
1
vote
4answers
72 views

closed-form term for this sum:

related to this question: Is there an easy closed-form term for $$\sum_{j=k}^{\infty} \frac{x^j}{j!}e^{-x},$$ thus when the sum starts at a constant $k$ instead of $1$? EDIT: Thanks for your help. ...
13
votes
2answers
373 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 ...
1
vote
2answers
47 views

closed form for $\int_0^1x^{a+1}(1-x^2)^bJ_a(cx)dx$

$$\int_0^1x^{a+1}(1-x^2)^bJ_a(cx)dx$$ my friend posted the integral on the fb and I tried to solve it but I faild because I have little information about bessel function so could some one help ?
4
votes
1answer
69 views

Closed form of $\sum_{k=0}^nk\binom{k}{3}\binom{2n}{k}$

Recently, I came across the following exercise on the course of discrete math Find a closed form for $\sum_{k=0}^nk\binom{k}{3}\binom{2n}{k}$ So I tried some of the usual techniques: Let ...
11
votes
2answers
199 views

Need help with $\int_0^\infty\frac{e^{-x}}{\sqrt[3]2+\cos x}dx$

Please help me to evaluate this integral: $$\int_0^\infty\frac{e^{-x}}{\sqrt[3]2+\cos x}dx$$
2
votes
0answers
58 views

Evaluate $\int_0^\infty x^{\lambda-1} \exp\left(-ax-b\sqrt x-\frac{c}{\sqrt x} - \frac{d}{x}\right) \: dx$

Is there a closed form for the integral $$\int_0^\infty x^{\lambda-1} \exp\left(-ax-b\sqrt x-\frac{c}{\sqrt x} - \frac{d}{x}\right) \: dx?$$ where $\lambda>0$, $a>0$, $d>0$ and where $b$, ...