⚡ electrical engineering

Hill-Type Stability Analysis of Periodic Solutions of Fractional-Order Differential Equations

यह शोधपत्र एक लीविले-वेइल (Liouville-Weyl) ढांचे का प्रस्ताव करता है ताकि भिन्नात्मक-क्रम के अवकल समीकरणों (fractional-order differential equations) में आवधिक समाधानों के अस्तित्व को सक्षम किया जा सके और यह प्रदर्शित करता है कि यद्यपि हिल मैट्रिसेस (Hill matrices) का उपयोग करने वाला एक विस्तारित फ्लोकेट सिद्धांत (Floquet theory) तेजी से बढ़ते विक्षोभों का आकलन कर सकता है, लेकिन यह मौलिक रूप से बीजगणितीय रूप से क्षय होने वाले समाधानों को पकड़ने में विफल रहता है, एक ऐसी सीमा जो समय-अपरिवर्तनीय प्रणालियों में भी बनी रहती है।

मूल लेखक: Paul-Erik Haacker, Remco I. Leine, Renu Chaudhary, Kai Diethelm, André Schmidt, Safoura Hashemishahraki

प्रकाशित 2026-05-28

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Paul-Erik Haacker, Remco I. Leine, Renu Chaudhary, Kai Diethelm, André Schmidt, Safoura Hashemishahraki

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप मौसम की भविष्यवाणी करने की कोशिश कर रहे हैं। भौतिकी के "पुराने दिनों" में (क्लासिकल इंटीजर-ऑर्डर मैथ), यदि आपके पास एक ऐसा सिस्टम होता जो हर दिन खुद को दोहराता (जैसे मौसम का चक्र), तो आप यह पता लगाने के लिए नियमों का एक विशिष्ट सेट उपयोग कर सकते थे कि क्या एक छोटा सा बदलाव—जैसे किसी तितली के पंख फड़फड़ाना—अंततः पूरे सिस्टम को तहस-नहस कर देगा या बिना किसी नुकसान के धीरे-धीरे समाप्त हो जाएगा। इन नियमों को फ्लोकेट थ्योरी (Floquet theory) कहा जाता है, और ये खतरनाक, बढ़ते हुए तूफानों को पहचानने के लिए हिल मैट्रिक्स (Hill matrix) नामक एक गणितीय उपकरण पर निर्भर करते हैं।

हालाँकि, कई वास्तविक दुनिया के सिस्टम (जैसे रबर का खिंचना, रक्त का प्रवाह, या वे सामग्रियां जिनकी "याददाश्त" होती है) इन पुराने नियमों का पालन नहीं करते हैं। उन्हें फ्रैक्शनल-ऑर्डर डिफरेंशियल इक्वेशंस (FODEs) द्वारा बेहतर ढंग से वर्णित किया जाता है। ये समीकरण अतीत को याद रखते हैं, जो इन्हें बहुत सटीक लेकिन बहुत जटिल बनाता है।

यहाँ मुख्य समस्या है जिसे यह शोध पत्र संबोधित करता है: पुराने नियम इन "याददाश्त" वाले सिस्टम के लिए काम नहीं करते हैं। विशेष रूप से, मानक गणितीय उपकरण कहते हैं कि ये सिस्टम एक विशिष्ट समय (जैसे $t=0$ ) से शुरू होने पर पूर्ण, दोहराव वाले चक्र (periodic solutions) नहीं रख सकते। यह बिल्कुल वैसा ही है जैसे कागज के बीच में एक छेद होने पर उस पर एक पूर्ण वृत्त बनाने की कोशिश करना; यहाँ गणित टूट जाता है।

लेखकों का समाधान: नियमों को फिर से लिखना

इसे ठीक करने के लिए, लेखक एक नया ढांचा प्रस्तावित करते हैं। शून्य से घड़ी शुरू करने के बजाय, वे कल्पना करते हैं कि सिस्टम अनंत काल से चल रहा है (दूर अतीत से $t = -\infty$ तक) और अब तक चल रहा है। वे इसे लियोविल-वेइल (Liouville-Weyl) दृष्टिकोण कहते हैं।

इसे इस तरह समझें:

