DLMF:7.7.E15 (Q3083)

From MaRDI portal





No description defined
Language Label Description Also known as
default for all languages
No label defined
    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

      Identifiers