MHB Prove the following dilogarithmic value

  • Thread starter Thread starter alyafey22
  • Start date Start date
  • Tags Tags
    Value
alyafey22
Gold Member
MHB
Messages
1,556
Reaction score
2
$$\text{Li}_{2}\left(\frac{1}{2}\right) = \frac{\pi^2}{12} - \frac{1}{2} \log^2 (2) $$
 
Physics news on Phys.org
I found the following functional equation :

$$\text{Li}_2(x)+\text{Li}_{2}(1-x) = \frac{\pi^2}{6}- \ln(x)\cdot \ln(1-x) $$

Substituting x = 1/2 gives us the result , does anybody know how to prove this functional equation ?
 
ZaidAlyafey said:
I found the following functional equation :

$$\text{Li}_2(x)+\text{Li}_{2}(1-x) = \frac{\pi^2}{6}- \ln(x)\cdot \ln(1-x) $$

Substituting x = 1/2 gives us the result , does anybody know how to prove this functional equation ?

if we let $$\text { Li }_2{(x)}=- \int ^ { x}_0\frac {\log (1- u ) } {u} \, du$$

Then if we differentiated the functional equation we get the result . But that still unsatisfactory.(Tauri)
 
ZaidAlyafey said:
But that still unsatisfactory

I don't see what's unsatisfactory to you. Galactus' derivation is perfectly logical and satisfactory as it occurs to me. If you want another proof, then you might be interested in a proof of Abel's identity which is a further generalization of the reflection formula.
 
Last edited:
mathbalarka said:
I don't see what's unsatisfactory to you. Galactus' derivation is perfectly logical and satisfactory as it occurs to me. If you want another proof, then you might be interested in a proof of Abel's identity which is a further generalization of the reflection formula.

Actually it is , but I posted this before seeing the derivation. Here is a link
 
ZaidAlyafey said:
Actually it is , but I posted this before seeing the derivation...

The link given above seems to be to a post that was deleted by the OP.
 
Last edited:
MarkFL said:
The link given above seem to be to a post that was deleted by the OP.

scroll down it is not the first post .
 
You can set your link to take you to to the post you mean...

Is this it?

clickety-click
 
Ok , here is the full proof

$$\text{Li}_{2}(x) =-\int^{x}_0 \frac{\log (1-u)}{u}\,du$$

$$\frac{d}{dx} \left(\text{Li}_{2}(x)\right) =-\frac{\log (1-x)}{x}$$

Integrating by parts

$$\text{Li}_{2}(x) = -\log(1-x) \log(x) +\int^{1-x}_0 \frac{\log(1-u)}{u}du+ C$$

$$\text{Li}_{2}(x) = -\log(1-x) \log(x) - \text{Li}_2 (1-x) +C$$

Letting $x$ approaches 0 we get :

$$C=\text{Li}_2 (1)= \zeta(2) = \frac{\pi^2}{6}$$

$$\text{Li}_{2}(x) + \text{Li}_2 (1-x) = \frac{\pi^2}{6}-\log(1-x) \log(x) $$
 

Similar threads

Replies
7
Views
2K
Replies
3
Views
2K
Replies
4
Views
3K
Replies
5
Views
2K
Replies
2
Views
2K
Replies
14
Views
1K
Replies
4
Views
2K
Replies
16
Views
2K
Back
Top