Introduction

This section examines the stability and qualitative behavior of systems of differential equations, building upon the foundational work of E. A. Barbashin and N. N. Krasovskii \cite{1}. We consider a system of the form:

$$\begin{aligned} \frac{d\phi_i}{dt} &= \Phi_i(\phi_1, \dots, \phi_m, x_1, \dots, x_n) \ \frac{dx_j}{dt} &= X_j(\phi_1, \dots, \phi_m, x_1, \dots, x_n) \end{aligned}$$

where $i = 1, \dots, m$ and $j = 1, \dots, n$. The functions $\Phi_i$ and $X_j$ are assumed to be periodic with respect to the variables $\phi_i$ with a period of $2\pi$. Such systems frequently arise in the study of phase synchronization and multidimensional dynamical systems.

Stability Analysis and Lyapunov Functions

Following the methodology established in \cite{2} and \cite{3}, we investigate the existence of a limit set $R(\phi_1, \dots, \phi_s)$ and the behavior of the system trajectories relative to this set. A critical component of this analysis is the construction of a Lyapunov function $v(\phi, x)$. As demonstrated by Barbashin \cite{4}, the existence of a negative definite derivative $\dot{v}$ along the trajectories of the system is a sufficient condition for the asymptotic stability of the equilibrium set.

In the context of the qualitative theory of differential equations \cite{5}, we define a region $U$ such that for any initial condition within this region, the trajectory $p(t)$ remains bounded and approaches the invariant set $R$ as $t \to \infty$. Specifically, if the derivative of the Lyapunov function satisfies $\dot{v} \leq 0$, the trajectories will converge to the largest invariant subset where $\dot{v} = 0$.

Convergence and Invariant Sets

The analysis of the limit set $q$ for a trajectory $p(t_n)$ as $t_n \to \infty$ is central to understanding the long-term dynamics. According to the theorems presented in \cite{5} (p. 358), if a trajectory is bounded, its limit set is non-empty, compact, and invariant. For the system under consideration, we denote the potential limit values as $v_0$. If $v(\phi) = v_0$ and $\dot{v} = 0$, the system reaches a steady state or a limit cycle within the set $R$.

Applying the criteria from Barbashin \cite{6} and the global stability theorems in \cite{7}, we can establish conditions under which the set $v = 0$ is globally attracting. This is particularly relevant for systems where the matrix of coefficients $A = {a_{jk}}$ satisfies specific negativity conditions, ensuring that the energy-like function $w = -\sum x_i^2$ acts as a robust descriptor of the system's dissipation.

Conclusion

The mathematical framework provided by the works of Barbashin, Krasovskii, and Lefschetz \cite{1, 4, 6} allows for a rigorous treatment of non-linear oscillations and phase space stability. By defining appropriate Lyapunov functions $v(x)$ and analyzing the properties of the derivative $\dot{v}$, we can conclude that for the given class of periodic systems, the trajectories converge to the predicted invariant manifolds, provided the structural constraints on the functions $\Phi_i$ and $X_j$ are satisfied.

References

1. Barbashin, E. A., Krasovskii, N. N. On the stability of motion in the large. Doklady Akademii Nauk SSSR, 1952.
2. Pontryagin, L. S. Ordinary Differential Equations. Moscow, 1959.
3. Lefschetz, S. Differential Equations: Geometric Theory. Moscow, 1961.
4. Barbashin, E. A. Lyapunov Functions. Moscow, Nauka, 1967.
5. Bakaev, Yu. N. Systems of Phase Synchronization. Moscow, 1954.
6. Barbashin, E. A. Introduction to the Theory of Stability. Moscow, Nauka, 1967.
7. Krasovskii, N. N. Certain Problems in the Theory of Stability of Motion. Moscow, 1959.