دوال كلفن

رسم بياني لدالة كلفن ber(z) في المستوى المركب من -2-2i إلى 2+2i، مع ألوان تم إنشاؤها باستخدام دالة ComplexPlot3D في برنامج Mathematica 13.1
رسم بياني لدالة كلفن ber(z) في المستوى المركب من -2-2i إلى 2+2i، مع ألوان تم إنشاؤها باستخدام دالة ComplexPlot3D في برنامج Mathematica 13.1

في الرياضيات التطبيقية، تمثل دالتا كلفن ber ν ( x ) و bei ν ( x ) الأجزاء الحقيقية والخيالية ، على التوالي، لـ

جν(xهـ3πأنا4)،{\displaystyle J_{\nu }\left(xe^{\frac {3\pi i}{4}}\right),\,}

حيث x عدد حقيقي، و J ν ( z ) هي دالة بيسل من النوع الأول من الرتبة ν . وبالمثل، فإن الدالتين ker ν ( x ) و kei ν ( x ) هما الجزءان الحقيقي والخيالي، على التوالي، من

هـ-νπأنا/2كν(xهـπأنا4)،{\displaystyle e^{-\nu \pi i/2}K_{\nu }\left(xe^{\frac {\pi i}{4}}\right),\,}

حيث K ν ( z ) هي دالة بيسل المعدلة من النوع الثاني من الرتبة ν .

هذه الوظائف سميت على اسم ويليام طومسون، البارون الأول كلفن .

بينما تُعرَّف دوال كلفن بأنها الأجزاء الحقيقية والخيالية لدوال بيسل عندما يكون x عددًا حقيقيًا، يمكن تمديد هذه الدوال تحليليًا للمتغيرات المركبة xe ، حيث 0 ≤ φ < 2π . باستثناء ber n ( x ) و bein n ( x ) عندما يكون n عددًا صحيحًا ، فإن دوال كلفن لها نقطة تفرع عند x  =  0.

فيما يلي، Γ( z ) هي دالة جاما و ψ ( z ) هي دالة ديجاما .

ber( x )

ber( x ) لـ x بين 0 و  20.
بهـر(x)/هـx/2{\displaystyle \mathrm {ber} (x)/e^{x/{\sqrt {2}}}}بالنسبة لـ x بين 0 و 50.

بالنسبة للأعداد الصحيحة n ، فإن ber n ( x ) لها متسلسلة توسيع

بهـرن(x)=(x2)نك0كوس[(3ن4+ك2)π]ك!Γ(ن+ك+1)(x24)ك،{\displaystyle \mathrm {ber} _{n}(x)=\left({\frac {x}{2}}\right)^{n}\sum _{k\geq 0}{\frac {\cos \left[\left({\frac {3n}{4}}+{\frac {k}{2}}\right)\pi \right]}{k!\Gamma (n+k+1)}}\left({\frac {x^{2}}{4}}\right)^{k},}

حيث Γ( z ) هي دالة غاما . الحالة الخاصة ber₀ ( x ) ، والتي يُشار إليها عادةً بـ ber( x )، لها متسلسلة تايلور.

بهـر(x)=1+ك1(-1)ك[(2ك)!]2(x2)4ك{\displaystyle \mathrm {ber} (x)=1+\sum _{k\geq 1}{\frac {(-1)^{k}}{[(2k)!]^{2}}}\left({\frac {x}{2}}\right)^{4k}}

والمتسلسلات التقاربية

بهـر(x)هـx22πx(و1(x)كوسα+ز1(x)الخطيئةα)-كهـأنا(x)π{\displaystyle \mathrm {ber} (x)\sim {\frac {e^{\frac {x}{\sqrt {2}}}}{\sqrt {2\pi x}}}\left(f_{1}(x)\cos \alpha +g_{1}(x)\sin \alpha \right)-{\frac {\mathrm {kei} (x)}{\pi }}}،

أين

α=x2-π8،{\displaystyle \alpha ={\frac {x}{\sqrt {2}}}-{\frac {\pi }{8}},}
و1(x)=1+ك1كوس(كπ/4)ك!(8x)كل=1ك(2ل-1)2{\displaystyle f_{1}(x)=1+\sum _{k\geq 1}{\frac {\cos(k\pi /4)}{k!(8x)^{k}}}\prod _{l=1}^{k}(2l-1)^{2}}
ز1(x)=ك1الخطيئة(كπ/4)ك!(8x)كل=1ك(2ل-1)2.{\displaystyle g_{1}(x)=\sum _{k\geq 1}{\frac {\sin(k\pi /4)}{k!(8x)^{k}}}\prod _{l=1}^{k}(2l-1)^{2}.}
رسم بياني لدالة كلفن bei(z) في المستوى المركب من -2-2i إلى 2+2i، مع ألوان تم إنشاؤها باستخدام دالة ComplexPlot3D في برنامج Mathematica 13.1
رسم بياني لدالة كلفن bei(z) في المستوى المركب من -2-2i إلى 2+2i، مع ألوان تم إنشاؤها باستخدام دالة ComplexPlot3D في برنامج Mathematica 13.1

bei( x )

bei( x ) لـ x بين 0 و 20.
بهـأنا(x)/هـx/2{\displaystyle \mathrm {bei} (x)/e^{x/{\sqrt {2}}}}بالنسبة لـ x بين 0 و 50.

بالنسبة للأعداد الصحيحة n ، فإن الدالة bein ( x ) لها متسلسلة تايلور.

بهـأنان(x)=(x2)نك0الخطيئة[(3ن4+ك2)π]ك!Γ(ن+ك+1)(x24)ك.{\displaystyle \mathrm {bei} _{n}(x)=\left({\frac {x}{2}}\right)^{n}\sum _{k\geq 0}{\frac {\sin \left[\left({\frac {3n}{4}}+{\frac {k}{2}}\right)\pi \right]}{k!\Gamma (n+k+1)}}\left({\frac {x^{2}}{4}}\right)^{k}.}

الحالة الخاصة bei 0 ( x )، والتي يُشار إليها عادةً باسم bei( x )، لها متسلسلة توسيع

رسم بياني لدالة كلفن ker(z) في المستوى المركب من -2-2i إلى 2+2i، مع ألوان تم إنشاؤها باستخدام دالة ComplexPlot3D في برنامج Mathematica 13.1
رسم بياني لدالة كلفن ker(z) في المستوى المركب من -2-2i إلى 2+2i، مع ألوان تم إنشاؤها باستخدام دالة ComplexPlot3D في برنامج Mathematica 13.1
بهـأنا(x)=ك0(-1)ك[(2ك+1)!]2(x2)4ك+2{\displaystyle \mathrm {bei} (x)=\sum _{k\geq 0}{\frac {(-1)^{k}}{[(2k+1)!]^{2}}}\left({\frac {x}{2}}\right)^{4k+2}}

والمتسلسلات التقاربية

بهـأنا(x)هـx22πx[و1(x)الخطيئةα-ز1(x)كوسα]-كهـر(x)π،{\displaystyle \mathrm {bei} (x)\sim {\frac {e^{\frac {x}{\sqrt {2}}}}{\sqrt {2\pi x}}}[f_{1}(x)\sin \alpha -g_{1}(x)\cos \alpha ]-{\frac {\mathrm {ker} (x)}{\pi }},}

حيث α،و1(x){\displaystyle f_{1}(x)}، وز1(x){\displaystyle g_{1}(x)}يتم تعريفها على النحو التالي لـ ber( x ).

ker( x )

ker( x ) لـ x بين 0 و 14.
كهـر(x)هـx/2{\displaystyle \mathrm {ker} (x)e^{x/{\sqrt {2}}}}بالنسبة لـ x بين 0 و 50.

بالنسبة للأعداد الصحيحة n ، فإن ker n ( x ) له متسلسلة (معقدة)

كهـرن(x)=-ln(x2)بهـرن(x)+π4بهـأنان(x)+12(x2)-نك=0ن-1كوس[(3ن4+ك2)π](ن-ك-1)!ك!(x24)ك+12(x2)نك0كوس[(3ن4+ك2)π]ψ(ك+1)+ψ(ن+ك+1)ك!(ن+ك)!(x24)ك.{\displaystyle {\begin{aligned}&\mathrm {ker} _{n}(x)=-\ln \left({\frac {x}{2}}\right)\mathrm {ber} _{n}(x)+{\frac {\pi }{4}}\mathrm {bei} _{n}(x)\\&+{\frac {1}{2}}\left({\frac {x}{2}}\right)^{-n}\sum _{k=0}^{n-1}\cos \left[\left({\frac {3n}{4}}+{\frac {k}{2}}\right)\pi \right]{\frac {(n-k-1)!}{k!}}\left({\frac {x^{2}}{4}}\right)^{k}\\&+{\frac {1}{2}}\left({\frac {x}{2}}\right)^{n}\sum _{k\geq 0}\cos \left[\left({\frac {3n}{4}}+{\frac {k}{2}}\right)\pi \right]{\frac {\psi (k+1)+\psi (n+k+1)}{k!(n+k)!}}\left({\frac {x^{2}}{4}}\right)^{k}.\end{aligned}}}
رسم بياني لدالة كلفن kei(z) في المستوى المركب من -2-2i إلى 2+2i، مع ألوان تم إنشاؤها باستخدام دالة ComplexPlot3D في برنامج Mathematica 13.1
رسم بياني لدالة كلفن kei(z) في المستوى المركب من -2-2i إلى 2+2i، مع ألوان تم إنشاؤها باستخدام دالة ComplexPlot3D في برنامج Mathematica 13.1

الحالة الخاصة ker 0 ( x )، والتي يُشار إليها عادةً باسم ker( x )، لها متسلسلة توسيع

