Als asymptotische Entwicklungen vom Plancherel-Rotach-Typ werden asymptotische Resultate für orthogonale Polynome bezeichnet. Sie sind nach den Schweizer Mathematikern Michel Plancherel und Walter Rotach benannt, welche sie zuerst für das Hermitesche Polynom hergeleitet hatten. Man nennt asymptotische Entwicklungen dieser Form für orthogonale Polynome vom Plancherel-Rotach-Typ .
Der Fall für das (zugeordnete) Laguerre-Polynom stammt von dem Schweizer Mathematiker Egon Möcklin, der unter Plancherel und George Pólya an der ETH Zürich promovierte.[1]
Die hier aufgelisteten asymptotischen Entwicklungen stammen aus der Standardreferenz für orthogonale Polynome von Gábor Szegő .[2]
Hermitesche Polynome
Seien
ϵ
{\displaystyle \epsilon }
ω
{\displaystyle \omega }
für
x
=
(
2
n
+
1
)
1
/
2
cos
φ
,
ϵ
≤
φ
≤
π
−
ϵ
{\displaystyle x=(2n+1)^{1/2}\cos \varphi ,\ \epsilon \leq \varphi \leq \pi -\epsilon }
e
−
x
2
/
2
H
n
(
x
)
=
2
n
/
2
+
1
/
4
(
n
!
)
1
/
2
(
π
n
)
−
1
/
4
(
sin
φ
)
−
1
/
2
⋅
{
sin
[
(
n
2
+
1
4
)
(
sin
2
φ
−
2
φ
)
+
3
π
4
]
+
O
(
n
−
1
)
}
{\displaystyle {\begin{aligned}e^{-x^{2}/2}H_{n}(x)=2^{n/2+1/4}(n!)^{1/2}(\pi n)^{-1/4}&(\sin \varphi )^{-1/2}\\\cdot &{\bigg \{}\sin \left[\left({\tfrac {n}{2}}+{\tfrac {1}{4}}\right)(\sin 2\varphi -2\varphi )+3{\tfrac {\pi }{4}}\right]+{\mathcal {O}}(n^{-1}){\bigg \}}\end{aligned}}}
für
x
=
(
2
n
+
1
)
1
/
2
cosh
φ
,
ϵ
≤
φ
≤
ω
{\displaystyle x=(2n+1)^{1/2}\cosh \varphi ,\ \epsilon \leq \varphi \leq \omega }
e
−
x
2
/
2
H
n
(
x
)
=
2
n
/
2
−
3
/
4
(
n
!
)
1
/
2
(
π
n
)
−
1
/
4
(
sinh
φ
)
−
1
/
2
⋅
exp
[
(
n
2
+
1
4
)
(
2
φ
−
sinh
2
φ
)
]
{
1
+
O
(
n
−
1
)
}
{\displaystyle {\begin{aligned}e^{-x^{2}/2}H_{n}(x)=2^{n/2-3/4}(n!)^{1/2}(\pi n)^{-1/4}&(\sinh \varphi )^{-1/2}\\\cdot &\exp \left[\left({\tfrac {n}{2}}+{\tfrac {1}{4}}\right)(2\varphi -\sinh 2\varphi )\right]{\big \{}1+{\mathcal {O}}(n^{-1}){\big \}}\end{aligned}}}
für
x
=
(
2
n
+
1
)
1
/
2
−
2
−
1
/
2
3
−
1
/
3
n
−
1
/
6
t
{\displaystyle x=(2n+1)^{1/2}-2^{-1/2}3^{-1/3}n^{-1/6}t}
t
{\displaystyle t}
e
−
x
2
/
2
H
n
(
x
)
=
3
1
/
3
π
−
3
/
4
2
n
/
2
+
1
/
4
(
n
!
)
1
/
2
n
−
1
/
12
{
Ai
(
t
)
+
O
(
n
−
2
/
3
)
}
{\displaystyle e^{-x^{2}/2}H_{n}(x)=3^{1/3}\pi ^{-3/4}2^{n/2+1/4}(n!)^{1/2}n^{-1/12}{\bigg \{}\operatorname {Ai} (t)+{\mathcal {O}}\left(n^{-{2/3}}\right){\bigg \}}}
wobei
Ai
{\displaystyle \operatorname {Ai} }
Airy-Funktion bezeichnet.
Laguerre-Polynome
Sei
α
{\displaystyle \alpha }
ϵ
{\displaystyle \epsilon }
ω
{\displaystyle \omega }
für
x
=
(
4
n
+
2
α
+
2
)
cos
2
φ
,
ϵ
≤
φ
≤
π
2
−
ϵ
n
−
1
/
2
{\displaystyle x=(4n+2\alpha +2)\cos ^{2}\varphi ,\ \epsilon \leq \varphi \leq {\tfrac {\pi }{2}}-\epsilon n^{-1/2}}
e
−
x
/
2
L
n
(
α
)
(
x
)
=
(
−
1
)
n
(
π
sin
φ
)
−
1
/
2
x
−
α
/
2
−
1
/
4
n
α
/
2
−
1
/
4
⋅
{
sin
[
(
n
+
α
+
1
2
)
(
sin
2
φ
−
2
φ
)
+
3
π
/
4
]
+
(
n
x
)
−
1
/
2
O
(
1
)
}
{\displaystyle {\begin{aligned}e^{-x/2}L_{n}^{(\alpha )}(x)=(-1)^{n}(\pi \sin \varphi )^{-1/2}&x^{-\alpha /2-1/4}n^{\alpha /2-1/4}\\&\cdot {\big \{}\sin \left[\left(n+{\tfrac {\alpha +1}{2}}\right)(\sin 2\varphi -2\varphi )+3\pi /4\right]+(nx)^{-1/2}{\mathcal {O}}(1){\big \}}\end{aligned}}}
für
x
=
(
4
n
+
2
α
+
2
)
cosh
2
φ
,
ϵ
≤
φ
≤
ω
{\displaystyle x=(4n+2\alpha +2)\cosh ^{2}\varphi ,\ \epsilon \leq \varphi \leq \omega }
e
−
x
/
2
L
n
(
α
)
(
x
)
=
1
2
(
−
1
)
n
(
π
sinh
φ
)
−
1
/
2
x
−
α
/
2
−
1
/
4
n
α
/
2
−
1
/
4
⋅
exp
[
(
n
+
α
+
1
2
)
(
2
φ
−
sinh
2
φ
)
]
{
1
+
O
(
n
−
1
)
}
{\displaystyle {\begin{aligned}e^{-x/2}L_{n}^{(\alpha )}(x)={\tfrac {1}{2}}(-1)^{n}(\pi \sinh \varphi )^{-1/2}&x^{-\alpha /2-1/4}n^{\alpha /2-1/4}\\&\cdot \exp \left[\left(n+{\tfrac {\alpha +1}{2}}\right)(2\varphi -\sinh 2\varphi )\right]\{1+{\mathcal {O}}\left(n^{-1}\right)\}\end{aligned}}}
für
x
=
4
n
+
2
α
+
2
−
2
(
2
n
/
3
)
1
/
3
t
{\displaystyle x=4n+2\alpha +2-2(2n/3)^{1/3}t}
t
{\displaystyle t}
e
−
x
/
2
L
n
(
α
)
(
x
)
=
(
−
1
)
n
π
−
1
2
−
α
−
1
/
3
3
1
/
3
n
−
1
/
3
{
Ai
(
t
)
+
O
(
n
−
2
/
3
)
}
{\displaystyle e^{-x/2}L_{n}^{(\alpha )}(x)=(-1)^{n}\pi ^{-1}2^{-\alpha -1/3}3^{1/3}n^{-1/3}{\bigg \{}\operatorname {Ai} (t)+{\mathcal {O}}\left(n^{-2/3}\right){\bigg \}}}
Einzelnachweise
↑ Egon Möcklin: Asymptotische Entwicklungen der Laguerreschen Polynome . 1934, doi :10.3929/ethz-a-000092417
↑ G. Szegő : Orthogonal polynomials . Hrsg.: American Mathematical Society. 4. Auflage. Providence, Rhode Island 1975, ISBN 0-8218-1023-5 , S. 200–201 .
![{\displaystyle {\begin{aligned}e^{-x^{2}/2}H_{n}(x)=2^{n/2+1/4}(n!)^{1/2}(\pi n)^{-1/4}&(\sin \varphi )^{-1/2}\\\cdot &{\bigg \{}\sin \left[\left({\tfrac {n}{2}}+{\tfrac {1}{4}}\right)(\sin 2\varphi -2\varphi )+3{\tfrac {\pi }{4}}\right]+{\mathcal {O}}(n^{-1}){\bigg \}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3a2c392d3bbdab41c61446ca849f2d16a7e9ba6)
![{\displaystyle {\begin{aligned}e^{-x^{2}/2}H_{n}(x)=2^{n/2-3/4}(n!)^{1/2}(\pi n)^{-1/4}&(\sinh \varphi )^{-1/2}\\\cdot &\exp \left[\left({\tfrac {n}{2}}+{\tfrac {1}{4}}\right)(2\varphi -\sinh 2\varphi )\right]{\big \{}1+{\mathcal {O}}(n^{-1}){\big \}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ac0d1a31bd791aa2561b8a23d02f765b095c4cb)
![{\displaystyle {\begin{aligned}e^{-x/2}L_{n}^{(\alpha )}(x)=(-1)^{n}(\pi \sin \varphi )^{-1/2}&x^{-\alpha /2-1/4}n^{\alpha /2-1/4}\\&\cdot {\big \{}\sin \left[\left(n+{\tfrac {\alpha +1}{2}}\right)(\sin 2\varphi -2\varphi )+3\pi /4\right]+(nx)^{-1/2}{\mathcal {O}}(1){\big \}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8039cea4af23d70e94630513b8ec65c031a20347)
![{\displaystyle {\begin{aligned}e^{-x/2}L_{n}^{(\alpha )}(x)={\tfrac {1}{2}}(-1)^{n}(\pi \sinh \varphi )^{-1/2}&x^{-\alpha /2-1/4}n^{\alpha /2-1/4}\\&\cdot \exp \left[\left(n+{\tfrac {\alpha +1}{2}}\right)(2\varphi -\sinh 2\varphi )\right]\{1+{\mathcal {O}}\left(n^{-1}\right)\}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c07739cbd3805a2b66a6440919e190c7b42aa9bc)
