Teorema di Picard-Lindelöf

Il teorema di Picard-Lindelöf (o teorema di esistenza e unicità locale) fornisce le condizioni sufficienti affinché un problema di Cauchy (un’equazione differenziale con una condizione iniziale) ammetta una e una sola soluzione.

Enunciato

Dato il problema di Cauchy: $\begin{cases} y'(t) = f(t, y(t)) \\ y(t_0) = y_0 \end{cases}$ Se la funzione $f(t, y)$ è continua rispetto a $t$ e Lipschitziana rispetto a $y$ in un intorno del punto $(t_0, y_0)$, allora esiste un intorno di $t_0$ in cui il problema ammette un’unica soluzione locale.

Condizione di Lipschitz

In pratica, la funzione non deve variare “troppo velocemente” rispetto a $y$. Se la derivata parziale $\partial f/\partial y$ è limitata, la condizione è soddisfatta.

Significato Ingegneristico

• Determinismo Fisico: Garantisce che, date le condizioni iniziali e le leggi fisiche (le EDO), l’evoluzione futura di un sistema sia univocamente determinata. Questo è fondamentale per la simulazione e il controllo.
• Validità dei Modelli: Assicura che i software di simulazione (es. Simulink, ANSYS) stiano calcolando “la” soluzione corretta del problema fisico e non una tra tante possibili.
• Analisi di Stabilità: È il punto di partenza per lo studio della stabilità di Lyapunov, essenziale per garantire che un sistema di controllo porti il sistema verso lo stato desiderato in modo prevedibile.