Differentialligninger – nogle beviser og modeller