Résumé Technique : Stabilité Asymptotique et Taux de Décroissance des Systèmes Positifs Homogènes avec Retards Bornés et Non Bornés

Énoncé du Problème

L'article traite de l'analyse de la stabilité des systèmes positifs non linéaires en présence de retards temporels. Bien qu'il existe une littérature importante sur la stabilité des systèmes positifs linéaires avec retards, la théorie pour les systèmes positifs non linéaires est moins développée. Les résultats existants pour les systèmes non linéaires reposent souvent sur des hypothèses restrictives, telles que des retards constants ou des degrés d'homogénéité spécifiques (par exemple, le degré zéro). De plus, de nombreuses études supposent que les retards sont bornés, alors que des applications réelles (telles que le contrôle de la puissance sans fil) peuvent impliquer des retards variables dans le temps qui sont non bornés, à condition qu'ils croissent plus lentement que le temps lui-même.

Le problème central est d'établir des conditions nécessaires et suffisantes pour la stabilité asymptotique globale indépendante du retard d'une large classe de systèmes positifs non linéaires (spécifiquement ceux possédant des champs de vecteurs coopératifs et homogènes en temps continu, et non décroissants et homogènes en temps discret). De plus, l'article cherche à quantifier les taux de décroissance de ces systèmes sous diverses classes de retards variables dans le temps, incluant les cas de retards à la fois bornés et non bornés.

Méthodologie

Les auteurs emploient une technique de preuve distincte de la méthode largement utilisée des fonctionnelles de Lyapunov-Krasovskii (courante pour les retards constants) et des approches basées sur la monotonicité utilisées dans les travaux antérieurs sur les retards constants. Au lieu de cela, la méthodologie repose sur la construction d'une fonction de Lyapunov spécifique et sur l'analyse de la trajectoire du système à travers des ensembles imbriqués.

Éléments Méthodologiques Clés :

1. Classe de Systèmes : L'étude se concentre sur des systèmes dont les champs de vecteurs sont :
   • Temps continu : Coopératifs (la Jacobienne est de type Metzler) et homogènes de degré $p$ arbitraire.
   • Temps discret : Non décroissants et homogènes de degré zéro (pour la stabilité globale) ou de degré $p > 0$ (pour la stabilité locale).
2. Hypothèses de Retard : L'article considère des retards variables dans le temps $\tau(t)$ (continu) ou $d(k)$ (discret) satisfaisant une condition de croissance minimale : $\lim_{t \to \infty} (t - \tau(t)) = +\infty$. Cela permet d'inclure des retards à la fois bornés et non bornés qui ne "dépassent" pas le temps.
3. Construction de Lyapunov : Une fonction de Lyapunov basée sur la norme $l_\infty$ pondérée est définie :
   $$V(x) = \max_{1 \le i \le n} \left( \frac{x_i}{v_i} \right)^{\frac{r_{\max}}{r_i}}$$
   où $v > 0$ est un vecteur spécifique et $r$ définit la carte de dilatation.
4. Argument d'Ensembles Imbriqués : La preuve démontre que si une condition de stabilité est remplie, l'état du système entre dans une séquence d'ensembles imbriqués $S(m)$ définis par $V(x) \le \gamma^m \|\phi\|$ (où $0 \le \gamma < 1$) et y demeure. Cela établit que l'état converge vers l'origine quel que soit l'ordre de grandeur ou la variation du retard, à condition que le retard satisfasse l'hypothèse de croissance.
5. Analyse du Taux de Décroissance : Pour quantifier la convergence, les auteurs utilisent le concept de $\mu$-stabilité. Ils dérivent des conditions sous lesquelles la solution satisfait $\|x(t)\| = O(\mu^{-1}(t))$, où $\mu(t)$ est une fonction non décroissante caractérisant le taux de décroissance (par exemple, exponentielle ou polynomiale).

Contributions Clés et Résultats

1. Conditions de Stabilité Indépendantes du Retard

L'article établit que pour la classe de systèmes spécifiée, la stabilité asymptotique globale est indépendante de l'ordre de grandeur et de la variation des retards, à condition que les retards satisfisent la condition de croissance (Hypothèse 1 pour le temps continu, Hypothèse 4 pour le temps discret).

• Temps Continu (Théorème 1) : Un système coopératif homogène est globalement asymptotiquement stable pour tous les retards admissibles si et seulement s'il existe un vecteur $v > 0$ tel que :
  $$f(v) + g(v) < 0$$
  Cette condition est identique à la condition de stabilité pour le système correspondant sans retard.
• Temps Discret (Théorème 3) : Pour les systèmes homogènes non décroissants de degré zéro, la stabilité asymptotique globale pour tous les retards admissibles est vérifiée si et seulement s'il existe $v > 0$ tel que :
  $$f(v) + g(v) < v$$
• Stabilité Locale pour des Degrés Supérieurs : Pour les systèmes en temps discret avec un degré $p > 0$, la même condition assure la stabilité asymptotique locale pour des conditions initiales situées dans une limite spécifique.

2. Quantification des Taux de Décroissance

L'article fournit des bornes explicites sur les taux de décroissance pour différents scénarios de retard :

• Retards Bornés (Corollaire 1) :
  • Si le degré $p=0$, le système est globalement exponentiellement stable. Le taux de décroissance $\eta$ est déterminé par une équation transcendante impliquant la borne du retard $\tau_{\max}$.
  • Si le degré $p>0$, le système présente une stabilité de type puissance (décroissance polynomiale), avec un taux dépendant de $\tau_{\max}$.
• Retards Non Bornés (Corollaire 2 & 5) :
  • Pour les retards satisfaisant $\sup_{t>T} \frac{\tau(t)}{t} = \alpha < 1$, le système reste stable de type puissance.
  • Le taux de décroissance est montré être de l'ordre de $O(t^{-\xi})$ (pour $p=0$) ou $O(t^{-\frac{r_{\max}}{p}\beta})$ (pour $p>0$).
  • Crucialement, l'article quantifie comment le paramètre $\alpha$ (le taux de croissance asymptotique du retard) impacte la stabilité : à mesure que $\alpha \to 1$, le taux de décroissance garanti se détériore (approche de zéro), indiquant une convergence plus lente.

3. Extension aux Systèmes Linéaires

Les résultats généralisent les conclusions existantes pour les systèmes positifs linéaires.

• Pour les systèmes linéaires en temps continu ($\dot{x} = Ax + Bx(t-\tau(t))$), la stabilité est garantie si $A+B$ est de type Hurwitz (toutes les valeurs propres ont des parties réelles négatives).
• Pour les systèmes linéaires en temps discret ($x(k+1) = Ax(k) + Bx(k-d(k))$), la stabilité est garantie si le rayon spectral de $A+B$ est inférieur à 1.
• Contrairement aux travaux précédents qui établissaient seulement la stabilité, cet article fournit des bornes explicites de taux de décroissance pour ces systèmes linéaires sous des retards non bornés.

Signification et Revendications

L'article affirme fournir un cadre complet pour analyser la stabilité d'une classe significative de systèmes positifs non linéaires sous des restrictions de retard minimales.

• Généralité : Les résultats s'étendent au-delà des retards constants pour inclure les retards variables dans le temps et non bornés, un scénario où les preuves basées sur la monotonicité précédentes échouaient.
• Restrictions Minimales : La technique de preuve impose des restrictions minimales sur les retards, exigeant seulement qu'ils ne croissent pas plus vite que le temps lui-même.
• Aperçu Quantitatif : Une contribution majeure est la dérivation de bornes explicites de taux de décroissance. L'article démontre que bien que la stabilité soit indépendante du retard, la vitesse de convergence ne l'est pas ; elle est directement influencée par le taux de croissance des retards.
• Unification : Ce travail unifie le traitement des systèmes en temps continu et en temps discret et comble le fossé entre les systèmes positifs linéaires et non linéaires concernant l'indépendance vis-à-vis du retard.

Les auteurs concluent que leurs découvertes offrent une base théorique robuste pour l'analyse et le contrôle des systèmes positifs dans des environnements distribués où les échanges d'informations subissent des retards inévitables et potentiellement non bornés.