bikramphy

70 Reputation

4 Badges

4 years, 336 days

MaplePrimes Activity


These are questions asked by bikramphy

I want to series expand the HeunB function. But I am facing some problems with this. please help. Here is the given HeunB function. 

HB1 := HeunB(5/2, -5^(1/4)*(2*M - R)/sqrt((2*M - R)*(4*M - R)), (17*sqrt(5))/10, (3*5^(3/4)*(2*M - R))/(2*sqrt((2*M - R)*(4*M - R))), 5^(1/4)*sqrt((2*M - R)*(4*M - R))*r^2/(2*(2*M - R)*R^2))

 

Here M, R are arbitrary constants.

I want to to solve the system of partial differential equation using maple. I tried it but I am not able to solve it ... please help.

the equations are as follows

 


 

``

Finding transformation eqn between zero and harmonic with conformal1

``

 

restart

``

with(PDEtools)

sys := {(diff(Phi(r1, r2, r4), r1))^2-(diff(R(r1, r2, r4), r1))^2 = cos(T(r1, r2, r4))^2, (diff(Phi(r1, r2, r4), r2))^2-(diff(R(r1, r2, r4), r2))^2 = -cos(T(r1, r2, r4))^2, -(diff(R(r1, r2, r4), r2))*(diff(R(r1, r2, r4), r1))+(diff(Phi(r1, r2, r4), r2))*(diff(Phi(r1, r2, r4), r1)) = 0, -(diff(R(r1, r2, r4), r4))*(diff(R(r1, r2, r4), r1))+(diff(Theta(r1, r2, r4), r1))*(diff(T(r1, r2, r4), r4))+(diff(Phi(r1, r2, r4), r4))*(diff(Phi(r1, r2, r4), r1)) = 0, -(diff(R(r1, r2, r4), r4))*(diff(R(r1, r2, r4), r2))+(diff(Theta(r1, r2, r4), r2))*(diff(T(r1, r2, r4), r4))+(diff(Phi(r1, r2, r4), r4))*(diff(Phi(r1, r2, r4), r2)) = 0, (R(r1, r2, r4)^2-Phi(r1, r2, r4)^2)*(diff(T(r1, r2, r4), r4))^2+2*(diff(Theta(r1, r2, r4), r4))*(diff(T(r1, r2, r4), r4))+(diff(Phi(r1, r2, r4), r4))^2-(diff(R(r1, r2, r4), r4))^2 = 0, diff(T(r1, r2, r4), r1) = 0, diff(T(r1, r2, r4), r2) = 0, diff(T(r1, r2, r4), r4) = cos(T(r1, r2, r4))^2}

{(diff(Phi(r1, r2, r4), r1))^2-(diff(R(r1, r2, r4), r1))^2 = cos(T(r1, r2, r4))^2, (diff(Phi(r1, r2, r4), r2))^2-(diff(R(r1, r2, r4), r2))^2 = -cos(T(r1, r2, r4))^2, -(diff(R(r1, r2, r4), r2))*(diff(R(r1, r2, r4), r1))+(diff(Phi(r1, r2, r4), r2))*(diff(Phi(r1, r2, r4), r1)) = 0, -(diff(R(r1, r2, r4), r4))*(diff(R(r1, r2, r4), r1))+(diff(Theta(r1, r2, r4), r1))*(diff(T(r1, r2, r4), r4))+(diff(Phi(r1, r2, r4), r4))*(diff(Phi(r1, r2, r4), r1)) = 0, -(diff(R(r1, r2, r4), r4))*(diff(R(r1, r2, r4), r2))+(diff(Theta(r1, r2, r4), r2))*(diff(T(r1, r2, r4), r4))+(diff(Phi(r1, r2, r4), r4))*(diff(Phi(r1, r2, r4), r2)) = 0, (R(r1, r2, r4)^2-Phi(r1, r2, r4)^2)*(diff(T(r1, r2, r4), r4))^2+2*(diff(Theta(r1, r2, r4), r4))*(diff(T(r1, r2, r4), r4))+(diff(Phi(r1, r2, r4), r4))^2-(diff(R(r1, r2, r4), r4))^2 = 0, diff(T(r1, r2, r4), r1) = 0, diff(T(r1, r2, r4), r2) = 0, diff(T(r1, r2, r4), r4) = cos(T(r1, r2, r4))^2}

