Response Solutions for Degenerate Reversible Harmonic Oscillators with Zero-average Perturbation
Xin Yu Guan,Jian Guo Si,Wen Si
DOI: https://doi.org/10.1007/s10114-023-1539-6
2023-01-01
Acta Mathematica Sinica English Series
Abstract:In this paper, we consider a class of normally degenerate quasi-periodically forced reversible systems, obtained as perturbations of a set of harmonic oscillators, {ẋ = y + f_1(ω t,x,y),ẏ = λx^l + f_2(ω t,x,y),. where 0 ≠ λ ∈ ℝ, l > 1 is an integer and the corresponding involution G is (− θ, x , − y ) → ( θ, x, y ). The existence of response solutions of the above reversible systems has already been proved in [22] if [ f 2 ( ωt , 0, 0)] satisfies some non-zero average conditions (See the condition ( H ) in [22]), here [ · ] denotes the average of a continuous function on 𝕋^d . However, discussing the existence of response solutions for the above systems encounters difficulties when [ f 2 ( ωt , 0, 0)] = 0, due to a degenerate implicit function must be solved. This article will be doing work in this direction. The purpose of this paper is to consider the case where [ f 2 ( ωt , 0, 0)] = 0. More precisely, with 2 p < l , if f 2 satisfies [f_2(ω t,0,0)] = [∂f_2(ω t,0,0)∂ x] = [∂ ^2f_2(ω t,0,0)∂x^2] = ⋯ = [∂ ^p - 1f_2(ω t,0,0)∂x^p - 1] = 0 , either λ ^ - 1[∂ ^pf_2(ω t,0,0)∂x^p] < 0 as l − p is even or λ ^ - 1[∂ ^pf_2(ω t,0,0)∂x^p] 0 as l − p is odd, we obtain the following results: (1) For λ̃< 0 (see λ̃ in (2.2)) and ϵ sufficiently small, response solutions exist for each ω satisfying a weak non-resonant condition; (2) For λ̃< 0 and ϵ * sufficiently small, there exists a Cantor set E∈ (0,_ * ) with almost full Lebesgue measure such that response solutions exist for each ∈ E if ω satisfies a Diophantine condition. In the remaining case where λ ^ - 1[∂ ^pf_2(ω t,0,0)∂x^p] > 0 and l − p is even, we prove the system admits no response solutions in most regions.