Ligning (matematikk)

En ligning eller likning er i matematikk et utsagn som uttrykker at to størrelser er like. Ligningen består av en venstreside og en høyreside, samt et likhetstegn som viser at de to sidene er like:

 .

En ligning kan være sann eller usann. Ofte inneholder en ligning én eller flere variable størrelser, symbolisert med bokstaver, og ligningen setter da føringer for hvilke verdier eller hvilken form disse variablene kan ta, for at ligningen skal være sann. Ligninger kan ofte opptre sammen med andre ligninger, i såkalte ligningssystem.

Å løse en ligning innebærer å finne verdier for de variablene som medfører at ligningen er sann. Variablene kalles da for de ukjente i ligningene. I ligninger med én ukjent betegnes denne ofte med x.
En ligning kan ha ingen, én eller mange løsninger, og en løsning som tilfredsstiller ligningen kalles en rot i ligningen. Løsningen til en ligning kan være et tall, som i en algebraisk ligning, men løsningen kan også være en funksjon, som i en differensialligning og i en integralligning. Andre typer matematiske objekt kan også opptre som løsning til ligninger, for eksempel vektorer eller matriser.

En ligning som alltid er oppfylt, uansett valg av den ukjente, kalles en identitet. Det tredje og siste eksempelet over er en identitet.

En ligning med flere variable vil definere en relasjon mellom variablene, og begrepet formel brukes ofte synonymt med ligning. Formler og ligninger brukes for å beskrive sammenhenger mellom størrelser i et matematisk språk, som for eksempel i Einsteins berømte ligning E = mc2.

Studiet av ligninger har vært sentralt for utviklingen av algebra, og ligningsteori er en sentral del av dette fagfeltet. Med utgangspunkt i praktiske problemstillinger har en gjennom historien forsøkte å finne aksepterbare løsninger på ligninger. Hva som har vært akseptert som en løsning har endret seg etter som fagfeltet matematikk har utviklet seg. I tilfeller der løsningen ikke lar seg uttrykke eksplisitt kan en ofte likevel si noe om egenskaper til løsningen, for eksempel at denne eksisterer og er entydig.
I numerisk matematikk forsøker en å finne tilnærmede løsninger til ligninger som ikke lar seg løse eksakt.

Løsning av ligninger 
Løsning av en ligning med én eller flere ukjente kan formelt skrives på forma

 

I tilfellet av flere ukjente vil x være definert som en vektor. Også f kan oppfattes som en vektor, dersom en har et ligningssystem med flere ligninger. Et system av ligninger med like mange ukjente som ligninger kalles ofte for et simultant sett av ligninger, fordi alle ligningene må løses simultant.

I praktisk regning og også i teoretisk matematikk krever en ofte at løsningen skal være av en bestemt type, eller mer presist: være inneholdt i en bestemt mengde. Kravet kan for eksempel være at løsningen skal være et reelt tall eller et reelt, positivt tall. I en såkalt diofantisk ligning krever en for eksempel at løsningen skal være et helt tall. Dersom en ønsker å presisere mengden der løsningen skal finnes, skriver en gjerne problemet som

 

Om det eksisterer en eller flere røtter i ligningen vil avhenge av definisjonen av mengden V.

Løsningsmengde og løsningsrom 
Mengden av løsninger til en gitt ligning kaller en for løsningsmengden til ligningen. Ligningen

 

har for eksempel løsningsmengden {-1,1}.

Dersom ligningen er lineær, så vil summen av to løsninger også være en løsning for ligningen. Løsningsmengden er da et vektorrom og kalles løsningsrommet.

Lukket form for løsningen 
Dersom en er i stand til å finne løsningen av en ligning og uttrykke denne ved hjelp av et endelig antall ledd av velkjente funksjoner, så sier en at ligningen har en analytisk løsning eller også en løsning på lukket form.

Studiet av ligninger og jakten på løsninger har i mange tilfeller ført til definisjon av nye funksjoner, slik at en har fått utvidet oppfatningen av hva en mener med velkjente funksjoner.

Eksistens og entydighet 
Mange matematiske teorem inneholder utsagn om eksistens og entydighet av løsningen til en ligning, Selv om en ikke kan finne løsningen på lukket form kan en likevel i mange tilfeller vise hva som er tilstrekkelige vilkår for at en løsning eksisterer.

