DLMF:7.7.E15 (Q3083)

From MaRDI portal
No description defined
Language Label Description Also known as
English
DLMF:7.7.E15
No description defined

    Statements

    0 e - a t cos ( t 2 ) d t = π 2 f ( a 2 π ) , superscript subscript 0 superscript 𝑒 𝑎 𝑡 superscript 𝑡 2 𝑡 𝜋 2 Fresnel-auxilliary-function-f 𝑎 2 𝜋 {\displaystyle{\displaystyle\int_{0}^{\infty}e^{-at}\cos\left(t^{2}\right)% \mathrm{d}t=\sqrt{\frac{\pi}{2}}\mathrm{f}\left(\frac{a}{\sqrt{2\pi}}\right),}}
    0 references
    a > 0 𝑎 0 {\displaystyle{\displaystyle\Re a>0}}
    0 references
    f ( z ) Fresnel-auxilliary-function-f 𝑧 {\displaystyle{\displaystyle\mathrm{f}\left(\NVar{z}\right)}}
    C7.S2.E10.m2acdec
    0 references
    π {\displaystyle{\displaystyle\pi}}
    C3.S12.E1.m2andec
    0 references
    cos z 𝑧 {\displaystyle{\displaystyle\cos\NVar{z}}}
    C4.S14.E2.m2adec
    0 references
    d x 𝑥 {\displaystyle{\displaystyle\mathrm{d}\NVar{x}}}
    C1.S4.SS4.m1andec
    0 references
    e {\displaystyle{\displaystyle\mathrm{e}}}
    C4.S2.E11.m2aldec
    0 references
    {\displaystyle{\displaystyle\int}}
    C1.S4.SS4.m3andec
    0 references
    absent {\displaystyle{\displaystyle\Re}}
    C1.S9.E2.m1addec
    0 references