क्वैसिकोनफॉर्मल मैपिंग

गणितीय जटिल विश्लेषण में, एक क्वासिकोनफॉर्मल मैपिंग, द्वारा पेश किया गया Grötzsch (1928) और द्वारा नामित Ahlfors (1935), समतल (ज्यामिति) डोमेन के बीच एक होमोमोर्फिज़्म है जो पहले क्रम में छोटे वृत्तों को परिबद्ध दीर्घवृत्त#उत्केन्द्रता के छोटे दीर्घवृत्तों में ले जाता है।

सहजता से, चलो f : D → D′ एक अभिविन्यास (गणित) हो - विमान में खुले सेटों के बीच होमियोमोर्फिज्म को संरक्षित करना। यदि f निरंतर अवकलनीय है, तो यह K-quasiconformal है यदि प्रत्येक बिंदु पर f का व्युत्पन्न K द्वारा परिबद्ध उत्केन्द्रता वाले दीर्घवृत्तों को मानचित्र बनाता है।

परिभाषा

मान लीजिए f : D → D' जहां 'C' में D और D' दो डोमेन हैं। एफ की आवश्यक चिकनीता के आधार पर विभिन्न प्रकार की समकक्ष परिभाषाएं हैं। यदि f को निरंतर कार्य आंशिक डेरिवेटिव माना जाता है, तो f क्वासिकोनफॉर्मल है, बशर्ते यह बेल्ट्रामी समीकरण को संतुष्ट करता हो

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

(1)

कुछ जटिल मूल्यवान Lebesgue मापने योग्य μ संतोषजनक समर्थन के लिए |μ| <1 (Bers 1977). यह समीकरण एक ज्यामितीय व्याख्या को स्वीकार करता है। D को मीट्रिक टेंसर से लैस करें

$ds^{2}=\Omega (z)^{2}\left|\,dz+\mu (z)\,d{\bar {z}}\right|^{2},$

जहां Ω(z) > 0. फिर f संतुष्ट करता है (1) ठीक है जब यह इस मीट्रिक से लैस डी से मानक यूक्लिडियन मीट्रिक से लैस डोमेन डी' से एक अनुरूप परिवर्तन है। तब फलन f को 'μ-conformal' कहा जाता है। अधिक आम तौर पर, एफ की निरंतर भिन्नता को कमजोर स्थिति से प्रतिस्थापित किया जा सकता है कि एफ सोबोलेव स्पेस डब्ल्यू में हो^1,2(D) ऐसे फलन जिनके प्रथम-क्रम के वितरणात्मक डेरिवेटिव Lp स्पेस में हैं|L²(डी)। इस स्थिति में, f का एक कमजोर समाधान होना आवश्यक है (1). जब μ लगभग हर जगह शून्य होता है, W में कोई होमियोमोर्फिज्म^1,2(D) जो कि एक कमजोर समाधान है (1) अनुरूप है।

एक सहायक मीट्रिक के लिए अपील के बिना, सामान्य यूक्लिडियन मीट्रिक के एफ के तहत पुलबैक (अंतर ज्यामिति) के प्रभाव पर विचार करें। परिणामी मीट्रिक तब द्वारा दिया जाता है

$\left|{\frac {\partial f}{\partial z}}\right|^{2}\left|\,dz+\mu (z)\,d{\bar {z}}\right|^{2}$

जो पृष्ठभूमि यूक्लिडियन मीट्रिक के सापेक्ष है $dzd{\bar {z}}$, eigenvalues हैं

$(1+|\mu |)^{2}\textstyle {\left|{\frac {\partial f}{\partial z}}\right|^{2}},\qquad (1-|\mu |)^{2}\textstyle {\left|{\frac {\partial f}{\partial z}}\right|^{2}}.$

eigenvalues, क्रमशः, स्पर्शरेखा तल में इकाई वृत्त के साथ वापस खींचकर प्राप्त दीर्घवृत्त के प्रमुख और लघु अक्ष की वर्ग लंबाई का प्रतिनिधित्व करते हैं।

तदनुसार, एक बिंदु z पर f का विस्तार किसके द्वारा परिभाषित किया गया है

