1 Introduction

In the recent papers [9, 10, 15], simple upper and lower bounds, involving the modified Bessel function of the first kind \(I_\nu (x)\), were obtained for the integral

$$\begin{aligned} \int _0^x \mathrm {e}^{-\beta u} u^\nu I_\nu (u)\,\mathrm {d}u, \end{aligned}$$
(1.1)

where \(x>0\) and \(0\le \beta <1\). The conditions imposed on \(\nu \) differed from one inequality to another, but, in order to ensure that the integral exists, it was always assumed that \(\nu >-\frac{1}{2}\). For \(0<\beta <1\), simple closed-form formulas are not available for this integral. The bounds of [9, 10, 15] were required in the development of Stein’s method [6, 22, 27] for variance-gamma approximation [7, 8, 12, 18]. Despite their simple form, the bounds of [9, 10, 15] are quite accurate, and so may also be effective in other problems concerning modified Bessel functions; see, for example, [4, 5] in which inequalities for modified Bessel functions of the first kind were used to establish tight bounds for the generalized Marcum Q-function, encountered in radar signal processing.

A natural analogue of the problem considered by [9, 10, 15] is to ask for simple bounds, involving the modified Lommel function of the first kind \(t_{\mu ,\nu }(x)\), for the integral

$$\begin{aligned} \int _0^x \mathrm {e}^{-\beta u} u^{\nu } t_{\mu ,\nu }(u)\,\mathrm {d}u, \end{aligned}$$
(1.2)

where \(x>0\), \(0\le \beta <1\), \(\mu +\nu >-2\), \(\mu -\nu \ge -3\) (that is \(\mu >-\frac{5}{2}\), \(-\mu -2<\nu \le \mu +3\)). The condition \(\mu +\nu >-2\) assures us that the integral exists, and the conditions \(\mu +\nu >-2\), \(\mu -\nu \ge -3\) together ensure that the integrand (when normalised according to (1.4)) is positive. This problem was recently studied by [13], and will also be the focus of this paper. Up to a multiplicative constant, the modified Lommel function \(t_{\mu ,\nu }(x)\) generalises the modified Struve function of the first kind \({\mathbf {L}}_\nu (x)\) (see (1.5)). Therefore, the problem of asking for simple bounds for the integral (1.2) is also a natural generalisation of the problem of obtaining simple bounds, in terms of the modified Struve function of the first kind, for the integral

$$\begin{aligned} \int _0^x \mathrm {e}^{-\beta u} u^{\nu } {\mathbf {L}}_\nu (u)\,\mathrm {d}u, \end{aligned}$$
(1.3)

where \(x>0\), \(0\le \beta <1\), \(\nu >-1\), that was recently studied by [11, 16].

The modified Lommel function of the first kind \(t_{\mu ,\nu }(x)\) is defined by the hypergeometric series

$$\begin{aligned}t_{\mu ,\nu }(x)=2^{\mu -1}\Gamma \big (\tfrac{\mu -\nu +1}{2}\big )\Gamma \big (\tfrac{\mu +\nu +1}{2}\big )\sum _{k=0}^\infty \frac{(\frac{1}{2}x)^{\mu +2k+1}}{\Gamma \big (k+\frac{\mu -\nu +3}{2}\big )\Gamma \big (k+\frac{\mu +\nu +3}{2}\big )}. \end{aligned}$$

It arises as a particular solution of the modified Lommel differential equation [23, 28]

$$\begin{aligned}x^2f''(x)+xf'(x)-(x^2+\nu ^2)f(x)=x^{\mu +1}. \end{aligned}$$

In the literature, different notation can be found for modified Lommel functions; we use that of [31]. The terminology modified Lommel function of the first kind is also not yet standard in the literature, but was recently introduced by [14]. This is consistent with the terminology Lommel function of the first kind used by [1] for the function \(s_{\mu ,\nu }(x)\), which is related to modified Lommel function of the first kind through \(t_{\mu ,\nu }(x)=-\mathrm {i}^{1-\mu }s_{\mu ,\nu }(\mathrm {i}x)\) (see [23, 31]). Modified Lommel functions are encountered in areas of the applied sciences as diverse as the theory of steady-state temperature distribution [19], stress distributions in cylindrical objects [24] and scattering amplitudes in quantum optics [29]; for a list of further applications see [14]. The modified Struve function of the first kind \({\mathbf {L}}_{\nu }(x)\), which is an important special case of the modified Lommel function \(t_{\mu ,\nu }(x)\), is itself a widely used special functions; see [3] for a list of some of its application areas.

It will be convenient to follow [14] and use the following normalisation for the purpose of removing cumbersome multiplicative constants from our calculations:

$$\begin{aligned} {\tilde{t}}_{\mu ,\nu }(x)=\frac{t_{\mu ,\nu }(x)}{2^{\mu -1}\Gamma \big (\frac{\mu -\nu +1}{2}\big )\Gamma \big (\frac{\mu +\nu +1}{2}\big )}=\sum _{k=0}^\infty \frac{(\frac{1}{2}x)^{\mu +2k+1}}{\Gamma \big (k+\frac{\mu -\nu +3}{2}\big )\Gamma \big (k+\frac{\mu +\nu +3}{2}\big )}. \end{aligned}$$
(1.4)

To ease the exposition, we will also refer to \({\tilde{t}}_{\mu ,\nu }(x)\) as the modified Lommel function of the first kind. From now on, we will work with the function \({\tilde{t}}_{\mu ,\nu }(x)\), with results for \(t_{\mu ,\nu }(x)\) being easily deduced. For example, in interpreting the bounds obtained in this paper, it is useful to note that

$$\begin{aligned}\frac{t_{\mu +1,\nu +1}(x)}{{\tilde{t}}_{\mu +1,\nu +1}(x)}=(\mu +\nu +1)\frac{t_{\mu ,\nu }(x)}{{\tilde{t}}_{\mu ,\nu }(x)}. \end{aligned}$$

We also note the important special case

$$\begin{aligned} {\tilde{t}}_{\nu ,\nu }(x)= {\mathbf {L}}_\nu (x). \end{aligned}$$
(1.5)

A list of further basic properties of the modified Lommel function \({\tilde{t}}_{\mu ,\nu }(x)\) that are needed in this paper is given in Appendix A.

When \(\beta =1\), the integral (1.2) can be evaluated exactly in terms of the modified lommel function \({\tilde{t}}_{\mu ,\nu }(x)\). Suppose \(\mu >-\frac{3}{2}\), \(-\frac{1}{2}<\nu <\mu +1\). Then, for \(x>0\),

