arXiv:1610.01006v1 [physics.class-ph] 1 Oct 2016 eemn h oeta nryta asdtoeperiods. those caused that energy potential the determine o re ic h nweg of knowledge the since true, not of ucino h ehna energy mechancal the of function a o ntne osdrteproi oin fapoint a of well motions potential a results. periodic in surprising the mass very consider yield instance, analyz- may For force, problems total conservative inverse a ing of influence the under two Earth. separating the interfaces of of surface presence the the within by mediums surface sea) the the of the at properties explosions of small the by inverse analyzing (caused also waves on reflected are rely scattering. waters they their deep as in problems of methods products under- prospecting the Oil to observing elementary try by between we interactions particles fundamental instance, the for stand in- physics. Physics, are, contemporary high-energy problems in Inverse In even gold. frequent of extremely sheet deed, thin very a from problems: h tmcncesfo h cteigof scattering the of from discovery gravitational nucleus Rutherford’s the atomic and laws, the of Kepler’s determination from force Newton’s like. is are dragon lems the track what dragon’s infer prob- the to inverse able of the be observation should in simple we be while the should tracks, from we its dragon lem, a determine given to problem, able direct the in that hc ie h ocso ytmw utoti its obtain must we system a and on motions, forces possible the given which a efudi ornadHffansbook which Huffmann’s and problems, the Bohren of in stating found kinds of be two manner can these humorous an- between by A causes difference the effects. that find the say to could attempt alyzing we we way, some problems informal forces inverse an (or in the In system determine them. given caused must that a and of thereof), motions characteristics possible the know vni h aeo atcemvn noedimension one in moving particle a of case the in Even ncasclmcaisw n setal w id of kinds two essentially find we mechanics classical In oehsoial eeateape fivreprob- inverse of examples relevant historically Some U ( x nqeydtrie h eid foclain as oscillations of periods the determines uniquely ) (i) nifiiyo rcswihla otesm eid.A bonus a As periods. same the to lead g tautochrones. which that, many show tracks unifo we an of problem of infinity taucochrone influence an the the motions of under periodic survey minimum its historical consider sh around then they track We why a over clarifying solutions. energies, bounded negative their for another pr one one-dimensio P¨oschl-Teller the to the cal a and partic that solutions, an an show many a we reviewing is infinitely of example, are briefly motions there There by periodic that energy. to start show mechanical lead we we that goal, energies cycloid, potential this the With by given curves. 1658, in Huygens h udmna o iet rbes in problems, direct) (or fundamental the h nwrt hsqeto sn.I at nadto otes the to addition in fact, In no. is question this to answer The nvriaeFdrld i eJnio nttt eF´ısic de Instituto Janeiro, de Rio do Federal Universidade .INTRODUCTION I. (ii) U nes rbes nwihwe which in problems, inverse ( x er Terra, Pedro .Atog h knowledge the Although ). τ ( E τ stetuohoecreunique? curve tautochrone the Is osntuniquely not does ) ( E ,teopst is opposite the ), ∗ enlod eoeSouza, e Melo de Reinaldo α 1 Dtd coe ,2016) 5, October (Dated: st say to is , particles mlso hae oetas namely: potentials, sheared of amples ihteado alc rnfrs o eetdevel- see recent cases, For quantum analogous and transforms. Asorey topic Laplace this on of opments aid the with eiwtebsccnet fserdptnil following potentials sheared Lifshitz and of Landau concepts basic the review problem. three-century-old are this sole there for the unfolding fact, results tracks, not new In tautochrone is round-trip direct problem. many this A tautochrone infinitely that the curve. is of tautochrone analysis in solution a our Huygens is by of shown cycloid consequence been the has that It 1658 interest. of curves we term our motion, this expression downward-only Since the a employ to tautochrone. associated the energy) sometimes is, maxi- mechanical is that the the system, on on the depend of therefore, not (and, does height oscillations mum of period the been not literature. had property the knowledge, in our will geometrical previously to We a noted which, exhibit shearing height. to curves maximum akin these every provide that for we curves show periods different as same of However, max- infinity the the particle. an of the demonstrate, function by will a achieved as determines height motion track imum of the of period shape the poten- the uni- uniquely sheared of a the knowledge in to the a Similarly plane tials, on vertical field. sliding a gravitational particle in form a contained of track motions frictionless periodic for problems cldmntaino hae oetas hra Osy- whereas Olsson potentials, and sheared powski of demonstration ical iie ysm uhr sn ieetapoce.For approaches. book different pleasant using Pippard’s instance, authors some by visited a yLna n Lifshitz and Landau by way another. one from sheared are which wells potential nfc,a xlie ntenx eto,i a eshown be can it function section, given next the one in that explained as fact, In h ril sognzda olw:I eto I we II, section In follows: as organized is article The which in case the in interested are we particular, In inverse analyze to is goal main our article, this In hsbatflrsl a bandi ut ingenious quite a in obtained was result beautiful This ewoepro sagvnfnto fits of function given a is period whose le e hae oetas sa interesting an As potentials. sheared led a os oetasaeserdrelative sheared are potentials Morse nal tal. et r h aeproso siltosfor oscillations of periods same the are vntepro foclain,teeis there oscillations, of period the iven ,Rod aer,R 21945-970 RJ Janeiro, de Rio a, fapril ldn ihu friction without sliding particle a of † lto rtotie yChristiaan by obtained first olution mgaiainlfil.Atrabrief a After field. gravitational rm eso htteeaeinfinitely are there that show we , be ffidn u h possible the out finding of oblem 5 n .Farina C. and . nnt ubro tautochrone of number infinite 4 2 eas rvd w o-rva ex- non-trivial two provide also We . rvd ieetdemonstration different a provide on-rptautochrone round-trip τ ( E ‡ 2 losfrifiieymany infinitely for allows ) ic hn thsbe re- been has it then, Since . 3 rsnsana graph- neat a presents (i) oe-a po- power-law ospecify to 2 tentials and (ii) a P¨oschl-Teller and the one-dimensional the right-hand side, we are left, then, with an integral in Morse potentials. In section III, inspired by the proper- U followed by an integral in E. Changing the order of ties exhibited by sheared potential wells presented in sec- integration, which requires a subtle change in the inte- tion II, we consider periodic motions of a particle sliding gration limits in order to preserve the integration region without friction and under a constant gravity on a track in the E U plane, we obtain contained in a vertical plane, and ask what curves yield − the same periods of oscillations. We show that, in truth, there is an infinite number of different curves associated α τ(E)dE α dx dx to the same periods. We then give a nice interpretation = √2m R L dU 0 √α E 0 dU − dU × for the condition between these curves as a new kind of Z − α Z dE shearing. In section IV we obtain, from the previous re- . (3) sult, an infinite family of tautochrone curves. Section V × √α E√E U ZU is left for final remarks. − − Fortunately, the integral over E may be exactly calcu- lated and does not depend on U. In fact, it is straight- II. BRIEF REVIEW OF SHEARED POTENTIAL forward to show that this integral is equal to π (it can be WELLS computed, for instance, by completing the square). As a consequence, the integration on U is immediate. From Let us consider a particle of mass m moving along these results, and rewriting α = U, we conclude that the x axis under the influence of the resultant force a given period function τ does not determine a single (x)O = dU(x)/dx, where U(x) is a generic potential F − potential U, but rather an infinite family of potentials well with a single minimum. Without loss of generality, satisfying the relation let us choose the origin of the x axis at the minimum of the potential well such thatOU(0) = 0. Suppose the 1 U τ(E)dE particle moves with mechanical energy E. The associ- xR(U) xL(U)= . (4) − π√2m 0 √U E ated turning points are simply given by the roots of the Z − algebraic equation E = U(x), which we denote by x1 and x2. It is worth emphasizing that x1 and x2 depend on The last equation means that, provided two poten- E. Assuming x2 > x1, it is straightforward to use the tial wells U(x) and U˜(x) share the same width x (U) R − conservation law of the mechanical energy to obtain the xL(U)=˜xR(U) x˜L(U) for every value of U, the peri- period of oscillations: ods of the oscillations− of a particle under the influence of these potentials will have periods described by the same x2 dx τ(E)= √2m . (1) function τ(E). When this property is satisfied, we say x1 E U(x) that the potential wells U(x) and U˜(x) are sheared rel- Z − ative to one another. However, if we further require the It is evident from the previous equationp that the potential potential to be symmetric, that is xR(U) = xL(U), energy U(x) and a given mechanical energy E uniquely then it is uniquely determined by the period function− τ. determine the period of the oscillations. In other words, The aforedescribed development was reproduced from the function τ : E τ(E) is uniquely determined by Landau and Lifshitz2. Let us illustrate the previous re- the knowledge of function−→ U : x U(x). sults in some non-trivial examples that are not usually In order to solve the inverse problem,−→ namely, given dealt with in the literature. We will start by illustrating τ(E) to find the corresponding U(x), it is tempting (and the shearing process for the power-law case. Then, we convenient) to regard the coordinate x as a function of will show that the Morse and the P¨osch-Teller potentials the potential U. However, since the function U(x) is are related by shearing (for bounded motions). not injective, obtaining its inverse requires defining two functions, namely: xL : U xL(U), for the left branch of U(x) (x < 0) and x 7−→: U x (U), for the right R 7−→ R branch of U(x) (x 0). Performing a change of variables, A. Power law potentials we recast Eq. (1)≥ into the form
E dx dU 0 dx dU Sheared potentials derived from the parabolic potential τ(E)= √2m R + L well have been considered by Ant´on and Brun6 . These 0 dU √E U E dU √E U "Z − Z − # authors obtained anharmonic motions whose periods of E oscillations retain the property of being independent from dxR dxL dU = √2m . (2) the energy (isochronous oscillations). 0 dU − dU √E U Z − In this subsection, we shall consider the more general To get rid of the integral on the right-hand side, we mul- case of the family of symmetric power law potentials tiply both sides of Eq. (2) by dE/√α E, where α is a given by U(x) = a x ν , with a > 0 and ν 1. The − | | 1/ν ≥ constant parameter, and then integrate from 0 to α. On turning points are x± = (E/a) . The period of oscil- ± 3 lations may be computed by use of Eq. (1): Teller potential, denoted by UM (x) and UP T (x), respec- tively, and given by (see Fig. 1) x+ dx τ(E)= √2m −2αx −αx ν UM (x)= U0 e 2e (11) − E a x Zx − − | | U0 x+ ν −1/2 2 8mp x UP T (x)= 2 , (12) = x−ν/ 1 dx , (5) − cosh (αx) + a − x r Z0 + where we used the fact that the potential well is sym- ν U(x) metric and that E = ax+. Making a change of vari- ν ables u = (x/x+) and recalling the definition for x+ we rewrite the period as x 1 − 1 √8m I(ν) τ(E)= E( ν 2 ) , (6) a1/ν ν
1 1/ν−1 −1/2 where I(ν)= 0 u (1 u) du is simply a numer- ical factor. Although the computation− may be continued to give an exactR result2,7, it suffices for the purpose of this article to regard the period’s dependence on the energy. Moreover, Eq. (6) shows that for ν = 2 the exponent on E vanishes and, as a consequence, the period is inde- FIG. 1. Morse (solid red line) and P¨oschl-Teller (dashed green pendent of the energy, which is the case of the harmonic line) potentials. oscillator. Let us denote by D the distance between the turning where U and α are positive constants. These two po- points for a given energy E, that is, D(E) = x (E) 0 + tentials have their importance also beyond the context x (E). We may try to construct a sheared potential− − of classical mechanics. For instance, the Morse potential for U(x)= a x ν , denoted by U˜(x), by defining different | | plays an important role in chemistry while the P¨oschl- expressions for positive and negative x: Teller potential exhibits bizarre properties when treated b x ν : x< 0 quantum mechanically. To mention just one of them, for U˜(x)= (7) c|x|ν : x 0 appropriate values of the constant U0 this potential be- | | ≥ comes reflectionless for whatever value of the energy of 8 whose difference between the two turning points corre- the particle . sponding to energy E is given by Our purpose in this subsection is to show that these two potentials are sheared relative to each other, so that 1/ν 1/ν D˜(E)=˜x+(E) x˜−(E) = (E/b) + (E/c) . (8) they have the same period of oscillations for negative − mechanical energies. With this goal, let us start by Imposing the shearing condition, namely, D(E)= D˜(E), determining the turning points of a particle moving in for any E, we obtain the following condition between the Morse potential with a negative mechanical energy coefficients a, b and c: E. These points can be obtained by solving equation −αx 1 1 1 1 1 E = UM (x). Conveniently substituting u = e , this = + . (9) equation leads to a1/ν 2 b1/ν 2 c1/ν E Indeed, if we compute explicitly the period of the oscilla- u2 2u =0 , (13) tions of the particle under the influence of the potential − − U0 well U˜(x) by suitably adapting Eq. (6) we shall obtain whose two roots are given by
1 1 1 1 1 − 1 I(ν) τ˜(E)= + E( ν 2 )√8m . (10) u± =1 1+ E/U0 . (14) 2 b1/ν 2 c1/ν ν ± Getting back to the variablepx, we have Substituting Eq. (9) into Eq. (10) it becomes evident 1 thatτ ˜(E)= τ(E), as expected, since we forced potential x± = ln(1 1+ E/U0) . (15) wells U(x) and U˜(x) to be sheared relative to each other. α ± Hence, the distance betweenp these two turning points, DM (E)= x+(E) x−(E), for an arbitrary negative en- B. Morse and P¨oschl-Teller potentials ergy is given by −
Let us now consider two less trivial potentials, namely, 1 1+ 1+ E/U0 DM (E)= ln the one-dimensional Morse potential and the P¨oschl- α 1 1+ E/U0 ! − p p 4
2 1 (1 + 1+ E/U0) We may always begin with the single symmetric poten- = ln tial well U(x), associated to a given period function, so α pE/U0 ! − that xR(U)= xL(U). Then, in order to shear this po- 2 U0 U0 − = ln + 1 . (16) tential we just displace the function horizontally by δ(U) α r− E r− E − ! to obtain new functionsx ˜R(U) andx ˜L(U) respectively for the right-side and the left-side branches4,6: Let us now do the same thing for the P¨oschl-Teller po- x˜ (U) = x (U)+ δ(U) tential. An analogous procedure to determine the roots R R (21) of the equation E = U (x) yields x˜L(U) = xL(U)+ δ(U) P T 1 Consequently, the difference between the corresponding x± = arcosh( U0/E) . (17) ±α − turning points is preserved for each value of U, namely, D(U)=˜x (U) x˜ (U)= x (U) x (U). Bothx ˜ and p R − L R − L R Therefore, the distance between these two turning points x˜L must be single-valued. If this condition is met, taking is given by the inverse piecewise function gives a new potential U˜(x) which is sheared from U(x). D (E)= x+ x− = (2/α) arcosh( U0/E) . (18) P T − − Naively, equations (16) and (18) do notp seem to coin- III. SHEARING TRACKS cide. However, after applying the mathematical identity 2 arcosh(x) = ln(x + √x 1) to DP T (E), it becomes ev- Though not so popularized, sheared potential wells are − ident that DM (E) = DP T (E). This means, as we had very well established. Inspired by the surprising proper- anticipated, that these two potentials are sheared relative ties of these potential wells, we now turn our attention to to each other for U0 s2 ds 2 s2 ds τ(H)=2 = . (22) s v g s H y(s) IV. ROUND-TRIP TAUTOCHRONES Z 1 r Z 1 − p Note that, as s1 and s2 depend on H, τ is a function A. Brief historical survey only of H, uniquely determined by knowledge of the track y(s). Furthermore, the previous equation neatly displays only variables with a clear geometrical meaning. Before we apply our previous result to the tautochrone We now wish to tackle the inverse problem, which is problem it is worth saying a few words about the tau- to find the y(s) that constrains the motion to a given pe- tochrone curve which played an important role in the riodic behavior τ(H). We apply the same mathematical history of classical mechanics of the 17th century. At procedure as Landau and Lifshitz to this new case. We that time, measuring the latitude was very simple but invert the function y(s) by means of the piecewise func- measuring the longitude, which was literally of vital im- portance for the sea navigations, was far from being an tion split in sR(y) and sL(y) respectively for the right easy task, since it demanded a quite accurate measure- and left branches of the track, and integrate using a trick 12 analogous of that presented in Section II, to give: ment of time . The pendulum clock, constructed by the great dutch physicist, mathematician and astronomer 1 g y τ(H)dH Christiaan Huygens in 1658 (Galileo had already tried to s (y) s (y)= . (23) R − L π 2 √y H construct a pendulum clock but he never finished and the r Z0 − patent of this invent was given to Huygens) improved at The reader may note that this result is akin to Eq. (4), least in one order of magnitude the accuracy of time mea- with x s, U y and E H, but we emphasize that surements, but this was not enough to guarantee a safe it has a→ different→ meaning and→ interpretation. measurement of the longitude. The previous equation shows that knowledge of the With the purpose of improving maritime chronome- period function τ(H) does not uniquely determine the ters, Huygens started to look for an isochronous pen- shape of a track, but rather its length L(y) = s (y) dulum, since he knew that the simple pendulum was R − sL(y) below every height y > 0. Two different tracks isochronous only for small amplitudes. A maritime y(s) andy ˜(s) will lead to motions with the same period chronometer constructed with an isochronous pendulum function τ(H) if sR(y) sL(y)=˜sR(y) s˜L(y), for every would not change the period of its oscillations even if the y. We call these tracks− length-sheared− relative to one corresponding amplitudes changed due to a rough sea. another in analogy with sheared potentials. Huygens knew that if he put lateral obstacles of appro- This means that, concretely, we may construct a track priate shape near a simple pendulum he could achieve made of measuring tape against a wall with a graph paper his purpose but, unfortunately, he was not able to find pattern, and measure the period of oscillations of a small empirically the exact shape of such lateral obstacles. marble moving on it. Then we slide the tape carefully as Then destiny came to his aid. Blaise Pascal, the fa- to ensure that the length of the tape under every horizon- mous french physicist, mathematician and philosopher, tal line remains the same. This transformation will gen- who had abandoned science after a religious epiphany in erate a new track, related to the first by length-shearing, 1654, had an unbearable toothache in 1658 that seemed and oscillations along this second track will have the same to resist any alleviating efforts. In a desperate attempt, period as the first one for every maximum height H. This Pascal decided to think of mathematics, particularly, is noteworthy, since a similar practical procedure is not in some problems on the cycloid that the french abbey generally possible with sheared potentials. Mersenne had passed to him. Coincidentally or not, the A comment is in order here. Suppose we consider only pain disappeared completely and Pascal interpreted this the motions of a particle which moves down a frictionless fact as a divine sign for him to go on thinking of problems track characterized by a function f : x y = f(x) and involving this curve. And so he did. He solved many of denote by τ(H) the time spent by the7−→ particle to reach Mersenne’s problems and formulated a few more. How- the origin at y = 0 once abandoned at rest at an arbitrary ever, instead of publishing them, he decided to propose a height y = H. Again, given the track, τ(H) is uniquely contest composed of six problems involving the cycloid. determined. However, in this case, the knowledge of τ(H) Many important scientists of that time were encour- would also uniquely determine the shape of the track aged somehow to participate in that contest, including (note that we are not talking about periodic motions but Huygens. Once he had become an expert on the cycloid, only downward motions). This problem was first solved Huygens decided to check if, by any chance, the cycloid by Niels Abel in 18269. In 2010, Mu˜noz and Fern´andez- would solve his problem. Fortunately, Huygens found Anaya10 discussed Abel’s result for particular curves for that the cycloid was a tautochrone (a curve over which a 6 particle would slide without friction under the action of a C. Half-cycloid branches constant gravity with periods independent of the height where it was abandoned). But he still needed to find out Let us begin with a symmetric cycloid whose generat- the shape of the lateral obstacles that would make a pen- ing circle has radius r. We first attempt an asymmetric dulum describe a cycloidal trajectory. In other words, he length-sheared solution using cycloids with different gen- had to find out what we call the evolute of the cycloid. erating radii. We consider for the left-side and right-side Again, he tried the cycloid and once more he was suc- branches, respectivelyr ˜L andr ˜R, in analogy to what we cessful: the evolute of the cycloid is the cycloid (shifted have presented in section II A for coefficients of power-law and out of phase). He was very lucky, since it is not very potentials. common that a curve is the evolute of itself. More details 13 on this history is nicely told in Gindikin’s book . y Among other things, Huygens worked on trying to im- prove clocks for almost four decades, but his cycloidal pendulum clock, as well as his isochronous conical pen- dulum clock, did not succeed as maritime chronometers. s1 s1 s2 s2 However, his legacy on developments of curves, evolutes ˜b b H ˜ b b and involutes which had their origins in his study of clocks can be sensed until nowadays in many different areas from differential geometry to quasicrystals14. x B. Obtaining the tautochrone curve FIG. 2. Symmetric cycloid (dashed green line) and an isochronous asymmetric track made from different cycloids Eq. (23) teaches us how to construct tracks on which (solid red line). particles oscillate with a given period τ(H). If we impose the track to be symmetric, then it is uniquely determined. We shall now apply the previously discussed techniques For both tracks to give rise to oscillations of equal pe- to obtain the tracks on which the period does not depend riods, they must be length-sheared, so the total length of on the energy, that is, the solutions to the tautochrone the track must be the same below every height y. The problem. As these tracks must have upward and down- relation between the radii follows directly from applying ward branches allowing for periodic motion, we call them constraint round-trip tautochrones. s (y) s (y)=˜s (y) s˜ (y) . (26) Choosing a suitable energy-independent period func- R − L R − L tion τ(E) = √κ, where κ is a positive constant with di- From the relation y = (1/8r)s2, it follows immediately mensions of time squared, and demanding that the track that be symmetric allows us to compute Eq. (23) exactly, as the integral becomes elementary: 2√r = r˜R + r˜L . (27) 1 gκ y dH s(y)= We present one such solutionp in Fig.p 2. 2π 2 √y H r Z0 − Alternatively, we may obtain such a curve by imposing 1 gκ = (2√y) that the periods of oscillations along both the symmetric 2π 2 ⇒ and the asymmetric tracks be the same (provided the r 2 maximum height of the motion is contained in the lower 2π 2 y = s . (24) branch of the curve). The interested reader may easily ⇒ κg verify, by means of Eq. (25), that the condition obtained The above result is in perfect analogy with the harmonic is the same as in Eq. (27). oscillator. As expected, it also corresponds to the arc- length parametrization of a cycloid whose generating cir- cle has radius r = κg/(4π)2, y = (1/8r)s2. The period D. Completing tautochrones of oscillations in terms of r and g is readily given by r Eq. (23) allows for a very broad range of solutions τ(r)=4π . (25) for round-trip tautochrones which are not restricted to g r branches of cycloids. We may obtain such a track us- Although the cycloid is indeed the single symmetric ing a prescription similar to the one presented in section round-trip tautochrone, we may length-shear it in in- II C, namely, by applying (to the original cycloidal track) finitely many ways. We will now present unconventional equations analogous to those written in Eq. (21), but solutions to the tautochrone problem, given by asymmet- now with a length-shearing function δ(y), instead of the ric tracks. shearing function δ(U). With this procedure in mind, 7 if we choose an arbitrary function for the left branch of V. FINAL REMARKS the track, sayy ˜L(s), we will obtain the corresponding y˜R function for the right branch that completes the tau- In the scope of one-dimensional systems in classical me- tochrone track. chanics, we have reviewed the result that oscillations with Since any track constructed in this way will be length- a given period as a function of the energy correspond not sheared from the original cycloidal track (which corre- to one, but to an infinite family of potential wells, which sponds to the single symmetric tautochrone), we see that satisfy the shearing condition. Particularly, isochronous this procedure provides a method for generating as many oscillations are not a property associated uniquely to the tautochrone tracks as we want. All tracks constructed in quadratic potential well (harmonic potential) but to any this way will share the property of isochronous motions, potential well which is sheared from it. that is, all of them will lead to periodic motions with Then we have extended this result to the motions of height-independent periods. a particle moving along frictionless tracks contained in a An explicit example is appropriate here. Let us set vertical plane and subject to a constant gravity. We have the left branch of the track to the semi-cubical parabola shown that if a new condition, called length-shearing, is 3 imposed to the tracks, their corresponding periods, as y˜L = α( x) 2 (α > 0). We compute the arc-length in order to− parametrize it conveniently: functions of the maximum height achieved by the parti- cle, will be the same. 3 Applying the length-shearing condition to a cycloid, 4 2 8 9α 3 2 the original tautochrone discovered by Huygens in the s˜ (y)= y 3 +1 1 . (28) L 27α2 4 − 17th century, we have shown that it is possible to obtain ! an infinite family of solutions to the tautochrone prob- lem. We may set the period of oscillations by adjusting the The actual construction of tracks — which can be done radius r of the original cycloid 8ry = s2, in accordance with a 3-D printer, for instance — is far more practical to Eq. (25). So by imposing that the new track satisfies than providing the conditions for a certain potential en- the length-shearing relation to this cycloid, the right-side ergy U(x) to drive the motion in a given period. Also, it branch of the track is given by the equation: is worth mentioning that the techniques employed in this work are accessible to undergraduate students. Hence the information presented here can be useful for enriching s˜R(y)=2 8ry +˜sL(y) . (29) courses on both theoretical and experimental university- p level classical mechanics. A solution to the track having a semi-cubical parabola Finally, for pedagogical reasons, we would like to out- for its left branch is shown in Fig. 3. line the most important aspects of the present work: The study of sheared potentials, although being a y • well established problem, still holds a few surprises, such as the shearing relation between the Morse and P¨oschl-Teller one dimensional potentials. s1 s˜1 H s2 s˜2 b b b b There is a new condition analogous to shearing • in one-dimensional potential wells, called length- shearing, which can be applied to frictionless tracks contained in vertical planes. x There is not one, but infinite tautochrones. • We can make a tautochrone by choosing any mono- FIG. 3. Cycloid (dashed green line) and an isoperiodical • asymmetric tautochrone having a semicubical parabola for tonic function y : x y(x) for the shape of one of its left branch (solid red line). In this example, we have set its branches, and then7−→ computing the correspond- r = 1/8 and α = 2. ing complementary branch simply by imposing that they are length-sheared to the cycloid. We leave for the interested reader the task of explor- ing new examples of tracks exhibiting different properties Since we chose an arbitrary function for the left branch regarding the periods of their respective driven motions, of the tautochrone, the time it spends on each branch will further applying length-shearing. depend on the maximum height. However, the geomet- The authors thank Felipe Rosa for his very fruitful in- rical condition given by length-shearing guarantees that sights. CF is also indebted to some members of the The- the difference of time the moving particle spends on the oretical Physics Department of University of Zaragoza, left branch (with respect to the cycloid) will be compen- particularly, to M. Asorey, J. Esteves, F. Falceto, L.J. sated exactly on the right branch. Boya and J. Cari˜nena for enlightening discussions. This work was partially supported by the brazilian agencies CNPq and FAPERJ. 8 ∗ [email protected] 717 (1993). † [email protected] 8 J. Lekner, “Reflectionless eigenstates of the sech2 poten- ‡ [email protected] tial”, Am. J. Phys. 75, 1151-1157 (2007). 1 Craig F. Bohren and Donald R. Huffman, Absorption and 9 N.H. Abel, “Aufl¨osung einer mechanischen Aufgabe,” J. scattering of light by small particles, (John Wiley and Sons, Reine Angew. Math. 1, 153-157 (1826). 1983). 10 R. Mu˜noz, G. Fernandez-Anaya. “On a tautochrone- 2 L. Landau and E. Lifshitz, Mechanics, 2nd edition (Perg- related family of paths,” Rev. Mex. de F´ıs. E. 56 (2), 227- amon Press, New York, 1969). 233 (2010). 3 A.B. Pippard, The physics of vibration, 1st edition (Cam- 11 R. Mu˜noz, G. Gonz´alez-Garc´ıa, E. Izquierdo-De La Cruz, bridge University Press, New York, 1979). G. Fernandez-Anaya. “Scleronomic holonomic constraints 4 E.T. Osypowsky, M.G. Olsson, “Isochronous motion in and conservative nonlinear oscillators,” Eur. J. Phys. 32 classical mechanics,” Am. J. Phys. 55 (8), 720-725 (1987). (3), 803-818 (2011). 5 M. Asorey, J. F. Cari˜nena, G. Marmo, A. Perelo- 12 Dava Sobel, Longitude: The True Story of a Lone Genius mov, “Isoperiodic classical systems and their quantum Who Solved the Greatest Scientific Problem of His Time, counterparts,” Annals Phys. 322 (6), 1444-1465 (2007). Reprint edition (Walker, London, 2007). arXiv:0707.4465 [hep-th] 13 Simon Gindikin, Tales of physicists and mathematicians, 6 C. Ant´on, J.L. Brun, “Isochronous oscillations: Potentials 2nd edition (Springer, 2007, New York). derived from a parabola by shearing,” Am. J. Phys. 76 (6), 14 V.I. Arnold, Huygens and Barrow, Newton and Hooke: 537-540 (2008). Pioneers in mathematical analysis and catastrophe theory 7 J.F. Cari˜nena, C. Farina, C. Sigaud, “Scale invariance and from evolvents to quasicrystals, 1st edition (Birkh¨auser, the Bohr-Wilson-Sommerfeld quantization for power law Basel, 1990). one-dimensional potential wells,” Am. J. Phys. 61 (8), 712-