Maths Olympiad Prep

Library / /426 of 520

Algebra Difficulty 6.0 National olympiad Prove it

4. If in a neighborhood of zero the characteristic function φ=φ(t)\varphi=\varphi(t) coincides with some entire function f=f(t)f=f(t), i.e., with a function that can be expanded on R\mathbb{R} into the series n0cntn,cnC\sum_{n \geqslant 0} c_{n} t^{n}, c_{n} \in \mathbb{C}, then φf\varphi \equiv f on R\mathbb{R}. Prove this statement.

Remark. This statement in some cases allows reducing the computation of characteristic functions on R\mathbb{R} to some neighborhood of zero. By choosing a sufficiently small neighborhood, one can ensure that the functions considered in it are non-zero, and thus uniquely determine their logarithms with a boundary condition at zero.

Solution

Solution. The coefficients cnc_{n} necessarily coincide with

φ(n)(0)n!=inEXnn! \frac{\varphi^{(n)}(0)}{n!}=\frac{i^{n} E X^{n}}{n!}

where XX is a random variable with characteristic function φ\varphi. Therefore, the series

k0ikEXkk!tk \sum_{k \geqslant 0} \frac{i^{k} \mathrm{E} X^{k}}{k!} t^{k}

converges on R\mathbb{R}. Moreover, for all n1n \geqslant 1 we have

φ(t)=k=02n1ikEXkk!tk+Rn(t)t2n \varphi(t)=\sum_{k=0}^{2 n-1} \frac{i^{k} \mathrm{E} X^{k}}{k!} t^{k}+R_{n}(t) t^{2 n}

where

R(t)3EX2n(2n)!,tR |R(t)| \leqslant \frac{3 \mathrm{E} X^{2 n}}{(2 n)!}, \quad t \in \mathbb{R}

Thus, by taking the limit as nn \rightarrow \infty, we obtain that on R\mathbb{R} the relation

φ(t)=k0ikEXkk!tk=n0cntn=f(t) \varphi(t)=\sum_{k \geqslant 0} \frac{i^{k} E X^{k}}{k!} t^{k}=\sum_{n \geqslant 0} c_{n} t^{n}=f(t)

holds.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.