DLMF:14.20.E14 (Q4935): Difference between revisions

From DRMF
Jump to navigation Jump to search
Changed an Item: Add constraint
Changed an Item: Add constraint
 
(4 intermediate revisions by the same user not shown)
Property / Symbols used
 
Property / Symbols used: imaginary unit / rank
 
Normal rank
Property / Symbols used: imaginary unit / qualifier
 
Defining formula:

i imaginary-unit {\displaystyle{\displaystyle\mathrm{i}}}

\iunit
Property / Symbols used: imaginary unit / qualifier
 
xml-id: C1.S9.E1.m2atdec
Property / Symbols used
 
Property / Symbols used: Q10771 / rank
 
Normal rank
Property / Symbols used: Q10771 / qualifier
 
Defining formula:

{\displaystyle{\displaystyle\int}}

\int
Property / Symbols used: Q10771 / qualifier
 
xml-id: C1.S4.SS4.m3addec
Property / Symbols used
 
Property / Symbols used: Q11447 / rank
 
Normal rank
Property / Symbols used: Q11447 / qualifier
 
Defining formula:

P ν ( z ) = P ν 0 ( z ) shorthand-Legendre-P-first-kind 𝜈 𝑧 Legendre-P-first-kind 0 𝜈 𝑧 {\displaystyle{\displaystyle P_{\NVar{\nu}}\left(\NVar{z}\right)=P^{0}_{\nu}% \left(z\right)}}

\assLegendreP[]{\NVar{\nu}}@{\NVar{z}}=\assLegendreP[0]{\nu}@{z}
Property / Symbols used: Q11447 / qualifier
 
xml-id: C14.S2.SS2.p2.m3aadec
Property / Symbols used
 
Property / Symbols used: Q11589 / rank
 
Normal rank
Property / Symbols used: Q11589 / qualifier
 
Defining formula:

x 𝑥 {\displaystyle{\displaystyle x}}

x
Property / Symbols used: Q11589 / qualifier
 
xml-id: C14.S1.XMD1.m1sdec
Property / Symbols used
 
Property / Symbols used: Q11630 / rank
 
Normal rank
Property / Symbols used: Q11630 / qualifier
 
Defining formula:

τ 𝜏 {\displaystyle{\displaystyle\tau}}

\tau
Property / Symbols used: Q11630 / qualifier
 
xml-id: C14.S1.XMD3.m1udec

Latest revision as of 13:35, 2 January 2020

No description defined
Language Label Description Also known as
English
DLMF:14.20.E14
No description defined

    Statements

    π 0 τ tanh ( τ π ) cosh ( τ π ) P - 1 2 + i τ ( x ) P - 1 2 + i τ ( y ) d τ = 1 y + x . 𝜋 superscript subscript 0 𝜏 𝜏 𝜋 𝜏 𝜋 shorthand-Legendre-P-first-kind 1 2 𝑖 𝜏 𝑥 shorthand-Legendre-P-first-kind 1 2 𝑖 𝜏 𝑦 𝜏 1 𝑦 𝑥 {\displaystyle{\displaystyle\pi\int_{0}^{\infty}\frac{\tau\tanh\left(\tau\pi% \right)}{\cosh\left(\tau\pi\right)}P_{-\frac{1}{2}+i\tau}\left(x\right)P_{-% \frac{1}{2}+i\tau}\left(y\right)\mathrm{d}\tau=\frac{1}{y+x}.}}
    0 references
    DLMF:14.20.E14
    0 references
    π {\displaystyle{\displaystyle\pi}}
    C3.S12.E1.m2aidec
    0 references
    d x 𝑥 {\displaystyle{\displaystyle\mathrm{d}\NVar{x}}}
    C1.S4.SS4.m1addec
    0 references
    cosh z 𝑧 {\displaystyle{\displaystyle\cosh\NVar{z}}}
    C4.S28.E2.m2aedec
    0 references
    tanh z 𝑧 {\displaystyle{\displaystyle\tanh\NVar{z}}}
    C4.S28.E4.m2adec
    0 references
    i imaginary-unit {\displaystyle{\displaystyle\mathrm{i}}}
    C1.S9.E1.m2atdec
    0 references
    {\displaystyle{\displaystyle\int}}
    C1.S4.SS4.m3addec
    0 references
    P ν ( z ) = P ν 0 ( z ) shorthand-Legendre-P-first-kind 𝜈 𝑧 Legendre-P-first-kind 0 𝜈 𝑧 {\displaystyle{\displaystyle P_{\NVar{\nu}}\left(\NVar{z}\right)=P^{0}_{\nu}% \left(z\right)}}
    C14.S2.SS2.p2.m3aadec
    0 references
    x 𝑥 {\displaystyle{\displaystyle x}}
    C14.S1.XMD1.m1sdec
    0 references
    τ 𝜏 {\displaystyle{\displaystyle\tau}}
    C14.S1.XMD3.m1udec
    0 references