2025-11-15T01:07:11.227371

A complete classification of control sets for singular linear control systems on the Heisenberg group

Da Silva, Duman, Rojas
In this paper, we investigate the control sets of linear control systems on the Heisenberg group associated with singular derivations. Under the Lie algebra rank condition, we provide a complete characterization of these sets by analyzing the trace and determinant of an associated 2 \times 2 submatrix.
academic

Heisenberg समूह पर विलक्षण रैखिक नियंत्रण प्रणालियों के लिए नियंत्रण समुच्चय का संपूर्ण वर्गीकरण

मूल जानकारी

  • पेपर ID: 2510.08751
  • शीर्षक: Heisenberg समूह पर विलक्षण रैखिक नियंत्रण प्रणालियों के लिए नियंत्रण समुच्चय का संपूर्ण वर्गीकरण
  • लेखक: Adriano Da Silva (Universidad de Tarapacá), Okan Duman (Yildiz Technical University), Anderson Felipe Penagos Rojas (Universidade Estadual de Campinas)
  • वर्गीकरण: math.OC (अनुकूलन और नियंत्रण)
  • प्रकाशन समय: 13 अक्टूबर, 2025
  • पेपर लिंक: https://arxiv.org/abs/2510.08751

सारांश

यह पेपर Heisenberg समूह पर विलक्षण व्युत्पन्न से संबंधित रैखिक नियंत्रण प्रणालियों के नियंत्रण समुच्चय का अध्ययन करता है। लाई बीजगणित रैंक शर्त के तहत, संबंधित 2×2 उप-मैट्रिक्स के ट्रेस और सारणिक का विश्लेषण करके इन नियंत्रण समुच्चय की संपूर्ण विशेषता प्रदान की गई है।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या पृष्ठभूमि

  1. पारंपरिक अनुसंधान की सीमाएं: पारंपरिक रैखिक नियंत्रण प्रणाली अनुसंधान मुख्य रूप से यूक्लिडियन स्पेस पर केंद्रित है, लेकिन जब अंतर्निहित स्पेस में गैर-तुच्छ ज्यामितीय संरचना (जैसे लाई समूह) होती है, तो गतिशीलता यूक्लिडियन वातावरण में समकक्षों के बिना विशेषताएं प्रदर्शित करती है।
  2. लाई समूह पर नियंत्रण प्रणालियों का महत्व: लाई समूह पर रैखिक नियंत्रण प्रणालियां अवकल ज्यामिति, प्रतिनिधित्व सिद्धांत और अरैखिक गतिशीलता से गहरे संबंध रखती हैं। Jouan ने सिद्ध किया कि संपूर्ण वेक्टर क्षेत्र वाली प्रत्येक नियंत्रण-एफाइन प्रणाली लाई समूह या सजातीय स्पेस पर रैखिक नियंत्रण प्रणाली के समतुल्य है।
  3. शून्यशक्ति लाई समूहों की विशेषता: शून्यशक्ति लाई समूह पर रैखिक नियंत्रण प्रणालियों के लिए, नियंत्रण समुच्चय के गुण ड्रिफ्ट वेक्टर क्षेत्र से संबंधित व्युत्पन्न के eigenvalues पर दृढ़ता से निर्भर करते हैं।
  4. अनुसंधान अंतराल: हालांकि नियमित स्थिति (संबंधित व्युत्पन्न व्युत्क्रमणीय) का अध्ययन किया गया है, विलक्षण स्थिति (संबंधित व्युत्पन्न व्युत्क्रमणीय नहीं) अभी भी एक महत्वपूर्ण अंतराल है, जो मौलिक रूप से भिन्न और अधिक जटिल दृश्य प्रस्तुत करता है।

अनुसंधान प्रेरणा

Heisenberg समूह एक त्रि-आयामी शून्यशक्ति लेकिन गैर-अबेलियन लाई समूह है, जो सरल संरचना और अत्यधिक गैर-तुच्छ ज्यामितीय गुणों को जोड़ता है, जो यह अन्वेषण करने के लिए एक आदर्श परीक्षण मंच है कि समूह संरचना नियंत्रणीयता को कैसे प्रभावित करती है। यह पेपर विशेष रूप से विलक्षण स्थिति में अन्वेषित और चुनौतीपूर्ण समस्या को संबोधित करता है।

