Abstract
The particular version of the inverse problem of dynamics considered here is: given the ‘slope function’ \(\gamma =f_{y}/f_{x}\), representing uniquely a family of planar curves \(f(x,y)=c\), find, if possible, potentials of the form \(V(x,y)=v(\gamma(x,y))\) which give rise to this family. Such potentials \(V\) will then have as equipotential curves the isoclinic curves \(\gamma\)=const of the family \(f(x,y)=c\). We show that, for the problem of admitting a solution, a necessary and sufficient condition must be satisfied by the given \(\gamma (x,y)\). Inferring by reasoning from particular to more general forms, we find analytically a very rich set of slope functions \(\gamma (x,y)\) satisfying this condition. In contrast to the (not always solvable) general case \(V=V(x,y)\), in all these cases we can find the potential \(v=v(\gamma)\) analytically by quadratures. Several examples of pairs \((\gamma,v(\gamma))\) are presented.
Authors
Mira-Cristiana Anisiu
Tiberiu Popoviciu Institute of Numerical Analysis, Romanian Academy, Romania
George Bozis
University of Thessaloniki, Department of Theoretical Mechanics, Thessaloniki, Greece
Keywords
?
Paper coordinates
G. Bozis, M.-C. Anisiu, A solvable version of the inverse problem of dynamics, , http://doi.org/10.1088/0266-5611/21/2/005
About this paper
Journal
Inverse problem
Publisher Name
IOPscience
DOI
Print ISSN
1361-6420
Online ISSN
0266-5611
google scholar link
[1] Agekyan T A 2003 A basic system of equations in the field of a rotationally symmetric potential Astron. Lett. 29 348-51, Crossref, Google Scholar
[2] Anisiu M-C 2003 PDEs in the inverse problem of dynamics Analysis and Optimization of Differential Systems ed V Barbu et al (Dordrecht: Kluwer Academic) pp 13-20, Crossref, Google Scholar, View article
[3] Anisiu M-C 2004 An alternative point of view on the equations of the inverse problem of dynamics Inverse Problems 20 1865-72, IOPscience, Google Scholar
[4] Borghero F and Bozis G 2002 Isoenergetic families of planar orbits generated by homogeneous potentials Meccanica 37 545-54, Crossref, Google Scholar
[5] Bozis G 1995 The inverse problem of dynamics: basic facts Inverse Problems 11 687-708, IOPscience, Google Scholar
[6] Bozis G 2003 Certain comments on: “Open problems on the eve of the next millennium” by V Szebehely Celest. Mech. Dyn. Astron. 85 219-22, Crossref, Google Scholar
[7] Bozis G and Anisiu M-C 2001 Families of straight lines in planar potentials Rom. Astron. J. 11 27-43, Google Scholar
[8] Bozis G, Anisiu M-C and Blaga C 1997 Inhomogeneous potentials producing homogeneous orbits Astron. Nachr. 318 313-8, Crossref, Google Scholar
[9] Bozis G, Anisiu M-C and Blaga C 2000 A solvable version of the direct problem of dynamics Rom. Astron. J. 10 59-70, Google Scholar
[10] Bozis G and Ichtiaroglou S 1994 Boundary curves for families of planar orbits Celest. Mech. Dyn. Astron. 58 371-85, Crossref, Google Scholar
[11] Contopoulos G and Bozis G 2000 Complex force fields and complex orbits J. Inverse Ill-Posed Probl. 8 147-60, Crossref, Google Scholar
[12] Galiullin A S 1984 Inverse Problems of Dynamics (Moscow: Mir) Google Scholar
[13] Gonzales-Gascon F, Gonzales-Lopez A and Pascual-Broncano P J 1984 On Szebehely’s equation and its connections with Dainelli’s-Whittaker’s equations Celest. Mech. 33 85-97, Crossref, Google Scholar
[14] Goursat E 1945 A Course in Mathematical Analysis, Differential Equations vol II part 2 (New York: Dover), Google Scholar
[15] Hénon M and Heiles C 1964 The applicability of the third integral of motion: some numerical experiments Astron. J. 69 73-9, Crossref, Google Scholar
[16] Puel F 1999 Potentials having two orthogonal families of curves as trajectories Celest. Mech. Dyn. Astron. 74 199-210, Crossref, Google Scholar
[17] Ramirez R and Sadovskaia N 2004 Inverse problems in dynamics Atti Sem. Mat. Fis. Univ. Modena LII at press, Google Scholar
[18] Santilli R M 1978 Foundations of Theoretical Mechanics vol I (New York: Springer), Crossref, Google Scholar
[19] Szebehely V 1974 On the determination of the potential by satellite observations Proc. of the Int. Meeting on Earth’s Rotation by Satellite Observation ed G Proverbio Rend. Sem. Fac. Sc. Univ. Cagliari XLIV (Suppl.) pp 31-5, Google Scholar
[20] Szebehely V 1997 Open problems on the eve of the next millennium Celest. Mech. Dyn. Astron. 65 205-11, Crossref, Google Scholar
[21] Whittaker E T 1961 A Treatise on the Analytical Dynamics of Particles and Rigid Bodies (Cambridge: Cambridge University Press), Google Scholar
Paper (preprint) in HTML form
A solvable version of the inverse problem of dynamics
Abstract
The particular version of the inverse problem of dynamics considered here is: given the ’slope function’ , representing uniquely a family of planar curves , find, if possible, potentials of the form which give rise to this family. Such potentials will then have as equipotential curves the isoclinic curves const of the family . We show that, for the problem of admitting a solution, a necessary and sufficient condition must be satisfied by the given . Inferring by reasoning from particular to more general forms, we find analytically a very rich set of slope functions satisfying this condition. In contrast to the (not always solvable) general case , in all these cases we can find the potential analytically by quadratures. Several examples of pairs are presented.
Related content
A solvable version of the inverse problem of dynamics
To cite this article: George Bozis and Mira-Cristiana Anisiu 2005 Inverse Problems 21487
View the article online for updates and enhancements.
-
•
The inverse problem of dynamics Mira-Cristiana Anisiu
-
•
Homogeneous families of orbits in 3D homogeneous potentials
George Bozis and Thomas A Kotoulas -
•
3D potentials and two-parametric families of orbits
Mira-Cristiana Anisiu and Thomas A Kotoulas
Recent citations
-
•
Construction of 3D potentials from a preassigned two-parametric family of orbits
Mira-Cristiana Anisiu and Thomas A Kotoulas -
•
Inverse problem in Laqranqian dynamics: special solutions for potentials possessing families of regular orbits on a given surface
Thomas A. Kotoulas
Received 17 September 2004, in final form 20 December 2004
Published 1 February 2005
Online at stacks.iop.org/IP/21/487
1. Introduction
The inverse problem of dynamics in a broad sense consists of the determination of forces, parameters and constraints which are required for the realization of a motion of a mechanical system with some properties given in advance (Galiullin 1984). As Santilli (1978) pointed out, for a Newtonian system such an inverse problem looks for necessary and sufficient conditions for the existence of a Lagrangian for which the given system represents the Euler-Lagrange equations.
The inverse problem considered in the present study seeks potentials which, for adequate initial conditions, give rise to a preassigned family of curves, traced in the Cartesian plane by a material point of unit mass. This old problem has its origin in the determination by Newton in 1687 of the force law compatible with Kepler’s laws of planetary motion. It was afterwards treated by Joukovsky, as reported by Whittaker (1961, section 56), and then brought to the scene again by Szebehely (1974). An account of the history of the various versions of the problem and of the progress made during the two decades after
Szebehely can be found in Bozis’ review paper (1995). Many papers from the last decade may be found in Anisiu’s report (2003). In addition, we mention here the study of certain isoenergetic families of orbits (Puel 1999, Borghero and Bozis 2002), the estimate of the role of the inverse problem in the framework of celestial mechanics (Szebehely 1997, Bozis 2003) and Agekyan’s (2003) work in galactic dynamics. A purely mathematical account of the various versions of the inverse problem was given recently by Ramirez and Sadovskaia (2004).
The version of the planar inverse problem we are dealing with concerns the motion of one material point of unit mass, moving in the inertial Cartesian plane. For a given family of curves
| (1) |
we denote by
| (2) |
The ’slope function’ represents the family (1), in the sense that if the family (1) is given, is obtained uniquely; conversely, from a given we can obtain a unique family (1). The inverse problem consists of finding potentials which can produce the planar family of orbits (1) or, equivalently, of finding potentials compatible with a given . This means that a material point of unit mass, whose motion is governed by the Newtonian conservative system
| (3) |
will describe, with appropriate initial conditions, the curves of the family (1), i.e., for in a real interval.
Szebehely’s equation (1974) relating the total energy function , the potential and the ’slope function’ reads (Bozis 1995)
| (4) |
In what follows we shall assume that . From the viewpoint of this paper, the case is commented upon in remark 5 of section 4.
We shall adopt for the partial derivatives the notation , which will be used for too.
The potential also satisfies the second-order linear partial differential equation (free of the energy ) (Bozis 1995, Anisiu 2004)
| (5) |
where
| (6) |
If is a solution of Szebehely’s equation (4) or of Bozis’ equation (5), the solution of the system (3) with initial conditions and will have the property that
The two-variable function can be determined by solving a linear second-order partial differential equation in (see Gonzales-Gascon et al (1984)). The function is related to the potential by
Real motion of the particle will trace the curves of the family (1) in the region given by (Bozis and Ichtiaroglou 1994).
In spite of its linearity, in general, for a given family , equation (5) cannot be solved for . For this reason, we consider in this paper the following special version of the inverse problem described above: supposing that a family is given, let us examine if there exist solutions of (5) of the form
| (7) |
This is our basic assumption. Its implications are mostly of a mathematical nature. Indeed, it will appear that only for adequate families (those satisfying condition (15) of section 2) equation (5) has solutions of the form (7). The partial differential equation (5) now becomes ordinary but, as it is still of the second order, it is not generally expected to be solvable. Yet, in our case, it turns out that its general solution is always found by quadratures.
It is easily seen from (5) that if is a solution, is also a solution ( constants). For the reasons of simplicity, in what follows the constants and will be omitted.
From the physical point of view, the meaning of the assumption (7) is that for constant it is also constant, i.e., the isoclinic curves of the orbits in the plane coincide with the equipotential curves.
The pertinent direct problem is the following: given a potential , to find monoparametric families of the form , traced in its presence by a unit mass point. For this problem, of course,
(i) not any given potential would be ’adequate’;
(ii) the calculations involved would be much more complicated. In fact, due to the nonlinearity of the pertinent differential equation in , one would not generally be able to find solutions by quadratures.
2. A differential condition for the given families
Let us suppose that for a given there exist potentials of the form (7). We can then write the partial derivatives of as follows (with and with )
Equation (5) becomes
| (8) |
where
| (9) |
with
,
.
Remark 1. We shall solve the differential equation (8), when possible, in domains where has no zeros. On the other hand, we note that the expression is identically zero if and only if
| (11) |
For (11(i))-a case already excluded in section 1 from our study- also vanishes, so, the ratio becomes indeterminate. If in (11(ii)) we have , we must also have ,
hence constant, excluded by the condition . It follows that we can express from (11(ii)). We differentiate (11(ii)) with respect to , then with respect to , and substitute and in from (10); then we insert in the result and obtain after some calculations . Therefore, for the functions which satisfy (11(ii)) we have . From (8) we get in this case for , hence also for , only the trivial solution of a constant potential.
Remark 2. The condition (11(ii)) is associated with families (1) for which
| (12) |
known as families of parallel curves (Goursat 1945, p 42). Indeed, each of (11(ii)) and (12) amounts to the same condition: .
Remark 3. From equation (8), it is clear that if a function is given such that (therefore, according to remark ), will be its solution. It is not, of course, an easy or even possible task to find all solutions of the equation . Trying to find, e.g., a function of the form for which , we obtain the complex families (see Contopoulos and Bozis (2000)) , compatible with , for which the energy is .
Generalizing slightly and trying to make with , we come to the first-order differential equation
| (13) |
where .
The function , as it can be seen from (7), depends on only, hence by necessity from (8) it follows that , i.e.,
| (14) |
Working out this condition, we obtain
| (15) |
with
| (16) | |||
expressed in terms of first-order partial derivatives of .
So, condition (15) is necessary for in order that (8) possesses a solution . In fact, if is a solution of (15) for which , we obtain from (8)
| (17) |
with constants, and with given by (7). In what follows we shall omit and , as stated at the end of section 1. The meaning of (17) is that the inverse problem (for orbits satisfying (15) and ) is solved by quadratures, in the sense that solutions of the form (7) can be found.
It is then natural to focus our attention to condition (15) as the tank from which we can and we must select adequate families for which (17) would be a compatible potential.
3. Certain adequate classes of families
By ’adequate’ we mean families satisfying condition (15), i.e., families for which the version of the inverse problem considered here does indeed give a solution of the form (7).
It appeared to us impossible to obtain the totality of solutions of (15), a nonlinear partial differential equation of the third order in the unknown function . We did, however, manage to find solutions of (15) of certain forms, as expounded in the present section and then, in turn, of more general forms as reported in section 4.
(a) We start by observing that all terms in (15) include as a factor second- or third-order derivatives of . Therefore, all slope functions
| (18) |
( constants) satisfy (15).
With (18), we obtain from (10)
| (19) | |||
and
| (20) |
As stated in section 2, from the functions of the form (18), we choose only those with , hence the ones for which at least one of and is different from zero. Let us suppose that both and are different from zero; the case when is a function of one variable ( or ) will be treated later.
From (17), we obtain
| (21) |
The equipotential lines are in this case parallel straight lines.
We remark that for given by (18), the expression
in (10) is equal to zero. We have in general that
hence it will also be zero for , with an arbitrary function. It can be easily checked that for
| (22) |
the values of and are those from (19) multiplied by , where denotes the derivative of with respect to its unique argument. It follows that will be given by the same formula (20), independently of the arbitrariness of the function . Therefore, the potential corresponding to (22) is again given by (21).
All the functions of the form (22) give rise to potentials (21), for which all isoclinic curves of the family (1) are also equipotential. From (4) we find that all families (22), independently of the selection of the arbitrary function , are isoenergetic, i.e., all their members are traced with the constant value for the energy .
Example 1. For (corresponding to the family of orbits (1) with we obtain from (21) , i.e., and . The very same potential is also compatible with , corresponding to the family , traced also with .
(b) Another general result regarding condition (15) is the following: equation (15) is satisfied for any arbitrary function of the form
| (23) |
It turns out that the corresponding function is
| (24) |
where is the derivative of with respect to its unique argument .
Keeping in mind that was the numerator of , equating it to zero will give equation (13) obtained directly in section 2 . We remark that the condition , discussed in remark 1 of section 2 , becomes , which means that no circles are allowed.
Since we know (hence ), we calculate the integral , i.e.,
| (25) |
Then, we proceed to the calculation of the potential
| (26) |
The equipotential lines are straight lines through the origin.
Application 1. Let us apply the last two formulae for
| (27) |
with constants (for we take , to exclude the circles ).
For , we find from (25)
and from (26) we obtain
| (28) |
which, apart from a multiplicative and an additive constant (depending on ), leads to
| (29) |
valid (for any and any ) for families of the form (27). With the aid of (4), it can be shown that, independently of the value of , all families (27) are isoenergetic, traced with the total energy .
Example 2. Let us consider in (27) . It is found that each family (corresponding to ) is compatible with the potential
| (30) |
The total energy of all members of the family is, as expected, .
For one obtains the family , which was proved (Bozis et al 1997) to be traced under the Hénon-Heiles (1964) potential
| (31) |
with the energy . It follows that this family is common to the Hénon-Heiles potential and to the potential (which can be expressed in terms of ) obtained from (30), namely
| (32) |
Example 3. For and , we have the family of curves (27) (corresponding to ). From (25), we obtain
and
| (33) |
Remark 1. Slope functions of the form or satisfy (15). In fact, all functions of the form (22) with or belong to this class. We obtain and the potential , compatible with for the first case. In the second case, and the potential is compatible with . In both cases, the energy is equal to 1 .
(c) The following result generalizes and covers the previous two cases of this section.
If are constants, any function of the form
| (34) |
satisfies condition (15). This can be shown by direct computations.
For (34) reduces to (22), whereas for , (34) reduces to (23). The ratio (not given here) for this case can be calculated and can be shown to constitute a generalization of formulae (20) and (24).
The examples in this section are new; the homogeneous potential (32) has the interesting property that it produces the family which is also compatible with the quasihomogeneous Hénon-Heiles potential (31).
4. A richer solution of equation (15)
We observed that all slope functions (34) separately make each side of equation (15) zero. In fact any function given by (34) satisfies the second-order partial differential equation
| (35) |
whose left-hand side appears as a factor in the right-hand side of equation (15). This led us to try to find the general solution of this equation. To this end, we write (35) as
| (36) |
whose general solution is
| (37) |
with arbitrary function of .
Then from (37), we readily obtain
| (38) |
where is also arbitrary. So, all functions defined by (38) satisfy (35), as expected. But, to our surprise, it turns out that all defined by (38) satisfy the third-order equation (15) as well.
On the other hand, in view of (38), we can calculate in terms of , (where primes denote differentiation with respect to ) and insert them into (10) in order to calculate from (9). In so doing we find
| (39) |
In conclusion, we see that, for all families given by (38), there exist potentials of the form (7) which generate them and which can be found by quadratures. From (37) we obtain the ratio and insert it in Szebehely’s equation (4), also taking into account that . So, we write (4) as
| (40) |
From (40), and in view of (8), we compute and we find them identically equal to zero. This means that constant for all members of each family . It is called that the isoenergeticity above was established for families which make each member of equation (15) zero. It is plausible that (not known to us) the solutions of (15) which are not included in the set (38) correspond to nonisoenergetic families.
Remark 1. We assume that and . For , the above ratio becomes indeterminate. The case corresponds to families of straight lines and has been excluded up to this point. (See remark 5.)
Remark 2. It is striking that the arbitrary function of (38) does not appear explicitly in (39). This means that, for two different defined by (38) for the same but different , the functions which satisfy equation (8) are the same. However, just because the two are different, the corresponding potentials defined by (7) will be, as expected, different.
Remark 3. Equation (38) introduces two arbitrary functions and, as such, is of course less from what one should expect as general solution of the third-order equation (15). Yet it is a very rich source of solutions of (15), containing, e.g., all forms of solutions found in section 3.
Indeed, let us consider the constants and the arbitrary function and let us choose as
Then (38) leads to (34), which, as already mentioned, covers (22) and (23).
Remark 4. For a compatible pair let us call the common ratio
| (41) |
Then (36) is written as , i.e., or
| (42) |
In conclusion, if the family satisfies (35), the corresponding satisfies (42).
Remark 5. Up to this point, we worked with . As seen from equation (5), is associated with
| (43) |
and with a family of straight lines in the plane (Bozis and Anisiu 2001). As we seek solutions of the form (7), equation (43) gives , meaning that, either the potential must be constant or
| (44) |
Condition (44) coincides with (11(ii)) and implies the presence of the families (12). At any rate (44) and , i.e.,
| (45) |
are incompatible.
Example 1. For , equation (38) gives
| (46) |
and equation (39) becomes
| (47) |
Then, from (17) and (47) we obtain (except for a multiplicative and an additive constant)
| (48) |
and from (7) and (46)
| (49) |
The compatibility of (46) and (49) as far as equation (5) is concerned can be checked by direct computations.
5. Discussion
One basic result of the present study is condition (15). It provides a very rich tank of adequate families for which we can solve the (generally not solvable) partial differential equation (5) of the inverse problem of dynamics, i.e., we can find by quadratures potentials of the form .
The idea for looking for such potentials emerged from the fact that potentials of this type appeared in certain examples, as and in the paper of Borghero and Bozis (2002). Dealing with the direct problem, Bozis et al (2000) found the compatible pair and . In addition, the motivation for selecting this particular form (7) for the unknown potential was also of mathematical nature, i.e., we did so in order to ease the algebra by shifting from the partial differential equation (5) to the ordinary differential equation (8). Due to the linearity of (5) in , it was expected that (8) would be solvable by quadratures. But, of course, this happens for ’adequate’ families . Naturally, then our central interest was directed to the study of the differential condition (15).
Seen as a partial differential equation in , equation (15) is nonlinear of the third order whose general solution would be desirable. As the task of finding such a solution appeared impossible to us, we treated equation (15) by proceeding from relatively simple to more complicated forms of solutions. The solutions of the forms (22) and (23) lead to the potentials (21) and (26), respectively. As already mentioned in section 3(c), an analogous result can be established for the slope functions of the more general form (34). Formulae like (21) and (26) are useful per se and, for this reason, we studied these cases separately.
The potentials of the form (21) are integrable. A further study is needed for the integrability of potentials of the form (26).
Another basic result is equation (38) with the two arbitrary functions and . It stands for the general solution of (35) and gives a very rich set of functions which make both sides of (15) zero and for which the pertinent potential can be found by quadratures from
| (50) |
with given by (39).
In section 4, we indicated how the subset of functions presented in section 3 can be obtained from (38). The totality of pairs which we established as solutions to our problem described in section 1 satisfy both equations (35) and (42). These equations are solved to completion.
In view of all the examples presented in this study, we now direct our attention to the fact that all pairs correspond to families traced isoenergetically in the presence of the potential . This is actually a general fact for families which satisfy equation (35) and it was proved in section 4.
Finally we note that, in all three cases of section 3, the ordinary differential equation can be solved by quadratures and the pertinent monoparametric family can be found explicitly in the form . Yet this is not generally the case for functions given by (38).
References
Agekyan T A 2003 A basic system of equations in the field of a rotationally symmetric potential Astron. Lett. 29 348-51
Anisiu M-C 2003 PDEs in the inverse problem of dynamics Analysis and Optimization of Differential Systems ed V Barbu et al (Dordrecht: Kluwer Academic) pp 13-20
Anisiu M-C 2004 An alternative point of view on the equations of the inverse problem of dynamics Inverse Problems 20 1865-72
Borghero F and Bozis G 2002 Isoenergetic families of planar orbits generated by homogeneous potentials Meccanica 37 545-54
Bozis G 1995 The inverse problem of dynamics: basic facts Inverse Problems 11 687-708
Bozis G 2003 Certain comments on: "Open problems on the eve of the next millennium" by V Szebehely Celest. Mech. Dyn. Astron. 85 219-22
Bozis G and Anisiu M-C 2001 Families of straight lines in planar potentials Rom. Astron. J. 11 27-43
Bozis G, Anisiu M-C and Blaga C 1997 Inhomogeneous potentials producing homogeneous orbits Astron. Nachr. 318 313-8
Bozis G, Anisiu M-C and Blaga C 2000 A solvable version of the direct problem of dynamics Rom. Astron. J. 10 59-70
Bozis G and Ichtiaroglou S 1994 Boundary curves for families of planar orbits Celest. Mech. Dyn. Astron. 58371-85
Contopoulos G and Bozis G 2000 Complex force fields and complex orbits J. Inverse Ill-Posed Probl. 8 147-60
Galiullin A S 1984 Inverse Problems of Dynamics (Moscow: Mir)
Gonzales-Gascon F, Gonzales-Lopez A and Pascual-Broncano P J 1984 On Szebehely’s equation and its connections with Dainelli’s-Whittaker’s equations Celest. Mech. 33 85-97
Goursat E 1945 A Course in Mathematical Analysis, Differential Equations vol II part 2 (New York: Dover)
Hénon M and Heiles C 1964 The applicability of the third integral of motion: some numerical experiments Astron. J. 69 73-9
Puel F 1999 Potentials having two orthogonal families of curves as trajectories Celest.Mech. Dyn. Astron. 74 199-210
Ramirez R and Sadovskaia N 2004 Inverse problems in dynamics Atti Sem. Mat. Fis. Univ. Modena LII at press
Santilli R M 1978 Foundations of Theoretical Mechanics vol I (New York: Springer)
Szebehely V 1974 On the determination of the potential by satellite observations Proc. of the Int. Meeting on Earth’s Rotation by Satellite Observation ed G Proverbio Rend. Sem. Fac. Sc. Univ. Cagliari XLIV (Suppl.) pp 31-5
Szebehely V 1997 Open problems on the eve of the next millennium Celest. Mech. Dyn. Astron. 65 205-11
Whittaker E T 1961 A Treatise on the Analytical Dynamics of Particles and Rigid Bodies (Cambridge: Cambridge University Press)
