Gaussian characterization by independent sum and difference

ID: gaussian-characterization-by-independent-sum-and-difference

Here take iid, centered with variance one, and with finite moment-generating functions at all real arguments. Independence of their sum and difference gives . Dividing the positive and negative argument identities shows satisfies the symmetry step of dyadic rigidity of a moment-generating function, hence is even. The identity becomes , and the unit-variance expansion then forces . The uniqueness theorem for moment-generating functions identifies the standard normal distribution. This is a precise sufficient-hypothesis version; the displayed implication is understood with those stated assumptions.

New to topics? Read the docs here!