No estudo de operadores diferenciais parciais temos um grande interesse em saber se dado um operador diferencial este será ou não, resolúvel. Dentro desta ótica, neste trabalho, apresento um importante resultado devido a Harvey que nos dá uma condição necessária e suficiente para resolubilidade de EDP’s em C∞. Será demonstrado uma proposição decorrente deste teorema, que nos garanta uma condição necessária envolvendo soluções singulares do operador transposto para resolubilidade em C∞do operador. Neste trabalho será apresentada também uma classe de exemplos de operadores não resolúveis, conclusão esta dada pelo teorema.
