DLMF:4.10.E7 (Q1725): Difference between revisions

From MaRDI portal
Changed an Item: Add constraint
Added link to MaRDI item.
 
(7 intermediate revisions by 3 users not shown)
Property / Symbols used
 
Property / Symbols used: logarithmic integral / rank
 
Normal rank
Property / Symbols used: logarithmic integral / qualifier
 
DLMF defining formula:

li ( x ) logarithmic-integral 𝑥 {\displaystyle{\displaystyle\mathrm{li}\left(\NVar{x}\right)}}

\logint@{\NVar{x}}
Property / Symbols used: logarithmic integral / qualifier
 
xml-id: C6.S2.E8.m2adec
Property / Symbols used
 
Property / Symbols used: principal branch of logarithm function / rank
 
Normal rank
Property / Symbols used: principal branch of logarithm function / qualifier
 
DLMF defining formula:

ln z 𝑧 {\displaystyle{\displaystyle\ln\NVar{z}}}

\ln@@{\NVar{z}}
Property / Symbols used: principal branch of logarithm function / qualifier
 
xml-id: C4.S2.E2.m2afdec
Property / Symbols used
 
Property / Symbols used: Cauchy principal value / rank
 
Normal rank
Property / Symbols used: Cauchy principal value / qualifier
 
DLMF defining formula:

a b superscript subscript principal-value-integral 𝑎 𝑏 {\displaystyle{\displaystyle\pvint_{\NVar{a}}^{\NVar{b}}}}

\pvint_{\NVar{a}}^{\NVar{b}}
Property / Symbols used: Cauchy principal value / qualifier
 
xml-id: C1.S4.E24.m2adec
Property / Symbols used
 
Property / Symbols used: real variable / rank
 
Normal rank
Property / Symbols used: real variable / qualifier
 
DLMF defining formula:

x 𝑥 {\displaystyle{\displaystyle x}}

x
Property / Symbols used: real variable / qualifier
 
xml-id: C4.S1.XMD6.m1dec
Property / instance of
 
Property / instance of: Digital Library of Mathematical Functions Formula / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI formula profile / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 01:41, 3 March 2024

No description defined
Language Label Description Also known as
English
DLMF:4.10.E7
No description defined

    Statements

    0 x d t ln t = li ( x ) , superscript subscript principal-value-integral 0 𝑥 𝑡 𝑡 logarithmic-integral 𝑥 {\displaystyle{\displaystyle\pvint_{0}^{x}\frac{\mathrm{d}t}{\ln t}=\mathrm{li% }\left(x\right),}}
    0 references
    x > 1 𝑥 1 {\displaystyle{\displaystyle x>1}}
    0 references
    d x 𝑥 {\displaystyle{\displaystyle\mathrm{d}\NVar{x}}}
    C1.S4.SS4.m1afdec
    0 references
    li ( x ) logarithmic-integral 𝑥 {\displaystyle{\displaystyle\mathrm{li}\left(\NVar{x}\right)}}
    C6.S2.E8.m2adec
    0 references
    ln z 𝑧 {\displaystyle{\displaystyle\ln\NVar{z}}}
    C4.S2.E2.m2afdec
    0 references
    a b superscript subscript principal-value-integral 𝑎 𝑏 {\displaystyle{\displaystyle\pvint_{\NVar{a}}^{\NVar{b}}}}
    C1.S4.E24.m2adec
    0 references
    x 𝑥 {\displaystyle{\displaystyle x}}
    C4.S1.XMD6.m1dec
    0 references

    Identifiers