(1)

``

declare(Phi(r1, r2, r4), R(r1, r2, r4), T(r1, r2, r4), Theta(r1, r2, r4))

` Phi`(r1, r2, r4)*`will now be displayed as`*Phi

 

` R`(r1, r2, r4)*`will now be displayed as`*R

 

` T`(r1, r2, r4)*`will now be displayed as`*T

 

` Theta`(r1, r2, r4)*`will now be displayed as`*Theta

(2)

``

cases := [PDEtools:-casesplit({(diff(Phi(r1, r2, r4), r1))^2-(diff(R(r1, r2, r4), r1))^2 = cos(T(r1, r2, r4))^2, (diff(Phi(r1, r2, r4), r2))^2-(diff(R(r1, r2, r4), r2))^2 = -cos(T(r1, r2, r4))^2, -(diff(R(r1, r2, r4), r2))*(diff(R(r1, r2, r4), r1))+(diff(Phi(r1, r2, r4), r2))*(diff(Phi(r1, r2, r4), r1)) = 0, -(diff(R(r1, r2, r4), r4))*(diff(R(r1, r2, r4), r1))+(diff(Theta(r1, r2, r4), r1))*(diff(T(r1, r2, r4), r4))+(diff(Phi(r1, r2, r4), r4))*(diff(Phi(r1, r2, r4), r1)) = 0, -(diff(R(r1, r2, r4), r4))*(diff(R(r1, r2, r4), r2))+(diff(Theta(r1, r2, r4), r2))*(diff(T(r1, r2, r4), r4))+(diff(Phi(r1, r2, r4), r4))*(diff(Phi(r1, r2, r4), r2)) = 0, (R(r1, r2, r4)^2-Phi(r1, r2, r4)^2)*(diff(T(r1, r2, r4), r4))^2+2*(diff(Theta(r1, r2, r4), r4))*(diff(T(r1, r2, r4), r4))+(diff(Phi(r1, r2, r4), r4))^2-(diff(R(r1, r2, r4), r4))^2 = 0, diff(T(r1, r2, r4), r1) = 0, diff(T(r1, r2, r4), r2) = 0, diff(T(r1, r2, r4), r4) = cos(T(r1, r2, r4))^2}, caseplot)]

`========= Pivots Legend =========`

 

p1 = diff(R(r1, r2, r4), r2)

 

p2 = diff(Phi(r1, r2, r4), r1)

 

p3 = (diff(Phi(r1, r2, r4), r2))^2+cos(T(r1, r2, r4))^2

 

p4 = diff(Phi(r1, r2, r4), r2)

 

p5 = diff(R(r1, r2, r4), r1)

 

 

[`casesplit/ans`([diff(Theta(r1, r2, r4), r4) = (1/2)*(Phi(r1, r2, r4)^2*cos(T(r1, r2, r4))^4-R(r1, r2, r4)^2*cos(T(r1, r2, r4))^4-(diff(Phi(r1, r2, r4), r4))^2+(diff(R(r1, r2, r4), r4))^2)/cos(T(r1, r2, r4))^2, diff(Theta(r1, r2, r4), r1) = (-(diff(Phi(r1, r2, r4), r4))*(diff(Phi(r1, r2, r4), r1))*(diff(Phi(r1, r2, r4), r2))^2-(diff(Phi(r1, r2, r4), r4))*(diff(Phi(r1, r2, r4), r1))*cos(T(r1, r2, r4))^2+(diff(Phi(r1, r2, r4), r1))*(diff(Phi(r1, r2, r4), r2))*(diff(R(r1, r2, r4), r4))*(diff(R(r1, r2, r4), r2)))/(cos(T(r1, r2, r4))^2*(diff(Phi(r1, r2, r4), r2))^2+cos(T(r1, r2, r4))^4), diff(Theta(r1, r2, r4), r2) = (-(diff(Phi(r1, r2, r4), r4))*(diff(Phi(r1, r2, r4), r2))+(diff(R(r1, r2, r4), r4))*(diff(R(r1, r2, r4), r2)))/cos(T(r1, r2, r4))^2, diff(diff(R(r1, r2, r4), r4), r4) = -R(r1, r2, r4)*cos(T(r1, r2, r4))^4-2*cos(T(r1, r2, r4))*sin(T(r1, r2, r4))*(diff(R(r1, r2, r4), r4)), diff(R(r1, r2, r4), r1) = (diff(Phi(r1, r2, r4), r2))*(diff(Phi(r1, r2, r4), r1))/(diff(R(r1, r2, r4), r2)), (diff(R(r1, r2, r4), r2))^2 = (diff(Phi(r1, r2, r4), r2))^2+cos(T(r1, r2, r4))^2, diff(diff(Phi(r1, r2, r4), r4), r4) = -Phi(r1, r2, r4)*cos(T(r1, r2, r4))^4-2*(diff(Phi(r1, r2, r4), r4))*cos(T(r1, r2, r4))*sin(T(r1, r2, r4)), diff(diff(Phi(r1, r2, r4), r2), r4) = -(diff(Phi(r1, r2, r4), r2))*cos(T(r1, r2, r4))*sin(T(r1, r2, r4)), diff(diff(Phi(r1, r2, r4), r2), r2) = 0, (diff(Phi(r1, r2, r4), r1))^2 = (diff(Phi(r1, r2, r4), r2))^2+cos(T(r1, r2, r4))^2, sin(T(r1, r2, r4))^2 = -cos(T(r1, r2, r4))^2+1, diff(T(r1, r2, r4), r4) = cos(T(r1, r2, r4))^2, (diff(T(r1, r2, r4), r1))*sin(T(r1, r2, r4)) = 0, (diff(T(r1, r2, r4), r2))*sin(T(r1, r2, r4)) = 0, diff(T(r1, r2, r4), r1) = 0, diff(T(r1, r2, r4), r2) = 0], [diff(R(r1, r2, r4), r2) <> 0, diff(Phi(r1, r2, r4), r1) <> 0]), `casesplit/ans`([diff(Theta(r1, r2, r4), r4) = (1/2)*(Phi(r1, r2, r4)^2*cos(T(r1, r2, r4))^4-R(r1, r2, r4)^2*cos(T(r1, r2, r4))^4-(diff(Phi(r1, r2, r4), r4))^2+(diff(R(r1, r2, r4), r4))^2)/cos(T(r1, r2, r4))^2, diff(Theta(r1, r2, r4), r1) = (diff(R(r1, r2, r4), r4))*(diff(R(r1, r2, r4), r1))/cos(T(r1, r2, r4))^2, diff(Theta(r1, r2, r4), r2) = -(diff(Phi(r1, r2, r4), r4))*(diff(Phi(r1, r2, r4), r2))/cos(T(r1, r2, r4))^2, diff(diff(R(r1, r2, r4), r4), r4) = -R(r1, r2, r4)*cos(T(r1, r2, r4))^4-2*cos(T(r1, r2, r4))*sin(T(r1, r2, r4))*(diff(R(r1, r2, r4), r4)), diff(R(r1, r2, r4), r2) = 0, (diff(R(r1, r2, r4), r1))^2 = -cos(T(r1, r2, r4))^2, diff(diff(Phi(r1, r2, r4), r4), r4) = -Phi(r1, r2, r4)*cos(T(r1, r2, r4))^4-2*(diff(Phi(r1, r2, r4), r4))*cos(T(r1, r2, r4))*sin(T(r1, r2, r4)), diff(Phi(r1, r2, r4), r1) = 0, (diff(Phi(r1, r2, r4), r2))^2 = -cos(T(r1, r2, r4))^2, sin(T(r1, r2, r4))^2 = -cos(T(r1, r2, r4))^2+1, diff(T(r1, r2, r4), r4) = cos(T(r1, r2, r4))^2, (diff(T(r1, r2, r4), r1))*sin(T(r1, r2, r4)) = 0, (diff(T(r1, r2, r4), r2))*sin(T(r1, r2, r4)) = 0, diff(T(r1, r2, r4), r1) = 0, diff(T(r1, r2, r4), r2) = 0], [diff(R(r1, r2, r4), r1) <> 0, diff(Phi(r1, r2, r4), r2) <> 0])]

