Abstract
In this paper, we obtain inequalities for some integrals involving the modified Lommel function of the first kind \(t_{\mu ,\nu }(x)\). In most cases, these inequalities are tight in certain limits. We also deduce a tight double inequality, involving the modified Lommel function \(t_{\mu ,\nu }(x)\), for a generalized hypergeometric function. The inequalities obtained in this paper generalise recent bounds for integrals involving the modified Struve function of the first kind.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In a series of recent papers [9,10,11, 13, 14], simple lower and upper bounds, involving the modified Bessel function of the first kind \(I_\nu (x)\) and the modified Struve function of the first kind \({\mathbf {L}}_\nu (x)\), respectively, were obtained for the integrals
where \(x>0\), \(0\le \beta <1\). The conditions imposed on \(\nu \) were different for several of the inequalities. Inequalities for some other closely related integrals were also obtained. For \(\beta \not =0\) there does not exist simple closed-form expressions for the integrals in (1.1). The inequalities of [9, 10] were essential in the development of Stein’s method [6, 20, 23] for variance-gamma approximation [7, 8, 15]. Moreover, as the inequalities are simple and surprisingly accurate they may also prove useful in other problems involving modified Bessel functions; see for example, [4, 5] in which inequalities for modified Bessel functions are used to obtain tight bounds for the generalized Marcum Q-function, which frequently arises in radar signal processing.
In this paper, we address the natural problem of obtaining simple inequalities, involving the modified Lommel function \(t_{\mu ,\nu }(x)\), for the integrals
where \(x>0\), \(0\le \beta <1\) and the conditions on \(\mu \) and \(\nu \) will vary from inequality to inequality. We will also establish bounds for some closely related integrals. Up to a multiplicative constant, the modified Lommel function \(t_{\mu ,\nu }(x)\) generalises the modified Struve function \({\mathbf {L}}_\nu (x)\) [see (1.5)], and a number of the properties of \({\mathbf {L}}_\nu (x)\) that were exploited in derivations of the inequalities for the integrals in (1.1) by [11, 13] generalise in a natural manner. As such, the bounds obtained in this paper generalise those of [11, 13].
Modified Lommel functions are widely used special functions, arising in areas of the applied sciences as diverse as the theory of steady-state temperature distribution [16], scattering amplitudes in quantum optics [25] and stress distributions in cylindrical objects [22]; see [12] for a list of further applications. The modified Lommel function of the first kind \(t_{\mu ,\nu }(x)\) is defined by the hypergeometric series
and arises as a particular solution of the modified Lommel differential equation [21, 24]
In the literature different notation is used for the modified Lommel functions; we adopt that of [27]. The terminology modified Lommel function of the first kind is also not standard in the literature, but has recently been adopted by [12]. Also, [2] have used the terminology Lommel function of the first kind for the function \(s_{\mu ,\nu }(x)\), which is related to the modified Lommel function of the first kind by \(t_{\mu ,\nu }(x)=-\mathrm {i}^{1-\mu }s_{\mu ,\nu }(\mathrm {i}x)\) (see [21, 27]). From this relationship many properties of modified Lommel functions can be inferred from those of Lommel functions that are given in standard references, such as [1, 17, 19, 26].
For the purposes of this paper, we follow [12] and use the following normalization which will remove a number of multiplicative constants from our calculations:
For ease of exposition, we shall also refer to \({\tilde{t}}_{\mu ,\nu }(x)\) as the modified Lommel function of the first kind. From this point on, we shall work with the function \({\tilde{t}}_{\mu ,\nu }(x)\). Results for \(t_{\mu ,\nu }(x)\) can be easily inferred. As an example, which is relevant to the inequalities obtained in this paper, using the formula \(u\Gamma (u)=\Gamma (u+1)\) gives
We record the important special case
When \(\beta =0\) the integrals in (1.2) can be evaluated exactly in terms of the generalized hypergeometric function. A straightforward calculation involving simple manipulations of the formula (1.3) [followed by the normalization in (1.4)], yields
where we require \(\mu +\alpha >-2\) for the integral to exist. When \(\beta \not =0\) a more complicated formula is available:
where \(\gamma (a,x)=\int _0^x u^{a-1}\mathrm {e}^{-u}\,\mathrm {d}u\) is the lower incomplete gamma function, and we require \(\mu \pm \nu >-2\) for the integral to exist. These complicated formulas provide the motivation for establishing simple bounds, involving the modified Lommel function \( {\tilde{t}}_{\mu ,\nu }(x)\) itself, for the integrals in (1.2).
The approach taken in this paper to bound the integrals in (1.2) is similar to that used by [11, 13] to bound the corresponding integrals involving the modfied Struve function \({\mathbf {L}}_\nu (x)\), and the inequalities obtained in this paper generalise those of [11, 13] in a natural manner. In spite of their simple form, in most cases, the bounds obtained in this paper will be tight in certain limits.
As already noted, the properties of the modified Struve function \({\mathbf {L}}_\nu (x)\) that were exploited in the proofs of [11, 13] are shared by the modified Lommel function \( {\tilde{t}}_{\mu ,\nu }(x)\), which we now list. With the exception of the differentiation formula (1.9) (see [21]), the following basic properties can all be found in [12]. For \(x>0\), the function \( {\tilde{t}}_{\mu ,\nu }(x)\) is positive if \(\mu -\nu \ge -3\) and \(\mu +\nu \ge -3\). The function \( {\tilde{t}}_{\mu ,\nu }(x)\) satisfies the recurrence relations and differentiation formula
where \(a_{\mu ,\nu }(x)=\frac{(x/2)^\mu }{\Gamma (\frac{\mu -\nu +1}{2})\Gamma (\frac{\mu +\nu +3}{2})}\). We shall also need another differentation formula that is not given in [12] or [21]. With the aid of (1.7) and (1.8) we obtain
The function \( {\tilde{t}}_{\mu ,\nu }(x)\) has the following asymptotic properties [12]:
Let \(x > 0\), \(\mu >-\frac{1}{2}\) and \(\frac{1}{2}\le \nu <\mu +1\). Then
This inequality was obtained by [12], and generalises an inequality of [3] for the modified Struve function \({\mathbf {L}}_\nu (x)\). For other functional inequalities and monotonicity results involving modified Lommel functions of the first kind see [18].
2 Inequalities for Integrals of Modified Lommel Functions
The inequalities in the following two theorems for integrals of the type \(\int _0^x \mathrm {e}^{-\beta u}u^\nu {\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u\) and \(\int _0^x\mathrm {e}^{-\beta u}u^{-\nu }{\tilde{t}}_{\mu ,\nu }(u)\,\mathrm {d}u\) generalise the inequalities of Theorem 2.1 of [11] and Theorem 2.1 of [13] for analogous integrals involving the modified Struve function of the first kind. Before stating the theorems, we introduce the notation
Theorem 2.1
Let \(n>-1\) and \(0\le \beta <1\). Then, for all \(x>0\),
We have equality in (2.4), (2.6) and (2.7) if and only if \(\beta =0\). Inequalities (2.2)–(2.7) are tight as \(x\rightarrow \infty \), and inequalities (2.3) and (2.6) are also tight as \(x\downarrow 0\). Inequality (2.1) is tight as \(x\rightarrow \infty \) if \(\beta =0\). Inequalities (2.1) and (2.6) hold for all \(\beta \ge 0\).
Proof
We prove inequalities (2.1)–(2.7), before verifying that they are tight in certain limits.
(i) Let us first prove inequality (2.1). The conditions on \(\mu \), \(\nu \) and n imply that \(\mu +\nu +n>-2\), and so the integral exists. The conditions also imply that \(\mu -\nu \ge -3\) and \(\mu +\nu +2n\ge -3\), and therefore \({\tilde{t}}_{\mu +n,\nu +n}(x)>0\) for all \(x>0\). (The conditions on \(\mu \), \(\nu \) and n for the other inequalities will also always guarantee that the integrals exist and that the modified Lommel functions are positive for all \(x>0\), and we will not comment on this further in the proof of these inequalities.) Now, since \(\beta \ge 0\) and \(n>-1\), on using the differentiation formula (1.9) we have
as by (1.11) we have \(\lim _{x\downarrow 0}x^{\nu +n+1} {\tilde{t}}_{\mu +n+1,\nu +n+1}(x)=0\) if \(\mu +\nu +n>-2\).
(ii) Using inequality (1.13) (which is valid for \(\mu >-\frac{1}{2}\), \(\frac{1}{2}\le \nu <\mu +1\)) and then applying (1.9) gives the inequality
(iii) Let us first note that an application of the differentiation formula (1.9) and the relation (1.7) gives that
Now, on integrating both sides over (0, x), applying the fundamental theorem of calculus and rearranging we obtain
As the conditions on \(\nu \) and n ensure that \(\frac{n+1}{2\nu +n+1}>0\), using inequality (2.1) with \(\beta =0\) to bound the integral on the right hand-side of the above expression then gives inequality (2.3).
(iv) Integration by parts and an application of inequality (2.2) gives
and on rearranging we have inequality (2.4).
(v) Combine parts (iii) and (iv).
(vi) Since \(\beta \ge 0\), we have
with equality if and only if \(\beta =0\).
(vii) Let us consider the function
We prove the result by arguing that \(v(x)\ge 0\) for all \(x>0\). Using the differentiation formula (1.9) followed by inequality (1.13) we have that
and therefore v is a non-decreasing function of x on \((0,\infty )\) Also, from (1.11), as \(x\downarrow 0\),
Therefore \(v(x)\ge 0\) for all \(x>0\), as required. Clearly, the above argument shows that if \(0<\beta <1\) then \(v(x)>0\) for all \(x>0\).
(viii) Finally, we establish the tightness of the inequalities as described in the statement of the theorem. To this end, we note that a straightforward asymptotic analysis using (1.12) gives that, for \(0\le \beta <1\) and \(\mu +\nu +n>-2\),
and we also have
From (2.9) and (2.10) it is readily seen that inequalities (2.2)–(2.7) are tight as \(x\rightarrow \infty \), and that this is also so for (2.1) if \(\beta =0\).
Setting in \(\beta =0\) in (2.8) shows that (2.6) is tight as \(x\downarrow 0\). It now remains to prove that (2.3) is tight as \(x\downarrow 0\). From (1.11), we have that, as \(x\downarrow 0\),
and
as we required. \(\square \)
Theorem 2.2
Let \(0<\beta <1\) and \(n>-1\). Then, for all \(x>0\),
Inequalities (2.11), (2.14) and (2.15) hold for \(\mu >-\frac{3}{2}\), \(-\frac{1}{2}\le \nu <\mu +1\), and inequalities (2.12) and (2.13) are valid for \(\nu >-\frac{1}{2}(n+3)\), \(-\frac{1}{2}(n+1)<\nu <\mu +1\). We have equality in (2.12) and (2.13) if \(2\nu +n=-1\). Inequalities (2.11)–(2.15) are tight as \(x\rightarrow \infty \) and inequality (2.13) is also tight as \(x\downarrow 0\). Here \(\gamma (a,x)=\int _0^x u^{a-1}\mathrm {e}^{-u}\,\mathrm {d}u\) is the lower incomplete gamma function.
Proof
We restrict out attention to proving the inequalities; proving that the bounds are tight in the limits \(x\downarrow 0\) and \(x\rightarrow \infty \) is similar to that carried out in the proof of Theorem 2.1 and we omit the analysis. Also, we note that the conditions on \(\mu \), \(\nu \) and n ensure that the integrals in all inequalities exist and are positive, and will also allow us to use inequality (1.13) when needed. As in the proof of Theorem 2.1, we do not comment on this further.
(i) Applying inequality (1.13) gives
where we evaluated the integral using the differentiation formula (1.9) and the limiting form (1.11).
(ii) The assertion that there is equality in (2.12) and (2.13) when \(2\nu +n=-1\) follows because both these upper and lower bounds (which we now prove) are then equal. Suppose now that \(2\nu +n>-1\), and consider the function
We prove that \(w(x)>0\) for all \(x>0\), which will give the result. Let us first note that using the differentiation formula (1.9) followed by the relation (1.7) gives that
Therefore
where we applied (1.13) to obtain the inequality. Also, from (1.11) we have, as \(x\downarrow 0\),
where the inequality holds because \(\nu >-\frac{1}{2}(n+1)\). Putting this together, we conclude that \(w(x)>0\) for all \(x>0\), as we required.
(iii) On integrating both sides of (2.16) over (0, x), applying the fundamental theorem of calculus and rearranging we obtain
Inequality (2.12) now follows on evaluating the second integral on the right hand-side of the above expression and using inequality (2.12) to bound the first integral.
(iv) Integration by parts and inequality (2.11) gives that
whence on rearranging and recognising the final integral as a lower incomplete gamma function we obtain inequality (2.13).
(v) Combine parts (i) and (iv). \(\square \)
We end with an example of how one can combine the inequalities of Theorems 2.1 and 2.2 and the integral formula (1.6) to obtain lower and upper bounds for a generalized hypergeometric function.
Corollary 2.3
Let \(\mu >-\frac{3}{2}\), \(-\frac{1}{2}<\nu <\mu +1\). Then, for all \(x>0\),
Proof
Apply inequalities (2.1) and (2.3) (with \(\beta =n=0\)) of Theorem 2.1 to the integral formula (1.6) (with \(\alpha =\nu \)). \(\square \)
Remark 2.4
We know from Theorem 2.1 that the double inequality in Corollary 2.3 is tight in the limit \(\nu \rightarrow \infty \), and that the the upper bound is tight at \(x\downarrow 0\). The double inequality is also clearly tight as \(\nu \rightarrow \infty \).
To gain further insight into the approximation, we obtained some numerical results using Mathematica. Let \(L_{\mu ,\nu }(x)\) and \(U_{\mu ,\nu }(x)\) denote the lower and upper bounds in the double inequality and let \(F_{\mu ,\nu }(x)\) denote the expression involving the generalized hypergeometric function which is bounded by these quantities. We considered three cases of \(\mu -\nu =k\), \(k=-0.5,2,5\), and in each case took \(\nu =0,1,2.5,5,10\). (Tables for the case \(\mu =\nu \) can be found in [11].) The relative error in approximating \(F_{\mu ,\nu }(x)\) by \(L_{\mu ,\nu }(x)\) and \(U_{\mu ,\nu }(x)\) are reported in Tables 1 and 2. For a given x and \(\mu \), we observe that the relative error in approximating \(F_{\mu ,\nu }(x)\) by either \(L_{\mu ,\nu }(x)\) or \(U_{\mu ,\nu }(x)\) decreases as \(\nu \) increases. We also notice that, for a given \(\mu \) and \(\nu \), the relative error in approximating \(F_{\mu ,\nu }(x)\) by \(L_{\mu ,\nu }(x)\) decreases as x increases. Although, from Table 2 we see that, for a given \(\mu \) and \(\nu \), as x increases the relative error in approximating \(F_{\mu ,\nu }(x)\) by \(U_{\mu ,\nu }(x)\) initially increases before decreasing. Finally, we observe that the bounds are most accurate in the case \(\mu -\nu =-0.5\).
References
Babister, A.W.: Transcendental Functions Satisfying Nonhomogeneous Linear Differential Equations. The Macmillan Co., New York (1967)
Baricz, Á., Koumandos, S.: Turán type inequalities for some Lommel functions of the first kind. Proc. Edinb. Math. Soc. 59, 569–579 (2016)
Baricz, Á., Pogány, T.K.: Functional inequalities for modified Struve functions. Proc. R. Soc. Edinb. A 144, 891–904 (2014)
Baricz, Á., Sun, Y.: New bounds for the generalized Marcum \(Q\)-function. IEEE Trans. Info. Theory 55, 3091–3100 (2009)
Baricz, Á., Sun, Y.: Bounds for the generalized Marcum \(Q\)-function. Appl. Math. Comput. 217, 2238–2250 (2010)
Chen, L.H.Y., Goldstein, L., Shao, Q.-M.: Normal Approximation by Stein’s Method. Springer, Berlin (2011)
Eichelsbacher, P., Thäle, C.: Malliavin–Stein method for Variance-Gamma approximation on Wiener space. Electron. J. Probab. 20(123), 1–28 (2015)
Gaunt, R.E.: Variance-Gamma approximation via Stein’s method. Electron. J. Probab. 19(38), 1–33 (2014)
Gaunt, R.E.: Inequalities for modified Bessel functions and their integrals. J. Math. Anal. Appl. 420, 373–386 (2014)
Gaunt, R.E.: Inequalities for integrals of modified Bessel functions and expressions involving them. J. Math. Anal. Appl. 462, 172–190 (2018)
Gaunt, R.E.: Inequalities for integrals of the modified Struve function of the first kind. Results Math. 73(65), 1–10 (2018)
Gaunt, R.E.: Bounds for modified Lommel functions of the first kind and their ratios. arXiv:1901.01232 (2019)
Gaunt, R.E.: Inequalities for integrals of the modified Struve function of the first kind II. Results Math. 74(57), 1–10 (2019)
Gaunt, R.E.: Inequalities for some integrals involving modified Bessel functions. Proc. Am. Math. Soc. 147, 2937–2951 (2019)
Gaunt, R. E.: Wasserstein and Kolmogorov error bounds for variance-gamma approximation via Stein’s method I. To appear in J. Theor. Porbab. (2019)
Goldstein, S.: On the vortex theory of screw propellers. Proc. R. Soc. Lond. A 23, 440–465 (1929)
Luke, Y.L.: The Special Functions and their Approximations, vol. 2. Academic Press, New York (1969)
Mondal, S.R.: The modified Lommel functions: monotonic pattern and inequalities. arXiv:1704.04667 (2017)
Olver, F.W.J., Lozier, D.W., Boisvert, R.F., Clark, C.W.: NIST Handbook of Mathematical Functions. Cambridge University Press, Cambridge (2010)
Nourdin, I., Peccati, G.: Normal approximations with Malliavin calculus: from Stein’s method to universality, vol. 192. Cambridge University Press, Cambridge (2012)
Rollinger, C.N.: Lommel functions with imaginary argument. Quart. Appl. Math. 21, 343–349 (1964)
Sitzer, M.R.: Stress distribution in rotating aeolotropic laminated heterogeneous disc under action of a time-dependent loading. Z. Angew. Math. Phys. 36, 134–145 (1985)
Stein, C.: A bound for the error in the normal approximation to the the distribution of a sum of dependent random variables. In: Proceedings of the 6th Berkeley Symposium of Mathematical Statistics and Probability. University California Press, Berkeley, 2:583–602 (1972)
Szymanski, P.: On the integral representations of the Lommel functions. Proc. Lond. Math. Soc. 40, 71–82 (1936)
Thomas, B.K.: Glauber \(e^-\) \(+\) He elastic scattering amplitude: a useful integral representation. Phys. Rev. A 8, 252–262 (1973)
Watson, G.N.: A Treatise on the Theory of Bessel Functions. Cambridge University Press, Cambridge (1944)
Ziener, C.H., Schlemmer, H.P.: The inverse Laplace transform of the modified Lommel functions. Integr. Transf. Spec. Funct. 24, 141–155 (2013)
Acknowledgements
The author is supported by a Dame Kathleen Ollerenshaw Research Fellowship.
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.
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
Gaunt, R.E. Inequalities for Some Integrals Involving Modified Lommel Functions of the First Kind. Results Math 75, 7 (2020). https://doi.org/10.1007/s00025-019-1136-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-019-1136-2