Question: Is it possible to go from eq (2) to eq (7) using only Maple?

Is it possible to transform relation (2) into relation (7) without using the hand-made relation (3) and the  Sum -> Int -> Sum trick?

> 

restart

> 

f := Product(x[i]^a*(1-x[i])^b, i)

Product(x[i]^a*(1-x[i])^b, i)

(1)
> 

Lf := ln(f);

ln(Product(x[i]^a*(1-x[i])^b, i))

(2)
> 

Sum(ln(x[i]^a*(1-x[i])^b), i)

Sum(ln(x[i]^a*(1-x[i])^b), i)

(3)
> 

expand(%) assuming x[i] > 0, x[i] < 1, a > 0, b > 0

Sum(a*ln(x[i])+b*ln(1-x[i]), i)

(4)
> 

eval(%, Sum=Int)

Int(a*ln(x[i])+b*ln(1-x[i]), i)

(5)
> 

IntegrationTools:-Expand(%);

a*(Int(ln(x[i]), i))+b*(Int(ln(1-x[i]), i))

(6)
> 

Lf = eval(%, Int=Sum)

ln(Product(x[i]^a*(1-x[i])^b, i)) = a*(Sum(ln(x[i]), i))+b*(Sum(ln(1-x[i]), i))

(7)
> 

 

Download From2to7.mw

TIA

Please Wait...