Matematikaren aplikazioetan, askotan, parametro batek beste batekiko duen mendekotasuna ezagutzen ez den problemak sortzen dira maiz, baina parametro baten eta beste baten (deribatuaren) arteko truke-tasaren adierazpen bat idatz daiteke. Kasu horretan, problema murrizten da funtzio bat beste adierazpen batzuekin lotutako deribatuaren bidez aurkitzera.
Matematika garbian, ekuazio diferentzialak ikuspegi desberdinetatik aztertzen dira, gehienak ekuazioa betetzen duten funtzioen ebazpen multzoari dagozkionak. Ekuazio diferentzial sinpleenak baino ezin dira ebatzi formula esplizituen bidez; hala ere, ekuazio diferentzial jakin baten ebazpenen propietate batzuk zehaztu daitezke, haren forma zehatza aurkitu gabe.
Emaitza zehatza aurkitu ezin bada, zenbakien bidez lor daiteke ordenagailuak erabiliz. Sistema dinamikoen teoriak ekuazio diferentzialen bidez deskribatutako sistemen analisi kualitatiboa azpimarratzen du; zenbakizko analisi asko, berriz, soluzioak nolabaiteko zehaztasun-mailarekin zehazteko garatu dira.
1750eko hamarkadan, Eulerrek eta Lagrangek Euler-Lagrangeren ekuazioa garatu zuten problema tautokronoaren inguruan ikertuz: hau da, pisudun partikula bat puntu finko batean (denbora-kopuru finko batean) eroriko den kurba bat hasierako puntutik independentea den problema zehaztea. 1755an, Lagrangek problema ebatzi, eta ebazpena Eulerri bidali zion. Bien artean, Lagrangeren metodoa garatu zuten, eta mekanikan erabiltzen hasi ziren. Horrek Lagrangeren mekanika formulatzera eraman zituen.
1822an, Joseph Fourierrekbero transferentziari buruzko Théorie analytique de la chaleur lana argitaratu zuen[5]. Newtonen hozte legean oinarrituz, elkarren ondoko bi molekulen arteko bero transferentzia euren arteko tenperatura-diferentzia txikiarekiko proportzionala dela arrazoitzeko. Liburuan, eroapen bidezko bero-transferentziaren ekuazioa proposatu zuen. Ekuazio diferentzial partzial hori fisika matematikoko funtsezko ekuazioetako bat da.
Ekuazio diferentzialak hainbat taldetan sailka daitezke: arruntak eta partzialak; linealak eta ez-linealak; homogeneoak eta ez-homogeneoak. Zerrenda handiegia da; ekuazio diferentzialen beste propietate eta azpimota asko daude testuinguru espezifikoetan oso erabilgarriak izan daitezkeenak.
Ekuazio diferentzial arrunt (EDA) mendeko aldagai ezezagun bakarra eta bere deribatuak dituen ekuazio diferentzialari deritzo. «Arrunt» adjektiboa deribatu partzialetako ekuazioarekin kontrastean erabiltzen da, zeina aldagai independente bat baino gehiagorekiko izan baitaiteke.
Ekuazio diferentzial linealak ondo definitu eta ulertuta daude, eta aurki daitezkeen emaitza zehatzak dituzte. Ekuazio diferentzial linealek batuketa egin dezaketen eta koefizienteen bidez biderka daitezkeen soluzioak dituzte. Aldiz, batu ezin diren soluzioak dituzten EDAk ez-linealak dira, eta haien soluzioa korapilatsuagoa da, eta oso gutxitan aurki daitezke oinarrizko funtzioen forma zehatzean: irtenbideak serie edo forma integral gisa lortzen dira. EDArako zenbakizko metodoak eta metodo grafikoak eskuz edo ordenagailuen bidez egin daitezke, EDAren soluzioak hurbil daitezke, eta haien emaitza oso erabilgarria izan daiteke, askotan konponbide zehatza eta analitikoa alde batera uzteko nahikoa.
Ekuazio diferentzial partziala (EDP) aldagai ezezagun anitz eta bere deribatu partzialak dituen ekuazioa da. Ekuazio horiek hainbat aldagai duten funtzioak dituzten problemak formulatzeko erabiltzen dira, eta eskuz ebatz daitezke ordenagailu bidezko simulazio bat sortzeko.
Ekuazio diferentzial bat lineala da baldin eta haren emaitzak beste emaitza batzuen konbinazio linealetatik lor badaitezke. Lineala bada, ekuazio diferentzialak 1eko potentzia maximoarekin ditu bere deribatuak, eta ez dago terminorik non produktuak funtzio ezezagunaren eta/edo haren deribatuen artean dauden. Ekuazio linealen ezaugarri bereizgarria da haien ebazpenek ebazpen egokien espazio baten antzeko azpiespazio baten forma dutela eta emaitza ekuazio diferentzial linealen teorian garatzen dela.
Ekuazio diferentzial lineal homogeneoak ekuazio diferentzial linealen azpiklase bat dira, eta, horretarako, soluzioen espazioa azpiespazio lineal bat da; hau da, edozein irtenbide-multzoren edo irtenbide-multiploen batura ere irtenbide bat da. Funtzio ezezagunaren koefizienteak, eta ekuazio diferentzial lineal batean haien deribatuak aldagaiaren funtzioak edo aldagai independenteak izan daitezke; koefiziente horiek konstanteak badira, koefiziente konstanteetako ekuazio diferentzial linealez hitz egiten da.
Ekuazio bat lineala dela esaten da honako forma hau badu:
Hau da:
Ez funtzioa ez haren deribatuak ez daude bat edo zero ez den beste ezein potentziatara goratuta.
Biderkatuz agertzen den koefiziente bakoitzean, aldagai independenteak baino ez du parte hartzen.
Bere ebazpenen konbinazio lineal bat ekuazioaren ebazpena ere bada.
Adibideak:
lehen mailako ekuazio diferentzial arrunt lineala da, emaitza gisa ditu: , k-rekin edozein zenbaki erreal
bigarren mailako ekuazio diferentzial arrunt lineala da, emaitza gisa ditu: , a eta b errealekin.
bigarren mailako ekuazio diferentzial arrunt lineala da, emaitza gisa ditu: , a eta b errealekin.
Ekuazio diferentzial ez linealak
Oso metodo gutxi daude ekuazio diferentzial ez-linealak modu zehatzean ebazteko; ezagutzen direnak ohikoa da ekuazioaren mende egotea, eta simetria bereziak izaten dituzte. Ekuazio diferentzial ez-linealek oso portaera konplexua izan dezakete denbora-tarte luzeetan, kaosaren ezaugarria. Ekuazio diferentzial ez-linealen existentziaren, bakartasunaren eta hedagarritasunaren funtsezko alderdietako bakoitza eta EDParen hasierako kondizioen eta inguruaren arazo ez-linealen problema ondo definitua arazo zailak dira. Kasu berezietan, horiek ebaztea aurrerapauso nabarmena da teoria matematikoan (adibidez, Navier-Stokes-en existentzia eta leuntasuna). Hala ere, ekuazio diferentziala ondo formulatutako prozesu fisiko esanguratsu baten irudikapena bada, emaitza bat izatea espero da[6].
Ekuazio diferentzial ez-linealak ekuazio linealetarako hurbilketen bidez agertu ohi dira. Hurbilketa horiek baldintza mugatuetan baino ez dute balio. Adibidez, osziladore harmonikoaren ekuazioa pendulu baten ekuazio ez-linealaren hurbilketa bat da, eta oszilazio-anplitude txikietarako balio du (ikus aurrerago).
Ekuazio erdi linealak eta ia linealak
Ez dago prozedura orokorrik ekuazio diferentzial ez-linealak ebazteko. Hala ere, ez-linealtasuneko kasu partikular batzuk konpon daitezke. Interesgarriak dira kasu erdi lineala eta kasu ia lineala.
n ordenako ekuazio diferentzial arrunt bati ia lineal deritzo, baldin eta n ordenako deribatuan «lineala» bada. Zehazkiago, funtziorako ekuazio diferentzial arrunta honela idatz badaiteke:
Ekuazioa ia lineala dela esaten da baldin eta funtzio afin bada, hau da .
n mailako ekuazio diferentzial arrunta erdi lineal deritzo baldin eta idatz badaiteke n maila-deribatuaren funtzio «lineal» baten batuketa gehi gainerako deribatuen edozein funtzio gisa. Formalki, funtziorako ekuazio diferentzial arrunta honela idatz daiteke:
Ekuazioa erdi lineala dela esaten da baldin eta funtzio lineala bada
Definizioak
Ekuazio diferentzialetan ordenaz eta mailaz hitz egiten da.
Ordena
Ekuazio diferentzialaren ordena ekuazio horretan aldi gehiagotan deribatu den terminoak duen ordena da[1][7]. Adibideak:
Lehen ordenako ekuazio diferentziala:
Bigarren ordenako ekuazio diferentziala:
Hirugarren ordenako ekuazio diferentziala:
Koefiziente aldakorreko bigarren ordenako ekuazioa:
Maila
Ekuazio diferentzialaren maila ekuazio horretako ordena goreneko deribatuaren berretzailea da.[1][7]
Ekuazio diferentzial zehatzak
Atal honetan, y gisa idatzitako ekuazio diferentzialak aurkituko ditugu, lehenengo eta bigarren ekuazioen artean inolako bereizketarik egin gabe.
P eta Q -ko laukizuzen ireki batean definitutako funtzioak direla suposatuko da, aldi berean nuluak ez direnak.
Esaten da ekuazioa diferentzial zehatza dela R funtzio deribagarri hauek y dituena baldin badago
.
Zehaztasunaren garrantzia datza kurba integralen familia bat izatean, x-rekiko inplizituki desberdinduz erator daitekeena: -k, beraz, -k asebetetzen du.
Ekuazio bat diferentzial zehatza den zehaztasunez jakiteko erabil daitekeen irizpide bat da abiapuntutzat hartzea P eta Q funtzio jarraituak direla eta R-n deribatu partzial lehen jarraituak dituztela. ekuazioa diferentzial zehatza bada, orduan, R-n dela frogatzen da.
Demagun R-n dagoela eta F bilatzen dugula, P eta izanik. P ekuazioa x-rekiko integratuz: non C(y) y-ren menpeko integrazio-konstantea den.
baldintza ezarriz gero, lortzen da, non, aplikatuz, berdintasunaren eskuineko aldea y aldagaiaren funtzioa da x-tik independentea.
Azkenik
Horrela, metodo bat lortu da ekuazio diferentzial zehatz baten kurba integralak kalkulatu ondoren, arestian adierazitako teorema frogatuz.
Adibideak
Lehenengo adibide multzoan, demagun ux-ren menpe dagoen funtzio ezezaguna dela, eta c eta ω konstante ezagunak direla. Kontuan izan ekuazio diferentzial arruntak eta partzialak «lineal» eta «ez-lineal» gisa sailka daitezkeela.
Lehen mailako koefiziente konstanteak dituen ekuazio diferentzial arrunt lineala:
Bigarren mailako ekuazio diferentzial arrunt lineal homogeneoa:
-ek ebazpen bat ematen du.
Ekuazio diferentzial arrunt lineala bigarren mailako koefiziente konstante homogeneoak dituena eta osziladore harmoniko bat deskribatzen duena.
Lehen malako ekuazio diferentzial arrunt ez lineala, ez homogeneoa:
Bigarren mailako ekuazio diferentzial arrunt ez lineala (senuaren funtzioa dela eta), L luzerako pendulu baten mugimendua deskribatzen duena:
Hurrengo adibide multzoan, u funtzio ezezaguna x y t o x e y bi aldagaien mende dago.
Lehen ordenako ekuazio diferentzial partzial lineal homogeneoa, orduan:
Ekuazio diferentzial partzial lineal homogeneoa, mota eliptikoko bigarren mailako koefiziente konstanteak dituena, Laplaceren ekuazioa:
lehen ordenako ekuazio diferentziala da, non P eta Q bi funtzio jarraitu baitira irekian.
ekuazioa ekuazio diferentzial zehatza dela esaten da B-n definitutako funtzio potentzial bat baldin badago:
Izan bedi ekuazio diferentzial zehatza, irekia eta haren funtzio potentziala, orduan, grafoa B-n dagoen ekuazioaren soluzio bakoitzak betetzen du ekuazioa
Ekuazio diferentzial baten ebazpena
Ebazpenen existentzia
1.go pausua: Ekuazio diferentzialen ebazpena ez da ekuazio aljebraikoen ebazpenak bezalakoa. Batzuetan, bere ebazpenak oso argiak ez diren arren, interesgarria izan daiteke bakarrak edo existitzen badira.
Hasierako balioak dituzten lehen mailako arazoetarako, Peanoren existentziaren teoremak baldintza multzo bat ematen digu, non soluzioa existitzen den. xy planoko edozein puntutarako, eta eskualde angeluzuzen bat definituta, hau da, eta -ren barruan badago. Ekuazio diferentzial badugu eta hori denean, orduan, arazo honen ebazpen lokala badago: eta biak -n jarraituak badira. Ebazpena tarte batean dago, eta bere zentroa -n du. Baliteke irtenbidea ez izatea bakarra. (Ikus Ekuazio diferentzial arrunta beste emaitza batzuetarako).
Hala ere, horrek hasierako baldintzekin lehen mailako arazoekin bakarrik laguntzen digu.
Demagun arazo lineal bat dugula, hasierako enegarren ordenako baldintzekin:
hau modukoa:
zero ez den edozeinentzat, eta jarraituak badira duen tarte batean, bakarra da, eta existitzen da[8].
Ebazpen motak
Ekuazio diferentzial baten ebazpena funtzio bat da, zeinak, funtzio ezezaguna, kasu bakoitzean dagozkion deribazioekin ordezkatzean, ekuazioa egiaztatzen duen; hau da, identitate bihurtzen du. Hiru irtenbide mota daude:
Ebazpen orokorra
Soluzio orokorra soluzio generiko bat da, konstante batekin edo gehiagorekin adierazia. Kurba sorta bat da. Duen konstante kopuruaren araberako infinitutasun ordena du (konstante bat amaigabeko familia bati dagokio; bi konstante bi bider amaigabe den familia bati, eta abar). Ekuazioa lineala bada, emaitza (ekuazioaren ordena adina) orokorra lortzen da ekuazio homogeneoaren ( eta bere deribatuen menpekotasunik gabeko terminoa 0 bihurtzetik ateratzen dena) gehi ekuazio osoaren emaitza partikular bat konbinatuz.
Ebazpen partikularra
Ekuazio diferentzialaren emaitzak nahitaez igaro behar duen edozein puntu finkatuz gero, C-ren balio bakar bat existitzen da: eta, beraz, ekuazioa betetzen duen kurba integralarena, Horri, ekuazioaren emaitza partikular deituko zaio puntuan, zeinak hasierako baldintza izena hartzen duen.
Emaitza orokorraren kasu berezi bat da, non konstanteak (edo konstanteek) balio espezifiko bat jasotzen duen.
Ebazpen berezia
Ebazpen berezia ekuazioa egiaztatzen duen funtzio bat da, baina ez da emaitza orokorra partikularizatuz lortzen. Ekuazio horren emaitza ez da ekuazio orokorraren partikularizazio bat; bestela esanda, ebazpen hori, ez dagokio ebazpen orokorrari, baina, hala ere, ekuazio diferentziala egiaztatzen du.
Ebazpenei buruzko oharrak
n ordenako ekuazio diferentzial arrunta bada, erraza da egiaztatzea y= f(x) funtzioa dela haren soluzioa. Nahikoa da haren C-ren deribatuak kalkulatzea, ondoren, ordezkatu ekuazioan, f(x)-rekin batera, eta frogatu x-n identitate bat lortzen dela.
EDAren emaitzak inplizituki definitutako funtzio gisa aurkezten dira, eta, batzuetan, ezin dira esplizituki adierazi. Adibidez[9]
, zeina emaitza den
:
Kasu batzuetan, oinarrizko kalkulu metodoen bidez ebatz daiteke. Beste kasu batzuetan, ordea, soluzio analitikoak analisi konplexuko teknikak edo teknika sofistikatuagoak behar ditu, integralekin gertatzen den bezala:
eta
integralean
ezin da egituratu oinarrizko funtzioen kopuru mugatu baten bidez[9]
Aplikazioak
Ekuazio diferentzialen azterketa eremu zabala da matematika huts (puru) eta aplikatuan, fisikan eta ingeniaritzan. Diziplina horiek guztiak interesatzen dira zenbait motatako ekuazio diferentzialen propietateetan. Matematika garbiak soluzioen existentzia eta bakartasuna ditu ardatz; matematika aplikatuak, berriz, soluzioen hurbiltze-metodoen justifikazio zehatza azpimarratzen du. Ekuazio diferentzialek oso zeregin garrantzitsua dute edozein prozesu fisiko, tekniko edo biologikoren modelatze birtualean, adibidez, zeruko mugimendua, zubi baten diseinua edo neuronen arteko elkarrekintza. Bizitza errealeko problemak ebazteko planteatzen diren ekuazio diferentzialak ez dira nahitaez zuzenean ebatz daitezkeenak, hau da, haien soluzioek ez dute adierazpen itxirik. Hori gertatzen denean, emaitzak zenbakizko metodoak erabiliz hurbil daitezke.
Fisikaren eta kimikaren lege asko ekuazio diferentzialekin formalizatzen dira. Biologian eta ekonomian, ekuazio diferentzialak sistema konplexuen portaera modelatzeko erabiltzen dira. Ekuazio diferentzialen teoria matematikoa, hasiera batean, ekuazioak sortzen ziren eta aplikazioetarako emaitzak aurkitzen ziren zientziekin garatu zen. Hala ere, batzuetan, hainbat arazo sortzen ziren eremu zientifiko desberdinetan, eta, haietatik, ekuazio diferentzial berak ateratzen ziren. Izan ere, ekuazioen teoria matematikoaren atzean, printzipio bateratu bat ikus daiteke fenomenoen atzean. Adibidez, argiaren eta soinuaren hedapena atmosferan kontuan hartzen bada eta uhinenaurmael baten gainazalean. Fenomeno horiek guztiak bigarren mailako deribatu partzialetako ekuazio berarekin deskriba daitezke, uhin-ekuazioarekin, zeinak argia eta soinua uhin-forma gisa eta uretako uhinen antzera pentsatzen ahalbidetzen digun. Beroaren eroapena, Joseph Fourier-ek garatu zuen teoria, bigarren mailako deribatu partzialetako beste ekuazio batek gobernatzen du, beroaren ekuazioak. Difusio-prozesu asko, itxuraz desberdinak izan arren, ekuazio berak deskribatzen ditu. Adibidez, Black-Scholes ekuazioa finantzetan, beroaren ekuazioarekin lotuta dago.
↑Newton, Isaac. (1671). Methodus Fluxionum et Serierum Infinitarum (The Method of Fluxions and Infinite Series), 1736an argitaratua [Opuscula, 1744, I. liburukia, 66. or.].
↑Bernoulli, Jakob. (1695). «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» Acta Eruditorum.
↑(Ingelesez)Boyce, William E.; DiPrima, Richard C.. (1967). Elementary Differential Equations and Boundary Value Problems. (4ª. argitaraldia) John Wiley & Sons, 3 or..