समिश्र गतिशीलता

समिश्र गतिशीलता या पूर्णसममितिक गतिशीलता एक समिश्र विश्लेषणात्मक मानचित्रण से पुनरावृत्त करके प्राप्त गतिशील प्रणालियों का अध्ययन है। यह आलेख बीजगणितीय गतिशीलता की स्थिति पर केंद्रित है, जहां एक बहुपद या तर्कसंगत फलन को दोहराया जाता है। ज्यामितीय शब्दों में यह कुछ बीजगणितीय विविधता से मानचित्रण को पुनरावृत्त करने के समान है। अंकगणितीय गतिशीलता का संबंधित सिद्धांत समिश्र संख्याओं के अतिरिक्त तर्कसंगत संख्याओं या P समिश्र संख्याओं पर पुनरावृत्ति का अध्ययन करता है।

समिश्र आयाम में गतिशीलता - 1

Main article: जूलिया समुच्चय

एक सरल उदाहरण जो समिश्र गतिशीलता में कुछ मुख्य समिश्र संख्याओ C से $f(z)=z^{2}$ के मानचित्रण को प्रदर्शित करता है। समिश्र संख्याओं में एक बिंदु $\infty$ जोड़कर समिश्र प्रक्षेप्य रेखा $\mathbf {CP} ^{1}$ से स्वयं के मानचित्र के रूप में देखना सहायक होता है। $\mathbf {CP} ^{1}$ को सघन होने का लाभ यह है कि मूल प्रश्न के $\mathbf {CP} ^{1}$ में एक बिंदु $z$ दिया गया है कि इसकी कक्षा (या आगे की कक्षा) $\mathbf {CP} ^{1}$ कैसे होती है:

$z,\;f(z)=z^{2},\;f(f(z))=z^{4},f(f(f(z)))=z^{8},\;\ldots$

गुणात्मक संख्या कैसे प्रस्तुत करें? इसका उत्तर यह है कि यदि निरपेक्ष मान |z| 1 से कम है तो कक्षा 0 पर परिवर्तित हो जाती है वास्तव में चर घातांकीय गति से भी अधिक यदि |z| 1 से अधिक है, तो कक्षा $\mathbf {CP} ^{1}$ में बिंदु $\infty$ पर परिवर्तित हो जाता है, जो फिर से घातांकीय गति से भी अधिक है। यहां 0 और $\infty$ के अतिआकर्षक निश्चित बिंदु (गणित) हैं, जिसका अर्थ है कि उन बिंदुओं पर f का व्युत्पन्न शून्य है। एक आकर्षक निश्चित बिंदु का अर्थ है कि वह जहां f के व्युत्पन्न का निरपेक्ष मान 1 से कम है।

दूसरी ओर, मान लीजिए कि $|z|=1$ जिसका अर्थ है कि z, C में इकाई वृत्त पर है। इन बिंदुओं पर f की गतिशीलता विभिन्न प्रकारों से अव्यवस्थित है। उदाहरण के लिए माप सिद्धांत के संदर्भ में वृत्त पर लगभग सभी बिंदुओं z के लिए z की आगे की कक्षा वृत्त में सघन है और वास्तव में वृत्त पर समान रूप से कुछ धनात्मक पूर्णांक r के लिए $f^{r}(z)=z$ वाले बिंदु वितरित अनुक्रम है।

वृत्त पर अनन्त रूप से अनेक आवर्त बिन्दु भी होते हैं, अर्थात् कुछ धनात्मक पूर्णांक r के लिए $f^{r}(z)=z$ वाले बिंदु (यहां $f^{r}(z)$ का अर्थ है f से z r बार $f(f(\cdots (f(z))\cdots ))$ लगाने का परिणाम) यहां तक ​​कि वृत्त पर आवधिक बिंदु z पर भी f की गतिशीलता को अव्यवस्थित माना जा सकता है, चूँकि z के निकट के बिंदु f की पुनरावृत्ति करने पर z से तीव्र विचलन करते हैं। इकाई वृत्त पर f के आवधिक बिंदु प्रतिकर्षित कर रहे हैं यदि $f^{r}(z)=z$, तो z पर $f^{r}$ के अवकलज का निरपेक्ष मान 1 से अधिक होता है।

पियरे फतौ और गैस्टन जूलिया ने 1910 के दशक के अंत में दिखाया कि इस कहानी का अधिकांश भाग $\mathbf {CP} ^{1}$ से लेकर 1 से अधिक घात वाले किसी भी समिश्र बीजगणितीय मानचित्र तक विस्तृत है। निरंतर मानचित्रण की घात 1 से अधिक होती है। ऐसे मानचित्रण को समिश्र गुणांक वाले बहुपद $f(z)$ द्वारा या अधिक सामान्यतः एक तर्कसंगत फलन द्वारा दिया जा सकता है। अर्थात् सदैव जूलिया समुच्चय $\mathbf {CP} ^{1}$ का एक संक्षिप्त उपसमुच्चय होता है, जिस पर f की गतिशीलता अव्यवस्थित होती है। मानचित्रण $f(z)=z^{2}$ के लिए जूलिया समुच्चय इकाई वृत्त है। अन्य बहुपद मानचितत्रों के लिए जूलिया समुच्चय प्रायः अत्यधिक अनियमित होता है। उदाहरण के लिए एक आंशिक का अर्थ है कि इसका हॉसडॉर्फ आयाम एक पूर्णांक नहीं है। यह स्थिरांक $c\in \mathbf {C}$ के लिए $f(z)=z^{2}+c$ जैसे सरल मानचित्रण के लिए भी होता है। मैंडेलब्रॉट समुच्चय सम्मिश्र संख्याएँ c का समुच्चय है, जिससे $f(z)=z^{2}+c$ का जूलिया समुच्चय संबद्ध है।

बहुपद का जूलिया समुच्चय $f(z)=z^{2}+az$ के साथ $a\doteq -0.5+0.866i$ है।

बहुपद का जूलिया समुच्चय $f(z)=z^{2}+c$ के साथ एक कैंटर समुच्चय $c\doteq 0.383-0.0745i$ है।

