On bounds for solutions of monotonic first order difference-differential systems
- Javier Segura^{1}Email author
https://doi.org/10.1186/1029-242X-2012-65
© Segura; licensee Springer. 2012
Received: 30 September 2011
Accepted: 16 March 2012
Published: 16 March 2012
Abstract
Many special functions are solutions of first order linear systems ${y}_{n}^{\prime}\left(x\right)={a}_{n}\left(x\right){y}_{n}\left(x\right)+{d}_{n}\left(x\right){y}_{n-1}\left(x\right),{y}_{n-1}^{\prime}\left(x\right),={b}_{n}\left(x\right){y}_{n-1}\left(x\right)+{e}_{n}\left(x\right){y}_{n}\left(x\right)$. We obtain bounds for the ratios y_{ n }(x)/y_{ n }_{-1}(x) and the logarithmic derivatives of y_{ n }(x) for solutions of monotonic systems satisfying certain initial conditions. For the case d_{ n }(x)e_{ n }(x) > 0, sequences of upper and lower bounds can be obtained by iterating the recurrence relation; for minimal solutions of the recurrence these are convergent sequences. The bounds are related to the Liouville-Green approximation for the associated second order ODEs as well as to the asymptotic behavior of the associated three-term recurrence relation as n → +∞; the bounds are sharp both as a function of n and x. Many special functions are amenable to this analysis, and we give several examples of application: modified Bessel functions, parabolic cylinder functions, Legendre functions of imaginary variable and Laguerre functions. New Turán-type inequalities are established from the function ratio bounds. Bounds for monotonic systems with d_{ n }(x)e_{ n }(x) < 0 are also given, in particular for Hermite and Laguerre polynomials of real positive variable; in that case the bounds can be used for bounding the monotonic region (and then the extreme zeros).
Mathematics Subject Classification 2000: 33CXX; 26D20; 34C11; 34C10; 39A06.
Keywords
1 Introduction
For the particular case of modified Bessel functions sharp bounds for function ratios y_{ n }(x)/y_{ n }_{-1}(x) and logarithmic derivatives ${y}_{n}^{\prime}\left(x\right)/{y}_{n}\left(x\right)$, as well as Turán-type inequalities were recently obtained in [1]; the key ingredient in the analysis was the study of the qualitative behavior of the solutions of the Riccati equation satisfied by h_{ n }(x) = y_{ n }(x)/y_{ n- }_{1}(x), together with the application of the three-term recurrence relation.
has two distinct real roots ${\lambda}_{n}^{\pm}\left(x\right)$. This case corresponds to monotonic systems, with solutions which have one zero at most. As we will see, if the functions ${\lambda}_{n}^{\pm}\left(x\right)$ are monotonic, they are bounds for the ratios h_{ n }(x) satisfying certain initial value conditions.
The methods can be applied to many special functions, modified Bessel functions, parabolic cylinder functions, Legendre and Laguerre functions among them. Ratios of Bessel functions appear in a great number of applications, particularly as parameters of certain probability distributions (see, for instance, the examples mentioned in [1]). Parabolic cylinder ratios appear in the study of Ornstein-Uhlenbeck processes (see, for instance [2]), and other special function ratios (Whittaker, Legendre, Gauss hypergeometric functions) play similar roles as well [3–5]. In all these applications, a common characteristic is that the functions are real and the variables lie inside a monotonic region (region free of zeros). These are precisely the conditions under which our techniques can be applied.
In addition to direct applications in several areas, particularly in statistics and stochastic processes, the bounds on function ratios have implications in the construction of numerical algorithms. These techniques provide bounds for the region of computable parameters of a given function within the overflow and underflow limitations, and they also provide bounds for the condition numbers of the functions (see Section 4.1.2 for the case of parabolic cylinder functions). Additionally, as discussed for the particular case of modified Bessel functions [1], the bounds are useful for accelerating the convergence of certain continued fraction representations which are used in numerical algorithms; for instance, the algorithms in [6, 7] could be improved by using the bounds of Sections 4.1.2 and 4.1.3 for accelerating the convergence.
We obtain upper and lower bounds for function ratios and logarithmic derivatives of the solutions of systems (1) with d_{ n }(x)e_{ n }(x) > 0. The bounds are accurate for large values of the variable x and the parameter n. This is a consequence of the connection between the bounds, the Liouville-Green approximation for the associated second order ODE and the asymptotic behavior of the associated three-term recurrence relation. We also give two examples of applications of the methods for the case d_{ n }(x)e_{ n }(x) < 0 (Section 4.2) and use these results for bounding function ratios for Laguerre and Hermite polynomials in the real axis (but outside the oscillatory region). These bounds can be used for bounding the oscillatory region and, therefore, for bounding the extreme zeros.
The structure of the paper is as follows. In Section 2 we analyze the conditions which guarantee that the roots of (3) are bounds for the ratios y_{ n }(x)/y_{ n- }_{1}(x). The dependence on n is analyzed in Section 3. The use of the three-term recurrence relation allows us to obtain sequences of upper and lower bounds in the case d_{ n }(x)e_{ n }(x) > 0; Turán-type inequalities are also established, as well as bounds on the logarithmic derivatives. In Section 4 the techniques are applied to parabolic cylinder, Legendre and Laguerre functions. Examples for the cases d_{ n }(x)e_{ n }(x) > 0 and d_{ n }(x)e_{ n }(x) < 0 are provided.
2 Qualitative behavior of riccati equations
The label n, which is common for h and the coefficients a, b, d and e, has been dropped in (4) for simplicity. The analysis in this section is valid for any system, depending or not on a parameter n. The explicit dependence on n will be recovered in the next section.
We consider the case with real roots λ^{±}(x). Two distinct situations may occur: either d(x)e(x) > 0, or d(x)e(x) < 0 but |η(x)| > 1.
The condition d(x)e(x) > 0 generally holds in the whole maximal interval of continuity of the functions because the coefficients d(x) and e(x) do not change sign under very general conditions (see, for instance, [[8], Lemma 2.1]). Contrarily, when d(x)e(x) < 0 the condition |η(x)| > 1 may hold only for a limited range of the variable x. In the first case (d(x)e(x) > 0) h(x) may have one zero or one singularity, but not both ([[8], lemma 2.4]), while in the second h(x) may have both a zero and a singularity [[9], Theorem 2.1]. We analyze the case d(x)e(x) > 0, assuming that no change of sign of h(x) occurs. For the case d(x)e(x) < 0, as the examples in Section 4.2 will show, similar arguments can be applied.
In the sequel, we consider d(x)e(x) > 0. Without loss of generality, we take d(x) > 0, e(x) > 0 and then λ^{+}(x) > 0 and λ^{-}(x) < 0; if d(x) < 0, e(x) < 0 we can consider the replacement y → -y or w → -w. In the next results, (a, b) is an interval where h(x) and the coefficients of the system are differentiable; a or b could be + ∞ or -∞. Depending on the value of h(x) at a^{ + } or b^{ - } different bounds can be established. First we consider h(a^{ + }) > 0. We enunciate three results and give a common proof.
Lemma 1. If h(a^{ + }) > 0 then h(x) > 0 in (a, b)
Theorem 1. If h(a^{ + }) > 0, λ^{+}(x) is monotonic and h'(a^{ + })λ^{+'}(a^{ + }) > 0 then (h(x) - λ^{+}(x))λ^{+'}(x) < 0 in (a, b).
Theorem 2. If h(a^{ + }) > 0, λ^{+}(x) is monotonic and h'(a^{ + })λ^{+'}(a+) < 0 then either h(x) reaches one relative extremum at x_{ e } ∈ (a, b) (a minimum if λ^{+'}(x) > 0 and a maximum if λ^{+'}(x) < 0) or (h(x) - λ_{+}(x)) λ^{+'}(x) > 0 in (a, b).
Proof. If h(a^{ + }) > 0, then h(x) can not change sign continuously: it can not become zero because h'(x) > 0 if 0 ≤ h(x) < λ^{+}(x). On the other hand, it can not change sign discontinuously; for this, starting with h(a^{ + }) > 0, a value x_{ ∞ } ∈ (a, b) should exist such that $h\left({x}_{\infty}^{-}\right)=+\infty $ but this is not possible because h'(x) < 0 if h(x) > λ^{+}(x).
Now, we consider that λ^{+}(x) is monotonic. We take the case λ^{+'}(x) > 0; the case λ^{+'}(x) < 0 is analogous.
Assume first that h'(a^{ + }) > 0; using (4) this means that 0 < h(a^{ + }) < λ^{+}(a^{+}). And then, necessarily h(x) < λ^{+}(x) in (a, b). Indeed, because λ^{+}(x) is monotonically increasing and the graph of h(x) is below the graph of λ^{+}(x) close to x = a, the graph of h(x) may touch the graph of λ^{+}(x) at x = x_{ e } only if the first one has a larger slope at x_{ e }, that is, if h'(x_{ e }) > λ^{+'}(x_{ e }) > 0; but if h(x_{ e }) = λ_{+}(x_{ e }) then h'(x_{ e }) = 0.
Assume now that h'(a^{ + }) < 0. The graph of h(x) lies above the graph of λ^{+}(x) close to x = a and there are two possibilities: either it remains above λ^{+}(x) in all the interval or there is a point x_{ e } ∈ (a, b) where h(x_{ e }) = λ^{+}(x_{ e }) and h'(x_{ e }) = 0. The graph of h(x) crosses the graph of λ^{+}(x), which is an increasing function, and h'(x) > 0 for all x > x_{ e }. Therefore there is a minimum at x_{ e }.
If, differently from Theorems 1 and 2, we have h(a^{ + }) < 0 then h(x) may change sign once. But if it does not change sign and h(b^{-}) < 0 we are in the previous situation. Indeed, with the change of variable x → -x and the change of function w(x) → -w(x), we have that the new ratio of functions $\stackrel{\u0303}{h}\left(x\right)=-y\left(-x\right)/w\left(-x\right)$ is such that $\stackrel{\u0303}{h}\left({\alpha}^{+}\right)>0$ and the previous results hold in the interval [α, β] = [-b, -a]. Then, we can write a common result for both cases. We only give the result corresponding to Theorem 1.
3 Bounds for first order DDEs
As in the previous section, we assume d_{ n }(x)e_{ n }(x) > 0.
If ${\stackrel{\u0304}{\eta}}_{n}>0$ the minimal solution is ${y}_{n}^{\left(1\right)}$ and ${y}_{n}^{\left(2\right)}$ is dominant, and therefore $\underset{n\to +\infty}{\text{lim}}{y}_{n}^{\left(1\right)}/{y}_{n}^{\left(2\right)}=0$ If η_{ n } < 0 the roles are reversed. In both cases we have, for sufficiently large n, ${y}_{n+1}^{\left(1\right)}{y}_{n}^{\left(1\right)}>0$ and ${y}_{n+1}^{\left(2\right)}{y}_{n}^{\left(2\right)}<0$.
Remark 2. The minimal solution satisfies ${\stackrel{\u0304}{\eta}}_{n}{y}_{n}/{y}_{n-1}>0$ for large n, while the dominant solutions are such that ${\stackrel{\u0304}{\eta}}_{n}{y}_{n}/{y}_{n-1}<0$ for large n.
As we have shown in the previous section, when ${\lambda}_{n}^{\pm}\left(x\right)$ are monotonic they provide bounds for some solutions. On the other hand, if $\underset{n\to +\infty}{\text{lim}}{\stackrel{\u0304}{\lambda}}_{n}^{\pm}/{\lambda}_{n}^{\pm}=1$ the function ratios have these bounds as limits. This explains why the bounds (10) tend to be sharper as n becomes larger. Because of this, we refer to these bounds as Perron-Kreuser bounds.
In Section 3.2 we will obtain additional upper and lower sharp bounds starting from the bounds of Theorem 1 and using the three-term recurrence.
Before this, it is important to stress that for the Perron-Kreuser bounds to hold, it is crucial that the characteristic roots are monotonic as a function of x. This, however, is a quite general situation, as we next see.
3.1 Monotonicity of the characteristic roots
The next result relates the monotonicity properties of the characteristic roots with the monotonicity properties as a function of n.
Theorem 4. Let y_{ k }(x), k = n, n - 1, be solutions of second order ODEs ${y}_{k}^{\prime \prime}\left(x\right)+{B}_{k}\left(x\right){y}_{k}^{\prime}\left(x\right)+{A}_{k}\left(x\right){y}_{k}\left(x\right)=0$, with A_{ k }(x), B_{ k }(x) continuous in (a, b) and B_{ n }(x) = B_{ n- }_{1}(x). Assume that y_{ n }(x) and y_{ n }_{-1}(x) satisfy a system (1) with d_{ n }(x)e_{ n }(x) > 0 and differentiable coefficients. Then, e_{ n }(x)/d_{ n }(x) is constant as a function of x, and if A_{ n }(x) ≠ A_{ n- }_{1}(x) the characteristic roots ${\lambda}_{n}^{\pm}\left(x\right)$ (10) are monotonic in (a, b). Furthermore, $d{\lambda}_{n}^{\pm}\left(x\right)/dx$ has the same sign as A_{ n- }_{1}(x) - A_{ n }(x) and $-{\eta}_{n}^{\prime}\left(x\right)$.
Now, because we are assuming that B_{ n }(x) = B_{ n- }_{1}(x) the first equation implies that d_{ n }(x)/e_{ n }(x) does not depend on x. Therefore, from the expression of the characteristic roots (8) we see that $d{\lambda}_{n}^{\pm}\left(x\right)/dx$ has the same sign as $-{\eta}_{n}^{\prime}\left(x\right)$. All that remains to be proved is that A_{ n }(x) - A_{ n- }_{1}(x) has the same sign as ${\eta}_{n}^{\prime}\left(x\right)$. But considering the second equation of (12) and using that ${d}_{n}^{\prime}\left(x\right)/{d}_{n}\left(x\right)={e}_{n}^{\prime}\left(x\right)/{e}_{n}\left(x\right)$ one readily sees that ${A}_{n}\left(x\right)-{A}_{n-1}\left(x\right)=2\sqrt{{d}_{n}\left(x\right){e}_{n}\left(x\right)}{\eta}_{n}^{\prime}\left(x\right)$, which proves the theorem.
Remark 3. If e_{ n }(x)d_{ n }(x) < 0 and η_{ n }(x)^{2} > 1, it is also true that both roots are monotonic if B_{ n }(x) = B_{ n- }_{1}(x) and A_{ n }(x) ≠ A_{ n- }_{1}(x), but ${\lambda}_{n}^{+}\left(x\right){\lambda}_{n}^{-}\left(x\right)>0$ and ${\lambda}_{n}^{+\prime}\left(x\right){\lambda}_{n}^{-\prime}\left(x\right)<0$ in this case.
The case described in Theorem 4 is, for instance, the situation for Bessel functions, parabolic cylinder functions and the classical orthogonal polynomials when n is the degree of the polynomials.
3.2 Perron-kreuser bounds
In the following, we assume that η_{ n }(x), ${\stackrel{\u0304}{\eta}}_{n}\left(x\right)$, d_{ n }(x), e_{ n }(x) and h_{ n }(x) = y_{ n }(x)/y_{ n- }_{1}(x) do not change sign for large enough n (say n ≥ n_{0}). Notice that the sign condition for h_{ n }(x) is satisfied for large enough n when Perron-Kreuser theorem holds. An immediate application of Theorem 3 gives:
For minimal solutions we have that ${\stackrel{\u0304}{\eta}}_{n}\left(x\right){y}_{n}\left(x\right)/{y}_{n-1}\left(x\right)>0$ for large n. By substituting in the previous equation y_{ n+ }_{1}(x)/y_{ n }(x) by a lower (upper) bound we get an upper (lower) bound for y_{ n }(x)/y_{ n }_{-1}(x). The process can be iterated to produce sequences of lower and upper bounds. We only give the first iteration.
${D}_{n}=\sqrt{{d}_{n}/{d}_{n+1}}$ E_{ n }, R_{ n } and ${\stackrel{\u0304}{\eta}}_{n}$ given by (8) and η_{ n } by (10).
The second superscript of the notation ${S}_{n}^{s+}$ stands for the sign of ${\stackrel{\u0304}{\eta}}_{n}{y}_{n}/{y}_{n-1}$.
Notice that Theorem 6 may be true for n = n_{0} - 1 too, because Theorem 5 is used in the proof with the shift n → n + 1.
The similarity of the second expression of (14) with (17) indicates that for coefficients of algebraic growth we will generally have $\underset{n\to +\infty}{\text{lim}}{F}_{n}^{s}/{S}_{n}^{s+}=1$.
Further iterations are possible and this gives a convergent sequence of upper and lower bounds under the conditions of Theorems 5 and 6 and provided that Perron-Kreuser theorem holds (which implies that the recurrence admits a minimal solutions). We don't prove this result, but the convergence of the sequence of bounds for the minimal solution follows immediately by using the same arguments considered in [1] for the case of Modified Bessel functions of the first kind.
Differently from the case of minimal solutions, the sequence of bounds is not a convergent sequence. We give an explicit formula for the first iteration:
Notice that the previous theorem can only be guaranteed to be true for n = n_{0} + 1, because Theorem 5 is used in the proof with the shift n → n - 1.
The similarity of the first expression in (14) with (20) is clear. For coefficients of algebraic growth we will generally have lim_{n→+∞} $\underset{n\to +\infty}{\text{lim}}{F}_{n}^{s}/{S}_{n}^{s-}=1$.
3.3 Turán-type inequalities
Turán-type properties for special functions have received a considerable attention in recent years; just to cite five different groups of researchers, we mention [1, 11–14] (see also references cited therein). Turán-type inequalities can be obtained from the bounds on function ratios.
where l_{ n } = min_{ x }{L_{ n }(x)} and u_{ n } = max_{ x }{U_{ n }(x)}. Many new Turán-type inequalities are found in Section 4 by using this simple idea.
3.4 Bounds of liouville-green type
Using the difference-differential system (1) and the Perron-Kreuser bounds, bounds on the logarithmic derivatives can be established. We give the bounds obtained from the first Perron-Kreuser bound.
If $d{\lambda}_{n}^{s}/dx<0$ the inequalities are reversed
Two consequences follow. First, we observe that the ratios ${y}_{k}^{\prime}\left(x\right)/{y}_{k}\left(x\right)$ are monotonic as a function of the discrete variable k. Second, because we are assuming that the shift n → n + 1 is possible, we have both an upper and a lower bound for ${y}_{n}^{\prime}/{y}_{n}$. Upper and lower bounds could also be obtained by considering both the first and second Perron-Kreuser bounds.
In the examples we will see that these bounds, after integrating the logarithmic derivative, are related to the Liouville-Green approximation for solutions of second order ODEs. In fact, using this analysis and by Liouville-transforming the first order system associated to the ODE y″(x) + A(x)y(x) = 0, conditions can be established under which the LG approximation for the solutions of the ODE y″(x) + A(x)y(x) = 0 are bounds for some of the solutions. We leave this analysis for a future article.
4 Applications
We give a number of examples of application of the techniques described in the article. We focus on the case d_{ n }(x)e_{ n }(x) > 0, but examples of application for monotonic systems with d_{ n }(x)e_{ n }(x) < 0 are also given.
4.1 Cases with d_{ n }(x)e_{ n }(x) > 0
We analyze three families of functions, which have as particular cases some classical orthogonal polynomials outside the interval of orthogonality In all cases Theorem 4 holds, with the exception of Laguerre functions of negative argument. In this case Theorem 4 can not be applied but the characteristic roots are still monotonic and the same analysis is therefore possible. Some monotonicity properties for the determinants of some of the functions analyzed were considered in [15].
4.1.1 Modified bessel functions
These are solutions of x^{ 2 }y″ + xy' - (x^{2} + ν^{2})y = 0. This was the case considered in detail in [1], and most of the results obtained in that paper are direct consequences of the more general results of the present one.
4.1.2 Parabolic cylinder functions
The parabolic cylinder function U(n, x) is a solution of the differential equation y″(x) - (x^{2}/4 + n)y(x) = 0, with coefficient A(x) = - (x^{2}/4 + n) depending monotonically on the parameter n (Theorem 4 holds).
From [[16], 12.9.1] we have h_{ n }(+∞) = 0^{-} and ${h}_{n}^{\prime}\left(+\infty \right)={0}^{+}$ and because ${\lambda}_{n}^{-}\left(+\infty \right)={0}^{+}$ then Theorem 3 holds, as well as Theorems 5 and 6. Therefore
The lower bound also holds if n ∈ (-1/2,1/2) and it turns to an equality if n = -1/2.
is a lower (upper) bound for the same ratio. The process can be continued as m → + ∞ and the sequence is convergent (because U(n, x) is minimal).
Now, consider y_{ n }(x) = U(n, -x), which is also solution of (23). Using the values of U(n, 0) and U'(n, 0) [[16], 12.2.6-7] it is easy to prove that h_{ n }(0^{+}) > 0, ${h}_{n}^{\prime}\left({0}^{+}\right)>0$, n > 1/2, x ≥ 0 and then ${h}_{n}^{\prime}\left({0}^{+}\right)d{\lambda}_{n}^{+}\left({0}^{+}\right)/dx>0$ and Theorem 1 holds. The corresponding Perron-Kreuser bounds (Theorems 5 and 7), give:
The upper bound is also valid if n ∈ (1/2, 3/2).
The upper bound in (25) has the same expression as (27) but with x replaced by -x.
Therefore:
Remark 4. Theorems 9 and 10 hold for all real x, but for x < 0 the lower bound of Theorem 9 only holds for all x < 0 if n > 1/2. The lower bounds are sharper when x > 0.
The following Turán-type inequalities are obtained from Theorems 9 and 10:
The first inequality holds for n > 3/2 and the rest for n > 1/2. For x < 0 the third inequality also holds if n ∈ (-1/2, 1/2).
Finally, considering Theorem 8 and writing together the results for U(n, x) and U(n, -x) we have the next result.
The left inequality also holds for n > -1/2.
These type of bounds are useful for studying the attainable accuracy of methods for computing the functions. In [17], the following estimation for large x and/or n was
and similarly for V(a, x). The bounds (29) prove that this a good estimation because it lies between the upper and lower bounds. From the previous discussion on the V(a, x) function, one can prove that similar bounds are valid for moderate x (x > 1 is enough); we consider later this function.
The bounds (32) are useful for obtaining the range of parameters for which function values are computable within the arithmetic capabilities of a computer (overflow and underflow limits). These results confirms the estimations based on the Liouville-Green approximation used in [18].
These inequalities appear in [19].
Theorem 9 also gives bounds on Mill's ratio (n = 1/2). From the lower bound in Theorem (9) and the upper bound obtained by iterating with (26) we have
The lower bound was obtained in [20] and the upper bound in [21]. In our case, these results follow from a more general result. See also [22] for an alternative proof.
Further iterations (see (26)) give additional sharper bounds:
where, as usual we denote $\frac{1}{a+}\frac{1}{b+}\cdots =1/\left(a+1/\left(b+\cdots \phantom{\rule{0.3em}{0ex}}\right)\right)$
° Hermite polynomials of imaginary variable: A similar analysis to that for U(n, -x) can be carried for the PCF V(n, x). Indeed, y_{ n }(x) = V(n, x)/Γ(n + 1/2) is a solution of (23) and h_{ n }(x) = y_{ n }(x)/y_{ n }_{-1}(x) is such that h_{ n }(0^{+}) > 0. Two situations take place depending on the values of n. First, if n ∈ (2k - 1, 2k), k ∈ ℕ, then ${h}_{n}^{\prime}\left({0}^{+}\right)>0$ the upper bound of Theorem 10 holds for all x > 0 while the lower bound will hold for n ∈ (2k, 2k + 1). Contrarily, if n ∈ (2k, 2k + 1) then ${h}_{n}^{\prime}\left({0}^{+}\right)<0$, while h_{ n }(+∞) > 0, and the upper bound only holds for large enough x; a similar situation occurs with the lower bound when n ∈ (2k - 1, 2k).
We only consider the first case. Using the relation of V(n + 1/2,x), n ∈ ℕ, with Hermite polynomials [[16], 12.7.3] we get:
Hermite polynomials of imaginary argument were also considered in [15]. The well-known Turàn-type inequality for Hermite polynomials [23] H_{ n }(x)^{2} - H_{ n- }_{1}(x)H_{ n+ }_{1}(x) > 0, x ∈ ℝ, does not hold on the imaginary axis, but a similar property ${H}_{n}{\left(ix\right)}^{2}-\sqrt{\left(n-1\right)/\left(n+1\right)}{H}_{n-1}\left(ix\right){H}_{n+1}\left(ix\right)>0$ holds true for all x > 0 if n is even.
4.1.3 Oblate legendre functions
and ${q}_{n}\left(x\right)={Q}_{n}^{m}\left(ix\right)$, ${Q}_{n}^{m}$ being the second kind Legendre function, satisfies the same system. We consider n > m and x > 0. This is again an example for which Theorem 4 holds. The roles played in this case by the functions ${Q}_{n}^{m}\left(ix\right)$ and ${P}_{n}^{m}\left(ix\right)$ are very similar to the roles of U(n, x) and V(n, x) in the previous section. We omit details and only summarize the main results.
For m = 0 we have Legendre polynomials. If n is odd, we have P_{ n }(ix)^{2} < 0 and therefore P_{ n }(ix)^{2} - (1 + 1/n)P_{ n }_{-1}(ix)P_{ n }_{+1}(ix) > 0. It appears, as numerical experiments show, that in this case the same Turán inequality that holds in the real interval (-1,1) [24] also holds in the imaginary axis if n is odd: P_{ n }(ix)^{2} - P_{ n- }_{1}(ix)P_{ n+ }_{1}(ix) > 0; the same is not true if m ≠ 0.
4.1.4 Laguerre functions of negative argument
Next we consider an example for which Theorem 4 can not be applied but the analysis is possible because the characteristic roots are monotonic.
Considering [[25], Theorem 2] it follows that y_{ v,α } is a dominant solution of the recurrence (52) in the direction of increasing ν (and decreasing α).
With h(x) = y_{ ν }_{,α}(x)/y_{ v+ }_{1,α-1}(x), the positive characteristic root λ^{+}(x) of the associated Riccati equation turns out to be increasing if ν > -1 and α > 0. On the other hand, it is easy to check that for these values h(0^{ + }) > 0 and h'(0^{ + }) > 0. Theorem 1 holds and λ^{+}(x) is a bound:
and from this we obtain the second Perron-Kreuser bound:
And from these bounds we get the following Turán-type inequalities:
A second independent solution of (51) which is a minimal solution of (52) as ν → +∞ follows from [[25], Theorem 2]. Bounds can be also obtained for this solution. We omit the details.
and upper and lower bounds for ${L}_{n}^{\alpha}\left(-x\right)/{L}_{n-1}^{\alpha}\left(-x\right)$ follow from the previous results. As a consequence of this new bounds, one can prove the following
where the first inequality holds for ν > 0, α > -1 and the second for ν > 0, ν + α > 1.
For positive x, it is known that ${L}_{n-1}^{\alpha}\left(x\right){L}_{n+1}^{\alpha}\left(x\right)/{L}_{n}^{\alpha}{\left(x\right)}^{2}<1$ [23]. For negative argument we have an upper bound greater that 1, which suggests that the Turán-type inequality for positive x does not hold for negative x, as numerical experiments show.
4.2 Two examples with d_{ n }(x)e_{ n }(x) < 0
The DDEs corresponding to a pair {p_{ n }(x),p_{ n }_{-1}(x)} of classical orthogonal polynomials satisfy d_{ n }(x)e_{ n }(x) < 0 in their interval of orthogonality because this is a necessary condition for oscillation [[8], Lemma 2.4]. However, for values of the variable for which the polynomials are free of zeros, one can expect that η_{ n }(x)^{2} > 1 and that the DDE becomes monotonic (η_{ n }(x)^{2} < 1 is also a necessary condition for oscillation [[9], Theorem. 2.1]). This is the case of Laguerre and Hermite polynomials for large enough x > 0. We consider these two examples.
4.2.1 Hermite polynomials
This improves Eq. (61) and enlarges the range of validity of the bound with respect to x, but reduces the range of validity with respect to n (n ≥ 2).
Because the largest zero of H_{ n }(x) is larger than that of H_{ n- }_{1}(x), Eq. (64) implies that the largest zero of H_{ n }(x) is smaller than $\sqrt{2\left(n-2\right)}$, n ≥ 3.
and if $G(n,\sqrt{2(n-3))}>0$ then G(n, x) > 0 if $x>\sqrt{2\left(n-3\right)}$, and the largest zero will be smaller than $\sqrt{2\left(n-3\right)}$; this condition is met if n ≥ 7. A sharper bound has recently appeared in the literature [26] valid for all n. However, our result is sharper than previous results, like for instance those in [27], which is interesting given the simplicity of the analysis. This reflects the fact that the bounds on function ratios (our main topic) are sharp.
4.2.2 Laguerre polynomials
This proves that the largest zero of ${L}_{n}^{\alpha}\left(x\right)$ is smaller than ${x}^{*}=2n+\alpha -2+\sqrt{\left(n-1\right)\left(n-1+\alpha \right)}$, provided that f(x*) > 0, which is true if α > (n - 1)^{-1} - (n - 1), n ≥ 2; notice that values α < -1 are allowed for large enough n. The bound in [28] is slightly sharper, and it is improved in [26].
x* is an upper bound for the largest zero provided that g(x*) > 0. This condition is met for a larger range of values of α as n becomes larger. For n ≥ 10, this holds for any α > -1. The bound (68) is of more limited validity in terms of n but numerical experiments show that it is sharper than the bound in [26] for α ≤ 12
We expect that lower bounds for the smallest zero can be also obtained with a similar analysis.
The main message, as before, is that the bounds on function ratios are sharp for large x because they give the correct asymptotic behavior as x → +∞, but also for moderate x given the sharpness of the bounds on the largest zero.
Declarations
Acknowledgements
This study was supported by the Ministerio de Ciencia e Innovación, project MTM2009-11686. The author thanks the two anonymous referees for helpful comments.
Authors’ Affiliations
References
- Segura J: Bounds for ratios of modified bessel functions and associated Turán-type inequalities. J Math Anal Appl 2011, 374: 516–528. 10.1016/j.jmaa.2010.09.030MathSciNetView ArticleMATHGoogle Scholar
- Alili L, Patie P, Pedersen JL: Representations of the first hitting time density of an Ornstein-Uhlenbeck process. Stochastic Models 2005, 21: 967–980. 10.1080/15326340500294702MathSciNetView ArticleMATHGoogle Scholar
- Borodin AN: Hypergeometric diffusion. J Math Sci 2009, 159(3):295–304. 10.1007/s10958-009-9440-0MathSciNetView ArticleMATHGoogle Scholar
- Boucekkine R, Ruiz-Tamarit JR: Special functions for the study of economic dynamics: the case of the Lucas-Uzawa model. J Math Eco 2008, 44: 33–54. 10.1016/j.jmateco.2007.05.001MathSciNetView ArticleMATHGoogle Scholar
- Antal T, Krapivsky PL: Exact solution of a two-type branching process: models of tumor progression. J Stat Mech 2011, 2011: P08018. 10.1088/1742-5468/2011/08/P08018View ArticleGoogle Scholar
- Gil A, Segura J: A code to evaluate prolate and oblate spheroidal harmonics. Comput Phys Commun 1998, 108(2–3):267–278. 10.1016/S0010-4655(97)00126-4MathSciNetView ArticleMATHGoogle Scholar
- Segura J, Gil A: Parabolic cylinder functions of integer and half-integer orders for nonnegative arguments. Comput Phys Comm 1998, 115(1):69–86. 10.1016/S0010-4655(98)00097-6MathSciNetView ArticleMATHGoogle Scholar
- Segura J: The zeros of special functions from a fixed point method. SIAM J Numer Anal 2002, 40(1):114–133. 10.1137/S0036142901387385MathSciNetView ArticleMATHGoogle Scholar
- Gil A, Segura J: Computing the zeros and turning points of solutions of second order homogeneous linear ODEs. SIAM J Numer Anal 2003, 41(3):827–855. 10.1137/S0036142901392754MathSciNetView ArticleMATHGoogle Scholar
- Gil A, Segura J, Temme NM: Numerical Methods for Special Functions. Society for Industrial and Applied Mathematics (SIAM). Philadelphia, PA; 2007.View ArticleGoogle Scholar
- Alzer H, Felder G: A Turán-type inequality for the gamma function. J Math Anal Appl 2009, 350(1):276–282. 10.1016/j.jmaa.2008.09.053MathSciNetView ArticleMATHGoogle Scholar
- Baricz Á: Turán type inequalities for hypergeometric functions. Proc Am Math Soc 2008, 136(9):3223–3229. 10.1090/S0002-9939-08-09353-2MathSciNetView ArticleMATHGoogle Scholar
- Barnard RW, Gordy MB, Richards KC: A note on Turán type and mean inequalities for the Kummer function. J Math Anal Appl 2009, 349(1):259–263. 10.1016/j.jmaa.2008.08.024MathSciNetView ArticleMATHGoogle Scholar
- Laforgia A, Natalini P: On some Turán-type inequalities. J Inequal Appl 2006, 1–6. Article ID 29828Google Scholar
- Ismail MEH, Laforgia A: Monotonicity properties of determinants of special functions. Constr Approx 2007, 26(1):1–9. 10.1007/s00365-005-0627-4MathSciNetView ArticleMATHGoogle Scholar
- Olver FWJ, Lozier DW, Boisvert RF, Clark CW: NIST Handbook of Mathematical Functions, U.S. Department of Commerce National, National Institute of Standards and Technology. Washington, DC; Cambridge University Press, Cambridge; 2010.Google Scholar
- Gil A, Segura J, Temme NM: Computing the real parabolic cylinder functions U ( ax ), V ( ax ). ACM Trans Math Softw 2006, 32(1):70–101. 10.1145/1132973.1132977MathSciNetView ArticleMATHGoogle Scholar
- Gil A, Segura J, Temme NM: Algorithm 850: Real parabolic cylinder functions U ( ax ), V ( ax ). ACM Trans Math Softw 2006, 32(1):102–112. 10.1145/1132973.1132978MathSciNetView ArticleMATHGoogle Scholar
- Amos DE: Bounds on iterated coerror functions and their ratios. Math Comp 1973, 27: 413–427. 10.1090/S0025-5718-1973-0331723-2MathSciNetView ArticleMATHGoogle Scholar
- Birnbaum ZW: An inequality for Mill's ratio. Ann Math Statistics 1942, 13: 245–246. 10.1214/aoms/1177731611MathSciNetView ArticleMATHGoogle Scholar
- Sampford MR: Some inequalities on Mill's ratio and related functions. Ann Math Stat 1953, 24: 130–132. 10.1214/aoms/1177729093MathSciNetView ArticleMATHGoogle Scholar
- Baricz Á: Mills' ratio: monotonicity patterns and functional inequalities. J Math Anal Appl 2008, 340(2):1362–1370. 10.1016/j.jmaa.2007.09.063MathSciNetView ArticleMATHGoogle Scholar
- Skovgaard H: On inequalities of the Turán type. Math Scand 1954, 2: 65–73.MathSciNetMATHGoogle Scholar
- Szegö G: On an inequality of P. Turán concerning Legendre polynomials. Bull Am Math Soc 1948, 54: 401–405. 10.1090/S0002-9904-1948-09017-6View ArticleMATHGoogle Scholar
- Segura J, Temme NM: Numerically satisfactory solutions of Kummer recurrence relations. Numer Math 2008, 111(1):109–119. 10.1007/s00211-008-0175-5MathSciNetView ArticleMATHGoogle Scholar
- Dimitrov DK, Nikolov GP: Sharp bounds for the extreme zeros of classical orthogonal polynomials. J Approx Theory 2010, 162(10):1793–1804. 10.1016/j.jat.2009.11.006MathSciNetView ArticleMATHGoogle Scholar
- Area I, Dimitrov DK, Godoy E, Ronveaux A: Zeros of Gegenbauer and Hermite polynomials and connection coefficients. Math Comp 2004, 73(248):1937–1951. 10.1090/S0025-5718-04-01642-4MathSciNetView ArticleMATHGoogle Scholar
- Ismail MEH, Li X: Bound on the extreme zeros of orthogonal polynomials. Proc Am Math Soc 1992, 115(1):131–140. 10.1090/S0002-9939-1992-1079891-5MathSciNetView ArticleMATHGoogle Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.