A stochastic fixed point equation for weighted minima and maxima

Abstract

Given any finite or countable collection of real numbers T_j, j∈J, we find all solutions F to the stochastic fixed point equation $$W\stackrel {\mathrm {d}}{=}\inf_{j\in J}T_{j}W_{j},$$ where W and the W_j, j∈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 |J|≥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 α given by ∑_j∈JT_j^α=1 and the set of solutions depends on the closed multiplicative subgroup of ℝ^>=(0, ∞) generated by the T_j which is either {1}, ℝ^> itself or r^ℤ={rⁿ:n∈ℤ} 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 Λ=∑_j≥1δ_Tj, i.e. Γ=Γ⋆Λ, 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∈J, nous trouvons l’ensemble des solutions F de l’équation fonctionelle $$W\stackrel {\mathrm {d}}{=}\inf_{j\in J}T_{j}W_{j},$$ où W et les W_j, j∈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ù |J|≥2 et tous les T_j sont (strictement) positifs. Dans ce cas, toutes les solutions sont concentrées soit sur (0, ∞) soit sur (−∞, 0). Dans la situation la plus intéressante (et plus difficile) T a un exposant charactéristique α donné par ∑_j∈JT_j^α=1, et l’ensemble des solutions dépend du sous-groupe multiplicatif de ℝ^>=(0, ∞) généré par les T_j, qui est {1}, ℝ^> lui-meme, ou r^ℤ={rⁿ:n∈ℤ} 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 (−∞, 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 à Λ=∑_j≥1δ_Tj, c’est-à-dire Γ=Γ⋆Λ, où ⋆ dénote la convolution multiplicative. Cela nous permettrons l’utilisation du theorème puissant de Choquet et Deny.