Nontrivial integrable weak stationary solutions to active scalar equations with non-odd drift

तकनीकी सारांश: गैर-विषम ड्रिफ्ट वाले सक्रिय स्केलर समीकरणों के गैर-तुच्छ समाकलनीय स्थिर कमजोर समाधान

समस्या विवरण
यह शोध पत्र टॉरस $\mathbb{T}^d$ ($d \geq 2$) पर स्थिर सक्रिय स्केलर समीकरण के गैर-तुच्छ कमजोर समाधानों के अस्तित्व को संबोधित करता है:
$$\begin{cases} \nabla \cdot (\theta u) + \Lambda^\gamma \theta = 0 \\ u = T\theta \end{cases}$$
जहाँ $\theta$ एक स्केलर क्षेत्र है, $u$ एक डाइवर्जेंस-मुक्त वेग क्षेत्र है, $\Lambda^\gamma = (-\Delta)^{\gamma/2}$ एक भिन्नात्मक लाप्लासियन (fractional Laplacian) है जहाँ $0 < \gamma \leq 2$, और $T$ एक कॉन्वोल्यूशन-प्रकार का कैलडेरॉन-ज़िगमुंड ऑपरेटर है। इस कार्य की केंद्रीय संरचनात्मक बाधा यह है कि ऑपरेटर $T$ का फूरियर मल्टीप्लायर $m(\xi)$ विषम (odd) नहीं है।

लेखक उन समाधानों के निर्माण पर ध्यान केंद्रित करते हैं जो केवल वितरण (distributions) के बजाय समाकलनीय फलन (विशेष रूप से $L^{2-\epsilon}(\mathbb{T}^d)$ और $\dot{B}^{-\epsilon}_{\infty,\infty}(\mathbb{T}^d)$ में, जहाँ $0 < \epsilon < 1$) हैं। एक महत्वपूर्ण चुनौती यह उत्पन्न होती है क्योंकि विषम मल्टीप्लायर्स के लिए, ऑपरेटर $T$, $L^2$ पर स्केव-एडजॉइंट (skew-adjoint) होता है, जो चिकने विक्षोभों (smooth perturbations) $w$ के लिए गैररेखीय पद के माध्य $\int_{\mathbb{T}^d} w T w$ को शून्य होने के लिए मजबूर करता है। यह शून्यता मानक उत्तोलन (convex integration) योजनाओं में अग्रणी-क्रम की त्रुटियों (leading-order errors) के निरसन (cancellation) को रोकती है। यह शोध पत्र गैर-विषम मल्टीप्लायर्स तक ही अपने दायरे को सीमित करता है, यह देखते हुए कि सामान्य स्केव-एडजॉइंट ऑपरेटर वर्तमान विधियों के लिए पहुंच से बाहर हैं।

कार्यप्रणाली
यह निर्माण कन्वेक्स इंटीग्रेशन (convex integration) पद्धति का उपयोग करता है, जिसे मूल रूप से डे लिस और ज़ेकेलीहादी द्वारा पेश किया गया था। दृष्टिकोण में एक अनुक्रमिक प्रक्रिया शामिल है जहाँ एक क्रमबद्ध अनुमानित समाधान $(\theta_q, u_q, R_q)$ का निर्माण किया जाता है, जो एक तनाव क्षेत्र त्रुटि (stress field error) $R_q$ के साथ एक शिथिल समीकरण (relaxed equation) को संतुष्ट करता है। लक्ष्य यह है कि $q \to \infty$ होने पर $\|R_q\|_{\dot{H}^{-s}} \to 0$ हो जाए।

प्रमुख तकनीकी घटक शामिल हैं:

1. गैर-विषम मल्टीप्लायर का दोहन: $m(\xi)$ की गैर-विषम प्रकृति गैररेखीय पद के माध्य को गैर-शून्य होने की अनुमति देती है। विशेष रूप से, निर्माण इस तथ्य का उपयोग करता है कि $m(\xi) + m(-\xi)$ का प्रतिबिंब $\mathbb{R}^d$ के आधार (basis) को समाहित करता है (लेम्मा 2.9 और 2.10 के माध्यम से स्थापित)। यह विक्षोभ के माध्य का उपयोग करके अग्रणी-क्रम के तनाव त्रुटि को रद्द करने में सक्षम बनाता है।
2. अंतरालमय बिल्डिंग ब्लॉक्स (Intermittent Building Blocks): विक्षोभ $w_{q+1}$ का निर्माण "इंटरमिटेंट स्लैब्स" (लेम्मा 2.12) का उपयोग करके किया जाता है। ये अत्यधिक दोलनशील फलन हैं जिनमें अंतरालमयता (intermittency) की एक परिवर्तनशील डिग्री होती है जो पुनरावृत्ति के उच्च चरणों में शून्य की ओर घटती जाती है। यह विशिष्ट संरचना लेखकों को समाधान के $L^p$ मानदंडों को नियंत्रित करने और आवश्यक नियमितता बनाए रखने की अनुमति देती है।
3. ऋणात्मक नियमितता अनुमान (Negative Regularity Estimates): तरल समीकरणों के लिए पिछले कन्वेक्स इंटीग्रेशन स्कीम्स के विपरीत, जो अक्सर $L^p$ या $C^0$ मानदंडों में त्रुटियों का अनुमान लगाते हैं, यह कार्य तनाव क्षेत्र का $\dot{H}^{-s}$ जैसे ऋणात्मक सोबोलेव मानदंडों में अनुमान लगाता है। यह चुनाव महत्वपूर्ण है क्योंकि यह उच्च-आवृत्ति वाले बिल्डिंग ब्लॉक्स पर सीधे डेरिवेटिव के कार्य करने की आवश्यकता को टाल देता है, जिससे बिल्डिंग ब्लॉक्स के लिए किसी भी PDE के स्थिर समाधान होने की आवश्यकता कम हो जाती है।
4. कमजोर समाधान की परिभाषा: चूंकि निर्मित समाधान ऐसे स्थानों में स्थित हैं जहाँ की नियमितता ऋणात्मक है जहाँ उत्पाद $\theta u$ शास्त्रीय रूप से परिभाषित नहीं है, इसलिए लेखक पैराप्रोडक्ट्स (paraproducts) पर आधारित कमजोर समाधानों की एक परिभाषा अपनाते हैं। वे $\dot{H}^{-s}$ में पैराप्रोडक्ट विस्तार के पूर्ण अभिसरण के माध्यम से उत्पाद को परिभाषित करते हैं, जो [1] और [21] के ढांचे का अनुसरण करता है।

