Principalvärde

Från Wikipedia
Hoppa till navigering Hoppa till sök
Pricipalvärden är viktiga inom den komplexa analysen. Här visas en del av arg(z)-funktionens principala gren

Pricipalvärde är inom den matematiska analysen ett genom konvention valt värde som returneras från en flervärd funktion.

Till exempel har ekvationen två lösningar, 2 och -2. Ett sätt att få en väldefinierad invers till funktionen , , är att ansätta den positiva roten som principalvärde.

Principala grenar används vid definition av arcusfunktionerna, till exempel som

eller

.

Exempel[redigera | redigera wikitext]

Trigonometriska funktioner[redigera | redigera wikitext]

har flera lösningar måste principalvärdet för väljas bland

Arcusfunktionerna definieras som inverser till de periodiska trigonometriska funktionerna. Detta är möjligt om de periodiska funktionerna begränsas till intervall för vilka funktionerna genom tillämpning av en urvalsregel för de inversa funktionernas värdemängder, kan göras omvändbara, det vill säga, ha väl definierade inversa funktioner. Urvalsregeln definierar således funktionens principalvärden:

Ekvationen
har lösningarna
det vill säga, oändligt många värden.
Principalvärdet väljs enligt regeln

Den komplexa logaritmen[redigera | redigera wikitext]

Den komplexa logaritmfunktionen log(z), är definierad som det komplexa talet w sådant att

Att finna exempelvis log(i), är att finna lösningen till

för w. Uppenbarligen är iπ/2 en sådan lösning. Men är det den enda lösningen?

Andra lösningar är uppenbara med utgångspunkt från i:s position i det komplexa talplanet och dess argument arg(i). Initialt går det att "nå" i genom att rotera (1,0) π/2 radianer i moturs riktning, men med ytterligare en rotation av 2π nås i igen. Uppenbarligen är i(π/2 + 2π) också en lösning för log(i). Det går uppenbarligen att addera ett godtyckligt antal multipler av 2πi till den initiala lösningen för att erhålla alla värden för log(i).

Till skillnad från reellvärda funktioner har log(i) inte något entydigt värde! För log(z) gäller istället

för ett heltal k, där arg(z) är det principala argumentet till z definierat som tillhörande intervallet . Varje värde på k bestämmer vad som är känt som en gren, en envärd komponent av den flervärda log-funktionen.

Grenen som svarar mot k = 0 är känd som den principala grenen, och längs denna gren, antar funktionen värden kända som principala värden.