Fonction aléatoire intrinsèque

Une fonction aléatoire intrinsèque d'ordre k (en abrégé FAI-k) est une classe de fonction aléatoire respectant certaines conditions.

Cette propriété étend celle de fonction aléatoire intrinsèque. Une fonction aléatoire intrinsèque stricte est une représentation de FAI-0.

On utilisera les notations suivantes dans la suite:

• Z une fonction aléatoire, définie sur un support borné
• λ une mesure, c'est-à-dire un système de poids λ_i associés aux points x_i de l'espace.
• Z̃ la FAI-k dont Z est une représentation
• τ_h la translation selon un vecteur h

Combinaisons linéaires autorisées

Une combinaison linéaire est dite autorisée (CLA) si elle admet une variance et qu'elle est de plus stationnaire d'ordre 2. On peut montrer que cela implique que $\scriptstyle \sum_i\lambda_if_{l_i}=0$ pour une famille complète f_l d'exponentielles-polynômes (de combinaisons linéaires de produits de polynômes et d'exponentielles de formes linéaires sur les coordonnées).

Dans la pratique, cette famille sera prise comme la famille complète des monômes de degré inférieur à un certain k, et on parlera alors de combinaisons linéaires autorisées d'ordre k (CLA-k). On notera Λ_k l'ensemble des CLA-k.

Fonctions aléatoires intrinsèques

Soit une fonction aléatoire non stationnaire Z et une FAI-k Z̃. Les trois énoncés suivants sont équivalents :

• Z est la représentation de Z̃;
• pour toute mesure autorisée λ∈Λ_k, la combinaison linéaire $\scriptstyle \sum_i\lambda_iZ\left(x_i+h\right)$ est stationnaire d'ordre 2 en h;
• pour toute mesure autorisée λ∈Λ_k, $\scriptstyle \tilde Z\left(\lambda\right){{=}}\int \lambda\left(\operatorname d x\right)Z\left(x\right)$.

De manière équivalente, une FAI-k est une application linéaire Z̃ d'un espace Λ_k de CLA-k dans un espace de Hilbert de variables aléatoires d'espérance nulle, avec Z̃(τ_hλ) stationnaire en h. On peut supposer dans la définitionque l'espérance d'une CLA-k est nulle, quitte à passer à l'ordre k+1. On appelle dérive de la FAI-k le polynôme homogène de degré k+1 de la projection de toute représentation sur l'espace des invariants par translation^{[pas clair]}. Toute FAI-k est une FAI-(k+1) sans dérive.

Théorème des représentations — Toute FAI-k admet des représentations. Soit Z une représentation, les représentations sont exactement de la forme $\scriptstyle Z(x)+\sum_l A_lf_l(x)$ où A_l sont des variables aléatoires quelconques, f_l les monômes de degré au plus k.

En géostatistique intrinsèque, une variable régionalisée sera considérée comme réalisation d'une représentation d'une FAI-k. Une caractéristique intrinsèque sera tout paramètre du modèle probabiliste dépendant de la FAI-k et non de la variable régionalisée. Par exemple, la dérive n'est pas intrinsèque.

Covariance généralisée

Soit n la dimension de l'espace ℝⁿ de définition de la variable régionalisée étudiée.

Une fonction K définie sur ℝⁿ est une covariance généralisée pour la FAI-k Z̃ si:

• $\scriptstyle \forall\lambda\in\Lambda_k, \mathbf{Var}[\tilde Z\left(\lambda\right)]{{=}}\int\int\lambda\left(\operatorname d x\right)K\left(x-y\right)\lambda\left(\operatorname d y\right)$
• $\scriptstyle K\left(h\right){{=}}K\left(-h\right)$

théorème fondamental de géostatistique intrinsèque — 

• Toute FAI-k admet au moins une covariance généralisée.
• La classe de ses covariances généralisées s'obtient par ajout à l'une quelconque de polynômes paires de degré au plus 2k

Dans ce cas : $\forall\lambda,\mu\in\Lambda_k, \mathbf{Cov}\left[\tilde Z\left(\lambda\right),\tilde Z\left(\mu\right)\right]=\int\int\lambda\left(\operatorname d x\right)K\left(x-y\right)\mu\left(\operatorname d y\right)$, et dans le cas sans dérive : $\forall\lambda,\mu\in\Lambda_k, \mathbf{E}\left[\tilde Z\left(\lambda\right)\tilde Z\left(\mu\right)\right]=\int\int\lambda\left(\operatorname d x\right)K\left(x-y\right)\mu\left(\operatorname d y\right)$

De plus, $K\left(h\right)\underset{ h \rightarrow +\infty }{=} O \left( \left| h \right|^{2k+2}\right)$, et $\tilde Z\mathrm{~est~sans~d\acute erive~ssi~}\lim_{h \to \infty} \frac{K\left(h\right)}{\left|h\right|^{2k+2}}=0$.

Fonction de type positif conditionnel

Une fonction symétrique K est dite de type positif conditionnel sur Λ si :

$\forall \lambda\in\Lambda,\iint \lambda\left(\operatorname dx\right)K\left(x-y\right)\lambda \left(\operatorname d y\right)\ge0$

Toute covariance généralisée d'une FAI-k est de type positif conditionnel sur Λ_k et réciproquement.

Une fonction symétrique K est dite de type positif conditionnel strict sur Λ si de plus:

$\forall \lambda\in\Lambda,\iint \lambda\left(\operatorname dx\right)K\left(x-y\right)\lambda \left(\operatorname d y\right)=0\Rightarrow \lambda=0$

Les polynômes pairs de degré au plus 2k sont les seules fonctions continues symétriques K pour lesquelles $\forall \lambda\in\Lambda,\iint \lambda\left(\operatorname dx\right)K\left(x-y\right)\lambda \left(\operatorname d y\right)=0$