En løsning til en ligning er entydig viss og bare viss det eksisterer kun én løsning til ligningen.

Eksistens-og-entydighetsteorem er spesielt viktige for differensialligninger.

Løsningsmetoder 
Det eksisterer svært mange løsningsmetoder for ligninger, og en komplett løsning vil ofte involvere en rekke forskjellige teknikker. En presis beskrivelse av stegene som skal til for å løse en ligning eller et annet problem kalles en algoritme.

En  iterativ løsningsmetode lager en følge av løsningsforslag som suksessivt utgjør en bedre og bedre tilnærming til den eksakte løsningen. Hver iterasjon bruker de foregående til å lage en bedre tilnærming, og iterative metoder trenger et første gjett på løsningen for å komme i gang. En konvergent iterativ metode vil etter uendelig mange iterasjoner kunne gi den eksakte løsningen. I noen tilfeller vil iterasjonen bare gi den «best mulig» tilnærmede løsningen, i den mengden der en søker etter løsningen. Fikspunkt-iterasjon og Newton-Raphsons metode er eksempel på iterative metoder.

En løsningsmetode som ikke er iterativ kalles en direkte metode. Direkte metoder kan brukes for å finne både eksakte og tilnærmede løsninger. Rayleigh-Ritz’ metode er et eksempel på en direkte tilnærmingsmetode.

Et første steg i en løsningsprosess vil ofte forsøke å omforme ligningen til en alternativ eller enklere form der løsningen er kjent, og mange kreative metoder er i bruk. Substitusjon er en teknikk der en variabel eller en annen del av ligningen blir skiftet ut med en ny variabel, for eksempel vil substitusjonen u = x2 overføre den følgende ligningen til en andregradsligning i u der løsningen er kjent:

 

Eliminasjon innebærer å gjennomføre operasjoner som fjerner en variabel eller en annen del av et ligningssett. I det følgende eksempelet vil summasjon av ligningene eliminere den ene ukjente y og gi en enkel ligning å løse for den andre ukjente x:

 .

Inverse funksjoner 
Løsningen av en ligning kan formelt skrives ved hjelp av definisjonen av en invers funksjon. Gitt problemet

 

der y er en kjent størrelse. Dersom den inverse funksjonen til f eksisterer, så kan løsningen skrives som

 

Inversen vil eksistere dersom f er bijektiv, og løsningen av ligningen er da entydig.

Grunnleggende behandling av ligninger 
Gyldigheten av en ligning, om den er sann eller usann, vil ikke bli endret dersom en utfører en av de følgende operasjonene på ligningen:

 Addisjon av en vilkårlig størrelse på begge sider av likhetstegnet,
 Subtraksjon av en vilkårlig størrelse på begge sider av likhetstegnet,
 Multiplikasjon med en vilkårlig størrelse ulik null på begge sider av likhetstegnet,
 Divisjon med en vilkårlig størrelse ulik null på begge sider av likhetstegnet,
 Bruk av vilkårlig injektiv funksjon på begge sider av likhetstegnet.

De algebraiske egenskapene (1-4) medfører at likhetsrelasjonen er en kongruensrelasjon for en kropp. Et eksempel på en kropp som tillater disse operasjonen er mengden av reelle tall R. Dersom løsningsrommet er lik mengden av naturlige tall, så vil divisjon generelt ikke være en lovlig operasjon.

Identiteter 
En identitet er en ligning som alltid er sann, uansett valg av variable i ligningen. For å markere at en ligning er en identitet brukes ofte identitetstegnet ≡, som i det følgende eksempelet

 

Kvadratsetningene og kuberingssetningene er eksempel på identiteter. Velkjent er også den trigonometriske identiteten

Lineære ligninger 
En lineær ligning har forma

 

der A er en skalar, en matrise eller en lineær funksjon. En lineær ligning sies å være homogen dersom b er lik null, ellers er den inhomogen.

Et lineært ligningssystem med like mange ukjente som ligninger kan løses ved hjelp av Cramers regel eller ved Gausseliminasjon. Dersom antallet ligninger er flere enn antallet ukjente, sies ligningssystemet å være overbestemt. Slike system har som regel ingen løsninger. I et underbestemt system er tallet på ligninger mindre enn antall ukjente.

Algebraiske ligninger 
En algebraisk ligning over en gitt kropp er en polynomligning der koeffisientene er inneholdt i den definerte kroppen. En algebraisk ligning i én variabel over mengden av reelle tall har den generelle forma

 

