DLMF:18.17.E8 (Q5749): Difference between revisions

From DRMF
Jump to navigation Jump to search
Changed an Item: Add constraint
Changed an Item: Add constraint
 
(6 intermediate revisions by the same user not shown)
Property / Symbols used
 
Property / Symbols used: Q10755 / rank
 
Normal rank
Property / Symbols used: Q10755 / qualifier
 
Defining formula:

! {\displaystyle{\displaystyle!}}

!
Property / Symbols used: Q10755 / qualifier
 
xml-id: introduction.Sx4.p1.t1.r15.m5adec
Property / Symbols used
 
Property / Symbols used: hyperbolic sine function / rank
 
Normal rank
Property / Symbols used: hyperbolic sine function / qualifier
 
Defining formula:

sinh z 𝑧 {\displaystyle{\displaystyle\sinh\NVar{z}}}

\sinh@@{\NVar{z}}
Property / Symbols used: hyperbolic sine function / qualifier
 
xml-id: C4.S28.E1.m2adec
Property / Symbols used
 
Property / Symbols used: hyperbolic tangent function / rank
 
Normal rank
Property / Symbols used: hyperbolic tangent function / qualifier
 
Defining formula:

tanh z 𝑧 {\displaystyle{\displaystyle\tanh\NVar{z}}}

\tanh@@{\NVar{z}}
Property / Symbols used: hyperbolic tangent function / qualifier
 
xml-id: C4.S28.E4.m2adec
Property / Symbols used
 
Property / Symbols used: Q10771 / rank
 
Normal rank
Property / Symbols used: Q10771 / qualifier
 
Defining formula:

{\displaystyle{\displaystyle\int}}

\int
Property / Symbols used: Q10771 / qualifier
 
xml-id: C1.S4.SS4.m3agdec
Property / Symbols used
 
Property / Symbols used: Q11517 / rank
 
Normal rank
Property / Symbols used: Q11517 / qualifier
 
Defining formula:

V ( a , z ) parabolic-V 𝑎 𝑧 {\displaystyle{\displaystyle V\left(\NVar{a},\NVar{z}\right)}}

\paraV@{\NVar{a}}{\NVar{z}}
Property / Symbols used: Q11517 / qualifier
 
xml-id: C12.S2.SS1.p1.m2adec
Property / Symbols used
 
Property / Symbols used: Q11726 / rank
 
Normal rank
Property / Symbols used: Q11726 / qualifier
 
Defining formula:

n 𝑛 {\displaystyle{\displaystyle n}}

n
Property / Symbols used: Q11726 / qualifier
 
xml-id: C18.S1.XMD6.m1gdec
Property / Symbols used
 
Property / Symbols used: Q11727 / rank
 
Normal rank
Property / Symbols used: Q11727 / qualifier
 
Defining formula:

x 𝑥 {\displaystyle{\displaystyle x}}

x
Property / Symbols used: Q11727 / qualifier
 
xml-id: C18.S2.XMD3.m1edec

Latest revision as of 15:45, 2 January 2020

No description defined
Language Label Description Also known as
English
DLMF:18.17.E8
No description defined

    Statements

    ( H n ( x ) ) 2 + 2 n ( n ! ) 2 e x 2 ( V ( - n - 1 2 , 2 1 2 x ) ) 2 = 2 n + 3 2 n ! e x 2 π 0 e - ( 2 n + 1 ) t + x 2 tanh t ( sinh 2 t ) 1 2 d t . superscript Hermite-polynomial-H 𝑛 𝑥 2 superscript 2 𝑛 superscript 𝑛 2 superscript 𝑒 superscript 𝑥 2 superscript parabolic-V 𝑛 1 2 superscript 2 1 2 𝑥 2 superscript 2 𝑛 3 2 𝑛 superscript 𝑒 superscript 𝑥 2 𝜋 superscript subscript 0 superscript 𝑒 2 𝑛 1 𝑡 superscript 𝑥 2 𝑡 superscript 2 𝑡 1 2 𝑡 {\displaystyle{\displaystyle\left(H_{n}\left(x\right)\right)^{2}+2^{n}(n!)^{2}% e^{x^{2}}\left(V\left(-n-\tfrac{1}{2},2^{\frac{1}{2}}x\right)\right)^{2}=\frac% {2^{n+\frac{3}{2}}n!\,e^{x^{2}}}{\pi}\int_{0}^{\infty}\frac{e^{-(2n+1)t+x^{2}% \tanh t}}{(\sinh 2t)^{\frac{1}{2}}}\mathrm{d}t.}}
    0 references
    DLMF:18.17.E8
    0 references
    H n ( x ) Hermite-polynomial-H 𝑛 𝑥 {\displaystyle{\displaystyle H_{\NVar{n}}\left(\NVar{x}\right)}}
    C18.S3.T1.t1.r13.m2abdec
    0 references
    π {\displaystyle{\displaystyle\pi}}
    C3.S12.E1.m2acdec
    0 references
    d x 𝑥 {\displaystyle{\displaystyle\mathrm{d}\NVar{x}}}
    C1.S4.SS4.m1agdec
    0 references
    e {\displaystyle{\displaystyle\mathrm{e}}}
    C4.S2.E11.m2aadec
    0 references
    ! {\displaystyle{\displaystyle!}}
    introduction.Sx4.p1.t1.r15.m5adec
    0 references
    sinh z 𝑧 {\displaystyle{\displaystyle\sinh\NVar{z}}}
    C4.S28.E1.m2adec
    0 references
    tanh z 𝑧 {\displaystyle{\displaystyle\tanh\NVar{z}}}
    C4.S28.E4.m2adec
    0 references
    {\displaystyle{\displaystyle\int}}
    C1.S4.SS4.m3agdec
    0 references
    V ( a , z ) parabolic-V 𝑎 𝑧 {\displaystyle{\displaystyle V\left(\NVar{a},\NVar{z}\right)}}
    C12.S2.SS1.p1.m2adec
    0 references
    n 𝑛 {\displaystyle{\displaystyle n}}
    C18.S1.XMD6.m1gdec
    0 references
    x 𝑥 {\displaystyle{\displaystyle x}}
    C18.S2.XMD3.m1edec
    0 references