3
votes
1answer
60 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} ...
7
votes
0answers
78 views
+200

Relations connecting values of the polylogarithm $\operatorname{Li}_n$ at rational points

The polylogarithm is defined by the series $$\operatorname{Li}_n(x)=\sum_{k=1}^\infty\frac{x^k}{k^n}.$$ There are relations connecting values of the polylogarithm at certain rational points in the ...
10
votes
3answers
266 views

Simplification of an expression containing $\operatorname{Li}_3(x)$ terms

In my computations I ended up with this result: $$\mathcal{K}=78\operatorname{Li}_3\left(\frac13\right)+15\operatorname{Li}_3\left(\frac23\right)-64\operatorname{Li}_3\left(\frac15\right)-102 ...
4
votes
2answers
64 views

Closed form for $\int z^n\ln{(z)}\ln{(1-z)}\,\mathrm{d}z$?

Problem. Find an anti-derivative for the following indefinite integral, where $n$ is a non-negative integer: $$\int z^n\ln{\left(z\right)}\ln{\left(1-z\right)}\,\mathrm{d}z=~???$$ My attempt: ...
3
votes
2answers
98 views

Prove: $\int_{0}^{1}\frac{\ln{x}\,\mathrm{d}x}{\sqrt[3]{x(1-x^2)^2}}\stackrel{?}{=}-\frac18\left[\Gamma{\left(\frac13\right)}\right]^3$

I'd like to evaluate the following definite integral: $$\int_{0}^{1}\frac{\ln{x}\,\mathrm{d}x}{\sqrt[3]{x(1-x^2)^2}}\stackrel{?}{=}-\frac18\left[\Gamma{\left(\frac13\right)}\right]^3.$$ ...
3
votes
0answers
53 views

Log Log Integrals II

The integral \begin{align} I_{4} = \int_{0}^{1} \ln(1-x) \ \ln^{2}\left( \ln\left(\frac{1}{x}\right) \right) \ \frac{dx}{x} \end{align} can be expressed as \begin{align} I_{4} = \zeta^{''}(2) - ...
17
votes
2answers
239 views

A closed form for $\int_0^1\frac{\ln(-\ln x)\ \operatorname{li}^2x}{x}dx$

Let $\operatorname{li}x$ denote the logarithmic integral $^{[1]}$$^{[2]}$$^{[3]}$: $$\operatorname{li}x=\int_0^x\frac{dt}{\ln t}$$ and $$I=\int_0^1\frac{\ln(-\ln x)\ ...
20
votes
1answer
334 views

The positive root of the transcendental equation $\ln x-\sqrt{x-1}+1=0$

I numerically solved the transcendental equation $$\ln x-\sqrt{x-1}+1=0$$ and obtained an approximate value of its positive real root $$x \approx 14.498719188878466465738532142574796767250306535...$$ ...
4
votes
1answer
84 views

Interpolation between iterated logarithms

I am investigating the family of functions $$\log_{(n)}(x):=\log\circ \cdots \circ \log(x)$$ Is there a known smooth interpolation function $H(\alpha, x)$ such that $H(n,x)=\log_{(n)}(x)$ for ...
19
votes
1answer
238 views

What is a closed form of $\int_0^1\ln(-\ln x)\ \text{li}\ x\ dx$

Let $\operatorname{li} x$ denote the logarithmic integral: $$\operatorname{li} x=\int_0^x\frac{dt}{\ln t}.$$ Is it possible to find a closed form of the following integral? $$\int_0^1\ln(-\ln x) ...
4
votes
2answers
93 views

Convexity of polylogarithms

I want to prove the following proposition: The function $w\to (-Li_{5/2}(-e^w))^{2/5}$ is convex on $\mathbb R$. And, as I think, the same is true for the function $w\to (-Li_{p}(-e^w))^{1/p}$ for ...
3
votes
1answer
84 views

Solve $-B \ln y -A y \ln y + A y- A =0$ for $y$

I would like to know if there is a (preferably closed-form) solution for $-B \ln y -A y \ln y + A y- A =0$ for $y$ Where $A, B \in \mathbb{R}^{+}$. I have reasons to think there isn't a closed form ...
1
vote
1answer
65 views

Find $\lim_{x\to \infty} \ln(\exp(\operatorname{LmW}(x))+1)(\exp(\operatorname{LmW}(x))+1) - x - \ln(x)$

Find $\lim_{x\to \infty} \ln(e^{\operatorname{LambertW}(x)}+1)(e^{\operatorname{LambertW}(x)}+1) - x - \ln(x)$ Where the $LambertW$ function is defined here : http://en.wikipedia.org/wiki/Lambert_W ...
0
votes
1answer
80 views

Two $\psi$ functions

This is either a notation/history question or a point of confusion. In (for example) Ramanujan's proof of Bertrand's postulate, he uses the following notation: $\log [x]!$ means $\log ([x]!),$ in ...
1
vote
0answers
41 views

Triangular exponentation logarithm and inverse

The generalized formula of triangular exponentation on real numbers field is $x ^ {\triangle y} = \frac {1} {y \cdot B (x, y)} = \frac {\Gamma(x + y)} {\Gamma(x) \cdot \Gamma(y + 1)} $ It's my ...
6
votes
1answer
417 views

Inverse function of $\operatorname{li}(x)$ over $x>\mu$?

How can I get the inverse function of $\operatorname{li}(x)$ over $x>\mu$? Where $$\operatorname{li}(x)=\int_{0}^{x}\frac{ds}{\ln(s)}$$ is the so-called logarithmic integral, and ...
5
votes
1answer
618 views

Inverse of the polylogarithm

The polylogarithm can be defined using the power series $$ \operatorname{Li}_s(z) = \sum_{k=1}^\infty {z^k \over k^s}. $$ Contiguous polylogs have the ladder operators $$ \operatorname{Li}_{s+1}(z) ...
2
votes
1answer
144 views

Solving for $y$ in $y = x \ln(y)$

I want to solve $y = x \ln(y)$ for $y$ in terms of $x$. Wolfram Alpha kindly produces this plot with the solution, $y = -x W(-\frac{1}{x})$, where $W$ is the Lambert function. However, that only ...
13
votes
2answers
2k views

Series of logarithms $\sum\limits_{k=1}^\infty \ln(k)$ (Ramanujan summation?)

I had this question earlier, so to say as a "standalone" problem, but now it pops up in context of an analysis with the lngamma-function. As well as we can convert the question of sums of like powers ...
0
votes
2answers
717 views

Find intersection of linear and logarithmic lines

I have equations for two lines, one of which is linear and the other is logarithmic, ie: $$y = m_1 x + c_1$$ $$y = m_2 \cdot \ln(x) + c_2$$ ..and I need to find out where (if at all) these lines ...