Riflettendo attentamente sui post precedenti, si potrebbe addirittura scoprire un legame tra il teorema di esistenza ed unicità delle soluzioni di un'equazione differenziale ordinaria del primo ordine di forma normale e autonoma, e il teorema del punto fisso. Per essere più specifici, consideriamo un sistema dinamico a tempo continuo la cui evoluzione è regolata da un'equazione differenziale del primo ordine x'=F(x), dove F non dipende esplicitamente dal tempo (il sistema è per ipotesi autonomo).
Come è noto, se F è lipichitziana il corrispondente problema di Cauchy ammette una sola soluzione. Eseguendo un campionamento discreto dell'intervallo temporale assegnato, si perviene a un sistema dinamico a tempo discreto con funzione di trasferimento f(x) il cui legame con F dipende dal sistema assegnato. Come abbiamo esaminato nei post precedenti, se la f(x) ha la derivata limitata nel proprio insieme di definizione da un numero reale minore di 1, l'algoritmo ricorsivo converge verso la radice dell'equazione f(x)=x (in sostanza è questo il teorema del punto fisso). Dinamicamente ciò vuol dire che il sistema evolve deterministicamente verso il punto fisso. Notiamo quindi una prima analogia "debole" con il teorema di esistenza ed unicità. Precisamente:
- Caso continuo. Affinchè il sistema sia deterministico, la funzione F(x) deve essere lipschitziana con coefficiente lambda.
- Caso deterministico Affinchè il sistema converga deterministicamente verso un punto fisso, deve essere |f'(x)| limitata da lambda minore di 1
Se facciamo cadere la condizione lambda minore di 1, l'evoluzione è ancora deterministica (e qui notiamo un analogia con il caso continuo, giacchè la corrispondente F(x) è lipschitziana), ma sarà accompagnata dalla comparsa di più attrattori> e per una particolare classe di funzioni, è caotica nel senso della teoria del caos. Una prima analisi è raccolta in questo file pdf