DLMF:7.7.E5 (Q2375): Difference between revisions

From DRMF
Jump to navigation Jump to search
Changed an Item: Add constraint
Changed an Item: Add constraint
 
(One intermediate revision by the same user not shown)
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.m3addec
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.m1abdec

Latest revision as of 01:44, 2 January 2020

No description defined
Language Label Description Also known as
English
DLMF:7.7.E5
No description defined

    Statements

    0 1 e - a t 2 t 2 + 1 d t = π 4 e a ( 1 - ( erf a ) 2 ) , superscript subscript 0 1 superscript 𝑒 𝑎 superscript 𝑡 2 superscript 𝑡 2 1 𝑡 𝜋 4 superscript 𝑒 𝑎 1 superscript error-function 𝑎 2 {\displaystyle{\displaystyle\int_{0}^{1}\frac{e^{-at^{2}}}{t^{2}+1}\mathrm{d}t% =\frac{\pi}{4}e^{a}\left(1-(\operatorname{erf}\sqrt{a})^{2}\right),}}
    0 references
    DLMF:7.7.E5
    0 references
    a > 0 𝑎 0 {\displaystyle{\displaystyle\Re a>0}}
    0 references
    π {\displaystyle{\displaystyle\pi}}
    C3.S12.E1.m2addec
    0 references
    d x 𝑥 {\displaystyle{\displaystyle\mathrm{d}\NVar{x}}}
    C1.S4.SS4.m1addec
    0 references
    erf z error-function 𝑧 {\displaystyle{\displaystyle\operatorname{erf}\NVar{z}}}
    C7.S2.E1.m2adec
    0 references
    e {\displaystyle{\displaystyle\mathrm{e}}}
    C4.S2.E11.m2addec
    0 references
    {\displaystyle{\displaystyle\int}}
    C1.S4.SS4.m3addec
    0 references
    absent {\displaystyle{\displaystyle\Re}}
    C1.S9.E2.m1abdec
    0 references