पुराना तरीका (Caputo): आप दौड़ की शुरुआत शुरुआती रेखा से करते हैं। धावक को इस बात की कोई याद नहीं रहती कि बंदूक चलने से पहले वह कहाँ था।
नया तरीका (Liouville-Weyl): धावक हमेशा से दौड़ रहा है। उसके पास अपने पूरे इतिहास की "याददाश्त" है। यह उसे पूर्ण, दोहराव वाले लूप (periodic solutions) बनाने की अनुमति देता है जिसे पुराना तरीका नहीं संभाल सका।

बड़ी खोज: "एकतरफा दर्पण"

एक बार जब उन्होंने यह नया ढांचा स्थापित कर लिया, तो उन्होंने यह देखने के लिए कि क्या ये दोहराव वाले लूप स्थिर हैं या वे विस्फोट कर देंगे, पुराने "तूफान का पता लगाने वाले" नियमों (फ्ोकेट थ्योरी) को लागू करने का प्रयास किया।

उन्होंने एक आश्चर्यजनक सीमा पाई, जो इस शोध पत्र का मुख्य बिंदु है:

"विस्फोट" डिटेक्टर काम करता है: यदि एक सिस्टम अस्थिर है और व्यवधान तेजी से बढ़ने वाला है (जैसे एक बर्फ का गोला जो पहाड़ी से नीचे लुढ़कते हुए बड़ा होता जा रहा है), तो नया हिल मैट्रिक्स तरीका इसे ढूँढ सकता है। यह सफलतापूर्वक "खतरनाक" बढ़ते हुए समाधानों की पहचान करता है।
"लुप्त होने वाला" डिटेक्टर विफल हो जाता है: यदि एक सिस्टम स्थिर है और व्यवधान को धीरे-धीरे खत्म होना है (जैसे तालाब में उठने वाली लहर जो अंततः शांत हो जाती है), तो नया तरीका इसे नहीं ढूँढ पाता।

क्यों?
पुराने "बिना याददाश्त वाले" संसार में, चीजें आमतौर पर तेजी से (exponentially) खत्म हो जाती हैं (जैसे एक गेंद का रुकने के लिए लुढ़कना)। इस नए "याददाश्त वाले" संसार में, चीजें बहुत धीमी गति से खत्म होती हैं, जैसे गाढ़ा शहद में डूबती हुई कोई भारी वस्तु (algebraic decay)। लेखकों द्वारा बनाया गया गणितीय उपकरण (हिल मैट्रिक्स) तेजी से बढ़ने वाले (exponential growth) समाधानों को खोजने के लिए ट्यून किया गया है। यह "धीमी, शहद जैसी लुप्त होने वाली" प्रक्रिया को देखने के लिए मूल रूप से "अंधा" है।

"अनंत पहाड़ी" की उपमा

लेखक एक हिल मैट्रिक्स का उपयोग करते हैं, जो संख्याओं की एक अनंत सीढ़ी की तरह है।

पुरानी दुनिया में, इस सीढ़ी पर चढ़ना आपको ठीक-ठीक बताता है कि एक गेंद कितनी तेजी से नीचे लुढ़केगी (decay) या ऊपर जाएगी (growth)।
इस नई फ्रैक्शनल दुनिया में, यह सीढ़ी तब भी पूरी तरह काम करती है जब गेंद ऊपर की ओर जा रही हो (अस्थिरता/बढ़ना)।
लेकिन यदि गेंद नीचे की ओर जा रही है (लुप्त होना/स्थिर होना), तो सीढ़ी में एक अंतराल आ जाता है। गेंद उन दरारों से नीचे गिर जाती है क्योंकि "याददाश्त" का गणित सीढ़ी के आकार में फिट नहीं बैठता।

निष्कर्ष का सारांश

उन्होंने क्या किया: उन्होंने एक नया गणितीय मैदान बनाया जहाँ फ्रैक्शनल सिस्टम पूर्ण दोहराव वाले चक्र रख सकते हैं।
उन्होंने क्या परीक्षण किया: उन्होंने इन नए सिस्टम पर एक मानक स्थिरता परीक्षण (हिल विधि) लागू करने की कोशिश की।
उन्होंने क्या पाया: यह परीक्षण चीजों के बिगड़ने (अस्थिरता) के लिए एक बेहतरीन "अलार्म सिस्टम" है। हालाँकि, यह चीजों के बेहतर होने (स्थिरता) के लिए "शांत होने वाला सिस्टम" नहीं है। यह उस धीमी, 'एल्जेब्रिक डिके' (algebraic decay) को नहीं देख सकता जो याददाश्त वाले सिस्टम की विशेषता है।
निष्कर्ष: आप इस विधि का उपयोग यह साबित करने के लिए कर सकते हैं कि एक सिस्टम अस्थिर है, लेकिन आप केवल इसलिए यह सिद्ध नहीं कर सकते कि सिस्टम स्थिर है क्योंकि इसने कोई बढ़ता हुआ समाधान नहीं पाया। "लुप्त होने वाले" समाधान इस विशिष्ट उपकरण के लिए अदृश्य हैं।

