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

0
votes
1answer
26 views

Solving recurrence relation in form of $f(n)=f(n-1)+K-n$

I asked a question (now deleted it) on finding a relation between $$4,10,15,\cdots$$ I studied a a little about recurrence relation and solving them. for the above sequence I observed that $$f(n) = ...
2
votes
1answer
54 views

Infinite product: $(1-0.5^2)(1-0.5^3)(1-0.5^4)…$

Find a closed form for the value of the infinite product $(1-0.5^2)(1-0.5^3)(1-0.5^4)...$ I know it converges. At first I thought it was the Euler–Mascheroni constant, but it's only accurate to about ...
3
votes
1answer
46 views

Integral ${\large\int}_0^1\left(-\frac{\operatorname{li} x}x\right)^adx$

Let $\operatorname{li} x$ denote the logarithmic integral $$\operatorname{li} x=\int_0^x\frac{dt}{\ln t}.$$ Consider the following parameterized integral: $$I(a)=\int_0^1\left(-\frac{\operatorname{li} ...
1
vote
3answers
40 views

Yet another sum involving binomial coefficients.

Given $A,B,N \in \mathbb N$ Is there a closed form for this expression? $$\sum_{n=1}^N n \binom{A}n \binom{B}{N-n} $$ If there is such, can you give a proof? EDIT: $A,B \geq N$
2
votes
1answer
58 views

How to evaluate the following infinite sum involving the Riemann zeta function?

I want to find a closed form for the following infinite sum: $$\sum_{k=2}^{\infty} \frac{(-1)^k\cdot(k-1)}{k\cdot(k+1)}\cdot \zeta(k)$$ Is it possible? My approach was to transform it into a double ...
0
votes
1answer
16 views

Antisymmetric asymptotic curve with only simple binary arithmetic?

I'm looking for an s-curve formula with similar properties to $Sigmoid$ or $\tan^{-1}$, but without 'expensive' unary functions or their binary generalizations (e.g. $^x\log y$). The only allowed ...
3
votes
0answers
55 views

Integrals $\int \frac{1}{\operatorname{arctanh}(x)} \, dx$ and $\int \frac{1}{\operatorname{arccoth}(x)} \, dx$

Do we know anything about this integrals? $$ \begin{align} I_1(x) = \int \frac{1}{\operatorname{artanh}(x)} \, dx \\ I_2(x) = \int \frac{1}{\operatorname{arcoth}(x)} \, dx \end{align}$$ Similar ...
1
vote
2answers
67 views

Solving equation involving binomial function

Solve for $x$ in terms of $i$ and $j$: $$ \binom{x}{i} = j $$ where $x$ is Real; $i$ and $j$ are Integers: $x \geqslant i$, $i \geqslant1$, $j \geqslant 0$. I came across this problem while trying ...
1
vote
1answer
30 views

How to calculate convolution of two logarithmic function, i.e. $\int \ln(\tau)\ln{(x-\tau)}d\tau$

Here I have a problem to calculate the probability density function (PDF) of the sum of two independent random variables (RVs), $Z_0,Z_1$, and the PDF of $Z_0,Z_1$ are as follow: ...
1
vote
1answer
38 views

Series involving a Logarithm

Consider the series \begin{align} \sum_{n=1}^{\infty} \left[ \frac{n}{a} \ln\left(1 + \frac{a}{n}\right) - 1 + \frac{a}{2n} \right]. \end{align} Is there a closed form solution to this series and what ...
5
votes
0answers
90 views
+50

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} ...
1
vote
2answers
53 views

How do you solve these recurrence relations for a closed form?

I'm not sure what methods are used to solve recurrence relations for a big-$O$ notation. Thinking about the problem conceptually doesn't really help me, but I feel like I could use some form of ...
4
votes
1answer
69 views

General term of $(1+x)(1+x^2)(1+x^3)…$?

Is there a closed for the coefficient of $x^n$ in $(1+x)(1+x^2)(1+x^3)\cdots$? If not, then what is the closest to a closed form that anyone has found? (An infinite series that approximates it ...
2
votes
1answer
164 views

Simplifying big expression

What to do with this? $$f(x) = \frac{\sinh(\pi)}{\pi} + \frac{2\sinh(\pi)}{\pi}\sum_{n=1}^\infty (-1)^n \left[\frac{\cos(nx)-n \sin(nx)}{1 + n^2}\right]$$ Can it be simplified?
1
vote
2answers
37 views

Converting Recursive Function into Closed/Explicit Form

so I have this recursive function here: $\forall n>1,f(n) = 2(f(n-1)) + n-1$, (where it is $0$ when $n$ is less than $1$) So I have tried to use iteration for this but it just gets more ...
6
votes
1answer
164 views

Closed form for $\int_1^\infty\frac{\operatorname dx}{\operatorname \Gamma(x)}$

Is a closed form for $$\int\limits_1^{+\infty}\frac{\operatorname dx}{\operatorname \Gamma(x)}$$known? I tried to find it, but all well-known integrals involving gamma-function (such as of ...
9
votes
2answers
223 views

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

I'm looking for a closed form of this integral. $$I = \int_0^1 \frac{\operatorname{Li}_2\left( x \right)}{\sqrt{1-x^2}} \,dx ,$$ where $\operatorname{Li}_2$ is the dilogarithm function. A numerical ...
1
vote
0answers
25 views

Closed-form expression for this matrix equation?

I have the following matrices $P \in \mathbb{R}^{N \times N}$, $q(k) = \begin{bmatrix} q_1(k) \\ \vdots \\ q_N(k) \end{bmatrix}$. With $q_i(k) \in \mathbb{R}^n$ and thus $q(k) \in \mathbb{R}^{Nn}$. ...
0
votes
0answers
11 views

How to obtain closed form solution to the constrained optimization problem?

Suppose the following minimization problem: $$ N^*(\lambda)=\min_{X\in\mathbb{R}^8}\left\|D\left(A\cdot X-b\right)\right\|^2_2 \\ s.t. C_\lambda X= r_\lambda, $$ where $X\in \mathbb{R}^{8\times ...
6
votes
1answer
215 views

Closed form for integral $\int_0^1 \int_0^1 \frac{\arcsin\left(\sqrt{1-s}\sqrt{y}\right)}{\sqrt{1-y} \cdot (sy-y+1)}\,ds\,dy $

I'm looking for a closed form of this definite iterated integral. $$I = \int_0^1 \int_0^1 \frac{\arcsin\left(\sqrt{1-s}\sqrt{y}\right)}{\sqrt{1-y} \cdot (sy-y+1)}\,ds\,dy $$ From Vladimir ...
0
votes
1answer
31 views

Proving budget constraint is compact.

Given the prices $p \in \mathbb{R}_{+}^{k}$ and income $y \geq 0$, define the consumer's budget set as the set of feasible consumption bundles: $\beta(p,y) = \{x \in \mathbb{R}_{+}^{k}: ...
0
votes
1answer
29 views

Giving a closed expression to $\sum_{i=0}^b (-1)^{b-i} \binom{b}{i}\frac{1}{a+b-i}$

I want to prove $\sum_{i=0}^b (-1)^{b-i} \binom{b}{i}\frac{1}{a+b-i} = \frac{(a-1)! b!}{(a+b)!}$ yet I feel like I don't know how to even approach this problem. Any hints are welcome.
3
votes
1answer
44 views

Spacing of fence posts with minimal distance to other fence posts

Definition 1: A "fence" is a set of "fence post positions", where each pair of adjacent positions has the same difference (the spacing), e.g. $\{1,2, 3, 4\}$. A fence is described by three values ...
3
votes
2answers
107 views

Proving the bound $\left ( 1+\frac{x}{n} \right)^n \leqslant 3^x$, $\forall x \in \mathbb{R^+}$

I'm trying to directly prove the above bound. I have tried expanding it $$\left ( 1+\frac{x}{n} \right)^n = \sum_{k\geqslant 0} \binom{n}{k}\left ( \frac{x}{n}\right)^k$$ $$= \sum_{k=0\dots n ...
7
votes
1answer
87 views

Closed-form of $\displaystyle\sum_{n=1}^\infty\frac{(-1)^{n+1}}{n}\Psi_3(n+1)$

Does the following series have a closed-form \begin{equation} \sum_{n=1}^\infty\frac{(-1)^{n+1}}{n}\Psi_3(n+1) \end{equation} where $\Psi_3(x)$ is the polygamma function of order 3. Here is ...
2
votes
1answer
21 views

Evaluation of infinite sum related to problems in elasticity

I'm working on some problems with relation to elasticity (plate mechanics in specific) and while I've made some progress the following sum is giving me a hard time ...
1
vote
1answer
25 views

What types of fractals have a closed-form interior formula?

I was looking at the Menger Sponge earlier, and I realized it has a neat property: Let x, y, and z be spatial dimensions, each between 0 and 1 (inclusive.) Express them as ternary floating point ...
17
votes
1answer
284 views

Integral $\int_0^1\frac{\log(x)\log^2(1-x)\log^2(1+x)}{x}\mathrm dx$

I decided to follow a recent trend and ask a question about logarithmic integrals :) Is there a closed form for this integral? $$\int_0^1\frac{\log(x)\log^2(1-x)\log^2(1+x)}{x}\mathrm dx$$
1
vote
0answers
31 views

Explicit solution to a nonlinear equation possible here?

I am looking for a solution in $s$ to $$ \lambda -\frac{1}{s} +K e^t \log(\delta) \delta^s = 0 $$ Mathematica is not best pleased with this equation. If the equation were $$ 0- \frac{1}{s} +K e^t ...
8
votes
0answers
108 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)$ ...
5
votes
2answers
65 views

Special values $\psi \left(\frac12\right)$ and $\psi \left(\frac13\right)$

I wonder if it is easy to prove that $$ \begin{align} \psi \left(\frac12\right) & = -\gamma - 2\ln 2, \\ \psi \left(\frac13\right) & = -\gamma + \frac\pi6\sqrt{3}- \frac32\ln 3, \end{align} ...
0
votes
1answer
25 views

Closed form for this incomplete gamma series?

The series I'm working with is $$\sum_{k=0}^\infty \binom{z}{k}(-1)^k ( 1-\frac{\Gamma(k,-\log n)}{\Gamma(k)} )$$ with $z$ a complex variable and $\Gamma(k, -\log n)$ the upper incomplete gamma ...
20
votes
4answers
595 views

Closed-forms for several tough integrals

These integrals came up in the process of finding solution to Vladimir Reshetnikov's problem. I wonder if there are closed-forms for the following integrals: \begin{array}{1,1} &[\text{1}] ...
0
votes
0answers
28 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 ...
16
votes
3answers
262 views

Integral $\int_{0}^1\frac{\ln\frac{3+x}{3-x}}{\sqrt{x(1-x)}}dx$

I have a problem with the following integral: $$ \int_{0}^{1}\ln\left(\,3 + x \over 3 - x\,\right)\, {{\rm d}x \over \,\sqrt{\,x\left(\,1 - x\,\right)\,}\,} $$ The first idea was to use the ...
21
votes
3answers
418 views

Integral of Combination Log and Inverse Trig Function

Does the following integral have a closed-form ?: \begin{equation} \int_{0}^{1}{\ln\left(\,x\,\right) \over 1 + x}\,\arccos\left(\,x\,\right) \,{\rm d}x \end{equation} This integral has been ...
7
votes
1answer
53 views

A closed form for $\sum_{k=0}^{n}(-1)^k\frac{k^p}{k!(n-k)!}$

Is there a closed form for $$ \sum_{k=1}^n (-1)^k\frac{k^p}{k!(n-k)!},\quad n=0,1,2\ldots,\,p=0,1,2\ldots. $$ I tried to identify the sum with Stirling numbers...
0
votes
2answers
55 views

Closed form for $1/(n (n + 1))$

What would the closed form be for $$ g(n) = \frac{1}{1 \cdot 2} + \frac{1}{2 \cdot 3} + ... + \frac{1}{n \cdot (n+1)}\;\;? $$ An example would be $g(3) = \frac{1}{2}+\frac{1}{6}+\frac{1}{12} = ...
2
votes
0answers
47 views

Closed form for the sum $\sum_{a=1}^{b} a^3\cdot (b \bmod a)$

How can we simplify $\sum_{a=1}^{b} a^3\cdot (b \mod a)$? For $a \ge \frac{b+1}{2} $ to $a = b$ it reduces to $$\sum_{a\ge \frac{b+1}{2}}^{b}a^3\cdot (b-a)=b\cdot\sum_{a\ge ...
2
votes
5answers
115 views

Closed form for $1 + 3 + 5 + \cdots +(2n-1)$ [duplicate]

What is the closed summation form for $1 + 3 + 5 + \cdots + (2n-1)$ ? I know that the closed form for $1 + 2 + 3+\cdots + n = n(n+1)/2$ and I tried plugging in $(2n-1)$ for $n$ in that expression, ...
13
votes
1answer
173 views

Evaluating $\int_0^{\Large\frac{\pi}{2}}\left(\frac{1}{\log(\tan x)}+\frac{1}{1-\tan(x)}\right)^3dx$

Using the method shown here, I have found the following closed form. $$ \int_0^{\!\Large \frac{\pi}{2}}\!\!\left(\frac{1}{\log(\tan x)}+\frac{1}{1-\tan x}\right)^2\! \mathrm dx= ...
23
votes
4answers
686 views

Closed form for ${\large\int}_0^1\frac{\ln^2x}{\sqrt{1-x+x^2}}dx$

I want to find a closed form for this integral: $$I=\int_0^1\frac{\ln^2x}{\sqrt{x^2-x+1}}dx\tag1$$ Mathematica and Maple cannot evaluate it directly, and I was not able to find it in tables. A numeric ...
13
votes
3answers
419 views

Closed Form for the Imaginary Part of $\text{Li}_3\Big(\frac{1+i}2\Big)$

$\qquad\qquad$ Is there any closed form expression for the imaginary part of $~\text{Li}_3\bigg(\dfrac{1+i}2\bigg)$ ? Motivation: We already know that ...
1
vote
1answer
30 views

simplifying an expression with even and odd integers

I got this expression for my $b_n$ to a Fourier series: $$b_n=\frac{(2- \pi^2 n^2)\cos(\pi n) -2}{4( \pi n)^3}$$ Now I want to write it in a closed form without the use of $\text{when } n \text{ is ...
6
votes
3answers
109 views

A closed-form of product the gamma functions containing $\pi$ and $\phi$

Playing with gamma functions by randomly inputting numbers to Wolfram Alpha, I got the following beautiful result \begin{equation} ...
1
vote
1answer
53 views

Why is $\int_0^{2\pi} e^{i\,k\rho[\sin\alpha\cos\alpha-\sin\theta\cos(\phi-\beta)]}\mathrm{d}\beta = 2\pi J_0(k\rho\xi)$?

The following is an integral in Jackson Classical Electrodynamics (3rd ed.). In equation (10.112) the integral $$ \int_0^{2\pi} ...
4
votes
2answers
101 views
+50

Evaluation of a class of continued fractions

Is there a closed-form way of writing the continued fraction: $$ 1 + \frac{2}{3+ \frac{4}{5 + \frac{6}{7 + ...}}} $$ EDIT: Since the above has been determined as $\frac{1}{\sqrt{e}-1}$, is there a ...
23
votes
3answers
384 views

Prove $\displaystyle \int_{0}^{\pi/2} \ln \left(x^{2} + (\ln\cos x)^2 \right) \, dx=\pi\ln\ln2 $

How to prove\begin{equation} \int_{0}^{\pi/2} \ln \left(x^{2} + (\ln(\cos x))^2 \right) \, dx=\pi\ln\ln2 \end{equation} I don't know how to answer it. When I asked this integral to my brother, ...
17
votes
1answer
224 views

Integral ${\large\int}_0^1\ln(1-x)\ln(1+x)\ln^2x\,dx$

This problem was posted at I&S a week ago, and no attempts to solve it have been posted there yet. It looks very alluring, so I decided to repost it here: Prove: ...
5
votes
1answer
92 views

Simpler closed form for $\sum_{n=1}^\infty\frac{\Gamma\left(n+\frac{1}{2}\right)}{(2n+1)^4\,4^n\,n!}$

I'm trying to find a closed form of this sum: $$S=\sum_{n=1}^\infty\frac{\Gamma\left(n+\frac{1}{2}\right)}{(2n+1)^4\,4^n\,n!}.\tag{1}$$ WolframAlpha gives a large expressions containing multiple ...