{'fraction_non_alphanumeric': 0.012411347517730497, 'fraction_numerical': 0.0, 'mean_word_length': 5.075268817204301, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
On global Lyapunov functions of nonlinear autonomous systems

In this paper we study a method for constructing Lyapunov functions defined on the whole region of attraction of an exponentially stable equilibrium point of nonlinear autonomous systems. The method involves solving a partial differential equation. We prove that a solution exists in the region of attraction. When the eigenvalues of the linearization of the system are non-resonant, a power series solution can be found, and its region of convergence can be used to determine the region of attraction.