Numerical methods for spectral problems: theory and applications
Verification of existence of periodic solutions for nonlinear delay differential equations and related eigenvalue problems
*Shin'ichi Oishi (Waseda University)
Numerical verification theory is presented for proving the existence of periodic solutions to nonlinear delay-differential
equations. The key is how to include the minimal singular value of associated linearized delay-differential operators.
The delay Duffing equation, the delay van Der Pol equation and so on are treated as examples.