A stochastic fixed point equation for weighted minima and maxima

Étant donné un ensemble fini ou dénombrable de nombres réel $T_j$, $j\in J$, nous trouvons l'ensemble des solutions $F$ de l'équation fonctionelle

$$W\stackrel{\mathrm{d}}{=}\underset{j\in J}{inf}{T}_j{W}_j,$$

où $W$ et les $W_j$, $j\in J$, sont des variables aléatoires mutuellement indépendantes ayant la loi $F$ et $\stackrel{\mathrm{d}}{=}$ signifie identité en loi. L'essentiel de ce travail concerne le cas où $\left|J\right|\ge 2$ et tous les $T_j$ sont (strictement) positifs. Dans ce cas, toutes les solutions sont concentrées soit sur $(0,\infty )$ soit sur (-\infty ,0). Dans la situation la plus intéressante (et plus difficile) $T$ a un exposant charactéristique $\alpha$ donné par ${\sum }_{j\in J}{T}_j^{\alpha }=1$, et l'ensemble des solutions dépend du sous-groupe multiplicatif de ${ℝ}^{>}=(0,\infty )$ généré par les $T_j$, qui est $\left\{1\right\},{ℝ}^{>}$ lui-même, ou $r^{\mathbb{Z}}=\left\{r^n:n\in \mathbb{Z}\right\}$ pour quelque $r>1$. Le premier cas etant trivial, les points fixes non-triviaux dans le second cas sont ou bien les lois de Weibull ou bien leurs images réciproques sur (-\infty ,0) (si elles sont représentées par des variables aléatoires). Dans le troisième cas, il y a des solutions périodiques supplémentaires. Notre analyse est basée sur l'observation que le logarithme de la fonction de survie de chaque point fixe est harmonique relatif à $\Lambda ={\sum }_{j\ge 1}{\delta }_{T_j}$, c'est-à-dire $\Gamma =\Gamma ☆\Lambda$, où $☆$ dénote la convolution multiplicative. Cela nous permettrons l'utilisation du theorème puissant de Choquet et Deny.

Given any finite or countable collection of real numbers $T_j$, $j\in J$, we find all solutions $F$ to the stochastic fixed point equation

$$W\stackrel{\mathrm{d}}{=}\underset{j\in J}{inf}{T}_j{W}_j,$$

where $W$ and the $W_j$, $j\in J$, are independent real-valued random variables with distribution $F$ and $\stackrel{\mathrm{d}}{=}$ means equality in distribution. The bulk of the necessary analysis is spent on the case when $\left|J\right|\ge 2$ and all $T_j$ are (strictly) positive. Nontrivial solutions are then concentrated on either the positive or negative half line. In the most interesting (and difficult) situation $T$ has a characteristic exponent $\alpha$ given by ${\sum }_{j\in J}{T}_j^{\alpha }=1$ and the set of solutions depends on the closed multiplicative subgroup of ${ℝ}^{>}=(0,\infty )$ generated by the $T_j$ which is either $\left\{1\right\},{ℝ}^{>}$ itself or $r^{\mathbb{Z}}=\left\{r^n:n\in \mathbb{Z}\right\}$ for some $r>1$. The first case being trivial, the nontrivial fixed points in the second case are either Weibull distributions or their reciprocal reflections to the negative half line (when represented by random variables), while in the third case further periodic solutions arise. Our analysis builds on the observation that the logarithmic survival function of any fixed point is harmonic with respect to $\Lambda ={\sum }_{j\ge 1}{\delta }_{T_j}$, i.e. $\Gamma =\Gamma ☆\Lambda$, where $☆$ means multiplicative convolution. This will enable us to apply the powerful Choquet-Deny theorem.