ThmDex – An index of mathematical definitions, results, and conjectures.
F10791
Formulation 0
Let $X \in \text{Random}(\mathbb{R})$ be a D3161: Random real number.
Let $\mu, t \in \mathbb{R}$ each be a D993: Real number.
Then \begin{equation} \mathfrak{F}_{X + \mu} (t) = e^{i t \mu} \mathfrak{F}_X (t) \end{equation}