MaplePrimes - answers and comments on Question, do maple have tool to get differential identity

what do you mean by that ?

Axel Vogt — Sun, 27 May 2012 14:42:01 Z

The correct notation is using variables within Y:

  A := diff(     Y(x,y), y$2) - (y11)^2* diff(Y(x,y),y)   = 0;
  B := diff(diff(Y(x,y),x),y) -  y11   * diff(Y(x,y),x$2) = 0;

Please state your question more precise - it is not clear what you want.

would like to get identity diff(A,y) - diff(B,x

marram — Mon, 28 May 2012 16:31:11 Z

would like to get identity

diff(A,y) - diff(B,x) + y11*diff(A, x) = 0

from Above two equation, any tools do these

Verification

Markiyan Hirnyk — Sat, 02 Jun 2012 15:44:20 Z

@marram How about this?

> A := diff(Y(x, y), `$`(y, 2))-y11^2*(diff(Y(x, y), y)) = 0:

>B := diff(diff(Y(x, y), x), y)-y11*(diff(Y(x, y), `$`(x, 2))) = 0:

> op(pdsolve({A, B}));
Y(x, y) = _C3 x + _C4 + (_C1 + _C2 exp(y11* x)) *exp(y11 ^2* y)
> eval(diff(A, y)-(diff(B, x))+y11*(diff(A, x)), op(pdsolve({A, B})));

0 = 0