Related papers: Bounding Solutions of a Forced Oscillator
Under the validity of a Landesman-Lazer type condition, we prove the existence of solutions bounded on the real line, together with their first derivatives, for some second order nonlinear differential equation of the form $\ddot u + g(u) =…
We study forced oscillations of a rod with a body attached to its free end so that the motion of a system is described by two sets of equations, one of integer and the other of the fractional order. To the constitutive equation we associate…
This paper continues the project, begun in \cite{IMF}, of harmonizing Cartan's classical equivalence method and the modern equivariant moving frame in a framework dubbed \emph{involutive moving frames}. As an attestation of the fruitfulness…
Since Littlewood works in the 1960's, the boundedness of solutions of Duffing-type equations $\ddot{x}+g(x)=p(t)$ has been extensively investigated. More recently, some researches have focused on the family of non-smooth forced oscillators…
We study the global boundedness of the solutions of a non-smooth forced oscillator with a periodic and real analytic forcing. We show that the impact map associated with this discontinuous equation becomes a real analytic and exact…
Invariant torus are constructed under assumption that the homogeneous system admits an exponential dichotomy on the semi-axes. The main result is closely related with the well-known Palmer's lemma and results of Boichuk A.A., Samoilenko…
We establish Ecalle's mould calculus in an abstract Lie-theoretic setting and use it to solve a normalization problem, which covers several formal normal form problems in the theory of dynamical systems. The mould formalism allows us to…
We consider the Burgers equation on the real line with forcing given by Poissonian noise with no periodicity assumption. Under a weak concentration condition on the driving random force, we prove existence and uniqueness of a global…
We associate with each simple Lie algebra a system of second-order differential equations invariant under a non-compact real form of the corresponding Lie group. In the limit of a contraction to a Schr\"odinger algebra, these equations…
In a previous paper, field theory in curved space was considered, and a formula that expresses the first order variation of correlation functions with respect to the external metric was postulated. The formula is given as an integral of the…
In this paper we are concerned with the boundedness of all solutions for the forced isochronous oscillator $$x''+V'(x)+g(x)=f(t),$$ where $V$ is a so-called $T$-isochronous potential, the perturbation $g$ is assumed to be bounded, and the…
We prove that the viscous Burgers equation has a globally defined smooth solution in all dimensions provided the initial condition and the forcing term are smooth and bounded together with their derivatives. Such solutions may have infinite…
We revisit the linearization theorems for proper Lie groupoids around general orbits (statements and proofs). In the the fixed point case (known as Zung's theorem) we give a shorter and more geometric proof, based on a Moser deformation…
We study the resonant prescribed T-curvature problem on a compact 4-dimensional Riemannian manifold with boundary. We derive sharp energy and gradient estimates of the associated Euler-Lagrange functional to characterize the critical points…
We describe a formalization of forcing using Boolean-valued models in the Lean 3 theorem prover, including the fundamental theorem of forcing and a deep embedding of first-order logic with a Boolean-valued soundness theorem. As an…
In this paper, we use the fractional calculus to discuss the fractional mechanics, where the time derivative is replaced with the fractional derivative of order $\nu$. We deal with the motion of a body in a resisting medium where the…
The derivation of a Moving Boundary Approximation or of the response of a coherent structure like a front, vortex or pulse to external forces and noise, is generally valid under two conditions: the existence of a separation of time scales…
We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…
Other than scattering problems where perturbation theory is applicable, there are basically two ways to solve problems in physics. One is to reduce the problem to harmonic oscillators, and the other is to formulate the problem in terms of…
We describe an elementary method for bounding a one-dimensional oscillatory integral in terms of an associated non-oscillatory integral. The bounds obtained are efficient in an appropriate sense and behave well under perturbations of the…