Gfrktyl

In matematica, il problema di Cauchy consiste nel trovare la soluzione di un'equazione differenziale di ordine n{displaystyle n}:

f(x,y(x),y′(x),y″(x),…,yn(x))=0{displaystyle f(x,y(x),y'(x),y''(x),dots ,y^{n}(x))=0}

tale che soddisfi le condizioni iniziali:

y(a)=y0{displaystyle y(a)=y_{0}}

y′(a)=y1{displaystyle y'(a)=y_{1}}

y″(a)=y2{displaystyle y''(a)=y_{2}}

…{displaystyle dots }

yn−1(a)=yn−1{displaystyle y^{n-1}(a)=y_{n-1}}

Il teorema di esistenza e unicità per un problema di Cauchy dimostra che la soluzione esiste ed è localmente unica, se f{displaystyle f} rispetta opportune ipotesi. È sempre possibile ridurre un problema di ordine n{displaystyle n} ad un sistema di n{displaystyle n} equazioni differenziali ordinarie, ovvero di ordine 1, ponendo:

z1(x)=y(x){displaystyle z_{1}(x)=y(x)}

z2(x)=z1′(x)=y′(x){displaystyle z_{2}(x)=z_{1}'(x)=y'(x)}

z3(x)=z2′(x)=y″(x){displaystyle z_{3}(x)=z_{2}'(x)=y''(x)}

…{displaystyle dots }

zn(x)=zn−1′(x)=yn−1(x){displaystyle z_{n}(x)=z_{n-1}'(x)=y^{n-1}(x)}

Affrontare un problema di Cauchy richiede solitamente di studiare la forma della frontiera del dominio di definizione dell'equazione e di determinare una soluzione che soddisfi le condizioni al contorno di Cauchy.

Problema ai valori iniziali |

In matematica, nell'ambito relativo allo studio delle equazioni differenziali, un problema ai valori iniziali è un'equazione differenziale ordinaria assieme ad un valore specifico della funzione incognita in un certo punto del dominio della soluzione, chiamato condizione iniziale. In fisica o nelle altre scienze, la modellizzazione di un sistema richiede spesso la risoluzione di un problema ai valori iniziali; in questo contesto, l'equazione differenziale descrive l'evoluzione nel tempo a seconda delle condizioni iniziali.

Si tratta di un'equazione differenziale:

y′(t)=f(t,y(t)){displaystyle y'(t)=f(t,y(t))}

con f:R×R→R{displaystyle f:mathbb {R} times mathbb {R} to mathbb {R} }, a cui è associato un punto nel dominio di f{displaystyle f}:

(t0,y0)∈R×R{displaystyle (t_{0},y_{0})in mathbb {R} times mathbb {R} }

chiamato condizione iniziale.

Una soluzione di un problema ai valori iniziali è una funzione y{displaystyle y} che è soluzione dell'equazione differenziale e soddisfa la condizione y(t0)=y0{displaystyle y(t_{0})=y_{0}}.

In problemi di ordine più elevato si considera y{displaystyle y} come un vettore, le cui variabili corrispondono alle derivate di ordine secondo o superiore. Più in generale, la funzione incognita y{displaystyle y} può assumere valori in spazi di dimensione infinita, come gli spazi di Banach o spazi di distribuzioni.

Esistenza e unicità della soluzione |

.mw-parser-output .vedi-anche{border:1px solid #CCC;font-size:95%;margin-bottom:.5em}.mw-parser-output .vedi-anche td:first-child{padding:0 .5em}.mw-parser-output .vedi-anche td:last-child{width:100%}

Lo stesso argomento in dettaglio: Teorema di esistenza e unicità per un problema di Cauchy.

L'esistenza ed unicità della soluzione può essere dimostrata per un'ampia tipologia di problemi ai valori iniziali.

Il teorema di esistenza e unicità per un problema di Cauchy (teorema di Picard-Lindelöf) garantisce l'esistenza di un'unica soluzione in un certo intervallo contenente t0{displaystyle t_{0}} se f{displaystyle f} e la sua derivata parziale ∂f/∂y{displaystyle partial f/partial y} sono continue in una regione contenente t0{displaystyle t_{0}} e y0{displaystyle y_{0}}. La dimostrazione di questo teorema si basa sulla riformulazione del problema in una equazione integrale. L'integrale può essere considerato un operatore che "mappa" una funzione in un'altra, in modo tale che la soluzione sia un punto fisso dell'operatore. In seguito si utilizza il teorema delle contrazioni per dimostrare come esista un unico punto fisso, che è la soluzione del problema ai valori iniziali.

Esiste anche una dimostrazione più vecchia del teorema di Picard-Lindelöf, che si basa sulla costruzione di una successione di funzioni che converge alla soluzione dell'equazione integrale, e quindi alla soluzione del problema ai valori iniziali. Tale costruzione viene talvolta chiamata "metodo di Picard" o "metodo ad approssimazioni successive". Questa versione è sostanzialmente un caso particolare del teorema delle contrazioni.

Hiroshi Okamura ricavò una condizione necessaria e sufficiente perché la soluzione di un problema ai valori iniziali fosse unica. Questa condizione è collegata all'esistenza di una funzione di Lyapunov per il sistema.

In alcuni casi, la funzione f{displaystyle f} non è di classe C1{displaystyle C_{1}}, o nemmeno lipschitziana, di conseguenza non è assicurata l'esistenza locale di un'unica soluzione. Il teorema di esistenza di Peano assicura che anche per f{displaystyle f} semplicemente continua, l'esistenza delle soluzioni è garantita localmente; il problema è che non esiste garanzia dell'unicità.

Esempi |

La soluzione generale di:

y′+3y=6t+5y(0)=3{displaystyle y'+3y=6t+5qquad y(0)=3}

si può dimostrare essere:

y(t)=2e−3t+2t+1{displaystyle y(t)=2e^{-3t}+2t+1}

Infatti:

y′+3y=(d/dt)(2e−3t+2t+1)+3(2e−3t+2t+1)=(−6e−3t+2)+(6e−3t+6t+3)=6t+5{displaystyle {begin{aligned}y'+3y&=(d/dt)(2e^{-3t}+2t+1)+3(2e^{-3t}+2t+1)\&=(-6e^{-3t}+2)+(6e^{-3t}+6t+3)\&=6t+5end{aligned}}}

La legge del moto |

Consideriamo il moto rettilineo uniformemente accelerato di un punto materiale; esso è caratterizzato da a→=costante{displaystyle {vec {a}}=costante}.

La legge del moto s→(t)=s(t,v→(t),a→(t)){displaystyle {vec {s}}(t)=s(t,{vec {v}}(t),{vec {a}}(t))}, con le condizioni iniziali

• 
  s→(t0)=s→0{displaystyle {vec {s}}(t_{0})={vec {s}}_{0}} (la posizione iniziale, all'istante t0{displaystyle t_{0}}),


• 
  v→(t0)=v→0{displaystyle {vec {v}}(t_{0})={vec {v}}_{0}} (la velocità iniziale),

è

s→(t)=s→0+v→0t+12a→t2{displaystyle {vec {s}}(t)={vec {s}}_{0}+{vec {v}}_{0}t+{frac {1}{2}}{vec {a}}t^{2}}

che è la soluzione del problema di Cauchy.

Bibliografia |

• (EN) Coddington, Earl A. and Levinson, Norman, Theory of ordinary differential equations, New York-Toronto-London, McGraw-Hill Book Company, Inc., 1955.


• (EN) Hirsch, Morris W. and Smale, Stephen, Differential equations, dynamical systems, and linear algebra, New York-London, Academic Press [A subsidiary of Harcourt Brace Jovanovich, Publishers], 1974.


• (EN, FR) Hirosi Okamura, Condition nécessaire et suffisante remplie par les équations différentielles ordinaires sans points de Peano, in Mem. Coll. Sci. Univ. Kyoto Ser. A., vol. 24, 1942, pp. 21–28.


• (EN) Polyanin, Andrei D. and Zaitsev, Valentin F., Handbook of exact solutions for ordinary differential equations, 2nd edition, Boca Raton, FL, Chapman & Hall/CRC, 2003, ISBN 1-58488-297-2.


• (EN) James C. Robinson, Infinite-dimensional dynamcal systems: An introduction to dissipative parabolic PDEs and the theory of global attractors, Cambridge, Cambridge University Press, 2001, xviii+461, ISBN 0-521-63204-8.

Voci correlate |

• Condizione al contorno


• Condizioni al contorno di Cauchy


• Equazione differenziale


• Teorema di Cauchy-Kovalevskaya


• Teorema di esistenza e unicità per un problema di Cauchy

Collegamenti esterni |

• 
  


• 
  Problema di Cauchy, su thes.bncf.firenze.sbn.it, Biblioteca Nazionale Centrale di Firenze.
  


• (EN) A.P. Soldatov, Cauchy problem, in Encyclopaedia of Mathematics, Springer e European Mathematical Society, 2002.


• 
  (EN) Eric W. Weisstein, Cauchy Problem, in MathWorld, Wolfram Research.
  


• 
  Applet sul problema di Cauchy per equazioni differenziali ordinarie del primo ordine.

.mw-parser-output .navbox{border:1px solid #aaa;clear:both;margin:auto;padding:2px;width:100%}.mw-parser-output .navbox th{padding-left:1em;padding-right:1em;text-align:center}.mw-parser-output .navbox>tbody>tr:first-child>th{background:#ccf;font-size:90%;width:100%}.mw-parser-output .navbox_navbar{float:left;margin:0;padding:0 10px 0 0;text-align:left;width:6em}.mw-parser-output .navbox_title{font-size:110%}.mw-parser-output .navbox_abovebelow{background:#ddf;font-size:90%;font-weight:normal}.mw-parser-output .navbox_group{background:#ddf;font-size:90%;padding:0 10px;white-space:nowrap}.mw-parser-output .navbox_list{font-size:90%;width:100%}.mw-parser-output .navbox_odd{background:#fdfdfd}.mw-parser-output .navbox_even{background:#f7f7f7}.mw-parser-output .navbox_center{text-align:center}.mw-parser-output .navbox .navbox_image{padding-left:7px;vertical-align:middle;width:0}.mw-parser-output .navbox+.navbox{margin-top:-1px}.mw-parser-output .navbox .mw-collapsible-toggle{font-weight:normal;text-align:right;width:7em}.mw-parser-output .subnavbox{margin:-3px;width:100%}.mw-parser-output .subnavbox_group{background:#ddf;padding:0 10px}

V · D · M Analisi matematica
Calcolo infinitesimale	Numero reale · Infinitesimo · O-grande · Successione (di funzioni) · Successione di Cauchy · Teorema di Bolzano-Weierstrass · Stima asintotica · Limite (di una funzione · di una successione · Forma indeterminata) · Teorema dei due carabinieri · Limite notevole · Punto di accumulazione · Punto isolato · Intorno · Serie (di funzioni) · Criteri di convergenza · Limite di funzioni a più variabili
Studio della continuità	Funzione continua · Punto di discontinuità · Continuità uniforme · Funzione lipschitziana · Teorema di Bolzano · Teorema di Weierstrass · Teorema dei valori intermedi · Teorema di Heine-Cantor · Modulo di continuità · Funzione semicontinua · Continuità separata · Teorema di approssimazione di Weierstrass
Calcolo differenziale	Derivata · Differenziale · Regole di derivazione · Teorema di Fermat · Teorema di Rolle · Teorema di Lagrange · Teorema di Cauchy · Teorema di Darboux · Teorema di Taylor · Serie di Taylor · Funzione differenziabile · Gradiente · Jacobiana · Hessiana · Forma differenziale · Generalizzazioni della derivata · Derivata parziale · Derivata mista
Integrale	Primitiva · Integrale di Riemann · Integrale improprio · Integrale di Lebesgue · Teorema fondamentale · Metodi di integrazione · Tavole · Integrale multiplo, di linea (1° specie · 2° specie) e di superficie (di volume)
Studio di funzione	Funzione · Variabile · Dominio e codominio · Funzioni pari e dispari · Funzione periodica · Funzione monotona · Funzione convessa · Massimo e minimo di una funzione · Punto angoloso · Cuspide · Punto di flesso · Asintoto · Grafico di una funzione · Funzione iniettiva
Disuguaglianze	Disuguaglianza triangolare · Disuguaglianza di Cauchy-Schwarz · Bernoulli · Jensen · Hölder · Young · Minkowski
Altro	Approssimazione di Stirling · Prodotto di Wallis · Funzione Gamma · Teorema delle funzioni implicite · Teorema della funzione inversa · Funzione hölderiana · Spazio metrico · Spazio normato · Intervallo · Insieme trascurabile · Insieme chiuso · Insieme aperto · Palla · Omeomorfismo · Omeomorfismo locale · Diffeomorfismo · Diffeomorfismo locale · Classe C di una funzione · Equazione differenziale · Problema di Cauchy

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica