Abstract
We deal with a weakly coupled system of ODEs of the type
with \(h_j\) locally Lipschitz continuous and bounded, \(p_j\) continuous and \(2\pi \)-periodic, \(n_j \in {\mathbb {N}}\) (so that the system is at resonance). By means of a Lyapunov function approach for discrete dynamical systems, we prove the existence of unbounded solutions, when either global or asymptotic conditions on the coupling terms \(h_1,\ldots ,h_d\) are assumed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we deal with the existence of unbounded solutions for weakly coupled systems of ODEs of the type
where the functions \(h_1,\ldots ,h_d: {\mathbb {R}}^d \rightarrow {\mathbb {R}}\) are locally Lipschitz continuous and bounded and the functions \(p_1,\ldots ,p_d: {\mathbb {R}} \rightarrow {\mathbb {R}}\) are continuous and periodic with the same period, say \(2\pi \) for simplicity. We will also assume that
implying, as well-known, that the scalar equation \(x''_j + n_j^2 x_j = 0\) has a nontrivial \(2\pi \)-periodic solution (in fact, all its nontrivial solutions are \(2\pi \)-periodic). Following a popular terminology (cf. [21]), system (1.1) is thus said to be at resonance.
In the scalar case (that is, \(d=1\)), the problem of the existence of unbounded solutions has been considered since the nineties. Indeed, the first result can be essentially traced back to Seifert [22], establishing the existence of unbounded solutions to the equation
as a consequence of a non-existence result for \(2\pi \)-periodic solutions by Lazer and Leach [17] together with the classical Massera’s theorem. Later on, sharper conclusions were obtained by Alonso and Ortega in [1]. In particular, according to [1, Proposition 3.1], any solution of (1.3) is unbounded both in the past and in the future whenever
moreover, due to [1, Proposition 3.4], any sufficiently large solution is unbounded either in the past or in the future when the global condition (1.4) is replaced by the (weaker) asymptotic assumption
Both results were proved via an abstract method, based on the use of Lyapunov-like functions, developed in the same paper. Generalizations of this kind of results to more general situations (like asymmetric oscillators and planar Hamiltonian systems) were then obtained by many authors (see, among others, [2, 6,7,8,9,10, 16, 18, 20, 21, 23] and the references therein).
Yet, as far as we know, the boundedness problem for system (1.1) is rather unexplored. The aim of the present paper is to provide some results in this direction, by investigating to what extent the method developed in [1] could be successfully applied to systems of second order equations.
Roughly speaking, we will show in Sect. 2 that a first result, Theorem 2.1, can be easily achieved when appropriate global conditions are imposed on the coupling terms \(h_1,\ldots ,h_d\). In such a situation, the resonance assumption (1.2) can be even weakened into
Moreover, with the same approach, it is possible to consider a genuinely vectorial problem like
where \(h: {\mathbb {R}}^d \rightarrow {\mathbb {R}}^d\), \(p: {\mathbb {R}}\rightarrow {\mathbb {R}}^d\) and A is a symmetric, positive definite, \(d \times d\) matrix which has \(n^{2}\) as eigenvalue, with \(n \in {\mathbb {N}}\) (see Theorem 2.3).
The possibility of obtaining results with asymptotic assumptions on the functions \(h_1,\ldots ,h_d\) is then studied in Sect. 3. As expected, this is a much more delicate issue, since the coupling between the equations plays an essential role. It seems then necessary to focus the attention on quite specific choices for the coupling terms \(h_1,\ldots ,h_d\); we will investigate in details the case of the cyclic coupling
and of the radial coupling
We refer to Theorems 3.1 and 3.2 for the precise statements; notice that some care must be taken to describe the sets of solutions which are unbounded.
Let us finally recall that, for scalar second order equations at resonance, the existence of unbounded solutions is strictly related to the existence of periodic solutions, and these problems are often considered together. In this regard, we mention that, despite some recent results obtained about periodic solutions for weakly coupled systems of ODEs (see, for instance, [5, 13,14,15, 19] and the references therein), the existence of periodic solutions for systems like (1.1) under the resonance assumption (1.2) seems to be a quite open issue (we are just aware of [3]).
Notation. Throughout the paper, the symbol \(| \cdot |\) will be freely used to denote the absolute value of a real number, the modulus of a complex number or the Euclidean norm of a k-dimensional vector for \(k \le d\) (the specific meaning will be clear from the context). We also denote \({\mathbb {N}}=\{1,2,3,\dots \}\).
2 A Global Result
In this section we prove the existence of unbounded solutions for system (1.1) under global assumptions on the coupling terms \(h_1,\ldots ,h_d\). For briefness, from now on we write (1.1) in compact form as
where \( x =( x_{1},\dots ,x_{d}) \), and we assume \(n_j > 0\), \(h_j: {\mathbb {R}}^d \rightarrow {\mathbb {R}}\) locally Lipschitz continuous and bounded and \(p_j: {\mathbb {R}} \rightarrow {\mathbb {R}}\) continuous and \(2\pi \)-periodic (for every j). Our result reads as follows.
Theorem 2.1
In the previous setting, assume that
Then, for every solution x of (2.1) it holds that
Let us observe that this result is, basically, of scalar nature: indeed, assumption (2.2) involves only the j-th equation of system (2.1) and, accordingly, the conclusion is for the j-th component of the vector solution \((x_1,\ldots ,x_d)\). Of course, in the case when system (2.1) is fully at resonance (meaning that (1.2) is satisfied), and the global assumption \(2 (\sup h_j-\inf h_j) < \left| \int _0^{2\pi } p_j(t) e^{\text {i} n_j t}\,dt\right| \) holds for every \(j = 1,\ldots ,d\), then it follows that all the components of any solution of (2.1) are unbounded, both in the past and in the future.
Remark 2.2
We recall the following fact (cf. [1, Lemma 3.2]) which will be used several times throughout the paper: for every integrable function q and every \(n\in {\mathbb {N}}\), it holds that
We are now in a position to give the proof of Theorem 2.1.
Proof
Let x be a solution of (2.1). We divide the proof in two steps.
Step 1. Let \(k\in {\mathbb {Z}}\); we show that
To this end, according to Remark 2.2, let \(\varphi _j\in [0,2\pi ]\) be such that
and let
In view of assumption (2.2), it results \(\Gamma >0\).
Let us now define the Lyapunov-like function
A simple computation shows that for every integer \(k>0\) we have
where \(\sin ^{+}s=\max \{\sin s, 0\} \) and \( \sin ^{-}s=\max \{-\sin s, 0\}\). Recalling (2.5), we then deduce that
This implies that
thus proving (2.3) when \(k\rightarrow +\infty \).
When k is a negative integer, by arguing as above it is possible to prove that
implying that
and finally (2.3) when \(k\rightarrow -\infty \).
Step 2. We prove that
To this end, let
and define the partial energy function
A simple computation shows that
and thus, using the elementary inequality \(|ab| \le \frac{1}{2} (a^2 + b^2)\) for \(a,b \in {\mathbb {R}}\),
Gronwall’s Lemma then yields
where k is the integer part of \(t/2\pi \). Taking into account (2.3) and the definition of \(E_j\), from (2.8) we deduce that
which implies (2.7) when \(t\rightarrow +\infty \). The proof for \(t\rightarrow -\infty \) is analogous. \(\square \)
In the remaining part of this section, we show how to deal, using the same scheme of proof, with the more general system
where A is a \(d \times d\) matrix, \(h: {\mathbb {R}}^d \rightarrow {\mathbb {R}}^d\) is locally Lipschitz continuous and bounded, \(p: {\mathbb {R}} \rightarrow {\mathbb {R}}^d\) is continuous and \(2\pi \)-periodic (of course, system (2.1) enters this setting, with A diagonal). Before stating the result, we recall that the linear homogeneous system
has a nontrivial \(2\pi \)- periodic solution if and only if A has an eigenvalue of the form \(n^2\), for some \(n\in {\mathbb {N}}\). With this in mind, the following result holds true (in the statement, \(\langle \cdot , \cdot \rangle \) stands for the Euclidean scalar product in \({\mathbb {R}}^d\) and \(| \cdot |\) for the associated norm).
Theorem 2.3
In the previous setting, suppose that the matrix A is symmetric and positive definite and assume that there there exists \(n\in {\mathbb {N}}\) such that \(n^2\) is an eigenvalue of A. Finally, suppose that there exists a nontrivial \(2\pi \)-periodic solution v of (2.10) satisfying
Then, for every solution x of (2.9) it holds that
Proof
Let x be a solution of (2.9). We first observe that it is sufficient to prove that
where k is an integer. Indeed, defining the energy function
where \(M=\sup (|p|+|h|)\), by arguing as in the second step of the proof of Theorem (2.1) it can be shown that (2.13) implies (2.12) (here, we use the fact that A is positive definite).
We now show the validity of (2.13) when \(k\rightarrow +\infty \); the case of \(k\rightarrow -\infty \) is similar. Assume then \(k > 0\) and let
observe that \(\Gamma '>0\) by (2.11). Let us define
As in the previous proof, a standard computation shows that
Recalling (2.14), we then deduce that
This implies that
thus proving (2.13) when \(k\rightarrow +\infty \). \(\square \)
It is worth noticing that, with the same proof, Theorem 2.3 could be extended to the case of an infinite-dimensional system like
where \(\mathcal {H}\) is a real Hilbert space and \(A: \mathcal {H} \rightarrow \mathcal {H}\) is a positive, bounded and self-adjoint linear operator. In fact, Alonso and Ortega in [1, Section 4] already considered the case of a semilinear wave equation at resonance. For some recent advances on the topic of ODEs in Hilbert spaces, see [4, 11, 12] and the references therein.
We end this section with a comparison between Theorems 2.1 and 2.3 in the case when A is a diagonal matrix.
Remark 2.4
Theorem 2.3 is of vectorial nature. In the case of a diagonal matrix A, when compared with Theorem (2.1) it requires a stronger condition in the coupling term h. Indeed, if \(n_j^2\) is the eigenvalue of A corresponding to an integer \(n_j\), we can take
where \(\varphi _j\) is as in (2.4) and \(e_j\) is the j-th vector of the standard basis of \({{\mathbb {R}}}^d\): hence, assumption (2.11) reads as
which is stronger than (2.2) since
On the other hand, a sharper result in the general case of system (2.9) can be proved by diagonalizing the matrix A. Indeed, let Q be an orthogonal matrix such that \(Q A Q^T=D\) is diagonal and let \(y=Qx\). The original system (2.9) is then transformed in
where \(h^*(y)=Q h(Q^Ty) \) and \(p^*(t)=Q p(t)\). As a consequence, an unboundedness result for x can be obtained by applying Theorems (2.1) to (2.15) when
This is a sharper assumption compared to (2.11), but it involves the matrix Q, whose knowledge is not required in (2.11).
3 Two Asymptotic Results
In this section, we deal again with system (2.1), by studying a couple of situations in which the assumptions on the nonlinear coupling term involve its asymptotic behavior rather than the span of its image. Whenever \(n_{j} \in {\mathbb {N}} \), we will use again (cf. (2.6)) the Lyapunov function \( V_{j,\varphi }(\zeta ,\eta ) = \zeta \sin \varphi - n_{j}\eta \cos \varphi \), with suitable choiches of \(\varphi \in [0,2\pi ]\), to estimate the growth of \((x_{j}(2k\pi ),x'_{j}(2k\pi ))\) with respect to \( k\in {{\mathbb {Z}}}\). As in the proof of Theorem 2.1, if \( n_{j}\in {\mathbb {N}} \), then we have that
and that there exists \( \varphi _{j}^{0} \in [0,2\pi ] \) such that
The estimate of \(\int _{0}^{2\pi }h_{j}(x(t)) \sin (n_{j}t+\varphi )\,dt\) for large solutions will depend on the particular form of the nonlinear term \(h_{j}\): we consider cyclic and radial dependencies. In any case, we need an estimate of the solution on \([0,2\pi ]\) with respect to initial conditions. A straightforward application of the variation of constants formula shows that
if x is any solution of our system. In particular, the boundedness of \( h_j \) and \( p_j \) implies the following estimate:
where the constant C is independent of \(A_{j}\) and j.
3.1 Systems with Cyclic Coupling
Here we assume that system 2.1 is cyclically coupled, that is
for each \( j \in \{1,\ldots ,d\}\) (as usual, we use the cyclic agreement \(x_{d+1} = x_1\)); cf. (1.5). In particular, we have that \(h_j: {\mathbb {R}} \rightarrow {\mathbb {R}}\) is locally Lipschitz continuous and bounded for each \(j\in \{1,\ldots ,d\}\). Henceforth, we will thus write system (2.1) as
For this subsection, we also introduce the notations
and
Notice that, when \(h_j\) has limits \(h_j(\pm \infty )\) at infinity, then
Our result reads as follows.
Theorem 3.1
In the previous setting, assume that
Then, for every \(j \in \{1,\ldots ,d\}\) there exist open sets \(\mathcal {C}^-_j, \mathcal {C}^+_j \subset {\mathbb {R}}^2\) such that \( {{{\mathbb {R}}}}^2{\setminus } ( \mathcal {C}_{j}^{+}\cup \mathcal {C}_{j}^{-} ) \) is compact and, setting
the following holds true:
-
(i)
for every solution x of (3.3),
$$\begin{aligned} (x(0),x'(0)) \in \mathcal {C} \; \Longrightarrow \;\sup _{t \in {\mathbb {R}}} \left( x_j(t)^2 + x'_{j}(t)^2 \right) = +\infty , \quad \text{ for } \text{ every } j \in \{1,\ldots ,d\}. \end{aligned}$$
Moreover, setting
the following hold:
-
(ii)
\(\mathcal {C}^- \cap \mathcal {C}^+\) has infinite measure;
-
(iii)
for every solution x of (3.3),
$$\begin{aligned} (x(0),x'(0)) \in \mathcal {C}^- \; \Longrightarrow \;\lim _{t \rightarrow -\infty } \left( x_j(t)^2 + x'_{j}(t)^2 \right) = +\infty , \quad \text{ for } \text{ every } j\in \{1,\ldots ,d\}, \\ (x(0),x'(0)) \in \mathcal {C}^+ \; \Longrightarrow \;\lim _{t \rightarrow +\infty } \left( x_j(t)^2 + x'_{j}(t)^2 \right) = +\infty , \quad \text{ for } \text{ every } j\in \{1,\ldots ,d\}. \end{aligned}$$
Let us explain more informally the meaning of Theorem 3.1. To this end, notice that
The set \(\mathcal {C}\) is the largest one: its projection \( \mathcal {C}_{j}^{-}\cup \mathcal {C}_{j}^{+}\) on the j-th factor \({{{\mathbb {R}}}}^2\) has compact complement. The sets \(\mathcal {C}^{\pm }\) are smaller (and indeed it will be clear from the proof that their components \( \mathcal {C}_{j}^{\pm } \) are not the complement of a compact set) but they have the property of having infinite measure: even more, their intersection \(\mathcal {C}^- \cap \mathcal {C}^+\) has infinite measure, as well. The unbounded properties of the solutions starting on this sets can be described as follows:
-
(i)
for vector solutions x starting on \(\mathcal {C}\), each component \(x_j\) is unbounded in the phase-plane: it could be, however, that some component is unbounded in the past and some other in the future;
-
(ii)
for vector solutions x starting on \(\mathcal {C}^-\) (resp., \(\mathcal {C}^+\)), each component \(x_j\) is unbounded in the past (resp., in the future);
-
(iii)
for vector solutions x starting on \(\mathcal {C}^- \cap \mathcal {C}^+\), each component \(x_j\) is unbounded both in the past and in the future.
Proof
We fix \( \Gamma > 0 \) such that
By continuity, there exist open intervals \( I_{j}\) containing \( \varphi _{j}^{0} \) such that
We claim that:
where we recall that \( A_{j+1}\rightarrow +\infty \) is equivalent to \(\left| (x_{j+1}(0),x'_{j+1}(0))\right| \rightarrow +\infty \), as it can be seen in (3.2). Indeed, by Fatou’s lemma we have that
and estimate (3.2) shows that for almost every \( t \in [0,\pi ] \) we have that either \( x_{j+i}(t)\rightarrow +\infty \) or \( x_{j+i}(t)\rightarrow -\infty \) as \( A_{j+1}\rightarrow +\infty \) and these limits hold uniformly w.r.t. \( A_{i} \) for \( i\ne j+1\). Therefore, we deduce that:
for almost every \( t\in [0,2\pi ] \). Since \( \int _{0}^{2\pi }\sin ^{\pm }(n_{j}t+\varphi )\,dt = 2 \), we obtain (3.5).
Thanks to (3.5), there is a constant \( A>0 \) such that
for each \( j\in \{1,\ldots ,d\} \). Hence, we deduce that
Let us define
If the initial conditions satisfy \( V_{j,\varphi _{j}}(x_{j}(0),x'_{j}(0)) > {\overline{V}}_{j}(A) \) for some \(\varphi _{j}\in I_{j} \) and all \( j\in \{1,\ldots ,d\} \), then we have that \( x_{j}(0)^2+x'_{j}(0)^2\ge A^{2} \) for all \( j\in \{1,\ldots ,d\} \) and, hence,
Therefore, we obtain recursively that
which implies that \( x_{j}(2k\pi )^2 + x'_{j}(2k\pi )^2 \rightarrow +\infty \) as \( k \rightarrow +\infty \).
In a similar way, if the initial conditions satisfy \( V_{j,\varphi _{j}}(x_{j}(0),x'_{j}(0)) < -{\overline{V}}_{j}(A) \) for some \(\varphi _{j}\in I_{j} \) and all \( j\in \{1,\ldots ,d\} \), then we can show that \( x_{j}(2k\pi )^2 + x'_{j}(2k\pi )^2 \rightarrow +\infty \) as \( k \rightarrow -\infty \).
We observe now that, for a fixed \(j\in \{1,\ldots ,d\}\) and a fixed \(\varphi _{j}\in I_{j} \), the inequalities \( V_{j,\varphi _{j}}(\zeta ,\eta ) < -{\overline{V}}_{j}(A) \) and \( V_{j,\varphi _{j}}(\zeta ,\eta ) > {\overline{V}}_{j}(A) \) define two opposite half-planes in \({{{\mathbb {R}}}}^2\) that originate from the two parallel straight lines \(V_{j,\varphi _{j}}(\zeta ,\eta ) = \pm {\overline{V}}_{j}(A) \). For each \(j\in \{1,\ldots ,d\}\) we fix two angles \( \varphi _{j}^{1}, \varphi _{j}^{2} \in I_{j} \) such that \( 0< | \varphi _{j}^{1} - \varphi _{j}^{2} | < \pi \) and define the open regions
which are actually two reflex angles in the plane and opposite to each other with respect to the origin. In particular \( \mathcal {C}_{j}^{+}\cap \mathcal {C}_{j}^{-} \) is made up by two opposite and disjoint angles and, thus, has infinite measure, while \( {{{\mathbb {R}}}}^2{\setminus }(\mathcal {C}_{j}^{+}\cup \mathcal {C}_{j}^{-}) \) is a compact parallelogram.
We conclude by using the argument at the beginning of the proof of Theorem 2.1. \(\square \)
3.2 Systems with Radial Coupling
We assume here that the nonlinear term depends only on the Euclidean norm of the vector solution, that is
cf. (1.6). Therefore, system (2.1) becomes
where \(h_{j}: [0,+\infty ) \rightarrow {\mathbb {R}}\) is locally Lipschitz continuous and bounded, for \(j\in \{1,\ldots ,d\}\). In this subsection we also set
Our result reads as follows.
Theorem 3.2
In the previous setting, assume that
Then, there exist open sets \(\mathcal {C}^-_{j}, \mathcal {C}^+_{j} \subset {\mathbb {R}}^2\) such that \({\mathbb {R}}^2 {\setminus } (\mathcal {C}^-_{j} \cup \mathcal {C}^+_{j})\) is compact, \(\mathcal {C}^- _j\cap \mathcal {C}^+_j\) has infinite measure and, moreover, the following holds true for every solution x of (3.6):
Let us notice that, contrarily to Theorem 3.1, both the assumptions and the conclusions of Theorem 3.2 refer to a component \(x_j\) of the vector solution x (from this point of view, the statement is more similar to the one of Theorem 2.1).
Proof
As in the proof of Theorem 3.1, we fix \( \Gamma > 0\) and an open interval \( I_{j} \subset [0,2\pi ]\) such that
We claim that
Again, by Fatou’s lemma we have that
and estimate (3.2) shows that for almost every \( t \in [0,\pi ] \) we have that \( |x(t)| \ge |x_{j}(t)|\rightarrow +\infty \) as \( A_{j}\rightarrow +\infty \) (still uniformly w.r.t. \(A_{i}\), \(i\ne j\)). Therefore, we deduce that
for almost every \( t\in [0,2\pi ] \) and we obtain (3.8).
Thanks to (3.8), there is a constant \( A>0 \) such that
Hence, we deduce that
Let us define \( {\overline{V}}_{j}(A) = \max \{ V_{j,\varphi }(\zeta ,\eta ):|(\zeta ,\eta )|\le A \text { and } \varphi \in [0,2\pi ] \} \). If the initial conditions satisfy \( V_{j,\varphi _{j}}(x_{j}(0),x'_{j}(0)) > {\overline{V}}_{j}(A) \) for some \(\varphi _{j}\in I_{j} \), then we have that \( x_{j}(0)^2+x'_{j}(0)^2\ge A^{2} \) and, hence,
Therefore, we obtain recursively that
which implies that \( x_{j}(2k\pi )^2 + x'_{j}(2k\pi )^2 \rightarrow +\infty \) as \( k \rightarrow +\infty \).
In a similar way, if the initial conditions satisfy \( V_{j,\varphi _{j}}(x_{j}(0),x'_{j}(0)) < -{\overline{V}}_{j}(A) \) for some \(\varphi _{j}\in I_{j} \), then we can show that \( x_{j}(2k\pi )^2 + x'_{j}(2k\pi )^2 \rightarrow +\infty \) as \( k \rightarrow -\infty \).
Now, we define the open regions
and we conclude as in the proof of Theorem 3.1. \(\square \)
References
Alonso, J.M., Ortega, R.: Unbounded solutions of semilinear equations at resonance. Nonlinearity 9, 1099–1111 (1996)
Alonso, J.M., Ortega, R.: Roots of unity and unbounded motions of an asymmetric oscillator. J. Differ. Equ. 143, 201–220 (1998)
Amster, P., De Nápoli, P.: On a generalization of Lazer–Leach conditions for a system of second order ODE’s. Topol. Methods Nonlinear Anal. 33, 31–39 (2009)
Boscaggin, A., Fonda, A., Garrione, M.: An infinite-dimensional version of the Poincaré–Birkhoff theorem. Ann. Scuola Norm. Pisa 20, 751–770 (2020)
Boscaggin, A., Ortega, R.: Monotone twist maps and periodic solutions of systems of Duffing type. Math. Proc. Camb. Philos. Soc. 157, 279–296 (2014)
Capietto, A., Dambrosio, W., Ma, T., Wang, Z.: Unbounded solutions and periodic solutions of perturbed isochronous Hamiltonian systems at resonance. Discrete Contin. Dyn. Syst. 33, 1835–1856 (2013)
Capietto, A., Dambrosio, W., Wang, Z.: Coexistence of unbounded and periodic solutions to perturbed damped isochronous oscillators at resonance. Proc. R. Soc. Edinb. Sect. A 138, 15–32 (2008)
Dambrosio, W.: A note on the existence of unbounded solutions to a perturbed asymmetric oscillator. Nonlinear Anal. 50, 333–346 (2002)
Fabry, C., Fonda, A.: Unbounded motions of perturbed isochronous hamiltonian systems at resonance. Adv. Nonlinear Stud. 5, 351–373 (2005)
Fabry, C., Mawhin, J.: Oscillations of a forced asymmetric oscillator at resonance. Nonlinearity 13, 493–505 (2000)
Fonda, A., Klun, G., Sfecci, A.: Periodic solutions of second order differential equations in Hilbert spaces, preprint (2020)
Fonda, A., Mawhin, J., Willem, M.: Multiple periodic solutions of infinite-dimensional pendulum-like equations, Pure Appl. Funct. Anal., to appear
Fonda, A., Sfecci, A.: Periodic solutions of a system of coupled oscillators with one-sided superlinear retraction forces. Differ. Integral Equ. 25, 993–1010 (2012)
Fonda, A., Sfecci, A.: Periodic solutions of weakly coupled superlinear systems. J. Differ. Equ. 260, 2150–2162 (2016)
Fonda, A., Ureña, A.J.: A higher dimensional Poincaré–Birkhoff theorem for Hamiltonian flows. Ann. Inst. H. Poincaré Anal. Non Linéaire 34, 679–698 (2017)
Kunze, M., Küpper, T., Liu, B.: Boundedness and unboundedness of solutions for reversible oscillators at resonance. Nonlinearity 14, 1105–1122 (2001)
Lazer, A.C., Leach, D.E.: Bounded perturbations of forced harmonic oscillators at resonance. Ann. Mat. Pura Appl. (4) 82, 49–68 (1969)
Liu, Q., Torres, P.J., Qian, D.: Periodic, quasi-periodic and unbounded solutions of radially symmetric systems with repulsive singularities at resonance. NoDEA Nonlinear Differ. Equ. Appl. 22, 1115–1142 (2015)
Liu, C., Qian, D.: A new fixed point theorem and periodic solutions of nonconservative weakly coupled systems. Nonlinear Anal. 192, 111668, 15 (2020)
Ma, S., Wang, L.: Bounded and unbounded motions in asymmetric oscillators at resonance. J. Dyn. Differ. Equ. 25, 1057–1087 (2013)
Mawhin, J.: Resonance and nonlinearity: a survey. Ukrainian Math. J. 59, 197–214 (2007)
Seifert, G.: Resonance in undamped second-order nonlinear equations with periodic forcing. Quart. Appl. Math. 48, 527–530 (1990)
Yang, X.: Unbounded solutions of asymmetric oscillator. Math. Proc. Camb. Philos. Soc. 137, 487–494 (2004)
Funding
Open access funding provided by Universitá degli Studi di Udine within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the memory of Russell Johnson
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Under the auspices of GNAMPA-I.N.d.A.M., Italy.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Boscaggin, A., Dambrosio, W. & Papini, D. Unbounded Solutions to Systems of Differential Equations at Resonance. J Dyn Diff Equat 34, 637–650 (2022). https://doi.org/10.1007/s10884-020-09890-z
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10884-020-09890-z