Constructive Proof of Global Lyapunov Function as Potential Function

Abstract

We provide a constructive proof on the equivalence of two fundamental concepts: the global Lyapunov function in engineering and the potential function in physics, establishing a bridge between these distinct fields. This result suggests new approaches on the significant unsolved problem namely to construct Lyapunov functions for general nonlinear systems through the analogy with existing methods on potential functions. In addition, we show another connection that the Lyapunov equation is a reduced form of the generalized Einstein relation for linear systems.

4 pages

References in corpus (6)

• Controlling complex networks: How much energy is needed?
• Stochastic Dynamical Structure (SDS) of Nonequilibrium Processes in the Absence of Detailed Balance. IV: Emerging of Stochastic Dynamical Equalities and Steady State Thermodynamics from Darwinian Dynamics
• Calculating Biological Behaviors of Epigenetic States in Phage lambda Life Cycle
• Thermodynamic Limit of a Nonequilibrium Steady-State: Maxwell-Type Construction for a Bistable Biochemical System
• Determine dynamical behaviors by the Lyapunov function in competitive Lotka-Volterra systems
• Exact Mapping Noisy van der Pol Type Oscillator onto Quasi-symplectic Dynamics

Cited by in corpus (13)

• A variational synthesis of evolutionary and developmental dynamics
• Construction of quasi-potentials for stochastic dynamical systems: an optimization approach
• Non-equilibrium work relation beyond Boltzmann-Gibbs distribution
• Topology, Vorticity and Limit Cycle in a Stabilized Kuramoto-Sivashinsky Equation
• A Technical Critique of Some Parts of the Free Energy Principle
• Stability and Instability Divergence Conditions for Dynamical Systems
• A puzzle on the existence of Lyapunov functions for Limit cycle system
• Landscape construction in non-gradient dynamics: A case from evolution
• Canonical Form of Lyapunov Second Method in Mathematical Modelling and Control Design
• Defining and finding lifelike entities with a lazy filter
• Divergence Conditions for Investigation and Control of Nonautonomous Dynamical Systems
• General divergent stability conditions of dynamic systems
• Does the smooth planar dynamical system with one arbitrary limit cycle always exists smooth Lyapunov function?