English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

Lyapunov functions are functions with negative derivative along solutions of a given ordinary differential equation. Moreover, sub-level sets of a Lyapunov function are subsets of the domain of attraction of the equilibrium. One of the numerical construction methods for Lyapunov functions uses meshfree collocation with radial basis functions (RBF). In this paper, we propose two verification estimates combined with this RBF construction method to ensure that the constructed function is a Lyapunov function. We show that this combination of the RBF construction method and the verification estimates always succeeds in constructing and verifying a Lyapunov function for nonlinear ODEs in R^{d} with an exponentially stable equilibrium.

Verification estimates for the construction of Lyapunov functions using meshfree collocation