En théorie des probabilités, un processus de Lévy, nommé d'après le mathématicien français Paul Lévy, est un processus stochastique en temps continu, continu à droite limité à gauche (càdlàg), partant de 0, dont les accroissements sont stationnaires et indépendants (cette notion est expliquée ci-dessous). Les exemples les plus connus sont le processus de Wiener et le processus de Poisson.

Définition

modifier

Un processus stochastique est appelé processus de Lévy, si

  1. presque sûrement
  2. Accroissements indépendants : Pour tout sont indépendants
  3. Accroissements stationnaires : Pour tout , est égale en loi à
  4. est presque sûrement continue à droite et limitée à gauche (Càdlàg).

Propriétés

modifier

Accroissements indépendants

modifier

Un processus stochastique à temps continu associe une variable aléatoire Xt à tout instant t ≥ 0. C'est donc une fonction aléatoire de t. Les accroissements d'un tel processus sont les différences XsXt entre ses valeurs à différents instants t < s. Dire que les accroissements d'un processus sont indépendants signifie que les accroissements XsXt et XuXv sont des variables aléatoires indépendantes à partir du moment où les intervalles de temps ne se chevauchent pas, et plus généralement, tout nombre fini d'accroissements sur des intervalles de temps non chevauchant sont mutuellement indépendants (et pas seulement indépendants deux à deux).

Accroissements stationnaires

modifier

Dire que les accroissements sont stationnaires signifie que la loi de chaque accroissement XsXt ne dépend que de la longueur s − t de l'intervalle de temps.

Par exemple pour un processus de Wiener, la loi de Xs − Xt est une loi normale d'espérance 0 et de variance s − t.

Pour un processus de Poisson homogène, la loi de Xs − Xt est une loi de Poisson d'espérance λ(s − t), où λ > 0 est l'"intensité" ou le "taux" du processus.

Divisibilité

modifier

Le processus de Lévy est en rapport avec les lois infiniment divisibles :

  • Les lois des accroissements d'un processus de Lévy sont infiniment divisibles, les accroissements de longueur t étant la somme de n accroissements de longueur t/n qui sont i.i.d. (indépendantes identiquement distribuées) par hypothèse.
  • Réciproquement, à chaque loi infiniment divisible correspond un processus de Lévy : une telle loi D étant donnée, on définit un processus stochastique pour tout temps rationnel positif en la multipliant et la divisant, on définit sa loi en 0 à partir de la distribution de Dirac en 0, enfin on passe à la limite pour tout temps réel positif. L'indépendance des accroissements et la stationnarité proviennent de la propriété de la divisibilité, bien qu'il faille vérifier la continuité, et le fait que le passage à la limite donne une fonction bien définie sur les temps irrationnels.

Moments

modifier

Le n-ième moment d'un processus de Lévy, lorsqu'il est fini, est une fonction polynomiale en t, qui vérifie une identité de type binomial :

Exemples

modifier

Voici une liste, non exhaustive, d'exemples de processus de Lévy.

Dans les exemples ci-dessous, X est un processus de Lévy. Il est à noter qu'une dérive déterministe () est un processus de Lévy.

Processus de Wiener

modifier

Définition

X est un processus de Wiener (ou mouvement brownien standard) si et seulement si

  1. pour tout , la variable aléatoire est de loi normale ,
  2. ses trajectoires sont presque sûrement continues ; c'est-à-dire, pour presque tout , l'application est continue.

Propriétés

voir la page mouvement brownien.

Processus de Poisson composé

modifier

Définition

X est un Processus de Poisson composé de paramètres un réel et une mesure sur si et seulement si sa transformée de Fourier est donnée par

.

Propriétés

  • Un processus de Poisson composé de paramètres et pour mesure la mesure de Dirac en 1 () est un processus de Poisson.
  • Soient N un processus de Poisson de paramètre et une marche aléatoire dont la loi des pas est (la loi de ), alors le processus défini par est un processus de Poisson composé.

Subordinateurs

modifier

Définition

X est un subordinateur si et seulement si X est un processus croissant.

Propriétés

.
  • Un subordinateur permet de faire un changement de temps, cela s'appelle une subordination. Si Z est un processus de Lévy et X est un subordinateur indépendant, alors le processus est un processus de Lévy.

Processus de Lévy stables

modifier

Définition

X est un processus de Lévy stable de paramètre (ou un processus de Lévy -stable) si et seulement si les deux processus et ont la même loi pour tout réel .

Cette propriété s'appelle la propriété de stabilité (ou scaling).

Propriétés

  • Si , le processus de Lévy est une dérive déterministe ou un processus de Cauchy.
  • Si , le processus de Lévy est un mouvement brownien.
  • Pour , sa transformée de Fourier est de la forme :
.

Représentation de Lévy–Khintchine

modifier

Toute variable aléatoire peut être caractérisée par sa fonction caractéristique. Dans le cas d'un processus de Lévy , cette caractérisation pour tout temps t donne la représentation de Lévy-Khintchine (du nom du mathématicien russe Alexandre Khintchine) :