यह शोध पत्र मूल रूप से कहता है: "हमने इन याददाश्त-आधारित सिस्टमों के लिए एक बेहतर मानचित्र बनाया है, और हमने पाया है कि हमारे पास एक ऐसा उपकरण है जो आपदाओं को पहचानने में बहुत अच्छा है, लेकिन यह सुरक्षा को पहचानने के लिए बेकार है। हमें सुरक्षा खोजने के लिए नए उपकरणों की आवश्यकता है।"

तकनीकी सारांश: आवधिक समाधानों के फ्रैक्शनल-ऑर्डर डिफरेंशियल इक्वेशन्स का हिल-टाइप स्थिरता विश्लेषण

समस्या विवरण
यह शोध पत्र नॉनलीनर फ्रैक्शनल-ऑर्डर डिफरेंशियल इक्वेशन्स (FODEs) में आवधिक समाधानों (periodic solutions) के स्थिरता विश्लेषण को संबोधित करता है। क्लासिकल कैपुटो-टाइप (Caputo-type) FODEs की एक मौलिक सीमा यह है कि वे सटीक रूप से आवधिक समाधानों को स्वीकार नहीं करते हैं; कैपुटो डेरिवेटिव के तहत आवधिक फलन केवल एसिम्प्टोटिक रूप से आवधिक (asymptotically periodic) होते हैं। फलस्वरूप, मानक स्थिरता विश्लेषण उपकरण, जैसे कि फ्लोक्वेट थ्योरी (Floquet theory) और हिल मैट्रिक्स विधि, कैपुटो प्रणालियों में आवधिक समाधानों के लीनियरकृत परटर्बेशन डायनेमिक्स पर सीधे लागू नहीं किए जा सकते हैं। जबकि लिउविल-वेइल-टाइप (Liouville-Weyl-type) FODEs (जो $-\infty$ के साथ एक अनंत निचली सीमा द्वारा परिभाषित होते हैं) सटीक रूप से आवधिक समाधानों को स्वीकार करते हैं, इन प्रणालियों के लिए एक कठोर फ्लोक्वेट थ्योरी अभी तक स्थापित नहीं की गई है। फ्लोक्वेट थ्योरी को फ्रैक्शनल-ऑर्डर प्रणालियों तक विस्तारित करने के पिछले प्रयास अनुमानों (जैसे कि मिटेल-लेफ्टेल (Mittag-Leffler) फलनों के लिए मल्टीप्लिकेटिव आइडेंटिटीज को मान लेना) पर निर्भर रहे हैं या वे स्थिरता सीमाओं और बाइफर्केशन (bifurcation) प्रकारों को व्यापक रूप से चरित्रित करने में विफल रहे हैं।

कार्यप्रणाली (Methodology)
लेखक आवधिक समाधानों का अध्ययन करने के लिए लिउविल-वेइल-टाइप FODEs पर आधारित एक ढांचा प्रस्तावित करते हैं। मुख्य कार्यप्रणाली में शामिल है:

सिस्टम फॉर्मूलेशन: एक अनंत निचली सीमा ( $-\infty$ ) वाले नॉनलीनर लिउविल-वेइल डिफरेंशियल इक्वेशन्स के एक वर्ग को परिभाषित करना। प्रारंभिक मान समस्या (initial value problem) को $(-\infty, t_0]$ पर एक इनिशियलाइजेशन फंक्शन $x_0(t)$ के साथ तैयार किया गया है, जो एक विशिष्ट फंक्शन स्पेस $X(-\infty, t_0]$ में आता है, जो सिस्टम के इतिहास से प्राप्त होने वाले फोर्सिंग टर्म (forcing term) की उपस्थिति सुनिश्चित करता है।
लीनियराइजेशन (Linearization): एक आवधिक समाधान $x_p(t)$ की स्थिरता का विश्लेषण इसे लीनियराइज करके किया जाता है, जिससे एक लीनियर टाइम-पीरियडिक फ्रैक्शनल-ऑर्डर डिफरेंशियल इक्वेशन (LTP-FODE) प्राप्त होता है जिसमें एक आवधिक जैकोबियन मैट्रिक्स $J(t)$ होता है।
लिउविल-वेइल डेरिवेटिव गुण: इस गुण का उपयोग करते हुए कि एक एक्सपोनेंशियल फंक्शन $e^{st}$ का लिउविल-वेइल डेरिवेटिव $s^\alpha e^{st}$ है (जहाँ $\text{Re}(s) \ge 0$ ), लेखक फ्रैक्शनल-ऑर्डर प्रणालियों के लिए फ्लोक्वेट एंसेट्स (Floquet ansatz) $y(t) = e^{\lambda t} p(t)$ को विस्तारित करने का प्रयास करते हैं।
फ्रैक्शनल हिल मैट्रिक्स: LTP-FODE में फ्लोक्वेट एंसेट्स को प्रतिस्थापित करने और आवधिक गुणांकों के लिए फूरियर सीरीज़ विस्तार का उपयोग करने के बाद, लेखक एक अनंत-आयामी नॉनलीनियर आइजनवेल्यू समस्या (eigenvalue problem) व्युत्पन्न करते हैं। इससे "फ्रैक्शनल हिल मैट्रिक्स", $H^{(\alpha)}_\infty(\lambda)$ को परिभाषित करने की दिशा मिलती है, जहाँ डायगोनल ब्लॉक्स में $(\lambda + ik\omega)^\alpha I - J_k$ जैसे पदों वाले टर्म शामिल होते हैं।
लीनियर टाइम-इनवेरिएंट (LTI) सबसिस्टम का विश्लेषण: आवधिक मामले को हल करने से पहले, लेखक अनंत मेमोरी वाले LTI-FODEs का विश्लेषण करते हैं। वे कैपुटो सिस्टम (शून्य निचली सीमा) के साथ लिउविल-वेइल सिस्टम के समाधानों की तुलना करते हैं ताकि क्षयकारी (decaying) समाधानों के व्यवहार को समझा जा सके।

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

आवधिक समाधानों के लिए ढांचा: यह शोध पत्र लिउविल-वेइल FODEs के लिए एक कठोर प्रारंभिक मान समस्या फॉर्मूलेशन स्थापित करता है जो सटीक रूप से आवधिक समाधानों को स्वीकार करता है, जिससे कैपुटो डेरिवेटिव की सीमा दूर हो जाती है।
फ्लोक्वेट थ्योरी का विस्तार: लेखक LTP-FODEs के लिए एक फ्रैक्शनल हिल मैट्रिक्स दृष्टिकोण व्युत्पन्न करते हैं। वे सिद्ध करते हैं कि यदि $y(t) = e^{\lambda t} p(t)$ के रूप में कोई समाधान मौजूद है जहाँ $\text{Re}(\lambda) \ge 0$ , तो उसे अनिवार्य रूप से नॉनलीनियर आइजनवेल्यू समस्या $H^{(\alpha)}_\infty(\lambda)p_\infty = 0$ को संतुष्ट करना होगा।
क्षयकारी समाधानों पर सीमा: एक केंद्रीय निष्कर्ष यह है कि प्रस्तावित फ्रैक्शनल हिल विधि (और सामान्य रूप से एक्सपोनेंशियल एंसेट्स) केवल एक्सपोनेंशियल रूप से बढ़ने वाले (exponentially growing) समाधानों (अस्थिरता) का आकलन कर सकती है। यह अलजेब्रिक रूप से क्षय होने वाले (algebraically decaying) समाधानों को पकड़ने में विफल रहती है।
- LTI मामले में, लेखक दिखाते हैं कि जबकि डाइवर्जिंग समाधान धनात्मक वास्तविक भाग वाले आइजनवेल्यू से संबंधित होते हैं, कन्वर्जिंग समाधान (जो अलजेब्रिक रूप से क्षय होते हैं, $O(t^{-\alpha})$ ) एक्सपोनेंशियल एंसेट्स से प्राप्त विशेषता समीकरण (characteristic equation) में ऋणात्मक वास्तविक भाग वाले आइजनवेल्यू के अनुरूप नहीं होते हैं।
- इस सीमा का कारण यह है कि स्थिर मापदंडों वाले लिउविल-वेइल FODEs के समाधान आमतौर पर एक्सपोनेंशियल डिके के बजाय अलजेब्रिक डिके प्रदर्शित करते हैं। एक्सपोनेंशियल एंसेट्स इन क्षयकारी मोड के लिए अमान्य है क्योंकि वे उस आवश्यक फंक्शन स्पेस से संबंधित नहीं हैं जहाँ लिउविल-वेइल डेरिवेटिव को मानक तरीके से परिभाषित किया जा सके।
संख्यात्मक सत्यापन (Numerical Validation): लेखक स्केलर और 2D सिस्टम (एक फ्रैक्शनल मैथ्यू-टाइप सिस्टम सहित) पर अपने तरीके का संख्यात्मक प्रदर्शन करते हैं। वे दिखाते हैं कि ट्रंकेटेड (truncated) फ्रैक्शनल हिल मैट्रिक्स अस्थिर प्रक्षेप पथों (unstable trajectories) से संबंधित धनात्मक वास्तविक भाग वाले आइजनवेल्यू की सफलतापूर्वक पहचान करता है, जो अस्थिरता का पता लगाने के लिए इसकी उपयोगिता की पुष्टि करता है।
फ्रैक्शनल हिल मैट्रिक्स के गुण: शोध पत्र सिद्ध करता है कि ट्रंकेटेड फ्रैक्शनल हिल मैट्रिक्स के आइजनवेल्यू कॉम्प्लेक्स कंजुगेट पेयर्स (complex conjugate pairs) में आते हैं और कॉम्प्लेक्स प्लेन में विशिष्ट गेर्शगोरन-जैसे (Gershgorin-like) क्षेत्रों के भीतर स्थित होते हैं।

महत्व और दावे
शोध पत्र का दावा है कि इस कार्य का प्राथमिक गुण यह अंतर्दृष्टि है कि LTP-FODEs के लिए एक्सपोनेंशियल रूप से क्षय होने वाले फ्लोक्वेट समाधान मौजूद नहीं होते हैं, जबकि एक्सपोनेंशियल रूप से बढ़ने वाले समाधानों को हिल-टाइप दृष्टिकोण के माध्यम से देखा और आंका जा सकता है।

लेखक कहते हैं कि उनका कार्य उन LTP फ्रैक्शनल डिफरेंशियल इक्वेशन्स के समाधानों तक पहुँचने का एक नया मार्ग प्रदान करता है जहाँ क्लासिकल फ्लोक्वेट थ्योरी विफल हो जाती है। वे इस बात पर जोर देते हैं कि हालांकि यह विधि अस्थिरता (diverging solutions) का पता लगाने के लिए सीमित है, फिर भी यह ट्रांजिशन कर्व विश्लेषण (transition curve analysis) के लिए एक कठोर विकल्प प्रदान करती है, जो केवल स्थिरता सीमाओं की पहचान करता है लेकिन बाइफर्केशन के प्रकार या अस्थिर मोड की प्रकृति को स्पष्ट नहीं करता है।

लेखक विनम्रतापूर्वक निष्कर्ष निकालते हैं कि फ्रैक्शनल हिल समस्या में गैर-ऋणात्मक वास्तविक भाग वाले आइजनवेल्यू की अनुपस्थिति स्थिरता का एक मजबूत संकेतक है, लेकिन इसे निर्णायक मानने के लिए और अधिक जांच की आवश्यकता है। इसके अतिरिक्त, लेखक LTP-FODEs के लिए एक मोनोड्रोपी ऑपरेटर (monodromy operator) के निर्माण को एक खुले चुनौती के रूप में पहचानते हैं, यह सुझाव देते हुए कि ऐसे ऑपरेटर के स्पेक्ट्रम की आवश्यकता होगी ताकि स्थिरता को पूरी तरह से चरित्रित किया जा सके, जिसमें वे अलजेब्रिक रूप से क्षय होने वाले मोड भी शामिल हैं जिन्हें वर्तमान हिल विधि मिस कर देती है।

लेखकों का समाधान: नियमों को फिर से लिखना

बड़ी खोज: "एकतरफा दर्पण"

"अनंत पहाड़ी" की उपमा

निष्कर्ष का सारांश

इसी तरह के और पेपर