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’ \(\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

Keywords

?

Paper coordinates

A solvable version of the inverse problem of dynamics, Inverse Problems, 21 (2005) no. 2, pp. 487-497, http://doi.org/10.1088/0266-5611/21/2/005

PDF

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

George Bozis 1 and Mira-Cristiana Anisiu 2
1 Department of Physics, University of Thessaloniki, GR-540 06 Thessaloniki, Greece
2 T Popoviciu Institute of Numerical Analysis, Romanian Academy, PO Box 68, 400110 Cluj-Napoca, Romania
E-mail: gbozis@auth.gr and mira@math.ubbcluj.ro
Abstract

The particular version of the inverse problem of dynamics considered here is: given the ’slope function’ γ=fy/fx\gamma=f_{y}/f_{x}, representing uniquely a family of planar curves f(x,y)=cf(x,y)=c, find, if possible, potentials of the form V(x,y)=v(γ(x,y))V(x,y)=v(\gamma(x,y)) which give rise to this family. Such potentials VV will then have as equipotential curves the isoclinic curves γ=\gamma= const of the family f(x,y)=cf(x,y)=c. We show that, for the problem of admitting a solution, a necessary and sufficient condition must be satisfied by the given γ(x,y)\gamma(x,y). Inferring by reasoning from particular to more general forms, we find analytically a very rich set of slope functions γ(x,y)\gamma(x,y) satisfying this condition. In contrast to the (not always solvable) general case V=V(x,y)V=V(x,y), in all these cases we can find the potential v=v(γ)v=v(\gamma) analytically by quadratures. Several examples of pairs (γ,v(γ))(\gamma,v(\gamma)) 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 V=V(x,y)V=V(x,y) 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 xyxy inertial Cartesian plane. For a given family of curves

f(x,y)=cf(x,y)=c (1)

we denote by

γ=fyfx and Γ=γγxγy\gamma=\frac{f_{y}}{f_{x}}\quad\text{ and }\quad\Gamma=\gamma\gamma_{x}-\gamma_{y} (2)

The ’slope function’ γ\gamma represents the family (1), in the sense that if the family (1) is given, γ\gamma is obtained uniquely; conversely, from a given γ\gamma we can obtain a unique family (1). The inverse problem consists of finding potentials VV which can produce the planar family of orbits (1) or, equivalently, of finding potentials VV compatible with a given γ\gamma. This means that a material point of unit mass, whose motion is governed by the Newtonian conservative system

x¨=Vx,y¨=Vy,\ddot{x}=-V_{x},\quad\ddot{y}=-V_{y}, (3)

will describe, with appropriate initial conditions, the curves of the family (1), i.e., f(x(t),y(t))=cf(x(t),y(t))=c for tt in a real interval.

Szebehely’s equation (1974) relating the total energy function E(f)E(f), the potential VV and the ’slope function’ γ\gamma reads (Bozis 1995)

E=V(1+γ2)(Vx+γVy)2ΓE=V-\frac{\left(1+\gamma^{2}\right)\left(V_{x}+\gamma V_{y}\right)}{2\Gamma} (4)

In what follows we shall assume that Γ0\Gamma\neq 0. From the viewpoint of this paper, the case Γ=0\Gamma=0 is commented upon in remark 5 of section 4.

We shall adopt for the partial derivatives the notation Vij=i+jVxiyjV_{ij}=\frac{\partial^{i+j}V}{\partial x^{i}\partial y^{j}}, which will be used for γ\gamma too.

The potential VV also satisfies the second-order linear partial differential equation (free of the energy E(f)E(f) ) (Bozis 1995, Anisiu 2004)

V02V20+κV11=λV10+μV01V_{02}-V_{20}+\kappa V_{11}=\lambda V_{10}+\mu V_{01} (5)

where

κ=1γγ,λ=ΓyγΓxγΓ,μ=λγ+3Γγ.\kappa=\frac{1}{\gamma}-\gamma,\quad\lambda=\frac{\Gamma_{y}-\gamma\Gamma_{x}}{\gamma\Gamma},\quad\mu=\lambda\gamma+\frac{3\Gamma}{\gamma}. (6)

If VV is a solution of Szebehely’s equation (4) or of Bozis’ equation (5), the solution of the system (3) with initial conditions t0,x0,y0,x˙0=g~(x0,y0)fy(x0,y0)t_{0},x_{0},y_{0},\dot{x}_{0}=\tilde{g}\left(x_{0},y_{0}\right)f_{y}\left(x_{0},y_{0}\right) and y˙0=g~(x0,y0)fx(x0,y0)\dot{y}_{0}=-\tilde{g}\left(x_{0},y_{0}\right)f_{x}\left(x_{0},y_{0}\right) will have the property that

f(x(t),y(t))=f(x0,y0)=c0.f(x(t),y(t))=f\left(x_{0},y_{0}\right)=c_{0}.

The two-variable function g~\tilde{g} can be determined by solving a linear second-order partial differential equation in g~2\tilde{g}^{2} (see Gonzales-Gascon et al (1984)). The function g~\tilde{g} is related to the potential VV by

g~2=Vx+γVyfx2Γ\tilde{g}^{2}=-\frac{V_{x}+\gamma V_{y}}{f_{x}^{2}\Gamma}

Real motion of the particle will trace the curves of the family (1) in the region given by (Vx+γVy)/Γ0\left(V_{x}+\gamma V_{y}\right)/\Gamma\leqslant 0 (Bozis and Ichtiaroglou 1994).

In spite of its linearity, in general, for a given family γ(x,y)\gamma(x,y), equation (5) cannot be solved for V=V(x,y)V=V(x,y). For this reason, we consider in this paper the following special version of the inverse problem described above: supposing that a family γ=γ(x,y)\gamma=\gamma(x,y) is given, let us examine if there exist solutions of (5) of the form

V(x,y)=v(γ(x,y)).V(x,y)=v(\gamma(x,y)). (7)

This is our basic assumption. Its implications are mostly of a mathematical nature. Indeed, it will appear that only for adequate families γ(x,y)\gamma(x,y) (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 VV is a solution, c1V+c2c_{1}V+c_{2} is also a solution ( c1,c2c_{1},c_{2} constants). For the reasons of simplicity, in what follows the constants c1c_{1} and c2c_{2} will be omitted.

From the physical point of view, the meaning of the assumption (7) is that for γ(x,y)=\gamma(x,y)= constant it is also V(x,y)=V(x,y)= constant, i.e., the isoclinic curves of the orbits in the xyxy plane coincide with the equipotential curves.

The pertinent direct problem is the following: given a potential V=V(x,y)V=V(x,y), to find monoparametric families of the form γ=h(V(x,y))\gamma=h(V(x,y)), 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 γ=h(V)\gamma=h(V), 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 γ\gamma there exist potentials of the form (7). We can then write the partial derivatives of VV as follows (with v=dvdγv^{\prime}=\frac{\mathrm{d}v}{\mathrm{~d}\gamma} and with γij=i+jγxiyj\gamma_{ij}=\frac{\partial^{i+j}\gamma}{\partial x^{i\partial y^{j}}} )

V10=vγ10,V01=vγ01V20=v′′γ102+vγ20,V11=v′′γ10γ01+vγ11,V02=v′′γ012+vγ02\begin{array}[]{lll}V_{10}=v^{\prime}\gamma_{10},&V_{01}=v^{\prime}\gamma_{01}&\\ V_{20}=v^{\prime\prime}\gamma_{10}^{2}+v^{\prime}\gamma_{20},&V_{11}=v^{\prime\prime}\gamma_{10}\gamma_{01}+v^{\prime}\gamma_{11},&V_{02}=v^{\prime\prime}\gamma_{01}^{2}+v^{\prime}\gamma_{02}\end{array}

Equation (5) becomes

v′′v=R,\frac{v^{\prime\prime}}{v^{\prime}}=R, (8)

where

R=R1R2,R=\frac{R_{1}}{R_{2}}, (9)

with
R1=(1+γ2)(γγ01γ20(γγ10+γ01)γ11+γ10γ02)+(γγ10γ01)(γ1022γγ10γ01+3γ012)R_{1}=\left(1+\gamma^{2}\right)\left(\gamma\gamma_{01}\gamma_{20}-\left(\gamma\gamma_{10}+\gamma_{01}\right)\gamma_{11}+\gamma_{10}\gamma_{02}\right)+\left(\gamma\gamma_{10}-\gamma_{01}\right)\left(\gamma_{10}^{2}-2\gamma\gamma_{10}\gamma_{01}+3\gamma_{01}^{2}\right),
R2=(γγ10γ01)2(γγ01+γ10)R_{2}=\left(\gamma\gamma_{10}-\gamma_{01}\right)^{2}\left(\gamma\gamma_{01}+\gamma_{10}\right).

Remark 1. We shall solve the differential equation (8), when possible, in domains where R2R_{2} has no zeros. On the other hand, we note that the expression R2R_{2} is identically zero if and only if

 (i) Γ=γγ10γ01=0 or  (ii) γγ01+γ10=0.\text{ (i) }\quad\Gamma=\gamma\gamma_{10}-\gamma_{01}=0\quad\text{ or }\quad\text{ (ii) }\quad\gamma\gamma_{01}+\gamma_{10}=0. (11)

For (11(i))-a case already excluded in section 1 from our study- R1R_{1} also vanishes, so, the ratio v′′/vv^{\prime\prime}/v^{\prime} becomes indeterminate. If in (11(ii)) we have γ01=0\gamma_{01}=0, we must also have γ10=0\gamma_{10}=0,
hence γ=\gamma= constant, excluded by the condition Γ0\Gamma\neq 0. It follows that we can express γ=γ10/γ01\gamma=-\gamma_{10}/\gamma_{01} from (11(ii)). We differentiate (11(ii)) with respect to xx, then with respect to yy, and substitute γ20=(γ10γ01+γγ11)\gamma_{20}=-\left(\gamma_{10}\gamma_{01}+\gamma\gamma_{11}\right) and γ02=(γ11+γ012)/γ\gamma_{02}=-\left(\gamma_{11}+\gamma_{01}^{2}\right)/\gamma in R1R_{1} from (10); then we insert γ=γ10/γ01\gamma=-\gamma_{10}/\gamma_{01} in the result and obtain after some calculations R1=2(γ102+γ012)2/γ01R_{1}=-2\left(\gamma_{10}^{2}+\gamma_{01}^{2}\right)^{2}/\gamma_{01}. Therefore, for the functions γ\gamma which satisfy (11(ii)) we have R10R_{1}\neq 0. From (8) we get in this case for vv, hence also for VV, only the trivial solution of a constant potential.

Remark 2. The condition (11(ii)) is associated with families (1) for which

fx2+fy2=A(f),A= arbitrary functional f_{x}^{2}+f_{y}^{2}=A(f),\quad A=\text{ arbitrary functional } (12)

known as families of parallel curves (Goursat 1945, p 42). Indeed, each of (11(ii)) and (12) amounts to the same condition: fxfy(fxxfyy)=(fx2fy2)fxyf_{x}f_{y}\left(f_{xx}-f_{yy}\right)=\left(f_{x}^{2}-f_{y}^{2}\right)f_{xy}.

Remark 3. From equation (8), it is clear that if a function γ\gamma is given such that R1=0R_{1}=0 (therefore, according to remark 1,R201,R_{2}\neq 0 ), v=γv=\gamma will be its solution. It is not, of course, an easy or even possible task to find all solutions γ=γ(x,y)\gamma=\gamma(x,y) of the equation R1=0R_{1}=0. Trying to find, e.g., a function γ(x,y)\gamma(x,y) of the form γ=α+βy/x\gamma=\alpha+\beta y/x for which R1=0R_{1}=0, we obtain the complex families (see Contopoulos and Bozis (2000)) γ=±2iy/x\gamma=\pm 2\mathrm{i}-y/x, compatible with V=±2iy/xV=\pm 2\mathrm{i}-y/x, for which the energy is E=iE=\mp\mathrm{i}.

Generalizing slightly and trying to make R1=0R_{1}=0 with γ=γ(y/x)\gamma=\gamma(y/x), we come to the first-order differential equation

(w2+2wγ+3)dγdw=1+γ2,\left(w^{2}+2w\gamma+3\right)\frac{\mathrm{d}\gamma}{\mathrm{~d}w}=1+\gamma^{2}, (13)

where w=y/xw=y/x.
The function vv, as it can be seen from (7), depends on γ\gamma only, hence by necessity from (8) it follows that R(x,y)=r(γ(x,y))R(x,y)=r(\gamma(x,y)), i.e.,

Ry/Rx=γ01/γ10.R_{y}/R_{x}=\gamma_{01}/\gamma_{10}. (14)

Working out this condition, we obtain

(1+γ2)(a30γ30\displaystyle\left(1+\gamma^{2}\right)\left(a_{30}\gamma_{30}\right. +a21γ21+a12γ12+a03γ03+a2020γ202+a1111γ112+a0202γ022\displaystyle+a_{21}\gamma_{21}+a_{12}\gamma_{12}+a_{03}\gamma_{03}+a_{2020}\gamma_{20}^{2}+a_{1111}\gamma_{11}^{2}+a_{0202}\gamma_{02}^{2}
+a2011γ20γ11+a2002γ20γ02+a1102γ11γ02)\displaystyle\left.+a_{2011}\gamma_{20}\gamma_{11}+a_{2002}\gamma_{20}\gamma_{02}+a_{1102}\gamma_{11}\gamma_{02}\right)
=\displaystyle= (γγ10γ01)((3γ21)γ1028γγ10γ01(γ23)γ012)\displaystyle\left(\gamma\gamma_{10}-\gamma_{01}\right)\left(\left(3\gamma^{2}-1\right)\gamma_{10}^{2}-8\gamma\gamma_{10}\gamma_{01}-\left(\gamma^{2}-3\right)\gamma_{01}^{2}\right)
×(γ012γ202γ10γ01γ11+γ102γ02),\displaystyle\times\left(\gamma_{01}^{2}\gamma_{20}-2\gamma_{10}\gamma_{01}\gamma_{11}+\gamma_{10}^{2}\gamma_{02}\right), (15)

with

a30=γγ012(γγ01+γ10)(γγ10γ01)\displaystyle a_{30}=\gamma\gamma_{01}^{2}\left(\gamma\gamma_{01}+\gamma_{10}\right)\left(\gamma\gamma_{10}-\gamma_{01}\right)
a21=γ01(γγ01+γ10)(γγ10γ01)(2γγ10+γ01)\displaystyle a_{21}=-\gamma_{01}\left(\gamma\gamma_{01}+\gamma_{10}\right)\left(\gamma\gamma_{10}-\gamma_{01}\right)\left(2\gamma\gamma_{10}+\gamma_{01}\right)
a12=γ10(γγ01+γ10)(γγ10γ01)(γγ10+2γ01)\displaystyle a_{12}=\gamma_{10}\left(\gamma\gamma_{01}+\gamma_{10}\right)\left(\gamma\gamma_{10}-\gamma_{01}\right)\left(\gamma\gamma_{10}+2\gamma_{01}\right)
a03=γ102(γγ01+γ10)(γγ10γ01)\displaystyle a_{03}=-\gamma_{10}^{2}\left(\gamma\gamma_{01}+\gamma_{10}\right)\left(\gamma\gamma_{10}-\gamma_{01}\right)
a2020=γγ012(2γ2γ01+3γγ10γ01)\displaystyle a_{2020}=-\gamma\gamma_{01}^{2}\left(2\gamma^{2}\gamma_{01}+3\gamma\gamma_{10}-\gamma_{01}\right)
a1111=2γ(γγ103+3γγ012γ10+3γ01γ102+γ013)\displaystyle a_{1111}=-2\gamma\left(\gamma\gamma_{10}^{3}+3\gamma\gamma_{01}^{2}\gamma_{10}+3\gamma_{01}\gamma_{10}^{2}+\gamma_{01}^{3}\right) (16)
a0202=γ102(γ2γ103γγ012γ10)\displaystyle a_{0202}=\gamma_{10}^{2}\left(\gamma^{2}\gamma_{10}-3\gamma\gamma_{01}-2\gamma_{10}\right)
a2011=γ01(3γ3γ01γ10+5γ2γ012+6γ2γ102+3γγ01γ10γ012)\displaystyle a_{2011}=\gamma_{01}\left(3\gamma^{3}\gamma_{01}\gamma_{10}+5\gamma^{2}\gamma_{01}^{2}+6\gamma^{2}\gamma_{10}^{2}+3\gamma\gamma_{01}\gamma_{10}-\gamma_{01}^{2}\right)
a2002=γ(γγ103+3γγ012γ10+3γ01γ102+γ013)\displaystyle a_{2002}=-\gamma\left(\gamma\gamma_{10}^{3}+3\gamma\gamma_{01}^{2}\gamma_{10}+3\gamma_{01}\gamma_{10}^{2}+\gamma_{01}^{3}\right)
a1102=γ10(γ3γ1023γ2γ01γ105γγ1026γγ0123γ01γ10)\displaystyle a_{1102}=-\gamma_{10}\left(\gamma^{3}\gamma_{10}^{2}-3\gamma^{2}\gamma_{01}\gamma_{10}-5\gamma\gamma_{10}^{2}-6\gamma\gamma_{01}^{2}-3\gamma_{01}\gamma_{10}\right)

expressed in terms of first-order partial derivatives of γ\gamma.

So, condition (15) is necessary for γ\gamma in order that (8) possesses a solution V=v(γ(x,y))V=v(\gamma(x,y)). In fact, if γ\gamma is a solution of (15) for which R20R_{2}\neq 0, we obtain from (8)

v(γ)=c1exp(r(γ)dγ)dγ+c2v(\gamma)=c_{1}\int\exp\left(\int r(\gamma)\mathrm{d}\gamma\right)\mathrm{d}\gamma+c_{2} (17)

with c1,c2c_{1},c_{2} constants, and with VV given by (7). In what follows we shall omit c1c_{1} and c2c_{2}, as stated at the end of section 1. The meaning of (17) is that the inverse problem (for orbits satisfying (15) and R20R_{2}\neq 0 ) 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 γ(x,y)\gamma(x,y) for which (17) would be a compatible potential.

3. Certain adequate classes of families

By ’adequate’ we mean families γ(x,y)\gamma(x,y) 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 γ=γ(x,y)\gamma=\gamma(x,y) of (15), a nonlinear partial differential equation of the third order in the unknown function γ(x,y)\gamma(x,y). 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 γ\gamma. Therefore, all slope functions

γ=γ0+γ1x+γ2y\gamma=\gamma_{0}+\gamma_{1}x+\gamma_{2}y (18)

( γ0,γ1,γ2\gamma_{0},\gamma_{1},\gamma_{2} constants) satisfy (15).
With (18), we obtain from (10)

R1=(γγ1γ2)(2γ1γ2γ+γ12+3γ22)\displaystyle R_{1}=\left(\gamma\gamma_{1}-\gamma_{2}\right)\left(-2\gamma_{1}\gamma_{2}\gamma+\gamma_{1}^{2}+3\gamma_{2}^{2}\right) (19)
R2=(γγ1γ2)(γ1γ2γ2+(γ12γ22)γγ1γ2),\displaystyle R_{2}=\left(\gamma\gamma_{1}-\gamma_{2}\right)\left(\gamma_{1}\gamma_{2}\gamma^{2}+\left(\gamma_{1}^{2}-\gamma_{2}^{2}\right)\gamma-\gamma_{1}\gamma_{2}\right),

and

r(γ)=2k0γ+1+3k02(γk0)(k0γ+1),k0=γ2γ1.r(\gamma)=\frac{-2k_{0}\gamma+1+3k_{0}^{2}}{\left(\gamma-k_{0}\right)\left(k_{0}\gamma+1\right)},\quad k_{0}=\frac{\gamma_{2}}{\gamma_{1}}. (20)

As stated in section 2, from the functions of the form (18), we choose only those with R20R_{2}\neq 0, hence the ones for which at least one of γ1\gamma_{1} and γ2\gamma_{2} is different from zero. Let us suppose that both γ1\gamma_{1} and γ2\gamma_{2} are different from zero; the case when γ\gamma is a function of one variable ( xx or yy ) will be treated later.

From (17), we obtain

v(γ)=2k0γk02+12k02(k0γ+1)2.v(\gamma)=\frac{2k_{0}\gamma-k_{0}^{2}+1}{2k_{0}^{2}\left(k_{0}\gamma+1\right)^{2}}. (21)

The equipotential lines are in this case parallel straight lines.
We remark that for γ\gamma given by (18), the expression

𝒜=γγ01γ20(γγ10+γ01)γ11+γ10γ02\mathcal{A}=\gamma\gamma_{01}\gamma_{20}-\left(\gamma\gamma_{10}+\gamma_{01}\right)\gamma_{11}+\gamma_{10}\gamma_{02}

in (10) is equal to zero. We have in general that

𝒜=γ012(γ(γ10γ01)x(γ10γ01)y),\mathcal{A}=\gamma_{01}^{2}\left(\gamma\left(\frac{\gamma_{10}}{\gamma_{01}}\right)_{x}-\left(\frac{\gamma_{10}}{\gamma_{01}}\right)_{y}\right),

hence it will also be zero for γ=g(γ0+γ1x+γ2y)\gamma=g\left(\gamma_{0}+\gamma_{1}x+\gamma_{2}y\right), with gg an arbitrary function. It can be easily checked that for

γ=g(γ0+γ1x+γ2y),\gamma=g\left(\gamma_{0}+\gamma_{1}x+\gamma_{2}y\right), (22)

the values of R1R_{1} and R2R_{2} are those from (19) multiplied by g˙\dot{g}, where g˙\dot{g} denotes the derivative of gg with respect to its unique argument. It follows that r(γ)r(\gamma) will be given by the same formula (20), independently of the arbitrariness of the function gg. Therefore, the potential corresponding to (22) is again given by (21).

All the functions γ\gamma 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 g(γ0+γ1x+γ2y)g\left(\gamma_{0}+\gamma_{1}x+\gamma_{2}y\right), are isoenergetic, i.e., all their members are traced with the constant value for the energy E=k0/2E=k_{0}/2.

Example 1. For γ=(x+y)2\gamma=(x+y)^{2} (corresponding to the family of orbits (1) with f(x,y)=x+y1x+y+1exp(2y))f(x,y)=\left.\frac{x+y-1}{x+y+1}\exp(2y)\right) we obtain from (21) v(γ)=γ(γ+1)2v(\gamma)=\frac{\gamma}{(\gamma+1)^{2}}, i.e., V(x,y)=(x+y)2((x+y)2+1)2V(x,y)=\frac{(x+y)^{2}}{\left((x+y)^{2}+1\right)^{2}} and E=1/2E=1/2. The very same potential v(γ)=γ(γ+1)2v(\gamma)=\frac{\gamma}{(\gamma+1)^{2}} is also compatible with γ=1(x+y)2\gamma=\frac{1}{(x+y)^{2}}, corresponding to the family f(x,y)=x+y1x+y+1exp(2x)f^{*}(x,y)=\frac{x+y-1}{x+y+1}\exp(2x), traced also with E=1/2E=1/2.
(b) Another general result regarding condition (15) is the following: equation (15) is satisfied for any arbitrary function of the form

γ=g(w),w=yx(g(w)w).\gamma=g(w),\quad w=\frac{y}{x}\quad(g(w)\neq w). (23)

It turns out that the corresponding function rr is

r=g2+1g˙(w2+2gw+3)g˙(gw)(1+gw),r=\frac{g^{2}+1-\dot{g}\left(w^{2}+2gw+3\right)}{\dot{g}(g-w)(1+gw)}, (24)

where g˙\dot{g} is the derivative of gg with respect to its unique argument ww.
Keeping in mind that R1R_{1} was the numerator of rr, equating it to zero will give equation (13) obtained directly in section 2 . We remark that the condition γγ01+γ100\gamma\gamma_{01}+\gamma_{10}\neq 0, discussed in remark 1 of section 2 , becomes g(w)wg(w)\neq w, which means that no circles x2+y2=cx^{2}+y^{2}=c are allowed.

Since we know γ=g(w)\gamma=g(w) (hence dγ=g˙dw\mathrm{d}\gamma=\dot{g}\mathrm{~d}w ), we calculate the integral Rdγ=Rg˙dw\int R\mathrm{~d}\gamma=\int R\dot{g}\mathrm{~d}w, i.e.,

i1=Rdγ=1+g2g˙(w2+2gw+3)(gw)(1+gw)dw.i_{1}=\int R\mathrm{~d}\gamma=\int\frac{1+g^{2}-\dot{g}\left(w^{2}+2gw+3\right)}{(g-w)(1+gw)}\mathrm{d}w. (25)

Then, we proceed to the calculation of the potential

V(w)=exp(i1)g˙dw.V(w)=\int\exp\left(i_{1}\right)\dot{g}\mathrm{~d}w. (26)

The equipotential lines are straight lines through the origin.
Application 1. Let us apply the last two formulae for

γ=k0wm\gamma=k_{0}w^{m} (27)

with k0,mk_{0},m constants (for m=1m=1 we take k01k_{0}\neq 1, to exclude the circles x2+y2=cx^{2}+y^{2}=c ).
For m1m\neq 1, we find from (25)

i1=1m1lnw2m(1+k0wm+1)m1(wk0wm)3m1i_{1}=\frac{1}{m-1}\ln\frac{w^{2m}\left(1+k_{0}w^{m+1}\right)^{m-1}}{\left(w-k_{0}w^{m}\right)^{3m-1}}

and from (26) we obtain

V(w)=(1+k0wm+1)wm2(1k0wm1)3m1m1dwV(w)=\int\frac{\left(1+k_{0}w^{m+1}\right)w^{m-2}}{\left(1-k_{0}w^{m-1}\right)^{\frac{3m-1}{m-1}}}\mathrm{~d}w (28)

which, apart from a multiplicative and an additive constant (depending on m,k0m,k_{0} ), leads to

V(w)=(1+k02w2m)(1k0wm1)2m1mV(w)=\left(1+k_{0}^{2}w^{2m}\right)\left(1-k_{0}w^{m-1}\right)^{\frac{2m}{1-m}} (29)

valid (for any m1m\neq 1 and any k0k_{0} ) for families of the form (27). With the aid of (4), it can be shown that, independently of the value of mm, all families (27) are isoenergetic, traced with the total energy E=0E=0.

Example 2. Let us consider in (27) m=1m=-1. It is found that each family γ=k0/w\gamma=k_{0}/w (corresponding to f(x,y)=x1k0yf(x,y)=x^{\frac{1}{k_{0}}}y ) is compatible with the potential

V(x,y)=k02x2+y2k0x2y2V(x,y)=\frac{k_{0}^{2}x^{2}+y^{2}}{k_{0}x^{2}-y^{2}} (30)

The total energy of all members of the family is, as expected, E=0E=0.
For k0=1/4k_{0}=-1/4 one obtains the family f(x,y)=y/x4f(x,y)=y/x^{4}, which was proved (Bozis et al 1997) to be traced under the Hénon-Heiles (1964) potential

V1(x,y)=x22+8y2+x2y+163y3V_{1}(x,y)=\frac{x^{2}}{2}+8y^{2}+x^{2}y+\frac{16}{3}y^{3} (31)

with the energy E1=x4/(24y)E_{1}=-x^{4}/(24y). It follows that this family is common to the Hénon-Heiles potential V1V_{1} and to the potential (which can be expressed in terms of γ\gamma ) obtained from (30), namely

V2(x,y)=(x2+16y2)/(x2+4y2).V_{2}(x,y)=-\left(x^{2}+16y^{2}\right)/\left(x^{2}+4y^{2}\right). (32)

Example 3. For m=1m=1 and k01k_{0}\neq 1, we have the family of curves (27) γ=k0y/x\gamma=k_{0}y/x (corresponding to f(x,y)=x2+k0y2f(x,y)=x^{2}+k_{0}y^{2} ). From (25), we obtain

i1=1k01ln(w13k0(k0w2+1)k01)i_{1}=\frac{1}{k_{0}-1}\ln\left(w^{1-3k_{0}}\left(k_{0}w^{2}+1\right)^{k_{0}-1}\right)

and

V(w)=w2k01k0(1+k02w2).V(w)=-w^{\frac{2k_{0}}{1-k_{0}}}\left(1+k_{0}^{2}w^{2}\right). (33)

Remark 1. Slope functions of the form γ=γ(x)\gamma=\gamma(x) or γ=γ(y)\gamma=\gamma(y) satisfy (15). In fact, all functions γ\gamma of the form (22) with γ1=0\gamma_{1}=0 or γ2=0\gamma_{2}=0 belong to this class. We obtain r=1/γr=1/\gamma and the potential V=V(x)=γ2(x)V=V(x)=-\gamma^{2}(x), compatible with γ\gamma for the first case. In the second case, r=3/γr=-3/\gamma and the potential V=V(y)=γ2(y)V=V(y)=-\gamma^{-2}(y) is compatible with γ=γ(y)\gamma=\gamma(y). In both cases, the energy is equal to 1 .
(c) The following result generalizes and covers the previous two cases of this section.

If γ0,γ1,γ2,δ0,δ1,δ2\gamma_{0},\gamma_{1},\gamma_{2},\delta_{0},\delta_{1},\delta_{2} are constants, any function γ(x,y)\gamma(x,y) of the form

γ=g(γ0+γ1x+γ2yδ0+δ1x+δ2y),g= arbitrary \gamma=g\left(\frac{\gamma_{0}+\gamma_{1}x+\gamma_{2}y}{\delta_{0}+\delta_{1}x+\delta_{2}y}\right),\quad g=\text{ arbitrary } (34)

satisfies condition (15). This can be shown by direct computations.
For δ0=1,δ1=δ2=0\delta_{0}=1,\delta_{1}=\delta_{2}=0 (34) reduces to (22), whereas for γ0=γ1=δ0=δ2=0\gamma_{0}=\gamma_{1}=\delta_{0}=\delta_{2}=0, δ1=γ2\delta_{1}=\gamma_{2} (34) reduces to (23). The ratio r=R1/R2r=R_{1}/R_{2} (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 γ=x/(4y)\gamma=-x/(4y) 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 γ\gamma given by (34) satisfies the second-order partial differential equation

γ012γ202γ10γ01γ11+γ102γ02=0\gamma_{01}^{2}\gamma_{20}-2\gamma_{10}\gamma_{01}\gamma_{11}+\gamma_{10}^{2}\gamma_{02}=0 (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

γ10(γ01γ10)yγ01(γ01γ10)x=0\gamma_{10}\left(\frac{\gamma_{01}}{\gamma_{10}}\right)_{y}-\gamma_{01}\left(\frac{\gamma_{01}}{\gamma_{10}}\right)_{x}=0 (36)

whose general solution is

γ01γ10=A(γ)\frac{\gamma_{01}}{\gamma_{10}}=A(\gamma) (37)

with AA arbitrary function of γ=γ(x,y)\gamma=\gamma(x,y).
Then from (37), we readily obtain

x+yA(γ)=B(γ)x+yA(\gamma)=B(\gamma) (38)

where B(γ)B(\gamma) is also arbitrary. So, all functions γ\gamma defined by (38) satisfy (35), as expected. But, to our surprise, it turns out that all γ\gamma defined by (38) satisfy the third-order equation (15) as well.

On the other hand, in view of (38), we can calculate γ10,γ01,γ20,γ11,γ02\gamma_{10},\gamma_{01},\gamma_{20},\gamma_{11},\gamma_{02} in terms of γ\gamma, A,A,A′′,B,B′′A,A^{\prime},A^{\prime\prime},B^{\prime},B^{\prime\prime} (where primes denote differentiation with respect to γ\gamma ) and insert them into (10) in order to calculate R=r(γ)R=r(\gamma) from (9). In so doing we find

r=(1+γ2)A3A2+2γA1(Aγ)(γA+1).r=\frac{\left(1+\gamma^{2}\right)A^{\prime}-3A^{2}+2\gamma A-1}{(A-\gamma)(\gamma A+1)}. (39)

In conclusion, we see that, for all families γ\gamma 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 γ01/γ10=A(γ)\gamma_{01}/\gamma_{10}=A(\gamma) and insert it in Szebehely’s equation (4), also taking into account that V(x,y)=v(γ(x,y))V(x,y)=v(\gamma(x,y)). So, we write (4) as

E=v+(1+γ2)(1+γA)v2(Aγ).E=v+\frac{\left(1+\gamma^{2}\right)(1+\gamma A)v^{\prime}}{2(A-\gamma)}. (40)

From (40), and in view of (8), we compute Ex,EyE_{x},E_{y} and we find them identically equal to zero. This means that E=E= constant for all members of each family γ\gamma. It is called that the isoenergeticity above was established for families γ(x,y)\gamma(x,y) 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 AγA\neq\gamma and A1/γA\neq-1/\gamma. For A=γA=\gamma, the above ratio rr becomes indeterminate. The case A=1/γA=-1/\gamma 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 B(γ)B(\gamma) of (38) does not appear explicitly in (39). This means that, for two different γ\gamma defined by (38) for the same A(γ)A(\gamma) but different B(γ)B(\gamma), the functions V=v(γ)V=v(\gamma) which satisfy equation (8) are the same. However, just because the two γ\gamma are different, the corresponding potentials V=V(x,y)V=V(x,y) defined by (7) will be, as expected, different.

Remark 3. Equation (38) introduces two arbitrary functions A(γ),B(γ)A(\gamma),B(\gamma) 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 γ=γ(x,y)\gamma=\gamma(x,y) of (15), containing, e.g., all forms of solutions found in section 3.

Indeed, let us consider the constants γ0,γ1,γ2,δ0,δ1,δ2\gamma_{0},\gamma_{1},\gamma_{2},\delta_{0},\delta_{1},\delta_{2} and the arbitrary function G=G(γ)G=G(\gamma) and let us choose as

A(γ)=δ2Gγ2δ1Gγ1,B(γ)=δ0G+γ0δ1Gγ1.A(\gamma)=\frac{\delta_{2}G-\gamma_{2}}{\delta_{1}G-\gamma_{1}},\quad B(\gamma)=\frac{-\delta_{0}G+\gamma_{0}}{\delta_{1}G-\gamma_{1}}.

Then (38) leads to (34), which, as already mentioned, covers (22) and (23).
Remark 4. For a compatible pair (γ(x,y),V(x,y))(\gamma(x,y),V(x,y)) let us call ss the common ratio

γ01γ10=V01V10=s.\frac{\gamma_{01}}{\gamma_{10}}=\frac{V_{01}}{V_{10}}=s. (41)

Then (36) is written as sy=ssxs_{y}=ss_{x}, i.e., (V01V10)y=V01V10(V01V10)x\left(\frac{V_{01}}{V_{10}}\right)_{y}=\frac{V_{01}}{V_{10}}\left(\frac{V_{01}}{V_{10}}\right)_{x} or

V012V202V10V01V11+V102V02=0V_{01}^{2}V_{20}-2V_{10}V_{01}V_{11}+V_{10}^{2}V_{02}=0 (42)

In conclusion, if the family γ=γ(x,y)\gamma=\gamma(x,y) satisfies (35), the corresponding V(x,y)=v(γ(x,y))V(x,y)=v(\gamma(x,y)) satisfies (42).

Remark 5. Up to this point, we worked with Γ0\Gamma\neq 0. As seen from equation (5), Γ=0\Gamma=0 is associated with

Vx+γVy=0V_{x}+\gamma V_{y}=0 (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 (γx+γγy)v=0\left(\gamma_{x}+\gamma\gamma_{y}\right)v^{\prime}=0, meaning that, either the potential v(γ)v(\gamma) must be constant or

γx+γγy=0.\gamma_{x}+\gamma\gamma_{y}=0. (44)

Condition (44) coincides with (11(ii)) and implies the presence of the families (12). At any rate (44) and Γ=0\Gamma=0, i.e.,

γγxγy=0\gamma\gamma_{x}-\gamma_{y}=0 (45)

are incompatible.
Example 1. For A=γ2,B=2γA=\gamma^{2},B=2\gamma, equation (38) gives

γ=1±1xyy\gamma=\frac{1\pm\sqrt{1-xy}}{y} (46)

and equation (39) becomes

r=3γ4+4γ3+2γ1γ(γ1)(γ3+1)r=\frac{-3\gamma^{4}+4\gamma^{3}+2\gamma-1}{\gamma(\gamma-1)\left(\gamma^{3}+1\right)} (47)

Then, from (17) and (47) we obtain (except for a multiplicative and an additive constant)

v(γ)=1+γ2(1+γ3)2/3v(\gamma)=\frac{1+\gamma^{2}}{\left(1+\gamma^{3}\right)^{2/3}} (48)

and from (7) and (46)

V(x,y)=xyy22(1±1xy)(y3+(1±1xy)3)2/3.V(x,y)=\frac{xy-y^{2}-2(1\pm\sqrt{1-xy})}{\left(y^{3}+(1\pm\sqrt{1-xy})^{3}\right)^{2/3}}. (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 γ=γ(x,y)\gamma=\gamma(x,y) 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 V(x,y)=v(γ(x,y))V(x,y)=v(\gamma(x,y)).

The idea for looking for such potentials emerged from the fact that potentials of this type appeared in certain examples, as V(x,y)=(x4+y4)/(xy)4V(x,y)=\left(x^{4}+y^{4}\right)/(x-y)^{4} and γ(x,y)=y2/x2\gamma(x,y)=y^{2}/x^{2} in the paper of Borghero and Bozis (2002). Dealing with the direct problem, Bozis et al (2000) found the compatible pair V(x,y)=1/x2V(x,y)=-1/x^{2} and γ(x,y)=±(k1k0/x2)1/2\gamma(x,y)=\pm\left(k_{1}-k_{0}/x^{2}\right)^{1/2}. In addition, the motivation for selecting this particular form (7) for the unknown potential V(x,y)V(x,y) 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 VV, it was expected that (8) would be solvable by quadratures. But, of course, this happens for ’adequate’ families γ(x,y)\gamma(x,y). Naturally, then our central interest was directed to the study of the differential condition (15).

Seen as a partial differential equation in γ\gamma, 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 A(γ)A(\gamma) and B(γ)B(\gamma). It stands for the general solution of (35) and gives a very rich set of functions γ=γ(x,y)\gamma=\gamma(x,y) which make both sides of (15) zero and for which the pertinent potential v=v(γ)v=v(\gamma) can be found by quadratures from

v′′(γ)v(γ)=r(γ)\frac{v^{\prime\prime}(\gamma)}{v^{\prime}(\gamma)}=r(\gamma) (50)

with r(γ)r(\gamma) given by (39).
In section 4, we indicated how the subset of functions γ\gamma presented in section 3 can be obtained from (38). The totality of pairs (γ(x,y),V(x,y))(\gamma(x,y),V(x,y)) 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 (γ,v(γ))(\gamma,v(\gamma)) correspond to families γ\gamma traced isoenergetically in the presence of the potential v(γ)v(\gamma). This is actually a general fact for families γ\gamma 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 dy/dx=1/γ\mathrm{d}y/\mathrm{d}x=-1/\gamma can be solved by quadratures and the pertinent monoparametric family can be found explicitly in the form f(x,y)=cf(x,y)=c. Yet this is not generally the case for functions γ(x,y)\gamma(x,y) 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)

2005

Related Posts