Bifurcations of twisted solutions in a continuum limit for the Kuramoto model on nearest neighbor graphs
Yagasaki
We study bifurcations of twisted solutions in a continuum limit (CL) for the Kuramoto model (KM) of identical oscillators defined on nearest neighbor graphs, which may be deterministic dense, random dense or random sparse, when it may have phase-lag. We use the center manifold reduction, which is a standard technique in dynamical systems theory, and prove that the CL suffers bifurcations at which the one-parameter family of twisted solutions becomes unstable and a stable or unstable two-parameter family of modulated twisted solutions that oscillate or not depending on whether the phase-lag exists or not is born. We demonstrate the theoretical results by numerical simulations for the KM on deterministic dense, random dense and random sparse graphs.
academic
निकटतम पड़ोसी ग्राफ पर कुरामोटो मॉडल के लिए सातत्य सीमा में मुड़े हुए समाधानों के विभाजन
यह पेपर निकटतम पड़ोसी ग्राफ पर परिभाषित सजातीय दोलकों के कुरामोटो मॉडल की सातत्य सीमा (CL) में मुड़े हुए समाधानों के विभाजन की घटना का अध्ययन करता है। अनुसंधान नियतात्मक सघन ग्राफ, यादृच्छिक सघन ग्राफ और यादृच्छिक विरल ग्राफ को कवर करता है, और चरण-विलंब (phase-lag) के प्रभाव पर विचार करता है। लेखक गतिशील प्रणाली सिद्धांत की एक मानक तकनीक - केंद्रीय बहुविध अपचयन का उपयोग करते हुए, यह साबित करते हैं कि सातत्य सीमा विशिष्ट पैरामीटर मानों पर विभाजन से गुजरती है: एकल-पैरामीटर मुड़े हुए समाधान परिवार अस्थिर हो जाते हैं, जबकि स्थिर या अस्थिर द्वि-पैरामीटर मॉड्यूलेटेड मुड़े हुए समाधान परिवार उत्पन्न होते हैं, जो समाधान चरण-विलंब की उपस्थिति पर निर्भर करते हुए दोलन करते हैं या नहीं। सैद्धांतिक परिणामों को नियतात्मक सघन ग्राफ, यादृच्छिक सघन ग्राफ और यादृच्छिक विरल ग्राफ पर संख्यात्मक सिमुलेशन द्वारा सत्यापित किया जाता है।
कुरामोटो मॉडल युग्मित दोलकों के नेटवर्क में सिंक्रोनाइजेशन घटना का अध्ययन करने के लिए सबसे प्रतिनिधि गणितीय मॉडलों में से एक है। यह पेपर ग्राफ Gn पर परिभाषित कुरामोटो मॉडल पर ध्यान केंद्रित करता है:
सैद्धांतिक महत्व: मुड़े हुए अवस्थाएं (twisted states) कुरामोटो मॉडल में महत्वपूर्ण स्थिर-अवस्था समाधान की एक श्रेणी हैं, जो चरण-स्पेस संरचना और जटिल स्थानिक पैटर्न (जैसे chimera अवस्थाएं) को समझने के लिए महत्वपूर्ण हैं
अनुप्रयोग मूल्य: युग्मित दोलकों के नेटवर्क का भौतिकी, रसायन विज्ञान, जीव विज्ञान, सामाजिक विज्ञान और इंजीनियरिंग में व्यापक अनुप्रयोग है
गणितीय चुनौती: निकटतम पड़ोसी ग्राफ संरचना के लिए, मुड़े हुए समाधानों के विभाजन व्यवहार का अभी तक व्यवस्थित रूप से अध्ययन नहीं किया गया है
यह पेपर उपरोक्त अंतराल को भरने का लक्ष्य रखता है, कठोर गणितीय विश्लेषण के माध्यम से निकटतम पड़ोसी ग्राफ पर कुरामोटो मॉडल में मुड़े हुए समाधानों के विभाजन तंत्र को प्रकट करते हुए, और असतत मॉडल और सातत्य सीमा के बीच सटीक पत्राचार स्थापित करता है।
सैद्धांतिक विश्लेषण ढांचा: निकटतम पड़ोसी ग्राफ पर कुरामोटो मॉडल की सातत्य सीमा में मुड़े हुए समाधानों के विभाजन के लिए एक संपूर्ण सैद्धांतिक ढांचा स्थापित करता है, कठोर विश्लेषण के लिए केंद्रीय बहुविध अपचयन तकनीक का उपयोग करता है
विभाजन प्रमेय:
साबित करता है कि σ=0 पर pitchfork विभाजन होता है, जो स्थिर या अस्थिर द्वि-पैरामीटर स्थिर-अवस्था मॉड्यूलेटेड मुड़े हुए समाधान परिवार उत्पन्न करता है
साबित करता है कि σ=0 पर Hopf विभाजन होता है, जो स्थिर या अस्थिर द्वि-पैरामीटर दोलन मॉड्यूलेटेड मुड़े हुए समाधान परिवार उत्पन्न करता है
एकीकृत उपचार: नियतात्मक सघन ग्राफ, यादृच्छिक सघन ग्राफ और यादृच्छिक विरल ग्राफ के तीन मामलों को व्यवस्थित रूप से संभालता है
संख्यात्मक सत्यापन: बड़े पैमाने पर संख्यात्मक सिमुलेशन के माध्यम से सैद्धांतिक भविष्यवाणियों को सत्यापित करता है, असतत मॉडल और सातत्य सीमा के बीच अच्छी सामंजस्य प्रदर्शित करता है
स्पष्ट सूत्र: विभाजन बिंदु, विभाजन समाधान के स्पष्ट अभिव्यक्ति और उनके स्थिरता मानदंड प्रदान करता है
एकीकृत विश्लेषण ढांचा: निकटतम पड़ोसी ग्राफ पर मुड़े हुए समाधानों के विभाजन के लिए पहली बार संपूर्ण गणितीय प्रमाण प्रदान करता है, चरण-विलंब के साथ और बिना दोनों मामलों को कवर करता है
सटीक विभाजन मानदंड: विस्तृत eigenvalue विश्लेषण के माध्यम से, विभाजन बिंदु की सटीक स्थिति और विभाजन प्रकार के विभेदन शर्तें प्रदान करता है
असतत-सातत्य पत्राचार: पहले से मौजूद अभिसरण सिद्धांत (प्रमेय 2.2-2.7) का उपयोग करते हुए, असतत कुरामोटो मॉडल और सातत्य सीमा के बीच विभाजन व्यवहार का कठोर पत्राचार स्थापित करता है
स्पष्ट गणना: सभी महत्वपूर्ण मात्राओं (विभाजन बिंदु, विभाजन समाधान, स्थिरता गुणांक) के लिए स्पष्ट गणना सूत्र प्रदान करता है
q∈{1,2,3,4} के लिए, जब κ सैद्धांतिक विभाजन बिंदु से कम हो, तो प्रणाली मुड़े हुए अवस्था के पास रहती है
चित्र 7 दिखाता है कि संख्यात्मक परिणाम सैद्धांतिक भविष्यवाणी के मुड़े हुए अवस्था u(t,x)=2πqx+uˉn(t)−πq के साथ लगभग पूरी तरह से मेल खाते हैं
σ=π/3 स्थिति (चित्र 6):
q=1,κ=0.31: मुड़ी हुई अवस्था स्थिर रहती है, धीमी घूर्णन दिखाई देती है (सीमित आकार प्रभाव)
q=2,κ=0.16: मुड़ी हुई अवस्था स्थिर है
q=2,κ=0.166: विभाजन बिंदु से अधिक, दोलन मॉड्यूलेटेड मुड़े हुए समाधान देखे जाते हैं
विभाजन समाधान का सत्यापन (चित्र 9-10):
चित्र 9: मुड़े हुए अवस्था से विचलन सैद्धांतिक सूत्र (4.13) के मुख्य पद r(t)sin(2πx+ψ(t)) के साथ पूरी तरह से मेल खाता है
चित्र 10(b): κ=0.166 पर निरंतर छोटे दोलन देखे जाते हैं, Hopf विभाजन की भविष्यवाणी को सत्यापित करते हैं
चित्र 10(a): κ=0.16 पर कोई दोलन नहीं, विभाजन से पहले की स्थिरता के अनुरूप है
बड़ी पैरामीटर श्रेणी (चित्र 11):
κ=0.33 (विभाजन बिंदु से बहुत अधिक) पर, विभिन्न मॉड्यूलेटेड मुड़े हुए समाधान पाए जाते हैं, जिनके प्रथम-क्रम Fourier पैटर्न संख्यात्मक परिणामों के साथ अच्छी तरह से मेल खाते हैं।
सैद्धांतिक-संख्यात्मक सामंजस्य: असतत मॉडल के संख्यात्मक परिणाम सातत्य सीमा की सैद्धांतिक भविष्यवाणियों के साथ उच्च स्तर पर सहमत हैं, यहां तक कि n=1000 जैसे मध्यम पैमाने पर भी
विभाजन प्रकार सत्यापन:
σ=0: pitchfork विभाजन विशेषताएं देखी जाती हैं
σ=0: Hopf विभाजन विशेषताएं देखी जाती हैं, निरंतर दोलन होते हैं
यादृच्छिक ग्राफ की मजबूती: यादृच्छिक सघन ग्राफ और विरल ग्राफ का व्यवहार नियतात्मक ग्राफ के समान है, सैद्धांतिक भविष्यवाणी अभी भी मान्य है
सीमित आकार प्रभाव: σ=0 पर धीमी घूर्णन देखा जाता है, यह एक सीमित आकार प्रभाव है, लेकिन विभाजन व्यवहार की मुख्य विशेषताओं को प्रभावित नहीं करता है
बहु-स्थिरता: बड़े κ मानों पर विभिन्न मॉड्यूलेटेड मुड़े हुए समाधान पाए जाते हैं, जो दर्शाता है कि प्रणाली में समृद्ध बहु-स्थिरता हो सकती है
साबित करता है कि निकटतम पड़ोसी ग्राफ पर कुरामोटो मॉडल की सातत्य सीमा में q-मुड़े हुए समाधान κ=κ1q पर विभाजन से गुजरते हैं
σ=0: pitchfork विभाजन, स्थिर-अवस्था मॉड्यूलेटेड समाधान उत्पन्न करता है
σ=0: Hopf विभाजन, दोलन मॉड्यूलेटेड समाधान उत्पन्न करता है
स्थिरता मानदंड:
विभाजन समाधान की स्थिरता χˉ1q′β0 (या χˉ1q′βσ) के चिन्ह द्वारा निर्धारित होती है
q∈{1,2,3,4} के लिए, σ=0 पर विभाजन समाधान अस्थिर है
σ=0 पर, q=2 स्थिर विभाजन समाधान उत्पन्न कर सकता है
असतत-सातत्य पत्राचार: संख्यात्मक सत्यापन दिखाता है कि असतत कुरामोटो मॉडल का व्यवहार सातत्य सीमा की सैद्धांतिक भविष्यवाणियों के साथ उच्च स्तर पर सहमत है
पैरामीटर श्रेणी: मुख्य रूप से ℓ=1 स्थिति का विश्लेषण करता है, हालांकि ℓ≥2 के विभाजन भी मौजूद हैं, लेकिन उत्पन्न समाधान आवश्यक रूप से अस्थिर हैं
ग्राफ संरचना सीमा: केवल निकटतम पड़ोसी ग्राफ पर विचार करता है, अधिक सामान्य ग्राफ संरचना (जैसे छोटी दुनिया नेटवर्क) को आगे के अनुसंधान की आवश्यकता है
अरैखिक पद: केंद्रीय बहुविध अपचयन केवल तीसरे क्रम तक के पद रखता है, उच्च क्रम पद के प्रभाव का विस्तार से चर्चा नहीं की गई है
संख्यात्मक पैमाना: संख्यात्मक सिमुलेशन मुख्य रूप से n=1000 पैमाने पर किए जाते हैं, बड़े पैमाने पर सत्यापन सीमित है
यादृच्छिक ग्राफ के दोलन समाधान: यादृच्छिक ग्राफ स्थिति में स्पष्ट दोलन मॉड्यूलेटेड मुड़े हुए समाधान नहीं देखे जाते हैं, अधिक सूक्ष्म संख्यात्मक तकनीकों की आवश्यकता हो सकती है
यह पेपर 32 संदर्भों का हवाला देता है, मुख्य रूप से शामिल हैं:
कुरामोटो मॉडल: कुरामोटो (1975, 1984), एसेब्रॉन आदि (2005)
सातत्य सीमा: मेडवेडेव श्रृंखला कार्य (2014-2019), इहारा और यागासाकी (2023)
विभाजन सिद्धांत: गुकेनहेइमर और होम्स (1983), हारागस और इओस (2011)
मुड़े हुए अवस्था: गिर्निक आदि (2012), मेडवेडेव और राइट (2017)
लेखक की पूर्व कार्य: यागासाकी (2025a, 2025b)
समग्र मूल्यांकन: यह एक उच्च गुणवत्ता का सैद्धांतिक पेपर है, जो निकटतम पड़ोसी ग्राफ पर कुरामोटो मॉडल के मुड़े हुए समाधानों के विभाजन का व्यवस्थित और कठोर अनुसंधान करता है। मुख्य लाभ गणितीय विश्लेषण की पूर्णता, सैद्धांतिक और संख्यात्मक का घनिष्ठ संयोजन, और नियतात्मक और यादृच्छिक ग्राफ का एकीकृत उपचार में हैं। पेपर न केवल विभाजन के अस्तित्व को साबित करता है, बल्कि विभाजन बिंदु, विभाजन समाधान और स्थिरता के स्पष्ट अभिव्यक्ति भी देता है। संख्यात्मक सिमुलेशन सैद्धांतिक भविष्यवाणियों को शक्तिशाली रूप से समर्थन करता है। यह कार्य नेटवर्क दोलकों के सामूहिक व्यवहार को समझने के लिए महत्वपूर्ण सैद्धांतिक आधार प्रदान करता है, गतिशील प्रणाली और नेटवर्क विज्ञान दोनों क्षेत्रों में महत्वपूर्ण योगदान देता है।