Properties of powers of functions satisfying second-order linear differential equations with applications to statistics
We derive properties of powers of a function satisfying a second-order linear differential equation. In particular we prove that the -th power of the function satisfies an -th order differential equation and give a simple method for obtaining the differential equation. Also we determine the exponents of the differential equation and derive a bound for the degree of the polynomials, which are coefficients in the differential equation. The bound corresponds to the order of differential equation satisfied by the -fold convolution of the Fourier transform of the function. These results are applied to some probability density functions used in statistics.
Keywords and phrases: characteristic function, exponents, holonomic function, indicial equation, skewness
In statistics it is important to study the distribution of a sum (i.e. convolution) of independent random variables. Usually the distribution is studied through the characteristic function, because the convolution of probability density functions corresponds to the product of characteristic functions. If the random variables are identically distributed, then we study the -th power of a characteristic function. The central limit theorem is proved by analyzing the limiting behavior of the -th power of a characteristic function as . Often the technique of asymptotic expansion is employed to improve the approximation for large . However for finite , the exact distribution of the sum of random variables is often difficult to treat. Hence it is important to develop methodology for studying properties of the -th power of a function.
Recently techniques based on holonomic functions (, Chapter 6 of ) have been introduced to statistics and successfully applied to some difficult distributional problems (e.g. , ). In this paper we investigate the case that the function satisfies a second-order linear differential equation with rational function coefficients, which we call holonomic differential equation. In Section 2 we prove that the -th power satisfies an -th order differential equation and give a simple method for obtaining the differential equation. Also we determine the exponents of the differential equation and derive a bound for the degree of the polynomials which appear as coefficients of the differential equation.
As shown in Section 3, there are some important examples in statistics which falls into this case. We discuss sum of beta random variables and sum of cubes of standard normal random variables. The differential equations reveal many interesting properties of the characteristic function and the probability density function of the sum of random variables. These properties are hard to obtain by other methods. We end the paper with some discussions in Section 4.
2 Main results
In this section we present our main results in Theorems 2.4, 2.8 and 2.12. Theorem 2.4 gives the differential equation satisfied by the -th power. Theorem 2.8 bounds the degree of coefficient polynomials. Theorem 2.12 derives exponents of the differential equation.
Let denote the field of rational functions in with complex coefficients and let
denote the ring of differential operators with rational function coefficients. In , the product of and is defined as , where is the derivative of with respect to . In order to distinguish the product in and the action of to a function, we denote the latter by the symbol .
If we write , both and are the elements of . Hence . On the other hand, if we write , this is a function. Hence .
In this paper we study which is a holonomic function satisfying a second-order differential equation:
2.1 Order of the differential equation of the -th power and its Fourier transform
Let be an dimensional column vector and let
be an tridiagonal matrix with entries from . Furthermore define
with entries from . Let
be an matrix with entries from . If we write , , then
or writing down the elements we have
where . Hence it is easy to compute the elements of the columns of recursively, starting from the first column.
if . .
We use induction on . The result is trivial for . Assume and . Then by (5) we have and . ∎
This lemma implies , or . Hence the element of is unique up to the multiplication of a rational function. Here note that we are using the linear algebra over .
where , . Once we set , then by the triangularity of , are successively determined. Moreover, if we set , then we obtain . Hence for . Often we set . For theoretical investigation it is convenient to clear the common denominators of ’s and take ’s as polynomials.
Let and let . Then
If we set , we successively obtain
Multiplying by we obtain with polynomial elements.
We now derive a holonomic differential equation satisfied by the -th power of the holonomic function .
The -th power of satisfies the following -th order holonomic differential equation:
where ’s are given in (7).
By induction we prove
for any . It is obvious for . By (1),
holds for all , and this leads to
where is given in (2).
If we just want to show the existence of a holonomic differential equation of order , we have only to consider
Then is a left -module as well as a vector space over of dimension at most . Hence elements, , , …, , which belong to , are linearly dependent over . Similarly, we see that when satisfies a holonomic differential equation of order , satisfies a holonomic differential equation of order .
There exists a function satisfying a second-order holonomic differential equation, such that does not satisfy any holonomic differential equation of order less than .
Let , with . We prove by contradiction that , or , , , are linearly independent over . It is obvious for . Let be the smallest integer such that are linearly dependent. Then, there exist rational functions , not all zero, such that
By putting , has infinite number of zeros, and therefore is identically zero. Divide the equation (18) by , and we obtain , which is a contradiction.
Since are linearly independent and the matrix is non-singular by Lemma 2.2 over , are linearly independent over . Thus, there does not exist a holonomic differential equation of order less than satisfied by .
We have already remarked that we can take , , as polynomials in (10). Also we can cancel common factors in them. Hence we can assume that they are coprime polynomials. We now investigate the highest degree of these polynomials, which is important when the differential equation is Fourier transformed, because it is equal to the order of the transformed equation.
For the rest of this subsection we assume that are Laurent polynomials. Here, we define mindeg and maxdeg of a Laurent polynomial.
For a non-zero Laurent polynomial , we define
We define , .
Note that for a polynomial , .
Now we state the following theorem on the largest degree of the polynomials.
Let denote . We prove
for by induction. It is easy to check them for . Assuming them up to , by (5), we have
Thus, the results are shown by induction.
Let denote the polynomial ring in and with complex coefficients. The Fourier transform , which is a ring isomorphism of , is defined by (Section 6.10 of )
Hence the Fourier transform of is given by .
This definition is based on the fact that if a function satisfies the differential equation , then the Fourier transform satisfies the differential equation under some regularity conditions. If is a rapidly decreasing holonomic function, then the correspondence (29) is immediate (Section 5.1.4 of ). The correspondence can be justified in the class of slowly increasing functions. See Chapter 5 of .
We take ’s as coprime polynomials in (10) and then take the Fourier transform. By the correspondence (29), the highest degree of the coefficient polynomials of equals the order of . Hence we have the following corollary.
2.2 Exponents for the differential equation of the -th power and the Fourier transformed equation
Consider an -th order differential equation
If are all analytic at , then is said to be a regular singular point for the equation. If and are all analytic at , then is said to be a regular singular point for the equation.
When the equation (30) is holonomic, is a regular singular point if the denominators of do not have a factor , and is a regular singular point if and are all proper.
When is a regular singular point for the equation, the -th degree equation
The case can be reduced to the case by the transform and the case can be reduced to by . Hence in the following we put .
The equation (30) is equal to
where is the Euler operator, since . This shows that is obtained by expressing the differential equation in terms of and , and substituting and formally.
The eigenvalues of an tridiagonal matrix
The eigenvalues of are equal to those of the matrix
because the determinant of a tridiagonal matrix depends only on the diagonal elements and the products of off-diagonal elements .
If , it is obvious that the eigenvalues are . Otherwise, putting , we prove that the eigenvalues of the matrix are .
For , all of ’s are different. We show that the eigenvector corresponding to is where
Here, the summation for is over the finite interval .
The -th entry of equals
The first two terms equal
by the relations , and . Similarly, the last two terms equal . Those show that .
For , all of ’s are identical. Let be dimensional vectors where
Then, we can show and as above. Hence ’s, which are linearly independent, are the generalized eigenvectors of the matrix. ∎
We now show the following theorem on the exponents for (10).
We put without loss of generality by translation. Then, the equation (1) can be rearranged to
where and are analytic at .