Tagged Questions

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

5
votes
1answer
47 views

using complex or real analysis solve $\int_{0}^{\pi/2}\frac{x^m}{\sin x}dx$

closed form for $$\int_{0}^{\frac{\pi}{2}}\frac{x^m}{\sin x}\ dx$$ I slove it for some m but in general i failed. I tried by part , by substitution,by using $\sin x =\frac{e^{ix}-e^{-ix}}{2i}$ . I ...
3
votes
2answers
63 views

Evaluation of $\int_0^\pi \! \ln\left(1-2\alpha\cos x+\alpha^2\right) \mathrm{d}x$

I have got a trouble with integral $$\int_0^\pi \! \ln\left(1-2\alpha\cos x+\alpha^2\right) \, \mathrm{d}x,\quad |\alpha|<1.$$ My teacher said there are two ways of solving such ones, if there is ...
1
vote
3answers
25 views

Closed form of a sum

I am trying to derive the closed form of the sum $\sum\limits_{i=2}^n \frac{1}{i(i-1)}$ which Mathematica tells me is $\frac{n-1}{n}$. I am completely baffled on how to arrive at this result. The ...
7
votes
0answers
32 views

Is there a simple expression for $\sum_{n=0}^{\infty} \left[ (4x)^n \frac{(n!)^2}{(2n+1)!} \right]^2?$

Is there a simple expression for the power series $$\sum_{n=0}^{\infty} \left[ (4x)^n \frac{(n!)^2}{(2n+1)!} \right]^2?$$ This question came up in a quantum mechanics problem. Mathematica only returns ...
4
votes
0answers
26 views

Write $\sum_{k=1}^nk\sin(kx)^2$ in closed form

$\underline{Given:}$ Write in closed form $$\sum_{k=1}^nk\sin(kx)^2$$ using the fact that $$\sum_{k=1}^nku^k=\frac u{(1-u)^2}[(n)u^{n+1}(n+1)u^n+1]$$ $\underline{My\ Work:}$ I substituted ...
4
votes
0answers
52 views
+100

Prove this closed-form of sum of ${_4F_3}$ hypergeometric functions

I think the following identity is true. How could we prove it? $${_4F_3}\left(\begin{array}c 1,1,1,1 \\\tfrac54,2,2\end{array}\middle|\,1\right) + ...
1
vote
0answers
21 views

generalization of geometric series $ \sum_{k=0}^\infty x^{p(k)} $

I have been playing around with infinite series and I wondered if it is possible to find an expression for the series: $$ \sum_{k=0}^\infty x^{p(k)} $$ as a generalization of geometric series. $p(k)$ ...
0
votes
4answers
39 views

why is $\sum_0^{n-1} k(k-1) = n(n-1)(n-2)/3$ [on hold]

how do I get that $\sum_0^{n-1} k(k-1) = n(n-1)(n-2)/3$? And why is it true?
7
votes
1answer
109 views

How to calculate the closed form of the series

We know that the closed form of the series $$\sum_{k\geq 1}\frac{(-1)^k}{k^3}H_k=-\frac{11\pi^4}{360}+\frac{\ln^42-\pi^2\ln^22}{12}+2\mathrm{Li}_4\left(\frac12\right)+\frac{7\ln 2}{4}\zeta(3),$$ but ...
1
vote
1answer
23 views

show that$ U=\{(x,y) \text{is an element of} \mathbb{R^2}:x^2+4y^2<4\}$ is open by finding a ball around each point which is contained in U

I am trying to figure out how to do this one.I know that it is an open set but I don't know how to prove that it is open. I know how to show the ball around each point contained in U but not the ...
4
votes
1answer
34 views

Three integral involving polylogarithm function

$\newcommand{\Li}{\operatorname{Li}}$Evaluate the following integrals $$\int\limits_0^1 \frac{\Li_2^3(x)}{x}dx, \quad \int\limits_0^1 \frac{\Li_2^2(x)\Li_3 (x)}{x} dx, \quad \int\limits_0^1 ...
6
votes
0answers
50 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
24 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)$, ...
8
votes
3answers
112 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 ...
4
votes
1answer
117 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. ...
13
votes
6answers
241 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
0answers
83 views
+150

Closed formula for the asymptotic limit of a definite integral

I would like to solve the following integral: $$ I_0 (a,b)= \int_0^1 dx\int_0^{1-x} dz \frac{1}{a z (z-1)+a x z + x(1-b)}$$ in the limit where $b$ is small ($a$ and $b$ are positive constants). ...
3
votes
2answers
42 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 [closed]

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
92 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?
3
votes
1answer
115 views
+100

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
143 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
48 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
67 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
36 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
109 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
87 views

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

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
196 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
67 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
67 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
30 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 ...
4
votes
0answers
45 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
70 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
92 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
43 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
56 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
103 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: ...
6
votes
2answers
166 views

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
77 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
172 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
127 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 ...
26
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
259 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
25 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
59 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
159 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
154 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 ...