(3)

``

map(length, cases)

[2101, 1405]

(4)

sys1 := op(1, cases[2])

[diff(Theta(r1, r2, r4), r4) = (1/2)*(Phi(r1, r2, r4)^2*cos(T(r1, r2, r4))^4-R(r1, r2, r4)^2*cos(T(r1, r2, r4))^4-(diff(Phi(r1, r2, r4), r4))^2+(diff(R(r1, r2, r4), r4))^2)/cos(T(r1, r2, r4))^2, diff(Theta(r1, r2, r4), r1) = (diff(R(r1, r2, r4), r4))*(diff(R(r1, r2, r4), r1))/cos(T(r1, r2, r4))^2, diff(Theta(r1, r2, r4), r2) = -(diff(Phi(r1, r2, r4), r4))*(diff(Phi(r1, r2, r4), r2))/cos(T(r1, r2, r4))^2, diff(diff(R(r1, r2, r4), r4), r4) = -R(r1, r2, r4)*cos(T(r1, r2, r4))^4-2*cos(T(r1, r2, r4))*sin(T(r1, r2, r4))*(diff(R(r1, r2, r4), r4)), diff(R(r1, r2, r4), r2) = 0, (diff(R(r1, r2, r4), r1))^2 = -cos(T(r1, r2, r4))^2, diff(diff(Phi(r1, r2, r4), r4), r4) = -Phi(r1, r2, r4)*cos(T(r1, r2, r4))^4-2*(diff(Phi(r1, r2, r4), r4))*cos(T(r1, r2, r4))*sin(T(r1, r2, r4)), diff(Phi(r1, r2, r4), r1) = 0, (diff(Phi(r1, r2, r4), r2))^2 = -cos(T(r1, r2, r4))^2, sin(T(r1, r2, r4))^2 = -cos(T(r1, r2, r4))^2+1, diff(T(r1, r2, r4), r4) = cos(T(r1, r2, r4))^2, (diff(T(r1, r2, r4), r1))*sin(T(r1, r2, r4)) = 0, (diff(T(r1, r2, r4), r2))*sin(T(r1, r2, r4)) = 0, diff(T(r1, r2, r4), r1) = 0, diff(T(r1, r2, r4), r2) = 0]

(5)

``

sys2 := op(1, cases[1])

[diff(Theta(r1, r2, r4), r4) = (1/2)*(Phi(r1, r2, r4)^2*cos(T(r1, r2, r4))^4-R(r1, r2, r4)^2*cos(T(r1, r2, r4))^4-(diff(Phi(r1, r2, r4), r4))^2+(diff(R(r1, r2, r4), r4))^2)/cos(T(r1, r2, r4))^2, diff(Theta(r1, r2, r4), r1) = (-(diff(Phi(r1, r2, r4), r4))*(diff(Phi(r1, r2, r4), r1))*(diff(Phi(r1, r2, r4), r2))^2-(diff(Phi(r1, r2, r4), r4))*(diff(Phi(r1, r2, r4), r1))*cos(T(r1, r2, r4))^2+(diff(Phi(r1, r2, r4), r1))*(diff(Phi(r1, r2, r4), r2))*(diff(R(r1, r2, r4), r4))*(diff(R(r1, r2, r4), r2)))/(cos(T(r1, r2, r4))^2*(diff(Phi(r1, r2, r4), r2))^2+cos(T(r1, r2, r4))^4), diff(Theta(r1, r2, r4), r2) = (-(diff(Phi(r1, r2, r4), r4))*(diff(Phi(r1, r2, r4), r2))+(diff(R(r1, r2, r4), r4))*(diff(R(r1, r2, r4), r2)))/cos(T(r1, r2, r4))^2, diff(diff(R(r1, r2, r4), r4), r4) = -R(r1, r2, r4)*cos(T(r1, r2, r4))^4-2*cos(T(r1, r2, r4))*sin(T(r1, r2, r4))*(diff(R(r1, r2, r4), r4)), diff(R(r1, r2, r4), r1) = (diff(Phi(r1, r2, r4), r2))*(diff(Phi(r1, r2, r4), r1))/(diff(R(r1, r2, r4), r2)), (diff(R(r1, r2, r4), r2))^2 = (diff(Phi(r1, r2, r4), r2))^2+cos(T(r1, r2, r4))^2, diff(diff(Phi(r1, r2, r4), r4), r4) = -Phi(r1, r2, r4)*cos(T(r1, r2, r4))^4-2*(diff(Phi(r1, r2, r4), r4))*cos(T(r1, r2, r4))*sin(T(r1, r2, r4)), diff(diff(Phi(r1, r2, r4), r2), r4) = -(diff(Phi(r1, r2, r4), r2))*cos(T(r1, r2, r4))*sin(T(r1, r2, r4)), diff(diff(Phi(r1, r2, r4), r2), r2) = 0, (diff(Phi(r1, r2, r4), r1))^2 = (diff(Phi(r1, r2, r4), r2))^2+cos(T(r1, r2, r4))^2, sin(T(r1, r2, r4))^2 = -cos(T(r1, r2, r4))^2+1, diff(T(r1, r2, r4), r4) = cos(T(r1, r2, r4))^2, (diff(T(r1, r2, r4), r1))*sin(T(r1, r2, r4)) = 0, (diff(T(r1, r2, r4), r2))*sin(T(r1, r2, r4)) = 0, diff(T(r1, r2, r4), r1) = 0, diff(T(r1, r2, r4), r2) = 0]

(6)

``

sys3 := op(2, cases[1])

[diff(R(r1, r2, r4), r2) <> 0, diff(Phi(r1, r2, r4), r1) <> 0]

(7)

``

sys4 := op(2, cases[2])

[diff(R(r1, r2, r4), r1) <> 0, diff(Phi(r1, r2, r4), r2) <> 0]

(8)

``

sol1 := dsolve(sys1, explicit)

(9)

``

constraint, subsystem := selectremove(has, sys1, T)

[diff(Theta(r1, r2, r4), r4) = (1/2)*(Phi(r1, r2, r4)^2*cos(T(r1, r2, r4))^4-R(r1, r2, r4)^2*cos(T(r1, r2, r4))^4-(diff(Phi(r1, r2, r4), r4))^2+(diff(R(r1, r2, r4), r4))^2)/cos(T(r1, r2, r4))^2, diff(Theta(r1, r2, r4), r1) = (diff(R(r1, r2, r4), r4))*(diff(R(r1, r2, r4), r1))/cos(T(r1, r2, r4))^2, diff(Theta(r1, r2, r4), r2) = -(diff(Phi(r1, r2, r4), r4))*(diff(Phi(r1, r2, r4), r2))/cos(T(r1, r2, r4))^2, diff(diff(R(r1, r2, r4), r4), r4) = -R(r1, r2, r4)*cos(T(r1, r2, r4))^4-2*cos(T(r1, r2, r4))*sin(T(r1, r2, r4))*(diff(R(r1, r2, r4), r4)), (diff(R(r1, r2, r4), r1))^2 = -cos(T(r1, r2, r4))^2, diff(diff(Phi(r1, r2, r4), r4), r4) = -Phi(r1, r2, r4)*cos(T(r1, r2, r4))^4-2*(diff(Phi(r1, r2, r4), r4))*cos(T(r1, r2, r4))*sin(T(r1, r2, r4)), (diff(Phi(r1, r2, r4), r2))^2 = -cos(T(r1, r2, r4))^2, sin(T(r1, r2, r4))^2 = -cos(T(r1, r2, r4))^2+1, diff(T(r1, r2, r4), r4) = cos(T(r1, r2, r4))^2, (diff(T(r1, r2, r4), r1))*sin(T(r1, r2, r4)) = 0, (diff(T(r1, r2, r4), r2))*sin(T(r1, r2, r4)) = 0, diff(T(r1, r2, r4), r1) = 0, diff(T(r1, r2, r4), r2) = 0], [diff(R(r1, r2, r4), r2) = 0, diff(Phi(r1, r2, r4), r1) = 0]

(10)

``

sol__subsystem := dsolve(subsystem)

{Phi(r1, r2, r4) = _F1(r2, r4), R(r1, r2, r4) = _F2(r1, r4)}

(11)

``

eval(constraint, sol__subsystem)

