Safe Trajectory Tracking of the Stefan Problem with Second-Order Moving Boundary Dynamics

तकनीकी सारांश: द्वितीय-क्रम गतिमान सीमा गतिकी (Second-Order Moving Boundary Dynamics) के साथ स्टेफ़न समस्या का सुरक्षित प्रक्षेपवक्र ट्रैकिंग (Safe Trajectory Tracking)

समस्या विवरण
यह शोध पत्र एक-चरणीय (one-phase) स्टेफ़न समस्या के सुरक्षित प्रक्षेपवक्र ट्रैकिंग नियंत्रण को संबोधित करता है, जो पिघलने और जमने जैसी तापीय अवस्था परिवर्तन घटनाओं (thermal phase change phenomena) के लिए एक शास्त्रीय मॉडल है। विशिष्ट चुनौती उस प्रणाली के नियंत्रण की है जहाँ गतिमान सीमा (चरणों के बीच का इंटरफेस) द्वितीय-क्रम की गतिकी (second-order dynamics) द्वारा शासित होती है, जो तापीय जड़त्व (thermal inertia) का प्रतिनिधित्व करती है, न कि सामान्य प्रथम-क्रम की गतिकी द्वारा। इस प्रणाली को एक समय-परिवर्ती स्थानिक डोमेन पर परिभाषित पैराबोलिक आंशिक अवकल समीकरण (PDE) द्वारा मॉडल किया गया है, जो गतिमान सीमा की स्थिति के लिए एक द्वितीय-क्रम के साधारण अवकल समीकरण (ODE) के साथ जुड़ा हुआ है।

नियंत्रण का उद्देश्य एक सीमा ताप प्रवाह इनपुट, $q_c(t)$ को डिजाइन करना है, जो प्रणाली की गतिमान सीमा और तापमान प्रोफाइल को एक वांछित संदर्भ प्रक्षेपवपथ (reference trajectory) $s_r(t)$ और $T^r(x,t)$ का अनुसरण करने के लिए प्रेरित करे। महत्वपूर्ण रूप से, नियंत्रक को सुरक्षा (safety) सुनिश्चित करनी चाहिए, जिसका अर्थ है कि मॉडल के भौतिक प्रतिबंधों को हर समय संतुष्ट किया जाना चाहिए: तापमान पिघलने के बिंदु से ऊपर रहना चाहिए ($T(x,t) \ge T_m$) ताकि हीट इनलेट पर तरल चरण जमने से बचा जा सके, और सीमा की स्थिति भौतिक डोमेन के भीतर रहनी चाहिए ($0 < s(t) < L$)।

कार्यप्रणाली
प्रस्तावित नियंत्रण रणनीति एक फीडफॉरवर्ड घटक को फीडबैक नियंत्रक के साथ जोड़ती है जिसे ऊर्जा शेपिंग (energy shaping) और PDE बैकस्टेपिंग (backstepping) के माध्यम से डिजाइन किया गया है।

1. फीडफॉरवर्ड नियंत्रण (इनवर्स स्टेफ़न समस्या):
   संदर्भ प्रक्षेपवपथ उत्पन्न करने के लिए, लेखक दिए गए संदर्भ सीमा गति $s_r(t)$ के लिए इनवर्स स्टेफ़न समस्या को हल करते हैं। वे एक श्रृंखला विस्तार दृष्टिकोण (series expansion approach) का उपयोग करते हैं, जो संदर्भ तापमान प्रोफाइल को गतिमान सीमा के सापेक्ष स्थानिक निर्देशांक में एक घात श्रेणी (power series) के रूप में प्रस्तुत करता है। इस श्रेणी के गुणांकों को पुनरावर्ती रूप से निर्धारित किया जाता है। शोध पत्र यह सिद्ध करता है कि यदि संदर्भ प्रक्षेपवपथ गेवरे ऑर्डर (Gevrey order) का है, तो यह अनंत श्रृंखला अभिसरण (convergence) करती है, जो एक सुपरिभाषित संदर्भ तापमान प्रोफाइल और संगत फीडफॉरवर्ड ताप प्रवाह $q_c^r(t)$ के अस्तित्व को सुनिश्चित करती है।

