We extend the single-perturbation approach (developed in our earlier publications for the case of a single map) to the analysis of the shadowing property for semigroups of endomorphisms. Our approach allows to give a constructive representation for a true trajectory which shadows a given pseudo-trajectory. One of the main motivations is the question of inheritance: does the presence of shadowing for all generators of a semigroup imply shadowing for the semigroup and vice versa. Somewhat surprisingly, the answer to these questions is generally negative. Moreover, the situation with shadowing turns out to be quite different in a semigroup and in a non-autonomous system, despite the fact that the latter can be represented as a single branch of the former.
- पेपर ID: 2501.00834
- शीर्षक: Inheritance of shadowing for dynamical semigroups
- लेखक: Michael Blank (Higher School of Modern Mathematics MIPT & National Research University "Higher School of Economics")
- वर्गीकरण: math.DS (गतिशील प्रणालियाँ)
- प्रस्तुति समय: 1 जनवरी 2025
- पेपर लिंक: https://arxiv.org/abs/2501.00834
यह पेपर एकल-विक्षोभ विधि (single-perturbation approach) को एकल मानचित्रों के मामले से स्वसंरचना अर्धसमूहों के छायाकरण गुणों के विश्लेषण तक विस्तारित करता है। यह विधि छायाकृत छद्म-कक्षाओं के वास्तविक कक्षाओं के लिए रचनात्मक प्रतिनिधित्व प्रदान करती है। अनुसंधान की मुख्य प्रेरणा विरासत समस्या है: क्या अर्धसमूह के सभी जनकों के छायाकरण गुण अर्धसमूह स्वयं के छायाकरण गुणों को दर्शाते हैं, और इसके विपरीत? आश्चर्यजनक रूप से, इन प्रश्नों के उत्तर आमतौर पर नकारात्मक हैं। इसके अलावा, हालांकि गैर-स्वायत्त प्रणालियों को अर्धसमूह की एकल शाखा के रूप में दर्शाया जा सकता है, अर्धसमूहों और गैर-स्वायत्त प्रणालियों के छायाकरण मामलों में महत्वपूर्ण अंतर हैं।
- मिश्रित गतिशीलता का संख्यात्मक विश्लेषण चुनौती: मिश्रित गतिशीलता कक्षाओं के बीच तीव्र (आमतौर पर घातीय) पृथक्करण की विशेषता है, जहाँ न्यूनतम विक्षोभ (जैसे संख्यात्मक सिमुलेशन में राउंडिंग त्रुटियाँ) प्रणाली के व्यवहार को काफी हद तक बदल सकते हैं।
- छायाकरण गुणों का महत्व: छायाकरण गुण मिश्रित गतिशीलता के संख्यात्मक विश्लेषण के कुछ ही सैद्धांतिक आधारों में से एक है, अर्थात् कमजोर विक्षुब्ध प्रणाली की कक्षाओं को मूल प्रणाली की वास्तविक कक्षाओं द्वारा ट्रैक करने की क्षमता।
- एकल-विक्षोभ विधि का विकास: लेखक ने पूर्व कार्य में एकल मानचित्रों के लिए एकल-विक्षोभ छायाकरण विधि स्थापित की है, जो असंतत गतिशील प्रणालियों को संभाल सकती है।
- अधिक जटिल प्रणालियों तक विस्तार: एकल-विक्षोभ विधि को गैर-स्वायत्त असतत समय प्रणालियों और स्वसंरचना अर्धसमूहों तक विस्तारित करना।
- विरासत समस्या: अर्धसमूह जनकों के छायाकरण गुणों और अर्धसमूह के समग्र छायाकरण गुणों के बीच संबंध की खोज।
- सैद्धांतिक पूर्णता: गतिशील अर्धसमूहों के छायाकरण सिद्धांत में अंतराल को भरना।
- विधि विस्तार: एकल-विक्षोभ विधि को एकल मानचित्रों से गतिशील अर्धसमूहों तक सफलतापूर्वक विस्तारित किया, जो असंतत प्रणालियों के लिए उपयुक्त है।
- विरासत प्रमेय: विभिन्न जनक चयनों के तहत छायाकरण गुणों की अपरिवर्तनीयता को सिद्ध किया (प्रमेय 2.1)।
- मुख्य छायाकरण प्रमेय: गोंद गुणों से विभिन्न छायाकरण गुणों तक व्युत्पत्ति संबंध स्थापित किए (प्रमेय 2.2)।
- प्रतिसहज खोज: सिद्ध किया कि जनकों के छायाकरण गुणों और अर्धसमूह छायाकरण गुणों के बीच विरासत संबंध की कमी है।
- अर्धसमूहों और गैर-स्वायत्त प्रणालियों में अंतर: दोनों प्रणाली वर्गों में छायाकरण गुणों के आवश्यक अंतर को प्रकट किया।
गतिशील अर्धसमूहों के छायाकरण गुणों का अध्ययन, अर्थात् दिए गए छद्म-कक्षा के लिए, क्या वास्तविक कक्षा को किसी अर्थ में इसके करीब पाया जा सकता है।
परिभाषा 2.1: मानचित्र अर्धसमूह G समुच्चय X से स्वयं तक स्वसंरचनाओं का संग्रह है, जो परिमित संयोजन के तहत बंद है। जनक समुच्चय {g₁,...,gₙ} को संतुष्ट करता है कि प्रत्येक अर्धसमूह तत्व जनकों के परिमित संयोजन के रूप में व्यक्त किया जा सकता है।
- कक्षा (परिभाषा 2.2): अनुक्रम {...,x₋₂,x₋₁,x₀,x₁,x₂,...}, जो xᵢ₊₁ ∈ Gxᵢ को संतुष्ट करता है
- छद्म-कक्षा (परिभाषा 2.3): अनुक्रम {yᵢ}, जहाँ {ρ(Gyᵢ,yᵢ₊₁)} कुछ "लघुता" शर्त को संतुष्ट करता है
- (U) समान प्रकार: ρ(Gyᵢ,yᵢ₊₁) ≤ ε सभी i के लिए
- (A) औसत लघु प्रकार: lim sup(1/(2n+1))∑ρ(Gyᵢ,yᵢ₊₁) ≤ ε
- (S) एकल-विक्षोभ प्रकार: विक्षोभ समय समुच्चय T(ỹ) केवल एकल बिंदु रखता है
- (U) समान छायाकरण: ρ(xᵢ,yᵢ) ≤ δ सभी i के लिए
- (A) औसत छायाकरण: lim sup(1/(2n+1))∑ρ(xᵢ,yᵢ) ≤ δ
- (L) सीमा छायाकरण: ρ(xₙ,yₙ) → 0 जब n → ±∞
अर्धसमूह G मजबूत/कमजोर एकल-विक्षोभ सन्निकटन गुण को संतुष्ट करता है, यदि प्रत्येक एकल-विक्षोभ छद्म-कक्षा ỹ के लिए, परिशुद्धता ϕ के साथ कक्षा x̃ मौजूद है:
मजबूत सन्निकटन: ρ(xₖ,yₖ) ≤ ϕ(k-t₀)ρ(Gyₜ₀₋₁,yₜ₀) ∀k ∈ Z
कमजोर सन्निकटन: ρ(xₖ,yₖ) ≤ ϕ(k-t₀) ∀k ∈ Z
"गोंद" निर्माण विधि का उपयोग करते हुए, स्वायत्त गतिशील प्रणाली की वास्तविक कक्षाओं के सतत खंडों के जोड़ों को प्रभावी ढंग से सन्निकट करता है। समानांतर गोंद प्रक्रिया के माध्यम से, प्रत्येक चरण में सम सूचकांक विक्षोभ समय को संभालते हुए, लंबाई में घातीय वृद्धि वाली वास्तविक कक्षा खंड प्राप्त करता है।
मान लीजिए G पूर्ण मीट्रिक स्पेस (X,ρ) पर मानचित्र अर्धसमूह है। यदि किसी जनक चयन G ∈ S(α,β) के लिए (α ∈ {U,A,S}, β ∈ {U,A,L}), तो किसी अन्य जनक चयन के लिए भी समान गुण सत्य है।
मान लीजिए G पूर्ण मीट्रिक स्पेस (X,ρ) पर मानचित्र अर्धसमूह है।
(a) यदि G ∈ Aₛ/ᵤ(ϕ) और ϕ(n) → 0 जब n → ±∞, तो G ∈ S(S,L)।
(b) यदि G ∈ Aₛ(ϕ) और Φ := ∑ₖϕ(k) < ∞, तो G ∈ S(U,U) ∪ S(A,A)।
गैर-स्वायत्त प्रणालियों के लिए, मान लीजिए f̄ ∈ Aᵩ और ∑ₖϕ(k) < ∞, तो f̄ ∈ S(U,U) ∪ S(A,A)।
4-पैरामीटर मानचित्र परिवार पर विचार करें:
ψₐ,ᵦ,ᶜ,ᵈ(x) = {ax+c यदि x≤0; bx+d अन्यथा}
प्रस्ताव 6.4: मानचित्र fₓ := ψₐ,ᵦ,ᶜ,ᶜ(x) (a,b>0) UU∪AA वर्ग में है यदि और केवल यदि a,b<1 या a,b>1।
प्रस्ताव 6.7: मान लीजिए X := ℝ, g₁(x) := 2x, g₂(x) := x/2। तब gᵢ ∈ S(U,U) ∪ S(A,A) ∀i, लेकिन अर्धसमूह G := {g₁,g₂} ∉ S(U,U) ∪ S(A,A)।
प्रस्ताव 6.8: 3-बिंदु स्पेस पर, अर्धसमूह G मौजूद है जहाँ सभी जनक gᵢ ∉ S(A,A), लेकिन G ∈ S(A,A)।
- ऐतिहासिक विकास: छायाकरण समस्या को Anosov (1967-70) ने पहली बार प्रस्तावित किया, Bowen ने समान अवधि में "विहित" विधि प्रस्तावित की।
- औसत छायाकरण: Blank (लगभग 30 साल पहले) ने औसत छायाकरण अवधारणा प्रस्तुत की, विक्षोभ सीमा को विस्तारित किया।
- एकल-विक्षोभ विधि: लेखक द्वारा 6,7 में विकसित "गोंद" निर्माण इस पेपर का आधार है।
- विधि सफल विस्तार: एकल-विक्षोभ विधि गतिशील अर्धसमूहों पर सफलतापूर्वक लागू होती है।
- विरासत विफलता: जनकों और अर्धसमूहों के बीच छायाकरण गुणों में सामान्य विरासत संबंध नहीं है।
- प्रणाली प्रकार अंतर: अर्धसमूहों और गैर-स्वायत्त प्रणालियों के छायाकरण व्यवहार में आवश्यक अंतर है।
- निर्माणात्मक प्रतिबंध: कुछ प्रतिउदाहरण निर्माण अभी भी अधूरे हैं, जैसे वास्तविक रेखा पर विपरीत प्रकार के उदाहरण।
- तकनीकी मान्यताएँ: पूर्ण मीट्रिक स्पेस और सीमित विक्षोभ मान्यताओं की आवश्यकता है।
- अनुप्रयोग सीमा: मुख्य रूप से विशिष्ट संरचना वाली गतिशील प्रणालियों पर लागू होता है।
- पर्याप्त शर्तें: विरासत की गारंटी देने वाली पर्याप्त शर्तें खोजना।
- पूर्ण वर्गीकरण: छायाकरण प्रकारों के बीच निहितार्थ संबंधों की तालिका को परिष्कृत करना।
- अनुप्रयोग विस्तार: विधि को गतिशील प्रणालियों की व्यापक श्रेणी पर लागू करना।
- सैद्धांतिक नवाचार: परिपक्व एकल-विक्षोभ विधि को अधिक जटिल अर्धसमूह सेटिंग में सफलतापूर्वक विस्तारित किया।
- प्रतिसहज खोजें: विरासत समस्या के प्रतिसहज उत्तरों को प्रकट किया, जिसका महत्वपूर्ण सैद्धांतिक मूल्य है।
- रचनात्मक विधि: वास्तविक कक्षाओं का रचनात्मक प्रतिनिधित्व प्रदान करता है, जिसका व्यावहारिक गणनात्मक मूल्य है।
- प्रणाली पूर्णता: विक्षोभ और छायाकरण प्रकारों के कई संयोजनों को शामिल करता है।
- अधूरे उदाहरण: कुछ प्रतिउदाहरण निर्माण अभी भी सुधार की आवश्यकता है।
- अनुप्रयोग सीमाएँ: मुख्य रूप से सैद्धांतिक विकास पर केंद्रित है, व्यावहारिक अनुप्रयोग उदाहरण अपेक्षाकृत कम हैं।
- तकनीकी जटिलता: प्रमाण प्रक्रिया काफी तकनीकी है, जो स्वीकार्यता को सीमित कर सकती है।
- सैद्धांतिक योगदान: गतिशील प्रणालियों के छायाकरण सिद्धांत में महत्वपूर्ण पूरक।
- विधि मूल्य: एकल-विक्षोभ विधि का विस्तार व्यापक अनुप्रयोग क्षमता रखता है।
- समस्या प्रेरणा: प्रस्तुत खुली समस्याएँ भविष्य के अनुसंधान के लिए दिशा निर्दिष्ट करती हैं।
- मिश्रित प्रणाली विश्लेषण: असंतत गतिशील प्रणालियों के विश्लेषण के लिए उपयुक्त।
- संख्यात्मक गणना सत्यापन: गतिशील प्रणालियों के संख्यात्मक सिमुलेशन के लिए सैद्धांतिक गारंटी प्रदान करता है।
- बहु-मानचित्र प्रणालियाँ: विशेष रूप से कई मानचित्रों द्वारा उत्पन्न समग्र प्रणालियों के लिए उपयुक्त।
पेपर 18 संबंधित संदर्भों का हवाला देता है, जो Anosov के अग्रणी कार्य से लेकर छायाकरण सिद्धांत के हाल के विकास तक विस्तृत है, जो अनुसंधान के लिए एक मजबूत सैद्धांतिक आधार प्रदान करता है।