Description of the linear Perron effect under parametric perturbations exponentially vanishing at infinity

E. A. Barabanov ; V. V. Bykov

Trudy Instituta matematiki i mehaniki, Trudy Instituta Matematiki i Mekhaniki UrO RAN, Tome 25 (2019) no. 4, pp. 31-43

Résumé

Let ${\mathcal M}_n$ be the set of linear differential systems of order $n\geqslant 2$ whose coefficients are continuous and bounded on the time semiaxis $\mathbb{R}_+$. Denote by $\lambda_1(A)\leqslant\ldots\leqslant \lambda_n(A)$ the Lyapunov exponents of a system $A\in {\mathcal M}_n,$ by $\Lambda(A)=(\lambda_1(A),\ldots,\lambda_n(A))$ their spectrum, and by $\mathrm{es}(A)$ the exponential stability index of $A$ (the dimension of the linear subspace of solutions with negative characteristic exponents). For a system $A\in {\mathcal M}_n$ and a metric space $M,$ we consider the class ${\mathcal E}_n[A](M)$ of continuous $(n\times n)$ matrix-valued functions $Q\colon \mathbb{R}_+\times M\to \mathbb{R}^{n\times n}$ satisfying the bound $\|Q(t,\mu)\|\leqslant C_Q\exp(-\sigma_Qt)$ for all $(t,\mu)\in\mathbb{R}_+\times M,$ where $C_Q$ and $\sigma_Q$ are positive constants (possibly different for each function $Q$), and such that the Lyapunov exponents of the system $A+Q,$ which are functions of $\mu\in M$ and are denoted by $\lambda_1(\mu;A+Q)\leqslant\ldots\leqslant \lambda_n(\mu;A+Q),$ are not less than the corresponding Lyapunov exponents of the system $A$; i.e., $\lambda_k(\mu;A+Q)\geqslant \lambda_k(A),$ $k=\overline{1,n},$ for all $\mu\in M$. The problem is to obtain a complete description for each $n\in\mathbb{N}$ and each metric space $M$ of the class of pairs $\bigl(\Lambda(A),\Lambda(\cdot\,;A+Q)\bigr)$ composed of the spectrum $\Lambda(A)\in\mathbb{R}^n$ of a system $A\in {\mathcal M}_n$ and the spectrum $\Lambda(\cdot\,;A+Q)\colon M\to \mathbb{R}^n$ of a family $A+Q,$ where $A$ ranges over ${\mathcal M}_n$ and the matrix-valued function $Q$ ranges over the class ${\mathcal E}_n[A](M)$ for each $A,$ i.e., of the class $\Pi {\mathcal E}_n(M)=\{\bigl(\Lambda(A),\Lambda(\cdot\,;A+Q)\bigr)\,\vert\, A\in {\mathcal M}_{n},\,Q\in {\mathcal E}_n[A](M)\}$. The solution of this problem is provided by the following statement: for each integer $n\geqslant 2$ and every metric space $M$, a pair $\bigl(l,F(\cdot)\bigr),$ where $l=(l_1,\ldots,l_n)\in\mathbb{R}^n$ and $F(\cdot)=(f_1(\cdot),\ldots,f_n(\cdot))\colon M\to \mathbb{R}^n,$ belongs to the class $\Pi {\mathcal E}_n(M)$ if and only if the following conditions are met: (1) $l_1\leqslant \ldots \leqslant l_n,$ (2) $f_1(\mu)\leqslant \ldots \leqslant f_n(\mu)$ for all $\mu\in M,$ (3) $f_i(\mu)\geqslant l_i$ for all $i=\overline{1,n}$ and $\mu\in M,$ (4) for each $i=\overline{1,n}$, the function $f_i(\cdot)\colon M\to \mathbb{R}$ is bounded and, for any $r\in\mathbb{R}$, the preimage $f_i^{-1}([r,+\infty))$ of the half-interval $[r,+\infty)$ is a $G_{\delta}$-set. The solution of the similar problem of describing the pairs composed of the exponential stability index $\mathrm{es}(A)\in \{0,\ldots,n\}$ of a system $A$ and the exponential stability index $\mathrm{es}(\cdot\,;A+Q)\colon M\to \{0,\ldots,n\}$ of a family $A+Q,$ i.e., the class ${\mathcal I}{\mathcal E}_n(M)=\{\bigl(\mathrm{es}(A),\mathrm{es}(\cdot\,;A+Q)\bigr)\,\vert\, A\in {\mathcal M}_{n},\,Q\in {\mathcal E}_n[A](M)\}$, is contained in the following statement: for any positive integer $n\geqslant 2$ and every metric space $M$, a pair $\bigl(d,f(\cdot)\bigr),$ where $d\in\{0,\ldots,n\}$ and $f\colon M\to\{0,\ldots,n\},$ belongs to the class ${\mathcal I}{\mathcal E}_n(M)$ if and only if $f(\mu)\leqslant d$ for all $\mu\in M$ and, for any $r\in\mathbb{R}$, the preimage $f^{-1}((-\infty,r])$ of the half-interval $(-\infty,r]$ is a $G_{\delta}$-set.

