DLMF:7.7.E15 (Q2385): Difference between revisions

From DRMF
Jump to navigation Jump to search
Changed an Item: Add constraint
Changed an Item: Add constraint
Property / Symbols used
 
Property / Symbols used: the ratio of the circumference of a circle to its diameter / rank
 
Normal rank
Property / Symbols used: the ratio of the circumference of a circle to its diameter / qualifier
 
Defining formula:

π {\displaystyle{\displaystyle\pi}}

\cpi
Property / Symbols used: the ratio of the circumference of a circle to its diameter / qualifier
 
xml-id: C3.S12.E1.m2andec

Revision as of 01:46, 2 January 2020

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
    DLMF:7.7.E15
    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