DLMF:14.20.E22 (Q5640): Difference between revisions

From MaRDI portal
Created a new Item: Initial DLMF data seeding
 
Changed an Item: Add constraint
Property / Symbols used
 
Property / Symbols used: order not exceeding / rank
 
Normal rank
Property / Symbols used: order not exceeding / qualifier
 
DLMF defining formula:

O ( x ) Big-O 𝑥 {\displaystyle{\displaystyle O\left(\NVar{x}\right)}}

\bigO@{\NVar{x}}
Property / Symbols used: order not exceeding / qualifier
 
xml-id: C2.S1.E3.m2addec

Revision as of 22:56, 21 December 2021

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

    Statements

    𝖯 - 1 2 + i τ - μ ( x ) = β exp ( μ β arctan β ) Γ ( μ + 1 ) ( 1 + β 2 ) μ / 2 e - μ ρ ( 1 + β 2 - x 2 β 2 ) 1 / 4 ( 1 + O ( 1 μ ) ) , Ferrers-Legendre-P-first-kind 𝜇 1 2 𝑖 𝜏 𝑥 𝛽 𝜇 𝛽 𝛽 Euler-Gamma 𝜇 1 superscript 1 superscript 𝛽 2 𝜇 2 superscript 𝑒 𝜇 𝜌 superscript 1 superscript 𝛽 2 superscript 𝑥 2 superscript 𝛽 2 1 4 1 Big-O 1 𝜇 {\displaystyle{\displaystyle\mathsf{P}^{-\mu}_{-\frac{1}{2}+i\tau}\left(x% \right)=\frac{\beta\exp\left(\mu\beta\operatorname{arctan}\beta\right)}{\Gamma% \left(\mu+1\right)\left(1+\beta^{2}\right)^{\mu/2}}\frac{e^{-\mu\rho}}{\left(1% +\beta^{2}-x^{2}\beta^{2}\right)^{1/4}}\left(1+O\left(\frac{1}{\mu}\right)% \right),}}
    0 references
    O ( x ) Big-O 𝑥 {\displaystyle{\displaystyle O\left(\NVar{x}\right)}}
    C2.S1.E3.m2addec
    0 references

    Identifiers