फ़तौ समुच्चय में जूलिया समुच्चय का पूरक एक तर्कसंगत फलन $f\colon \mathbf {CP} ^{1}\to \mathbf {CP} ^{1}$ की संभावित गतिशीलता का पूर्ण वर्गीकरण है, जहां गतिशीलता साधारण है अर्थात् डेनिस सुलिवान ने दिखाया कि फतौ समुच्चय का प्रत्येक संबद्ध घटक U पूर्व-आवधिक है जिसका अर्थ है कि प्राकृतिक संख्याएं $a<b$ अर्थात ($f^{a}(U)=f^{b}(U)$ हैं।

इसलिए किसी घटक U पर गतिशीलता का विश्लेषण करने के लिए कोई व्यक्ति f को पुनरावृत्त द्वारा प्रतिस्थापित करने के बाद मान सकता है कि $f(U)=U$ या तो (1) U में F के लिए एक आकर्षक निश्चित बिंदु सम्मिलित है। (2) U इस अर्थ में परवलयिक है कि U में सभी बिंदु U की सीमा में एक निश्चित बिंदु तक अभिगम्य हैं। (3) U एक सीगल वृत्त है, जिसका अर्थ है कि U पर F विवृत इकाई वृत्त के एक अपरिमेय घुमाव से संयुग्मित है। या (4) U एक हरमन वलय है, जिसका अर्थ है कि U पर F की क्रिया एक विवृत वलय के एक अपरिमेय घुमाव से संयुग्मित है। ध्यान दें कि U में एक बिंदु z की "पिछली कक्षा" $\mathbf {CP} ^{1}$ में बिंदुओं का समुच्चय जो f के कुछ पुनरावृत्त के अंतर्गत z तक विस्तृत है, जिसे U में समाहित करने की आवश्यकता नहीं है।

अंतराकारिता की संतुलन माप

समिश्र गतिशीलता को किसी भी आयाम में प्रभावी रूप से विकसित किया गया है। यह आयाम उदाहरणों के सबसे समृद्ध स्रोत, समिश्र प्रक्षेप्य समष्टि $\mathbf {CP} ^{n}$ से मानचित्रण पर केंद्रित है। $\mathbf {CP} ^{n}$ के मुख्य परिणामों को किसी भी प्रक्षेप्य विविधता से लेकर तर्कसंगत मानचित्रों के एक वर्ग तक विस्तारित किया गया है। हालाँकि, ध्यान दें कि कई प्रकार में कोई भी स्व-मानचित्रण नहीं होता है।

मान लीजिए कि F, $\mathbf {CP} ^{n}$ की एक अंतराकारिता है जिसका अर्थ धनात्मक पूर्णांक n के लिए $\mathbf {CP} ^{n}$ मे बीजीय विविधता की आकारिता है। ऐसे मानचित्रण की सूची सजातीय निर्देशांक में दी गई है:

$f([z_{0},\ldots ,z_{n}])=[f_{0}(z_{0},\ldots ,z_{n}),\ldots ,f_{n}(z_{0},\ldots ,z_{n})]$

समान घात d के कुछ समिश्र बहुपद $f_{0},\ldots ,f_{n}$ के लिए जिनका $\mathbf {CP} ^{n}$ में कोई उभयनिष्ठ शून्य नहीं है।

चाउ के प्रमेय के अनुसार यह $\mathbf {CP} ^{n}$ से स्व-पूर्णसममितिक मानचित्रण के समान है। माना कि d, 1 से अधिक है तो मानचित्रण f की घात $d^{n}$ है जो 1 से भी अधिक है।

पुनः $\mathbf {CP} ^{n}$ पर एक अद्वितीय संभाव्यता माप $\mu _{f}$ है जो f की संतुलन माप है जो f की गतिशीलता के सबसे अव्यवस्थित भाग का वर्णन करती है। इसे ग्रीन माप या अधिकतम एन्ट्रापी की माप भी कहा जाता है। इस माप को हंस ब्रोलिन (1965) द्वारा एक चर में बहुपद के लिए परिभाषित किया गया था, जिसको अलेक्जेंड्रे फ़्रेयर, आर्टूर लोप्स, रिकार्डो माने और मिखाइल लुबिच द्वारा 1983 के आसपास $n=1$ के लिए परिभाषित किया गया था और 1994 के आसपास किसी भी आयाम के लिए जॉन हबर्ड, पीटर पापाडोपोल, जॉन फ़ोर्नेस और सिबोनी ने परिभाषित किया गया था। एक छोटे जूलिया समुच्चय $J^{*}(f)$ में संतुलन माप का समर्थन (माप सिद्धांत) है, यह केवल जूलिया समुच्चय $n=1$ के लिए है।

उदाहरण

• $\mathbf {CP} ^{1}$ पर मानचित्रण $f(z)=z^{2}$ के लिए संतुलन माप $\mu _{f}$ इकाई पर हार माप $|z|=1$ है।
• सामान्यतः माना कि एक पूर्णांक के लिए $d>1$ मानचित्रण माप $f\colon \mathbf {CP} ^{n}\to \mathbf {CP} ^{n}$ है:

$f([z_{0},\ldots ,z_{n}])=[z_{0}^{d},\ldots ,z_{n}^{d}].$

तब संतुलन माप $\mu _{f}$-आयामी टोरस पर हार माप $\{[1,z_{1},\ldots ,z_{n}]:|z_{1}|=\cdots =|z_{n}|=1\}$ से अधिक सामान्य पूर्णसममितिक मानचित्रण के लिए संतुलन माप $\mathbf {CP} ^{n}$ से बहुत अधिक समिश्र हो सकती है। जैसे कि जूलिया समुच्चय की छवियों मे पहले से ही समिश्र आयाम 1 में देखा जा सकता है।

संतुलन माप की विशेषताएँ

संतुलन माप की एक आधारिक विशेषताएँ यह है कि ये F के अंतर्गत अपरिवर्तनीय है, इस अर्थ में कि पुशफॉरवर्ड माप $f_{*}\mu _{f}$ के बराबर है क्योंकि $\mu _{f}$ एक परिमित आकारिता है, पुलबैक माप $f^{*}\mu _{f}$ भी परिभाषित है और $\mu _{f}$ इस अर्थ में $f^{*}\mu _{f}=\deg(f)\mu _{f}$ पूरी तरह से अपरिवर्तनीय है।

संतुलन माप की एक उल्लेखनीय विशेषता यह है कि यह जीन-यवेस ब्रिएंड, जूलियन डुवाल, टीएन-कुओंग दिन्ह और सिबोनी द्वारा समय में पीछे की ओर अनुसरण किए जाने पर $\mathbf {CP} ^{n}$ में लगभग प्रत्येक बिंदु के स्पर्शोन्मुखता का वर्णन करता है। समान रूप से $\mathbf {CP} ^{n}$ में एक बिंदु z और एक धनात्मक पूर्णांक r के लिए संभाव्यता माप $(1/d^{rn})(f^{r})^{*}(\delta _{z})$ पर विचार करें जो कि $d^{rn}$ संख्या w पर $f^{r}(w)=z$ के साथ समान रूप से वितरित है। फिर एक ज़ारिस्की सवृत उपसमुच्चय $E\subsetneq \mathbf {CP} ^{n}$ है, जैसे कि E में सभी बिंदुओं z के लिए अभी परिभाषित माप संतुलन माप $\mu _{f}$ में दुर्बल रूप से परिवर्तित होती हैं क्योंकि r अनंत तक जाता है। अधिक विस्तार से $\mathbf {CP} ^{n}$ के केवल सीमित रूप से कई सवृत समिश्र उप-समष्टि f के अंतर्गत पूरी तरह से अपरिवर्तनीय हैं जिसका अर्थ है कि $f^{-1}(S)=S$ और कोई असाधारण समुच्चय ले सकता है, E अद्वितीय और बसे बड़ा अपरिवर्तनीय सवृत समिश्र उपसमष्टि है जो $\mathbf {CP} ^{n}$ के बराबर नहीं है।

संतुलन माप का एक और लक्षण वर्णन (ब्रिएंड और डुवल के कारण) इस प्रकार है। प्रत्येक धनात्मक पूर्णांक r के लिए आवर्त r के आवधिक बिंदुओं की संख्या जिसका अर्थ है कि $f^{r}(z)=z$ बहुलता के साथ $(d^{r(n+1)}-1)/(d^{r}-1)$ के रूप मे गिना जाता है जो सामान्यतः $d^{rn}$ है। संभाव्यता माप पर विचार करें जो अवधि r के बिंदुओं पर समान रूप से वितरित है। फिर जैसे-जैसे r अनंत तक जाता है, ये माप भी संतुलन माप $\mu _{f}$ में परिवर्तित हो जाती है। इसके अतिरिक्त अधिकांश आवधिक बिंदु विकर्षक हैं और $J^{*}(f)$ में स्थित हैं। इसलिए किसी भी बिन्दु को केवल $J^{*}(f)$ में प्रतिकर्षित आवधिक बिंदुओं के औसत से समान सीमा माप प्राप्त होता है। $J^{*}(f)$ के बाहर भी विकर्षक आवधिक बिंदु हो सकते हैं।

संतुलन माप $\mathbf {CP} ^{n}$ के किसी भी सवृत समिश्र उपसमष्टि को शून्य द्रव्यमान देता है जो संपूर्ण समष्टि नहीं है। चूँकि $J^{*}(f)$ के आवर्त बिंदु $J^{*}(f)$ में सघन हैं, इसलिए यह इस प्रकार है कि f के आवर्त बिंदु $\mathbf {CP} ^{n}$ में सघन हैं। इस ज़ारिस्की घनत्व का एक अधिक बीजगणितीय प्रमाण नजमुद्दीन फखरुद्दीन द्वारा दिया गया था। $\mathbf {CP} ^{n}$ के बराबर सवृत समिश्र उपसमष्टिों को शून्य द्रव्यमान देने का एक और परिणाम यह है कि प्रत्येक बिंदु का द्रव्यमान शून्य है। जिसके परिणामस्वरूप $\mu _{f}$ के समर्थन $J^{*}(f)$ का कोई पृथक बिंदु नहीं है और इसलिए यह एक आदर्श समुच्चय है।

संतुलन माप का समर्थन $J^{*}(f)$ बहुत छोटा नहीं है, इस अर्थ में कि इसका हॉसडॉर्फ आयाम सदैव शून्य से अधिक होता है। उस अर्थ में 1 से अधिक घात के साथ समिश्र प्रक्षेप्य समष्टि का अंतराकारिता सदैव कम से कम समष्टि के भाग पर अव्यवस्थित व्यवहार करता है कुछ ऐसे उदाहरण हैं जहां $J^{*}(f)$ पूरी तरह से $\mathbf {CP} ^{n}$ है। यह इसको शुद्ध बनाने का एक और तरीका है कि f में कुछ अव्यवस्थित प्रकार है वह यह है कि f की सांस्थितिक एन्ट्रापी सदैव शून्य से अधिक होती है, वास्तव में मिखाइल ग्रोमोव, माइकल मिसिउरविक्ज़ और फेलिक्स प्रेज़िटिकी के अनुसार यह $n\log d$ के बराबर है।

अंत में किसी भी संतुलन माप के समर्थन पर F की गतिशीलता के विषय में अधिक कहा जा सकता है कि फोर्नेस और सिबोनी के अनुसार F एर्गोडिक है और अधिक दृढ़ता से उस माप के संबंध में समिश्र (गणित) है। उदाहरण के लिए यह इस प्रकार है कि $\mu _{f}$ के संबंध में लगभग प्रत्येक बिंदु के लिए इसकी आगे की कक्षा $\mu _{f}$ के संबंध में समान रूप से वितरित की जाती है।

लैटेस मानचित्र

लैटेस मानचित्र एक एबेलियन विविधता के अंतराकारिता से एक परिमित समूह द्वारा विभाजित करके प्राप्त $\mathbf {CP} ^{n}$ का एक अंतराकारिता F है। इस स्थिति में F का संतुलन माप लेब्सेग माप के संबंध में निरंतर माप $\mathbf {CP} ^{n}$ है। इसके विपरीत अन्ना ज़डुनिक, फ्रांकोइस बर्टेलूट और क्रिस्टोफ़ द्वारा, एकमात्र अंतराकारिता $\mathbf {CP} ^{n}$ जिसका संतुलन माप लेबेस्ग माप के संबंध में प्रायः निरंतर है यह एक लैटेस का उदाहरण हैं। अर्थात्, सभी गैर-लैट्स अंतराकारिता के लिए $\mu _{f}$ लेब्सगेग माप 0 के कुछ बोरेल समुच्चय को अपना पूर्ण द्रव्यमान 1 निर्दिष्ट करता है।

लैटेस मानचित्र के संतुलन माप से एक यादृच्छिक फलन $f(z)=(z-2)^{2}/z^{2}$ है और जूलिया समुच्चय $\mathbf {CP} ^{1}$ है।

गैर-लैटेस मानचित्र के संतुलन माप से एक यादृच्छिक फलन $f(z)=(z-2)^{4}/z^{4}$ जूलिया समुच्चय $\mathbf {CP} ^{1}$ है लेकिन संतुलन माप अत्यधिक अनियमित है।

आयाम 1 में संतुलन माप की अनियमितता के विषय में अधिक जानकारी है।अर्थात्, संभाव्यता माप $\mu$ के हॉसडॉर्फ़ आयाम को $\mathbf {CP} ^{1}$ पर या अधिक सामान्यतः समतल बहुरूपता पर परिभाषित करें:

$\dim(\mu )=\inf\{\dim _{H}(Y):\mu (Y)=1\},$

जहां $\dim _{H}(Y)$ बोरेल समुच्चय Y के हॉसडॉर्फ आयाम को दर्शाता है जिसकी 1 से अधिक घात के $\mathbf {CP} ^{1}$ के अंतराकारिता f के लिए ज़डुनिक ने दिखाया कि $\mu _{f}$ इसके समर्थन के हॉसडॉर्फ़ आयाम (जूलिया समुच्चय) के बराबर है यदि और केवल यदि f एक लैटेस मानचित्र एक चेबीशेव बहुपद (हस्ताक्षर तक) या एक पावर मानचित्र $f(z)=z^{\pm d}$ से संयुग्मित है तो अपराह्न $d\geq 2$ के साथ (बाद कि स्थितियों में, जूलिया समुच्चय क्रमशः एक सवृत अंतराल या एक वृत्त $\mathbf {CP} ^{1}$ का है। इस प्रकार, उन विशेष स्थितियों के बाहर संतुलन माप अत्यधिक अनियमित है जो धनात्मक द्रव्यमान प्रदान करता है जूलिया समुच्चय के कुछ सवृत उपसमुच्चय पूरे जूलिया समुच्चय की तुलना में छोटे हॉसडॉर्फ आयाम के साथ हैं।

प्रक्षेपी प्रकार की स्वचालितता

प्रक्षेपी स्वचालितता समिश्र गतिशीलता पुनरावृत्ति के अंतर्गत तर्कसंगत मानचित्रों के व्यवहार का वर्णन करना चाहती है। इस स्थिति मे जिसका कुछ सफलता के साथ अध्ययन किया गया है, वह एक समतल समिश्र प्रक्षेप्य विविधता X की स्वसमाकृतिकता है, जिसका अर्थ X से स्वयं तक स्वसमाकृतिकता F की स्थिति है जहां f एकल सह-समरूपता $H^{*}(X,\mathbf {Z} )$ पर गैर-तुच्छ रूप से कार्य करता है।

ग्रोमोव और योसेफ योमडिन ने दिखाया कि एक समतल समिश्र प्रक्षेपीय प्रकार की अंतराकारिता (उदाहरण के लिए, एक स्वसमाकृतिकता) की सांस्थितिक एन्ट्रॉपी सह-समरूपता पर इसकी विविधता निर्धारित होती है। स्पष्ट रूप से, समिश्र आयाम n और X के लिए $0\leq p\leq n$, माना कि $d_{p}$ हॉज सिद्धांत समूह पर पुलबैक द्वारा कार्य करने वाली f की वर्णक्रमीय त्रिज्या $H^{p,p}(X)\subset H^{2p}(X,\mathbf {C} )$ है और f की सांस्थितिक एन्ट्रापी है:

$h(f)=\max _{p}\log d_{p}.$

f की सांस्थितिक एन्ट्रॉपी संपूर्ण सह-समरूपता $H^{*}(X,\mathbf {C} )$ पर f के वर्णक्रमीय त्रिज्या का लघुगणक भी है। इस प्रकार f में इस अर्थ में कुछ अव्यवस्थित व्यवहार है कि इसकी सांस्थितिक एन्ट्रॉपी शून्य से अधिक है यदि और केवल यदि यह 1 से अधिक निरपेक्ष मान के आइगेन मान के साथ कुछ सह-समरूपता समूह पर कार्य करता है। कई प्रक्षेप्य विविधता में ऐसी स्वसमाकृतिकता नहीं होती है, लेकिन उदाहरण के लिए कई तर्कसंगत सतहों और K-3 सतहों में ऐसी स्वसमाकृतिकता होती है।

माना कि X एक संक्षिप्त काहलर बहुपद है, जिसमें एक समतल समिश्र प्रक्षेपीय प्रकार की स्थितियाँ सम्मिलित है। माना कि X के स्वसमाकृतिकता f में सह-समरूपता पर सरल निर्धारित होती है यदि केवल एक संख्या p है जैसे कि $d_{p}$ अपना अधिकतम मान लेता है और $H^{p,p}(X)$ पर f में केवल एक ही निरपेक्ष मान $d_{p}$ के साथ आइगेन मान और यह एक सरल आइगेन मान है। उदाहरण के लिए सर्ज कैंटैट ने दिखाया कि धनात्मक सांस्थितिक एन्ट्रॉपी के साथ संक्षिप्त काहलर सतह के प्रत्येक स्वसमाकृतिकता में सह-समरूपता पर सरल प्रक्रिया होती है। यहां एक "स्वसमाकृतिकता" समिश्र विश्लेषणात्मक है, लेकिन X पर काहलर आव्यूह को संरक्षित करने के लिए नहीं माना जाता है। वास्तव में प्रत्येक स्वसमाकृतिकता जो आव्यूह को संरक्षित करता है, उसमें सांस्थितिक एन्ट्रापी शून्य होती है।

सह-समरूपता पर सरल क्रिया के साथ एक स्वसमाकृतिकता F के लिए समिश्र गतिशीलता के कुछ लक्ष्यों को प्राप्त किया गया है। दीन्ह, सिबोनी और हेनरी डी थेलिन ने दिखाया कि F के लिए अधिकतम एन्ट्रापी का एक अद्वितीय अपरिवर्तनीय संभाव्यता माप $\mu _{f}$ है, जिसे संतुलन माप (या ग्रीन माप, या अधिकतम एन्ट्रापी का माप) कहा जाता है। विशेष रूप से $\mu _{f}$ में f के संबंध में एन्ट्रापी $\log d_{p}$ है। $\mu _{f}$ के समर्थन को छोटा जूलिया समुच्चय $J^{*}(f)$ कहा जाता है। अनौपचारिक रूप से f में कुछ अव्यवस्थित प्रक्रिया होता है और सबसे अव्यवस्थित प्रक्रिया छोटे जूलिया समुच्चय पर केंद्रित होती है। कम से कम जब अधिक शुद्ध रूप से या $\mu _{f}$ पर्याप्त रूप से छोटे हॉसडॉर्फ आयाम के सभी समुच्चयों को शून्य द्रव्यमान प्रदान करता है।

कुमेर स्वसमाकृतिकता

कुछ एबेलियन विविधता में धनात्मक एन्ट्रापी का स्वसमाकृतिकता होता है। उदाहरण के लिए मान लीजिए कि E एक समिश्र दीर्घवृत्तीय वक्र है और मान लीजिए कि X एबेलियन सतह $E\times E$ है। फिर व्युत्क्रमणीय $2\times 2$ पूर्णांक आव्यूहों का समूह $GL(2,\mathbf {Z} )$ पर कार्य करता है। कोई भी समूह तत्व f जिसका ट्रेस (रैखिक बीजगणित) का पूर्ण मान 2 से अधिक है, उदाहरण के लिए ${\begin{pmatrix}2&1\\1&1\end{pmatrix}}$, का वर्णक्रमीय त्रिज्या 1 से अधिक है और इसलिए यह X का एक धनात्मक-एन्ट्रॉपी स्वसमाकृतिकता देता है और F की संतुलन माप X पर हार माप (मानक लेबेस्ग माप) है।

कुमेर स्वसमाकृतिकता को स्वसमाकृतिकता के साथ एबेलियन सतह के एक सीमित समूह द्वारा भागफल समष्टि लेकर और फिर सतह को समतल बनाने के लिए विस्तृत रूप मे परिभाषित किया जाता है। परिणामी सतहों में कुछ विशेष K-3 सतहें और तर्कसंगत सतहें सम्मिलित हैं। कुमेर स्वसमाकृतिकता के लिए संतुलन माप में X के बराबर समर्थन होता है और कई वक्रों के बाहर समतल होता है। इसके विपरीत, कैंटैट और ड्पॉयून्ट ने दिखाया कि कुमेर उदाहरणों को छोड़कर धनात्मक एन्ट्रापी की सभी सतह स्वसमाकृतिकता के लिए लेबेस्ग माप के संबंध में संतुलन माप बिल्कुल निरंतर नहीं है। इस अर्थ में स्वसमाकृतिकता की संतुलन माप का कुछ भाग अनियमित होना सामान्य है।

सैडल आवधिक बिंदु

F के एक आवधिक बिंदु z को सैडल आवधिक बिंदु कहा जाता है, यदि एक धनात्मक पूर्णांक r के लिए ऐसा हो कि $f^{r}(z)=z$ पर स्पर्शरेखा समष्टि पर $f^{r}$ के व्युत्पन्न का कम से कम एक आइगेन मान का निरपेक्ष मान 1 से कम है, कम से कम एक का निरपेक्ष मान 1 से अधिक है, और किसी का भी निरपेक्ष मान 1 के बराबर नहीं है। इस प्रकार f कुछ दिशाओं में विस्तार कर रहा है और दूसरों पर z के निकट संक्षिप्त है। सह-समरूपता पर सरल क्रिया के साथ एक स्वसमाकृतिकता f के लिए आवधिक बिंदु संतुलन माप $\mu _{f}$ के समर्थन $J^{*}(f)$ में सघन हैं। दूसरी ओर माप $\mu _{f}$ सवृत समिश्र उप-समष्टिों पर लुप्त हो जाता है जो X के बराबर नहीं है। यह इस प्रकार है कि f के आवधिक बिंदु (या यहां तक ​​कि केवल $\mu _{f}$ के समर्थन में निहित सैडल आवधिक बिंदु) X में ज़ारिस्की घनत्व हैं।

सह-समरूपता पर सरल क्रिया के साथ एक स्वसमाकृतिकता F के लिए F और इसका व्युत्क्रम मानचित्र एर्गोडिक है और अधिक दृढ़ता से संतुलन माप $\mu _{f}$ के संबंध में मिश्रण करता है। इसका तात्पर्य यह है कि $\mu _{f}$ के संबंध में लगभग प्रत्येक बिंदु z के लिए z की आगे और पीछे की कक्षाएँ $\mu _{f}$ के संबंध में समान रूप से वितरित की जाती हैं।

$\mathbf {CP} ^{n}$ के अंतराकारिता की स्थिति में एक उल्लेखनीय अंतर यह है कि सह-समरूपता पर सरल प्रक्रिया के साथ एक स्वसमाकृतिकता F के लिए X का एक गैर-रिक्त विवृत उपसमुच्चय हो सकता है, जिस पर न तो आगे और न ही पीछे की कक्षाएँ समर्थन J^ तक अभिगम्य होती हैं। संतुलन माप का $J^{*}(f)$ उदाहरण के लिए एरिक बेडफोर्ड, क्यूंघी किम और कर्टिस मैकमुलेन ने धनात्मक सांस्थितिक एन्ट्रापी (इसलिए सह-समरूपता पर सरल प्रक्रिया) के साथ एक समतल प्रक्षेप्य तर्कसंगत सतह के स्वसमाकृतिकता F का निर्माण किया, जैसे कि F में एक सीगल वक्र है, जिस पर F की प्रक्रिया एक से संयुग्मित है और तर्कहीन घूर्णन उस विवृत समुच्चय में बिंदु कभी भी f या इसके व्युत्क्रम की क्रिया के अंतर्गत $J^{*}(f)$ तक नहीं जाता हैं।

कम से कम समिश्र आयाम 2 में F का संतुलन माप F के पृथक आवधिक बिंदुओं के वितरण का वर्णन करता है। F पुनरावृत्त द्वारा निर्धारित समिश्र वक्र भी हो सकते हैं, जिन्हें यहां अस्वीकृत कर दिया गया है। अर्थात्, मान लीजिए कि F धनात्मक सांस्थितिक एन्ट्रापी $h(f)=\log d_{1}$ के साथ एक संक्षिप्त काहलर सतह X का स्वसमाकृतिकता है। संभाव्यता माप पर विचार करें जो कि समय r के अलग-अलग आवधिक बिंदुओं पर समान रूप से वितरित किया जाता है जिसका अर्थ है कि $f^{r}(z)=z$ एरिक बेडफोर्ड, ल्युबिच और जॉन स्मिली (गणितज्ञ) के अनुसार जब r अनंत तक जाता है तो यह माप दुर्बल रूप से $\mu _{f}$ में परिवर्तित हो जाती है। सैडल आवधिक बिंदुओं के उपसमुच्चय के लिए भी यह प्रक्रिया प्रयुक्त होती है, क्योंकि सैडल आवधिक बिंदुओं के दोनों समुच्चय $(d_{1})^{r}$ की दर से बढ़ते हैं।

यह भी देखें

• समिश्र आयाम 1 में गतिशीलता
  • समिश्र विश्लेषण
  • समिश्र द्विघात बहुपद
  • विश्लेषणात्मक फलनों की अनंत रचनाएँ
  • मॉन्टेल का प्रमेय
  • पोंकारे आव्यूह
  • ब्लैक लेम्मा
  • रीमैन मानचित्रण प्रमेय
  • कैराथोडोरी का प्रमेय (अनुरूप मानचित्रण)
  • बॉटचर का समीकरण
  • कक्ष चित्र
  • जीन-क्रिस्टोफ़ योकोज़

• गतिकी के संबंधित क्षेत्र
  • अंकगणितीय गतिशीलता
  • अव्यवस्थितता सिद्धांत
  • प्रतीकात्मक गतिशीलता

संदर्भ

• Alexander, Daniel (1994), A history of complex dynamics: from Schröder to Fatou and Julia, Vieweg Verlag, doi:10.1007/978-3-663-09197-4, ISBN 3-528-06520-6, MR 1260930
• Beardon, Alan (1991), Iteration of rational functions: complex analytic dynamical systems, Springer-Verlag, ISBN 0-387-97589-6, MR 1128089
• Berteloot, François; Dupont, Christophe (2005), "Une caractérisation des endomorphismes de Lattès par leur mesure de Green", Commentarii Mathematici Helvetici, 80 (2): 433–454, arXiv:math/0501034, doi:10.4171/CMH/21, MR 2142250
• Bonifant, Araceli; Lyubich, Mikhail; Sutherland, Scott, eds. (2014), Frontiers in complex dynamics: in celebration of John Milnor's 80th birthday, Princeton University Press, doi:10.1515/9781400851317, ISBN 978-0-691-15929-4, MR 3289442
• Cantat, Serge (2010), "Quelques aspects des systèmes dynamiques polynomiaux: existence, exemples, rigidité", Quelques aspects des systèmes dynamiques polynomiaux, Société Mathématique de France, pp. 13–95, ISBN 978-2-85629-338-6, MR 2932433
• Cantat, Serge (2014), "Dynamics of automorphisms of compact complex surfaces", Frontiers in complex dynamics (Banff, 2011), Princeton University Press, pp. 463–514, ISBN 978-0-691-15929-4, MR 3289919
• Cantat, Serge; Dupont, Christophe (2020), "Automorphisms of surfaces: Kummer rigidity and measure of maximal entropy", Journal of the European Mathematical Society, 22 (4): 1289–1351, arXiv:1410.1202, doi:10.4171/JEMS/946, MR 4071328
• Carleson, Lennart; Gamelin, Theodore (1993), Complex dynamics, Springer-Verlag, doi:10.1007/978-1-4612-4364-9, ISBN 0-387-97942-5, MR 1230383
• de Thélin, Henry; Dinh, Tien-Cuong (2012), "Dynamics of automorphisms on compact Kähler manifolds", Advances in Mathematics, 229 (5): 2640–2655, arXiv:1009.5796, doi:10.1016/j.aim.2012.01.014, MR 2889139
• Dinh, Tien-Cuong; Sibony, Nessim (2010), "Dynamics in several complex variables: endomorphisms of projective spaces and polynomial-like mappings", Holomorphic dynamical systems, Lecture Notes in Mathematics, vol. 1998, Springer-Verlag, pp. 165–294, arXiv:0810.0811, doi:10.1007/978-3-642-13171-4_4, ISBN 978-3-642-13170-7, MR 2648690
• Dinh, Tien-Cuong; Sibony, Nessim (2010), "Super-potentials for currents on compact Kähler manifolds and dynamics of automorphisms", Journal of Algebraic Geometry, 19 (3): 473–529, arXiv:0804.0860, doi:10.1090/S1056-3911-10-00549-7, MR 2629598
• Fakhruddin, Najmuddin (2003), "Questions on self maps of algebraic varieties", Journal of the Ramanujan Mathematical Society, 18 (2): 109–122, arXiv:math/0212208, MR 1995861
• Fornaess, John Erik (1996), Dynamics in several complex variables, American Mathematical Society, ISBN 978-0-8218-0317-2, MR 1363948
• Fornaess, John Erik; Sibony, Nessim (2001), "Dynamics of $\mathbf {P} ^{2}$ (examples)", Laminations and foliations in dynamics, geometry and topology (Stony Brook, 1998), American Mathematical Society, pp. 47–85, doi:10.1090/conm/269/04329, ISBN 978-0-8218-1985-2, MR 1810536
• Guedj, Vincent (2010), "Propriétés ergodiques des applications rationnelles", Quelques aspects des systèmes dynamiques polynomiaux, Société Mathématique de France, pp. 97–202, arXiv:math/0611302, ISBN 978-2-85629-338-6, MR 2932434
• Milnor, John (2006), Dynamics in one complex variable (3rd ed.), Princeton University Press, arXiv:math/9201272, doi:10.1515/9781400835539, ISBN 0-691-12488-4, MR 2193309
• Morosawa, Shunsuke; Nishimura, Yasuichiro; Taniguchu, Masahiko; Ueda, Tetsuo (2000), Holomorphic dynamics, Cambridge University Press, ISBN 0-521-66258-3, MR 1747010
• Tan, Lei, ed. (2000), The Mandelbrot set, theme and variations, London Mathematical Society Lecture Note Series, vol. 274, Cambridge University Press, ISBN 0-521-77476-4, MR 1765080
• Zdunik, Anna (1990), "Parabolic orbifolds and the dimension of the maximal measure for rational maps", Inventiones Mathematicae, 99 (3): 627–649, doi:10.1007/BF01234434, MR 1032883

बाहरी संबंध

• Gallery of dynamics (Curtis McMullen)
• Surveys in Dynamical Systems