Bessel Functions - 10.11 Analytic Continuation
DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
---|---|---|---|---|---|---|---|---|
10.11.E1 | \BesselJ{\nu}@{ze^{m\pi i}} = e^{m\nu\pi i}\BesselJ{\nu}@{z} |
BesselJ(nu, z*exp(m*Pi*I)) = exp(m*nu*Pi*I)*BesselJ(nu, z)
|
BesselJ[\[Nu], z*Exp[m*Pi*I]] == Exp[m*\[Nu]*Pi*I]*BesselJ[\[Nu], z]
|
Failure | Failure | Failed [132 / 210] Result: -1.978604450-.5916012221*I
Test Values: {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, m = 1}
Result: .4256613630-.5580360922e-1*I
Test Values: {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, m = 2}
... skip entries to safe data |
Failed [120 / 210]
Result: Complex[-1.9786044502778974, -0.5916012230349773]
Test Values: {Rule[m, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[0.42566136315461117, -0.05580360945599949]
Test Values: {Rule[m, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
... skip entries to safe data | |
10.11.E2 | \BesselY{\nu}@{ze^{m\pi i}} = e^{-m\nu\pi i}\BesselY{\nu}@{z}+2i\sin@{m\nu\pi}\cot@{\nu\pi}\BesselJ{\nu}@{z} |
BesselY(nu, z*exp(m*Pi*I)) = exp(- m*nu*Pi*I)*BesselY(nu, z)+ 2*I*sin(m*nu*Pi)*cot(nu*Pi)*BesselJ(nu, z)
|
BesselY[\[Nu], z*Exp[m*Pi*I]] == Exp[- m*\[Nu]*Pi*I]*BesselY[\[Nu], z]+ 2*I*Sin[m*\[Nu]*Pi]*Cot[\[Nu]*Pi]*BesselJ[\[Nu], z]
|
Failure | Failure | Failed [170 / 210] Result: -4.492502702+3.271310776*I
Test Values: {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, m = 1}
Result: 19.72399963+2.416868418*I
Test Values: {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, m = 2}
... skip entries to safe data |
Failed [162 / 210]
Result: Complex[-4.49250270148862, 3.2713107749000305]
Test Values: {Rule[m, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[19.723999620348792, 2.416868461226219]
Test Values: {Rule[m, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
... skip entries to safe data | |
10.11.E3 | \sin@{\nu\pi}\HankelH{1}{\nu}@{ze^{m\pi i}} = -\sin@{(m-1)\nu\pi}\HankelH{1}{\nu}@{z}-e^{-\nu\pi i}\sin@{m\nu\pi}\HankelH{2}{\nu}@{z} |
|
sin(nu*Pi)*HankelH1(nu, z*exp(m*Pi*I)) = - sin((m - 1)*nu*Pi)*HankelH1(nu, z)- exp(- nu*Pi*I)*sin(m*nu*Pi)*HankelH2(nu, z)
|
Sin[\[Nu]*Pi]*HankelH1[\[Nu], z*Exp[m*Pi*I]] == - Sin[(m - 1)*\[Nu]*Pi]*HankelH1[\[Nu], z]- Exp[- \[Nu]*Pi*I]*Sin[m*\[Nu]*Pi]*HankelH2[\[Nu], z]
|
Failure | Failure | Failed [132 / 210] Result: -16.06107638+5.815014709*I
Test Values: {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, m = 1}
Result: 39.27071892+24.34608468*I
Test Values: {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, m = 2}
... skip entries to safe data |
Failed [120 / 210]
Result: Complex[-16.061076381218605, 5.815014694873561]
Test Values: {Rule[m, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[39.27071883811536, 24.346084784539414]
Test Values: {Rule[m, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
... skip entries to safe data |
10.11.E4 | \sin@{\nu\pi}\HankelH{2}{\nu}@{ze^{m\pi i}} = e^{\nu\pi i}\sin@{m\nu\pi}\HankelH{1}{\nu}@{z}+\sin@{(m+1)\nu\pi}\HankelH{2}{\nu}@{z} |
|
sin(nu*Pi)*HankelH2(nu, z*exp(m*Pi*I)) = exp(nu*Pi*I)*sin(m*nu*Pi)*HankelH1(nu, z)+ sin((m + 1)*nu*Pi)*HankelH2(nu, z)
|
Sin[\[Nu]*Pi]*HankelH2[\[Nu], z*Exp[m*Pi*I]] == Exp[\[Nu]*Pi*I]*Sin[m*\[Nu]*Pi]*HankelH1[\[Nu], z]+ Sin[(m + 1)*\[Nu]*Pi]*HankelH2[\[Nu], z]
|
Failure | Failure | Failed [132 / 210] Result: 9.518923666+1.283901315*I
Test Values: {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, m = 1}
Result: -38.63237633-26.24866521*I
Test Values: {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, m = 2}
... skip entries to safe data |
Failed [120 / 210]
Result: Complex[9.518923662743454, 1.2839013369012835]
Test Values: {Rule[m, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[-38.63237622058036, -26.24866530437453]
Test Values: {Rule[m, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
... skip entries to safe data |
10.11#Ex1 | \HankelH{1}{\nu}@{ze^{\pi i}} = -e^{-\nu\pi i}\HankelH{2}{\nu}@{z} |
|
HankelH1(nu, z*exp(Pi*I)) = - exp(- nu*Pi*I)*HankelH2(nu, z)
|
HankelH1[\[Nu], z*Exp[Pi*I]] == - Exp[- \[Nu]*Pi*I]*HankelH2[\[Nu], z]
|
Failure | Failure | Failed [20 / 70] Result: -5.249915228-5.084103922*I
Test Values: {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}
Result: -3.129030441-5.176244122*I
Test Values: {nu = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}
... skip entries to safe data |
Failed [20 / 70]
Result: Complex[-5.2499152251779275, -5.084103924523598]
Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[-0.4609763579335797, 35.01102127779514]
Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}
... skip entries to safe data |
10.11#Ex2 | \HankelH{2}{\nu}@{ze^{-\pi i}} = -e^{\nu\pi i}\HankelH{1}{\nu}@{z} |
|
HankelH2(nu, z*exp(- Pi*I)) = - exp(nu*Pi*I)*HankelH1(nu, z)
|
HankelH2[\[Nu], z*Exp[- Pi*I]] == - Exp[\[Nu]*Pi*I]*HankelH1[\[Nu], z]
|
Failure | Failure | Failed [50 / 70] Result: 1.033334476+.7163604616*I
Test Values: {nu = 1/2*3^(1/2)+1/2*I, z = 1/2-1/2*I*3^(1/2)}
Result: 1.427918302+.5187414665*I
Test Values: {nu = 1/2*3^(1/2)+1/2*I, z = -1/2*3^(1/2)-1/2*I}
... skip entries to safe data |
Failed [50 / 70]
Result: Complex[1.0333344760783634, 0.7163604618419928]
Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[1.538721989873022, -0.29666827540401164]
Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}
... skip entries to safe data |
10.11.E6 | \BesselY{n}@{ze^{m\pi i}} = (-1)^{mn}(\BesselY{n}@{z}+2im\BesselJ{n}@{z}) |
BesselY(n, z*exp(m*Pi*I)) = (- 1)^(m*n)*(BesselY(n, z)+ 2*I*m*BesselJ(n, z))
|
BesselY[n, z*Exp[m*Pi*I]] == (- 1)^(m*n)*(BesselY[n, z]+ 2*I*m*BesselJ[n, z])
|
Failure | Failure | Failed [57 / 63] Result: -.7553141392+1.723217630*I
Test Values: {z = 1/2*3^(1/2)+1/2*I, m = 1, n = 1}
Result: .3969469092-.2695422112*I
Test Values: {z = 1/2*3^(1/2)+1/2*I, m = 1, n = 2}
... skip entries to safe data |
Failed [48 / 63]
Result: Complex[-0.7553141389736522, 1.7232176296930342]
Test Values: {Rule[m, 1], Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[0.39694690825884216, -0.26954221211204654]
Test Values: {Rule[m, 1], Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
... skip entries to safe data | |
10.11.E7 | \HankelH{1}{n}@{ze^{m\pi i}} = (-1)^{mn-1}((m-1)\HankelH{1}{n}@{z}+m\HankelH{2}{n}@{z}) |
|
HankelH1(n, z*exp(m*Pi*I)) = (- 1)^(m*n - 1)*((m - 1)*HankelH1(n, z)+ m*HankelH2(n, z))
|
HankelH1[n, z*Exp[m*Pi*I]] == (- 1)^(m*n - 1)*((m - 1)*HankelH1[n, z]+ m*HankelH2[n, z])
|
Failure | Failure | Failed [57 / 63] Result: -1.723217630-.7553141394*I
Test Values: {z = 1/2*3^(1/2)+1/2*I, m = 1, n = 1}
Result: .2695422111+.3969469092*I
Test Values: {z = 1/2*3^(1/2)+1/2*I, m = 1, n = 2}
... skip entries to safe data |
Failed [48 / 63]
Result: Complex[-1.7232176296930342, -0.7553141389736522]
Test Values: {Rule[m, 1], Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[0.26954221211204654, 0.39694690825884216]
Test Values: {Rule[m, 1], Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
... skip entries to safe data |
10.11.E8 | \HankelH{2}{n}@{ze^{m\pi i}} = (-1)^{mn}(m\HankelH{1}{n}@{z}+(m+1)\HankelH{2}{n}@{z}) |
|
HankelH2(n, z*exp(m*Pi*I)) = (- 1)^(m*n)*(m*HankelH1(n, z)+(m + 1)*HankelH2(n, z))
|
HankelH2[n, z*Exp[m*Pi*I]] == (- 1)^(m*n)*(m*HankelH1[n, z]+(m + 1)*HankelH2[n, z])
|
Failure | Failure | Failed [57 / 63] Result: 1.723217630+.755314139*I
Test Values: {z = 1/2*3^(1/2)+1/2*I, m = 1, n = 1}
Result: -.269542211-.396946909*I
Test Values: {z = 1/2*3^(1/2)+1/2*I, m = 1, n = 2}
... skip entries to safe data |
Failed [48 / 63]
Result: Complex[1.7232176296930342, 0.7553141389736524]
Test Values: {Rule[m, 1], Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[-0.26954221211204654, -0.39694690825884216]
Test Values: {Rule[m, 1], Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
... skip entries to safe data |
10.11#E9X | \displaystyle\BesselJ{\nu}@{\conj{z}} = \conj{\BesselJ{\nu}@{z}} |
BesselJ(nu, conjugate(z)) = conjugate(BesselJ(nu, z)) |
BesselJ[\[Nu], Conjugate[z]] == Conjugate[BesselJ[\[Nu], z]] |
Skipped - no semantic math | Skipped - no semantic math | - | - | |
10.11#E9X | \displaystyle\BesselY{\nu}@{\conj{z}} = \conj{\BesselY{\nu}@{z}} |
BesselY(nu, conjugate(z)) = conjugate(BesselY(nu, z)) |
BesselY[\[Nu], Conjugate[z]] == Conjugate[BesselY[\[Nu], z]] |
Skipped - no semantic math | Skipped - no semantic math | - | - | |
10.11#E9Xa | \displaystyle\HankelH{1}{\nu}@{\conj{z}} = \conj{\HankelH{2}{\nu}@{z}} |
|
HankelH1(nu, conjugate(z)) = conjugate(HankelH2(nu, z)) |
HankelH1[\[Nu], Conjugate[z]] == Conjugate[HankelH2[\[Nu], z]] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
10.11#E9Xa | \displaystyle\HankelH{2}{\nu}@{\conj{z}} = \conj{\HankelH{1}{\nu}@{z}} |
|
HankelH2(nu, conjugate(z)) = conjugate(HankelH1(nu, z)) |
HankelH2[\[Nu], Conjugate[z]] == Conjugate[HankelH1[\[Nu], z]] |
Skipped - no semantic math | Skipped - no semantic math | - | - |