Ecuație diferențială

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare

În analiza matematică o ecuație diferențială este o ecuație care leagă o funcție necunoscută de derivatele sale: dacă funcția este de o singură variabilă și ecuația are doar derivate obișnuite, se numește ecuație diferențială obișnuită ; dacă, pe de altă parte, funcția are mai multe variabile și ecuația conține derivate parțiale ale funcției în sine, se numește ecuația diferențială parțială .

Istorie

Studiul ecuațiilor diferențiale a început în urma introducerii calculului de către Newton și Leibniz în secolul al XVII-lea. În al doilea capitol al textului său din 1671, Methodus fluxionum et Serierum Infinitarum , [1] Isaac Newton axează discursul pe trei tipuri de ecuații diferențiale de gradul I, dintre care două sunt obișnuite:

și una cu derivate parțiale :

El rezolvă, de asemenea, un exemplu pentru fiecare dintre tipologii, exprimând termenul nederivat ca o serie de puteri și presupunând că acestea au ca serie infinită ca soluție, dintre care observă că coeficienții pot fi aleși în mod arbitrar, producând astfel o infinitate de particularități. soluții. [2]

O contribuție importantă la ecuațiile obișnuite a fost adusă de frații Jacob și Johann Bernoulli . În 1695 Jacob Bernoulli se ocupă de ecuația cunoscută acum ca ecuația diferențială a lui Bernoulli : [3]

pentru care Leibniz, anul următor, obține soluții simplificându-l la o ecuație liniară . [4] În anul următor fratele său Johann se ocupă cu problema curbei brahistocrone .

O altă problemă mecanică importantă, cea a coardei vibrante , este inclusă și în studiile lui Jean le Rond d'Alembert , Leonhard Euler , Daniel Bernoulli și Joseph-Louis Lagrange . [5] [6] [7] [8] În 1746, d'Alembert s-a confruntat cu ecuația de undă unidimensională:

iar apoi Euler introduce cazul tridimensional. [9]

Începând cu 1750, ecuația Euler-Lagrange a fost apoi dezvoltată de Euler și Lagrange, care este baza mecanicii lagrangiene .

Un alt text important este Théorie analytique de la chaleur [10] din 1822, în care Fourier expune ecuația căldurii .

Descriere

Ecuațiile diferențiale sunt printre cele mai studiate ecuații în matematică , având un rol fundamental în omologul matematic al multor domenii ale științei și ingineriei . Pot descrie, de exemplu, o situație generală în care o anumită sumă variază în funcție de timp într-un mod care depinde de valoarea cantității în sine în acel moment: aceasta corespunde faptului că ambele funcții necunoscute apar în ecuație că derivatul său în raport cu timpul . În cel mai simplu caz, apare doar derivata:

iar ecuația este rezolvată folosind teorema fundamentală a calculului integral . Soluțiile sale au forma:

unde este este constantă și este primitivul din :

Cu toate acestea, acestea sunt relații ale căror rareori este posibil să existe o formă analitică a soluției sau o expresie a acesteia în termeni de funcții elementare, ci mai degrabă sunt studiate existența și unicitatea soluțiilor și comportamentul lor în contexte de interes special. , de obicei în raport cu situația unui sistem fizic descris de ecuația diferențială. Ansamblul tuturor soluțiilor unei ecuații diferențiale se numește integrala generală a ecuației diferențiale date.

Studiul ecuațiilor diferențiale, așa cum se întâmplă adesea în matematică, a fost puternic influențat de necesitatea analizei problemelor concrete; implică, de asemenea, diverse domenii, cum ar fi algebra liniară , analiza numerică și analiza funcțională .

Definiție

Diferitele soluții pentru diferite condiții inițiale ale ecuațiilor (obișnuite) care descriu sisteme dinamice pot fi reprezentate geometric în spațiul de fază ; Această reprezentare se numește portret de fază (portrait portrait). În imagine, portretul de fază al oscilatorului van der Pol .

Având o funcție definit într-un interval din mulțimea numerelor reale , ecuația diferențială asociată cu aceasta este o ecuație diferențială obișnuită (prescurtată cu ODE, acronim pentru ecuația diferențială ordinară ) și ordinea sau gradul ecuației este numit cel mai înalt ordin dintre ordinele derivatelor prezente în ecuația. Scrierea generală a unei ecuații diferențiale obișnuite de ordine pentru o funcție poate avea forma:

unde este sunt derivatele până la comandă . De sine este liniară, ecuația este liniară . De exemplu, ecuația diferențială de gradul I:

este satisfăcut de funcția exponențială , care este egal cu derivatul său.

În cazul în care funcția necunoscută depinde de mai multe variabile, derivatele sunt derivate parțiale și avem o ecuație diferențială parțială (prescurtată cu PDE, din ecuația diferențială parțială ). Un PDE de ordine pentru funcție are forma:

unde este este un număr întreg și o funcție este dat. Exemple deosebit de importante de ecuații diferențiale parțiale (liniare) sunt ecuația undei , ecuația căldurii , ecuația Poisson , ecuația transportului , ecuația continuității sau ecuația Helmholtz .

De exemplu, ecuația:

afirmă că este independent de , și neavând informații despre dependența de are soluție generală:

unde este este o funcție arbitrară a . Ecuația obișnuită:

în schimb are soluție cu constant.

Problema lui Cauchy

Pictogramă lupă mgx2.svg Același subiect în detaliu: problema Cauchy .

Ecuațiile diferențiale sunt analizate dând o valoare precisă unora dintre variabilele implicate, în special funcția necunoscută și derivatele sale (până la ordinea pentru o ecuație în formă normală de ordine ) în anumite puncte din domeniul definiției ecuației. Problema diferențială rezultată se numește „problema Cauchy”; de obicei, constă în stabilirea condițiilor inițiale sau a condițiilor limită pentru capetele domeniului în care este definită ecuația.

În cazul în care ecuația este definită pe o suprafață , furnizarea condițiilor de limită constă în acordarea valorii funcției de la limită sau a derivatei acesteia în raport cu direcția normală la limită. Această atribuire se numește condiții limită Cauchy și corespunde impunerii atât a condițiilor limită Dirichlet (valorile pe care soluția le asumă la marginea suprafeței), cât și a condițiilor limită Neumann (valorile derivatei soluției) .

Pentru ecuațiile obișnuite, teorema existenței și unicității pentru o problemă Cauchy stabilește că pentru o problemă:

există o singură funcție care satisface toate relațiile totuși este suficient de regulat, de exemplu dacă este diferențiat într-un cartier al .

Pentru o ecuație diferențială de ordin parțial definit pe condițiile inițiale sunt date de valoarea necunoscutului și a derivatelor sale până la comandă pe o varietate netedă in marime , numită uneori „suprafața Cauchy”. Mai exact, problema Cauchy constă în găsirea funcției Soluție PDE care satisface:

unde este li se dau funcții definite la suprafață și derivatul se calculează în raport cu direcția a vectorului unitar normal a . [11]

Teorema Cauchy-Kovalevskaya , care se aplică atât ecuațiilor diferențiale parțiale, cât și celor obișnuite, stabilește că dacă condițiile necunoscute și inițiale ale unei ecuații diferențiale sunt funcții analitice la nivel local , atunci există o soluție analitică și este unică. [12]

Ecuatii lineare

Pictogramă lupă mgx2.svg Același subiect în detaliu: ecuația diferențială liniară .

Având în vedere o ecuație obișnuită generică:

este liniar dacă:

O ecuație liniară obișnuită poate fi scrisă ca:

De sine sunt factori constanți, ecuația este rezolvată prin găsirea unei soluții la ecuația omogenă asociată:

la care se adaugă o soluție specială a ecuației complete, obținută de exemplu cu metoda variațiilor constantelor . Pentru fiecare ecuație liniară omogenă obișnuită (chiar și cu coeficienți neconstanți) se aplică și principiul suprapunerii : dacă Și sunt soluții, atunci orice combinație liniară a acestora este, de asemenea, soluții , cu Și constant. [13]

O ecuație diferențială parțială poate fi în schimb liniară , semiliniară, cvasiliniară sau total neliniară. Se spune că ecuația este liniară dacă are forma:

pentru funcții adecvate și , unde este este derivarea ordinii cu privire la una sau mai multe variabile. De sine se spune că ecuația este omogenă .

Se spune că este semiliniar dacă are forma:

cvasiliniar dacă are forma:

și total neliniar dacă depinde neliniar de cel mai înalt grad de derivare.

Ecuațiile care nu sunt liniare sunt adesea foarte greu de tratat și, în multe cazuri, se caută metode pentru a le lineari.

PDE de ordinul II

O clasă de ecuații diferențiale parțiale din care se găsesc frecvent soluții analitice și care sunt utilizate pe scară largă în fizică și inginerie , sunt ecuațiile liniare de ordinul doi, adică de tipul:

Asumand , Și nu sunt toți nuli, termenii cu derivatele secundare definesc o formă pătratică în punct : [14]

la care se asociază matricea simetrică :

Ecuația din punct se spune:

  • Hiperbolic dacă . Atunci nu are valori proprii nule.
  • Eliptic dacă . În acest caz, toate valorile proprii ale toate sunt pozitive sau toate negative.
  • Parabolică dacă . Atunci are cel puțin o valoare proprie zero.

