Conditional hypocoercivity for nonlinear kinetic Fokker--Planck equations

एक विशाल, अदृश्य डांस फ्लोर की कल्पना करें जहाँ अरबों सूक्ष्म कण लगातार एक-दूसरे से टकरा रहे हैं, घूम रहे हैं और बह रहे हैं। यह कोई पार्टी नहीं है; यह गैसों और तरल पदार्थों की सूक्ष्म दुनिया है, एक ऐसा क्षेत्र जो भौतिकी के उन नियमों द्वारा शासित है जो यह निर्धारित करते हैं कि ऊष्मा कैसे फैलती है, धुआं कैसे छंटता है, और तारे कैसे बनते हैं। वैज्ञानिक लंबे समय से इस अराजक नृत्य की "अंतिम मुद्रा" (final pose) का अनुमान लगाने की कोशिश कर रहे हैं: यदि आप इन कणों को पर्याप्त समय तक चलने देते हैं, तो क्या वे अंततः एक शांत, अनुमानित पैटर्न में स्थिर हो जाएंगे, या वे अनंत, अप्रत्याशित लूपों में घूमते रहेंगे?

इसका उत्तर देने के लिए, शोधकर्ता "समीकरणों" नामक गणितीय मानचित्रों का उपयोग करते हैं। एक प्रसिद्ध मानचित्र, जिसे फॉकर-प्लांक (Fokker–Planck) समीकरण के रूप में जाना जाता है, इन कणों के हिलने-डुलने और फैलने को ट्रैक करने में मदद करता है। लंबे समय तक, वैज्ञानिक इस मानचित्र को केवल तब पूरी तरह से पढ़ सकते थे जब कण सरल व्यवहार करते थे, जैसे कि एक मंद हवा। लेकिन वास्तविक जीवन अधिक जटिल है। जब कण आपस में भीड़ लगाते हैं और एक-दूसरे पर दबाव डालते हैं—जैसे कि एक मोश पिट (mosh pit) या एक घना कोहरा—तो गणित अविश्वally उलझ जाता है। यहीं पर "हाइपोकोर्सिविटी" (hypocoercivity) की अवधारणा आती है। इसे एक विशेष प्रकार के गणितीय गोंद के रूप में समझें। आमतौर पर, प्रणालियाँ ऊर्जा खो देती हैं और धीमी हो जाती हैं (कोर्सिविटी/coercivity), लेकिन इन भीड़भाड़ वाले, जटिल नृत्यों में, ऊर्जा छिपी हुई या गति में फंसी हुई प्रतीत होती है। हाइपोकोर्सिविटी वह सिद्धांत है जो बताता है कि कैसे, भले ही ऊर्जा भंवरों में छिपी हो, प्रणाली फिर भी अंततः एक शांत, स्थिर अवस्था तक पहुँचने का रास्ता खोज लेती है।

यह शोध पत्र, जिसका शीर्षक "कंडीशनल हाइपोकोर्सिविटी फॉर नॉनलीन काइनेटिकिक फॉकर-प्लांक इक्वेशन्स" है, इस जटिल, भीड़भाड़ वाले नृत्य से निपटता है। लेखक, जोसे ए. कैरिलो, डावन कू और सिह्युन सोंग, यह सिद्ध करने की कोशिश कर रहे हैं कि भले ही कण एक गैर-रेखीय (non-linear), जटिल तरीके से एक-दूसरे को धकेल रहे हों (विशेष रूप से एक "पोरस मीडियम" शासन में, जो खुली हवा के बजाय स्पंज के माध्यम से चलने जैसा है), प्रणाली फिर भी स्थिर हो जाएगी। हालाँकि, वे यह दावा नहीं करते हैं कि उन्होंने इसे हर संभावित शुरुआती स्थिति के लिए हल कर दिया है। इसके बजाय, वे सिद्ध करते हैं कि यदि भीड़ बहुत अधिक उन्मत्त नहीं है—विशेष रूप से, यदि कणों का घनत्व एक निश्चित सुरक्षित सीमा के भीतर रहता है और बहुत अधिक गर्म या बहुत अधिक ठंडा नहीं होता है—तो यह गारंटी है कि भीड़ शांत होकर एक शांतिपूर्ण संतुलन तक पहुँच जाएगी। वे दिखाते हैं कि इन "कंडीशनल" (सशर्त) नियमों के तहत, अराजकता केवल फीकी नहीं पड़ती; यह एक अनुमानित, घातीय गति (exponential speed) से फीकी पड़ती है, जैसे कि एक घूमता हुआ लट्टू जो रुकने के लिए तेजी से धीमा होता जाता है।

