A non-standard analysis approach to a constrained forced oscillator

Abstract

A non-autonomous oscillator with unilateral constraint is modeled using non-standard analysis. Existence and continuous dependence on initial conditions is obtained.

Keywords

• non-autonomous oscillator
• second order ODEs
• non-standard analysis
• uniqueness of solutions