16.08.2013 Views

Geodæsi og Geostatistik

Geodæsi og Geostatistik

Geodæsi og Geostatistik

SHOW MORE
SHOW LESS

Transform your PDFs into Flipbooks and boost your revenue!

Leverage SEO-optimized Flipbooks, powerful backlinks, and multimedia content to professionally showcase your products and significantly increase your reach.

1<br />

Noter til<br />

Geofysik 5<br />

<strong>Geodæsi</strong> <strong>og</strong> <strong>Geostatistik</strong><br />

C.C.Tscherning<br />

Niels Bohr Institutet<br />

Forår 2009.


Indhold:<br />

1. Indledning<br />

1.1. Hvad er geodæsi ?<br />

2. Matematiske Hjælpemidler. Koordinater.<br />

2.1 De mange bredder<br />

2.2 Enheder<br />

2.3 Elementære formler i planen eller på en kugle<br />

2.4 Kortprojektioner <strong>og</strong> kort.<br />

3. Geodætisk Statistik <strong>og</strong> mindste kvadraters metode<br />

3.1 Statistiske Grundbegreber<br />

3.2 Linearisering<br />

3.3 Mindste kvadraters metode<br />

3.4 Løsning af normalligningerne<br />

4. Materiale fra Allan A.Nielsen, DTU:<br />

Allan Aasbjerg Nielsen: Least Squares Adjustment: Linear and Nonlinear Weighted<br />

Regression Analysis. Baggrundsmateriale til første forelæsning i geostatistik<br />

Allan Aasbjerg Nielsen: <strong>Geostatistik</strong> <strong>og</strong> analyse af spatielle data. Baggrundsmateriale til<br />

anden forelæsning i geostatistik<br />

Allan Aasbjerg Nielsen: Orth<strong>og</strong>onal Transformations. Baggrundsmateriale til tredje<br />

forelæsning i geostatistik<br />

2


Indledning.<br />

Disse noter er udarbejdet med henblik på undervisningen i 2 års-kurset kurset i <strong>Geodæsi</strong> <strong>og</strong><br />

<strong>Geostatistik</strong> på København Universitet. Noterne er dels et supplement til <strong>og</strong> dels en uddybning af<br />

læreb<strong>og</strong>en af W.Torge: Geodesy, 3.ed., 2001, <strong>og</strong> dels en helt elementær introduktion til emnet<br />

kortprojektioner. Endvidere er der udarbejdet Power-Point slides til brug for fremlæggelsen i<br />

forelæsningslokalet.<br />

3<br />

<strong>Geostatistik</strong> er en vigtig del af det metodiske grundlag for alle geofysiske dicipliner. Her har geodæsi<br />

en række gode eksempler på statistiske metoder. C.F.Gauss udvikling af mindste-kvadraters metode i<br />

1800-tallet til brug for geodæsi er her et godt eksempel.<br />

Undervisningen suppleres af øvelser, der dels illustrerer teksten i Læreb<strong>og</strong>en, <strong>og</strong> dels giver de<br />

studerende et basalt kendskab til geodætiske målemetoder.<br />

1.1. Hvad er geodæsi ?<br />

<strong>Geodæsi</strong> er det fag eller den videnskab, der har til opgave at bestemme Jordens form. Det vil sige<br />

opmåling <strong>og</strong> afbildning af Jordens overflade, <strong>og</strong> bestemmelse af Jordens tyngdefelt, bunden af vand <strong>og</strong><br />

is-dækkede områder, samt de tidsmæssige ændringer. Det forhold, at bestemmelsen af tyngdefeltet<br />

hører med til geodæsi, har (en af) sin(e) årsager i, at havoverfladen, der jo udgør det mest af Jordens<br />

overflade, er en flade, der under visse forudsætninger falder sammen med en flade hvor<br />

tyngdepotentialet er konstant. Denne flade kaldes geoiden.<br />

<strong>Geodæsi</strong> søger <strong>og</strong>så at løse de samme opgaver for Månen <strong>og</strong> planeterne. Hertil kommer de fagområde<br />

vi i dag kalder positionsbestemmelse. Det er stedsbestemmelse af objekter (skibe, fly, satellitter) i<br />

forhold til Jorden. Hvis "objekterne" bevæger sig taler vi <strong>og</strong>så om navigation, <strong>og</strong> for satellitters<br />

vedkommende om celest mekanik.<br />

<strong>Geodæsi</strong> har en lang række anvendelsesområder, hvor de følgende er de væsentligste:<br />

Ved enhver form for kortlægning tager man udgangspunkt i en række punkter med kendte positioner,<br />

f.eks. kendt ge<strong>og</strong>rafisk bredde <strong>og</strong> længde. Disse punkter benyttes blandt andet til at korrigere et<br />

luftfoto for fejl forårsaget af forvrængninger i fotoet. Bestemmelsen af disse punkters koordinater i et<br />

veldefineret globalt koordinatsystem er en af geodæsiens væsentligste opgaver: At tilvejebringe<br />

grundlaget for nøjagtige landkort.<br />

Ved studiet af Jordens dynamiske ændringer, geodynamik, er et af udgangspunkterne gentagne<br />

positions- eller tyngdebestemmelser, der sammenlignes. <strong>Geodæsi</strong> har derfor geodynamik som et af<br />

sine hovedområder, fælles med en række andre geofysiske <strong>og</strong> geol<strong>og</strong>iske fag.<br />

Hvis man på en uafhængig måde kan finde geoiden, så kan studiet af de tidsmæssige afvigelser fra<br />

denne flade give information om årsagerne til afvigelserne, så som havstrømme, temperaturændringer<br />

ol. Helt basalt fortæller tyngdepotentialets værdier om at vand vil løbe fra et punkt med mindre<br />

potentiale til et punkt med større.<br />

Tyngdekraften, der er lig med størrelsen af potentialets gradient, varierer. Den største variation er<br />

forbundet med Jordens fladtrykning. Når man står på Nordpolen er man tættere på Jordens tunge


4<br />

kerne, end hvis man står på Ækvator. Men hvis man fratrækker denne bredde-afhængige variation, så<br />

fortæller tyngdeanomalien om det der er inde i eller på Jorden. Er der et bjerg, så er tyngden større,<br />

end hvis der er en dal. Og mere interessant, så vil tyngden efter fratrækning af bjerge <strong>og</strong> dale, give os<br />

information om massefordelingen i Jorden. En negativ tyngdeanomali er et tegn på lette masser - vand,<br />

gas, olie.<br />

Tyngden ændres med tiden, idet den er en sum af Jordens tiltrækning, centrifugalkraften <strong>og</strong><br />

tiltrækningen fra Sol <strong>og</strong> Måne. Ligesom vi har tidevand, så har vi <strong>og</strong>så tide variationer af tyngden.<br />

Men da Jordoverfladen ændrer sig på grund af tiltrækningen, så vil man ikke måle de<br />

tyngdeændringer, der svarer til ændringerne af Sol <strong>og</strong> Månes position. Dette kan vi benytte til at sige<br />

n<strong>og</strong>et om elasticitetsforholdene i Jordens indre.<br />

Endelig kan relative positions eller tyngde ændringer give forvarsel om jordskælv eller vulkanudbrud.<br />

1.2. Det fælles referencesystem.<br />

Et fælles referencesystem (Conventional Terrestrial Reference System, CTRS) er defineret som følger:<br />

Det er et sædvanligt tre-retvinklet, Cartesisk, koordinatsystem med nulpunkt (0,0,0) i Jordens<br />

tyngdepunkt. Akserne benævnes (X,Y,Z) eller (X1,X2,X3), se Figur 1.1<br />

Figur 1.1 Ellipsoidiske koordinater ( ϕ, λ)<br />

<strong>og</strong> tredimensionale retvinklede koordinater (X,Y,Z)<br />

Z-aksen går gennem tyngdepunktet, <strong>og</strong> er parallel med Jordens rotationsakse år 1900.0. X - Z planen<br />

er fastlagt astronomisk, så den falder sammen med Greenwich meridian planen.


I dette koordinatsystem er lagt en omdrejnings-ellipsoide, med Z-aksen som symmetri-akse. Dens<br />

dimensioner er givet ved den halve stor-akse, a, den halve lille-akse, b, (i Torge kaldet c !).<br />

Dimensionerne kan <strong>og</strong>så angives ved hjælp af<br />

fladtrykningen f = (a - b)/a eller<br />

1. excentricitet e 2 = (a 2 - b 2 ) / a 2 .<br />

Pas på med b, der i Torge <strong>og</strong>så benyttes for bredden !<br />

5<br />

Ellipsoiden betragtes som Jordens form i første tilnærmelse. Det er den flade, der danner grundlag for<br />

landkort, ved en afbildning (kortprojektion) fra fladen til planen (R 2 ). Ellipsoiden er valgt, så den<br />

tilnærmer middelhavniveau. I denne forbindelse må man forestille sig middelhavniveau fortsat ind<br />

under landmasserne.<br />

Helt præsist er middelhavniveau en flade hvor tyngdepotentialet er konstant, <strong>og</strong> det er denne flade,<br />

der kaldes geoiden.<br />

Indtil omkring år 1960 kendte man kun små dele af geoidefladen, se Figur 1.2, nemlig over de store<br />

kontinenter. Man fandt ved beregning frem til en ellipsoide, der lokalt passede bedst med<br />

middelhavniveau, <strong>og</strong> ant<strong>og</strong> så, at Jordens tyngdepunkt var sammenfaldende med ellipsoidens centrum.<br />

Da satellitterne kom frem, fandt man ud af, at man havde taget op til 1 km fejl !<br />

til ellipsoiden har næsten samme retning som lodlinien.<br />

Afvigelserne er i middel<br />

30 m, med numerisk<br />

maximum 110 m. Et<br />

andet forhold af<br />

betydning er, at normalen<br />

Vinklen mellem ellipsoide-normalen <strong>og</strong> Ækvatorplanet er den geodætiske eller ge<strong>og</strong>rafiske bredde ϕ<br />

se Figur 1.3. Den fysiske lodretning, der er vinkelret på middelhavniveau, er derfor ganske tæt på<br />

ellipsoide-normalen. Rumvinklen mellem de to retninger kaldes lodafvigelsen.


Lodliniens retning kan bestemmes ved astronomiske målinger, <strong>og</strong> er således en fysisk observerbar<br />

størrelse. Dvs. vi kan ved et eksperiment i naturen bestemme en god tilnærmelse til vor position i<br />

forhold til ellipsoiden.<br />

6<br />

Note: Astronomisk bredde <strong>og</strong> længde observeres ved hjælp af en kikkert hvis lodrette akse er<br />

sammenfaldende med lodlinien. (Ved hjælp af libeller). Udfra kendskabet til stjerners deklination <strong>og</strong><br />

rektascention kan man beregne vinklen mellem zenith <strong>og</strong> den celeste pol (polarafstanden = 90 o -<br />

bredden). Udfra observations tidspunktet kan man beregne den astronomiske længde. Helt simpelt kan<br />

man observere tidspunktet for hvornår en stjerne står højest på himlen. Forskellen mellem dette<br />

tidspunkt (i stjernetid) <strong>og</strong> Rektascentionen giver en vinkel, der er lig med stedets (astronomiske)<br />

længde.<br />

I "gamle" dage var udgangspunktet for stedsbestemmelse et antal punkter med kendt astronomisk<br />

længde <strong>og</strong> bredde. Man vedt<strong>og</strong>, at fastsætte at et af disse punkters bredde <strong>og</strong> længde skulle være lig<br />

med den geodætiske bredde <strong>og</strong> længde. Eller at man bestemte geodætiske længder <strong>og</strong> bredder sådan at<br />

der i området var bedst mulig overensstemmelse mellem geodætiske koordinater <strong>og</strong> astronomiske<br />

koordinater. Dette kaldes fastlæggelse af et geodætisk datum. Figur 1.6 viser de punkter i Danmark<br />

hvor astronomiske bredder <strong>og</strong>/eller længder er kendt.<br />

Fordelen ved at benytte astronomiske metoder var, at man ikke behøvede at have direkte sigte fra<br />

punkt til punkt. Mellem de astronomisk bestemte punkter kunne man så fylde ud ved hjælp af<br />

vinkelmåling (triangulation) <strong>og</strong> afstandsmåling (tri-lateration), se Figur 1.4.<br />

Højderne blev bestemt ved måling af højdedifferenser fra vandstandsmålere ved kysterne.


7<br />

Da højdedifferenser bestemmes med instrumenter (kikkerter) opstillet med aksen sammenfaldende<br />

med lodlinien, så giver lodliniens variation fra sted til sted en fejl, der gør at måling af<br />

højdedifferenser i en lukket kurve ikke giver højdeforskellen nul fra start til slut. Vi skal senere se, at<br />

hvis man ganger differenserne med værdien af tyngden, så får man differenser af tyngdepotential, <strong>og</strong><br />

disse differenser vil summere til 0.<br />

Måling af højder er således i virkeligheden en måling at tyngdepotentialets ændringer. Heldigvis er det<br />

<strong>og</strong>så det der er brug for i praksis, hvor en højdeforskel gerne skulle udtrykke om vand vil løbe fra et<br />

sted til et andet !<br />

Hvis udgangspunktet for en stedsbestemmelse kun var et punkt, så var det nødvendigt at<br />

fastlægge en retning i rummet, for at få det ved triangulation <strong>og</strong> trilateration konstruerede net korrekt<br />

placeret på ellipsoiden. Men retninger (azimuth, se Figur 1.5) kan <strong>og</strong>så fastlægges ved astronomiske<br />

målinger. Helt enkelt kunne man forestille sig at Nordstjernen sad nøjagtigt i den celeste nordpol. Ved<br />

at måle vinklen mellem de lodrette planer, der indeholder henholdsvis Nordstjernen <strong>og</strong> et punkt på<br />

jordoverfladen ville man have fastlagt retningen. (Bemærk at vinklen vil være målt i en plan vinkelret<br />

på kikkertens akse, lodretningen).<br />

Vi skal i det følgende se, hvordan vi ved hjælp af satellitter har løst det problem, at vi ikke - på grund<br />

af jordkrumningen - kan benytte triangulation eller trilateration for store afstande, f.eks. til at forbinde<br />

øer med kontinentet eller kontinenterne.<br />

Vi skal <strong>og</strong>så se, at hvis vi kan bestemme tyngdepotentialet uden at nivellere, så kan vi bestemme<br />

geoiden <strong>og</strong> dermed største delen af Jordens form.


Fig. 1.6. Første-ordens net i Danmark.<br />

File: H:\excerc\g09\kap11.doc 2009-03-31<br />

8


2. Matematiske hjælpemidler. Koordinater.<br />

2.1 De mange bredder.<br />

2.1<br />

I Figur 1.1 i kapitel 1 er der vist et ideelt Kartesiske eller Euklidiske koordinatsystem, med<br />

koordinater ( X, Y, Z) = ( X 1, X 2, X 3). Z-aksen er parallel med Jordens omdrejningsakse, X-Z<br />

planen falder sammen med Greenwich meridianplanen <strong>og</strong> centrum falder i Jordens centrum, et<br />

CTS. Men vi har brug for mange andre typer af koordinater.<br />

Sædvanlige sfæriske koordinater<br />

er polære koordinater i rummet, se Figur 2.1. Omvendt har vi<br />

(2.2)<br />

Til brug på eller nær Jordens overflade benytter vi ge<strong>og</strong>rafiske eller geodætiske koordinater<br />

(, , h) eller (, , H) se Figur 2.1 <strong>og</strong> 2.2.<br />

(2.1)<br />

er vinklen mellem normalen nedfældet fra punktet P på ellipsoiden <strong>og</strong> ækvatorplanet <strong>og</strong> h er<br />

afstanden langs normalen fra ellipsoiden. Da er tæt på vinklen mellem lodlinien <strong>og</strong><br />

Ækvator, blev benyttet til kortlægning baseret på astronomiske målinger.


2.2<br />

I stedet for h benyttes i praksis højden over havet H. Her må vi præcisere, hvad vi mener med<br />

"havet", <strong>og</strong> det er her geoiden, se Figur 2.3.<br />

Sammenhængen er<br />

Vi skal nu udlede sammenhængen mellem de forskellige former for bredde, se Figur 2.4.<br />

Udgangspunktet er ellipsens ligning, som vi her udtrykker i X <strong>og</strong> Z koordinater, da ellipsoiden<br />

fremkommer ved en rotation on Z-aksen,<br />

(2.3)<br />

(2.4)<br />

hvor ellipsens halve storakse er a <strong>og</strong> den halve lilleakse er b. Formel (2.4) udtrykker at<br />

punkterne på ellipsen er det geometriske sted for de punkter, hvor summen af afstanden fra 2<br />

punkter (de 2 focii) er konstant (= 2a). Midtpunktet mellem de to focii kaldes ellipsens<br />

centrum, <strong>og</strong> det skal falde sammen med vort koordinatsystems nulpunkt.<br />

Afstanden E


2.3<br />

(excentriciteten) fra centrum til et af de to focii findes ved Pytagoras<br />

For Jorden benytter vi i dag<br />

a = 6378137.0 m <strong>og</strong><br />

b = 6356752.314 m<br />

Opgave 2.1. Udregn f, e, e' samt E.<br />

For at kunne finde sammenhængen mellem den ge<strong>og</strong>rafiske <strong>og</strong> den geocentriske bredde<br />

betragter vi nu ellipsen som en kurve i planen, dvs. en afbildning<br />

<strong>og</strong>så kaldet en parameterfremstilling. For en cirkel har vi som bekendt<br />

For ellipsen vil vi forsøge at finde et udtryk på samme form<br />

Da ellipsens ligning skal være opfyldt fås<br />

(2.5)<br />

kaldes den reducerede bredde, se Figur 2.5. Geometrisk findes den ved at omskrive ellipsen<br />

med en cirkel med radius a, nedfælde den vinkelrette på X-aksen <strong>og</strong> dernæst forbinde<br />

skæringspunktet med cirklen med centrum i ellipsen.


Vi skal nu benytte til af finde . Den findes simpelthen som 90 o minus tangentens hældning,<br />

(polarafstanden). Tangentens hældning finder vi ved at differentiere<br />

parameterfremstillingen for den kurve, c(), der fremstiller ellipsen.<br />

så<br />

eller<br />

Nu er <strong>og</strong>så<br />

så på ellipsoiden gælder<br />

2.4<br />

Opgave 2.2. Den ge<strong>og</strong>rafiske bredde for et punkt på ellipsoiden er 56 o . Hvad er den reducerede<br />

bredde <strong>og</strong> den geocentriske bredde. Hvis den geocentriske bredde er 56 o , hvad er så de 2<br />

andre bredder ? (a, b som benyttet i opgave 2.1).<br />

Vi kan nu udtrykke den reducerede bredde udfra den ge<strong>og</strong>rafiske bredde, <strong>og</strong> dermed finde X<br />

<strong>og</strong> senere Z udtrykt ved denne. Vi har


Da<br />

så får vi den meget vigtige formel:<br />

Opgave 2.3. = 56 o . Hvad er N ?<br />

Vi har så mere generelt:<br />

Vi mangler nu at udtrykke Z. Her opstiller vi normalens ligning som en ret linie i X-Z<br />

koordinatsystemet, jvf. Figur 2.6 b.<br />

2.5<br />

Normalens ligning er


2.6<br />

<strong>og</strong> skæring med Z-aksen fremkommer for X = 0:<br />

så<br />

Disse vigtige formler findes i Torge, s. 49.<br />

Den omvendte afbildning<br />

er singulær på polerne. For længden vi har = arctan(Y/X), mens <strong>og</strong> h normalt regnes<br />

iterativt. Der findes d<strong>og</strong> <strong>og</strong>så lukkede formler.<br />

2.2. Enheder.<br />

De vigtigste enheder er:<br />

meter, afstand lyset løber i vakuum i løbet af 1/299792458 sek.<br />

1 sek er 9192631770 perioder for Cæsium 133's overgang mellem to hyperfinstrukturer.<br />

Vinkler: Radianer, 180 o = . Meget benyttet blandt landinspektører er de såkaldte nygrader<br />

eller gon, indført i 1791,<br />

1 gon = 0.9 o = 54' (bueminutter) = / 200 radian.<br />

TS, tusindedele benyttes militært 64000 = 360 o .<br />

Grader, minutter, sek benævnes seksagesimale grader.<br />

Af andre længdeenheder finder vi<br />

1 favn = 3 alen = 6 fod,<br />

1 mil = 12000 alen,<br />

1 fod = 0.3138535 m.<br />

2.3. Elementære formler i planen eller på en kugle.


2.7<br />

For den plane trekant med siderne a, b, c har vi (se figur 2.7):<br />

For den sfæriske trekant har vi tilsvarende simple formler, for betegnelser se Figur 2.8.<br />

Hvis C ligger i Nordpolen, så har vi


2.8<br />

c er så den sfæriske afstand mellem A <strong>og</strong> B,<br />

Formlen bevises let ved at tage skalarproduktet af 2 enhedsvektorer udtrykt i sfæriske<br />

koordianter (dvs. r = 1). Skalarproduktet mellem to enhedsvektorer er netop cosinus til den<br />

sfæriske afstand.<br />

Formlerne kan anvendes til en grov afstandsberegning mellem 2 punkter på en kugle med<br />

radius lig med Jordens middelradius, 6371 km.<br />

Af andre vigtige formler er sinusrelationerne, der er komplicerede at udlede:<br />

Disse formler kan benyttes til at regne grove retninger <strong>og</strong> afstande udfra 3 kendte størrelser.<br />

Kender vi længde <strong>og</strong> bredde for 2 punkter kan vi regne azimuth, . Det regnes positivt med<br />

uret fra nord !<br />

Opgave 2.4. Der er giver to punkter i kortblad 1314 III.<br />

P =(=56 o , =10 o ), Q = ( = 56 o 52', = 10 o 18'). Benyt formlerne til at regne afstand <strong>og</strong><br />

azimuth fra P til Q på en kugle med radius 6371 km. Sammenlign med afstand <strong>og</strong> retning i<br />

kortet.


2.4 Kortprojektioner <strong>og</strong> kort.<br />

2.9<br />

Den matematiske baggrund for kortprojektioner er differentialgeometri. Det basale begreb her<br />

er mangfoldighed, dvs. om ethvert punkt ligger en omegn, der ligner en del af det reelle<br />

talrum, R n , her R 3 , eller R 2 .<br />

Jorden <strong>og</strong>/eller dens overflade er en mangfoldighed.<br />

I Figur 2.10 vises afbildningen , f, af en omegn, U, omkring et punkt X, på Jordens overflade<br />

over i f(U), der er en delmængde af R 2 . Parret (f, U) kaldes <strong>og</strong>så i abstrakt matematik et kort. f<br />

er en kortprojektion <strong>og</strong> den inverse afbildning, f -1 , er en parametrisering eller parameterfremstilling<br />

af U.<br />

ksempel 2.10<br />

Dette er en god simpel projektion for områder nær Ækvator. Hvad er den inverse<br />

afbildning, f -1 ?<br />

I praksis optræder flere afbildninger:<br />

A: Fra Jordoverfladen eller rummet til ellipsoiden, (X,Y,Z) (,,h=0). (Eventuelt til<br />

geoiden, H = 0).<br />

B 1: Afbildning (kort) til planen af et delområde (omegn)<br />

B 2: Afbildning til kugle, <strong>og</strong> herfra til planen af delområde (omegn).<br />

Kortene har forskellige egenskaber, der helt eller delvist udelukker hinanden:<br />

(a) afstandstro<br />

(b) konforme, dvs. lokalt vinkeltro<br />

(c) arealtro<br />

E


2.10<br />

(1) Ret linie der forbinder to punkter i kortet svarer til rute med kortest afstand. (En sådan<br />

kurve kaldes en orthodrom eller geodætisk linie).<br />

(2) Ret linie der forbinder to punkter i kortet svarer til rute med konstant kurs. (En sådan<br />

kurve kaldes en loxodrom).<br />

Kurver i rummet har parameterfremstilling c: R R 3 ,<br />

Eksempel 2.4.2: Meridian på kugle med længden 0 <strong>og</strong> parallel med bredde 0.<br />

De kurver, der frembringes ved i planen at holde en koordinat fast, kaldes parameterkurverne.<br />

I eksempel 2.4.1 er meridianer <strong>og</strong> paralleller parameterkurverne. Men da parameterfremstillingerne<br />

ikke er entydige, kan der være mange parameterkurver.<br />

En vigtig type kurver,er de, der forbinder to punkter med den korteste afstand. De kaldes de<br />

geodætiske kurver eller linier. På kuglen er det storcirklerne.<br />

Eksempel 2.4.3. Storcirkel på en kugle gennem ( 0, 0) med azimuth .


2.11<br />

der så afbildes videre over på kuglen. Udfra de sfæriske trekantsformler, jvf. Figur 2.12, så er<br />

Øvelse 2.4.1. Kontroller, at vi for azimuth lig med 0 får meridianerne <strong>og</strong> at vi for = 90 o ikke<br />

får en parallel !<br />

Når vi skal vurdere en kortprojektions egenskaber, skal vi altid huske på, at størrelser som<br />

afstande, arealer <strong>og</strong> retninger alle måles i det tre-dimensionale rum. Længden af en vektor v =<br />

(X,Y,Z) er<br />

eller kvadratet på længden er skalarproduktet af vektoren med sig selv, s 2 = v • v. Cosinus til<br />

vinklen mellem 2 vektorer, v 1 <strong>og</strong> v 2 er lig med skalarproduktet af vektorerne divideret med<br />

vektorernes længder, dvs. skalarproduktet af de tilsvarende enhedsvektorer.<br />

Vi har her udtrykt den sædvanlige metrik i rummet ved hjælp af skalarproduktet. På en flade<br />

må vi arbejde lidt anderledes. I gennem hvert punkt af fladen vil der gå to parameterkurver,<br />

der er billede af kurvene x = konstant <strong>og</strong> y = konstant i kortet. Hver af disse kurver vil have en<br />

tangent, <strong>og</strong> 2 tangenter udspænder en plan, tangentplanen, se Figur 2.13. I denne kan vi måle<br />

vinkler <strong>og</strong> afstande, som om vi var i det 2-dimensionale reelle talrum. Men tangentvektorerne<br />

vil ikke nødvendigvis være enhedsvektorer eller vinkelrette på hinanden, dvs. de danner ikke<br />

nødvendigvis n<strong>og</strong>en orthonormal basis. Og det må vi selvfølgelig tage hensyn til.<br />

Eksempel<br />

2.4.4:<br />

Tangentplanen svarende til eksempel 2.4.1.<br />

Vi skal differentiere parameterkurverne med hensyn til x <strong>og</strong> y, <strong>og</strong> evaluere i billedet (X,Y).


2.12<br />

Nu definerer vi billedet af en vektor i kortet (a,b) som værende vektoren (a v 1 + b v 2) i<br />

tangentplanen. Har vi 2 vektorer i kortet (a 1, b 1) <strong>og</strong> (a 2, b 2) så kan vi udtrykke deres skalarprodukt<br />

i tangentplanen som<br />

Eksempel 2.4.5: For kortprojektionen i eksempel 2.4.1 får vi<br />

Helt generelt, er det vi har fundet, den såkaldte Jakobi-matrix. Den kaldes <strong>og</strong>så den metriske<br />

fundamentalform,


2.13<br />

Bemærk at basisvektorernes længde er e ½ <strong>og</strong> f ½ , at cosinus til vinklen mellem vektorerne<br />

<strong>og</strong> arealet er matricens determinant, A = ef - g 2 .<br />

Vi kan nu definere målestoksforholdet m som værende forholdet<br />

hvor m er angivet som en funktion af (a, b), dvs. det er retningsafhængigt ! Vi ser <strong>og</strong>så at<br />

målestoksforholdene i akseretningerne er kvadratroden af e, henholdsvis f. Hvis basisvektorerne<br />

skal være vinkelrette på hinanden, så skal g være lig med 0.<br />

Vi kan nu definere:<br />

Konform: Vinklerne mellem tangentvektorerne bevares i ethvert punkt.<br />

Arealtro: Arealer målt i tangentplanen udspændt af to vektorer skal være konstant, ef - g 2 =<br />

konstant.<br />

Afstandstro: Afstande målt i tangentplanen bevares, eller<br />

Eksempel 2.4.6: Cylinderprojektion fra kuglen. Vi forlanger her at afbildningen er afstandstro<br />

langs Ækvator, samt at den som funktion af x kun afhænger af længden <strong>og</strong> af y kun af<br />

bredden, dvs:<br />

hvor f er en funktion, vi vil finde.<br />

Basisvektorerne bliver


Her får vi<br />

så for at vinklerne skal bevares må vi have<br />

Løsningen til denne ligning er<br />

2.14<br />

Denne størrelse kaldes <strong>og</strong>så isometrisk bredde <strong>og</strong> det er den der er grundlaget for de<br />

sædvanlige søkort i Merkators projektion.<br />

Hvis afbildningen skulle have været arealtro, så var betingelsen<br />

Hvis vi ønsker en Meridian afstandstro, så bytter vi (på kuglen !) om på længde <strong>og</strong> bredde.<br />

Herved fremkommer den overmåde meget benyttede Transverse Merkator projektion, se Figur<br />

2.15.<br />

Ved at rotere<br />

90 o om X-aksen, så den nye Z-akse går i samme retning som Y aksen, bytter om på<br />

længde <strong>og</strong> bredde, så er med o= 0 i Figur 2.15<br />

Heraf får vi


Dvs.<br />

2.15<br />

Det er grundlaget for UTM, Universal Transversal Merkator projektion, der benyttes på alle<br />

moderne top<strong>og</strong>rafiske kort i målestoksforhold fra 1:25000 til 1:250000. UTM har der særlige<br />

forhold, at der for hver 6 o er defineret en ny midtermeridian, hvor målestoksforholder er<br />

0.9996. Herved skærer cylinderen langs to kurver, så den generelle målestoksforvrængning er<br />

mindst mulig inden for 6 o zonen.<br />

Generelt så kan vi opfatte bredden <strong>og</strong> længden som funktioner af de plane koordinater (x, y).<br />

Så bliver parameterkurvernes tangentvektorer,<br />

Her får vi så<br />

efter en lang udregning<br />

Udskifter vi med isometrisk bredde , så


2.16<br />

Hvis vi vil forlange at kortprojektionen skal være konform, så må tangentvektorerne være lige<br />

lange <strong>og</strong> skalarproduktet må være 0. (De skal være vinkelrette på hinanden). For at dette kan<br />

gælde, så må vi have<br />

Dette er de berømte Cauchy-Riemanns differentialligninger, der som konsekvens har, at<br />

sammenhængen mellem (x,y) <strong>og</strong> (, ) kan udtrykkes om en kompleks analytisk funktion,<br />

endda som et polynomium (med uendelig mange led, en potensrække),<br />

hvor a'ern <strong>og</strong> b'erne er komplekse konstanter <strong>og</strong> i er den imaginære enhed. Denne form har den<br />

fordel, at man udfra kendskabet til den ene række let kan finde den anden række for den<br />

inverse afbildning.<br />

I Kort & Matrikelstyrelsens transformationspr<strong>og</strong>rammer er dette udnyttet til flere af de<br />

konforme kortprojektioner, se Poder, K., and K.Engsager: Some conformal mappings and<br />

transformations for geodesy and cart<strong>og</strong>raphy. Draft KMS, 1995.<br />

Vi skal nu udnytte de generelle formler til at finde udtrykket for en kegleprojektion.


2.17<br />

Her forlanges røring langs en af parallellerne. Indfører vi vinklen<br />

<strong>og</strong> forlanger at afstanden fra keglens toppunkt er en funktion af bredden alene,<br />

så er<br />

Vi må nu udregne de afledede med hensyn til x <strong>og</strong> y. Her er to udregnet; udregn selv de andre:<br />

Herefter kan længden <strong>og</strong> det indre produkt af tangent-vektorerne udregnes, (f' er den afledede<br />

af f):


2.18<br />

Konformitet kræver nu at vektorerne er lige lange <strong>og</strong> vinkelrette på hinanden, så<br />

<strong>og</strong> heraf<br />

Herefter fastlægges konstanterne c 1, c 2 <strong>og</strong> c 3, så vi får målestoksforholdet til at passe. Ved at<br />

multiplicere med en passende faktor, er det <strong>og</strong>så muligt at få keglen til at skære langs 2<br />

paralleller. De endelige formler svarende til en røringsparallel med bredden 0 (for en kugle)<br />

bliver<br />

hvor vi har forskudt nulpunktet til skæringspunktet mellem røringsparallellen <strong>og</strong> midtermeridianen.<br />

Udfra formlerne for keglen kan man udlede formlerne for Merkators projektion (Tangens ved<br />

ækvator) <strong>og</strong> for Polar-stere<strong>og</strong>rafisk projektion, hvor en plan tangerer en af polerne.<br />

mlerne for polar-stere<strong>og</strong>rafisk projektion bliver<br />

For


2.19<br />

Nulpunktsforskydning. Ofte ønsker vi et bestemt punkt ( 0, 0) skal afbildes over i kortet<br />

som (0,0). Det gøres enklest ved først at afbilde punktet over i kortet i (x 0, y 0) , <strong>og</strong> derefter<br />

definere den nye afbildning som x' = x - x 0, y' = y - y 0.<br />

Eksempel 2.4.7. For kegleprojektionen ønsker vi nulpunktet lagt på rørings-parallellen med<br />

bredde 0. Dvs. vi skal fratrække afstanden fra keglens toppunkt,<br />

Meridiankonvergensen.<br />

Vinklen mellem meridian-kurvens billede <strong>og</strong> Y-aksen (Nord-retningen) kaldes<br />

meridiankonvergensen.<br />

Vinklen findes i tangentplanen mellem tangenterne til meridianen <strong>og</strong> til parameterkurven<br />

svarende til x = konstant, (v 2), som vi har udledt et generelt udtryk for ovenfor. Tangenten til<br />

meridianen er


2.20<br />

Ved at danne det indre produkt, <strong>og</strong> dividere med længden af tangenterne får vi cosinus til<br />

vinklen,<br />

Hvis længden er uafhængig af y, som i Merkators projektion, så ser vi at cos = 1, dvs. = 0.<br />

For Transvers-Merkator er x = R f('), y = R '.<br />

Heraf får vi<br />

eller meridiankonvergensen er tilnærmet lig med længde-differensen fra midtermeridianen.<br />

Ellipsoidiske formler. Ovenfor har vi udledt formler for kortprojektioner fra en kugle til<br />

planen. De tilsvarende formler for overgangen fra en ellipsoide til planen, evt. med en<br />

"genvej" over en kugle kan udledes uden særlige komplikationer. - Formlerne bliver længere.<br />

Mange flere detailler om kortprojektioner, herunder om såkaldte skævaksede findes i<br />

Peter Ricardus <strong>og</strong> Ron K. Adler, 1974. N<strong>og</strong>le af de følgende illustrationer er kopieret fra denne<br />

b<strong>og</strong>.<br />

Danske kortprojektioner.<br />

De sædvanlige top<strong>og</strong>rafiske kort (4, 2 <strong>og</strong> 1 cm) er i UTM-projektionen med midtermeridianer<br />

med længderne 9 o <strong>og</strong> 15 o . (Zone 32 <strong>og</strong> zone 33), se Buchwaldt, 1972.<br />

Søkort er i Merkators projektion. Dette giver meridianer <strong>og</strong> paralleller som rette linier.<br />

Lambert konform-konisk projektion benyttes for Fly kort (ICAO).


2.21<br />

Det Danske koordinatsystem System 34 (se Buchwaldt, 1976) er ikke baseret på n<strong>og</strong>en<br />

kortprojektion i matematisk forstand. Basis er en tilnærmet transversal konform cylinderprojektion<br />

(samt 1 for Bornholm). Jorden er regnet kugleformet, baseret på middelkrumningsradius<br />

for Hayford-ellipsoiden (a = 6378388 m, 1/f = 297) i bredden 56 o 08' for Jylland <strong>og</strong> 55 o<br />

20' for Sjælland. Det trigonometriske punkt Agri Baunehøj har fået koordinaterne (Y, X) = (<br />

200 km, 200 km), så alle danske koordinater er positive. X - aksen peger mod Nord <strong>og</strong> Y -<br />

aksen peger mod vest. Afbildningen er iøvrigt fastlagt så retningen fra Agri til Lysnet er<br />

24 o 31'14".17.<br />

Den er konstrueret så målestoksændringerne er mindre end 50 ppm (part per million) for<br />

Jylland <strong>og</strong> 22 ppm for Sjælland. Den benyttes til alle matrikulære formål.<br />

Overgangen fra System 34 Sjælland, Jylland <strong>og</strong> Bornholm, bygger på kendskabet til koordinater<br />

i 2 systemer, nemlig UTM <strong>og</strong> System 34. Der er konstrueret flere sæt af polynomier, der<br />

repræsenterer overgangen fra det ene system til det andet, se Andersson. O. <strong>og</strong> K.Poder:, 1981.<br />

2.5 Litteratur til kapitel 2.<br />

Andersson. O. <strong>og</strong> K.Poder: Koordinattransformationer ved Geodætisk Institut. Landinspektøren,<br />

Årg. 30, s. 552-571, 1981.<br />

Bomford. G.: Geodesy. 4. ed., Clarendon Press, Oxford, 1980.<br />

Buchwaldt, F.: UTM nettet, Opbygning <strong>og</strong> anvendelse, Geodætisk Institut, 2. oplag 1972.<br />

Buchwaldt, F.: Den Danske Kortprojektion System 1934. Damsk Kart<strong>og</strong>rafisk Selskab, Pub.<br />

Nr. 5, (Uden år, d<strong>og</strong> 1976).<br />

Grossmann, W.: Geodätische Rechnungen und Abbildungen, Verlag Konrad Wittwer, 1976.<br />

Ricardus, Peter <strong>og</strong> Ron K. Adler: Map Projections, North-Holland, 2. ed. 1974.<br />

Pearson II, F.: Map Projections, Theory and Applications.CRC Press, Inc., 1990.


H:\excerc\geodstat2.doc , sidste ændring: Nov. 5, 2003..<br />

3. Geodætisk statistik <strong>og</strong> mindste kvadraters metode.<br />

3.1. Statistiske grundbegreber.<br />

3.1.1 Fordelinger.<br />

Fordelingen af gentagne observationer (målinger) kan beskrives ved hjælp af et hist<strong>og</strong>ram,<br />

der viser antallet af målinger i et givet interval.<br />

Målingerne kan gentages i det samme punkt (<strong>og</strong> kan så opfattes som en tidsrække) eller den<br />

samme størrelse kan måles i forskellige punkter på Jorden (<strong>og</strong> opfattes så som en<br />

stedsafhængig størrelse). Nedenfor er vist fordelingen af middel-tyngdeværdierne for 1 grads<br />

blokke fordelt over hele Jorden.<br />

Dette eksempel er valgt for at illustrere at <strong>og</strong>så fysiske (deterministiske) størrelser kan have<br />

en ”statistisk” fordeling. Fordelingen vist i figuren ligner jo afgjort en normalfordeling. For<br />

målinger der gentages på det samme sted betragtes typisk afvigelsen fra middelværdien som<br />

en fejl, med mindre vi ved at der er en fysisk årsag til afvigelsen (som fx tidekræfterne).<br />

I statistik er det grundlæggende begreb et udfald (af et forsøg) eller en ”hændelse”. I geodæsi<br />

vil en hændelse være en måling af en afstand eller en tyngdeværdi. Vi har en afbildning fra et<br />

rum (H) af mulige hændelser ind i et udfaldsrum (den reelle akse (R), en ternings 6 øjne, ol.).<br />

Afbildningen kaldes en stokastisk variable. Den svarer til begrebet en funktional i<br />

funktionalanalyse hvis udfaldsrummet er den reelle akse. Tyngden i et punkt er en afbildning<br />

fra rummet af mulige tyngdepotentialer ind i det reelle talrum.<br />

En stokastisk variabel X: H -> R kan beskrives ved en sandsynlighedstæthed, f(x), der ved<br />

1


integration over intervallet [a,b] angiver hvor stor sandsynligheden (P) er for at udfaldet<br />

ligger i dette interval,<br />

P(a ≤ x ≤ b) =<br />

b<br />

∫<br />

a<br />

f(x) dx<br />

For fordelingen kan man definere middelværdi, varians <strong>og</strong> det n=te moment:<br />

der begge kan udtrykkes ved Estimations operatoren E.<br />

Varians :<br />

Middelværdi<br />

2<br />

σ x =<br />

∞<br />

∫<br />

:<br />

−∞<br />

x=<br />

(x -<br />

-∞<br />

x ⋅<br />

n - te moment : E((x -<br />

∞<br />

∫<br />

2<br />

x ) ⋅<br />

f(x) dx=<br />

f(x) dx=<br />

E((x -<br />

Hvis udfaldsrummet er flerdimensionalt (fx tyngdevektorens 3 komponenter) kan man på<br />

tilsvarende vis definere middelværdi vektoren <strong>og</strong> Varians-Kovarians Matricen:<br />

Σ<br />

X<br />

2 = σ X = { σ ij }, σ ij =<br />

∫ ∫<br />

-<br />

∞<br />

∞<br />

−∞<br />

∞<br />

hvor vi ofte betegner<br />

Hvis X er tyngdevektoren, så er matricen en 3 x 3 matrix.<br />

x )<br />

n<br />

)<br />

2<br />

σ ii = σ i .<br />

Vi kan så <strong>og</strong>så definere korrelationen mellem 2 størrelser:<br />

ρ =<br />

ij<br />

E(x)<br />

x )<br />

( x - ~ x ) ( x - ~<br />

i i j x j ) f( xi<br />

, x j ) dxi<br />

dx j ,<br />

σ ij<br />

∈[-1,1]<br />

σ ii ⋅σ jj<br />

På grund af estimationsoperatorens linearitet har vi ”kovarians-propagation”:<br />

E(a j<br />

⋅ X i + b ⋅ X j ) = a ⋅ E( X i ) + b ⋅ E( X )<br />

hvor a <strong>og</strong> b er reelle tal. Hvis X <strong>og</strong> A0 er vektorer af dimension n <strong>og</strong> A er en n x m<br />

matrix, så gælder<br />

2<br />

2<br />

)


Y = A + A⋅<br />

X →E<br />

Y ) = A + A⋅<br />

E(<br />

X )<br />

Σ<br />

Y<br />

0<br />

( 0<br />

= E((<br />

y − E(<br />

Y )) ⋅ ( Y − E(<br />

Y ))<br />

Den inverse P = Σ kaldes ofte vægt-matricen.<br />

-1 X<br />

T<br />

) = A⋅<br />

Σ<br />

Eksempel 3.1: Her er n = 2 <strong>og</strong> m = 1. Vi betragter summen af 2 observationer:<br />

σ 11 0<br />

A0 = {0}, A=<br />

{1 , 1}, X =<br />

0<br />

⎟<br />

σ 22<br />

Y = X 1+<br />

X 2 , σ YY = σ 11+<br />

σ 22<br />

⎟<br />

⎛ ⎞<br />

Σ ⎜<br />

⎝ ⎠<br />

Hvad er så variansen, hvis vi betragter differensen mellem 2 observationer ?<br />

3.1.2 Normalfordelingen.<br />

En 1-dimensional størrelse er normalfordelt hvis<br />

f(x) =<br />

1<br />

2π<br />

⋅σ<br />

xx<br />

⋅ e<br />

2<br />

σ xx<br />

-(x-E(X)<br />

) /(<br />

2)<br />

X<br />

⋅ A<br />

Tilsvarende består en vektor af simultant normalfordelte størrelser hvis<br />

F( x1<br />

,..., xn<br />

) =<br />

(2π<br />

)<br />

n/2<br />

1<br />

⋅( det Σ<br />

Den kaldes den n-dimensionale normalfordeling.<br />

X<br />

)<br />

1/2<br />

e<br />

T<br />

-(X -E(X))<br />

T<br />

P (X -E(X))/2<br />

En konsekvens af kovarians-propagationen (<strong>og</strong> som ses let ved et lille regnestykke) er at hvis<br />

X er en n-dimensional normalfordelt vektor, D en n x m matrix, så bliver Z = D X <strong>og</strong>så<br />

normalfordelt med middelværdi E(Z) = D E(X) <strong>og</strong> varians-kovarians matrix<br />

Hvis en størrelse er normalfordelt så er det bedste skøn (udfra n observationer) for<br />

middelværdi, varians <strong>og</strong> ko-varians<br />

E( Z<br />

) = Σ Z = D • Σ<br />

2<br />

X •<br />

3<br />

D<br />

T


xˆ<br />

=<br />

eller med s =<br />

n<br />

Σ<br />

i=1<br />

Standardafvigelsen=<br />

n<br />

Σ<br />

i=1<br />

Standardafvigelsen=<br />

COV(x, y) =<br />

(x - xˆ<br />

) ⋅(y<br />

- yˆ<br />

)/n,<br />

Korrelation=<br />

ρ = COV(x, y)/( σ x ⋅σ<br />

y )<br />

x<br />

x<br />

i<br />

i<br />

n<br />

,<br />

Σ<br />

i=1<br />

/n,<br />

σ x<br />

=<br />

ss =<br />

n<br />

Σ<br />

i=1<br />

(ss -<br />

x<br />

s<br />

2<br />

i<br />

2<br />

n<br />

Σ<br />

i=1<br />

( xi<br />

- xˆ<br />

)<br />

n - 1<br />

2<br />

/n)/(n-1)<br />

Hvis kovariansen COV(x,y) kan udtrykkes som en funktion af en parameter s, COV(s), så<br />

kaldes den for en kovariansfunktion. I øvelse 11.1 beskrives estimationen af en<br />

kovariansfunktion for lokale tyngdedata.<br />

Bemærk, at hvis vi som udgangsdata har data, der er normalfordelte, så får vi et nyt sæt af<br />

normalfordelte data, hvis det nye sæt har en lineær relation til det gamle sæt ! Det har som<br />

konsekvens, at vi må linearisere (Taylorudvikling med kun 0 <strong>og</strong> 1. ordens led) en eventuel<br />

ikke lineær relation. Årsagen til at dette er vigtigt er, at vi ofte ved at startdata er<br />

normalfordelte med en kendt varians, <strong>og</strong> vi så ønsker at kunne sige n<strong>og</strong>et om variansen af<br />

afledte størrelser.<br />

Hvis middelværdien er ukendt, <strong>og</strong> variansskønnet går mod uendeligt når man får flere <strong>og</strong><br />

flere data (for eksempel hvis data fordeler sig om en ret linie med hældning forskellig fra 0),<br />

så benytter man i stedet vari<strong>og</strong>rammet:<br />

vari(s) =<br />

N<br />

iΣ =1<br />

( xi<br />

- x<br />

hvor summen tages over alle par af data, der har afstanden s (eller ligger i intervallet fra s-ds<br />

til s+ds). Bemærk, at vari<strong>og</strong>rammet har værdien 0 for s = 0. For normalfordelte størelser er<br />

der en meget simpel sammenhæng mellem kovariansfunktion <strong>og</strong> vari<strong>og</strong>ram.<br />

Vi kan <strong>og</strong>så have uendelig (men tællelig) dimensionale normalfordelinger. Antag vi har en<br />

funktion T(P) i et Hilbertrum af tællelig dimension. Denne funktion kan udvikles i en<br />

(Fourier-) række<br />

Σi =1<br />

∞<br />

⋅<br />

(P),V<br />

T(P) = ai<br />

V i<br />

i<br />

j<br />

orthonormal<br />

4<br />

)<br />

2<br />

,<br />

basis,<br />

De fundamentale stokastiske variable, Xi er de lineære funktionaler der afbilder fra T til<br />

Fourier-koefficienterne ai. Disse variable antages at være normalfordelte med middelværdi 0<br />

2<br />

<strong>og</strong> varians σ i . Summen af varianserne skal være et endeligt tal. Dette er et eksempel på en<br />

stokastisk proces. Formelt kræves der, at den simultane (samtidige)


sandsynlighedsfordeling af n variable er defineret, dvs. for 2 variable<br />

P(a 1<br />

2<br />

< X<br />

er kendt, <strong>og</strong> ligger i intervallet fra 0 til 1.<br />

< b, c < X<br />

< d)<br />

Herudfra kan man finde den 1-dimensionale fordeling af for eksempel<br />

evalueringsfunktionalerne, LP (T) = T(P). De får <strong>og</strong>så middelværdi 0, <strong>og</strong> varians lig med<br />

Σi =1<br />

∞<br />

2 2<br />

E(T(P ) ) = σ i V(P )<br />

Kovariansen mellem 2 værdier bliver tilsvarende<br />

2<br />

E((T(P) •T(Q)) = σ i ⋅V<br />

i(P)<br />

⋅V<br />

i<br />

Σi= 1<br />

∞<br />

2<br />

(Q)<br />

Eksempel 3..1.2: Stationær tidsrække. Betragt Fourierrække (periodisk funktion)<br />

f(x) =<br />

N<br />

Σ<br />

i=0<br />

Så er kovariansfunktionen<br />

COV(x, y) = E(f(x) f(y)) =<br />

2πi<br />

2πi<br />

2<br />

2 2 ( ai<br />

cos(<br />

x) + bi<br />

sin(<br />

x)), E(( ai<br />

) ) = E(( bi<br />

) ) = σ i<br />

N<br />

N<br />

N<br />

Σ<br />

i=0<br />

σ<br />

2<br />

i<br />

( cos(i<br />

x) cos(i<br />

N<br />

Σ<br />

i=0<br />

2<br />

σ i cos(i(x-<br />

y))<br />

y) +<br />

sin(i<br />

x) sin(i<br />

Vi ser at kovariansfunktionen kun afhænger af forskellen mellem x <strong>og</strong> y, dvs. den er<br />

stationær. Varianserne kaldes power-spektret.<br />

y)) =<br />

Eksempel 3.1.3: Det anomale tyngdepotentiale, T. Her er rækkeudviklingen ( sfærisk<br />

tilnærmelse)<br />

5


j<br />

GM ⎛ R ⎞<br />

T(P) = T( ϕ , λ,<br />

r) = ⋅ C V ( , )<br />

R Σ ⎜ ⎟<br />

r Σ ij ij ϕ λ<br />

i=<br />

2 ⎝ ⎠ j= -i<br />

ϕ = bredden, λ = længden , r = radiusvektors<br />

længde,<br />

∞<br />

R = Jordens middelradius,<br />

C<br />

GM = produkt af<br />

ij<br />

i+<br />

1<br />

fuldt - normaliserede<br />

koefficienter,<br />

gravitationskonstant<br />

<strong>og</strong> Jordens totalmasse.<br />

Antag at koefficienterne at er normalfordelte med den samme varians<br />

GM<br />

E( (<br />

R<br />

⋅ C<br />

ij<br />

2 2 2<br />

) ) = σ ij = σ i /(2i + 1)<br />

for koefficienter af samme grad. Hermed bliver kovariansfunktionen (se Torge (1991, (2.47))<br />

P =<br />

∞<br />

i<br />

Σ Σ<br />

i=<br />

2 j= -i<br />

σ<br />

2<br />

i<br />

i+<br />

1<br />

COV(P, Q) =<br />

/(2i+<br />

1)<br />

2 ⎛ R ⎞<br />

⎜<br />

rr<br />

⎟<br />

⎝ ′ ⎠<br />

E(T(P) ⋅T(Q))<br />

=<br />

i+<br />

1<br />

∞ 2<br />

2⎛<br />

R ⎞<br />

Σσ<br />

i ⎜ ⎟ Pi(<br />

cosψ<br />

), ψ = sfærisk afstand mellem P <strong>og</strong><br />

i=<br />

2 ⎝ r′<br />

r ⎠<br />

( ϕ,<br />

λ,<br />

r), Q = ( ϕ′<br />

, λ′<br />

, r′<br />

), Pi<br />

, Legendre Polynomium af<br />

V<br />

ij<br />

( ϕ,<br />

λ )<br />

V<br />

ij<br />

( ϕ′<br />

, λ′<br />

) =<br />

Q,<br />

graden i.<br />

Vi ser at kovariansfunktionen kun er en funktion af den sfæriske afstand, samt r <strong>og</strong> r=.<br />

Funktionen er isotrop = rotations-invariant.<br />

3.2. Linearisering.<br />

I fysik, geofysik <strong>og</strong> geodæsi står vi ofte overfor et ”parameter estimations problem” - dvs. at<br />

finde det bedste skøn af m størrelse ud fra n andre størrelser, hvor n er større end eller lig med<br />

m. Vi har flere observationer end størrelser vi ønsker at bestemme.<br />

Hvis sammenhængen er lineær, <strong>og</strong> data er normaltfordelt, kan man vise, at den bedste metode<br />

(den der giver mindst fejl eller varians) er mindste kvadraters metode. Ved denne metode<br />

finder man de størrelser der har den mindste kvadratiske afvigelse fra de oprindelige<br />

størrelser, hvis man regner ”baglæns” fra de bedste skøn.<br />

Men ofte er denne lineære sammenhæng ikke tilstede, <strong>og</strong> må så findes ved en<br />

Taylorudvikling.<br />

6


Den generelle ikke lineære sammenhæng kan skrives<br />

L + v=<br />

Φ(X)<br />

observationer<br />

+ fejl =<br />

Antag vi har et første skøn X1 for X, så L0 = ( 1 )<br />

eller<br />

Funktion af<br />

parametre<br />

Φ X , y = L- L0, x = X - X1. Så er tilnærmet<br />

∂Φ<br />

y + v=<br />

A x, A=<br />

{ } | X 1 ∂X<br />

A er en matrix der består af de partielle afledede med hensyn til X=s komponenter, evalueret i<br />

X1.<br />

Hvis der er givet en række målinger, x=(x1,....,xn ), der som udgangspunkt er normalfordelte<br />

2 med varians { σ i } <strong>og</strong> uafhængige, så kan vi benytte den lineariserede sammenhæng til at<br />

finde varians-kovarians matricen for y = A x , se afsnit 1.<br />

2<br />

Σ y = A•<br />

{ σ i } • A<br />

Eksempel 3.2.1: En afstands afhængighed af koordinatforskelle.<br />

Φ ( X , X ) = ( X − X<br />

2<br />

) + ( X − X<br />

2<br />

) ( X − X<br />

0<br />

Denne relation kan lineariseres udfra et start punkt, her (X11 ,X12 ,X13):<br />

3<br />

∂Φ<br />

Φ(X, X 0 ) = Φ(<br />

X 1 , X 0 ) + ∑ | X ⋅(<br />

X i - X<br />

1<br />

i=1<br />

∂ X 1i<br />

∂Φ<br />

X 1i -<br />

=<br />

X 0i<br />

| X 1 ∂ X 1i Φ(<br />

X 1 , X 0 )<br />

På matrix form har vi med dXi = ( Xi -X1i)<br />

1<br />

T<br />

01<br />

2<br />

T<br />

02<br />

1i<br />

3<br />

) + led<br />

⎧∂Φ(<br />

X , X 0 )<br />

⎨<br />

⎩ ∂X<br />

i<br />

⎫<br />

⎬ X 0 ⎭<br />

⋅{<br />

dX i}<br />

= Φ(<br />

X , X 0 ) − Φ(<br />

X 1,<br />

X 0 ) =<br />

observeret − beregnet,<br />

eller A ⋅ x = y<br />

7<br />

af<br />

03<br />

)<br />

2<br />

2 - orden.


Hvis O-ordens leddet af Taylorudviklingen trækkes over på venstre side, <strong>og</strong> led af 2-orden<br />

bortkastes, så er forbedringerne til X1, X-X1 udtrykt ved en lineær ligning med 3 ubekendte,<br />

nemlig (X-X1 )>s 3 komponenter.<br />

Eksempel 3.2.2: (Jævnfør Øvelse 10), (X11, X12,X13) = ( 3496719 m, 743242 m, 5264456<br />

m).<br />

Der er observeret afstanden fra en GPS satellit #16. Koordinaterne for satelliten, den<br />

observerede afstand <strong>og</strong> den beregnede (alt i m) er:<br />

Sat. X11 X12 X13 Obser. Beregnet<br />

Afstand<br />

16 19882818.3 -4007732.6 17137390.1 20785631.1 20785633.8<br />

Observationsligningen er derfor med dXi = ( Xi -X1i)<br />

((3496719.0-19882818.3)dX1 + (743242.0-4007732.6) dX2<br />

+(5264456 .0-17137390.1) dX3)/20785633.8 = ( 20785631.1 - 20785633.8)<br />

eller -0.7883 dX1 -0.1571 dX2 + 1.7083 dX3 = -2.7<br />

Eksempel 3.2.3: I fysisk geodæsi lineariseres udtrykket for geoidehøjden <strong>og</strong><br />

tyngdeanomalien ved hjælp af anomalipotentialet T = W-U:<br />

Δg<br />

T<br />

ς =<br />

γ<br />

dT 2<br />

= - - T<br />

dr r<br />

(højdeanomalien),<br />

(tyngdeanomalien)<br />

Herved er de to størrelser udtrykt ved hjælp af lineære funktionaler, der er anvendt på T, hvor<br />

T betragtes som element i et lineært funktionsrum (af harmoniske funktioner). U<br />

(normalpotentialet, se Torge (2001, Afs. 4.4.2)) kan betragtes som 0-ordens leddet i en<br />

Taylorudvikling. (I et Hilbertrum kaldes den afledede den Frechet-afledede).<br />

8


3.3. Mindste kvadraters metode.<br />

3.3.1 Det overbestemte problem.<br />

Mindste kvadraters metode er traditionelt blevet anvendt til at bestemme en n-dimensional<br />

vektor x, udfra m observationer, y, m > n. Vi har et overbestemt problem. Et typisk eksempel<br />

er et geodætisk net hvor vi har målt alle retninger (vinkler) <strong>og</strong> afstande. For et plant net<br />

kræves det d<strong>og</strong> normalt at 2 af punkterne har kendte koordinater.<br />

Antag nu, at vi har foretaget en linearisering af den funktionelle sammenhæng mellem<br />

observationer <strong>og</strong> de parametre vi vil bestemme. Så vil de m observationer udspænde et rum af<br />

maximal dimensional m, hvor de n parametre udgør et underrum. (Vi vil i det følgende antage<br />

at rummet er m-dimensionalt, ellers se afsnit 3.2).<br />

Et skøn x ~ for x kan bestemmes i dette underrum ved en projektion. Vi søger det bedste skøn<br />

- den bedste projektion - der kan defineres som den, hvor forskellen mellem det observerede<br />

<strong>og</strong> det der beregnes udfra det bedste skøn har den mindste kvadratiske sum. Vi tager her<br />

hensyn til at observationerne muligvis har forskellig nøjagtighed. Hvis målingerne har en fejl<br />

vi, så har vi<br />

Vi søger en løsning så<br />

v Σ<br />

y + v = A x, (Observationsligningerne)<br />

T<br />

v = (y - A x)<br />

-1<br />

-1<br />

y Σy<br />

Denne fås ved differentiation efter x:<br />

x=<br />

(<br />

T<br />

(y - A x ) = minimum(x)<br />

d<br />

-1 T<br />

(y - Ax) Σ y (y - Ax ) = 0<br />

d xi<br />

-1 T -1 2 ⋅ yi<br />

Σ y ⋅(Ai<br />

) - 2 ⋅(<br />

Ai<br />

) ⋅Σ<br />

y ⋅(<br />

Ai<br />

) ⋅ xi<br />

T -1 -1 A Σ y A x=<br />

A Σ y y<br />

T -1 -1<br />

T -1 A Σ y A ) A Σ y y<br />

= 0<br />

(Normalligningerne)<br />

(Hele denne proces kaldes en udjævning af observationerne, fordi fejlen fordeles mellem<br />

observationerne efter deres vægt).<br />

Herefter kan vi finde varians-kovarians matricen for x:<br />

Σ = ( A<br />

A )<br />

( A<br />

A )<br />

T T<br />

) = ( A<br />

T -1 -1 T -1 T -1 -1 T -1<br />

-1<br />

x Σy<br />

A Σy<br />

Σy<br />

Σy<br />

A Σy<br />

Σy<br />

Eksempel 3.3.1 : Vi betragter nu et typisk problem der er ”født” lineært. Betragt 3 punkter H,<br />

G, I. Tyngen i et punkt H er 981600.15 mgal <strong>og</strong> vi har målt tyngdeforskellene mellem H <strong>og</strong><br />

G til 12.11 mgal <strong>og</strong> mellem G <strong>og</strong> I til 10.52 mgal, samt mellem I <strong>og</strong> H til -22.70 mgal.<br />

A )<br />

-1<br />

1


Usikkerhedden i H er 0.02 mgal, <strong>og</strong> differenserne er målt med en nøjagtighed på 0.03 mgal.<br />

Vi søger det bedste skøn for tyngderne i G <strong>og</strong> I.<br />

så<br />

Σ<br />

-1 x<br />

⎛1<br />

0 0 ⎞ ⎛ ⎞<br />

⎜ ⎟ ⎛ g<br />

981600.15<br />

G⎞<br />

⎜ ⎟<br />

⎜ ⎟<br />

⎜ -1<br />

10<br />

⎟<br />

⎜ ⎟<br />

⎜ 12.11⎟<br />

⎜ ⎟ • g H =<br />

⎜ ⎟<br />

⎜ ⎟<br />

⎜ 0 -1<br />

1⎟<br />

⎜ ⎟<br />

⎜ 10.52⎟<br />

⎜ ⎟ ⎝ g I ⎠ ⎜ ⎟<br />

⎝ 10<br />

-1⎠<br />

⎝ - 22.70⎠<br />

2 ⎛ 0. 02 0.00 0.00 0.00⎞<br />

⎜<br />

⎟ ⎛ 10<br />

0⎞<br />

⎛ 1-<br />

1 0 1⎞<br />

⎜ ⎟<br />

2<br />

⎜ ⎟ ⎜0.00<br />

0. 03 0.00 0.00 ⎟<br />

⎜ -1<br />

10<br />

⎟<br />

= ⎜ 0 1-<br />

10<br />

⎟ •⎜<br />

⎟ •<br />

⎜<br />

⎟<br />

2<br />

0.00 0.00 0. 03 0.00<br />

⎟<br />

⎜<br />

⎜<br />

⎜ 0 -1<br />

1⎟<br />

0 0 1-<br />

1 ⎟<br />

⎝ ⎠ ⎜<br />

⎟<br />

⎜ ⎟<br />

⎜<br />

2⎟<br />

0.00 0.00 0.00 0. 10<br />

-1<br />

03<br />

⎝ ⎠<br />

⎝<br />

⎠<br />

-1<br />

2


Opgave 3.3.1: Udregn varians-kovarians-matricen.<br />

Mindste kvadraters metode giver det bedste (lineære) skøn, hvis observationerne er<br />

normaltfordelt. Hvis de ikke er det , kan man stadig bruge mindste kvadraters metode,<br />

blot er den ikke længere nødvendigvis den bedste metode. Endvidere kan man ikke<br />

beregne den statistiske fordeling af de skønnede størrelser, på den simple måde.<br />

Bemærk, at man kan finde nye skøn for observationernes fordeling ved at regne<br />

”baglæns”. Et nyt skøn for fordelingen er<br />

Σ ~<br />

y<br />

=<br />

A(<br />

A<br />

Vi har ovenfor forudsat at der var foretaget en linearisering. Hvis der er tvivl om at denne<br />

måske ikke er god nok, benyttes det nye resultat som et nyt udgangspunkt for<br />

lineariseringen, <strong>og</strong> udjævningen foretages på ny.<br />

3.3.2. Det underbestemte problem.<br />

Hvis vort rum har en dimension, der er større end antallet af observationer, må vi foretage<br />

en anden projektion. Vi søger i stedet den vektor, der har mindst mulig norm. Men<br />

hvilken norm ?<br />

Inspireret af det overbestemte problem, kan man kræve, at en skønnet værdi er en linearkombination<br />

af observationerne,<br />

T<br />

Σ<br />

-1<br />

y<br />

A )<br />

-1<br />

A<br />

T<br />

3


n<br />

~<br />

i = ∑α ij<br />

⋅<br />

y<br />

x j<br />

j=1<br />

Hvis x er en funktion, erstattes index i af en punkt-variabel (P), <strong>og</strong> α ij bliver <strong>og</strong>så en<br />

funktion α af P.<br />

Pi<br />

Vi kan betragte x som en stokastisk proces, <strong>og</strong> kræve at variansen af x - x~ bliver mindst<br />

mulig:<br />

E(<br />

x − ~ x)<br />

Vi kalder nu<br />

2<br />

2<br />

= E(<br />

x ) − 2<br />

= E(<br />

x −<br />

n<br />

∑<br />

i=<br />

1<br />

i=<br />

1<br />

α ⋅ y )<br />

α ⋅ E(<br />

x ⋅ y ) + i = 1<br />

i<br />

n<br />

∑<br />

i<br />

i<br />

i<br />

2<br />

n<br />

∑<br />

i=<br />

1<br />

n<br />

∑<br />

j=<br />

1<br />

α α E(<br />

y ⋅ y ) = minimum(<br />

α )<br />

2<br />

Cij<br />

= E( y ⋅ y ), C Pi=<br />

E(x ⋅ y ), C0<br />

= E( x )<br />

<strong>og</strong> får igen ved differentiation (sammenlign Torge (2001, side 225)).<br />

Fejl-variansen kan <strong>og</strong>så udregnes:<br />

E((x -<br />

+<br />

~ x<br />

i<br />

j<br />

~ x = ( C<br />

med E(x) = 0, E(y) = 0, E((<br />

Pi<br />

) ⋅(<br />

C<br />

ij<br />

i<br />

)<br />

-1<br />

i<br />

j<br />

⋅ y<br />

2<br />

2<br />

T -1<br />

) ) = E( x ) - 2 ( C Pi)<br />

⋅ ( Cij)<br />

E(x ⋅ y)<br />

-1<br />

2 -1<br />

T<br />

( C Pi)(<br />

Cij)<br />

E( y ) ( Cij)<br />

( C Pj)<br />

=<br />

2 T -1<br />

σ x - ( C Pi)<br />

( Cij)<br />

( C Pj)<br />

T<br />

y ) ⋅(<br />

y ) ) = ( Cij)<br />

, E(xy) = (C<br />

i<br />

Vi ser, at hvis vi vil have et skøn for et af observationsværdierne, bliver det reproduceret<br />

eksakt. Fejlskønnet bliver endvidere 0. Det er fordi vi ikke har taget hensyn til fejlene i<br />

observationerne. Man kan vise, at det gøres ved at addere støjens varians-kovarians til<br />

matricen (Cij).<br />

Eksempel 3.3.2: Vi har 2 tyngdeværdier i punkterne P <strong>og</strong> Q med værdierne 6 mgal <strong>og</strong> 10<br />

mgal. Vi ser bort fra målefejl.<br />

Afstanden mellem P <strong>og</strong> Q er 10 km. Vi søger tyngden i et andet punkt R, der ligger 8 km<br />

fra P <strong>og</strong> 4 km fra Q. Kovarianserne er: COV(0) = 100 mgal 2 , COV(10 km) = 60, COV(8<br />

j<br />

i<br />

j<br />

Pj<br />

)<br />

i


km) = 80 mgal 2 , COV(4 km) = 90 mgal 2 . Værdien i R bliver<br />

Δ g~<br />

R<br />

=<br />

⎛100<br />

60⎞<br />

⎛10⎞<br />

( 90 80)<br />

⎜ ⎟ ⎜ ⎟=<br />

9 mgal<br />

⎝60<br />

100⎠<br />

-1<br />

⎝ 6 ⎠<br />

Opgave 3.3.2: Udregn fejskønnet for tyngdeanomalien i R. (Se <strong>og</strong>så øvelse 11.2).<br />

Ovennævnte metode kaldes mindste-kvadraters collocation eller ofte optimal lineær<br />

estimation. Metodens navn udspringer fra teorien for løsning af partielle<br />

differentialligninger, hvor metoden er karakteriseret ved, at den for fejlfrie data<br />

reproducere disse. Indenfor denne ramme er metoden blevet generaliseret af Torben<br />

Krarup, (Krarup, 1969) så man kan behandle data af forskellig art, som for eksempel<br />

tyngder <strong>og</strong> geoidehøjder samtidigt. Metoden er yderligere generaliseret af H.Moritz,<br />

(Moritz, 1980) så man kan blande et overbestemt <strong>og</strong> et underbestemt problem (se Torge<br />

(2001, afsnit 6.8.2)). Denne type problemer løses indenfor andre fag ved en metode<br />

kaldet Kriging, der er i tæt familie med collocationsmetoden.<br />

Skøn for kovarianserne bestemmes som for normalfordelingen, under hensyntagen til at<br />

der her er tale om en funktion. Men med mange fysiske fænomener har vi ikke<br />

gentagelser (vi har kun en jord, kun en tid). Man må så gå på kompromis <strong>og</strong> antage en<br />

hvis regularitet i kovarianserne. Ved stationaritet antager man for eksempel, at<br />

kovarianserne kun afhænger af tidsforskellen. Dvs. alle par af observationer, der<br />

observeres med en given tidsforskel kan benyttes til estimation af kovariansen. Dette<br />

gøres ved at danne alle produkter af data, der har den bestemte tidsforskel, <strong>og</strong> så dividere<br />

med antallet af produkter.<br />

På Jordens overflade (eller i rummet) antages isotropi. Hvis vi drejer Jorden om<br />

jordcenteret får vi en ny Jord. Herved er gentagelserne alle værdier, der for en fast højde<br />

har den samme sfæriske afstand. Kovariansen estimeres så ved integralet (summen) over<br />

alle værdier, der har en fast afstand, <strong>og</strong> der divideres med antallet. (Se øvelse 11).<br />

Eksempel 3.3.3: For tyngdeanomalier har vi for punkter på Jordens overflade (r = R)<br />

V<br />

j GM<br />

Δg( ϕ , λ,<br />

R) = • (i - 1) ( , , R)<br />

2 Σ Σ C ij ⋅ ⋅V<br />

ij ϕ λ<br />

R i=<br />

2 j= -1<br />

= Pij(<br />

ϕ ) cos(j<br />

λ ) , sin(j<br />

λ ) , fuldt normaliserede<br />

kuglefunktioner<br />

∞<br />

ij<br />

så kovarianserne for tyngdeanomalierne bliver (se Heiskanen & Moritz (1967, afsnit<br />

7.7)):<br />

π π/2<br />

2π<br />

1<br />

C( ψ ) = C( ϕ , λ,<br />

ϕ′<br />

, λ′<br />

) =<br />

g( , ) g( , ) d d d ,<br />

2 16 ∫ ∫ ∫ Δ ϕ λ ⋅ Δ ϕ′<br />

λ′<br />

cosϕ<br />

ϕ λ α<br />

π -π<br />

-π/2<br />

0<br />

med ϕ′<br />

, λ′<br />

med fast sfærisk afstand ψ , α azimut.


P.gr. af ort<strong>og</strong>onaliteten af kuglefunktionerne på kuglen får vi


2 ⎛ GM ⎞<br />

σ i = ⎜ ⋅ 2 ⎟<br />

⎝ R ⎠<br />

2<br />

j<br />

Σ<br />

j= -i<br />

2<br />

C( ψ ) = σ i ⋅ Pi(<br />

cosψ<br />

),<br />

(i<br />

- 1<br />

)<br />

2<br />

∑<br />

i=<br />

2<br />

C<br />

∞<br />

ij<br />

, (tyngdeanomali<br />

gradvarianser)<br />

Der findes forskellige modeller for hvordan grad-varianserne går mod uendelig. Mest kendt er<br />

”Kaulas-rule”,(Kaula, 1959), der desværre medfører at tyngdevariansen på Jordens overflade<br />

er uendelig. I 1974 lancerede forfatteren <strong>og</strong> R.H.Rapp en model, der ikke har denne skavank<br />

(Tscherning & Rapp, 1974) , Torge (2001, eq. 6.27).<br />

3.4. Løsning af normalligningerne.<br />

Da normalligningerne har en symmetrisk koefficient-matrix (N) <strong>og</strong> altid forsøges konstrueret<br />

så de er løsbare (positivt definitte), er det mest fordelagtigt at benytte Cholesky=s metode til<br />

at løse ligningerne. Denne metode giver den mindst mulige afrundingsfejl, <strong>og</strong> hvis<br />

ligningerne er singulære kan man blive advaret om det under løsningsprocessen. Vi skal løse<br />

ligningssystemet y = N x, hvor y <strong>og</strong> x er n-dimensionale vektorer.<br />

Hovedideen er at omforme N så den bliver et produkt af to nedre-symmetriske matricer, L<br />

(for ”Lower”).<br />

L<br />

-1<br />

(L L<br />

T<br />

N x=<br />

- ) x=<br />

L<br />

L L<br />

1<br />

T<br />

x=<br />

y, eller<br />

y,<br />

T<br />

L x=<br />

Dette system er nu øvre-triangulært. Det vil sige, at den n-te ligning er en ligning med 1<br />

ubekendt (xn). Løses denne <strong>og</strong> indsættes, får man at den næste er en ny ligning med 1<br />

ubekendt. Denne proces kaldes tilbageløsningen, <strong>og</strong> kan først udføres når L -1 y er beregnet.<br />

Cholesky algoritmen kan udledes induktivt. Først betragtes en ligning med 1 ubekendt. Så er<br />

L et tal, lig med kvadratroden af N11. Antag nu vi har fundet (den reducerede) Lm for det<br />

delsystem, der består af de m første rækker, <strong>og</strong> kald de m første rækker af den m-te søjle for<br />

Nm+1, så vil Lm+1 være lig med<br />

L<br />

m + 1<br />

⎛ L<br />

⎜<br />

= ⎜<br />

⎝0<br />

m<br />

N<br />

m+<br />

1, m+<br />

1<br />

- ( L<br />

(Vises ved at danne produktet). Så kerne algoritmen er følgende: Da Lm er nedre-triangulær,<br />

skal vi løse 1 ligning med 1 ubekendt for voksende index:<br />

-1 m<br />

L<br />

-1 m<br />

N<br />

N<br />

m+<br />

1<br />

m+<br />

1<br />

)<br />

T<br />

L<br />

L<br />

-1 m<br />

-1<br />

N<br />

y<br />

m+<br />

1<br />

⎞<br />

⎟<br />

⎟<br />


L<br />

i,<br />

m+<br />

1<br />

L<br />

= ( N<br />

m+<br />

1,<br />

m+<br />

1<br />

i,<br />

m+<br />

1<br />

=<br />

- Σ Lik<br />

L •<br />

N<br />

m<br />

k=1<br />

m+<br />

1,<br />

m+<br />

1<br />

-<br />

m<br />

Σ<br />

k=1<br />

m+<br />

1,<br />

k<br />

Lk<br />

)/ L<br />

2<br />

, m+<br />

1<br />

Den samme algoritme benyttes til beregning af L -1 x. En bedste måde at se det på er, at udvide<br />

N-matricen med en ekstra søjle bestående af y=s elementer. Anbringes kvadratsummen af<br />

y=erne i et nyt diagonal-led, Nn+1,n+1, så får man en generel algoritme.<br />

Eksempel 3.4.1. Vi ønsker nu at løse samme opgave som i eksempel 3.3.2, <strong>og</strong> betragter så 3<br />

x 3 matricen<br />

( L<br />

T<br />

⎛<br />

⎜<br />

⎜<br />

⎝0<br />

-1<br />

)<br />

⋅(<br />

L<br />

⎛100<br />

60 10⎞<br />

⎛ N y⎞<br />

⎜ ⎟<br />

⎜ ⎟=<br />

⎜ 60 100 6 ⎟,<br />

⎜ T T ⎟<br />

⎝ y y y⎠<br />

⎜<br />

10 6 136 ⎟<br />

⎝ ⎠<br />

T T -1<br />

10 6 1<br />

L ( L ) y⎞<br />

⎛ ⎞<br />

⎟<br />

⎜ ⎟<br />

= ⎜ 0 8 0⎟,<br />

så<br />

T T ⎟ -1<br />

y y - ( y N y ⎜<br />

0 0 135 ⎟<br />

⎠<br />

⎝ ⎠<br />

T<br />

-1<br />

)<br />

⎛ 0.1⎞<br />

⎛90⎞<br />

y = ⎜ ⎟ <strong>og</strong> ~ x = ⎜ ⎟<br />

⎝ 0 ⎠ ⎝80⎠<br />

T<br />

ii<br />

⎛0.1⎞<br />

⋅ ⎜ ⎟ = 9<br />

⎝ 0⎠<br />

En nedre (eller øvre) triangulær matrix har en determinant, der er lig med produktet af<br />

diagonalleddene. Endvidere er produktet af L=s diagonal elementer lig med kvadratroden af<br />

N=s determinant. Hvis det bliver lig 0, er ligningssystemet singulært. Hvis det m-te diagonalelementerne<br />

bliver nul, så er den m-te del-matrix singulær. (Den m-te søjle er lineært<br />

afhængig af de m-1 forrige). Denne egenskab gør, at Cholesky=s metode er meget anvendelig<br />

i praksis, idet man når at fange fejl i ligningssystemet. I et geodætisk net kan det skyldes, at<br />

der ikke er nok fastholdte (kendte) punkter, <strong>og</strong> i collocation, at en observation er taget med 2<br />

gange.<br />

Cholesky=s metode, er en metode til at løse ligninger med en positiv definit koefficientmatrix,<br />

<strong>og</strong> ikke en metode til at finde den inverse af en matrix. Hvis den skal bestemmes, så<br />

må man løse et antal ligninger, hvor højresiden består af kolonnerne i en identititsmatrix.<br />

Eksempel 3.4.2: Bestemmelse af den inverse af en 2 x 2 matrix, jvf. Eksempel 3.3.2:.


⎛100<br />

60⎞<br />

⎛10<br />

6 ⎞ ⎛ 1⎞<br />

⎛ 0.1⎞<br />

⎛0<br />

⎞ ⎛ 0<br />

T<br />

-1<br />

-1<br />

⎞<br />

N = ⎜ ⎟,<br />

L = ⎜ ⎟,<br />

L ⎜ ⎟=<br />

⎜ ⎟,<br />

L ⎜ ⎟=<br />

⎜ ⎟<br />

⎝ 60 100⎠<br />

⎝ 0 8⎠<br />

⎝0<br />

⎠ ⎝-<br />

0.75⎠<br />

⎝ 1⎠<br />

⎝0.125⎠<br />

⎛ 0.1⎞<br />

⎛ 0.06625⎞<br />

⎛ 0⎞<br />

⎛ - 0.09375<br />

T -1<br />

T -1<br />

⎞<br />

så ( L ) ⎜ ⎟=<br />

⎜ ⎟,<br />

( L ) ⎜ ⎟=<br />

⎜ ⎟,<br />

⎝-<br />

0.75⎠<br />

⎝-<br />

0.09375⎠<br />

⎝0.125⎠<br />

⎝ 0.015625⎠<br />

⎛ 0.06625 - 0.09375<br />

-1<br />

⎞<br />

N = ⎜<br />

⎟<br />

⎝-<br />

0.09375 0.015625⎠<br />

Kontroller beregningen ved at finde den inverse ved determinantmetoden.<br />

Bemærk endvidere at N er symmetrisk, så man kun behøver at lagre den ene halvdel. Når et<br />

element i ligningssystemet har været i brug, så kan det erstattes af det tilsvarende i Lmatricen.<br />

Det kan <strong>og</strong>så udnyttes, at hvis en søjle har en række elementer lig med 0 i<br />

begyndelsen af søjlen, så bliver de tilsvarende elementer i L-matricen <strong>og</strong>så 0. Det giver<br />

mulighed for at spare regnekraft, når der arbejdes med såkaldte tyndt besatte matricer.<br />

Sådanne matricer opstår ofte når man udjævner geodætiske net. Værdier, der svarer til at der<br />

ikke er n<strong>og</strong>en måling, der forbinder 2 punkter, vil være 0. Se iøvrigt Poder & Tscherning<br />

(1973).<br />

Bemærk, at hvis den n+1 søjle består af elementerne Cpi med C0 i diagonalen, så beregnes<br />

fejlskønnet, hvis man i Cholesky-algoritmen undlader at tage kvadratroden til sidst.<br />

Eksempel 3.4.3. Vi vil nu udregne fejlskønnet på skønnet for tyngdeværdien i eksempel<br />

3.3.2. Vi har allerede udregnet L-matricen i eksempel 3.4.1, så vi betragter nu 3 x 3 matricen,<br />

der består af 2 x 2 matricen L, vektoren Cpi <strong>og</strong> C0 i diagonal-elementet:<br />

der viderereduceres, så vi får<br />

så fejlskønnet er 2.9 mgal 2 .<br />

3.5. Litteratur til kapitel 3.<br />

⎛<br />

⎜<br />

⎜<br />

⎝0<br />

C<br />

0<br />

- ( L<br />

⎛ 10 6 90⎞<br />

⎛ L C Pi⎞<br />

⎜ ⎟<br />

⎜ ⎟=<br />

⎜ 0 8 80⎟<br />

⎜ ⎟<br />

⎝ 0 C0<br />

⎠ ⎜<br />

⎟<br />

⎝ 0 0 100⎠<br />

L<br />

-1<br />

C<br />

Pi<br />

L<br />

-1<br />

T -<br />

) ⋅(<br />

L<br />

1<br />

C<br />

C<br />

Pi<br />

Pi<br />

⎛ 10 6 9 ⎞<br />

⎞ ⎜ ⎟<br />

⎟<br />

= ⎜ 0 8 3.25⎟<br />

⎟<br />

⎠ ⎜<br />

⎟<br />

⎝ 0 0 2.9⎠<br />

Hald, A.: statistical Theory with Engineering Applications. John Whiley & Sons, New York,<br />

London, 1956.<br />

Heiskanen, W.A. and H. Moritz: Physical Geodesy. W.H. Freeman & Co, San Francisco,


1967.<br />

Kaula, W.M.: Statistical and Harmonic Analysis of Gravity. J.Geophys. Res., Vol. 64, no. 12,<br />

pp. 2401-2421, 1959.<br />

Krarup, T.: A Contribution to the Mathematical Foundation of Physical Geodesy. Meddelelse<br />

no. 44, Geodætisk Institut, København 1969.<br />

Moritz, H.: Advanced Physical Geodesy. H.Wichmann Verlag, Karlsruhe, 1980.<br />

Poder, K. and C.C.Tscherning: Cholesky's Method on a Computer. The Danish Geodetic<br />

Institute Internal Report No. 8, 1973.<br />

Sanso, F.: Statistical methods in physical geodesy. In: Suenkel, H.: Mathematical and<br />

Numerical Techniques in Physical Geodesy. Lecture Notes in Earth Sciences, Vol. 7, pp.<br />

49-155, Springer-Verlag, 1986.<br />

Torge, W.: Geodesy. 3. edition, de Gruyter, 2001.<br />

Torge, W.: Gravimetry. de Gruyter, Berlin, 1989.<br />

Tscherning, C.C.: Introduction to Functional Analysis with a View to its Application in<br />

Approximation Theory. In: Moritz, H. and H.Suenkel (Ed's): Approximation Methods in<br />

Geodesy, H.Wichmann Verlag, Karlsruhe, pp. 157-192, 1978c.<br />

Tscherning, C.C. and R.H.Rapp: Closed Covariance Expressions for Gravity Anomalies,<br />

Geoid Undulations, and Deflections of the Vertical Implied by Anomaly Degree-Variance<br />

Models. Reports of the Department of Geodetic Science No. 208, The Ohio State University,<br />

Columbus, Ohio, 1974.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!