Solution 1 to problem N1t7s12b3
Expressions |
Parameters |
Inequalities |
Relevance |
Back to problem N1t7s12b3
Expressions
The solution is given through the following expressions:
q7=0
q6=0
1 1
---*p2*q1 + ---*p3*q1
3 6
q5=-----------------------
p3
q4=0
q3=0
q2=0
p1=0
Parameters
Apart from the condition that they must not vanish to give
a non-trivial solution and a non-singular solution with
non-vanishing denominators, the following parameters are free:
q1, p2, p3
Inequalities
In the following not identically vanishing expressions are shown.
Any auxiliary variables g00?? are used to express that at least
one of their coefficients must not vanish, e.g. g0019*p4 + g0020*p3
means that either p4 or p3 or both are non-vanishing.
{g0015*p3 + g0016*p2,p3,g0006*q1 + g0007*p3,q1,2*g0010*p2 + g0010*p3
+ 6*g0014*p3}
Relevance for the application:
The equation:
2
b =Db *Db*p3 + b *p2
t x x
The symmetry:
1 3 1 3
Db *Db*b *p3*q1 + ---*b *p2*q1 + ---*b *p3*q1
x x 3 x 6 x
b =-------------------------------------------------
s p3
And now in machine readable form:
The system:
df(b(1),t)=d(1,df(b(1),x))*d(1,b(1))*p3 + df(b(1),x)**2*p2$
The symmetry:
df(b(1),s)=(d(1,df(b(1),x))*d(1,b(1))*df(b(1),x)*p3*q1 + 1/3*df(b(1),x)**3*p2*q1
+ 1/6*df(b(1),x)**3*p3*q1)/p3$