Ecuațiile cu coeficienți constanți sunt hiperbolici, eliptici sau parabolici în toate punctele domeniului lor și în acest caz vorbim respectiv de „ecuație hiperbolică”, „ecuație eliptică” sau „ecuație parabolică”. De exemplu, ecuația Poisson (și versiunea sa omogenă, ecuația Laplace ) este eliptică, ecuația căldurii este parabolică, iar ecuația undei este hiperbolică.

Ecuațiile cu coeficienți neconstanți pot avea totuși un caracter „mixt”, adică pot fi hiperbolice în unele regiuni ale domeniului și eliptice sau parabolice în altele. De exemplu, ecuația Euler-Trichome :

este eliptic în regiune , hiperbolic în regiune și degenerează parabolică pe linia dreaptă .

Ecuații diferențiale algebrice

Pictogramă lupă mgx2.svg Același subiect în detaliu: ecuația diferențială algebrică .

Formularea slabă a unei probleme diferențiale

Pictogramă lupă mgx2.svg Același subiect în detaliu: Formulare slabă .

Exemplu

Un exemplu elementar al modului în care ecuațiile diferențiale pot apărea în mod natural în studiul sistemelor este următorul: să presupunem că avem o populație de bacterii compusă inițial din indivizi și amândoi populația de atunci . Este rezonabil să ne așteptăm ca, în medie, în orice moment după un timp relativ scurt o cantitate de indivizi noi se naște proporțional cu populația și cu timpul scurs , adică egal cu , unde este este un număr (care se presupune a fi constant) care identifică rata natalității. În mod similar, este rezonabil să ne așteptăm să moară indivizi în același interval de timp, fiind rata de mortalitate (constantă). Populația de atunci , prin urmare, va fi dat de populația de atunci la care se adaugă populația nou-născut și se scade cea moartă, adică:

Deci avem asta:

Relația incrementală a funcției poate fi recunoscută în expresia primului membru ; de sine este foarte mic, acest raport va fi înlocuit cu derivatul și va scrie:

Aceasta este o ecuație diferențială obișnuită de prim ordin. Rezolvarea acestei ecuații înseamnă determinarea tendinței în timp a populației, adică a funcției . Prin urmare, căutăm o funcție care poate fi adunată dimensional la prima sa derivată, adică funcția exponențială (ale cărei derivate sunt funcția în sine pentru o constantă):

unde este Și sunt constante. Forțând să respecte constrângerea avem:

Este o funcție exponențială care crește în timp dacă , adică, dacă rata natalității este mai mare decât mortalitatea și scade până când dispare repede dacă . Modelul examinat este deosebit de simplificat; în general, rata de creștere nu este pur și simplu proporțională cu populația actuală cu o constantă fixă ​​de proporționalitate: este rezonabil să ne așteptăm, de exemplu, ca resursele disponibile să fie limitate și insuficiente pentru a satisface o populație arbitrar de mare. De asemenea, putem lua în considerare situații mai complicate, cum ar fi cea în care există mai multe populații care interacționează între ele, cum ar fi prada și prădătorii în modelul Volterra-Lotka .

Soluții

De obicei nu este posibil să se găsească soluții exacte pentru ecuații diferențiale. În loc să găsim o expresie analitică a unei funcții care să satisfacă ecuația, suntem adesea limitați la studierea existenței acesteia și a tendinței sale calitative sau soluțiile aproximative sunt determinate folosind computere capabile să facă aproximări folosind metode de calcul numeric . Cu toate acestea, de-a lungul secolelor, s-au găsit mai multe cazuri în care este posibil să se obțină expresia analitică a funcțiilor care reprezintă soluția unei ecuații diferențiale, la fel cum au fost dezvoltate multe instrumente de diferite tipuri pentru a căuta astfel de soluții: ecuațiile obișnuite, de exemplu, se poate recurge la utilizarea unui factor de integrare , metoda diferenței finite , metoda variației constante și diverse alte metode de soluții analitice și numerice .

În ceea ce privește ecuațiile diferențiale parțiale, nu există o teorie generală care să le analizeze, dar există cazuri în care este posibil să se găsească o soluție unică care depinde continuu de datele furnizate de problemă. Aceste soluții sunt numite „clasice” și se disting de soluțiile slabe sau generalizate. Printre numeroasele metode utilizate pentru studierea PDE se numără metoda caracteristicilor , utilizarea funcției Green , diferite transformări integrale sau metoda separării variabilelor .

De asemenea, se întâmplă adesea să se identifice clase de funcții caracterizate prin faptul că îndeplinesc câteva ecuații diferențiale importante și, din acest motiv, se bucură de proprietăți particulare care le fac de interes considerabil. De exemplu, undele , care satisfac ecuația undei , funcțiile armonice , care satisfac ecuația Laplace și funcțiile speciale , inclusiv funcțiile hipergeometrice care satisfac ecuația hipergeometrică sau funcțiile Struve , funcțiile funcțiilor Anger și Weber care satisfac cea a lui Bessel ecuații .

