In this paper, sums represented in (3) are studied. The expressions are derived in terms of Bessel functions of the first and second kinds and their integrals. Further, we point out the integrals can be written as a Meijer G function.
We derive new approximate representations of the Lommel functions in terms of the Scorer function and approximate representations of the first derivative of the Lommel functions in terms of the derivative of the Scorer function. Using the same method we obtain previously known approximate representations of the Nicholson type for Bessel functions and their first derivatives. We study also for what values of the parameters our representations have reasonable accuracy.
In the present investigation our main aim is to give lower bounds for the ratio of some normalized $q$-Bessel functions and their sequences of partial sums. Especially, we consider Jackson's second and third $q$-Bessel functions and we apply one normalization for each of them.
We examine convergent representations for the sum of Bessel functions \[\sum_{n=1}^\infty \frac{J_μ(na) J_ν(nb)}{n^α}\] for $μ$, $ν\geq0$ and positive values of $a$ and $b$. Such representations enable easy computation of the series in the limit $a, b\to0+$. Particular attention is given to logarithmic cases that occur both when $a=b$ and $a\neq b$ for certain values of $α$, $μ$ and $ν$. The series when the first Bessel function is replaced by the modified Bessel function $K_μ(na)$ is also investigated, as well as the series with two modified Bessel functions.
In a rectangular domain, a boundary-value problem is considered for a mixed-type equation with a regularized Caputo-like counterpart of hyper-Bessel differential operator and the bi-ordinal Hilfer's fractional derivative. Using the method of separation of variables, Laplace transform, a unique solvability of the considered problem has been established. Moreover, we have found the explicit solution of initial problems for a differential equation with the bi-ordinal Hilfer's derivative and regularized Caputo-like counterpart of the hyper-Bessel differential operator with the non-zero starting po…
The order derivatives of the modified Bessel function of the second kind at s = .5 are obtained as finite expressions of integrals that generalize the exponential integral appearing in the first derivative (Theorem 1.) The derivatives arise in the investigation of a BesselK relationship with the Riemann zeta function. Any use of the term, derivative, with respect to a Bessel function, here means a derivative with respect to its order.
In a recent paper we investigated the internal space of Bessel functions associated with their orders. We found a formula (new) unifying Bessel functions of integer and of real orders. In this paper we study the deformed exterior derivative system $H=d_λ$ on the puctured plane as a tentative to understand the origin of the formula and find that indeed similar formula occurs. This is no coincidence as we will demonstrate that generating functions of integer order Bessel functions and of real orders are respectively eigenstates of the usual exterior derivative and its deformation. As a direct co…
We consider a new identity involving integrals and sums of Bessel functions. The identity provides new ways to evaluate integrals of products of two Bessel functions. The identity is remarkably simple and powerful since the summand and integrand are of exactly the same form and the sum converges to the integral relatively fast for most cases. A proof and numerical examples of the identity are discussed.
In this paper we study the regularity properties of the Gaussian Bessel potentials and Gaussian Bessel fractional derivatives on variable Gaussian Besov-Lipschitz spaces $B_{p(\cdot),q(\cdot)}^α(γ_{d}),$ that were defined in a previous paper \cite{Pinrodurb}, under certain conditions on $p(\cdot)$ and $q(\cdot)$.
Let $α_{n1},\dots,α_{nn}$ be the zeros of the $n$th Bessel polynomial $y_n(z)$ and let $a_{nk}=1-α_{nk}/2$, $b_{nk}=1+α_{nk}/2$ $(k=1,\dots,n)$. We propose the new formula \[z f'(z)\approx \sum_{k=1}^n \big(f(a_{nk} z)-f(b_{nk} z)\big)\] for numerical differentiation of analytic functions $f(z)=\sum_0^\infty f_m z^m$. This formula is exact for all polynomials of degree at most $2n$. We find the sharp order of nonlocal estimate of the corresponding remainder for the case when all $|f_m|\le 1$. The estimate shows a high rate of convergence of the differentiating sums to $zf'(z)$ on compact subse…
In a recent paper, Yu. A. Brychkov derived a series of identities for multiples sums of special functions, using generating functions. Among these identities, a particularly interesting one involves multiples sums of Bessel $I_ν$ functions with half-integer indices. We derive here some equivalent identities that involve different kinds of Bessel polynomials, sing a probabilistic approach based on the properties of the Generalized Inverse Gaussian probability density.
An explicit expression of the k-th derivative of the Bessel function $J_ν(z)$, with respect to its order $ν$, is given. Particularizations for the cases of positive or negative $ν$ are considered.
A four-term recurrence relation for squared spherical Bessel functions is shown to yield closed-form expressions for several types of finite weighted sums of these functions. The resulting sum rules, which may contain an arbitrarily large number of terms, are found to constitute three independent hierarchies. Their use leads to an efficient numerical evaluation of these sums.
We derive formulas for the derivatives of general order for the functions $z^{-ν}h_ν(z)$ and $z^νh_ν(z)$, where $h_ν(z)$ is a Bessel, Struve or Anger--Weber function.
We have used recent integral representations of the derivatives of the Bessel functions with respect to the order to obtain closed-form expressions in terms of generalized hypergeometric functions and Meijer-$G$ functions. Also, we have carried out similar calculations for the derivatives of the modified Bessel functions with respect to the order, obtaining closed-form expressions as well. For this purpose, we have obtained integral representations of the derivatives of the modified Bessel functions with respect to the order. As by-products, we have calculated two non-tabulated integrals.
In this paper necessary and sufficient conditions are deduced for the starlikeness of Bessel functions of the first kind and their derivatives of the second and third order by using a result of Shah and Trimble about transcendental entire functions with univalent derivatives and some Mittag-Leffler expansions for the derivatives of Bessel functions of the first kind, as well as some results on the zeros of these functions.
In the article we propose and study a method to solve ordinary differential equations with left-sided fractional Bessel derivatives on semi-axes of Gerasimov-Caputo type. We derive explicit solutions to equations with fractional powers of Bessel operator using the Meijer integral transform.
The derivatives with respect to order ν for the Bessel functions of argument x (real or complex) are studied. Representations are derived in terms of integrals that involve the products pairs of Bessel functions, and in turn series expansions are obtained for these integrals. From the new integral representations, asymptotic approximations involving Airy functions are constructed for the order derivatives, for ν large and uniformly valid for unbounded positive real x.
Special functions have been used widely in many problems of applied sciences. However, there are considerable numbers of problems in which exact solutions could not be achieved because of undefined sums or integrals involving special functions. These handicaps force researchers to seek new properties of special functions. Many problems that could not be solved so far would be solved by means of these efforts. Therefore in this article, we derived some useful properties and interrelations of each others of Bessel functions, Marcum Q-functions and Laguerre polynomials.
We study the problem of an appropriate choice of derivatives associated with discrete Fourier-Bessel expansions. We introduce a new so-called essential measure Fourier-Bessel setting, where the relevant derivative is simply the ordinary derivative. Then we investigate Riesz transforms and Sobolev spaces in this context. Our main results are $L^p$-boundedness of the Riesz transforms (even in a multi-dimensional situation) and an isomorphism between the Sobolev and Fourier-Bessel potential spaces. Moreover, throughout the paper we collect various comments concerning two other closely related Fou…
We determine the asymptotic behaviour of the $n$th derivatives of the Bessel functions $J_ν(a)$ and $K_ν(a)$, where $a$ is a fixed positive quantity, as $n\to\infty$. These results are applied to the asymptotic evaluation of two incomplete Laplace transforms of these Bessel functions on the interval $[0,a]$ as the transform variable $x\to+\infty$. Similar evaluation of the integrals involving the Bessel functions $Y_ν(t)$ and $I_ν(t)$ is briefly mentioned.
In this paper we will study the boundedness of Riesz Potentials, Bessel potentials and Fractional Derivatives on Gaussian Besov-Lipschitz spaces $B_{p,q}^α(γ_d)$. Also these results can be extended to the case of Laguerre or Jacobi expansions and even further to the general framework of diffusions semigroups.
We obtain integral representations of the $n$-th derivatives of the Bessel functions with respect to the order. The numerical evaluation of these expressions is very efficient using a double exponential integration strategy. Also, from the integral representation corresponding to the Macdonald function, we have calculated a new integral. Finally, we calculate integral expressions for the fractional derivatives of the Bessel functions with respect to the order. Simple proofs for some particular cases given in the literature are provided as well.
This paper presents the equality of finite index sums of Bessel func- tions containing arbitrary numbers of terms. These reduce to the familiar three term recursion formulas in simple cases.
We give a shorter proof of Kanter's (1976) sharp Bessel function bound for concentrations of sums of independent symmetric random vectors. We provide sharp upper bounds for the sum of modified Bessel functions $I_0(x)+I_1(x)$, which might be of independent interest. Corollaries improve concentration or smoothness bounds for sums of independent random variables due to Cekanavicius & Roos (2006), Roos (2005), Barbour & Xia 1999), and Le Cam (1986).
We study the distribution of zeros of general solutions of the Airy and Bessel equations in the complex plane. Our results characterize the patterns followed by the zeros for any solution, in such a way that if one zero is known it is possible to determine the location of the rest of zeros.
We prove that for $ν>n-1$ all zeros of the $n$th derivative of Bessel function of the first kind $J_ν$ are real and simple. Moreover, we show that the positive zeros of the $n$th and $(n+1)$th derivative of Bessel function of the first kind $J_ν$ are interlacing when $ν\geq n,$ and $n$ is a natural number or zero. Our methods include the Weierstrassian representation of the $n$th derivative, properties of the Laguerre-Pólya class of entire functions, and the Laguerre inequalities. Some similar results for the zeros of the first and second derivative of the Struve function of the first kind $\m…
Expressions for the derivatives with respect to order of modified Bessel functions evaluated at integer orders and certain integral representations of associated Legendre functions with modulus argument greater than unity are used to compute derivatives of the associated Legendre functions with respect to their parameters. For the associated Legendre functions of the first and second kind, derivatives with respect to the degree are evaluated at odd-half-integer degrees, for general complex orders, and derivatives with respect to the order are evaluated at integer orders, for general complex de…
From new integral representations of the $n$-th derivative of Bessel functions with respect to the order, we derive some reflection formulas for the first and second order derivative of $J_{ν}\left( t\right) $ and $% Y_{ν}\left( t\right) $ for integral order, and for the $n$-th order derivative of $I_{ν}\left( t\right) $ and $K_{ν}\left( t\right) $ for arbitrary real order. As an application of the reflection formulas obtained for the first order derivative, we extend some formulas given in the literature to negative integral order. Also, as a by-product, we calculate an integral which does no…
Let $r_k(n)$ denote the number of representations of the positive integer $n$ as the sum of $k$ squares. We rigorously prove for the first time a Voronoi summation formula for $r_k(n), k\geq2,$ proved incorrectly by A. I. Popov and later rediscovered by A. P. Guinand, but without proof and without conditions on the functions associated in the transformation. Using this summation formula we establish a new transformation between a series consisting of $r_k(n)$ and a product of two Bessel functions, and a series involving $r_k(n)$ and the Gaussian hypergeometric function. This transformation can…
In a previous paper the boundedness properties of Riesz Potentials, Bessel potentials and Fractional Derivatives were studied in detail on Gaussian Besov-Lipschitz spaces $B_{p,q}^α(γ_d)$. In this paper we will continue our study proving the boundedness of those operators on Gaussian Triebel-Lizorkin spaces $F_{p,q}^α(γ_d)$. Also these results can be extended to the case of Laguerre or Jacobi expansions and even further to the general framework of diffusions semigroups.
The paper is devoted to (combinations of) Bessel cross-products that arise from oblique derivative boundary value problems for the Laplacian in a circular annulus. We show that like their Neumann-Laplacian counterpart (and unlike the Dirichlet-Laplacian), they possess two kinds of zeros: those that can be derived by McMahon series and diverge to infinity in the limit, and exceptional ones that remain finite. For both cases we find asymptotic expressions for a fixed oblique angle and vanishing thickness of the annulus. We further present plots of numerically computed zeros and discuss their beh…
The goal of this paper is to extend the classical and multiplicative fractional derivatives. For this purpose, it is introduced the new extended modified Bessel function and also given an important relation between this new function I(v,q;x) and the confluent hypergeometric function. Besides, it is used to generalize the hypergeometric, the confluent hypergeometric and the extended beta functions by using the new extended modified Bessel function. Also, the asymptotic formulae and the generating function of the extended modified Bessel function are obtained. The extensions of classical and mul…
Let $K_{0}$ denote the modified Bessel function of second kind and zeroth order. In this paper we will studying the function $\tildeω_{n}\left( x\right) :=\frac{\left( -x\right) ^{n}K_{0}^{\left( n\right) }\left( x\right) }{n!}$ for positive argument. The function $\tildeω_{n}$ plays an important role for the formulation of the wave equation in two spatial dimensions as a retarded potential integral equation. We will prove that the growth of the derivatives $\tildeω_{n}^{\left( m\right) }$ with respect to $n$ can be bounded by $O\left( \left( n+1\right) ^{m/2}\right) $ while for small and larg…
We study the properties of the logarithm of the derivative operator and show that its action on a constant is not zero, but yields the sum of the logarithmic function and the Euler-Mascheroni constant. We discuss more general aspects concerning the logarithm of an operator for the study of the properties of the Bessel functions.
In this paper a necessary and sufficient condition is deduced for the close-to-convexity of a cross product of Bessel and modified Bessel functions of the first kind and their derivatives by using a result of Shah and Trimble about transcendental entire functions with univalent derivatives, the newly discovered power series and infinite product representation of this cross-product, as well as a slightly modified version of a result of Lorch on the monotonicity of the zeros of the cross product with respect to the order.
In this paper some Turán type inequalities for the general Bessel function, monotonicity and bounds for its logarithmic derivative are derived. Moreover we find the series representation and the relative extrema of the Turánian of general Bessel functions. The key tools in the proofs are the recurrence relations together with some asymptotic relations for Bessel functions.
We examine convergent representations for the sum of a decaying exponential and a Bessel function in the form \[\sum_{n=1}^\infty \frac{e^{-an}}{(\frac{1}{2} bn)^ν}\,J_ν(bn),\] where $J_ν(x)$ is the Bessel function of the first kind of order $ν>-1/2$ and $a$, $b$ are positive parameters. By means of a double Mellin-Barnes integral representation we obtain a convergent asymptotic expansion that enables the evaluation of this sum in the limit $a\to 0$ with $b<2π$ fixed. A similar result is derived for the sum when the Bessel function is replaced by the modified Bessel function $K_ν(x)$. The alte…
In this paper we consider a sum of modified Bessel functions of the first kind of which particular case is used in the study of Kanter's sharp modified Bessel function bound for concentrations of some sums of independent symmetric random vectors. We present some monotonicity and convexity properties for that sum of modified Bessel functions of the first kind, as well as some Turán type inequalities, lower and upper bounds. Moreover, we point out an error in Kanter's paper [Ka] and at the end of the paper we pose an open problem, which may be of interest for further research.
n this paper, we present $q$-Bernoulli and $q$-Euler polynomials generated by the third Jackson $q$-Bessel function to construct new types of $q$-Lidstone expansion theorem. We prove that the entire function may be expanded in terms of $q$-Lidstone polynomials which are $q$-Bernoulli polynomials and the coefficients are the even powers of the $q$-derivative $\frac{δ_q f(z)}{δ_q z}$ at $0$ and $1$. The other forms expand the function in $q$-Lidstone polynomials based on $q$-Euler polynomials and the coefficients contain the even and odd powers of the $q$-derivative $\frac{δ_q f(z)}{δ_q z}$.
The aim of this paper is to derive new representations for the Hankel functions, the Bessel functions and their derivatives, exploiting the reformulation of the method of steepest descents by M. V. Berry and C. J. Howls (Berry and Howls, Proc. R. Soc. Lond. A 434 (1991) 657--675). Using these representations, we obtain a number of properties of the asymptotic expansions of the Hankel and Bessel functions and their derivatives of nearly equal order and argument, including explicit and numerically computable error bounds, asymptotics for the late coefficients, exponentially improved asymptotic e…
In this paper, we obtain uniform bounds for a number of expressions that involve derivatives and integrals of modified Bessel functions. These uniform bounds are motivated by the need to bound such expressions in the study of variance-gamma and product normal approximations via Stein's method.
In the present paper, unification of Bessel, modified Bessel, spherical Bessel and Bessel-Clifford functions via the generalized Pochhammer symbol [ Srivastava HM, Cetinkaya A, Kıymaz O. A certain generalized Pochhammer symbol and its applications to hypergeometric functions. Applied Mathematics and Computation, 2014, 226 : 484-491] is defined. Several potentially useful properties of the unified family such as generating function, integral representation, Laplace transform and Mellin transform are obtained. Besides, the unified Bessel, modified Bessel, spherical Bessel and Bessel-Clifford fun…
In this paper we study the Dini functions and the cross-product of Bessel functions. Moreover, we are interested on the monotonicity patterns for the cross-product of Bessel and modified Bessel functions. In addition, we deduce Redheffer-type inequalities, and the interlacing property of the zeros of Dini functions and the cross-product of Bessel and modified Bessel functions. Bounds for logarithmic derivatives of these functions are also derived. The key tools in our proofs are some recently developed infinite product representations for Dini functions and cross-product of Bessel functions.
In this note we offer some log-concavity properties of certain functions related to Bessel functions of the first kind and modified Bessel functions of the first and second kind, by solving partially a recent conjecture on the log-convexity/log-concavity properties for modified Bessel functions of the first kind and their derivatives. Moreover, we give an application of the mentioned results by extending two inequalities of van der Corput to Bessel and modified Bessel functions of the first kind. Similar inequalities are proved also for modified Bessel functions of the second kind, as well as …
In this work, series expansions in terms of Bessel functions of the first kind are given for the sine and cosine integrals. These representations differ from many of the known Neumann-type series expansions for the sine and cosine integrals, which contain non-integer order or quadratic Bessel function terms. In addition, using the theory of Euler sums we are able to obtain some closed form evaluations of integrals involving Bessel functions and the sine and cosine integrals.
In this paper our aim is to deduce some sufficient (and necessary) conditions for the close-to-convexity of some special functions and their derivatives, like Bessel functions, Struve functions, and a particular case of Lommel functions of the first kind, which can be expressed in terms of the hypergeometric function ${}_1F_2$. The key tool in our proofs is a result of Shah and Trimble about transcendental entire functions with univalent derivatives. Moreover, a known result of Pólya on entire functions, the infinite product representations and some results on zeros of Bessel, Struve and Lomme…
We examine the sum of modified Bessel functions with argument depending non-linearly on the summation index given by \[S_{ν,p}(a)=\sum_{n\geq 1} (an^p/2)^{-ν} K_ν(an^p)\qquad (a>0,\ 0\leqν<1)\] as the parameter $a\to 0+$, where $p$ denotes an integer satisfying $p\geq 2$. This extends previous work for the cases $p=1$ (linear) and $p=2$ (quadratic). The expansion as $a\to0+$ consists of an infinite number of asymptotic sums involving the Riemann zeta function, which when optimally truncated lead to remainder terms that are exponentially small in the parameter $a$. The number of these exponenti…
In this paper necessary and sufficient conditions are deduced for the close-to-convexity of some special combinations of Bessel functions of the first kind and their derivatives by using a result of Shah and Trimble about transcendental entire functions with univalent derivatives and some newly discovered Mittag-Leffler expansions for Bessel functions of the first kind.
The Lerche-Newberger formula simplifies harmonic sums of Bessel functions and has seen application in plasma physics and frequency modulated quantum systems. In this paper, we rigorously prove the formula and extend the classical result to a family of multi-dimensional extensions of the single variable Bessel functions called generalized Bessel functions. Since prevailing definitions of these functions do not accommodate arbitrary complex order, we use an auxiliary family of functions called generalized Anger functions and show that the single-variable result holds in multiple dimensions for a…
We introduce Bernoulli-Dunkl and Apostol-Euler-Dunkl polynomials as generalizations of Bernoulli and Apostol-Euler polynomials, where the role of the derivative is now played by the Dunkl operator on the real line. We use them to sum a bunch of series involving the zeros of Bessel functions.
In this paper the radii of starlikeness of the Jackson and Hahn-Exton $q$-Bessel functions are considered and for each of them three different normalization are applied. By applying Euler-Rayleigh inequalities for the first positive zeros of these functions tight lower and upper bounds for the radii of starlikeness of these functions are obtained. The Laguerre-Pólya class of real entire functions plays an important role in this study. In particular, we obtain some new bounds for the first positive zero of the derivative of the classical Bessel function of the first kind.