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

11
votes
4answers
186 views

A conjectured result for $\sum_{n=1}^\infty\frac{(-1)^n\,H_{n/5}}n$

Let $H_q$ denote harmonic numbers (generalized to a non-integer index $q$): $$H_q=\sum_{k=1}^\infty\left(\frac1k-\frac1{k+q}\right)=\int_0^1\frac{1-x^q}{1-x}dx=\gamma+\psi(q+1),\tag1$$ where ...
6
votes
3answers
111 views

Closed-form of $\operatorname{Li}_2\left(1 \pm i\sqrt{3}\right)$

I've found the following identity while I was going through a quite difficult path. $$ \Re\operatorname{Li}_2\left(1 \pm i\sqrt{3}\right) = \frac{\pi^2}{24} -\frac{1}{2}\ln^2 2 - ...
2
votes
0answers
63 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 ...
24
votes
0answers
225 views
+50

Conjectured value of a harmonic sum $\sum_{n=1}^\infty\left(H_n-\,2H_{2n}+H_{4n}\right)^2$

There is a known asymptotic expansion of harmonic numbers $H_n$ for $n\to\infty$: $$\begin{align}H_n&=\gamma+\ln n+\sum_{k=1}^\infty\left(-\frac{B_k}{k\cdot n^k}\right)\\ &=\gamma+\ln ...
4
votes
1answer
87 views

How to integrate $\int \limits_{0}^{\infty} \frac{e^{-(t+\frac{1}{t})}}{\sqrt t} dt$

This is a problem given in my homework . I have to find the integral$$\int \limits_{0}^{\infty} \frac{e^{-(t+\frac{1}{t})}}{\sqrt t}dt$$ I am trying to use integral representation of the gamma ...
4
votes
2answers
64 views

Does the elliptic function $\operatorname{cn}\left(\frac{2}{3}K\left(\frac{1}{2}\right)\big|\frac{1}{2}\right)$ have a closed form?

Given the complete elliptic integral of the first kind $K(k)$ for the modulus $k$, can the elliptic function $$\text{cn}\left(\frac{2}{3}K\left(\frac{1}{2}\right)\bigg|\frac{1}{2}\right)$$ be ...
4
votes
1answer
59 views

closed-form of an integral similar to Bessel function

The integral form of the $n$-th modified Bessel function of the first kind is $$ I_n(z)=\frac{1}{\pi}\int_0^{\pi}e^{z\cos\theta}\cos(n\theta)\;d\theta. $$ However, I found an integral $$ ...
4
votes
3answers
136 views

Closed-form of $\int_0^1 \operatorname{Li}_3\left(1-x^2\right) dx$

By using dilogarithm functional equations we can show that $$ \int_0^1 \operatorname{Li}_2\left(1-x^2\right)\,dx = \frac{\pi^2}{2}-4, $$ where $\operatorname{Li}_2$ is the dilogarithm function. Could ...
7
votes
1answer
127 views

Partial sums of falling factorials

I want to know if there exists some way, approximate or exact, to do a partial sum of falling factorials of the kind: $$\sum_{k=i}^{n}(a+k)_{h}$$ where all are constants. And I'm interested too in ...
2
votes
1answer
99 views

Hypergeometric function values and the Baxter constant

While I was working on this question by @Vladimir Reshetnikov, I've found the following relations between Gaussian hypergeometric function values and the Baxter constant: ...
2
votes
1answer
53 views

Computing the integral of $-1/f''$

I think this is a very silly question but I have some problems nonetheless. If I know that $g'=-\frac{1}{f''}$, is then $$ g=(f')^{-1}? $$
6
votes
1answer
169 views
+50

Integral $\int_0^1 \ln(x)^n \operatorname{Ei}(x) \, dx$

I've conjectured the following identity for $n\geq0$ integers: $$ \int_0^1 \ln(x)^n \operatorname{Ei}(x) \, dx = (-1)^{n+1}n! \cdot \left(-\operatorname{Ei}(1)+\sum_{k=1}^{n+1} ...
4
votes
0answers
95 views
+50

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 ...
8
votes
4answers
172 views

Is there a formulaic way to go from $\sum_{k=1}^{n} \frac{1}{k}$ back to $n$?

Say you want to sum $g(n) = \sum_{k=1}^{n} \frac{1}{k} = L$. Is there a simple formula to go from $L$ and deduce $n$? My attempt: For $n = 1$, the formula is $L$. Assume there is a formula for all ...
7
votes
2answers
201 views

Closed-form of $\int_0^1\left(\frac{\left(x^2+1\right)\arcsin(x)}{\sqrt{1-x^2}}+2x\ln\left(x^2+1\right)\right)\frac{\ln x}{x^3+x}\,dx$

I've conjectured the following closed-form: $$ I = \int_0^1\left(\frac{\left(x^2+1\right)\arcsin(x)}{\sqrt{1-x^2}}+2x\ln\left(x^2+1\right)\right)\frac{\ln x}{x^3+x}\,dx = -2\,G\,\ln2, $$ where $G$ is ...
6
votes
1answer
140 views
1
vote
0answers
45 views

What families of transcendental equations do we have solved?

I'm particularly interested in transcendental equations but searching in internet gives me only results about the classical linear-exponential equation (which is solved with Lambert's W) and its ...
-1
votes
1answer
54 views

Transcendental equation $2 x n\cot (2x)= x^2 - n^2$

I have a transcendental equation and I have not a mathematical superiour formation (I'm an hydraulic engineer) necessary to solve it. The equation is : $2 x n\cot (2x)= x^2 - n^2$ or (same equation) ...
10
votes
4answers
365 views

explicit formula for recurrence relation $a_{n+1}=2a_n+\frac{1}{a_n}$

For $n\in\mathbb N$, $$a_{n+1}=2a_n+\frac{1}{a_n},\quad a_1=1. $$ Can any one give an explicit formula for all $a_n$? If such an explicit general formula doesn't exist, please explain it. I've tried ...
2
votes
1answer
58 views

Closed forms for two times series similar to geometric series, but with additional power

Does anyone know a close form solutions to any of the following time series? (approximate upper bounds might as well work). $$ \sum_{k=1}^T \frac{1}{2^{k^2}} $$ or $$ \sum_{k=1}^T k ...
4
votes
6answers
316 views

Find a finite sum of perfect squares with alternating signs

How to find the sum of this formula? $$\sum\limits_{k=1}^{2n} (-1)^{k} \cdot k^{2}$$
8
votes
1answer
87 views

$\sum_{n=1}^\infty \frac{1}{(n^2-1)!} - \sum_{n=1}^\infty \frac{1}{(7n+1)!}$ is almost $1+1/6$

I've recognized, that $$\mathcal{S} = \sum_{n=1}^\infty \frac{1}{(n^2-1)!} - \sum_{n=1}^\infty \frac{1}{(7n+1)!} \approx 1.1666666666666666666657785992648796$$ which is almost $1+1/6$. I think it is ...
6
votes
1answer
106 views

This 1 innocent looking recurrence relation seems to have no solution.

$$P(cx) = \cos(x) P(x)$$ For $c=2$, $P(x) = \sin(x)/x$ is a solution to this. I don't know if there's a closed-form solution for $c \ne 2$. Rather than add my own attempt at solution, which is ...
5
votes
1answer
195 views

This one weird infinite product can define exponentials in terms of itself. What does it do for other constants?

What is... $$\lim_{\omega \to \infty} \prod_{N=1}^{\omega} {{1+e^{b \cdot c^{-N}}} \over 2}$$ This is similar to my other question. However, there is a constant factor rather than variable in the ...
0
votes
1answer
19 views

Simple closed functional form for summed recurrence relation

I'm struggling to obtain a simple closed form for a summed recurrence relation. I have an overall form $y=A\left(n-\sum_i^n\frac{e^{-x_i}}{B}\right)$ where $x_{i+1}=kx_i+m$ with $A,B,m >1$ and ...
7
votes
1answer
154 views

Evaluating $\sum_{n \geq 1}\ln \!\left(1+\frac1{2n}\right) \!\ln\!\left(1+\frac1{2n+1}\right)$

Is there a direct way to evaluate the following series? $$ \sum_{n=1}^{\infty}\ln \!\left(1+\frac1{2n}\right) \!\ln\!\left(1+\frac1{2n+1}\right)=\frac12\ln^2 2. \tag1 $$ I've tried telescoping ...
1
vote
1answer
31 views

How to prove that a sequence with recurrence relation has no closed form expression?

It is always easy to forge recurrence relations. E.g. $$a_{n+1}=2a_n+\dfrac{1}{a_n}, a_0=1$$ But it is always hard to find the general closed form expression. And it is even harder to prove that ...
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$$
8
votes
2answers
127 views

Proving $~\prod~\frac{\cosh\left(n^2+n+\frac12\right)+i\sinh\left(n+\frac12\right)}{\cosh\left(n^2+n+\frac12\right)-i\sinh\left(n+\frac12\right)}~=~i$

How could we prove that $${\LARGE\prod_{\Large n\ge0}}~\frac{\cosh\left(n^2+n+\dfrac12\right)+i\sinh\left(n+\dfrac12\right)}{\cosh\left(n^2+n+\dfrac12\right)-i\sinh\left(n+\dfrac12\right)}~=~i$$ ...
1
vote
3answers
97 views

A nifty series involving $\cosh(x)$

There are many series that can be found in the literature that are entertaining. Here is yet another. What is the resulting value of the series $$ \sum_{n=1}^{\infty} \frac{(-1)^{n+1} \, ...
5
votes
2answers
145 views

Closed form for $(2^1-1)(2^2-1)…(2^k-1)$?

Is there closed form for $\prod_1^{i=k}(2^i-1)$ ? I found that it is the product of the terms of the following arithmetico-geometric sequence : $$\{u_1=1,u_{n+1}=2u_n+1\}$$ I found nothing with ...
6
votes
4answers
256 views

Alternating Recurrence relation $a_n = b_{n-1} + 5$ and $b_n = na_{n-1}$

I am racking my brain on solving the relation where: $$a_n = b_{n-1} + 5$$ $$b_n = na_{n-1}$$ where $a_0$ = $b_0$ = 1 I am trying to find the closed form for $a_n$. I have tried to shifting $b_n = ...
14
votes
1answer
193 views

Does $\int_0^{\infty} \left( p + q W \left( r e^{- s x + t} \right) + u x \right) e^{- x} d x$ have a closed-form expression?

Does $\int_0^{\infty} \left( p + q W \left( r e^{- s x + t} \right) + u x \right) e^{- x} d x$ (with 6 variables) where W is the Lambert W function (also known as ProductLog in Mathematica) have a ...
0
votes
2answers
78 views

Closed form for nth term - generating functions

I think I am mostly confused about what the question is asking. I read that "closed form" means that it should not be represented as as infinite sum, so I am not sure what they are asking for. Would ...
2
votes
3answers
181 views

Generating Functions and closed form [closed]

I read somewhere that we can use generating functions to find closed form of a sequence. So what is the difference between a generating function and closed form of a sqeunce?
0
votes
0answers
50 views

Given a positive integer $k$, find the integer part of $n^2 /k$ for $n\ge 1$, and a related question.

For a given positive integer $k,$ I am looking for possible answers / literature about the sequence $(a_n)=([\frac{n^2}{k}])_{n=1}^\infty$, where $[x]=$the integer part of $x.$ This question is ...
25
votes
2answers
545 views

A difficult logarithmic integral ${\Large\int}_0^1\log(x)\,\log(2+x)\,\log(1+x)\,\log\left(1+x^{-1}\right)dx$

A friend of mine shared this problem with me. As he was told, this integral can be evaluated in a closed form (the result may involve polylogarithms). Despite all our efforts, so far we have not ...
12
votes
1answer
384 views

Closed-form of $\int_{0}^{\infty} \frac{{\text{Li}}_2^3(-x)}{x^3}\,dx$

Is there a possibility to find a closed-form for $$\int_{0}^{\infty} \frac{{\text{Li}}_2^3(-x)}{x^3}\,dx$$ We have $$I=\int_0^1\frac{Li_2^3(-x)+x^4Li_2^3(-\frac{1}{x})}{x^3}\,dx$$ After repeatedly ...
11
votes
1answer
173 views

Closed form for $I=\int_{0}^{\infty}\frac{x^n}{x^2+u^2}\tanh(x) \, dx$

solve $$I=\int_{0}^{\infty}\frac{x^n}{x^2+u^2}\tanh(x) dx:0<n<2$$ I tried for $n=1$ : $$I(v)=\int_{0}^{\infty}\frac{x}{x^2+u^2}\tanh(vx) dx$$ ...
4
votes
0answers
301 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 ...
13
votes
5answers
447 views

Closed form for an infinite product

The following fascinating formula appears in the paper "On gamma quotients and infinite products" by M.Chamberland and A.Straub (see page 9): ...
6
votes
2answers
129 views

The value of the integral $\int_0^2\left(\sqrt{1+x^3}+\sqrt[3]{x^2+2x}\:\right)dx$

The value of definite integral $$\int\limits_{0}^{2}\left(\sqrt{1+x^3}+\sqrt[3]{x^2+2x}\:\right)dx$$ is $$(A)\,4 \quad(B)\,5 \quad (C)\,6 \quad(D)\,7$$ My attempt: I tried using ...
0
votes
0answers
15 views

Calculate in closed form the number of questions to gamble to maximize the probability to get a given score in a multiple choice test

I am trying to generalize and calculate in closed form the best strategy that a gambler should follow to maximize the probability to get a given score in a multiple choice test (i.e. the number of ...
6
votes
3answers
106 views

Closed-form of $\int_0^1 x^n \operatorname{li}(x^m)\,dx$

I've conjectured, that for $n\geq0$ and $m\geq1$ integers $$ \int_0^1 x^n \operatorname{li}(x^m)\,dx \stackrel{?}{=} -\frac{1}{n+1}\ln\left(\frac{m+n+1}{m}\right), $$ where $\operatorname{li}$ is the ...
30
votes
2answers
553 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 ...
13
votes
2answers
205 views

Integral $\int_0^\infty\text{Li}_2\left(e^{-\pi x}\right)\arctan x\,dx$

Please help me to evaluate this integral in a closed form: $$I=\int_0^\infty\text{Li}_2\left(e^{-\pi x}\right)\arctan x\,dx$$ Using integration by parts I found that it could be expressed through ...
9
votes
1answer
80 views

Closed-forms of the integrals $\int_0^1 K(\sqrt{k})^2 \, dk$, $\int_0^1 E(\sqrt{k})^2 \, dk$ and $\int_0^1 K(\sqrt{k}) E(\sqrt{k}) \, dk$

Let denote $K$ and $E$ the complete elliptic integral of the first and second kind. The integrand $K(\sqrt{k})$ and $E(\sqrt{k})$ has a closed-form antiderivative in term of $K(\sqrt{k})$ and ...