[diff(Theta(r1, r2, r4), r4) = (1/2)*(_F1(r2, r4)^2*cos(T(r1, r2, r4))^4-_F2(r1, r4)^2*cos(T(r1, r2, r4))^4-(diff(_F1(r2, r4), r4))^2+(diff(_F2(r1, r4), r4))^2)/cos(T(r1, r2, r4))^2, diff(Theta(r1, r2, r4), r1) = (diff(_F2(r1, r4), r4))*(diff(_F2(r1, r4), r1))/cos(T(r1, r2, r4))^2, diff(Theta(r1, r2, r4), r2) = -(diff(_F1(r2, r4), r4))*(diff(_F1(r2, r4), r2))/cos(T(r1, r2, r4))^2, diff(diff(_F2(r1, r4), r4), r4) = -_F2(r1, r4)*cos(T(r1, r2, r4))^4-2*cos(T(r1, r2, r4))*sin(T(r1, r2, r4))*(diff(_F2(r1, r4), r4)), (diff(_F2(r1, r4), r1))^2 = -cos(T(r1, r2, r4))^2, diff(diff(_F1(r2, r4), r4), r4) = -_F1(r2, r4)*cos(T(r1, r2, r4))^4-2*(diff(_F1(r2, r4), r4))*cos(T(r1, r2, r4))*sin(T(r1, r2, r4)), (diff(_F1(r2, r4), r2))^2 = -cos(T(r1, r2, r4))^2, sin(T(r1, r2, r4))^2 = -cos(T(r1, r2, r4))^2+1, diff(T(r1, r2, r4), r4) = cos(T(r1, r2, r4))^2, (diff(T(r1, r2, r4), r1))*sin(T(r1, r2, r4)) = 0, (diff(T(r1, r2, r4), r2))*sin(T(r1, r2, r4)) = 0, diff(T(r1, r2, r4), r1) = 0, diff(T(r1, r2, r4), r2) = 0]

(12)

map(simplify, [diff(Theta(r1, r2, r4), r4) = (1/2)*(_F1(r2, r4)^2*cos(T(r1, r2, r4))^4-_F2(r1, r4)^2*cos(T(r1, r2, r4))^4-(diff(_F1(r2, r4), r4))^2+(diff(_F2(r1, r4), r4))^2)/cos(T(r1, r2, r4))^2, diff(Theta(r1, r2, r4), r1) = (diff(_F2(r1, r4), r4))*(diff(_F2(r1, r4), r1))/cos(T(r1, r2, r4))^2, diff(Theta(r1, r2, r4), r2) = -(diff(_F1(r2, r4), r4))*(diff(_F1(r2, r4), r2))/cos(T(r1, r2, r4))^2, diff(diff(_F2(r1, r4), r4), r4) = -_F2(r1, r4)*cos(T(r1, r2, r4))^4-2*cos(T(r1, r2, r4))*sin(T(r1, r2, r4))*(diff(_F2(r1, r4), r4)), (diff(_F2(r1, r4), r1))^2 = -cos(T(r1, r2, r4))^2, diff(diff(_F1(r2, r4), r4), r4) = -_F1(r2, r4)*cos(T(r1, r2, r4))^4-2*(diff(_F1(r2, r4), r4))*cos(T(r1, r2, r4))*sin(T(r1, r2, r4)), (diff(_F1(r2, r4), r2))^2 = -cos(T(r1, r2, r4))^2, sin(T(r1, r2, r4))^2 = -cos(T(r1, r2, r4))^2+1, diff(T(r1, r2, r4), r4) = cos(T(r1, r2, r4))^2, (diff(T(r1, r2, r4), r1))*sin(T(r1, r2, r4)) = 0, (diff(T(r1, r2, r4), r2))*sin(T(r1, r2, r4)) = 0, diff(T(r1, r2, r4), r1) = 0, diff(T(r1, r2, r4), r2) = 0])

