Abstract
Let \(I_{\nu }(x)\) and \(K_{\nu }(x)\) be the first and second kind modified Bessel functions. It is shown that the nullclines of the Riccati equation satisfied by \(x^{\alpha } \Phi _{i,\nu }(x)\), \(i=1,2\), with \(\Phi _{1,\nu }=I_{\nu -1}(x)/I_{\nu }(x)\) and \(\Phi _{2,\nu }(x)=-K_{\nu -1}(x)/K_{\nu }(x)\), are bounds for \(x^{\alpha } \Phi _{i,\nu }(x)\), which are solutions with unique monotonicity properties; these bounds hold at least for \(\pm \alpha \notin (0,1)\) and \(\nu \ge 1/2\). Properties for the product \(P_{\nu }(x)=I_{\nu }(x)K_{\nu }(x)\) can be obtained as a consequence; for instance, it is shown that \(P_{\nu }(x)\) is decreasing if \(\nu \ge -1\) (extending the known range of this result) and that \(xP_{\nu }(x)\) is increasing for \(\nu \ge 1/2\). We also show that the double ratios \(W_{i,\nu }(x)=\Phi _{i,\nu +1}(x)/\Phi _{i,\nu }(x)\) are monotonic and that these monotonicity properties are exclusive of the first and second kind modified Bessel functions. Sharp trigonometric bounds can be extracted from the monotonicity of the double ratios. The trigonometric bounds for the ratios and the product are very accurate as \(x\rightarrow 0^+\), \(x\rightarrow +\infty \) and \(\nu \rightarrow +\infty \) in the sense that the first two terms in the power series expansions in these limits are exact.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Modified Bessel function, and in particular their ratios, are important special functions appearing in countless applications. Bounds for these ratios are needed in a huge number of different scientific and engineering fields, like finite elasticity [15], telecommunications [1], statistics [8], heat transfer [5], information theory [6] and many others. Not surprisingly, this is an active topic of study; see for instance [2, 3, 7, 9, 12, 13, 16, 17].
In this paper we obtain new monotonicity properties and bounds for ratios and products of modified Bessel functions, some of them displaying a remarkable accuracy in all three directions as \(x\rightarrow 0^+\), \(x\rightarrow +\infty \) and \(\nu \rightarrow +\infty \); we also extend previous results, in particular for the product of first and second kind modified Bessel functions.
We analyze the monotonicity of the functions \(x^{\alpha } \Phi _{i,\nu }(x)\), with \(\Phi _{1,\nu }(x)=I_{\nu -1}(x)/I_{\nu }(x)\) and \(\Phi _{2,\nu }(x)=-K_{\nu -1}(x)/K_{\nu }(x)\), by considering the Riccati equation satisfied by these functions. It is shown that the nullclines of the Riccati equation are bounds for \(x^\alpha \Phi _{i,\nu }(x)\), at least when \(\pm \alpha \notin (0,1)\) and \(\nu \ge 1/2\). We show that these monotonicity properties are unique for the first and second kind Bessel functions and no other solution of the Riccati equation is both regular and monotonic when \(\nu \ge 1\). The bounds for the ratios of Bessel functions that can be obtained as a consequence of this analysis are described and then applied to the study of the monotonicity and bounds for the product \(I_{\nu }(x)K_{\nu }(x)\). We prove that \(I_{\nu }(x)K_{\nu }(x)\) is decreasing if \(\nu \ge -1\) (enlarging the range of validity considered so far) while \(xI_{\nu }(x)K_{\nu }(x)\) is increasing for \(\nu \ge 1/2\). Upper and lower bounds for the product are also made available.
In a similar way, the monotonicity properties of the double ratios \(W_{i,\nu }(x)=\Phi _{i,\nu +1}(x)/\Phi _{i,\nu }(x)\) are established and proved to be unique for the first and second kind modified Bessel functions. New sharp trigonometric bounds for both the first and second kind modified Bessel functions ratios are obtained from this analysis. These bounds, both for the ratios and the products, are shown to be very accurate in the three limits \(x\rightarrow 0^+\), \(x\rightarrow +\infty \) and \(\nu \rightarrow +\infty \), in the sense that at least the first two terms of the power series expansions of the ratios and products, in any of these limits, is given exactly by our new bounds.
The main tool for proving these results is the analysis of the qualitative properties of the first order differential equations satisfied by the ratios and double ratios of Bessel functions. For the case of the single ratios, this analysis is similar to that of [12, 13]; we summarize some of these results in Sect. 2, we discuss how the monotonicity properties are unique for the first and second kind functions (and therefore the bounds are sharp only for such functions) and we prove the monotonicity properties for the product \(P_{\nu }(x)\) and the corresponding bounds. In Sect. 3 we study the monotonicity of the double ratio by considering the first order differential equation satisfied by this ratio. In this analysis, the nullclines of the differential equation satisfied by the double ratio, which are solutions of an algebraic cubic equation, will be shown to provide very sharp bounds for the simple ratios \(\Phi _{i,\nu }(x)\) (similarly as happened in [14] for Parabolic Cylinder functions) and then, as a consequence, for the double ratio \(W_{i,\nu }(x)\) and the product \(P_{\nu }(x)\).
2 Bounds from the Riccati Equation
The starting point in the analysis is the difference-differential system [10, 10.29.2]
which is satisfied by \(I_{\nu }(x)\) and \(e^{i \pi \nu } K_{\nu }(x)\)Footnote 1, which as a consequence also satisfy
\({{{\mathcal {I}}}}_{\nu }(x)=I_{-\nu }(x)\) is also a solution of (1), but it is not independent of \(I_\nu (x)\) for integer \(\nu \).
For proving the results in this paper, the only information which will be needed as input is the difference-differential system (1) together with information on the sign of the function ratios and first derivatives as \(x\rightarrow 0^+\) and \(x\rightarrow +\infty \); this information will single out two of the solutions of the system (1), specifically the regular solution at \(x=0\) (\({{{\mathcal {I}}}}_\nu (x)=I_\nu (x)\)) and the recessive solution as \( x\rightarrow +\infty \) (\({{{\mathcal {I}}}}_\nu (x)=e^{i\pi \nu }K_\nu (x)\)).
We first briefly review how bounds for the ratios of first and second kind modified Bessel functions can be obtained by analyzing the nullclines of the Riccati equations satisfied by these ratios (Theorem 1), as done in [12, 13]. The analysis of the bounds for the first and second kind Bessel functions will be done simultaneously using a same Riccati equation, which differs slightly from the approach in [12, 13]. Later in this section we consider the more general case of the general solution of the system (1) and we study the monotonicity properties and bounds for the product \(P_{\nu }(x)=I_{\nu }(x)K_{\nu }(x)\).
Starting from the DDE (1) we can obtain the Riccati equation for
giving
Using \(\{I_{\nu }(x),(-1)^{\lfloor \nu \rfloor } K_\nu (x)\}\) as a pair of independent solutions of the DDE (1), we can write the solutions \(\Phi _\nu (x)\) as
\(\Phi _{t,\nu }(x)\) is the general solution of (4). That it is a solution is obvious by construction and that any solution can be written in this form is also clear: for any \(\nu \) and for each (x, y) there is one and only one solution of (4) such that \(\Phi _{\nu }(x)=y\) and there exists a unique value of \(t\in (-1,1]\) such that \(\Phi _{t,\nu }(x)=y\), and \(\Phi _{t,\nu }(x)\) is precisely this unique solution.
As in [12], we consider a more general Riccati equation by taking
We have
where
with
As we will see, for establishing the bounds on the function ratios it is important that the functions \({\hat{\gamma }}_{a,\nu }^{\pm }(x)\) determining the nullclines \(\gamma _{t,a,\nu }(x)={\hat{\gamma }}_{a,\nu }^{\pm }(x)\) are monotonic. It is easy to prove that:
Lemma 1
The following monotonicity properties hold:
\({\hat{\gamma }}_{a,\nu }^+ (x)\) is strictly increasing if \(a\le -1\) and strictly decreasing if \(a\ge 1\).
\({\hat{\gamma }}_{a,\nu }^- (x)\) is strictly decreasing if \(a\le -1\) and strictly increasing if \(a\ge 1\).
\({\hat{\gamma }}_{0,\nu }^\pm (x)\) is strictly decreasing if \(\nu > 1/2\), strictly increasing if \(\nu < 1/2\) and constant if \(\nu =1/2\).
For \(a\in (-1,0)\cup (0,1)\), let
If \(x_e>0\) (respectively \(x_e<0\)) then \({\hat{\gamma }}_{a,\nu }^+ (x)\) (respectively \({\hat{\gamma }}_{a,\nu }^- (x)\)) has a relative extremum at \(x_e\) (respectively \(-x_e\)), and it is a minimum (respectively maximum) if \(a<0\) and a maximum (respectively minimum) if \(a>0\).
We consider next the particular and more important cases \(t=0\) and \(t=1\) (that is, \(\gamma _{0,a,\nu }(x)=x^{a} I_{\nu -1}(x)/I_{\nu }(x)\) and \(\gamma _{1,a,\nu }(x)=-x^{a} K_{\nu -1}(x)/K_{\nu }(x)\)) and prove the monotonicity of both functions; later we consider the general case \(t\in (-1,1]\).
Theorem 1
The following monotonicity properties and bounds hold:
-
1.
Properties of \(\gamma _{0,a,\nu }(x)\):
-
(a)
If \(|a|>1\) and \(\nu \ge 0\), \(a\gamma _{0,a,\nu }(x)\) is decreasing and
$$\begin{aligned} a(\Phi _{0,\nu }(x)-\lambda ^+_{a,\nu }(x))>0 \end{aligned}$$.
-
(b)
If \(\nu \ge 1/2\), \(\gamma _{0,0,\nu }(x)\) is decreasing and \(\Phi _{0,\nu }(x)>\lambda ^+_{0,\nu }(x)\).
-
(a)
-
2.
Properties of \(\gamma _{1,a,\nu }(x)\):
-
(a)
If \(|a|>1\) then for all \(\nu \in {{\mathbb {R}}}\), \(a\gamma _{1,a,\nu }(x)\) is increasing and
$$\begin{aligned} a(\Phi _{1,\nu }(x)+1/\lambda ^+_{a,\nu }(x))>0 \end{aligned}$$.
-
(b)
If \(\nu >1/2\), \(\gamma _{1,0,\nu }(x)\) is decreasing and \(\Phi _{1,\nu }(x)<-1/\lambda ^+_{0,\nu }(x)\).
\(\Phi _{1,1/2}(x)=-1/\lambda ^+_{0,1/2}(x)=-1\).
-
(a)
Proof
We don’t give a detailed proof for all the cases, but all the results follow from similar arguments.
For \(t=0\) (modified Bessel function of the first kind), the monotonicity property as \(x\rightarrow 0^+\) of \(\gamma _{0,a,\nu }(x)\) (unique for this solutions) is the main input. Then, for instance, in the case \(a\le -1\), \({\hat{\gamma }}_{a,\nu }^+(x)>0\) is increasing and \(\gamma _{0,a,\nu } (x)\) is such that \(\gamma _{0,a,\nu } ' (0^+)>0\) for \(\nu \ge 0\) (see Appendix, Eq. (39); then necessarily \(0<\gamma _{t,a,\nu }(0^+)<{\hat{\gamma }}_{a,\nu }^+(0^+)\) (see (7)) and the fact that \({\hat{\gamma }}_{a,\nu }^+(x)\) is increasing implies that \(0<\gamma _{0,a,\nu }(x)< {\hat{\gamma }}_{a,\nu }^+(x)\) for all \(x>0\). This would prove the result 1.a for \(a\le -1\). Similarly for the rest of 1.
For \(t=1\) (modified Bessel function of the second kind), the monotonicity property as \(x\rightarrow +\infty \) of \(\gamma _{1,a,\nu }(x)\) (unique for this solutions) is the main input. Take for instance the case \(a\le -1\), when have that \(\gamma _{1,a,\nu } ' (+\infty )<0\), which implies, because \(\gamma _{1,a,\nu }(x)<0\) (see (7)) that \(\gamma _{1,a,\nu }(+\infty )<{\hat{\gamma }}_{a,\nu }^-(+\infty )\) and the fact that \({\hat{\gamma }}_{a,\nu }^-(x)\) is decreasing implies that \(\gamma _{1,a,\nu }(x)< {\hat{\gamma }}_{a,\nu }^-(x)<0\) for all \(x>0\).
For more detailed proofs, in particular for the cases \(a=0,\pm 1\), we refer to [12, 13]. \(\square \)
Remark 1
The bounds for \(|a|>1\) are weaker than those for \(|a|=1\) in its range of validity.
Remark 2
The range of validity of the previous theorem for the case 1.a extends to \(\nu \ge -1\) when \(a=-1\) because for this particular case \(\gamma _{0,a,\nu } ' (0^+)>0\) for \(\nu \ge -1\) (see Appendix, Eq. (38)).
Remark 3
The bound \(\Phi _{0,\nu }(x)>\lambda ^+_{0,\nu }(x)\) for \(\nu >1/2\) implies, because \(\lambda ^+_{a,\nu }(x)\) decreases as a function of a, that \(\phi _{0,\nu }(x)>\lambda ^+_{a,\nu }(x)\) for all \(a\ge 0\) and \(\nu >1/2\) (which implies that \(\gamma _{0,a,\nu }(x)\) is monotonically decreasing for \(a\in (0,1)\) too). In fact, the range of validity as a function of \(\nu \) increases as a increases from \(a=0\) (\(\nu >1/2\)) to \(a=1\) (\(\nu >0\)).
Similarly, we have that if \(\nu \ge 1/2\) then \(\Phi _{1,\nu }(x)<-1/\lambda ^+_{a,\nu }(x)\), \(a\le 0\), with the range of validity increasing as a decreases. This implies that \(\gamma _{1,a,\nu }(x)\) is also monotonically decreasing for \(a\in (-1,0)\).
Now we turn to the general case \(t\in (-1,1]\). We notice that, because as \(x\rightarrow +\infty \) the function \(I_\nu (x)\) is exponentially increasing while \(K_\nu (x)\) is exponentially decreasing we have that, for all real \(\nu \) and \(t\ne 1\),
On the other hand, if \(\nu \ge 0\) then \(I_\nu (x)\) is regular at the origin, while \(K_\nu (0^+)=+\infty \) , and therefore, for \(t\ne 0\) and \(\nu \ge 1\),
In other words, the behaviour of the solution \(\Phi _{1,\nu }(x)=-K_{\nu -1}(x)/K_{\nu }(x)\) is unique as \(x\rightarrow +\infty \) while as \(x\rightarrow 0\) it is the behavior of \(\Phi _{0,\nu }(x)=I_{\nu -1}(x)/I_{\nu }(x)\) which is unique. From this information the next result follows, which will be used to prove that the monotonicity properties for first and second kind Bessel functions are unique (Theorem 2).
Lemma 2
Let \(\nu \ge 0\) and \(D=\{(x,y):\,x>0,\,\gamma _{1,a,\nu }(x)<y<\gamma _{0,a,\nu }(x)\}\). Then \(\gamma _{t,a,\nu }(x)\) for \(t\in (0,1)\) correspond to regular solutions which are inside D, while for \(t\in (-1,0)\) they have a vertical asymptote at \(x_*>0\) and their graph is outside D.
Proof
In the first place we notice that the existence and unicity conditions for the solutions of the Riccati equation are fulfilled and that, therefore, given a point (x, y), \(x>0\), there is only one value of t such that \(\gamma _{t,a,\nu }(x)=y\). Therefore, the integral lines can not cross.
Now, taking into account (10) we know the graph of \(\gamma _{t,a,\nu }(x)\) approaches the graph of \(\gamma _{0,a,\nu }(x)\) as \(x\rightarrow +\infty \) and, on the other hand, it is easy to check that \(\gamma _{t,a,\nu }(0^+)<\gamma _{0,a,\nu }(0^+)\), \(t\ne 0\) (see (11)) for \(\nu \ge 1\), and use the series given in the Appendix for \(0\le \nu <1\)).
For the case \(t\in (-1,0)\), and because \(I_{\nu }(x)/K_{\nu }(x)\) increases monotonically from 0 to \(+\infty \) in \((0,+\infty )\), there exists a single \(x_{\infty }>0\) such that \(I_{\nu }(x_{\infty })/K_{\nu }(x_{\infty })= -\tan (\pi t/2)\). Therefore the denominator of (5) is zero at \(x_{\infty }\), where the function has a vertical asymptote. Because the solution tends to \(\gamma _{0,a,\nu }(x)>0\) as \(x\rightarrow +\infty \), then \(\gamma _{t,a,\nu }(x)>\gamma _{0,a,\nu }(x)\) for \(x>x_{\infty }\) and \(\gamma _{t,a,\nu }(x)<\gamma _{1,a,\nu }(x)\) for \(0<x<x_{\infty }\), and therefore the graph of the solution is outside D.
On the other hand, if \(t\in (0,1)\) the denominator of (5) is always positive and \(\gamma _{t,a,\nu }(x)\) is continuous and its graph lies below the graph of \(\gamma _{0,a,\nu }(x)\), and therefore is inside the region D. \(\square \)
Theorem 2
If \(\nu \ge 1\), there are no other regular and strictly monotonic solutions of (7) other than \(\gamma _{0,a,\nu }(x)\) and \(\gamma _{1,a,\nu }(x)\).
\(\gamma _{0,a,\nu }(x)\) is strictly monotonic except when \(a\in (-1,0)\).
\(\gamma _{1,a,\nu }(x)\) is strictly monotonic except when \(a\in (0,1)\).
Proof
As discussed before, the solutions with \(t\in (-1,0)\) have a discontinuity and therefore, the only thing left to prove is that the solutions with \(t\in (0,1)\) are not monotonic and the particular cases for \(t=0\) and \(t=1\) give monotonic solutions if \(a\notin (0,1)\) and \(a\notin (-1,0)\) respectively.
We first observe that Theorem 1 implies that one or two of the nullclines are inside the region D, namely, the graph of \({\hat{\gamma }}_{a,\nu }^+ (x)\) is inside D if \(a\ge 0\) while \({\hat{\gamma }}_{a,\nu }^- (x)\) is inside D if \(a\le 0\).
Now, because of (10) and (11) the graph of \(\gamma _{t,a,\nu }(x)\), for any \(t\in (0,1)\) tends to the upper boundary of D as \(x\rightarrow +\infty \) and to the lower boundary as \(x\rightarrow 0^+\). Therefore, it crosses the nullcline(s) inside D. More specifically, there is a local maximum if \(a\ge 0\) because \({\hat{\gamma }}_{a,\nu }^+ (x)\) is inside D and a minimum if \(a\ge 0\) because \({\hat{\gamma }}_{a,\nu }^- (x)\) is inside D.
For \(a\in (0,1)\) the solution \(\gamma _{0,a,\nu }(x)\) keeps being monotonic (see Remark 3), but not \(\gamma _{1,a,\nu }(x)\) because the derivative changes sign as can be checked by considering the expansions as \(x\rightarrow 0^+\) and \(x\rightarrow +\infty \) of the Appendix; \(\gamma _{0,a,\nu }(x)\) has a maximum in this case. The rest of solutions, can not be regular and monotonic, by the same arguments as before. The same can be said for \(a\in (-1,0)\), changing the roles of \(\gamma _{0,a,\nu }(x)\) and \(\gamma _{1,a,\nu }(x)\); \(\gamma _{0,a,\nu }(x)\) has a minimum in this case. \(\square \)
From the bounds from the Riccati equations and the use of the recurrence relation, most of the know Amos-type inequalities of the form \((\alpha +\sqrt{\beta ^2+x^2})/x\) can be established (see [12, 13]), with the exception of the Simpson-Spector bound [15], which follows from arguments similar but not identical to the ones considered here for the Riccati equations. We will not be exhaustive in the description of these bounds, and we refer to [7] for a systematic analysis of Amos-type bounds. Here we concentrate on the bounds that can be extracted from the qualitative analysis of first order differential equations. A way to extend the analysis was considered in [12] by iteration of the Riccati equations, and we explore an in Sect. 3 alternative possibility by considering the differential equation satisfied by double ratios, similar to that described in [14] for Parabolic Cylinder functions.
We end this section with an analysis of the monotonicity properties and bounds for the ratio the monotonicity properties discussed so far.
2.1 Properties for the Product \(I_{\nu }(x)K_{\nu }(x)\)
We notice that, using the Wronskian relation [10, 10.28.2]
and the recurrence relation (2) we have
and then we obtain the following relation with the product \(I_{\nu }(x) K_{\nu }(x)\):Footnote 2
Then, using our previous notation
Now we notice that Theorem 1 and Remark 2 estate that both \(\gamma _{0,-1,\nu }(x)\) and \(-\gamma _{1,-1,\nu }(x)\) are increasing functions if \(\nu \ge -1\), and that this proves that \(I_{\nu }(x)K_{\nu }(x)\) is decreasing for \(\nu \ge -1\). This enlarges the range of validity of the result proved in [11], which was later extended to \(\nu \ge -1/2\) in [2]. Here we have just proved this result in a very straightforward way and in the larger range \(\nu \ge -1\). We also prove next that \(xI_{\nu }(x)K_{\nu }(x)\) is increasing for \(\nu \ge 1/2\). We collect both results in a single theorem:
Theorem 3
Let \(f_{\lambda ,\nu }(x)=x^{\lambda }I_{\nu }(x)K_{\nu }(x)\), then
-
1.
If \(\lambda \le 0\) and \(\nu \ge -1\) \(f_{\lambda ,\nu }(x)\) is strictly decreasing for \(x>0\).
-
2.
If \(\lambda \ge 1\) and \(\nu \ge 1/2\) \(f_{\lambda ,\nu }(x)\) is strictly increasing for \(x>0\).
Proof
We only need to prove this result for \(\lambda =0,1\); for the rest of values it follows immediately.
For \(\lambda =0\), as commented before, the relation (13) and the fact that both \(\gamma _{0,-1,\nu }(x)\) and \(-\gamma _{1,-1,\nu }(x)\) are strictly increasing functions proves the result.
For \(\lambda =1\) we have
and we need to prove that \(\Phi '_{0,\nu }(x)-\Phi '_{1,\nu }(x)<0\) if \(\nu \ge 1/2\).
Using (4), which is satisfied by \(\Phi _{0,\nu }(x)\) and \(\Phi _{1,\nu }(x)\), we have
and because \(\Phi _{0,\nu }(x)>0\) and \(\Phi _{1,\nu }(x)<0\) we only need to prove that \(\Phi _{0,\nu }(x)+\Phi _{1,\nu }(x)>\frac{\displaystyle {2\nu -1}}{\displaystyle {x}}\) if \(\nu \ge 1/2\), which is easy to check by using some of the bounds of Theorem 1. Namely, we use that \(\Phi _{0,\nu }(x)>\lambda _{0,\nu }^+ (x)\) if \(\nu \ge 1/2\) and that \(\Phi _{1,\nu }(x)>-1/\lambda _{1,\nu }^+ (x)\) for all real \(\nu \). Then, for \(\nu \ge 1/2\):
\(\square \)
Remark 4
For \(\lambda \in (0,1)\) and \(\nu >0\), \(f_{\lambda ,\nu }(x)\) is not monotonic, as can be easily checked using (44) and (45).
For \(\lambda >1\) the range for which \(f_{\lambda ,\nu }(x)\) increases becomes larger as \(\lambda \) increases; for \(\lambda =2\) Theorem 1 guarantees that the result is valid at least for \(\nu \ge 0\). We don’t analyze here these further details.
Using (13) and the bounds for the ratios of Bessel functions, sharp bounds for the product can be established. We will not be exhaustive in this discussion, as the bounds can be straightforwardly derived. We just give two of these bounds, which are obtained from Theorem 1 (more bounds are available from this same theorem).
Theorem 4
The following two bounds hold:
Proof
For the upper bound use (13) and that \(\Phi _{0,\nu }(x)>\lambda ^+_{0,\nu }(x)\) and \(\Phi _{1,\nu }(x)<-1/\lambda ^+_{0,\nu }(x)\), \(\nu \ge 1/2\). For the lower bound use \(\Phi _{0,\nu }(x)<\lambda ^+_{-1,\nu }(x)\), \(\nu \ge -1\), and \(\Phi _{1,\nu }(x)>-1/\lambda ^+_{1,\nu }(x)\), \(\nu \in {\mathbb R}\). \(\square \)
These two bounds (as all the bounds that can be extracted from Theorem 1) are sharp as \(x\rightarrow +\infty \). They are not sharp, however, as \(x\rightarrow 0^+\). This is in contrast with the bounds in [4, Thm. 2], which are sharp as \(x\rightarrow 0^+\) and \(\nu >0\) but not as \(x\rightarrow +\infty \). This is as expected, because we are using bounds for the ratios which are sharp as \(x\rightarrow +\infty \) but not as \(x\rightarrow 0^+\); however, upper and lower bounds for the ratios which are sharp in both limits are available (see for instance [12]), and from there it is straightforward to obtain sharp bounds for the product. In particular, the bounds from the iteration of the Riccati equation given in [12] are sharp in both limits. We don’t give here such bounds for the product explicitly, which are straightforward applications of previous results, but we will obtain later a new very sharp trigonometric bound which is very accurate in the three limits \(x\rightarrow 0^+\), \(x\rightarrow +\infty \) and \(\nu \rightarrow +\infty \).
3 Very Sharp Trigonometric Bounds
As in [14], we will study the monotonicity properties of the double ratios
and we will establish very sharp trigonometric bounds from these monotonicity properties.
That the double ratios are monotonic both for the first and second kind modified Bessel functions, has been separately shown in two different papers by different methods [16, 17]. First, in [16] it was proved that \(K_{u}(x)K_{v}(x)/K_{(u+v)/2}(x)^2\) is strictly decreasing for \(x>0\) and real u, v; integral representation for the product and ratios of modified Bessel functions of the second kind were considered in this analysis. Later, in [17] it was shown that the ratio \(I_{u}(x)I_{v}(x)/I_{(u+v)/2}(x)^2\), \(\min \{u,v\}>-2\), \(u+v>-2\), \(u,v\ne -1\) is strictly increasing for \(x>0\), using the Frobenius series for the Bessel functions. Here, we give a more restricted version of these properties (\(|u-v|=2\)), but we do this in a single analysis for the first and second kind functions, we prove that such monotonicity properties are unique for these two solutions and we obtain bounds for the ratios and products that are sharper and of a different type to those obtained with previous analysis.
Using (2) we have
And in terms of
which satisfies
we have that
and differentiating (17)
Next we will analyze the qualitative properties of the solutions of the system of equations (18)–(17), and from these we will obtain very sharp trigonometric bounds. Notice that (18) has been obtained by differentiating (17) and using (16) and that, conversely, differentiating (17) and using (18) we obtain that the possible differentiable \(\psi _\nu \)-solutions of the system (18)–(17) are the trivial solution \(\psi _{\nu }(x)=0\) and the solutions of (16), with general solution given by (5). For obvious reasons (the objective is to find properties for modified Bessel functions) we are only considering the latter solutions, in which case the solutions \(W_{\nu }(x)\) are
where \(\alpha =\pi t/2\), \(t\in (-1,1]\).
Remark 5
We notice that, because of (17), \( W_{t,\nu }(x)>-\frac{\displaystyle {\nu ^2}}{\displaystyle {x^2}} \) for any real t.
From now on, we will drop the notation \(W_{t,\nu }(x)\) in favor or \(W_{\nu }(x)\). We will recover it in Theorem 7.
For analyzing the qualitative properties of the solutions of the system (18)–(17) we need to analyze the nullclines of (18), which determine the monotonicity properties of the solutions.
3.1 Properties of the Nullclines
For proving the monotonicity properties and bounds for the double ratio \(W_{\nu }(x)\), we need to analyze the nullclines in terms of the values of \(\psi _{\nu }(x)\) which make the right-hand of Eq. (18) zero and then to study the corresponding values of \(W_{\nu }(x)\) and their monotonicity. We first analyze in Lemma 3 the nullclines in terms of the values of \(\psi _{\nu }(x)\); after this, the properties for the corresponding values of \(W_{\nu }(x)\) are analyzed in Lemmas 4 and 5. Once these lemmas are proved, the main results can be estated.
Lemma 3
The cubic equation
has three distinct real roots
such that \(\lambda _{\nu }^{(K)}(x)<-|\nu |\), \(\lambda _\nu ^{(O)}(x)\in (-|\nu |,0)\) and \(\lambda _\nu ^{(I)}(x)>|\nu |\).
These solutions can be written
where
\(\alpha =0\) for \(\lambda _\nu ^{(I)}(x)\), \(\alpha =2\pi /3\) for \(\lambda _\nu ^{(K)}(x)\) and \(\alpha =-2\pi /3\) for \(\lambda _\nu ^{(O)}(x)\).
The three solutions are even functions of x. For \(x>0\) \(\lambda _{\nu }^{(I)}(x)\) and \(\lambda _{\nu }^{(O)}(x)\) are strictly increasing and \(\lambda _{\nu }^{(K)}(x)\) strictly decreasing.
Proof
Let \(f (\lambda )=\lambda ^3+\lambda ^2-(\nu ^2+x^2)\lambda -\nu ^2\), we have that \(f (-\infty )=-\infty \), \(f(-|\nu |)=x^2 |\nu |>0\), \(f(0)=-\nu ^2 <0\), \(f(\nu )=-x^2 |\nu |>0\), \(f(+\infty )=+\infty \). Therefore, by Bolzano’s theorem, there is for any \(x\ne 0\) one root in \((-\infty ,-|\nu |)\) (\(\lambda _{\nu }^{(K)}(x)\)), a second root in \((-|\nu |,0)\) (\(\lambda _{\nu }^{(O)}(x)\)) and finally a root in \((|\nu |,+\infty )\) (\(\lambda _{\nu }^{(I)}(x)\)).
For solving the equation, we transform the cubic \(f(\lambda )=0\) to depressed form with the change \(\lambda =\mu -\frac{1}{3}\) and we have \(\mu ^3-p\mu -q=0\) with \(p=\nu ^2+x^2+\frac{1}{3}\) and \(q=\frac{2}{3} \nu ^2 -\frac{1}{3} x^2-\frac{2}{27}\) and using the well know trigonometric formula for the solution of a depressed cubic:
from where we have that the solutions have the form (21). The solutions are differentiable when the absolute value of the argument of the \(\arccos \) is smaller than 1, which is equivalent to saying that the discriminant \(\Delta =-(4p^3+27 q^2)\) is positive, and we have
which is positive for \(x\ne 0\) (see remark 8).
Now we expand as \(x\rightarrow +\infty \) for the three values \(\alpha =0,\pm 2\pi /3\) and we get
which shows that the ordering \(\lambda _{\nu }^{(K)}(x)<\lambda _{\nu }^{(O)}(x)<\lambda _{\nu }^{(I)}(x)\) is correct.
That the solutions are even functions is immediate given the symmetries of the equation and the monotonicity follows by taking the derivative of (20), from where
Consider now \(x>0\). The numerator does not change sign and neither does the denominator, because if the denominator was zero for some \(x>0\) then \(\lambda _{\nu }(x)\) would not be differentiable for this x, which can not be true. Then, the sign of the denominator for \(x>0\) is equal to its sign as \(x\rightarrow +\infty \) which, using (22), is positive for \(\lambda _{\nu }(x)= \lambda _{\nu }^{(I)}(x)\) and \(\lambda _{\nu }(x)= \lambda _{\nu }^{(K)}(x)\), while it is negative for \(\lambda _{\nu }(x)= \lambda _{\nu }^{(O)}(x)\). Now, because \(\lambda _{\nu }^{(I)}(x)>0\) and the other two solutions are negative the monotonicity properties follow. \(\square \)
Remark 6
The notation \(\lambda _{\nu }^{(I)}(x)\) is used because this solution will be related to a bound for \(I_{\nu -1}(x)/I_{\nu }(x)\). Similarly, \(\lambda _{\nu }^{(K)}(x)\) is related to \(K_{\nu -1}(x)/K_{\nu }(x)\).
Remark 7
For \(\nu =0\) the solutions are, trivially, \(\lambda _{0}^{(I)}(x)=(-1+\sqrt{1+4x^2})/2\), \(\lambda _0^{(O)}(x)=0\) and \(\lambda _{0}^{(I)}(x)=(-1-\sqrt{1+4x^2})/2\).
Remark 8
As explained in the previous proof, the solutions \(\lambda _{\nu }(x)\) are simple if \(x\ne 0\). We will be interested in the case \(x>0\). For \(x=0\), the solutions are trivially \(\lambda _{\nu }(x)=-1,\pm \nu \). The identification with the previous notation is given by \(\lambda _{\nu }^{(I)}(0)=|\nu |\), \(\lambda _{\nu }^{(K)}(0)=\min \{-1,-|\nu |\}\), \(\lambda _{\nu }^{(O)}(0)=\max \{-1,-|\nu |\}\) (which implies quite curious trigonometric identities)
Lemma 4
We define
Then, for all \(x>0\), \(w_{\nu }^{(K)}(x)>w_{\nu }^{(I)}(x)>0\), \(w_{\nu }^{(O)}(x)<0\).
Proof
First we observe that the fact that \(w_{\nu }^{(I)}(x)>0\) and \(w_{\nu }^{(K)}(x)>0\) while \(w_{\nu }^{(O)}(x)<0\) is a consequence of the fact that (see Lemma 3), \(|\lambda _{\nu }^{(I)}(x)|>|\nu |\) and \(|\lambda _{\nu }^{(K)}(x)|<|\nu |\) while \(|\lambda _{\nu }^{(I)}(x)|>|\nu |\).
To prove that \(w_{\nu }^{(K)}(x)>w_{\nu }^{(I)}(x)\) for \(x>0\) we check that \(w_{\nu }^{(I)}(x)\ne w_{\nu }^{(I)}(x)\) for all \(x>0\) and that \(w_{\nu }^{(K)}(x)>w_{\nu }^{(I)}(x)\) for large x.
Indeed, if we had \(w_{\nu }^{(I)}(x)= w_{\nu }^{(I)}(x)\) this would imply that for such \(x>0\) \(\lambda _{\nu }^{(I)}(x)=- \lambda _{\nu }^{(K)}(x)\). Then, for this value of x we have that both \(\lambda _{\nu }(x)=\lambda _{\nu }^{(I)}(x)\) and \(-\lambda _{\nu }(x)\) are solutions of (20). Then:
and adding both equations \(\lambda _n (x)^2=\lambda _{\nu }^{(I)}(x)^2=\nu ^2\), which does not hold for \(x>0\). Therefore \(w_{\nu }^{(I)}(x)\ne w_{\nu }^{(I)}(x)\) for all \(x>0\).
Now, expanding as \(x\rightarrow +\infty \):
and the first two terms suffice to see that \(w_{\nu }^{(K)}(x)>w_{\nu }^{(I)}(x)\) for large x and therefore that this holds for all \(x>0\). \(\square \)
Lemma 5
For all real \(\nu \) and for \(x>0\) we have \(w_{\nu }^{(K)\prime }(x)<0\), \(w_{\nu }^{(I)\prime }(x)>0\) and \(w_{\nu }^{(O)\prime }(x)>0\), except that \(w_{0}^{(O)}(x)=0\).
Proof
We take the derivative in \(w_{\nu }(x)=(\lambda _{\nu }(x)-\nu ^2)/x^2\), where \(\lambda _{\nu }(x)\) is any of the solutions of (20)
and using (23) we have
where \(f_{\nu }(x)=3\lambda _{\nu }(x)^2+2\lambda _{\nu }(x)-(\nu ^2+x^2)\) which, as discussed at the end of the proof of lemma 4, is negative for \(\lambda _{\nu }(x)=\lambda _{\nu }^{(O)}(x)\) and positive for the other two roots.
Now writing \(-\lambda _\nu (x)^4=-\lambda _\nu (x)\lambda _\nu (x)^3\) and using (20) to eliminate \(\lambda _{\nu }(x)^3\) we arrive at
Now, we are proving that none of the solutions of (20) are such that \(w'_{\nu }(x)=0\) for any \(x>0\). After we have proved this, we will only need to analyze the sign of \(w'_{\nu }(x)\) as \(x\rightarrow +\infty \) in order to prove the lemma. In other words, what we need to prove first is that for any \(x>0\) no \(\lambda _\nu (x)\) exists such both right-hand sides of (20) and (26) vanish, that is, that no \(\lambda _\nu (x)\) exists such that
for no \(x>0\).
We subtract both equations and then
For \(\nu ^2=1\) the solution is \(\lambda _{\nu }(x)=-1\) for which \(h_{\nu }(x)=x^2\ne 0\). For \(\nu ^2\ne 1\) we solve the quadratic equation and substitute the solutions in the expression of \(h_{\nu }(x)\), yielding
which should be zero. However, this is only possible if \(x=0\) (and we are not considering this case) or if \(\nu =0\), in which case (27) implies \(\lambda _\nu (x)=0=\lambda _{\nu }^{(O)}(x)\) (see remark 7). Indeed, for \(h_{\nu }(x)\) to be zero we need first that \(\Delta \ge 0\) and then also that \(\Delta -B^2=0\), but
which is different from zero unless \(\nu ^2=1\) (case already considered) and \(\nu =0\), which is the trivial case \(\lambda _\nu (x)=0=\lambda _{\nu }^{(O)}(x)\).
With this, we have demonstrated that \(w_{\nu }^{(A)\prime }(x)\), \(A=I,K,O\) do not change sign for \(x>0\) and \(\nu \ne 0\). Now, from (25) we see that \(w_{\nu }^{(I)\prime }(x)>0\), \(w_{\nu }^{(K)\prime }(x)<0\). On the other hand, computing the expansion for \(w_{\nu }^{(O)}(x)\) as \(x\rightarrow \infty \):
and therefore \(w_{\nu }^{(O)\prime }(x)>0\) \(\square \)
3.2 Main Results
Theorem 5
Let us consider the differential equation
with
and \(x>0\). Let \(\lambda _{\nu }^{(A)}(x)\) and \(w_{\nu }^{(A)}(x)\), \(A=I,O,K\), be as defined in Lemmas 3 and 4.
The following holds:
-
1.
If \(\psi _{\nu }(0^+)>0\), \(W_{\nu }(0^+)>0\) and \(W'_{\nu }(0^+)>0\) then \(W'_{\nu }(x)>0\), \(\psi '_{\nu }(x)>0\), \(|\nu |<\psi _{\nu }(x)<\lambda _{\nu }^{(I)}(x)\) and \(0<W_{\nu }(x)<w_{\nu }^{(I)}(x)\) for all \(x>0\).
-
2.
If \(\psi _\nu (+\infty )<0\), \(W_{\nu }(+\infty )>0\) and \(W'_{\nu }(+\infty )<0\) then \(W'_{\nu }(x)<0\), \(\psi '_{\nu }(x)<0\), \(\lambda _{\nu }^{(K)}(x)<\psi _{\nu }(x)<-|\nu |\) and \(0<W_{\nu }(x)<w_{\nu }^{(K)}(x)\) for all \(x>0\).
Proof
In both cases we have to take into account that
where \(\lambda _{\nu }^{(I)}(x)>\lambda _{\nu }^{(O)}(x)>\lambda _{\nu }^{(K)}(x)\) and only \(\lambda _{\nu }^{(I)}(x)\) is positive (Lemma 3).
For proving this result we will let the solution of the differential equation evolve from \(x=0^+\) to \(+\infty \) in the first case and from \(+\infty \) to \(0^+\) in the second case, checking that none of the nullclines (curves where \(W'_{\nu }(x)=0\)) is reached by the solution and therefore the monotonicity does not change, which in turn implies the bounds for \(\psi _{\nu }(x)\) and \(W_{\nu }(x)\). We prove in detail the first case; the second case can be proved in an analogous way.
1. Since \(\lambda _{\nu }^{(I)}(x)>0\) while \(\lambda _{\nu }^{(K)}(x)<\lambda _{\nu }^{(O)}(x)<0\), and because \(\psi _{\nu }(0^+)>0\) and \(W'_{\nu }(0^+)>0\), then \(0<\psi _{\nu }(0^+)<\lambda _\nu ^{(I)}(0^+)\). In addition \(W_{\nu }(0^+)>0\) which means, using (30) \(\psi _{\nu }(0^+)>|\nu |\) and differentiating (30), that also \(\psi '_{\nu }(0^+)>0\).
As a first step, we prove that if there exists \(x_{\nu }\) such that \(\psi _{\nu }(x_\nu )=|\nu |\), \(\psi _{\nu }(x_\nu )>\nu \) in \((0,x_\nu \)), there there exists a value \(0<x_e<x_\nu \) such that \(\psi _\nu (x_e)=\lambda _{\nu }^{(I)} (x_e)\). Indeed, because \(\psi _{\nu }(0^+)>|\nu |\) by Rolle’s theorem there exists \(0<x_m<x_\nu \) such that \(\psi '_{\nu } (x_m)=0\), and because differentiating (30) \(2\psi _\nu (x)\psi '_{\nu }(x)=x^2W'_\nu (x)+2xW_\nu (x)\), then \(W_\nu (x_m)W'_\nu (x_m)<0\) which means, because \(W_{\nu }(0^+)>0\) and \(W'_{\nu }(0^+)>0\), that there must exist \(0<x_e<x_m\) such that \(W'_\nu (x_e)=0\); now, since \(\psi _\nu (x_e)>|\nu |\) necessarily \(\psi _\nu (x_e)=\lambda _\nu ^{(I)}(x_e)\). This proves that \(\psi _{\nu }(x)>|\nu |\) and therefore \(W_\nu (x)>0\) as long as \(x<x_e\) and that if the solution crosses a nullcline, the first nullcline which is crossed must be the one corresponding to \(\lambda _\nu ^{(I)}(x)\).
Now, we consider the potential interval \((0,x_e)\), where \(\phi _\nu (x)>\nu \), \(W_\nu (x)>0\), and prove that such value \(x_e\) for which \(\psi _\nu (x_e)=\lambda _\nu ^{(I)}(x_e)\) does not exist.
Because \(\psi _{\nu }(0^+)<\lambda _\nu ^{(I)} (0^+)\) we have that \(W_\nu (0^+)<w_{\nu }^{(I)}(0^+)\) and therefore the curve \(y=W_{\nu }(x)\) lies below the curve \(y=w_{\nu }^{(I)}(x)\) for \(x=0^+\). But then it is not possible that the curve \(y=W_{\nu }(x)\) interesects the curve \(y=w_{\nu }^{(I)}(x)\), because at the possible intersection point \(W_\nu (x_e)=w_\nu ^{(I)}(x_e)\), and because \(\psi _\nu (x)>|\nu |\) in \((0,x_e)\), we then have \(\psi _{\nu }(x)=\lambda _{\nu }^{(I)}(x)\) and therefore \(W'_\nu (x_e)=0\). This is contradictory with the facts that \(w_{\nu }^{(I)}(x)\) is increasing (see Lemma 5) and that the curve \(y=W_{\nu }(x)\) lies below the curve \(y=w_{\nu }^{(I)}(x)\).
Then, because the crossing point \(x_e\) does not exist we have proved that \(\nu<\psi _{\nu }(x)<\lambda _{\nu }^{(I)}(x)\) for all x, from where the rest of results follow. \(\square \)
We now establish the bounds for first and second kind modified Bessel function ratios
Theorem 6
The following results hold for \(\nu \ge 0\), \(x>0\):
-
1.
\(\Psi _{\nu }^{(I)}(x)=x\frac{\displaystyle {I'_{\nu }(x)}}{\displaystyle {I_{\nu }(x)}}\) and \( W_{\nu }^{(I)}(x)=\frac{\displaystyle {I_{\nu -1}(x)I_{\nu +1}(x)}}{\displaystyle {I_{\nu }(x)^2}}\) are strictly increasing functions.
-
2.
\(\nu<\Psi _{\nu }^{(I)}(x)<\lambda _\nu ^{(I)}(x)\) and \(0<W_\nu ^{(I)}(x)<w_\nu ^{(I)}(x)\).
-
3.
\(\Psi _{\nu }^{(K)}(x)=x\frac{\displaystyle {K'_{\nu }(x)}}{\displaystyle {K_{\nu }(x)}}\) and \( W_{\nu }^{(K)}(x)=\frac{\displaystyle {K_{\nu -1}(x)K_{\nu +1}(x)}}{\displaystyle {K_{\nu }(x)^2}}\) are strictly decreasing functions.
-
4.
\(\lambda _\nu ^{(K)}(x)<\Psi _{\nu }^{(K)}(x)<-\nu \) and \(0<W_\nu ^{(K)}(x)<w_\nu ^{(K)}(x)\).
Proof
Let \(\nu \ge 0\) and \(x>0\). Choosing \(\psi _{\nu }(x)\) as
the hypothesis (1) of Lemma 5 are fulfilled, and choosing
the hypothesis (2) of the same lemma are satisfied. \(\square \)
Corollary 1
For \(x>0\) and \(\nu \ge 0\) the following holds:
where \(g_\nu (x)=\sqrt{3(\nu ^2+x^2)+1}\), \(h_{\nu }(x)=9\nu ^2-\frac{\displaystyle {9}}{\displaystyle {2}}x^2-1\).
Same as happened in Sect. 2, it turns out that the first and second kind modified Bessel functions have unique monotonicity properties, and that the only regular and monotonic solutions for the system (18)–(17) are those corresponding to these two particular cases, as we prove next.
Theorem 7
Let \(\nu \ge 1\), then the function
\(\alpha =\pi t/2\), \(t\in (-1,1]\), is regular and monotonic if and only if \(t=0,1\).
Proof
The monotonicity for \(\alpha =0,\pi /2\) has already been proven, and we have to prove that no other selection of \(\alpha \) gives regular and monotonic solutions.
For the case \(\alpha \in (-\pi /2,\pi /2)\setminus \{0\}\), for the reasons discussed in Lemma 2, we have that if \(\alpha \in (-\pi /2,0)\) the denominator has exactly one zero at the value of \(x=x_d\) for which \(\tan \alpha =-I_{\nu }(x^{(d)})/K_{\nu }(x^{(d)})\) while if \(\alpha \in (0,\pi /2)\) the numerator has two zeros, one at \(x=x_1^{(n)}\), with \(\tan \alpha =I_{\nu -1}(x_1^{(n)}) /K_{\nu -1}(x_1^{(n)})\) and the other one \(x=x_2^{(n)}\) such that \(\tan \alpha =I_{\nu +1}(x_2^{(n)})/K_{\nu +1}(x_2^{(n)})\).
We notice that necessarily \(x_1^{(n)}\ne x_2^{(n)}\) because
as can be checked by considering the Wronskian relation [10, 10.28.2]
and using the recurrence relation (2) to eliminate \(K_{\nu }(z)\) and \(I_{\nu }(z)\). On the other hand (12) also shows that
which together with the fact that these ratios of Bessel functions are increasing implies that \(x_1^{(n)}<x_2^{(n)}\).
We note that for \(x>x_2^{(n)}\), \(W_{t,\nu }(x)>0\), because as \(x\rightarrow +\infty \), \(W_{t,\nu }(x)\sim W_{0,\nu }(x)>0\) for all t. Therefore \(W_{t,\nu }(x)<0\) in \((x_1^{(n)},x_2^{(n)})\) and \(W_{t,\nu }(x_1^{(n)})=W_{t,\nu }(x_2^{(n)})=0\). Then, by Rolle’s theorem there exist \(x_m\in (x_1^{(n)},x_2^{(n)})\) where \(W'_{t\nu }(x_m)=0\), and in addition \(W_{t,\nu }(x_m)<0\); then, necessarily \(x_m\) must be such that \(W_{t,\nu }(x_m)=w^{(O)}(x_m)<0\), and \(W_{t,\nu }(x)\) reaches its absolute minimum at \(x_m\), and of course it is not monotonic. \(\square \)
Remark 9
That only two monotonic and regular solutions exists is no longer true for smaller values of \(\nu \). For instance, it is easy to check that for \(\nu \in (0,1)\) the solutions satisfying \(\tan \alpha \le \frac{\displaystyle {2}}{\displaystyle {\pi }}\sin (\pi \nu )\) are monotonic.
We end this section by obtaining some inequalities for the product of Bessel functions which are a direct consequence of the previous trigonometric bounds, and we propose a conjecture.
Theorem 8
The following bound holds for \(\nu \ge 0\):
where \(g_\nu (x)=\sqrt{3(\nu ^2+x^2)+1}\), \(h_{\nu }(x)=9\nu ^2-\frac{\displaystyle {9}}{\displaystyle {2}}x^2-1\).
Proof
Adding the bounds of Corollary 1
This sum is positive because both summands are. Now, using (13) the result follows. \(\square \)
As we later check, this is a bound which is very sharp in the three limits \(x\rightarrow 0^+\), \(x\rightarrow +\infty \) and \(\nu \rightarrow +\infty \). Of course, a simpler but less sharp bound can be established by bounding the sine function by 1. Then, we have:
Corollary 2
For \(\nu \ge 0\) the following holds
The previous bound is sharp as \(x\rightarrow +\infty \) (see (44)) but not as \(x\rightarrow 0^+\). The factor 2 in the denominator can not be changed without losing the sharpness, and it is the best possible constant in this sense. However, the summand 1/3 inside the root can be lowered. We have checked numerically the validity of the following result, for which we have no proof so far:
Conjecture 1
For \(x>0\) and \(\nu \ge -1\) the following bound holds:
and this is the best possible bound of the form \(a/\sqrt{x^2+\nu ^2+b}\).
3.3 Sharpness of the Bounds
For analyzing the sharpness of these bounds we denote by \(U_{\nu }^{(I)}(x)\) the upper bound for \(I_{\nu -1}(x)/I_{\nu }(x)\) of the previous corollary, and by \(U_{\nu }^{(K)}(x)\) the corresponding bound for \(K_{\nu -1}(x)/K_{\nu }(x)\) and define the relative accuracy
and similarly for the second kind Bessel function. Considering the expansions detailed in the Appendix we have the following results:
Corollary 3
The upper bound for the ratio of modified Bessel functions of the first kind, \(U_\nu ^{(I)}(x)\), is very sharp as \(x\rightarrow +\infty \), \(x\rightarrow 0^+\) and \(\nu \rightarrow +\infty \) in the sense that
Corollary 4
The relative accuracy for the upper bound for the modified Bessel function of the second kind verifies:
Corollary 5
The relative accuracy for the product \(I_{\nu }(x)K_{\nu }(x)\) verifies:
Remark 10
The errors for the expansions as \(x\rightarrow 0^+\) in Corollaries 4 and 5 must be multiplied by \(\log x\) when \(\nu \in {{\mathbb {N}}}\). See the Appendix.
Notes
The complex notation is not substantial and we could have also defined a second solution for real \(\nu \) as \((-1)^{\lfloor \nu \rfloor }K_{\nu }(x)\)
Considering the difference-differential relation (1) we have that \(\frac{\displaystyle {I_{\nu -1}(x)}}{\displaystyle {I_{\nu }(x)}}+\frac{\displaystyle {K_{\nu -1}(x)}}{\displaystyle {K_{\nu }(x)}}= \frac{\displaystyle {d}}{\displaystyle {dx}}\log \left( \frac{\displaystyle {I_{\nu }(x)}}{\displaystyle {K_{\nu }(x)}}\right) \) and therefore the properties we will establish for the product have a direct counterpart for the logarithmic derivative of the ratio.
References
Azari, M.M., Rosas, F., Chen, K., Pollin, S.: Ultra reliable uav communication using altitude and cooperation diversity. IEEE Trans. Commun. 66(1), 330–344 (2018)
Baricz, Á.: On a product of modified Bessel functions. Proc. Am. Math. Soc. 137(1), 189–193 (2009)
Baricz, Á.: Bounds for Turánians of modified Bessel functions. Expo. Math. 33(2), 223–251 (2015)
Baricz, Á., Maširević, D.J., Ponnusamy, S., Singh, S.: Bounds for the product of modified Bessel functions. Aequationes Math. 90(4), 859–870 (2016)
Calvo-Schwarzwälder, M., Hennessy, M.G., Torres, P., Myers, T.G., Alvarez, F.X.: A slip-based model for the size-dependent effective thermal conductivity of nanowires. Int. Commun. Heat Mass Transf. 91, 57–63 (2018)
Dytso, A., Yagli, S., Poor, H.V., Shitz, S.S.: The capacity achieving distribution for the amplitude constrained additive gaussian channel: an upper bound on the number of mass points. IEEE Trans. Inf. Theory 66(4), 2006–2022 (2020)
Hornik, K., Grün, B.: Amos-type bounds for modified Bessel function ratios. J. Math. Anal. Appl. 408(1), 91–101 (2013)
Igarashi, G., Kakizawa, Y.: Re-formulation of inverse Gaussian, reciprocal inverse Gaussian, and Birnbaum–Saunders kernel estimators. Stat. Probab. Lett. 84, 235–246 (2014)
Laforgia, A., Natalini, P.: Some inequalities for modified Bessel functions. J. Inequal. Appl., pages Art. ID 253035, 10 (2010)
Olver, F.W.J., Maximon, L.C.: Bessel functions. In: NIST handbook of mathematical functions, pages 215–286. U.S. Dept. Commerce, Washington, DC (2010)
Penfold, R., Vanden-Broeck, J., Grandison, S.: Monotonicity of some modified Bessel function products. Integral Transforms Spec. Funct. 18(1–2), 139–144 (2007)
Ruiz-Antolín, D., Segura, J.: A new type of sharp bounds for ratios of modified Bessel functions. J. Math. Anal. Appl. 443(2), 1232–1246 (2016)
Segura, J.: Bounds for ratios of modified Bessel functions and associated Turán-type inequalities. J. Math. Anal. Appl. 374(2), 516–528 (2011)
Segura, J.: Uniform (very) sharp bounds for ratios of Parabolic Cylinder functions. Stud. Appl. Math. 147(2), 816–833 (2021)
Simpson, H.C., Spector, S.J.: Some monotonicity results for ratios of modified Bessel functions. Quart. Appl. Math. 42(1), 95–98 (1984)
Yang, Z., Zheng, S.: The monotonicity and convexity for the ratios of modified Bessel functions of the second kind and applications. Proc. Am. Math. Soc. 145(7), 2943–2958 (2017)
Yang, Z., Zheng, S.: Monotonicity and convexity of the ratios of the first kind modified Bessel functions and applications. Math. Inequal. Appl. 21(1), 107–125 (2018)
Acknowledgements
The author acknowledges support from Ministerio de Ciencia e Innovación, Project PGC2018-098279-B-I00 (MCIU/AEI/FEDER, UE).
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
The ratios and double ratios
have, using [10, 10.4.1-2], the following expansions as \(x\rightarrow +\infty \):
where the upper sign corresponds to \({{{\mathcal {I}}}}_\nu (x)=I_\nu (x)\) and the lower sign to \({{{\mathcal {I}}}}_\nu (x)=e^{i{\i }\nu } K_\nu (x)\).
Using [10, 10.25.2], the Maclaurin series for the regular solution at \(x=0\), \(I_{\nu }(x)\), are, for \(\nu \ge 0\):
With respect to the modified Bessel function of the second kind as \(x\rightarrow 0^+\), because
we have that for \(\nu >1\), \(\nu \notin {{\mathbb {N}}}\)
and
while for \(0<\nu < 1\)
For integer \(\nu \) a logarithmic term enters the expansions for \(xK_{\nu -1}(x)/K_\nu (x)\) and for instance we have \(xK_{0}(x)/K_1 (x)={\mathcal {O}}(x\log x)\), \(xK_{2}(x)/K_1 (x)=x^2/2(1+{\mathcal {O}}(x^2\log (x)))\). For \(\nu =n\in {{\mathbb {N}}}\), the first terms in the expansion of \(xK_{\nu -1}(x)/K_{\nu }(x)\) are given by the first \(n-1\) terms in (42), which are well defined, and a logarithmic factor must be added to the error term in (41).
Using [10, 10.41.3-4] we get that as \(\nu \rightarrow +\infty \) for x fixed:
As for the product \(I_{\nu }(x) K_{\nu }(x)\) we have
where in the limit \(x\rightarrow 0^+\) and \(\nu \in {{\mathbb {N}}}\) similar modifications as that considered after (42) should be taken into account.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Segura, J. Monotonicity Properties for Ratios and Products of Modified Bessel Functions and Sharp Trigonometric Bounds. Results Math 76, 221 (2021). https://doi.org/10.1007/s00025-021-01531-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-021-01531-1