Liouvilles ekvation - PDE/Stereografisk projektion/Konforma avbildningar
Hej!
Jag har följande ekvation som jag önskar att lösa:
med , .
Ekvationen härleds från differentialgeometri där K är den konstanta krökningen för ytan S där är en diffeomorfism och där är koefficienterna i första fundamentala formen (och vi har att ). Dvs .
Ekvivalent kan vi skriva ekvationen som med , och .
Eftersom så kan vi "låtsas" att vi är på enhetssfären, eftersom (någon känd sats) säger att olika ytor med samma konstanta krökning är lokalt isometriska (säger man så?). Tipset jag fått är att försöka hitta alla konforma avbildningar på vilket då är alla sådana att för alla .
Efter det så beräknar vi kompositionen av sterografiska projektionen (som också är konform och kompositionen är då också konform) med detta med inversen till den stereografiska projektionen, så vi får en funktion: , där är den stereografiska projektionen.
Jag fastnar dock i uträkningen av samt så förstår jag inte varför vi kräver att skall vara konform?
Min uträkning: (jag använder att Tapp. Differential Geometry of Curves and Surfaces p.175).
Låt , då kan skrivas som för nåt och . Då har vi att där . När jag använder det så skriver jag:
.
Sen får vi då ? Det måste jag väl veta för att kunna använda ?
Jag förstår som sagt inte heller varför vi vill att funktionen skall vara konform...?
Hur ska man gå vidare efter man hittat ? Det är ju bara en vektor i , men vi vill ju hitta och vi vet ju att .
Tacksam för alla svar.
EDIT: Lösningen är känd, men problemet är att jag inte vet hur jag ska komma fram till den (med ):
där för alla och f(z) har som mest enkla poler. (Liouville equation på wikipedia).
Bump.
Bump (ett sista tappert försök).
Jag gör här också ett sista tappert försök :(
Jag vill veta, det är sällan något såhär spicy dyker på pluggakuten
Jag kan även tillägga att det svåra för mig är att hitta ett bra sätt att hantera sammansättningen . Eftersom om vi hittar så vet vi ju (speciellt om vi har att är bijektiv och glatt (men det kanske räcker med konform?)) att är en diffeomorfism och då är ju en lösning till differentialekvationen som bara beror av .
Qetsiyah, det är inte tillåtet att bumpa en tråd inom 24 timmar efter trådens senaste inlägg. Det gäller oavsett om det är din tråd eller inte. /Smutstvätt, moderator
Jag har en lösning (lokal sådan iallafall). Vill du att jag skriver ut den grovt och du fixar detaljerna eller vill du ha hela lösningen på en gång? Orkar inte skriva ut hela lösningen, den är lite för lång för ett PA inlägg.
Maila mig!!