Une classification complète des ensembles de contrôle pour les systèmes de contrôle linéaires singuliers sur le groupe de Heisenberg

Informations fondamentales

• ID de l'article: 2510.08751
• Titre: A complete classification of control sets for singular linear control systems on the Heisenberg group
• Auteurs: Adriano Da Silva (Universidad de Tarapacá), Okan Duman (Yildiz Technical University), Anderson Felipe Penagos Rojas (Universidade Estadual de Campinas)
• Classification: math.OC (Optimisation et Contrôle)
• Date de publication: 13 octobre 2025
• Lien de l'article: https://arxiv.org/abs/2510.08751

Résumé

Cet article étudie les ensembles de contrôle des systèmes de contrôle linéaires associés à des dérivations singulières sur le groupe de Heisenberg. Sous les conditions de rang de l'algèbre de Lie, une caractérisation complète de ces ensembles de contrôle est fournie en analysant la trace et le déterminant des sous-matrices 2×2 pertinentes.

Contexte et motivation de la recherche

Contexte du problème

1. Limitations des recherches traditionnelles: Les études traditionnelles des systèmes de contrôle linéaires se concentrent principalement sur l'espace euclidien, mais lorsque l'espace sous-jacent possède une structure géométrique non triviale (comme un groupe de Lie), le comportement dynamique présente des caractéristiques sans équivalent dans l'environnement euclidien.
2. Importance des systèmes de contrôle sur les groupes de Lie: Les systèmes de contrôle linéaires sur les groupes de Lie entretiennent des liens profonds avec la géométrie différentielle, la théorie des représentations et la dynamique non linéaire. Jouan a démontré que tout système de contrôle affine possédant des champs de vecteurs complets est équivalent à un système de contrôle linéaire sur un groupe de Lie ou un espace homogène.
3. Particularité des groupes de Lie nilpotents: Pour les systèmes de contrôle linéaires sur les groupes de Lie nilpotents, les propriétés des ensembles de contrôle dépendent fortement des valeurs propres de la dérivation associée au champ de vecteurs de dérive.
4. Lacune de recherche: Bien que le cas régulier (dérivation pertinente inversible) ait été étudié, le cas singulier (dérivation pertinente non inversible) reste une lacune critique, présentant un paysage fondamentalement différent et plus complexe.

Motivation de la recherche

Le groupe de Heisenberg, en tant que groupe de Lie nilpotent tridimensionnel mais non abélien, combine une structure simple et des propriétés géométriques hautement non triviales, ce qui en fait une plateforme de test idéale pour explorer comment la structure du groupe affecte la contrôlabilité. Cet article aborde spécifiquement le problème inexploré et difficile du cas singulier.

Contributions principales

1. Cadre de classification complet: Fournit une classification complète des ensembles de contrôle pour les systèmes de contrôle linéaires singuliers sur le groupe de Heisenberg, où la dérivation pertinente n'est pas inversible.
2. Analyse basée sur les invariants: En utilisant les automorphismes du groupe pour conjuguer le système en formes standard réduites, une analyse minutieuse est effectuée sur la base des invariants fondamentaux de la dérivation (trace trA et déterminant detA de la sous-matrice 2×2 A).
3. Découverte de modèles de comportement riches: Révèle des modèles de comportement diversifiés:
   • Dichotomie lorsque detA = trA = 0: contrôlabilité globale ou incontrollabilité complète
   • Caractérisation basée sur le spectre et les paramètres lorsque detA ≠ 0 et trA = 0
   • Connexion aux systèmes affines lorsque detA = 0 et trA ≠ 0
4. Fondations théoriques: Établit des bases concrètes pour étendre l'étude des systèmes de contrôle linéaires singuliers aux groupes de Lie nilpotents de dimension supérieure.

Explication détaillée de la méthode

Définition de la tâche

Étude du système de contrôle linéaire sur le groupe de Heisenberg H = (ℝ² × ℝ, ∗):

ΣH: ẋ(τ) = X(x(τ)) + Σᵢ uᵢ(τ)Zᵢ(x(τ))

où X est un champ de vecteurs linéaire, Zᵢ sont des champs de vecteurs invariants à gauche, l'objectif étant de caractériser complètement ses ensembles de contrôle.