एक शांत होती भीड़ की कहानी

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

सरल भीड़ के लिए (जहाँ लोग एक-दूसरे को ज्यादा नहीं धकेलते), गणितज्ञों को लंबे समय से उत्तर पता है: हाँ, वे स्थिर हो जाते हैं। लेकिन "नॉनलीनियर" भीड़ के लिए, जहाँ धक्का देना तीव्र होता है, यह एक रहस्य रहा है। बड़ा सवाल यह था: क्या भीड़ हमेशा शांत हो जाती है, या यह एक अजीब, कभी न खत्म होने वाले लूप में फंस सकती है?

इस शोध पत्र के लेखक कहते हैं, "हम हर संभव शुरुआती भीड़ के लिए इसे सिद्ध नहीं कर सकते, लेकिन हम बहुत व्यापक और महत्वपूर्ण वर्ग की भीड़ के लिए इसे सिद्ध कर सकते हैं।" वे एक सुरक्षा जाल स्थापित करते हैं। वे कहते हैं, "यदि आपकी भीड़ का घनत्व न तो बहुत कम है और न ही बहुत अधिक, और यदि भीड़ की ऊर्जा बहुत अधिक अनियंत्रित नहीं है, तो हम गारंटी दे सकते हैं कि वह शांत हो जाएगी।"

जादुई ट्रिक: "सुधारक" (The Corrector)

वे इसे कैसे सिद्ध करते हैं? वे दो उपकरणों का उपयोग करते हुए एक चतुर गणितीय ट्रिक का उपयोग करते हैं: एन्ट्रॉपी (Entropy) और एक सुधारक (Correulator)।

एन्ट्रॉपी को भीड़ के "अव्यवस्थित होने" के माप के रूप में समझें। उच्च एन्ट्रॉपी का अर्थ है कि भीड़ अराजक और अव्यवस्थित है; कम एन्ट्रॉपी का अर्थ है कि वे व्यवस्थित और शांत हैं। वैज्ञानिक जानते हैं कि भीड़ स्वाभाविक रूप से अपनी एन्ट्रॉपी खोना चाहती है और शांत होना चाहती है। उनके पास एक सूत्र है जो दिखाता है कि एन्ट्रॉपी हमेशा गिर रही है। लेकिन यहाँ एक पेंच है: सूत्र केवल यह दिखाता है कि एन्ट्रॉपी स्थानीय रूप से गिर रही है। यह यह कहने जैसा है कि, "कमरे के इस कोने में लोग शांत हो रहे हैं," लेकिन यह यह सिद्ध नहीं करता कि पूरा कमरा शांत हो रहा है। भीड़ कोने में शांत हो सकती है लेकिन केंद्र में अभी भी उग्र हो सकती है।

इसे ठीक करने के लिए, लेखक एक "सुधारक" पेश करते हैं। कल्पना करें कि भीड़ की एक छिपी हुई लय है। कभी-कभी, भले ही लोग शांत दिख रहे हों, वे गुप्त रूप से ऊर्जा के साथ कंपन कर रहे होते हैं। "सुधारक" एक गणितीय उपकरण है जो इस छिपी हुई कंपन का पता लगाता है। लेखक एक विशेष "लियापुनोव फंक्शनल" (Lyapunov functional) का निर्माण करते हैं—जो केवल एक फैंसी नाम है एक ऐसे "स्कोरकार्ड" के लिए जो एन्ट्रॉपी (दृश्य अव्यवस्था) और सुधारक (छिपी हुई कंपन) को जोड़ता है।

