Յակոբյ թետա ֆունկցիա

testwiki-ից
Jump to navigation Jump to search

Մաթեմատիկական ֆունկցիայի տեսության մեջ Յակոբյան թետա ֆունկցիաները կազմում են երկու բարդ փոփոխականների հոլոմորֆ ֆունկցիաների հատուկ դաս։ Նրանք անվանվել են գերմանացի մաթեմատիկոս Կարլ Գուստավ Յակոբ Յակոբիի պատվին և դասվում են այսպես կոչված էլիպսային մոդուլային ֆունկցիաների։ Ջակոբին առաջինն էր, ով համակարգված կերպով ուսումնասիրեց դրանք և դրա հիման վրա մշակեց էլիպսային ֆունկցիաների իր տեսությունը։ Դրանք մի քանի փոփոխականների թետա ֆունկցիաների շատ ավելի մեծ դասի հատուկ դեպք են, որոնք սովորաբար կարող են կառուցվել R n {\displaystyle \mathbb {R} ^{n}} բացատների ցանցերից։

Թետա ֆունկցիաների քանորդները, որոնք բաժանվում են այսպես կոչված թետա զրոյական արժեքի ֆունկցիաների վրա, կոչվում են ամպլիտուդային ֆունկցիաներ։ Ամպլիտուդային ֆունկցիաները կազմում են էքսպոնենցիալ ֆունկցիաների և եռանկյունաչափական ֆունկցիաների էլիպսային անալոգները։ Ինչպես բնորոշ է էլիպսային ֆունկցիաներին, Յակոբյան թետա ֆունկցիաները ունեն կրկնակի պարբերականություն իրենց ներսում գտնվող բարդ հարթության (ցանցային կառուցվածքի) իրական և երևակայական ուղղությունների երկայնքով։

Միևնույն ժամանակ, դրանք կարող են ներկայացվել որպես անվերջ շարք և որպես անվերջ արտադրյալ, որի գումարելիները կամ գործակիցները բաղկացած են էքսպոնենցիալ և կոսինուս կամ սինուսային գործակիցների արտադրյալների տարբերակների համակցությունից։ Յակոբյան թետա ֆունկցիաները կարևոր դեր են խաղում էլիպսային ֆունկցիաների, մոդուլային ձևերի, քառակուսի ձևերի և մոդուլային տարածությունների տեսության մեջ։ Ֆիզիկայի մեջ դրանք կարևոր են նաև դիֆուզիոն հավասարման և ջերմահաղորդման հավասարման, այսպես կոչված, ջերմահաղորդման միջուկը լուծելու համար։

Սահմանում

Հիմնական Jacobi theta ֆունկցիաները կիսով չափ կրկնապատկված պարբերական էլիպսային ֆունկցիաներ են և սահմանվում են որպես անսահման գումարներ.

ϑ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» գրքում։

Լրացուցիչ Jacobi theta ֆունկցիաները[1] կարող են սահմանվել որպես անսահման արտադրյալներ հետևյալ եղանակներով.

ϑ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]

Այս երեք ֆունկցիաները պարբերաբար օգտագործվում են մաթեմատիկայի մեջ և հանրահաշվորեն կապված են վերը նշված չորս ֆունկցիաների հետ։

Օգտագործելով այս երեք թետա ֆունկցիաները, կարելի է նաև սահմանել[2] «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

Մաթեմատիկոս Սրինիվասա Ռամանուջանը[3] հայտնաբերել է այս ինքնությունը և գրել այն իր հայտնի աշխատության մեջ՝ «Մոդուլային հավասարումներ և մոտարկումներ π-ին».

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» ֆունկցիան սահմանվում է հետևյալ ինտեգրալով.

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

գործառույթների արժեքները

Թետա ֆունկցիաները ունեն հետևյալ[4] արժեքները.

ϑ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π)

Անսահման գումարային շարք թետա ֆունկցիայով

Կենտ թվով Ֆիբոնաչիի[5][6] թվերի հակադարձ գումարի անսահման գումար.

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]}

Ածանցյալ և ինտեգրում

Թետա զրոյական արժեքի ֆունկցիաների ածանցյալները[7] հետևյալն են.

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}

Երկրորդ տիպի ամբողջական էլիպսային ինտեգրալն[8] ունի հետևյալ սահմանումը.

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), ϑ₀1(x) և ϑ10(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

Ցուցադրված վերջնական արդյունքները հիմնված են Քոշիի ընդհանուր բանաձևերի վրա։

հինգերորդ աստիճանի հավասարումներ

Հետևյալ ձևով հինգերորդ աստիճանի հավասարումները[9][10][11][12][13] կարող են լուծվել բոլոր իրական արժեքների համար՝ օգտագործելով հետևյալ ալգորիթմը. c∈R կարող է լուծվել՝ Հինգերորդ աստիճանի հավասարումներ

Հինգերորդ աստիճանի հավասարումներ ձևով Bring-Jerrard-Quintic
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]}