, et est la fonction indicatrice. La mesure de Lévy doit vérifier

Un processus de Lévy est donc caractérisé par trois composantes : une dérive, un coefficient de diffusion, et une composante de saut. Ces trois composantes, et donc la représentation de Lévy–Khintchine du processus, sont entièrement déterminées par le triplet . En particulier, un processus de Lévy continu est un mouvement brownien avec dérive.

Décomposition de Lévy–Itō

modifier

Réciproquement, on peut construire un processus de Lévy à partir d'une fonction caractéristique donnée sous sa représentation de Lévy-Khintchine. Cette construction correspond à la décomposition d'une mesure d'après le théorème de décomposition de Lebesgue : la dérive et la diffusion constituent la partie absolument continue, tandis que la mesure W en est la partie singulière.

Étant donné un triplet de Lévy il existe trois processus de Lévy indépendants , sur le même espace probabilisé, tels que :

  • est un mouvement brownien avec dérive, correspondant à la partie absolument continue de la mesure, dont les coefficients sont a pour la dérive et pour la diffusion ;
  • est le processus de Poisson composé, correspondant à la pure partie ponctuelle de la mesure singulière W ;
  • est un processus de saut, martingale de carré intégrable qui a presque surement un nombre dénombrable de sauts sur tout intervalle fini, correspondant à la partie continue de la mesure singulière W.

Le processus défini par est un processus de Lévy de triplet .

Correspondance dans le monde vivant

modifier

Plusieurs motifs (patterns) fractaux associés avec des processus de Lévy sont observés dans le monde vivant (et dans d'autres domaines scientifiques)[1]. Ils semblent par exemple présents dans des domaines aussi variés que les mouvements des yeux des humains[2] (dans certaines circonstances au moins) et dans le mouvement des animaux[3].

Leur origine est encore mal comprise dans les systèmes écologiques. On les a interprétés comme étant une propriété émergente qui pourrait découler de divers principes universels des systèmes complexes[4] ou qui pourrait peut-être avoir une valeur adaptative[1].

Des processus de Lévy ont par exemple été découverts dans les mouvements exploratoires d'agents intelligents quand ils évoluent dans un environnement hétérogène, et ils semblent structurer des déplacements et mouvements d'animaux (oiseaux marins notamment[5],[6]) à « grande échelle »[1],[7] (« Lévy Flight »[8],[9],[10],[11] ; « Lévy Walk »[12],[13],[14]). D'après Alex James, Michael J. Plank et Andrew M. Edwards, l'observation de ces processus de Lévy serait due à des facteurs extérieurs (telle que la distribution des ressources, la méthode d’échantillonnage retenue pour l'observation, ou encore la cohabitation de plusieurs stratégie de mouvement) plutôt qu'à un choix stratégique explicite[15]. En d'autre termes, un processus de Lévy apparent peut émerger de nombreux facteurs autre que la stratégie d'exploration des agents.

Certains auteurs supposent qu'ils pourraient aussi être associés à des mécanismes d'optimisation stochastique (en)[16], de processus tels que la recherche de nourriture ou la recherche de partenaire sexuel ou le vol migratoire chez les animaux (individus ou groupes), dans l'océan, dans l'atmosphère et au-dessus de l'océan pour les oiseaux[17] ou dans une vaste forêt par exemple, quand les capacités de perception ne suffisent pas à permettre à un animal de trouver facilement ce qu'il cherche (nourriture, proie, gîte, partenaire sexuel, etc)[1].

Si le processus de Lévy agissait ainsi au niveau individuel, ces mécanismes d'adaptation pourraient alors aussi avoir des effets à des niveaux supérieurs de l'organisation et de la dynamique, voire à l'échelle d'écosystèmes[1] voire de la biosphère, ce pourquoi Frederic Bartumeus, l'un des spécialistes de ces questions suggère — dans le contexte de l'étude des mouvements d'animaux — de désormais considérer de manière conjointe et non plus séparées l'invariance d'échelle, les phénomènes d'intermittence[18] et de hasard qui pourraient peut être prendre un sens nouveau dans un cadre écologique et évolutif cohérent[1].

Annexes

modifier

Bibliographie

modifier
  • D. Applebaum, Lévy Processes and Stochastic Calculus, Second Edition, Cambridge University Press, 2009
  • J. Bertoin, Lévy Processes, Cambridge University Press, Cambridge, 1996. (ISBN 0-52164-632-4)
  • A.E. Kyprianou, Introductory Lectures on Fluctuations of Lévy Processes with Applications, Springer, Berlin, 2006.
  • K.I. Sato, Lévy Processes and Infinitely divisible distributions, Cambridge Univsersity Press, 1999. (ISBN 0-521-55302-4)

Notes et références

modifier
  1. a b c d e et f Bartumeus F (2007) Lévy processes in animal movement : an evolutionary hypothesis, Fractals, 15, 151 (2007). DOI: 10.1142/S0218348X07003460 (résumé)
  2. Damian Stephen, Daniel Mirman, James Magnuson, James Dixon. (2009) Lévy-like diffusion in eye movements during spoken-language comprehension. Physical Review E 79:5, mis en ligne le 1er mai 2009 (résumé)
  3. F. Bartumeus. (2009) Behavioral intermittence, Lévy patterns, and randomness in animal movement. Oikos 118:4, 488-494, publié le 1er avril 2009 (résumé)
  4. Nicolas E. Humphries, Nuno Queiroz, Jennifer R. M. Dyer, Nicolas G. Pade, Michael K. Musyl, Kurt M. Schaefer, Daniel W. Fuller, Juerg M. Brunnschweiler, Thomas K. Doyle, Jonathan D. R. Houghton, Graeme C. Hays, Catherine S. Jones, Leslie R. Noble, Victoria J. Wearmouth, Emily J. Southall, David W. Sims. (2010) Environmental context explains Lévy and Brownian movement patterns of marine predators. Nature 465:7301, 1066-1069. mis en ligne le 24 juin 2010 (résumé)
  5. Andrew J. J. MacIntosh, Laure Pelletier, Andre Chiaradia, Akiko Kato, Yan Ropert-Coudert. (2013) Temporal fractals in seabird foraging behaviour: diving through the scales of time. Scientific Reports 3. . Mis en ligne le 24 mai 2013 (résumé)
  6. Frederic Bartumeus, Luca Giuggioli, Maite Louzao, Vincent Bretagnolle, Daniel Oro, Simon A. Levin. (2010) Fishery Discards Impact on Seabird Movement Patterns at Regional Scales. Current Biology 20:3, 215-222, mis en ligne le 9 février 2010 (résumé)
  7. L. Seuront, H. E. Stanley. (2014) Anomalous diffusion and multifractality enhance mating encounters in the ocean. Proceedings of the National Academy of Sciences 111:6, 2206-2211. Online publication date: 11-Feb-2014 (résumé)
  8. Dong Wang, Qian Zhuang, Ying Fan, Zeng-Ru Di. (2013) Species diversity in rock—paper—scissors game coupling with Levy flight. Chinese Physics B 22:12, 128702. Mis en ligne le 1er décembre 2013 (résumé)
  9. Deepika Janakiraman, K. Sebastian. (2012) Path-integral formulation for Lévy flights: Evaluation of the propagator for free, linear, and harmonic potentials in the over- and underdamped limits. Physical Review E 86:6. mis en ligne le 1er décembre 2012. (résumé)
  10. Sam Baron. (2014) Optimisation and mathematical explanation: doing the Lévy Walk. Synthese 191:3, 459-479. Mis en ligne le 1er février 2014 (résumé)
  11. Andy M. Reynolds, Patrick Schultheiss, Ken Cheng. (2013) Are Lévy flight patterns derived from the Weber–Fechner law in distance estimation ?. Behavioral Ecology and Sociobiology 67:8, 1219-1226. . Online publication date: 1-Aug-2013 Read More: http://www.worldscientific.com/doi/abs/10.1142/S0218348X07003460
  12. A. M. Reynolds. (2012) Fitness-maximizing foragers can use information about patch quality to decide how to search for and within patches: optimal Levy walk searching patterns from optimal foraging theory. Journal of The Royal Society Interface 9:72, 1568-1575, mis en ligne le 7 juillet 2012 (résumé)
  13. Reynolds AM (2009) Scale-free animal movement patterns : Lévy walks outperform fractional Brownian motions and fractional Lévy motions in random search scenarios. Journal of Physics A: Mathematical and Theoretical 42:43, 434006. . Online publication date: 30-Oct-2009 (résumé)
  14. A. M. Reynolds. (2012) Truncated Levy walks are expected beyond the scale of data collection when correlated random walks embody observed movement patterns. Journal of The Royal Society Interface 9:68, 528-534, publié le 7 mars 2012 (résumé)
  15. James Alex, Plank Michael J. et Edwards Andrew M., « Assessing Lévy walks as models of animal foraging », Journal of The Royal Society Interface, vol. 8, no 62,‎ , p. 1233–1247 (PMID 21632609, PMCID PMC3140726, DOI 10.1098/rsif.2011.0200, lire en ligne, consulté le )
  16. M. A. Lomholt, K. Tal, R. Metzler, K. Joseph. (2008) Levy strategies in intermittent search processes are advantageous. Proceedings of the National Academy of Sciences 105:32, 11055-11059, publié le 12 aout 2008 (résumé)
  17. Reynolds AM (2013) Effective leadership in animal groups when no individual has pertinent information about resource locations : How interactions between leaders and followers can result in Lévy walk movement patterns. EPL (Europhysics Letters) 102:1, 18001, mis en ligne le 1er avril 2013 (résumé)
  18. Gleb Oshanin, Katja Lindenberg, Horacio S Wio, Sergei Burlatsky. (2009) Efficient search by optimized intermittent random walks. Journal of Physics A: Mathematical and Theoretical 42:43, 434008, mis en ligne le 30 octobre 2009 (résumé)