We design a space rocket from scratch. Part 5 - Kepler's First Law

Content



Part 1 - The task of two bodies

Part 2 - Semi-solution of the two-body problem

Part 3 - Already almost-solution of the two-body problem

Part 4 - Kepler's Second Law



Hello to all readers! Immediately proceed to continue without unnecessary ranting. Last time we stopped at:





 ddot rho= dfrac mu rho2+ dfrach2 rho3







This is a second-order differential equation, where, as an unknown function, is the length of the radius of a time-dependent vector. Here h2 geq0, mu=G(m1+m2)>0.h, as we recall, it can be zero in the case of rectilinear motion along the radius vector. This case is too simple, we won’t even consider it, and whoever wants to can equalize in the equation to zero and solve it further.



Here we try to solve for h neq0. The first thing that comes to mind (it came to mine when I first saw this equation) is that it’s not here  dot rho well of course and t. And in such cases (special) it is possible to carry out further replacement, which reduces the order of the equation to the first.



In the general case, a second-order equation can be written as:





F(t, rho, dot rho, ddot rho)=0







In our case, the equation is simpler when:





F( rho, ddot rho)=0







And in such cases, you can make a substitution that reduces the order of the equation:





 dot rho=z( rho),







Where z - a new unknown function, but which does not depend directly on time, but on  rho. Then:





 ddot rho= dfracdzd rho dfracd rhodt=z dot rho=zz







Here we differentiated as a complex function, and then the derivative z by  rho. Now everything is ready, and you can substitute:





zz= dfrac mu rho2+ dfrach2 rho3







First order equation but relatively  rho, instead of time. And with shared variables:





 dfracdzd rhoz= dfrac mu rho2+ dfrach2 rho3











zdz= left( dfrac mu rho2+ dfrach2 rho3 right)d rho







Integrating is not difficult:





 dfracz22= dfrac mu rho dfrach22 rho2+ dfracC2







Well added gender constants, what's the difference? But then it’s easier to live:





z2= dfrac2 mu rho dfrach2 rho2+C= dfrac2 mu rhoh2+C rho2 rho2







It's time to remember what is z :





 dot rho2= dfrac2 mu rhoh2+C rho2 rho2







And extract the root:





 dot rho= pm sqrt dfrac2 mu rhoh2+C rho2 rho2= pm dfrac sqrtC rho2+2 mu rhoh2 rho







The equation is again with separable variables, and even the integral seems to be taken in elementary functions:





 int dfrac rhod rho sqrtC rho2+2 mu rhoh2= pm intdt







And everything would be fine, but the problem is that if we decide, we get an inverse relationship, that is, time on the radius:





t=f( rho)







But I would like the opposite:





 rho=f1(t)







Yes, and this  pm - think which branch to choose. But this is not the worst, you will need to consider different cases of constant ratios under the root: C>0,C<0,C=0...

You can, of course, drive into wolframalpha and figure out what will happen:

image



This is just fear and horror, and you can not even dream of finding the inverse elementary function. But we still need to look for the angle:





 dot phi= dfrach rho2











 phi=h int dfracdt rho2=h int dfracdt left(f1(t) right)2







Too dreary business. And even the ability to count integrals from inverse functions will not save us most likely.



Ability to count integrals of inverse functions





 int dfracdt left(f1(t) right)2= beginvmatrixy=f1(t)f(y)=tdt=f(y)dy endvmatrix= int dfracf(y)dyy2











By the way, you can notice some property for the angle  phi here from this equality:





 dot phi= dfrach rho2







 rho2>0 - this thing is always greater than zero. It is more correct from the point of view of mathematics to say: it is more or equal to zero, but from the physical point of view - only more. After all, our bodies are not material points. So they can never get closer to zero distance. That is, their centers of mass will never coincide, otherwise they would have to pass through each other. So who is afraid of dividing by zero - do not be afraid.



So what am I talking about, oh yes. h also always greater than or less than zero, or zero. After all, this is a constant value (by the way, when zero - then the angle is constant and the movement along the radius of the vector was verified again). And this means that the derivative of the angle is constant in sign throughout the movement:





 dot phi>0







or





 dot phi<0







depending on the sign h .



In other words, the corner itself  phi Is a strictly monotonic function. Who does not remember how it is, here is a clear picture:

image

Monotonic and nonmonotonic function



This fact confirms what we saw in the numerical simulation. The body always moves in one direction. It never stops (the derivative is zero) and does not start spinning in the opposite direction (the derivative changes sign).



Accordingly, the trajectories may and may not be as follows:

image

Blue - possible trajectories, red - impossible (in polar coordinates)



Well, animations are not superfluous:

image

Derivative  dot phi changes sign. We definitely won’t have such decisions.



By the way, ellipses, hyperbolas and parabolas (sections of a cone by a plane) are very possible. We saw this last time, numerically counting.



I wanted to make my educational program on conic sections, but today I became lazy, and I want to publish the article already. Maybe I'll do it sometime in the future. In the meantime, you can limit yourself to this: Dundelen balls - this is where ellipses have tricks growing.



In polar coordinates, conics can be defined as follows (with the center in one of the foci and the zero direction along the main axis):





 rho= dfracl1+e cos( phi),







Where e denotes eccentricity, and l focal parameter.



And lo and behold, all three types of conics are defined by one equation, and only the eccentricity determines what the conic will become today.



Ellipse ( e<1 ):





 rho= dfrac11+0.5 cos( phi)







image

Ellipse



Parabola ( e=1 ):





 rho= dfrac11+ cos( phi)







image

Parabola



Hyperbola ( e>1 ):





 rho= dfrac11+1.5 cos( phi)







image

Hyperbola



Everything is very similar to the satellite trajectories obtained by numerical simulation ...



As you can see here  rho= rho( phi) - radius as a function of angle. And the expressions are pretty simple. So maybe it makes sense to first find the dependence of the radius on the angle, and then the angle as a function of time? You can try and test our hypothesis that solutions are conic.



Recall that we have:

\ begin {equation *}

\ begin {cases}

\ dot {\ phi} = \ dfrac {h} {\ rho ^ {2}},

\\

\ dot {\ rho} = \ pm \ dfrac {\ sqrt {C \ rho ^ {2} + 2 \ mu \ rho - h ^ {2}}} {\ rho}.

\ end {cases}

\ end {equation *}

By dividing one into another, you can get rid of dt :





 dfracd phidt dfracdtd rho= pm dfrach rho2 dfrac rho sqrtC rho2+2 mu rhoh2,











 dfracd phid rho= dfrach rho sqrtC rho2+2 mu rhoh2







But again it turns out uncomfortable, on the contrary:





 intd phi=h int dfracd rho rho sqrtC rho2+2 mu rhoh2







Of course, this integral can be taken, and even, most likely, then it will not be possible to find the inverse function of labor. But there is a simpler way to find addiction  rho= rho( phi).



We assume that the solution will look like this:





 rho= dfracl1+e cos( phi),







Here is the equation:





 ddot rho= dfrac mu rho2+ dfrach2 rho3







But the time derivative, though. And we would be in the corner. Nothing prevents just making a complex function:





 rho= rho( phi(t))







continue to differentiate a couple of times, while using the facts we have already obtained (  rho2 dot phi=h )



But before that, the equation itself and the proposed solution itself asks to make such a replacement:





 rho= dfrac1u







Then the function itself u will be like this:





u=a+b cos( phi)







And these are the solutions of such elementary diffurs:





 ddotu+ku=f







That is, by making a sequential change:





 rho= dfrac1u,











u=u( phi)







It is hoped that the equation will be reduced to a very simple one.



Proceed:





 rho= dfrac1u,











 dot rho= dfracddtu1= dfrac1u2 dotu= dfrac dotuu2,











 ddot rho= dfracddt left( dfrac1u2 dotu right)= left( dfracdu2dt dotu+ dfrac1u2 ddotu right)=











= left(2 dfrac1u3 dotu2+ dfrac1u2 ddotu right)= dfrac ddotuu2+2 dfrac dotu2u3







Substituting the source will be like this:





 dfrac ddotuu2+2 dfrac dotu2u3= muu2+h2u3







And let's continue, let now:





u=u( phi),











 dotu= dfracdud phi dfracd phidt=u dot phi= beginvmatrix dot phi= dfrach rho2 dot phi=hu2 endvmatrix=hu2u,











 ddotu= dfracddt(hu2u)=h left( dfracdu2dtu+u2 dfracdudt right)=











=h left(2u dfracdudtu+u2 dfracdud phi dfracd phidt right)=h left(2u dotuu+u2u dot phi right)=











= h \ left (2uhu ^ {2} u ^ {'} u ^ {'} + u ^ {2} u ^ {'}} hu ^ {2} \ right) = h ^ {2} \ left ( 2u ^ {3} (u ^ {'}) ^ {2} + u ^ {4} u ^ {' '} \ right)







Yes, you need to work a little harder to differentiate everything and not to make a mistake, but nevertheless to differentiate it is not to integrate. Anyway, everything can be entrusted to the machine, it will correctly take the derivative. Machines, of course, can integrate, but not always. But to differentiate anything. Integration after all is creativity and IMHO will always remain it (Breaking - not building).



In the end, what we have:





 dfrac ddotuu2+2 dfrac dotu2u3= muu2+h2u3,











 dfrach2 left(2u3(u)2+u4u right)u2+2 dfrac(hu2u)2u3= muu2+h2u3,











2h2u(u)2h2u2u+2h2u(u)2= muu2+h2u3,











h2u2u= muu2+h2u3,











h2u= mu+h2u,











u= dfrac muh2u,











u+u= dfrac muh2.







Well, will we solve this equation?



This is a linear diff. second-order equation (second derivative) is heterogeneous (not zero on the right). But the heterogeneity does not complicate the decision process too much for us, since the constant on the right is also always greater than zero (h is not equal to zero, who wanted to consider this case at the very beginning, and for this it was not necessary to do all the above).



The standard method of solution, but for prettiness, we write everything down, do not miss anything:





u+u=0,











 lambda2+1=0,











 lambda= pmi,







So the solution will be:





uo=C1sin( phi)+C2cos( phi),







The general decision will be as a sum of homogeneous and particular. You can search for a particular in the form of a constant:





u texth=K,







Then the general solution:





u=C1sin( phi)+C2cos( phi)+K







Differentiating twice and substituting in the original equation, we find the constant of the particular solution:





u=C1sin( phi)C2cos( phi)











u+u=C1sin( phi)C2cos( phi)+C1sin( phi)+C2cos( phi)+K= dfrac muh2











K= dfrac muh2







Well, it just so happened that this constant is the right side of our equation. Eventually:





u=C1sin( phi)+C2cos( phi)+ dfrac muh2







Here we have two arbitrary constants (the equation is still of the second order), which are determined from the initial conditions. But the problem is that we expected to find a solution in this form (ellipses, hyperbolas, parabolas):





u=a+b cos( phi)







Same? Well, it’s okay, anyone who is familiar with trigonometry will easily record everything as he wishes (a famous trick):





C1sin( phi)+C2cos( phi)= sqrtC12+C22 left( dfracC1 sqrtC12+C22sin( phi)+ dfracC2 sqrtC12+C22cos( phi) right)=











= sqrtC12+C22 left(sin( omega)sin( phi)+cos( omega)cos( phi) right)=A cos( phi omega),







Where A, omega - two arbitrary constants expressed through old C1,C2 in a simple way. And in general this does not matter to us, because these are constants.



Thus, we have a solution, in a more or less expected form:





u= dfrac muh2+A cos( phi omega)







And unknown constants are also expected, for this we need the value of the function at the starting point, as well as the derivative:

\ begin {equation *}

\ begin {cases}

u (0) = u_ {0},

\\

u ^ {'} (0) = u ^ {'} _ {0}.

\ end {cases}

\ end {equation *}

Do not forget also that the dependence here is on the angle, and not on time:





u(0)=u( phi=0)







Need derivative, please:





u=A sin( phi omega)







And a system for finding arbitrary constants:

\ begin {equation *}

\ begin {cases}

\ dfrac {\ mu} {h ^ {2}} + A \ cos (0 - \ omega) = u_ {0},

\\