2. फीडबैक नियंत्रण (ऊर्जा शेपिंग और सुरक्षा):
   एक प्रक्षेपवक्र ट्रैकिंग नियंत्रक को ऊर्जा शेपिंग दृष्टिकोण का उपयोग करके व्युत्पन्न किया गया है। प्रणाली की कुल ऊर्जा को तापीय ऊर्जा और गतिमान सीमा की गतिज/स्थितिज ऊर्जा दोनों को शामिल करने के लिए परिभाषित किया गया है। नियंत्रण नियम इस प्रकार है:
   $$q_c(t) = q_c^r(t) - c(E(t) - E_r(t))$$
   जहाँ $E(t)$ और $E_r(t)$ क्रमशः वास्तविक और संदर्भ ऊर्जाएं हैं, और $c$ एक धनात्मक गेन (gain) है।
   सुरक्षा सुनिश्चित करने के लिए (विशेष रूप से, यह सुनिश्चित करना कि ताप प्रवाह गैर-ऋणात्मक रहे और तापमान पिघलने के बिंदु से ऊपर रहे), लेखक मैक्सिमम प्रिंसिपल (Maximum Principle) का उपयोग करते हैं। वे प्रारंभिक ऊर्जा और संदर्भ प्रक्षेपवपथ पर विशिष्ट धारणाएं लागू करते हैं ताकि यह सुनिश्चित हो सके कि क्लोज्ड-लूप सिस्टम भौतिक बाधाओं को संतुष्ट करता है। यह दृष्टिकोण प्रभावी रूप से एक सुरक्षा फिल्टर के रूप में कार्य करता है, यह सुनिश्चित करता है कि भले ही संदर्भ प्रक्षेपवपथ शीतलन (negative heat flux) की मांग करे, वास्तविक नियंत्रण इनपुट गैर-ऋणात्मक बना रहे, जिससे अवस्था परिवर्तन की स्थिति का उल्लंघन होने से बचा जा सके।

3. स्थिरता विश्लेषण (Stability Analysis):
   ट्रैकिंग त्रुटि की वैश्विक चरघातांकीय स्थिरता (global exponential stability) को Lyapunov विश्लेषण के साथ PDE बैकस्टेपिंग रूपांतरण का उपयोग करके स्थापित किया गया है। ट्रैकिंग त्रुटि प्रणाली को एक लक्ष्य प्रणाली (target system) में परिवर्तित किया जाता है जिसमें वांछित स्थिरता गुण होते हैं। एक लायपुनोव फलन (Lyapunov function) का निर्माण करके, जो त्रुटि अवस्थाओं और गतिमान सीमा की गतिकी की ऊर्जा को ध्यान में रखता है, लेखक सिद्ध करते हैं कि ट्रैकींग त्रुटि चरघातांकीय रूप से शून्य की ओर अभिसरित होती है। विश्लेषण समय-परिवर्ती डोमेन और PDE एवं द्वितीय-क्रम के ODE के बीच युग्मन (coupling) को सावधानीपूर्वक संभालता है।

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

