A stochastic fixed point equation for weighted minima and maxima

Alsmeyer, Gerold; Rösler, Uwe

Annales de l'I.H.P. Probabilités et statistiques, Tome 44 (2008) no. 1, pp. 89-103

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.

É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.

Classification : 60E05, 60J80
Keywords: stochastic fixed point equation, weighted minima and maxima, weighted branching process, harmonic analysis on trees, Choquet-Deny theorem, Weibull distributions

D. Aldous and A. Bandyopadhyay. A survey of max-type recursive distributional equations. Ann. Appl. Probab. 15 (2005) 1047-1110. | Zbl | MR

T. Ali Khan, L. Devroye and R. Neininger. A limit law for the root value of minimax trees. Electron. Comm. Probab. 10 (2005) 273-281. | Zbl | MR

G. Alsmeyer and M. Meiners. A stochastic maximin fixed point equation related to game tree evaluation. J. Appl. Probab. 44 (2007) 586-606. | Zbl | MR

G. Alsmeyer and U. Rösler. A stochastic fixed point equation related to weighted branching with deterministic weights. Electron. J. Probab. 11 (2006) 27-56. | Zbl | MR

G. Choquet and J. Deny. Sur l'equation de convolution μ=μ*σ. C. R. Acad. Sci. Paris 250 (1960) 799-801. | Zbl | MR

P. Jagers and U. Rösler. Stochastic fixed points for the maximum. In Mathematics and Computer Science III. M. Drmota, P. Flajolet, D. Gardy and B. Gittenberger (Eds) 325-338. Birkhäuser, Basel, 2004. | Zbl | MR

R. Neininger and L. Rüschendorf. Analysis of algorithms by the contraction method: additive and max-recursive sequences. In Interacting Stochastic Systems. J. D. Deuschel and A. Greven (Eds) 435-450. Springer, Heidelberg, 2005. | Zbl | MR