DLMF:18.15.E1 (Q6388): Difference between revisions

From MaRDI portal
Created a new Item: Initial DLMF data seeding
 
Added link to MaRDI item.
 
(13 intermediate revisions by 3 users not shown)
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.m2adec
Property / Symbols used
 
Property / Symbols used: beta function / rank
 
Normal rank
Property / Symbols used: beta function / qualifier
 
DLMF defining formula:

B ( a , b ) Euler-Beta 𝑎 𝑏 {\displaystyle{\displaystyle\mathrm{B}\left(\NVar{a},\NVar{b}\right)}}

\EulerBeta@{\NVar{a}}{\NVar{b}}
Property / Symbols used: beta function / qualifier
 
xml-id: C5.S12.E1.m2adec
Property / Symbols used
 
Property / Symbols used: Jacobi polynomial / rank
 
Normal rank
Property / Symbols used: Jacobi polynomial / qualifier
 
DLMF defining formula:

P n ( α , β ) ( x ) Jacobi-polynomial-P 𝛼 𝛽 𝑛 𝑥 {\displaystyle{\displaystyle P^{(\NVar{\alpha},\NVar{\beta})}_{\NVar{n}}\left(% \NVar{x}\right)}}

\JacobipolyP{\NVar{\alpha}}{\NVar{\beta}}{\NVar{n}}@{\NVar{x}}
Property / Symbols used: Jacobi polynomial / qualifier
 
xml-id: C18.S3.T1.t1.r2.m2adec
Property / Symbols used
 
Property / Symbols used: Q10733 / rank
 
Normal rank
Property / Symbols used: Q10733 / qualifier
 
DLMF defining formula:

( a ) n Pochhammer 𝑎 𝑛 {\displaystyle{\displaystyle{\left(\NVar{a}\right)_{\NVar{n}}}}}

\Pochhammersym{\NVar{a}}{\NVar{n}}
Property / Symbols used: Q10733 / qualifier
 
xml-id: C5.S2.SS3.m1adec
Property / Symbols used
 
Property / Symbols used: the ratio of the circumference of a circle to its diameter / rank
 
Normal rank
Property / Symbols used: the ratio of the circumference of a circle to its diameter / qualifier
 
DLMF defining formula:

π {\displaystyle{\displaystyle\pi}}

\cpi
Property / Symbols used: the ratio of the circumference of a circle to its diameter / qualifier
 
xml-id: C3.S12.E1.m2adec
Property / Symbols used
 
Property / Symbols used: cosine function / rank
 
Normal rank
Property / Symbols used: cosine function / qualifier
 
DLMF defining formula:

cos z 𝑧 {\displaystyle{\displaystyle\cos\NVar{z}}}

\cos@@{\NVar{z}}
Property / Symbols used: cosine function / qualifier
 
xml-id: C4.S14.E2.m2adec
Property / Symbols used
 
Property / Symbols used: sine function / rank
 
Normal rank
Property / Symbols used: sine function / qualifier
 
DLMF defining formula:

sin z 𝑧 {\displaystyle{\displaystyle\sin\NVar{z}}}

\sin@@{\NVar{z}}
Property / Symbols used: sine function / qualifier
 
xml-id: C4.S14.E1.m2adec
Property / Symbols used
 
Property / Symbols used: nonnegative integer / rank
 
Normal rank
Property / Symbols used: nonnegative integer / qualifier
 
DLMF defining formula:

m 𝑚 {\displaystyle{\displaystyle m}}

m
Property / Symbols used: nonnegative integer / qualifier
 
xml-id: C18.S1.XMD5.m1dec
Property / Symbols used
 
Property / Symbols used: nonnegative integer / rank
 
Normal rank
Property / Symbols used: nonnegative integer / qualifier
 
DLMF defining formula:

n 𝑛 {\displaystyle{\displaystyle n}}

n
Property / Symbols used: nonnegative integer / qualifier
 
xml-id: C18.S1.XMD6.m1dec
Property / Symbols used
 
Property / Symbols used: 18.15.E2 / rank
 
