10 svar
165 visningar
Moffen behöver inte mer hjälp
Moffen 1875
Postad: 13 maj 2020 20:10 Redigerad: 13 maj 2020 20:29

Liouvilles ekvation - PDE/Stereografisk projektion/Konforma avbildningar

Hej!

Jag har följande ekvation som jag önskar att lösa:

ΔW=-2KeW\Delta W = -2Ke^{W} med K=1K=1, W=Wu,vW = W\left(u,v\right).

Ekvationen härleds från differentialgeometri där K är den konstanta krökningen för ytan S där σ:U2S\sigma : U \subset \mathbb{R}^{2} \to S  är en diffeomorfism och W=ln(G)W = ln(G) där G=EG=E är koefficienterna i första fundamentala formen (och vi har att F=σu,σv=0F= \langle \sigma_{u}, \sigma_{v} \rangle=0). Dvs G=E=σu,σu=σv,σvG = E = \langle \sigma_{u}, \sigma_{u} \rangle = \langle \sigma_{v}, \sigma_{v} \rangle.

Ekvivalent kan vi skriva ekvationen som 2Wzz¯=-12KeW\frac{\partial^{2}W}{\partial z \partial \bar{z}} = -\frac{1}{2}Ke^{W} med W=Wz,z¯W=W\left(z, \bar{z}\right), och z=u+ivz = u+iv

 

Eftersom K=1K=1 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å \mathbb{C} vilket då är alla f:f : \mathbb{C} \to \mathbb{C} sådana att f'(z)0f'(z) \neq 0 för alla zz \in \mathbb{C}.

Efter det så beräknar vi kompositionen av sterografiska projektionen (som också är konform och kompositionen är då också konform) med detta ff med inversen till den stereografiska projektionen, så vi får en funktion: Φ=Ψ-1fΨ:S2S2\Phi = \Psi^{-1} \circ f \circ \Psi : S^{2} \to S^{2}, där Ψ\Psi är den stereografiska projektionen.

 

Jag fastnar dock i uträkningen av Φ\Phi samt så förstår jag inte varför vi kräver att ff skall vara konform?

 

Min uträkning: (jag använder att Tapp. Differential Geometry of Curves and Surfaces p.175).

Låt pS2p \in S^{2}, då kan pp skrivas som p=rcos(θ),rsin(θ),1-r2p = \left(rcos(\theta), rsin(\theta), \sqrt{1-r^{2}}\right) för nåt θ\theta och 1r>01 \geq r>0. Då har vi att Ψrcos(θ),rsin(θ),1-r2=Rcos(θ),Rsin(θ)\Psi\left(rcos(\theta), rsin(\theta), \sqrt{1-r^{2}}\right) = \left(Rcos(\theta),Rsin(\theta)\right) där r=4RR2+4r=\frac{4R}{R^{2}+4}. När jag använder det så skriver jag:

Ψp=Ψ4RR2+4cos(θ),4RR2+4sin(θ),1-16R4R2+42=Rcos(θ),Rsin(θ)\Psi\left(p\right) = \Psi\left(\frac{4R}{R^{2}+4}cos(\theta), \frac{4R}{R^{2}+4}sin(\theta), \sqrt{1-\frac{16R^{4}}{\left(R^{2}+4\right)^{2}}}\right) = \left(Rcos(\theta),Rsin(\theta)\right).

Sen får vi då fReiθ=...f\left(Re^{i \theta}\right)=...? Det måste jag väl veta för att kunna använda Ψ-1\Psi^{-1}?

Jag förstår som sagt inte heller varför vi vill att funktionen ff skall vara konform...?

Hur ska man gå vidare efter man hittat Φ\Phi? Det är ju bara en vektor i S2S^{2}, men vi vill ju hitta W=ln(E)=ln(G)W = ln(E) = ln(G) och vi vet ju att G=σu,σuG = \langle \sigma_{u}, \sigma_{u} \rangle \in \mathbb{R}.

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 K=1K=1):

Wz,z¯=ln4|df(z)dz|21+K|f(z)|22W\left(z, \bar{z}\right) = \ln{\left(4\frac{\vert\frac{df(z)}{dz}\vert^{2}}{\left(1+K \vert f(z) \vert ^{2}\right)^{2}}\right)} där dfdz0\frac{df}{dz} \neq 0 för alla zz \in \mathbb{C} och f(z) har som mest enkla poler. (Liouville equation på wikipedia).

Moffen 1875
Postad: 16 maj 2020 22:13

Bump.

Qetsiyah 6567 – Livehjälpare
Postad: 18 maj 2020 16:51

bump

Qetsiyah 6567 – Livehjälpare
Postad: 19 maj 2020 21:07

Bump

Moffen 1875
Postad: 22 maj 2020 00:40

Bump (ett sista tappert försök).

Qetsiyah 6567 – Livehjälpare
Postad: 22 maj 2020 16:29

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

Moffen 1875
Postad: 22 maj 2020 16:38 Redigerad: 22 maj 2020 16:40

Jag kan även tillägga att det svåra för mig är att hitta ett bra sätt att hantera sammansättningen Ψ-1fReiθ\Psi^{-1}\left(f\left(Re^{i \theta}\right)\right). Eftersom om vi hittar Φ\Phi så vet vi ju (speciellt om vi har att ff är bijektiv och glatt (men det kanske räcker med konform?)) att Φ\Phi är en diffeomorfism Φ:S2S2\Phi: S^2 \to S^2 och då är ju en lösning till differentialekvationen lnΦu,Φu(p)\ln{\left(\langle \Phi_{u}, \Phi_{u} \rangle \right)}(p) som bara beror av pS2p \in S^2.

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

Qetsiyah 6567 – Livehjälpare
Postad: 12 jul 2020 19:58

Moffen 1875
Postad: 12 jul 2020 20:11

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. 

Qetsiyah 6567 – Livehjälpare
Postad: 12 jul 2020 20:42

Maila mig!!

Svara
Close