Finding Lyapunov functions in Sage

asked 2014-10-09 21:10:29 +0100

fccoelho gravatar image

updated 2014-10-09 21:11:58 +0100

Is there a way to find Lyapunov functions candidates for a system of ODEs?

see for example:

I know I can simply "do the math" given I have a candidate function, but I wonder if there is any way to quickly explore potential candidates.

edit retag flag offensive close merge delete


Hum. I don't think so. You might have a look at the software maxima or the library sympy which are what Sage uses for symbolic computations...

vdelecroix gravatar imagevdelecroix ( 2014-10-27 18:53:25 +0100 )edit