DLMF:13.10.E16 (Q4475): Difference between revisions

From testwiki
Jump to navigation Jump to search
imported>Admin
imported>Admin
Β 
(12 intermediate revisions by the same user not shown)
Property / constraint
Β 

x > 0 π‘₯ 0 {\displaystyle{\displaystyle x>0}}

x>0
Property / constraint: x > 0 π‘₯ 0 {\displaystyle{\displaystyle x>0}} / rank
Β 
Normal rank
Property / constraint
Β 

max ⁑ ( β„œ ⁑ b - 2 , - 1 ) < β„œ ⁑ Ξ½ 𝑏 2 1 𝜈 {\displaystyle{\displaystyle\max\left(\Re b-2,-1\right)<\Re\nu}}

\max\left(\Re b-2,-1\right)<\Re\nu
Property / constraint: max ⁑ ( β„œ ⁑ b - 2 , - 1 ) < β„œ ⁑ Ξ½ 𝑏 2 1 𝜈 {\displaystyle{\displaystyle\max\left(\Re b-2,-1\right)<\Re\nu}} / rank
Β 
Normal rank
Property / Symbols used
Β 
Property / Symbols used: Bessel function of the first kind / rank
Β 
Normal rank
Property / Symbols used: Bessel function of the first kind / qualifier
Β 
test:

J Ξ½ ⁑ ( z ) Bessel-J 𝜈 𝑧 {\displaystyle{\displaystyle J_{\NVar{\nu}}\left(\NVar{z}\right)}}

\BesselJ{\NVar{\nu}}@{\NVar{z}}
Property / Symbols used: Bessel function of the first kind / qualifier
Β 
xml-id: C10.S2.E2.m2acdec
Property / Symbols used
Β 
Property / Symbols used: gamma function / rank
Β 
Normal rank
Property / Symbols used: gamma function / qualifier
Β 
test:

Ξ“ ⁑ ( z ) Euler-Gamma 𝑧 {\displaystyle{\displaystyle\Gamma\left(\NVar{z}\right)}}

\EulerGamma@{\NVar{z}}
Property / Symbols used: gamma function / qualifier
Β 
xml-id: C5.S2.E1.m2akdec
Property / Symbols used
Β 
Property / Symbols used: Kummer confluent hypergeometric function / rank
Β 
Normal rank
Property / Symbols used: Kummer confluent hypergeometric function / qualifier
Β 
test:

U ⁑ ( a , b , z ) Kummer-confluent-hypergeometric-U π‘Ž 𝑏 𝑧 {\displaystyle{\displaystyle U\left(\NVar{a},\NVar{b},\NVar{z}\right)}}

\KummerconfhyperU@{\NVar{a}}{\NVar{b}}{\NVar{z}}
Property / Symbols used: Kummer confluent hypergeometric function / qualifier
Β 
xml-id: C13.S2.E6.m2ahdec
Property / Symbols used
Β 
Property / Symbols used: Olver’s confluent hypergeometric function / rank
Β 
Normal rank
Property / Symbols used: Olver’s confluent hypergeometric function / qualifier
Β 
test:

𝐌 ⁑ ( a , b , z ) Kummer-confluent-hypergeometric-bold-M π‘Ž 𝑏 𝑧 {\displaystyle{\displaystyle{\mathbf{M}}\left(\NVar{a},\NVar{b},\NVar{z}\right% )}}

\OlverconfhyperM@{\NVar{a}}{\NVar{b}}{\NVar{z}}
Property / Symbols used: Olver’s confluent hypergeometric function / qualifier
Β 
xml-id: C13.S2.E3.m2ajdec
Property / Symbols used
Β 
Property / Symbols used: Q10770 / rank
Β 
Normal rank
Property / Symbols used: Q10770 / qualifier
Β 
test:

d x π‘₯ {\displaystyle{\displaystyle\mathrm{d}\NVar{x}}}

\diff{\NVar{x}}
Property / Symbols used: Q10770 / qualifier
Β 
xml-id: C1.S4.SS4.m1aodec
Property / Symbols used
Β 
Property / Symbols used: base of natural logarithm / rank
Β 
Normal rank
Property / Symbols used: base of natural logarithm / qualifier
Β 
test:

e {\displaystyle{\displaystyle\mathrm{e}}}

\expe
Property / Symbols used: base of natural logarithm / qualifier
Β 
xml-id: C4.S2.E11.m2ajdec
Property / Symbols used
Β 
Property / Symbols used: Q10811 / rank
Β 
Normal rank
Property / Symbols used: Q10811 / qualifier
Β 
test:

β„œ ⁑ absent {\displaystyle{\displaystyle\Re}}

\realpart@@
Property / Symbols used: Q10811 / qualifier
Β 
xml-id: C1.S9.E2.m1amdec
Property / Symbols used
Β 
Property / Symbols used: Q11566 / rank
Β 
Normal rank
Property / Symbols used: Q11566 / qualifier
Β 
test:

x π‘₯ {\displaystyle{\displaystyle x}}

x
Property / Symbols used: Q11566 / qualifier
Β 
xml-id: C13.S1.XMD4.m1ddec
Property / Symbols used
Β 
Property / Symbols used: Q10771 / rank
Β 
Normal rank
Property / Symbols used: Q10771 / qualifier
Β 
test:

∫ {\displaystyle{\displaystyle\int}}

\int
Property / Symbols used: Q10771 / qualifier
Β 
xml-id: C1.S4.SS4.m3aodec

Latest revision as of 15:03, 2 January 2020

No description defined
Language Label Description Also known as
English
DLMF:13.10.E16
No description defined

    Statements

    ∫ 0 ∞ e - t ⁒ t 1 2 ⁒ Ξ½ ⁒ U ⁑ ( a , b , t ) ⁒ J Ξ½ ⁑ ( 2 ⁒ x ⁒ t ) ⁒ d t = Ξ“ ⁑ ( Ξ½ - b + 2 ) ⁒ x 1 2 ⁒ Ξ½ ⁒ e - x ⁒ 𝐌 ⁑ ( a , a - b + Ξ½ + 2 , x ) , superscript subscript 0 superscript 𝑒 𝑑 superscript 𝑑 1 2 𝜈 Kummer-confluent-hypergeometric-U π‘Ž 𝑏 𝑑 Bessel-J 𝜈 2 π‘₯ 𝑑 𝑑 Euler-Gamma 𝜈 𝑏 2 superscript π‘₯ 1 2 𝜈 superscript 𝑒 π‘₯ Kummer-confluent-hypergeometric-bold-M π‘Ž π‘Ž 𝑏 𝜈 2 π‘₯ {\displaystyle{\displaystyle\int_{0}^{\infty}e^{-t}t^{\frac{1}{2}\nu}U\left(a,% b,t\right)J_{\nu}\left(2\sqrt{xt}\right)\mathrm{d}t=\Gamma\left(\nu-b+2\right)% x^{\frac{1}{2}\nu}e^{-x}{\mathbf{M}}\left(a,a-b+\nu+2,x\right),}}
    0 references
    0 references
    max ⁑ ( β„œ ⁑ b - 2 , - 1 ) < β„œ ⁑ Ξ½ 𝑏 2 1 𝜈 {\displaystyle{\displaystyle\max\left(\Re b-2,-1\right)<\Re\nu}}
    0 references
    x > 0 π‘₯ 0 {\displaystyle{\displaystyle x>0}}
    0 references
    max ⁑ ( β„œ ⁑ b - 2 , - 1 ) < β„œ ⁑ Ξ½ 𝑏 2 1 𝜈 {\displaystyle{\displaystyle\max\left(\Re b-2,-1\right)<\Re\nu}}
    0 references
    J Ξ½ ⁑ ( z ) Bessel-J 𝜈 𝑧 {\displaystyle{\displaystyle J_{\NVar{\nu}}\left(\NVar{z}\right)}}
    C10.S2.E2.m2acdec
    0 references
    Ξ“ ⁑ ( z ) Euler-Gamma 𝑧 {\displaystyle{\displaystyle\Gamma\left(\NVar{z}\right)}}
    C5.S2.E1.m2akdec
    0 references
    U ⁑ ( a , b , z ) Kummer-confluent-hypergeometric-U π‘Ž 𝑏 𝑧 {\displaystyle{\displaystyle U\left(\NVar{a},\NVar{b},\NVar{z}\right)}}
    C13.S2.E6.m2ahdec
    0 references
    𝐌 ⁑ ( a , b , z ) Kummer-confluent-hypergeometric-bold-M π‘Ž 𝑏 𝑧 {\displaystyle{\displaystyle{\mathbf{M}}\left(\NVar{a},\NVar{b},\NVar{z}\right% )}}
    C13.S2.E3.m2ajdec
    0 references
    d x π‘₯ {\displaystyle{\displaystyle\mathrm{d}\NVar{x}}}
    C1.S4.SS4.m1aodec
    0 references
    e {\displaystyle{\displaystyle\mathrm{e}}}
    C4.S2.E11.m2ajdec
    0 references
    β„œ ⁑ absent {\displaystyle{\displaystyle\Re}}
    C1.S9.E2.m1amdec
    0 references
    x π‘₯ {\displaystyle{\displaystyle x}}
    C13.S1.XMD4.m1ddec
    0 references
    ∫ {\displaystyle{\displaystyle\int}}
    C1.S4.SS4.m3aodec
    0 references