Détail

Keywords: linear differential system, Lyapunov exponents, perturbations vanishing at infinity
Mots-clés : Baire classes.

Bibliographie

[1] Lyapunov A.M., Sobranie sochinenii, v 6 t., v. 2, Obschaya zadacha ob ustoichivosti dvizheniya, Izd-vo AN SSSR, M.; L., 1956, 476 pp. | MR

[2] Demidovich B.P., Lektsii po matematicheskoi teorii ustoichivosti, Nauka, M., 1967, 472 pp.

[3] Perron O., “Die Ordnungszahlen linearer Differentialgleichungssysteme”, Math. Zeitschr., 31:4 (1930), 748–766 | DOI | MR | Zbl

[4] Perron O., “Die Stabilitatsfrage bei Differentialgleichungen”, Math. Zeitschr., 32:5 (1930), 703–728 | DOI | MR | Zbl

[5] Leonov G.A., Khaoticheskaya dinamika i klassicheskaya teoriya ustoichivosti dvizheniya, RKhD, M.; Izhevsk, 2006, 168 pp.

[6] Korovin S.K., Izobov N.A., “Realizatsiya effekta Perrona smeny znachenii kharakteristicheskikh pokazatelei reshenii differentsialnykh sistem”, Differents. uravneniya, 46:11 (2010), 1536–1550 | MR | Zbl

[7] Barabanov E.A., Bykov V.V., Karpuk M.V., “Polnoe opisanie spektrov pokazatelei Lyapunova lineinykh differentsialnykh sistem, nepreryvno zavisyaschikh ot parametra ravnomerno na vremennoi poluosi”, Differents. uravneniya, 54:12 (2018), 1579–1588 | DOI | Zbl

[8] Millionschikov V.M., “Berovskie klassy funktsii i pokazateli Lyapunova. I”, Differents. uravneniya, 16:8 (1980), 1408–1416 | MR

[9] Ber R., Teoriya razryvnykh funktsii, GTTI, M.; L., 1932, 134 s pp.

[10] Khausdorf F., Teoriya mnozhestv, ONTI, M.; L., 1937, 306 pp.

[11] E. A. Barabanov, V. V. Bykov, “Opisanie lineinogo effekta Perrona pri parametricheskikh vozmuscheniyakh, ubyvayuschikh k nulyu na beskonechnosti”, Ustoichivost, upravlenie, differentsialnye igry (SCDG2019), materialy Mezhdunar. konf., posvyaschennoi 95-letiyu so dnya rozhdeniya akademika N.N. Krasovskogo, IMM UrO RAN, Ekaterinburg, 2019, 48–53

[12] Millionschikov V.M., “Pokazateli Lyapunova kak funktsii parametra”, Mat. sb., 137:3 (1988), 364–380

[13] Bykov V.V., “Funktsii, opredelyaemye pokazatelyami Lyapunova semeistv lineinykh differentsialnykh sistem, nepreryvno zavisyaschikh ot parametra ravnomerno na poluosi”, Differents. uravneniya, 53:12 (2017), 1579–1592 | DOI | Zbl

[14] Stepanoff W., “Sur les suites des fonctions continues”, Fund. Math., 11 (1928), 264–274 | DOI | Zbl

[15] Karpuk M.V., “Pokazateli Lyapunova semeistv morfizmov metrizovannykh vektornykh rassloenii kak funktsii na baze rassloeniya”, Differents. uravneniya, 50:10 (2014), 1332–1338 | DOI | MR | Zbl

[16] Izobov N.A., Vvedenie v teoriyu pokazatelei Lyapunova, Izd-vo BGU, Minsk, 2006, 319 pp.

[17] Bylov B.F., Vinograd R.E., Grobman D.M., Nemytskii V.V., Teoriya pokazatelei Lyapunova i ee prilozheniya k voprosam ustoichivosti, Nauka, M., 1966, 576 pp.