Properties of Covariance and Variogram Functions CWR 6536 Stochastic Subsurface Hydrology The Covariance Function • The covariance function must be positive definite which requires that: 1. πππ 0 = πππ πΎ(π₯) ≥ 0 2. πππ (β) = πππ (−β) 3. πππ (β) ≤ πππ 0 Variance cannot be negative Covariance function is even Covariance decreases from a maximum at h=0 • positive definiteness guarantees that all linear combinations of the random variable will have nonnegative variances. This implies: ππ π = π πππΎ π₯π πππ π = πππππππ(π₯π − π₯π) ≥ 0 for any λi π π Mathematical condition for positive definiteness The Variogram Function • The negative semivariogram function must be conditionally positive definite which requires that: 1. πΎππ 0 = 0 2. πΎππ (β) = πΎππ (−β) ≥ 0 Variogram function is even 3. γkk(h) ≥ γkk 0 Degree of difference increases from a minimum at h=0 • conditional positive definiteness guarantees that all linear combinations of the random variable will have non-negative variances. This implies: ππ π = πππΎ π₯π πππ π ππ = 0 π‘βππ πππ π = − π Condition required in the case where P(0) does not exist πππππΎππ(π₯π − π₯π) ≥ 0 for any λπ π π Mathematical condition for conditional positive definiteness • Positive-definiteness is related to the number of dimensions in space over which the function is defined. • Positive definiteness in higher order dimensional space guarantees positive definiteness in lower order dimensional space, but not vice-versa • Must fit functions to sample covariances/ variograms which are positive definite in the appropriate dimensional space Behavior of Covariance/Variogram functions near the origin • Parabolic behavior Variability increases very slowly with separation, highly regular random field Example: Gaussian model −β2 2 2 π ) πΎ β = π (1 − π 2 −β 2 P β = π2π π • Linear behavior More rapid increase in variability with separation, Example: Exponential model Example: Spherical model β πΎ3ββ 1=β2π2(1 − π − π ) πΎ β = π2 2π− 2πP2 0β ≤=β π≤2ππ−β π = π2 h ≥ π or exponential model Behavior of Covariance/Variogram functions near the origin • The nugget effect • Pure nugget effect Discontinuity at origin Total absence of correlation Behavior of Covariance/Variogram functions near the infinity • The presence of a sill on the variogram indicates second-order stationarity, i.e. the variance and covariance exist • If the variogram increases more slowly than h2 at infinity, this indicates the process may be intrinsically stationary ππ 2, Pkk β Do not exist for this case πΎ(β) →0 β →∞ β 2 if lim Intrinsically stationary i.e. π < 2 for πΎ β = βπ • If the variogram increases faster than h2 this suggests the presence of higher order non-stationarity e.g. fractal behavior The hole effect • A variogram (covariance) exhibits the hole effect if its growth (decay) is non-monotonic Ex. πΎ β = π2 1 − sinβ β P(h)= π2 sin β β or 2 P(h)= π2 1 − β3 π − β a2 • The hole effect is often the result of some ordered periodicity in the data. If possible take care of this deterministically e.g. layered media Example of the hole effect Nested Structures • Nested structures are the result of observation of different scales of variability, i.e. - measurement error - pore-to-core scale variability - core-to-lens scale variability - lens-to-aquifer scale variability • Variogram of total random field is represented by the sum of variograms at each scale Might observe nugget effect if meas. Grid is not fine enough Nugget effect closely related to scale of observation and measurement grid The Cross-Covariance & CrossVariogram Functions • In general the cross covariance can be an odd function, i.e. E[K(xi),f(xj)] πππ π₯π , π₯π ≠ πππ π₯π, π₯π but πππ π₯π , π₯π = πππ π₯π, π₯π πππ β ≠ πππ −β but πππ β = πππ −β Examples? h=(xi-xj) • The cross variogram is always a symmetric even function because interchanging xi and xj (or substituting –h for h) makes no difference, i.e. 1 πΎππ β = πΈ πΎ π₯ − πΎ(π₯ + β) π π₯ − π(π₯ + β) 2 1 = πππ 0 − πππ β + πππ −β 2 “averages out” potentially odd terms The Cross-Covariance & CrossVariogram Functions • In empirical modeling the asymmetry of the crosscovariance function is often neglected because: – Geostatistical applications generally use the crossvariogram which is symmetric – Lack of data typically prevents discovering the physical reality of the asymmetry – Fitting valid models to asymmetric cross-covariances is difficult • However in physically-based stochastic modeling asymmetric cross-covariances often arise. Cross-covariance and Crossvariogram models • Use of N multivariate random fields requires modeling N*(N+1)/2 auto and cross covariance (or variogram) models • These models cannot be fit independently from one another because entire covariance matrix must be positive definite (positive semi-definite for variograms) Cross-covariance and Crossvariogram models • Ensuring that the cross-covariance (variogram) matrices for multivariate random fields are positive (semi) definite can be tedious when fitting models to data. Goovaerts (p. 108-123) outlines one technique (linear co-realization) for doing so • Stochastic modeling techniques ensure that the resulting matrices are positive definite Rules for Linear Model of Coregionalization (from Goovaerts) • Every structure appearing in the cross semi-variogram must be present in all auto- semivariograms • If a structure is absent on an auto-semivariogram it must be absent on all cross semivariograms involving this variable • Each auto- or cross-semi variogram need not include all structures • Structures appearing in all auto-semivariograms need not be present in all cross semivariograms • There are constraints on the coefficients of the structures to ensure overall positive definiteness