प्रमुख योगदान और परिणाम
मुख्य परिणाम (प्रमेय 1.3) यह स्थापित करता है कि किसी भी $0 < \gamma \leq 2$ के लिए, स्थिर सक्रिय स्केलर समीकरण के गैर-तुच्छ कमजोर समाधान $(\theta, u)$ मौजूद हैं ताकि:

• $\theta, u \in \bigcap_{0<\epsilon<1} (\dot{B}^{-\epsilon}_{\infty,\infty}(\mathbb{T}^d) \cap L^{2-\epsilon}(\mathbb{T}^d))$।
• उत्पाद $\theta u$ पर्याप्त बड़े $s$ के लिए $\dot{H}^{-s}(\mathbb{T}^d)$ में एक पैराप्रोडक्ट के रूप में सुपरिभाषित है।
• युग्म (pair) पैराप्रोडक्ट की कमजोर परिभाषा के अर्थ में समीकरण को संतुष्ट करता है।

एक विस्तृत आगमनकारी प्रमाण (Proposition 4.1) यह प्रदर्शित करता है कि पर्याप्त बड़े आवृत्ति मापदंडों $\lambda_q$ को चुनकर दोलन (oscillation), नैश (Nash), और अपव्यय (dissipation) त्रुटियों को $\dot{H}^{-s}$ मानदंड में अनिश्चित रूप से छोटा किया जा सकता है।

महत्व और दायरा
लेखक दावा करते हैं कि यह कार्य टॉरस पर स्थिर सक्रिय स्केलर समीकरण के कमजोर समाधानों के निर्माण में पहला प्रयास है जो केवल वितरण मात्र नहीं बल्कि समाकलनीय फलन हैं। इसे टिप्पणी 1.4 में रेखांकित किया गया है।

यह शोध पत्र अपनी सीमाओं के संबंध में विनम्र है:

• समाधान $L^2(\mathbb{T}^d)$ में नहीं हैं, जो एक कठिन खुला प्रश्न बना हुआ है।
• परिणाम उन मल्टीप्लायर्स तक सीमित हैं जो विषम (not odd) नहीं हैं। लेखक स्पष्ट रूप से कहते हैं कि उनका परिणाम सरफेस क्वासी-जियोस्ट्रोफिक (SQG) समीकरण पर लागू नहीं होता है, क्योंकि इसका मल्टीप्लायर विषम है।
• विधि के लिए मल्टीप्लायर का एक कैलडेरॉन-ज़िगमुंड ऑपरेटर होना आवश्यक है। शोध पत्र नोट करता है कि मैग्नेटो-जियोस्ट्रोफिक (MG) समीकरण में एक अनबाउंडेड मल्टीप्लायर शामिल है, जो इसे वर्तमान पद्धति के दायरे से बाहर रखता है, हालांकि यह एक दिलचस्प खुले प्रश्न के रूप में सुझाव देता है।
• निर्माण एक विशिष्ट वर्ग के गैर-विषम मल्टीप्लायर्स का उपयोग करता है; लेखक यह दावा नहीं करते हैं कि उन्होंने सामान्य स्केव-एडजॉइंट ऑपरेटरों के लिए समाधानों के अस्तित्व को हल कर दिया है।

संक्षेप में, यह शोध पत्र ड्रिफ्ट ऑपरेटर की गैर-विषम समरूपता का लाभ उठाकर अग्रणी-क्रम की त्रुटियों को रद्द करने के लिए, समाकलनीयता प्राप्त करने के लिए अंतरालमय बिल्डिंग ब्लॉक्स का उपयोग करने और कमजोर समाधान को परिभाषित करने के लिए ऋणात्मक सोबोलेव मानदंडों का उपयोग करके, सक्रिय स्केलर समीकरणों के एक विशिष्ट वर्ग के लिए कन्वेक्स इंटीग्रेशन तकनीक का विस्तार करता है।