Abstract
Closed form expression is established for the cumulative distribution function of the non-central \(\chi _\nu '^2(\lambda )\) probability distribution with integer degrees of freedom \(\nu \). This expression includes the Humbert \(\Phi _1\) (confluent Appell) hypergeometric function of two variables. A new representation of the Marcum \(Q_1\) function of the first order is obtained, interconnection formula accompanied with a reduction formula for specific, equal unit-parameter case of the Humbert function \(\Phi _1\) and the function \(\Phi _3\) are established.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction, Earlier Results and Motivation
Let \(X_{1}, X_{2}, \dots , X_{\nu }\) are independent homoscedastic normally distributed random variables (rv)s with means \(\mu _{j}, j=\overline{1, \nu }\) and the same (unit) variance defined on a standard probability space \((\Omega , {\mathscr {F}}, {\mathsf {P}})\). Then the rv \(\Xi = X_{1}^{2}+ \dots + X_{\nu }^{2}\) has non-central \(\chi ^{2}\) distribution of \(\nu \in {\mathbb {N}}\) degrees of freedom (the size number of the sum), with the non-centrality parameter \(\lambda = \mu _{1}^{2} + \cdots +\mu _{\nu }^{2} \ge 0\) [9,10,11]. The distribution of the rv \(\Xi \) is usually denoted by \(\chi _{\nu }^{\prime 2}(\lambda )\) [11, p. 433]; in this case we write \(\Xi \sim \chi _{\nu }^{\prime 2}(\lambda )\). The associated probability density function (PDF) can be represented [7, 11] in terms of the modified Bessel function of the first kind \(I_{\eta }\) with the order \(\eta \):
Due to the usefulness and wide application of the non-central \(\chi ^{2}\)-distribution, e.g. in finance, estimation and decision theory, time series analysis [1, 21], mathematical physics [11, p. 435], certain statistical tests [12], etc., many authors have studied the correspoding PDF and cumulative distribution function (CDF), mostly in the case when \(\nu = n \in {\mathbb {N}}\) (see e.g. [3, 11, 17, 18, 20, 23]). Lately, the case \(\nu = 2n \in {\mathbb {N}}\) is strongly considered by the authors in [2, 9, 10], even though, in general, \(\nu \) can be a nonnegative real number [19].
It is also important to emphasize that \(\chi _{\nu }^{\prime 2}(\lambda )\) also has its applications in communication theory, when the corresponding CDF is given by [9, p. 66, Eq. (1.1)]
where \(Q_{\mu }(a, b)\) is the generalized Marcum Q function [15]
in this case the non-centrality parameter \(\lambda \) is interpreted as a signal-to-noise ratio [11, p. 435].
Using the representation (1), Jankov Maširević showed that the CDF of the noncentral \(\chi ^{2}\) distribution, in the case of even number of the degrees of freedom, can be represented in the following form [9, p. 4, proof of Theorem 2.1)]:
where \(n\in {\mathbb {N}}\) and \(\lambda , x >0\).
The literature covering \(Q_{1}\) contains several recent and up-to-date references and closed form results. For instance, Brychkov derived the closed-form formula for the generalized Marcum Q function of general non-negative integer order [3, p. 178, Eq. (10)]
The special case of this formula for \(n = 0\) appears in [3, p. 179, Eq. (12)] as
the empty sum is understood to be equal to zero and the Humbert function \(\Phi _{3}\) is defined by the series [6, p. 225, Eq. (22)]
Sofotasios et al. [22, p. 7811, Eq. (109)] proved the relation in terms of the equal, unit-parameter Humbert \(\Phi _1\) function, reads as follows
and
where the Humbert function \(\Phi _1\big (\alpha , \beta ; \gamma ; z, w\big )\) is defined by the relation [6, p. 225, Eq. (20)]
In fact, this is the abbreviated form of the relation [22, p. 7811, Eq. (109)], since \({}_{2}F_{1}\big (\tfrac{1}{2}, 1; 1; x\big ) = (1-x)^{-\frac{1}{2}}\).
Finally, it is worth to mention the Brychkov–Savischenko’s \({\mathcal {H}}_{p}\) function, which appears in evaluation of the error probability for generalized Rice–Nakagami fading conditions with coherent reception and relates to Marcum \(Q_{1}\), see [4].
Regarding the expression (3), the CDF of the rv \(\Xi \sim \chi _{\nu }^{\prime 2}(\lambda )\) admits representation formulae in terms of incomplete Lipschitz–Hankel \(I_{e_{\mu , \nu }}\) [16], and Rice \(I_{e}\) integrals [22], Temme’s T-integral [23], and also as the related S-integral, introduced by Jankov-Maširević [9], which have computational adventages. Also, we point out that another expressions for the CDF were obtained by completely different approach in the recent articles [2, 10].
The main aim of this paper is to derive simple and elegant expression for \(F_{2n,\lambda }\), relying on the formula (3) and some results considered by Goldstein [8, 14], which will be presented in the next section. The formula involves the Humbert hypergeometric series \(\Phi _{1}\) of two variables, Marcum function of the first order \(Q_{1}\) and a finite sum of modified Bessel functions of the first kind. Finally, it is worth to mention that as by-products, novel closed form expressions are obtained for the first order Marcum function \(Q_{1}\) and transformation formulae for Humbert \(\Phi _{1}\) and \(\Phi _{3}\). We also point out that only the Humbert \(\Phi _1\) possesses Euler-type single integral representation on the real axis with elementary functions in the integrand, which ensures a simpler approximation procedure in numerical evaluations using quadratures.
2 On CDF of \(\chi _{2n}^{\prime 2}(\lambda )\)-Distribution Regarding Goldstein’s Result
In this section we derive new representation formula for \(F_{2n,\lambda }\), presented in a closed form. In 1953 Goldstein [8, p. 158 et seq., §3.] has considered the following integral involving the modified Bessel function
which appears in a variety of applied problems, see also Luke [14, Chapter XII].
The Marcum function \(Q_{1}\) of the first order is the special case of (2) for \(\mu =1\), which is
Thus, our aim is to find a closed formula for the function J(u, v) in order to get a new expression for CDF (3) in terms of \(Q_{1}\).
Now, we report Goldstein’s function [8, p. 162, Eq. (60)] in a slightly different form, i.e. transformed linearly from the original formula by the substitution \(t\rightarrow 4t\):
where \(\xi = 2\sqrt{u v}\) and \(\eta =\sqrt{v/u}\), while \(J(u, u) = \tfrac{1}{2}\,\big [1+ \mathrm{e}^{-2 u} I_{0}(2 u)\big ]\); compare [8, p. 160, Eq. (48)].
In terms of the auxiliary function [8, p. 162, Eq. (64)]
and (7) we conclude that
where
Unlike Goldstein’s \(\xi , \eta \)-labeling, here and in what follows, we apply the new parametrization \(\xi ^{\prime }= \sqrt{\lambda x}\) and \(\eta ^{\prime }= \sqrt{x/\lambda }\); compare the arguments of the function J(u, v) in (6) and (7).
Now we are ready to formulate one of the main results, which is the explicit expression for the CDF of the \(\chi _{\nu }^{\prime 2}(\lambda )\) distribution with even degrees of freedom in terms of exponential function, modified Bessel function of the first kind of zero order and Humbert hypergeometric \(\Phi _{1}\) function of two variables.
Theorem 1
For all \(\min \{\lambda , x\}>0\) such that \(q_{4} = 4\sqrt{\lambda x} (\sqrt{\lambda }- \sqrt{x}\,)^{-2} <1\) and any \(n \in {\mathbb {N}}\)
where the Marcum function has the relation
Proof
Firstly, we prove that for all \(\lambda , p, x>0\) there holds the relation
where the shorthand
Indeed, the integrand f(t) in (12) has the asymptotic
which provides the convergence of \({\mathscr {I}}_p\) being an Euler-type single integral representation of the Humbert \(\Phi _1\) function [5, p. 348, Eq. (9)]
for all \(\Re (\gamma )> \Re (\alpha ) >0\). This integral form is obtained from the on-dimensional Picard–Goursat Euler-type integral of the Appell double hypergeometric function \(F_1\) by confluence, which is
Now, equalizing the parameters’ values of the integrands in \(\Phi _1\) and in
we immediately get the parameters values
Hence, we have
To recover Goldstein’s formula (8), in our setting (9), it is sufficient to specify \(p=4\) in (12). So, for all \(\lambda , x >0\), such that \(q_4<1\), there holds the relation
Having in mind all the relations (6)–(9), then (12), we start with the integral \({\mathscr {I}}_4\), which precises Goldstein’s auxiliary function \(I(\xi , \eta )\) in (8) via \(\Phi _1\). This in turn leads to the established form (11). It just remains to replace that \(Q_1\) into (10) to complete the proof of the theorem. \(\square \)
Remark 1
The formula (12) can be reached by expanding \(\exp \big (-\frac{p}{2} \sqrt{\lambda x}\,t\big )\) into Maclaurin series and apply the readily justified interchange of summation and integration and the linear argument transformation of \({}_2F_1\). Therefore,
where the formula \((a)_n (a+n)_k = (a)_{n+k}\) was used. Hence,
the Humbert series converges since \(q_p<1\).
Remark 2
The new representation of Goldstein’s function \(I(\xi ,\eta )\) with \(\xi ^{\prime }= \sqrt{\lambda x}\), \(\eta ^{\prime }=\sqrt{x/\lambda }\) we get for all \(4 \eta ^{\prime }(1-\eta ^\prime )^{-2}<1\) and \(\xi ^{\prime }>0\), that
Remark 3
The cases in (11) are connected via the property [13, p. 2158, Eq. (25)]
since the right-hand side expressions are invariant with respect to \(\lambda \leftrightarrow x\) exchange.
The region of validity of Theorem 1 is restricted by \(q_{4}<1\) for \(\lambda , x>0\) determined in the convergence domain of \(\Phi _{1}\). Our aim is to extend the parameter space to negative values of \(\lambda \) and x and inter-connect \(Q_{1}\) and \(\Phi _{1}\) in two different ways. However, the representation formula which expresses Humbert \(\Phi _{1}\) function in terms of \(Q_{1}\), holds for all complex values of variables with the standard restriction for the first argument of \(\Phi _{1}\).
In order to derive our next result, we need the definition of the incomplete Lipschitz–Hankel integrals (ILHI) [16, p. 2815, Eq. (1)]
where the integral \(I_{e_{\mu ,\nu }}(\alpha ,z)\) converges provided \(\Re (\mu +\nu )>-1\). Also, we are interested in Rice \(I_{e}\)-function, defined for all \(x \ge 0\) and \(0 \le k\le 1\) by the following finite integral representation [22, p. 7805, Eq. (57)]
Theorem 2
For all \(x, \lambda \in {\mathbb {R}}\) for which \(4|\lambda x|(\lambda -x)^{-2}<1\), we have
Moreover, for all \(w, z \in {\mathbb {C}}\) such that \(|w|<1, |\Re (z)|<\infty \), there holds true
Proof
The basic connection formula between the zero order ILHI \(I_{e_{0,0}}\), and the Rice \(I_e\)-function reads [16, p. 2822]
Combining the representation of \(I_e\) in terms of Marcum \(Q_1\) obtained by Paris et al. [16, p. 2816, Lemma 3] and the ILHI via Humbert \(\Phi _1\) series established in Sofotasios et al. [22, p. 7806, Theorem 6] we readily conclude
valid for all \(\widetilde{\alpha } = \alpha +\sqrt{\alpha ^2-1}, \, \alpha \ge 1\) and \(t>0\). However, by scaling \(t = -\lambda x\) and \(\alpha = - \frac{x^2+\lambda ^2}{2 \lambda x}\), we arrive at the first statement (13). By virtue of the substitutions \(w = 2(1+\alpha )^{-1}, z = 2t\) in (15) we conclude the desired extension formula (14) after some routine calculations. \(\square \)
Remark 4
We point out that Lemma 3 (i) of [16, p. 2816] is erroneous. Namely, the denominator of the first variable of Marcum \(Q_{1}\) should be correctly written as \(\sqrt{\alpha + \sqrt{\alpha ^{2}-1}}\) according to other three (ii)–(iv) statements of the Lemma 3. Also, the correct value of the parameter \( {\overline{\alpha }} = 1/\sqrt{\alpha ^{2}-1}\) throughout.
Finally, recalling the formula (14) and making use of the representation (4) of the Marcum \(Q_{1}\) function through \(\Phi _{3}\), one can readily find the connection formulae between \(\Phi _{1}\) and \(\Phi _{3}\).
Theorem 3
For all \(z, w \in {\mathbb {C}}; |w|<1\) we have
Moreover, there holds true the vice versa formula
valid for \(w, z \in {\mathbb {C}}\), provided \(4|w\sqrt{z}|\,|w-\sqrt{z}\,|^{-2} <1\). Here the reduction of the square root is not allowed, since the complex radicand.
3 Conclusions: An Open Problem
The CDF of the \(\chi _\nu '^2(\lambda )\) distribution is expressed in terms of specific, equal-parameter Humbert \(\Phi _1\) function, with the aid of the Marcum function of the first order \(Q_1\), using the auxiliary formulae J(u, v) and \(I(\xi , \eta )\) of Goldstein, see Theorem 1 in light of Remark 2. In turn, since \(Q_1\) is expressible via specific Humbert functions \(\Phi _1\) and \(\Phi _3\) (see Theorem 2 and (4)), we deduce transformation formulae between the specific cases of \(\Phi _1\) and \(\Phi _3\) in both directions, which are novelties in the theory of hypergeometric functions of two variables (Theorem 3). Here we point out that the used \(\Phi _3\) in our results has equal (unit) parameters, but their nature differ—one stands for the double-indices Pochhammer symbol \((1)_{k+n}\), while the other \((1)_k\), see (4). The equal, also unit parameters in \(\Phi _1\) are of the same fashion, both build single-indexed Pochhammer symbols starting with the expression (5) concluding with the Theorem 3.
The contributions of this study to the theory of probability distributions and to the related area of higher transcendental hypergeometric functions of two variables is therefore evident.
Moreover, the question of either reducing and/or approximating Marcum functions of higher order by a single variable special functions with arbitrary accuracy, still remains open.
Availability of data and material and code availability
Not applicable.
References
András, S., Baricz, Á.: Properties of the probability density function of the non-central chi-squared distribution. J. Math. Anal. Appl. 346, 395–402 (2008)
Baricz, Á., Jankov Maširević, D., Pogány, T.K.: Approximation of CDF of non-central Chi-square distribution by mean-value theorems for integrals. Mathematics 9, 129 (2021)
Brychkov, Y.A.: On some properties of the Marcum \(Q\) function. Integral Transforms Spec. Funct. 23, 177–182 (2012)
Brychkov, Y.A., Savishchenko, N.V.: A special function of communication theory. Integral Transforms Spec. Funct. 26, 470–484 (2015)
Erdélyi, A.: Some confluent hypergeometric functions of two variables. Proc. R. Soc. Edinb. 60, 344–361 (1940)
Erdélyi, A., Magnus, W., Oberhettinger, F., Tricomi, F.G.: Higher Transcendental Functions. Based, in Part, on Notes Left by Harry Bateman, vol. I. McGraw-Hill Book Company Inc., New York (1953)
Fisher, R.A.: The general sampling distribution of the multiple correlation coefficient. Proc. R. Soc. Lond. (A) 121, 654–673 (1928)
Goldstein, S.: On the Mathematics of Exchange Processes in Fixed Columns. I. Mathematical Solutions and Asymptotic Expansions. Proc. R. Soc. Lond. Ser. A 219, 151–171 (1953)
Jankov, Ma.širević D.: On new formulas for the cumulative distribution function of the non-central chi-square distribution. Mediterr. J. Math. 12, 1–13 (2017)
Jankov, Ma.širević D., Pogány, T.K.: CDF of non-central \(\chi ^{2}\) distribution revisited. Incomplete hypergeometric type functions approach. Indag. Math. (N.S.) 32, 901–915 (2021)
Johnson, N.L., Kotz, S., Balakrishnan, N.: Continuous Univariate Distributions, vol. 2. Wiley, New York (1995)
Kamel, A.S., Abdel-Samad, A.I.: On the computation of non-central chi-square distribution function. Commun. Stat. Simul. Comput. 19, 1279–1291 (1990)
Lopez-Martinez, F.J., Romero-Jerez, J.M.: Asymptotically exact approximations for the symmetric difference of generalized Marcum \(Q\)-functions. IEEE Trans. Veh. Technol. 64, 2154–2159 (2015)
Luke, Y.L.: Integrals of Bessel Functions. McGraw-Hill Book Company, New York (1962)
Marcum, J.I.: Table of \(Q\) Functions. U.S. Air Force RAND Research Memorandum M-339. Rand Corporation, Santa Monica, CA (1950)
Paris, J.F., Martos-Naya, E., Fernández-Plazaola, U., López-Fernández, J.: Analysis of adaptive MIMO transmit beamforming under channel prediction errors based on incomplete Lipschitz-Hankel integrals. IEEE Trans. Veh. Tehnol. 58, 2815–2824 (2009)
Patnaik, P.B.: The non-central \(\chi ^{2}\)- and the \(F\)-distributions and their applications. Biometrika 36, 202–234 (1949)
Pearson, E.S.: Note on an approximation to the distribution of non-central \(\chi ^{2}\). Biometrika 46, 202–232 (1959)
Robert, C.: Modified Bessel functions and their applications in probability and statistics. Stat. Probab. Lett. 9, 155–161 (1990)
Sankaran, M.: Approximations to the non-central chi-square distribution. Biometrika 50, 199–204 (1963)
Scharf, L.L.: Statistical Signal Processing: Detection, Estimation, and Time Series Analysis. Addison-Wesley Publishing Co., Boston (1990)
Sofotasios, P.C., Tsiftsis, T.A., Brychkov, Y.A., Freear, S.M., Valkama, M., Karagiannidis, G.K.: Analytic expressions and bounds for special functions and applications in communication theory. IEEE Trans. Inform. Theory 60, 7798–7823 (2014)
Temme, N.M.: Asymptotic and numerical aspects of the non-central chi-square distribution. Comput. Math. Appl. 25, 55–63 (1993)
Funding
Open access funding provided by Óbuda University. The research of Tibor K. Pogány has been supported in part by the University of Rijeka, Croatia under the project uniri-pr-prirod-19-16.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that there are no conflict of interests.
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
Brychkov, Y.A., Maširević, D.J. & Pogány, T.K. New Expression for CDF of \(\chi _\nu '^2(\lambda )\) Distribution and Marcum \(Q_1\) Function. Results Math 77, 102 (2022). https://doi.org/10.1007/s00025-022-01634-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-022-01634-3
Keywords
- CDF of non-central \(\chi ^2\) distribution
- marcum \(Q_1\)
- modified Bessel function of the first kind
- humbert \(\Phi _1\) and \(\Phi _3\) functions
- Goldstein \(I(\xi</Keyword> <Keyword>\eta )\)