Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
Discussion
View history
Purge
English
Log in
2.7.E23
(Q887)
From MaRDI portal
Jump to:
navigation
,
search
No description defined
Language
Label
Description
Also known as
English
2.7.E23
No description defined
Statements
DLMF defining formula
|
ϵ
j
(
x
)
|
,
1
2
f
-
1
/
2
(
x
)
|
ϵ
j
′
(
x
)
|
≤
exp
(
1
2
𝒱
a
j
,
x
(
F
)
)
-
1
,
subscript
italic-ϵ
𝑗
𝑥
1
2
superscript
𝑓
1
2
𝑥
superscript
subscript
italic-ϵ
𝑗
′
𝑥
1
2
variational-operator-on-interval
subscript
𝑎
𝑗
𝑥
𝐹
1
{\displaystyle{\displaystyle|\epsilon_{j}(x)|,\;\;\tfrac{1}{2}f^{-1/2}(x)|% \epsilon_{j}^{\prime}(x)|\leq\exp\left(\tfrac{1}{2}\mathcal{V}_{a_{j},x}\left(% F\right)\right)-1,}}
0 references
constraint
j
=
1
,
2
𝑗
1
2
{\displaystyle{\displaystyle j=1,2}}
0 references
Symbols used
exponential function
DLMF defining formula
exp
z
𝑧
{\displaystyle{\displaystyle\exp\NVar{z}}}
xml-id
C4.S2.E19.m2abdec
0 references
total variation
DLMF defining formula
𝒱
a
,
b
(
f
)
variational-operator-on-interval
𝑎
𝑏
𝑓
{\displaystyle{\displaystyle\mathcal{V}_{\NVar{a,b}}\left(\NVar{f}\right)}}
xml-id
C1.S4.E33.m2adec
0 references
interval
DLMF defining formula
(
a
1
,
a
2
)
subscript
𝑎
1
subscript
𝑎
2
{\displaystyle{\displaystyle(a_{1},a_{2})}}
xml-id
C2.S7.XMD19.m1dec
0 references
function
DLMF defining formula
ϵ
j
(
x
)
subscript
italic-ϵ
𝑗
𝑥
{\displaystyle{\displaystyle\epsilon_{j}(x)}}
xml-id
C2.S7.XMD22.m1bdec
0 references
error-control function
DLMF defining formula
F
𝐹
{\displaystyle{\displaystyle F}}
xml-id
C2.S7.XMD23.m1dec
0 references
instance of
Digital Library of Mathematical Functions Formula
0 references
MaRDI profile type
MaRDI formula profile
0 references
Identifiers
Digital Library of Mathematical Functions ID
2.7.E23
0 references
Sitelinks
Mathematics
(1 entry)
mardi
Formula:887
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Concept URI