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

From MaRDI portal
Created a new Item: Initial DLMF data seeding
 
Added link to MaRDI item.
 
(9 intermediate revisions by 3 users not shown)
Property / constraint
 

x > 1 𝑥 1 {\displaystyle{\displaystyle x>1}}

x>1
Property / constraint: x > 1 𝑥 1 {\displaystyle{\displaystyle x>1}} / rank
 
Normal rank
Property / Symbols used
 
Property / Symbols used: differential of x / rank
 
Normal rank
Property / Symbols used: differential of x / qualifier
 
DLMF defining formula:

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

\diff{\NVar{x}}
Property / Symbols used: differential of x / qualifier
 
xml-id: C1.S4.SS4.m1afdec
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 02: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