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$