DLMF:4.32.E3 (Q2193)

From MaRDI portal
No description defined
Language Label Description Also known as
English
DLMF:4.32.E3
No description defined

    Statements

    DLMF defining formula
    | cosh ⁡ x - cosh ⁡ y | ≥ | x - y | ⁢ sinh ⁡ x ⁢ sinh ⁡ y , 𝑥 𝑦 𝑥 𝑦 𝑥 𝑦 {\displaystyle{\displaystyle|\cosh x-\cosh y|\geq|x-y|\sqrt{\sinh x\sinh y},}}
    0 references
    constraint
    y > 0 𝑦 0 {\displaystyle{\displaystyle y>0}}
    0 references
    Symbols used
    hyperbolic cosine function
    DLMF defining formula
    cosh ⁡ z 𝑧 {\displaystyle{\displaystyle\cosh\NVar{z}}}
    xml-id
    C4.S28.E2.m2aadec
    0 references
    hyperbolic sine function
    DLMF defining formula
    sinh ⁡ z 𝑧 {\displaystyle{\displaystyle\sinh\NVar{z}}}
    xml-id
    C4.S28.E1.m2aadec
    0 references
    real variable
    DLMF defining formula
    x 𝑥 {\displaystyle{\displaystyle x}}
    xml-id
    C4.S1.XMD6.m1bdec
    0 references
    real variable
    DLMF defining formula
    y 𝑦 {\displaystyle{\displaystyle y}}
    xml-id
    C4.S1.XMD7.m1dec
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2193&oldid=24162850"
    Powered by MediaWiki