Finding Lyapunov functions in Sage

asked 2014-10-09 14:10:29 -0500

fccoelho gravatar image

updated 2014-10-09 14:11:58 -0500

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 12:53:25 -0500 )edit