On bounds for solutions of monotonic first order difference-differential systems

Javier Segura

doi:10.1186/1029-242X-2012-65

We’re sorry, something doesn't seem to be working properly.

Please try refreshing the page. If that doesn't work, please contact us so we can address the problem.

On bounds for solutions of monotonic first order difference-differential systems

Javier Segura¹Email author

Journal of Inequalities and Applications20122012:65

https://doi.org/10.1186/1029-242X-2012-65

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}^{'} (x) = a_{n} (x) y_{n} (x) + d_{n} (x) y_{n - 1} (x), y_{n - 1}^{'} (x), = b_{n} (x) y_{n - 1} (x) + e_{n} (x) y_{n} (x)$ . 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

monotonic difference-differential systems
Riccati equation
three-term recurrence relation
special function bounds
Turán-type inequalities
zeros of orthogonal polynomials

1 Introduction

Many special functions, and in particular functions of hypergeometric type, satisfy first order differential systems of the form

\begin{gathered} y_{n}^{'} (x) = a_{n} (x) y_{n} (x) + d_{n} (x) y_{n - 1} (x), \\ y_{n - 1}^{'} (x) = b_{n} (x) y_{n - 1} (x) + e_{n} (x) y_{n} (x) . \end{gathered}

(1)

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}^{'} (x) / y_{n} (x)$ , 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-₁(x), together with the application of the three-term recurrence relation.

In this article, the ideas in [1] are generalized and applied to a much broader set of functions. We analyze the qualitative behavior of the Riccati equation associated to the ratio h_n(x) = y_n(x)/y_n_-1(x),

h_{n}^{'} (x) = d_{n} (x) - (b_{n} (x) - a_{n} (x)) h_{n} (x) - e_{n} (x) h_{n} {(x)}^{2},

(2)

in the general case in which the quadratic equation

e_{n} (x) λ_{n} {(x)}^{2} + (b_{n} (x) - a_{n} (x)) λ_{n} (x) - d_{n} (x) = 0

(3)

has two distinct real roots $λ_{n}^{\pm} (x)$ . This case corresponds to monotonic systems, with solutions which have one zero at most. As we will see, if the functions $λ_{n}^{\pm} (x)$ 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-₁(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

We consider first order differential systems (1) with differentiable coefficients, for which the ratio h_n(x) = y_n(x)/y_n_-1(x) satisfies the Riccati equation

h^{'} (x) = d (x) - (b (x) - a (x)) h (x) - e (x) h {(x)}^{2} .

(4)

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 have h'(x) = 0 when h(x) = λ^±(x) with

\begin{gathered} λ^{\pm} (x) = sign (e (x)) R (x) [- η (x) \pm \sqrt{η {(x)}^{2} + s}], \\ R (x) = \sqrt{|\frac{d (x)}{e (x)}|}, η (x) = \frac{b (x) - a (x)}{2 \sqrt{|d (x) e (x)|}}, s = sign (d (x) e (x)), \end{gathered}

(5)

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 (x_{\infty}^{-}) = + \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.

Figure 1 illustrates the situations described in Theorems 1 and 2.

Figure 1
**The characteristic root λ**⁺( x **) divides the plane in two regions:** h '( x **) > 0 if 0 <** h ( x **) < λ**⁺( x **) and** h' ( x **) < 0 if** h ( x **) > λ**⁺( x ). The graph of h₁(x) corresponds to the situation described in Theorem 1 while h₂(x) corresponds to Theorem 2 when an extremum is reached.

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 $\tilde{h} (x) = - y (- x) / w (- x)$ is such that $\tilde{h} (α^{+}) > 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.

Theorem 3. Let h(x) be a solution of (4) with continuous coefficients and d(x) > 0, e(x) > 0. Suppose that either h(a⁺) > 0 or that h(b^-) < 0 and take s = +, c = a⁺ in the first case and s = -, c = b^- in the second. Then, h(x) does not change sign in (a, b), and if the characteristic root λ^s(x) is monotonic and λ^s'(c)h'(c) > 0 then

(|h (x)| - |λ^{s} (x)|) \frac{d λ^{s}}{d x} < 0 \forall x \in (a, b)

Remark 1. The condition λ^s'(c)h'(c) > 0 is equivalent to

(|h (c)| - |λ^{s} (c)|) \frac{d λ^{s}}{d x} (c) < 0

3 Bounds for first order DDEs

Now, consider a first order difference-differential equation (1) and assume it holds for n ≥ n₀ and that it is possible to make the shift n → n + 1 in (1). In this case the solutions of (1) are also solutions of a three-term recurrence relation

{e_{n}}_{+ 1} y_{n + 1} (x) + (b_{n + 1} (x) - a_{n} (x)) y_{n} (x) - d_{n} y_{n - 1} (x) = 0 .

(6)

As in the previous section, we assume d_n(x)e_n(x) > 0.

Let

{\bar{λ}}_{n}^{\pm}

be the roots of the algebraic equation

e_{n + 1} {\bar{λ}}_{n}^{2} + (b_{n + 1} - a_{n}) {\bar{λ}}_{n} - d_{n} = 0,

(7)

that is

\begin{align} \begin{matrix} {\bar{λ}}_{n}^{\pm} \end{matrix} & = R_{n} E_{n} (- {\bar{η}}_{n} \pm \sqrt{1 + {\bar{η}}_{n}^{2}}), \\ R_{n} & = \sqrt{d_{n} / e_{n},} E_{n} = \sqrt{e_{n} / e_{n + 1}}, {\bar{η}}_{n} = (b_{n + 1} - a_{n}) / (2 \sqrt{d_{n} e_{n + 1}}) \end{align}

(8)

If

lim_{n \to + \infty} {\bar{η}}_{n} \neq 0

then

lim_{n \to + \infty} |{\bar{λ}}_{n}^{+} / {\bar{λ}}_{n}^{-}| \neq 1

, and if the coefficients are of algebraic growth as a function of n, Perron-Kreuser theorem (see [[10], Theorem 4.5]) states that independent pairs of solutions

\{y_{k}^{(1)}, y_{k}^{(2)}\}

exist such that

lim_{n \to + \infty} \frac{1}{{\bar{λ}}_{n}^{+}} \frac{y_{n}^{(1)}}{y_{n - 1}^{(1)}} = 1, lim_{n \to + \infty} \frac{1}{{\bar{λ}}_{n}^{-}} \frac{y_{n}^{(2)}}{y_{n - 1}^{(2)}} = 1 .

(9)

If ${\bar{η}}_{n} > 0$ the minimal solution is $y_{n}^{(1)}$ and $y_{n}^{(2)}$ is dominant, and therefore $lim_{n \to + \infty} y_{n}^{(1)} / y_{n}^{(2)} = 0$ If η_n < 0 the roles are reversed. In both cases we have, for sufficiently large n, $y_{n + 1}^{(1)} y_{n}^{(1)} > 0$ and $y_{n + 1}^{(2)} y_{n}^{(2)} < 0$ .

Remark 2. The minimal solution satisfies ${\bar{η}}_{n} y_{n} / y_{n - 1} > 0$ for large n, while the dominant solutions are such that ${\bar{η}}_{n} y_{n} / y_{n - 1} < 0$ for large n.

Notice that the roots (8) are closely related to the characteristic roots of the Riccati equation (5):

λ_{n}^{\pm} (x) = \sqrt{\frac{d_{n} (x)}{e_{n} (x)}} (- η_{n} (x) \pm \sqrt{1 + η_{n} {(x)}^{2}}), η_{n} (x) = \frac{b_{n} (x) - a_{n} (x)}{2 \sqrt{d_{n} (x) e_{n} (x)}} .

(10)

As we have shown in the previous section, when $λ_{n}^{\pm} (x)$ are monotonic they provide bounds for some solutions. On the other hand, if $lim_{n \to + \infty} {\bar{λ}}_{n}^{\pm} / λ_{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}^{''} (x) + B_{k} (x) y_{k}^{'} (x) + A_{k} (x) y_{k} (x) = 0$ , with A_k(x), B_k(x) continuous in (a, b) and B_n(x) = B_n-₁(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-₁(x) the characteristic roots $λ_{n}^{\pm} (x)$ (10) are monotonic in (a, b). Furthermore, $d λ_{n}^{\pm} (x) / d x$ has the same sign as A_n-₁(x) - A_n(x) and $- η_{n}^{'} (x)$ .

Proof. Differentiating the first equation of the system (1) and eliminating y_n-₁ and proceeding similarly with the second equation we have

y_{k}^{''} (x) + B_{k} (x) y_{k}^{'} (x) + A_{k} (x) y_{k} (x) = 0, k = n, n - 1,

(11)

with coefficients satisfying:

\begin{align} B_{n} (x) - B_{n - 1} (x) & = \frac{e_{n}^{'} (x)}{e_{n} (x)} - \frac{d_{n}^{'} (x)}{d_{n} (x)}, \\ A_{n} (x) - A_{n - 1} (x) & = b_{n}^{'} (x) - a_{n}^{'} (x) - b_{n} (x) \frac{e_{n}^{'} (x)}{e_{n} (x)} + a_{n} (x) \frac{d_{n}^{'} (x)}{d_{n} (x)} \end{align}

(12)

Now, because we are assuming that B_n(x) = B_n-₁(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 λ_{n}^{\pm} (x) / d x$ has the same sign as $- η_{n}^{'} (x)$ . All that remains to be proved is that A_n(x) - A_n-₁(x) has the same sign as $η_{n}^{'} (x)$ . But considering the second equation of (12) and using that $d_{n}^{'} (x) / d_{n} (x) = e_{n}^{'} (x) / e_{n} (x)$ one readily sees that $A_{n} (x) - A_{n - 1} (x) = 2 \sqrt{d_{n} (x) e_{n} (x)} η_{n}^{'} (x)$ , which proves the theorem.

Remark 3. If e_n(x)d_n(x) < 0 and η_n(x)² > 1, it is also true that both roots are monotonic if B_n(x) = B_n-₁(x) and A_n(x) ≠ A_n-₁(x), but $λ_{n}^{+} (x) λ_{n}^{-} (x) > 0$ and $λ_{n}^{+'} (x) λ_{n}^{-'} (x) < 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), ${\bar{η}}_{n} (x)$ , d_n(x), e_n(x) and h_n(x) = y_n(x)/y_n-₁(x) do not change sign for large enough n (say n ≥ n₀). 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:

Theorem 5 (First Perron-Kreuser bound). Let d_n(x) > 0, e_n(x) > 0 and h_n(x) = y_n(x)/y_n-₁(x) with constant sign for n ≥ n₀ and for any x ∈ (a, b). Let s = sign(h_n(x)) and

λ_{n}^{s} (x)

as in Equation (10). Then, if h_n(a⁺) > 0 and

h_{n}^{'} (a^{+}) λ_{n}^{s^{'}} (a^{+}) > 0

or h_n(b^-) > 0 and

h_{n}^{'} (b^{-}) λ_{n}^{s'} (b^{-}) > 0

the following holds in (a, b):

(|h_{n} (x)| - F_{n}^{s} (x)) λ_{n}^{s^{'}} (x) < 0, n \geq n_{0}

(13)

F_{n}^{s} (x) = R_{n} (x) (- s η_{n} (x) + \sqrt{1 + η_{n} {(x)}^{2}}) = \frac{R_{n} (x)}{s η_{n} (x) + \sqrt{1 + η_{n} {(x)}^{2}}}

(14)

Further bounds can be obtained by iteration of (6), which we write:

\frac{y_{n} (x)}{y_{n - 1} (x)} = d_{n} {(b_{n + 1} - a_{n} + e_{n + 1} \frac{y_{n + 1} (x)}{y_{n} (x)})}^{- 1} .

(15)

For minimal solutions we have that ${\bar{η}}_{n} (x) y_{n} (x) / y_{n - 1} (x) > 0$ for large n. By substituting in the previous equation y_n+₁(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.

Theorem 6 (Second Perron-Kreuser bound for minimal solutions). Under the conditions of Theorem 5 and if

s {\bar{η}}_{n} > 0

, s = sign(h_n) then

(|h_{n} (x)| - S_{n}^{s +}) λ_{n}^{s'} (x) > 0, n \geq n_{0}

(16)

where

S_{n}^{s +} = \frac{D_{n} E_{n} R_{n}}{s (2 D_{n} {\bar{η}}_{n} - η_{n + 1}) + \sqrt{1 + η_{n + 1}^{2}}}

(17)

$D_{n} = \sqrt{d_{n} / d_{n + 1}}$ E_n, R_n and ${\bar{η}}_{n}$ given by (8) and η_n by (10).

The second superscript of the notation $S_{n}^{s +}$ stands for the sign of ${\bar{η}}_{n} y_{n} / y_{n - 1}$ .

Notice that Theorem 6 may be true for n = n₀ - 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 $lim_{n \to + \infty} 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.

We can also obtain additional bounds for dominant solutions by writing

\frac{y_{n} (z)}{y_{n - 1} (x)} = - \frac{b_{n} - a_{n - 1}}{e_{n}} + \frac{d_{n - 1}}{e_{n}} \frac{y_{n - 2} (z)}{y_{n - 1} (z)}

(18)

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:

Theorem 7 (Second Perron-Kreuser bound for dominant solutions). Under the conditions of Theorem 5 and if

s {\bar{η}}_{n - 1} < 0

, s = sign(h_n),

(|h_{n} (x)| - S_{n}^{s -}) λ_{n}^{s^{'}} (x) > 0, n \geq n_{0} + 1

(19)

where

S_{n}^{s -} = D_{n - 1} E_{n - 1} R_{n} (- s (2 E_{n - 1}^{- 1} {\bar{η}}_{n - 1} - η_{n - 1}) + \sqrt{1 + η_{n - 1}^{2}})

(20)

Notice that the previous theorem can only be guaranteed to be true for n = n₀ + 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→+∞ $lim_{n \to + \infty} 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.

Indeed, because upper and lower bounds are available for |y_n/y_n_-1| both when y_n is a minimal or a dominant solution (Theorems 5, 6 and 7), upper and lower bounds for |y_n/y_n_-1||y_n/y_n+₁| become available. The modulus can be skipped if y_n/y_n-₁ does not change sign (as assumed earlier). With this:

l_{n} \leq L_{n} (x) < \frac{y_{n} (x)}{y_{n + 1} (x)} \frac{y_{n} (x)}{y_{n - 1} (x)} < U_{n} (x) \leq u_{n},

(21)

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.

Theorem 8. Under the hypothesis of Theorem 5 and if

d λ_{n}^{s} / d x > 0

(s = sign(y_n(x)/y_n-₁(x))):

s \frac{y_{n - 1}^{'} (x)}{y_{n - 1} (x)} < s \frac{a_{n} (x) + b_{n} (x)}{2} + \sqrt{d_{n} (x) e_{n} (x)} \sqrt{1 + η_{n} {(x)}^{2}} < s \frac{y_{n}^{'} (x)}{y_{n} (x)}

(22)

If $d λ_{n}^{s} / d x < 0$ the inequalities are reversed

Two consequences follow. First, we observe that the ratios $y_{k}^{'} (x) / y_{k} (x)$ 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}^{'} / 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²y″ + xy' - (x² + ν²)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²/4 + n)y(x) = 0, with coefficient A(x) = - (x²/4 + n) depending monotonically on the parameter n (Theorem 4 holds).

Considering the DDE satisfied by U(n, x) [[16], 12.8.2-3] and defining y_n(x) = e^iπnU(n, x) we have:

\begin{gathered} \begin{matrix} y_{n}^{'} (x) = \frac{x}{2} y_{n} (x) + y_{n - 1} (x), \end{matrix} \\ y_{n - 1}^{'} (x) = - \frac{x}{2} y_{n - 1} (x) + (n - 1 / 2) y_{n} (x) . \end{gathered}

(23)

where n will be real and positive. For this system

η_{n} (x) = - \frac{x}{2 \sqrt{n - 1 / 2}}, {\bar{η}}_{n} (x) = η_{n + 1} (x), λ_{n}^{\pm} (x) = \frac{- 2}{x \mp \sqrt{4 n - 2 + x^{2}}}

(24)

From [[16], 12.9.1] we have h_n(+∞) = 0^- and $h_{n}^{'} (+ \infty) = 0^{+}$ and because $λ_{n}^{-} (+ \infty) = 0^{+}$ then Theorem 3 holds, as well as Theorems 5 and 6. Therefore

Theorem 9. For n > 1/2 and x ≥ 0 the following holds

\frac{2}{x + \sqrt{4 n + 2 + x^{2}}} < \frac{U (n, x)}{U (n - 1, x)} < \frac{2}{x + \sqrt{4 n - 2 + x^{2}}}

(25)

The lower bound also holds if n ∈ (-1/2,1/2) and it turns to an equality if n = -1/2.

The lower bound is obtained from the upper bound and the application of the three-term recurrence relation: if B_m(n, x) is a positive upper (lower) bound for U(n, x)/U(n- 1,x),x > 0, then

B_{m + 1} (n, x) = 1 / (x + (n + 1 / 2) B_{m} (n + 1, x))

(26)

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}^{'} (0^{+}) > 0$ , n > 1/2, x ≥ 0 and then $h_{n}^{'} (0^{+}) d λ_{n}^{+} (0^{+}) / d x > 0$ and Theorem 1 holds. The corresponding Perron-Kreuser bounds (Theorems 5 and 7), give:

Theorem 10. For n > 3/2 and x ≥ 0 the following holds

\frac{x + \sqrt{4 n - 6 + x^{2}}}{2 n - 1} < \frac{U (n, - x)}{U (n - 1, - x)} < \frac{x + \sqrt{4 n - 2 + x^{2}}}{2 n - 1}

(27)

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:

Theorem 11. Let F(x) = U(n, x)²/(U(n - 1,x)U(n + 1,x)). Then, for all real x:

\sqrt{\frac{n - 3 / 2}{n + 1 / 2}} < \frac{n - 1 / 2}{n + 1 / 2} F (x) < 1 < F (x) < \sqrt{\frac{n + 3 / 2}{n - 1 / 2}}

(28)

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.

Theorem 12. For all real x and n ≥ 1/2 the following holds:

- \sqrt{x^{2} / 4 + n + 1 / 2} < \frac{U^{'} (n, x)}{U (n, x)} < - \sqrt{x^{2} / 4 + n - 1 / 2}

(29)

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

considered for the condition number with respect to x:

C_{x} (U (a, x)) = |x U^{'} (a, x) / U (a, x)| ~ x \sqrt{x^{2} / 4 + a},

(30)

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.

Integrating (29) we have

\begin{gathered} F_{n + 1 / 2} (x) / F_{n + 1 / 2} (y) < \frac{U (n, y)}{U (n, x)} < F_{n - 1 / 2} (x) / F_{n - 1 / 2} (y), \\ F_{α} (x) = exp (\frac{x}{2} \sqrt{x^{2} / 4 + α}) {(x + 2 \sqrt{x^{2} / 4 + α})}^{α} \end{gathered}

(31)

and, in particular,

F_{n + 1 / 2} (x) < \frac{U (a, x)}{U (a, 0)} < F_{n - 1 / 2} (x)

(32)

where

F_{α} (x) = exp (- \frac{x}{2} \sqrt{\frac{x^{2}}{4} + α}) {(\frac{x}{2 \sqrt{α}} + \sqrt{\frac{x^{2}}{4 α} + 1})}^{- α}

(33)

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].

° Iterated coerror functions and Mill's ratio: In particular, considering Theorem 9 and the relation of parabolic cylinder functions U(n + 1/2, x) with the iterated coerror functions iⁿerfc(x) [[16], 12.7.7], n ∈ ℕ, the following follows:

M_{n + 1} (x) < \frac{i^{n} erfc(x)}{i^{n - 1} erfc (x)} < M_{n} (x), n = 1, 2, \dots; M_{n} (x) = {(x + \sqrt{2 n + x^{2}})}^{- 1} .

(34)

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

Theorem 13. Let

r (x) = e^{x^{2} / 2} \int_{x}^{+ \infty} e^{- t^{2} / 2} d t

, then

\frac{2}{x + \sqrt{x^{2} + 4}} < r (x) < \frac{4}{3 x + \sqrt{x^{2} + 8}}

(35)

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:

Theorem 14.

R_{2 k + 1} < r (x) < R_{2 k} (x)

(36)

R_{n} (x) = \frac{1}{x +} \frac{1}{x +} \frac{2}{x +} \dots \frac{n}{T_{n} (x)}, T_{n} = (x + \sqrt{4 n + x^{2}}) / 2

(37)

where, as usual we denote $\frac{1}{a +} \frac{1}{b +} \dots = 1 / (a + 1 / (b + \dots))$

° 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}^{'} (0^{+}) > 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}^{'} (0^{+}) < 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:

Theorem 15.

\frac{V (n, x)}{V (n - 1, x)} < \frac{x + \sqrt{4 n - 2 + x^{2}}}{2}, x > 0, n \in (2 k - 1, 2 k), k \in ℕ

(38)

\frac{x + \sqrt{4 n - 6 + x^{2}}}{2} < \frac{V (n, x)}{V (n - 1, x)}, x > 0, n \in (2 k, 2 k + 1), k \in ℕ

(39)

- i \frac{H_{2 k + 1} (i x)}{H_{2 k} (i x)} < x + \sqrt{4 k + 2 + x^{2}} x > 0, k = 0, 1, 2 \dots

(40)

i \frac{H_{2 k - 1} (i x)}{H_{2 k} (i x)} < {(x + \sqrt{4 k - 2 + x_{2}})}^{- 1}, x > 0, k \in ℕ

(41)

\frac{H_{2 k} {(i x)}^{2}}{H_{2 k - 1} (i x) H_{2 k + 1} (i x)} > \sqrt{\frac{k - 1 / 2}{k + 1 / 2}}, k \in ℕ, x \in ℝ .

(42)

Hermite polynomials of imaginary argument were also considered in [15]. The well-known Turàn-type inequality for Hermite polynomials [23] H_n(x)² - H_n-₁(x)H_n+₁(x) > 0, x ∈ ℝ, does not hold on the imaginary axis, but a similar property $H_{n} {(i x)}^{2} - \sqrt{(n - 1) / (n + 1)} H_{n - 1} (i x) H_{n + 1} (i x) > 0$ holds true for all x > 0 if n is even.

4.1.3 Oblate legendre functions

These are Legendre functions of imaginary argument, which are functions appearing in the solution of Dirichlet problems in oblate spheroidal coordinates [6]. Denoting

p_{n} (x) = e^{- i n π / 2} P_{n}^{m} (i x)

(43)

and using the differential relations [[16], 14.10.4-5] we have

\begin{gathered} p_{n}^{'} (x) = \frac{1}{1 + x^{2}} {n x p_{ν} (x) + (n + m) p_{ν - 1} (x)} \\ p_{n - 1}^{'} (x) = \frac{1}{1 + x^{2}} {- n x p_{ν - 1} (x) + (n - m) p_{ν} (x)} \end{gathered}

(44)

and $q_{n} (x) = Q_{n}^{m} (i x)$ , $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} (i x)$ and $P_{n}^{m} (i x)$ 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.

Theorem 16. The following holds for x > 0 and real n > m > 0

0 < i \frac{Q_{n}^{m} (i x)}{Q_{n - 1}^{m} (i x)} < \frac{n + m}{n} {[x + \sqrt{1 + x^{2} - \frac{m^{2}}{n^{2}}}]}^{- 1} < \sqrt{\frac{n + m}{n - m}}

(45)

i \frac{Q_{n}^{m} (i x)}{Q_{n - 1}^{m} (i x)} > \frac{n + m}{n x + (n + 1) \sqrt{1 + x^{2} - \frac{m^{2}}{{(n + 1)}^{2}}}}

(46)

1 < \frac{n + m + 1}{n + m} \frac{Q_{n}^{m} (i x)}{Q_{n - 1}^{m} (i x) Q_{n + 1}^{m} (i x)} < \sqrt{\frac{{(n + 2)}^{2} - m^{2}}{n^{2} - m^{2}}}

(47)

Theorem 17. The following holds for x > 0 and integer n, m, n > m:

0 < - i \frac{P_{n}^{m} (i x)}{P_{n - 1}^{m} (i x)} < \frac{n}{n - m} [x + \sqrt{1 + x^{2} - \frac{m^{2}}{n^{2}}}], n - m o d d

(48)

\frac{1}{n - m} [n x + (n - 1) \sqrt{1 + x^{2} - \frac{m^{2}}{{(n - 1)}^{2}}}] < - i \frac{P_{n}^{m} (i x)}{P_{n - 1}^{m} (i x)}, n - m e v e n

(49)

\frac{P_{n}^{m} {(i x)}^{2}}{P_{n - 1}^{m} (i x) P_{n + 1}^{m} (i x)} < 1 + \frac{1}{n - m}, n - m o d d

(50)

For m = 0 we have Legendre polynomials. If n is odd, we have P_n(ix)² < 0 and therefore P_n(ix)² - (1 + 1/n)P_n_-1(ix)P_n₊₁(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)² - P_n-₁(ix)P_n+₁(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.

Consider the Laguerre functions

y_{ν, α} (x) = L_{ν}^{α} (- x), x > 0

. Using well known recurrences and differentiation formulas, we have

\begin{gathered} y_{ν + 1, α - 1}^{'} (x) = y_{ν, α} (x) \\ x y_{ν, α}^{'} (x) = - (α + x) y_{ν, α} (x) + (v + 1) y_{ν + 1, α - 1} \end{gathered}

(51)

and

(ν + 1) y_{ν + 1, α - 1} (x) = (α + x) y_{ν, α} (x) + x y_{ν - 1, α + 1}

(52)

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:

Theorem 18. For any α > 0, ν > -1 and x > 0 the following holds

0 < \frac{L_{ν + 1}^{α - 1} (x)}{L_{ν}^{α} (- x)} < \frac{α + x + \sqrt{{(α + x)}^{2} + 4 (ν + 1) x}}{2 (ν + 1)}

(53)

On the other hand, from the recurrence (52) we have

\frac{L_{ν}^{α} (- x)}{L_{ν + 1}^{α - 1} (- x)} = {(\frac{α + x}{ν + 1} + \frac{x}{ν + 1} \frac{L_{ν - 1}^{α + 1} (- x)}{L_{ν}^{α} (- x)})}^{- 1}

(54)

and from this we obtain the second Perron-Kreuser bound:

Theorem 19. For any α > -1, ν > 0 and x > 0 the following holds

\frac{L_{ν + 1}^{α - 1} (- x)}{L_{ν}^{α} (- x)} > \frac{α + x - 1 + \sqrt{{(α + x + 1)}^{2} + 4 ν x}}{2 (ν + 1)}

(55)

And from these bounds we get the following Turán-type inequalities:

Theorem 20. For any ν ≥ 0 and α ≥ 0, x > 0 the following holds:

\frac{ν}{ν + 1} \frac{α}{α + 1} < \frac{L_{ν + 1}^{α - 1} (- x)}{L_{ν}^{α} (- x)} \frac{L_{ν - 1}^{α + 1} (- x)}{L_{ν}^{α} (- x)} < \frac{ν}{ν + 1}

(56)

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.

Other bounds and inequalities can be obtained using other recursions or using relations between contiguous functions. For example, using [[16], 18.9.13], we have:

\frac{L_{ν + 1}^{α - 1} (x)}{L_{ν}^{α} (x)} = 1 + \frac{L_{ν + 1}^{α} (x)}{L_{ν}^{α} (x)}

(57)

and upper and lower bounds for $L_{n}^{α} (- x) / L_{n - 1}^{α} (- x)$ follow from the previous results. As a consequence of this new bounds, one can prove the following

Theorem 21.

\frac{ν}{ν + 1} < \frac{L_{ν - 1}^{α} (- x)}{L_{ν}^{α} (- x)} \frac{L_{ν + 1}^{α} (- x)}{L_{ν}^{α} (- x)} < \frac{ν}{ν + 1} \frac{ν + α + 1}{ν + α - 1}

(58)

where the first inequality holds for ν > 0, α > -1 and the second for ν > 0, ν + α > 1.

For positive x, it is known that $L_{n - 1}^{α} (x) L_{n + 1}^{α} (x) / L_{n}^{α} {(x)}^{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)² > 1 and that the DDE becomes monotonic (η_n(x)² < 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

Hermite polynomials satisfy

\begin{gathered} H_{n}^{'} (x) = 2 n H_{n - 1} (x), \\ H_{n - 1}^{'} (x) = 2 x H_{n - 1} - H_{n} (x) \end{gathered}

(59)

We have

η_{n} (x) = x / \sqrt{2 n}

and η_n(x) > 1 if

x > \sqrt{2 n}

(monotonic case). The characteristic roots are both of them positive

λ_{n}^{\pm} (x) = x \pm \sqrt{x^{2} - 2 n .}

(60)

Defining h_n(x) = H_n(x)/H_n_-1(x) we have that h_n(+∞) = +∞ and

h_{n}^{'} (+ \infty) > 0

because the coefficient of degree n of H_n(x) is positive. Then

h_{n} (x) > λ_{n}^{+} (x)

for enough x > 0 because

h_{n}^{'} (x) > 0

only if

h_{n} (x) < λ_{n}^{-} (x)

or

h_{n} (x) > λ_{n}^{+} (x)

, but

h_{n} (+ \infty) > λ_{n}^{-} (+ \infty) = 0^{+}

, and therefore

h_{n} (x) > λ_{n}^{+} (x)

for large x. And because

λ_{n}^{+'} (x) > 0

if

x > \sqrt{2 n}

, then, necessarily:

h_{n} (x) = \frac{H_{n} (x)}{H_{n - 1} (x)} > x + \sqrt{x^{2} - 2 n}, x \geq \sqrt{2 n .}

(61)

We can iterate the recurrence relation. Contrary to the case e_n(x)d_n(x) > 0, we will not obtain sequences of lower and upper bounds, but only lower bounds. Writing

h_{n + 1} (x) = 2 x - 2 n / h_{n} (x)

(62)

and using (61) we get a lower bound for h_n+₁(x). We shift the parameter n and get

h_{n} (x) > x + \sqrt{x^{2} - 2 (n - 1)}, x \geq \sqrt{2 (n - 1) .}

(63)

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).

The next iteration gives a bound for n ≥ 3:

\begin{align} h_{n} (x) & > F (n, x), x \geq \sqrt{2 (n - 2)} \\ F (n, x) = {(n - 2)}^{- 1} [(n - 3) x + (n - 1) \sqrt{x^{2} - 2 (n - 2)}] \end{align}

(64)

Because the largest zero of H_n(x) is larger than that of H_n-₁(x), Eq. (64) implies that the largest zero of H_n(x) is smaller than $\sqrt{2 (n - 2)}$ , n ≥ 3.

We consider just one more iteration and get

h_{n} (x) \geq 2 x - 2 (n - 1) / F (n - 1, x) = G (n, x), x > \sqrt{2 (n - 3)}

(65)

and if $G (n, \sqrt{2 (n - 3))} > 0$ then G(n, x) > 0 if $x > \sqrt{2 (n - 3)}$ , and the largest zero will be smaller than $\sqrt{2 (n - 3)}$ ; 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

We give some results for Laguerre polynomials omitting details. Defining

h_{n}^{α} (x) = - L_{n}^{α} (x) / L_{n - 1}^{α} (x)

, we have

h_{n}^{α} (+ \infty) = + \infty

and

h_{n}^{α'} (+ \infty) = + \infty

and, proceeding similarly as before:

\begin{align} 2 n h_{n}^{α} (x) > & x - (2 n + α) + \sqrt{{(x - 2 n - α)}^{2} - 4 n (n + α)}, \\ x \geq 2 n + α + 2 \sqrt{n (n + α)} \end{align}

(66)

and after the first iteration of the recurrence we have:

\begin{gathered} 2 n h_{n}^{α} (x) > f (x), x \geq 2 n^{*} + α + 2 \sqrt{n^{*} (n^{*} + α)}, n^{*} = n - 1, \\ f (x) = x - (2 n + α) + \sqrt{{(x - 2 n^{*} - α)}^{2} - 4 n^{*} (n^{*} + α) .} \end{gathered}

(67)

This proves that the largest zero of $L_{n}^{α} (x)$ is smaller than $x^{*} = 2 n + α - 2 + \sqrt{(n - 1) (n - 1 + α)}$ , 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].

Further iterations are possible, but not so easy to analyze. The next iteration will give a bound

2 n h_{n}^{α} (x) > g (x), x \geq 2 (n - 2) + α + 2 \sqrt{(n - 2) (n - 2 + α)} = x^{*} .

(68)

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

(1)

Departamento de Matemáticas, Estadística y Computación. Facultad de Ciencias, Universidad de Cantabria, 39005 Santander, Spain

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.

On bounds for solutions of monotonic first order difference-differential systems

3.1 Monotonicity of the characteristic roots

3.2 Perron-kreuser bounds

3.3 Turán-type inequalities

3.4 Bounds of liouville-green type

4.1 Cases with d n (x)e n (x) > 0

4.1.1 Modified bessel functions

4.1.2 Parabolic cylinder functions

4.1.3 Oblate legendre functions

4.1.4 Laguerre functions of negative argument

4.2 Two examples with d n (x)e n (x) < 0

4.2.1 Hermite polynomials

4.2.2 Laguerre polynomials

Acknowledgements

4.1 Cases with d_n(x)e_n(x) > 0

4.2 Two examples with d_n(x)e_n(x) < 0