Chapter 4

Analytic Methods of Probability Theory

[178/79%]
Show
LaTeX
Problem 4.1

Let ξ\xi be a nonnegative integer-valued random variable with generating function φ(z)\varphi (z). Find the generating functions of the random variables ξ+n\xi +n and nξn \xi (nn is a nonnegative integer) . 6 A. V. Prokhorov et al.

?
Problem 4.2

Find the distributions corresponding to the following generating functions:

?
(a)

14(1+z)2\frac{1}{4}(1+z)^{2};

(b)

p(1−qz)−1,p,q>0,p+q=1p(1-q z)^{-1}, p, q > 0, p+q = 1;

(c)

eλ(z−1),λ>0e^{\lambda (z-1)}, \lambda > 0;

(d)

(p+qz)n(p+q z)^{n};

(e)

2ee2−1ch⁡z\frac{2 e}{e^{2}-1} \operatorname {ch} z;

(f)

(1+1−zzln⁡(1−z))\left(1+\frac{1-z}{z} \ln (1-z)\right).

Problem 4.3

Find the distribution corresponding to the generating function φ(z)\varphi (z), if φ(12n)=12n,n=1,2,…\varphi \left(\frac{1}{2^{n}}\right) = \frac{1}{2^{n}}, n = 1,2, \ldots

?
Problem 4.4

Prove that the function φ(z)=∣z∣\varphi (z) = \left|z\right| cannot be the generating function of a probability distribution.

?
Problem 4.5

Let ξ\xi be a random variable taking nonnegative integer values, and let φ(z)\varphi (z) be its generating function. Prove that

P(ξ=0)=lim⁡n→∞1n∑k=1nφ(ak) \mathbb {P}\left(\xi = 0\right) = \lim _{n \rightarrow \infty } \frac{1}{n} \sum _{k = 1}^{n} \varphi \left(a_{k}\right)

where ∣ak∣⩽1,ak→0\left|a_{k}\right| \leqslant 1, \quad a_{k} \rightarrow 0 as k→∞k \rightarrow \infty.

?
Problem 4.6

Let ξ\xi be a random variable taking nonnegative integer values, and let φ(z)\varphi (z) be its generating function. Prove that P(ξ=0)=0\mathbb {P}\left(\xi = 0\right) = 0 if and only if the series

∑n=1∞φ(12n). \sum _{n = 1}^{\infty } \varphi \left(\frac{1}{2^{n}}\right) .

converges.

?
Problem 4.7

For which values of the parameters is the fractional-linear function φ(z)=a+bzc+dz\varphi (z) = \frac{a+b z}{c+d z} the generating function of a probability distribution?

?
Problem 4.8

Let ξ\xi and η\eta be random variables, where ξ\xi takes the values 0 and 1 with probabilities 1/21 / 2 each, and η\eta takes the values 0, 1, 2, 3 with probabilities 1/8,1/4,1/21 / 8, 1 / 4, 1 / 2 and 1/81 / 8 respectively. Prove that there is no random variable ζ\zeta, independent of ξ\xi, such that ξ+ζ=η\xi +\zeta = \eta.

?
Problem 4.9

Let ξ\xi and η\eta be random variables, where ξ\xi takes the values 0,1,20,1,2 with probabilities 1/2,1/4,1/41 / 2,1 / 4,1 / 4, and η\eta takes the values 0, 1, 2, 3, 4 with probabilities 6/10,1/10,1/10,1/10,1/106 / 10,1 / 10,1 / 10,1 / 10,1 / 10 respectively. Prove that there is no random variable ζ\zeta, independent of ξ\xi, such that ξ+ζ=η\xi +\zeta = \eta.

?
Problem 4.10

Let ξ\xi and η\eta be independent random variables such that ξ+η\xi +\eta takes the values 0,1,20,1,2 with probabilities 1/31 / 3 each. Prove that one of the variables ξ\xi and η\eta has a degenerate distribution.

?
Problem 4.11

Let F(x),F1(x),F2(x),…F(x), F_{1}(x), F_{2}(x), \ldots be a sequence of distribution functions of nonnegative integer-valued random variables, and let φ(z),φ1(z),φ2(z),…\varphi (z), \varphi_{1}(z), \varphi_{2}(z), \ldots be the corresponding generating functions. Prove that if φn(z)→φ(z)\varphi_{n}(z) \rightarrow \varphi (z) as n→∞n \rightarrow \infty, then Fn(x)→→F(x)F_{n}(x) \rightarrow \rightarrow F(x) uniformly in xx.

?
Problem 4.12

Let ξ1,ξ2,…\xi_{1}, \xi_{2}, \ldots be a sequence of independent identically distributed random variables, let F(x)F(x) be the distribution function of ξ1\xi_{1}, and let vv be a positive integer-valued random variable, independent of ξ1,ξ2,…\xi_{1}, \xi_{2}, \ldots and having generating function φ(z)\varphi (z). Prove that the distribution function of the random variable max⁡{ξ1,…,ξv}\max \left\{ \xi_{1}, \ldots , \xi_{v}\right\} equals φ(F(x))\varphi (F(x)).

?
Problem 4.13

Let f(t)f(t) be the characteristic function of a random variable ξ\xi, and let aa and bb be real numbers. Find the characteristic function of the random variable aξ+ba \xi +b.

?
Problem 4.14

Let f(t)f(t) be the characteristic function of a random variable ξ\xi. Find the characteristic function of the random variable −ξ-\xi.

?
Problem 4.15

Prove that a characteristic function is even if and only if the corresponding distribution function F(x)F(x) satisfies the relation

F(x)=1−F(−x−0). F(x) = 1-F(-x-0) .
?
Problem 4.16

Prove that a characteristic function is real if and only if it is even.

?
Problem 4.17

Prove that an even characteristic function φ(t)\varphi (t) can be represented in the form

φ(t)=∫−∞∞cos⁡txdF(x) \varphi (t) = \int _{-\infty }^{\infty } \cos t x d F(x)

where F(x)F(x) is the corresponding distribution function.

?
Problem 4.18

Let ξ\xi and η\eta be independent, identically distributed random variables with characteristic function f(t)f(t). Find the characteristic function of the random variable ξ−η\xi -\eta.

?
Problem 4.19

Prove that the following functions cannot be characteristic functions:

?
(a)

e−i∣t∣e^{-i\left|t\right|};

(b)

a1cos⁡t+…+ancos⁡nt+b1sin⁡t+…+bnsin⁡nt,b1⋅…⋅bn≠0a_{1} \cos t+\ldots +a_{n} \cos n t+b_{1} \sin t+\ldots +b_{n} \sin n t, b_{1} \cdot \ldots \cdot b_{n} \neq 0, where all the aia_{i} and bib_{i} are real numbers.

Problem 4.20

Prove that the characteristic function of any distribution is uniformly continuous on the whole real line.

?
Problem 4.21

Is the function cos⁡t2\cos t^{2} a characteristic function?

?
Problem 4.22

On the probability space (Ω,A,P)(\Omega , \mathscr {A}, P), consisting of the interval [0,1][0,1] with the σ\sigma-algebra of Borel subsets and Lebesgue measure, a random variable ξ(ω)\xi (\omega ) is defined. Find its characteristic function if:

?
(a)

