No estudo das equações diferenciais não lineares com condições de fronteira, em geral é difícil deduzir a unicidade da solução. Este seminário é o resultado do estudo de um célebre artigo de M.K. Kwong (1989), onde se estabelece um tal teorema de unicidade.

Vamos dar uma ideia de como se resolve o problema e mostrar que, talvez surpreendentemente, os requisitos para efectuar essa prova são muito poucos, apesar da complexidade de algumas definições.