Maple Questions and Posts

These are Posts and Questions associated with the product, Maple

Hello, I found this very strange behavior in Maple and I can't explain why this is not working

A little bit of context first:

1. I placed a polygon as a boundary for a section and then two polygons that correspond to inner holes to the first one.
2. Then I proceed to create a regular mesh that places N x M points spread across the region (OK here)
3. A procedure checks weather or not a Point is inside the region, on the borders or in the inner holes (OK here)
4. Then I want to select the closest (but exterior) ones so I can create a path using the mesh points.
 

Here is where I find the issue. I start at a vertex called V[1,1] and I want to arrive at V[1,2] (in the document they are blue solid points marked they are near-vertices near the original polygons). The procedure that I apply finds a path towards the V[1,2] as I was expecting but when the procedure hits the V[1,2] coordinates the while loop does not stop

The condition I wrote was:    while point<>V[1,2] do  where 'point' is correctly generated by another procedure.

This happens in a 40 by 50 mesh but with other configurations it works properly (there are also another kind of errors but it's inherent to lack of optimization in my procedures).

What baffles me is why doesn't it stop the cycle, if I test the condition outside the loop it DOES recognize the points are indeed equal. Is it something in Maple or is it something in my PC?

Thanks to anyone who can see the error or the problem because I don't understand the nature of the problem.

Not_Working.mw

Problem with pdsolve/numeric


Contextualizing:

I created a routine for solving a thermo-mechanical problem. The size of the spatial domain is a function of time and the thermo-mechanical behavior of the structure.

The solution is obtained by discretizing the time domain in n intervals. The thermo-mechanical responses are obtained at each time t[i] =t[i-1]+dt.

The material exhibits elastic and elastoplastic mechanical behavior and thus the problem was divided into two consecutive phases (phase 1 and 2).

The heat problem is nonlinear because the thermal properties are variable (termal conductivity, specific heat, and density).

 

The problem:

In phase 2, the pdsolve/numeric command returns an error for the solution of the heat conduction equation (equation called pde1). I believe this error is related to the derivative of thermal conductivity k(x1) (piecewise function).

I tested many alternatives (I wrote the pde1 equation in two different ways), I checked the routine many times and I don't understand the reason for the error. With each attempt, the command returns a different error.


Thanks for your attention and help.

Problem.mw

Hi everyone.

I have a 2D function and I wanna after Differentiating from it with respect to tau (at any amount of sigma value) and equaling this derivative to zero solve the infinite system of equations.

P[n](tau)==LegendreP(n - 1/2, cosh(tau)) , Q[n](tau)==LegendreQ(n - 1/2, cosh(tau)) 

are Legendre function.

Thanks in advanced

FUNCTION_f.mw


 

"restart;:N:=3: f(sigma,tau):=(sqrt(cosh(tau)-cos(sigma)))*(&sum;)(A[n]*P[n]((tau)) -n*Q[n]((tau)) )*sin(n*sigma)"

proc (sigma, tau) options operator, arrow, function_assign; sqrt(cosh(tau)-cos(sigma))*(sum((A[n]*P[n](tau)-n*Q[n](tau))*sin(n*sigma), n = 1 .. N)) end proc

(1)

NULL

W := simplify(diff(f(sigma, tau), tau))

(1/2)*((2*A[2]*(cosh(tau)-cos(sigma))*(diff(P[2](tau), tau))+(-4*cosh(tau)+4*cos(sigma))*(diff(Q[2](tau), tau))+sinh(tau)*(A[2]*P[2](tau)-2*Q[2](tau)))*sin(2*sigma)+(2*A[3]*(cosh(tau)-cos(sigma))*(diff(P[3](tau), tau))+(-6*cosh(tau)+6*cos(sigma))*(diff(Q[3](tau), tau))+sinh(tau)*(A[3]*P[3](tau)-3*Q[3](tau)))*sin(3*sigma)+sin(sigma)*(2*A[1]*(cosh(tau)-cos(sigma))*(diff(P[1](tau), tau))+(-2*cosh(tau)+2*cos(sigma))*(diff(Q[1](tau), tau))+sinh(tau)*(A[1]*P[1](tau)-Q[1](tau))))/(cosh(tau)-cos(sigma))^(1/2)

(2)

``


 

Download FUNCTION_f.mw

P1 := x^2+y^2-4:
P2 := y^2-2*x+2:

Original question is find CAD of (some y)[P1 <0 and P2 <0]

how to use maple 12 and maple 2015 to find Q1,Q2,Q3 which are projection of P1 and P2

my book show sample points are [-4,-1-sqrt(7),-3,-2,0,1,3/2,-1+sqrt(7),9/5,2,3]
but FindSamples result is not the same with my book, is it my book wrong or FindSamples function wrong?
I find result of my script is the same as book's quantifier position at 7,8,9 though sample points has little different

how to generalize my following script to multiple variables x, y, z, and more ?

and

I compare with maple 2015 result are different from my book solution, is maple 2015 more advanced version CAD? 

with(ListTools):

P1 := x^2+y^2-4:
P2 := y^2-2*x+2:

Q1 := x^2 + 2*x - 6;
Q2 := x^2 - 4;
Q3 := x - 1;

sourcesamples := sort(evalf([solve(Q1), solve(Q2), solve(Q3)]),`<`);

FindSamples:=proc(sourcesamples)
local N, P;
N:=nops(sourcesamples);
P:=proc(a,b)
local a1, b1, m1, n, m;
if a=b then error "Should be a<>b" fi;
a1,b1:=op(convert(sort([a,b],(x,y)->evalf(x)<evalf(y)),rational));
count := 0:
for n from 1 do
m1:=a1*n;
m:=`if`(type(m1,integer),m1+1,ceil(m1));
count := count + 1:
if is(m/n>a1) and is(m/n<b1) then return m/n fi;
od;
print("count=",count);
end proc:
[ceil(sourcesamples[1])-1, seq(op([sourcesamples[i],P(sourcesamples[i],sourcesamples[i+1])]), i=1..N-1),sourcesamples[N],floor(sourcesamples[N])+1];
end proc:

RemoveComplex := proc(yy)
local result, k:
result := []:
for k in yy do
if Im(k) = 0 then
result := [op(result), k]:
end if:
od:
if result = [] then
result := []:
end if:
return result:
end proc:

Joinsolution := proc(param1, param2group)
local result, k:
result := []:
for k in param2group do
result := [op(result), [param1, k]]:
od:
return result:
end proc:

CADsamples := FindSamples(sourcesamples):
CADresult1 := []:
for mm in CADsamples do
#print(mm):
if MakeUnique(RemoveComplex([solve(subs(x=mm, P1)), solve(subs(x=mm, P2))])) = [] then
CADresult1 := [op(CADresult1), op(Joinsolution(mm,[0]))];
else
CADresult1 := [op(CADresult1), op(Joinsolution(mm,FindSamples(sort(evalf(MakeUnique(RemoveComplex([solve(subs(x=mm, P1)), solve(subs(x=mm, P2))]))),`<`))))];
end if:
od:
CADresult1;

for mm in CADresult1 do
if subs(x=mm[1],subs(y=mm[2], P1)) < 0 and subs(x=mm[1],subs(y=mm[2], P2)) < 0 then
print("solution ", mm, SearchAll(mm[1],CADsamples), evalf(mm)):
end if:
od:

Compare with

with(RegularChains):
with(ChainTools):
with(MatrixTools):
with(ConstructibleSetTools):
with(ParametricSystemTools):
with(SemiAlgebraicSetTools):
with(FastArithmeticTools):
R := PolynomialRing([x,y]):
sys := [x^2+y^2-4,y^2-2*x+2]:
N := []:
P := []: 
H := [x]:
dec := RealTriangularize(sys,N,P,H,R):
proj := Projection(sys, N, P, H, 1, R);
Display(dec, R);

P := SamplePoints(sys, R);
Display(P, R);
cad := CylindricalAlgebraicDecompose(sys, R);
 

Hello everyone, my computer installed Maple 2016, 2020 and set Maple 2016 as default opening files .mw, .mws. How to change default to Maple 2020 . I tried searching on Google but not found.

Thank you very much.

How I can prove the following equation in red box.

Also, Pn(v) and qn(v) are the real combinations of half-integer Legendre functions.

For more details please see 

https://math.stackexchange.com/questions/2746660/potential-flow-around-a-torus-laplace-equation-in-toroidal-coordinates/3809487#3809487

Determine how many transitive relations there are on a set with n elements for all positive integers n with n<=7.

Custom Palettes and Palette Entries on windows Pro 7 
Read a tutorial from a user @les 185

https://www.mapleprimes.com/posts/207781-Custom-Palettes-And-Palette-Entries

Is this still valid this tutorial from 2015  in the current version of Maple ?
This seems to be userunfriendly.

 

Hi,

Thank you all for participating to my questions before.

I was wondering if we can change an equation into quartic form or quadratic form in maple.

I have succesfully got an equation like the following:

`S__2 ` = sin(alpha - phi)*sin(-beta + alpha)*(gamma*H^2*sin(beta - varepsilon)*sin(alpha) - h^2*sin(beta)*sin(alpha - varepsilon)*gamma + h^2*sin(beta)*sin(alpha - varepsilon)*psi)/(2*sin(-beta - delta - phi + alpha)*sin(beta)^2*sin(alpha - varepsilon)*sin(alpha)) - S__1

From the paper I studied, they change it to form an equation like this

 

`S__2 ` = 1/2*gamma*H^2*sin(beta - alpha)*(M__3(X)^3 + M__2(X)^2 + M__1*X)/(sin(beta)^2*(D__3(X)^3 + D__2(X)^2 + D__1*X + D__0)) - S__1

 

Where value of M, D and X is sets of long equation. Can someone teach me how to assign maple to change this kind of equation to another form of equation. It's good enough if I can learn how to learn the basic.

 

Thank you.

 

Regards

Faiz Farhan

 

Dear All,

I want to apply the ‘simplify’ command, in parallel, for the simplification of some parameters. Both Grid:-Map and Grid:-Run commands are tested. There is no error in both, whereas no simplification is implemented. It seems that the ‘simplify’ command correctly works on only ‘Master’ node, namely anywhere we are typing.

Can anyone help me to simplify in parallel. I examined two following codes.

1)

with (Grid);

for i from 1 to nops(dummy_UU1) do

freenode:=WaitForFirst():

Run(freenode,simplify,[dummy_UU1[i]],assignto='dummy_UU2'[i]):

end do:

Wait();

2)

dummy_UU2:=Map[tasksize=1](simplify,[seq(dummy_UU1[i],i=1..nops(dummy_UU1))]):

 

 

The following code is correctly executed and resulted in the simplification of dummy_UU1 components in serial.

for i from 1 to nops(dummy_UU1) do

dummy_UU2[i]:=simplify(dummy_UU1[i]):

end do:

 

Could anyone help me out to convert the equation into differential transform method

 

Hello Everyone, can anyone explain how to import a mathematical equation from maple to word directly?

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

First 15 16 17 18 19 20 21 Last Page 17 of 1838