Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
Discussion
View history
Purge
English
Log in
DLMF:7.7.E15
(Q3083)
From MaRDI portal
Jump to:
navigation
,
search
No description defined
Language
Label
Description
Also known as
English
DLMF:7.7.E15
No description defined
Statements
Digital Library of Mathematical Functions ID
7.7.E15
0 references
DLMF 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
constraint
ℜ
a
>
0
𝑎
0
{\displaystyle{\displaystyle\Re a>0}}
0 references
Symbols used
auxiliary function for Fresnel integrals
DLMF 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
DLMF defining formula
π
{\displaystyle{\displaystyle\pi}}
xml-id
C3.S12.E1.m2andec
0 references
cosine function
DLMF defining formula
cos
z
𝑧
{\displaystyle{\displaystyle\cos\NVar{z}}}
xml-id
C4.S14.E2.m2adec
0 references
differential of x
DLMF defining formula
d
x
𝑥
{\displaystyle{\displaystyle\mathrm{d}\NVar{x}}}
xml-id
C1.S4.SS4.m1andec
0 references
base of natural logarithm
DLMF defining formula
e
{\displaystyle{\displaystyle\mathrm{e}}}
xml-id
C4.S2.E11.m2aldec
0 references
integral
DLMF defining formula
∫
{\displaystyle{\displaystyle\int}}
xml-id
C1.S4.SS4.m3andec
0 references
real part
DLMF defining formula
ℜ
absent
{\displaystyle{\displaystyle\Re}}
xml-id
C1.S9.E2.m1addec
0 references
instance of
Digital Library of Mathematical Functions Formula
0 references
MaRDI profile type
MaRDI formula profile
0 references
Sitelinks
Mathematics
(1 entry)
mardi
Formula:3083
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Concept URI