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
0answers
51 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
29 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
325 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?
4
votes
3answers
185 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
314 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
88 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 ...
2
votes
3answers
127 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 ...
1
vote
1answer
33 views

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 ...
10
votes
1answer
254 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 ...
1
vote
0answers
11 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
46 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
44 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
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 ...
3
votes
0answers
68 views

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 $$ ...
1
vote
2answers
47 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
0answers
47 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)}.$$ ...
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
357 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
286 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
305 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
98 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
47 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
44 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
38 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
368 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
66 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 ...
10
votes
2answers
198 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
56 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$, ...
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 ...
18
votes
2answers
278 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
67 views

Is there a closed form solution to this equation?

I have the following equation $e^{-x/b}(a+x) = e^{x/b}(a-x)$ where $b > 0$, and $a > 0$ I need to solve for $x$. I can do it numerically, but would prefer if there was a closed form solution. ...
20
votes
4answers
569 views

Evaluate $\int_{0}^1 \prod_{k=2}^n \lfloor kx \rfloor dx$

Let $n\ge2$ be an integer , then $$\int_{0}^1 \prod_{k=2}^n \lfloor kx \rfloor dx=\text{ ?}, $$ where $\lfloor \space \rfloor$ is the "floor-function"
34
votes
3answers
665 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$$
3
votes
1answer
117 views

An example of Risch algorithm for integrating $y$, $F(x,y)=0$.

I would like to compute the integral $$ \int y\,dx, \qquad y=\sqrt{x+\sqrt{x+1}},\\ F(x,y)=y^4-2xy^2+x^2-x-1=0, $$ in closed form, where $F(x,y)$ is a polynomial in $\mathbb{C}[x,y]$. I am trying to ...
1
vote
1answer
248 views

Prove a non-empty subset is closed in an inner product space

I hope someone would be able to help me with the finer details of this proof. Problem: M is a non-empty set in an Inner Product Space (IPS) X. I need to show that the annihilator of M which is ...
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 ...
5
votes
3answers
172 views

Help with logarithmic definite integral: $\int_0^1\frac{1}{x}\ln{(x)}\ln^3{(1-x)}$

I'm look for a closed form evaluation of the following improper definite integral involving logarithms: $$\begin{align} I:&=\int_{0}^{1}\frac{1}{x}\ln{(x)}\ln^3{(1-x)}\,\mathrm{d}x\\ ...
15
votes
1answer
199 views

Approximate value of a slowly-converging sum of $\sum|\sin n|^n/n$

In this question on Math.SE there appears this sum: $$ S = \sum_{n\geq1}s_n, \qquad s_n = \frac{|\sin n|^n}{n}, $$ which converges very slowly. What methods would you suggest for evaluating it ...
2
votes
1answer
29 views

Does $\sum_{i=1}^{k-1}\lceil \log_2\frac{N}{i}\rceil$ have a closed form?

Does the following have a closed formula? $$\sum_{i=1}^{k-1}\left\lceil \log_2\frac{N}{i}\right\rceil$$
7
votes
1answer
134 views

Proving that $\int_0^\infty\Big(\sqrt[n]{1+x^n}-x\Big)dx~=~\frac12\cdot{-1/n\choose+1/n}^{-1}$

How can we prove, without employing the aid of residues or various transforms, that, for $n>2$ $$\int_0^\infty\Big(\sqrt[n]{1+x^n}-x\Big)dx~=~\frac12\cdot{-1/n\choose+1/n}^{-1}$$ Motivation: ...
4
votes
1answer
198 views

Expressing the solutions of the equation $ \tan(x) = x $ in closed form.

I know that the equation $ \tan(x) = x $ can be solved using numerical methods, but I’m looking for a closed form of the solutions. In my opinion, having only numerical solutions means that we don’t ...