The family of orbits given in advance in the inverse problem of dynamics can be described in implicit or parametric form. It is proved that the similar curves expressed in parametric form can be rewritten implicitly, the corresponding Örst order partial di§erential equation satisÖed by the potential being integrable by quadratures. An example from astrophysics (Ögure-eight curves) is worked out to illustrate the theoretical results.
Authors
Mira-Cristiana Anisiu
Tiberiu Popoviciu Institute of Numerical Analysis, Romanian Academy, Romania
Keywords
?
Paper coordinates
M.-C. Anisiu, Families of similar orbits in the inverse problem of Dynamics, Proceedings of the Itinerant SeminarT. Popoviciuof Functional Equations, Approximation and Convexity, Cluj-Napoca, 23-29 May 2000, ed. E. Popoviciu, Srima, 2000, 9-18 (pdf filehere)
[1] Anisiu, M.-C., Pal, A., Two-dimensional inverse problem of dynamics for families in parametric form, Inverse Problems 15 (1999), 135-140
[2] Anisiu, M.-C., Bozis, G., Programmed motion for a class of families of planar orbits, Inverse Problems 16 (2000), 19-32
[3] Bozis, G., Inverse problem with two parametric families of planar orbits, Celest. Mech. 31 (1983), 129-142
[4] Bozis, G., Caranicolas, N. D., The Earth and the Universe, Special Volume of the Aristotle University of Thessaloniki (ed. Asteriadis et al), 1997
[5] Bozis, G., Borghero, F., A new formulation of the two-dimensional inverse problem of dynamics, Inverse Problems 14 (1998), 41-51
[6] Caranicolas, N. D., Potentials for the central parts of a barred galaxy, Astronomy and Astrophysics 332 (1998), 88-92
[7] Grigoriadou, S., Bozis, G., Elmabsout, B., Solvable cases of Szebehelyís equation, Celest. Mech.74 (1999), 211-221
[8] Szebehely, V., On the determination of the potential by satellite observations, Proc. Int. Meeting on Earthís Rotations by Satellite Observations Ed. E. Proverbio (Bologna: Pitagora Editrice), 1974, 31-35
2000-Anisiu-Families
Families of Similar Orbits in the Inverse Problem of Dynamics
Mira-Cristiana Anisiu"T. Popoviciu" Institute of Numerical Analysis, Romanian Academy, P.O. Box 68, 3400 Cluj-Napocae-mail: mira@math.ubbcluj.ro
Abstract
The family of orbits given in advance in the inverse problem of dynamics can be described in implicit or parametric form. It is proved that the similar curves expressed in parametric form can be rewritten implicitly, the corresponding first order partial differential equation satisfied by the potential being integrable by quadratures. An example from astrophysics (figure-eight curves) is worked out to illustrate the theoretical results.
1 Introduction
The aim of the two-dimensional inverse problem of Dynamics is to find the potentials VV (or force fields) which can give rise to a prescribed monoparametric family of planar trajectories traced by a unit mass material point. The family of curves is given as
Szebehely (1974) showed that the potential VV, under whose action a unit mass material point describes the curves in family (1) with the energy dependence given in advance, verifies equation (2). This equation has been simplified by Bozis (1983) using a function gamma\gamma, representing the slope of the curves of the family orthogonal to (1). The simplified equation is
are solvable. They also listed some cases in which both equations (5) and (6) are solvable and offered some criteria to assure solvability in other cases.
equations (5) and (6) are solvable and the solution of (3) can be obtained by quadratures.
2 Families given in parametric form
Recently the case of families of orbits given in parametric form was considered. The motivation is that some curves (as, for example, Lissajoux ones) can thus be described in a simpler way; some families (appearing in astrophysics) are more naturally modelled parametrically.
The family of curves is given by the parametric equations
{:(7)x=F(lambda","b)quad y=G(lambda","b):}\begin{equation*}
x=F(\lambda, b) \quad y=G(\lambda, b) \tag{7}
\end{equation*}
where the parameter bb varies from member to member of the family, as cc did for (1), while lambda\lambda varies along each specific curve for a fixed bb. The first order equation satisfied by the potential in this case was derived by Bozis and Borghero (1998), while the expression of a general force field (not necessarily conservative) was determined by Anisiu and Pal (1999).
Families of ellipses in parametric form were considered by Bozis and Caranicolas (1997) and other examples (Bozis and Borghero, 1998) arose in connection with isotach orbits (orbits along which the kinetic energy T=E-VT=E-V is constant), namely the family of homocentric circles
x=b cos lambdaquad y=b sin lambda,x=b \cos \lambda \quad y=b \sin \lambda,
Other parametric families appeared in astrophysics, figure-eight curves
x=cos lambda,y=b sin 2lambdax=\cos \lambda, y=b \sin 2 \lambda
detected by NN - body simulations in barred galaxies being studied by Caranicolas (1998).
These special families of curves have in common the property that, under natural conditions, they can be transformed in the "classical" form (1) of families in the inverse problem. In the following it is shown that this is true for the class of similar curves.
3 Families of similar curves
The curves in a family given in parametric form are called self-similar if the family is given by
with b inI_(0)subR^(+)b \in I_{0} \subset \mathbb{R}^{+}or R^(-),lambda in I subR\mathbb{R}^{-}, \lambda \in I \subset \mathbb{R} and phi,psi in C(I)\phi, \psi \in C(I).
A family of curves can be described in the implicit way f(x,y)=c(1)f(x, y)=c(1) or in parametric form x=F(lambda,b)x=F(\lambda, b), y=G(lambda,b)y=G(\lambda, b) (7), the parameter bb varying along the family and lambda\lambda varying on each curve for a fixed bb. The parametric description of the family can be regarded as a transformation from a domain in the xyx y Cartesian plane to a domain in the lambda b\lambda b plane. As mentioned by Anisiu and Pal (1999), this transformation is one-to-one and with a C^(1)C^{1} inverse (at least locally) if it is of C^(1)C^{1} class and has the Jacobian
different from zero.
Proposition 1 For phi,psi inC^(1)(I)\phi, \psi \in C^{1}(I) the Jacobians of the transformations (8), (9) and (10) are respectively
For these specific transformations we can give the expression of the inverse. This will allow us to find the corresponding families of curves in the xyx y plane which originate from families of similar curves.
4 The case of self-similar curves
Let the functions phi\phi and psi\psi in (8) be given so that the Jacobian J_(1)J_{1} is different from 0 and phi(lambda)!=0\phi(\lambda) \neq 0 for each lambda in I\lambda \in I; it follows that (psi )/(phi)\frac{\psi}{\phi} is one-to-one. A similar result holds for psi(lambda)!=0\psi(\lambda) \neq 0 for each lambda in I,(phi )/(psi)\lambda \in I, \frac{\phi}{\psi} being one-to-one. Then from (8) we obtain
if I subR^(+)I \subset \mathbb{R}^{+}(for I subR^(-),b=-sqrt((x^(2)+y^(2))/(phi^(2)(lambda)+psi^(2)(lambda)))I \subset \mathbb{R}^{-}, b=-\sqrt{\frac{x^{2}+y^{2}}{\phi^{2}(\lambda)+\psi^{2}(\lambda)}} ), lambda\lambda being given by (11). The case of self-similar curves gives rise to the family of curves (12) described in the classical way for the inverse problem of dynamics. The function ff which appears in this case can be written as
Theorem 2 Let phi,psi inC^(1)(I)\phi, \psi \in C^{1}(I) be given so that phi(lambda)!=0\phi(\lambda) \neq 0 and ((psi )/(phi))^(')(lambda)!=0\left(\frac{\psi}{\phi}\right)^{\prime}(\lambda) \neq 0 for each lambda in I\lambda \in I. The family (8) can be described in the form (1) with ff given by (13)-(14), and gamma\gamma given by the function in (15) which is homogeneous of degree zero in xx and yy.
5 The case of xx-similar curves
Let the functions phi\phi and psi\psi in (9) be given so that phi(lambda)!=0\phi(\lambda) \neq 0 and psi^(')(lambda)!=0\psi^{\prime}(\lambda) \neq 0 for each lambda in I\lambda \in I; it follows that psi\psi is one-to-one. From the second equality in (9) we obtain lambda=psi^(-1)(y)\lambda=\psi^{-1}(y), and from the first one
In this case we have
Theorem 3 Let phi,psi inC^(1)(I)\phi, \psi \in C^{1}(I) be given so that phi(lambda)!=0\phi(\lambda) \neq 0 and psi^(')(lambda)!=0\psi^{\prime}(\lambda) \neq 0 for each lambda in I\lambda \in I. The family (9) can be written in the form (1) with ff given by (16)-(17), gamma\gamma being given by the expression with separable variables in (18).
6 The case of yy-similar curves
This case is analogous to the case of xx-similar curves. Considering phi\phi and psi\psi so that psi(lambda)!=0\psi(\lambda) \neq 0 and phi^(')(lambda)!=0\phi^{\prime}(\lambda) \neq 0 for each lambda in I\lambda \in I (hence phi\phi one-to-one), from the first equality (10) we obtain lambda=phi^(-1)(x)\lambda=\phi^{-1}(x), and from the second one
We can state
Theorem 4 Let phi,psi inC^(1)(I)\phi, \psi \in C^{1}(I) be given so that psi(lambda)!=0\psi(\lambda) \neq 0 and phi^(')(lambda)!=0\phi^{\prime}(\lambda) \neq 0 for each lambda in I\lambda \in I. The family (10) can be written in the implicit form (1) with ff given by (19)-(20), gamma\gamma being a function with separable variables expressed in (21).
7 Conclusions and examples
As it was mentioned in the introduction, Grigoriadou et al (1999) proved that the basic partial differential equation (3) of the inverse problem can be integrated by quadratures in the case that the function gamma\gamma is homogeneous of order 0 in xx and yy, or with separable variables. The results in the above theorems allow us to rewrite any family of similar curves (satisfying some natural conditions) in the classical form, and, more than that, to obtain the potential satisfying equation (3) by quadratures. So, for these types of families it is useful to deal with the classical description instead of the parametric one.
Let us consider the family of figure-eight curves
x=cos lambda,y=b sin 2lambdax=\cos \lambda, y=b \sin 2 \lambda
studied by Caranicolas (1997), for which an approximate potential was found (containing the first terms of a power series in the small parameter bb ). Applying theorem 4 for this yy-similar family of curves with b in(0,oo),lambda in(0,(pi)/(2))b \in(0, \infty), \lambda \in\left(0, \frac{\pi}{2}\right) one obtains f_(3)(x,y)=(y)/(xsqrt(1-x^(2))),x in(0,1),y in(0,oo)f_{3}(x, y)=\frac{y}{x \sqrt{1-x^{2}}}, x \in(0,1), y \in(0, \infty), which gives rise to the family
where u(x,c_(1))u\left(x, c_{1}\right) and bar(E)(x,c_(1))\bar{E}\left(x, c_{1}\right) are obtained from (2Gamma(x,y))/(1+gamma^(2)(x,y))\frac{2 \Gamma(x, y)}{1+\gamma^{2}(x, y)}, respectively E(f(x,y))E(f(x, y)), by substituting y^(2)=c_(1)-(1)/(2)x^(2)+(1)/(4)ln|(2x^(2)-1)/(2)|y^{2}=c_{1}- \frac{1}{2} x^{2}+\frac{1}{4} \ln \left|\frac{2 x^{2}-1}{2}\right|. We obtain
V=exp(int^(x)u(s,c_(1))ds)(c_(2)-int^(x)u(s,c_(1))( bar(E))(s,c_(1))exp(-int^(s)u(t,c_(1))dt)ds)V=\exp \left(\int^{x} u\left(s, c_{1}\right) d s\right)\left(c_{2}-\int^{x} u\left(s, c_{1}\right) \bar{E}\left(s, c_{1}\right) \exp \left(-\int^{s} u\left(t, c_{1}\right) d t\right) d s\right)
The calculations show that the function uu has the form
{:(24)I(x,c_(1))=-int^(x)E^(')((c_(1)-(1)/(2)s^(2)+(1)/(4)ln|(2s^(2)-1)/(2)|)/(s^(2)(1-s^(2))))(2(2s^(2)-1))/(s^(3)(s^(2)-1)^(2))ds:}\begin{equation*}
I\left(x, c_{1}\right)=-\int^{x} E^{\prime}\left(\frac{c_{1}-\frac{1}{2} s^{2}+\frac{1}{4} \ln \left|\frac{2 s^{2}-1}{2}\right|}{s^{2}\left(1-s^{2}\right)}\right) \frac{2\left(2 s^{2}-1\right)}{s^{3}\left(s^{2}-1\right)^{2}} d s \tag{24}
\end{equation*}
and E^(')E^{\prime} denotes the derivative of the function EE with respect to its argument.
The general solution of the partial differential equation (3) will be given by c_(2)=A(c_(1))c_{2}=A\left(c_{1}\right) with AA an arbitrary function of c_(1)c_{1} from (23). For the family of curves (22) traced with a preassigned energy E(f)E(f), the potentials creating it are given by
where II is given by (24) and c_(1)=y^(2)+(1)/(2)x^(2)-(1)/(4)ln|(2x^(2)-1)/(2)|c_{1}=y^{2}+\frac{1}{2} x^{2}-\frac{1}{4} \ln \left|\frac{2 x^{2}-1}{2}\right|.
It is known that during the motion of a material point of unit mass along an orbit of the family the inequality
c_(1)c_{1} being given by (23).
If we are interested in finding the potentials producing families of orbits with constant energy (i.e. the energy has the same value ee for all the curves in the family), we obtain
in this case II being identically null.
If we choose E(f)=f+1E(f)=f+1, it follows E^(')(f)=1E^{\prime}(f)=1 and I(x,c_(1))I\left(x, c_{1}\right) will depend only on xx,
In this case, considering the special value of the arbitrary function A,A(z)=4A, A(z)=4 we obtain the potential
V_(p)(x,y)=4y^(2)+x^(2)V_{p}(x, y)=4 y^{2}+x^{2}
which is a two-dimensional harmonic oscillator potential with the ratio of frequencies 1:21: 2. This represents a very simple potential producing figure-eight orbits.
We have proved that the case of orbits (22) given in parametric form can be successfully treated by using the classical implicit description of the family. The most general form of potentials producing this family is given by (25) and, choosing the dependence of the energy on the family, we can obtain specific potentials. The inequality (27) allows us to programme motion in some regions of the space chosen in advance, having at our disposal the arbitrary function AA. The possibility of programming motion was studied in detail by Anisiu and Bozis (2000) for the case of families of curves f(x,y)=y-h(x)f(x, y)=y-h(x); for that type of families the integration by quadratures of Szebehely's equation can also be accomplished.
References
[1] Anisiu, M.-C., Pal, A., Two-dimensional inverse problem of dynamics for families in parametric form, Inverse Problems 15 (1999), 135-140
[2] Anisiu, M.-C., Bozis, G., Programmed motion for a class of families of planar orbits, Inverse Problems 16 (2000), 19-32
[3] Bozis, G., Inverse problem with two parametric families of planar orbits, Celest. Mech. 31 (1983), 129-142
[4] Bozis, G., Caranicolas, N. D., The Earth and the Universe, Special Volume of the Aristotle University of Thessaloniki (ed. Asteriadis et al), 1997
[5] Bozis, G., Borghero, F., A new formulation of the two-dimensional inverse problem of dynamics, Inverse Problems 14 (1998), 41-51
[6] Caranicolas, N. D., Potentials for the central parts of a barred galaxy, Astronomy and Astrophysics 332 (1998), 88-92
[7] Grigoriadou, S., Bozis, G., Elmabsout, B., Solvable cases of Szebehely's equation, Celest. Mech. 74 (1999), 211-221
[8] Szebehely, V., On the determination of the potential by satellite observations, Proc. Int. Meeting on Earth's Rotations by Satellite Observations Ed. E. Proverbio (Bologna: Pitagora Editrice), 1974, 31-35
Abstract AuthorsMira-Cristiana Anisiu Tiberiu Popoviciu Institute of Numerical Analysis, Romanian Academy, Romania Keywords? Paper coordinatesM.-C. Anisiu, The inverse problem of…
Abstract AuthorsMira-Cristiana Anisiu Tiberiu Popoviciu Institute of Numerical Analysis, Romanian Academy, Romania Valeriu Anisiu Babes-Bolyai Universitatis Cluj-Napoca, Romania Keywords? Paper…
Abstract AuthorsMira-Cristiana Anisiu Tiberiu Popoviciu Institute of Numerical Analysis Cluj-Napoca, Romanian Academy Keywords? Paper coordinatesM.-C. Anisiu, Finite words with special…
Abstract Given a continuous function \(u:[0,\infty)\rightarrow \mathbb{R}\), a family of functionals \(\varphi_{\U{3b1} }:C(I)\rightarrow \mathbb{R},\U{3b1} >0,\) is defined by \(\varphi_{\U{3b1} }(f)=\frac{1}{\U{3b1}…