Normal rank
Property / Symbols used: 18.15.E2 / qualifier
 
DLMF defining formula:

f m ( θ ) subscript 𝑓 𝑚 𝜃 {\displaystyle{\displaystyle f_{m}(\theta)}}

f_{m}(\theta)
Property / Symbols used: 18.15.E2 / qualifier
 
xml-id: C18.S15.XMD1.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 09:05, 3 March 2024

No description defined
Language Label Description Also known as
English
DLMF:18.15.E1
No description defined

    Statements

    ( sin 1 2 θ ) α + 1 2 ( cos 1 2 θ ) β + 1 2 P n ( α , β ) ( cos θ ) = π - 1 2 2 n + α + β + 1 B ( n + α + 1 , n + β + 1 ) ( m = 0 M - 1 f m ( θ ) 2 m ( 2 n + α + β + 2 ) m + O ( n - M ) ) , superscript 1 2 𝜃 𝛼 1 2 superscript 1 2 𝜃 𝛽 1 2 Jacobi-polynomial-P 𝛼 𝛽 𝑛 𝜃 superscript 𝜋 1 superscript 2 2 𝑛 𝛼 𝛽 1 Euler-Beta 𝑛 𝛼 1 𝑛 𝛽 1 superscript subscript 𝑚 0 𝑀 1 subscript 𝑓 𝑚 𝜃 superscript 2 𝑚 Pochhammer 2 𝑛 𝛼 𝛽 2 𝑚 Big-O superscript 𝑛 𝑀 {\displaystyle{\displaystyle\left(\sin\tfrac{1}{2}\theta\right)^{\alpha+\frac{% 1}{2}}\left(\cos\tfrac{1}{2}\theta\right)^{\beta+\frac{1}{2}}P^{(\alpha,\beta)% }_{n}\left(\cos\theta\right)=\pi^{-1}2^{2n+\alpha+\beta+1}\mathrm{B}\left(n+% \alpha+1,n+\beta+1\right)\*\left(\sum_{m=0}^{M-1}\frac{f_{m}(\theta)}{2^{m}{% \left(2n+\alpha+\beta+2\right)_{m}}}+O\left(n^{-M}\right)\right),}}
    0 references
    O ( x ) Big-O 𝑥 {\displaystyle{\displaystyle O\left(\NVar{x}\right)}}
    C2.S1.E3.m2adec
    0 references
    B ( a , b ) Euler-Beta 𝑎 𝑏 {\displaystyle{\displaystyle\mathrm{B}\left(\NVar{a},\NVar{b}\right)}}
    C5.S12.E1.m2adec
    0 references
    P n ( α , β ) ( x ) Jacobi-polynomial-P 𝛼 𝛽 𝑛 𝑥 {\displaystyle{\displaystyle P^{(\NVar{\alpha},\NVar{\beta})}_{\NVar{n}}\left(% \NVar{x}\right)}}
    C18.S3.T1.t1.r2.m2adec
    0 references
    ( a ) n Pochhammer 𝑎 𝑛 {\displaystyle{\displaystyle{\left(\NVar{a}\right)_{\NVar{n}}}}}
    C5.S2.SS3.m1adec
    0 references
    π {\displaystyle{\displaystyle\pi}}
    C3.S12.E1.m2adec
    0 references
    cos z 𝑧 {\displaystyle{\displaystyle\cos\NVar{z}}}
    C4.S14.E2.m2adec
    0 references
    sin z 𝑧 {\displaystyle{\displaystyle\sin\NVar{z}}}
    C4.S14.E1.m2adec
    0 references
    m 𝑚 {\displaystyle{\displaystyle m}}
    C18.S1.XMD5.m1dec
    0 references
    n 𝑛 {\displaystyle{\displaystyle n}}
    C18.S1.XMD6.m1dec
    0 references
    f m ( θ ) subscript 𝑓 𝑚 𝜃 {\displaystyle{\displaystyle f_{m}(\theta)}}
    C18.S15.XMD1.m1dec
    0 references

    Identifiers