1:
2:
3:
4:
5: \documentclass[11pt]{article}
6:
7: \usepackage{psfig}
8:
9:
10: \def\proof{\bf \medbreak \noindent Proof. \rm}
11: \def\eoproof{{\unskip\nobreak\hfil\penalty50
12: \hskip2em\hbox{}\nobreak\hfil\vrule height4pt width5.5pt depth2pt
13: \parfillskip=0pt\finalhyphendemerits=0\medbreak}}%TeXbook p. 106 (signed)
14:
15:
16:
17: \newcommand{\be}{\begin{equation}}
18: \newcommand{\ee}{\end{equation}}
19:
20: \newcommand{\bea}{\begin{eqnarray}}
21: \newcommand{\eea}{\end{eqnarray}}
22:
23: \newcommand{\beas}{\begin{eqnarray*}}
24: \newcommand{\eeas}{\end{eqnarray*}}
25:
26: \def\CC{\hbox{\rlap{$\,\,
27: $\hbox{\vrule height6.2pt width.35pt depth-0.1pt}}$\rm C$}}
28:
29:
30:
31:
32:
33: \begin{document}
34: \title{The Askey Scheme for Hypergeometric Orthogonal
35: Polynomials Viewed from Asymptotic Analysis}
36:
37: \author{Nico M. Temme\\
38: CWI\\
39: P.O. Box 94079\\
40: 1090 GB Amsterdam\\
41: The Netherlands\\
42: e-mail: {\tt nicot@cwi.nl}
43: \and
44: Jos\'e L. L\'opez\\
45: Dpto. Matematica e Informatica\\
46: Universidad Publica de Navarra\\
47: Campus de Arrosadia s/n\\
48: 31006-Pamplona\\
49: Spain\\
50: e-mail: {\tt jl.lopez@unavarra.es}}
51:
52: \maketitle
53:
54: \begin{abstract}
55: Many limits are known for hypergeometric orthogonal polynomials
56: that occur in the Askey scheme. We show how asymptotic representations
57: can be derived by using the generating functions of the polynomials. For
58: example, we discuss the asymptotic representation of the
59: Meixner-Pollaczek, Jacobi, Meixner, and
60: Krawtchouk polynomials in terms of Laguerre polynomials.
61: \end{abstract}
62:
63:
64:
65:
66: %1991 Mathematics Subject Classification:
67: %33C45, 41A60, 41A10.
68:
69: %Keywords \& Phrases:
70:
71: %Limits of polynomials,
72: %Hermite polynomials,
73: %Laguerre polynomials,
74: %Jacobi polynomials,
75: %Meixner polynomials,
76: %Krawtchouk polynomials,
77: %orthogonal polynomials,
78: %Askey scheme,
79: %asymptotic expansions.
80:
81: \section{Introduction}\label{intro}
82:
83: It is well known that the Hermite polynomials
84: play a crucial role in
85: certain limits of the classical orthogonal polynomials. For example,
86: the ultraspherical (Gegenbauer) polynomials
87: $C_n^{\gamma}(x)$, which are defined by the generating function
88: \be
89: (1-2xw+w^2)^{-\gamma}=\sum_{n=0}^\infty
90: C_n^{\gamma}(x) w^n,\quad -1\le x\le 1,\quad |w|<1,\label{i1}
91: \ee
92: have the well-known limit
93: \be
94: \lim_{\gamma\to\infty}\gamma^{-n/2}
95: C_n^\gamma(x/\sqrt{{\gamma}})=\frac{1}{n!}H_n(x).\label{i2}
96: \ee
97:
98:
99: For the Laguerre polynomials, which are defined by the generating
100: function
101: \be
102: (1-w)^{-\alpha-1}e^{-wx/(1-w)}=\sum_{n=0}^\infty
103: L_n^\alpha(x)\,w^n,\quad|w|<1,\label{i3}
104: \ee
105: $\alpha,x\in\CC$, a similar results reads
106: \be
107: \lim_{\alpha\to\infty}\alpha^{-n/2}
108: L_n^\alpha\left(x\sqrt{{\alpha}}+\alpha\right)=
109: \frac{(-1)^n\,2^{-n/2}}{n!}
110: \,H_n\left(x/\sqrt{{2}}\right).\label{i4}
111: \ee
112:
113: These limits give insight in the location of the zeros for large
114: values of the limit parameter, and the asymptotic relation with the Hermite
115: polynomials if the parameters $\gamma$ and $\alpha$ become large and $x$ is
116: properly scaled.
117:
118: Many methods are available to prove these and other limits.
119: In this paper we concentrate on asymptotic relations between the
120: polynomials,
121: from which the limits may follow as special cases.
122:
123: In \cite{koeksw} many relations are given for
124: hypergeometric orthogonal polynomials and their $q-$analogues,
125: including limit
126: relations between many polynomials. In Figure 1 we show examples for
127: which limit relations between neighboring polynomials are available,
128: but many other limit relations are mentioned in \cite{elblaf},
129: \cite{grza}, \cite{koeksw} and \cite{rzag}.
130:
131: In \cite{loptem1}, \cite{loptem2} and \cite{loptem3}
132: we have given several asymptotic
133: relations between polynomials and Hermite polynomials.
134: In these first papers we
135: considered
136: Gegenbauer polynomials,
137: Laguerre polynomials,
138: Jacobi polynomials,
139: Tricomi-Carlitz polynomials,
140: generalized Bernoulli polynomials,
141: generalized Euler polynomials,
142: generalized Bessel polynomials
143: and
144: Buchholz polynomials.
145:
146: The method for all these cases is the same and we observe that the
147: method also works for polynomials outside the class of hypergeometric
148: polynomials, such as Bernoulli and Euler polynomials.
149:
150: Our method is different from the one described in
151: \cite{elblaf} and
152: \cite{grza}, where also more terms in the limit relation are
153: constructed in order to obtain more insight in the limiting process.
154: In these papers expansions of the form
155: $$P_n(x;\lambda)=\sum_{k=0}^\infty R_k(x;n)\lambda^{-k}$$
156: are considered, which generalizes the limit relation
157: $$\lim_{\lambda\to\infty}P_n(x;\lambda)=R_0(x;n),$$
158: and which gives deeper information on
159: the limiting process. In \cite{grza} a method
160: for the recursive computation of the coefficients $R_k(x;n)$ is designed.
161:
162: In \cite{rzag} similar methods are used,
163: now in particular for limits between classical discrete (Charlier, Meixner,
164: Krawtchouk, Hahn) to classical continuous (Jacobi, Laguerre, Hermite)
165: orthogonal polynomials.
166:
167:
168: \vspace*{0.3cm}
169: \centerline{\protect\hbox{\psfig{file=ask.eps,width=12cm}}}
170: \noindent
171: {\bf Figure 1.}\quad
172: The Askey scheme for hypergeometric orthogonal polynomials, with indicated
173: limit relations between the polynomials.
174:
175: In current research we investigate if other limits
176: in the Askey scheme can be
177: replaced by asymptotic results.
178: Until now we verified all limits from the third
179: level to the fourth (Laguerre and Charlier) and the fifth level (Hermite).
180: Several limits are new, and all results have full asymptotic expansions.
181:
182: \section{Asymptotic representations}\label{sectwo}
183:
184: Starting point in our method is a generating series
185: \be F(x,w)=\sum_{n=0}^\infty p_n(x)\,w^n, \label{t1}
186: \ee
187: $F$ is a given function, which is analytic with respect to $w$ at $w=0$, and
188: $p_n$ is independent of $w$.
189:
190: The relation (\ref{t1}) gives for $p_n$ the
191: Cauchy-type integral
192: $$p_n(x)=\frac1{2\pi i} \int_{{\cal C}} F(x,w)\,\frac{dw}{w^{n+1}},$$
193: where ${{\cal C}}$ is a circle around the origin inside the domain where $F$ is
194: analytic (as a function of $w$).
195:
196: We write
197: $$F(x,w)=e^{Aw-Bw^2}\,f(x,w),$$
198: where $A$ and $B$ do not depend on $w$.
199: This gives
200: \be
201: p_n(x)=\frac1{2\pi i} \int_{{\cal C}} e^{Aw-Bw^2}
202: \,f(x,w)\,\frac{dw}{w^{n+1}}.\label{t2}
203: \ee
204: Because $f$ is also analytic (as a function of $w$), we can expand
205: \be
206: f(x,w)=e^{-Aw+Bw^2}F(x,w)=\sum_{k=0}^\infty c_k w^k, \label{t3}
207: \ee
208: that is,
209: $$f(x,w)=1+[p_1(x)-A]w+\left[p_2(x)-Ap_1(x)+
210: B+\frac12A^2\right]w^2+\ldots$$
211: if we assume that $p_0(x)=1$ (which implies $c_0=1$).
212:
213: We substitute (\ref{t3}) in
214: (\ref{t2}). The Hermite polynomials have the generating function
215: $$
216: e^{2xw-w^2}=\sum_{n=0}^\infty\frac{H_n(x)}{n!}w^n,\quad x,w\in\CC,
217: $$
218: which gives the Cauchy-type integral
219: \be
220: H_n(x)=\frac{n!}{2\pi i}\, \int_{{\cal C}}
221: e^{2xz-z^2} z^{-n-1}\,dz,\label{t4}
222: \ee
223: where ${{\cal C}}$ is a circle around the origin and the integration is in
224: positive direction. The result is the finite expansion
225: \be
226: p_n(x)=z^n \, \sum_{k=0}^n \frac{c_k}{z^k}\,\frac{H_{n-k}(\xi)}{(n-k)!},
227: \quad z=\sqrt{{B}}, \quad \xi=\frac{A}{2\sqrt{{B}}},\label{t5}
228: \ee
229: because terms with $k>n$ do not contribute in the integral
230: in (\ref{t2}).
231:
232: In order to obtain an asymptotic property of (\ref{t5}) we take $A$ and
233: $B$ such that $c_1=c_2=0$. This happens if we take
234: $$A=p_1(x),\quad B=\frac12p_1^2(x)-p_2(x).$$
235:
236: As we will show, the asymptotic property follows from the behavior of the
237: coefficients $c_k$ if we take a parameter of the polynomial $p_k(x)$ large.
238: We use the following lemma, and explain what happens by considering a few
239: examples.
240:
241: \medskip\noindent
242: {\bf Lemma 2.1\quad}
243: \it
244: Let $\phi(w)$ be analytic at $w=0$, with Maclaurin expansion of the
245: form
246: $$\phi(w)=\mu w^n(a_0+a_1w+a_2w^2+\ldots),$$
247: where $n$ is a positive integer and $a_k$ are
248: complex numbers that do not depend on the complex number $\mu$, $a_0\ne0$.
249: Let $c_k$ denote the coefficients of the power series of $f(w)=e^{\phi(w)}$,
250: that is,
251: $$f(w)=e^{\phi(w)}=\sum_{k=0}^\infty c_kw^k.$$
252: Then $c_0=1, c_k=0, k=1,2\ldots, n-1$ and
253: $$c_k={{\cal O}}\left(\vert\mu\vert^
254: {\lfloor k/n\rfloor}\right),\quad \mu\to\infty.$$
255: \rm
256: \proof
257: The proof follows from expanding
258: \beas
259: \sum_{k=0}^\infty c_kw^k&=&e^{\phi(w)}=
260: \sum_{k=0}^\infty \frac{[\phi(w)]^k}{k!}\\
261: &=&\sum_{k=0}^\infty \frac{\mu^k w^{kn}}{k!}(a_0+a_1w+a_2w^2+\ldots)^k,
262: \eeas
263: and comparing equal powers of $w$.
264: \eoproof
265:
266: \subsection{Ultraspherical polynomials}
267:
268: The generating function is given in (\ref{i1}), and we obtain
269: $$A=C_1^\gamma(x)=2x\gamma,\quad
270: B=\frac12\left[C_1^\gamma(x)\right]^2-C_2^\gamma(x)=\gamma(1-2x^2).$$
271: The expansion reads
272: \be
273: C_n^{\gamma}(x)=z^n\,\sum_{k=0}^n\,\frac
274: {c_k}{z^k}\,\frac{H_{n-k}(\xi)}{(n-k)!},\label{t6}
275: \ee
276: where $ z=\sqrt{{\gamma(1-2x^2)}}, \xi=x\gamma/z$. We have
277: $$c_0=1, \quad c_1=c_2=0, \quad c_3= \frac23\gamma x(4x^2-3).$$
278: Higher coefficients follow from a recursion relation.
279:
280: The function $f(x,w)$ of (\ref{t3}) has the form
281: $$f(x,w)=e^{\phi(x,w)}, \quad
282: \phi(x,w)=\gamma w^3(a_0+a_1w+a_2w^2+\ldots).
283: $$
284: By using Lemma 2.1 and $\xi={{\cal O}}
285: (\sqrt{{\gamma}})$ we conclude that the
286: sequence
287: $\{\phi_k\}$ with $\phi_k=c_k/z^kH_{n-k}(\xi)$ has the following
288: asymptotic property:
289: $$\phi_{k}={{\cal O}}\left(\gamma^{n/2+\lfloor k/3\rfloor-k}\right),
290: \quad k=0,1,2,\ldots.$$
291: This explains the asymptotic nature
292: of the representation in (\ref{t6}) for large values of $\gamma$,
293: with $x$ and $n$ fixed.
294:
295: To verify the limit given in (\ref{i2}),
296: we first write $x$ in terms of $\xi$:
297: $x={\xi}/{\sqrt{{\gamma+2\xi^2}}}$.
298: With this value of $x$ we can verify that
299: $c_k/z^k=o(1), \gamma\to\infty$,
300: and in fact we have the limit
301: $$
302: \lim_{\gamma\to\infty}\frac{\gamma^n}{(\gamma+2x^2)^{n/2}}\,
303: C_n^\gamma\left(\frac{x}{\sqrt{{\gamma+2x^2}}}\right)
304: =\frac{1}{n!}H_n(x).$$
305:
306: \subsection{Laguerre polynomials}
307:
308: We take as generating function (see (\ref{i3}))
309: $$F(x,w)=(1+w)^{-\alpha-1}e^{wx/(1+w)}=
310: \sum_{n=0}^\infty (-1)^nL_n^{\alpha}(x)\,w^n.
311: $$
312: We have $A=x-\alpha-1,\quad B=x-\frac12(\alpha+1)$, and we obtain
313: \be
314: L_n^{\alpha}(x)=(-1)^n\,z^n\,\sum_{k=0}^n\,\frac {c_k}{z^k}\,
315: \frac{H_{n-k}(\xi)}{(n-k)!},\label{l1}
316: \ee
317: where $ z=\sqrt{{x-(\alpha+1)/2}}, \xi=({x-\alpha-1})/({2z})$.
318: The first coefficients are
319: $$c_0=1, \quad c_1=c_2=0, \quad c_3= \frac13(3x-\alpha-1).$$
320: Higher coefficients follow from a recursion relation.
321: The representation in (\ref{l1}) has an asymptotic character
322: for large values of $|\alpha|+|x|$.
323: It is not difficult to verify that the limit given
324: in (\ref{i4}) follows from (\ref{l1}).
325:
326:
327: \section{Expansions in terms Laguerre polynomials}\label{secthree}
328:
329: We give examples on how to use Laguerre polynomials for approximating
330: other polynomials. The method for the Hermite polynomials demonstrated in the
331: previous section can be used in a similar way.
332:
333: \medskip\noindent
334: {\bf Lemma 3.1\quad}
335: \it
336: Let the polynomials $p_n(x)$ be defined by the generating function
337: $$ F(x,w)=\sum_{n=0}^\infty p_n(x)\,w^n, $$
338: where $F(x,w)$ is analytic in $w=0$ and $F(x,0)=1$.
339: Let
340: $$f(x,w)=e^{-Aw/(Bw-1)}(1-Bw)^{C+1}\,F(x,w),$$
341: and let the coefficients $c_k(x)$ be
342: defined by the expansion
343: \be
344: f(x,w) = \sum_{k=0}^\infty c_k(x) w^k,\quad c_0=1,\label{f1}
345: \ee
346: where $A, B$ and $C$ do not depend on $w$. Then $p_n(x)$ can be represented as
347: the finite sum
348: \be
349: p_n(x)=B^{n/2} \, \sum_{k=0}^n
350: {c_k(x)\over B^{k/2}} \,L_{n-k}^{(C)}(\xi),
351: \quad \xi={A\over B}, \label{f2}
352: \ee
353: where $L_n^{\alpha}(x)$ are the Laguerre polynomials.
354:
355: \rm
356: \proof
357: The polynomials $p_n(x)$ can be written as
358: $$p_n(x)=\frac1{2\pi i} \int_{{\cal C}}
359: e^{Aw/(Bw-1)}(1-Bw)^{-C-1}\, f(x,w) \frac{dw}{w^{n+1}},$$
360: where ${{\cal C}}$ is a circle around
361: the origin in the domain where $F(x,w)$ is
362: analytic (as a function of $w$). By substituting the expansion of $f(x,w)$ and
363: using the generating function (\ref{i3}) of the Laguerre polynomials the proof
364: follows.
365: \eoproof
366:
367: This time, $A, B$ and $C$ can be chosen
368: such that $c_1=0, \ c_2=0, \ c_3=0$.
369: These coefficients are given by
370: \beas
371: c_1 &=& p_1 -B C-B+A,\\
372: c_2 &=& p_2-p_1 BC-p_1 B+p_1 A -A B C+\frac12(B^2 C^2+B^2 C+A^2),\\
373: c_3 &=&
374: p_3-p_2 B C-p_2 B+p_2 A-p_1 A B C-\frac16 (B^3 C^3+ B^3 C+ A^3)+\\
375: \quad&{\ }&\quad\frac12 (p_1 B^2 C^2+ p_1
376: B^2 C+ p_1 A^2 + A B^2 C^2- A B^2 C- B A^2
377: C+ A^2 B). %\label{f3}
378: \eeas
379: We see that the equations $c_1=0, \ c_2=0, \ c_3=0$
380: for solving for $A, B$ and $C$ are nonlinear.
381: However, solving $c_1=0, c_2=0$ for
382: $A$ and $C$ gives
383: $$A=B(C+1)-p_1,\quad C=\frac{p_1^2-2p_2+2p_1B-B^2}{B^2},$$
384: and with these values $c_3$ becomes
385: $$ c_3 = p_3-p_2 p_1 + \frac13 (p_1 B^2 + p_1^3
386: + 2 p_1^2 B - 4 p_2 B) ,$$
387: and $c_3=0$ is a quadratic equation for $B$.
388:
389: As follows from the above representation of $C$,
390: this quantity will depend on $x$. This
391: gives an expansion for $p_n(x)$ in terms of Laguerre
392: polynomials $L_k^C(\xi)$ with
393: the order depending on $x$. When studying properties
394: of $p_n(x)$ (for example
395: investigating the zeros) this may not be very desirable.
396: In that case we can always take
397: $C=\alpha$ (not depending on $x$), and concentrate
398: on two equations $c_1=0, \ c_2=0$ for
399: solving $A$ and $B$. This gives
400: \be
401: A=\sqrt{p_1^2-(\alpha+1)(2p_2-p_1^2)},\quad
402: B=\frac{p_1+A}{\alpha+1}.\label{f4}
403: \ee
404: The order $\alpha$ may be chosen conveniently, without requiring $c_3=0$.
405:
406: {}For large values of certain parameters in $p_n(x)$ expansion (\ref{f2})
407: may have an asymptotic property when taking $c_1= c_2= c_3=0$, but also
408: when only $c_1=0$ or $c_1=c_2=0$. In the following section we give
409: four examples, for one level of the Askey scheme, namely for the
410: Meixner-Pollaczek, Jacobi, Meixner, and Krawtchouk polynomials.
411:
412: \def\asp{r}
413: \def\pol{P_n^{(\lambda)}(x;\phi)}
414: \def\WW{\sqrt{x^2+\lambda^2}}
415: \section{Expanding Meixner-Pollaczek into
416: Laguerre po\-lynomials}\label{sectfour}
417:
418: {}For the Meixner-Pollaczek polynomials we have the generating function:
419: \be F(x,w)=\left(1-e^{i\phi}w\right)^{-\lambda+ix}
420: \left(1-e^{-i\phi}w\right)^{-\lambda-ix}=
421: \sum_{n=0}^\infty \pol w^n.\label{f5}
422: \ee
423: The expansion for the Meixner-Pollaczek polynomials reads
424: \be
425: \pol=
426: \sum_{k=0}^n B^{n-k}c_k
427: L_{n-k}^{(C)}(\xi),\quad \xi=A/B, \label{f6}
428: \ee
429: where the coefficients $c_k$ follow from
430: (\ref{f1}) with $F(x,w)$ given in (\ref{f5}).
431:
432: We write $x+i\lambda=r e^{i\theta}, \theta\in[0,\pi], r\ge0$,
433: and consider $r\to\infty$; the asymptotic results hold uniformly
434: with respect to $\theta$.
435:
436: \subsection{One free parameter}
437:
438: {}First we consider a simple case by taking $B=1$ and
439: $C=\alpha$, and solve $c_1=0$ for $A$. This gives
440: $$
441: A=\alpha+1-2\lambda\cos\phi-2x\sin\phi.
442: $$
443: The first coefficients
444: $c_k$ are given by
445: $$
446: c_0=1,\quad c_1=0,\quad
447: c_2=x\sin2\phi+\lambda\cos2\phi-2(x\sin\phi+
448: \lambda\cos\phi)+{1\over2}\alpha,
449: $$
450: and the remaining ones can be obtained from the recursion
451: \bea
452: (k+1)c_{k+1}&=&2(1+\cos\phi)kc_k+\nonumber\\
453: &{}&[\alpha+1-2\lambda+4(\cos\phi-1)(\lambda\cos\phi+x\sin\phi)+\nonumber\\
454: &{}&2(1-k)(1+2\cos\phi)]c_{k-1}+\\
455: &{}&[4\lambda+2(1+\cos\phi)(k-2)-2(\alpha+1)\cos\phi]c_{k-2}+\nonumber\\
456: &{}&(\alpha+4-k-2\lambda)c_{k-3}.\nonumber\label{f7}
457: \eea
458: The asymptotic property follows from the fact that,
459: as in Lemma 2.1, the function
460: $f(x,w)$ can be written as $f(x,w)=\exp[\psi(w)]$, where
461: $\psi(w)=rw^2(a_0+a_1w+\ldots)$. Hence, the coefficients
462: $c_k$ have the asymptotic
463: behaviour $c_k={{\cal O}}(r^{\lfloor k/2\rfloor})$,
464: as $r\to\infty$. The first term approximation
465: can be written as
466: $$
467: \pol=
468: L_{n}^{(\alpha)}(\xi)+{{\cal O}}\left(\asp^{n-1}\right),
469: \quad \xi=A,\quad r\to\infty.
470: $$
471:
472: In this case a limit for large values of $r$
473: (or $\lambda$ or $x$) cannot obtained from
474: the above representations. We can obtain a limit by putting
475: $\lambda=(\alpha+1)/2$.
476: Then, as follows from the recursion relation (\ref{f7}), we have
477: $c_k={\cal O}(\phi^2)$ as $\phi\to 0$, and we obtain the
478: limit of the Askey scheme
479: $$
480: \lim_{\phi\to 0}P_n^{(\alpha+1)/2}
481: \left[(\alpha+1)(1-\cos\phi)-\xi)/(2\sin\phi);\phi\right]=
482: L_{n}^{(\alpha)}(\xi).
483: $$
484: This includes the limit of the Askey scheme (cf. \cite{koeksw})
485: $$
486: \lim_{\phi\to 0}P_n^{(\alpha+1)/2}
487: (-\xi/(2\phi);\phi)=L_{n}^{(\alpha)}(\xi).
488: $$
489:
490:
491: \subsection{Two free parameters}
492:
493: Next we solve $c_1=0, c_2=0$ for $A$ and $B$,
494: with $C=\alpha$. This gives (cf. (\ref{f4}))
495: \beas
496: A&=&\sqrt{4(\lambda\cos\phi+x\sin\phi)^2-
497: 2(\alpha+1)(\lambda\cos2\phi+x\sin2\phi)},\\
498: B&=&\frac{2(\lambda\cos\phi+x\sin\phi)+A}{\alpha+1},
499: \eeas
500: and the first term approximation can be written as
501: $$
502: \pol=
503: L_{n}^{(\alpha)}(\xi)+{{\cal O}}\left(\asp^{n-2}\right),
504: \quad \xi=A/B,
505: $$
506: as $r\to\infty$, uniformly with respect to $\theta$.
507:
508:
509: As an alternative, we solve $c_1=0, c_2=0$ for
510: $A$ and $C$, with $B=1$. This gives
511: \beas
512: A&=&2[x(\sin\phi-\sin2\phi)+\lambda(\cos\phi-\cos2\phi)],\\
513: C&=&2[x(2\sin\phi-\sin2\phi)+\lambda(2\cos\phi-\cos2\phi)]-1.
514: \eeas
515: and the first term approximation can be written as
516: $$
517: \pol=
518: \left[L_{n}^{(\alpha)}(\xi)+{{\cal O}}\left(\asp^{n-2}\right)\right],
519: \quad \xi=A,\quad \alpha=C.
520: $$
521: as $r\to\infty$, uniformly with respect to $\theta$.
522:
523: Solving $A=\xi, C=\alpha$ for $x$ and $\lambda$, we obtain
524: \bea
525: \lambda&=&(1-\cos\phi)\xi+{1\over2}(\alpha+1)(2\cos\phi-1),\nonumber\\
526: &{\ }& \\ \label{f8}
527: x&=&{2(\xi-\alpha-1)\cos^2\phi+
528: (\alpha+1-2\xi)\cos\phi+\alpha+1-\xi\over 2\sin\phi}.\nonumber
529: \eea
530: Then $c_3={2\over3}(\alpha+1-2\xi)(1-\cos\phi)$ and
531: $c_k={\cal O}(\phi^2)$ as $\phi\to 0$,
532: which follows from deriving a recursion relation
533: for $c_k$.
534:
535: Using these values of $x$ and $\lambda$, we obtain the limit
536: $$\lim_{\phi \to 0}\pol=L_{n}^{(\alpha)}(\xi).$$
537:
538: \subsection{Three free parameters}
539:
540: We solve $c_1=0, c_2=0, c_3=0$ for $A, B$ and $C$. This gives
541: \beas
542: A&=&{2\sin\phi(x\sin\phi+\lambda\cos\phi)\WW\over
543: x\sin2\phi+\lambda\cos2\phi+\sin\phi\WW} \hskip 4mm
544: ={2r\sin\phi\sin{1\over2}(\theta+\phi)\over\sin{1\over2}(\theta+3\phi)},\\
545: B&=&{x\sin2\phi+\lambda\cos2\phi+\sin\phi\WW\over
546: x\sin\phi+\lambda\cos\phi} \hskip 4mm
547: ={\sin{1\over2}(\theta+3\phi)\over\sin{1\over2}(\theta+\phi)},\\
548: C+1&=&2{x\sin2\phi+\lambda\cos2\phi+2\sin\phi\WW\over B^2} % \hskip 2mm
549: ={2r[\sin(\theta+2\phi)+2\sin\phi]\over B^2}.
550: \eeas
551: The first coefficients
552: $c_k$ are given by
553: \beas
554: c_0&=&1,\quad c_1=c_2=c_3=0,\\
555: c_4&=&{r\over2}\{\sin(\theta+4\phi)+[\sin\phi-\sin(\theta+2\phi)]B^2\}.
556: \eeas
557:
558: The first term approximation can be written as
559: $$
560: \pol=
561: B^n\left[L_{n}^{(C)}(\xi)+{{\cal O}}\left(\asp^{n-3}\right)\right],
562: \quad\xi={A\over B}={2r\sin\phi\over B^2},
563: $$
564: as $\asp\to\infty$, uniformly with respect to $\theta$.
565:
566: \def\asp{\gamma}
567: \def\pol{P_n^{(\alpha,\beta)}(x)}
568: \section{Jacobi, Meixner and Krawtchouk to Laguerre}\label{sectfive}
569:
570: We give the results for one free parameter only.
571:
572: \subsection{Jacobi to Laguerre}
573:
574: Let $R(w)=\sqrt{1-2xw+w^2}$.
575: The generating function reads
576: $$F(x,w)={2^{\alpha+\beta}(1+R-w)^{-\alpha}(1+R+w)^{-\beta}\over R}=
577: \sum_{n=0}^\infty \pol w^n.
578: $$
579: As in Lemma 3.1, we define coefficients $c_k$, and the expansion reads
580: $$
581: \pol=
582: \sum_{k=0}^n B^{n-k}c_k
583: L_{n-k}^{(C)}(\xi),\quad \xi=A/B.
584: $$
585: We consider $\alpha+\beta \to\infty$, and
586: solve $c_1=0$ for $A$, with $B=1$ and $C=\alpha$. This gives
587: $$A=\frac12(\alpha+\beta+2)(1-x).$$
588: The first coefficients
589: $c_k$ are given by
590: $$c_0=1,\quad c_1=0,\quad
591: c_2=\frac18[-\alpha+3\beta-2(\alpha+3\beta+4)x+(3\alpha+3\beta+8)x^2].
592: $$
593: The first term approximation can be written as
594: $$
595: \pol=
596: L_{n}^{(C)}(\xi)+{{\cal O}}\left(\asp^{n-1}\right),
597: \quad \asp=\alpha+\beta,\quad
598: \xi=\frac12(\alpha+\beta+2)(1-x).
599: $$
600: A limit can be obtained by writing $x=1-2\xi/(\alpha+\beta+2)$ .
601: Then we have
602: $c_k={\cal O}(1/\beta)$ as $\beta\to \infty$ for $k\ge 2$, and we obtain
603: $$
604: \lim_{\beta\to\infty}P_n^{(\alpha,\beta)}[1-2\xi/(2+\alpha+\beta)]=
605: L_{n}^{(\alpha)}(\xi),
606: $$
607: which includes the limit of the Askey scheme (cf. \cite{koeksw})
608: $$
609: \lim_{\beta\to\infty}P_n^{(\alpha,\beta)}(1-2\xi/\beta)=
610: L_{n}^{(\alpha)}(\xi).
611: $$
612: \def\asp{\beta}
613: \def\pol{M_n(x;\beta,c)}
614: %%%
615: %%%
616:
617: \subsection{Meixner to Laguerre}
618:
619: The generating function reads
620: $$F(w)=\left(1-{w\over c}\right)^{x}
621: \left(1-w\right)^{-\beta-x}=
622: \sum_{n=0}^\infty {(\beta)_n\over n!}M_n(x;\beta,c)w^n,
623: $$
624: and we define $c_k$ as in Lemma 3.1.
625: The expansion reads
626: $$
627: \pol=
628: \sum_{k=0}^n B^{n-k}c_k
629: L_{n-k}^{(C)}(\xi),\quad \xi=A/B.
630: $$
631: We solve $c_1=0$ for $A$, with $B=1$ and $C=\alpha$. This gives
632: $$A={(\alpha-\beta+1)c+(1-c)x\over c}.$$
633: The first coefficients
634: $c_k$ are given by
635: $$
636: c_0=1,\quad c_1=0,\quad
637: c_2={(1+\alpha-\beta)c^2+(2c-c^2-1)x\over 2c^2}.
638: $$
639: The first term approximation can be written as
640: $$
641: \pol=
642: L_{n}^{(\alpha)}(\xi)+{{\cal O}}\left(\asp^{n-1}\right),\quad
643: \xi={(\alpha-\beta+1)c+(1-c)x\over c}.
644: $$
645: A limit can be obtained by putting $\beta=\alpha+1$
646: and writing $x=c\xi/(1-c)$.
647: Then we have $c_2=(c-1)\xi/(2c)$, and
648: $c_k={\cal O}(1-c)$ as $c\to 1$ for $k\ge 2$. We obtain
649: the limit of the Askey scheme (cf. \cite{koeksw})
650: $$
651: \lim_{c\to 1}M_n(c\xi/(1-c);\alpha+1,c)=
652: {L_{n}^{(\alpha)}(\xi)\over L_{n}^{(\alpha)}(0)}.
653: $$
654:
655: \def\asp{N}
656: \def\pol{{N\choose n}K_n(x;p,N)}
657:
658: %%%
659: %%%
660: \subsection{Krawtchouk to Laguerre}
661:
662: Let
663: $q:={1-p\over p}$. The generating function reads
664: $$F(w)=\left(1-qw\right)^{x}
665: \left(1+w\right)^{N-x}=
666: \sum_{n=0}^N \pol w^n,
667: $$
668: and we define $c_k$ as in Lemma 3.1. The expansion reads
669: $$
670: \pol=
671: \sum_{k=0}^n B^{n-k}c_k
672: L_{n-k}^{(C)}(\xi),\quad \xi=A/B.
673: $$
674: We solve $c_1=0$ for $A$, with $B=1$ and $C=\alpha$. This gives
675: $A= \alpha + 1-N + (1+q)x$.
676: The first coefficients
677: $c_k$ are given by
678: $$c_0=1,\quad c_1=0,\quad c_2={1\over2}[1+\alpha-3N+(3+2q-q^2)x].$$
679: The first term approximation can be written as
680: $$
681: \pol=
682: L_{n}^{(C)}(\xi)+{{\cal O}}\left(\asp^{n-1}\right),\quad
683: \xi=\alpha + 1-N + (1+q)x,\quad \asp \to \infty.
684: $$
685: %\eject
686:
687: \begin{thebibliography}{99}
688:
689: \bibitem{elblaf}
690: A. Elbert and A. Laforgia (1992).
691: Asymptotic formulas for ultraspherical polynomials $P_n^{\lambda}(x)$ and
692: their zeros for large values of $\lambda$.
693: \emph{Proc. Amer. Math. Soc.},
694: {\bf 114}, 371--377.
695:
696: \bibitem{grza} E. Godoy, A. Ronveaux, A. Zarzo and I. Area (1998).
697: On the limit relations between classical continuous and discrete orthogonal
698: polynomials.
699: \emph{J. Comp. Appl. Math.}, {\bf 91}, 97--105.
700:
701: \bibitem{koeksw} R. Koekoek and R.F. Swarttouw
702: \rm (1998).
703: The Askey-scheme of hypergeometric orthogonal
704: polynomials and its $q-$analogue.
705: Technical University Delft. Report 98--17.
706:
707: \bibitem{loptem1}
708: J.L. L\'opez \& N.M. Temme (1999).
709: Approximations of orthogonal polynomials in terms of Hermite polynomials.
710: CWI Report MAS-R9901. Accepted for publication in
711: \emph{Methods and Applications of Analysis}.
712:
713: \bibitem{loptem2}
714: J.L. L\'opez \& N.M. Temme
715: \rm (1999).
716: The role of Hermite Polynomials in asymptotic analysis.
717: CWI Report MAS-R9926. Accepted publication in the
718: proceedings of the International Workshop on Special Functions,
719: Hong Kong, June 21 - 25, 1999.
720:
721: \bibitem{loptem3}
722: J.L. L\'opez \& N.M. Temme
723: \rm (1999).
724: Hermite polynomials in asymptotic representations
725: of generalized Bernoulli, Euler, Bessel, and
726: Buchholz polynomials.
727: \emph{Journal of Mathematical Analysis and Applications},
728: {\bf 239}, 457--477.
729:
730: \bibitem{rzag} A. Ronveaux, A. Zarzo, I. Area and E. Godoy (1998).
731: Transverse limits in the Askey tableau.
732: \emph{J. Comp. Appl. Math.}, {\bf 98}, 327--335.
733:
734: \bibitem{temsf}N.M. Temme
735: \rm (1996).
736: \emph{Special functions: An introduction to the classical functions
737: of mathematical physics},
738: Wiley, New York.
739: %ISBN 0-471-11313-1.
740:
741: \end{thebibliography}
742:
743:
744: \end{document}
745: