Solution of the Keppler problem Perihelion precession 7KH HTXDWLRQ IRU WKH RUELW RI D WHVW SDUWLFOH LQ WKH ILHOG RI D SRLQW JUDYLWDWLQJ PDVV 6FKZDU]VFKLOG PHWULF LV GU Gϕ =± *0 U ( P + - PU P U - %\ FKDQJLQJ YDULDEOHV WR X = ZH ILQG DQ HTXDWLRQ RI IRUP U GX Gϕ =± X + DX E + 0*X &OHDUO\ WKH H[SUHVVLRQ ZLWKLQ WKH VTXDUH URRW FDQ EH IDFWRUHG VLQFH LW LV FXELF LW KDV URRWV PRUHRYHU VLQFH WKH QXPEHU RI VLJQ FKDQJHV DPRQJ WKH FRHIILFLHQWV LV WKH URRWV DUH DOO UHDO ILQDOO\ WKH URRWV DUH DOO SRVLWLYH VLQFH LW VWDUWV RXW QHJDWLYH DW X DQG EHFRPHV SRVLWLYH IRU ODUJH X ZKHUHDV IRU X LW LV QHJDWLYH GHILQLWH JLYLQJ X + DX E + 0*X = X > X X X < α 0*X ZKHUH α= X < + X > $V WKH WHVW ERG\ SODQHW PRYHV DURXQG LWV RUELW WKH LQYHUVH UDGLXV X ZLOO UHPDLQ EHWZHHQ WKH OLPLWV X DQG X! H[SHFWHG WR EH FORVH WR WKHLU 1HZWRQLDQ YDOXHV EHFDXVH 0*X > LV YHU\ VPDOO 7KH DQJOH ϕ³phdvxuhg IURP X ³ZLOO LQFUHDVH IURP WR ZKDWHYHU YDOXH LW KDV ZKHQ X = X > 7KH HDVLHVW ZD\ WR FDOFXODWH WKH FKDQJH RI DQJOH XVHV WKH FKDQJH RI YDULDEOH X = X > X < FRVχ + X > + X < OHDGLQJ WR GX Gϕ = X > X < VLQχ Gχ Gϕ =± X > X < VLQχ X > + X < X > X < FRVχ LH Gχ Gϕ =± X > + X < 0* X > X < FRVχ $V WKH YDULDEOH χ FKDQJHV E\ WKH SODQHW PRYHV DURXQG RQFH LQ LWV RUELW 7KH 1HZWRQLDQ FDVH FRUUHVSRQGV WR UHSODFLQJ WKH ULJKW VLGH RI E\ XQLW\ JLYLQJ ϕ = χ = 2I FRXUVH X DQG X! PXVW EH UHSODFHG ZLWK WKHLU 1HZWRQLDQ YDOXHV DOVR +RZHYHU WKH FKDQJH LQ χ LQFOXGLQJ WKH FRUUHFWLRQV RI (LQVWHLQ V WKHRU\ RI JUDYLWDWLRQ LV! %
Generating approximations via contour integration ϕ = Gχ X > + X < X > X < FRVχ + 0* X > + X < + 7KH DPRXQW 0* 5 ³ZKHUH 5 = + U > U LV WKH VHPL ODWXV UHFWXPµ³E\ ZKLFK ϕ GLIIHUV < IURP PHDVXUHV WKH SUHFHVVLRQ RI WKH RUELW LQ VSDFH SHU UHYROXWLRQ 7KH GLIIHUHQFH LV SRVLWLYH VR D SODQHW SUHFHVVHV LQ WKH GLUHFWLRQ RI LWV PRWLRQ Generating approximations via contour integration 7KH VWXGHQW PD\ OHJLWLPDWHO\ DVN +RZ GLG ZH NQRZ WR PDNH WKH VSHFLILF FKDQJH RI YDULDEOH "µ 2I FRXUVH RQH DQVZHU LV WKDW WKLV ZDV IDLUO\ VWDQGDUG LQ RUELWDO SHUWXUEDWLRQ WKHRU\ D VXEMHFW PRUH ZLGHO\ WDXJKW LQ (LQVWHLQ V WLPH WKDQ RXU RZQ VR WKLV LV HVVHQWLDOO\ KRZ (LQVWHLQ WDFNOHG LW,Q RWKHU ZRUGV 7UDGLWLRQµ %XW WUDGLWLRQDO PHWKRGV ZKLOH WKH\ PXVW EH PDVWHUHG E\ WKH DVSLULQJ WKHRUHWLFDO SK\VLFLVW RIIHU QR LQVLJKW LQWR QHZ SUREOHPV 7KHUHIRUH LW VHHPV ZRUWKZKLLOH WR GLJUHVV RQ DQRWKHU PHWKRG IRU JHQHUDWLQJ DSSUR[LPDWLRQV LQ WKHRUHWLFDO PHFKDQLFV 7KH DQJXODU LQFUHDVH LQ DQ RUELW FDQ EH ZULWWHQ DV DQ LQWHJUDO ϕ = X< X > GX X + DX E + 0*X (T FDQ EH UHH[SUHVVHG LQVWUXFWLYHO\ DV D FRQWRXU LQWHJUDO I ϕ= G] X > ] ] X< α 0*X 1 61 61 6 ZKHUH WKH FORVHG FRQWRXU LV DV VKRZQ EHORZ :H QRWH WKH FORVHG FXUYH JRHV DURXQG FRXQWHUFORFNZLVH D GDVKHG OLQH GUDZQ EHWZHHQ WKH SRLQWV X DQG X! 7R XQGHUVWDQG ZK\ ZH KDYH GUDZQ WKH FXUYH WKLV ZD\ DQG KRZ ZH ZLOO XVH! &
WKLV FRQVWUXFWLRQ WR HYDOXDWH DSSUR[LPDWHO\ WKH LQWHJUDO ZH GLJUHVV EULHIO\ RQ WKH DUW RI FRQWRXU LQWHJUDWLRQ Contour integration 7KH PHWKRG RI FRQWRXU LQWHJUDWLRQ LV EDVHG RQ &DXFK\ V WKHRUHP ZKLFK VWDWHV WKDW WKH LQWHJUDO DURXQG D FORVHG FRQWRXU RI D IXQFWLRQ I] WKDW LV DQDO\WLF ZLWKLQ DQG FRQWLQXRXV RQ LW LV LGHQWLFDOO\ I I = ] &DXFK\ V WKHRUHP LV SURYHG LQ VWDQGDUG ERRNV RQ WKH WKHRU\ RI IXQFWLRQV RI D FRPSOH[ YDULDEOH VXFK DV :KLWWDNHU DQG :DWVRQ $ &RXUVH RI 0RGHUQ $QDO\VLV WK HG &DPEULGJH 8QLYHUVLW\ 3UHVV,WV XVH LQHYDOXDWLQJ LQWHJUDOV LV GHWDLOHG LQ PDQ\ SODFHV VXFK DV $UINHQ DQG :HEHU 0DWKHZV DQG :DONHU HWF $ FRQWRXU LQWHJUDO LV GHILQHG DV IROORZV VXSSRVH D FORVHG FXUYH LQ WKH FRPSOH[ SODQH FDQ EH SDUDPHWHUL]HG E\ ] =ζ(w) W < 7KHQ I I I ] GW G = ζ GW I 1ζ W 6 :KDW GRHV LW PHDQ WR VD\ D FRPSOH[YDOXHG IXQFWLRQ RI D FRPSOH[ YDULDEOH LV DQDO\WLF DW D SRLQW ] LQ WKH FRPSOH[ SODQH" :H PHDQ WKDW LW FDQ EH GLIIHUHQWLDWHG LQ WKH XVXDO PDQQHU GI(]) I(] + K) I(]) = OLP G] K _K_ ZKHUH K LV D FRPSOH[ QXPEHU ZKRVH PDJQLWXGH _K_ LV DOORZHG WR EHFRPH DUELWUDULO\ VPDOO 3UREOHP 6KRZ WKDW LI I([ + L\) =D([ \) +LE([ \) WKHQ GI(]) H[LVWV LIIÂ G] E \ D [ = E [ + D \ = &DXFK\5LHPDQQ HTXDWLRQV 7KLV WHUP ZLOO EH GHILQHG EHORZ Â LI DQG RQO\ LI µ! '
Contour integration 1RZ ZH FRPH WR VLQJXODULWLHV 7KHVH DUH SRLQWV ZKHUH I] LV QRW DQDO\WLF 7KH\ FRPH LQ WKUHH IODYRUV R Poles near a simple pole a function behaves as f(z) = + g(z). Near a pole of order n the z z 0 R behavior is f(z) = + g(z) where n is a positive integer. n (z z 0 ) Essential singularities a function that has an infinite series of poles of orders 1, 2,... is said to have an essential singularity at z 0. An example is e 1 z = n=0 z n n!. Branch cuts these are like a continuous line of poles. For example, the function 1 f(z) = 0 du u z = log(1z) log(z) has a branch cut from 0 to 1 along the real axis. If we define f(z) to be real for negative real z, then obviously it is discontinuous across the real axis for 0 < Re(z) < 1. Another example is z 1 2. Whenever a function has a discontinuity across a line, it is impossible to define the derivative in the direction perpendicular to that line. So we cut the line of discontinuity out of the plane (that is the meaning of the dashed line in the figure above) and say the function is analytic in the cut plane. To specify such a function we have to specify its branch cuts and the direction we cut them out. For example, it would have been equally permissible in the above logarithmic case to run the cuts from 0 and from 0 along the real axis. That would define a different, but equally valid function. Generally we choose branch lines to suit our convenience. 3ROHV DQG HVVHQWLDO VLQJXODULWLHV DUH LVRODWHG³RQH FDQ GUDZ D FLUFOH DURXQG WKHP RI DUELWDULO\ VPDOO UDGLXV DQG VD\ WKDW RXWVLGH WKDW FLUFOH WKH IXQFWLRQ LV DQDO\WLF EHFDXVH LWV GHULYDWLYH H[LVWV %UDQFK OLQHV DUH OLNH D FRQWLQXRXV OLQH RI SROHV KHQFH DUH QRW LVRODWHG,QWHJUDOV WKDW FDQ EH HYDOXDWHG E\ FRQWRXU LQWHJUDWLRQ KDYH FHUWDLQ WKLQJV LQ FRPPRQ )LUVW LV WKDW WKH LQWHJUDO LV ZHOOGHILQHG VHFRQG WKDW LW EH GHILQLWH DQG WKLUG WKH UDQJH RI LQWHJUDWLRQ FDQ EH PDGH SDUW RI D VXLWDEOH FORVHG FRQWRXU LQ VXFK D ZD\ WKDW WKH LQWHJUDO DORQJ WKH UHVW RI WKH FRQWRXU HLWKHU YDQLVKHV RU FDQ EH SHUIRUPHG H[SOLFLWO\ 9LUWXDOO\ WKH HQWLUH DUW RI FRQWRXU LQWHJUDWLRQ UHVWV RQ FKRRVLQJ VXLWDEOH FRQWRXUV :H QRZ JLYH WZR H[DPSOHV )LUVW FRQVLGHU WKH GHILQLWH LQWHJUDO + G[, = + [ :H VHH WKDW WKH SRO\QRPLDO LQ WKH GHQRPLQDWRU FDQ EH IDFWRUHG LQWR WKH IRUP [ + = [ L [ + L PHDQLQJ WKH IXQFWLRQ KDV VLPSOH SROHV DW [ =±LLQWKH FRPSOH[ SODQH,Q WKLV FDVH ZH ZDQW D FRQWRXU WKDW LQFOXGHV WKH UHDO D[LV IURP ²5 WR 5 SOXV VRPH SDUW WKDW FORVHV WKH FRQWRXU DQG RQ ZKLFK WKH LQWHJUDO FDQ EH HDVLO\ HYDOXDWHG,Q WKLV FDVH WKH FKRLFH GLFWDWHG E\ H[SHULHQFH LV D VHPLFLUFOH LQ WKH XSSHU KDOI RI WKH FRPSOH[ SODQH DV VKRZQ EHORZ! (
7KH LQWHJUDO ZH ZDQW FDQ EH ZULWWHQ, = OLP 5 5 +5 G[ + [ 7KH SRUWLRQ RQ WKH VHPLFLUFOH FDQ EH UHSUHVHQWHG E\ OHWWLQJ ] = 5H Lθ JLYLQJ, VHPL = OLP 5 L 5H Lθ Gθ + 5 H Lθ 'HWDLO OLP 5 5 LH Lθ Gθ= 7KDW LV ZH FDQ DGG WKH FRQWULEX WLRQ IURP WKH ODUJH VHPLFLUFOH EH FDXVH LQ WKH OLPLW RI ODUJH UDGLXV LW JRHV WR 1RZ WKH LQWHJUDO LV LQ WKH IRUP RI D FRQWRXU LQWHJUDO EXW WKH LQWHJUDQG LV QRW DQDO\WLF HYHU\ZKHUH ZLWKLQ WKH FRQWRXU 7R SXW LW LQ WKH IRUP RI VXFK DQ LQWHJUDO ZH GUDZ D YHUWLFDO OLQH IURP WKH SRLQW [ + L\ =ε+lwr WKH SRLQW ε + L( ε)dvlplodu OLQH IURP ε+l(ε)wr ε+l DQG D FLUFOH RI UDGLXV ε FHQWHUHG DW ] = + L JRLQJ FORFNZLVH DERXW WKH SROH DW L DQG FRQQHFWLQJ WKH WZR OLQHV 7KHVH DUH VKRZQ LQ WKH 'HWDLO 7KH WRWDO FRQWRXU LQWHJUDO FDQ QRZ EH ZULWWHQ OLP U ε ε 5 +5 + +ε +, VHPL + OLP ε ε H Lθ Gθ (εh Lθ ) = ZKHUH ZH KDYH SDUDPHWHUL]HG ] RQ WKH OLWWOH FLUFOH DV ] = L Lε H Lθ 7KH WZR FRQWULEXWLRQV IURP WKH YHUWLFDO OLQHV FDQFHO VLQFH WKH VDPH IXQFWLRQ LV EHLQJ LQWHJUDWHG DORQH WKH VDPH FRQWRXU LQ RSSRVLWH GLUHFWLRQV VR WKH\ KDYH QRW EHHQ GLVSOD\HG H[SOLFLWO\ 7KH ILUVW WHUP FOHDUO\ EHFRPHV WKH LQWHJUDO ZH ZDQW WKH VHFRQG YDQLVKHV LQ WKH OLPLW RI ODUJH 5 DQG WKH ODVW WHUP EHFRPHV OLP ε ε H Lθ Gθ + εh Lθ = OLP ε Lθ H ε Gθ = Lθ εh :H DUH OHIW ZLWK, = RU, =ZKLFK LV ZHOONQRZQ WR EH FRUUHFW³DV FDQ EH VHHQ IURP WKH WULJRQRPHWULF VXEVWLWXWLRQ [ WDQθ +RZ GR ZH GR DQ LQWHJUDO ZLWK D EUDQFK FXW" &RQVLGHU, I G[ = [ [! )
Application to perihelion precession 7KH IXQFWLRQ I(]) = ]( ]) PD\ EH GHILQHG ZLWK D EUDQFK FXW UXQQLQJ IURP WR DORQJ WKH UHDO D[LV,I ZH GHILQH WKH IXQFWLRQ WR EH UHDO DQG HTXDO WR DV ] DSSURDFKHV WKH FXW IURP [( [) DERYH WKHQ WKH LQWHJUDO RQ D FRQWRXU VXFK DV VKRZQ EHORZ YDQLVKHV 7KH SLHFHV RQ WKH H[WHQVLRQ OLQHV UXQQLQJ DERYH DQG EHORZ WKH UHDO D[LV IURP WR FDQFHO EHFDXVH WKH IXQFWLRQ DV GH ILQHG KDV QR GLVFRQWLQXLW\ DFURVV WKH UHDO D[LV LQ WKDW UDQJH 7KH FRQWULEX WLRQV IURP WKH WLQ\ FLUFXODU HQG FDSV YDQLVK DV ε DV WKH\ PXVW IRU WKH LQWHJUDO WR KDYH D PHDQLQJ DW WKH HQG SRLQWV ZKHUH WKH LQWHJUDQG EORZV XS 7KH IXQFWLRQ DV GHILQHG KDV WKH RSSRVLWH VLJQ ZKHQ ] DSSURDFKHV WKH FXW IURP EHORZ KHQFH WKH FRQWRXU LQ WHJUDO ZKRVH WRWDO YDOXH LV E\ &DXFK\ V 7KHRUHP EHFRPHV, + OLP L5H 5 Lθ Gθ 5H Lθ ( 5H Lθ ) = 1RZ FOHDUO\ DV ZH DOORZ 5 WR JHW ODUJHU WKDQ WKH VTXDUH URRW RI WKH ² VLJQ EHRPHV HLWKHU ²L RU L 7KH TXHVWLRQ LV ZKLFK LV LW" 3XWWLQJ DVLGH WKLV TXHVWLRQ IRU D PRPHQW ZH VHH WKDW IRU ODUJH 5 WKH LQWHJUDQG RI WKH LQWHJUDO RQ WKH ODUJH FLUFOH EHFRPHV ± SOXV VRPHWKLQJ WKDW YDQLVKHV DV U VR WKH YDOXH RI WKLV LQWHJUDO EHFRPHV ±,Q RWKHU ZRUGV WKH LQWHJUDO ZH ZDQW ZLOO KDYH WKH YDOXH ±2EYLRXVO\ VLQFH WKH LQWHJUDQG LV SRVLWLYH WKH VLJQ PXVW EH WDNHQ,V WKHUH VRPH ZD\ ZH FRXOG KDYH NQRZQ WKLV D SULRUL" &RQVLGHU WKH LPDJLQDU\ SDUW RI WKH IXQFWLRQ ([ + Lε) ( [ Lε) ZKHUH ε LV YHU\ VPDOO³DV ORQJ DV [ OLHV EHWZHHQ DQG WKLV LPDJLQDU\ SDUW LV SURSRUWLRQDO WR ε([ ) KHQFH LW LV SRVLWLYH IRU [ > %\ FRQWLQXLW\ ZH VHH WKDW LI >θ> WKH LPDJLQDU\ SDUW RI 5H Lθ ( 5H Lθ ) PXVW EH SRVLWLYH IRU 5 QHDU LH ZH ZDQW D IDFWRU RI L Application to perihelion precession :H QRZ DSSO\ WKLV WHFKQLTXH WR WKH DSSUR[LPDWH HYDOXDWLRQ RI WKH LQWHJUDO I ϕ= G] X > ] ] X< α 0*X 1 61 61 6 :H H[WHQG WKH FRQWRXU WR LQFOXGH D ODUJH FLUFOH FHQWHUHG DW X < DQG LQWHJUDWH DURXQG &DXFK\ V WKHRUHP DVVXUHV XV WKH DQVZHU LV /HW XV SDUDPHWHUL]H WKH FLUFOH DV ] = X < +ρh Lθ!!
ZKHUH ρ LV PXFK ODUJHU WKDQ X > X < EXW PXFK VPDOOHU WKDQ X 6 =α0* 7KHQ IRU DQ\ ρ ϕ + Lρ H Lθ Gθ X > X < ρh Lθ ρh Lθ α0*x < 0*ρH Lθ =,I ZH IDFWRU RXW WKH ² VLJQ DV EHIRUH ZH PD\ UHZULWH WKLV DV ϕ = Gθ (X > X < ) H ρ Lθ 0*(X > + X < )0*ρHLθ Gθ + (X > X < ) H ρ,w LV HDV\ WR VHH WKDW EHFDXVH Gθ H ± LQθ = Lθ + + 0*(X > + X < )+0*ρHLθ + IRU DQ\ QRQ]HUR LQWHJHU Q WKH UHVXOW LV DQ H[SDQVLRQ LQ SRZHUV RI 0*X RI ZKLFK WKH OHDGLQJ WHUP LV ϕ = 0* X > + X < DV EHIRUH DQG ZKLFK LV LQGHSHQGHQW RI ρ!!!