वे सिद्ध करते हैं कि यदि आप इस संयुक्त स्कोरकार्ड को देखते हैं, तो स्कोर हमेशा नीचे जाता है। इससे फर्क नहीं पड़ता कि एन्ट्रॉपी फंस जाती है या छिपी हुई कंपन छिपने की कोशिश करती है; संयुक्त स्कोर लगातार गिरता है। और क्योंकि स्कोर गिर रहा है, वे सिद्ध कर सकते हैं कि भीड़ अंततः उस पूर्ण, शांत अवस्था तक अवश्य पहुँच जाएगी।

"यदि-तो" का वादा

उनकी खोज का सबसे महत्वपूर्ण हिस्सा इसकी "कंडीशनल" (सशर्त) प्रकृति है। वे यह दावा नहीं करते कि किसी भी शुरुआती भीड़ के शांत होने की गारंटी है। वे स्पष्ट रूप से कहते हैं कि उनका प्रमाण इस बात पर निर्भर करता है कि भीड़ कुछ सीमाओं के भीतर रहे।

वे कहते हैं: "यदि प्रारंभिक भीड़ दो 'ग्लोबल इक्विलिब्रियम प्रोफाइल्स' (सोचिए कि ये दो सुरक्षित, शांत टेम्पलेट हैं) के बीच फंसी हुई है, तो भीड़ हमेशा उनके बीच फंसी रहेगी।" यह एक शक्तिशाली परिणाम है क्योंकि इसका मतलब है कि बहुत बड़ी संख्या में वास्तविक शुरुआती स्थितियों के लिए—जहाँ भीड़ अनंत रूप से घनी नहीं है या अनंत रूप से खाली नहीं है—प्रणाली सुरक्षित है। लेखक दिखाते हैं कि यदि आप ऐसी भीड़ के साथ शुरू करते हैं जो इन सीमाओं का सम्मान करती है, तो "कंडीशनल बाउंड्स" (घनत्व और ऊर्जा के बारे में नियम) सभी समय के लिए बने रहते हैं, और शांति की ओर घातीय अभिसरण (exponential convergence) की गारंटी दी जाती है।

वे यह भी स्पष्ट करते हैं कि वे क्या नहीं कर रहे हैं। वे यह सिद्ध करने की कोशिश नहीं कर रहे हैं कि भीड़ तब शांत हो जाएगी जब वह पूरी तरह से अराजक, असीमित स्थिति में शुरू होती है। वे कंप्यूटर पर भीड़ का अनुकरण (simulation) नहीं कर रहे हैं; वे एक कठोर गणितीय प्रमाण प्रदान कर रहे हैं। वे यह दावा नहीं कर रहे हैं कि उन्होंने एक नए प्रकार के कण की खोज की है; वे यह सिद्ध कर रहे हैं कि विशिष्ट, यथार्थवादी बाधाओं के तहत मौजूदा कण कैसे व्यवहार करते हैं।

परिणाम: एक गारंटीकृत शांति

तो, अंतिम निर्णय क्या है? यह शोध पत्र सिद्ध करता है कि इन जटिल, धकेलने वाली, नॉनलीनियर भीड़ के लिए, यदि आप उन्हें एक "समझौते योग्य" (sane) अवस्था में शुरू करते हैं (बहुत घनी नहीं, बहुत अधिक ऊर्जावान नहीं), तो वे अनिवार्य रूप से, और तेजी से, एक पूर्ण, शांत संतुलन में स्थिर हो जाएंगे। इसे सेटल होने में लगने वाला समय एक विशिष्ट पैटर्न का पालन करता है: यह घातीय (exponentially) रूप से गिरता है। इसका मतलब है कि अराजकता केवल फीकी नहीं पड़ती; यह त्वरित दर से गायब हो जाती है।

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