DLMF:1.16.E22 (Q622): Difference between revisions

From DRMF
Jump to navigation Jump to search
‎Created a new Item: Wikidata Toolkit example test item creation
 
‎Changed an Item: Add constraint
 
(One intermediate revision by the same user not shown)
Property / Symbols used
 
Property / Symbols used: Heaviside function / rank
 
Normal rank
Property / Symbols used: Heaviside function / qualifier
 
Defining formula:

H ⁡ ( x ) Heaviside-H 𝑥 {\displaystyle{\displaystyle H\left(\NVar{x}\right)}}

\HeavisideH@{\NVar{x}}
Property / Symbols used: Heaviside function / qualifier
 
xml-id: C1.S16.E13.m2aedec
Property / Symbols used
 
Property / Symbols used: principal branch of logarithm function / rank
 
Normal rank
Property / Symbols used: principal branch of logarithm function / qualifier
 
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.m2adec

Latest revision as of 16:36, 1 January 2020

No description defined
Language Label Description Also known as
English
DLMF:1.16.E22
No description defined

    Statements

    Defining formula
    ln + ⁡ x = H ⁡ ( x ) ⁢ ln ⁡ x = { ln ⁡ x , x > 0 , 0 , x ≤ 0 , subscript 𝑥 Heaviside-H 𝑥 𝑥 cases 𝑥 𝑥 0 0 𝑥 0 {\displaystyle{\displaystyle\ln_{+}x=H\left(x\right)\ln x=\begin{cases}\ln x,&% x>0,\\ 0,&x\leq 0,\end{cases}}}
    0 references
    DLMF id
    DLMF:1.16.E22
    0 references
    Symbols used
    Heaviside function
    Defining formula
    H ⁡ ( x ) Heaviside-H 𝑥 {\displaystyle{\displaystyle H\left(\NVar{x}\right)}}
    xml-id
    C1.S16.E13.m2aedec
    0 references
    principal branch of logarithm function
    Defining formula
    ln ⁡ z 𝑧 {\displaystyle{\displaystyle\ln\NVar{z}}}
    xml-id
    C4.S2.E2.m2adec
    0 references
     
        Retrieved from "https://drmf-beta.wmflabs.org/index.php?title=Item:Q622&oldid=23643"