Metodi variazionali e topologici nello studio delle equazioni di Schrödinger nonlineari agli stati stazionari