Surface deformation analysis of dense GPS networks based on intrinsic geometry: deterministic and stochastic aspects

In this contribution, the regularized Earth’s surface is considered as a graded 2D surface, namely a curved surface, embedded in a Euclidean space . Thus, the deformation of the surface could be completely specified by the change of the metric and curvature tensors, namely strain tensor and tensor of change of curvature (TCC). The curvature tensor, however, is responsible for the detection of vertical displacements on the surface. Dealing with eigenspace components, e.g., principal components and principal directions of 2D symmetric random tensors of second order is of central importance in this study. Namely, we introduce an eigenspace analysis or a principal component analysis of strain tensor and TCC. However, due to the intricate relations between elements of tensors on one side and eigenspace components on other side, we will convert these relations to simple equations, by simultaneous diagonalization. This will provide simple synthesis equations of eigenspace components (e.g., applicable in stochastic aspects). The last part of this research is devoted to stochastic aspects of deformation analysis. In the presence of errors in measuring a random displacement field (under the normal distribution assumption of displacement field), the stochastic behaviors of eigenspace components of strain tensor and TCC are discussed. It is applied by a numerical example with the crustal deformation field, through the Pacific Northwest Geodetic Array permanent solutions in period January 1999 to January 2004, in Cascadia Subduction Zone. Due to the earthquake which occurred on 28 February 2001 in Puget Sound (M _w > 6.8), we performed computations in two steps: the coseismic effect and the postseismic effect of this event. A comparison of patterns of eigenspace components of deformation tensors (corresponding the seismic events) reflects that: among the estimated eigenspace components, near the earthquake region, the eigenvalues have significant variations, but eigendirections have insignificant variations.     

Statistical inference of the eigenspace components of a two-dimensional, symmetric rank-two random tensor

The eigenspace components (i.e. principal components and principal directions) play a key role in the validation of a symmetric rank-two random tensor, e.g. for strain and stress. They classify deformation and stress patterns in earthquake regions, plate tectonics and glacial isostatic adjustment (postglacial rebound). It is assumed that the strain or stress tensor has been directly observed or indirectly determined by other measurements. According to the Measurement Axiom, such a symmetric rank-two tensor is considered random. For its statistical inference, the random tensor is assumed to be tensor-valued Gauss–Laplace normally distributed. The eigenspace synthesis relates the eigenspace elements to the observations by means of a nonlinear vector-valued function, thus establishing a special nonlinear multivariate Gauss–Markov model. For its linearized form, the best linear uniformly unbiased estimation (BLUUE) of the eigenspace elements and the best invariant quadratic uniformly unbiased estimate (BIQUUE) of its variance–covariance matrix have been successfully constructed. The related linear hypothesis test has documented large confidence regions for both eigenvalues and eigendirections based upon real measurement configurations. They lead to a statement of caution when dealing with data concerning extension and contraction, as well as the orientation of principal stresses.     

The oblique azimuthal projection of geodesic type for the biaxial ellipsoid: Riemann polar and normal coordinates

Summary Riemann polar/normal coordinates are the constituents to generate the oblique azimuthal projection of geodesic type, here applied to the reference ellipsoid of revolution (biaxial ellipsoid).Firstly we constitute a minimal atlas of the biaxial ellipsoid built on {ellipsoidal longitude, ellipsoidal latitude} and {metalongitude, metalatitude}. TheDarboux equations of a 1-dimensional submanifold (curve) in a 2-dimensional manifold (biaxial ellipsoid) are reviewed, in particular to represent geodetic curvature, geodetic torsion and normal curvature in terms of elements of the first and second fundamental form as well as theChristoffel symbols. The notion of ageodesic anda geodesic circle is given and illustrated by two examples. The system of twosecond order ordinary differential equations of ageodesic (Lagrange portrait) is presented in contrast to the system of twothird order ordinary differential equations of ageodesic circle (Proofs are collected inAppendix A andB). A precise definition of theRiemann mapping/mapping of geodesics into the local tangent space/tangent plane has been found.Secondly we computeRiemann polar/normal coordinates for the biaxial ellipsoid, both in theLagrange portrait (Legendre series) and in theHamilton portrait (Lie series).Thirdly we have succeeded in a detailed deformation analysis/Tissot distortion analysis of theRiemann mapping. The eigenvalues — the eigenvectors of the Cauchy-Green deformation tensor by means of ageneral eigenvalue-eigenvector problem have been computed inTable 3.1 andTable 3.2 (₁, ₂ = 1) illustrated inFigures 3.1, 3.2 and3.3. Table 3.3 contains the representation ofmaximum angular distortion of theRiemann mapping. Fourthly an elaborate global distortion analysis with respect toconformal Gau-Krüger, parallel Soldner andgeodesic Riemann coordinates based upon theAiry total deformation (energy) measure is presented in a corollary and numerically tested inTable 4.1. In a local strip [-l _E,l _E] = [-2°, +2°], [b _S,b _N] = [-2°, +2°]Riemann normal coordinates generate the smallest distortion, next are theparallel Soldner coordinates; the largest distortion by far is met by theconformal Gau-Krüger coordinates. Thus it can be concluded that for mapping of local areas of the biaxial ellipsoid surface the oblique azimuthal projection of geodesic type/Riemann polar/normal coordinates has to be favored with respect to others.     

The Stokes and Vening-Meinesz functionals in a moving tangent space

The regularized solution of the external sphericalStokes boundary value problem as being used for computations of geoid undulations and deflections of the vertical is based upon theGreen functions S ₁(₀, ₀, , ) ofBox 0.1 (R = R ₀) andV ₁(₀, ₀, , ) ofBox 0.2 (R = R ₀) which depend on theevaluation point {₀, ₀} S _R0 ² and thesampling point {, } S _R0 ² ofgravity anomalies (, ) with respect to a normal gravitational field of typegm/R (free air anomaly). If the evaluation point is taken as the meta-north pole of theStokes reference sphere S _R0 ² , theStokes function, and theVening-Meinesz function, respectively, takes the formS() ofBox 0.1, andV ₂() ofBox 0.2, respectively, as soon as we introduce {meta-longitude (azimuth), meta-colatitude (spherical distance)}, namely {A, } ofBox 0.5. In order to deriveStokes functions andVening-Meinesz functions as well as their integrals, theStokes andVening-Meinesz functionals, in aconvolutive form we map the sampling point {, } onto the tangent plane T₀S _R0 ² at {₀, ₀} by means ofoblique map projections of type(i) equidistant (Riemann polar/normal coordinates),(ii) conformal and(iii) equiareal.Box 2.1.–2.4. andBox 3.1.– 3.4. are collections of the rigorously transformedconvolutive Stokes functions andStokes integrals andconvolutive Vening-Meinesz functions andVening-Meinesz integrals. The graphs of the correspondingStokes functions S ₂(),S ₃(r),,S ₆(r) as well as the correspondingStokes-Helmert functions H ₂(),H ₃(r),,H ₆(r) are given byFigure 4.1–4.5. In contrast, the graphs ofFigure 4.6–4.10 illustrate the correspondingVening-Meinesz functions V ₂(),V ₃(r),,V ₆(r) as well as the correspondingVening-Meinesz-Helmert functions Q ₂(),Q ₃(r),,Q ₆(r). The difference between theStokes functions / Vening-Meinesz functions andtheir first term (only used in the Flat Fourier Transforms of type FAST and FASZ), namelyS ₂() – (sin /2)^–1,S ₃(r) – (sinr/2R ₀)^–1,,S ₆(r) – 2R ₀/r andV ₂() + (cos /2)/2(sin² /2),V ₃(r) + (cosr/2R ₀)/2(sin² r/2R ₀),, illustrate the systematic errors in theflat Stokes function 2/ or flatVening-Meinesz function –2/². The newly derivedStokes functions S ₃(r),,S ₆(r) ofBox 2.1–2.3, ofStokes integrals ofBox 2.4, as well asVening-Meinesz functionsV ₃(r),,V ₆(r) ofBox 3.1–3.3, ofVening-Meinesz integrals ofBox 3.4 — all of convolutive type — pave the way for the rigorousFast Fourier Transform and the rigorousWavelet Transform of theStokes integral / theVening-Meinesz integral of type equidistant, conformal and equiareal.     

Conventional terrestrial system by VLBI a kinematic approach

The paper examines the potential ofVLBI time delay observables for the establishment and maintenance of a Conventional Terrestrial System (CTS). TheCTS is defined in2-D by the standard epoch positions and velocities of a network of control points located on a spherical reference surface. VLBI time delay observables are sensitive to the rotational motion of theCTS control points with respect to a Conventional Inertial System (CIS) which is represented by a network of radio sources. The motion of a control point with respect to theCIS is partitioned into global and regional components. The global components represent the rotational motion of the sphere with respect to theCIS, while the regional components represent the motion of theCTS points with respect to the sphere.     

A demonstration of 1–2 parts in 107 accuracy using GPS

By interferometric analysis ofGPS phase observations made at Owens Valley, Mojave, and Mammoth Lakes, California, we determined the coordinate components of the71–245–313 km triangle of baselines connecting these sites. A separate determination was made on each of four days, April 1–4, 1985. The satellite ephemerides used in these determinations had been derived from observations on other baselines. Therms scatters of the four daily determinations of baseline vector components about their respective means ranged from a minimum of6 mm for the north component of the71-km baseline to a maximum of34 mm for the vertical component of the245-km baseline. To test accuracy, we compared the mean of ourGPS determinations of the245-km baseline between Owens Valley and Mojave with independent determinations by others using very-long-baseline interferometry(VLBI) and satellite laser ranging(SLR). TheGPS-VLBI difference was within 2 parts in10 ⁷ for every vector component. TheGPS-SLR difference was within6 parts in10 ⁸ in the horizontal coordinates, but83 mm in height.     

Approximate representation of thep-norm distribution

［1］Liu D J,Shi W Z,Tong X H,et al.Precision analysis and quality cont rol of GIS spatial data.Shanghai:Shanghai Publishing House of Scientific Documen ts,1999 ［2］Chen X R,Fang Z B,Li G Y,et al.Non_parameter statistics.S hanghai:Shanghai Publishing House of Science and Technology,1989 ［3］Li Q H,Tao B Z.Application of probability statistical theory in survey ing.Beijing:Beijing Publishing House of Surveying and Mapping,1982 ［4］Sun H Y.p_norm distribution theory and its application in surveyin g data processing:[Ph.D Thesis].Wuhan:Wuhan Technical University of Surveying and Mapping,1995     

Nonlinear least-squares method via an isomorphic geometrical setup

The resolution of a nonlinear parametric adjustment model is addressed through an isomorphic geometrical setup with tensor structure and notation, represented by a u-dimensional “model surface” embedded in a flat n-dimensional “observational space”. Then observations correspond to the observational-space coordinates of the pointQ, theu initial parameters correspond to the model-surface coordinates of the “initial” pointP, and theu adjusted parameters correspond to the model-surface coordinates of the “least-squares” point . The least-squares criterion results in a minimum-distance property implying that the vector Q must be orthogonal to the model surface. The geometrical setup leads to the solution of modified normal equations, characterized by a positive-definite matrix. The latter contains second-order and, optionally, thirdorder partial derivatives of the observables with respect to the parameters. This approach significantly shortens the convergence process as compared to the standard (linearized) method.     

Intuitive derivation of loop inverses and array algebra

Array algebra forms the general base of fast transforms and multilinear algebra making rigorous solutions of a large number (millions) of parameters computationally feasible. Loop inverses are operators solving the problem of general matrix inverses. Their derivation starts from the inconsistent linear equations by a parameter exchangeX→L ₀, where X is a set of unknown observables,A ₀ forming a basis of the so called “problem space”. The resulting full rank design matrix of parameters L₀ and its ℓ-inverse reveal properties speeding the computational least squares solution expressed in observed values . The loop inverses are found by the back substitution expressing ∧X in terms ofL through . Ifp=rank (A) ≤n, this chain operator creates the pseudoinverseA ⁺. The idea of loop inverses and array algebra started in the late60's from the further specialized case,p=n=rank (A), where the loop inverse A ₀ ⁻¹ (AA ₀ ⁻¹ )^ℓ reduces into the ℓ-inverse A^ℓ=(A^TA)⁻¹A^T. The physical interpretation of the design matrixA A ₀ ⁻¹ as an interpolator, associated with the parametersL ₀, and the consideration of its multidimensional version has resulted in extended rules of matrix and tensor calculus and mathematical statistics called array algebra.     

An algorithm for the inverse of a multivariate homogeneous polynomial of degreen

Summary Various geodetic problems (the free nonlinear geodetic boundary value problem, the computation of Gauß-Krüger coordinates or UTM coordinates, the problem of nonlinear regression) demand theinversion of an univariate, bivariate, trivariate, in generalmultivariate homogeneous polynomial of degree n. The new algorithm which is oriented towardsSymbolic Computer Manipulation is based upon the algebraic power base computation with respect toKronecker-Zehfu product structure leading to the solution of a system oftriangular matrix equations: Only the first row of the inverse triangular matrix has to be computed. TheSymbolic Computer Manipulation program of the GKS algorithm is available from the authors.     

Second-order derivatives in a local frame developed in spheroidal and spherical coordinates

Second-order derivatives of a general scalar function of position (F) with respect to the length elements along a family of local Cartesian axes are developed in the spheroidal and spherical coordinate systems. A link between the two kinds of formulations is established when the results in spherical coordinates are confirmed also indirectly, through a transformation from spheroidal coordinates. IfF becomesW (earth's potential) the six distinct second-order derivatives—which include one vertical and two horizontal gradients of gravity—relate the symmetric Marussi tensor to the curvature parameters of the field. The general formulas for the second-order derivatives ofF are specialized to yield the second-order derivatives ofU (standard potential) and ofT (disturbing potential), which allows the latter to be modeled by a suitable set of parameters. The second-order derivatives ofT in which the property ΔT=0 is explicitly incorporated are also given. According to the required precision, the spherical approximation may or may not be desirable; both kinds of results are presented. The derived formulas can be used for modeling of the second-order derivatives ofW orT at the ground level as well as at higher altitudes. They can be further applied in a rotating or a nonrotating field. The development in this paper is based on the tensor approach to theoretical geodesy, introduced by Marussi [1951] and further elaborated by Hotine [1969], which can lead to significantly shorter demonstrations when compared to conventional approaches.     

Formal difference analysis and unification onp-norm distribution density functions

The cause of the formal difference ofp-norm distribution density functions is analyzed, two problems in the deduction ofp-norm formulating are improved, and it is proved that two different forms ofp-norm distribution density functions are equivalent. This work is useful for popularization and application of thep-norm theory to surveying and mapping. Supported by Scientific Research Fund of Human Province Education Department (No. 03C483).     

Stability of the determination of earth rotation parameters (ERP) from VLBI

The observations of theIRIS network are used to study the stability of the determination ofERP fromVLBI. It is concluded that the uncertainties in the initial values ofERP, the errors of other parameters and analyst noise are at the same level as the formal errors in the determination ofERP. The geometric effect on the determination ofERP is important and gives rise to systematic errors. The geometric effect on polar motion is greate than onUT1, and much greater for the continental network. The stability of the determination ofERP fromVLBI can be improved either by creating new stations at reasonable locations in a network or by creating new networks. At last a comparison is provided between the determinations ofERP from theIRIS andTEMPO networks.     

Elliptical harmonic series and the original Stokes problem with the boundary of the reference ellipsoid

Since the earth is closer to a revolving ellipsoid than a sphere, it is very important to study directly the original model of the Stokes' BVP on the reference ellipsoid, where denotes the reference ellipsoid, is the Somigliana normal gravity, andh is the outer normal direction of. This paper deals with: 1) simplification of the above BVP under preserving accuracy to , 2) derivation of computational formula of the elliptical harmonic series, 3) solving the BVP by the elliptical harmonic series, and 4) providing a principle for finding the elliptical harmonic model of the earth's gravity field from the spherical harmonic coefficients ofg. All results given in the paper have the same accuracy as the original BVP, that is, the accuracy of the BVP is theoretically preserved in each derivation step.     

On the separation of gravitation and inertia and the determination of the relativistic gravity field in the case of free motion

Summary The authors explored the possibility of separating gravitation from inertia in the frame of general relativity. The Riemann tensor is intimately related with gravitational fields and has nothing to do with inertial effects. One can judge the existence or nonexistence of a gravitational field according as the Riemann tensor does not vanish or vanishes. In the free fall case, by using a gradiometer on a satellite, gravitational effects can be separated from inertia completely. Furthermore, the authors put forward a general method of determining the relativistic gravity field by using gradiometers mounted on satellites. At the same time the following two statements are proved: in the case of using gradiometers on a satellite, with some kind of approximation the Riemann tensorR can be found; in the case of free motion, if the measured Riemannian componentsR _(i0j0) are equal to zero, the Riemann tensorR equals zero.     

Observable quantities in satellite gradiometry

Deriving the observables for satellite gravity gradiometry, several workers have identified the invariants under spatial rotation of the gravitation gradient tensor for obtaining quantities insensitive to the precise (unrecoverable) attitude of the satellite. Extending this work we show:

1. Considering that an approximate (not precise) attitude recovery for these, three-axes-stabilised, satellites is to be expected, one can identifythree independent invariants instead of two.
2. Besides studying gradient tensor invariants for one observation time, one should also study (as withGPS observables) first and seconddifferences between successive tensor component values in time. Bias and trend patterns in the measured tensor components caused by satellite rotation uncertainty, and by attitude uncertainty in some cross components, are shown to cancel. Information thus obtained is exclusively high-frequency, however.

Observation equations for gradiometry are derived taking three satellite attitude angles into account. Various alternatives for the satellite’s nominalattitude law are discussed.     

A note on adjustment of free networks

The present paper deals with the least-squares adjustment where the design matrix (A) is rank-deficient. The adjusted parameters \(\hat x\) as well as their variance-covariance matrix ( \(\sum _{\hat x} \) ) can be obtained as in the “standard” adjustment whereA has the full column rank, supplemented with constraints, \(C\hat x = w\) , whereC is the constraint matrix andw is sometimes called the “constant vector”. In this analysis only the inner adjustment constraints are considered, whereC has the full row rank equal to the rank deficiency ofA, andAC ^T =0. Perhaps the most important outcome points to the three kinds of results

1. A general least-squares solution where both \(\hat x\) and \(\sum _{\hat x} \) are indeterminate corresponds tow=arbitrary random vector.
2. The minimum trace (least-squares) solution where \(\hat x\) is indeterminate but \(\sum _{\hat x} \) is detemined (and trace \(\sum _{\hat x} \) corresponds tow=arbitrary constant vector.
3. The minimum norm (least-squares) solution where both \(\hat x\) and \(\sum _{\hat x} \) are determined (and norm \(\hat x\) , trace \(\sum _{\hat x} \) corresponds tow?0

     

Use of phase data for accurate differential GPS kinematic positioning

DifferentialGPS land kinematic positioning tests conducted at velocities of20 to100 km/h over a baseline of1,000 km using a combination of pseudo-range and phase measurements are described. An algorithm designed for high reliability and accuracy of1 to2 m in real time field operational mode was utilized. The relatively long baseline used for the tests provided valuable information on the effects of broadcast ephemeris errors on the differential results. The tests were conducted with two Texas InstrumentsTI4100 receivers using both theP andC/A codes to assess the effect of both code measurement noise, and ionospheric irregularities on differential positioning over such a baseline. The use of cesium clocks to constrain time was also tested. Accuracies (in terms of repeatabilities) of the order of1 to3 ppm, i.e.,1 to3 m, were obtained.     

A graph-theoretical algorithm for detecting configuration defects in triangular geodetic networks

Summary The problem to detect configurational defects in geodetic networks is solved by a graph-theoretical algorithm, here applied to triangular geodetic networks and being presented as a computer program in the Appendix. Based on an analysis of the incidence matrix the algorithm detects, for instance, missing vertical directions which cause two types of deficiencies. In case of only vertical direction measurements from one point to another, but no counter vertical direction measurements backwards, the rank deficiency of the first type is identified. Furtheron if there are “bare” points with no vertical direction measurements at all, the rank deficiency of the second type is found. The algorithm has proved a rank deficiency of 4+13=17 in theSW Finland triangular network which before has been found as the surprizing rank defect ofTAGNET 3d-operational adjustment.