थीटा फलन

testwiki से
217.61.157.236 (वार्ता) द्वारा परिवर्तित १९:३४, ६ सितम्बर २०२४ का अवतरण (घातांक प्रमेयों)
(अंतर) ← पुराना अवतरण | वर्तमान अवतरण (अंतर) | नया अवतरण → (अंतर)
नेविगेशन पर जाएँ खोज पर जाएँ

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

परिभाषा

मूल जैकोबी थीटा फलन अर्ध-दोगुने आवधिक अण्डाकार कार्य हैं और उन्हें अनंत राशि के रूप में परिभाषित किया गया है:

ϑ1(z;w)=k=(1)k1/2exp[(2k+1)iz+(k+12)2ln(w)]
ϑ2(z;w)=k=exp[(2k+1)iz+(k+12)2ln(w)]
ϑ3(z;w)=k=exp[2kiz+k2ln(w)]
ϑ4(z;w)=k=(1)kexp[2kiz+k2ln(w)]

प्रोटेस्टेंट जर्मन गणितज्ञ कार्ल गुस्ताव जैकोब जैकोबी ने 1829 में इन विश्लेषणात्मक कार्यों की शुरुआत की।

उन्होंने उन्हें "Fundamenta nova theoriae functionum ellipticarum" पुस्तक में नोट किया।

अतिरिक्त जैकोबी थीटा फलन[] को निम्नलिखित तरीकों से अनंत उत्पादों के रूप में परिभाषित किया जा सकता है:

ϑ00(x;y)=n=1(1y2n)[1+2cos(2x)y2n1+y4n2]
ϑ01(x;y)=n=1(1y2n)[12cos(2x)y2n1+y4n2]
ϑ10(x;y)=2y1/4cos(x)n=1(1y2n)[1+2cos(2x)y2n+y4n]

ये तीन फलन गणित में नियमित रूप से उपयोग किए जाते हैं और उपरोक्त चार कार्यों से बीजगणितीय रूप से संबंधित हैं।

इन तीन थीटा फलनों का उपयोग करके "sn", "cn" और "dn" फलनों[] को भी परिभाषित किया जा सकता है।

इन कार्यों के लिए तथाकथित थीटा शून्य मान (जर्मन भाषा में: Theta-Nullwerte) भी परिभाषित किए गए हैं:

ϑ00(0;y)=ϑ00(y)=k=yk2
ϑ01(0;y)=ϑ01(y)=k=(1)kyk2
ϑ10(0;y)=ϑ10(y)=k=y(k+12)2

यहां दिखाए गए अनंत योग बिल्कुल वही मान देते हैं जो x-मान शून्य के लिए उल्लिखित अनंत उत्पाद हैं।

गणितीय समाकलनों के माध्यम से प्रतिनिधित्व

इस प्रकार मुख्य थीटा फ़ंक्शन को तथाकथित अनुचित इंटीग्रल का उपयोग करके प्रदर्शित किया जा सकता है:

ϑ00(v)=1+4vln(1/v)π0exp[ln(1/v)x2]{1v2cos[2ln(1/v)x]}12v2cos[2ln(1/v)x]+v4dx

थीटा उदाहरण θ3(12) और θ3(13) प्रदर्शित किए जाएंगे:

ϑ00(12)=1+2n=112n2=1+2π1/2ln(2)0exp[ln(2)x2]{164cos[2ln(2)x]}178cos[2ln(2)x]dx
ϑ00(12)=2.128936827211877158669
ϑ00(13)=1+2n=113n2=1+43π1/2ln(3)0exp[ln(3)x2]{819cos[2ln(3)x]}8218cos[2ln(3)x]dx
ϑ00(13)=1.691459681681715341348
ϑ00(15)=1+2n=115n2=1+45π1/2ln(5)0exp[ln(5)x2]{62525cos[2ln(5)x]}62650cos[2ln(5)x]dx
ϑ00(15)=1.40320102401310720671

फलनों के गुण

थीटा कार्यों के लिए जोड़ प्रमेय इस प्रकार हैं:

ϑ00(x1+x2;y)ϑ00(x1x2;y)ϑ00(y)2=ϑ01(x1;y)2ϑ01(x2;y)2+ϑ10(x1;y)2ϑ10(x2;y)2
ϑ01(x1+x2;y)ϑ01(x1x2;y)ϑ01(y)2=ϑ00(x1;y)2ϑ00(x2;y)2ϑ10(x1;y)2ϑ10(x2;y)2

गणितज्ञ श्रीनिवास रामानुजन ने इस पहचान[] की खोज की और इसे अपने प्रसिद्ध काम "Modular Equations and Approximations to π" में लिखा:

n=1(1x2n1)=(x;x2)=21/6x1/24ϑ10(x)1/6ϑ00(x)1/6ϑ01(x)1/3

लियोनार्ड ओइलर द्वारा निम्नलिखित उत्पाद का शोध किया गया था:

n=1(1xn)=(x;x)=21/6x1/24ϑ10(x)1/6ϑ00(x)1/6ϑ01(x)2/3

यदि शर्त "0 < s < 1" लागू होती है, तो निम्न समीकरण मान्य है:

k=2sks2k+1=ϑ00(s)2

अण्डाकार नोम फलन की यह परिभाषा है:

q(ε)=exp[πK(1ε2)K(ε)1]

फलन "के" निम्नलिखित अभिन्न द्वारा परिभाषित किया गया है:

K(r)=0π/211r2sin(φ)2dφ
K(r)=012(z2+1)24r2z2dz

कुछ फलन मानों की गणना निम्न सूत्र से की जा सकती है:

ϑ00[q(ε)]=2π1K(ε)
ϑ01[q(ε)]=1ε242π1K(ε)

जैकोबी पहचान इन समीकरणों से उत्पन्न होती है:

ϑ10(x)=ϑ00(x)4ϑ01(x)44

फलनों के मान

थीटा फलनों में निम्नलिखित मान[] होते हैं:

ϑ00[exp(π)]=π1/4Γ(34)1
ϑ01[exp(π)]=21/4π1/4Γ(34)1
ϑ10[exp(π)]=21/4π1/4Γ(34)1
ϑ00[exp(2π)]=21/8π1/2Γ(34)1/2Γ(58)1
ϑ00[exp(3π)]=25/635/8π1/2Γ(23)3/2

कई फलन मान निर्धारित करने के लिए निम्नलिखित पहचान सूत्रों का उपयोग किया जाता है:

ϑ00[q(ε)2]=cos[12arcsin(ε)]ϑ00[q(ε)]
ϑ01[q(ε)2]=(1ε2)1/8ϑ00[q(ε)]
27ϑ00[q(ε)3]8ϑ00[q(ε)]8=18ϑ00[q(ε)3]4ϑ00[q(ε)]4+8cos[2arcsin(ε)]ϑ00[q(ε)3]2ϑ00[q(ε)]2+1
27ϑ01[q(ε)3]8ϑ01[q(ε)]8=18ϑ01[q(ε)3]4ϑ01[q(ε)]4+8sec[2arctan(ε)]ϑ01[q(ε)3]2ϑ01[q(ε)]2+1
{ϑ01[q(ε)5]2ϑ01[q(ε)]21}{5ϑ01[q(ε)5]2ϑ01[q(ε)]21}5=64tan[2arctan(ε)]2ϑ01[q(ε)5]2ϑ01[q(ε)]2

गणना के उदाहरण:

exp(π)=q(122)
exp(2π)=q(21)
exp(3π)=q[14(62)]

इन मानों को समीकरणों में डालने और फिर उपरोक्त समीकरणों को हल करने से निम्नलिखित मान उत्पन्न होते हैं:

ϑ00[exp(3π)]ϑ00[exp(π)]=1081/83+1
ϑ00[exp(32π)]ϑ00[exp(2π)]=31/26+21
ϑ00[exp(33π)]ϑ00[exp(3π)]=33/4(23+1)
ϑ01[exp(3π)]ϑ01[exp(π)]=33/82+34
ϑ01[exp(32π)]ϑ01[exp(2π)]=31/23+2
ϑ01[exp(33π)]ϑ01[exp(3π)]=1081/4(223+31)
ϑ01[exp(5π)]ϑ01[exp(π)]=51/23+254
ϑ01[exp(52π)]ϑ01[exp(2π)]=41510cos(110π)cosh[13artanh(386)]+1155tan(15π)
ϑ01[exp(53π)]ϑ01[exp(3π)]=215103(33)sin(15π)+11515cot(110π)

अण्डाकार नोम और अण्डाकार अभिन्न के बीच संबंध के बारे में पहले बताए गए सूत्र के आधार पर, कुछ अतिरिक्त मान भी कुशलतापूर्वक स्थापित किए जा सकते हैं:

ϑ00[q(ε)]=[2πK(ε)]1/2

अब कुछ उदाहरण दिये जायेंगे:

ϑ00[exp(5π)]=2πK{sin[12arcsin(52)]}1/2
ϑ00[exp(6π)]={2πK[(23)(32)]}1/2
ϑ00[exp(7π)]={2πK[18(3214)]}1/2
ϑ00[exp(10π)]={2πK[(103)(21)2]}1/2
ϑ00[exp(11π)]={2πK[116(22+32)(1363+211313632113+13111)4]}1/2
ϑ00[exp(13π)]=2πK{sin[12arcsin(51318)]}1/2
ϑ00[exp(14π)]=2πK{tan[14arccsc(82+11)]}1/2

घातांक प्रमेयों

संज्ञा के परिवर्तनों पर[] इन सूत्रों का उपयोग थीटा शून्य मान फ़ंक्शन के लिए किया जाता है:

ϑ10(x2)=122[ϑ00(x)2ϑ01(x)2]
ϑ00(x2)=122[ϑ00(x)2+ϑ01(x)2]
ϑ01(x2)=ϑ01(x)ϑ00(x)

जैकोबी पहचान के अनुसार, तीन थीटा शून्य-मूल्य फ़ंक्शन के वर्ग भी वर्ग फ़ंक्शन द्वारा एक आंतरिक फ़ंक्शन पाइथागोरस ट्रिपल के रूप में बनते हैं। इसके अतिरिक्त, निम्नलिखित परिवर्तन लागू होते हैं:

ϑ00(x4)=12ϑ00(x)+12ϑ01(x)
27ϑ00(x3)818ϑ00(x3)4ϑ00(x)4ϑ00(x)8=8ϑ00(x3)2ϑ00(x)2[2ϑ01(x)4ϑ00(x)4]
27ϑ01(x3)818ϑ01(x3)4ϑ01(x)4ϑ01(x)8=8ϑ01(x3)2ϑ01(x)2[2ϑ00(x)4ϑ01(x)4]
[ϑ00(x)2ϑ00(x5)2][5ϑ00(x5)2ϑ00(x)2]5=256ϑ00(x5)2ϑ00(x)2ϑ01(x)4[ϑ00(x)4ϑ01(x)4]
[ϑ01(x5)2ϑ01(x)2][5ϑ01(x5)2ϑ01(x)2]5=256ϑ01(x5)2ϑ01(x)2ϑ00(x)4[ϑ00(x)4ϑ01(x)4]

ऐसी सर्वसमिकाएँ हैं, जो दीर्घवृत्तीय नोम की तीसरी घात और तीसरे मूल के थीटा मानों को एक दूसरे के संबंध में निर्धारित करती हैं।

[ϑ00(x1/3)2ϑ00(x)23ϑ00(x3)2ϑ00(x)2]2=44[2ϑ10(x)2ϑ01(x)2ϑ00(x)4]2/3
[3ϑ01(x3)2ϑ01(x)2ϑ01(x1/3)2ϑ01(x)2]2=4+4[2ϑ10(x)2ϑ00(x)2ϑ01(x)4]2/3

और ऐसी भी पहचानें हैं, जो दीर्घवृत्तीय नोम की पांचवीं शक्ति और पांचवें मूल के थीटा मानों को एक दूसरे के संबंध में निर्धारित करती हैं।

2arctan[ϑ00(x5)ϑ00(x1/5)ϑ00(x)2ϑ00(x1/5)2+5ϑ00(x5)2ϑ00(x)23ϑ00(x5)ϑ00(x1/5)]+arctan(2)=
arctan[ϑ00(x1/5)22ϑ00(x)212]+arctan[5ϑ00(x5)22ϑ00(x)212]

पॉइसन योग सूत्र

पहले इस्तेमाल की गई जैकोबी फलन पहचान[][] को पूरी तरह से तैयार किया जाएगा:

ϑ00[q(k)]=ϑ00{exp[πK(k)K(k)]}=n=exp[n2πK(k)K(k)]=[2πK(k)]1/2

और दीर्घवृत्तीय मापांक k को आंतरिक फ़ंक्शन के रूप में पाइथागोरस पूरक मापांक k=1k2 द्वारा प्रतिस्थापित करने पर, यह सूत्र प्राप्त होता है:

ϑ00[q(k)]=ϑ00{exp[πK(k)K(k)]}=n=exp[n2πK(k)K(k)]=[2πK(k)]1/2

संख्या सिद्धांत पर आधारित "पॉइसन योग सूत्र" इस ​​प्रकार उभरता है:

ϑ00[q(k)]ϑ00[q(k)]=[K(k)K(k)]1/2

उल्लिखित अंतिम दो सूत्रों का भागफल सीधे पॉइसन योग सूत्र में परिणत होता है।

परिणाम प्रदर्शित करने का निम्नलिखित तरीका प्रत्येक स्थान पर ''वास्तविक अवधि अनुपात'' दर्शाता है:

ϑ00{exp[πK(k)÷K(k)]}ϑ00{exp[πK(k)÷K(k)]}=[K(k)K(k)]1/2

अब, अवधि अनुपात को पैरामीटर p=K(k)÷K(k) से प्रतिस्थापित करके, उल्लिखित पॉइसन अनुभवजन्य सूत्र अण्डाकार समाकलों से पूरी तरह मुक्त हो जाता है:

ϑ00[exp(π÷p)]ϑ00[exp(π×p)]=p

इस प्रकार सूत्र को दीर्घवृत्तीय समाकलनों की सहायता से सिद्ध किया जाता है।

निम्नलिखित गणना उदाहरण सटीक रूप से तैयार किए जाएंगे:

ϑ00[exp(1243π)]=26ϑ00[exp(23π)]
ϑ00[exp(13815π)]=310ϑ00[exp(35π)]
ϑ00[exp(15156257π)]=514ϑ00[exp(57π)]

थीटा फलन के साथ अनंत योग श्रृंखला

विषम अंकीय[][] फाइबोनैचि संख्याओं के व्युत्क्रमों का अनंत योग:

n=11F2n1=52n=12(Φ2)n1/21+(Φ2)2n1=54a=2(Φ2)a1/21+(Φ2)2a1=
=54ϑ10(Φ2)2=58[ϑ00(Φ1)2ϑ01(Φ1)2]

इन सूत्रों के लिए Φ=5+12 स्वर्णिम संख्या है।

फाइबोनैचि संख्याओं के वर्गों के व्युत्क्रमों का अनंत योग:

n=11Fn2=524[2ϑ10(Φ2)4ϑ00(Φ2)4+1]=524[ϑ00(Φ2)42ϑ01(Φ2)4+1]

विषम अंकीय पेल संख्याओं के व्युत्क्रमों का अनंत योग:

n=11P2n1=12ϑ10[(21)2]2=122[ϑ00(21)2ϑ01(21)2]

योग श्रृंखला जिसका आधार योग सूचकांक के संबंध में स्थिर है और एक घातांक जो योग सूचकांक के संबंध में वर्गाकार है, को हमेशा फ़ंक्शन ϑ₀₀ के प्राथमिक रैखिक संयोजनों के रूप में व्यक्त किया जा सकता है:

k=xak2+bk+c=exp[4acb24aln(x)][πaln(x)]1/2ϑ00{πb2a;exp[π2aln(x)1]}

संख्या x का मान धनात्मक होना चाहिए.

उदाहरण के लिए, वह अनंत योग निम्नलिखित मान देता है:

k=(711)5k2+3k+2=(711)31/20(π5)1/2ln(117)1/2ϑ00{3π10;exp[15π2ln(711)1]}
k=(1113)7k2+5k+3=(1113)59/28(π7)1/2ln(1311)1/2ϑ00{5π14;exp[17π2ln(1113)1]}
k=(1317)11k2+7k+5=(1317)171/44(π11)1/2ln(1713)1/2ϑ00{7π22;exp[111π2ln(1317)1]}

व्युत्पन्न और समाकलन

थीटा शून्य मान फलनों[१०] के व्युत्पन्न इस प्रकार हैं:

ddxϑ10(x)=12πxϑ10(x)ϑ00(x)2E[ϑ10(x)2ϑ00(x)2]
ddxϑ00(x)=ϑ00(x)[ϑ00(x)2+ϑ01(x)2]{12πxE[ϑ00(x)2ϑ01(x)2ϑ00(x)2+ϑ01(x)2]ϑ01(x)24x}
ddxϑ01(x)=ϑ01(x)[ϑ00(x)2+ϑ01(x)2]{12πxE[ϑ00(x)2ϑ01(x)2ϑ00(x)2+ϑ01(x)2]ϑ00(x)24x}