[diff(Theta(r1, r2, r4), r4) = (1/2)*((_F1(r2, r4)^2-_F2(r1, r4)^2)*cos(T(r1, r2, r4))^4-(diff(_F1(r2, r4), r4))^2+(diff(_F2(r1, r4), r4))^2)/cos(T(r1, r2, r4))^2, diff(Theta(r1, r2, r4), r1) = (diff(_F2(r1, r4), r4))*(diff(_F2(r1, r4), r1))/cos(T(r1, r2, r4))^2, diff(Theta(r1, r2, r4), r2) = -(diff(_F1(r2, r4), r4))*(diff(_F1(r2, r4), r2))/cos(T(r1, r2, r4))^2, diff(diff(_F2(r1, r4), r4), r4) = -cos(T(r1, r2, r4))*(_F2(r1, r4)*cos(T(r1, r2, r4))^3+2*(diff(_F2(r1, r4), r4))*sin(T(r1, r2, r4))), (diff(_F2(r1, r4), r1))^2 = -cos(T(r1, r2, r4))^2, diff(diff(_F1(r2, r4), r4), r4) = -cos(T(r1, r2, r4))*(_F1(r2, r4)*cos(T(r1, r2, r4))^3+2*(diff(_F1(r2, r4), r4))*sin(T(r1, r2, r4))), (diff(_F1(r2, r4), r2))^2 = -cos(T(r1, r2, r4))^2, sin(T(r1, r2, r4))^2 = sin(T(r1, r2, r4))^2, diff(T(r1, r2, r4), r4) = cos(T(r1, r2, r4))^2, (diff(T(r1, r2, r4), r1))*sin(T(r1, r2, r4)) = 0, (diff(T(r1, r2, r4), r2))*sin(T(r1, r2, r4)) = 0, diff(T(r1, r2, r4), r1) = 0, diff(T(r1, r2, r4), r2) = 0]

(13)

``

eval(constraint, sol__subsystem)

[diff(Theta(r1, r2, r4), r4) = (1/2)*(_F1(r2, r4)^2*cos(T(r1, r2, r4))^4-_F2(r1, r4)^2*cos(T(r1, r2, r4))^4-(diff(_F1(r2, r4), r4))^2+(diff(_F2(r1, r4), r4))^2)/cos(T(r1, r2, r4))^2, diff(Theta(r1, r2, r4), r1) = (diff(_F2(r1, r4), r4))*(diff(_F2(r1, r4), r1))/cos(T(r1, r2, r4))^2, diff(Theta(r1, r2, r4), r2) = -(diff(_F1(r2, r4), r4))*(diff(_F1(r2, r4), r2))/cos(T(r1, r2, r4))^2, diff(diff(_F2(r1, r4), r4), r4) = -_F2(r1, r4)*cos(T(r1, r2, r4))^4-2*cos(T(r1, r2, r4))*sin(T(r1, r2, r4))*(diff(_F2(r1, r4), r4)), (diff(_F2(r1, r4), r1))^2 = -cos(T(r1, r2, r4))^2, diff(diff(_F1(r2, r4), r4), r4) = -_F1(r2, r4)*cos(T(r1, r2, r4))^4-2*(diff(_F1(r2, r4), r4))*cos(T(r1, r2, r4))*sin(T(r1, r2, r4)), (diff(_F1(r2, r4), r2))^2 = -cos(T(r1, r2, r4))^2, sin(T(r1, r2, r4))^2 = -cos(T(r1, r2, r4))^2+1, diff(T(r1, r2, r4), r4) = cos(T(r1, r2, r4))^2, (diff(T(r1, r2, r4), r1))*sin(T(r1, r2, r4)) = 0, (diff(T(r1, r2, r4), r2))*sin(T(r1, r2, r4)) = 0, diff(T(r1, r2, r4), r1) = 0, diff(T(r1, r2, r4), r2) = 0]

(14)

``

``


 

Download Finding_transformation_eqn_between_zero_and_harmonic_with_conformal1.mw

Given two metric equations, How can I find the transformation equation between these two metrices using maplesoft software?

 

 

How can I find the corresponding group for the Lie algebra given in the picture (using Maplesoft software)?

Also, the command Lies Third Theorem works only for Solvable representations. What to for unsolvable representation.

Given two sets of lie algebra data, How to check, using maple software, that these lie algebras are isomorphic?

for example : 

The two sets of lie algebras are given as : L1 := [[e1, e4] = e1, [e2, e3] = e1, [e2, e4] = e2]

and

L2 := [[e1, e2] = e1].

1 2 Page 2 of 2