Abstract
For a backward differentiation formula (BDF) applied to the gradient flow of a semiconvex function, quadratic stability implies gradient stability. Namely, it is possible to build a Lyapunov functional for the discrete-in-time dynamical system, with a restriction on the time step. The maximum time step which can be derived from quadratic stability has previously been obtained for the BDF1, BDF2 and BDF3 schemes. Here, we compute it for the BDF4 and BDF5 methods. We also prove that the BDF6 scheme is not quadratically stable. Our results are based on the tools developed by Dahlquist and other authors to show the equivalence of A-stability and G-stability. We give several applications of gradient stability to the asymptotic behaviour of sequences generated by BDF schemes.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
