Qui si risolve LOGO
a

Menu

M

Chiudi

Esercizi sullo studio qualitativo di un’equazione differenziale

Esercizi equazioni differenziali ordinarie

Home » Esercizi sullo studio qualitativo di un’equazione differenziale

 
 

Sommario

Leggi...

In questo articolo proponiamo degli esercizi sugli studi qualitativi di equazioni differenziali.

 
 

Autori e revisori

Leggi...


 
 

Introduzione

Leggi...

In questo articolo presentiamo degli esercizi sullo studio qualitativo di equazioni differenziali. Questa tipologia di esercizi si concentra sul determinare le proprietà locali e globali di una soluzione come esistenza, unicità, intervallo massimale di esistenza, monotonia, segno, limitatezza, eventuali stime. Tale studio si dedica quindi a determinare appunto delle proprietà qualitative, senza determinare esplicitamente una soluzione.

È infatti spesso difficile, se non impossibile, determinare una soluzione esplicita di una generica equazione differenziale, a meno che non rientri in alcuni tipi speciali. Ciononostante, una soluzione esplicita è a volte non strettamente necessaria, mentre invece risulta estremamente importante comprendere alcune delle sue proprietà sopra elencate.

Come il lettore può intuire, gli studi qualitativi vanno quindi affrontati con strumenti vari e adattati al contesto. Questa tipologia di esercizi è quindi estremamente stimolante e costituisce una summa della teoria di Analisi Matematica appresa nel proprio percorso di studi.


 
 

Esercizi

\[\quad\]

Esercizio 1  (\bigstar\bigstar\bigstar\largewhitestar\largewhitestar). Studiare qualitativamente il problema di Cauchy

\[ 			\begin{cases} 				y''(x)=y(x)y'(x)\cos^2(y'(x))\\ 				y(1)=0 \\ 				y^\prime(1)=\dfrac{\pi}{4}. 			\end{cases} 			\]

In particolare, studiare l’esistenza locale e globale, l’intervallo massimale di esistenza, la monotonia e i limiti agli estremi dell’intervallo massimale di esistenza.

Svolgimento.

L’equazione è del secondo ordine in forma normale. Scrivendola come un sistema del primo ordine di due equazioni in due incognite e applicando il teorema di esistenza e unicità globale, si può vedere che la soluzione esiste globalmente.

Preferiamo però proporre un approccio diverso: scriveremo diversamente l’equazione e la ridurremo a un’equazione scalare del primo ordine equivalente, che tratteremo con i metodi classici.

Osserviamo che, se una soluzione al problema di Cauchy esiste almeno localmente, in un intorno I di x_0=1 si ha

\[y'(x) \in \left ( 0, \frac{\pi}{2} \right ) \implies \cos^2(y'(x))>0,\]

e dunque possiamo dividere l’equazione per \cos^2(y'(x)) al fine di ottenerne una più semplice da studiare, che mostreremo poi essere equivalente al problema dato. Abbiamo cioè

\[ \frac{y''(x)}{\cos^2(y'(x))} = y(x) y'(x) \iff \big(\tan(y'(x))\big)' = \frac{(y^2(x))'}{2} \iff \tan(y'(x)) = \frac{y^2(x)}{2}+k. \]

Imponendo le condizioni iniziali otteniamo

\[ \tan \left ( \frac{\pi}{4} \right ) = k \iff k=1. \]

Reinserendo nell’equazione e usando y'(x) \in \left ( 0, \frac{\pi}{2} \right ) per x \in I giungiamo al problema di Cauchy

(1) \begin{equation*} \begin{cases} y'(x)= \arctan \left (\dfrac{y^2(x)}{2}+1 \right) \\ y(1)=-2. \end{cases} \end{equation*}

Questa equazione differenziale non è risolubile esplicitamente, ma osserviamo che, in qualunque intervallo di esistenza dell’eventuale soluzione, la derivata y' soddisfa la condizione 0 < y'(x) < \frac{\pi}{2} e dunque tale problema di Cauchy è equivalente a quello della traccia, poiché la stima su y' rende lecita l’operazione di dividere (e moltiplicare) per \cos^2(y'). In poche parole, possiamo limitarci a studiare (1).

Poiché y'=F(y) con F \colon \mathbb{R} \to \left ( \frac{\pi}{4},\frac{\pi}{2} \right ) limitata e globalmente 1-lipschitziana, ll teorema di esistenza e unicità globale fornisce l’esistenza della soluzione per ogni x \in \mathbb{R} e fornisce la stima

(2) \begin{equation*} |y(x)| \leq \frac{\pi}{2}|x|+ q \qquad \forall x \in \mathbb{R}, \end{equation*}

dove q è un opportuno numero reale non negativo.

Forniamo anche un modo alternativo per l’esistenza della soluzione che ne determina anche ulteriori proprietà e una stima più precisa. Per il teorema di esistenza e unicità locale la soluzione esiste in un intorno di 1 e sia J=(A,B) l’intervallo massimale di esistenza della soluzione. Dall’equazione (1) segue

(3) \begin{equation*} \frac{\pi}{4} \leq y'(x) < \frac{\pi}{2} \qquad \forall x \in J. \end{equation*}

Dunque y è strettamente crescente in J e rimane limitata in ogni intervallo limitato di \mathbb{R} in quanto la stima sulla derivata e la condizione iniziale forniscono

\[ -2 + \frac{\pi}{4}(x-1) \leq y(x) < -2 + \frac{\pi}{2}(x-1) \qquad \forall x \geq 1, \]

mentre per x \leq 1 valgono disuguaglianze opposte.

Dalla monotonia di y segue che esiste \ell_B \coloneqq \lim_{x \to B}y(x). Se B fosse un numero reale, dalle considerazioni precedenti si avrebbe \ell_B < +\infty, ma allora per il teorema di fuga dai compatti y sarebbe prolungabile oltre B, contro l’ipotesi che (A,B) fosse l’intervallo massimale di esistenza della soluzione. Dunque

\[ B=+\infty, \implies \ell_B=+\infty, \]

dove l’implicazione è dovuta alle stime su y. Analogamente si vede che A=-\infty e \ell_A=-\infty.

In definitiva la soluzione y al problema di Cauchy esiste per ogni x \in \mathbb{R}, è strettamente crescente e soddisfa le stime

(4) \begin{equation*} \begin{gathered} -2 + \frac{\pi}{2}(x-1) \leq y(x) < -2 + \frac{\pi}{4}(x-1) \quad \forall x \leq 1, \\ -2 + \frac{\pi}{4}(x-1) \leq y(x) < -2 + \frac{\pi}{2}(x-1) \quad \forall x \geq 1. \end{gathered} \end{equation*}


 
 

Esercizio 2  (\bigstar\bigstar\bigstar\largewhitestar\largewhitestar).

\[ \begin{cases} \displaystyle y''(x)=\frac{1-(y'(x))^2}{\sqrt{1+y(x)^2}}\,y'(x)\,y(x),\\[6pt] y(0)=0,\\[4pt] y'(0)=\dfrac{1}{2}. \end{cases} \]

Studiare l’esistenza locale e globale della soluzione, la sua regolarità, il suo intervallo massimale di esistenza, monotonia e concavità; determinare infine i limiti agli estremi dell’intervallo massimale per y e y'.

Questa parte è riservata agli abbonati

per continuare a leggere, attiva un abbonamento.

Mensile: 7,99€ / mese • Trimestrale: 19,99€ / 3 mesi • Annuale: 79,99€ / anno

Attiva abbonamento

Già abbonato? Accedi