Group Abstract Group Abstract

Message Boards Message Boards

0
|
6.7K Views
|
10 Replies
|
4 Total Likes
View groups...
Share
Share this post:
GROUPS:

I want to how to...

Posted 7 years ago

I want to how to solve the given integration enter image description here

10 Replies
$Version
(*"12.0.0 for Microsoft Windows (64-bit) (April 6, 2019)"*)

? = -(? + 1/?); 
q = x^2 + (1 - x)^2 - x (1 - x)*?; 
p0 = ?/q; 
r = (1 + ?^2)/(1 - ?^2);
func = -1/r*p0*Log[x]*Log[1 - x] // FullSimplify
sol=Integrate[func, {x, 0, 1}, Assumptions -> ? > 0]

(*for ? > 1 *)

(* (24*? - 12*EulerGamma*? - 2*Pi^2*? - 33*?^2 + 12*EulerGamma*?^2 - Pi^2*?^2 + 
  2*EulerGamma*Pi^2*?^2 + 9*?^3 - 15*?^2*Log[?] + 2*Pi^2*?^2*Log[?] - 
  18*?^2*Log[-1 + ?]*Log[?] + 12*EulerGamma*?^2*Log[-1 + ?]*Log[?] + 
  9*?^2*Log[?]^2 - 6*EulerGamma*?^2*Log[?]^2 + 12*EulerGamma*?^2*PolyLog[2, 1 - ?] + 
  18*?^2*PolyLog[2, ?^(-1)] - 12*EulerGamma*?^2*PolyLog[2, ?^(-1)] - 
  12*EulerGamma*?^2*PolyLog[2, (-1 + ?)/?] - 3*(-1 + ?)^2*?^2*
   Derivative[0, 0, 1, 0][Hypergeometric2F1][1, 2, 3, 1 - ?] + 
  12*(-1 + EulerGamma)*(-1 + ?)^2*Derivative[0, 0, 1, 0][Hypergeometric2F1Regularized][1, 
    2, 3, (-1 + ?)/?] + 6*?^2*Derivative[0, 0, 2, 0][Hypergeometric2F1][1, 2, 3, 
    1 - ?] - 12*?^3*Derivative[0, 0, 2, 0][Hypergeometric2F1][1, 2, 3, 1 - ?] + 
  6*?^4*Derivative[0, 0, 2, 0][Hypergeometric2F1][1, 2, 3, 1 - ?] - 
  12*Derivative[0, 0, 2, 0][Hypergeometric2F1Regularized][1, 2, 3, (-1 + ?)/?] + 
  24*?*Derivative[0, 0, 2, 0][Hypergeometric2F1Regularized][1, 2, 3, (-1 + ?)/?] - 
  12*?^2*Derivative[0, 0, 2, 0][Hypergeometric2F1Regularized][1, 2, 3, (-1 + ?)/?] + 
  6*?^2*Derivative[0, 1, 1, 0][Hypergeometric2F1][1, 2, 3, 1 - ?] - 
  12*?^3*Derivative[0, 1, 1, 0][Hypergeometric2F1][1, 2, 3, 1 - ?] + 
  6*?^4*Derivative[0, 1, 1, 0][Hypergeometric2F1][1, 2, 3, 1 - ?] - 
  12*Derivative[0, 1, 1, 0][Hypergeometric2F1Regularized][1, 2, 3, (-1 + ?)/?] + 
  24*?*Derivative[0, 1, 1, 0][Hypergeometric2F1Regularized][1, 2, 3, (-1 + ?)/?] - 
  12*?^2*Derivative[0, 1, 1, 0][Hypergeometric2F1Regularized][1, 2, 3, (-1 + ?)/?])/
 (12*?^2)*)

If we assume ?=2 then:

 sol[[1]]/. ? -> 2 // N
 (*  -0.486141 *)
 NIntegrate[func/.? -> 2, {x, 0, 1}]
 (* -0.486141 *)

Yours formula:

   4*PolyLog[3, 1 - ?] + 2*PolyLog[3, ?] - 
        4*PolyLog[2, 1 - ?]*Log[1 - ?] - 
        4*PolyLog[2, ?]*Log[1 - ?] - 
        4*Log[?]*Log[1 - ?]^2 + 
        Log[?]^2*Log[1 - ?] + 
        2*?^2*Log[1 - ?]/3 - 2 Zeta[3] /. ? -> 2 // N
  (*-0.486141 + 7.10543*10^-15 I*)

Simplify more:

   Log[1 - ?] Log[?]^2 + 4 PolyLog[3, 1 - ?] + 2 PolyLog[3, ?] - 2 Zeta[3] /. ? -> 2 // N
   (*-0.486141 + 2.66454*10^-15 I*)
POSTED BY: Mariusz Iwaniuk
POSTED BY: Daniel Lichtblau

You STILL did not follow the instructions about formatting Mathematica code!

POSTED BY: Murray Eisenberg

I would suggest checking numerically for several values of alpha.

POSTED BY: Daniel Lichtblau

The answer I am expecting is the following

I want an answer in this form

S2 = 4*PolyLog[3, 1 - \[Alpha]] + 2*PolyLog[3, \[Alpha]] - 
  4*PolyLog[2, 1 - \[Alpha]]*Log[1 - \[Alpha]] - 
  4*PolyLog[2, \[Alpha]]*Log[1 - \[Alpha]] - 
  4*Log[\[Alpha]]*(Log^2)[1 - \[Alpha]] + (Log^2)[\[Alpha]]*
   Log[1 - \[Alpha]] + 2*\[Pi]^2*Log[1 - \[Alpha]]/3 - 2 Zeta[3]

I am also not sure whether these two are the same or different but it's highly likely that these two are not the same.

I am also getting the same result but what one should get is the following which I am not getting.

enter image description here

\[Gamma] = -(\[Alpha] + 1/\[Alpha]);
q = x^2 + (1 - x)^2 - x (1 - x)*\[Gamma] ;
p0 = \[Gamma]/q ;
r = (1 + \[Alpha]^2)/(1 - \[Alpha]^2) ;   

Find the following

I6 = -1/r \!\(
\*SubsuperscriptBox[\(\[Integral]\), \(0\), \(1\)]\(p0*Log[x]*
    Log[1 - x] \(\(\[DifferentialD]\)\(x\)\(\ \)\)\)\)
POSTED BY: Murray Eisenberg
Posted 7 years ago

Please post code that can be pasted into a notebook if you want to get a larger audience to help. Also choose a title that is informative.

POSTED BY: Jim Baldwin
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard