Hafaliad differol

Hafaliad mathemategol yw hafaliad differol (differential equation), sy'n ymwneud â ffwythiant a'i ddeilliadau. Pan gaiff yr egwyddor hwn ei gymhwyso, cynrychiolir y ffwythiannau, fel arfer, fel gwerthoedd ffisegol, mae'r deilliannau'n cynrychioli y raddfa sy'n mesur y newid ac mae'r hafaliad yn diffinio y berthynas rhwng y ddau. Gan fod y fath berthynas mor gyffredin, mae' hafaliadau differol yn chwarae rhan flaenllaw mewn sawl disgyblaeth gan gynnwys peirianneg, ffiseg, economeg a bioleg.

Hafaliad differol
Diagram o drosglwyddydd gwres mewn cas pwmp, a grëwyd drwy ddatrus yr hafaliad gwres. Caiff y gwres ei gynhyrchu'n fewnol o fewn y cas, a'i oeri ar yr ymylon, gan ddosbarthu'r gwres, felly, yn gyson a rheoliadd.
Mathhafaliad, problem cyfrifiannu, problem fathemategol Edit this on Wikidata
Rhan ocalcwlws differol, system o hafaliadau differol Edit this on Wikidata
Tudalen Comin Ffeiliau perthnasol ar Gomin Wicimedia

Mewn mathemateg bur, astudir hafaliadau differol o sawl perspectif gwahanol, ond yn bwysicach na'r un, o berspectif datrusiadau - y set o ffwythiannau sy'n bodloni'r hafaliad. Dim ond yr hafaliad differol symlaf un all gael ei ddatrus gan fformiwlâu penodol; fodd bynnag, gellir canfod rhai o briodweddau datrusiadau hafaliad differol arbennig heb ganfod eu hunion ffurf.

Os nad oes mynegiad caeedig ar gael ar gyfer y datrusiad, gellir brasamcanu'r rhif drwy ddefnyddio cyfrifiaduron. Mae theori systemau dynamig yn rhoi'r pwyslais ar ddadansoddiadau o ansawdd y systemau hyn, drwy hafaliadau differol; ar y llaw arall, datblygwyd sawl dull rhifyddol, er mwyn cafod atebion, a hynny'n eitha cywir.

Hanes golygu

Daeth hafaliadau differol i fodolaeth am y tro cyntaf pan ddatblywyd calcwlws gan Leibniz ac Newton. Ym Mhennod 2 o Methodus fluxionum et Serierum Infinitarum mae Newton yn rhestru tri math o hafaliadau differol:

 

Mae'n datrus yr enghreifftiau hyn, ac eraill, drwy gyfres anfeidraidd, ac mae'n trafod y datrusiadau hyn gan nodi nad ydynt yn unigryw.

Yn 1695, cynigiodd Jacob Bernoulli yr hyn a elwir heddiw yn "hafaliad differol Bernoulli".[1] Mae'r hafaliad hwn yn un cyffredin, a ellir ei nodi yn y ffurf ganlynol:

 

Y flwyddyn ganlynol, canfyddodd Leibniz ddatrusiadau drwy ei symlhau.[2]

Dros amser, astudiwyd problem llinyn yn dirgrynnu, megis tant offeryn cerdd gan Jean le Rond d'Alembert, Leonhard Euler, Daniel Bernoulli, a Joseph-Louis Lagrange.[3][4][5][6] Ym 1746, darganfu d'Alembert hafaliad tonnau un dimensiwn, ac ymhen deng mlynedd darganfu Euler hafaliad tonnau tri dimensiwn.[7]

Datblygwyd hafaliad Euler-Lagrange yn y 1750au gan Euler a Lagrange mewn cysylltiad â'u hastudiaethau o'r broblem tautochrone. Dyma'r broblem o bennu cromlin y bydd gronyn a phwysau (weighted particle) yn cwympo i bwynt sefydlog a hynny mewn cyfnod penodol o amser hefyd, yn annibynnol ar y man cychwyn. Datrysodd Lagrange y broblem hon ym 1755 ac anfonodd yr ateb i Euler. Datblygodd y ddau ddull Lagrange ymhellach a'i gymhwyso i fecaneg, a arweiniodd at lunio mecaneg Lagrangian.

Yn 1822, cyhoeddodd Fourier ei waith ar lif gwres yn Théorie analysistique de la chaleur (Damcaniaeth Ddadansoddol Gwres),[8] lle seiliodd ei ymresymiad ar gyfraith oeri Newton, sef, bod llif gwres rhwng dau folecwl cyfagos yn gymesur â'r gwahaniaeth bach iawn yn eu tymereddau. Yn y llyfr hwn roedd cynnig Fourier o'i hafaliad gwres ar gyfer trylediad dargludol gwres. Bellach dysgir yr hafaliad differol rhannol hwn i bob myfyriwr ffiseg fathemategol.[9][10] Ym 1746, darganfu d'Alembert hafaliad tonnau un dimensiwn, ac ymhen deng mlynedd darganfu Euler hafaliad tonnau tri dimensiwn.[7]

Enghraifft golygu

Mewn mecaneg glasurol, disgrifir cynnig corff yn ôl ei safle a'i gyflymder wrth i'r gwerth amser amrywio. MaeDeddfau mudiant Newton yn caniatáu i'r newidynnau hyn gael eu mynegi'n ddeinamig (o ystyried y safle, y cyflymder, y cyflymiad a'r grymoedd amrywiol sy'n gweithredu ar y corff) fel hafaliad differolol ar gyfer safle anhysbys y corff fel ffwythiant amser.

Mewn rhai achosion, gellir datrys yr hafaliad differol hwn (a elwir yn hafaliad mudiant) yn echblyg.

Enghraifft o fodelu problem yn y byd go-iawn gan ddefnyddio hafaliadau differol yw pennu cyflymder (velocity) pêl yn cwympo trwy'r awyr, gan ystyried disgyrchiant a gwrthiant aer yn unig. Cyflymiad y bêl tuag at y ddaear yw'r cyflymiad oherwydd disgyrchiant minws arafiad gwrthiant aer yn ei erbyn. Ystyrir bod disgyrchiant yn gyson, a gellir modelu gwrthiant aer fel cyfrannedd â chyflymder y bêl. Mae hyn yn golygu bod cyflymiad y bêl, sy'n ddeilliad o'i chyflymder, yn dibynnu ar y cyflymder (ac mae'r cyflymder yn dibynnu ar amser). Mae dod o hyd i'r cyflymder fel ffwythiant amser yn golygu datrys hafaliad differol a gwirio ei ddilysrwydd.

Mathau golygu

Gellir rhannu hafaliadau differol yn sawl math. Ar wahân i ddisgrifio priodweddau'r hafaliad ei hun, gall y dosbarthiadau hyn o hafaliadau differol helpu ddewis y dull o ddatrys. Mae'r gwahaniaethau a ddefnyddir yn gyffredin yn cynnwys a yw'r hafaliad yn gyffredin neu'n rhannol, yn llinol neu'n aflinol, ac yn homogenaidd neu'n heterogenaidd. Mae'r rhestr hon ymhell o fod yn gynhwysfawr a chewir llawer o briodweddau ac is-ddosbarthiadau hafaliadau differol eraill a all fod yn ddefnyddiol iawn mewn cyd-destunau penodol.

Hafaliadau differol cyffredin golygu

Hafaliad differol cyffredin (ordinary differential equation; ODE) yw hafaliad sy'n cynnwys ffwythiant anhysbys o un newidyn real neu gymhlyg x, ei ddeilliadau, a rhai o ffwythiannau penodol x . Yn gyffredinol, cynrychiolir y ffwythiant anhysbys gan newidyn (a ddynodir yn aml y), sydd, felly, yn dibynnu ar x. Felly gelwir x yn aml yn newidyn annibynnol yr hafaliad. Defnyddir y term "cyffredin" mewn cyferbyniad â'r term hafaliad differol rhannol, a all fod mewn perthynas â mwy nag un newidyn annibynnol.

Hafaliadau differol llinol yw'r hafaliadau differol sy'n llinol yn y ffwythiant anhysbys a'i deilliadau. Mae eu theori wedi'i datblygu'n dda, ac mewn llawer o achosion gall rhywun fynegi eu datrysiadau yn nhermau integrynnau.

Mae'r rhan fwyaf o ODEs y deuir ar eu traws mewn ffiseg yn llinol. Felly, gellir diffinio'r rhan fwyaf o ffwythiannau arbennig fel datrysiadau hafaliadau differol llinol (gweler ffwythiant Holonomig).

Gan na ellir mynegi datrysiadau hafaliad differol trwy fynegiant ffurf gaeedig, defnyddir dulliau rhifiadol yn gyffredin ar gyfer datrys hafaliadau differol ar gyfrifiadur.

Hafaliadau differol rhannol golygu

Mae hafaliad differol rhannol (partial differential equation; PDE) yn hafaliad differol sy'n cynnwys ffwythiannau aml-newidyn anhysbys a'u deilliadau rhannol. (Mae hyn yn wahanol i hafaliadau differol cyffredin, sy'n delio â ffwythiannau newidyn sengl a'u deilliadau.) Defnyddir PDEs i lunio problemau sy'n cynnwys ffwythiannau sawl newidyn, ac maent naill ai'n cael eu datrys ar ffurf gaeedig, neu'n cael eu defnyddio i greu model cyfrifiadurol perthnasol.

Gellir defnyddio PDEs i ddisgrifio amrywiaeth eang o ffenomenau mewn natur fel sain, gwres, electrostatics, electrodynameg, llif hylif, hydwythedd, neu fecaneg cwantwm. Gellir ffurfioli'r ffenomenau corfforol hyn sy'n ymddangos yn wahanol yn yr un modd o ran PDEs. Yn yr un modd ag y mae hafaliadau differol cyffredin yn aml yn modelu systemau deinamig un dimensiwn, mae hafaliadau differol rhannol yn aml yn modelu systemau amlddimensiwn. Mae hafaliadau differol rhannol stochastig yn cyffredinoli hafaliadau differol rhannol ar gyfer modelu hap.

Hafaliadau differol aflinol golygu

Mae hafaliad differol aflinol yn hafaliad differol nad yw'n hafaliad llinol yn y ffwythiant anhysbys a'i ddeilliadau (nid ystyrir llinoledd neu aflinoledd yn nadleuon y ffwythiant yma). Ychydig iawn o ddulliau sydd ar gael i ddatrys hafaliadau differol aflinol yn union; mae'r rhai sy'n hysbys fel arfer yn dibynnu ar y fod gan yr hafaliad gymesureddau penodol. Gall hafaliadau differol aflinol arddangos ymddygiad cymhleth iawn dros gyfnodau amser estynedig, sy'n nodweddiadol o anhrefn. Mae hyd yn oed cwestiynau sylfaenolol am fodolaeth, unigrywiaeth, ac estynadwyedd atebion ar gyfer hafaliadau differol aflinol ar gyfer PDEs aflinol yn broblemau caled ac ystyrir bod eu datrys mewn achosion arbennig yn ddatblygiad sylweddol yn y ddamcaniaeth fathemategol (cf. Navier–Stokes existence and smoothness). Fodd bynnag, os yw'r hafaliad differolol yn gynrychiolaeth wedi'i llunio'n gywir o broses gorfforol ystyrlon, yna disgwylir iddo gael datrysiad.[11]

Mae hafaliadau differol llinol yn aml yn ymddangos fel brasamcan i hafaliadau aflinol. Dim ond o dan amodau cyfyngedig y mae'r brasamcanion hyn yn ddilys. Er enghraifft, mae hafaliad yr osgiladur harmonig yn frasamcan i'r hafaliad pendil aflinol sy'n ddilys ar gyfer osgiliadau osgled bach (small amplitude oscillations).

Trefn yr hafaliadau golygu

Disgrifir hafaliadau differol yn ôl eu trefn, a bennir gan y term sydd a'r deilliadau uchaf. Hafaliad differol gorchymyn cyntaf yw hafaliad sy'n cynnwys deilliadau cyntaf yn unig, hafaliad differol o'r ail-orchymyn yw hafaliad sy'n cynnwys yr ail ddeilliad, ac ati.[12] Mae gan hafaliadau differol sy'n disgrifio ffenomenau naturiol bron bob amser ddeilliadau gorchymyn cyntaf ac ail ynddynt, ond mae rhai eithriadau, fel yr hafaliad ffilm denau, sy'n hafaliad differol rhannol o'r pedwerydd gorchymyn.

Enghreifftiau golygu

Yn y grŵp cyntaf o enghreifftiau mae u yn ffwythiant anhysbys o x, ac mae c ac ω yn gysonion sydd i fod yn hysbys. Ceir dau ddosbarth eang o hafaliadau differol cyffredin a rhannol sy'n cynnwys gwahaniaethu rhwng hafaliadau differol llinol ac aflinol, a rhwng hafaliadau differol homogenaidd a rhai heterogenaidd.

  • Hafaliad differol cyffredin llinol o'r gorchymyn-cyntaf homogenaidd
 
  • Hafaliad differol cyffredin llinol o'r ail-orchymyn homogenaidd:
 
  • Hafaliad differol cyffredin llinol o'r ail-orchymyn homogenaidd sy'n disgrifio'r Osgiliadur harmonig:
 
  • Hafaliad differol cyffredin aflinol gorchymyn-cyntaf heterogenaidd:
 
  • Hafaliad differol cyffredin afliniol ail-orchymyn (oherwydd ffwythiant sin) sy'n disgrifio symudiad pendil o hyd L:
 

Yn y grŵp nesaf o enghreifftiau, mae'r swyddogaeth anhysbys u yn dibynnu ar ddau newidyn x a t neu x ac y.

  • Hafaliad differol rhannol llinol gorchymyn-cyntaf homogenaidd:
 
  • Homogeneous second-order linear constant coefficient partial differential equation of elliptic type, the Laplace equation:
 
  • Hafaliad differol rhannol aflinol trydydd-gorchymyn homogenaidd :
 

Cysyniadau cysylltiedig golygu

  • Mae hafaliad differol oedi (DDE) yn hafaliad ar gyfer ffwythiant newidyn sengl, a elwir fel arfer yn amser, lle rhoddir deilliad y ffwythiant ar amser penodol o ran gwerthoedd y ffwythiant ar adegau cynharach.
  • Hafaliad integro-differol (IDE) yw hafaliad sy'n cyfuno agweddau ar hafaliad differol a hafaliad integrol.
  • Mae hafaliad differol stochastig (SDE) yn hafaliad lle mae'r maint anhysbys yn broses stochastig ac mae'r hafaliad yn cynnwys rhai prosesau stochastig hysbys, er enghraifft, y broses Wiener yn achos hafaliadau trylediad.
  • Mae hafaliad differol rhannol stochastig (SPDE) yn hafaliad sy'n cyffredinoli SDEs i gynnwys prosesau sŵn amser-gofod, gyda chymwysiadau mewn theori maes cwantwm a mecaneg ystadegol .
  • Mae hafaliad algebraidd differol (DAE) yn hafaliad differol sy'n cynnwys termau differol ac algebraidd, a roddir ar ffurf ymhlyg.

Cymhwyso golygu

Mae astudio hafaliadau differol yn faes eang mewn mathemateg bur a chymhwysol, ffiseg a pheirianneg. Mae'r holl ddisgyblaethau hyn yn ymwneud â phriodweddau hafaliadau differol o wahanol fathau. Mae mathemateg bur yn canolbwyntio ar fodolaeth a datrysiadau unigryw, tra bod mathemateg gymhwysol yn pwysleisio cyfiawnhad trwyadl y dulliau ar gyfer brasamcanu atebion. Chwaraea hafaliadau differol ran bwysig wrth fodelu bron pob proses ffisegol, technegol neu fiolegol, o fudiant nefol, i ddylunio pontydd, i ryngweithio rhwng niwronau ayb. Efallai na fydd hafaliadau differol fel y rhai a ddefnyddir i ddatrys problemau bywyd go iawn o reidrwydd yn ac nad oes ganddynt atebion ffurf gaeedig. Yn hytrach, gellir brasamcanu atebion trwy ddefnyddio dulliau rhifiadol.

Gellir llunio llawer o ddeddfau sylfaenol ffiseg a chemeg fel hafaliadau differol. Mewn bioleg ac economeg, defnyddir hafaliadau differol i fodelu ymddygiad systemau cymhleth. Datblygodd theori fathemategol hafaliadau differol yn gyntaf ynghyd â'r gwyddorau lle'r oedd yr hafaliadau wedi tarddu a lle roedd y canlyniadau'n berthnasol. Fodd bynnag, gall problemau amrywiol, weithiau'n tarddu o feysydd gwyddonol eithaf gwahanol, arwain at hafaliadau differol sydd yn union yr un fath. Pryd bynnag y bydd hyn yn digwydd, gellir ystyried theori fathemategol y tu ôl i'r hafaliadau fel egwyddor sy'n uno y tu ôl i ffenomenau amrywiol.

Er enghraifft, ystyriwch pelydru golau a sain yn yr atmosffer, a thonnau ar wyneb pwll. Gellir disgrifio pob un ohonynt gan yr un hafaliad differol rhannol ail-orchymyn, hafaliad y tonnau, sy'n caniatáu inni feddwl am olau a sain fel ffurfiau o donnau, yn debyg iawn i donnau cyfarwydd yn y dŵr. Mae dargludiad gwres, y datblygwyd ei ddamcaniaeth gan Joseph Fourier, yn cael ei lywodraethu gan hafaliad differol rhannol ail-orchymyn arall, yr hafaliad gwres. Mae'n ymddangos bod llawer o brosesau trylediad, er eu bod yn ymddangos yn wahanol, yn cael eu disgrifio gan yr un hafaliad; mae hafaliad Black-Scholes mewn cyllid, er enghraifft, yn gysylltiedig â'r hafaliad gwres.

Mae nifer yr hafaliadau differol sydd wedi derbyn enw, mewn amrywiol feysydd gwyddonol yn dyst o bwysigrwydd y pwnc.

Meddalwedd golygu

Gall rhai mathau o feddalwedd meddal CAS (computer algebra system) ddatrys hafaliadau differol. Mae'n werth sôn am y nwyddau meddal CAS hyn a'u gorchmynion:

  • ExpressionsinBar
  • Maple:[13] dsolve
  • SageMath[14]
  • Xcas:[15] desolve(y'=k*y,y)

Cyfeiriadau golygu

  1. Bernoulli, Jacob (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
  2. Hairer, Ernst; Nørsett, Syvert Paul; Wanner, Gerhard (1993), Solving ordinary differential equations I: Nonstiff problems, Berlin, Efrog Newydd: Springer-Verlag, ISBN 978-3-540-56670-0
  3. Frasier, Craig (July 1983). "Review of The evolution of dynamics, vibration theory from 1687 to 1742, by John T. Cannon and Sigalia Dostrovsky". Bulletin of the American Mathematical Society. New Series 9 (1). http://homes.chass.utoronto.ca/~cfraser/vibration.pdf.
  4. Wheeler, Gerard F.; Crummett, William P. (1987). "The Vibrating String Controversy". Am. J. Phys. 55 (1): 33–37. Bibcode 1987AmJPh..55...33W. doi:10.1119/1.15311.
  5. For a special collection of the 9 groundbreaking papers by the three authors, see First Appearance of the wave equation: D'Alembert, Leonhard Euler, Daniel Bernoulli. - the controversy about vibrating strings Archifwyd 2020-02-09 yn y Peiriant Wayback. (retrieved 13 Nov 2012). Herman HJ Lynge and Son.
  6. For de Lagrange's contributions to the acoustic wave equation, can consult Acoustics: An Introduction to Its Physical Principles and Applications Allan D. Pierce, Acoustical Soc of America, 1989; page 18.(retrieved 9 Dec 2012)
  7. 7.0 7.1 Speiser, David. Discovering the Principles of Mechanics 1600-1800, p. 191 (Basel: Birkhäuser, 2008).
  8. Fourier, Joseph (1822). Théorie analytique de la chaleur (yn Ffrangeg). Paris: Firmin Didot Père et Fils. OCLC 2688081.
  9. For a special collection of the 9 groundbreaking papers by the three authors, see First Appearance of the wave equation: D'Alembert, Leonhard Euler, Daniel Bernoulli. - the controversy about vibrating strings Archifwyd 2020-02-09 yn y Peiriant Wayback. (retrieved 13 Nov 2012). Herman HJ Lynge and Son.
  10. For de Lagrange's contributions to the acoustic wave equation, can consult Acoustics: An Introduction to Its Physical Principles and Applications Allan D. Pierce, Acoustical Soc of America, 1989; page 18.(retrieved 9 Dec 2012)
  11. Boyce, William E.; DiPrima, Richard C. (1967). Elementary Differential Equations and Boundary Value Problems (arg. 4th). John Wiley & Sons. t. 3.
  12. Weisstein, Eric W. "Ordinary Differential Equation Order." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/OrdinaryDifferentialEquationOrder.html
  13. "dsolve - Maple Programming Help". www.maplesoft.com. Cyrchwyd 2020-05-16.
  14. "Basic Algebra and Calculus — Sage Tutorial v9.0". doc.sagemath.org. Cyrchwyd 2020-05-16.
  15. "Symbolic algebra and Mathematics with Xcas" (PDF).

Dolenni allanol golygu