Loading [MathJax]/jax/output/SVG/jax.js
Research article Special Issues

Linear instability of periodic orbits of free period Lagrangian systems

  • Received: 24 September 2021 Revised: 01 April 2022 Accepted: 01 April 2022 Published: 24 May 2022
  • Minimizing closed geodesics on surfaces are linearly unstable. By starting with this classical Poincaré's instability result, in the present paper we prove a result that allows to deduce the linear instability of periodic solutions of autonomous Lagrangian systems admitting an orbit cylinder (condition which is satisfied for instance if the periodic orbit is transversally non-degenerate) in terms of the parity properties of a suitable quantity which is obtained by adding the dimension of the configuration space to a suitably defined spectral index. Such a spectral index coincides with the Morse index of the periodic orbit seen as a critical point of the free period action functional in the case the Lagrangian is Tonelli, namely fibrewise strictly convex and superlinear, and it encodes the functional and symplectic properties of the problem.

    The main result of the paper is a generalization of the celebrated Poincaré 's instability result for closed geodesics on surfaces and at the same time extends to the autonomous case several previous results which have been proved by the authors (as well as by others) in the case of non-autonomous Lagrangian systems.

    Citation: Alessandro Portaluri, Li Wu, Ran Yang. Linear instability of periodic orbits of free period Lagrangian systems[J]. Electronic Research Archive, 2022, 30(8): 2833-2859. doi: 10.3934/era.2022144

    Related Papers:

    [1] Christos Sourdis . A Liouville theorem for ancient solutions to a semilinear heat equation and its elliptic counterpart. Electronic Research Archive, 2021, 29(5): 2829-2839. doi: 10.3934/era.2021016
    [2] Fanqi Zeng, Wenli Geng, Ke An Liu, Boya Wang . Differential Harnack estimates for the semilinear parabolic equation with three exponents on $ \mathbb{R}^{n} $. Electronic Research Archive, 2025, 33(1): 142-157. doi: 10.3934/era.2025008
    [3] Yitian Wang, Xiaoping Liu, Yuxuan Chen . Semilinear pseudo-parabolic equations on manifolds with conical singularities. Electronic Research Archive, 2021, 29(6): 3687-3720. doi: 10.3934/era.2021057
    [4] Yang Jiao . On estimates for augmented Hessian type parabolic equations on Riemannian manifolds. Electronic Research Archive, 2022, 30(9): 3266-3289. doi: 10.3934/era.2022166
    [5] Humberto Rafeiro, Joel E. Restrepo . Revisiting Taibleson's theorem. Electronic Research Archive, 2022, 30(2): 565-573. doi: 10.3934/era.2022029
    [6] Mingyou Zhang, Qingsong Zhao, Yu Liu, Wenke Li . Finite time blow-up and global existence of solutions for semilinear parabolic equations with nonlinear dynamical boundary condition. Electronic Research Archive, 2020, 28(1): 369-381. doi: 10.3934/era.2020021
    [7] Mufit San, Seyma Ramazan . A study for a higher order Riemann-Liouville fractional differential equation with weakly singularity. Electronic Research Archive, 2024, 32(5): 3092-3112. doi: 10.3934/era.2024141
    [8] Caifeng Liu, Pan Liu . On Liouville-type theorem for the stationary compressible Navier–Stokes equations in $ \mathbb{R}^{3} $. Electronic Research Archive, 2024, 32(1): 386-404. doi: 10.3934/era.2024019
    [9] Mustafa Aydin, Nazim I. Mahmudov, Hüseyin Aktuğlu, Erdem Baytunç, Mehmet S. Atamert . On a study of the representation of solutions of a $ \Psi $-Caputo fractional differential equations with a single delay. Electronic Research Archive, 2022, 30(3): 1016-1034. doi: 10.3934/era.2022053
    [10] Yaning Li, Yuting Yang . The critical exponents for a semilinear fractional pseudo-parabolic equation with nonlinear memory in a bounded domain. Electronic Research Archive, 2023, 31(5): 2555-2567. doi: 10.3934/era.2023129
  • Minimizing closed geodesics on surfaces are linearly unstable. By starting with this classical Poincaré's instability result, in the present paper we prove a result that allows to deduce the linear instability of periodic solutions of autonomous Lagrangian systems admitting an orbit cylinder (condition which is satisfied for instance if the periodic orbit is transversally non-degenerate) in terms of the parity properties of a suitable quantity which is obtained by adding the dimension of the configuration space to a suitably defined spectral index. Such a spectral index coincides with the Morse index of the periodic orbit seen as a critical point of the free period action functional in the case the Lagrangian is Tonelli, namely fibrewise strictly convex and superlinear, and it encodes the functional and symplectic properties of the problem.

    The main result of the paper is a generalization of the celebrated Poincaré 's instability result for closed geodesics on surfaces and at the same time extends to the autonomous case several previous results which have been proved by the authors (as well as by others) in the case of non-autonomous Lagrangian systems.



    Besides being a champion of chess and of des chiffres et des lettres, during the first fifty years of his life Alberto Farina has also left a permanent trace in partial differential equations. We are all familiar with his depth of thought and recognizable style and it would be virtually impossible to recall and comment on all his fundamental contributions in different areas.

    To cut a long story short, we just mention that the articles by Alberto for which MathSciNet lists more than fifty citations (at least one per year of Alberto's life) cover in depth a broad spectrum of partial differential equations, including:

    ● one-dimensional symmetry of entire solutions, inspired by a celebrated conjecture by Ennio De Giorgi [24,28,31],

    ● overdetermined boundary value problems [23,32],

    ● Liouville-type theorems for solutions of the Lane-Emden equation [12,25] and of general semilinear equations [21],

    ● non-existence results for Liouville-type equations [14,26].

    We also know how proud Alberto is of his papers written with James Serrin [29,30], in which they have creatively looked at the class of quasilinear elliptic equations with the property that any entire solution must necessarily be constant (of course, the simple Laplace equation does not belong to this class, but the family of equations considered includes the p-Laplacian and the mean curvature equations with appropriate weights).

    Among all the problems studied by Alberto, one of his favorites is probably De Giorgi's Conjecture [15]. This is the problem, in the original statement by De Giorgi:

    Let us consider a solution uC2(Rn) of

    Δu=u3u

    such that |u|1, uxn>0 in the whole Rn. Is it true that, for every λR, the sets {u=λ} are hyperplanes, at least if n8? (This problem is related to [40,41]).

    In this editorial, we do not dive into the full story of De Giorgi's Conjecture (for this, see [31] and the references therein). Rather, we recall some of the very many results obtained by Alberto on this topic, also in relation with p-Laplace operators

    Δpu=div(|u|p2u) (1)

    and the mean curvature operator

    div(u1+|u|2). (2)

    For the sake of brevity, we will say that "u is one-dimensional" when the claim in De Giorgi's Conjecture holds true (notice indeed that this claim is equivalent to the possibility of writing u as a function of only one variable).

    Several ideas stemmed out from Alberto's "Habilitation à diriger des recherches", especially in connection with the notion of "stable" solutions: namely a solution of an equation with a variational structure is called stable if the second derivative of the corresponding energy functional is nonnegative definite. Not only is this a natural condition to consider from the perspective of the calculus of variations (for instance, local minima satisfy this condition). It is also strictly related to the geometry of the solution, as indeed solutions satisfying the monotonicity assumption in the statement of De Giorgi's Conjecture can be proved to be stable.

    In this setting, a special case of [28,Theorems 1.1 and 1.5] gives that:

    Let Nu be either the p-Laplace operator in (1) for some p1 or the mean curvature operator in (2).

    Let uC1(R2)C2({u0}), with uL(R2)W1,2loc(R2), be a stable weak solution of Nu=f(u) in R2, where f is a locally Lipschitz function.

    If Nu is the p-Laplace operator with p[1,2), assume additionally that {u=0}=.

    Then, u is one-dimensional.

    Notice that this is a more general case than De Giorgi's Conjecture in dimension 2.

    Moreover, a special case of [28,Theorem 1.2] gives that:

    Let Nu be either the p-Laplace operator in (1) for some p>1 or the mean curvature operator in (2).

    Let uC1(R3)W1,(R3) be a stable weak solution of Nu=f(u) in R3, where f is a locally Lipschitz function.

    Assume additionally that {u=0}= and ux30.

    Then, u is one-dimensional.

    Notice that this is a more general case than De Giorgi's Conjecture in dimension 3.

    One typical feature of Alberto's work is also to relate the symmetry properties of a solution to the geometry of the solution's profiles at infinity. In particular, the monotonicity assumption in the statement of De Giorgi's Conjecture allows one to define the two profiles

    ¯u(x):=limxn+u(x,xn)andu_(x):=limxnu(x,xn),

    where the notation (x,xn)Rn1×R has been used.

    In this setting, it follows from a particular case of [33,Theorem 1.1] that one can deduce the symmetry of the solution from the symmetry of the profiles. For this, one says that a function is "two-dimensional" when it can be written as a function of at most two variables, and we have that:

    Let p(1,+) and uW1,ploc(Rn) be a weak solution of

    Δpu=u(1u2)p1

    such that |u|1, uxn>0 in the whole Rn.

    Suppose that both ¯u and u_ are two-dimensional.

    Then, ¯u is identically +1, u_ is identically 1 and u is a local minimum of the energy functional.

    Also, if n8, then u is one-dimensional.

    We observe that this statement when p=2 proves De Giorgi's Conjecture, under the additional assumption that the limit profiles are two-dimensional.

    Another very recognizable line of investigation consists in deducing symmetry results from the knowledge of the shape/geometry of a level set of the solution. As an example, one can obtain a symmetry result under the assumption that "one level set is a complete graph", meaning that there exist λR and Γ:Rn1R such that

    {u=λ}={(x,xn)Rn1×R s.t. xn=Γ(x)}.

    We remark that this graphicality condition is compatible with the monotonicity assumption in De Giorgi's Conjecture, but it is not ensured by it. In this setting, from [33,Theorem 1.3] one obtains the symmetry of the solution if one level set is a complete graph:

    Let us consider a solution uC2(Rn) of

    Δu=u3u

    such that |u|1, uxn>0 in the whole Rn.

    Assume that one level set of u is a complete graph.

    Then, ¯u is identically +1, u_ is identically 1 and u is a local minimum of the energy functional.

    Also, if n8, then u is one-dimensional.

    See also [35] for related results based on the limit interface of the solution.

    A problem strictly related to De Giorgi's Conjecture embraces the case in which the solution attains the limits +1 and 1 at infinity in a uniform way. In this case, the problem is often named Gibbons' Conjecture, after theoretical physicist Gary William Gibbons. In his seminal paper [24], Alberto gave a positive answer to Gibbons' Conjecture in every dimension (the same result was obtained independently and with different methods in [4,5]):

    Let uC2(Rn) be a bounded solution of

    Δu=u3u

    in Rn such that

    limxn+supxRn1|u(x,xn)1|=0andlimxnsupxRn1|u(x,xn)+1|=0.

    Then, u is one-dimensional.

    See also [34] for related results in more general settings.

    De Giorgi's Conjecture is also closely related to Liouville-type results. To showcase this link, we recall for instance [21,Theorem 1.1]:

    Assume that fC1(R), f0 and n4. Let uC2(Rn) be a bounded and stable solution of

    Δu=f(u).

    Then, u is constant.

    This result has been recently sharpened in [22,Theorem 1] for dimension n10 (addressing also the case of solutions that are assumed to be only bounded from below). See [25,26] also for classification results with power-type nonlinearities, sign-changing and unbounded solutions, etc. The case of exponential nonlinearities is also addressed in [14].

    Recently, a great attention has been devoted also to a nonlocal variant of De Giorgi's Conjecture in which the Laplace operator is replaced by the fractional Laplacian, defined, for s(0,1), up to normalizing constants, as

    (Δ)su(x):=Rnu(x+y)+u(xy)2u(x)|y|n+2sdy,

    with the integral computed in Cauchy's Principal Value sense.

    This type of problems is interesting also in connection with long-range phase transitions and, for s(0,12), which is often referred to as the "genuinely nonlocal regime", is related to the theory of nonlocal minimal surfaces (see [20] for further details).

    One of the works by Alberto also settles this problem in dimension 3 for the genuinely nonlocal regime. Indeed, from [19,Theorem 1.1] we have that:

    Let n3 and s(0,12). Let us consider a solution uC2(Rn) of

    (Δ)su=u3u

    such that |u|1, uxn>0 in the whole Rn.

    Then, u is one-dimensional.

    We also observe that in the original formulation by De Giorgi, the problem was explicitly related to the study of minimal surfaces via the reference to [40,41]. This intimate connection is reflected into many of Alberto's works, in which the symmetry properties of solutions of partial differential equations are linked to Bernstein-type results classifying entire graphical solutions of geometric equations.

    In this respect, many of the works by Alberto are connected with the Bernstein problem and, as an example, we recall here [27,Theorem 1.1]:

    Assume that n8 and let uC2(Rn) be a solution of the minimal surface equation

    div(u1+|u|2)=0.

    If n7 partial derivatives of u are bounded on one side (not necessarily the same), then u is an affine function.

    This result is sharp, since one can also construct examples of non-affine solutions in dimension n8 with n8 partial derivatives that are bounded on one side.

    We also mention that a version of this result dealing with nonlocal minimal surfaces has been obtained in [11].

    We hope that this special issue reflects Alberto's tastes and scientific passions, also covering a variety of research directions. Though it is simplistic to try to frame these directions into stiff categories, the articles collected in this volume do, in our opinion, overlap with many of Alberto's main interests and include fundamental topics, such as:

    ● rigidity, symmetry and classification results [3,6,7,13,16,36,39],

    ● regularity theory [9,17],

    ● nonlocal equations [1,2,8,10],

    ● topical applications [18,37,38].

    On a sad note, in the period of time in which this special issue was launched and completed, the great figure of Ireneo Peral has left us. Tragically, his contribution to this special issue [2] will remain as one of his last works. We will miss Ireneo and we will always remember his brilliance, enthusiasm and generosity.

    But on a positive note, Ireneo has not left us alone and many of his disciples, friends and collaborators are putting together a new special issue commemorating Ireneo's prominence. In a sense, we are happy to pass the baton to this incoming special issue, which we see as a prolongation of Ireneo's marvelous and unique scientific matrice.

    We thank all the authors and all the referees for their invaluable contributions.

    SD has been supported by the Australian Research Council DECRA DE180100957 PDEs, free boundaries and applications.

    The authors declare no conflict of interest.



    [1] V. Barutello, R. D. Jadanza, A. Portaluri, Morse index and linear stability of the Lagrangian circular orbit in a three-body-type problem via index theory, Arch. Ration. Mech. Anal., 219 (2016), 387–444. https://doi.org/10.1007/s00205-015-0898-2 doi: 10.1007/s00205-015-0898-2
    [2] V. Barutello, R. D. Jadanza, A. Portaluri, Linear instability of relative equilibria for n-body problems in the plane, J. Differ. Equ., 257 (2014), 1773–1813. https://doi.org/10.1016/j.jde.2014.05.017 doi: 10.1016/j.jde.2014.05.017
    [3] X. Hu, A. Portaluri, R. Yang, Instability of semi-Riemannian closed geodesics, Nonlinearity, 32 (2019), 4281–4316.
    [4] A. Abbondandolo, Lectures on the free period Lagrangian action functional, J. Fix. Point Theory A., 13 (2013), 397–430. https://doi.org/10.1007/s11784-013-0128-1 doi: 10.1007/s11784-013-0128-1
    [5] V. I. Arnol'd, Some remarks on flows of line elements and frames, Dokl. Akad. Nauk. SSSR, 138 (1961), 255–257. https://doi.org/10.1007/978-3-642-01742-1 doi: 10.1007/978-3-642-01742-1
    [6] G. Contreras, The Palais-Smale condition on contact type energy levels for convex Lagrangian systems, Calc. Var. Partial Dif., 27 (2006), 321–395. https://doi.org/10.1007/s00526-005-0368-z doi: 10.1007/s00526-005-0368-z
    [7] L. Asselle, M. Mazzucchelli, On Tonelli periodic orbits with low energy on surfaces, Trans. Amer. Math. Soc., 371 (2019), 3001–3048. https://doi.org/10.1090/tran/7185 doi: 10.1090/tran/7185
    [8] A. J. Ureña, Instability of closed orbits obtained by minimization, Available online: https://www.researchgate.net/publication/336319646_Instability_of_closed_orbits_obtained_by_minimization
    [9] W. J. Merry, G. P. Paternain, Index computations in Rabinowitz Floer homology, J. Fix. Point Theory A., 10 (2010), 87–111. https://doi.org/10.1007/s11784-011-0047-y doi: 10.1007/s11784-011-0047-y
    [10] W. Li, The Calculation of Maslov-type index and Hörmander index in weak symplectic Banach space, Doctoral Degree Thesis, Nankai University, September, 2016.
    [11] A. Abbondandolo, A. Portaluri, M. Schwarz, The homology of path spaces and Floer homology with conormal boundary conditions, J. Fix. Point Theory A., 4 (2008), 263–293. https://doi.org/10.1007/s11784-008-0097-y doi: 10.1007/s11784-008-0097-y
    [12] X. Hu, S. Sun, Index and stability of symmetric periodic orbits in Hamiltonian systems with application to figure-eight orbit, Comm. Math. Phys., 290 (2009), 737–777. https://doi.org/10.1007/s00220-009-0860-y doi: 10.1007/s00220-009-0860-y
    [13] M. Musso, J. Pejsachowicz, A. Portaluri, A Morse index theorem for perturbed geodesics on semi-Riemannian manifolds, Topol. Methods Nonlinear Anal., 25 (2005), 69–99. https://doi.org/10.12775/TMNA.2005.004 doi: 10.12775/TMNA.2005.004
    [14] M. Musso, J. Pejsachowicz, A. Portaluri, Morse index and bifurcation of p-geodesics on semi Riemannian manifolds, ESAIM Control Optim. Calc. Var., 13 (2007), 598–621. https://doi.org/10.1051/cocv:2007037 doi: 10.1051/cocv:2007037
    [15] X. Hu, A. Portaluri, Index theory for heteroclinic orbits of Hamiltonian systems, Calc. Var. Partial Dif., 56 (2017), 1–24. https://doi.org/10.1007/s00526-017-1259-9 doi: 10.1007/s00526-017-1259-9
    [16] X. Hu, A. Portaluri, Bifurcation of heteroclinic orbits via an index theory, Math. Z., 292 (2019), 705–723. https://doi.org/10.1007/s00209-018-2167-1 doi: 10.1007/s00209-018-2167-1
    [17] X. Hu, A. Portaluri, R. Yang, A dihedral Bott-type iteration formula and stability of symmetric periodic orbits, Calc. Var. Partial Dif., 59 (2020), 1–40. https://doi.org/10.1007/s00526-020-1709-7 doi: 10.1007/s00526-020-1709-7
    [18] L. Asselle, On the existence of Euler-Lagrange orbits satisfying the conormal boundary conditions, J. Funct. Anal., 271 (2016), 3513–3553. https://doi.org/10.1016/j.jfa.2016.08.023 doi: 10.1016/j.jfa.2016.08.023
    [19] H. Hofer, E. Zehnder, Symplectic Invariants and Hamiltonian Dynamics, Birkhäuser Verlag, 2011.
    [20] A. Portaluri, L. Wu, R. Yang, Linear instability for periodic orbits of non-autonomous Lagrangian systems, Nonlinearity, 34 (2021), 237. https://doi.org/10.1088/1361-6544/abcb0b doi: 10.1088/1361-6544/abcb0b
    [21] S. E. Cappell, R. Lee, E. Y. Miller, On the Maslov index, Comm. Pure Appl. Math., 47 (1994), 121–186. https://doi.org/10.1002/cpa.3160470202 doi: 10.1002/cpa.3160470202
    [22] P. Piccione, A. Portaluri, D. V. Tausk, Spectral flow, Maslov index and bifurcation of semi-Riemannian geodesics, Ann. Global Anal. Geom., 25 (2004), 121–149.
    [23] C. Zhu, A generalized Morse index theorem, Analysis, World Sci. Publ., Hackensack, NJ, (2006), 493–540.
  • Reader Comments
  • © 2022 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(1882) PDF downloads(71) Cited by(1)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog