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

6
votes
0answers
40 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$$ ...
0
votes
0answers
18 views

Closed-forms of real parts of special value dilogarithm identities from inverse tangent integral function

The inverse tangent integral is defined as $$\operatorname{Ti}_2(x)=\Im\operatorname{Li}_2\left(ix\right)$$ Because this we have some special value identitiy. Let $c_1 = \operatorname{Li}_2(i)$, ...
7
votes
2answers
85 views

Prove that $\int_0^\infty \frac{\ln x}{x^n-1}\,dx = \left(\frac{\pi}{n\sin\left(\frac{\pi}{n}\right)}\right)^2$

This question inspired me to ask the following. Prove that $$I_n = \int_0^\infty \frac{\ln x}{x^n-1}\,dx = \left(\frac{\pi}{n\sin\left(\frac{\pi}{n}\right)}\right)^2,$$ for $\Re(n)>1$. For some ...
3
votes
1answer
82 views

Closed form of $I=\int_{0}^{\pi/2} \tan^{-1} \bigg( \frac{\cos(x)}{\sin(x) - 1 - \sqrt{2}} \bigg) \tan(x)\;dx$

Does the integral below have a closed-form: $$I=\int_{0}^{\pi/2} \tan^{-1} \bigg( \frac{\cos(x)}{\sin(x) - 1 - \sqrt{2}} \bigg) \tan(x)\;dx,$$ where $\tan^{-1} (\cdot)$ is inverse tangent function. ...
12
votes
5answers
166 views

Evaluation of $\int_0^{\pi/4} \sqrt{\tan x} \sqrt{1-\tan x}\,\,dx$

How to evaluate the following integral $$\int_0^{\pi/4} \sqrt{\tan x} \sqrt{1-\tan x}\,\,dx$$ It looks like beta function but Wolfram Alpha cannot evaluate it. So, I computed the numerical value of ...
3
votes
2answers
38 views

Decomposition of $_1F_2(1+n;1,2+n;x)$

I am looking for a way to decompose $_1F_2(1+n;1,2+n;z)$ for $n\in\mathbb{N}$ into either Bessel J functions or regularized confluent hypergeometric functions $_0\tilde F_1(b(n),z)$. Mathematica seems ...
0
votes
0answers
17 views

Analytic expression of 4D function [on hold]

I have a dependency P(x,y,z), thus, this is 4D function. My goal is to find an analytic expression of P as a function of x,y,z. Is there any software which could give me this kind of output? Best ...
6
votes
3answers
89 views

Integration $I_n=\int_{0}^{1}\frac{dx}{(x^n+1)(\sqrt[n]{x^n+1})}$

$$I_n=\int_{0}^{1}\frac{dx}{(x^n+1)\large\sqrt[n]{\normalsize x^n+1}}$$ Could someone help me through this problem?
2
votes
1answer
60 views

Closed-form of $\int_0^1 \int_0^1 \int_0^1 x^{(y^z)} \,dz\,dy\,dx$

We know that $$\int_0^1 \int_0^1 x^y\,dy\,dx = \ln 2.$$ Do we know a closed-form of $$\int_0^1 \int_0^1 \int_0^1 x^{(y^z)} \,dz\,dy\,dx\,?$$ As a start we know that $$\int_0^1 x^{(y^z)}\,dz = ...
2
votes
2answers
132 views

How to evaluate $\int_0^1\frac{\tanh ^{-1}(x)\log(x)}{(1-x) x (x+1)} \operatorname d \!x$?

How to evaluate the following integral $$\int_0^1\frac{\tanh ^{-1}(x)\log(x)}{(1-x) x (x+1)} \operatorname d \!x $$ The numerical result is $= -1.38104$ and when I look at it, I have no idea how to ...
1
vote
1answer
44 views

A inverse Trigonometric multiple Integrals

How to calculate the closed form of the integral $$\int\limits_0^1 {\frac{{\int\limits_0^x {{{\left( {\arctan t} \right)}^2}dt} }}{{x\left( {1 + {x^2}} \right)}}} dx$$
4
votes
1answer
61 views

How to prove $H\left(\frac{1}{4}\right)=\frac{e^{\frac{C}{4\pi}-\frac{3}{32}}\cdot A^{\frac{9}{8}}}{\sqrt 2}$

How to prove: $$ H\left(\frac{1}{4}\right)=\frac{e^{\frac{C}{4\pi}-\frac{3}{32}}\cdot A^{\frac{9}{8}}}{\sqrt 2} $$ Where $C$ is Catalan's number, $A$ is Glaisher-Kinkelin's constant and $H(x)$ is the ...
1
vote
0answers
31 views

Closed-form of $\sum_{k=1}^{\infty }\left(\psi_1(k)\right)^n$

Inspired by answers to this question, for which $n$ values could we specify a closed-form of $$S(n)=\sum_{k=1}^{\infty }\left(\psi_1(k)\right)^n\,?$$ Here $\psi_1$ is the trigamma function, and ...
8
votes
1answer
104 views

Closed-form of $\int_0^1\left(\frac{\arctan x}{x}\right)^n\,dx$

Inspired by this question, is there a closed-form of $$\int_0^1\left(\frac{\arctan x}{x}\right)^n\,dx\,?$$ Here $n \in \mathbb{N_+}$. In the answers to the question above we could find proofs of ...
7
votes
3answers
82 views

Improper integral : $\int_0^{+\infty}\frac{x\sin x}{x^2+1}$ [on hold]

How to evaluate the following improper integral : $$\int_0^{+\infty}\frac{x\sin x}{x^2+1}\,dx$$ I have tried integration by parts and variable substitution, but it didn't work.
4
votes
4answers
183 views

Inverse Trigonometric Integrals

How to calculate the value of the integrals $$\int_0^1\left(\frac{\arctan x}{x}\right)^2\,dx,$$ $$\int_0^1\left(\frac{\arctan x}{x}\right)^3\,dx $$ and $$\int_0^1\frac{\arctan^2 x\ln x}{x}\,dx?$$
8
votes
0answers
63 views

Closed form of a difficult definite integral

I'm looking for a closed-form expression for the value of this integral: $$I=\int_0^\pi \frac{\sin(x)}{\sqrt{x^3+x+1}} dx$$ The graph of the integrand looks like this: $\hskip 2.4 in$ Numerically, ...
0
votes
0answers
63 views

Help in simplifying this double summation

Can I express the following double summation $$\sum_{(i,j)\in\mathcal{R}} A_{v_i} G(v_j-v_i)$$ where $\mathcal{R}=\{ (i,j) \in \mathbb{Z}^2,i \in [1:n], j \in [1:m]\}$ while $G(.)$ is any function ...
3
votes
0answers
29 views

Prove that an equation has no elementary solution

There are methods proving that a polynomial isn't solvable in radical extensions (see Abel–Ruffini theorem) or proving that an integral or a differential equation has no solutions expressible through ...
3
votes
0answers
40 views

Closed-form of $\int_0^1 \left(\ln \Gamma(x)\right)^3\,dx$

From the amazing result by Raabe we know that $$LG_1=\int_0^1 \ln \Gamma(x)\,dx = \frac{1}{2}\ln(2\pi) = -\zeta'(0).$$ We also know that $$LG_2 = \int_0^1 \left(\ln \Gamma(x)\right)^2\,dx = ...
6
votes
3answers
66 views

Closed-form of $\int_0^1 \operatorname{Li}_p(x) \, dx$

While I've studied integrals involving polylogarithm functions I've observed that $$\int_0^1 \operatorname{Li}_p(x) \, dx \stackrel{?}{=} \sum_{k=2}^p(-1)^{p+k}\zeta(k)+(-1)^{p+1},\tag{1}$$ for any ...
0
votes
0answers
53 views

Help in writing a nasty expression in nice closed form

This question is abouting re-writing a product in nice closed form. I have the following $$f(v_1) = \left(\sum_{i=1}^K \pi \lambda_i \delta_1 v_1^{\delta_1-1} P_i^{\delta_1} e^{-\beta_i ...
5
votes
2answers
85 views

Is this closed-form of $\int_0^1 \operatorname{Li}_3^2(x)\,dx$ correct?

According to Freitas' paper at page $11$. $$\int_0^1 \operatorname{Li}_3^2(x)\,dx = 20-8\zeta(2)-10\zeta(3)-\frac{15}{2}\zeta(4)-2\zeta(2)\zeta(3)+\zeta^2(3).$$ I evaluated the LHS and it is ...
2
votes
0answers
39 views

How to calculate alternating Euler sum [closed]

In How to calculate $\sum_{n=1}^\infty\frac{(-1)^n}n H_n^2$? get $$\sum_{n=1}^\infty\frac{(-1)^n}n H_n^2=\frac{1}{12}(\pi^2\log2-4(\log 2)^3-9\zeta(3)),$$ Similar, how to evaluate the series, ...
3
votes
1answer
55 views

Closed-form of a special value dilogarithm identity

Let $c$ be the following. $$c = \frac{1+i\sqrt 3}{3}\operatorname{Li}_2\left(1-\frac{i\sqrt 3}{3}\right)+\operatorname{Li}_2\left(\frac 34 + \frac{i\sqrt 3}{4}\right) + ...
6
votes
1answer
94 views

Integral ${\large\int}_0^1\frac{\ln^2\ln\left(\frac1x\right)}{1+x+x^2}dx$

Gradshteyn & Ryzhik, 7th ed., p. 570, formula 4.325(5) give the following definite integral: ...
5
votes
2answers
129 views
+50

Closed-form of $\sum_{k=0}^{\infty} \frac{k^a\,b^k}{k!}$

While working on this question I think I've found a closed-form expression for the following series, but I don't know how to prove it. Let $a \in \mathbb{N}$ and $b \in \mathbb{R}$. Then ...
3
votes
2answers
74 views

Closed-form of the sequence ${_2F_1}\left(\begin{array}c\tfrac12,-n\\\tfrac32\end{array}\middle|\,\frac{1}{2}\right)$

Is there a closed-form of the following sequence? $$a_n={_2F_1}\left(\begin{array}c\tfrac12,-n\\\tfrac32\end{array}\middle|\,\frac{1}{2}\right),$$ where $_2F_1$ is the hypergeometric function and $n ...
1
vote
0answers
36 views

Non-recursive closed-form of the coefficients of Taylor series of the reciprocal gamma function

The reciprocal gamma function has the following Taylor series. $$\frac{1}{\Gamma(z)}=\sum_{k=1}^{\infty}a_kz^k,$$ where the $a_k$ coefficient are given by the followint recursion. $a_1=1$, ...
10
votes
2answers
166 views

Closed-form of $\int_0^1 B_n(x)\psi(x+1)\,dx$

Is there a closed-form of the following integral? $$I_n = \int_0^1 B_n(x)\psi(x+1)\,dx,$$ where $B_n(x)$ are the Bernoulli polynomials and $\psi(x)$ is the digamma function. The motivation of the ...
3
votes
1answer
126 views

Closed-form of $\int_0^{\pi/4} \sin(\sin(x)) \, dx$

Let $I(b)$ is the following integral $$I(b)=\int_0^b \sin(\sin(x)) \, dx.$$ There are some $b$ value for that we know a closed-form of $I(b)$ in term of Struve function $\mathbf{H}_n(x)$. For ...
25
votes
1answer
1k views

The Wicked Integral

My brother's friend gave me the following wicked integral with a beautiful result \begin{equation} {\Large\int_0^\infty} \frac{dx}{\sqrt{x} \bigg[x^2+\left(1+2\sqrt{2}\right)x+1\bigg] ...
12
votes
3answers
256 views

Prove $\int_{0}^{\pi/2} x\csc^2(x)\arctan \left(\alpha \tan x\right)\, dx = \frac{\pi}{2}\left[\ln\frac{(1+\alpha)^{1+\alpha}}{\alpha^\alpha}\right]$

When I showed to my brother how I proved \begin{equation} \int_{0}^{\!\Large \frac{\pi}{2}} \ln \left(x^{2} + \ln^2\cos x\right) \, \mathrm{d}x=\pi\ln\ln2 \end{equation} using the following theorem by ...
1
vote
0answers
24 views

Sum of Bessel functions and integral of exponential of sine or cosine

I'm looking to simplify the following sum of Bessel functions of the first kind: $$\sum_{q=-\infty}^{\infty}\frac{(-)^{q}}{2q+1}e^{iq\theta}I_{q}(\alpha^{2})$$ Motivated by a related question and by ...
4
votes
0answers
54 views

Can we consider a hypergeometric function as a closed-form?

Let's say a calculus problem like an integral or a series has a solution that inevitably involving a hypergeometric function. It turns out that hypergeometric function cannot be expressed in term of ...
6
votes
3answers
157 views

How to evaluate $\int_0^\infty \frac{1}{x^n+1} dx$ [duplicate]

Noticed that the integral $$\int_0^\infty \frac{1}{x^n+1} dx$$ is often approached with partial fraction decomposition, but this gets increasingly ugly as $n$ gets bigger. Is there a neat trick to do ...
3
votes
2answers
94 views

Log integrals II

By considering the integral \begin{align} I_{\mu} = \int_{0}^{\pi/4} \sin(2\theta) \, \left( \cos(\theta) - \sin(\theta) \right)^{\mu} \, d\theta \end{align} derivatives can be taken with respect to ...
10
votes
1answer
150 views

What is a closed form for ${\large\int}_0^1\frac{\ln^3(1+x)\,\ln^2x}xdx$?

Some time ago I asked How to find $\displaystyle{\int}_0^1\frac{\ln^3(1+x)\ln x}x\mathrm dx$. Thanks to great effort of several MSE users, we now know that \begin{align} \int_0^1\frac{\ln^3(1+x)\,\ln ...
0
votes
0answers
9 views

Developing closed-form from recursive definition

Here is a recursively-defined function where c, d ∈ N. T(n) =    c, if n = 0 d, if n = 1 2T(n − 1) − T(n − 2) + 1, if n > 1 Carry out the five steps for repeated substitution to prove a ...
8
votes
5answers
146 views

Easiest way to find $\Re\int_{0}^{\pi/2} e^{e^{i\theta}} d\theta$

How do we find $$\Re\left[\int_0^{\large\frac{\pi}{2}} e^{\Large e^{i\theta}}d\theta\right]$$ In the shortest and easiest possible manner? I cannot think of anything good.
1
vote
2answers
45 views

Proving that a closed form is true for $n=k+1$ with induction

I need to prove that a closed form formula is true for n=k+1. I need to use mathematical induction and explain every step, but I'm getting lost on this one. I already found the closed form, and I made ...
4
votes
1answer
104 views

Closed form of $\sum_{k=1}^{n}\binom{n}{k} h^{(n-k)}(0)f^{(k-1)}(0)$

Is there a closed form for: $$\sum_{k=1}^{n}\binom{n}{k} h^{(n-k)}(0)f^{(k-1)}(0)$$ where: $$h(x)=(1-x)^{\alpha}(A-Bx)^{\frac{1}{\gamma}-\alpha}$$ and ...
4
votes
1answer
37 views

How can I find a closed form for the summation (i^2)(-1^i+1) systematically?

In one of my homeworks I was given the following sequence $1^2-2^2+3^2-4^2+\dots (-1)^{n+1}n^2$, and I'm supposed to find a closed form formula and prove that it works. Rewriting this as a sum gives ...
10
votes
1answer
170 views

Two integral involving logarithm and polylogarithm function

Evaluate the following integrals $$\int_0^1\frac{\ln(1-x)}{x}\text{Li}_3\left(\frac{1 + x}{2} \right)\,dx\\ .\\ \int_0^1\frac{\ln^2(1-x)}{x}\text{Li}_2\left(\frac{1 + x}{2} \right)\,dx$$
7
votes
1answer
101 views

Evaluate $\int_{0}^{1} \frac{\left[\rm{Li}_2\left(\frac{1}{2} \right)-\rm{Li}_2\left(\frac{1 + x}{2}\right)\right]\ln( 1 - x)}{1 + x}\,dx$

$\def\Li{{\rm{Li}}}$How to evaluate the following integral$${\large\int_0^1} {\frac{{\left[ {\Li_2\left( {\frac{1}{2}} \right) - \Li_2\left( \frac{1 + x}{2} \right)} \right]\ln \left( {1 - x} ...
4
votes
3answers
114 views

Evaluate $\int_{0}^1 x^{p}(\log x)^q dx$

Evaluate $$\int_{0}^1 x^{p}(\log x)^q dx$$ for $p \in \mathbb{N}$ and $q \in \mathbb{N}$.
0
votes
1answer
69 views

Writing in closed form this nasty expansion

hi I have to write the following in closed form, $$a_1 + a_2 + a_3 + a_1 v_{2}v_{1}+ a_1v_{3}v_{1}+ a_2v_{3}v_{2}+a_2v_{1}v_{2}+ a_3v_{1}v_{3}+a_3v_{2}v_{3}$$ $$ \sum_{(i,j)\in \mathcal{S}} a_i(1+ ...
7
votes
1answer
124 views

Closed-form of $\sum_{k=1}^{\infty}\arctan(1/k^3)$

Wolfram said that $$\sum_{k=1}^{\infty}\arctan\left(\frac{1}{k^2}\right)=\arctan\left(\frac{1-\cot\left(\frac{\pi}{\sqrt 2}\right)\tanh\left(\frac{\pi}{\sqrt 2}\right)}{1+\cot\left(\frac{\pi}{\sqrt ...
9
votes
2answers
242 views

Extract real and imaginary parts of $\operatorname{Li}_2\left(i\left(2\pm\sqrt3\right)\right)$

We know that polylogarithms of complex argument sometimes have simple real and imaginary parts, e.g. ...
4
votes
0answers
63 views

Exact values of error function

The error function is defined as $$\operatorname{erf}(z)=\frac{2}{\sqrt{\pi}} \int_0^z e^{-t^2} \, dt.$$ We know that the Gaussian integral is $$\int_{-\infty}^{\infty} e^{-x^2}\,dx=\sqrt{\pi}.$$ ...