-A \ sin (0 - \ omega) = u ^ {'} _ {0}.

\ end {cases}

\ end {equation *}

\ begin {equation *}

\ begin {cases}

A \ cos (\ omega) = u_ {0} - \ dfrac {\ mu} {h ^ {2}} = a,

\\

A \ sin (\ omega) = u ^ {'} _ {0} = b.

\ end {cases}

\ end {equation *}

For convenience, the right-hand sides were designated a and b. Now easy to find A squaring the equalities and adding them:





A2 cos2( omega)+A2 sin2( omega)=a2+b2











A= pm sqrta2+b2







You will probably need to select +, because A Is eccentricity. Well, God be with him, then if something can be re-designated in e .

Starting angle  omega can be found by dividing one equation into another:





 dfracA sin( omega)A cos( omega)= dfracba,











 tan( omega)= dfracba,











 omega= arctan( dfracba),







It seems they found everything, but now I would unravel the tangle with a,b :

\ begin {equation *}

\ begin {cases}

a = u_ {0} - \ dfrac {\ mu} {h ^ {2}},

\\

b = u ^ {'} _ {0}.

\ end {cases}

\ end {equation *}

We will analyze and recall that here who:





 mu=G(m1+m2)







To find the rest, you need to determine the initial conditions in the polar system, they will be such (here already at the initial moment of time t=0 ):

\ begin {equation *}

\ begin {cases}

\ rho (0) = \ rho_ {0},

\\

\ dot {\ rho} (0) = \ dot {\ rho} _ {0},

\\

\ phi (0) = \ phi_ {0},

\\

\ dot {\ phi} (0) = \ dot {\ phi} _ {0}. \\

\ end {cases}

\ end {equation *}

Then at any given time:





h= rho2 dot phi







In particular, the zero moment will determine the constant h :





h= rho02 dot phi0







Moment of momentum at time zero (wordplay).



And finally:





u0= dfrac1 rho0







And you need to tinker with the derivative a little bit:





u= dfracdud phi= dfracdd phi left( dfrac1 rho right)= dfrac1 rho2 dfracd rhod phi= dfrac1 rho2 dfracd rhodt/ dfracd phidt= dfrac1 rho2 dfrac dot rho dot phi







What we need:





u0= dfrac1 rho02 dfrac dot rho0 dot phi0







It seems to be sorted out. But we didn’t start with the polar coordinate system. Not from her ... Still a little fuss will be.



How did we get into the polar. So:

\ begin {equation *}

\ begin {cases}

x = \ rho \ cos (\ phi),

\\

y = \ rho \ sin (\ phi).

\ end {cases}

\ end {equation *}

Back how? So (immediately at time zero):

\ begin {equation *}

\ begin {cases}

\ rho_ {0} = \ sqrt {x ^ {2} _ {0} + y ^ {2} _ {0}},

\\

\ phi_ {0} = \ arctan (\ dfrac {y_ {0}} {x_ {0}}).

\ end {cases}

\ end {equation *}

But if anyone remembers, we sent the axis last time x along  vecr0 , and therefore it should be like this:





x0=| vecr0|,y0=0







Respectively:





 rho0=x0, phi0=0







Well, it’s not in vain that before that we took the initial angle to zero, in the sense here u(0)=u( phi=0).



With speeds, everything is also simple (we copy the formulas from the previous article):

\ begin {equation *}

\ begin {cases}

\ dot {x} = \ dot {\ rho} \ cos (\ phi) - \ rho \ sin (\ phi) \ dot {\ phi}

\\

\ dot {y} = \ dot {\ rho} \ sin (\ phi) + \ rho \ cos (\ phi) \ dot {\ phi}

\ end {cases}

\ end {equation *}

True, you need the opposite, here a linear system of equations, we solve:

\ begin {equation *}

\ begin {cases}

\ dot {\ rho} = \ dot {x} \ cos (\ phi) + \ dot {y} \ sin (\ phi)

\\

\ dot {\ phi} = \ dfrac {\ dot {y} \ cos (\ phi) - \ dot {x} \ sin (\ phi)} {\ rho}

\ end {cases}

\ end {equation *}

This can be used even when the initial angle is not zero, but in our case:

\ begin {equation *}

\ begin {cases}

\ dot {\ rho} _ {0} = \ dot {x} _ {0}

\\

\ dot {\ phi} _ {0} = \ dfrac {\ dot {y} _ {0}} {\ rho_ {0}}

\ end {cases}

\ end {equation *}

Well, then I will not paint as from the initial data  vecr10, vecr20, dot vecr10, dot vecr20 (we started with this) calculate x0,y0, dotx0, doty0 . I can only say that the next step will be to use the inverse transformation matrix; it was lost somewhere in previous articles. And so we will go back out of the plane into three-dimensional space. No matter how comfortable it was in two-dimensional, but we live in three-dimensional ...



That's all for today. To be continued…



Give us our daily bread today.
PayPal ($): what.is.truth.19@gmail.com

Bitcoin (BTC): 1AodAFYCbwrwTiZb5JVsQjv37G5toBcyQ

Ethereum Classic (ETC): 0x9234016395e0e6ef7cf6c0aa0f6f48f91ab39239

Ripple (XRP): rLW9gnQo7BQhU6igk5keqYnH3TVrCxGRzm (address), 270547561 (tag)

Bitcoin Cash (BCH): bitcoincash: qzxfz2hdcl0hv23a3hlcefsy07mglssjtgwrckhyg8



or webmoney (Below: Support the author -> Send money)





Not as holy as the Lord; for there is none other than Thee; and there is no rock like our God.

Do not multiply the speeches of the arrogant; bold words do not come from your mouth; for the Lord is the God of knowledge, and His affairs are balanced.

The bow of the strong is refracted, and the weak are girded by force;

the well-fed work from bread, and the hungry rest; even the barren gives birth seven times, and the multi-child gives birth to exhaustion.

The Lord kills and quickens, brings down to the netherworld and raises;

The Lord makes a beggar and enriches, humiliates and exalts.

He will lift the poor out of the dust, exalt the beggar out of tribe, planting with the nobles, and he will give them the throne of glory; for the Lord has the foundation of the earth, and He established the universe upon them.

He watches the feet of His saints, but the wicked in the darkness disappear; for man is not strong by force.

The Lord will destroy the disputes with Him; thunder from heaven thunder upon them. The Lord will judge the ends of the earth, and give fortress to his king, and exalt his anointed horn.

1 Samuel 2






All Articles