दूसरे प्रकार के पूर्ण अण्डाकार अभिन्न अंग की यह परिभाषा है:

E(r)=0π/21r2sin(φ)2dφ
E(r)=012(z2+1)24r2z2(z2+1)2dz

यहां उल्लिखित तीन थीटा फ़ंक्शंस में से दो से भागफल के व्युत्पन्न हमेशा उन तीन फ़ंक्शंस के साथ तर्कसंगत संबंध रखते हैं:

ddxϑ10(x)ϑ00(x)=ϑ10(x)ϑ01(x)44xϑ00(x)
ddxϑ10(x)ϑ01(x)=ϑ10(x)ϑ00(x)44xϑ01(x)
ddxϑ00(x)ϑ01(x)=ϑ00(x)5ϑ00(x)ϑ01(x)44xϑ01(x)

ये समाकलन[११] थीटा शून्य-मूल्य फलन ϑ₀₀(x), ϑ₀₁(x) और ϑ₁₀(x) के लिए मान्य हैं:

01ϑ00(x)dx=k=1k2+1=πcoth(π)3,153348
01ϑ01(x)dx=k=(1)kk2+1=πcsch(π)0,272029
01ϑ10(x)dx=k=4(2k+1)2+4=πtanh(π)3,129881

दिखाए गए अंतिम परिणाम कॉची के सामान्य सूत्रों पर आधारित हैं।

पांचवीं घात वाले समीकरण

निम्नलिखित रूप में, पांचवीं घात वाले समीकरणों[१२][१३] को निम्नलिखित एल्गोरिथम[१४][१५] का उपयोग करके सभी वास्तविक मूल्यों[१६] c के लिए हल किया जा सकता है:

ब्रिंग-जेरार्ड रूप में पांचवीं घात वाले समीकरण
x5+5x=4c
Q=q[(2c2+2+2c4+1)1/2(c4+1+1+c)]
u=2ϑ00(Q5)ϑ00(Q1/5)2ϑ00(Q)2ϑ00(Q1/5)2+5ϑ00(Q5)24ϑ00(Q)2
x=cu(5u210u+4)5u26u+2

यह मान c = 1 के लिए पहला सटीक गणना उदाहरण है:

x5+5x=4
Q=q[(4+22)1/2(2+1+1)]0.1852028700803001414251518230736124606036037762504611138834393086
u=2ϑ00(Q5)ϑ00(Q1/5)2ϑ00(Q)2ϑ00(Q1/5)2+5ϑ00(Q5)24ϑ00(Q)20.3447357019439680107642844248203058218212701865144922007257031
x=u(5u210u+4)5u26u+20.75192639869405948026865366345020738740978383913037835

यह मान c = 2 के लिए दूसरा सटीक गणना उदाहरण है:

x5+5x=8
Q=q[(10+217)1/2(17+1+2)]0.3063466544466074265361088194021326272090461143559097382981847
u=2ϑ00(Q5)ϑ00(Q1/5)2ϑ00(Q)2ϑ00(Q1/5)2+5ϑ00(Q5)24ϑ00(Q)20.26117326232214439979677125632439205703620052387333832254673599
x=2u(5u210u+4)5u26u+21.16703618370164304731101943199639610129755211048801991

यह मान c = 3 के लिए तीसरा सटीक गणना उदाहरण है:

x5+5x=12
Q=q[(20+282)1/2(82+1+3)]0.370664951152024075624432522177568657151868089959747395750974
u=2ϑ00(Q5)ϑ00(Q1/5)2ϑ00(Q)2ϑ00(Q1/5)2+5ϑ00(Q5)24ϑ00(Q)20.2090460949758925319033273467025369651597551071050541509568731
x=3u(5u210u+4)5u26u+21.38409179582314635924775512626713547488593506018067645

महत्वपूर्ण अतिरिक्त जानकारी:

q[(2c2+2+2c4+1)1/2(c4+1+1+c)]=
=exp{π[012(z4+2c2c4+12c2z2+1)1/2dz]÷[012(z42c2c4+12c2z2+1)1/2dz]}

सन्दर्भ

साँचा:Reflist

साँचा:Authority control