Voir la source de Processus stochastique

{{À sourcer|date=mars 2012}}

Un '''processus {{page h'|stochastique}}''' ou '''processus aléatoire''' (voir [[Calcul stochastique]]) ou '''fonction aléatoire''' (voir [[Probabilité]]) représente une évolution, discrète ou à temps continu, d'une [[variable aléatoire]]. Celle-ci intervient dans le calcul classique des probabilités, où elle mesure chaque résultat possible (ou ''réalisation'') d'une épreuve.

Cette notion se généralise à plusieurs dimensions. Un cas particulier important, le [[champ aléatoire de Markov]], est utilisé en [[analyse spatiale]].

== Utilité ==
=== Notion de processus ===
De nombreux domaines utilisent des observations en fonction du temps (ou plus rarement, d'une variable d'espace). Dans les cas les plus simples, ces observations se traduisent par une courbe bien définie. En réalité, des sciences de la Terre aux sciences humaines, les observations se présentent souvent de manière plus ou moins erratique. L'interprétation de ces observations est donc soumise à une certaine incertitude qui peut être traduite par l'utilisation des probabilités pour les représenter.

Un processus aléatoire généralise la notion de [[variable aléatoire réelle|variable aléatoire]] utilisée en probabilité. On le définit comme une famille de variables aléatoires {{math|''X''(''t'')}} associées à toutes les valeurs {{math|''t'' ∈ ''T''}} (souvent le temps).

D'un point de vue statistique, on considèrera l'ensemble des observations disponibles {{math|''x''(''t'')}} comme une réalisation du processus, ce qui donne lieu à certaines difficultés. Un premier problème concerne le fait que la durée sur laquelle est construit le processus est généralement infinie alors qu'une réalisation porte sur une durée finie. Il est donc impossible de représenter parfaitement la réalité. Il y a une seconde difficulté beaucoup plus sérieuse : à la différence du problème des variables aléatoires, l'information disponible sur un processus se réduit généralement à une seule réalisation.

=== Types de processus ===

On distingue généralement les processus en temps discret et en temps continu, à valeurs discrètes et à valeurs continues.

Si l'ensemble {{mvar|T}} est dénombrable on parle de {{terme défini|processus discret}} ou de {{terme défini|[[série temporelle]]}}, si l'ensemble est indénombrable on parle de {{terme défini|[[processus continu]]}}. La différence n'a rien de fondamental : en particulier la [[Processus stationnaire|stationnarité]], constance en fonction du temps des propriétés statistiques, se définit de la même façon.  Il ne s'agit même pas d'une différence pratique car les calculs sur un processus continu s'effectuent à partir de l'[[échantillonnage (signal)|échantillonnage]] d'une réalisation du processus. La différence porte plutôt sur l'attitude adoptée face à l'utilisation d'une seule réalisation.

Il existe une différence un peu plus nette entre les processus à valeurs continues et les processus de comptage à valeurs discrètes. Les seconds remplacent par des sommes algébriques les intégrales utilisées par les premiers.

=== Exemples ===

En matière de processus à valeurs continues, les [[processus de Gauss]] sont particulièrement utilisés pour les mêmes raisons que les [[Loi normale|variables de Gauss]] en statistiques élémentaires. Une application intuitive du [[théorème central limite]] conduit à penser que bon nombre de phénomènes, dus à des causes nombreuses, sont approximativement gaussiens. D'autre part, un tel processus présente l'avantage d'être entièrement défini par ses caractéristiques au second ordre, [[espérance mathématique|espérance]] et [[autocovariance]].

La description d'un phénomène par des valeurs discrètes conduit à des processus de comptage dont le plus simple est le [[processus de Poisson]] utilisé dans la [[théorie des files d'attente]].

La notion de [[propriété markovienne]] définit une classe de processus discrets ou continus, à valeurs discrètes ou continues, qui repose sur l'hypothèse selon laquelle l'avenir ne dépend que de l'instant présent.

== Approche mathématique des processus stochastiques ==
=== Définitions et propriété de base ===

On désigne par <math>(\Omega , \mathcal{F} , P)</math> un [[espace de probabilité]], {{mvar|T}} un ensemble arbitraire et {{mvar|S}} un [[espace métrique]] muni de la [[tribu borélienne]] notée <math>\mathcal{B}(S)</math>. {{mvar|T}} est souvent appelé {{terme défini|ensemble des indices}} (souvent, on aura <math>T=\mathbb{R}, \mathbb{R}_+, \mathbb{R}^p, \mathbb{N}, ...</math>). {{mvar|T}} peut faire référence au temps, à l'espace ou aux deux à la fois.

L'indice {{math|''t'' ∈ ''T''}} désigne alors un instant (<math>\mathbb{R}_+</math>), une date (<math>\mathbb{N}</math>), un point, ou encore un point à un certain instant. {{mvar|S}} est appelé {{terme défini|espace d'état}} (souvent, on aura <math>S=\mathbb{R}, \mathbb{C}, \mathbb{C}^{\mathbb{N}},</math> un [[ensemble fini]] ou dénombrable). Si l'espace d'état {{mvar|S}} est de la forme {{Formule|ℝ{{exp|''d''}}}}, on parle de {{terme défini|champ aléatoire}}.

Un {{terme défini|processus stochastique (ou aléatoire)}} est une famille de variables aléatoires (c'est-à-dire, des applications mesurables) définies sur le même espace de probabilité <math>(\Omega , \mathcal{F} , P)</math> indexée par {{mvar|T}} et à valeurs dans {{mvar|S}}.
Si {{mvar|T}} est un sous-ensemble d'un espace multidimensionnel, on préfère utiliser la dénomination de {{terme défini|champ stochastique}}.
Un processus stochastique est noté par {{math|{''X{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}}.
La valeur de la variable aléatoire {{mvar|X{{ind|t}}}} en un certain {{math|''ω'' ∈ Ω}} est désignée par {{math|''X{{ind|t}}''(''ω'')}}.

La famille de toutes les distributions finies-dimensionnelles de {{mvar|X}} s'appelle la {{terme défini|loi spatiale}} du processus. Si <math>S\subseteq\R</math>, on parle de {{terme défini|loi temporelle}}.

=== Trajectoire d'un processus stochastique ===

Notons par {{mvar|S{{exp|T}}}} l'ensemble des applications définies sur {{mvar|T}} en tout point et à valeur dans {{mvar|S}}.
Fixons {{math|''ω'' ∈ Ω}} et désignons par {{math|''X''{{ind|.}}(''ω'') ∈ ''S{{exp|T}}''}} l'application : <math>t\mapsto{X_t(\omega)}</math>. Une telle application est appelée ''trajectoire (ou réalisation)'' du processus stochastique {{math|{''X{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}}.

=== Mesure de probabilité induite par un processus stochastique ===

Soit {{math|{''X{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} un processus stochastique, <math>\mathcal{B}(S^T)</math> la ''σ''-algèbre borélienne de {{mvar|S{{exp|T}}}} (c'est-à-dire, la ''σ''-algèbre engendrée par les ouverts de la [[topologie produit]] de {{mvar|S{{exp|T}}}}) et l'application suivante :

<center><math>\begin{align}
 \Phi_X\colon (\Omega , \mathcal{F}) &\to (S^T , \mathcal{B}(S^T)) \\
 w &\mapsto \Phi_X(w)=X_{.}(w)
\end{align}</math></center>

{{math|Φ{{ind|''X''}}}} est mesurable. Désignons par <math>\tilde{\mathbb{P}}_X</math> la mesure de probabilité sur <math>(S^T , \mathcal{B}(S^T))</math> définie pour tout <math>\tilde{D}\in\mathcal{B}(S^T)</math> par <math>\tilde{\mathbb{P}}_X (\tilde{D}) = P \circ {\Phi_X}^{-1}(\tilde{D})</math> mesure de probabilité sur un espace de fonctions.

La probabilité <math>\tilde{\mathbb{P}}_X</math> est dite ''induite par le processus stochastique'' {{math|{''X{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} sur l'espace mesuré <math>(S^T , \mathcal{B}(S^T))</math>.

=== Lois fini-dimensionnelles ===

Soient deux processus stochastiques {{math|{''X{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} et {{math|{''Y{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}}. On suppose que ces deux processus sont à valeur dans <math>(S,\mathcal{B}(S))</math>. Dans cette définition, on ne suppose pas qu'ils sont définis sur le même espace de probabilité.
On dit alors que {{math|{''X{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} et {{math|{''Y{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} possèdent les mêmes ''lois finis dimensionnelles'' si pour tout <math>k\in\mathbb{N}^*</math> et pour tout {{math|''t''{{ind|1}}, ... , ''t{{ind|k}}'' ∈ ''T''}}, les vecteurs (donc de dimension finie) aléatoires {{math|''X''{{ind|''t''{{ind|1}}}}, ... , ''X{{ind|t{{ind|k}}}}''}} et {{math|''Y''{{ind|''t''{{ind|1}}}}, ... , ''Y{{ind|t{{ind|k}}}}''}} sont de même loi. Pour tout <math>A\in\mathcal{B}(S^k)</math>, on a :

<center><math>P_X\{\omega_X\in\Omega_X : (X_{t_1}, ..., X_{t_k})\in{A}\}=P_Y\{\omega_Y\in\Omega_Y : (Y_{t_1}, ..., Y_{t_k})\in{A}\}</math></center>

On suppose que le processus {{math|{''X{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} est défini sur l'espace de probabilité <math>(\Omega_X , \mathcal{F}_X , P_X)</math> et le processus {{math|{''Y{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} est défini sur l'espace de probabilité <math>(\Omega_Y , \mathcal{F}_Y , P_Y)</math>.

Lorsque deux processus stochastiques {{math|{''X{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} et {{math|{''Y{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} possèdent les mêmes lois finis dimensionnelles, ils induisent alors la même mesure de probabilité sur <math>(S^T , \mathcal{B}(S^T))</math>, c'est-à-dire :

<center><math>\forall\tilde{D}\in\mathcal{B}(S^T), \tilde{\mathbb{P}}_X (\tilde{D})=\tilde{\mathbb{P}}_Y (\tilde{D})</math></center>

=== Version d'un processus stochastique ===

Soient deux processus stochastiques {{math|{''X{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} et {{math|{''Y{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} définis sur le même espace de probabilité <math>(\Omega , \mathcal{F} , P)</math>. On dit que {{math|{''Y{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} est une ''version (ou modification) du processus stochastique'' {{math|{''X{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} si {{math|1=∀ ''t'' ∈ ''T'', ''P''(''X{{ind|t}}'' = ''Y{{ind|t}}'') = 1}}.
Il est clair que si {{math|{''Y{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} est une version de {{math|{''X{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}}, alors ils ont les mêmes lois finis dimensionnelles.

=== Processus stochastiques indistinguables ===

Soient deux processus stochastiques {{math|{''X{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} et {{math|{''Y{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} définis sur le même espace de probabilité <math>(\Omega , \mathcal{F} , P)</math>. On dit que {{math|{''X{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} et {{math|{''Y{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} sont deux processus stochastiques indistinguables s'il existe <math>\Omega'\in\mathcal{F}</math> tel que :

<center><math>P(\Omega')=1, \forall{\omega\in\Omega', \forall{t\in{T}}}, X_t(w)=Y_t(w)</math></center>

Il en découle plusieurs propriétés :
# Si {{mvar|T}} est dénombrable, deux processus sont indistinguables si et seulement s'ils sont des versions l'un de l'autre ;
# Si {{mvar|T}} est non dénombrable, deux processus peuvent être une version l'un de l'autre sans pour autant être indistinguables ;
# Supposons {{math|''T'' {{=}} ℝ}} ou ℝ{{ind|+}} et {{math|{''X{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} et {{math|{''Y{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} deux processus stochastiques tels que pour tout {{math|''ω'' ∈ Ω}}, les applications de {{mvar|T}} dans {{mvar|S}}, <math>t \mapsto X_t(w)</math> et <math>t \mapsto Y_t(w)</math> sont continues à droite (resp. à gauche). Alors, {{math|{''X{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} et {{math|{''Y{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} sont des versions l'un de l'autre si et seulement si {{math|{''X{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} et {{math|{''Y{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} sont indistinguables.

=== Mutuelle indépendance ===

On dit que {{mvar|m}} processus stochastiques {{math|{''X''{{indexp|''t''|1}}<nowiki/>}{{ind|''t'' ∈ ''T''}},..., {''X{{indexp|t|m}}<nowiki/>}''{{ind|''t'' ∈ ''T''}}}}  sont mutuellement indépendants si <math>\forall k^1, ...,k^m\in\mathbb{N}^*</math> et <math>\forall (t^1_1, ..., t^1_{k_1})\in T^{k_1}, ..., (t^m_1, ..., t^m_{k_m})\in T^{k_m}</math>, les vecteurs aléatoires <math>\big({X^1_{t^1_1}}, ...,{X^1_{t^1_{k_1}}}\big), ..., \big({X^m_{t^m_1}}, ...,{X^m_{t^m_{k_m}}}\big)</math> sont mutuellement indépendants.


=== Mesurabilité d'un processus stochastique ===

On suppose {{math|''T'' ⊂ ℝ{{exp|''n''}}}}. On dit qu'un processus stochastique {{math|{''X{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} est mesurable si l'application suivante est mesurable :

<center><math>\begin{align}
 (\Omega\times{T} , \mathcal{F}\otimes\mathcal{B}(T)) &\to (S , \mathcal{B}(S)) \\
 (w, t) &\mapsto X_t(w)
\end{align}</math></center>

Supposons que {{math|''T'' {{=}} ℝ}} ou ℝ{{ind|+}} et que {{math|{''X{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} est un processus à trajectoires continues à droite (respectivement continues à gauches), i.e. {{math|∀ ''w'' ∈ Ω, ''X''{{ind|.}}(''w'')}} est continue à droite (resp. continues à gauches). 
Alors, {{math|{''X{{ind|t}}''}{{ind|''t'' ∈ ''T''}}}} est mesurable.

== Voir aussi ==

=== Bibliographie ===
* {{Ouvrage|auteur1=Sabin Lessard|titre=Processus stochastiques|sous-titre=cours et exercices corrigés|éditeur=|collection=Ellipses|année=2014|isbn=}}. 
* {{Ouvrage|auteur1=Jean-Claude Laleuf|titre=Processus et intégrales stochastiques|éditeur=|collection=Ellipses|année=2014|isbn=}}. 
* {{Ouvrage|auteur1=Valérie Girardin|auteur2=Nikolaos Limnios|titre=Probabilités|sous-titre=Processus stochastiques et applications|éditeur=|collection=Vuibert|année=2014|isbn=}}.
* {{Ouvrage|auteur1=Yvon Mori|titre=Signaux aléatoires et processus stochastiques|éditeur=Hermes/hhhhhh|année=2014|isbn=}}.
* {{Ouvrage|auteur1=Jacques Franchi|titre=Processus aléatoires à temps discret : Cours, exercices et problèmes corrigés|éditeur=|collection=Ellipses|année=2013|isbn=}}.
* {{Ouvrage|auteur1=F. Comets|auteur2=T. Meyre|titre=Calcul stochastique et modèles de diffusions|sous-titre=cours et exercices corrigés|éditeur=[[Éditions Dunod|Dunod]]|année=2006|pages totales=324|isbn=978-2-10-050135-9}}
* {{Ouvrage
| langue=en
| prénom1=Y. K.
| nom1=Lin
| titre=Probabilistic Theory of Structural Dynamics
| lieu=New York
| éditeur=Robert E. Krieger Publishing Company
| année=1976
| mois=juillet
| pages totales=368
| isbn=0-88275-377-0
}}
* G.Plemanski, ''Plemanski et le rêve "cassusien" (Plemanski i sen "kassowski"),'' Warsaw, 1965

=== Articles connexes ===
* [[Bruit blanc]]
* [[Intégrale d'Itō]]
* [[Mouvement brownien]]
* [[Processus de comptage]]
* [[Processus continu]]
* [[Processus ponctuel]]
* [[Processus de Markov]]
* [[Rapport signal sur bruit]]
* [[Formule des probabilités composées]]

{{Palette|Probabilités et statistiques}}
{{Portail|probabilités et statistiques}}

[[Catégorie:Processus stochastique|*]]