मुख्य योगदान

  1. संपूर्ण वर्गीकरण ढांचा: Heisenberg समूह पर विलक्षण रैखिक नियंत्रण प्रणालियों के नियंत्रण समुच्चय का संपूर्ण वर्गीकरण प्रदान करता है, जहां संबंधित व्युत्पन्न व्युत्क्रमणीय नहीं है।
  2. अपरिवर्तनीयों पर आधारित विश्लेषण: समूह के automorphisms का उपयोग करके प्रणाली को सरलीकृत मानक रूप में संयुग्मित करके, व्युत्पन्न के मौलिक अपरिवर्तनीयों (2×2 मैट्रिक्स A के ट्रेस trA और सारणिक detA) के आधार पर विस्तृत विश्लेषण।
  3. समृद्ध व्यवहार पैटर्न की खोज: विविध व्यवहार पैटर्न का खुलासा:
    • detA = trA = 0 पर द्विभाजन: वैश्विक नियंत्रणीयता या संपूर्ण अनियंत्रणीयता
    • detA ≠ 0 और trA = 0 पर स्पेक्ट्रम और पैरामीटर के आधार पर विशेषता
    • detA = 0 और trA ≠ 0 पर एफाइन प्रणालियों से संबंध
  4. सैद्धांतिक आधार: उच्च-आयामी शून्यशक्ति लाई समूहों पर विलक्षण रैखिक नियंत्रण प्रणाली अनुसंधान को विस्तारित करने के लिए ठोस आधार प्रदान करता है।

विधि विस्तार

कार्य परिभाषा

Heisenberg समूह H = (ℝ² × ℝ, ∗) पर रैखिक नियंत्रण प्रणाली का अध्ययन:

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

जहां X एक रैखिक वेक्टर क्षेत्र है, Zᵢ बाएं-अपरिवर्तनीय वेक्टर क्षेत्र हैं, लक्ष्य इसके नियंत्रण समुच्चय को पूरी तरह से चिह्नित करना है।

सैद्धांतिक ढांचा

Heisenberg समूह संरचना

Heisenberg समूह को H := (ℝ² × ℝ, ∗) के रूप में परिभाषित किया गया है, जहां:

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

इसका लाई बीजगणित h := (ℝ² × ℝ, ·, ·) है, जो संतुष्ट करता है:

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

व्युत्पन्न और automorphism संरचना

प्रस्ताव 3.4: व्युत्पन्न D और automorphism P का स्पष्ट रूप:

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

रैखिक नियंत्रण प्रणाली प्रतिनिधित्व

एकल-इनपुट रैखिक नियंत्रण प्रणाली निर्देशांक में प्रतिनिधित्व:

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

तकनीकी नवाचार बिंदु

  1. संयुग्मन सरलीकरण रणनीति: automorphism P का उपयोग करके मैट्रिक्स A को Jordan मानक रूप में चुनिंदा रूप से सरल बनाया जा सकता है, जबकि स्पेक्ट्रल गुणों को बनाए रखा जाता है।
  2. वर्गीकरण मानदंड: LARC और ad-rank शर्त के आधार पर वर्गीकरण मानदंड स्थापित:
    • LARC: ω(Aζ, ζ) ≠ 0
    • ad-rank शर्त: ω(Aζ, ζ)(α detA + ω(Aζ, θη)) ≠ 0
  3. स्थिति-दर-स्थिति विश्लेषण: detA और trA के विभिन्न संयोजनों के आधार पर व्यवस्थित विश्लेषण।

मुख्य परिणाम

स्थिति 1: detA = trA = 0

प्रमेय 4.1:

  1. यदि ω(Aζ, θη) ≠ 0, तो H, ΣH का अद्वितीय नियंत्रण समुच्चय है
  2. यदि ω(Aζ, θη) = 0, तो समतल kerD, ΣH का सतत एक-बिंदु नियंत्रण समुच्चय है

प्रमाण विचार: संयुग्मित प्रणाली और Lyapunov प्रकार के फलन F(x,y,z) = 3zσ + y(y² - 2xσ) का निर्माण करके कक्षा पृथक्करण गुण को सिद्ध करना।

स्थिति 2: detA ≠ 0 और trA = 0

प्रमेय 4.3:

  1. यदि ad-rank शर्त संतुष्ट है, तो C_{ℝ²} × ℝ, ΣH का अद्वितीय नियंत्रण समुच्चय है
  2. यदि ad-rank शर्त संतुष्ट नहीं है लेकिन A के शुद्ध काल्पनिक eigenvalues हैं, तो निष्कर्ष (1) समान है
  3. यदि ad-rank शर्त संतुष्ट नहीं है और A के वास्तविक eigenvalues हैं, तो kerD सतत एक-बिंदु नियंत्रण समुच्चय है

मुख्य तकनीक:

  • शुद्ध काल्पनिक eigenvalues स्थिति के लिए, आवर्ती कक्षाओं का निर्माण करने के लिए घूर्णन मैट्रिक्स गुणों का उपयोग
  • वास्तविक eigenvalues स्थिति के लिए, फलन G(x,y,z) = z + σy + σ²ln(y-σ) का निर्माण करके कक्षा एकदिष्टता को सिद्ध करना

स्थिति 3: detA = 0 और trA ≠ 0

प्रमेय 4.5: अद्वितीय नियंत्रण समुच्चय CH = π⁻¹(C^A_{ℝ²}) है, जहां π अंतिम दो घटकों पर विहित प्रक्षेपण है।

प्रमाण विधि: एफाइन प्रणालियों के साथ संयुग्मन संबंध के माध्यम से, एफाइन नियंत्रण प्रणाली सिद्धांत का उपयोग करके नियंत्रण समुच्चय पत्राचार स्थापित करना।

तकनीकी विवरण विश्लेषण

संयुग्मन तकनीक का अनुप्रयोग

पेपर automorphism समूह Aut(H) का कुशलतापूर्वक उपयोग करके जटिल प्रणाली को सरल बनाता है:

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

जहां η̂ को उपयुक्त रूप से P चुनकर समायोजित किया जा सकता है।

फाइबर नियंत्रणीयता विश्लेषण

प्रस्ताव 4.2 विभिन्न पैरामीटर शर्तों के तहत फाइबर {0} × ℝ की नियंत्रणीयता को प्रदर्शित करता है:

  • α ≠ 0: किसी भी दो बिंदुओं को जोड़ने वाली आवर्ती कक्षाएं मौजूद हैं
  • α = 0: (detA)⁻¹ω(Aζ,ζ) के चिन्ह के अनुसार सकारात्मक समय या नकारात्मक समय पहुंचनीयता निर्धारित करना

Lyapunov फलन निर्माण

नियंत्रण समुच्चय की अद्वितीयता को सिद्ध करते समय, पेपर परिष्कृत Lyapunov प्रकार के फलन का निर्माण करता है, जैसे:

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

ये फलन कक्षा के साथ एकदिष्टता कक्षा पृथक्करण सुनिश्चित करते हैं।

संबंधित कार्य

ऐतिहासिक विकास

  1. Markus (1962): पहली बार रैखिक नियंत्रण प्रणाली ढांचे को मैट्रिक्स समूहों तक विस्तारित किया
  2. Ayala & Tirao: किसी भी लाई समूह तक सामान्यीकृत, एकीकृत ज्यामितीय दृष्टिकोण स्थापित
  3. Jouan: नियंत्रण-एफाइन प्रणाली और लाई समूह रैखिक नियंत्रण प्रणाली की समतुल्यता को सिद्ध किया

वर्तमान अनुसंधान

  • नियमित स्थिति में नियंत्रण समुच्चय अस्तित्व पहले से ही सुनिश्चित है
  • निम्न-आयामी समूहों पर नियंत्रण समुच्चय गुणों का अनुसंधान
  • शून्यशक्ति लाई समूहों पर व्युत्पन्न eigenvalues और नियंत्रण समुच्चय का संबंध

इस पेपर का योगदान

यह पेपर विलक्षण स्थिति में सैद्धांतिक अंतराल को भरता है, संपूर्ण वर्गीकरण ढांचा प्रदान करता है।

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. संपूर्ण वर्गीकरण: मैट्रिक्स A के ट्रेस और सारणिक के आधार पर, Heisenberg समूह पर विलक्षण रैखिक नियंत्रण प्रणालियों के नियंत्रण समुच्चय संरचना को पूरी तरह से चिह्नित करता है।
  2. समृद्ध घटनाएं: वैश्विक नियंत्रणीयता से संपूर्ण अनियंत्रणीयता तक समृद्ध व्यवहार स्पेक्ट्रम की खोज करता है।
  3. ज्यामितीय अंतर्दृष्टि: समूह ज्यामितीय संरचना और नियंत्रण सिद्धांत गुणों के बीच गहरे संबंध का खुलासा करता है।

