Abstract
We show the existence of homoclinic type solutions of second order Hamiltonian systems of the type \(\ddot{q}(t)+\nabla _{q}V(t,q(t))=f(t)\), where \(t\in \mathbb {R}\), the \(C^1\)-smooth potential \(V:\mathbb {R}\times \mathbb {R}^n\rightarrow \mathbb {R}\) satisfies a relaxed superquadratic growth condition, its gradient is bounded in the time variable, and the forcing term \(f:\mathbb {R}\rightarrow \mathbb {R}^n\) is sufficiently small in the space of square integrable functions. The idea of our proof is to approximate the original system by time-periodic ones, with larger and larger time-periods. We prove that the latter systems admit periodic solutions of mountain-pass type, and obtain homoclinic type solutions of the original system from them by passing to the limit (in the topology of almost uniform convergence) when the periods go to infinity.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
During the past 2 decades there have been numerous applications of methods from the calculus of variations to find periodic, homoclinic and heteroclinic solutions for Hamiltonian systems. Many of the striking results that have been obtained by variational methods can be found in the well-known monographs of Ambrosetti and Coti Zelati [3], Ekeland [8], Hofer and Zehnder [9], Mawhin and Willem [16], as well as in the review articles of Rabinowitz [19, 20].
The aim of this paper is to prove the existence of solutions of the second order Hamiltonian system
where the \(C^1\)-smooth potential \(V:\mathbb {R}\times \mathbb {R}^n\rightarrow \mathbb {R}\) satisfies a relaxed superquadratic growth condition, its gradient \(V_{q}:\mathbb {R}\times \mathbb {R}^n\rightarrow \mathbb {R}^n\) is uniformly bounded in the time variable on every compact subset of \(\mathbb {R}^n\), and the norm of the forcing term \(f:\mathbb {R}\rightarrow \mathbb {R}^n\) in the space of square integrable functions is smaller than a bound that we state below in our main theorem.
As homoclinic type solutions are global in time, it is reasonable to use global methods to find them rather than approaches based on their initial value problems. The homogenous systems of (1), i.e. when \(f\equiv 0\), have been studied extensively under the assumption of superquadratic or subquadratic growth of the potential V(t, q) as \(|q|\rightarrow \infty \). Indeed, there are many results on homoclinic solutions for subquadratic Hamiltonian systems (cf. e.g. [20]). The first variational results for homoclinic solutions of first order Hamiltonian systems with superquadratic growth were found by Coti Zelati et al. [6] for time-periodic Hamiltonians. Corresponding results for second order Hamiltonian systems were obtained in [7, 18]. Alama and Li [1] showed that asymptotic periodicity in time actually suffices to get a homoclinic solution, and Serra et al. [21] weakened their periodicity condition to almost periodicity in the sense of Bohr. Finally, Hamiltonian systems with superquadratic non-periodic potentials were investigated for example by Montecchiari and Nolasco [17], Ambrosetti and Badiale [4], and by the second author of this paper in [11, 13, 14].
Our purpose is to generalize Theorem 1.1 of [5], which deals with the existence of solutions of the inhomogeneous systems (1) under the rather restrictive assumption that the potential V is of the special form
where \(a:\mathbb {R}\rightarrow \mathbb {R}\) is a continuous positive bounded function and \(G:\mathbb {R}^n\rightarrow \mathbb {R}\) is of class \(C^1\) and satisfies the Ambrosetti–Rabinowitz superquadratic growth condition. Here, instead, the potential is of the more general form
with \(C^1\)-smooth potentials K and W such that
- \((C_1)\):
-
the maps \(\nabla _{q}K\) and \(\nabla _{q}W\) are uniformly bounded in the time variable \(t\in \mathbb {R}\) on every compact subset of \(\mathbb {R}^n\),
- \((C_2)\):
-
there exist two positive constants \(b_1\), \(b_2\) such that for all \(t\in \mathbb {R}\) and \(q\in \mathbb {R}^n\)
$$\begin{aligned} b_{1}|q|^{2}\le K(t,q)\le b_{2}|q|^{2}, \end{aligned}$$ - \((C_3)\):
-
\(K(t,q)\le (q,\nabla _{q}K(t,q))\le 2K(t,q)\) for all \(t\in \mathbb {R}\) and \(q\in \mathbb {R}^n\),
- \((C_4)\):
-
\(\nabla _{q}W(t,q)=o(|q|)\) as \(|q|\rightarrow 0\) uniformly in \(t\in \mathbb {R}\),
- \((C_5)\):
-
there is a constant \(\mu >2\) such that for all \(t\in \mathbb {R}\) and \(q\in \mathbb {R}^n{\setminus }\{0\}\)
$$\begin{aligned} 0<\mu W(t,q)\le (q,\nabla _{q}W(t,q)), \end{aligned}$$ - \((C_6)\):
-
\(m:=\inf \{W(t,q):t\in \mathbb {R}\ \wedge \ |q|=1\}>0.\)
Here and subsequently, we denote by \((\cdot ,\cdot ):\mathbb {R}^n\times \mathbb {R}^n\rightarrow \mathbb {R}\) the standard inner product in \(\mathbb {R}^n\) and by \(|\cdot |\) its induced norm.
Let us point out that under the above assumptions the Hamiltonian system (1) has the trivial solution when the forcing term f vanishes. Therefore it is reasonable to suppose that homoclinic type solutions exist when f is sufficiently small. Our main result affirms this hypothesis and it also gives an answer to the question how large the forcing term can be.
Theorem 1.1
Set \(M:=\sup \{W(t,q):t\in \mathbb {R}\ \wedge \ |q|=1\}\) and \(\bar{b}_{1}:=\min \{1,2b_{1}\}\). Let us assume that \(M<\frac{1}{2}\bar{b}_{1}\) and \((C_1)-(C_6)\) are satisfied. If the forcing term f is continuous, bounded, and moreover
then the inhomogenous system (1) possesses at least one solution.
The idea of our proof, which we give in the following second section, is to approximate the original system (1) by time-periodic ones, with larger and larger time-periods. We show that the approximating systems admit periodic solutions of mountain-pass type, and obtain a homoclinic type solution of the original system from them by passing to the limit (in the topology of almost uniform convergence) when the periods go to infinity. Finally, we discuss some examples of Theorem 1.1 in Sect. 3.
2 Proof of Theorem 1.1
For each \(k\in \mathbb {N}\), let \(E_k=W^{1,2}_{2k}(\mathbb {R},\mathbb {R}^n)\) be the Sobolev space of 2k-periodic functions on \(\mathbb {R}\) with values in \(\mathbb {R}^n\) and the standard norm
We begin with the following estimate that is crucial in the main part of our proof below.
Lemma 2.1
For every \(\zeta \in \mathbb {R}\) and \(q\in E_k\) we have
Proof
Note at first that the assertion is obviously true if \(q=0\) or \(\zeta =0\). Hence we can assume in the rest of the proof that \(\zeta \ne 0\) and \(q\ne 0\). Then it follows from \((C_5)\) that, for every \(q\ne 0\) and \(t\in \mathbb {R}\), the function \(z:(0,+\infty )\rightarrow \mathbb {R}\) defined by
is non-increasing. Hence, for every \(t\in \mathbb {R}\),
and
We now fix \(\zeta \in \mathbb {R}{\setminus }\left\{ 0\right\} \), \(q\in E_k{\setminus }\left\{ 0\right\} \) and set
By (4), we get
which completes the proof. \(\square \)
Further, to prove Theorem 1.1, we need the following approximative method.
Theorem 2.2
(Approximative Method, [15]) Let \(f:\mathbb {R}\rightarrow \mathbb {R}^n\) be a non-trivial, bounded, continuous and square integrable map. Assume that \(V:\mathbb {R}\times \mathbb {R}^n\rightarrow \mathbb {R}\) is a \(C^1\)-smooth potential such that \(\nabla _{q}V:\mathbb {R}\times \mathbb {R}^n\rightarrow \mathbb {R}^n\) is uniformly bounded in t on every compact subset of \(\mathbb {R}^n\), i.e.
Suppose that for each \(k\in \mathbb {N}\) the boundary value problem
where \(f_k:\mathbb {R}\rightarrow \mathbb {R}^n\) stands for the 2k-periodic extension of \(f|_{[-k,k)}\) to \(\mathbb {R}\) and \(V_k:\mathbb {R}\times \mathbb {R}^n\rightarrow \mathbb {R}\) denotes the 2k-periodic extension of \(V|_{[-k,k)\times \mathbb {R}^n}\) to \(\mathbb {R}\times \mathbb {R}^n\), has a periodic solution \(q_k\in E_k\) and \(\{\Vert q_k\Vert _{E_k}\}_{k\in \mathbb {N}}\) is a bounded sequence in \(\mathbb {R}\). Then there exists a subsequence \(\{q_{k_j}\}_{j\in \mathbb {N}}\) converging in the topology of \(C^{2}_{loc}(\mathbb {R},\mathbb {R}^n)\) to a function \(q\in W^{1,2}(\mathbb {R},\mathbb {R}^n)\) which is a solution of
The approximative method was introduced by Rabinowitz [18] for homogenous second order Hamiltonian systems with a time-periodic potential. Later, the second author of this paper extended it to inhomogenous time-periodic Hamiltonian systems (see [10, 12]), and more recently, Robert Krawczyk generalized it to the case of aperiodic potentials.
Let us now consider for \(k\in \mathbb {N}\) the boundary value problems
where \(f_k:\mathbb {R}\rightarrow \mathbb {R}^n\) stands for the 2k-periodic extension of \(f|_{[-k,k)}\) to \(\mathbb {R}\), and \(K_k:\mathbb {R}\times \mathbb {R}^n\rightarrow \mathbb {R}\), \(W_k:\mathbb {R}\times \mathbb {R}^n\rightarrow \mathbb {R}\) are the 2k-periodic extensions of \(K|_{[-k,k)\times \mathbb {R}^n}\) and \(W|_{[-k,k)\times \mathbb {R}^n}\) to \(\mathbb {R}\times \mathbb {R}^n\).
As we have already mentioned in the introduction, our proof consists of two steps. First, we show the existence of solutions of (5), and second, we use Theorem 2.2 to find a solution of (1).
For our first step, let us consider the functionals \(I_{k}:E_k\rightarrow \mathbb {R}\) given by
Standard arguments show that \(I_k\in C^1(E_k,\mathbb {R})\), and
Moreover, the critical points of the functional \(I_k\) are classical 2k-periodic solutions of (5), and we now show their existence by using the Mountain Pass Theorem. Let us recall the latter result before proceeding with our proof.
Theorem 2.3
(Mountain Pass Theorem, [2]) Let E be a real Banach space and \(I:E\rightarrow \mathbb {R}\) a \(C^1\)-smooth functional. If I satisfies the following conditions:
-
(i)
\(I(0)=0\),
-
(ii)
every sequence \(\left\{ u_j\right\} _{j\in \mathbb {N}}\) in E such that \(\left\{ I(u_j)\right\} _{j\in \mathbb {N}}\) is bounded in \(\mathbb {R}\) and \(I'(u_j)\rightarrow 0\) in \(E^{*}\) as \(j\rightarrow +\infty \) contains a convergent subsequence (the Palais–Smale condition),
-
(iii)
there exist constants \(\rho ,\alpha >0\) such that \(I|_{\partial B_{\rho }(0)}\ge \alpha \),
-
(iv)
there exists \(e\in E{\setminus }\bar{B}_{\rho }(0)\) such that \(I(e)\le 0\),
where \(B_{\rho }(0)\) is the open ball of radius \(\rho \) about 0 in E, then I possesses a critical value \(c\ge \alpha \) given by
where
We now denote by \(L^{\infty }_{2k}(\mathbb {R},\mathbb {R}^n)\) the space of 2k-periodic essentially bounded functions from \(\mathbb {R}\) into \(\mathbb {R}^n\) equipped with the norm
It is well known that for each \(k\in \mathbb {N}\) and \(q\in E_k\)
The proof of (9) can be found for example in [10] (see Fact 2.8, p. 385).
Furthermore, we will write \(L^2_{2k}(\mathbb {R},\mathbb {R}^n)\) for the Hilbert space of 2k-periodic functions on \(\mathbb {R}\) with values in \(\mathbb {R}^n\) and with the norm
Note that by (2),
The following lemma shows the existence of a solution of (5) and is the main part of the first step of our proof.
Lemma 2.4
For each \(k\in \mathbb {N}\), the functional \(I_k\) has a critical value of mountain pass type.
Proof
We let \(k\in \mathbb {N}\) be fixed and note at first that it is evident by \((C_2)\) and \((C_5)\) that \(I_k(0)=0\), which shows (i) in Theorem 2.3.
For checking the Palais–Smale condition (ii), we consider a sequence \(\{u_j\}_{j\in \mathbb {N}}\subset E_k\) such that \(\{I_k(u_j)\}_{j\in \mathbb {N}}\) is bounded in \(\mathbb {R}\) and \(I'_k(u_j)\rightarrow 0\) in \(E^{*}_{k}\) as \(j\rightarrow \infty \). Then there exists a constant \(C_k>0\) such that for all \(j\in \mathbb {N}\)
and
Now, we will first show that \(\{u_j\}_{j\in \mathbb {N}}\) is bounded in the Hilbert space \(E_k\). Using (6) and \((C_5)\) we get
From (7) and \((C_3)\) it follows that
Thus
and by \((C_2)\) we have
Finally, aplying the Hölder inequality, as well as (10), (11) and (12), we obtain
Since \(\mu >2\) we conclude that \(\{u_j\}\) is bounded.
Going to a subsequence if necessary, we can assume that there exists a function \(u\in E_k\) such that \(u_j\rightharpoonup u\) weakly in \(E_k\) as \(j\rightarrow +\infty \). Hence \(u_j\rightarrow u\) uniformly on \([-k,k]\), which implies that
and
as \(j\rightarrow +\infty \). On the other hand, it is readily seen that
and consequently
By (13) and (14), we see that \(\Vert u_j-u\Vert _{E_k}\rightarrow 0\), and thus \(I_k\) satisfies the Palais–Smale condition.
To show (iii), we set
Assume that \(q\in \partial B_{\rho }(0)\subset E_{k}\). Then \(\Vert q\Vert _{L^{\infty }_{2k}}>0\) and \(\Vert q\Vert _{L^{\infty }_{2k}}\le 1\) by (9). Let
Thus, we can apply (3) to obtain
From this, \((C_2)\) and (2), we get
To complete the proof, we have to show (iv), i.e. we need to find \(e_k\in E_k\) such that \(\Vert e_k\Vert _{E_k}>\rho \) and \(I_k(e_k)\le 0\).
Let
Combining (6) and Lemma 2.1 gives
for all \(\zeta \in \mathbb {R}{\setminus }\{0\}\) and \(q\in E_k{\setminus }\{0\}\).
We now let \(Q\in E_1\) be such that \(Q\ne 0\) and \(Q(-1)=Q(1)=0\). It follows from (16) that \(\Vert \zeta Q\Vert _{E_1}>\rho \) and \(I_1(\zeta Q)<0\) for \(\zeta \in \mathbb {R}{\setminus }\{0\}\) large enough. Hence, if we define \(e_1(t)=\zeta Q(t)\) and for each \(k\ge 2\),
then \(e_k\in E_k\), and \(\Vert e_k\Vert _{E_k}=\Vert e_1\Vert _{E_1}>\rho \) as well as \(I_k(e_k)=I_1(e_1)<0\).
In summary, it follows from Theorem 2.3 that the action functional \(I_k\) has a critical value \(c_k\ge \alpha \) given by
where
\(\square \)
In what follows, we let \(q_k\) be a critical point for the corresponding critical value \(c_k\) that we have found in Lemma 2.4. The functions \(q_k\), \(k\in \mathbb {N}\), are solutions of (5) and as second step of our proof of Theorem 1.1, we now want to apply Theorem 2.2 to this sequence of functions.
Lemma 2.5
The sequence \(\{\Vert q_k\Vert _{E_k}\}_{k\in \mathbb {N}}\subset \mathbb {R}\) is bounded.
Proof
We set
and conclude from (17) and (18) that
for each \(k\in \mathbb {N}\). By assumption,
Applying \((C_3)\) and \((C_5)\) we obtain
Furthermore, it follows from (6) and \((C_2)\) that
Using that \(I_k(q_k)=c_k\), the previous two inequalities give
which implies by (2) and (19) that
Hence there is \(M_1>0\) such that for each \(k\in \mathbb {N}\),
\(\square \)
Now, using Theorem 2.2 we see that there exists a solution \(q:\mathbb {R}\rightarrow \mathbb {R}^n\) of (1) such that \(q(t)\rightarrow 0\) as \(|t|\rightarrow \infty \).
All what is left to show for the proof of Theorem 1.1 is that actually \(\dot{q}(t)\rightarrow 0\) as \(|t|\rightarrow \infty \). This, however, follows from the inequality
which can be found in [10] [Inequality (28), p. 385]. Indeed, we just need to note that by (1), \((C_2)\), \((C_4)\) and (2)
If now |t| goes to \(\infty \) in (20) we see that \(|\dot{q}(t)|\rightarrow 0\) as \(|t|\rightarrow \infty \). Consequently, q is a solution of (1) and the proof of Theorem 1.1 is complete.
3 One-Dimensional Examples
In this section we present examples for \(n=1\) satisfying the assumptions of Theorem 1.1, and the graphs of their approximating solutions \(q_k\) of (5) for increasing values of k.
Example 3.1
Consider \(K:\mathbb {R}\times \mathbb {R}\rightarrow \mathbb {R}\), \(W:\mathbb {R}\times \mathbb {R}\rightarrow \mathbb {R}\) and \(f:\mathbb {R}\rightarrow \mathbb {R}\) given by
and
where \(t,q\in \mathbb {R}\). One can easily check that K, W and f satisfy the assumptions of Theorem 1.1. The Figs. 1, 2 and 3 show the graphs of numerical solutions \(q_k\) of (5) for \(k = 57, 100, 250\).
A numerical solution of (5) for \(k=57\) in Example 1
A numerical solution of (5) for \(k=100\) in Example 1
A numerical solution of (5) for \(k=250\) in Example 1
Example 3.2
Let \(K:\mathbb {R}\times \mathbb {R}\rightarrow \mathbb {R}\), \(W:\mathbb {R}\times \mathbb {R}\rightarrow \mathbb {R}\) and \(f:\mathbb {R}\rightarrow \mathbb {R}\) be given by
and
where \(t,q\in \mathbb {R}\). It is immediate that K, W and f satisfy the assumptions of Theorem 1.1. The Figs. 4, 5 and 6 show the graphs of numerical solutions \(q_k\) of (5) for \(k = 10, 40, 160\).
A numerical solution of (5) for \(k=10\) in Example 2
A numerical solution of (5) for \(k=40\) in Example 2
A numerical solution of (5) for \(k=160\) in Example 2
A numerical solution of (5) for \(k=100\) in Example 3
A numerical solution of (5) for \(k=140\) in Example 3
A numerical solution of (5) for \(k=180\) in Example 3
Example 3.3
Consider \(K:\mathbb {R}\times \mathbb {R}\rightarrow \mathbb {R}\), \(W:\mathbb {R}\times \mathbb {R}\rightarrow \mathbb {R}\) and \(f:\mathbb {R}\rightarrow \mathbb {R}\) given by
and
where \(t,q\in \mathbb {R}\). Again, it is readily seen that K, W and f satisfy the assumptions of Theorem 1.1. The Figs. 7, 8 and 9 show the graphs of numerical solutions \(q_k\) of (5) for \(k = 100, 140, 180\).
References
Alama, S., Li, Y.Y.: Existence of solutions for semilinear elliptic equations with indefinite linear part. J. Differ. Equ. 96, 88–115 (1992)
Ambrosetti, A., Rabinowitz, P.H.: Dual variational methods in critical point theory and applications. J. Funct. Anal. 14, 349–381 (1973)
Ambrosetti, A., Coti Zelati, V.: Periodic Solutions of Singular Lagrangian Systems. Birkhäuser, Basel (1993)
Ambrosetti, A., Badiale, M.: Homoclinics: Poincaré-Melnikov type results via a variational approach. Ann. Inst. H. Poincaré Anal. Non Linéaire 15, 233–252 (1998)
Ciesielski, J., Janczewska, J., Waterstraat, N.: On the existence of homoclinic type solutions of inhomogenous Lagrangian systems. Differ. Integral Equ. 30(3/4), 259–272 (2017)
Coti Zelati, V., Ekeland, I., Séré, E.: A variational approach to homoclinic orbits in Hamiltonian systems. Math. Ann. 288, 133–160 (1990)
Coti Zelati, V., Rabinowitz, P.H.: Homoclinic orbits for second order Hamiltonian systems possessing superquadratic potentials. J. Am. Math. Soc. 4, 693–727 (1992)
Ekeland, I.: Convexity Methods in Hamiltonian Mechanics. Springer, Berlin (1990)
Hofer, H., Zehnder, E.: Hamiltonian Dynamics and Symplectic Invariants. Birkhäuser, Basel (1994)
Izydorek, M., Janczewska, J.: Homoclinic solutions for a class of the second order Hamiltonian systems. J. Differ. Equ. 219, 375–389 (2005)
Janczewska, J.: Almost homoclinic solutions for the second order Hamiltonian systems. Topol. Methods Nonlinear Anal. 32, 131–137 (2008)
Janczewska, J.: An approximative scheme of finding almost homoclinic solutions for a class of Newtonian systems. Topol. Methods Nonlinear Anal. 33, 169–177 (2009)
Janczewska, J.: Almost homoclinics for nonautonomous second order Hamiltonian systems by a variational approach. Bull. Belg. Math. Soc. Simon Stevin 17, 1–9 (2010)
Janczewska, J.: Two almost homoclinic solutions for second-order perturbed Hamiltonian systems. Commun. Contemp. Math. 14, 1250025 (2012). (9 pages)
Krawczyk, R.: A Note on an Approximative Scheme of Finding Almost Homoclinic Solutions for Newtonian Systems. Calculus of Variations and PDEs, pp. 107–113. Banach Center Publ., 101, Polish Acad. Sci. Inst. Math., Warsaw (2014)
Mawhin, J., Willem, M.: Critical Point Theory and Hamiltonian Systems. Applied Mathematical Sciences, vol. 74. Springer, Berlin (1989)
Montecchiari, P., Nolasco, M.: Multibump solutions for perturbations of periodic second order Hamiltonian systems. Nonlinear Anal. 27, 1355–1372 (1996)
Rabinowitz, P.H.: Homoclinic orbits for a class of Hamiltonian systems. Proc. R. Soc. Edinb. Sect. A 114(1–2), 33–38 (1990)
Rabinowitz, P.H.: Critical point theory and applications to differential equations: a survey. In: Matzeu, M., Vignoli, A. (eds.) Topological Nonlinear Analysis: Degree, Singularity, and Variations, pp. 464–513. Birkäser, Basel (1995)
Rabinowitz, P.H.: Variational methods for Hamiltonian systems. In: Hasselblatt, B., Katok, A. (eds.) Handbook of Dynamical Systems, vol. 1A, pp. 1091–1127. Elsevier, New York (2002)
Serra, E., Tarallo, M., Terracini, S.: On the existence of homoclinic motions for almost periodic second order systems. Ann. Inst. H. Poincaré Anal. Non Linéaire 13, 783–812 (1996)
Acknowledgements
The second and the third authors were partially supported by Grant PPP-PL No. 57217076 of DAAD and MNiSW, and partially by Grant BEETHOVEN 2 of the National Science Centre, Poland, No. 2016/23/G/ST1/04081.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ciesielski, J., Janczewska, J. & Waterstraat, N. On the Existence of Homoclinic Type Solutions of a Class of Inhomogenous Second Order Hamiltonian Systems. J Dyn Diff Equat 32, 1343–1356 (2020). https://doi.org/10.1007/s10884-019-09774-x
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10884-019-09774-x