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

From DRMF
Jump to navigation Jump to search
‎Created a new Item: Wikidata Toolkit example test item creation
 
‎Changed an Item: Add constraint
 
(7 intermediate revisions by the same user not shown)
Property / constraint
 

ℜ ⁡ a > 0 𝑎 0 {\displaystyle{\displaystyle\Re a>0}}

\realpart@@{a}>0
Property / constraint: ℜ ⁡ a > 0 𝑎 0 {\displaystyle{\displaystyle\Re a>0}} / rank
 
Normal rank
Property / Symbols used
 
Property / Symbols used: auxiliary function for Fresnel integrals / rank
 
Normal rank
Property / Symbols used: auxiliary function for Fresnel integrals / qualifier
 
Defining formula:

f ⁡ ( z ) Fresnel-auxilliary-function-f 𝑧 {\displaystyle{\displaystyle\mathrm{f}\left(\NVar{z}\right)}}

\auxFresnelf@{\NVar{z}}
Property / Symbols used: auxiliary function for Fresnel integrals / qualifier
 
xml-id: C7.S2.E10.m2acdec
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
Property / Symbols used
 
Property / Symbols used: cosine function / rank
 
Normal rank
Property / Symbols used: cosine function / qualifier
 
Defining formula:

cos ⁡ z 𝑧 {\displaystyle{\displaystyle\cos\NVar{z}}}

\cos@@{\NVar{z}}
Property / Symbols used: cosine function / qualifier
 
xml-id: C4.S14.E2.m2adec
Property / Symbols used
 
Property / Symbols used: Q10770 / rank
 
Normal rank
Property / Symbols used: Q10770 / qualifier
 
Defining formula:

d x 𝑥 {\displaystyle{\displaystyle\mathrm{d}\NVar{x}}}

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

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

\expe
Property / Symbols used: base of natural logarithm / qualifier
 
xml-id: C4.S2.E11.m2aldec
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.m3andec
Property / Symbols used
 
Property / Symbols used: Q10811 / rank
 
Normal rank
Property / Symbols used: Q10811 / qualifier
 
Defining formula:

ℜ ⁡ absent {\displaystyle{\displaystyle\Re}}

\realpart@@
Property / Symbols used: Q10811 / qualifier
 
xml-id: C1.S9.E2.m1addec

Latest 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

    Defining formula
    ∫ 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 id
    DLMF:7.7.E15
    0 references
    constraint
    ℜ ⁡ a > 0 𝑎 0 {\displaystyle{\displaystyle\Re a>0}}
    0 references
    Symbols used
    auxiliary function for Fresnel integrals
    Defining formula
    f ⁡ ( z ) Fresnel-auxilliary-function-f 𝑧 {\displaystyle{\displaystyle\mathrm{f}\left(\NVar{z}\right)}}
    xml-id
    C7.S2.E10.m2acdec
    0 references
    the ratio of the circumference of a circle to its diameter
    Defining formula
    π {\displaystyle{\displaystyle\pi}}
    xml-id
    C3.S12.E1.m2andec
    0 references
    cosine function
    Defining formula
    cos ⁡ z 𝑧 {\displaystyle{\displaystyle\cos\NVar{z}}}
    xml-id
    C4.S14.E2.m2adec
    0 references
    Q10770
    Defining formula
    d x 𝑥 {\displaystyle{\displaystyle\mathrm{d}\NVar{x}}}
    xml-id
    C1.S4.SS4.m1andec
    0 references
    base of natural logarithm
    Defining formula
    e {\displaystyle{\displaystyle\mathrm{e}}}
    xml-id
    C4.S2.E11.m2aldec
    0 references
    Q10771
    Defining formula
    ∫ {\displaystyle{\displaystyle\int}}
    xml-id
    C1.S4.SS4.m3andec
    0 references
    Q10811
    Defining formula
    ℜ ⁡ absent {\displaystyle{\displaystyle\Re}}
    xml-id
    C1.S9.E2.m1addec
    0 references
     
        Retrieved from "https://drmf-beta.wmflabs.org/index.php?title=Item:Q2385&oldid=34461"