$K(z)={\frac {1+|\mu (z)|}{1-|\mu (z)|}}.$

K(z) का (अनिवार्य) सर्वोच्च इसके द्वारा दिया गया है

$K=\sup _{z\in D}|K(z)|={\frac {1+\|\mu \|_{\infty }}{1-\|\mu \|_{\infty }}}$

और इसे f का फैलाव कहा जाता है।

अत्यधिक लंबाई की धारणा पर आधारित एक परिभाषा इस प्रकार है। यदि कोई परिमित K ऐसा है कि D में वक्रों के प्रत्येक संग्रह 'Γ' के लिए 'Γ' की चरम लंबाई {f o γ : γ ∈ 'Γ'} की चरम लंबाई का अधिक से अधिक K गुना है। फिर f K-quasiconformal है।

यदि f कुछ परिमित K के लिए K-quasiconformal है, तो f अर्ध-अनुरूप है।

== क्वासिकोनफॉर्मल मैपिंग == के बारे में कुछ तथ्य

यदि K > 1 है तो नक्शे x + iy ↦ Kx + iy और x + iy ↦ x + iKy दोनों क्वासिकोनफॉर्मल हैं और निरंतर फैलाव K हैं।

अगर s > -1 तो नक्शा $z\mapsto z\,|z|^{s}$ क्वैसिकोनफ़ॉर्मल है (यहाँ z एक सम्मिश्र संख्या है) और इसका लगातार विस्फारण होता है $\max(1+s,{\frac {1}{1+s}})$. जब एस ≠ 0, यह अर्ध-अनुरूप होमियोमोर्फिज्म का एक उदाहरण है जो चिकना नहीं है। यदि एस = 0, यह केवल पहचान मानचित्र है।

एक होमोमोर्फिज्म 1-क्वैसिकोनफॉर्मल है अगर और केवल अगर यह अनुरूप है। इसलिए पहचान मानचित्र हमेशा 1-अर्ध-अनुरूप होता है। अगर f : D → D' K-quasiconformal है और g : D' → D K'-quasiconformal है, तो g o f KK'-quasiconformal है। K-quasiconformal होमोमोर्फिज्म का व्युत्क्रम K-quasiconformal है। 1-क्वैसिकोनफॉर्मल मैप्स का सेट रचना के तहत एक समूह बनाता है।

जटिल तल से K-quasiconformal मैपिंग का स्थान तीन अलग-अलग बिंदुओं को तीन दिए गए बिंदुओं पर मैप करने के लिए कॉम्पैक्ट है।

मापने योग्य रीमैन मैपिंग प्रमेय

दो आयामों में क्वैसिकोनफॉर्मल मैपिंग के सिद्धांत में केंद्रीय महत्व मापने योग्य रीमैन मैपिंग प्रमेय है, जिसे लार्स अहलफ़ोर्स और लिपमैन बेर्स द्वारा सिद्ध किया गया है। प्रमेय रीमैन मैपिंग प्रमेय को अनुरूप से क्वैसिकोनफॉर्मल होमोमोर्फिम्स तक सामान्यीकृत करता है, और इसे निम्नानुसार कहा गया है। मान लीजिए कि D 'C' में एक सरल रूप से जुड़ा हुआ डोमेन है जो 'C' के बराबर नहीं है, और मान लीजिए कि μ : D → 'C' Lebesgue मापने योग्य है और संतुष्ट करता है $\|\mu \|_{\infty }<1$. फिर डी से यूनिट डिस्क तक एक क्वासिकोनफॉर्मल होमोमोर्फिज्म एफ है जो सोबोलेव स्पेस डब्ल्यू में है^1,2(डी) और संबंधित बेल्ट्रामी समीकरण को संतुष्ट करता है (1) कमजोर समाधान में। रीमैन के मानचित्रण प्रमेय के समान, यह f 3 वास्तविक पैरामीटरों तक अद्वितीय है।

कम्प्यूटेशनल अर्ध-अनुरूप ज्यामिति

