श्वार्ज़ियन व्युत्पन्न

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

परिभाषा

जटिल चर z के होलोमोर्फिक फ़ंक्शन f के श्वार्ज़ियन व्युत्पन्न को परिभाषित किया गया है

$(Sf)(z)=\left({\frac {f''(z)}{f'(z)}}\right)'-{\frac {1}{2}}\left({\frac {f''(z)}{f'(z)}}\right)^{2}={\frac {f'''(z)}{f'(z)}}-{\frac {3}{2}}\left({\frac {f''(z)}{f'(z)}}\right)^{2}.$

वही सूत्र एक वास्तविक चर के C³ फ़ंक्शन के श्वार्ज़ियन व्युत्पन्न को भी परिभाषित करता है। वैकल्पिक संकेतन

$\{f,z\}=(Sf)(z)$

अक्सर प्रयोग किया जाता है।

गुण

किसी भी मोबियस परिवर्तन का श्वार्ज़ियन व्युत्पन्न

$g(z)={\frac {az+b}{cz+d}}$

शून्य है। इसके विपरीत, मोबियस परिवर्तन इस गुण का एकमात्र फ़ंक्शन हैं। इस प्रकार, श्वार्ज़ियन व्युत्पन्न सटीक रूप से उस डिग्री को मापता है जिस तक कोई फ़ंक्शन मोबियस परिवर्तन होने में विफल रहता है।

अगर g एक मोबियस परिवर्तन है, तो रचना g o f में f के समान श्वार्ज़ियन व्युत्पन्न है; और दूसरी ओर, f o g का श्वार्ज़ियन व्युत्पन्न श्रृंखला नियम द्वारा दिया गया है

$(S(f\circ g))(z)=(Sf)(g(z))\cdot g'(z)^{2}.$

अधिक सामान्यतः, किसी भी पर्याप्त रूप से भिन्न फलन f और g के लिए

$S(f\circ g)=\left((Sf)\circ g\right)\cdot (g')^{2}+Sg.$

जब f और g सुचारू वास्तविक-मूल्य वाले फ़ंक्शन होते हैं, तो इसका मतलब है कि नकारात्मक (या सकारात्मक) श्वार्ज़ियन वाले फ़ंक्शन के सभी पुनरावृत्ति नकारात्मक (सम्मान सकारात्मक) रहेंगे, जो एक-आयामी गतिशील प्रणाली के अध्ययन में उपयोग का एक तथ्य है।

दो जटिल चरों के फ़ंक्शन का परिचय

$F(z,w)=\log \left({\frac {f(z)-f(w)}{z-w}}\right),$

इसका दूसरा मिश्रित आंशिक अवकलज किसके द्वारा दिया गया है?

${\frac {\partial ^{2}F(z,w)}{\partial z\,\partial w}}={f^{\prime }(z)f^{\prime }(w) \over (f(z)-f(w))^{2}}-{1 \over (z-w)^{2}},$

और श्वार्ज़ियन व्युत्पन्न सूत्र द्वारा दिया गया है:

$(Sf)(w)=\left.6\cdot {\partial ^{2}F(z,w) \over \partial z\,\partial w}\right\vert _{z=w}.$

श्वार्ज़ियन व्युत्पन्न में एक सरल व्युत्क्रम सूत्र है, जो आश्रित और स्वतंत्र चर का आदान-प्रदान करता है। किसी के पास

$(Sw)(v)=-\left({\frac {dw}{dv}}\right)^{2}(Sv)(w)$

या अधिक स्पष्ट रूप से, $Sf+(f')^{2}((Sf^{-1})\circ f)=0$. यह उपरोक्त श्रृंखला नियम का अनुसरण करता है।

ज्यामितीय व्याख्या

विलियम थर्स्टन ने श्वार्ज़ियन व्युत्पन्न की व्याख्या इस माप के रूप में की है कि एक अनुरूप मानचित्र मोबियस परिवर्तन से कितना विचलित होता है।होने देना $f$ के पड़ोस में एक अनुरूप मानचित्रण हो $z_{0}\in \mathbb {C}$. फिर एक अनोखा मोबियस परिवर्तन मौजूद है $M$ ऐसा है कि $M,f$ पर समान 0, 1, 2-वें क्रम के डेरिवेटिव हैं $z_{0}$.

अब $(M^{-1}\circ f)(z-z_{0})=z_{0}+(z-z_{0})+{\frac {1}{6}}a(z-z_{0})^{3}+\cdots$. स्पष्ट रूप से हल करने के लिए $a$, यह मामले को सुलझाने के लिए पर्याप्त है $z_{0}=0$. होने देना $M^{-1}(z)={\frac {Az+B}{Cz+1}}$, और के लिए हल करें $A,B,C$ इससे पहले तीन गुणांक बनेंगे $M^{-1}\circ f$ 0, 1, 0 के बराबर। इसे चौथे गुणांक में जोड़ने पर, हमें मिलता है $a=(Sf)(z_{0})$.

जटिल तल के अनुवाद, घूर्णन और स्केलिंग के बाद, हमारे पास है $(M^{-1}\circ f)(z)=z+z^{3}+O(z^{4})$ शून्य के पड़ोस में. फिर, तीसरे क्रम तक, यह फ़ंक्शन त्रिज्या के वृत्त को मैप करता है $r$ द्वारा परिभाषित वक्र के लिए $(r\cos \theta +r^{3}\cos 3\theta ,r\sin \theta +r^{3}\sin 3\theta )$, कहाँ $\theta \in [0,2\pi ]$. यह वक्र, चौथे क्रम तक, अर्धअक्षों वाला एक दीर्घवृत्त है $r+r^{3},r-r^{3}$:

$${\frac {(r\cos \theta +r^{3}\cos 3\theta )^{2}}{(r+r^{3})^{2}}}+{\frac {(r\sin \theta +r^{3}\sin 3\theta )^{2}}{(r-r^{3})^{2}}}=1+8r^{4}\sin ^{2}(2\theta )+O(r^{6})$$

चूंकि मोबियस परिवर्तन हमेशा वृत्तों को वृत्तों या रेखाओं में मैप करता है, अण्डाकार-नेस की मात्रा विचलन को मापती है $f$ मोबियस परिवर्तन से।

विभेदक समीकरण

श्वार्ज़ियन व्युत्पन्न का जटिल तल में दूसरे क्रम के रैखिक साधारण अंतर समीकरण के साथ एक मौलिक संबंध है। होने देना $f_{1}(z)$ और $f_{2}(z)$ के दो रोन्स्कियन होलोमोर्फिक फ़ंक्शन समाधान बनें

${\frac {d^{2}f}{dz^{2}}}+Q(z)f(z)=0.$

फिर अनुपात $g(z)=f_{1}(z)/f_{2}(z)$ संतुष्ट

$(Sg)(z)=2Q(z)$

जिस डोमेन पर $f_{1}(z)$ और $f_{2}(z)$ परिभाषित हैं, और $f_{2}(z)\neq 0.$ इसका विपरीत भी सत्य है: यदि ऐसा है g मौजूद है, और यह एक सरल रूप से जुड़े डोमेन पर होलोमोर्फिक है, फिर दो समाधान हैं $f_{1}$ और $f_{2}$ पाया जा सकता है, और इसके अलावा, ये एक सामान्य पैमाने के कारक तक अद्वितीय हैं।

जब एक रैखिक दूसरे क्रम के साधारण अंतर समीकरण को उपरोक्त रूप में लाया जा सकता है, तो परिणाम प्राप्त होता है Q को कभी-कभी समीकरण का Q-मान कहा जाता है।

ध्यान दें कि गॉसियन हाइपरज्यामितीय विभेदक समीकरण को उपरोक्त फॉर्म में लाया जा सकता है, और इस प्रकार हाइपरजियोमेट्रिक समीकरण के समाधान के जोड़े इस तरह से संबंधित हैं।

असमानता के लिए शर्तें

अगर f यूनिट डिस्क पर एक होलोमोर्फिक फ़ंक्शन है, D, फिर डब्ल्यू क्रॉस (1932) और ज़ीव नेहारी (1949) ने साबित किया कि इसके लिए एक आवश्यक शर्त है fअसंयोजक फलन होना है

$|S(f)|\leq 6(1-|z|^{2})^{-2}.$

इसके विपरीत यदि f(z) एक होलोमोर्फिक फ़ंक्शन है D संतुष्टि देने वाला

$|S(f)(z)|\leq 2(1-|z|^{2})^{-2},$

थें नेहरि प्रोवेद ठाट f एकसमान है. विशेष रूप से एकरूपता के लिए पर्याप्त शर्त है

$|S(f)|\leq 2.$

वृत्ताकार चाप बहुभुजों का अनुरूप मानचित्रण

श्वार्ज़ियन व्युत्पन्न और संबंधित दूसरे क्रम के साधारण अंतर समीकरण का उपयोग ऊपरी आधे-तल या यूनिट सर्कल और जटिल विमान में किसी भी घिरे बहुभुज के बीच रीमैन मैपिंग को निर्धारित करने के लिए किया जा सकता है, जिसके किनारे गोलाकार चाप या सीधी रेखाएं हैं। सीधे किनारों वाले बहुभुजों के लिए, यह श्वार्ज़-क्रिस्टोफेल मैपिंग को कम कर देता है, जिसे श्वार्ज़ियन व्युत्पन्न का उपयोग किए बिना सीधे प्राप्त किया जा सकता है। एकीकरण के स्थिरांक के रूप में उत्पन्न होने वाले सहायक पैरामीटर दूसरे क्रम के अंतर समीकरण के साधारण अंतर समीकरणों के वर्णक्रमीय सिद्धांत से संबंधित हैं। पहले से ही 1890 में फ़ेलिक्स क्लेन ने लैमे फ़ंक्शन|लैमे अंतर समीकरण के संदर्भ में चतुर्भुजों के मामले का अध्ययन किया था। होने देना Δकोणों वाला एक वृत्ताकार चाप बहुभुज हो πα₁, ..., πα_n दक्षिणावर्त क्रम में। होने देना f : H → Δ सीमाओं के बीच के मानचित्र तक लगातार विस्तारित एक होलोमोर्फिक मानचित्र बनें। मान लीजिए कि शीर्ष बिंदुओं के अनुरूप हैं a₁, ..., a_n वास्तविक अक्ष पर। तब p(x) = S(f)(x) के लिए वास्तविक मूल्यवान है x वास्तविक और बिंदुओं में से एक नहीं। श्वार्ज प्रतिबिंब सिद्धांत द्वारा p(x) दोहरे ध्रुव के साथ जटिल तल पर एक तर्कसंगत कार्य तक विस्तारित होता है a_i:

$p(z)=\sum _{i=1}^{n}{\frac {(1-\alpha _{i}^{2})}{2(z-a_{i})^{2}}}+{\frac {\beta _{i}}{z-a_{i}}}.$

असली संख्या β_i सहायक पैरामीटर कहलाते हैं। वे तीन रैखिक बाधाओं के अधीन हैं:

$\sum \beta _{i}=0$

$\sum 2a_{i}\beta _{i}+\left(1-\alpha _{i}^{2}\right)=0$

$\sum a_{i}^{2}\beta _{i}+a_{i}\left(1-\alpha _{i}^{2}\right)=0$

जो के गुणांकों के लुप्त होने के अनुरूप है $z^{-1},z^{-2}$ और $z^{-3}$ के विस्तार में p(z) आस-पास z = ∞. मानचित्रण f(z) को फिर इस प्रकार लिखा जा सकता है

$f(z)={u_{1}(z) \over u_{2}(z)},$

कहाँ $u_{1}(z)$ और $u_{2}(z)$ रैखिक दूसरे क्रम के साधारण अंतर समीकरण के रैखिक रूप से स्वतंत्र होलोमोर्फिक समाधान हैं

$u^{\prime \prime }(z)+{\tfrac {1}{2}}p(z)u(z)=0.$

वहाँ हैं n−3 रैखिक रूप से स्वतंत्र सहायक पैरामीटर, जिन्हें व्यवहार में निर्धारित करना मुश्किल हो सकता है।

एक त्रिभुज के लिए, कब n = 3, कोई सहायक पैरामीटर नहीं हैं। साधारण अंतर समीकरण हाइपरज्यामितीय अंतर समीकरण के बराबर है और f(z) श्वार्ज़ त्रिकोण फ़ंक्शन है, जिसे हाइपरजियोमेट्रिक फ़ंक्शन के संदर्भ में लिखा जा सकता है।

एक चतुर्भुज के लिए सहायक पैरामीटर एक स्वतंत्र चर पर निर्भर करते हैंλ. लिखना U(z) = q(z)u(z) के उपयुक्त विकल्प के लिए q(z), साधारण अवकल समीकरण का रूप लेता है

$a(z)U^{\prime \prime }(z)+b(z)U^{\prime }(z)+(c(z)+\lambda )U(z)=0.$

इस प्रकार $q(z)u_{i}(z)$ अंतराल पर स्टर्म-लिउविल समीकरण के eigenfunctions हैं $[a_{i},a_{i+1}]$. स्टर्म पृथक्करण प्रमेय के अनुसार, गायब न होना $u_{2}(z)$ ताकतों λ सबसे कम eigenvalue होना।

टेइचमुलर स्पेस पर जटिल संरचना

यूनिवर्सल टेइचमुलर स्पेस को यूनिट डिस्क के वास्तविक विश्लेषणात्मक क्वासिकोनफॉर्मल मैपिंग के स्थान के रूप में परिभाषित किया गया है D, या समकक्ष ऊपरी आधा तल H, अपने आप में, दो मैपिंग को समतुल्य माना जाता है यदि सीमा पर एक मोबियस परिवर्तन के साथ रचना द्वारा दूसरे से प्राप्त किया जाता है। पहचान करना D रीमैन क्षेत्र के निचले गोलार्ध के साथ, कोई भी अर्ध-अनुरूप स्व-मानचित्र {{math|f}निचले गोलार्ध का } स्वाभाविक रूप से ऊपरी गोलार्ध के अनुरूप मानचित्रण से मेल खाता है ${\tilde {f}}$ खुद पर. वास्तव में ${\tilde {f}}$ बेल्ट्रामी अंतर समीकरण के समाधान के ऊपरी गोलार्ध के प्रतिबंध के रूप में निर्धारित किया जाता है

${\frac {\partial F}{\partial {\bar {z}}}}=\mu (z){\frac {\partial F}{\partial z}},$

जहां μ द्वारा परिभाषित परिबद्ध मापनीय फलन है

$\mu (z)={\frac {\partial f}{\partial {\bar {z}}}}{\bigg /}{\frac {\partial f}{\partial z}}$

निचले गोलार्ध पर, ऊपरी गोलार्ध पर 0 तक विस्तारित।

ऊपरी गोलार्ध की पहचान के साथ D, लिपमैन बेर्स ने बेर्स एम्बेडिंग को परिभाषित करने के लिए श्वार्ज़ियन व्युत्पन्न का उपयोग किया

$g=S({\tilde {f}}),$

जो सार्वभौमिक टेइचमुलर स्पेस को एक खुले उपसमुच्चय में एम्बेड करता है U परिबद्ध होलोमोर्फिक फ़ंक्शंस के स्थान का g पर D एकसमान मानदंड के साथ। फ्रेडरिक गेहरिंग ने 1977 में यह करके दिखाया U एकसमान फलनों के श्वार्ज़ियन व्युत्पन्नों के बंद उपसमुच्चय का आंतरिक भाग है। एक कॉम्पैक्ट रीमैन सतह के लिए S 1 से अधिक जीनस का, इसका सार्वभौमिक आवरण स्थान इकाई डिस्क है Dजिस पर इसका मूल समूह है Γ मोबियस परिवर्तनों द्वारा कार्य करता है। टेइचमुलर क्षेत्र S को यूनिवर्सल टीचमुलर स्पेस इनवेरिएंट के उप-स्थान के साथ पहचाना जा सकता है Γ. होलोमोर्फिक कार्य g उसके पास वह संपत्ति है

$g(z)\,dz^{2}$

के अंतर्गत अपरिवर्तनीय है Γ, इसलिए द्विघात अंतर निर्धारित करें S. इस प्रकार, टीचमुलर स्थान S को द्विघात अंतरों के परिमित-आयामी जटिल वेक्टर स्थान के एक खुले उप-स्थान के रूप में महसूस किया जाता है S.

वृत्त का द्विरूपता समूह

क्रॉस्ड होमोमोर्फिज्म

परिवर्तन संपत्ति

$S(f\circ g)=\left(S(f)\circ g\right)\cdot (g')^{2}+S(g).$

श्वार्ज़ियन व्युत्पन्न को सर्कल पर डिग्री 2 के घनत्व के मॉड्यूल में गुणांक के साथ सर्कल के डिफोमोर्फिज्म समूह के निरंतर 1-कोसाइकल या पार समरूपता के रूप में व्याख्या करने की अनुमति देता है। होने देना F_λ(S¹)डिग्री के टेंसर घनत्व का स्थान हो λ पर S¹. अभिविन्यास-संरक्षण भिन्नताओं का समूह S¹, Diff(S¹), पर कार्य करता है F_λ(S¹) पुशफॉरवर्ड (अंतर) के माध्यम से। अगर f का एक तत्व है Diff(S¹) फिर मैपिंग पर विचार करें

$f\to S(f^{-1}).$

समूह सहसंरचना की भाषा में ऊपर दिया गया चेन-जैसा नियम कहता है कि यह मैपिंग 1-कोसाइकल पर है Diff(S¹) में गुणांक के साथ F₂(S¹). वास्तव में

$H^{1}({\text{Diff}}(\mathbf {S} ^{1});F_{2}(\mathbf {S} ^{1}))=\mathbf {R}$

और 1-कोसायकल सहसंयोजी उत्पन्न करता है f → S(f⁻¹). 1-कोहोमोलॉजी की गणना अधिक सामान्य परिणाम का एक विशेष मामला है

$H^{1}({\text{Diff}}(\mathbf {S} ^{1});F_{\lambda }(\mathbf {S} ^{1}))=\mathbf {R} \,\,\mathrm {for} \,\,\lambda =0,1,2\,\,\mathrm {and} \,\,(0)\,\,\mathrm {otherwise.}$

ध्यान दें कि यदि G एक समूह है और M ए G-मॉड्यूल, फिर एक क्रॉस्ड होमोमोर्फिज्म को परिभाषित करने वाली पहचान c का G में M को समूहों के मानक समरूपता के संदर्भ में व्यक्त किया जा सकता है: यह एक समरूपता में एन्कोड किया गया है 𝜙 का G अर्धप्रत्यक्ष उत्पाद में $M\rtimes G$ ऐसी है कि की रचना 𝜙 प्रक्षेपण के साथ $M\rtimes G$ पर G पहचान मानचित्र है; पत्राचार मानचित्र द्वारा होता है C(g) = (c(g), g). क्रॉस्ड होमोमोर्फिज्म एक वेक्टर स्पेस बनाते हैं और इसमें उप-स्पेस के रूप में कोबाउंडरी क्रॉस्ड होमोमोर्फिज्म शामिल होते हैं b(g) = g ⋅ m − m के लिए m में M. एक साधारण औसत तर्क यह दर्शाता है कि, यदि K एक सघन समूह है और V एक टोपोलॉजिकल वेक्टर स्पेस जिस पर K लगातार कार्य करता है, तो उच्च कोहोलॉजी समूह गायब हो जाते हैं H^m(K, V) = (0) के लिए m > 0. विशेष रूप से 1-कोसाइकिल के लिए χ साथ

$\chi (xy)=\chi (x)+x\cdot \chi (y),$

औसत से अधिक y, हार माप के बाएँ अपरिवर्तनीय का उपयोग करते हुए K देता है

$\chi (x)=m-x\cdot m,$

साथ

$m=\int _{K}\chi (y)\,dy.$

इस प्रकार औसत से यह माना जा सकता है c सामान्यीकरण की स्थिति को संतुष्ट करता है c(x) = 0 के लिए x में Rot(S¹). ध्यान दें कि यदि कोई तत्व है x में G संतुष्ट करता है c(x) = 0 तब C(x) = (0,x). लेकिन तब से C एक समरूपता है, C(xgx⁻¹) = C(x)C(g)C(x)⁻¹, ताकि c समतुल्य स्थिति को संतुष्ट करता है c(xgx⁻¹) = x ⋅ c(g). इस प्रकार यह माना जा सकता है कि सहचक्र इन सामान्यीकरण शर्तों को पूरा करता है Rot(S¹). श्वार्ज़ियन व्युत्पन्न वास्तव में जब भी गायब हो जाता है x एक मोबियस परिवर्तन के अनुरूप है SU(1,1). नीचे चर्चा की गई अन्य दो 1-चक्र केवल गायब हो जाते हैं Rot(S¹) (λ = 0, 1).

इस परिणाम का एक अत्यंत छोटा संस्करण है जो 1-कोसाइकल देता है Vect(S¹), चिकने सदिश क्षेत्रों का बीजगणित, और इसलिए विट बीजगणित के लिए, त्रिकोणमितीय बहुपद सदिश क्षेत्रों का उपबीजगणित। दरअसल, जब G एक झूठ समूह और की कार्रवाई है G पर M सुचारू है, लाई बीजगणित (पहचान पर समरूपता के व्युत्पन्न) के संगत समरूपता को ले कर प्राप्त किए गए पार समरूपता का एक झूठ बीजगणितीय संस्करण है। यह भी समझ आता है Diff(S¹) और 1-कोसाइकिल की ओर ले जाता है

$s\left(f\,{d \over d\theta }\right)={d^{3}f \over d\theta ^{3}}\,(d\theta )^{2}$

जो पहचान को संतुष्ट करता है

$s([X,Y])=X\cdot s(Y)-Y\cdot s(X).$

ली बीजगणित मामले में, सह-सीमा मानचित्रों का रूप होता है b(X) = X ⋅ m के लिए m में M. दोनों ही मामलों में 1-कोहोमोलॉजी को क्रॉस्ड होमोमोर्फिज्म मॉड्यूलो कोबाउंड्रीज़ के स्थान के रूप में परिभाषित किया गया है। समूह समरूपता और लाई बीजगणित समरूपता के बीच प्राकृतिक पत्राचार वैन एस्ट समावेशन मानचित्र की ओर ले जाता है

$H^{1}(\operatorname {Diff} (\mathbf {S} ^{1});F_{\lambda }(\mathbf {S} ^{1}))\hookrightarrow H^{1}(\operatorname {Vect} (\mathbf {S} ^{1});F_{\lambda }(\mathbf {S} ^{1})),$

इस तरह से गणना को झूठ बीजगणित सहसंरचना तक कम किया जा सकता है। निरंतरता से यह क्रॉस होमोमोर्फिज्म की गणना को कम कर देता है 𝜙 विट बीजगणित में F_λ(S¹). समूह पार समरूपता पर सामान्यीकरण की स्थिति निम्नलिखित अतिरिक्त शर्तों को दर्शाती है 𝜙:

$\varphi (\operatorname {Ad} (x)X)=x\cdot \varphi (X),\,\,\varphi (d/d\theta )=0$

के लिए x में Rot(S¹).

की परिपाटी का पालन कर रहे हैं Kac & Raina (1987), विट बीजगणित का एक आधार दिया गया है

$d_{n}=ie^{in\theta }\,{d \over d\theta }$

ताकि [d_m,d_n] = (m – n) d_{m + n}. की जटिलता के लिए एक आधार F_λ(S¹) द्वारा दिया गया है

$v_{n}=e^{in\theta }\,(d\theta )^{\lambda },$

ताकि

$d_{m}\cdot v_{n}=-(n+\lambda m)v_{n+m},\,\,g_{\zeta }\cdot v_{n}=\zeta ^{n}v_{n},$

के लिए g_ζ में Rot(S¹) = T. ये मजबूर करता है 𝜙(d_n) = a_n ⋅ v_n उपयुक्त गुणांकों के लिए a_n. पार की गई समरूपता स्थिति 𝜙([X,Y]) = X𝜙(Y) – Y𝜙(X) के लिए पुनरावृत्ति संबंध देता है a_n:

$(m-n)a_{m+n}=(m+\lambda n)a_{m}-(n+\lambda m)a_{n}.$

स्थिति 𝜙(d/dθ) = 0, इसका आशय है a₀ = 0. इस स्थिति और पुनरावृत्ति संबंध से, यह पता चलता है कि अदिश गुणज तक, इसका एक अद्वितीय गैर-शून्य समाधान होता है जब λ 0, 1 या 2 के बराबर है और अन्यथा केवल शून्य समाधान है। के लिए समाधान λ = 1 समूह 1-कोसाइकिल से मेल खाता है $\varphi _{1}(f)=f^{\prime \prime }/f^{\prime }\,d\theta$. के लिए समाधान λ = 0 समूह 1-कोसाइकिल से मेल खाता है 𝜙₀(f) = log f' . संबंधित लाई बीजगणित 1-कोसाइकिल के लिए λ = 0, 1, 2 को एक अदिश गुणज तक दिया जाता है

$\varphi _{\lambda }\left(F{d \over d\theta }\right)={d^{\lambda +1}F \over d\theta ^{\lambda +1}}\,(d\theta )^{\lambda }.$

केंद्रीय विस्तार

पार की गई समरूपताएं बदले में केंद्रीय विस्तार को जन्म देती हैं Diff(S¹) और इसके झूठ बीजगणित की Vect(S¹), तथाकथित विरासोरो बीजगणित।

सहसंयुक्त क्रिया

समूह Diff(S¹) और इसका केंद्रीय विस्तार टेइचमुलर सिद्धांत और स्ट्रिंग सिद्धांत के संदर्भ में भी स्वाभाविक रूप से दिखाई देता है। वास्तव में की होमोमोर्फिज्म S¹ के क्वासिकोनफॉर्मल स्व-मानचित्रों से प्रेरित D बिल्कुल अर्धसममितीय मानचित्र हैं S¹; ये बिल्कुल होमोमोर्फिज्म हैं जो क्रॉस अनुपात 1/2 के साथ चार बिंदुओं को 1 या 0 के करीब क्रॉस अनुपात वाले बिंदुओं पर नहीं भेजते हैं। सीमा मूल्यों को लेते हुए, सार्वभौमिक टेइचमुलर को क्वासिसिमेट्रिक होमोमोर्फिज्म के समूह के भागफल के साथ पहचाना जा सकता है। QS(S¹) मोबियस परिवर्तनों के उपसमूह द्वारा Moeb(S¹). (इसे स्वाभाविक रूप से अर्धवृत्त के स्थान के रूप में भी महसूस किया जा सकता है C।) तब से

$\operatorname {Moeb} (\mathbf {S} ^{1})\subset \operatorname {Diff} (\mathbf {S} ^{1})\subset {\text{QS}}(\mathbf {S} ^{1})$

सजातीय स्थान Diff(S¹)/Moeb(S¹) स्वाभाविक रूप से सार्वभौमिक टेइचमुलर अंतरिक्ष का एक उपस्थान है। यह स्वाभाविक रूप से एक जटिल विविधता है और यह और अन्य प्राकृतिक ज्यामितीय संरचनाएं टेइचमुलर स्थान पर मौजूद संरचनाओं के साथ संगत हैं। के लाई बीजगणित का द्वैत Diff(S¹) को हिल डिफरेंशियल समीकरण के स्थान से पहचाना जा सकता है|हिल के ऑपरेटरों पर S¹

${d^{2} \over d\theta ^{2}}+q(\theta ),$

और की सहसंयुक्त कार्रवाई Diff(S¹) श्वार्ज़ियन व्युत्पन्न का आह्वान करता है। भिन्नता का उलटा f हिल के ऑपरेटर को भेजता है

${d^{2} \over d\theta ^{2}}+f^{\prime }(\theta )^{2}\,q\circ f(\theta )+{\tfrac {1}{2}}S(f)(\theta ).$

छद्मसमूह और कनेक्शन

श्वार्ज़ियन व्युत्पन्न और अन्य 1-कोसायकल पर परिभाषित Diff(S¹) को जटिल तल में खुले सेटों के बीच बायोलोमोर्फिक तक बढ़ाया जा सकता है। इस मामले में स्थानीय विवरण विश्लेषणात्मक छद्म समूहों के सिद्धांत की ओर ले जाता है, जो अनंत-आयामी समूहों के सिद्धांत को औपचारिक बनाता है और ली बीजगणित का अध्ययन पहली बार 1910 के दशक में एली कार्टन द्वारा किया गया था। यह रीमैन सतहों पर एफ़िन और प्रोजेक्टिव संरचनाओं के साथ-साथ श्वार्ज़ियन या प्रोजेक्टिव कनेक्शन के सिद्धांत से संबंधित है, जिस पर गनिंग, शिफ़र और हॉले ने चर्चा की है।

एक होलोमोर्फिक छद्म समूह Γ पर C में बिहोलोमोर्फिज्म का संग्रह शामिल है f खुले सेटों के बीच U और V में C जिसमें प्रत्येक खुले के लिए पहचान मानचित्र शामिल हैं U, जो खुलने पर प्रतिबंध के तहत बंद है, जो संरचना के तहत बंद है (जब संभव हो), जो व्युत्क्रम लेने के तहत बंद है और इस तरह कि यदि कोई बायोलोमोर्फिज्म स्थानीय रूप से है Γ, तो यह भी अंदर है Γ. छद्मसमूह को सकर्मक कहा जाता है यदि, दिया गया हो z और w में C, एक बिहोलोमोर्फिज्म है f में Γ ऐसा है कि f(z) = w. सकर्मक छद्मसमूहों का एक विशेष मामला वे हैं जो सपाट हैं, यानी जिनमें सभी जटिल अनुवाद शामिल हैं T_b(z) = z + b. होने देना G औपचारिक शक्ति श्रृंखला परिवर्तनों की संरचना के तहत समूह बनें F(z) = a₁z + a₂z² + .... साथ a₁ ≠ 0. एक होलोमोर्फिक छद्म समूह Γ एक उपसमूह को परिभाषित करता है A का G, अर्थात् तत्वों के 0 (या जेट (गणित) | जेट) के बारे में टेलर श्रृंखला विस्तार द्वारा परिभाषित उपसमूह f का Γ साथ f(0) = 0. इसके विपरीत यदि Γ समतल है यह विशिष्ट रूप से निर्धारित होता है A: एक बायोलोमोर्फिज्म f पर U में समाहित है Γ यदि और केवल यदि की शक्ति श्रृंखला में T_–f(a) ∘ f ∘ T_a में निहित है A हरएक के लिए a में U: दूसरे शब्दों में, के लिए औपचारिक शक्ति श्रृंखला f पर a के एक तत्व द्वारा दिया गया है A साथ z द्वारा प्रतिस्थापित z − a; या अधिक संक्षेप में सभी जेट f रिहायश A. समूह G समूह में एक प्राकृतिक समरूपता है G_k का k-जेड शब्द तक ली गई काटी गई पावर श्रृंखला को लेकर जेट प्राप्त किए जाते हैं^क. यह समूह डिग्री के बहुपदों के स्थान पर ईमानदारी से कार्य करता है k (k से अधिक क्रम की शर्तों को छोटा करना)। ट्रंकेशन इसी प्रकार समरूपता को परिभाषित करते हैं G_kपर G_{k − 1}; कर्नेल में मानचित्र f शामिल हैं f(z) = z + bz^k, एबेलियन भी ऐसा ही है। इस प्रकार समूह जी_k हल करने योग्य है, एक तथ्य इस तथ्य से भी स्पष्ट है कि यह एकपदी के आधार के लिए त्रिकोणीय रूप में है।

एक सपाट छद्म समूह Γ को अंतर समीकरणों द्वारा परिभाषित कहा जाता है यदि कोई परिमित पूर्णांक है k ऐसा कि समरूपता A में $''G''_''k''$ वफादार है और छवि एक बंद उपसमूह है। सबसे छोटा ऐसा k का क्रम कहा जाता है Γ. सभी उपसमूहों का संपूर्ण वर्गीकरण है A जो इस तरह से उत्पन्न होता है जो छवि की अतिरिक्त धारणाओं को संतुष्ट करता है A में G_k एक जटिल उपसमूह है और वह G₁ बराबर है C*: इसका तात्पर्य यह है कि छद्म समूह में स्केलिंग परिवर्तन भी शामिल हैं S_a(z) = az के लिए a ≠ 0, यानी शामिल है A में प्रत्येक बहुपद शामिल है az साथ a ≠ 0.

इस मामले में एकमात्र संभावना यही है k = 1 और A = {az: a ≠ 0}; या वो k = 2 और A = {az/(1−bz) : a ≠ 0}. पूर्व जटिल मोबियस समूह (द) के एफ़िन उपसमूह द्वारा परिभाषित छद्म समूह है az + b परिवर्तन फिक्सिंग ∞); उत्तरार्द्ध संपूर्ण जटिल मोबियस समूह द्वारा परिभाषित छद्म समूह है।

औपचारिक लाई बीजगणित के बाद से इस वर्गीकरण को आसानी से लाई बीजगणितीय समस्या में बदला जा सकता है ${\mathfrak {g}}$ का G औपचारिक वेक्टर फ़ील्ड शामिल हैं F(z) d/dz एफ के साथ एक औपचारिक शक्ति श्रृंखला। इसमें आधार के साथ बहुपद सदिश क्षेत्र शामिल हैं d_n = zⁿ⁺¹ d/dz (n ≥ 0), जो विट बीजगणित का एक उपबीजगणित है। झूठ कोष्ठक द्वारा दिए गए हैं [d_m,d_n] = (n − m)d_m+n. पुनः ये डिग्री के बहुपदों के स्थान पर कार्य करते हैं ≤ k विभेदन द्वारा—इससे पहचाना जा सकता है C[[z]]/(z^k+1)—और की छवियाँ d₀, ..., d_{k – 1} के झूठ बीजगणित का एक आधार दीजिए G_k. ध्यान दें कि Ad(S_a) d_n= a^–n d_n. होने देना ${\mathfrak {a}}$ के झूठ बीजगणित को निरूपित करें A: यह लाई बीजगणित के उपबीजगणित के समरूपी है G_k. इसमें है d₀ और नीचे अपरिवर्तनीय है Ad(S_a). तब से ${\mathfrak {a}}$ विट बीजगणित का एक झूठ उपबीजगणित है, एकमात्र संभावना यह है कि इसका आधार है d₀ या आधार d₀, d_n कुछ के लिए n ≥ 1. प्रपत्र के संगत समूह तत्व हैं f(z)= z + bzⁿ⁺¹ + .... इसे अनुवाद के साथ लिखने से लाभ मिलता है T_–f(ε) ∘ f ∘ T _ε(z) = cz + dz² + ... साथ c, d ≠ 0. जब तक n = 2, यह उपसमूह के स्वरूप का खंडन करता है A; इसलिए n = 2. श्वार्ज़ियन व्युत्पन्न जटिल मोबियस समूह के लिए छद्म समूह से संबंधित है। वास्तव में यदि f एक बायोलोमोर्फिज्म पर परिभाषित है V तब 𝜙₂(f) = S(f) एक द्विघात अंतर है V. अगर g एक समरूपता है जिसे परिभाषित किया गया है U और g(V) ⊆ U, S(f ∘ g) और S(g) पर द्विघात अवकलन हैं U; इसके अतिरिक्त S(f) एक द्विघात अंतर है V, ताकि g_∗S(f) भी एक द्विघात अंतर है U. पहचान

$S(f\circ g)=g_{*}S(f)+S(g)$

इस प्रकार होलोमोर्फिक द्विघात अंतर में गुणांक के साथ बायोलोमोर्फिज्म के छद्म समूह के लिए 1-कोसाइकिल का एनालॉग है। उसी प्रकार $\varphi _{0}(f)=\log f^{\prime }$ और $\varphi _{1}(f)=f^{\prime \prime }/f^{\prime }$ होलोमोर्फिक कार्यों और होलोमोर्फिक अंतरों में मूल्यों के साथ एक ही छद्म समूह के लिए 1-कोसाइकिल हैं। सामान्य तौर पर 1-कोसाइकिल को किसी भी क्रम के होलोमोर्फिक अंतर के लिए परिभाषित किया जा सकता है

$\varphi (f\circ g)=g_{*}\varphi (f)+\varphi (g).$

उपरोक्त पहचान को समावेशन मानचित्रों पर लागू करना j, यह इस प्रकार है कि 𝜙(j) = 0; और इसलिए यदि f₁ का प्रतिबंध है f₂, ताकि f₂ ∘ j = f₁, तब 𝜙(f₁) = 𝜙 (f₂). दूसरी ओर, होलोमोर्फिक वेक्टर क्षेत्रों द्वारा परिभाषित स्थानीय होलोमोर्फिक प्रवाह को लेते हुए - वेक्टर क्षेत्रों का घातांक - स्थानीय बायोलोमोर्फिज्म का होलोमोर्फिक स्यूडोग्रुप होलोमोर्फिक वेक्टर क्षेत्रों द्वारा उत्पन्न होता है। यदि 1-कोसाइकिल 𝜙 उपयुक्त निरंतरता या विश्लेषणात्मकता स्थितियों को संतुष्ट करता है, यह होलोमोर्फिक वेक्टर फ़ील्ड के 1-कोसाइकल को प्रेरित करता है, जो प्रतिबंध के साथ भी संगत है। तदनुसार, यह होलोमोर्फिक वेक्टर फ़ील्ड्स पर 1-कोसाइकिल को परिभाषित करता है C:

$\varphi ([X,Y])=X\varphi (Y)-Y\varphi (X).$

आधार के साथ बहुपद सदिश क्षेत्रों के बीजगणित को सीमित करना d_n = zⁿ⁺¹ d/dz (n ≥ −1), इन्हें लाई अलजेब्रा कोहोमोलॉजी के समान तरीकों का उपयोग करके निर्धारित किया जा सकता है (जैसा कि क्रॉस्ड होमोमोर्फिज्म पर पिछले अनुभाग में है)। वहां गणना क्रम के घनत्व पर कार्य करने वाले संपूर्ण विट बीजगणित के लिए थी k, जबकि यहां यह केवल क्रम के होलोमोर्फिक (या बहुपद) अंतरों पर कार्य करने वाले उपबीजगणित के लिए है k. फिर से, यह मानते हुए 𝜙 के घूमने पर गायब हो जाता है C, गैर-शून्य 1-कोसाइकिल हैं, जो अदिश गुणकों तक अद्वितीय हैं। केवल समान व्युत्पन्न सूत्र द्वारा दिए गए घात 0, 1 और 2 के अंतरों के लिए

$\varphi _{k}\left(p(z){d \over dz}\right)=p^{(k+1)}(z)\,(dz)^{k},$

कहाँ p(z) एक बहुपद है.

1-कोसाइकल्स तीन छद्म समूहों को परिभाषित करते हैं 𝜙_k(f) = 0: यह स्केलिंग समूह देता है (k = 0); एफ़िन समूह (k = 1); और संपूर्ण जटिल मोबियस समूह (k = 2). तो ये 1-कोसाइकिल छद्मसमूह को परिभाषित करने वाले विशेष साधारण अंतर समीकरण हैं। अधिक महत्वपूर्ण रूप से उनका उपयोग रीमैन सतहों पर संबंधित एफ़िन या प्रोजेक्टिव संरचनाओं और कनेक्शनों को परिभाषित करने के लिए किया जा सकता है। अगर Γ चिकनी मैपिंग का एक छद्म समूह है Rⁿ, एक टोपोलॉजिकल स्पेस Mकहा जाता है कि ए Γ-संरचना यदि इसमें चार्ट का संग्रह है f जो खुले सेट से होमियोमोर्फिज्म हैं V_i में M सेट खोलने के लिए U_i में Rⁿ ऐसा कि, प्रत्येक गैर-रिक्त चौराहे के लिए, प्राकृतिक मानचित्र f_i (U_i ∩ U_j) को f_j (U_i ∩ U_j) में निहित है Γ. यह एक चिकनी की संरचना को परिभाषित करता है n-कई गुना अगर Γ में स्थानीय डिफोमॉर्फिम्स और एक रीमैन सतह शामिल है n = 2-ताकि R² ≡ C-और Γ बिहोलोमोर्फिज्म से युक्त है। अगर Γ एफ़िन स्यूडोग्रुप है, M कहा जाता है कि इसमें एक एफ़िन संरचना होती है; और अगर Γ मोबियस स्यूडोग्रुप है, M को एक प्रक्षेपी संरचना कहा जाता है। इस प्रकार एक जीनस एक सतह के रूप में दिया गया है C/Λ कुछ जाली के लिए Λ ⊂ C एक एफ़िन संरचना है; और एक वंश p > 1फ़ुचियन समूह द्वारा ऊपरी आधे तल या यूनिट डिस्क के भागफल के रूप में दी गई सतह में एक प्रक्षेप्य संरचना होती है। 1966 में गनिंग ने बताया कि इस प्रक्रिया को कैसे उलटा किया जा सकता है: जीनस के लिए p > 1, एक प्रक्षेप्य कनेक्शन का अस्तित्व, जिसे श्वार्ज़ियन व्युत्पन्न का उपयोग करके परिभाषित किया गया है 𝜙₂ और कोहोमोलॉजी पर मानक परिणामों का उपयोग करके सिद्ध किया गया है, इसका उपयोग ऊपरी आधे विमान या यूनिट डिस्क के साथ सार्वभौमिक कवरिंग सतह की पहचान करने के लिए किया जा सकता है (एक समान परिणाम जीनस 1 के लिए होता है, एफ़िन कनेक्शन का उपयोग करके और 𝜙₁).

यह भी देखें

• रिकाटी समीकरण#श्वार्ज़ियन समीकरण का अनुप्रयोग

संदर्भ

• अहलफोर्स, लार्स (1966), क्वासिकोनफॉर्मल मैपिंग पर व्याख्यान, वैन नॉस्ट्रैंड, pp. 117–146, Chapter 6, "Teichmüller Spaces"
• डुरेन, पीटर एल. (1983), असमान फलन, ग्रुंडलेह्रेन डेर मैथेमेटिसचेन विसेंसचाफ्टन, vol. 259, स्प्रिंगर-वेरलाग, pp. 258–265, ISBN 978-0-387-90795-6]
• गुइउ, लॉरेंट; रोजर, क्लाउड (2007), L'algèbre et le groupe de Virasoro, Montreal: CRM, ISBN 978-2-921120-44-9
• गनिंग, आर. सी. (1966), रीमैन सतहों पर व्याख्यान, प्रिंसटन गणितीय नोट्स, प्रिंसटन यूनिवर्सिटी प्रेस
• गनिंग, आर. सी. (1978), जटिल मैनिफोल्ड्स के एकरूपीकरण पर: कनेक्शन की भूमिका, गणितीय नोट्स, vol. 22, प्रिंसटन यूनिवर्सिटी प्रेस, ISBN 978-0-691-08176-2
• हिले, एइनर (1976), जटिल डोमेन में साधारण अंतर समीकरण, डोवर, pp. 374–401, ISBN 978-0-486-69620-1, अध्याय 10, "द श्वार्ज़ियन"।
• इमायोशी, वाई; तानिगुची, एम (1992), टेइचमुलर स्थानों का परिचय, स्प्रिंगर-वेरलाग, ISBN 978-4-431-70088-3
• केएसी, वी. जी.; रैना, ए. के. (1987), बॉम्बे ने अनंत-आयामी झूठ बीजगणित के उच्चतम वजन प्रतिनिधित्व पर व्याख्यान दिया, विश्व वैज्ञानिक, ISBN 978-9971-50-395-6
• वॉन कोपेनफेल्स, डब्ल्यू.; स्टॉलमैन, एफ. (1959), प्रैक्सिस डेर कॉन्फॉर्मेन एबिल्डुंग, दि ग्रुन्डलेह्रेन डेर मैथेमेटिसचेन विसेनशाफ्टेन, vol. 100, स्प्रिंगर-वेरलाग, pp. 114–141,धारा 12, "वृत्ताकार चापों के साथ बहुभुजों का मानचित्रण"।
• क्लेन, फ़ेलिक्स (1922), एकत्रित कार्य, vol. 2, स्प्रिंगर-वेरलाग, pp. 540–549, "सामान्यीकृत लैम फ़ंक्शंस के सिद्धांत पर"।
• Lehto, Otto (1987), Univalent functions and Teichmüller spaces, Springer-Verlag, pp. 50–59, 111–118, 196–205, ISBN 978-0-387-96310-5
• Libermann, Paulette (1959), "Pseudogroupes infinitésimaux attachés aux pseudogroupes de Lie", Bull. Soc. Math. France, 87: 409–425, doi:10.24033/bsmf.1536
• Nehari, Zeev (1949), "The Schwarzian derivative and schlicht functions", Bulletin of the American Mathematical Society, 55 (6): 545–551, doi:10.1090/S0002-9904-1949-09241-8, ISSN 0002-9904, MR 0029999
• Nehari, Zeev (1952), Conformal mapping, Dover, pp. 189–226, ISBN 978-0-486-61137-2
• Ovsienko, V.; Tabachnikov, S. (2005), Projective Differential Geometry Old and New, Cambridge University Press, ISBN 978-0-521-83186-4
• Ovsienko, Valentin; Tabachnikov, Sergei (2009), "What Is . . . the Schwarzian Derivative?" (PDF), AMS Notices, 56 (1): 34–36
• Pekonen, Osmo (1995), "Universal Teichmüller space in geometry and physics", J. Geom. Phys., 15 (3): 227–251, arXiv:hep-th/9310045, Bibcode:1995JGP....15..227P, doi:10.1016/0393-0440(94)00007-Q, S2CID 119598450
• Schiffer, Menahem (1966), "Half-Order Differentials on Riemann Surfaces", SIAM Journal on Applied Mathematics, 14 (4): 922–934, doi:10.1137/0114073, JSTOR 2946143, S2CID 120194068
• Segal, Graeme (1981), "Unitary representations of some infinite-dimensional groups", Comm. Math. Phys., 80 (3): 301–342, Bibcode:1981CMaPh..80..301S, doi:10.1007/bf01208274, S2CID 121367853
• Sternberg, Shlomo (1983), Lectures on differential geometry (Second ed.), Chelsea Publishing, ISBN 978-0-8284-0316-0
• Takhtajan, Leon A.; Teo, Lee-Peng (2006), Weil-Petersson metric on the universal Teichmüller space, Mem. Amer. Math. Soc., vol. 183