Soluții numerice

Pictogramă lupă mgx2.svg Același subiect în detaliu: Metode de soluție numerică pentru ecuații diferențiale obișnuite .

Soluțiile numerice sunt algoritmi care vă permit să aproximați soluția sistemului de ecuații diferențiale care alcătuiesc modelul matematic al sistemului. Acești algoritmi stau la baza software-ului de simulare precum MATLAB / Simulink și, în general, pot rezolva și probleme care nu admit soluții în formă închisă.

Software


Notă

  1. ^ Newton, Isaac. (c. 1671). Methodus Fluxionum et Serierum Infinitarum (The Method of Fluxions and Infinite Series), publicat în 1736 [Opuscula, 1744, Vol. I. p. 66].
  2. ^ John E. Sasser - Istoria ecuațiilor diferențiale ordinare: primii sute de ani.
  3. ^ Jacob Bernoulli , Explicationes, Annotationes & Additiones ad ea, quae in Actis sup. de Curva Elastica, Isochrona Paracentrica, & Velaria, hinc inde memorata, & paratim controversa legundur; ubi de Linea mediarum directionum, alliisque novis , în Acta Eruditorum , 1695.
  4. ^ Ernst Hairer, Syvert Paul Nørsett și Gerhard Wanner, Rezolvarea ecuațiilor diferențiale ordinare I: probleme non-rigide , Berlin, New York, Springer-Verlag , 1993, ISBN 978-3-540-56670-0 .
  5. ^ [1] John T. Cannon și Sigalia Dostrovsky,Evoluția dinamicii, teoria vibrațiilor din 1687 până în 1742 , Studii de istorie a matematicii și științelor fizice, vol. 6, New York, Springer-Verlag, 1981, pp. ix + 184 p., ISBN 0-387-90626-6 . JW GREY, RECENZII DE CĂRȚI , în BULLETIN (Noua serie) A SOCIETĂȚII MATEMATICE AMERICANE , vol. 9, nr. 1, iulie 1983. (recuperat 13 noiembrie 2012).
  6. ^ Gerard F. Wheeler și William P. Crummett, The Vibrating String Controversy , în Am. J. Phys. , vol. 55, nr. 1, 1987, pp. 33–37, DOI : 10.1119 / 1.15311 .
  7. ^ Pentru o colecție specială a celor 9 lucrări revoluționare ale celor trei autori, vezi Prima apariție a ecuației undei: D'Alembert, Leonhard Euler, Daniel Bernoulli. - controversa despre corzi vibrante Arhivat 9 februarie 2020 la Internet Archive . (accesat la 13 noiembrie 2012). Herman HJ Lynge și Fiul.
  8. ^ Pentru contribuțiile lui de Lagrange la ecuația undelor acustice, puteți consulta Acoustics: An Introduction to Its Physical Principles and Applications Allan D. Pierce, Acoustical Soc of America, 1989; pagina 18. (recuperat 9 decembrie 2012)
  9. ^ Speiser, David. Descoperirea principiilor mecanicii 1600-1800 , p. 191 (Basel: Birkhäuser, 2008).
  10. ^ ( FR ) Joseph Fourier, Théorie analytique de la chaleur , Paris, Firmin Didot Père et Fils, 1822,OCLC 2688081 .
  11. ^ Enciclopedia matematicii - problema Cauchy , la encyclopediaofmath.org . Adus 06-07-2015 .
  12. ^ Enciclopedia matematicii - teorema Kovalevskaya , la encyclopediaofmath.org . URL consultato il 06-01-2013 .
  13. ^ Paul's Online Math Notes - Second Order DE's / Basic Concepts
  14. ^ Vladimir Tkatjev - Lecture 5. Classification of the second-order equations in two variables Archiviato il 23 luglio 2015 in Internet Archive .
  15. ^ dsolve , su maplesoft.com .
  16. ^ Basic Algebra and Calculus — Sage Tutorial v9.0 , su doc.sagemath.org . URL consultato il 12 maggio 2020 .
  17. ^ Symbolic algebra and Mathematics with Xcas ( PDF ), su www-fourier.ujf-grenoble.fr .

Bibliografia

Voci correlate

Altri progetti

Collegamenti esterni

Controllo di autorità Thesaurus BNCF 6598 · LCCN ( EN ) sh85037890 · GND ( DE ) 4012249-9 · BNF ( FR ) cb133183122 (data) · NDL ( EN , JA ) 00560651
Matematica Portale Matematica : accedi alle voci di Wikipedia che trattano di matematica