• द्वितीय-क्रम की गतिकी: यह शोध पत्र स्टेफ़न समस्या के नियंत्रण को द्वितीय-क्रम की गतिमान सीमा गतिकी को शामिल करने के लिए विस्तारित करता है, जो अवस्था परिवर्तन प्रक्रियाओं में तापीय जड़त्व को बेहतर ढंग से दर्शाता है।
• कठोर सुरक्षा प्रमाण: पिछले कार्यों के विपरीत, जो अक्सर सुरक्षा या स्थिर संदर्भों को मान लेते थे, यह शोध पत्र यह कठोर प्रमाण प्रदान करता है कि प्रस्तावित नियंत्रण नियम एक गतिशील संदर्भ प्रक्षेपवपथ के लिए भौतिक बाधाओं (गैर-जमना और डोमेन सीमाएं) की संतुष्टि सुनिश्चित करता है।
• श्रृंखला समाधान का अभिसरण: लेखक फीडफॉरवर्ड नियंत्रण उत्पन्न करने के लिए आवश्यक कदम के रूप में, द्वितीय-क्रम सीमा गतिकी के तहत इनवर्स स्टेफ़न समस्या के लिए श्रृंखला विस्तार समाधान के अभिसरण को सिद्ध करते हैं।
• वैश्विक चरघातांकीय स्थिरता: यह शोध पत्र बिना किसी रैखिकीकरण (linearization) या त्रुटि गतिकी के बारे में सरलीकृत धारणाओं के, ऊर्जा शेपिंग, बैकस्टेपिंग और लायपुनोव विश्लेषण के एक नवीन संयोजन का उपयोग करके क्लोज्ड-लूप ट्रैकिंग त्रुटि के लिए वैश्विक चरघातांकीय स्थिरता स्थापित करता है।

परिणाम
संख्यात्मक सिमुलेशन जिंक (Zinc) के पिघलने के मापदंडों का उपयोग करके किए गए। संदर्भ प्रक्षेपवपथ को समय के साथ घटने वाले एक गैर-तुच्छ साइनसोइडल (sinusoidal) फलन के रूप में डिजाइन किया गया था, जो यह सुनिश्चित करता है कि सीमा एकदिष्ट (monotonically) रूप से लेकिन परिवर्तनशील गति के साथ चले।

• ट्रैकिंग प्रदर्शन: क्लोज्ड-लूप प्रणाली ने सफलतापूर्वक संदर्भ सीमा स्थिति और तापमान प्रोफाइल को ट्रैक किया, जिसमें ट्रैकिंग त्रुटि सिमुलेशन समय (लगभग 60 मिनट) के भीतर शून्य की ओर अभिसरित हुई।
• सुरक्षा सत्यापन: सिमुलेशन ने पुष्टि की कि जबकि संदर्भ ताप प्रवाह कभी-कभी ऋणात्मक हो गया (जो सैद्धांतिक रूप से शीतलन की आवश्यकता को दर्शाता है), वास्तविक नियंत्रण इनपुट गैर-ऋणात्मक रहा, जिससे सुरक्षा प्रतिबंध संतुष्ट हुआ। तापमान प्रोफाइल पूरे सिमुलेशन के दौरान पिघलने के बिंदु से ऊपर बना रहा।
• क्षणिक व्यवहार (Transient Behavior): परिणामों ने दिखाया कि नियंत्रक ने संदर्भ की तुलना में प्रणाली की कम प्रारंभिक ऊर्जा की भरपाई के लिए शुरू में एक बड़ा ताप प्रवाह लगाया, जिससे सटीक ट्रैकिंग में स्थिर होने से पहले एक संक्षिप्त ओवरशूट हुआ।

महत्व
लेखक इस कार्य को प्रक्षेपवक्र ट्रैकिंग नियंत्रण के लिए स्टेफ़न समस्या के लिए सुरक्षा और ट्रैकिंग स्थिरता दोनों का कठोर प्रमाण प्रदान करने वाले प्रथम कार्य के रूप में दावा करते हैं। ज्यामितीय गैर-रैखिकता (geometric nonlinearity) और PDE एवं द्वितीय-क्रम के ODE के बीच युग्मन को संबोधित करके, यह शोध पत्र एक व्यवस्थित नियंत्रण डिजाइन प्रदान करता है जो अवस्था परिवर्तन अनुप्रयोगों में भौतिक वैधता (सुरक्षा) सुनिश्चित करते हुए सटीक ट्रैकिंग प्राप्त करता है। यह पद्धति PDE के लिए सैद्धांतिक नियंत्रण डिजाइन और अवस्था परिवर्तन अनुप्रयोगों में कठिन भौतिक बाधाओं को संतुष्ट करने की व्यावहारिक आवश्यकता के बीच के अंतर को पाटती है। प्रस्तावित विधि के अनुसंधान और सत्यापन को सुगम बनाने के लिए कोड उपलब्ध कराया गया है।