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

8
votes
1answer
85 views

Closed form for integral of integer powers of Sinc function

(Edit: Thank you Vladimir for providing the references for the closed form value of the integrals. My revised question is then to how to derive this closed form.) For all $n\in\mathbb{N}^+$, ...
0
votes
2answers
49 views

Closed form for recurrence relation

Is there a closed-form solution to the following recurrence: $$T(n) = T(n-1) + T(n-3)$$ If yes, what is it and how can it be proven/derived? If not, then why because a somewhat similar recurrence ...
10
votes
0answers
163 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 $$ ...
3
votes
1answer
79 views

Integral/infinite sum related to Bessels which pop up in optical coherence theory

In propagating partially coherent optical fields, the following integral pops up: $$I_1=\int_0^{2\pi} e^{i(a\cos[\theta]+b\cos^2[\theta])}d\theta,$$ where $a$ and $b$ are real numbers. If we ...
3
votes
1answer
111 views

Examples of pairs of difficult integrals

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 ...
4
votes
1answer
175 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 ...
20
votes
2answers
483 views
6
votes
0answers
126 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
1answer
77 views

Expressing a recursively defined function in terms of factorials or gamma function

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) = ...
21
votes
2answers
414 views

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 ...
3
votes
1answer
114 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 ...
17
votes
2answers
474 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 ...
3
votes
2answers
63 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 ...
33
votes
3answers
844 views

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

Please help me to evaluate this integral: $$ I={\large\int}_{0}^{\infty}{\ln\left(x\right) \over 1 + x}\, \,\sqrt{\,x + \sqrt{\,1 + x^{2}\,}\, \over 1 + x^{2}\,}\,\,{\rm d}x.\tag1 $$ Mathematica could ...
2
votes
0answers
100 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 ...
0
votes
1answer
40 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 ...
2
votes
0answers
70 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$? ...
6
votes
1answer
123 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 ...
4
votes
2answers
161 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 ...
12
votes
2answers
367 views

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

This integral has been bugging me since yesterday: $$\int_0^1\frac{\ln\ln\left({1}/{x}\right)}{x^2-x+1}\mathrm dx$$ I've tried substitution $y={1}/{x}$ and $e^y={1}/{x}$, but those didn't help ...
7
votes
1answer
102 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 ...
1
vote
2answers
66 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 ...
6
votes
1answer
253 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 $$ ...
2
votes
1answer
29 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 ...
5
votes
1answer
132 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
73 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 ...
2
votes
1answer
119 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} ...
1
vote
1answer
56 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} ...
3
votes
1answer
56 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$.
12
votes
1answer
297 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 ...
2
votes
3answers
190 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
52 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 ...
1
vote
2answers
48 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 ?
1
vote
4answers
79 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. ...
4
votes
1answer
76 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 ...
0
votes
1answer
43 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$ ?
0
votes
0answers
56 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$?
2
votes
0answers
65 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$, ...
0
votes
2answers
75 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. ...
2
votes
2answers
113 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 ...
12
votes
3answers
262 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\\ ...
2
votes
1answer
33 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
163 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: ...
23
votes
1answer
429 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 ...
4
votes
1answer
252 views

Is there a closed form expression for the sum of all the proper divisors of an integer?

I have already found a summation formula here: http://math.stackexchange.com/a/22723, and also a very interesting recursive formula here: http://math.stackexchange.com/a/22744. Any ideas on how to ...
1
vote
0answers
101 views

What is the sum of Psi/Digamma-function of consecutive arguments? Is there a closed form?

In a consideration of summation of a series $$ s = a_0 + a_1 + a_2 + \cdots \tag 1$$ with $$\lim_{k \to \infty} a_k=0$$ but slowly decreasing, the coefficients $a_k$ are somehow related to $1/k^2$ ...
0
votes
0answers
35 views

Help getting a closed-form solution to a maximisation problem

I'm working through a maximisation problem that I can't seem to get a closed-form solution to. It may be the case that there is no closed-form solution, but I would like a second opinion, since I've ...
20
votes
4answers
612 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"
4
votes
5answers
336 views

Find a closed expression for a formula including summation

Let: $$\sum\limits_{k = 0}^n {k\left( {\matrix{ n \cr k \cr } } \right)} \cdot {4^{k - 1}} \cdot {3^{n - k}}$$ Find a closed formula (without summation). I think I should define this as a ...