ξ(ω)={2ω,0⩽ω⩽1/22ω−1,1/2<ω⩽1;\xi (\omega ) = \begin{cases} 2 \omega , & \quad 0 \leqslant \omega \leqslant 1 / 2 \\ 2 \omega -1, & \quad 1 / 2 < \omega \leqslant 1 ; \end{cases}

(b)

ξ(ω)=ln⁡ω,ξ(0)=0\xi (\omega ) = \ln \omega , \quad \xi (0) = 0;

(c)

ξ(ω)={1,0⩽ω⩽1/30,1/3<ω<2/31,2/3⩽ω⩽1.\xi (\omega ) = \begin{cases} 1, & 0 \leqslant \omega \leqslant 1 / 3 \\ 0, & 1 / 3 < \omega < 2 / 3 \\ 1, & 2 / 3 \leqslant \omega \leqslant 1. \end{cases}

Problem 4.23

Find the characteristic function corresponding to the density 1πch⁡x,−∞<x<∞\frac{1}{\pi \operatorname {ch} x},-\infty < x < \infty.

?
Problem 4.24

Find the characteristic functions of the following distributions:

?
(a)

the uniform distribution on the interval [a,b][a, b];

(b)

the binomial distribution;

(c)

the Poisson distribution;

(d)

the Cauchy distribution;

(e)

the exponential distribution;

(f)

the normal distribution;

(g)

the geometric distribution;

(h)

the negative binomial distribution.

Problem 4.25

The characteristic function of a sum of two random variables equals the product of the characteristic functions of the summands. Can we conclude that the summands are independent?

?
Problem 4.26

Let ξ=(ξ1,…,ξn)\xi = \left(\xi_{1}, \ldots , \xi_{n}\right) be a random vector in Rn\mathbb {R}^{n}, let f(t1,…,tn)f\left(t_{1}, \ldots , t_{n}\right) be its characteristic function, and let f1(t),…,fn(t)f_{1}(t), \ldots , f_{n}(t) be the characteristic functions of the random variables ξ1,…\xi_{1}, \ldots, ξn\xi_{n}. Prove that for ξi,…\xi_{i}, \ldots, ξn\xi_{n} to be independent, it is necessary and sufficient that for any set of real t1,…,tnt_{1}, \ldots , t_{n} the equality

f(t1,…,tn)=∏i=1nfi(ti) f\left(t_{1}, \ldots , t_{n}\right) = \prod _{i = 1}^{n} f_{i}\left(t_{i}\right)

should hold.

?
Problem 4.27

Let ξ=(ξ1,…,ξn)\xi = \left(\xi_{1}, \ldots , \xi_{n}\right) be a random vector in Rn\mathbb {R}^{n}, let f(t1,…,tn)f\left(t_{1}, \ldots , t_{n}\right) be its characteristic function, and let f1(t),…,fn(t)f_{1}(t), \ldots , f_{n}(t) be the characteristic functions of the random variables ξ1,…,ξn\xi_{1}, \ldots , \xi_{n}. Show that the equality

f(t,…,t)=∏i=1nfi(t) f(t, \ldots , t) = \prod _{i = 1}^{n} f_{i}(t)

for any real tt does not imply the independence of the random variables ξ1,…\xi_{1}, \ldots, ξn\xi_{n}.

?
Problem 4.28

Let f1(t),f2(t),…f_{1}(t), f_{2}(t), \ldots be characteristic functions, and let a1,a2,…a_{1}, a_{2}, \ldots be nonnegative numbers such that a1+a2+…=1a_{1}+a_{2}+\ldots = 1. Prove that the function

g(t)=∑i=1∞aifi(t) g(t) = \sum _{i = 1}^{\infty } a_{i} f_{i}(t)

is a characteristic function.

?
Problem 4.29

Let the function f(t,a),t,a∈R1f(t, a), t, a \in R^{1}, satisfy the following conditions:

  1. for each fixed aa, f(t,a)f(t, a) is a characteristic function,

  2. for each fixed tt, f(t,a)f(t, a) is measurable. Prove that for any distribution function F(x)F(x),

g(t)=∫−∞∞f(t,a)dF(a) g(t) = \int _{-\infty }^{\infty } f(t, a) d F(a)

is a characteristic function.

?
Problem 4.30

Let f(t)f(t) be an arbitrary characteristic function. Prove that the function 2/(2−f(t))−12 /(2-f(t))-1 is also a characteristic function.

?
Problem 4.31

Let F(x)F(x) be a distribution function with characteristic function f(t)f(t). Prove that Re⁡f(t)\operatorname {Re} f(t) is a characteristic function, and find the corresponding distribution function.

?
Problem 4.32

Let F(x)F(x) be a distribution function with characteristic function f(t)f(t). Prove that ∣f(t)∣2\left|f(t)\right|^{2} is a characteristic function, and find the corresponding distribution function.

?
Problem 4.33

Let ξ\xi and η\eta be independent random variables, each of which has an asymmetric distribution. Can the random variable ξ+η\xi +\eta have a symmetric distribution?

?
Problem 4.34

Let ξ\xi be a random variable with characteristic function f(t)f(t), and suppose that for some aa, P(ξ=a)>1/2\mathbb {P}\left(\xi = a\right) > 1 / 2. Prove that f(t)f(t) vanishes nowhere on the real line.

?
Problem 4.35

Let ξ\xi be a random variable with real characteristic function f(t)f(t). Prove that if P(ξ=a)>1/4\mathbb {P}\left(\xi = a\right) > 1 / 4 for some a≠0a \neq 0, then f(t)f(t) vanishes infinitely many times.

?
Problem 4.36

Give an example of a characteristic function that vanishes, but only finitely many times.

?
Problem 4.37

Find the distributions corresponding to the following characteristic functions:

?
(a)

cos⁡t\cos t;

(b)

cos⁡2t\cos^{2} t;

(c)

e−t2e^{-t^{2}};

(d)

e−∣t∣e^{-\left|t\right|};

(e)

11+t2\frac{1}{1+t^{2}};

(f)

11−it\frac{1}{1-i t};

(g)

sin⁡tt\frac{\sin t}{t};

(h)

e−∣t∣cos⁡te^{-\left|t\right|} \cos t.

Problem 4.38

Let ξ1,ξ2,…\xi_{1}, \xi_{2}, \ldots be a sequence of independent identically distributed random variables, let vv be a random variable, independent of ξ1,ξ2,…\xi_{1}, \xi_{2}, \ldots, taking positive integer values, and let pk=P(v=k)p_{k} = \mathbb {P}\left(v = k\right). Let f(t)f(t) be the characteristic function of ξ1\xi_{1}. Find the characteristic function of the random variable ξ1+…+ξν\xi_{1}+\ldots +\xi_{\nu }.

?
Problem 4.39

Prove that the function

f(t)={1−∣t∣,∣t∣⩽10,∣t∣>1 f(t) = \begin{cases} 1-\left|t\right|, & \left|t\right| \leqslant 1 \\ 0, & \left|t\right| > 1 \end{cases}

is a characteristic function.

?
Problem 4.40

Prove that any even continuous function that is convex for t⩾0t \geqslant 0 and such that 0⩽f(t)⩽10 \leqslant f(t) \leqslant 1 and f(0)=1f(0) = 1 is a characteristic function.

?
Problem 4.41

Do there exist two distinct characteristic functions that coincide on some interval containing the origin?

?
Problem 4.42

Prove that for any 0<α⩽10 < \alpha \leqslant 1 the function

f(t)=11+∣t∣α f(t) = \frac{1}{1+\left|t\right|^{\alpha }}

is a characteristic function.

?
Problem 4.43

Let f(t)f(t) be the characteristic function of a continuous distribution. Prove that ∣f(t)∣<1\left|f(t)\right| < 1 for t≠0t \neq 0.

?
Problem 4.44

Let ξ\xi be a random variable with a symmetric continuous distribution. Prove that the characteristic function of the random variable max⁡{0,ξ}\max \left\{ 0, \xi \right\} vanishes nowhere. Can the continuity condition be dropped?

?
Problem 4.45

Let ξ1,ξ2,…\xi_{1}, \xi_{2}, \ldots be independent identically distributed integer-valued random variables, and let ηn=ξ1+…+ξn\eta_{n} = \xi_{1}+\ldots +\xi_{n}. Prove that if 0<P(ξ1 is divisible by two)<10 < \mathbb {P}\left(\xi_{1} \text{ is divisible by two}\right) < 1, then

lim⁡n→∞P(ηn is divisible by two)=1/2. \lim _{n \rightarrow \infty } \mathbb {P}\left(\eta _{n} \text{ is divisible by two}\right) = 1 / 2.
?
Problem 4.46

Let f(t)f(t) be an arbitrary characteristic function. Prove that for any real tt the following inequalities hold:

?
(a)

1−Re⁡f(2t)⩽4(1−Re⁡f(t))1-\operatorname {Re} f(2 t) \leqslant 4(1-\operatorname {Re} f(t));

(b)

1−∣f(2t)∣2⩽4(1−∣f(t)∣2)1-\left|f(2 t)\right|^{2} \leqslant 4\left(1-\left|f(t)\right|^{2}\right);

(c)

1−Re⁡f(2t)⩽2(1−(Re⁡f(t))2)1-\operatorname {Re} f(2 t) \leqslant 2\left(1-(\operatorname {Re} f(t))^{2}\right);

(d)

1−∣f(2t)∣⩽2(1−∣f(t)∣2)\quad 1-\left|f(2 t)\right| \leqslant 2\left(1-\left|f(t)\right|^{2}\right);

(e)

1−∣f(2t)∣⩽4(1−∣f(t)∣)1-\left|f(2 t)\right| \leqslant 4(1-\left|f(t)\right|).

Problem 4.47

Prove that for any characteristic function f(t)f(t) and any nonnegative integer nn the following inequalities hold:

?
(a)

1−Re⁡f(t)⩾14n(1−Re⁡f(2nt))1-\operatorname {Re} f(t) \geqslant \frac{1}{4^{n}}\left(1-\operatorname {Re} f\left(2^{n} t\right)\right);

(b)

1−∣f(t)∣2⩾14n(1−∣f(2nt)∣2)1-\left|f(t)\right|^{2} \geqslant \frac{1}{4^{n}}\left(1-\left|f\left(2^{n} t\right)\right|^{2}\right).

Problem 4.48

Prove that for any characteristic function f(t)f(t) and any nonnegative integer nn the following inequalities hold:

?
(a)

1−Re⁡f(nt)⩽n(1−(Re⁡f(t))n)⩽n2(1−Re⁡f(t))1-\operatorname {Re} f(n t) \leqslant n\left(1-(\operatorname {Re} f(t))^{n}\right) \leqslant n^{2}(1-\operatorname {Re} f(t));

(b)

1−∣f(nt)∣2⩽n(1−∣f(t)∣2n)⩽n2(1−∣f(t)∣2)1-\left|f(n t)\right|^{2} \leqslant n\left(1-\left|f(t)\right|^{2 n}\right) \leqslant n^{2}\left(1-\left|f(t)\right|^{2}\right).

Problem 4.49

Let f(t)f(t) be a characteristic function, and let cc and bb be positive constants. Prove that if ∣f(t)∣⩽c\left|f(t)\right| \leqslant c for ∣t∣⩾b\left|t\right| \geqslant b, then

∣f(t)∣⩽1−1−c28b2t2 \left|f(t)\right| \leqslant 1-\frac{1-c^{2}}{8 b^{2}} t^{2}

for ∣t∣⩽b\left|t\right| \leqslant b.

?
Problem 4.50

A characteristic function f(t)f(t) is called self-decomposable if for any 0<c<10 < c < 1 there exists a characteristic function fc(t)f_{c}(t) such that f(t)=f(ct)fc(t)f(t) = f(c t) f_{c}(t). Prove that a self-decomposable characteristic function vanishes nowhere.

?
Problem 4.51

Let F(x)F(x) be a distribution function with characteristic function f(t)f(t). Prove that for any t>0t > 0

1−Re⁡f(t)⩾2t2π2∫−π/tπ/tx2dF(x) 1-\operatorname {Re} f(t) \geqslant \frac{2 t^{2}}{\pi ^{2}} \int _{-\pi / t}^{\pi / t} x^{2} d F(x)
?
Problem 4.52

Let ξ\xi and η\eta be independent random variables with distribution functions F(x)F(x) and G(x)G(x) and characteristic functions f(t)f(t) and g(t)g(t) respectively. Find the characteristic function φ(t)\varphi (t) of the random variable ξ⋅η\xi \cdot \eta.

?
Problem 4.53

Let F(x)F(x) be a distribution function with characteristic function φ(t)\varphi (t). Find the nn-dimensional distribution function G(x1,…,xn)G\left(x_{1}, \ldots , x_{n}\right) corresponding to the characteristic function ψ(t1,…,tn)=φ(t1+…+tn)\psi \left(t_{1}, \ldots , t_{n}\right) = \varphi \left(t_{1}+\ldots +t_{n}\right).

?
Problem 4.54

Let ξ\xi be a random variable having a Cauchy distribution. Can there exist two independent random variables ξ1\xi_{1} and ξ2\xi_{2} such that ξ=ξ1+ξ2\xi = \xi_{1}+\xi_{2} and one of them has a distribution uniform on some interval?

?
Problem 4.55

Let ξ,η\xi , \eta and ζ\zeta be random variables, where ζ\zeta is independent of ξ\xi and η\eta. The distributions of the random variables ξ+ζ\xi +\zeta and η+ζ\eta +\zeta coincide. Can we conclude that the distributions of the random variables ξ\xi and η\eta coincide?

?
Problem 4.56

Let ξ,η\xi , \eta and ζ\zeta be random variables, where ζ\zeta is independent of ξ\xi and η\eta. Prove that if the distributions of the random variables ξ+cζ\xi +c \zeta and η+cζ\eta +c \zeta coincide for every c>0c > 0, then the distributions of ξ\xi and η\eta coincide.

?
Problem 4.57

Let ξ\xi and η\eta be independent identically distributed symmetric random variables, such that the variables ξ−η\xi -\eta and ∣ξ∣−∣η∣\left|\xi \right|-\left|\eta \right| are identically distributed. Find the distribution of ξ\xi.

?
Problem 4.58

Let F(x)F(x) and G(x)G(x) be arbitrary distribution functions, and let f(t)f(t) and g(t)g(t) be the corresponding characteristic functions. Prove that

∫−∞∞f(t)dG(t)=∫−∞∞g(u)dF(u). \int _{-\infty }^{\infty } f(t) d G(t) = \int _{-\infty }^{\infty } g(u) d F(u) .
?
Problem 4.59

Let φ(t)\varphi (t) be a characteristic function. Prove that the function

f(t)=1t∫0tφ(u)du f(t) = \frac{1}{t} \int _{0}^{t} \varphi (u) d u

is also a characteristic function.

?
Problem 4.60

Let φ(t)\varphi (t) be a characteristic function. Prove that for any p>0p > 0 the function

f(t)=ptp∫0tφ(u)up−1du f(t) = \frac{p}{t^{p}} \int _{0}^{t} \varphi (u) u^{p-1} d u

is a characteristic function.

?
Problem 4.61

Let g(t)g(t) be a characteristic function and let pp be an arbitrary positive number. Prove that the function

f(t)=ep(g(t)−1) f(t) = e^{p(g(t)-1)}

is a characteristic function.

?
Problem 4.62

Suppose the sequence of distribution functions F1(x)F_{1}(x), F2(x)F_{2}(x),... converges uniformly on the whole line to a distribution function F(x)F(x). Can we conclude that the corresponding sequence of characteristic functions f1(t),f2(t),…f_{1}(t), f_{2}(t), \ldots converges uniformly on the whole line to the characteristic function of the distribution FF?

?
Problem 4.63

Let F1(x),F2(x),…F_{1}(x), F_{2}(x), \ldots be a sequence of distribution functions, and let f1(t),f2(t),…f_{1}(t), f_{2}(t), \ldots be the corresponding sequence of characteristic functions. Prove that if lim⁡n→∞fn(t)=1\lim_{n \rightarrow \infty } f_{n}(t) = 1 for all −ε⩽t⩽ε-\varepsilon \leqslant t \leqslant \varepsilon, where ε>0\varepsilon > 0, then Fn(x)F_{n}(x) converges weakly as n→∞n \rightarrow \infty to the distribution degenerate at zero.

?
Problem 4.64

Let F1(x),F2(x),…F_{1}(x), F_{2}(x), \ldots and G1(x),G2(x),…G_{1}(x), G_{2}(x), \ldots be two sequences of distribution functions, and suppose there exists a distribution function F(x)F(x) such that both sequences FnF_{n} and Fn∗GnF_{n} * G_{n} converge weakly to FF as n→∞n \rightarrow \infty. Prove that the sequence GnG_{n} converges weakly to the distribution degenerate at zero.

?
Problem 4.65

Prove that a sequence of distribution functions F1(x),F2(x),…F_{1}(x), F_{2}(x), \ldots converges weakly to some distribution function F(x)F(x) if and only if the corresponding sequence of characteristic functions f1(t),f2(t),…f_{1}(t), f_{2}(t), \ldots converges to some function f(t)f(t) and this convergence is uniform in some neighborhood of zero.

?
Problem 4.66

Let F(x),F1(x),F2(x),…F(x), F_{1}(x), F_{2}(x), \ldots be a sequence of distribution functions, and let f(t),f1(t),f2(t),…f(t), f_{1}(t), f_{2}(t), \ldots be the corresponding sequence of characteristic functions. Prove that if for any a⩽ba \leqslant b

lim⁡n→∞∫abfn(t)dt=∫abf(t)dt, \lim _{n \rightarrow \infty } \int _{a}^{b} f_{n}(t) d t = \int _{a}^{b} f(t) d t,

then FnF_{n} converges weakly to FF.

?
Problem 4.67

Let f(t)f(t) be a characteristic function, and suppose that for an infinitely increasing sequence h1,h2,…h_{1}, h_{2}, \ldots the functions f(t)g(hnt)f(t) g\left(h_{n} t\right) are also characteristic functions. Prove that in this case g(t)g(t) is a characteristic function.

?
Problem 4.68

Let F(x)F(x) and G(x)G(x) be distribution functions, and let f(t)f(t) and g(t)g(t) be the corresponding characteristic functions. Prove that

sup⁡t∣f(t)−g(t)∣⩽2Var⁡(F,G). \sup _{t}\left|f(t)-g(t)\right| \leqslant 2 \operatorname {Var}(F, G) .
?
Problem 4.69

Let f1(t),f2(t),…f_{1}(t), f_{2}(t), \ldots be a sequence of characteristic functions. Prove that the following two conditions are equivalent:

  1. the products

    ∏i=1nfi(t) \prod _{i = 1}^{n} f_{i}(t)

    converge as n→∞n \rightarrow \infty uniformly on every compact subset of the line,

  2. the products

    ∏i=1nfi(t) \prod _{i = 1}^{n} f_{i}(t)

    converge as n→∞n \rightarrow \infty to a nonzero limit on some set of positive Lebesgue measure.

?
Problem 4.70

Prove that a characteristic function f(t)f(t) corresponds to a lattice distribution if and only if there exists a real number t0≠0t_{0} \neq 0 such that ∣f(t0)∣=1\left|f\left(t_{0}\right)\right| = 1.

?
Problem 4.71

Let f(t)f(t) be a characteristic function. Prove that if there exist t1t_{1} and t2t_{2} such that t1/t2t_{1} / t_{2} is irrational and ∣f(t1)∣=∣f(t2)∣=1\left|f\left(t_{1}\right)\right| = \left|f\left(t_{2}\right)\right| = 1, then ∣f(t)∣≡1\left|f(t)\right| \equiv 1.

?
Problem 4.72

Let the characteristic function f(t)f(t) equal unity at some point t0>0t_{0} > 0. Prove that t0t_{0} is a period of the function f(t)f(t).

?
Problem 4.73

Give an example of a lattice distribution whose characteristic function is not periodic.

?
Problem 4.74

Let a lattice distribution be concentrated on some subset of the set of points ak,k=0,±1,±2,…a k, k = 0, \pm 1, \pm 2, \ldots Prove that the characteristic function of such a distribution is periodic.

?
Problem 4.75

Prove that the characteristic function of any lattice distribution can be represented in the form eitaf(t)e^{i t a} f(t), where f(t)f(t) is a periodic function and aa is a real number.

?
Problem 4.76

Can the real part of a characteristic function be a periodic function while the imaginary part is not?

?
Problem 4.77

Let u(t)u(t) be the real part of some characteristic function, and let v(t)v(t) be the imaginary part of some other characteristic function. Is the function u(t)+iv(t)u(t) + i v(t) a characteristic function in general?

?
Problem 4.78

Let f(t)f(t) be the characteristic function of a purely discrete distribution. Prove that

lim sup⁡∣t∣→∞∣f(t)∣=1 \limsup _{\left|t\right| \rightarrow \infty }\left|f(t)\right| = 1
?
Problem 4.79

Prove that the density corresponding to an absolutely integrable characteristic function is continuous.

?
Problem 4.80

Prove that a characteristic function differentiable at zero is continuously differentiable on the whole line.

?
Problem 4.81

Prove that the function

f(t)={1−t2,∣t∣<10,∣t∣⩾1 f(t) = \begin{cases} 1-t^{2}, & \left|t\right| < 1 \\ 0, & \left|t\right| \geqslant 1 \end{cases}

cannot be a characteristic function.

?
Problem 4.82

Let ξ\xi be a random variable with characteristic function f(t)f(t). Prove that if for some positive integer nn, E[∣ξ∣n]<∞\mathbb {E}\left[\left|\xi \right|^{n}\right] < \infty, then f(t)f(t) is nn times differentiable and

∣f(n)(t)∣⩽E[∣ξ∣n] \left|f^{(n)}(t)\right| \leqslant \mathbb {E}\left[\left|\xi \right|^{n}\right]
?
Problem 4.83

Prove that the characteristic function of the random variable ξ\xi with distribution

P(ξ=2k)=P(ξ=−2k)=ck2ln⁡k,k=2,3,… \mathbb {P}\left(\xi = 2 k\right) = \mathbb {P}\left(\xi = -2 k\right) = \frac{c}{k^{2} \ln k}, \quad k = 2,3, \ldots

is differentiable at zero, but E[ξ]\mathbb {E}\left[\xi \right] does not exist.

?
Problem 4.84

Let ξ\xi be a random variable with characteristic function f(t)f(t) and finite expectation. Prove that

E[∣ξ∣]=1π∫−∞∞1−Re⁡f(t)t2dt \mathbb {E}\left[\left|\xi \right|\right] = \frac{1}{\pi } \int _{-\infty }^{\infty } \frac{1-\operatorname {Re} f(t)}{t^{2}} d t
?
Problem 4.85

For which real α\alpha is the function

f(t)={1−∣t∣α,∣t∣⩽10,∣t∣>1 f(t) = \begin{cases} 1-\left|t\right|^{\alpha }, & \left|t\right| \leqslant 1 \\ 0, & \left|t\right| > 1 \end{cases}

a characteristic function, and for which is it not?

?
Problem 4.86

Is the function e−t4e^{-t^{4}} a characteristic function?

?
Problem 4.87

Let f(t)f(t) be the characteristic function of a random variable having finite variance. Prove that for sufficiently small ε>0\varepsilon > 0, the function ∣f(t)∣\left|f(t)\right| is nonincreasing for 0<t<ε0 < t < \varepsilon and nondecreasing for −ε<t<0-\varepsilon < t < 0.

?
Problem 4.88

Let f(t)f(t) be the characteristic function of a symmetric distribution, and let aka_{k} be the corresponding moment of order kk. Prove that:

?
(a)

lim⁡t→0f(2q−1)(t)t=(−1)qa2q\lim_{t \rightarrow 0} \frac{f^{(2 q-1)}(t)}{t} = (-1)^{q} a_{2 q};

(b)

lim⁡t→0f(2q)(t)−f(2q)(0)t2=(−1)q+12a2q+2\lim_{t \rightarrow 0} \frac{f^{(2 q)}(t)-f^{(2 q)}(0)}{t^{2}} = \frac{(-1)^{q+1}}{2} a_{2 q+2}.

Problem 4.89

Let f1(t)f_{1}(t) and f2(t)f_{2}(t) be characteristic functions of symmetric distributions, and suppose that for some positive α1\alpha_{1} and α2\alpha_{2}, in some neighborhood of zero, the equality

f1α1(t)f2α2(t)=e−t2 f_{1}^{\alpha _{1}}(t) f_{2}^{\alpha _{2}}(t) = e^{-t^{2}}

holds.

Prove that the distributions corresponding to the characteristic functions f1(t)f_{1}(t) and f2(t)f_{2}(t) have finite variances.

?
Problem 4.90

Suppose the conditions of the previous problem hold. Prove that the distributions corresponding to the characteristic functions f1(t)f_{1}(t) and f2(t)f_{2}(t) have moments of all orders.

?
Problem 4.91

Express the first four semiinvariants of a random variable in terms of the mean and the central moments.

?
Problem 4.92

Prove that under the linear transformation ξ′=aξ+b\xi^{\prime } = a \xi +b of a random variable ξ\xi, its semiinvariants change according to the law x1′=ax1+b,xn′=anxn(n>1)x_{1}^{\prime } = a x_{1}+b, x_{n}^{\prime } = a^{n} x_{n} \quad (n > 1).

?
Problem 4.93

Prove that for any random variable ξ\xi and any u>0u > 0,

P(∣ξ∣>2/u)⩽1u∫−uu(1−φ(t))dt \mathbb {P}\left(\left|\xi \right| > 2 / u\right) \leqslant \frac{1}{u} \int _{-u}^{u}(1-\varphi (t)) d t

where φ(t)\varphi (t) is the characteristic function of ξ\xi.

?
Problem 4.94

Let ξ\xi be a random variable with characteristic function f(t)f(t). Prove that if 1−f(t)=o(∣t∣α)1-f(t) = o\left(\left|t\right|^{\alpha }\right) as t→0t \rightarrow 0, then P(∣ξ∣>x)=o(x−α)\mathbb {P}\left(\left|\xi \right| > x\right) = o\left(x^{-\alpha }\right) as x→∞\quad x \rightarrow \infty.

?
Problem 4.95

Let ξ\xi be a random variable with real characteristic function f(t)f(t) and variance σ2\sigma^{2}. Prove that

f(t)⩾1−t2σ22 f(t) \geqslant 1-\frac{t^{2} \sigma ^{2}}{2}
?
Problem 4.96

Let ξ\xi be a random variable with characteristic function f(t)f(t) and variance σ2\sigma^{2}. Prove that if t0t_{0} is the smallest positive root of f(t)f(t), then t0⩾1/σt_{0} \geqslant 1 / \sigma.

?
Problem 4.97

Let f(t)f(t) be the characteristic function of a distribution having finite variance. Prove that there exist positive constants cc and ε\varepsilon such that

∣f(t)∣⩾e−ct2 \left|f(t)\right| \geqslant e^{-c t^{2}}

for ∣t∣⩽ε\left|t\right| \leqslant \varepsilon.

?
Problem 4.98

Let f(t)f(t) be the characteristic function of a random variable having finite expectation. Prove that there exist positive constants cc and ε\varepsilon such that

∣f(t)∣⩾e−c∣t∣ \left|f(t)\right| \geqslant e^{-c\left|t\right|}

for ∣t∣⩽ε\quad \left|t\right| \leqslant \varepsilon.

?
Problem 4.99

Prove that for the characteristic function f(t)f(t) of any nondegenerate random variable ξ\xi, there exist positive constants δ\delta and ε\varepsilon such that

∣f(t)∣⩽1−εt2 \left|f(t)\right| \leqslant 1-\varepsilon t^{2}

for ∣t∣⩽δ\left|t\right| \leqslant \delta.

?
Problem 4.100

Let f(t)f(t) be a characteristic function. Prove that if f(t)=1+w(t)+o(t2)f(t) = 1+w(t)+o\left(t^{2}\right) as t→0t \rightarrow 0, where w(t)=−w(−t)w(t) = -w(-t), then f(t)=1f(t) = 1.

?
Problem 4.101

Let ξ\xi be a bounded random variable, ∣ξ∣⩽c\left|\xi \right| \leqslant c, having a symmetric distribution with characteristic function f(t)f(t) and variance σ2\sigma^{2}. Prove that

0⩽f(t)⩽e−4π2σ2t2 0 \leqslant f(t) \leqslant e^{-\frac{4}{\pi ^{2}} \sigma ^{2} t^{2}}

for ∣t∣⩽π2c\left|t\right| \leqslant \frac{\pi }{2 c}.

?
Problem 4.102

Let ξ\xi be a bounded random variable, ∣ξ∣⩽c\left|\xi \right| \leqslant c, with characteristic function f(t)f(t) and variance σ2\sigma^{2}. Prove that

∣f(t)∣⩽e−4π2σ2t2 \left|f(t)\right| \leqslant e^{-\frac{4}{\pi ^{2}} \sigma ^{2} t^{2}}

for ∣t∣⩽π4c\left|t\right| \leqslant \frac{\pi }{4 c}.

?
Problem 4.103

Let ξ\xi be a random variable with characteristic function f(t)f(t) and variance σ2\sigma^{2}. Prove that for any c<2σ2c < 2 \sigma^{2} there exists ε>0\varepsilon > 0 such that

∣f(t)∣⩽e−ct2 \left|f(t)\right| \leqslant e^{-c t^{2}}

for ∣t∣⩽ε\quad \left|t\right| \leqslant \varepsilon.

?
Problem 4.104

Let ξ\xi be a random variable with characteristic function f(t)f(t). Prove that if E∣ξ∣2=∞E\left|\xi \right|^{2} = \infty, then for any c>0c > 0 there exists ε>0\varepsilon > 0 such that

∣f(t)∣⩽e−ct2 \left|f(t)\right| \leqslant e^{-c t^{2}}

for ∣t∣⩽ε\left|t\right| \leqslant \varepsilon.

?
Problem 4.105

Let p(x)p(x) be a symmetric unimodal density, and let f(t)f(t) be the corresponding characteristic function. Prove that if

p(0)⩽A<∞, p(0) \leqslant A < \infty ,

then

∣f(t)∣⩽2A/∣t∣ \left|f(t)\right| \leqslant 2 A /\left|t\right|

for any real tt.

?
Problem 4.106

Suppose the conditions of the previous problem hold. Prove that

∣f(t)∣⩽sin⁡(t/2A)t/2A \left|f(t)\right| \leqslant \frac{\sin (t / 2 A)}{t / 2 A}

for ∣t∣⩽πA\left|t\right| \leqslant \pi A.

?
Problem 4.107

Let F(x)F(x) be a distribution function, and let f(t)f(t) be the corresponding characteristic function. Prove that for any r>0r > 0,

t2∫−rrx2dF(x)⩽3∣1−f(t)∣ t^{2} \int _{-r}^{r} x^{2} d F(x) \leqslant 3\left|1-f(t)\right|

for ∣t∣⩽1/r\left|t\right| \leqslant 1 / r.

?
Problem 4.108

Let ξ1\xi_{1} and ξ2\xi_{2} be random variables with characteristic functions f1(t)f_{1}(t) and f2(t)f_{2}(t) and variances σ12\sigma_{1}^{2} and σ22\sigma_{2}^{2} respectively, and suppose there exists ε>0\varepsilon > 0 such that ∣f1(t)∣>∣f2(t)∣\left|f_{1}(t)\right| > \left|f_{2}(t)\right| for 0<∣t∣⩽ε0 < \left|t\right| \leqslant \varepsilon. Can we have:

?
(a)

σ1>σ2\sigma_{1} > \sigma_{2},

(b)

σ1<σ2\sigma_{1} < \sigma_{2},

(c)

σ1=σ2\sigma_{1} = \sigma_{2} ?

Problem 4.109

Prove that a distribution with differentiable characteristic function f(t)f(t) has finite variance if and only if there exists ε>0\varepsilon > 0 such that the function

f′(t)−f′(0)t \frac{f^{\prime }(t)-f^{\prime }(0)}{t}

is bounded for 0<∣t∣⩽ε0 < \left|t\right| \leqslant \varepsilon.

?
Problem 4.110

Let F(x)F(x) be a distribution function with characteristic function f(t)f(t). Prove that if for some positive λ<2\lambda < 2 and some sequence t1,t2,…t_{1}, t_{2}, \ldots such that tn→0t_{n} \rightarrow 0 as n→∞n \rightarrow \infty, the inequalities

∣f(tn)∣⩽e−c∣tn∣λ \left|f\left(t_{n}\right)\right| \leqslant e^{-c\left|t_{n}\right|^{\lambda }}

hold (cc a positive constant), then

∫−∞∞∣x∣δdF(x)=∞ \int _{-\infty }^{\infty }\left|x\right|^{\delta } d F(x) = \infty

for all δ>λ\delta > \lambda.

?
Problem 4.111

Let F(x)F(x) be a distribution function with characteristic function f(t)f(t). Prove that F(x)F(x) has finite variance if and only if there exist c>0c > 0 and a sequence t1,t2,…t_{1}, t_{2}, \ldots such that tn→0t_{n} \rightarrow 0 as n→∞n \rightarrow \infty and

∣f(tn)∣⩾e−ctn2,n=1,2,… \left|f\left(t_{n}\right)\right| \geqslant e^{-c t_{n}^{2}}, \quad n = 1,2, \ldots
?
Problem 4.112

Let F(x)F(x) be a distribution function with characteristic function f(t)f(t). Prove that if there exists a sequence t1,t2,…t_{1}, t_{2}, \ldots such that tn→0t_{n} \rightarrow 0 as n→∞n \rightarrow \infty and

ln⁡∣f(tn)∣tn2→0 \frac{\ln \left|f\left(t_{n}\right)\right|}{t_{n}^{2}} \rightarrow 0

as n→∞n \rightarrow \infty, then F(x)F(x) is a degenerate distribution function.

?
Problem 4.113

Let ξ\xi be a nonnegative random variable with density p(x)p(x) and characteristic function f(t)f(t). Prove that if p(x)p(x) is monotonically decreasing for x>0x > 0, then f(t)f(t) vanishes nowhere.

?
Problem 4.114

Let ξ\xi be a nonnegative random variable with density p(x)p(x) and characteristic function f(t)f(t). Prove that if p(x)p(x) is monotonically nonincreasing for x⩾0x \geqslant 0, then for t⩾0t \geqslant 0,

0⩽Im⁡f(t)⩽2p(0)t 0 \leqslant \operatorname {Im} f(t) \leqslant \frac{2 p(0)}{t}
?
Problem 4.115

Let F(x)F(x) be a distribution function, and let f(t)f(t) be the corresponding characteristic function. Prove that if f(t)f(t) is absolutely integrable, then F(x)F(x) is absolutely continuous and the corresponding density is expressed by the formula

p(x)=12π∫−∞∞e−itxf(t)dt p(x) = \frac{1}{2 \pi } \int _{-\infty }^{\infty } e^{-i t x} f(t) d t
?
Problem 4.116

Prove that the density p(x)p(x) corresponding to a real integrable characteristic function f(t)f(t) is expressed by the formula

p(x)=12π∫−∞∞cos⁡txf(t)dt p(x) = \frac{1}{2 \pi } \int _{-\infty }^{\infty } \cos t x f(t) d t
?
Problem 4.117

Let p(x)p(x) be a density with characteristic function f(t)f(t). Prove that if f(t)f(t) is symmetric, positive, and integrable, then p(x)p(x) has a unique maximum. At what point is it attained?

?
Problem 4.118

Suppose the conditions of the previous problem hold, and moreover that the second derivative p′′(x)p^{\prime \prime }(x) exists. Prove that for any x≠0x \neq 0,

p(0)>p(x)>p(0)−x22p′′(0). p(0) > p(x) > p(0)-\frac{x^{2}}{2} p^{\prime \prime }(0) .
?
Problem 4.119

Prove that the distribution with characteristic function

e−∣t∣α(0<α⩽2) e^{-\left|t\right|^{\alpha }} \quad (0 < \alpha \leqslant 2)

has a bounded density.

?
Problem 4.120

Let the characteristic function f(t)f(t) be such that f(t)=0f(t) = 0 for ∣t∣⩾c\left|t\right| \geqslant c (c>0c > 0). Prove that the corresponding distribution has a bounded density p(x)p(x), and that

sup⁡xp(x)⩽c/π. \sup _{x} p(x) \leqslant c / \pi .
?
Problem 4.121

(Parseval's equality) Let p(x)p(x) be a density with characteristic function f(t)f(t). Prove that if the function p2(x)p^{2}(x) is integrable, then

∫−∞∞p2(x)dx=12π∫−∞∞∣f(t)∣2dt \int _{-\infty }^{\infty } p^{2}(x) d x = \frac{1}{2 \pi } \int _{-\infty }^{\infty }\left|f(t)\right|^{2} d t
?
Problem 4.122

Let ξ\xi be an integer-valued random variable with characteristic function f(t)f(t). Prove that

P(ξ=k)=12π∫−ππe−itkf(t)dt,k=0,±1,… \mathbb {P}\left(\xi = k\right) = \frac{1}{2 \pi } \int _{-\pi }^{\pi } e^{-i t k} f(t) d t, \quad k = 0, \pm 1, \ldots
?
Problem 4.123

Let F(x)F(x) be a distribution function with characteristic function f(t)f(t). Prove that for any xx,

lim⁡T→∞12T∫−TTf(t)e−itxdt=F(x+0)−F(x−0) \lim _{T \rightarrow \infty } \frac{1}{2 T} \int _{-T}^{T} f(t) e^{-i t x} d t = F(x+0)-F(x-0)
?
Problem 4.124

Let F(x)F(x) be a distribution function with characteristic function f(t)f(t). Prove that F(x)F(x) is continuous if and only if

lim⁡T→∞12T∫−TT∣f(t)∣2dt=0 \lim _{T \rightarrow \infty } \frac{1}{2 T} \int _{-T}^{T}\left|f(t)\right|^{2} d t = 0
?
Problem 4.125

Let ξ\xi be a discrete random variable taking the values x1,x2,…x_{1}, x_{2}, \ldots with probabilities p1,p2,…p_{1}, p_{2}, \ldots, and let f(t)f(t) be the corresponding characteristic function. Prove that

lim⁡T→∞12T∫−TT∣f(t)∣2dt=∑i=1∞pi2 \lim _{T \rightarrow \infty } \frac{1}{2 T} \int _{-T}^{T}\left|f(t)\right|^{2} d t = \sum _{i = 1}^{\infty } p_{i}^{2}
?
Problem 4.126

Let f(t)f(t) be a characteristic function such that

lim inf⁡t→∞Re⁡f(t)⩾a>0 \liminf _{t \rightarrow \infty } \operatorname {Re} f(t) \geqslant a > 0

Prove that the function

g(t)=f(t)−a1−a g(t) = \frac{f(t)-a}{1-a}

is a characteristic function.

?
Problem 4.127

Prove that for any real aa such that 0⩽a⩽10 \leqslant a \leqslant 1, there exists a characteristic function f(t)f(t) satisfying the relation

lim⁡t→∞f(t)=a. \lim _{t \rightarrow \infty } f(t) = a .
?
Problem 4.128

Let aa be a negative number, ∣a∣⩽1\left|a\right| \leqslant 1. Does there exist a characteristic function f(t)f(t) such that

lim⁡t→∞f(t)=a? \lim _{t \rightarrow \infty } f(t) = a ?
?
Problem 4.129

Let ξ1,ξ2,…\xi_{1}, \xi_{2}, \ldots be a sequence of independent identically distributed integer-valued random variables, and let ηn=ξ1+…+ξn\eta_{n} = \xi_{1}+\ldots +\xi_{n}. Prove that if ξ1\xi_{1} is not constant with probability 1, then

sup⁡kP(ηn=k)→0 \sup _{k} \mathbb {P}\left(\eta _{n} = k\right) \rightarrow 0

as n→∞n \rightarrow \infty.

?
Problem 4.130

Let F(x)F(x) and G(x)G(x) be distribution functions, and let f(t)f(t) and g(t)g(t) be the corresponding characteristic functions. Prove that

sup⁡x∣F(x)−G(x)∣⩽1π∫−∞∞∣f(t)−g(t)t∣dt. \sup _{x}\left|F(x)-G(x)\right| \leqslant \frac{1}{\pi } \int _{-\infty }^{\infty }\left|\frac{f(t)-g(t)}{t}\right| d t .
?
Problem 4.131

Let f(t)f(t) and g(t)g(t) be absolutely integrable characteristic functions, and let p(x)p(x) and q(x)q(x) be the corresponding densities. Prove that

sup⁡x∣p(x)−q(x)∣⩽12π∫−∞∞∣f(t)−g(t)∣dt. \sup _{x}\left|p(x)-q(x)\right| \leqslant \frac{1}{2 \pi } \int _{-\infty }^{\infty }\left|f(t)-g(t)\right| d t .
?
Problem 4.132

Let F(x)F(x) and G(x)G(x) be distribution functions with symmetric densities p(x)p(x) and q(x)q(x) and nonnegative characteristic functions f(t)f(t) and g(t)g(t), such that

sup⁡xp(x)⩽A,sup⁡xq(x)⩽B. \sup _{x} p(x) \leqslant A, \quad \sup _{x} q(x) \leqslant B .

Prove that for any positive TT,

sup⁡x∣F(x)−G(x)∣⩽1π∫−TT∣f(t)−g(t)t∣dt+2(A+B)T. \sup _{x}\left|F(x)-G(x)\right| \leqslant \frac{1}{\pi } \int _{-T}^{T}\left|\frac{f(t)-g(t)}{t}\right| d t+\frac{2(A+B)}{T} .
?
Problem 4.133

Let ξ\xi and η\eta be integer-valued random variables with characteristic functions f(t)f(t) and g(t)g(t) respectively. Prove that

sup⁡n∣P(ξ=n)−P(η=n)∣⩽12π∫−ππ∣f(t)−g(t)∣dt. \sup _{n}\left|\mathbb {P}\left(\xi = n\right)-\mathbb {P}\left(\eta = n\right)\right| \leqslant \frac{1}{2 \pi } \int _{-\pi }^{\pi }\left|f(t)-g(t)\right| d t .
?
Problem 4.134

Let ξ\xi be a nonnegative random variable, and let φ(u)\varphi (u) be the corresponding Laplace transform. Find the Laplace transform of the random variable aξ+b(a,b⩾0)a \xi +b(a, b \geqslant 0).

?
Problem 4.135

Find the Laplace transform of the distribution uniform on the interval [0,1][0,1].

?
Problem 4.136

Let φ1(u),φ2(u),…\varphi_{1}(u), \varphi_{2}(u), \ldots be Laplace transforms of some probability distributions, and let a1,a2,…a_{1}, a_{2}, \ldots be nonnegative numbers such that

∑i=1∞ai=1. \sum _{i = 1}^{\infty } a_{i} = 1.

Prove that the function

φ(u)=∑k=1∞akφk(u) \varphi (u) = \sum _{k = 1}^{\infty } a_{k} \varphi _{k}(u)

is the Laplace transform of some probability distribution.

?
Problem 4.137

Let φ(u)\varphi (u) be the Laplace transform of some probability distribution. Prove that the function

22−φ(u)−1 \frac{2}{2-\varphi (u)}-1

is also a Laplace transform.

?
Problem 4.138

Find the Laplace transform of the distribution whose characteristic function equals

(sin⁡(t/2)t/2)neitn2. \left(\frac{\sin (t / 2)}{t / 2}\right)^{n} e^{\frac{i t n}{2}} .
?
Problem 4.139

Prove that the Laplace transform of any nondegenerate distribution is a monotonically decreasing function.

?
Problem 4.140

Prove that the Laplace transform of any distribution is a convex function.

?
Problem 4.141

A function φ(u)\varphi (u), defined on the positive half-line, is called completely monotone if it has derivatives of all orders, with all even derivatives nonnegative and all odd derivatives nonpositive:

(−1)nφ(n)(u)⩾0,u>0 (-1)^{n} \varphi ^{(n)}(u) \geqslant 0, \quad u > 0

Prove that the Laplace transform of any distribution is a completely monotone function.

?
Problem 4.142

Show that each of the functions listed below cannot be the Laplace transform of a probability distribution:

?
(a)

f(t)={1,0⩽t⩽1,0,t>1;f(t) = \begin{cases} 1, & 0 \leqslant t \leqslant 1, \\ 0, & t > 1 ; \end{cases}

(b)

f(t)={1−t,0⩽t⩽1;0,t>1;f(t) = \begin{cases} 1-t, & 0 \leqslant t \leqslant 1 ; \\ 0, & t > 1 ; \end{cases}

(c)

f(t)=te−tf(t) = t e^{-t};

(d)

f(t)=e−t+sin⁡t100f(t) = e^{-t}+\frac{\sin t}{100};

(e)

f(t)=e−t2f(t) = e^{-t^{2}}.

Problem 4.143

Let ξ1,ξ2,…\xi_{1}, \xi_{2}, \ldots be a sequence of independent identically distributed nonnegative random variables, and let ν\nu be a positive integer-valued random variable, independent of ξ1,ξ2,…\xi_{1}, \xi_{2}, \ldots Denote by φ(u)\varphi (u) the Laplace transform of ξ1\xi_{1}, and by p(s)p(s) the generating function of ν\nu. Find the Laplace transform of the random variable ξ1+…+ξν\xi_{1}+\ldots +\xi_{\nu }.

?
Problem 4.144

Let ξ1,…,ξn\xi_{1}, \ldots , \xi_{n} be independent identically distributed random variables having a Cauchy distribution with density

p(x)=1π(1+x2) p(x) = \frac{1}{\pi \left(1+x^{2}\right)}

Find the density of the random variable

ηn=ξ1+…+ξnn \eta _{n} = \frac{\xi _{1}+\ldots +\xi _{n}}{n}
?
Problem 4.145

Let φ(t)\varphi (t) be a characteristic function. Prove that the function

f(t)=sin⁡tt2∫0tφ(u)du f(t) = \frac{\sin t}{t^{2}} \int _{0}^{t} \varphi (u) d u

is the characteristic function of an absolutely continuous distribution.

?
Problem 4.146

Does there exist a probability distribution concentrated on a finite interval such that its characteristic function is nonzero everywhere on the real line?

?
Problem 4.147

Let the functions f1(x),f2(x),f3(x)f_{1}(x), f_{2}(x), f_{3}(x) satisfy the relation

f3(x)=∫−∞∞f1(x−u)f2(u)du f_{3}(x) = \int _{-\infty }^{\infty } f_{1}(x-u) f_{2}(u) d u

Find f1(x)f_{1}(x) if:

?
(a)

f2(x)=1π(1+x2),f3(x)=2π(4+x2);f_{2}(x) = \frac{1}{\pi \left(1+x^{2}\right)}, \quad f_{3}(x) = \frac{2}{\pi \left(4+x^{2}\right)} ;

(b)

f2(x)=e−x2,f3(x)=e−x2/2f_{2}(x) = e^{-x^{2}}, \quad f_{3}(x) = e^{-x^{2} / 2}.

Problem 4.148

Prove that the integral equation for the unknown function x(t)x(t)

∫−∞∞x(t)dt(y−t)2+1=e−y2 \int _{-\infty }^{\infty } \frac{x(t) d t}{(y-t)^{2}+1} = e^{-y^{2}}

has no solutions in the class of nonnegative functions.

?
Problem 4.149

Prove that the integral equation

∫−∞∞2(1−cos⁡(y−t))(y−t)2x(t)dt=12π∫−∞∞e−iuymax⁡{0,(1−∣u∣),(1−∣u∣2)}du \int _{-\infty }^{\infty } \frac{2(1-\cos (y-t))}{(y-t)^{2}} x(t) d t = \frac{1}{2 \pi } \int _{-\infty }^{\infty } e^{-i u y} \max \left\{ 0,(1-\left|u\right|),\left(1-\frac{\left|u\right|}{2}\right)\right\} d u

for the unknown function x(t)x(t) has infinitely many solutions in the class of nonnegative functions.

?
Problem 4.150

Do there exist nondegenerate random variables ξ1,ξ2,η1,η2\xi_{1}, \xi_{2}, \eta_{1}, \eta_{2} such that ξ1\xi_{1} is independent of ξ2\xi_{2}, η1\eta_{1} is independent of η2\eta_{2}, E[ξi4]<E[ηi4]<∞,i=1,2\mathbb {E}\left[\xi_{i}^{4}\right] < \mathbb {E}\left[\eta_{i}^{4}\right] < \infty , \quad i = 1,2, but E[(ξ1+ξ2)4]>E[(η1+η2)4]\mathbb {E}\left[(\xi_{1}+\xi_{2})^{4}\right] > \mathbb {E}\left[(\eta_{1}+\eta_{2})^{4}\right]?

?
Problem 4.151

Let f(t)f(t) be a characteristic function that has a derivative of order 2n(n⩾0)2 n(n \geqslant 0). Prove that the function

f(2n)(t)/f(2n)(0) f^{(2 n)}(t) / f^{(2 n)}(0)

is the characteristic function of a probability distribution.

?
Problem 4.152

Let f(t)f(t) be a characteristic function that has a derivative of order 2n−12 n-1 everywhere on the real line. Prove that the distribution corresponding to the characteristic function f(t)f(t) has a finite moment of order 2n2 n if and only if there exists ε>0\varepsilon > 0 such that the function

f(2n−1)(t)−f(2n−1)(0)t \frac{f^{(2 n-1)}(t)-f^{(2 n-1)}(0)}{t}

is bounded for 0<∣t∣<ε0 < \left|t\right| < \varepsilon.

?
Problem 4.153

Prove that the function f(t)f(t), equal to 1−∣t∣a1-\frac{\left|t\right|}{a} for ∣t∣⩽2a(a>0)\left|t\right| \leqslant 2 a (a > 0) and periodic with period 4a4 a, is a characteristic function.

?
Problem 4.154

Prove that the function f(t)f(t), equal to 1−∣t∣a1-\frac{\left|t\right|}{a} for ∣t∣⩽a(a>0)\left|t\right| \leqslant a (a > 0) and periodic with period 2a2 a, is a characteristic function.

?
Problem 4.155

Give an example of two distinct characteristic functions φ(t)\varphi (t) and ψ(t)\psi (t) such that φ2(t)=ψ2(t)\varphi^{2}(t) = \psi^{2}(t).

?
Problem 4.156

A cart standing on an absolutely rigid, smooth, and level surface is acted upon, constantly in time, by two forces: F1F_{1} from the left and F2F_{2} from the right, whose magnitudes are random variables uniformly distributed on the intervals [0,a1]\left[0, a_{1}\right] and [0,a2]\left[0, a_{2}\right] respectively. Can the forces be considered to act independently, if the distance traveled by the cart in time tt is a random variable having a uniform distribution on the interval [−a2t22m,a1t22m]\left[-\frac{a_{2} t^{2}}{2 m}, \frac{a_{1} t^{2}}{2 m}\right], where mm is the mass of the cart? Motion to the right is taken as positive, to the left as negative.

?
Problem 4.157

Suppose the conditions of the previous problem hold, but in addition to the forces F1F_{1} and F2F_{2}, the cart is also acted upon by another force F0F_{0}, whose magnitude is a random variable with unknown distribution. Can the forces F0,F1F_{0}, F_{1} and F2F_{2} be considered to act independently?

?
Problem 4.158

Let ξ\xi be a random variable with a symmetric distribution. Let

η={ξ, for ∣ξ∣⩽c,0 for ∣ξ∣>c,c>0. \eta = \begin{cases} \xi , & \text{ for }\left|\xi \right| \leqslant c, \\ 0 \text{ for }\left|\xi \right| > c, & \quad c > 0. \end{cases}

Denote by f(t)f(t) and g(t)g(t) the characteristic functions of ξ\xi and η\eta respectively. Prove that there exists ε>0\varepsilon > 0 such that

f(t)⩽g(t) f(t) \leqslant g(t)

for ∣t∣⩽ε\left|t\right| \leqslant \varepsilon.

?
Problem 4.159

Let ξ\xi be a random variable with characteristic function f(t)f(t), E[ξ]=0,Var⁡[ξ]=σ2,E[∣ξ∣3]=β\mathbb {E}\left[\xi \right] = 0, \operatorname {Var}\left[\xi \right] = \sigma^{2}, \mathbb {E}\left[\left|\xi \right|^{3}\right] = \beta. Prove that there exists an absolute (universal) constant KK such that

∣f(t)∣⩽exp⁡{−t2σ22(1−Kβσ2∣t∣)} \left|f(t)\right| \leqslant \exp \left\{ -\frac{t^{2} \sigma ^{2}}{2}\left(1-K \frac{\beta }{\sigma ^{2}}\left|t\right|\right)\right\}

for all real tt.

?
Problem 4.160

Let v,ξ1,ξ2,…v, \xi_{1}, \xi_{2}, \ldots be independent random variables, where ξ1,ξ2,…\xi_{1}, \xi_{2}, \ldots are identically distributed and vv has a Poisson distribution with parameter λ\lambda. Prove that if F(x)F(x) is the distribution function of ξ1\xi_{1}, then the characteristic function of the random variable ξ1+…+ξν\xi_{1}+\ldots +\xi_{\nu } equals

exp⁡{λ∫−∞∞(eitu−1)dF(u)} \exp \left\{ \lambda \int _{-\infty }^{\infty }\left(e^{i t u}-1\right) d F(u)\right\}
?
Problem 4.161

Let F(x),F1(x),F2(x),…F(x), F_{1}(x), F_{2}(x), \ldots be a sequence of distribution functions, and let f(t),f1(t),f2(t),…f(t), f_{1}(t), f_{2}(t), \ldots be the corresponding sequence of characteristic functions. Prove that if FnF_{n} converges to FF in variation as n→∞n \rightarrow \infty, then fnf_{n} converges to ff uniformly on the whole line.

?
Problem 4.162

Let ξ\xi and η\eta be random variables with characteristic functions f(t)f(t) and g(t)g(t) respectively. Prove that

sup⁡t∣f(t)−g(t)∣⩽2P(ξ≠η). \sup _{t}\left|f(t)-g(t)\right| \leqslant 2 \mathbb {P}\left(\xi \neq \eta \right) .
?
Problem 4.163

Let ξ\xi be a random variable with zero mean, variance σ2\sigma^{2}, and characteristic function f(t)f(t). Let

η={ξ, for ∣ξ∣⩽c,0, for ∣ξ∣>c,c>0. \eta = \begin{cases} \xi , & \text{ for } \left|\xi \right| \leqslant c, \\ 0, & \text{ for } \left|\xi \right| > c, \end{cases} \quad c > 0.

Denote by g(t)g(t) the characteristic function of η\eta. Prove that

sup⁡t∣f(t)−g(t)∣⩽2σ2c2. \sup _{t}\left|f(t)-g(t)\right| \leqslant \frac{2 \sigma ^{2}}{c^{2}} .
?
Problem 4.164

Let ξ\xi be a random variable with characteristic function f(t)f(t). The degree of dispersion δξ\delta_{\xi } of the random variable ξ\xi is the quantity

δξ=−ln⁡1π∫−∞∞∣f(u)∣21+u2du \delta _{\xi } = -\ln \frac{1}{\pi } \int _{-\infty }^{\infty } \frac{\left|f(u)\right|^{2}}{1+u^{2}} d u

Prove that δξ=0\delta_{\xi } = 0 if and only if ξ\xi is a constant with probability 1.

?
Problem 4.165

Let ξ1,ξ2,…\xi_{1}, \xi_{2}, \ldots be a sequence of random variables. Prove that δξn→0\delta_{\xi_{n}} \rightarrow 0 as n→∞n \rightarrow \infty (for the definition of δξn\delta_{\xi_{n}}, see the previous problem) if and only if there exists a sequence of real numbers a1,a2,…a_{1}, a_{2}, \ldots such that ξn−an→P0\quad \xi_{n}-a_{n} \xrightarrow {P} 0 as n→∞n \rightarrow \infty.

?
Problem 4.166

Prove that when independent random variables are added, the degree of dispersion does not decrease (for the definition of degree of dispersion, see problem 4.164), i.e., if ξ\xi and η\eta are independent random variables, then

δξ+η⩾max⁡{δξ,δη}. \delta _{\xi +\eta } \geqslant \max \left\{ \delta _{\xi }, \delta _{\eta }\right\} .

Show that equality can hold if and only if one of the summands is a constant with probability 1.

?
Problem 4.167

Let ψ(t)\psi (t) be a complex function of a real variable such that

Aψ=∫−∞∞∣ψ(t)∣2dt<∞ A_{\psi } = \int _{-\infty }^{\infty }\left|\psi (t)\right|^{2} d t < \infty

Prove that the function

φ(u)=1Aψ∫−∞∞ψ(t+u)ψˉ(t)dt \varphi (u) = \frac{1}{A_{\psi }} \int _{-\infty }^{\infty } \psi (t+u) \bar{\psi }(t) d t

is the characteristic function of an absolutely continuous distribution.

?
Problem 4.168

Let f(t)f(t) be a characteristic function such that for some ε>0\varepsilon > 0, f(t)=e−t2/2f(t) = e^{-t^{2} / 2} for all ∣t∣⩽ε\left|t\right| \leqslant \varepsilon. Prove that f(t)=e−t2/2f(t) = e^{-t^{2} / 2}.

?
Problem 4.169

Prove that for any positive integers kk and nn, k⩽nk \leqslant n, the inequality

Cnk⩽2n2πn \mathrm{C}_{n}^{k} \leqslant 2^{n} \sqrt{\frac{2}{\pi n}}

holds.

?
Problem 4.170

Let PP be the uniform distribution on the unit circle in R2\mathbb {R}^{2} (PP is evidently singular). Prove that the convolution P∗PP * P is absolutely continuous and has a bounded density.

?
Problem 4.171

Let the nn-dimensional random vector ξ\xi and the mm-dimensional random vector η\eta be related by the linear dependence η=Aξ+a\eta = A \xi +a, where AA is a rectangular matrix of size m×nm \times n and aa is a nonrandom nn-dimensional vector. Express the characteristic function of the random vector η\eta in terms of the characteristic function of the random vector ξ\xi.

?
Problem 4.172

(A. Ya. Khinchin's theorem) Prove that in order for a function f(t)f(t) to be the characteristic function of a unimodal distribution, it is necessary and sufficient that it be representable in the form

f(t)=eitat∫0tφ(u)du f(t) = \frac{e^{i t a}}{t} \int _{0}^{t} \varphi (u) d u

where φ(u)\varphi (u) is a characteristic function and aa is a real number.

?
Problem 4.173

Prove that the function

11+∣t∣α(0<α⩽1) \frac{1}{1+\left|t\right|^{\alpha }} \quad (0 < \alpha \leqslant 1)

is the characteristic function of a unimodal distribution.

?
Problem 4.174

Let f(t)f(t) be the characteristic function of a unimodal distribution. Prove that the function

φ(t)=f(t)+tf′(t) \varphi (t) = f(t)+t f^{\prime }(t)

is a characteristic function.

?
Problem 4.175

Does there exist a characteristic function that is nowhere differentiable?

?
Problem 4.176

Give an example of two distinct characteristic functions f(t)f(t) and g(t)(f(t)≠g(−t))g(t) \quad (f(t) \neq g(-t)) such that

∣f(t)∣2=∣g(t)∣2 \left|f(t)\right|^{2} = \left|g(t)\right|^{2}
?
Problem 4.177

Give an example of two distinct characteristic functions f(t)f(t) and g(t)(f(t)≠g(−t))g(t) \quad (f(t) \neq g(-t)), corresponding to bounded random variables, such that

∣f(t)∣2=∣g(t)∣2 \left|f(t)\right|^{2} = \left|g(t)\right|^{2}
?
Problem 4.178

Let the random vector ξ=(ξ1,…,ξn)\xi = \left(\xi_{1}, \ldots , \xi_{n}\right) have a spherically symmetric distribution (see the definition in problem 3.300). Prove that if the random variables ξ1,…,ξn\xi_{1}, \ldots , \xi_{n} are independent, then the vector ξ\xi has an nn-dimensional normal distribution.

?