Dimensions and dimension spectra of Non-autonomous iterated function systems
Miao, Wang
Non-autonomous iterated function systems are a generalization of iterated function systems. If the contractions in the system are conformal mappings, it is called a non-autonomous conformal iterated function system, and its attractor is called a non-autonomous conformal set. In this paper, we study intermediate dimension spectra of non-autonomous conformal sets which provide a unifying framework for Hausdorff and box-counting dimensions. First, we obtain the intermediate dimension spectra formula of non-autonomous conformal sets by using upper and lower topological pressures. As a consequence, we obtain simplified forms of their Hausdorff, packing and box dimensions. Finally, we explore the Hausdorff dimensions of the non-autonomous infinite conformal iterated function systems which consists of countably many conformal mappings at each level, and we provide the Hausdorff dimension formula under certain conditions.
academic
गैर-स्वायत्त पुनरावृत्त फलन प्रणालियों के आयाम और आयाम स्पेक्ट्रा
यह पेपर गैर-स्वायत्त अनुरूप पुनरावृत्त फलन प्रणालियों (Non-autonomous conformal iterated function systems) के आयाम सिद्धांत का अध्ययन करता है। लेखकों ने ऊपरी और निचली स्थलीय दबाव (upper and lower topological pressures) का उपयोग करके गैर-स्वायत्त अनुरूप समुच्चय के मध्यवर्ती आयाम स्पेक्ट्रा (intermediate dimension spectra) के लिए सूत्र स्थापित किए हैं, जो Hausdorff आयाम और box-counting आयाम के लिए एक एकीकृत ढांचा प्रदान करता है। परिणाम के रूप में, Hausdorff आयाम, packing आयाम और box आयाम के सरलीकृत रूप प्राप्त किए गए हैं। इसके अतिरिक्त, यह पेपर गणनीय अनंत अनुरूप मानचित्रों वाली गैर-स्वायत्त अनंत अनुरूप पुनरावृत्त फलन प्रणालियों के Hausdorff आयाम की भी खोज करता है, और विशिष्ट शर्तों के तहत आयाम सूत्र प्रदान करता है।
इस पेपर को हल करने वाली मूल समस्या है: गैर-स्वायत्त अनुरूप भग्न समुच्चय के विभिन्न आयामों (Hausdorff आयाम, box आयाम, packing आयाम और मध्यवर्ती आयाम स्पेक्ट्रा) की गणना कैसे करें।
सैद्धांतिक मूल्य: आयाम सिद्धांत भग्न ज्यामिति का केंद्र है, Hausdorff आयाम और box आयाम दो मौलिक अवधारणाएं हैं। कई गैर-विशिष्ट भग्न समुच्चय (जैसे गैर-स्वायत्त स्व-समानता समुच्चय, Moran समुच्चय) के लिए, ये दोनों आयाम असमान हो सकते हैं, और उनके बीच संक्रमण को समझना महत्वपूर्ण सैद्धांतिक महत्व रखता है।
एकीकृत ढांचा: Falconer, Fraser और Kempton द्वारा 2016 में प्रस्तुत मध्यवर्ती आयाम (intermediate dimensions) Hausdorff आयाम (θ=0) और box आयाम (θ=1) को जोड़ने वाला एक सतत स्पेक्ट्रम प्रदान करते हैं, लेकिन गैर-स्वायत्त प्रणालियों के मध्यवर्ती आयाम स्पेक्ट्रा पर अनुसंधान अभी भी अपर्याप्त है।
स्वायत्त प्रणालियों के ज्ञात परिणाम: शास्त्रीय पुनरावृत्त फलन प्रणालियों (IFS) के लिए, Mauldin और Urbański (1996) ने पहले से ही स्व-अनुरूप समुच्चय के लिए आयाम सूत्र दिए हैं, स्थलीय दबाव द्वारा परिभाषित महत्वपूर्ण मान h के माध्यम से dimₕE = dim_BE = h।
गैर-स्वायत्त प्रणालियों की चुनौती: गैर-स्वायत्त प्रणालियों में प्रत्येक स्तर पर विभिन्न मानचित्रों के समुच्चय हो सकते हैं, इसके आकर्षक का संरचना अधिक जटिल है। मौजूदा कार्य (जैसे Hua आदि द्वारा Moran समुच्चय पर, Rempe-Gillen और Urbański 2016 का कार्य) मुख्य रूप से विशिष्ट शर्तों को लक्षित करते हैं, और शर्तें एक दूसरे से व्युत्पन्न नहीं हो सकती हैं।
मध्यवर्ती आयाम स्पेक्ट्रा सूत्र (Theorem 2.1): खुले समुच्चय शर्त (OSC) और शर्त (1.11) को संतुष्ट करने वाले गैर-स्वायत्त परिमित अनुरूप समुच्चय E के लिए, ऊपरी और निचली मध्यवर्ती आयामों की पूर्ण विशेषता स्थापित की गई है:
dim_θ E = s_θ, dim^θ E = s^θ for θ ∈ 0,1
जहां s_θ और s^θ ऊपरी और निचली दबाव फलन P(t,θ) और P(t,θ) के कूद बिंदुओं द्वारा परिभाषित हैं
Box आयाम और Packing आयाम के सरलीकृत सूत्र (Theorem 2.2): यह सिद्ध किया गया है कि
dim_P E = dim_B E = s*
जहां s* अधिक सरल दबाव फलन P(t) द्वारा परिभाषित है, मध्यवर्ती आयाम के जटिल कटिंग समुच्चय पर विचार करने की आवश्यकता नहीं है
Hausdorff आयाम सूत्र (Theorem 2.3 और Corollary 2.4): सीमा माप शून्य शर्त L^d(∂J)=0 के तहत, यह सिद्ध किया गया है कि
dim_H E = s*
और शर्त को (1.11) से (1.13) तक विस्तारित किया गया है
अनंत प्रणालियों का आयाम (Theorem 2.5): गैर-स्वायत्त अनंत अनुरूप समुच्चय के लिए, शर्त (2.18) और श्रृंखला अभिसरण के बारे में तकनीकी मान्यताओं के तहत, यह सिद्ध किया गया है कि dim_H E = s*
शर्तों का सामान्यीकरण (Example 1, Corollary 2.4, Corollary 7.3): ठोस उदाहरणों के माध्यम से शर्तें (1.11), (1.12) और (1.13) के बीच संबंध दिखाया गया है, और शंकु शर्त के तहत अधिक सामान्य परिणाम दिए गए हैं
इनपुट: गैर-स्वायत्त (परिमित या अनंत) अनुरूप पुनरावृत्त फलन प्रणाली Φ = {Φ_k}{k≥1}, जहां प्रत्येक Φ_k = {φ{k,i}}_{i∈I_k} अनुरूप मानचित्रों का एक परिवार है
आउटपुट: आकर्षक E के विभिन्न भग्न आयाम:
Hausdorff आयाम dim_H E
Box आयाम dim_B E (ऊपरी और निचली box आयाम)
Packing आयाम dim_P E
मध्यवर्ती आयाम स्पेक्ट्रा dim_θ E, dim^θ E for θ ∈ 0,1
कवरिंग अनुमान लेम्मा (Lemma 5.2): किसी भी F⊂R^d के लिए E के साथ प्रतिच्छेद करते हुए,
Σ_{k=k_F^-}^{k_F^+} c_k^d #D(F,k) ≤ C_2
यह लेम्मा विभिन्न पैमानों पर कवरिंग समुच्चय संख्या की वृद्धि को नियंत्रित करता है
उप-प्रणाली सन्निकटन (Lemma 3.5, Proposition 3.6): अनंत प्रणालियों के लिए, परिमित उप-प्रणालियों का निर्माण किया जा सकता है जो दबाव फलन को संरक्षित करते हैं
आयाम एकता: शर्तें (1.11) और L^d(∂J)=0 के तहत, गैर-स्वायत्त परिमित अनुरूप समुच्चय के तीन मुख्य आयाम समान हैं:
dim_H E = dim_P E = dim_B E = s*
मध्यवर्ती आयाम की निरंतरता: Proposition 1.1 द्वारा, आयाम स्पेक्ट्रा dim_θ E और dim^θ E θ∈(0,1] पर निरंतर हैं, θ=0 पर Hausdorff आयाम से जुड़ते हैं, θ=1 पर box आयाम से जुड़ते हैं
शर्तों की पदानुक्रम:
सबसे मजबूत: शर्त (1.11) ⟹ पूर्ण मध्यवर्ती आयाम स्पेक्ट्रा
मध्यम: शर्त (1.13) ⟹ Hausdorff आयाम और box आयाम निचली सीमा
विशेष: शंकु शर्त + (7.45) ⟹ Hausdorff आयाम (Rempe-Gillen और Urbański की शर्त को कमजोर किया गया)
अनंत प्रणालियों की व्यवहार्यता: उप-प्रणाली सन्निकटन के माध्यम से, अनंत प्रणालियों की आयाम समस्या को परिमित प्रणालियों तक कम किया जा सकता है
स्व-समान समुच्चय: खुले समुच्चय शर्त को संतुष्ट करने वाले स्व-समान समुच्चय के लिए, Hausdorff आयाम और box आयाम समान हैं, दबाव फलन के शून्य बिंदु द्वारा दिए गए हैं
स्व-अनुरूप समुच्चय (Mauldin & Urbański 1996):
महत्वपूर्ण मान h को परिभाषित करें जो P(h) = 0 को संतुष्ट करता है
सिद्ध करें कि dim_H E = dim_B E = h
अनंत अनुरूप IFS तक विस्तार करें
स्व-समानता समुच्चय (Falconer 1988):
समानता आयाम d(T_1,...,T_n) का परिचय दें
विशिष्ट शर्तों के तहत, dim_H E = min{d, d(T_1,...,T_n)}
पूर्ण आयाम सिद्धांत: यह पेपर गैर-स्वायत्त अनुरूप समुच्चय के लिए Hausdorff आयाम, box आयाम, packing आयाम और मध्यवर्ती आयाम स्पेक्ट्रा सहित एक पूर्ण आयाम सिद्धांत स्थापित करता है
दबाव फलन की केंद्रीय भूमिका: सभी आयाम दबाव फलन के महत्वपूर्ण मान s* या s_θ के माध्यम से विशेषता हो सकते हैं
शर्तों का सार: शर्तें (1.11) या (1.13) विभिन्न पैमानों पर प्रणाली की "एकरूपता" सुनिश्चित करती हैं, आयाम सूत्र प्राप्त करने के लिए महत्वपूर्ण हैं
परिमित से अनंत तक का पुल: उप-प्रणाली सन्निकटन तकनीक के माध्यम से, अनंत प्रणालियों की समस्या को प्रभावी रूप से परिमित प्रणालियों तक कम किया जा सकता है
शर्तों की आवश्यकता पर चर्चा नहीं: पेपर मुख्य रूप से पर्याप्त शर्तों पर केंद्रित है, यह नहीं खोजता कि क्या ये शर्तें (जैसे (1.11), (1.13)) आवश्यक हैं
शंकु शर्त की सीमा: Hausdorff आयाम के लिए, L^d(∂J)=0 या शंकु शर्त की आवश्यकता कुछ भग्न प्रारंभिक समुच्चय J को बाहर करती है
अनंत प्रणालियों की तकनीकी मान्यताएं: Theorem 2.5 में श्रृंखला अभिसरण के बारे में शर्तें (1)-(3) अत्यधिक तकनीकी हैं, व्यावहारिक समस्याओं में सत्यापन करना मुश्किल हो सकता है
मध्यवर्ती आयाम स्पेक्ट्रा की ठोस गणना: हालांकि सैद्धांतिक सूत्र दिए गए हैं, ठोस उदाहरणों के लिए, P(t,θ) की गणना अभी भी चुनौतीपूर्ण है
मजबूत पृथक्करण शर्त की भूमिका: पेपर मजबूत पृथक्करण शर्त (SSC) का उल्लेख करता है जो L^d(∂J)=0 की आवश्यकता को हटा सकता है (Remark 2), लेकिन विस्तार से नहीं दिया गया है
पेपर 42 संदर्भों का हवाला देता है, जिनमें मुख्य शामिल हैं:
Falconer, Fraser, Kempton (2020): "Intermediate dimensions" - मध्यवर्ती आयाम के मूल पेपर
Mauldin & Urbański (1996): "Dimensions and measures in infinite iterated function systems" - अनंत अनुरूप IFS का शास्त्रीय कार्य
Rempe-Gillen & Urbański (2016): "Non-autonomous conformal iterated function systems and Moran-set constructions" - इस पेपर द्वारा सीधे सामान्यीकृत कार्य
Hua et al. (1994-2000): Moran समुच्चय के आयाम सिद्धांत की श्रृंखला कार्य
Banaji & Fraser (2023): "Intermediate dimensions of infinitely generated attractors" - अनंत उत्पन्न आकर्षकों के मध्यवर्ती आयाम
समग्र मूल्यांकन: यह गैर-स्वायत्त पुनरावृत्त फलन प्रणालियों के आयाम सिद्धांत के क्षेत्र में एक उच्च गुणवत्ता वाला शुद्ध गणितीय सिद्धांत पेपर है। पेपर एक पूर्ण सैद्धांतिक ढांचा स्थापित करता है, प्रमाण कठोर हैं, और तकनीकी नवाचार महत्वपूर्ण हैं। मुख्य कमियां ठोस गणना उदाहरणों और अनुप्रयोग चर्चा की कमी, साथ ही कुछ शर्तों की ज्यामितीय सहजता की कमी हैं। यह कार्य भग्न ज्यामिति और गतिशील प्रणाली क्षेत्र के लिए महत्वपूर्ण सैद्धांतिक मूल्य रखता है, और उच्च शैक्षणिक प्रभाव की अपेक्षा की जाती है।