كهـر(x)=-ln(x2)بهـر(x)+π4بهـأنا(x)+ك0(-1)كψ(2ك+1)[(2ك)!]2(x24)2ك{\displaystyle \mathrm {ker} (x)=-\ln \left({\frac {x}{2}}\right)\mathrm {ber} (x)+{\frac {\pi }{4}}\mathrm {bei} (x)+\sum _{k\geq 0}(-1)^{k}{\frac {\psi (2k+1)}{[(2k)!]^{2}}}\left({\frac {x^{2}}{4}}\right)^{2k}}

والمتسلسلة التقاربية

كهـر(x)π2xهـ-x2[و2(x)كوسβ+ز2(x)الخطيئةβ]،{\displaystyle \mathrm {ker} (x)\sim {\sqrt {\frac {\pi }{2x}}}e^{-{\frac {x}{\sqrt {2}}}}[f_{2}(x)\cos \beta +g_{2}(x)\sin \beta ],}

أين

β=x2+π8،{\displaystyle \beta ={\frac {x}{\sqrt {2}}}+{\frac {\pi }{8}},}
و2(x)=1+ك1(-1)ككوس(كπ/4)ك!(8x)كل=1ك(2ل-1)2{\displaystyle f_{2}(x)=1+\sum _{k\geq 1}(-1)^{k}{\frac {\cos(k\pi /4)}{k!(8x)^{k}}}\prod _{l=1}^{k}(2l-1)^{2}}
ز2(x)=ك1(-1)كالخطيئة(كπ/4)ك!(8x)كل=1ك(2ل-1)2.{\displaystyle g_{2}(x)=\sum _{k\geq 1}(-1)^{k}{\frac {\sin(k\pi /4)}{k!(8x)^{k}}}\prod _{l=1}^{k}(2l-1)^{2}.}

kei( x )

kei( x ) لـ x بين 0 و 14.
كهـأنا(x)هـx/2{\displaystyle \mathrm {kei} (x)e^{x/{\sqrt {2}}}}بالنسبة لـ x بين 0 و 50.

بالنسبة لعدد صحيح n ، فإن kein ( x ) لها متسلسلة تايلور

كهـأنان(x)=-ln(x2)بهـأنان(x)-π4بهـرن(x)-12(x2)-نك=0ن-1الخطيئة[(3ن4+ك2)π](ن-ك-1)!ك!(x24)ك+12(x2)نك0الخطيئة[(3ن4+ك2)π]ψ(ك+1)+ψ(ن+ك+1)ك!(ن+ك)!(x24)ك.{\displaystyle {\begin{aligned}&\mathrm {kei} _{n}(x)=-\ln \left({\frac {x}{2}}\right)\mathrm {bei} _{n}(x)-{\frac {\pi }{4}}\mathrm {ber} _{n}(x)\\&-{\frac {1}{2}}\left({\frac {x}{2}}\right)^{-n}\sum _{k=0}^{n-1}\sin \left[\left({\frac {3n}{4}}+{\frac {k}{2}}\right)\pi \right]{\frac {(n-k-1)!}{k!}}\left({\frac {x^{2}}{4}}\right)^{k}\\&+{\frac {1}{2}}\left({\frac {x}{2}}\right)^{n}\sum _{k\geq 0}\sin \left[\left({\frac {3n}{4}}+{\frac {k}{2}}\right)\pi \right]{\frac {\psi (k+1)+\psi (n+k+1)}{k!(n+k)!}}\left({\frac {x^{2}}{4}}\right)^{k}.\end{aligned}}}

الحالة الخاصة kei 0 ( x )، والتي يُشار إليها عادةً بـ kei( x )، لها متسلسلة توسيع

كهـأنا(x)=-ln(x2)بهـأنا(x)-π4بهـر(x)+ك0(-1)كψ(2ك+2)[(2ك+1)!]2(x24)2ك+1{\displaystyle \mathrm {kei} (x)=-\ln \left({\frac {x}{2}}\right)\mathrm {bei} (x)-{\frac {\pi }{4}}\mathrm {ber} (x)+\sum _{k\geq 0}(-1)^{k}{\frac {\psi (2k+2)}{[(2k+1)!]^{2}}}\left({\frac {x^{2}}{4}}\right)^{2k+1}}

والمتسلسلة التقاربية

كهـأنا(x)-π2xهـ-x2[و2(x)الخطيئةβ+ز2(x)كوسβ]،{\displaystyle \mathrm {kei} (x)\sim -{\sqrt {\frac {\pi }{2x}}}e^{-{\frac {x}{\sqrt {2}}}}[f_{2}(x)\sin \beta +g_{2}(x)\cos \beta ],}

حيث يتم تعريف β و f 2 ( x ) و g 2 ( x ) كما هو الحال بالنسبة لـ ker( x ).

انظر أيضاً

مراجع

  • وايسشتاين، إريك دبليو. "دوال كلفن". من MathWorld - مورد ويب من Wolfram.
  • شفرة مصدرية بلغة C/C++ مرخصة بموجب رخصة GPL لحساب دوال كلفن على موقع codecogs.com: