تابع هیون (به انگلیسی : Heun function )، از توابع خاص در علم ریاضیات با نماد (Hℓ(a,q;α,β،γ,δ;z، تابعی هولومورفیک و پاسخ یک معادله دیفرانسیل معمولی خطیِ مرتبه دو با ضرایب غیرثابت به نام معادله هیون است که به افتخار ریاضیدان آلمانی، کارل هیون به این اسم نامیده میشود. معادله هیون، کلیترین حالت معادله فوکسین خطی مرتبه دو، با داشتن چهار نقطه منفرد منظم است[ ۱] . حل این معادله تحت عنوان تابع هیون، از طریق تکنیک حل معادلات دیفرانسیل با کمک سریهای توانی ، بر پایه تئوری فوکس-فروبنیوس امکانپذیر است. گونههایی از معادلات هیون، تحت عنوان معادلات کانفلوئنت هیون، با داشتن یک یا چند نقطه منفرد نامنظم وجود دارند که دارای ویژگیهای ریاضی متعددی، منجمله ارتباطی تنگاتنگ با برخی از معادلات دیفرانسیلِ مولدِ پارهای از توابع خاص هستند. در کل، معادله هیون، حالتی عمومی از معادلات دیفرانسیلی نظیر معادلات گاوس هایپرژئومتریک، کانفلوئنت هایپرژئومتریک، لامه، اینس، بسل ، لِژندر و لگِر است[ ۲] که به همین علت تابع هیون روابط اثبات شده گوناگونی با بعضی از این توابع مانند توابع لامه و توابع هایپرژئومتریک پیدا کردهاست. همچنین تابع هیون به صورت بسطی از توابعی مانند توابع هایپرژئومتریک و توابع ریمان پی قابل نمایش است. دستهای خاص از پاسخهای معادله هیون مشهور به توابع هیون موجودند که در نقطه واحد دستگاه مختصات، تحلیلی هستند، همچنین دستهای دیگر از پاسخهای این معادله تحت نام چندجملهایهای هیون در تمام نقاط منفرد منظم متناهی معادله هیون، دارای رفتاری تحلیلیاند. توابع و چندجمله ایهای هیون، خواص متعددی دارند که میتوان به وجود تعامد در آنها اشاره کرد. معادلات دیفرانسیل با مشتقات پارهای متعددی در علوم فیزیک و مهندسی، پس از اعمال روش جداسازی متغیرها منجر به بروز تابع هیون میشوند. تابع هیون، در دینامیک سیالات [ ۳] ، فرایند تبدیل کریستالها[ ۴] ، مکانیک کوانتوم [ ۵] ، مطالعه بر سیاهچاله ها [ ۶] ، و بسیاری از علوم دیگر کاربرد دارد. امروزه، نرمافزارهای ریاضی گوناگونی قادر به محاسبه تابع عمومی هیون و چندجمله ایها و توابع هیون با دقت و سرعت بالایی هستند.
حالت کلی معادله هیون را میتوان به صورت زیر نمایش داد.[ ۷] [ ۸]
d
2
w
d
z
2
+
[
γ
z
+
δ
z
−
1
+
ϵ
z
−
a
]
d
w
d
z
+
α
β
z
−
q
z
(
z
−
1
)
(
z
−
a
)
w
=
0
{\displaystyle {\frac {d^{2}w}{dz^{2}}}+\left[{\frac {\gamma }{z}}+{\frac {\delta }{z-1}}+{\frac {\epsilon }{z-a}}\right]{\frac {dw}{dz}}+{\frac {\alpha \beta z-q}{z(z-1)(z-a)}}w=0}
a
≠
0
,
1
{\displaystyle a\neq 0,1}
معادله هیون را میتوان یک معادله دیفرانسیل معمولی خطی و از دسته معادلات فوکسین مرتبه دو با داشتن چهار نقطه تکینگی در نقاط
{
0
,
1
,
a
,
∞
}
{\displaystyle \left\{0,1,a,\infty \right\}}
برشمرد. لازم به ذکر است که نقاطِ منفردِ منظمِ
{
0
,
1
,
a
,
∞
}
{\displaystyle \left\{0,1,a,\infty \right\}}
، به ترتیب جفت اکسپاننت هایی(پاسخهای معادله مشخصه) به شرح
{
0
,
1
−
γ
}
{\displaystyle \left\{0,1-\gamma \right\}}
و
{
0
,
1
−
δ
}
{\displaystyle \left\{0,1-\delta \right\}}
و
{
0
,
1
−
ϵ
}
{\displaystyle \left\{0,1-\epsilon \right\}}
و
{
α
,
β
}
{\displaystyle \left\{\alpha ,\beta \right\}}
دارند .
در معادله هیون،
a
{\displaystyle a}
ثابت تکینگی،
α
{\displaystyle \alpha }
٬
β
{\displaystyle \beta }
٬
δ
{\displaystyle \delta }
٬
γ
{\displaystyle \gamma }
و
ϵ
{\displaystyle \epsilon }
ثابتهای اکسپاننت و q ثابتی کمکی است. هر هفت پارامتر مؤثر در معادله هیون،
{
α
,
β
,
γ
,
δ
,
ϵ
,
a
,
q
}
{\displaystyle \left\{\alpha ,\beta ,\gamma ,\delta ,\epsilon ,a,q\right\}}
، مستقل نیستند و با هم ارتباطی جبری دارند. بدین منظور، حالتی کلی از یک معادله فوکسین مرتبه دو را با 1+N نقطه تکینگی در
z
=
c
j
,
j
=
1
,
2
,
.
.
.
N
{\displaystyle z=c_{j},j=1,2,...N}
و
∞
{\displaystyle \infty }
، به صورت زیر در نظر بگیرید.
d
2
w
d
z
2
+
(
∑
j
=
1
N
b
j
z
−
c
j
)
d
w
d
z
+
(
∑
j
=
1
N
p
j
z
−
c
j
)
w
=
0
{\displaystyle {{\frac {{d}^{2}w}{{dz}^{2}}}+\left(\sum _{j=1}^{N}{\frac {b_{j}}{z-c_{j}}}\right){\frac {dw}{dz}}+\left(\sum _{j=1}^{N}{\frac {p_{j}}{z-c_{j}}}\right)w=0}}
در این حالت، جفت پاسخهای معادله مشخصه متناظر با نقاط متناهیِ
c
j
{\displaystyle c_{j}}
برابر با
{
0
,
1
−
b
j
}
{\displaystyle \{0,{1-b_{j}}\}}
و جفت پاسخ معادله مشخصه متناظر با
∞
{\displaystyle \infty }
برابر با
{
α
,
β
}
{\displaystyle \left\{\alpha ,\beta \right\}}
خواهد بود. مجموع جفت پاسخهای معادله مشخصه، باید در رابطه
α
+
β
+
1
=
∑
j
=
1
N
b
j
{\displaystyle \alpha +\beta +1=\sum _{j=1}^{N}b_{j}}
صدق کنند. بنابراین، ثابتهای
α
{\displaystyle \alpha }
٬
β
{\displaystyle \beta }
٬
δ
{\displaystyle \delta }
٬
γ
{\displaystyle \gamma }
و
ϵ
{\displaystyle \epsilon }
میباید شرط
1
+
α
+
β
=
ϵ
+
γ
+
δ
{\displaystyle 1+\alpha +\beta =\epsilon +\gamma +\delta }
را برقرار سازند[ ۹] . با این توصیف، در معادله هیون، شش ثابت مستقل وجود دارد. از این رابطه در برخی از منابع تحت عنوان رابطه فوکس یا شرط فوکسین نام برده شدهاست.[ ۱۰] [ ۱۱]
با انتخاب
w
(
z
)
=
z
−
γ
/
2
(
z
−
1
)
−
δ
/
2
(
z
−
a
)
−
ϵ
/
2
W
(
z
)
{\displaystyle w(z)=z^{-\gamma /2}(z-1)^{-\delta /2}(z-a)^{-\epsilon /2}W(z)}
حالت نرمال معادله هیون به صورت زیر نوشته میشود[ ۱۲] .
d
2
W
d
z
2
=
(
A
z
+
B
z
−
1
+
C
z
−
a
+
D
z
2
+
E
(
z
−
1
)
2
+
F
(
z
−
a
)
2
)
W
{\displaystyle {\frac {{d}^{2}W}{{dz}^{2}}}=\left({\frac {A}{z}}+{\frac {B}{z-1}}+{\frac {C}{z-a}}+{\frac {D}{z^{2}}}+{\frac {E}{(z-1)^{2}}}+{\frac {F}{(z-a)^{2}}}\right)W}
در معادله بالا
A
+
B
+
C
=
0
{\displaystyle A+B+C=0}
میباشند. پارامترهای
A
,
B
,
C
,
D
,
E
,
F
{\displaystyle A,B,C,D,E,F}
از روابط زیر قابل محاسبه هستند.[ ۱۲]
C
=
γ
ϵ
2
a
+
δ
ϵ
2
(
a
−
1
)
−
a
α
β
−
q
a
(
a
−
1
)
{\displaystyle C={\frac {\gamma \epsilon }{2a}}+{\frac {\delta \epsilon }{2(a-1)}}-{\frac {a\alpha \beta -q}{a(a-1)}}}
B
=
γ
δ
2
−
δ
ϵ
2
(
a
−
1
)
−
q
−
α
β
a
−
1
{\displaystyle B={\frac {\gamma \delta }{2}}-{\frac {\delta \epsilon }{2(a-1)}}-{\frac {q-\alpha \beta }{a-1}}}
A
=
−
γ
δ
2
−
γ
ϵ
2
a
+
q
a
{\displaystyle A=-{\frac {\gamma \delta }{2}}-{\frac {\gamma \epsilon }{2a}}+{\frac {q}{a}}}
F
=
1
2
ϵ
(
1
2
ϵ
−
1
)
{\displaystyle F={\tfrac {1}{2}}\epsilon \left({\tfrac {1}{2}}\epsilon -1\right)}
E
=
1
2
δ
(
1
2
δ
−
1
)
{\displaystyle E={\tfrac {1}{2}}\delta \left({\tfrac {1}{2}}\delta -1\right)}
D
=
1
2
γ
(
1
2
γ
−
1
)
{\displaystyle D={\tfrac {1}{2}}\gamma \left({\tfrac {1}{2}}\gamma -1\right)}
معادله هیون بر اساس توابع مثلثاتی
ویرایش
با تغییر متغیر
z
=
sin
2
(
θ
)
{\displaystyle z=\sin ^{2}(\theta )}
میتوان به حالتی مثلثاتی از معادله هیون دست پیدا کرد[ ۱۳] .
d
2
w
d
θ
2
+
(
(
2
γ
−
1
)
cot
(
θ
)
−
(
2
δ
−
1
)
tan
(
θ
)
−
ϵ
sin
(
2
θ
)
a
−
sin
2
(
θ
)
)
d
w
d
θ
+
4
α
β
sin
2
(
θ
)
−
q
a
−
sin
2
(
θ
)
w
=
0
{\displaystyle {\frac {{d}^{2}w}{\mathrm {d} \theta ^{2}}}+\left(\left(2\gamma -1\right)\cot \left(\theta \right)-(2\delta -1)\tan(\theta )-{\frac {\epsilon \sin(2\theta )}{a-\sin ^{2}(\theta )}}\ \right){\frac {\mathrm {d} w}{\mathrm {d} \theta }}+4{\frac {\alpha \beta \sin ^{2}(\theta )-q}{a-\sin ^{2}(\theta )}}w=0}
معادله هیون بر اساس توابع ژاکوبی بیضوی
ویرایش
با جایگذاری
a
=
k
−
2
{\displaystyle a=k^{-2}}
و
z
=
s
n
2
(
ζ
,
k
)
{\displaystyle z={\mathop {\mathrm {sn^{2}} } }\left(\zeta ,k\right)}
معادله هیون بر اساس توابع ژاکوبی بیضوی به صورت زیر قابل نمایش است[ ۱۴] .
d
2
w
d
ζ
2
+
(
(
2
γ
−
1
)
c
n
ζ
d
n
ζ
s
n
ζ
−
(
2
δ
−
1
)
s
n
ζ
d
n
ζ
c
n
ζ
−
(
2
ϵ
−
1
)
k
2
s
n
ζ
c
n
ζ
d
n
ζ
)
d
w
d
ζ
+
4
k
2
(
α
β
s
n
2
ζ
−
q
)
w
=
0
{\displaystyle {\frac {{d}^{2}w}{{d\zeta }^{2}}}+\left((2\gamma -1){\frac {\mathop {\mathrm {cn} } \zeta \mathop {\mathrm {dn} } \zeta }{\mathop {\mathrm {sn} } \zeta }}-(2\delta -1){\frac {\mathop {\mathrm {sn} } \zeta \mathop {\mathrm {dn} } \zeta }{\mathop {\mathrm {cn} } \zeta }}-(2\epsilon -1)k^{2}{\frac {\mathop {\mathrm {sn} } \zeta \mathop {\mathrm {cn} } \zeta }{\mathop {\mathrm {dn} } \zeta }}\right){\frac {dw}{d\zeta }}+4k^{2}(\alpha \beta {\mathop {\mathrm {sn} ^{2}} }\zeta -q)w=0}
پاسخ بر پایه تئوری فوکس-فروبنیوس حول نقطه 0=z
ویرایش
پاسخ معادله هیون، با نماد
H
ℓ
(
a
,
q
;
α
,
β
,
γ
,
δ
;
z
)
{\displaystyle \mathop {\mathit {H\!\ell }} \!\left(a,q;\alpha ,\beta ,\gamma ,\delta ;z\right)}
بر پایه یک سری توانی بر اساس تئوری فوکس-فروبنیوس، حول نقطه
z
=
0
{\displaystyle z=0}
با احتساب مقدار
1
{\displaystyle 1}
در این نقطه و اکسپاننت
{
0
}
{\displaystyle \left\{0\right\}}
قابل نوشتن است. در صورتی که مقدار اکسپاننت دیگر٬
{
1
−
γ
}
{\displaystyle \left\{1-\gamma \right\}}
٬ عدد صحیح مثبتی نباشد یا به عبارتی دیگر
γ
≠
0
,
−
1
,
−
2
,
.
.
.
{\displaystyle \gamma \neq 0,-1,-2,...}
، پاسخ معادله هیون بر ناحیه
|
z
|
<
1
{\displaystyle |z|<1}
موجود و تحلیلی و به صورت سری توانی زیر است[ ۱۵] .
H
ℓ
(
a
,
q
;
α
,
β
,
γ
,
δ
;
z
)
=
∑
j
=
0
∞
c
j
z
j
{\displaystyle \mathop {\mathit {H\!\ell }} \!\left(a,q;\alpha ,\beta ,\gamma ,\delta ;z\right)=\sum _{j=0}^{\infty }c_{j}z^{j}}
ضرایب این سری توانی از رابطهای بازگشتی با احتساب
P
j
=
(
j
−
1
+
α
)
(
j
−
1
+
β
)
{\displaystyle P_{j}=(j-1+\alpha )(j-1+\beta )}
٬
Q
j
=
j
(
(
j
−
1
+
γ
)
(
1
+
a
)
+
a
δ
+
ϵ
)
{\displaystyle Q_{j}=j\left((j-1+\gamma )(1+a)+a\delta +\epsilon \right)}
٬
R
j
=
a
(
j
+
1
)
(
j
+
γ
)
{\displaystyle R_{j}=a(j+1)(j+\gamma )}
و به شرح زیر به دست می آیند[ ۱۵] .
c
0
=
1
{\displaystyle {c_{0}}=1}
a
γ
c
1
−
q
c
0
=
0
{\displaystyle a\gamma c_{1}-qc_{0}=0}
R
j
c
j
+
1
−
(
Q
j
+
q
)
c
j
+
P
j
c
j
−
1
=
0
{\displaystyle R_{j}c_{j+1}-(Q_{j}+q)c_{j}+P_{j}c_{j-1}=0}
در صورتی که مقدار اکسپاننت دوم،
{
1
−
γ
}
{\displaystyle \left\{1-\gamma \right\}}
٬ مقدار صحیح مثبتی باشد، یا
γ
=
0
,
−
1
,
−
2
,
.
.
.
{\displaystyle \gamma =0,-1,-2,...}
، پاسخ معادله هیون به صورت زیر است[ ۱۵] .
z
1
−
γ
H
ℓ
(
a
,
(
a
δ
+
ϵ
)
(
1
−
γ
)
+
q
;
α
+
1
−
γ
,
β
+
1
−
γ
,
2
−
γ
,
δ
;
z
)
{\displaystyle z^{1-\gamma }\mathop {\mathit {H\!\ell }} \!\left(a,(a\delta +\epsilon )(1-\gamma )+q;\alpha +1-\gamma ,\beta +1-\gamma ,2-\gamma ,\delta ;z\right)}
پاسخ بر پایه تئوری فوکس-فروبنیوس حول سایر نقاط تکین
ویرایش
پاسخ حول نقطه
z
=
1
{\displaystyle z=1}
با احتساب اکسپاننت
{
0
}
{\displaystyle \left\{0\right\}}
برابر با مقدار زیر است[ ۱۵] .
H
ℓ
(
1
−
a
,
α
β
−
q
;
α
,
β
,
δ
,
γ
;
1
−
z
)
{\displaystyle \mathop {\mathit {H\!\ell }} \!\left(1-a,\alpha \beta -q;\alpha ,\beta ,\delta ,\gamma ;1-z\right)}
همینطور پاسخ حول نقطه
z
=
1
{\displaystyle z=1}
با احتساب اکسپاننت
{
1
−
δ
}
{\displaystyle \left\{1-\delta \right\}}
به صورت زیر نشان داده میشود[ ۱۵] .
(
1
−
z
)
1
−
δ
H
ℓ
(
1
−
a
,
(
(
1
−
a
)
γ
+
ϵ
)
(
1
−
δ
)
+
α
β
−
q
;
α
+
1
−
δ
,
β
+
1
−
δ
,
2
−
δ
,
γ
;
1
−
z
)
{\displaystyle (1-z)^{1-\delta }{H\!\ell }\!\left(1-a,((1-a)\gamma +\epsilon )(1-\delta )+\alpha \beta -q;\alpha +1-\delta ,\beta +1-\delta ,2-\delta ,\gamma ;1-z\right)}
پاسخهای مربوطه معادله هیون، حول نقطه
z
=
a
{\displaystyle z=a}
با احتساب اکسپاننتهای
{
0
}
{\displaystyle \left\{0\right\}}
و
{
1
−
ϵ
}
{\displaystyle \left\{1-\epsilon \right\}}
به ترتیب به صورتهای زیر قابل محاسبه هستند[ ۱۵] .
H
ℓ
(
a
a
−
1
,
α
β
a
−
q
a
−
1
;
α
,
β
,
ϵ
,
δ
;
a
−
z
a
−
1
)
{\displaystyle {H\!\ell }\!\left({\frac {a}{a-1}},{\frac {\alpha \beta a-q}{a-1}};\alpha ,\beta ,\epsilon ,\delta ;{\frac {a-z}{a-1}}\right)}
(
a
−
z
a
−
1
)
1
−
ϵ
H
ℓ
(
a
a
−
1
,
(
a
(
δ
+
γ
)
−
γ
)
(
1
−
ϵ
)
a
−
1
+
α
β
a
−
q
a
−
1
;
α
+
1
−
ϵ
,
β
+
1
−
ϵ
,
2
−
ϵ
,
δ
;
a
−
z
a
−
1
)
{\displaystyle \left({\frac {a-z}{a-1}}\right)^{1-\epsilon }{H\!\ell }\!\left({\frac {a}{a-1}},{\frac {(a(\delta +\gamma )-\gamma )(1-\epsilon )}{a-1}}+{\frac {\alpha \beta a-q}{a-1}};\alpha +1-\epsilon ,\beta +1-\epsilon ,2-\epsilon ,\delta ;{\frac {a-z}{a-1}}\right)}
همچنین در
z
=
∞
{\displaystyle z=\infty }
با در نظر گرفتن اکسپاننتهای
{
α
}
{\displaystyle \left\{\alpha \right\}}
و
{
β
}
{\displaystyle \left\{\beta \right\}}
میتوان به ترتیب جوابهای معادله هیون را به مانند زیر نمایش داد[ ۱۵] .
z
−
α
H
ℓ
(
1
a
,
α
(
β
−
ϵ
)
+
α
a
(
β
−
δ
)
−
q
a
;
α
,
α
−
γ
+
1
,
α
−
β
+
1
,
δ
;
1
z
)
{\displaystyle z^{-\alpha }{H\!\ell }\!\left({\frac {1}{a}},\alpha \left(\beta -\epsilon \right)+{\frac {\alpha }{a}}\left(\beta -\delta \right)-{\frac {q}{a}};\alpha ,\alpha -\gamma +1,\alpha -\beta +1,\delta ;{\frac {1}{z}}\right)}
z
−
β
H
ℓ
(
1
a
,
β
(
α
−
ϵ
)
+
β
a
(
α
−
δ
)
−
q
a
;
β
,
β
−
γ
+
1
,
β
−
α
+
1
,
δ
;
1
z
)
{\displaystyle z^{-\beta }{H\!\ell }\!\left({\frac {1}{a}},\beta \left(\alpha -\epsilon \right)+{\frac {\beta }{a}}\left(\alpha -\delta \right)-{\frac {q}{a}};\beta ,\beta -\gamma +1,\beta -\alpha +1,\delta ;{\frac {1}{z}}\right)}
به ازای دسته مقادیری از ثابت کمکی q، تابع هیون یا
H
ℓ
(
a
,
q
;
α
,
β
,
γ
,
δ
;
z
)
{\displaystyle {H\!\ell }\!\left(a,q;\alpha ,\beta ,\gamma ,\delta ;z\right)}
در نقطه
z
=
1
{\displaystyle z=1}
و در نتیجه بر بازه
|
z
|
<
a
{\displaystyle |z|<a}
تحلیلی میشود. این مقادیر
q
m
{\displaystyle q_{m}}
٬
m
=
0
,
1
,
.
.
.
{\displaystyle m=0,1,...}
با استفاده از کسرهایی نامتناهی به صورت
q
=
a
γ
P
1
Q
1
+
q
−
R
1
P
2
Q
2
+
q
−
R
2
P
3
Q
3
+
q
−
⋯
{\displaystyle q={\cfrac {a\gamma P_{1}}{Q_{1}+q-{\cfrac {R_{1}P_{2}}{Q_{2}+q-{\cfrac {R_{2}P_{3}}{Q_{3}+q-\cdots }}}}}}}
و با جایگذاری
P
j
=
(
j
−
1
+
α
)
(
j
−
1
+
β
)
{\displaystyle P_{j}=(j-1+\alpha )(j-1+\beta )}
٬
Q
j
=
j
(
(
j
−
1
+
γ
)
(
1
+
a
)
+
a
δ
+
ϵ
)
{\displaystyle Q_{j}=j\left((j-1+\gamma )(1+a)+a\delta +\epsilon \right)}
٬
R
j
=
a
(
j
+
1
)
(
j
+
γ
)
{\displaystyle R_{j}=a(j+1)(j+\gamma )}
به دست می آیند. برای تأکید بر تفاوت این گروه از پاسخهای معادله هیون از نماد
(
0
,
1
)
H
f
m
(
a
,
q
m
;
α
,
β
,
γ
,
δ
;
z
)
{\displaystyle {(0,1){Hf}_{m}}\!\left(a,q_{m};\alpha ,\beta ,\gamma ,\delta ;z\right)}
استفاده میشود[ ۱۶] .
در حالتی عمومی تر به ازای هر
(
s
1
,
s
2
)
∈
{
0
,
1
,
a
,
∞
}
{\displaystyle (s_{1},s_{2})\in \{0,1,a,\infty \}}
میتوان دستهای از مقادیر
q
m
{\displaystyle q_{m}}
پیدا کرد که تابع هیون، در نقاط
s
1
{\displaystyle s_{1}}
و
s
2
{\displaystyle s_{2}}
تحلیلی باشد. شیوه محاسبه
q
m
{\displaystyle q_{m}}
بستگی به مقادیر
s
1
{\displaystyle s_{1}}
و
s
2
{\displaystyle s_{2}}
دارد. به این گروه از تابعهای هیون که در دو نقطه از چهار نقطه تکین در معادله دیفرانسیل هیون پاسخی تحلیلی دارند، توابع هیون میگویند که با نماد
(
s
1
,
s
2
)
H
f
m
(
a
,
q
m
;
α
,
β
,
γ
,
δ
;
z
)
{\displaystyle {(s_{1},s_{2}){\mathit {Hf}}_{m}}\!\left(a,q_{m};\alpha ,\beta ,\gamma ,\delta ;z\right)}
نمایش داده میشوند[ ۱۶] .
چندجملهای های هیون، چندجملهایهایی از درجه n هستند که بر سه نقطه متناهی تکین معادله هیون
{
0
,
1
,
a
}
{\displaystyle \left\{0,1,a\right\}}
، تحلیلی اند و با نماد
H
p
n
,
m
(
a
,
q
n
,
m
;
−
n
,
β
,
γ
,
δ
;
z
)
{\displaystyle {{Hp}_{n,m}}\!\left(a,q_{n,m};-n,\beta ,\gamma ,\delta ;z\right)}
نشان داده میشوند. در چندجلمه ایهای هیون،
α
=
−
n
{\displaystyle \alpha =-n}
و با احتساب
n
=
0
,
1
,
2
,
.
.
.
{\displaystyle n=0,1,2,...}
هست، به عبارتی
H
p
n
,
m
(
a
,
q
n
,
m
;
−
n
,
β
,
γ
,
δ
;
z
)
=
H
ℓ
(
a
,
q
n
,
m
;
−
n
,
β
,
γ
,
δ
;
z
)
{\displaystyle {{Hp}_{n,m}}\!\left(a,q_{n,m};-n,\beta ,\gamma ,\delta ;z\right)={H\!\ell }\!\left(a,q_{n,m};-n,\beta ,\gamma ,\delta ;z\right)}
.
q
n
,
m
{\displaystyle q_{n,m}}
٬ مقدارهای ویژه ماتریس زیر با درنظرگرفتن
m
=
0
,
1
,
.
.
.
n
{\displaystyle m=0,1,...n}
میباشند[ ۱۷] .
[
0
a
γ
0
…
0
P
1
−
Q
1
R
1
…
0
0
P
2
−
Q
2
⋮
⋮
⋮
⋱
R
n
−
1
0
0
…
P
n
−
Q
n
]
{\displaystyle {\begin{bmatrix}0&a\gamma &0&\dots &0\\P_{1}&-Q_{1}&R_{1}&\dots &0\\0&P_{2}&-Q_{2}&&\vdots \\\vdots &\vdots &&\ddots &R_{n-1}\\0&0&\dots &P_{n}&-Q_{n}\end{bmatrix}}}
رابطه تابع هیون با سایر توابع
ویرایش
تابع هیون، با توابع گاوس هایپرژئومتریک و توابع لامه در ارتباط است.
ارتباط با توابع گاوس هایپرژئومتریک
ویرایش
تابع هیون، روابط متعددی با توابع گاوس هایپرژئومتریک دارد[ ۱۸] [ ۱۹] .
2
F
1
(
α
,
β
;
γ
;
z
)
=
H
ℓ
(
1
,
α
β
;
α
,
β
,
γ
,
δ
;
z
)
=
H
ℓ
(
0
,
0
;
α
,
β
,
γ
,
α
+
β
+
1
−
γ
;
z
)
=
H
ℓ
(
a
,
a
α
β
;
α
,
β
,
γ
,
α
+
β
+
1
−
γ
;
z
)
{\displaystyle {{}_{2}F_{1}}\!\left(\alpha ,\beta ;\gamma ;z\right)={H\!\ell }\!\left(1,\alpha \beta ;\alpha ,\beta ,\gamma ,\delta ;z\right)={H\!\ell }\!\left(0,0;\alpha ,\beta ,\gamma ,\alpha +\beta +1-\gamma ;z\right)={H\!\ell }\!\left(a,a\alpha \beta ;\alpha ,\beta ,\gamma ,\alpha +\beta +1-\gamma ;z\right)}
H
ℓ
(
2
,
α
β
;
α
,
β
,
γ
,
α
+
β
−
2
γ
+
1
;
z
)
=
2
F
1
(
1
2
α
,
1
2
β
;
γ
;
1
−
(
1
−
z
)
2
)
{\displaystyle {H\!\ell }\!\left(2,\alpha \beta ;\alpha ,\beta ,\gamma ,\alpha +\beta -2\gamma +1;z\right)={{}_{2}F_{1}}\!\left({\tfrac {1}{2}}\alpha ,{\tfrac {1}{2}}\beta ;\gamma ;1-(1-z)^{2}\right)}
H
l
(
2
,
α
β
;
α
,
β
,
α
+
β
+
2
4
,
α
+
β
2
;
z
)
=
2
F
1
(
α
4
,
β
4
;
α
+
β
+
2
4
;
1
−
4
[
z
(
2
−
z
)
−
1
2
]
2
)
{\displaystyle Hl(2,\alpha \beta ;\alpha ,\beta ,{\frac {\alpha +\beta +2}{4}},{\frac {\alpha +\beta }{2}};z)=_{2}^{}{\textrm {F}}_{1}({\frac {\alpha }{4}},{\frac {\beta }{4}};{\frac {\alpha +\beta +2}{4}};1-4[z(2-z)-{\frac {1}{2}}]^{2})}
H
ℓ
(
4
,
α
β
;
α
,
β
,
1
2
,
2
3
(
α
+
β
)
;
z
)
=
2
F
1
(
1
3
α
,
1
3
β
;
1
2
;
1
−
(
1
−
z
)
2
(
1
−
1
4
z
)
)
{\displaystyle {H\!\ell }\!\left(4,\alpha \beta ;\alpha ,\beta ,{\tfrac {1}{2}},{\tfrac {2}{3}}(\alpha +\beta );z\right)=\mathop {{}_{2}F_{1}} \!\left({\tfrac {1}{3}}\alpha ,{\tfrac {1}{3}}\beta ;{\tfrac {1}{2}};1-(1-z)^{2}(1-{\tfrac {1}{4}}z)\right)}
H
ℓ
(
1
2
±
i
3
2
,
α
β
(
1
2
±
i
3
6
)
;
α
,
β
,
1
3
(
α
+
β
+
1
)
,
1
3
(
α
+
β
+
1
)
;
z
)
=
2
F
1
(
1
3
α
,
1
3
β
;
1
3
(
α
+
β
+
1
)
;
1
−
[
z
/
(
1
2
±
i
3
6
)
]
3
)
{\displaystyle {H\!\ell }\!\left({\tfrac {1}{2}}\pm i{\tfrac {\sqrt {3}}{2}},\alpha \beta ({\tfrac {1}{2}}\pm i{\tfrac {\sqrt {3}}{6}});\alpha ,\beta ,{\tfrac {1}{3}}(\alpha +\beta +1),{\tfrac {1}{3}}(\alpha +\beta +1);z\right)=\mathop {{}_{2}F_{1}} ({\tfrac {1}{3}}\alpha ,{\tfrac {1}{3}}\beta ;{\tfrac {1}{3}}(\alpha +\beta +1);1-[z/({\frac {1}{2}}\pm i{\frac {\sqrt {3}}{6}})]^{3})}
همچنین روابطی موجود هستند که در آنها متغیر z در تبدیل از تابع هیون به معادلی به صورت یک تابع هایپرژئومتریک، تغییر توانی نمییابد یا به صورت چندجملهای ظاهر نمیشود، بلکه تنها تحت تغییرات جبری قرار میگیرد[ ۲۰] [ ۲۱] .
تابع هیون، با تابع لامه نیز دارای ارتباط است. میتوان با تغییر متغیر
z
=
s
n
2
(
ζ
,
k
)
{\displaystyle z={sn^{2}}\left(\zeta ,k\right)}
، معادله هیون را بر حسب متغیر
ζ
{\displaystyle \zeta }
نمایش داد، بهطوریکه
a
=
k
−
2
{\displaystyle a=k^{-2}}
٬
q
=
−
1
4
a
h
{\displaystyle q=-{\tfrac {1}{4}}ah}
٬
α
=
−
1
2
ν
{\displaystyle \alpha =-{\tfrac {1}{2}}\nu }
٬
β
=
1
2
(
ν
+
1
)
{\displaystyle \beta ={\tfrac {1}{2}}(\nu +1)}
٬
γ
=
δ
=
ϵ
=
1
2
{\displaystyle \gamma =\delta =\epsilon ={\tfrac {1}{2}}}
. لازم به ذکر است که معادله دیفرانسیل لامه به صورت
d
2
w
d
z
2
+
(
h
−
ν
(
ν
+
1
)
k
2
s
n
2
(
z
,
k
)
)
w
=
0
{\displaystyle {\frac {{d}^{2}w}{{dz}^{2}}}+(h-\nu (\nu +1)k^{2}{{sn}^{2}}\left(z,k\right))w=0}
نمایش داده میشود.
توابع و چندجمله ایهای هیون، به ترتیب دارای نوعی تعامد یگانه و دوگانه هستند[ ۲۲] .
تعامد یگانه در توابع هیون
ویرایش
اگر
w
m
(
z
)
=
(
0
,
1
)
H
f
m
(
a
,
q
m
;
α
,
β
,
γ
,
δ
;
z
)
{\displaystyle w_{m}(z)={(0,1){\mathit {Hf}}_{m}}\!\left(a,q_{m};\alpha ,\beta ,\gamma ,\delta ;z\right)}
باشد، آنگاه تعامد زیر برقرار است[ ۲۳] :
∫
ζ
(
1
+
,
0
+
,
1
−
,
0
−
)
t
γ
−
1
(
1
−
t
)
δ
−
1
(
t
−
a
)
ϵ
−
1
w
m
(
t
)
w
k
(
t
)
d
t
=
δ
m
,
k
θ
m
{\displaystyle \int _{\zeta }^{(1+,0+,1-,0-)}t^{\gamma -1}(1-t)^{\delta -1}(t-a)^{{\textstyle \epsilon }-1}w_{m}(t)w_{k}(t)dt=\delta _{m,k}\theta _{m}}
در رابطه بالا،
ζ
{\displaystyle \zeta }
نقطهای دلخواه بر بازه
(
0
,
1
)
{\displaystyle (0,1)}
است. مسیر انتگرالگیری از نقطه
ζ
{\displaystyle \zeta }
شروع شده و شامل انتگرالگیری بر ناحیه پُکهَمر حول دو نقطه 0 و 1 بوده و در نهایت به نقطه
ζ
{\displaystyle \zeta }
ختم میشود.
δ
m
,
n
{\displaystyle \delta _{m,n}}
تابع دلتای کرونکر و
θ
m
{\displaystyle \theta _{m}}
ثابت نرمالسازی تعامد نام دارد.
θ
m
=
(
1
−
e
2
π
i
γ
)
(
1
−
e
2
π
i
δ
)
ζ
γ
(
1
−
ζ
)
δ
(
ζ
−
a
)
ϵ
f
0
(
q
,
ζ
)
f
1
(
q
,
ζ
)
∂
∂
q
W
{
f
0
(
q
,
ζ
)
,
f
1
(
q
,
ζ
)
}
|
q
=
q
m
{\displaystyle \theta _{m}=(1-e^{2\pi i\gamma })(1-e^{2\pi i\delta })\zeta ^{\gamma }(1-\zeta )^{\delta }(\zeta -a)^{\textstyle \epsilon }{\frac {f_{0}(q,\zeta )}{f_{1}(q,\zeta )}}\left.{\frac {\partial }{\partial q}}{W}\left\{f_{0}(q,\zeta ),f_{1}(q,\zeta )\right\}\right|_{q=q_{m}}}
در رابطه بالا،
f
0
(
q
m
,
z
)
=
H
ℓ
(
a
,
q
m
;
α
,
β
,
γ
,
δ
;
z
)
{\displaystyle f_{0}(q_{m},z)={H\!\ell }\!\left(a,q_{m};\alpha ,\beta ,\gamma ,\delta ;z\right)}
و
f
1
(
q
m
,
z
)
=
H
ℓ
(
1
−
a
,
α
β
−
q
m
;
α
,
β
,
δ
,
γ
;
1
−
z
)
{\displaystyle f_{1}(q_{m},z)={H\!\ell }\!\left(1-a,\alpha \beta -q_{m};\alpha ,\beta ,\delta ,\gamma ;1-z\right)}
و
W
{\displaystyle W}
نماد رونسکین دو تابع میباشد.
تعامد دوگانه در چندجمله ایهای هیون
ویرایش
چندجمله ایهای هیون،
w
j
=
H
p
n
j
,
m
j
{\displaystyle w_{j}={{Hp}_{n_{j},m_{j}}}}
٬
j
=
1
,
2
{\displaystyle j=1,2}
با شرط
|
n
1
−
n
2
|
+
|
m
1
−
m
2
|
≠
0
{\displaystyle |n_{1}-n_{2}|+|m_{1}-m_{2}|\neq 0}
از تعامد دوگانه زیر تبعیت میکنند[ ۲۳] .
∫
L
1
∫
L
2
ρ
(
s
,
t
)
w
1
(
s
)
w
1
(
t
)
w
2
(
s
)
w
2
(
t
)
d
s
d
t
=
0
{\displaystyle \int _{{\mathcal {L}}_{1}}\int _{{\mathcal {L}}_{2}}\rho (s,t)w_{1}(s)w_{1}(t)w_{2}(s)w_{2}(t)dsdt=0}
در رابطه بالا،
ρ
(
s
,
t
)
=
(
s
−
t
)
(
s
t
)
γ
−
1
(
(
s
−
1
)
(
t
−
1
)
)
δ
−
1
(
(
s
−
a
)
(
t
−
a
)
)
ϵ
−
1
{\displaystyle \rho (s,t)=(s-t)(st)^{\gamma -1}\left((s-1)(t-1)\right)^{\delta -1}\left((s-a)(t-a)\right)^{{\textstyle \epsilon }-1}}
و
L
1
{\displaystyle {\mathcal {L}}_{1}}
و
L
2
{\displaystyle {\mathcal {L}}_{2}}
مسیرهای انتگرالگیری بر ناحیه پُکهَمر بین هریک از دو نقطه
{
0
,
1
}
{\displaystyle \left\{0,1\right\}}
٬
{
0
,
a
}
{\displaystyle \left\{0,a\right\}}
٬
{
1
,
a
}
{\displaystyle \left\{1,a\right\}}
هستند.
در صورتی که
w
(
z
)
{\displaystyle w(z)}
یکی از پاسخهای معادله هیون باشد، میتوان
W
(
z
)
{\displaystyle W(z)}
، پاسخی دیگر از معادله هیون را بر اساس رابطهای انتگرالی، با انتخاب ناحیه انتگرالگیری مناسبِ
C
{\displaystyle C}
، به صورت زیر نشان داد[ ۲۴] .
W
(
z
)
=
∫
C
K
(
z
,
t
)
w
(
t
)
ρ
(
t
)
d
t
{\displaystyle W(z)=\int _{C}{\mathcal {K}}(z,t)w(t)\rho (t)dt}
در این رابطه،
ρ
(
t
)
=
t
γ
−
1
(
t
−
1
)
δ
−
1
(
t
−
a
)
ϵ
−
1
{\displaystyle \rho (t)=t^{\gamma -1}(t-1)^{\delta -1}(t-a)^{\epsilon -1}}
تابع وزن رابطه انتگرالی و
K
(
z
,
t
)
{\displaystyle {\mathcal {K}}(z,t)}
کِرنِل رابطه انتگرالی است که میبایست در رابطه زیر صدق کند.
(
D
z
−
D
t
)
K
=
0
{\displaystyle ({\mathcal {D}}_{z}-{\mathcal {D}}_{t}){\mathcal {K}}=0}
D
z
=
z
(
z
−
1
)
(
z
−
a
)
(
∂
2
∂
z
2
)
+
(
γ
(
z
−
1
)
(
z
−
a
)
+
δ
z
(
z
−
a
)
+
ϵ
z
(
z
−
1
)
)
(
∂
∂
z
)
+
α
β
z
{\displaystyle {\mathcal {D}}_{z}=z(z-1)(z-a)({\frac {\partial ^{2}}{\partial z^{2}}})+\left(\gamma (z-1)(z-a)+\delta z(z-a)+\epsilon z(z-1)\right)({\frac {\partial }{\partial z}})+\alpha \beta z}
در رابطه بالا،
D
z
{\displaystyle {\mathcal {D}}_{z}}
اپراتور هیون بر اساس متغیر
z
{\displaystyle z}
میباشد و مسیر
C
{\displaystyle C}
باید رابطه
p
(
t
)
(
∂
K
∂
t
w
(
t
)
−
K
d
w
(
t
)
d
t
)
|
C
=
0
{\displaystyle \left.p(t)\left({\frac {\partial {\mathcal {K}}}{\partial t}}w(t)-{\mathcal {K}}{\frac {dw(t)}{dt}}\right)\right|_{C}=0}
را برقرار سازد، بهطوریکه
p
(
t
)
=
t
γ
(
t
−
1
)
δ
(
t
−
a
)
ϵ
{\displaystyle p(t)=t^{\gamma }(t-1)^{\delta }(t-a)^{\epsilon }}
.
شیوه محاسبه تابع کرنل معادله انتگرالی با تغییر متغیرهای زیر امکانپذیر است.
cos
θ
=
(
z
t
a
)
1
/
2
{\displaystyle \mathop {\cos } \theta =\left({\frac {zt}{a}}\right)^{1/2}}
sin
θ
cos
ϕ
=
i
(
(
z
−
a
)
(
t
−
a
)
a
(
1
−
a
)
)
1
/
2
{\displaystyle \mathop {\sin } \theta \mathop {\cos } \phi =i\left({\frac {(z-a)(t-a)}{a(1-a)}}\right)^{1/2}}
sin
θ
sin
ϕ
=
(
(
z
−
1
)
(
t
−
1
)
1
−
a
)
1
/
2
{\displaystyle \mathop {\sin } \theta \mathop {\sin } \phi =\left({\frac {(z-1)(t-1)}{1-a}}\right)^{1/2}}
تابع کرنل
K
(
θ
,
ϕ
)
{\displaystyle {\mathcal {K}}(\theta ,\phi )}
باید معادله زیر را پاسخگو باشد. جواب این معادله را میتوان بر حسب تابع ریمان پی نوشت.
sin
2
θ
(
∂
2
K
∂
θ
2
+
(
(
1
−
2
γ
)
tan
θ
+
2
(
δ
+
ϵ
−
1
2
)
cot
θ
)
∂
K
∂
θ
−
4
α
β
K
)
+
∂
2
K
∂
ϕ
2
+
(
(
1
−
2
δ
)
cot
ϕ
−
(
1
−
2
ϵ
)
tan
ϕ
)
∂
K
∂
ϕ
=
0
{\displaystyle {\mathop {\sin } ^{2}}\theta \left({\frac {{\partial }^{2}{\mathcal {K}}}{{\partial \theta }^{2}}}+\left((1-2\gamma )\mathop {\tan } \theta +2(\delta +\epsilon -{\tfrac {1}{2}})\mathop {\cot } \theta \right){\frac {\partial {\mathcal {K}}}{\partial \theta }}-4\alpha \beta {\mathcal {K}}\right)+{\frac {{\partial }^{2}{\mathcal {K}}}{{\partial \phi }^{2}}}+\left((1-2\delta )\mathop {\cot } \phi -(1-2\epsilon )\mathop {\tan } \phi \right){\frac {\partial {\mathcal {K}}}{\partial \phi }}=0}
K
(
θ
,
ϕ
)
=
P
{
0
1
∞
0
1
2
−
δ
−
σ
α
cos
2
θ
1
−
γ
1
2
−
ϵ
+
σ
β
}
P
{
0
1
∞
0
0
−
1
2
+
δ
+
σ
cos
2
ϕ
1
−
ϵ
1
−
δ
−
1
2
+
ϵ
−
σ
}
{\displaystyle {\mathcal {K}}(\theta ,\phi )=\mathop {P} \!{\begin{Bmatrix}0&1&\infty &\\0&{\frac {1}{2}}-\delta -\sigma &\alpha &{\mathop {\cos } ^{2}}\theta \\1-\gamma &{\frac {1}{2}}-\epsilon +\sigma &\beta &\end{Bmatrix}}\mathop {P} \!{\begin{Bmatrix}0&1&\infty &\\0&0&-{\frac {1}{2}}+\delta +\sigma &{\mathop {\cos } ^{2}}\phi \\1-\epsilon &1-\delta &-{\frac {1}{2}}+\epsilon -\sigma &\end{Bmatrix}}}
در رابطه بالا،
σ
{\displaystyle \sigma }
ثابت روش جداسازی متغیرهاست. مثلاً در چندجمله ایهای هیون،
H
p
n
,
m
(
z
)
{\displaystyle \mathop {{\mathit {Hp}}_{n,m}} \!\left(z\right)}
٬
σ
=
1
2
−
δ
−
j
{\displaystyle \sigma ={\frac {1}{2}}-\delta -j}
است بهطوریکه
j
=
0
,
1
,
…
,
n
{\displaystyle j=0,1,\dots ,n}
.
اگر
w
(
z
)
{\displaystyle w(z)}
یکی از جوابهای معادله هیون و
W
(
z
)
{\displaystyle W(z)}
جوابی دیگر از این معادله باشد، میتوان رابطهای انتگرالی به شرح زیر بین این دو پاسخ از معادله پیدا کرد[ ۲۴] .
W
(
z
)
=
∫
C
1
∫
C
2
K
(
z
;
s
,
t
)
w
(
s
)
w
(
t
)
ρ
(
s
,
t
)
d
s
d
t
{\displaystyle W(z)=\int _{C_{1}}\int _{C_{2}}{\mathcal {K}}(z;s,t)w(s)w(t)\rho (s,t)dsdt}
تابع وزن رابطه انتگرالی به صورت
ρ
(
s
,
t
)
=
(
s
−
t
)
(
s
t
)
γ
−
1
(
(
1
−
s
)
(
1
−
t
)
)
δ
−
1
(
(
1
−
(
s
/
a
)
)
(
1
−
(
t
/
a
)
)
)
ϵ
−
1
{\displaystyle \rho (s,t)=(s-t)(st)^{\gamma -1}\left((1-s)(1-t)\right)^{\delta -1}\left((1-(s/a))(1-(t/a))\right)^{\epsilon -1}}
است و کرنل
K
(
z
;
s
,
t
)
{\displaystyle {\mathcal {K}}(z;s,t)}
میباید در معادله دیفرانسیل چند متغیره
(
(
t
−
z
)
D
s
+
(
z
−
s
)
D
t
+
(
s
−
t
)
D
z
)
K
=
0
{\displaystyle \left((t-z){\mathcal {D}}_{s}+(z-s){\mathcal {D}}_{t}+(s-t){\mathcal {D}}_{z}\right){\mathcal {K}}=0}
صادق باشد. اپراتور
D
z
{\displaystyle {\mathcal {D}}_{z}}
نیز اپراتور دیفرانسیلی هیون است. همچنین نواحی انتگرالگیری
C
1
{\displaystyle C_{1}}
و
C
2
{\displaystyle C_{2}}
باید در روابط زیر صدق کنند.
p
(
t
)
(
∂
K
∂
t
w
(
t
)
−
K
d
w
(
t
)
d
t
)
|
C
1
=
0
{\displaystyle \left.p(t)\left({\frac {\partial {\mathcal {K}}}{\partial t}}w(t)-{\mathcal {K}}{\frac {dw(t)}{dt}}\right)\right|_{C_{1}}=0}
p
(
s
)
(
∂
K
∂
s
w
(
s
)
−
K
d
w
(
s
)
d
s
)
|
C
2
=
0
{\displaystyle \left.p(s)\left({\frac {\partial {\mathcal {K}}}{\partial s}}w(s)-{\mathcal {K}}{\frac {dw(s)}{ds}}\right)\right|_{C_{2}}=0}
در دو رابطه بالا،
p
(
t
)
=
t
γ
(
t
−
1
)
δ
(
t
−
a
)
ϵ
{\displaystyle p(t)=t^{\gamma }(t-1)^{\delta }(t-a)^{\epsilon }}
است.
با تغییر متغیرهای زیر، میتوان تابع کرنل رابطه انتگرالی را محاسبه کرد.
u
=
(
s
t
z
)
1
/
2
a
{\displaystyle u={\frac {(stz)^{1/2}}{a}}}
v
=
(
(
s
−
1
)
(
t
−
1
)
(
z
−
1
)
1
−
a
)
1
/
2
{\displaystyle v=\left({\frac {(s-1)(t-1)(z-1)}{1-a}}\right)^{1/2}}
w
=
i
(
(
s
−
a
)
(
t
−
a
)
(
z
−
a
)
a
(
1
−
a
)
)
1
/
2
{\displaystyle w=i\left({\frac {(s-a)(t-a)(z-a)}{a(1-a)}}\right)^{1/2}}
در نهایت با اعمال تغییر متغیرهای مذکور، کرنل رابطه انتگرالی، میبایست معادله دیفرانسیل چند متغیره زیر را ارضا کند.
∂
2
K
∂
u
2
+
∂
2
K
∂
v
2
+
∂
2
K
∂
w
2
+
2
γ
−
1
u
∂
K
∂
u
+
2
δ
−
1
v
∂
K
∂
v
+
2
ϵ
−
1
w
∂
K
∂
w
=
0
{\displaystyle {\frac {{\partial }^{2}{\mathcal {K}}}{{\partial u}^{2}}}+{\frac {{\partial }^{2}{\mathcal {K}}}{{\partial v}^{2}}}+{\frac {{\partial }^{2}{\mathcal {K}}}{{\partial w}^{2}}}+{\frac {2\gamma -1}{u}}{\frac {\partial {\mathcal {K}}}{\partial u}}+{\frac {2\delta -1}{v}}{\frac {\partial {\mathcal {K}}}{\partial v}}+{\frac {2\epsilon -1}{w}}{\frac {\partial {\mathcal {K}}}{\partial w}}=0}
نتیجه معادله مذکور بر حسب توابع بسل، به صورت زیر قابل محاسبه است.
K
(
u
,
v
,
w
)
=
u
1
−
γ
v
1
−
δ
w
1
−
ϵ
F
1
−
γ
(
u
σ
1
)
F
1
−
δ
(
v
σ
2
)
F
1
−
ϵ
(
i
w
σ
1
+
σ
2
)
{\displaystyle {\mathcal {K}}(u,v,w)=u^{1-\gamma }v^{1-\delta }w^{1-\epsilon }{{F}_{1-\gamma }}\!\left(u{\sqrt {\sigma _{1}}}\right){{F}_{1-\delta }}\!\left(v{\sqrt {\sigma _{2}}}\right){{F}_{1-\epsilon }}\!\left(iw{\sqrt {\sigma _{1}+\sigma _{2}}}\right)}
در رابطه بالا
F
1
−
γ
(
u
σ
1
)
{\displaystyle F_{1-\gamma }\left(u{\sqrt {\sigma _{1}}}\right)}
٬
F
1
−
δ
(
u
σ
1
)
{\displaystyle F_{1-\delta }\left(u{\sqrt {\sigma _{1}}}\right)}
٬
F
1
−
ϵ
(
u
σ
1
)
{\displaystyle F_{1-\epsilon }\left(u{\sqrt {\sigma _{1}}}\right)}
ترکیبهایی خطی از توابع بسل نوع اول و دوم و
σ
1
{\displaystyle \sigma _{1}}
و
σ
2
{\displaystyle \sigma _{2}}
ثابتهای جداسازی هستند، بهطور مثال:
F
1
−
γ
(
u
σ
1
)
=
C
1
J
1
−
γ
(
u
σ
1
)
+
C
2
Y
1
−
γ
(
u
σ
1
)
{\displaystyle F_{1-\gamma }\left(u{\sqrt {\sigma _{1}}}\right)=C_{1}J_{1-\gamma }\left(u{\sqrt {\sigma _{1}}}\right)+C_{2}Y_{1-\gamma }\left(u{\sqrt {\sigma _{1}}}\right)}
با تغییر متغیرهایی بر اساس دستگاه مختصات کروی ، میتوان به صورتی دیگر از معادله کرنل رسید.
u
=
r
cos
θ
{\displaystyle u=r\mathop {\cos } \theta }
v
=
r
sin
θ
sin
ϕ
{\displaystyle v=r\mathop {\sin } \theta \mathop {\sin } \phi }
w
=
r
sin
θ
cos
ϕ
{\displaystyle w=r\mathop {\sin } \theta \mathop {\cos } \phi }
∂
2
K
∂
r
2
+
2
(
γ
+
δ
+
ϵ
)
−
1
r
∂
K
∂
r
+
1
r
2
∂
2
K
∂
θ
2
+
(
2
(
δ
+
ϵ
)
−
1
)
cot
θ
−
(
2
γ
−
1
)
tan
θ
r
2
∂
K
∂
θ
+
1
r
2
sin
2
θ
∂
2
K
∂
ϕ
2
+
(
2
δ
−
1
)
cot
ϕ
−
(
2
ϵ
−
1
)
tan
ϕ
r
2
sin
2
θ
∂
K
∂
ϕ
=
0
{\displaystyle {\frac {{\partial }^{2}{\mathcal {K}}}{{\partial r}^{2}}}+{\frac {2(\gamma +\delta +\epsilon )-1}{r}}{\frac {\partial {\mathcal {K}}}{\partial r}}+{\frac {1}{r^{2}}}{\frac {{\partial }^{2}{\mathcal {K}}}{{\partial \theta }^{2}}}+{\frac {(2(\delta +\epsilon )-1)\mathop {\cot } \theta -(2\gamma -1)\mathop {\tan } \theta }{r^{2}}}{\frac {\partial {\mathcal {K}}}{\partial \theta }}+{\frac {1}{r^{2}{\mathop {\sin } ^{2}}\theta }}{\frac {{\partial }^{2}{\mathcal {K}}}{{\partial \phi }^{2}}}+{\frac {(2\delta -1)\mathop {\cot } \phi -(2\epsilon -1)\mathop {\tan } \phi }{r^{2}{\mathop {\sin } ^{2}}\theta }}{\frac {\partial {\mathcal {K}}}{\partial \phi }}=0}
حل معادله بالا، بر اساس توابع ریمان پی به صورت زیر است.
K
(
r
,
θ
,
ϕ
)
=
r
m
sin
2
p
θ
P
{
0
1
∞
0
0
a
cos
2
θ
1
2
(
3
−
γ
)
c
b
}
P
{
0
1
∞
0
0
a
′
cos
2
ϕ
1
−
ϵ
1
−
δ
b
′
}
{\displaystyle {\mathcal {K}}(r,\theta ,\phi )=r^{m}{\mathop {\sin } ^{2p}}\theta \mathop {P} \!{\begin{Bmatrix}0&1&\infty &\\0&0&a&{\mathop {\cos } ^{2}}\theta \\{\tfrac {1}{2}}(3-\gamma )&c&b&\end{Bmatrix}}\mathop {P} \!{\begin{Bmatrix}0&1&\infty &\\0&0&a^{\prime }&{\mathop {\cos } ^{2}}\phi \\1-\epsilon &1-\delta &b^{\prime }&\end{Bmatrix}}}
پارامترهای معادله بالا، از دسته روابط زیر به دست می آیند.
m
2
+
2
(
α
+
β
)
m
−
σ
1
=
0
{\displaystyle m^{2}+2(\alpha +\beta )m-\sigma _{1}=0}
a
+
b
=
2
(
α
+
β
+
p
)
−
1
{\displaystyle a+b=2(\alpha +\beta +p)-1}
p
2
+
(
α
+
β
−
γ
−
1
2
)
p
−
1
4
σ
2
=
0
{\displaystyle p^{2}+(\alpha +\beta -\gamma -{\tfrac {1}{2}})p-{\tfrac {1}{4}}\sigma _{2}=0}
a
b
=
p
2
−
p
(
1
−
α
−
β
)
−
1
4
σ
1
{\displaystyle ab=p^{2}-p(1-\alpha -\beta )-{\tfrac {1}{4}}\sigma _{1}}
c
=
γ
−
1
2
−
2
(
α
+
β
+
p
)
{\displaystyle c=\gamma -{\tfrac {1}{2}}-2(\alpha +\beta +p)}
a
′
+
b
′
=
δ
+
ϵ
−
1
{\displaystyle a^{\prime }+b^{\prime }=\delta +\epsilon -1}
a
′
b
′
=
−
1
4
σ
2
{\displaystyle a^{\prime }b^{\prime }=-{\tfrac {1}{4}}\sigma _{2}}
ثابتهای
σ
1
{\displaystyle \sigma _{1}}
و
σ
2
{\displaystyle \sigma _{2}}
ثابتهای روش جداسازی متغیرها در حل معادله دیفرانسیل هستند.
بسط بر اساس توابع هایپرژئومتریک
ویرایش
صورتهای کانفلوئنت معادله هیون
ویرایش
صورت کانفلوئنت معادله هیون به نوعی از معادلات هیون گفته میشود که حداقل یکی از نقاط منفرد منظم این معادله، تبدیل به یک نقطه منفرد نامنظم گردیده باشد. چهار حالت استندارد برای کانفلوئنت معادله هیون وجود دارد[ ۲۶] .
کانفلوئنت مضاعف معادله هیون
ویرایش
این معادله به شکل زیر نمایش داده میشود و حاوی دو نقطه منفرد نامنظم از درجه یک در
z
=
0
,
∞
{\displaystyle z=0,\infty }
است.
d
2
w
d
z
2
+
(
δ
z
2
+
γ
z
+
1
)
d
w
d
z
+
α
z
−
q
z
2
w
=
0
{\displaystyle {\frac {{d}^{2}w}{{dz}^{2}}}+\left({\frac {\delta }{z^{2}}}+{\frac {\gamma }{z}}+1\right){\frac {dw}{dz}}+{\frac {\alpha z-q}{z^{2}}}w=0}
معادله بای کانفلوئنت هیون
ویرایش
معادله بای کانفلوئنت هیون شامل نقطه منفرد منظم در
z
=
0
{\displaystyle z=0}
و نقطه منفرد نامنظم از درجه دو در
z
=
∞
{\displaystyle z=\infty }
است.
d
2
w
d
z
2
+
(
γ
z
+
δ
+
z
)
d
w
d
z
+
α
z
−
q
z
w
=
0
{\displaystyle {\frac {{d}^{2}w}{{dz}^{2}}}+\left({\frac {\gamma }{z}}+\delta +z\right){\frac {dw}{dz}}+{\frac {\alpha z-q}{z}}w=0}
معادله تری کانفلوئنت هیون
ویرایش
معادله تری کانفلوئنت هیون تنها یک نقطه منفرد نامنظم از درجه سه در
z
=
∞
{\displaystyle z=\infty }
دارد.
d
2
w
d
z
2
+
(
γ
+
z
)
z
d
w
d
z
+
(
α
z
−
q
)
w
=
0
{\displaystyle {\frac {{d}^{2}w}{{dz}^{2}}}+\left(\gamma +z\right)z{\frac {dw}{dz}}+\left(\alpha z-q\right)w=0}
این معادله، دربرگیرنده معادلاتی است که منجر به توابعی چون توابع متیو، تابع موج کولمب و تابع موج در مختصات اسفرویدال میشود و دارای دو نقطه منفرد منظم در
z
=
0
{\displaystyle z=0}
و
z
=
1
{\displaystyle z=1}
و یک نقطه منفرد نامنظم در
z
=
∞
{\displaystyle z=\infty }
با درجه یک است.
d
2
w
d
z
2
+
(
γ
z
+
δ
z
−
1
+
ϵ
)
d
w
d
z
+
α
z
−
q
z
(
z
−
1
)
w
=
0
{\displaystyle {\frac {{d}^{2}w}{{dz}^{2}}}+\left({\frac {\gamma }{z}}+{\frac {\delta }{z-1}}+\epsilon \right){\frac {dw}{dz}}+{\frac {\alpha z-q}{z(z-1)}}w=0}
کاربردها در ریاضیات و فیزیک
ویرایش
نرمافزارهای مرتبط با توابع هیون
ویرایش
این تابع توسط بعضی از نرمافزارهای ریاضی مانند میپل قابل محاسبه است و نمایش است[ ۳۷] .
↑ Artur Ishkhanyan, Kalle-Antti Suominen. New solutions of Heun’s general equation.
↑ Peter A. Becker. Normalization Integrals of Orthogonal Heun Functions .
↑ Craster and Hoang. Applications of Fuchsian differential equations to free boundary problems .
↑ Slavyanov and Lay. Special Functions: A Unified Theory Based on Singularities. PP 177-178.
↑ Inozemtsev. Lax representation with spectral parameter on a torus for integrable particle systems [پیوند مرده ] .
↑ Yongjoon Kwon.Quasi Normal Modes for New Type Black Holes in New Massive Gravity .
↑ «Heun's Equation» . Digital Library of Mathematical Functions. ۶/5/۲۰۱۳ .
↑ Takemura، Kouichi. «HEUN'S EQUATION, GENERALIZED HYPERGEOMETRIC FUNCTION AND EXCEPTIONAL JACOBI POLYNOMIAL» (PDF) .
↑ «Heun's Equation/Definitions» . Digital Library of Mathematical Functions. ۲۰۱۳/5/۶ .
↑ "Robert S. Maier,"On Reducing the Heun Equation to the Hypergeometric Equation
↑ ."Artur Ishkhanyan & Kalle-Antti Suominen, "New solutions of Heun’s general equation
↑ ۱۲٫۰ ۱۲٫۱ «Heun's Equation/Normal Form of Heun's Equation» . Digital Library of Mathematical Functions. ۲۰۱۳/5/۶ .
↑ «Heun's Equation/Normal Form of Heun's Equation» . Digital Library of Mathematical Functions. ۲۰۱۳/5/۶ .
↑ «Heun's Equation/Normal Form of Heun's Equation» . Digital Library of Mathematical Functions. ۲۰۱۳/5/۶ .
↑ ۱۵٫۰ ۱۵٫۱ ۱۵٫۲ ۱۵٫۳ ۱۵٫۴ ۱۵٫۵ ۱۵٫۶ «Basic solution of Heun's equation» . Digital Library of Mathematical Functions. ۲۰۱۳/5/۶ .
↑ ۱۶٫۰ ۱۶٫۱ «Solutions Analytic at Two Singularities: Heun Functions» . Digital Library of Mathematical Functions. ۲۰۱۳/5/۶ .
↑ «Solutions Analytic at Three Singularities: Heun Polynomials» . Digital Library of Mathematical Functions. ۲۰۱۳/5/۶ .
↑ R. S. Maier, “On reducing the Heun equation to the hypergeometric equation [پیوند مرده ] ”.
↑ «Reductions to the Gauss Hypergeometric Function» . Digital Library of Mathematical Functions. ۲۰۱۳/5/۶ .
↑ ۲۰٫۰ ۲۰٫۱ G. S. Joyce, “On the cubic lattice Green functions”.
↑ R. S. Maier, "On reducing the Heun equation to the hypergeometric equation" .
↑ A. Ronveaux, “Heun’s Differential Equations”, PP 60-60.
↑ ۲۳٫۰ ۲۳٫۱ «Orthogonality» . Digital Library of Mathematical Functions. ۲۰۱۳/5/۶ .
↑ ۲۴٫۰ ۲۴٫۱ «Integral Equations and Representations» . Digital Library of Mathematical Functions. ۲۰۱۳/5/۶ .
↑ «Expansions in Series of Hypergeometric Functions» . Digital Library of Mathematical Functions. ۲۰۱۳/5/۶ .
↑ «Confluent Forms of Heun's Equation» . Digital Library of Mathematical Functions. ۲۰۱۳/5/۶ .
↑ Roy.P. Kerr,“Gravitational field of a spinning mass as an example of algebraically special metrics ”.
↑ Saul. A. Teukolsky, “Rotating black holes: Separable wave equations for gravitational and electromagnetic perturbations ”.
↑ S. Chandrasekhar, “The Mathematical Theory of Black Holes”, in General Relativity and Gravitation (Padova, 1983), pp 5–26.
↑ Kalnins, Miller, Torres and Williams. "Special Functions and Perturbations of Black Holes ".
↑ Suzuki, Takasugi and Umetsu , “Perturbations of Kerr-de Sitter black holes and Heun’s equations ”.
↑ G. S. Joyce, “On the simple cubic lattice Green function ”.
↑ Lay and Slavyanov, “Heun’s equation with nearby singularities ”.
↑ S. Yu. Slavyanov and W. Lay (2000), “Special Functions: A Unified Theory Based on Singularities”.
↑ Leaver, “Solutions to a generalized spheroidal wave equation: Teukolsky’s equations in general relativity, and the two-center problem in molecular quantum mechanics بایگانیشده در ۲ اکتبر ۲۰۱۳ توسط Wayback Machine ”.
↑ Boyd and Natarov, “A Sturm-Liouville eigenproblem of the fourth kind: A critical latitude with equatorial trapping ”.
↑ «The five Second Order Linear Heun equations and the corresponding Heun function solutions» . Maple Online Help.
Ishkhanyan, Artur; Suominen, Kalle-Antti (2003). "New solutions of Heun's general equation" . J. Phys. A: Math. Gen (به انگلیسی). 36 : 85-81.
A. Becker, Peter (1997). "Normalization Integrals of Orthogonal Heun Functions" . Journal of Mathematical Physics (به انگلیسی). 38 : 3692.
Craster, R. V; Hoang, V. H (1998). "Applications of Fuchsian differential equations to free boundary problems" . .Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci (به انگلیسی). 454 : 1252-1241.
Slavyanov, .S; Lay, .W (2000). Special Functions: A Unified Theory Based on Singularities (به انگلیسی). Oxford University Press .
Inozemtsev, .V. I (1989). "Lax representation with spectral parameter on a torus for integrable particle systems" . .Lett. Math. Phys (به انگلیسی). 17 (1): 17-11.
Kwon, Yongjoon; Nam, Soonkeon; Park, Jong-Dae; Yi, Sang-Heon (2011). "Quasi Normal Modes for New Type Black Holes in New Massive Gravity" . Journal of Classical and Quantum (به انگلیسی). 28 : 145006.
Maier, .G. S (2005). "On reducing the Heun equation to the hypergeometric equation" . Proc. Roy. Soc. London Ser. A Equations (به انگلیسی). 213 (1): 203-171.
Joyce, G.S (1994). "On the cubic lattice Green functions". Journal of Mathematical Physics (به انگلیسی). 445 : 477-463.
Ronveaux, A (2000). Heun’s Differential Equations (به انگلیسی). Oxford University Press .
Kerr, Roy.P (1963). "Gravitational field of a spinning mass as an example of algebraically special metrics" . Physical Review Letters (به انگلیسی). 11 (5): 238-237.
Teukolsky, Saul.A (1972). "Rotating black holes: Separable wave equations for gravitational and electromagnetic perturbations" . Physical Review Letters (به انگلیسی). 29 : 1114-1118.
Chandrasekhar, S (1983). The Mathematical Theory of Black Holes (به انگلیسی). Oxford University Press .
Kalnins, E. G; Miller, W; Torres del Castillo, G. F; Williams, G. C (Hong Kong,1999). "Rotating black holes: Separable wave equations for gravitational and electromagnetic perturbations". in Special Functions (به انگلیسی). ;
Suzuki, H; Takasugi, E; Umetsu, H (1998). "Perturbations of Kerr-de Sitter black holes and Heun's equations" . Progress of Theoretical Physics (به انگلیسی). 100 (3): 491-505.
Joyce, G.C (1973). "On the simple cubic lattice Green function" . Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences (به انگلیسی). 273 : 583-610.
Lay, W; Slavyanov, S.Yu (1999). "On Heun's equation with nearby singularities" . Proc. Roy. Soc. London Ser. A (به انگلیسی). 445 : 4347-4361.
Leaver, E.W (1986). "Solutions to a generalized spheroidal wave equation: Teukolsky's equations in general relativity, and the two-center problem in molecular quantum mechanics" " . J. Math. Phys (به انگلیسی). 27 (5): 1238-1265.
Boyd, J.P; Natarov, A (1998). "A Sturm-Liouville eigenproblem of the fourth kind: A critical latitude with equatorial trapping" . Studies in Applied Mathematics (به انگلیسی). 101 (4).
B.D.Sleeman؛ Vadim Kuznetsov (۲۰۱۲-۰۳-۲۳ ). «Chapter 31 Heun Functions» . NIST Digital Library of Mathematical Functions.