Geodæsi og Geostatistik
Geodæsi og Geostatistik
Geodæsi og Geostatistik
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.