1:
2: \documentclass[10pt]{article}
3: %\documentstyle[11pt,twoside,a4wide]{article}
4:
5: \newtheorem{theorem}{Theorem}%[Chapter]
6: \newtheorem{lemma}{Lemma}%[Chapter]
7: \newtheorem{remark}{Remark}%[Chapter]
8:
9: %\makeatletter
10: %\@addtoreset{equation}{section}
11: %\makeatother
12: %\renewcommand{\theequation}{\arabic{section}.\arabic{equation}}
13:
14:
15: \def\pref#1{(\ref{#1})}
16: %\def\frac#1#2{\frac{\displaystyle{#1}}{\displaystyle{#2}}}
17: %\def\sumslarge{{\displaystyle\sum}}
18: %\def\begeq{\begin{equation}\begin{array}{ll}}
19: %\def\endeq{\end{array}\end{equation}}
20:
21: %\usepackage{psfig}
22: \input{psfig.sty}
23: \input epsf
24: \def\morespace{\vspace{5pt}}
25: \def\pochhammer#1#2{(#1)_{#2}}
26: \def\Frac#1#2{\frac
27: {
28: {\raise.6ex
29: \hbox{$\displaystyle#1$}}
30: }
31: {
32: {\lower.6ex
33: \hbox{$\displaystyle#2$}}
34: }
35: }
36: \def\wt{\widetilde}
37: \def\intp{\int_0^\infty}
38: \def\intr{\int_{-\infty}^\infty}
39: \def\bo{{\cal O}}
40: \def\D{{\cal D}}
41: \def\P{{\cal P}}
42: \def\C{{\cal C}}
43: \def\Vp{{\cal V}}
44: \def\erfc{{{\rm erfc}}}
45: \def\Ai{{{\rm Ai}}}
46: \def\Bi{{{\rm Bi}}}
47: \def\ph{{{\rm ph\,}}}
48: \def\la{\lambda}
49: \def\tfrac#1#2{{{\lower.6ex
50: \hbox{$\scriptstyle#1$}}\over
51: {\raise.7ex
52: \hbox{$\scriptstyle#2$}}}}
53: \def\F#1#2#3#4{{}_2F_1\left(\matrix{#1,#2\cr#3\cr};\,#4\right)}
54: \def\RR{{{\rm I}\!{\rm R}}}
55: \def\CC{\hbox{\rlap{$\,\,
56: $\hbox{\vrule height6.2pt width.35pt depth-0.1pt}}$\rm C$}}
57: \def\eoproof{{\unskip\nobreak\hfil\penalty50
58: \hskip2em\hbox{}\nobreak\hfil\vrule height4pt width5.5pt depth2pt
59: \parfillskip=0pt\finalhyphendemerits=0\medbreak}}%TeXbook p. 106 (signed)
60: \begin{document}
61:
62: \title{
63: Parabolic Cylinder Functions:%\\ {\ } \\
64: Examples of Error Bounds For Asymptotic Expansions}
65:
66: \author{Raimundas Vidunas\\
67: CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands\\
68: and \\
69: Korteweg-de Vries Instituut voor Wiskunde, University of Amsterdam, \\
70: Plantage Muidergracht 24,
71: 1018 TV Amsterdam,
72: The Netherlands\\
73: e-mail: {\tt vidunas@cwi.nl, vidunas@wins.uva.nl}\\
74: \and
75: Nico M. Temme\\
76: CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands\\
77: e-mail: {\tt nicot@cwi.nl}
78: }
79: \date{\today}
80: \maketitle
81: \begin{abstract}
82: \noindent
83: Several asymptotic expansions of parabolic cylinder functions are discussed
84: and error bounds for remainders in the expansions are presented. In
85: particular Poincar{\'e}-type expansions for large values of the argument $z$
86: and uniform expansions for large values of the parameter are considered.
87: The expansions are based on those given
88: in \cite{Olver:1959:UAE} and on modifications of these expansions given in
89: \cite{Temme:2000:NAP}. Computer algebra techniques are used for obtaining
90: representations of the bounds and for numerical computations.
91: \end{abstract}
92:
93: \vskip 0.8cm \noindent
94: 1991 Mathematics Subject Classification:
95: %\par\noindent
96: 41A60, 33C15, 33C10, 30E15, 33F05, 65D20.
97: \par\noindent
98: Keywords \& Phrases:
99: %\par\noindent
100: Parabolic cylinder functions,
101: asymptotic expansions,
102: error bounds for remainders,
103: Airy functions,
104: numerical evaluation of special functions.
105: %
106: %
107: %
108: \section{Introduction}%\label{sec:IN}
109:
110:
111: The solutions of the differential equation
112: \begin{equation}
113: \frac{d^2y}{dz^2}-\left(\tfrac14z^2+a\right)y=0 \label{eq:IN.I1}
114: \end{equation}
115: are associated with the parabolic cylinder in harmonic analysis; see
116: \cite{Weber:1869:UIP}. The solutions are called parabolic cylinder functions
117: and are entire functions of
118: $z$. Many properties are given in \cite{Miller:1955:TWP} and
119: \cite{Abramowitz:1964:HMF}; for applications to physics and many more
120: properties see \cite{Buchholz:1969:CHF}.
121:
122:
123: As in \cite{Miller:1955:TWP} and
124: \cite{Abramowitz:1964:HMF}, Chapter 19,
125: we denote two standard solutions of \pref{eq:IN.I1}
126: by $U(a,z), V(a,z)$.
127: Another well-known notation for the parabolic cylinder function is $D_\nu(z)$.
128: The relation between $D_\nu(z)$ and $U(a,z)$ is
129: %
130: \begin{equation}\label{eq:IN.I13}
131: D_\nu(z)=U(-\nu-\tfrac12,z).
132: \end{equation}
133: %
134: Wronskian relations for the solutions $U(a,z), U(a,-z), V(a,z)$ of
135: \pref{eq:IN.I1} are:
136: %
137: \begin{equation}\label{eq:IN.I14}
138: U(a,z)V'(a,z)-U'(a,z)V(a,z)=\sqrt{{2/\pi}},
139: \end{equation}
140: %
141: \begin{equation}\label{eq:IN.I15}
142: U(a,z)\frac{dU(a,-z)}{dz}-U'(a,z)U(a,-z)=\frac{\sqrt{2\pi}}{\Gamma(a+\tfrac12)},
143: \end{equation}
144: %
145: which shows that $U(a,z)$ and $V(a,z)$ are independent solutions
146: of \pref{eq:IN.I1} for all values of $a$.
147:
148: Other relations and connection formulae are
149: %
150: \begin{equation}\label{eq:IN.I16}
151: U(a,z)=\frac{\pi}{\cos^2\pi a\,\Gamma(a+\tfrac12)}
152: \left[V(a,-z)-\sin\pi a\,V(a,z)\right],
153: \end{equation}
154: %
155: \begin{equation}\label{eq:IN.I17}
156: \pi V(a,z)=\Gamma(\tfrac12+a)\left[\sin\pi a\,
157: U(a,z)+U(a,-z)\right],
158: \end{equation}
159: %
160: \begin{equation}\label{eq:IN.I18}
161: \sqrt{2\pi}\,U(-a,iz)
162: =\Gamma(\tfrac12+a)\left[e^{-i\pi(\frac12a-\frac14)}\,U(a,z)+
163: e^{i\pi(\frac12a-\frac14)}\,U(a,-z)\right],
164: \end{equation}
165: %
166: \begin{equation}\label{eq:IN.I19}
167: U(a,z)
168: =ie^{\pi ia}U(a,-z)+\frac{\sqrt{2\pi}}{\Gamma(a+\tfrac12)}
169: e^{\frac12\pi i(a-\frac12)}U(-a,iz),
170: \end{equation}
171: %
172: \begin{equation}\label{eq:IN.I20}
173: U(a,z)
174: =-ie^{-\pi ia}U(a,-z)+\frac{\sqrt{2\pi}}{\Gamma(a+\tfrac12)}
175: e^{-\frac12\pi i(a-\frac12)}U(-a,-iz).
176: \end{equation}
177: %
178:
179: In \cite{Olver:1959:UAE}
180: an extensive collection of asymptotic expansions for the parabolic cylinder
181: functions as $|a|\to\infty$ has been derived from the differential equation
182: \pref{eq:IN.I1}. The expansions are valid for complex values of the parameters and are
183: given in terms of elementary functions and Airy functions.
184: In \cite{Temme:2000:NAP} modified expansions are given, which have as extra
185: feature that the expansions are also valid when $a$ is fixed and $z$ is large.
186: The coefficients of the modified expansions are different from
187: those of Olver's expansions, and they can be generated by recursion formulas.
188:
189: When Olver published his results, his later work on bounds for remainders in
190: asymptotic expansions was not available, and, as he remarked in
191: \cite{Olver:1975:UPA}, the construction of error bounds for asymptotic
192: expansions of the parabolic cylinder functions was an important problem to be
193: considered.
194: In this paper we discus error bounds for the remainders of
195: the standard Poincar\'e-type expansions of $U(a,z)$,
196: and of some of the uniform expansions.
197: %
198: %
199: %
200: \section{Poincar\'{e}-Type Expansions}\label{sec:PT}
201: These expansions are for large $z$ and $a$ fixed.
202: They are given in \cite{Abramowitz:1964:HMF} and
203: derived in \cite{Whittaker:1952:CMA}. We have
204:
205: %
206: \begin{equation}\label{eq:PT.E1}
207: U(a,z)\sim e^{-\frac14z^2}\,z^{-a-\frac12}\,
208: \sum_{s=0}^\infty
209: (-1)^s\frac{\pochhammer{a+\tfrac12}{2s}}{s!(2z^2)^s},\quad
210: |\ph{z}|<\tfrac34\pi,
211: \end{equation}
212: %
213: \begin{equation}\label{eq:PT.E2}
214: V(a,z)\sim \sqrt{\tfrac{2}{\pi}}e^{\frac14z^2}z^{a-\frac12}
215: \sum_{s=0}^\infty
216: \frac{\pochhammer{-a+\tfrac12}{2s}}{s!(2z^2)^s}, \quad
217: |\ph{z}|<\tfrac14\pi.
218: \end{equation}
219: %
220: By using \pref{eq:IN.I19} and \pref{eq:IN.I20} the sector of validity
221: of \pref{eq:PT.E3} can be modified, and compound expansions are
222: obtained:
223: %
224: \begin{equation}
225: \begin{array}{ll}\label{eq:PT.E3}
226: &{\displaystyle{U(a,z)\sim e^{-\frac14z^2}z^{-a-\frac12}\,
227: \sum_{s=0}^\infty
228: (-1)^s\frac{\pochhammer{a+\tfrac12}{2s}}{s!(2z^2)^s}}}\\
229: &\quad\quad+
230: {\displaystyle{i\frac{\sqrt{2\pi}}{\Gamma(a+\tfrac12)}e^{-a\pi i}
231: e^{\frac14z^2}z^{a-\frac12}\,
232: \sum_{s=0}^\infty
233: \frac{\pochhammer{-a+\tfrac12}{2s}}{s!(2z^2)^s}}},\quad
234: \tfrac14\pi<\ph{z}<\tfrac54\pi,
235: \end{array}
236: \end{equation}
237: %
238: \begin{equation}
239: \begin{array}{ll}\label{eq:PT.E4}
240: &{\displaystyle{U(a,z)\sim e^{-\frac14z^2}z^{-a-\frac12}\,
241: \sum_{s=0}^\infty
242: (-1)^s\frac{\pochhammer{a+\tfrac12}{2s}}{s!(2z^2)^s}}}\\
243: &\quad\quad
244: {\displaystyle{-i\frac{\sqrt{2\pi}}{\Gamma(a+\tfrac12)}e^{a\pi i}
245: e^{\frac14z^2}z^{a-\frac12}\,
246: \sum_{s=0}^\infty
247: \frac{\pochhammer{-a+\tfrac12}{2s}}{s!(2z^2)^s}}},\quad
248: -\tfrac54\pi<\ph{z}<-\tfrac14\pi.
249: \end{array}
250: \end{equation}
251:
252:
253: With these results we can also obtain compound expansions for $V(a,z)$
254: for other sectors than given in \pref{eq:PT.E2}.
255:
256: \subsection{Error bounds of the expansions.}\label{sec:PT.ER}
257: %
258: Bounds for remainders in the Poincar{\'e}-type expansion follow
259: from \cite{Olver:1965:ASW},
260: where results are given for Whittaker functions.
261: The function $U(a,z)$ is a special case of this function.
262: The relation is
263: \begin{equation}\label{eq:PT.E7}
264: U(a,w)= 2^{-\frac12a} w^{-\frac12}
265: W_{k,m}(z),
266: \quad k=-\tfrac12a,\quad m=\tfrac14,
267: \quad z=\tfrac12w^2.
268: \end{equation}
269: %
270: The asymptotic expansion for the Whittaker function reads
271: \begin{equation}\label{eq:PT.E8}
272: W_{k,m}(z)= z^k e^{-\frac12z}\sum_{s=0}^{n-1} \frac{a_s}{z^s} +\epsilon_n(z),
273: \quad a_s=(-1)^s\frac{(a+\frac12)_{2s}}{2^{2s}\,s!},
274: \quad n=0,1,2,\ldots\ .
275: \end{equation}
276: %
277: We introduce the following quantities. Let
278: %
279: \begin{equation}
280: \begin{array}{ll}\label{eq:PT.E9}
281: &\kappa=|a|, \quad \sigma=\Frac{\kappa}{|z|}, \quad
282: \alpha=\Frac1{1-\sigma},\quad
283: \beta
284: =\tfrac12+\tfrac12\sigma+\tfrac12\sigma(1-\sigma)^{-1}|z|^{-1},\\
285: &\delta=|\tfrac14a^2+\tfrac3{16}|+
286: \sigma(1+\tfrac14\sigma)(1-\sigma)^{-2},\\
287: \end{array}
288: \end{equation}
289: %
290: assuming that $\sigma<1$.
291: Then remainder $\epsilon_n(z)$
292: and its derivative can be bounded as follows
293: %
294: \begin{equation}
295: \left.\begin{array}{ll}\label{eq:PT.E10}
296: |\epsilon_n(z)|&\le\\
297: &\\
298: |\beta^{-1}\epsilon_n'(z)|&\le\\
299: \end{array}\right\}
300: 2\alpha\left|z^ke^{-\frac12z}a_n\right| \Vp_\P\left(t^{-n}\right)
301: \exp\left[2\alpha\delta \Vp_\P\left(t^{-1}\right)\right],
302: \end{equation}
303:
304: %
305: $\Vp(f)$ denotes the variational operator (see
306: \cite{Olver:1974:ASF}), which for
307: continuously differentiable functions in a real interval $[a,b]$
308: is defined by
309: %
310: \begin{equation}\label{eq:PT.E11}
311: \Vp_{a,b}(f)=\int_a^b|f'(x)|\,dx.
312: \end{equation}
313: %
314: For a holomorphic function $f(z)$ in a complex domain the
315: variational operator along a smooth arc $\C$ parameterized by
316: $z(\tau)$, $\alpha<\tau<\beta$ in which $\tau$ is the arc parameter
317: and $z'(\tau)$ is continuous and nonvanishing in the
318: closure of $(\alpha,\beta)$, we have
319: %
320: \begin{equation}\label{eq:PT.E12}
321: \Vp_{\C}(f)=\int_\alpha^\beta\left|f'[z(\tau)]z'(\tau)\right|\,d\tau.
322: \end{equation}
323: %
324: Along a path $\P$ that is a finite chain of smooth arcs
325: (of straight lines, for example) $\Vp_\P$
326: can be defined as the sum of the contributions from the arcs.
327:
328: In the bounds given in \pref{eq:PT.E10} the path $\P$
329: links the point $z$ (with $\ph{z}\in(-\frac32\pi,\frac32\pi)$)
330: to $+\infty$, such that on $\P$ the condition is fulfilled that
331: $\Re(t+a\ln t)$ is monotonic.
332:
333: We consider the bounds in \pref{eq:PT.E10} for $z$
334: in the sector $[-\pi,\pi]$, that is, for $w$ used in
335: \pref{eq:PT.E7} with $\Re w\ge 0$. For other values of $w$ the
336: relations in \pref{eq:IN.I19} and \pref{eq:IN.I20}
337: can be used for computing the function $U(a,z)$.
338:
339: In \cite{Olver:1965:ASW} simple bounds are given for the variation
340: $\Vp_\P(t^{-n})$ appearing in \pref{eq:PT.E10}, for $z$ in
341: certain regions in the complex plane. In Figure \ref{fig:fig1} we show these
342: regions in the $z-$plane and corresponding regions in the
343: $w-$plane; we only show the regions in $\Im z\ge0, \Im w\ge 0$,
344: but they should be extended by including the conjugated parts.
345:
346: %
347: %
348: \begin{center}
349: \epsfxsize=12cm \epsfbox{fig1.ps}\label{fig:fig1}
350: %\epsfbox[2 515 564 744]{fig1.ps}
351: %\special{epsf=fig1.ps}
352: %\centerline{\protect\hbox{\psfig{file=fig1.ps,width=12cm}}}
353: \vspace*{0.5cm}
354:
355: {\bf Figure \ref{fig:fig1}.}\ The regions $R_1, R_2$ and $R_4$ used for
356: bounding the variation $\Vp_\P\left(t^{-n}\right)$
357: appearing in \pref{eq:PT.E10}.
358: \end{center}
359: %
360: The arc $PQ$ is a circular arc, with radius $2\kappa$; $Q$ is the
361: point $-\sqrt{3}\kappa+i\kappa$;
362: $S$ is the point $i\kappa$; the arc $ST$ is a circular arc,
363: with radius $\kappa$. As in \pref{eq:PT.E9}
364: $\kappa=|a|$.
365:
366: The region $R_1$ is the half-plane $\Re z\ge \kappa$;
367: $R_2$ is the region above the curves $VQ, QS, ST$
368: and the conjugated $z-$values;
369: $R_4$ is the region with $|z|\ge2\kappa, |\Im z|\le \kappa$. The
370: corresponding regions in the $w-$plane follow from $z=\frac12w^2$.
371:
372: The following upper bounds for $\Vp_\P\left(t^{-n}\right)$ are derived
373: in \cite{Olver:1965:ASW}:
374: %
375: \begin{equation}
376: \begin{array}{ll}\label{eq:PT.E13}
377: |z|^{-n}, & z\in R_1,\\
378: \chi(n)|z|^{-n}, & z\in R_2,\\
379: \left[\chi(n)+\sigma v^2n\right] v^n |z|^{-n}, & z\in R_4,\\
380: \end{array}
381: \end{equation}
382: %
383: where
384: %
385: \begin{equation}\label{eq:PT.E14}
386: \chi(n)=\frac{\sqrt{\pi}\Gamma\left(\tfrac12n+1\right)}
387: {\Gamma\left(\tfrac12n+\tfrac12\right)},\quad
388: v= \left(\tfrac12+\tfrac12\sqrt{1-4\sigma^2}\right)^{-1/2}.
389: \end{equation}
390: %
391: For $\Vp_\P\left(t^{-1}\right)$ set $n=1$ in \pref{eq:PT.E13}.
392:
393: For $z\in R_4$, the quantities $\alpha$, $\beta$ and $\delta$ of
394: \pref{eq:PT.E9} should be modified: replace $\sigma$ by $v\sigma$
395: and $|z|^{-1}$ by $v|z|^{-1}$.
396: %
397:
398: For the parabolic cylinder function $U(a,w)$ these bounds are applicable
399: if $|w|$ is large compared with $\sqrt{|a|}$. For example,
400: if $w\in R_4$ we need $|w|\ge 2\sqrt{|a|}$. When using the
401: asymptotic expansion for computations, the restrictions on the bounds
402: are not unrealistic because the asymptotic expansion does not make sense
403: if $w$ is not large compared with $\sqrt{|a|}$.
404:
405: \subsection{Are these domains optimal?}\label{opt}
406: We have used the same values as in \cite{Olver:1965:ASW} for showing the
407: regions $R_1$, $R_2$ and $R_4$. When verifying Olver's analysis we have
408: found that the boundaries of the regions $R_1$ and $R_2$ can be modified.
409:
410: \subsubsection{Extending region {\protect\boldmath $R_1$}}
411: For $R_1$ we can use the condition $\Re\, z > \max[0,\Re(-a)]$.
412: To verify this condition, let
413: \begin{equation}\label{eq:PT:v1}
414: a=u+iv=|a|e^{i\alpha},\quad z=x+iy=re^{i\phi}.
415: \end{equation}
416: In Olver's analysis the path in the $z-$plane has to be selected
417: along which
418: \begin{equation}\label{eq:PT:v2}
419: F(x,y)=\Re(z+a\ln z)=x+\tfrac12u\ln(x^2+y^2)-v\arctan(y/x)
420: \end{equation}
421: is monotonic. Olver chooses an optimal path with the constant
422: argument $\phi$. Substituting $y=x\tan\phi$ in $F(x,y)$, we find
423: $dF/dx=(u+x)/x$. This is positive on the path when
424: $\Re\, z > \max[0,\Re(-a)]$.
425: One can also use a vertical path $x=x_0, y\ge y_0$
426: upwards, if $\phi\in(\alpha,\alpha+\pi)$.
427: This follows from
428: %
429: \begin{equation}\label{eq:PT.v3}
430: \frac{dF(x_0,y)}{dy}=\frac{uy-vx_0}{x_0^2+y^2}.
431: \end{equation}
432: Similarly, one can use the vertical path
433: downwards if $\phi\in(\alpha-\pi,\alpha)$.
434: In Olver's approach vertical paths are not used.
435:
436: \subsubsection{Extending region {\protect\boldmath $R_2$}}
437: For $R_2$ the condition $\Im\, z > \max[0,\Im(-a)]$ can be used.
438: We verify this by taking as Region 2 (as in Olver's approach)
439: the domain with points $z_0=x_0+iy_0$ from which we can draw a half line
440: with the equation $x_0 x + y_0 y = x_0^2 + y_0^2$.
441: This line is perpendicular (at $z=z_0$) to the line
442: from the origin to $z_0$. Another equation for the line is
443: $y = y_0 - \frac{x_0}{y_0} (x-x_0)$.
444: On this path we have
445: %
446: \begin{equation}\label{eq:PT.v4}
447: \frac{dF}{dx} = 1 + \frac{u (x_0^2+y_0^2)}{y_0^2 (x^2+y^2)} (x-x_0)
448: +\frac{v (x_0^2+y_0^2)}{y_0 (x^2+y^2)},
449: \end{equation}
450: and we see that $dF/dx>0$ at $z=z_0$ if $0<-v<y_0$ or $v>0, y_0>0$.
451: With this conditions $dF/dx>0$ for all $x>x_0$.
452: This explains that we can extend Region 2 to the domain where
453: $\Im z>\max(0,\Im(-a))$.
454:
455:
456:
457:
458:
459:
460: %\end{remark}
461: \subsection{Application to the error function}
462: We applied these bounds for the case $a=\tfrac12$,
463: which corresponds to the error function:
464: %
465: \begin{equation}\label{eq:PT.E15}
466: W_{-\frac14,\frac14}(z)= \sqrt{\pi}\, z^{\frac14}\,e^{z}\,\erfc\,\sqrt{z}.
467: \end{equation}
468: %
469: We computed
470: \begin{equation}\label{eq:PT.E16}
471: \rho=\frac{|\epsilon_n(z)|}{\epsilon_n^{(e)}(z)},
472: \end{equation}
473: %
474: where $\epsilon_n(z)$ is the exact error (see \pref{eq:PT.E8}),
475: $\epsilon_n^{(e)}(z)$
476: the estimated error (see \pref{eq:PT.E10}), for several values of $n$
477: and $\theta=\ph{z}$ as given in Table \ref{tab:PT.E17}. We observe that the ratio $\rho$
478: is almost always less than $\frac13$,
479: and that in $R_2$, where $\theta=\frac{j}8\pi$
480: with $j=4, 5, 6, 7$, the estimated error is quite large compared with the
481: real error.
482:
483: \begin{table*}
484: \caption{Ratios $\rho=|\epsilon_n(z)|/\epsilon_n^{(e)}(z)$;
485: $z=re^{i\theta}$, $r=10$.
486: \label{tab:PT.E17}}
487: \vspace*{0.3cm}
488: \begin{centering}
489: \begin{tabular}{c|ccccccccc}
490: \hline
491: $\theta$ &$\tfrac08\pi$ &$\tfrac18\pi$&$\tfrac28\pi$&$\tfrac38\pi$&
492: $\tfrac48\pi$&$\tfrac58\pi$&$\tfrac68\pi$&$\tfrac78\pi$&$\tfrac88\pi$
493: \\ \hline
494: $n=5$ &0.29 &0.30 &0.31 &0.34 &0.13 &0.15 &0.18 &0.25 &0.34 \\
495: $n=10$ &0.22 &0.23 &0.24 &0.26 &0.07 &0.09 &0.12 &0.20 &0.37 \\
496: $n=15$ &0.18 &0.18 &0.19 &0.21 &0.05 &0.06 &0.08 &0.12 &0.19 \\
497: \hline
498: \end{tabular}\\
499: \end{centering}
500: \end{table*}
501:
502:
503: The upper bound $\chi(n)$ of the variation introduced by Olver is not
504: very sharp for certain values of the parameters. In his analysis
505: the estimate of the variation along a certain path follows from
506: \begin{equation}\label{eq:PT.E17}
507: \Vp_\P(t^{-n})=\intp \frac{n\,d\tau}{|z+\tau e^{i\phi}|^{n+1} }
508: =\intp \frac{n\,d\tau}{||z|e^{i(\theta-\phi)}+\tau |^{n+1}},
509: \end{equation}
510: where $\theta=\ph{z}$ and $\phi\in[-\frac12\pi,\frac12\pi]$ is
511: defined by $\cos\phi=\kappa/|z|$, where $\kappa=|a|$ is introduced in
512: \pref{eq:PT.E9}. The right-hand side in \pref{eq:PT.E17}
513: is estimated by Olver as follows
514: \begin{equation}\label{eq:PT.E18}
515: \intp \frac{n\,d\tau}{||z|e^{i(\theta-\phi)}+\tau |^{n+1}}
516: \le \intp \frac{n\,d\tau}{(|z|^2+\tau^2)^{\frac12n+\frac12}}=
517: \frac{\chi_(n)}{|z|^n}.
518: \end{equation}
519:
520: The right-hand side of \pref{eq:PT.E17} can be written as a
521: Gauss hypergeometric function, and we find for the variation (along
522: the same path $\P$)
523: \begin{equation}
524: \begin{array}{ll}\label{eq:PT.E19}
525: \hbox{${\displaystyle{\Vp_\P(t^{-n})}}$}&
526: \hbox{${\displaystyle{=\ \frac{n}{|z|^n}
527: \intp \frac{d\tau}{(u^2+2\cos(\theta-\phi) u+1)^{\frac12n+\frac12}}}}$}\\
528: &\\
529: &
530: \hbox{${\displaystyle{%\quad\
531: =\ \frac{1}{|z|^n} \ \F{\frac12n}{\frac12}{\frac12n+1}{\sin^2(\theta-\phi)}.}}$}\\
532: \end{array}
533: \end{equation}
534: This result is also given in \cite{Olver:1965:ASW}. The value $\chi(n)$ arises when we replace the argument of the
535: $F-$function by unity. With this new value of $\Vp_\P$ we re-computed the
536: ratios of Table \pref{tab:PT.E17}, and we give the new ratios in Table
537: \pref{tab:PT.E18}. We see that indeed the ratios become larger
538: in the regions $R_2$ and $R_4$, except when $\theta=\pi$.
539: That is,
540: the estimates of the remainders become more realistic in these regions.
541:
542: \begin{table*}
543: \caption{Ratios as in Table \ref{tab:PT.E17}, now with variations
544: $\Vp_\P(t^{-n})$ according to \pref{eq:PT.E19}.
545: \label{tab:PT.E18}}
546: \vspace*{0.3cm}
547: \begin{centering}
548: \begin{tabular}{c|ccccccccc}
549: \hline
550: $\theta$ &$\tfrac08\pi$ &$\tfrac18\pi$&$\tfrac28\pi$&$\tfrac38\pi$&
551: $\tfrac48\pi$&$\tfrac58\pi$&$\tfrac68\pi$&$\tfrac78\pi$&$\tfrac88\pi$
552: \\ \hline
553: $n=5$ &0.29 &0.30 &0.31 &0.34 &0.38 &0.42 &0.43 &0.41 &0.32 \\
554: $n=10$ &0.22 &0.23 &0.24 &0.26 &0.31 &0.35 &0.38 &0.39 &0.33 \\
555: $n=15$ &0.18 &0.18 &0.19 &0.21 &0.25 &0.28 &0.29 &0.27 &0.17 \\
556: \hline
557: \end{tabular}\\
558: \end{centering}
559: \end{table*}
560: %
561: %
562: \section{Uniform expansions in terms of elementary functions}
563: \label{sec:EA}
564: %
565: %
566: We transform the differential equation into a standard form and
567: distinguish between the cases that there are no real turning points
568: (as for $a>0$), and that there are two real turning points.
569: For convenience we consider real parameters.
570:
571: %
572: %
573: \subsection{Positive {\protect\boldmath $a$}}\label{sec:AP}
574: For $a>0$ no oscillations occur on the real $z-$axis.
575: \cite{Olver:1959:UAE} gives expansions that cover
576: all real $z$. We consider two different modifications,
577: one for $z\ge0$ and another one for $z\le0$. These modifications are
578: derived in \cite{Temme:2000:NAP}, and we take the same notation
579: as in this reference.
580:
581: The function $U(a,z)$ is a solution of the differential equation
582: \pref{eq:IN.I1}, and $w(t)=U(\frac12\mu^2,\mu t\sqrt{2})$ satisfies
583: \begin{equation}
584: \frac{d^2w}{dt^2} =\mu^4(t^2+1)w.
585: \end{equation}
586: The function $W(t)=(t^2+1)^{\frac14} U(\frac12\mu^2,\mu t\sqrt{2})$
587: is a solution of
588: %
589: \begin{equation}\label{eq:UE.T1}
590: \frac{d^2W}{d\wt\xi^2}=\left[\mu^4+\psi(\wt\xi)\right]W,
591: \end{equation}
592: %
593: where the relation between $t$ and $\wt\xi$ is given by
594: %
595: \begin{equation}\label{eq:UE.T2}
596: \wt\xi=\tfrac12t\sqrt{{t^2+1}}+\tfrac12\ln\left[t+\sqrt{{t^2+1}}\right],
597: \end{equation}
598: and $\psi(\wt\xi)$ is given by
599: %
600: \begin{equation}\label{eq:UE.T3}
601: \psi(\wt\xi)=
602: \frac{2-3t^2}{4(t^2+1)^3}.
603: \end{equation}
604: Transformations of this kind are discussed in
605: \cite{Olver:1974:ASF}, Chapter 10. The relation in \pref{eq:UE.T2}
606: follows from the relation
607: %
608: \begin{equation}\label{eq:UE.TD}
609: \frac{d\wt\xi}{dt}=\sqrt{t^2+1},\quad \wt\xi(0)=0,
610: \end{equation}
611: that Olver used in a Liouville-Green transformation.
612:
613: The quantity $\wt{F}$ in
614: $W=e^{-\mu^2\wt\xi}\wt{F}$ is a solution of
615: \begin{equation}\label{eq:UE.T4}
616: \frac{d^2\wt{F}}{d\wt\xi^2} - 2\mu^2 \frac{d\wt{F}}{d\wt\xi} -\psi(\wt\xi) \wt{F}=0.
617: \end{equation}
618: It is convenient to introduce another parameter, $\wt\tau$, by writing
619: \begin{equation}\label{eq:UE.T5}
620: \wt\tau=\tfrac12\left[\frac{t}{\sqrt{{t^2+1}}}-1\right].
621: \end{equation}
622: We have
623: \begin{equation}\label{eq:UE.T6}
624: \frac{d\wt\xi}{d\wt\tau}=\frac1{8\wt\tau^2(1+\wt\tau)^2}
625: \end{equation}
626: and equation \pref{eq:UE.T4} becomes in terms of $\wt\tau$:
627: \begin{equation}\label{eq:UE.T7}
628: 16\wt\tau^2(\wt\tau+1)^2\frac{d^2\wt{F}}{d\wt\tau^2} +
629: \left[32\wt\tau(2\wt\tau^2+3\wt\tau+1)-4\mu^2\right]\frac{d\wt{F}}{d\wt\tau}
630: +(20\wt\tau^2+20\wt\tau+3) \wt{F}=0.
631: \end{equation}
632: %
633: \subsubsection{\protect\boldmath $z\ge0$}\label{sec:EE.PZ}
634:
635: We give an asymptotic expansion of the $U-$ function for $a$ large
636: and positive, that holds uniformly for $z\ge0$. We write
637: %
638: \begin{equation}\label{eq:UE.T8}
639: U\left(\tfrac12\mu^2,\mu t\sqrt{2}\right)=
640: \frac{e^{-\mu^2\wt\xi}}{\sqrt{2}\mu h(\mu) (t^2+1)^{\frac14}}\wt{F}_\mu(\wt\tau),
641: \end{equation}
642: where $\wt{F}_\mu(\wt\tau)$ satisfies equation \pref{eq:UE.T7}
643: and is expanded in the form
644: \begin{equation}\label{eq:UE.T9}
645: \wt{F}_\mu(\wt\tau)\sim\sum_{s=0}^\infty(-1)^s\frac{\phi_s(\wt\tau)}{\mu^{2s}},
646: \end{equation}
647: where
648: \begin{equation}\label{eq:UE.T10}
649: h(\mu)=2^{-\tfrac14\mu^2-\tfrac14}e^{-\tfrac14\mu^2}
650: \mu^{\tfrac12\mu^2-\tfrac12}=2^{-\frac12} e^{-\frac12a}a^{\frac12a-\frac14}.
651: \end{equation}
652: Substituting
653: \pref{eq:UE.T9} into \pref{eq:UE.T7} and prescribing
654: \begin{equation}\label{eq:UE.T11}
655: \phi_0(\wt\tau)=1, \quad \phi_s(0)=0, \quad s\ge1,
656: \end{equation}
657: we find that the coefficients $\phi_s(\wt\tau)$
658: are polynomials in $\wt\tau$ of degree $3s$, and are
659: given by the recursion relation
660: %
661: \begin{equation}\label{eq:UE.T12}
662: \phi_{s+1}(\tau)=-4\tau^2(\tau+1)^2\frac{d}{d\tau}\phi_s(\tau)
663: -\tfrac14\int_0^\tau\left(20u^2+20u+3\right)\phi_{s}(u)\,du.
664: \end{equation}
665:
666: For deriving this relation observe that \pref{eq:UE.T7}
667: can be written in the form
668: %
669: \begin{equation}%\label{eq:UE.T12}
670: \mu^2\frac{d\wt{F}}{d\tau}=4\frac{d}{d\tau}
671: \left[\tau^2(\tau+1)^2\frac{d\wt{F}}{d\tau}\right]
672: +\tfrac14(20\tau^2+20\tau+3) \wt{F}.
673: \end{equation}
674:
675:
676: The term $h(\mu)$ given in \pref{eq:UE.T10} follows
677: from \pref{eq:PT.E1} and from the condition on
678: $\phi_s(\wt\tau)$ given in \pref{eq:UE.T11}.
679:
680: The expansion in \pref{eq:UE.T9} corresponds with the expansion (11.10)
681: given in \cite{Olver:1959:UAE}. In our expansion one of the parameters
682: $a$ or $t$ should be large, in Olver's expansion $a$ should be large.
683: Both Olver's and our expansions hold uniformly for all real $t$, but we
684: prefer for negative values of $t$ a slightly different expansion that will
685: be given in the next subsection. The expansions also hold in unbounded
686: complex domains. For details we refer to \cite{Olver:1959:UAE}.
687:
688: The first few coefficients are
689: %
690: \begin{equation}
691: \begin{array}{ll}\label{eq:UE.T13}
692: \phi_0(\tau)&= 1,\morespace\\
693: \phi_1(\tau)&= -\Frac{\tau}{12} (20\tau^2+30\tau+9),\morespace\\
694: \phi_2(\tau)&= \Frac{\tau^2}{288}(6160\tau^4+18480\tau^3+19404\tau^2+8028\tau+945),\morespace\\
695: \phi_3(\tau)&= -\Frac{\tau^3}{51840}(27227200\tau^6+ 122522400\tau^5 + 220540320\tau^4+\morespace\\
696: & \quad\quad 200166120\tau^3+ 94064328\tau^2+
697: 20545650\tau+1403325),
698: \end{array}
699: \end{equation}
700: %
701:
702: For the derivative we have
703: %
704: \begin{equation}\label{eq:UE.D4}
705: U'\left(\tfrac12\mu^2,\mu t\sqrt{2}\right)=
706: -\frac{(1+t^2)^{\tfrac14}\,e^{-\mu^2{\wt\xi}}}{2h(\mu)}
707: {\wt G}_a(z),\quad
708: {\wt G}_a(z)\sim
709: \sum_{s=0}^\infty\,(-1)^s\,\frac{\psi_s(\wt\tau)}{\mu^{2s}},
710: \end{equation}
711: %
712: where the coefficients $\psi_s(\tau)$ can be obtained by formal
713: differentiating \pref{eq:UE.T8} and \pref{eq:UE.T9}.
714: It follows that
715: %
716: \begin{equation}\label{eq:UE.T17}
717: \psi_s(\tau)=\phi_s(\tau)+2\tau(\tau+1)(2\tau+1)
718: \phi_{s-1}(\tau)+8\tau^2(\tau+1)^2\frac{d\phi_{s-1}(\tau)}{d\tau},
719: \end{equation}
720: %
721: $s=0,1,2,\ldots\,$. The first few coefficients are
722: %
723: \begin{equation}
724: \begin{array}{ll}\label{eq:UE.T18}
725: \psi_0(\tau)&= 1,\morespace\\
726: \psi_1(\tau)&= \Frac{\tau}{12} (28\tau^2+42\tau+15),\\
727: \psi_2(\tau)&= -\Frac{\tau^2}{288}(7280\tau^4+21840\tau^3+23028\tau^2+9684\tau+1215),\morespace\\
728: \psi_3(\tau)&=\Frac{\tau^3}{51840}(30430400\tau^6+136936800\tau^5+246708000\tau^4+\morespace\\
729: & \quad\quad
730: 224494200\tau^3+106122312\tau^2+23489190\tau+1658475).
731: \end{array}
732: \end{equation}
733: %
734: \subsubsection{{\protect\boldmath $z\le0$}}\label{sec:EE.NZ}
735:
736: For negative $z$ we have
737: \begin{equation}
738: \begin{array}{ll}\label{eq:UE.D5}
739: U\left(\tfrac12\mu^2,-\mu t\sqrt{2}\right)
740: &=\Frac{\sqrt{{2\pi}}}{\Gamma(\tfrac12+\tfrac12\mu^2)}
741: \Frac{h(\mu)e^{\mu^2{\wt\xi}}}{(1+t^2)^{\frac14}}\,
742: \wt P_\mu(t),\\
743: U'\left(\tfrac12\mu^2,-\mu t\sqrt{2}\right)
744: &=-\Frac{\sqrt{\pi}\,\mu h(\mu)}{\Gamma(\tfrac12+\tfrac12\mu^2)}
745: e^{\mu^2{\wt\xi}}(1+t^2)^{\tfrac14}\,
746: \wt Q_\mu(t),
747: \end{array}
748: \end{equation}
749: where
750: \begin{equation}\label{eq:UE.D6}
751: \wt P_\mu(t)\sim\sum_{s=0}^\infty \frac{\phi_s(\wt\tau)}{\mu^{2s}},\quad
752: \wt Q_\mu(t)\sim\sum_{s=0}^\infty \frac{\psi_s(\wt\tau)}{\mu^{2s}}.
753: \end{equation}
754: %
755: Again, these expansions are valid when one or both parameters $a$ and $t$
756: are large.
757:
758: The functions $\wt F_\mu(t), \wt G_\mu(t),
759: \wt P_\mu(t)$ and $\wt Q_\mu(t)$
760: satisfy the following exact relation:
761: %
762: \begin{equation}\label{eq:UE.D7}
763: \wt F_\mu(t)\wt Q_\mu(t)+
764: \wt G_\mu(t)\wt P_\mu(t)=2.
765: \end{equation}
766:
767: The relation in \pref{eq:IN.I17} can be used for obtaining expansions
768: for $V(a,z)$ and its derivative.
769: %
770: \subsubsection{Error bounds of the expansions}\label{sec:EE.RD}
771: We apply Theorem 3.1 of \cite{Olver:1974:ASF}, page 366, and write the
772: expansion in \pref{eq:UE.T9} with a remainder.
773: For $n=0,1,2,\ldots$ we have
774: %
775: \begin{equation} \label{eq:UE.D8}
776: \wt F_\mu(t)=\sum_{s=0}^{n-1}(-1)^s
777: \frac{\phi_s(\wt\tau)}{\mu^{2s}}
778: +\wt R_{n}(\mu,t).
779: \end{equation}
780: The remainder $\wt R_{n}(\mu,t)$ can be bounded as follows
781: %
782: \begin{equation}\label{eq:UE.D9}
783: |\wt R_{n}(\mu,t)|\le
784: \exp\left[
785: \frac{2\Vp_{\wt\xi, \infty}(\phi_1)}{\mu^2}\right]\,
786: \frac{\Vp_{\wt\xi, \infty}(\phi_n)}{\mu^{2n}},
787: \end{equation}
788: where we take into account that we consider positive $t$ and $\mu$
789: (see also Exercise 3.1 on page 367 of \cite{Olver:1974:ASF}).
790:
791: We need the variation of the coefficients $\phi_s$ for $t\ge0$
792: which corresponds with $\wt\xi\ge0$ and
793: $-\frac12\le\wt\tau\le0$; cf. \pref{eq:UE.T5}. We have
794: %
795: \begin{equation}\label{eq:UE.D10}
796: \Vp_{\wt\xi, \infty}(\phi_n)=\int_{\wt
797: \tau}^{0}|\phi_n'(\tau)|\,d\tau.
798: \end{equation}
799: For negative argument the coefficients $\phi_s$ oscillate;
800: see Figure \ref{fig:fig2}.
801:
802: %
803: \begin{center}
804: \epsfxsize=8cm \epsfbox{fig2.ps}\label{fig:fig2}
805: %\epsfbox[2 515 564 744]{fig2.ps}
806: %\special{epsf=fig2.ps}
807: %\centerline{\protect\hbox{\psfig{file=fig2.ps,width=12cm}}}
808: \vspace*{0.5cm}
809:
810: {\bf Figure \ref{fig:fig2}.}\ Graphs of $\phi_s(\wt\tau)$, $s=1,2,3$, $\wt\tau
811: \in[-1,0]$.
812: \end{center}
813:
814: In Table \ref{tab:UE.Tpp} we show the ratios
815: $|R_{n}(\mu,t)|/R_{n}^{(e)}(\mu,t)$ (with $n=3$), where $R_{n}^{(e)}(\mu,t)$
816: is the right-hand side of \pref{eq:UE.D9}. We see that the estimates
817: for small values of $t$ are much too large. An explanation is that
818: for small $t$ (that is $\wt\tau$ close to $-\frac12$), the variations
819: in \pref{eq:UE.D10} are calculated over a larger interval than when $t$ is
820: large.
821:
822: \begin{table*}
823: \caption{Ratios $|R_{n}(\mu,t)|/R_{n}^{(e)}(\mu,t)$; $z=2t\sqrt{a}\,, n=3$.
824: \label{tab:UE.Tpp}}
825: \vspace*{0.3cm}
826: \begin{centering}
827: \begin{tabular}{c|ccccccccc}
828: \hline
829: $t$ &$0.0$ &$1.0$&$2.5$&$5.0$&
830: $10$&$25$&$50$
831: \\ \hline
832: $a= 1$ &.21493 &.14455 &.84677 &.94186 &.98360 &.99728 &.99932\\
833: $a= 5$ &.06142 &.43256 &.96494 &.98773 &.99667 &.99945 &.99986\\
834: $a= 10$ &.00343 &.50123 &.98214 &.99382 &.99833 &.99973 &.99993\\
835: $a= 50$ &.04921 &.56597 &.99637 &.99876 &.99967 &.99995 &.99999\\
836: $a= 100$ &.05601 &.57478 &.99818 &.99938 &.99983 &.99997 &.99999\\
837: \hline
838: \end{tabular}\\
839: \end{centering}
840: \end{table*}
841:
842: For $z\le0$ we consider the remainder in the expansion of
843: \pref{eq:UE.D6} and we write
844: \begin{equation}\label{eq:UE.11}
845: \wt P_\mu(t)=\sum_{s=0}^{n-1} \frac{\phi_s(\wt\tau)}{\mu^{2s}}+
846: \wt R_{n}(\mu,t).
847: \end{equation}
848: In the present case we have the bound
849: %
850: \begin{equation}\label{eq:UE.D12}
851: |\wt R_{n}(\mu,t)|\le
852: \exp\left[
853: \frac{2\Vp_{-\infty,\wt\xi}(\phi_1)}{\mu^2}\right]\,
854: \frac{\Vp_{-\infty,\wt\xi}(\phi_n)}{\mu^{2n}},
855: \end{equation}
856: where
857: %
858: \begin{equation}\label{eq:UE.D13}
859: \Vp_{-\infty,\wt\xi}(\phi_n)=\int_{-1}^{\wt \tau}|\phi_n'(\tau)|\,d\tau.
860: \end{equation}
861:
862: In Table \ref{tab:UE.Tpn} we again show the ratios
863: $|R_{n}(\mu,t)|/R_{n}^{(e)}(\mu,t)$ (with $n=3$),
864: where in the present case $R_{n}^{(e)}(\mu,t)$
865: is the right-hand side of \pref{eq:UE.D12}. We see that the ratios
866: in general are smaller than when $z\ge0$. An explanation is that
867: the variations include the contributions from the interval
868: $[-1,-\frac12]$. The parameter $\wt\tau$ remains in the interval
869: $[-\frac12,0]$, however.
870:
871: \begin{table*}
872: \caption{Ratios $|R_{n}(\mu,t)|/R_{n}^{(e)}(\mu,t)$; $z=-2t\sqrt{a}\,, n=3$.
873: \label{tab:UE.Tpn}}
874: \vspace*{0.3cm}
875: \begin{centering}
876: \begin{tabular}{c|ccccccccc}
877: \hline
878: $t$ &$0.0$ &$1.0$&$2.5$&$5.0$&
879: $10$&$25$&$50$
880: \\ \hline
881: $a= 1$ &.29041 &.04469 &.87352 &.76079 &.72513 &.71493 &.71347\\
882: $a= 5$ &.17780 &.02071 &.96996 &.94637 &.93771 &.93509 &.93471\\
883: $a= 10$ &.12433 &.01817 &.98467 &.97279 &.96835 &.96700 &.96680\\
884: $a= 50$ &.07476 &.01644 &.99689 &.99449 &.99359 &.99331 &.99327\\
885: $a= 100$ &.06829 &.01624 &.99844 &.99724 &.99679 &.99665 &.99663\\
886: \hline
887: \end{tabular}\\
888: \end{centering}
889: \end{table*}
890: %
891: \subsubsection{Upper bounds for the variations of
892: {\protect\boldmath $\phi_s(\wt\tau)$}}\label{sec:EE.UB}
893: The variations of the coefficients $\phi_s(\wt\tau)$ used in \pref{eq:UE.D10}
894: and \pref{eq:UE.D13} can be computed by numerical quadrature of the integrals,
895: but for real values it is convenient to use the zeros of the polynomials
896: $\phi_s'(\wt\tau)$. For example, $\phi_1'(\wt\tau)$ has zeros at
897: $t_1 = -0.816$ and $t_2 = -0.184$. Hence, for
898: $\wt\tau\in[-\frac12,0]$ the variation in \pref{eq:UE.D10} follows from
899: \begin{equation}\label{eq:UE.N10}
900: \Vp_{\wt\xi, \infty}(\phi_1)=\int_{\wt
901: \tau}^{0}|\phi_1'(\tau)|\,d\tau = \left\{
902: \begin{array}{ll}
903: \phi_1(\wt\tau) &\mbox{if\ } \wt\tau\in[t_2,0],\\
904: 2\phi_1(t_2)-\phi_1(\wt\tau) &\mbox{if\ } \wt\tau\in[-\frac12,t_2].
905: \end{array}
906: \right.
907: \end{equation}
908: The computation of the zeros of $\phi_s'(\wt\tau)$, however, may be not
909: efficient in an algorithm. We can avoid this by constructing
910: for the variations upper bounds as functions of $\wt\tau$.
911: For example, we found for the first few $\phi_s(\wt\tau)$ the following
912: simple upper bounds for $\wt\tau\in[-\frac12,0]$:
913: \begin{eqnarray}\label{eq:UE.N11}
914: \Vp_{\wt\xi, \infty}(\phi_1) &\le&
915: \Frac{-3\,\wt\tau}{4(1+4.8\wt\tau^2)},\nonumber\\
916: \Vp_{\wt\xi, \infty}(\phi_2) &\le&
917: \Frac{105\,\wt\tau^2}{32(1+18\wt\tau^2)},\\
918: \Vp_{\wt\xi, \infty}(\phi_3) &\le&
919: \Frac{-3465\,\wt\tau^3}{128(1+52\wt\tau^2)}.\nonumber
920: \end{eqnarray}
921: The bounds fit at the origin, and are slightly larger at $\wt=-\frac12$.
922:
923: In Figure \ref{fig:fig3} we give the graphs of $\phi_s(\wt\tau)$, $s=1$
924: (left), $s=2$ (right), and $s=3$ for $\wt\tau\in[-\frac12,0]$. The first
925: graph from the bottom is for $\phi_s(\wt\tau)$, the second one is for the
926: variation in \pref{eq:UE.D10}, the third one is for the upper bound given
927: in \pref{eq:UE.N11}. The forth one is for the variation in
928: \pref{eq:UE.D13}, and the fifth one is the upper bound. Those two are just
929: equal to the second and third plus the variation over $[-1,-\frac12]$,
930: which equals $0.1692$, $0.1602$, $0.2415$, for $s=1,2,3$, respectively.
931: Observe that in \pref{eq:UE.D13} we consider $\wt\tau\in[-\frac12,0]$,
932: and that the variation contains contributions from $[-1,-\frac12]$.
933:
934: %
935: \begin{center}
936: \epsfxsize=12cm \epsfbox{fig3.ps}\label{fig:fig3}
937: %\epsfbox[2 515 564 744]{fig3.ps}
938: %\special{epsf=fig3.ps}
939: %\centerline{\protect\hbox{\psfig{file=fig3.ps,width=12cm}}}
940: \vspace*{0.5cm}
941:
942: {\bf Figure \ref{fig:fig3}.}\ Graphs of $\phi_s(\wt\tau)$, $s=1,2,3$, $\wt\tau
943: \in[-\frac12,0]$, variations and upper bounds; see the text for more details.
944: \end{center}
945:
946: %
947:
948: \subsection{Negative {\protect\boldmath $a$}}\label{sec:AN}
949: In this case we consider the function $U(-\frac12\mu^2,\mu t\sqrt{2})$.
950: This function satisfies the differential equation
951: \begin{equation}
952: \frac{d^2w}{dt^2} =\mu^4(t^2-1)w.
953: \end{equation}
954: %
955: For expansions in terms of elementary functions three intervals should be
956: distinguished: $(-\infty,-1-\delta]$, $[-1+\delta,1-\delta]$ and
957: $[1+\delta,\infty)$ (the turning points $t=\pm 1$ should be avoided).
958: We only consider the interval $[1+\delta,\infty)$; for the other
959: intervals we refer to \cite{Temme:2000:NAP}.
960:
961: %
962: \subsubsection{{\protect\boldmath $t>1$.}}\label{sec:EE.T1}
963:
964: We write (see \cite{Temme:2000:NAP})
965: %
966: \begin{equation}\label{eq:UE.T8N}
967: U\left(-\tfrac12\mu^2,\mu t\sqrt{2}\right)=
968: \frac{h(\mu)\,e^{-\mu^2\xi}}{(t^2-1)^{\frac14}}F_\mu(\tau),
969: \end{equation}
970: where $F_\mu(\tau)$ is expanded in the form
971: \begin{equation}\label{eq:UE.T9N}
972: F_\mu(\tau)\sim\sum_{s=0}^\infty\frac{\phi_s(\tau)}{\mu^{2s}},
973: \end{equation}
974: and where $h(\mu)$ is defined in \pref{eq:UE.T10},
975: \begin{equation}\label{eq:UE.T5N}
976: \tau=\tfrac12\left[\frac{t}{\sqrt{{t^2-1}}}-1\right],
977: \end{equation}
978: %
979: \begin{equation}\label{eq:UE.T2N}
980: \xi=\tfrac12t\sqrt{{t^2-1}}-\tfrac12\ln\left[t+\sqrt{{t^2-1}}\right],
981: \end{equation}
982: and the coefficients $\phi_s(\tau)$ are as in \pref{eq:UE.T9}; see
983: also \pref{eq:UE.T12} and \pref{eq:UE.T13}.
984:
985: The analysis for deriving \pref{eq:UE.T9} is similar to that of the case
986: $a>0$. The function $F(\tau)$ satisfies the equation (see \pref{eq:UE.T7})
987: \begin{equation}%\label{eq:UE.T12}
988: \mu^2\frac{dF}{d\tau}=
989: -4\frac{d}{d\tau}\left[\tau^2(\tau+1)^2\frac{dF}{d\tau}\right]
990: -\tfrac14(20\tau^2+20\tau+3) F.
991: \end{equation}
992:
993: For the function $V(a,z)$ we have
994: %
995: \begin{equation}\label{eq:UE.T14}
996: V\left(-\tfrac12\mu^2,\mu t\sqrt{2}\right)=
997: \frac{ e^{\mu^2\xi}}{\mu\,\sqrt{{\pi}}\,h(\mu)(t^2-1)^{\frac14}}
998: \,P_\mu(t),\quad
999: P_\mu(t)\sim\sum_{s=0}^\infty(-1)^s\frac{\phi_s(\tau)}{\mu^{2s}},
1000: \end{equation}
1001: %
1002: where the $\phi_s(\tau)$ are the same as in \pref{eq:UE.T9}.
1003:
1004:
1005: For the derivatives we have
1006: %
1007: \begin{equation}\label{eq:UE.T15}
1008: U'\left(-\tfrac12\mu^2,\mu t\sqrt{2}\right)=
1009: -\frac{\mu}{\sqrt{2}}h(\mu)(t^2-1)^{\tfrac14}e^{-\mu^2\xi}\,G_\mu(t),
1010: \quad G_\mu(t)\sim
1011: \sum_{s=0}^\infty\frac{\psi_s(\tau)}{\mu^{2s}}
1012: \end{equation}
1013: and
1014: \begin{equation}\label{eq:UE.T16}
1015: V'\left(-\tfrac12\mu^2,\mu t\sqrt{2}\right)=
1016: \frac{(t^2-1)^{\tfrac14}e^{\mu^2\xi}}{\sqrt{{2\pi}} h(\mu)}\,Q_\mu(t),
1017: \quad Q_\mu(t)\sim
1018: \sum_{s=0}^\infty(-1)^s\frac{\psi_s(\tau)}{\mu^{2s}}.
1019: \end{equation}
1020:
1021: %
1022: The coefficients $\psi_s$ are the same as in \pref{eq:UE.D4}; see also
1023: \pref{eq:UE.T17} and \pref{eq:UE.T18}.
1024:
1025:
1026: %
1027: \subsubsection{Error bounds of the expansion}\label{sec:EA.RA}
1028: %
1029: We write the expansion in \pref{eq:UE.T9} in the form
1030: %
1031: \begin{equation}\label{eq:UE.T20}
1032: F_\mu(t)={\displaystyle{\sum_{s=0}^{n-1}\frac{\phi_s(\tau)}{\mu^{2s}}}}
1033: +R_{n}(\mu,t).
1034: \end{equation}
1035:
1036: For the present values of the parameters the remainder $R_{n}(\mu,t)$
1037: can be bounded as follows,
1038: see \cite{Olver:1974:ASF} (page 366),
1039: %
1040: \begin{equation}\label{eq:UE.T21}
1041: |R_{n}(\mu,t)|\le
1042: \exp\left[\frac{2\Vp_{\infty,\xi}(\phi_1)}{|\mu^2|}\right]\,
1043: \frac{\Vp_{\infty,\xi}(\phi_n)}{|\mu^2|^n}.
1044: \end{equation}
1045:
1046:
1047: In Table \ref{tab:UE.T22} we show the ratios
1048: $|R_{n}(\mu,t)|/R_{n}^{(e)}(\mu,t)$ (with $n=3$), where $R_{n}^{(e)}(\mu,t)$
1049: is the right-hand side of \pref{eq:UE.T21}.
1050:
1051: \begin{table*}
1052: \caption{Ratios $|R_{n}(\mu,t)|/R_{n}^{(e)}(\mu,t)$; $z=2t\sqrt{a}\,, n=3$.
1053: \label{tab:UE.T22}}
1054: \vspace*{0.3cm}
1055: \begin{centering}
1056: \begin{tabular}{c|ccccccccc}
1057: \hline
1058: $t$ &$1.5$ &$2.0$&$3.0$&$5.0$&
1059: $10$&$20$&$50$
1060: \\ \hline
1061: $a=- 1$ &.29990& .57546& .80676& .93078& .98282& .99572& .99932\\
1062: $a=- 5$ &.69226& .86898& .95344& .98522& .99652& .99914& .99986\\
1063: $a=- 10$ &.81624& .92930& .97608& .99256& .99826& .99956& .99994\\
1064: $a=- 50$ &.95602& .98488& .99510& .99850& .99964& .99992& .99998\\
1065: $a=- 100$ &.97744& .99236& .99754& .99924& .99982& .99996& 1.0000\\
1066: \hline
1067: \end{tabular}\\
1068: \end{centering}
1069: \end{table*}
1070:
1071:
1072: From the first few $\phi_s(\tau)$ given in \pref{eq:UE.T13}
1073: and from the recursion relation in \pref{eq:UE.T12} it follows that all
1074: coefficients in these polynomials have the sign of $(-1)^s$. Hence, for
1075: $t>1$, that is, $\tau \ge 0$, the variations in
1076: \pref{eq:UE.T21} can be easily obtained. We have for $n\ge1$, using
1077: \pref{eq:PT.E11},
1078: \begin{equation}\label{eq:UE.T26}
1079: \Vp_{\infty,\xi}(\phi_n)=(-1)^s\int_0^\tau\phi_n'(\sigma)\,d\sigma=
1080: (-1)^s\phi_n(\tau)=|\phi_n(\tau)|.
1081: \end{equation}
1082:
1083:
1084:
1085: %
1086: %
1087: %
1088: \section{Error bounds by using integrals}\label{sec:EE.RI}
1089: %
1090: The construction of error bounds of remainders in uniform asymptotic
1091: expansions is available now by Olver's work on differential equations. In
1092: this section we consider a method for expansion \pref{eq:UE.T9} by using
1093: an integral representation of the function $U(a,z)$. For this approach it is
1094: convenient to concentrate on large positive values of $z$, and to construct
1095: an expansion that holds uniformly with respect to $a\in [0,\infty)$.
1096: This expansion reduces to the Poincar\'e-type expansion in \pref{eq:PT.E1} when
1097: $a$ is fixed after expanding the quantities in the expansion
1098: that depend on $\la=a/z^2$ for small
1099: values of this parameter. In fact, by writing $\mu=z\sqrt{2\la}$ and
1100: $t=1/(2\sqrt{\la})$ the same can be done in the expansion
1101: given by \pref{eq:UE.T8} and \pref{eq:UE.T9}.
1102:
1103: \subsection{An integration by parts procedure}
1104: \label{sec:EE.IR}
1105: We summarize from \cite{Temme:2000:NAP} and start with the integral representation
1106: \begin{equation}
1107: U(a,z)=\frac{e^{-\tfrac14z^2}}{\Gamma(a+\tfrac12)}
1108: \intp w^{a} e^{-\tfrac12w^2-zw}\,\frac{dw}{\sqrt{w}},\quad a>-\tfrac12\label{i1}
1109: \end{equation}
1110: which we write in the form
1111: \begin{equation}
1112: U(a,z)=\frac{z^{a+\tfrac12}\,e^{-\tfrac14z^2}}{\Gamma(a+\tfrac12)}
1113: \intp e^{-z^2\phi(w)}\, \frac{dw}{\sqrt{w}},\label{i2}
1114: \end{equation}
1115: where
1116: \begin{equation}
1117: \phi(w)=w+\tfrac12w^2-\lambda\ln w, \quad
1118: \lambda=\frac{a}{z^2}=\frac{1}{4t^2},\label{i50}
1119: \end{equation}
1120: where $t$ is used earlier in the notation $U(\frac12\mu^2,\mu t\sqrt{2})$.
1121: The positive saddle point $w_0$ of $\phi(w)$ is
1122: \begin{equation}
1123: w_0=\tfrac12\left[\sqrt{{1+4\lambda}}-1\right].\label{i5}
1124: \end{equation}
1125:
1126: A standard form of \pref{i2} is obtained by using the transformation
1127: \begin{equation}
1128: \phi(w)=s-\lambda\ln s+A,\label{i6}
1129: \end{equation}
1130: where $A$ does not depend on $s$ or $w$; we prescribe that $w=0$
1131: should correspond with $s=0$, and $w=w_0$ with $s=\lambda$, the saddle point
1132: in the $s-$plane. This gives
1133: \begin{equation}
1134: A=\tfrac12w_0^2+w_0-\lambda\ln w_0-\lambda+\lambda\ln\lambda,\label{i9}
1135: \end{equation}
1136: %
1137: \begin{equation}
1138: U(a,z)=\frac{z^{a+\tfrac12}\,e^{-\tfrac14z^2-Az^2}}{(1+4\lambda)^{\frac14}
1139: \Gamma(a+\tfrac12)}\intp
1140: s^{a}e^{-z^2s} f(s)\,\frac{ds}{\sqrt{s}},\label{i7}
1141: \end{equation}
1142: where
1143: \begin{equation}
1144: f(s)=(1+4\lambda)^{\tfrac14}\sqrt{{\frac sw }}\,\frac{dw}{ds}
1145: =(1+4\lambda)^{\tfrac14}
1146: \sqrt{{\frac ws }}\,\frac{s-\lambda}{w^2+w-\lambda}.\label{i8}
1147: \end{equation}
1148: By normalizing with the quantity $(1+4\lambda)^{\tfrac14}$ we obtain $f(\lambda)=1$,
1149: as can be verified from \pref{i8} and a limiting process (using
1150: l'H\^opital's rule).
1151:
1152: For $\la\to0$ the saddle point $w_0$ tends to zero, and the mapping becomes
1153: \begin{equation}\label{ii13}
1154: \tfrac12w^2+w =s.
1155: \end{equation}
1156: It is not difficult to verify that for $\la=0$ we have
1157: \begin{equation}\label{ii14}
1158: f(s)=\sqrt{\frac{1+\sqrt{1+2s}}{2(1+2s)}}.
1159: \end{equation}
1160: If $\la\ne0$ the transformation \pref{i6} can also be written
1161: \begin{equation}\label{ii15}
1162: \la\,w= w_0\,s\,e^{\frac{1}{\la}(\frac12w^2+w-s-\frac12w_0^2-w_0+\la)},
1163: \end{equation}
1164: in which form no logarithms occur.
1165:
1166: We introduce a sequence of functions $\{f_k\}$ with
1167: $f_0(s)=f(s)$ and
1168: \begin{equation}
1169: f_{k+1}(s)=\sqrt{{s}}\,\frac{d\ }{ds}
1170: \left[\sqrt{{s}}\frac{f_k(s)-f_k(\lambda)}{s-\lambda}\right],\quad
1171: k=0,1,2,\ldots\ .\label{i14}
1172: \end{equation}
1173:
1174: The expansion in \pref{eq:UE.T9} can be obtained by using an integration by
1175: parts procedure.
1176: Consider the integral
1177: \begin{equation}
1178: F_a(z)=\frac1{\Gamma(a+\tfrac12)}
1179: \intp s^{a}e^{-z^2s} f(s)\,\frac{ds}{\sqrt{s}},\label{i21}
1180: \end{equation}
1181: We have (with $\lambda=a/z^2$)
1182: \begin{eqnarray*}
1183: F_a(z)
1184: &=& z^{-2a-1}f(\lambda) +
1185: \Frac{1}{\Gamma(a+\tfrac12)}
1186: \intp s^{a}e^{-z^2s}[f(s)-f(\lambda)] \,\frac{ds}{\sqrt{s}}\\
1187: &=& z^{-2a-1}f(\lambda) -
1188: \Frac{1}{z^2\Gamma(a+\tfrac12)}
1189: \intp \sqrt{s} \Frac{f(s)-f(\lambda)}{s-\lambda}
1190: \,de^{-z^2(s-\lambda\ln s)}\\
1191: &=& z^{-2a-1}f(\lambda) + \Frac1{z^2\Gamma(a+\tfrac12)}
1192: \intp s^{a}e^{-z^2s} f_1(s)\,\frac{ds}{\sqrt{s}},
1193: \end{eqnarray*}
1194: where $f_1$ is given in \pref{i14} with $f_0=f$. Repeating this
1195: procedure we obtain
1196: \begin{equation}
1197: U(a,z)\sim
1198: \frac{e^{-\tfrac14z^2-Az^2}}{z^{a+\tfrac12}\,(1+4\lambda)^{\frac14}}
1199: \sum_{k=0}^\infty \frac{f_k(\lambda)}{z^{2k}}.\label{i13}
1200: \end{equation}
1201: %
1202: The factors in front of the series in \pref{i13} and \pref{eq:UE.T9}
1203: are the same. This can be verified by using $a=\tfrac12\mu^2$
1204: and $z=\mu\sqrt{2} t$.
1205: Also, the series correspond termwise with each other,
1206: the relation between the coefficients being
1207: \begin{equation}\label{i144}
1208: \phi_k(\wt\tau)= (-1)^k\,(2\lambda)^{k}\,f_k(\lambda),\quad
1209: \wt\tau=\tfrac12\left[\frac{1}{\sqrt{{4\lambda+1}}}-1\right].
1210: \end{equation}
1211: For example, we have
1212: \begin{equation}
1213: f_0(\lambda) = 1,\quad f_1(\lambda)=
1214: -\frac{(2\wt\tau+1)^2}{24(\wt\tau+1)}
1215: (20\wt\tau^2+30\wt\tau+9).
1216: \label{i32}
1217: \end{equation}
1218:
1219: We write \pref{i13} with a remainder:
1220: \begin{equation}
1221: U(a,z)=
1222: \frac{e^{-\tfrac14z^2-Az^2}}{z^{a+\tfrac12}\,(1+4\lambda)^{\frac14}}
1223: \left[\sum_{k=0}^{n-1} \frac{f_k(\lambda)}{z^{2k}}+
1224: \frac1{z^{2n}}R_n(a,z)\right],\label{i15}
1225: \end{equation}
1226: where
1227: \begin{equation}
1228: R_n(a,z)=\frac{z^{2a+1}}{\Gamma(a+\frac12)}
1229: \intp s^{a}e^{-z^2s} f_n(s)\,\frac{ds}{\sqrt{s}}.\label{i16}
1230: \end{equation}
1231:
1232: \subsection{Bounding the remainder}\label{sec:EE:BR}
1233: %
1234: From \pref{i6} and \pref{i8} we infer that $f(s)=\bo(s^{-1/4})$
1235: as $s\to\infty$ (see also \pref{ii14} for a simple verification when
1236: $\la=0$). So, $f(s)$ is bounded on $[0,\infty)$.
1237: Further, we can prove (which will not be done here) from \pref{i14}
1238: that $f_n(s)=\bo(s^{-1/4})$, $n\ge1$. Hence, the functions $f_n(s)$ can be bounded
1239: $|f_n(s)|\le M_n(\lambda)$, for $s\ge0$. Using such a bound in \pref{i16}
1240: will indeed give an upper bound for
1241: $|R_n(a,z)|$, but this bound may be not realistic.
1242:
1243: A much better bound will be obtained by estimating $|f_n(s)|$ accurately
1244: in a small interval around $s=\la$, and accepting a rough estimate for
1245: other $s-$values. This can be achieved by using a "weight function"
1246: $w_n(s,\la)$, and by writing
1247: %
1248: \begin{equation}
1249: |f_n(s)|\le \left[|f_n(\la)|+M_n(\la)\right]\, w_n(s,\la),\label{i17}
1250: \end{equation}
1251: where, for example, we take
1252: %
1253: \begin{equation}
1254: w_n(s,\la)=\left[(s/\lambda)^{-\lambda}
1255: e^{s-\lambda}\right]^{\sigma_n}.\label{i17a}
1256: \end{equation}
1257: We have $w_n(\la,\la)=1$, that is, for the $s-$value where the dominant part
1258: $s^{a}e^{-z^2s}$ of
1259: the integrand in \pref{i16} assumes its maximal value
1260: when $a$ and $z$ are large. We try to find $M_n(\la)>0$ and
1261: $\sigma_n\ge0$ such that \pref{i17} holds for all $s\ge0$.
1262: Then we obtain the bound
1263: \begin{equation}
1264: |R_n(a,z)|\le \left[|f_n(\la)|+M_n(\la)\right]\, S_n(a,z),\label{i18}
1265: \end{equation}
1266: where
1267: \begin{equation}
1268: S_n(a,z) = a^{\lambda \sigma_n} e^{-\lambda \sigma_n}
1269: \left(1-\frac{\sigma_n}{z^2}\right)^{\lambda\sigma_n-a-\frac12}
1270: \frac{\Gamma(a+\frac12-\lambda\sigma_n)}{\Gamma(a+\frac12)}.\label{i19}
1271: \end{equation}
1272: For $S_n(a,z)$ we need the conditions
1273: \begin{equation}
1274: z^2>\sigma_n,\quad a+\tfrac12>\lambda\sigma_n.
1275: \end{equation}
1276: The quantity $S_n(a,z)$ is close to unity when $a + z$ is large; because
1277: $f_n$ is bounded the value of $\sigma_n$ will be small. Numerical
1278: calculations show that for $\sigma_n=1$ and $z\ge3, a\ge1$ the maximal
1279: value of $S_n(a,z)$ is smaller than $1.062$\,.
1280:
1281: In Figure \ref{fig:fig4} we show the graph of
1282: $(1+5\la)\left[|f_n(\la)|+M_n(\la)\right]\,$ (the factor
1283: $(1+5\la)$ is chosen because of scaling)
1284: when we take $\sigma_1=1$ in
1285: \pref{i17}. We have $M_1(0)=0$, $f_1(0)=-3/8$ and
1286: $f_1(\la)\sim 1/(48\la)$ for large $\la$. We also draw the graph of
1287: \begin{equation} \label{rho1}
1288: \rho_1(\la)= \frac{ |R_1(a,z)|}{\left[|f_1(\la)|+M_1(\la)\right]\, S_1(a,z)},
1289: \end{equation}
1290: the ratio of the exact error and the estimated error. We see a sharp dip
1291: at $\la=8.3176\ldots$, which is a zero of $f_1(\la)$; for this value of
1292: $\la$ the
1293: asymptotic approximation improves, as expected. For large $\la$ the
1294: quantity $\rho_1$ tends to 1.
1295:
1296: We computed $M_1$ in $\left[|f_n(\la)|+M_n(\la)\right]$ as the
1297: $\inf|f_1(s)/w_1(s,\la)|$, $s\ge0$ and this gives a continuous function
1298: $M_1(\la)$, which need not to be smooth.
1299: For example there is a noticeable non-smooth behavior near $\la=11$,
1300: because $\inf|f_1(s)/w_1(s,\la)|$ occurs for $\la<11$ in a different
1301: $s-$domain than for $\la>11$.
1302:
1303: \vspace*{0.5cm}
1304:
1305: %
1306: %
1307: \begin{center}
1308: \epsfxsize=8cm \epsfbox{fig4.ps}\label{fig:fig4}
1309: %\epsfbox[2 515 564 744]{fig4.ps}
1310: %\special{epsf=fig4.ps}
1311: %\centerline{\protect\hbox{\psfig{file=fig4.ps,width=12cm}}}
1312: \vspace*{0.5cm}
1313:
1314: {\bf Figure \ref{fig:fig4}.}\
1315: The graph of $(1+5\la)[|f_1(\la)|+M_1(\la)]$ with
1316: $M_1(\la)$ introduced in \pref{i17}
1317: (with $\sigma_1=1$), and $\rho_1(\la)$ from \pref{rho1}.
1318: \end{center}
1319:
1320: \subsection{Bounding the remainder by using Cauchy-type integrals
1321: }\label{sec:EE:CT}
1322: %
1323: Computing the functions $f_n(s)$ by using formula \pref{i14} is quite
1324: difficult, also when we use computer algebra. The representations contain
1325: derivatives and removable singularities at $s=\la$. In particular the
1326: poles are very inconvenient when computing the functions $f_n(s)$ near
1327: $s=\la$.
1328:
1329: It is possible, however, to represent $f_n(s)$ as a Cauchy-type integral.
1330: The mapping in \pref{i6} is singular at $w=w_-=-1-w_0$, the negative saddle point
1331: of $\phi(w)$ defined in \pref{i50}. The corresponding $s-$value $s_-$ is negative.
1332: If $\la=0$ then $w_-=-1$ and the
1333: corresponding $s-$value is $s_=-\frac12$. See \pref{ii14}, where indeed
1334: $f(s)$ shows a singularity at this point. For large values of $\la$ we
1335: have the estimate (see \cite{Temme:2000:NAP}, formula (4.45))
1336: %
1337: \begin{equation} \label{sm}
1338: s_-=s(w_-)\sim-\la\left[0.2785+\frac{0.4356}{\sqrt{\la}}\right].
1339: \end{equation}
1340:
1341: For constructing the Cauchy-type integrals we use the property that
1342: the functions $f_n(s)$ are
1343: analytic functions in a domain $\D$ in the half plane $\Re s> s_-$; in particular,
1344: $\D$ contains a neighborhood of the positive real axis.
1345:
1346: As in \cite{OldeDaalhuis:1994:UAT}, we start from
1347: %
1348: \begin{equation} \label{q0}
1349: f_n(s)=\frac{1}{2\pi i} \int_{\C} Q_0(\sigma,\la,s) f_n(\sigma)\,d\sigma,
1350: \quad Q_0(\sigma,\la,s) =\frac{1}{\sigma-s},
1351: \end{equation}
1352: where $s\in\D$ and $\C$ is a contour in $\D$ around the point $\sigma=s$,
1353: we obtain by using the recursion \pref{i14}
1354: %
1355: \begin{equation} \label{q1}
1356: f_n(s)=\frac{1}{2\pi i} \int_{\C} Q_1(\sigma,\la,s) f_{n-1}(\sigma)\,d\sigma,
1357: \end{equation}
1358: where $\C$ is a contour in $\D$ around the points $\sigma=\la$ and $\sigma=s$,
1359: and
1360: %
1361: \begin{equation} \label{q2}
1362: Q_1(\sigma,\la,s)=-\frac{1}{2(\sigma-\la)}\left[Q_0
1363: +2\sigma \frac{\partial}{\partial\sigma}Q_0\right]
1364: =\frac{{\sigma+s}}{2(\sigma-\la)(\sigma-s)^2}.
1365: \end{equation}
1366: Continuing this we obtain for $n=0,1,2,\dots$
1367: %
1368: \begin{equation} \label{q3}
1369: f_n(s)=\frac{1}{2\pi i} \int_{\C} Q_n(\sigma,\la,s) f(\sigma)\,d\sigma,
1370: \end{equation}
1371: where $\C$ is a contour in $\D$ around the points $\sigma=\la$ and $\sigma=s$.
1372: The rational functions $Q_n$ follow from the recursion relation
1373: %
1374: \begin{equation} \label{q4}
1375: Q_n=-\frac{1}{2(\sigma-\la)}\left[Q_{n-1}
1376: +2\sigma \frac{\partial}{\partial\sigma}Q_{n-1}\right].
1377: \end{equation}
1378: For example, we have
1379: %
1380: \begin{equation} \label{q5}
1381: Q_2(\sigma,\la,s)= \frac{3\sigma^3-\la\sigma^2-\sigma s^2-\la s^2+
1382: 6\sigma^2s-6\la\sigma s}
1383: {4(\sigma-\la)^3(\sigma-s)^3},
1384: \end{equation}
1385: The coefficients $f_k(\la)$ in \pref{i13} follow from \pref{q3} by
1386: substituting
1387: $s=\la$.
1388:
1389: In order to obtain a bound for $f_n(s)$ with representation in \pref{q3},
1390: we select a special contour. We take for $\C$ the vertical line
1391: $\Re\sigma=-\sigma_0$, where $\sigma_0>0$. First we write the quantities
1392: $Q_n$ in a special form:
1393: %
1394: \begin{equation} \label{q6}
1395: Q_1(\sigma,\la,s)=\frac{{2\la-p+2q}}{2\,p^2\,q}=
1396: \frac{\la}{p^2\,q}-\frac{1}{2\,p\,q}+\frac{1}{p^2},
1397: \end{equation}
1398: where
1399: %
1400: \begin{equation} \label{q7}
1401: p=\sigma-s,\quad q=\sigma-\la.
1402: \end{equation}
1403: Similarly,
1404: %
1405: \begin{equation} \label{q8}
1406: Q_2(\sigma,\la,s)=\frac{8\la^2q+16\la q^2+8q^3+4p\la^2-4pq^2-2\la p^2-p^2q}
1407: {4\,p^3\,q^3},
1408: \end{equation}
1409: which also can be written as a sum of partial fractions in which $\sigma$
1410: occurs only in the denominator.
1411:
1412: For $\sigma\in\C$, we write $\sigma=-\sigma_0+i\tau$, $\tau\in\RR$.
1413: For $s\ge 0$ and $\la\ge0$, we have
1414: %
1415: \begin{equation} \label{q9}
1416: |p|\ge|\sigma|=\sqrt{\sigma_0^2+\tau^2},\quad |q|\ge |\la+\sigma_0+i\tau|\ge
1417: \sqrt{\sigma_0^2+\tau^2}.
1418: \end{equation}
1419: This gives for $Q_1$ the bound
1420: %
1421: \begin{equation} \label{q10}
1422: |Q_1(\sigma,\la,s)|\le \frac{\la}{(\sigma_0^2+\tau^2)^{3/2}}
1423: +\frac3{2(\sigma_0^2+\tau^2)}.
1424: \end{equation}
1425: We also need a bound of $f(s)$ for $s\in\C$ (we know that this function
1426: is bounded on $\C$, see beginning of Section \ref{sec:EE:BR}. Let
1427: \begin{equation} \label{q11}
1428: M(\sigma_0,\la)=\max_{s\in\C} |f(s)|.
1429: \end{equation}
1430: This gives
1431: for the remainder defined in \pref{i16} the upper bound
1432: %
1433: \begin{equation} \label{q12}
1434: |R_1(a,z)|\le
1435: M(\sigma_0,\la)\,\frac{4\la+3\pi\sigma_0}{4\pi\sigma_0^2}.
1436: \end{equation}
1437: Similarly,
1438: \begin{equation} \label{q13}
1439: |Q_2(\sigma,\la,s)|\le
1440: \frac{3\la^2}{2(\sigma_0^2+\tau^2)^{5/2}}+
1441: \frac{11\la}{4(\sigma_0^2+\tau^2)^{2}}+
1442: \frac{13}{8(\sigma_0^2+\tau^2)^{3/2}},
1443: \end{equation}
1444: %
1445: \begin{equation} \label{q14}
1446: |R_2(a,z)|\le
1447: M(\sigma_0,\la)\,\frac{9\la^2+11\pi\la\sigma_0+26\sigma_0^2}{16\pi\sigma_0^4},
1448: \end{equation}
1449:
1450: \begin{equation} \label{q15}
1451: |Q_3(\sigma,\la,s)|\le
1452: \frac{15\la^3}{(\sigma_0^2+\tau^2)^{7/2}}+
1453: \frac{61\la^2}{2(\sigma_0^2+\tau^2)^{3}}+
1454: \frac{43\la}{2(\sigma_0^2+\tau^2)^{5/2}}+
1455: \frac{81}{8(\sigma_0^2+\tau^2)^{2}},
1456: \end{equation}
1457: %
1458: \begin{equation} \label{q16}
1459: |R_3(a,z)|\le
1460: M(\sigma_0,\la)\,\frac{768\la^3+549\pi\la^2\sigma_0+
1461: 1376\la\sigma_0^2+243\pi\sigma_0^3}
1462: { 96\pi\sigma_0^6}.
1463: \end{equation}
1464:
1465: The singularity $s_-$ estimated in \pref{sm} is of order $\bo(\la)$, and
1466: it follows that $\sigma_0$ can also be taken of order $\bo(\la)$. When we
1467: choose $\sigma_0$ in this way,
1468: the quantities $Q_n$, for this choice of $\C$,
1469: are of order $\bo(1/\la^{n+1})$ as $\la\to\infty$, and the remainders are
1470: of order $\bo(1/\la^{n})$. The coefficients $f_k(\la)$ also are of
1471: order $\bo(1/\la^{n})$. This follows from \pref{i144} and properties of
1472: $\phi_k(\wt \tau)$.
1473:
1474: In the above method the estimates of higher $Q_n$ are quite easy to obtain;
1475: only the estimate of $|f(s)|$ is needed for obtaining
1476: bounds of $R_n(z,a)$. From numerical verifications
1477: we conclude that $|f(s)|$ is maximal on $\C$ at $s=-\sigma_0$,
1478: that is, we can take $M(\sigma_0,\la)=|f(-\sigma_0)|$.
1479: Also we conclude that the bounds for the remainders obtained with this method
1480: are less realistic than those obtained by the other methods, unless $\la $
1481: is becomes large.
1482:
1483:
1484:
1485:
1486:
1487:
1488: \section{Numerical aspects}
1489: For computing the numerical upper bounds of the
1490: remainders in the expansion we used computer algebra for
1491: manipulating the formulas. This became already quite complicated,
1492: although we didn't consider complex parameters so far. It was necessary to
1493: develop new algorithms for the parabolic cylinder functions, because
1494: for certain cases we needed accurate values of the asymptotic expansions
1495: and the function $U(a,x)$ for computing values of the remainders in the
1496: expansion.
1497:
1498: For example, for computing $\wt R_{n}(\mu,t)$ of \pref{eq:UE.D8} for $n=3$,
1499: $a=100$ and $t=50$ (which corresponds with $x=1000$), the values of
1500: $\wt F_{\mu}(t)$ and the asymptotic series in \pref{eq:UE.D8} (with $n=3$)
1501: are
1502: $$0.99999962523819834461, \quad 0.99999962523819834799,$$
1503: respectively, with 17 corresponding digits.
1504: We have computed these values with Digits = 30 (in Maple), and
1505: developed algorithms with
1506: adjustable precision, based on quadrature methods. We will present these
1507: Maple codes for computing the function $U(a,x)$ for real parameters
1508: on the web site of our project
1509: ({\tt http://turing.wins.uva.nl/~thk/specfun/compalg.html}).
1510: Fortran versions of these codes
1511: will be developed in a different project.
1512: \newpage
1513: \bibliographystyle{plain}
1514: \bibliography{pcf}
1515: \end{document}
1516:
1517: