Equazione differenziale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Ho aggiunto tra le voci correllate il modello sentimentale in modo da poter creare una nuova pagina su esso Etichette: Modifica visuale Modifica da mobile Modifica da web per mobile |
Aggiungi 1 libro per la Wikipedia:Verificabilità (20240110)) #IABot (v2.0.9.5) (GreenC bot |
||
(42 versioni intermedie di 33 utenti non mostrate) | |||
Riga 1:
In [[analisi matematica]] un''''equazione differenziale''' è un'[[equazione]] che lega una [[Funzione (matematica)|funzione]] incognita alle sue [[Derivata|derivate]]: se la funzione è di una sola variabile e l'equazione presenta soltanto derivate ordinarie
== Storia ==
Lo studio delle equazioni differenziali ha avuto inizio in seguito all'introduzione del [[calcolo infinitesimale]] da parte di [[Isaac Newton|Newton]] e [[Gottfried Wilhelm von Leibniz|Leibniz]] nel
:<math>\frac {dy}{dx} = f(x) \qquad \frac {dy}{dx} = f(x,y)</math>
e una con [[
:<math>x_1 \frac {\partial y}{\partial x_1} + x_2 \frac {\partial y}{\partial x_2} = y</math>
Riga 12:
Ne risolve inoltre un esempio per ognuna delle tipologie, esprimendo il termine non derivato come serie di potenze e ponendo che abbiano come soluzione delle [[serie]] infinite, di cui nota che i coefficienti possono essere scelti in maniera arbitraria producendo così un'infinità di soluzioni particolari.<ref>[http://www2.fiu.edu/~yuasun/ODE_History.pdf John E. Sasser - History of Ordinary Differential Equations: The First Hundred Years.]</ref>
Un importante contributo alle equazioni ordinarie fu dato dai fratelli [[Jacob Bernoulli|Jacob]] e [[Johann Bernoulli]]. Nel 1695 [[Jacob Bernoulli]] si occupa dell'equazione oggi nota come [[equazione differenziale di Bernoulli]]
: <math>\frac {dy}{dx} + P(x)y = Q(x)y^n</math>
per la quale Leibniz, l'anno successivo, ottiene delle soluzioni semplificandola ad un'[[equazione lineare]].<ref>{{Cita pubblicazione|cognome1=Hairer |nome1=Ernst |cognome2=Nørsett |nome2=Syvert Paul |cognome3=Wanner |nome3=Gerhard |titolo=Solving ordinary differential equations I: Nonstiff problems |url=https://archive.org/details/solvingordinaryd0002hair |editore=[[Springer-Verlag]] |città=Berlin, New York | isbn=978-3-540-56670-0 |anno=1993}}</ref> L'anno successivo il fratello Johann si occupa invece del problema della curva [[brachistocrona]].
Un altro importante problema meccanico, quello della [[corda vibrante]], viene inoltre incluso negli studi di [[Jean le Rond d'Alembert]], [[Leonhard Euler]], [[Daniel Bernoulli]]
:<math> { \partial^2 u \over{ \partial x^2 }} - \frac {1}{v^2} { \partial^2 u \over{ \partial t^2 }} = 0</math>
Riga 26:
A partire dal 1750 fu poi sviluppata l'[[equazioni di Eulero-Lagrange|equazione di Eulero-Lagrange]] da parte di Eulero e Lagrange, che è alla base della [[meccanica lagrangiana]].
Un altro importante testo è ''[[Théorie analytique de la Chaleur|Théorie analytique de la chaleur]]''<ref>{{Cita libro |cognome= Fourier |nome= Joseph |titolo= Théorie analytique de la chaleur |editore= Firmin Didot Père et Fils |anno= 1822 |città= Paris |lingua= fr |url= http://books.google.com/books?id= |
== Descrizione ==
Riga 39:
dove <math>f_0</math> è costante e <math>G</math> è la [[Primitiva (matematica)|primitiva]] di <math>g</math>:
:<math>G(t)= \int g(
Si tratta tuttavia di relazioni di cui è raramente possibile avere una forma analitica della soluzione, o una sua espressione in termini di funzioni elementari, ma vengono piuttosto studiate l'esistenza e l'unicità delle soluzioni e il loro comportamento in contesti di particolare interesse, solitamente in relazione alla situazione di un [[fisica|sistema fisico]] descritto dall'equazione differenziale. L'insieme di tutte le soluzioni di un'equazione differenziale è detto ''integrale generale'' dell'equazione differenziale data.
Riga 52:
:<math>f(x, u(x), u'(x),\dots , u^{(n)}(x)) = 0 </math>
dove <math>u, u',\dots , u^{(n)} </math> sono le [[derivate]] di <math>u</math> fino all'ordine <math>n</math>. Se <math>f</math> è lineare, l'equazione è [[equazione differenziale lineare|lineare]]. Per esempio, l'equazione differenziale di primo
:<math>\frac{du}{d x} = u</math>
Riga 98:
:<math>u(x) = f_0(x) \qquad \forall x\in S </math>
:<math>\frac{\
dove <math>f_k</math> sono funzioni date definite sulla superficie <math>S</math> e la [[derivata direzionale|derivata]] <math>\
Il [[teorema di Cauchy-Kovalevskaya]], che si applica sia per le equazioni alle derivate parziali che per quelle ordinarie, stabilisce che se l'incognita e le condizioni iniziali di un'equazione differenziale sono localmente [[funzione analitica|funzioni analitiche]] allora una soluzione analitica esiste ed è unica.<ref>{{cita web|http://www.encyclopediaofmath.org/index.php/Cauchy%E2%80%93Kovalevskaya_theorem|Encyclopedia of Mathematics - Kovalevskaya theorem|06-01-2013}}</ref>
Riga 149:
Supponendo che <math>a_{11}</math>, <math>a_{12}</math> e <math>a_{22}</math> non siano tutti nulli, i termini con le derivate seconde definiscono una [[forma quadratica]] nel punto <math>(x_0, y_0)</math>:<ref>[http://www.mai.liu.se/~vlatk48/teaching/teaching_vt2009/lectures_uu/PDE09-051.pdf Vladimir Tkatjev - Lecture 5. Classification of the second-order equations in two variables] {{webarchive|url=https://web.archive.org/web/20150723044624/http://www.mai.liu.se/~vlatk48/teaching/teaching_vt2009/lectures_uu/PDE09-051.pdf |data=23 luglio 2015 }}</ref>
:<math>\sigma(x_0, y_0;p_1, p_2) = a_{11}(x_0, y_0) p_1^2 + 2a_{12}(x_0, y_0) p_1 p_2 + a_{
alla quale si [[matrice di trasformazione|associa]] la [[matrice simmetrica]]:
Riga 208:
Per quanto riguarda le equazioni alle derivate parziali, non vi è una teoria generale per analizzarle, ma vi sono casi in cui è possibile trovare una soluzione unica che dipende in modo [[funzione continua|continuo]] dai dati forniti dal problema. Tali soluzioni sono dette "classiche", e si distinguono da [[formulazione debole|soluzioni deboli]] o generalizzate. Tra i molti metodi utilizzati per studiare le PDE vi è il [[metodo delle caratteristiche]], l'utilizzo della [[funzione di Green]], diverse [[trasformata integrale|trasformate integrali]] o il metodo di [[separazione delle variabili]].
Accade inoltre spesso che si identificano classi di funzioni caratterizzate dal fatto che soddisfano alcune importanti equazioni differenziali, e per tale motivo godono di proprietà particolari che le rendono di notevole interesse. Ad esempio le [[onda|onde]], che
=== Soluzioni numeriche ===
{{vedi anche |Metodi di soluzione numerica per equazioni differenziali ordinarie}}
Le soluzioni numeriche sono degli algoritmi che permettono di approssimare la soluzione del sistema di [[equazioni differenziali]] che costituiscono il ''[[modello matematico]]'' del sistema. Questi [[algoritmo|algoritmi]] sono alla base dei [[software]] di [[simulazione]] come [[Simulink|MATLAB/Simulink]] ed in linea generale possono risolvere anche problemi che non ammettono soluzioni in forma chiusa.
== Software ==
* [[ExpressionsinBar]]
* [[Maple]]:<ref>{{Cita web|url=https://www.maplesoft.com/support/help/Maple/view.aspx?path=dsolve|titolo=dsolve}}</ref> dsolve
* [[Sage (software)|SageMath]]<ref>{{Cita web|url=http://doc.sagemath.org/html/en/tutorial/tour_algebra.html|titolo=Basic Algebra and Calculus — Sage Tutorial v9.0|sito=doc.sagemath.org|accesso=2020-05-12}}</ref>
* [[Xcas]]:<ref>{{Cita web|url=http://www-fourier.ujf-grenoble.fr/~parisse/giac/cascmd_en.pdf|titolo=Symbolic algebra and Mathematics with Xcas}}</ref> desolve(y'=k*y,y)
==Note==
Line 218 ⟶ 225:
== Bibliografia ==
*
* {{Cita libro|titolo=A treatise on differential equations|autore=George Boole|wkautore=George Boole|url=https://gallica.bnf.fr/ark:/12148/bpt6k99509g.r=A%20treatise%20on%20differential%20equations?rk=21459;2|via=[[Gallica]]|editore=MCMILLAN AND CO.|città=Cambridge|anno=1859|lingua=en|accesso=14 luglio 2021}}
* {{en}} W. W. Johnson ''[http://name.umdl.umich.edu/ABV5010.0001.001 A treatise on ordinary and partial differential equations.]'' (J. Wiley & Sons, New York, 1889)
* {{en}} T. Craig ''[
* {{en}}E. Goursat ''[http://name.umdl.umich.edu/ABA9351.0003.001 A course of mathematical analysis, part II of volume II]'' (Ginn & co. 1917)
* {{cita libro | cognome= Evans| nome= Lawrence C.| titolo= Partial Differential Equations| url= https://archive.org/details/partialdifferent0019evan| editore= American Mathematical Society| città= | anno= 1998 | isbn= 0-8218-0772-2|cid=evans| lingua= en}}
* {{en}}H. Bateman ''[
* {{en}}E. L. Ince ''[
* {{en}}A. R. Forsyth ''[
* {{en}}E. G. C. Poole ''[
* {{fr}}E. Picard ''[
* {{fr}}C. Jordan ''[
* {{en}}P. L. Sachdev ''A Compendium on Nonlinear Ordinary Differential Equations'' (John Wiley, 1997) ISBN 0-471-53134-0
* {{de}}L. Schlesinger ''[
* {{de}}L. Schlesinger ''[
* {{de}}L. Schlesinger ''[
* {{de}}H. Liebmann ''[
== Voci correlate ==
* [[Analizzatore differenziale]]
* [[Condizione al contorno]]▼
* [[Condizioni iniziali]]▼
* [[Controllo automatico]]
* [[Derivata]]
* [[Equazione alle derivate parziali]]▼
* [[Equazione differenziale algebrica]]
* [[Equazione differenziale lineare]]
* [[Equazione differenziale ordinaria]]
▲* [[Equazione alle derivate parziali]]
* [[Equazione differenziale stocastica]]
* [[Equazione integro-differenziale]]
* [[Formulazione debole]]
* [[Integrale]]
* [[Problema ai valori iniziali]]
* [[Problema di Cauchy]]
Line 256 ⟶ 263:
* [[Teorema di esistenza di Peano]]
* [[Teorema di esistenza e unicità per un problema di Cauchy]]
▲* [[Condizioni iniziali]]
▲* [[Condizione al contorno]]
== Altri progetti ==
Line 267 ⟶ 272:
* [http://www.fioravante.patrone.name/mat/u-u/it/equazioni_differenziali_intro.htm Modellizzazione con equazioni differenziali] ''Introduzione alla modellizzazione mediante equazioni differenziali, con commenti critici.''
* {{cita web|http://eqworld.ipmnet.ru/|EqWorld|lingua=en}}
{{Controllo di autorità}}▼
{{analisi matematica}}
▲{{Controllo di autorità}}
{{Portale|matematica}}
|