特征函数反演公式的证明

In order to study the properties of characteristic functions, we require the following basic facts concerning the conditions under which various limiting operations may be interchanged with the expectation operation. These facts are stated here without proof (for proof see any text on measure theory or modern integration theory).

We state first a theorem dealing with the conditions under which, given a convergent sequence of functions $g_n(\cdot )$ , the limit of expectations is equal to the expectation of the limit.

In particular, it may happen that (5.2) will hold with $G(x)$ equal for all $x$ to a finite constant $C$ . Since $E[C]=C$ is finite, it follows that (5.3) will hold. Since this is a case frequently encountered, we introduce a special terminology for it: the sequence of functions $g_n(\cdot )$ is said to converge boundedly to $g(\cdot )$ if (5.1) holds and if there exists a finite constant $C$ such that 

From theorem 5A it follows that (5.3) will hold for a sequence of functions converging boundedly. This assertion is known as the Lebesgue bounded convergence theorem. Theorem 5A is known as the Lebesgue dominated convergence theorem.

Theorem 5A may be extended to the case in which there is a function of two real variables $g(x,u)$ instead of a sequence of functions $g_n(x)$ .

Note that (5.5) says that $g(x,u)$ is continuous as a function of $u$ at each $x$ . If a Borel function $G(x)$ exists such that

and if $E[G(X)]$ is finite, then for any real number $u$ 

Note that (5.7) says that $E[g(X,u)]$ is continuous as a function of $u$ .

We next consider the problem of differentiating and integrating a function of the form of $E[g(X,u)]$ .

As one consequence of theorem 5C, we may deduce (2.10).

It should be noted that the integrals in (5.11) involving integration in the variable $u$ may be interpreted as Riemann integrals if we assume that (5.5) holds. However, the assertion (5.11) is valid even without assuming (5.5) if we interpret the integrals in $u$ as Lebesgue integrals.

Finally, we give a theorem, analogous to theorem 5A, for Lebesgue integrals over the real line.

Theorem 5E, like theorem 5A, is a special case of a general result of the theory of abstract Lebesgue integrals, called the Lebesgue dominated convergence theorem.

We next discuss the proofs of the inversion formulas for characteristic functions. In writing out the proofs, we omit the subscript $X$ on the distribution function $F_X(\cdot )$ and the characteristic function ${\varphi }_X(\cdot )$ .

We first prove (3.13). We note that in which the interchange of the order of integration is justified by theorem $5D$ . Now define the functions  

Clearly, at each $y,g(y,U)$ converges boundedly to $g(y)$ as $U$ tends to $\mathrm{\infty }$ . Therefore, by theorem $5\mathrm{A}$ ,

We next prove (3.12). It may be verified that $$\mathrm{Im}[e^{-iux}\varphi (u)]=E[\sin u(X-x)]$$ 

for any real numbers $u$ and $x$ . Consequently, for any  

in which the interchange of integrals in (5.15) is justified by theorem 5D. Now it may be proved that in which the convergence is bounded for all $U$ and $t$ .

A proof of (5.16) may be sketched as follows. Define

$$G(a)={\int }_0^{\mathrm{\infty }}{e}^{-au}\frac{\sin ut}{u}du.$$ 

Verify that the improper integral defining $G(a)$ converges uniformly for $a\ge 0$ and that this implies that

$${\int }_0^{\mathrm{\infty }}\frac{\sin ut}{u}du=\underset{a\to 0+}{lim}G(a).$$ 

Now

in which, for each $a$ the integral in (5.17) converges uniformly for all $t$ . Verify that this implies that $G(a)={\tan }^{-1}(t/a)$ , which, as $a$ tends to 0, tends to $\pi /2$ or to $-\pi /2$ , depending on whether or . The proof of (5.16) is complete.

Now define By (5.16), it follows that the integrand of the integral on the right-hand side of (5.15) tends to $g(y)$ boundedly as $U$ tends to $\mathrm{\infty }$ . Consequently, we have proved that

$$\frac{2}{\pi }{\int }_0^{\mathrm{\infty }}\frac{\mathrm{Im}(e^{-iux}\varphi (u))}{u}du={\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}g(y)dF(y)=1-2F(x).$$ 

The proof of (3.12) is complete.

We next prove (3.4). We have

in which we define the function $K(\cdot )$ for any real number $z$ by

(5.18) follows from the fact that

To conclude the proof of (3.4), it suffices to show that

converges boundedly to $g^{\ast }(x)$ as $U$ tends to $\mathrm{\infty }$ . We now show that this holds, using the facts that $K(\cdot )$ is even, nonnegative, and integrates to 1; in symbols, for any real number $u$ 

In other words, $K(\cdot )$ is a probability density function symmetric about 0.

In (5.20) make the change of variable $t=y-x$ . Since $K(\cdot )$ is even, it follows that

By making the change of variable in (5.22) and again using the fact that $K(\cdot )$ is even, we determine that

Consequently, by adding (5.22) and (5.23) and then dividing by 2, we show that

Define $h(t)=\frac{g(x+t)+g(x-t)}{2-g^{\ast }(x)}$ . From (5.24) it follows that

Now let $C$ be a constant such that $2|g(y)|\le C$ for any real number $y$ . Then, for any positive number $d$ and for all $U$ and $x$ 

For $d$ fixed ${\displaystyle {\int }_{|s|\ge Ud}K(s)ds}$ tends to 0 as $U$ tends to $\mathrm{\infty }$ . Next, by the definition of $h(t)$ and $g^{\ast }(t)$ , $\underset{|t|\le d}{sup}|h(t)|$ tends to 0 as $d$ tends to 0. Consequently, by letting first $U$ tend to infinity and then $d$ tend to 0 in (5.26), it follows that $g_U(x)$ tends boundedly to $g^{\ast }(x)$ as $U$ tends to $\mathrm{\infty }$ . The proof of (3.4) is complete.