हाल ही में, अर्ध-अनुरूप ज्यामिति ने विभिन्न क्षेत्रों से ध्यान आकर्षित किया है, जैसे अनुप्रयुक्त गणित, कंप्यूटर दृष्टि और चिकित्सा इमेजिंग। कम्प्यूटेशनल अर्ध-अनुरूप ज्यामिति विकसित की गई है, जो अर्ध-अनुरूप सिद्धांत को असतत सेटिंग में विस्तारित करती है। इसने चिकित्सा छवि विश्लेषण, कंप्यूटर दृष्टि और ग्राफिक्स में कई महत्वपूर्ण अनुप्रयोग पाए हैं।

यह भी देखें

• इज़ोटेर्मल निर्देशांक
• अर्ध-नियमित नक्शा
• छद्मविश्लेषणात्मक समारोह
• टीचमुलर स्पेस
• Tissot का संकेतक

संदर्भ

• Ahlfors, Lars (1935), "Zur Theorie der Überlagerungsflächen", Acta Mathematica (in Deutsch), 65 (1): 157–194, doi:10.1007/BF02420945, ISSN 0001-5962, JFM 61.0365.03, Zbl 0012.17204.
• Ahlfors, Lars V. (2006) [1966], Lectures on quasiconformal mappings, University Lecture Series, vol. 38 (2nd ed.), Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-3644-6, MR 2241787, Zbl 1103.30001, (reviews of the first edition: MR0200442, Zbl 1103.30001).
• Bers, Lipman (1977), "Quasiconformal mappings, with applications to differential equations, function theory and topology", Bull. Amer. Math. Soc., 83 (6): 1083–1100, doi:10.1090/S0002-9904-1977-14390-5, MR 0463433.
• Caraman, Petru (1974) [1968], n–Dimensional Quasiconformal (QCf) Mappings (revised ed.), București / Tunbridge Wells, Kent: Editura Academiei / Abacus Press, p. 553, ISBN 0-85626-005-3, MR 0357782, Zbl 0342.30015.
• Grötzsch, Herbert (1928), "Über einige Extremalprobleme der konformen Abbildung. I, II.", Berichte über die Verhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig. Mathematisch-Physische Classe (in Deutsch), 80: 367–376, 497–502, JFM 54.0378.01.
• Heinonen, Juha (December 2006), "What Is ... a Quasiconformal Mapping?" (PDF), Notices of the American Mathematical Society, 53 (11): 1334–1335, MR 2268390, Zbl 1142.30322.
• Jones, Gareth Wyn; Mahadevan, L. (2013-05-08). "Planar morphometry, shear and optimal quasi-conformal mappings". Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences (in English). 469 (2153): 20120653. Bibcode:2013RSPSA.46920653J. doi:10.1098/rspa.2012.0653. ISSN 1364-5021. S2CID 123826235.
• Lehto, O.; Virtanen, K.I. (1973), Quasiconformal mappings in the plane, Die Grundlehren der mathematischen Wissenschaften, vol. 126 (2nd ed.), Berlin–Heidelberg–New York: Springer Verlag, pp. VIII+258, ISBN 3-540-03303-3, MR 0344463, Zbl 0267.30016 (also available as ISBN 0-387-03303-3).
• Morrey, Charles B. Jr. (1938), "On the solutions of quasi-linear elliptic partial differential equations", Transactions of the American Mathematical Society, 43 (1): 126–166, doi:10.2307/1989904, JFM 62.0565.02, JSTOR 1989904, MR 1501936, Zbl 0018.40501.
• Papadopoulos, Athanase, ed. (2007), Handbook of Teichmüller theory. Vol. I, IRMA Lectures in Mathematics and Theoretical Physics, 11, European Mathematical Society (EMS), Zürich, doi:10.4171/029, ISBN 978-3-03719-029-6, MR2284826.
• Papadopoulos, Athanase, ed. (2009), Handbook of Teichmüller theory. Vol. II, IRMA Lectures in Mathematics and Theoretical Physics, 13, European Mathematical Society (EMS), Zürich, doi:10.4171/055, ISBN 978-3-03719-055-5, MR2524085.
• Zorich, V. A. (2001) [1994], "Quasi-conformal mapping", Encyclopedia of Mathematics, EMS Press.