On the Lyapunov equation with the state matrix in companion form

तकनीकी सारांश: साथी रूप (Companion Form) में स्टेट मैट्रिक्स के साथ लियापुनोव समीकरण पर

समस्या विवरण
यह शोध पत्र निरंतर-समय लियापुनोव समीकरण $XA + A^\top X = -Q$ के अद्वितीय समाधान $X$ की प्रविष्टिवार गैरऋणात्मकता (entrywise nonnegativity) की जांच करता है, जहाँ $A \in \mathbb{R}^{n \times n}$ एक बहुपद $a(s)$ से जुड़ा एक हुरwitz (Hurwitz) साथी मैट्रिक्स है, और $Q = Q^\top \succeq 0$ एक धनात्मक अर्ध-निश्चित (positive semidefinite) आव्यूह है।

जबकि मानक लियापुनोव सिद्धांत यह गारंटी देता है कि $X$ सममित (symmetric) और धनात्मक अर्ध-निश्चित (लोवनर क्रम में) है, यह गुण यह सुनिश्चित नहीं करता है कि $X$ प्रविष्टिवार गैरऋणात्मक ($X_{ij} \geq 0$ सभी $i,j$ के लिए) है। यह शोध पत्र प्रोफेसर लुइगी फोर्टुना द्वारा प्रस्तावित कन्जक्चर 1.1 (Conjecture 1.1) को संबोधित करता है, जो यह प्रतिपादित करता है कि यदि $A$ एक हुरwitz साथी मैट्रिक्स है और $Q \succeq 0$ है, तो समाधान $X$ प्रविष्टिवार गैरऋणात्मक होगा। यह गुण धनात्मक अर्ध-निश्चितता से भिन्न है और सकारात्मक प्रणालियों (positive systems) के सिद्धांत में विशेष महत्व रखता है, जहाँ घटकवार गैरऋणात्मकता द्रव्यमान, सांद्रता या जनसंख्या जैसे भौतिक परिमाणों के संरक्षण को सुनिश्चित करती है।

कार्यप्रणाली
प्रमाण की रणनीति मूलतः प्रारंभिक सममित बहुपदों (elementary symmetric polynomials) और कॉची-सदृश (Cauchy-like) आव्यूहों से जुड़ी एक विशिष्ट बीजगणितीय संरचना में समस्या को कम करने पर आधारित है। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

1. समस्या का सरलीकरण:

   • रैंक-1 न्यूनीकरण (Rank-1 Reduction): लियापुनोव समीकरण की रैखिकता और किसी भी धनात्मक अर्ध-निश्चित $Q$ को रैंक-1 आव्यूहों के योग ($Q = \sum q_i q_i^\top$) में विघटित करने के आधार पर, लेखक बिना किसी हानि के यह मान लेते हैं कि $Q = qq^\top$ है।
   • विकर्णीयता (Diagonalizability): लेखक तर्क देते हैं कि समाधान $X$, $A$ का एक सतत फलन है। अतः, विकर्णीय साथी आव्यूहों (जहाँ आइगेन मान (eigenvalues) भिन्न होते हैं) के लिए परिणाम सिद्ध करना पर्याप्त है। गैर-विकर्णीय मामलों को अत्यंत निकट गुणांकों वाले विकर्णीय मामलों द्वारा अनुमानित किया जा सकता है।

2. स्पेक्ट्रल अपघटन (Spectral Decomposition):

   • यह मानते हुए कि $A$ वास्तविक आइगेन मानों $-\lambda_i$ (क्रमबद्ध $0 < \lambda_1 < \dots < \lambda_n$) के साथ विकर्णीय है, लेखक $A^\top$ के आइगेनवेक्टर्स (eigenvectors) का उपयोग करते हैं। इन आइगेनवेक्टर्स $v_j$ का निर्माण आइगेन मानों के प्रारंभिक सममित बहुपदों $\sigma_m^{(j)}$ का उपयोग करके किया जाता है।
   • फोर्सिंग वेक्टर (forcing vector) $q$ को इस आइगेनबेसिस में विस्तारित किया जाता है: $q = \sum a_i v_i$।

3. एकीकृत प्रतिनिधित्व और द्विघाती रूप (Integral Representation and Quadratic Forms):

   • लियापुनोव समाधान के एकीकृत सूत्र, $X = \int_0^\infty e^{A^\top t} Q e^{At} dt$ का उपयोग करते हुए, लेखक $X_{kl}$ के अवयवों के लिए एक स्पष्ट अभिव्यक्ति व्युत्पन्न करते हैं।
   • यह दिखाया गया है कि प्रविष्टि $X_{kl}$ एक द्विघाती रूप $a^\top M a$ है, जहाँ आव्यूह $M$ के अवयव निम्नानुसार परिभाषित हैं:
     $$M_{ij} = \frac{\sigma_{n-k}^{(i)}\sigma_{n-l}^{(j)} + \sigma_{n-k}^{(j)}\sigma_{n-l}^{(i)}}{\lambda_i + \lambda_j}$$
   • यह आव्यूह $M$, $M = \Delta C \Delta$ के रूप में गुणनखंडित है, जहाँ $\Delta$ एक विकर्ण आव्यूह है और $C$ एक कॉची-सदृश आव्यूह है जिसके अवयव $C_{ij} = \frac{r_i + r_j}{\lambda_i + \lambda_j}$ हैं।

4. धनात्मकता सत्यापन (Positivity Verification):

   • $X_{kl}$ की गैरऋणात्मकता तब सिद्ध होती है जब आव्यूह $M$ धनात्मक अर्ध-निश्चित हो। चूंकि $\Delta$ गैर-विलक्षण (nonsingular) है, इसलिए यह सिद्ध करने के बराबर है कि $C \succeq 0$ है।
   • लेखक स्थापित परिणामों [8] का संदर्भ देते हैं जो पुष्टि करते हैं कि इस प्रकार के कॉची-सदृश आव्यूह धनात्मक अर्ध-निश्चित होते हैं।

मुख्य योगदान और परिणाम

• प्रमेय 1 (मुख्य परिणाम): यह शोध पत्र इस विशिष्ट शर्त के तहत कन्जक्चर 1.1 को सिद्ध करता है कि साथी मैट्रिक्स $A$ के केवल वास्तविक आइगेन मान हैं। इस धारणा के तहत, अद्वितीय समाधान $X$ प्रविष्टिवार गैरऋणात्मक है।
• कुल धनात्मकता विश्लेषण (Total Positivity Analysis): लेखक एक अधिक सुदृढ़ गुण की जांच करते हैं: कुल गैरऋणात्मकता (सभी माइनर/minors गैरऋणात्मक हैं)।
  • वे एक प्रति-उदाहरण (counterexample) प्रदान करते हैं जो दर्शाता है कि $X$ सामान्यतः पूर्णतः गैर-ऋणात्मक (totally nonnegative) नहीं है, भले ही आइगेन मान वास्तविक हों।
  • प्रमेय 2: वे पूर्ण धनात्मकता के लिए एक पर्याप्त शर्त स्थापित करते हैं: यदि फोर्सिंग वेक्टर $q$ का $A^\top$ के आइगेनबेसिस में एक गैरऋणात्मक विस्तार है (विशेष रूप से, $q = \sum \alpha_j v_j$ जहाँ $\alpha_j \geq 0$), तो $X$ पूर्णतः धनात्मक (totally positive) है। इसे वैंडरमंड (Vandermonde) और कॉची आव्यूहों से जुड़े पूर्णतः धनात्मक आव्यूहों के गुणनफल में $X$ को गुणनखंडित करके सिद्ध किया गया है।

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

• प्रेरणा: $X$ की प्रविष्टिवार गैरऋणात्मकता को सकारात्मक प्रणालियों के लिए इष्टतम नियंत्रण (optimal control) में अनुप्रयोगों द्वारा प्रेरित किया गया है। विशेष रूप से, गैरऋणात्मक इनपुट आव्यूहों वाले एकल-इनपुट सिस्टम के लिए, संबद्ध बीजगणितीय रिकाटी समीकरण (जिसे लियापुनोव समीकरण के रूप में पुनर्गठित किया गया है) के लिए एक प्रविष्टिवार गैरऋणात्मक समाधान यह सुनिश्चित करता है कि इष्टतम नियामक (regulator) को केवल धनात्मक वोल्टेज आपूर्ति वाले हार्डवेयर का उपयोग करके लागू किया जा सकता है।
• क्षेत्र और सीमाएं: लेखक अपने प्रमाण की व्यापकता के संबंध में विनम्र हैं। वे स्पष्ट रूप से उल्लेख करते हैं कि वास्तविक आइगेन मानों की धारणा एक प्रतिबंध है। शोध पत्र यह प्रश्न खुला छोड़ देता है कि क्या यह कन्जक्चर जटिल आइगेन मानों वाले हुरwitz साथी आव्यूहों के लिए भी लागू होता है।
• सैद्धांतिक मूल्य: यह कार्य लियापुनोव सिद्धांत को कॉची-सदृश आव्यूहों और प्रारंभिक सममित बहुपदों के सिद्धांत से जोड़ता है, यह प्रदर्शित करते हुए कि $X$ की प्रविष्टिवार गैरऋणात्मकता $M$ के एक विशिष्ट वर्ग (जो क्वाओंग या एंटी-लोवनर आव्यूहों के द्वैत है) की धनात्मक अर्ध-निश्चितता से उत्पन्न होती है।

संक्षेप में, यह शोध पत्र कठोरता से सिद्ध करता है कि वास्तविक स्पेक्ट्रा वाले हुरwitz साथी आव्यूहों के लिए लियापुनोव समाधान प्रविष्टिवार गैरऋणात्मक होते हैं, जबकि यह भी स्पष्ट करता है कि पूर्ण धनात्मकता के लिए फोर्सिंग वेक्टर पर अतिरिक्त बाधाओं की आवश्यकता होती है।