der koeffisientene ai (i = 1,….,n) er reelle tall.

Andregradsligningen er en av de enkleste algebraiske ligningene. Et velkjent eksempel på en algebraisk ligning i to variabler er ligningen for en sirkel med radius lik 1:

 

Generaliseringer av slike ligninger ligger til grunn for algebraisk geometri.

Algebraens fundamentalteorem 
Ifølge algebraens fundamentalteorem har en kompleks n-te-grads polynomligning av én variabel eksakt n røtter, når multiplisiteten til rota er tatt i betraktning. Dersom røttene xi (i = 1,…,n) er kjente, så kan polynomligningen skrivest på den faktoriserte forma

 

Røttene trenger ikke være reelle, selv om koeffisientene i polynomet er reelle.

Galois-teori 
I Galois-teori, oppkalt etter matematikeren Évariste Galois, studerer en relasjoner mellom røttene i algebraiske ligninger.

På samme måte som andregradsligninger kan også løsning av tredjegradsligninger og fjerdegradsligninger uttrykkes på lukket form ved hjelp av aritmetiske operasjoner og rotutdraginger. Cardanos metode gir løsningen av den generelle tredjegradsligningen, mens Ferraris metode kan brukes for fjerdegradsligninger.

I 1824 viste Niels Henrik Abel at dette ikke er mulig for løsningen av den generelle polynomligningen av grad større eller lik fem, og dette resultatet er kjent som Abel-Ruffini-teoremet.
Merk at fundamentalteoremet viser at også femtegradsligninger alltid har løsninger, – en kan bare ikke alltid uttrykke disse på sluttet form.

Transcendente ligninger 
En transcendent ligning er en ligning som inneholder en transcendent funksjon. Eksempel på transcendente funksjoner er trigonometriske funksjoner, logaritmefunksjoner og eksponentialfunksjoner. De følgende ligningene er eksempel på transcendente ligninger:

 

Svært få transcendente ligninger har analytiske løsninger.

Funksjonalligninger 
Funksjonalligninger er ligninger der den ukjente er en funksjon. Alternativt kan en si at en funksjonalligning er en ligning som definerer én eller flere funksjoner implisitt. Et eksempel på en funksjonalligning er gitt ved d’Alemberts ligning:

 

som har løsningene

 

der c er en vilkårlig konstant.

Differanseligninger 
En differanseligning er en ligning der den ukjente er en funksjon og som inneholder differanser mellom funksjonsverdier. En differanseligning kan være i form av en rekursjonsformel:

 

Differenseligninger opptrer ofte i forbindelse med numerisk løsning av differensialligninger.

Differensialligninger 
Svært mange problemstillinger i fysikk krever at en løser en eller flere differensialligninger.

Ordinære differensialligninger 
En differensialligning er en ligning der den ukjente er en funksjon i én variabel, og der ligningen inneholder den deriverte av denne funksjonen. Ordenen til ligningen er lik ordenen til den høyeste deriverte. Riccatiligningen er en første-ordens ordinær differensialligning:

 

Her er f den ukjente funksjonen, mens funksjonene qi (i = 0,1,2) er kjente.

Partielle differensialligninger 
En  partiell differensialligning er en ligning der den ukjente er en funksjon i flere variabler, og der ligningen inneholder den partiell deriverte av denne funksjonen. Ordenen til ligningen er lik ordenen til den høyeste deriverte. Et eksempel er Laplaceligningen i tre frie variable:

 

Ligningen er en andre-ordens partiell differensialligning.

Integralligninger 
En integralligning er en funksjonalligning som inneholder et eller flere integral av den ukjente funksjonen. Et eksempel er gitt ved Volterras integralligning av første slag:

 

Her er K(x,t) og g(x) kjente funksjoner, mens f er funksjonen som skal bestemmes.

Integro-differensialligninger 
Integro-differensialligninger er funksjonalligninger som inneholder både deriverte og integral av den ukjente funksjonen.

Litteratur

Referanser

Eksterne lenker 
 EqWorld liste over eksakte løsninger av ligninger (engelsk) Besøkt 11. april 2010
 WinSolve webside for numerisk løsning av algebraiske ligninger (engelsk) Besøkt 11. april 2010

Ligninger
1000 artikler enhver Wikipedia bør ha
Elementær algebra