$$\begin{aligned} \int _0^x \mathrm {e}^{-u}u^\nu {\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u&=\frac{\mathrm {e}^{-x}x^{\nu +1}}{2\nu +1}\big ({\tilde{t}}_{\mu ,\nu }(x)+{\tilde{t}}_{\mu +1,\nu +1}(x)\big )\nonumber \\&\quad -\frac{\gamma (\mu +\nu +2,x)}{2^\mu (2\nu +1)\Gamma \big (\frac{\mu -\nu +1}{2}\big )\Gamma \big (\frac{\mu +\nu +3}{2}\big )}, \end{aligned}$$
(1.6)

where \(\gamma (a,x)=\int _0^x \mathrm {e}^{-u}u^{a-1}\,\mathrm {d}u\) is the lower incomplete gamma function. We will make use of this integral formula later in proving one of the main results of this paper. A simple verification of the formula (1.6) is given in Appendix B. The condition \(\mu >-\frac{3}{2}\), \(-\frac{1}{2}<\nu <\mu +1\) ensures that \(\mu +\nu >-2\) (so that the integral exists), \(\nu >-\frac{1}{2}\) and \(\mu -\nu >-1\). When \(0\le \beta <1\), an exact formula for the integral (1.2) in terms of the function \({\tilde{t}}_{\mu ,\nu }(x)\) is not available, although the integral can be evaluated exactly in terms of the generalized hypergeometric function (the case \(\beta =0\)) or an infinite series involving lower incomplete gamma functions (when \(0<\beta <1\)); see [13]. The fact that no simple closed-form formulas are available for the integral (1.2) provides the motivation for establishing simple bounds, involving the function \( {\tilde{t}}_{\mu ,\nu }(x)\) itself, for this integral.

Several upper bounds and a lower bound for the integral (1.2) were established by [13]. In this paper, we complement that work by obtaining new bounds for the integral (1.2) that are either sharper or have a larger range of validity than those of [13]. We achieve our bounds by adapting the approach used in the recent paper [16] in which similar improvements were obtained on the bounds of [11] for the integral (1.3) involving \({\mathbf {L}}_\nu (x)\). This approach is fruitful because the properties of the modified Struve function \({\mathbf {L}}_\nu (x)\) used by [16] generalise naturally to the modified Lommel function \({\tilde{t}}_{\mu ,\nu }(x)\). As such, our bounds generalise those of [16], although in some cases, by using more direct arguments, some of our bounds when specialised to the modified Struve function \({\mathbf {L}}_\nu (x)\) are in fact sharper than those of [16].

In Theorem 2.2, we extend the range of validity (from \(\mu >-\frac{1}{2}\), \(\frac{1}{2}\le \nu <\mu +1\) to \(\mu >-\frac{3}{2}\), \(-\frac{1}{2}<\nu <\mu +1\)) of the upper bounds of [13] for the integral (1.2), with our bounds having the same functional form, but larger numerical constants. When specialised to the case of the modified Struve function \({\mathbf {L}}_\nu (x)\), our bounds are sharper than those of [16] (see Corollary 2.6). We also establish several lower bounds for the integral (1.2) (Theorem 2.3), one of which is strictly sharper than the only lower bound given in [13]. In fact, all lower bounds derived in this paper are tight in the limit \(x\rightarrow \infty \), a property not enjoyed by the lower bound of [13]. When specialised to the case of the modified Struve function \({\mathbf {L}}_\nu (x)\), one of the lower bounds is sharper than that of [16] (see Corollary 2.6). All our results are stated in Sect. 2. A discussion and comparison of the bounds of Sect. 2 is given in Sect. 3. The proofs of the results of Sect. 2 are given in Sect. 4. Some basic properties of the modified Lommel function \({\tilde{t}}_{\mu ,\nu }(x)\) that are needed in the paper are collected in Appendix A. Finally, in Appendix B, we provide a simple verification of the integral formula (1.6).

2 Main Results

We begin by introducing some notation, and a lemma (which, as with all other results stated in this section, is proved in Sect. 4) that is used in the proof of Theorem 2.2. Firstly, we let

$$\begin{aligned}A_{\mu ,\nu }&=\frac{1}{2}(\mu -\nu )+\frac{1}{2}\sqrt{(\mu -\nu )^2+8(\mu +\nu +3)}, \\ B_{\mu ,\nu ,\beta }&=\frac{\beta ^{-\mu -\nu -1}\gamma (\mu +\nu +1,\beta x)}{2^\mu \Gamma \big (\frac{\mu -\nu +1}{2}\big )\Gamma \big (\frac{\mu +\nu +3}{2}\big )}, \end{aligned}$$

where \(\gamma (a,x)=\int _0^x\mathrm {e}^{-u}u^{a-1}\,\mathrm {d}u\) is the lower incomplete gamma function.

Lemma 2.1

Let \(\mu >-\frac{3}{2}\), \(-\frac{1}{2}<\nu <\mu +1\) and \(0<\beta <1\). Fix \(x_*>0\). Then, for \(0<x\le x_*\),

$$\begin{aligned} \int _0^x \mathrm {e}^{-\beta u}u^{\nu }{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u<\frac{\mu +\nu +3+2x_*}{2\nu +1}\mathrm {e}^{-\beta x} x^\nu {\tilde{t}}_{\mu +1,\nu +1}(x). \end{aligned}$$
(2.1)

Now, fix \(x_*>\frac{1}{1-\beta }\). Then, for \(x\ge x_*\),

$$\begin{aligned} \int _0^x \mathrm {e}^{-\beta u}u^{\nu }{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u<M_{\mu ,\nu ,\beta }(x_*)\mathrm {e}^{-\beta x} x^\nu {\tilde{t}}_{\mu +1,\nu +1}(x), \end{aligned}$$
(2.2)

where

$$\begin{aligned} M_{\mu ,\nu ,\beta }(x_*)=\max \bigg \{\frac{\mu +\nu +3+2x_*}{2\nu +1},\frac{x_*}{(1-\beta )x_*-1}\bigg \}. \end{aligned}$$
(2.3)

The bounds given in Theorems 2.2 and 2.3 below complement and improve on bounds of [13] for the integral (1.2). When specialised to the case of the modified Struve function \({\mathbf {L}}_\nu (x)\), the bounds also generalise, and in some cases are sharper than, bounds of [16] for the integral (1.3) involving the function \({\mathbf {L}}_\nu (x)\). The bounds of Theorems 2.2 and 2.3 are also natural analogues of bounds recently established by [15] for the related integral \(\int _0^x \mathrm {e}^{-\beta u}u^{\nu }I_\nu (u)\,\mathrm {d}u\).

Theorem 2.2

Let \(\mu >-\frac{3}{2}\), \(-\frac{1}{2}<\nu <\mu +1\) and \(0<\beta <1\). Then, for \(x>0\),

$$\begin{aligned} \int _0^x\mathrm {e}^{-\beta u}u^\nu {\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u&<\frac{\mu +\nu +3+A_{\mu ,\nu }}{(2\nu +1)(1-\beta )}\mathrm {e}^{-\beta x} x^\nu {\tilde{t}}_{\mu +1,\nu +1}(x), \end{aligned}$$
(2.4)
$$\begin{aligned} \int _0^x\mathrm {e}^{-\beta u}u^\nu {\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u&<\frac{\mu +\nu +\frac{1}{2}(9+\sqrt{17})}{(2\nu +1)(1-\beta )}\mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu +1,\nu +1}(x). \end{aligned}$$
(2.5)

Theorem 2.3

Let \(0<\beta <1\). Then, for \(x>0\),

$$\begin{aligned} \int _0^x \mathrm {e}^{-\beta u}u^{\nu }{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u&>\frac{1}{1-\beta }\big \{\mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu ,\nu }(x)-B_{\mu ,\nu ,\beta }\big \}, \end{aligned}$$
(2.6)
$$\begin{aligned} \int _0^x \mathrm {e}^{-\beta u}u^{\nu }{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u&>\frac{1}{1-\beta }\bigg \{\bigg (1-\frac{4\nu ^2}{(2\nu -1)(1-\beta )}\frac{1}{x}\bigg )\mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu ,\nu }(x)-B_{\mu ,\nu ,\beta }\bigg \}, \end{aligned}$$
(2.7)
$$\begin{aligned} \int _0^x\mathrm {e}^{-\beta u}u^\nu {\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u&>\frac{1}{1-\beta }\bigg \{\bigg (1-\frac{2\nu (\mu +\nu +\frac{1}{2}(5+\sqrt{17}))}{(2\nu -1)(1-\beta )}\frac{1}{x}\bigg )\times \nonumber \\&\quad \times \mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu ,\nu }(x)-B_{\mu ,\nu ,\beta }\bigg \}, \end{aligned}$$
(2.8)
$$\begin{aligned} \int _0^x \mathrm {e}^{-\beta u}u^{\nu }{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u&>\mathrm {e}^{-\beta x}x^\nu \sum _{k=0}^\infty \beta ^k {\tilde{t}}_{\mu +k+1,\nu +k+1}(x), \end{aligned}$$
(2.9)

Inequality (2.6) is valid for \(\mu >-1\), \(-\mu -1<\nu \le 0\); inequality (2.7) is valid for \(\mu >\frac{1}{2}\), \(\frac{3}{2}\le \nu <\mu +1\); inequality (2.8) is valid for \(\mu >-\frac{1}{2}\), \(\frac{1}{2}<\nu <\mu +1\); and inequality (2.9) holds for \(\mu >-\frac{5}{2}\), \(-\mu -2<\nu \le \mu +3\). Inequalities (2.6)–(2.9) are tight in the limit \(x\rightarrow \infty \).

Remark 2.4

The series in the lower bound in (2.9) can be expressed in terms of the Kampé de Fériet function (defined in Appendix A) so that the lower bound is equal to

$$\begin{aligned}&\mathrm {e}^{-\beta x}x^\nu \sum _{k=0}^\infty \beta ^k {\tilde{t}}_{\mu +k+1,\nu +k+1}(x)\\&\quad = \frac{\mathrm {e}^{-\beta x}x^{\mu +\nu +2} }{2^{\mu +2} \Gamma (\frac{\mu -\nu +3}{2}) \Gamma (\frac{\mu +\nu +5}{2})} \mathrm {F}_{1:-;1}^{-:1;1} \Bigg [ \begin{array}{c} -:1;1\\ \frac{\mu +\nu +5}{2}:-; \frac{\mu -\nu +3}{2} \end{array} \Bigg | \frac{\beta x}{2}, \frac{x^2}{4} \Bigg ]\,. \end{aligned}$$

The bounds in the following proposition are sharper than the bounds (2.6)–(2.8), since \({\tilde{t}}_{\mu +1,\nu +1}(x)<{\tilde{t}}_{\mu ,\nu }(x)\), \(x>0\), \(\mu >-\frac{3}{2}\), \(-\frac{1}{2}\le \nu <\mu +1\) (see (A.5)).

Proposition 2.5

Let \(0<\beta <1\). Then, for \(x>0\),

$$\begin{aligned} \int _0^x \mathrm {e}^{-\beta u}u^{\nu }{\tilde{t}}_{\mu +1,\nu +1}(u)\,\mathrm {d}u&>\frac{1}{1-\beta }\big \{\mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu ,\nu }(x)-B_{\mu ,\nu ,\beta }\big \}, \end{aligned}$$
(2.10)
$$\begin{aligned} \int _0^x \mathrm {e}^{-\beta u}u^{\nu }{\tilde{t}}_{\mu +1,\nu +1}(u)\,\mathrm {d}u&>\frac{1}{1-\beta }\bigg \{\bigg (1-\frac{4\nu ^2}{(2\nu -1)(1-\beta )}\frac{1}{x}\bigg )\mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu ,\nu }(x)\nonumber \\&\quad -B_{\mu ,\nu ,\beta }\bigg \}, \end{aligned}$$
(2.11)
$$\begin{aligned} \int _0^x\mathrm {e}^{-\beta u}u^\nu {\tilde{t}}_{\mu +1,\nu +1}(u)\,\mathrm {d}u&>\frac{1}{1-\beta }\bigg \{\bigg (1-\frac{2\nu (\mu +\nu +\frac{1}{2}(5+\sqrt{17}))}{(2\nu -1)(1-\beta )}\frac{1}{x}\bigg )\nonumber \\&\quad \times \mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu ,\nu }(x) -B_{\mu ,\nu ,\beta }\bigg \}. \end{aligned}$$
(2.12)

Inequality (2.10) is valid for \(\mu >-1\), \(-\mu -1<\nu \le 0\); inequality (2.11) is valid for \(\mu >\frac{1}{2}\), \(\frac{3}{2}\le \nu <\mu +1\); and inequality (2.12) holds for \(\mu >-\frac{1}{2}\), \(\frac{1}{2}<\nu <\mu +1\).

When specialised to the case of the modified Lommel function of the first kind \({\mathbf {L}}_\nu (x)\), some of the bounds of Theorems 2.2 and 2.3 are sharper than those of [16] for the integral (1.3). We record these bounds in the following corollary.

Corollary 2.6

Let \(0<\beta <1\). Then, for \(x>0\),

$$\begin{aligned} \int _0^x\mathrm {e}^{-\beta u}u^\nu {\mathbf {L}}_\nu (u)\,\mathrm {d}u&<\frac{2\nu +3+\sqrt{2(2\nu +3)}}{(2\nu +1)(1-\beta )}\mathrm {e}^{-\beta x}x^\nu {\mathbf {L}}_{\nu +1}(x), \quad \nu >-\tfrac{1}{2}, \end{aligned}$$
(2.13)
$$\begin{aligned} \int _0^x\mathrm {e}^{-\beta u}u^\nu {\mathbf {L}}_\nu (u)\,\mathrm {d}u&<\frac{2\nu +3+2\sqrt{2}}{(2\nu +1)(1-\beta )}\mathrm {e}^{-\beta x}x^\nu {\mathbf {L}}_{\nu +1}(x), \quad \nu >-\tfrac{1}{2}, \end{aligned}$$
(2.14)
$$\begin{aligned} \int _0^x\mathrm {e}^{-\beta u}u^\nu {\mathbf {L}}_{\nu }(u)\,\mathrm {d}u&>\frac{1}{1-\beta }\bigg \{\bigg (1-\frac{2\nu (2\nu +1+2\sqrt{2})}{(2\nu -1)(1-\beta )}\frac{1}{x}\bigg )\mathrm {e}^{-\beta x}x^\nu {\mathbf {L}}_{\nu }(x)\nonumber \\&\quad -\frac{\gamma (2\nu +1,\beta x)}{\sqrt{\pi }2^\nu \beta ^{2\nu +1}\Gamma (\nu +\frac{3}{2})}\bigg \}, \quad \nu >\tfrac{1}{2}. \end{aligned}$$
(2.15)

3 Discussion and Comparison of the Bounds

In this section, we discuss the performance of the bounds of Theorems 2.2 and 2.3, and compare our bounds with those given by [13] for the integral (1.2). We also comment on the improvements the bounds of Corollary 2.6 made on some of the bounds of [16] for the integral (1.3). In this section \(0<\beta <1\).

Subject to the conditions on \(\mu \) and \(\nu \) given in Theorem 2.2, it can be checked that \(A_{\mu ,\nu }<\frac{1}{2}(3+\sqrt{17})\) (in which case inequality (2.4) is sharper than (2.5)) if \(-\frac{3}{2}<\mu \le \frac{\sqrt{17}}{2}-1\), \(-\frac{1}{2}<\nu <\mu +1\), or if \(\frac{\sqrt{17}}{2}-1<\mu <\frac{\sqrt{17}}{2}\), \(\frac{3+\sqrt{17}}{2}u-\frac{\sqrt{17}+13}{4}<\nu <\mu +1\). In particular, in the important special case \(\mu =\nu \) (corresponding to the case of the modified Struve function \({\mathbf {L}}_\nu (x)\)), we have that \(A_{\nu ,\nu }=\sqrt{2(2\nu +3)}<2\sqrt{2}<\frac{1}{2}(3+\sqrt{17})\) if \(-\frac{1}{2}<\nu <\frac{1}{2}\) (recall that \(v>-\frac{1}{2}\) is an assumption of Theorem 2.2). This fact is helpful in interpreting Corollary 2.6.

Inequality (2.5) takes a simpler form than (2.4), and so, whilst for some values of \(\mu \) and \(\nu \) inequality (2.4) is sharper, we consider (2.5) to be a more preferable general bound than (2.4). Indeed, in deriving inequality (2.8) in Theorem 2.3, we made use of inequality (2.5). A similar inequality involving \(A_{\mu ,\nu }\) can be derived by modifying the proof of inequality (2.8) by instead using (2.4), although for sake of brevity we omit the details.

Inequality (2.9) is sharper than the only other lower bound for the integral (1.2) of [13], \(\int _0^x \mathrm {e}^{-\beta u}u^{\nu }{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u>\mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu +1,\nu +1}(x)\), \(x>0\), \(\mu >-\frac{5}{2}\), \(-\mu -2<\nu \le \mu +3\); this lower bound is the first term in the infinite series of the lower bound (2.9). The other lower bounds of Theorem 2.3 all perform worse than (2.9) and the bound of [13] for ‘small’ x, all being negative for sufficiently small x. This is readily seen for (2.7) and (2.8). Also, a simple asymptotic analysis of the lower bound (2.6) using (A.3) shows that, for \(-\frac{1}{2}<\nu <0\), the limiting form of this bound is \(\frac{\nu }{(\mu +\nu +1)(1-\beta )}\frac{x^{\mu +\nu +1}}{2^\mu \Gamma ((\mu -\nu +3)/2)\Gamma ((\mu +\nu +3)/2)}<0\), as \(x\downarrow 0\), whilst, for the case \(\nu =0\) the bound is again negative for sufficiently small x: the limiting form of the bound is \( -\frac{2\beta (x/2)^{\mu +2}}{(1-\beta )(\mu +2)[\Gamma ((\mu +3)/2)]^2}<0\), as \(x\downarrow 0\). The bounds (2.6)–(2.8) have an improved performance for ‘large’ x, though. In contrast to the bound of [13], these bounds are tight in the limit \(x\rightarrow \infty \), and enjoy this property without needing an infinite sum involving modified Lommel functions of the first kind as given in (2.9).

We now make a comparison to the upper bounds of [13]. Inequality (2.5) of [13] gives that, for \(x>0\), \(\mu >-\frac{1}{2}\), \(\frac{1}{2}\le \nu <\mu +1\),

$$\begin{aligned} \int _0^x \mathrm {e}^{-\beta u}u^{\nu }{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u&<\frac{\mathrm {e}^{-\beta x}x^\nu }{(2\nu +1)(1-\beta )}\bigg (2(\nu +1){\tilde{t}}_{\mu +1,\nu +1}(x)-{\tilde{t}}_{\mu +3,\nu +3}(x) \nonumber \\&\quad -\frac{x^{\mu +2}}{2^{\mu +2}(\mu +\nu +2)\Gamma \big (\frac{\mu -\nu +1}{2}\big )\Gamma \big (\frac{\mu +\nu +5}{2}\big )}\bigg ),\nonumber \\&<\frac{2(\nu +1)}{(2\nu +1)(1-\beta )}\mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu +1,\nu +1}(x). \end{aligned}$$
(3.1)

Under the same conditions on \(\mu \) and \(\nu \), another upper bound can be obtained by combining inequalities (2.2) and (2.4) of [13]: for \(x>0\),

$$\begin{aligned} \int _0^x \mathrm {e}^{-\beta u}u^{\nu }{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u<\frac{1}{1-\beta }\mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu ,\nu }(x). \end{aligned}$$
(3.2)

Inequalities (2.4) and (2.5) of Theorem 2.2 increase the range of validity of the bounds (3.1) and (3.2) to \(\mu >-\frac{3}{2}\), \(-\frac{1}{2}<\nu <\mu +1\) at the expense of larger multiplicative constants. That the range of validity of inequality (3.2) has been increased by inequalities (2.4) and (2.5) at the cost of larger multiplicative constants can be seen from (A.5). In establishing (3.1) and (3.2), [13] used the inequality \({\tilde{t}}_{\mu ,\nu }(x)<{\tilde{t}}_{\mu -1,\nu -1}(x)\), which holds for \(x>0\), \(\mu >-\frac{1}{2}\), \(\frac{1}{2}\le \nu <\mu +1\) (see (A.5)). In the larger parameter regime \(\mu >-\frac{3}{2}\), \(-\frac{1}{2}<\nu <\mu +1\), this inequality is no longer available to us, and we arrived at the inequalities of Theorem 2.2 through an alternative approach that bypasses the use of the inequality used by [13] that results in these larger multiplicative constants.

When specialised to the case \(\mu =\nu \) corresponding to the modified Struve function of the first kind \({\mathbf {L}}_\nu (x)\) our upper bounds (2.13) (for \(|\nu |<\frac{1}{2}\), in which case this is the sharper of the bounds) and (2.14) of Corollary 2.6 do, however, have smaller multiplicative constants than the upper bounds (2.4) and (2.5) of [16] for the integral (1.3), with these bounds being \(\frac{2\nu +29}{(2\nu +1)(1-\beta )}\mathrm {e}^{-\beta x}x^\nu {\mathbf {L}}_{\nu +1}(x)\) and \(\frac{2\nu +15}{(2\nu +1)(1-\beta )}\mathrm {e}^{-\beta x}x^\nu {\mathbf {L}}_\nu (x)\), for \(x>0\), \(\nu >-\frac{1}{2}\). For sake of comparison with our bounds, note that \({\mathbf {L}}_{\nu +1}(x)<{\mathbf {L}}_\nu (x)\), for \(x>0\), \(\nu >-\frac{1}{2}\) (see [3]). The improved multiplicative constants are a consequence of a more direct approach given in this paper, whereas the bounds of [16] were obtained through a series of lemmas that resulted in a build up of errors. In a similar manner, our lower bound (2.15) improves on the lower bound (2.6) of [16]. We note that combining (3.1) with \(\mu =\nu \) (and using that \({\tilde{t}}_{\nu ,\nu }(x)={\mathbf {L}}_\nu (x)\)) and our bound (2.14) gives that, for \(x>0\),

$$\begin{aligned}\int _0^x \mathrm {e}^{-\beta u}u^{\nu }{\mathbf {L}}_\nu (u)\,\mathrm {d}u<\frac{C_{\nu }}{(2\nu +1)(1-\beta )}\mathrm {e}^{-\beta x}x^\nu {\mathbf {L}}_\nu (x), \quad \nu >-\tfrac{1}{2}, \end{aligned}$$

where \(C_{\nu }=2(\nu +1)\) for \(\nu \ge \frac{1}{2}\), and \(C_{\nu }=2\nu +3+\sqrt{2(2\nu +3)}\) for \(|\nu |<\frac{1}{2}\). Similar inequalities involving the function \({\tilde{t}}_{\mu ,\nu }(x)\) can be obtained by combining the bounds of Theorem 2.2 and inequality (3.1).

Various two-sided inequalities for the integral (1.2) can be obtained by combining the bounds obtained in this paper and those presented in this section. As an example, combining (2.9) and (3.2) gives that, for \(x>0\) \(\mu >-\frac{1}{2}\), \(\frac{1}{2}\le \nu <\mu +1\),

$$\begin{aligned} \sum _{k=0}^\infty \beta ^k {\tilde{t}}_{\mu +k+1,\nu +k+1}(x)<\frac{\mathrm {e}^{\beta x}}{x^\nu }\int _0^x \mathrm {e}^{-\beta u}u^{\nu }{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u<\frac{{\tilde{t}}_{\mu ,\nu }(x)}{1-\beta }. \end{aligned}$$
(3.3)

We used Mathematica to calculate the relative error in approximating the normalised integral \(F_{\mu ,\nu ,\beta }(x)=\mathrm {e}^{\beta x}x^{-\nu }\int _0^x \mathrm {e}^{-\beta u}u^{\nu }{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u\) by the upper bound \(U_{\mu ,\nu ,\beta }(x)\) in (3.3), and the lower bound truncated at the fifth term, \(L_{\mu ,\nu ,\beta }(x)=\sum _{k=0}^4 \beta ^k {\tilde{t}}_{\mu +k+1,\nu +k+1}(x)\). We considered three cases of \(\mu -\nu =k\), \(k=-0.5,2,5\), and also varied \(\nu =1,5,10\) and \(\beta =0.25,0.5\). The results are given in Tables 1 and 2. (Tables for the case \(\mu =\nu \) are given in [16].) For fixed \(\mu \), \(\nu \) and x, we see that increasing \(\beta \) from 0.25 to 0.5 increases the relative error in approximating \(F_{\mu ,\nu ,\beta }(x)\) by both \(L_{\mu ,\nu ,\beta }(x)\) and \(U_{\mu ,\nu ,\beta }(x)\). We also see that the bounds are most accurate in the case \(\mu -\nu =-0.5\). The lower and upper bounds in (3.3) are both tight in the limit \(x\rightarrow \infty \), and as expected we observe that, for fixed \(\mu \), \(\nu \) and \(\beta \), the relative error in approximating \(F_{\nu ,\beta }(x)\) by \(U_{\mu ,\nu ,\beta }(x)\) decreases as x increases. However, the truncated sum \(L_{\mu ,\nu ,\beta }(x)\) is not tight as \(x\rightarrow \infty \), with the effect being most pronounced for larger \(\beta \). Indeed, using (4.9) and (A.4), we have that, for \(\mu >-\frac{1}{2}\), \(\frac{1}{2}\le \nu <\mu +1\), \(\lim _{x\rightarrow \infty }\big (1-\frac{L_{\mu ,\nu ,0.25}(x)}{F_{\mu ,\nu ,0.25}(x)}\big )=9.766\times 10^{-4}\) and \(\lim _{x\rightarrow \infty }\big (1-\frac{L_{\mu ,\nu ,0.5}(x)}{F_{\mu ,\nu ,0.5}(x)}\big )=0.03125\). We observe that \(U_{\mu ,\nu ,\beta }(x)\) performs poorly for ‘small’ x. This because it is of the wrong asymptotic order as \(x\downarrow 0\); from (A.3) we have that \(\frac{U_{\mu ,\nu ,\beta }(x)}{F_{\mu ,\nu ,\beta }(x)}\sim \frac{\mu +\nu +2}{(1-\beta )x}\), as \(x\downarrow 0\). The lower bound \(L_{\nu ,\beta }(x)\) is, however, of the correct asymptotic order as \(x\downarrow 0\), with \(\lim _{x\downarrow 0}\big (1-\frac{L_{\mu ,\nu ,\beta }(x)}{F_{\mu ,\nu ,\beta }(x)}\big )=\frac{1}{\mu +\nu +3}\), and performs better for ‘small’ x.

Table 1 Relative error in approximating \(F_{\mu ,\nu ,\beta }(x)\) by \(L_{\mu ,\nu ,\beta }(x)\)
Table 2 Relative error in approximating \(F_{\mu ,\nu ,\beta }(x)\) by \(U_{\mu ,\nu ,\beta }(x)\)

4 Proofs

Proof of Lemma 2.1. (i) Let \(\mu >-\frac{3}{2}\), \(-\frac{1}{2}<\nu <\mu +1\) and \(0<\beta <1\). Fix \(x_*>0\), and suppose \(0<x\le x_*\). Consider the function

$$\begin{aligned}V_{\mu ,\nu ,\beta }(x)=\frac{\mathrm {e}^{\beta x}}{x^\nu {\tilde{t}}_{\mu +1,\nu +1}(x)}\int _0^x\mathrm {e}^{-\beta u} u^\nu {\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u. \end{aligned}$$

Note that the conditions on \(\mu \) and \(\nu \) ensure that the integral exists. We now observe that

$$\begin{aligned}\frac{\partial V_{\mu ,\nu ,\beta }(x)}{\partial \beta }=\frac{\mathrm {e}^{\beta x}}{x^\nu {\tilde{t}}_{\mu +1,\nu +1}(x)}\int _0^x(x-u)\mathrm {e}^{-\beta u} u^\nu {\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u>0, \end{aligned}$$

meaning that \(V_{\mu ,\nu ,\beta }(x)\) is an increasing function of \(\beta \). Therefore, for \(0<\beta <1\),

$$\begin{aligned}V_{\mu ,\nu ,\beta }(x)&< \frac{\mathrm {e}^{ x}}{x^\nu {\tilde{t}}_{\mu +1,\nu +1}(x)}\int _0^{x}\mathrm {e}^{- u} u^\nu {\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u<\frac{x}{2\nu +1}\bigg (\frac{{\tilde{t}}_{\mu ,\nu }(x)}{{\tilde{t}}_{\mu +1,\nu +1}(x)}+1\bigg ) \\&<\frac{x}{2\nu +1}\bigg (\frac{\mu +\nu +3+x}{x}+1\bigg )=\frac{\mu +\nu +3+2x}{2\nu +1}\le \frac{\mu +\nu +3+2x_*}{2\nu +1}, \end{aligned}$$

where the second inequality is clear from the integral formula (1.6) (which we can apply because \(\nu >-\frac{1}{2}\)) and we applied inequality (A.6) to obtain the third inequality (which we can apply because our assumptions on \(\mu \) and \(\nu \) ensure that \(\mu >-2\), \(-1\le \nu <\mu +1\)). This completes the proof of inequality (2.1).

(ii) Now, fix \(x_*>\frac{1}{1-\beta }\). We consider the function

$$\begin{aligned}W_{\mu ,\nu ,\beta }(x)=M_{\mu ,\nu ,\beta }(x_*)\mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu +1,\nu +1}(x)-\int _0^x \mathrm {e}^{-\beta u}u^\nu {\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u, \end{aligned}$$

and prove inequality (2.2) by showing that \(W_{\mu ,\nu ,\beta }(x)>0\) for all \(x\ge x_*\).

We first prove that \(W_{\mu ,\nu ,\beta }(x_*)>0\), for which it suffices to prove that \(V_{\mu ,\nu ,\beta }(x_*)<M_{\mu ,\nu ,\beta }(x_*)\). From part (i) and the definition of \(M_{\mu ,\nu ,\beta }(x_*)\) (see (2.3)) we have that

$$\begin{aligned}V_{\mu ,\nu ,\beta }(x_*)< \frac{\mu +\nu +3+2x_*}{2\nu +1}\le M_{\mu ,\nu ,\beta }(x_*), \end{aligned}$$

as required. We now prove that \(W_{\mu ,\nu ,\beta }'(x)>0\) for \(x>x_*\). A calculation using the differentiation formula (A.2) followed by an application of inequality (A.5) (we may do so because we assumed \(\mu >-\frac{3}{2}\), \(-\frac{1}{2}<\nu <\mu +1\)) gives that

$$\begin{aligned}W_{\mu ,\nu ,\beta }'(x)&=M_{\mu ,\nu ,\beta }(x_*)\frac{\mathrm {d}}{\mathrm {d}x}\big (\mathrm {e}^{-\beta x}x^{-1}\cdot x^{\nu +1} {\tilde{t}}_{\mu +1,\nu +1}(x)\big )- \mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu ,\nu }(x)\\&=M_{\mu ,\nu ,\beta }(x_*)\mathrm {e}^{-\beta x}x^\nu \big ({\tilde{t}}_{\mu ,\nu }(x)-(x^{-1}+\beta ){\tilde{t}}_{\mu +1,\nu +1}(x)\big )-\mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu ,\nu }(x)\\&>M_{\mu ,\nu ,\beta }(x_*)\mathrm {e}^{-\beta x}x^\nu \big (1-\beta -x^{-1}){\tilde{t}}_{\mu ,\nu }(x)-\mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu ,\nu }(x)\\&\ge \bigg (\frac{1-\beta -x^{-1}}{1-\beta -x_*^{-1}}-1\bigg )\mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu ,\nu }(x)>0, \end{aligned}$$

for \(x>x_*\). This completes the proof of inequality (2.2). \(\square \)

Proof of Theorem 2.2. (i) Suppose \(\mu >-\frac{3}{2}\), \(-\frac{1}{2}<\nu <\mu +1\) and \(0<\beta <1\). Set \(x_*=\frac{C}{1-\beta }\) for some \(C>1\) that we will choose later. Let \(M_{\mu ,\nu ,\beta }(x_*)\) be defined as in (2.3). Then, as \(\frac{\mu +\nu +3+2x_*}{2\nu +1}\le M_{\mu ,\nu ,\beta }(x_*)\), it follows from inequalities (2.1) and (2.2) of Lemma 2.1 that, for all \(x>0\),

$$\begin{aligned} V_{\mu ,\nu ,\beta }(x)=&\frac{\mathrm {e}^{\beta x}}{x^\nu {\tilde{t}}_{\mu +1,\nu +1}(x)}\int _0^x\mathrm {e}^{-\beta u} u^\nu {\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u\nonumber \\&<M_{\mu ,\nu ,\beta }(x_*)\nonumber \\ =&\max \bigg \{\frac{1}{2\nu +1}\bigg (\mu +\nu +3+\frac{2C}{1-\beta }\bigg ),\frac{C}{(C-1)(1-\beta )}\bigg \}\nonumber \\&<\frac{1}{1-\beta }\max \bigg \{\frac{\mu +\nu +3+2C}{2\nu +1},\frac{C}{C-1}\bigg \} \end{aligned}$$
(4.1)
$$\begin{aligned}&=:\frac{1}{1-\beta }\max \{T_1(C),T_2(C)\}. \end{aligned}$$
(4.2)

Solving \(T_1(C)=T_2(C)\) gives that \(C=\frac{1}{2}A_{\mu ,\nu }\), and substituting this choice of C into (4.2) gives us inequality (2.4).

(ii) We consider the cases \(-\frac{1}{2}<\nu <\frac{1}{2}\) and \(\nu \ge \frac{1}{2}\) separately. Firstly, suppose that \(-\frac{1}{2}<\nu <\frac{1}{2}\). Then, from (4.1) we get that, for \(x>0\),

$$\begin{aligned} V_{\mu ,\nu ,\beta }(x)&<\frac{1}{(2\nu +1)(1-\beta )}\max \bigg \{\mu +\nu +3+2C,\frac{2C}{C-1}\bigg \}\nonumber \\&<\frac{1}{(2\nu +1)(1-\beta )}\max \bigg \{\mu +\nu +3+2C,\mu +\nu +2+\frac{2C}{C-1}\bigg \}, \end{aligned}$$
(4.3)

where we used that \(-\frac{1}{2}<\nu <\frac{1}{2}\) in obtaining the first inequality and that \(\mu +\nu >-2\) in obtaining the second inequality. We now choose \(C>1\) so that \(3+2C=2+\frac{2C}{C-1}\), from which we get \(C=\frac{1}{4}(3+\sqrt{17})\) . Plugging this choice of C into inequality (4.3) shows that inequality (2.5) holds for \(-\frac{1}{2}<\nu <\frac{1}{2}\). We deduce that inequality (2.5) holds for the case \(\nu \ge \frac{1}{2}\) from inequality (3.1), because our assumption that \(\nu <\mu +1\) guarantees that \(2\nu +2<\mu +\nu +\frac{1}{2}(9+\sqrt{17})\). This completes the proof of inequality (2.5). \(\square \)

Proof of Theorem 2.3. (i) Let \(x>0\) and suppose that \(\mu >-1\), \(-\mu -1<\nu \le 0\). By integration by parts and an application of the differentiation formula (A.2) we get

$$\begin{aligned}\int _0^x\mathrm {e}^{-\beta u}u^\nu {\tilde{t}}_{\mu +1,\nu +1}(u)\,\mathrm {d}u&=-\frac{1}{\beta }\mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu ,\nu }(x)+\frac{1}{\beta }\int _0^x \mathrm {e}^{-\beta u}u^\nu {\tilde{t}}_{\mu -1,\nu -1}(u)\,\mathrm {d}u, \end{aligned}$$

where we used the limit \(\lim _{x\downarrow 0}x^\nu {\tilde{t}}_{\mu ,\nu }(x)=0\), for \(\mu +\nu >-1\) (see A.3)). The integrals exist for \(\mu +\nu >-1\) (see (A.3)). Applying the identity (A.1) and rearranging now yields

$$\begin{aligned} \int _0^x \mathrm {e}^{-\beta u}u^\nu {\tilde{t}}_{\mu +1,\nu +1}(u)\,\mathrm {d}u+&2\nu \int _0^x\mathrm {e}^{-\beta u}u^{\nu -1}{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u-\beta \int _0^x\mathrm {e}^{-\beta u}u^\nu {\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u&\nonumber \\&=\mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu ,\nu }(x)-\int _0^x\frac{\mathrm {e}^{-\beta u}u^{\mu +\nu }}{2^\mu \Gamma \big (\frac{\mu -\nu +1}{2}\big )\Gamma \big (\frac{\mu +\nu +3}{2}\big )}\,\mathrm {d}u\nonumber \\&=\mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu ,\nu }(x)-B_{\mu ,\nu ,\beta }, \end{aligned}$$
(4.4)

where in the final step we evaluated \(\int _0^x\mathrm {e}^{-\beta u}u^{\mu +\nu }\,\mathrm {d}u=\frac{1}{\beta ^{\mu +\nu +1}}\gamma (\mu +\nu +1,\beta x)\). Bounding the first integral in the above display using inequality (A.5) and using our assumption that \(\nu \le 0\) now yields inequality (2.6), as required.

(ii) Now suppose that \(\mu >\frac{1}{2}\), \(\frac{3}{2}\le \nu <\mu +1\). Rearranging (4.4) gives us

$$\begin{aligned}&\int _0^x \mathrm {e}^{-\beta u}u^{\nu }{\tilde{t}}_{\mu +1,\nu +1}(u)\,\mathrm {d}u-\beta \int _0^x \mathrm {e}^{-\beta u}u^{\nu }{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u\nonumber \\&\quad =\mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu ,\nu }(x)-2\nu \int _0^x \mathrm {e}^{-\beta u}u^{\nu -1}{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u-B_{\mu ,\nu ,\beta }. \end{aligned}$$
(4.5)

We bound the first integral on the left-hand side in (4.5) using inequality (A.5), and then divide through by \((1-\beta )\) and use inequality (A.5) again to get

$$\begin{aligned}&\int _0^x \mathrm {e}^{-\beta u}u^{\nu }{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u\nonumber \\&\quad>\frac{1}{1-\beta }\bigg \{\mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu ,\nu }(x)-2\nu \int _0^x \mathrm {e}^{-\beta u}u^{\nu -1}{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u-B_{\mu ,\nu ,\beta }\bigg \}\nonumber \\&\quad >\frac{1}{1-\beta }\bigg \{\mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu ,\nu }(x)-2\nu \int _0^x \mathrm {e}^{-\beta u}u^{\nu -1}{\tilde{t}}_{\mu -1,\nu -1}(u)\,\mathrm {d}u-B_{\mu ,\nu ,\beta }\bigg \}. \end{aligned}$$
(4.6)

Finally, we bound the integral \(\int _0^x\mathrm {e}^{-\beta u}u^{\nu -1} {\tilde{t}}_{\mu -1,\nu -1}(u)\,\mathrm {d}u\) using inequality (3.1) (we may do so since \(\mu >\frac{1}{2}\), \(\frac{3}{2}\le \nu <\mu +1\)), which yields inequality (2.7).

(iii) We proceed as we did in proving inequality (2.7), with the only difference being that we use inequality (2.5) to bound the integral on the right-hand side of (4.6), rather than (3.1).

(iv) Suppose \(\mu >-\frac{5}{2}\), \(-\mu -2<\nu \le \mu +3\), which guarantees that all integrals appearing in this proof of inequality (2.9) exist and have a positive integrand. We begin with the same integration by parts as in part (i) of the proof, but with \(\mu \) and \(\nu \) replaced by \(\mu +1\) and \(\nu +1\), respectively:

$$\begin{aligned} \int _0^x \mathrm {e}^{-\beta u}u^{\nu +1}{\tilde{t}}_{\mu +1,\nu +1}(u)\,\mathrm {d}u&=-\frac{1}{\beta }\mathrm {e}^{-\beta x}x^{\nu +1}{\tilde{t}}_{\mu +1,\nu +1}(x)\nonumber \\&\quad +\frac{1}{\beta }\int _0^x\mathrm {e}^{-\beta u}u^{\nu +1}{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u. \end{aligned}$$
(4.7)

We now apply the simple inequality \(\int _0^x\mathrm {e}^{-\beta u}u^{\nu +1}{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u<x\int _0^x\mathrm {e}^{-\beta u}u^{\nu }{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u\), \(x>0\), to (4.7) and rearrange to get

$$\begin{aligned} \int _0^x\mathrm {e}^{-\beta u}u^{\nu }{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u>\mathrm {e}^{-\beta x}x^{\nu }{\tilde{t}}_{\mu +1,\nu +1}(x)+\frac{\beta }{x}\int _0^x \mathrm {e}^{-\beta u}u^{\nu +1}{\tilde{t}}_{\mu +1,\nu +1}(u)\,\mathrm {d}u.\nonumber \\ \end{aligned}$$
(4.8)

From (4.8) we can deduce another inequality

$$\begin{aligned}\int _0^x\mathrm {e}^{-\beta u}u^{\nu }{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u&>\mathrm {e}^{-\beta x}x^{\nu }{\tilde{t}}_{\mu +1,\nu +1}(x)+\frac{\beta }{x}\bigg (\mathrm {e}^{-\beta x}x^{\nu +1}{\tilde{t}}_{\mu +2,\nu +2}(x)\\&\quad +\frac{\beta }{x}\int _0^x \mathrm {e}^{-\beta u}u^{\nu +2}{\tilde{t}}_{\mu +2,\nu +2}(u)\,\mathrm {d}u\bigg )\\&=\mathrm {e}^{-\beta x}x^{\nu }{\tilde{t}}_{\mu +1,\nu +1}(x)+\beta \mathrm {e}^{-\beta x}x^{\nu }{\tilde{t}}_{\mu +2,\nu +2}(x)\\&\quad +\frac{\beta ^2}{x^2}\int _0^x \mathrm {e}^{-\beta u}u^{\nu +2}{\tilde{t}}_{\mu +2,\nu +2}(u)\,\mathrm {d}u, \end{aligned}$$

and iterating yields inequality (2.9). In carrying out this iteration, it should be noted that \(\sum _{k=0}^\infty \beta ^k {\tilde{t}}_{\mu +k+1,\nu +k+1}(x)\) is a convergent series. To see this, we apply inequality (A.5) to obtain that, for all \(x>0\), \(\sum _{k=0}^\infty \beta ^k {\tilde{t}}_{\mu +k+1,\nu +k+1}(x)<{\tilde{t}}_{\mu +1,\nu +1}(x)\sum _{k=0}^\infty \beta ^k=\frac{{\tilde{t}}_{\mu +1,\nu +1}(x)}{1-\beta }\), since \(0<\beta <1\).

(v) The tightness of inequalities (2.6)–(2.8) in the limit \(x\rightarrow \infty \) is immediate from the following limiting forms, which hold provided \(\mu +\nu >-2\) and \(0<\beta <1\):

$$\begin{aligned} \int _0^x \mathrm {e}^{-\beta u}u^\nu {\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u&\sim \frac{1}{\sqrt{2\pi }(1-\beta )}x^{\nu -1/2}\mathrm {e}^{(1-\beta )x}, \quad x\rightarrow \infty , \end{aligned}$$
(4.9)
$$\begin{aligned} \mathrm {e}^{-\beta x}x^\nu {\tilde{t}}_{\mu +n,\nu +n}(x)&\sim \frac{1}{\sqrt{2\pi }}x^{\nu -1/2}\mathrm {e}^{(1-\beta )x}, \quad x\rightarrow \infty ,\,n\in {\mathbb {R}}. \end{aligned}$$
(4.10)

Here, (4.9) follows from using (A.4) and a standard asymptotic analysis, whilst (4.10) is immediate from (A.4). To verify that (2.9) is tight in the limit \(x\rightarrow \infty \) we additionally use that \(\sum _{k=0}^\infty \beta ^k=\frac{1}{1-\beta }\), since \(0<\beta <1\). \(\square \)

Proof of Proposition 2.5. (i) In part (i) of the proof of Theorem 2.3, use inequality (A.5) to bound the third integral in (4.4), rather than the first integral.

(ii) In part (ii) of the proof of Theorem 2.3, use (A.5) to bound the second integral in (4.5), rather than the first integral.

(iii) On examining the proof of inequality (2.8), we see that the modification given in part (ii) that gave us inequality (2.11) rather than (2.7) can also be used to yield inequality (2.12). \(\square \)

Proof of Corollary 2.6. (i) Inequality (2.13) follows from setting \(\mu =\nu \) in (2.4) and using that \({\tilde{t}}_{\nu ,\nu }(x)={\mathbf {L}}_\nu (x)\).

(ii) We prove inequality (2.14) by considering the cases \(<-\frac{1}{2}<\nu <\frac{1}{2}\) and \(\nu \ge \frac{1}{2}\) separately. That inequality (2.14) holds for \(<-\frac{1}{2}<\nu <\frac{1}{2}\) follows from inequality (2.13) because \(\sqrt{2(2\nu +3)}<2\sqrt{2}\) for \(<-\frac{1}{2}<\nu <\frac{1}{2}\). We deduce that (2.14) holds for \(\nu \ge \frac{1}{2}\) from inequality (3.1), since \(2\nu +2<2\nu +3+2\sqrt{2}\).

(iii) Follow the proof of inequality (2.8) with \(\mu =\nu \) (so that \({\tilde{t}}_{\nu ,\nu }(x)={\mathbf {L}}_\nu (x)\)), but bound the integral on the right-hand side of (4.6) using inequality (2.14) instead of inequality (2.5) (in which we would have set \(\mu =\nu \)). \(\square \)