सीमाएं

  1. आयाम प्रतिबंध: परिणाम विशेष रूप से त्रि-आयामी Heisenberg समूह के लिए हैं, उच्च-आयामों तक सामान्यीकरण को आगे के अनुसंधान की आवश्यकता है
  2. विलक्षण धारणा: केवल विलक्षण व्युत्पन्न स्थिति पर विचार करता है
  3. एकल-इनपुट प्रणाली: मुख्य रूप से एकल-इनपुट स्थिति का विश्लेषण करता है

भविष्य की दिशाएं

  1. उच्च-आयामी शून्यशक्ति लाई समूहों तक सामान्यीकरण
  2. बहु-इनपुट प्रणालियों का विश्लेषण
  3. गैर-शून्यशक्ति लाई समूहों पर विलक्षण रैखिक नियंत्रण प्रणाली अनुसंधान

गहन मूल्यांकन

शक्तियां

  1. सैद्धांतिक पूर्णता: इस समस्या का संपूर्ण समाधान प्रदान करता है, वर्गीकरण विस्तृत है
  2. विधि नवाचार: लाई समूह सिद्धांत, नियंत्रण सिद्धांत और गतिशील प्रणाली विधियों को कुशलतापूर्वक जोड़ता है
  3. तकनीकी गहराई: प्रमाण तकनीकें परिष्कृत हैं, विशेष रूप से Lyapunov फलन निर्माण
  4. संरचना स्पष्टता: पेपर अच्छी तरह से संगठित है, तर्क स्पष्ट है

कमियां

  1. अनुप्रयोग सीमा: सैद्धांतिक परिणामों का व्यावहारिक अनुप्रयोग मूल्य को आगे के अन्वेषण की आवश्यकता है
  2. कम्प्यूटेशनल जटिलता: कुछ स्थितियों में विभेदन शर्तें गणना में जटिल हैं
  3. संख्यात्मक सत्यापन: सैद्धांतिक परिणामों को सत्यापित करने के लिए संख्यात्मक प्रयोगों की कमी है

प्रभाव

  1. सैद्धांतिक योगदान: लाई समूह पर नियंत्रण प्रणाली सिद्धांत में महत्वपूर्ण योगदान
  2. पद्धति मूल्य: प्रदान की गई विश्लेषण ढांचा अन्य लाई समूहों तक सामान्यीकृत की जा सकती है
  3. आधार अनुसंधान: आगामी अनुसंधान के लिए ठोस सैद्धांतिक आधार प्रदान करता है

लागू दृश्य

  1. रोबोटिक्स में गैर-होलोनोमिक बाधा प्रणालियां
  2. क्वांटम नियंत्रण प्रणालियां
  3. ज्यामितीय नियंत्रण सिद्धांत अनुसंधान
  4. उप-रीमैनियन ज्यामिति अनुप्रयोग

संदर्भ

पेपर इस क्षेत्र के महत्वपूर्ण साहित्य का हवाला देता है, जिसमें Colonius & Kliemann की शास्त्रीय पाठ्यपुस्तक《The Dynamics of Control》, साथ ही Ayala, Da Silva और अन्य लोगों द्वारा लाई समूह नियंत्रण प्रणालियों पर श्रृंखला कार्य शामिल है, जो अच्छी शैक्षणिक विरासत और विकास पथ को दर्शाता है।


समग्र मूल्यांकन: यह लाई समूह पर नियंत्रण प्रणाली के महत्वपूर्ण क्षेत्र में एक उच्च-गुणवत्ता वाला सैद्धांतिक अनुसंधान पेपर है जो वास्तविक योगदान करता है। पेपर में उच्च तकनीकी गहराई है, सैद्धांतिक पूर्णता मजबूत है, और यह क्षेत्र के आगे विकास के लिए महत्वपूर्ण आधार प्रदान करता है।