Cadre théorique

Structure du groupe de Heisenberg

Le groupe de Heisenberg est défini comme H := (ℝ² × ℝ, ∗), où:

(v₁, z₁) ∗ (v₂, z₂) := (v₁ + v₂, z₁ + z₂ + ½ω(v₁,v₂))

Son algèbre de Lie est h := (ℝ² × ℝ, ·, ·), satisfaisant:

[(ζ₁, α₁), (ζ₂, α₂)] := (0, ω(ζ₁, ζ₂))

Structure des dérivations et automorphismes

Proposition 3.4: Les formes explicites de la dérivation D et de l'automorphisme P sont:

D = (A  0 )  ∈ Der(h),  P = (P  0   ) ∈ Aut(H)
    (η^T trA)              (ξ^T detP)

Représentation du système de contrôle linéaire

Le système de contrôle linéaire monoentrant en coordonnées s'exprime comme:

v̇ = Av + uζ
ż = z·trA + uα + ω(v, θη + u·½ζ)

Points d'innovation technique

1. Stratégie de simplification par conjugaison: L'utilisation des automorphismes P permet de réduire sélectivement la matrice A à sa forme de Jordan, tout en préservant les propriétés spectrales.
2. Critères de classification: Établissement de critères de classification basés sur les conditions LARC et ad-rank:
   • LARC: ω(Aζ, ζ) ≠ 0
   • Condition ad-rank: ω(Aζ, ζ)(α detA + ω(Aζ, θη)) ≠ 0
3. Analyse par cas: Analyse systématique selon différentes combinaisons de detA et trA.

Résultats principaux

Cas 1: detA = trA = 0

Théorème 4.1:

1. Si ω(Aζ, θη) ≠ 0, alors H est l'unique ensemble de contrôle de ΣH
2. Si ω(Aζ, θη) = 0, alors le plan kerD est un ensemble de contrôle à point unique continu de ΣH

Esquisse de la preuve: Par construction d'un système conjugué et d'une fonction de type Lyapunov F(x,y,z) = 3zσ + y(y² - 2xσ), on démontre les propriétés de séparation des orbites.

Cas 2: detA ≠ 0 et trA = 0

Théorème 4.3:

1. Si la condition ad-rank est satisfaite, alors C_{ℝ²} × ℝ est l'unique ensemble de contrôle de ΣH
2. Si la condition ad-rank n'est pas satisfaite mais A possède des valeurs propres purement imaginaires, la conclusion est la même que (1)
3. Si la condition ad-rank n'est pas satisfaite et A possède des valeurs propres réelles, alors kerD est un ensemble de contrôle à point unique continu

Technique clé:

• Pour le cas des valeurs propres purement imaginaires, utilisation des propriétés des matrices de rotation pour construire des orbites périodiques
• Pour le cas des valeurs propres réelles, construction de la fonction G(x,y,z) = z + σy + σ²ln(y-σ) pour démontrer la monotonie des orbites

Cas 3: detA = 0 et trA ≠ 0

Théorème 4.5: L'unique ensemble de contrôle est CH = π⁻¹(C^A_{ℝ²}), où π est la projection canonique sur les deux dernières composantes.

Méthode de preuve: Par la relation de conjugaison avec les systèmes affines, utilisation de la théorie des systèmes de contrôle affines pour établir la correspondance des ensembles de contrôle.

Analyse des détails techniques

Application de la technique de conjugaison

L'article utilise astucieusement le groupe d'automorphismes Aut(H) pour simplifier les systèmes complexes:

PDP⁻¹ = (PAP⁻¹  0  )
         (η̂^T    trA)

où η̂ peut être ajusté par un choix approprié de P.

Analyse de la contrôlabilité fibrée

La Proposition 4.2 illustre la contrôlabilité de la fibre {0} × ℝ sous différentes conditions de paramètres:

• α ≠ 0: existence d'orbites périodiques reliant deux points quelconques
• α = 0: accessibilité en temps positif ou négatif déterminée par le signe de (detA)⁻¹ω(Aζ,ζ)

Construction de fonctions de Lyapunov

Dans la preuve de l'unicité des ensembles de contrôle, l'article construit des fonctions de type Lyapunov ingénieuses, telles que:

F(x,y,z) = 3zσ + y(y² - 2xσ)
G(x,y,z) = z + σy + σ²ln(y-σ)

La monotonie de ces fonctions le long des orbites assure la séparation des orbites.

Travaux connexes

Développement historique

1. Markus (1962): Extension initiale du cadre des systèmes de contrôle linéaires aux groupes de matrices
2. Ayala & Tirao: Généralisation aux groupes de Lie arbitraires, établissement d'un point de vue géométrique unifié
3. Jouan: Démonstration de l'équivalence entre les systèmes de contrôle affines et les systèmes de contrôle linéaires sur les groupes de Lie

Recherches existantes

• Existence d'ensembles de contrôle garantie dans le cas régulier
• Étude des propriétés des ensembles de contrôle sur les groupes de faible dimension
• Relation entre les valeurs propres de la dérivation et les propriétés des ensembles de contrôle sur les groupes de Lie nilpotents

Contribution de cet article

Cet article comble la lacune théorique du cas singulier, fournissant un cadre de classification complet.

Conclusion et discussion

Conclusions principales

1. Classification complète: Basée sur la trace et le déterminant de la matrice A, caractérisation complète de la structure des ensembles de contrôle pour les systèmes de contrôle linéaires singuliers sur le groupe de Heisenberg.
2. Phénomènes riches: Découverte d'un spectre riche de comportements allant de la contrôlabilité globale à l'incontrollabilité complète.
3. Intuitions géométriques: Révélation des liens profonds entre la structure géométrique du groupe et les propriétés de la théorie du contrôle.

Limitations

1. Restriction dimensionnelle: Les résultats sont spécifiquement adaptés au groupe de Heisenberg tridimensionnel; la généralisation à des dimensions supérieures nécessite des recherches supplémentaires
2. Hypothèse de singularité: Seul le cas de dérivation singulière est considéré
3. Systèmes monoentrants: L'analyse se concentre principalement sur le cas monoentrant

Directions futures

1. Généralisation aux groupes de Lie nilpotents de dimension supérieure
2. Analyse des systèmes multientrants
3. Étude des systèmes de contrôle linéaires singuliers sur les groupes de Lie non nilpotents

Évaluation approfondie

Avantages

1. Complétude théorique: Fournit une solution complète au problème, avec une classification exhaustive
2. Innovation méthodologique: Combinaison astucieuse de la théorie des groupes de Lie, de la théorie du contrôle et des méthodes des systèmes dynamiques
3. Profondeur technique: Techniques de preuve sophistiquées, en particulier la construction de fonctions de Lyapunov
4. Clarté structurelle: Excellent organisation du document, logique claire

Insuffisances

1. Limitations applicatives: La valeur pratique des résultats théoriques nécessite une exploration supplémentaire
2. Complexité computationnelle: Les critères de discrimination dans certains cas sont relativement complexes à calculer
3. Vérification numérique: Absence d'expériences numériques pour valider les résultats théoriques

Impact

1. Contribution théorique: Apport important à la théorie des systèmes de contrôle sur les groupes de Lie
2. Valeur méthodologique: Le cadre d'analyse fourni peut être généralisé à d'autres groupes de Lie
3. Recherche fondamentale: Établit des fondations solides pour les recherches ultérieures

Domaines d'application

1. Systèmes à contraintes non holonomes en robotique
2. Systèmes de contrôle quantique
3. Recherche en théorie du contrôle géométrique
4. Applications en géométrie sous-riemannienne

Références

L'article cite les références importantes du domaine, notamment le manuel classique de Colonius & Kliemann The Dynamics of Control, ainsi que les travaux en série d'Ayala, Da Silva et autres sur les systèmes de contrôle sur les groupes de Lie, reflétant un bon héritage académique et une trajectoire de développement.

Évaluation globale: Ceci est un article de recherche théorique de haute qualité qui apporte une contribution substantielle dans le domaine important des systèmes de contrôle sur les groupes de Lie. L'article possède une profondeur technique élevée et une forte complétude théorique, fournissant une base importante pour le développement ultérieur du domaine.