Forced vibrations via Nash-Moser iterations
In this thesis, we prove the existence of large frequency periodic solutions for the nonlinear wave equations utt − uxx − v(x)u = u3 + [fnof]([Omega]t, x) (1) with Dirichlet boundary conditions. Here, [Omega] represents the frequency of the solution. The method we use to find the periodic solutions u([Omega]) for large [Omega] originates in the work of Craig and Wayne  where they constructed solutions for free vibrations, i.e., for [fnof] = 0. Here we construct smooth solutions for forced vibrations ([fnof] [not equal to] 0). Given an x-dependent analytic potential v(x) previous works on (1) either assume a smallness condition on [fnof] or yields a weak solution. The study of equations like (1) goes back at least to Rabinowitz in the sixties . The main difficulty in finding periodic solutions of an equation like (1), is the appearance of small denominators in the linearized operator stemming from the left hand side. To overcome this difficulty, we used a Nash-Moser scheme introduced by Craig and Wayne in .