Diraka delta funkcio

Estas neniuj versioj de ĉi tiu paĝo, do ĝi eble ne estis kvalite kontrolita.

La diraka delta funkciounuobla impulsa funkcio estas funkcio (teknike, distribucio) δ(x) tia ke

kaj

por iu .

Ĝi nomiĝas pro la brita teoria fizikisto Paul Dirac. La diskreta analogo de la delta funkcio estas la degenera distribuo, kelkfoje ankaŭ nomiĝanta la delta funkcio.

Ĝenerala priskribo

redakti

Dirakaj funkcioj povas esti de iu ajn amplekso en kiu okazo ilia 'forteco' estas difinita per multipliko de ilia amplitudo. La grafikaĵo de la delta funkcio povas esti kutime konsiderata sekva la tuta x-akso kaj la pozitiva y-akso. (Ĉi tiu neformala bildo povas iam esti iluzia, ekzemple en la limiganta okazo de la funkcio sinc.)

Malgraŭ ĝia nomo, la delta funkcio ne estas funkcio kiel difinita en la plej rigora matematika senco. Unu kaŭzo por ĉi tiu estas ke la funkcioj f(x) = δ(x) kaj g(x) = 0 estas egalaj ĉie escepte de x = 0 ankoraŭ havi integraloj, kiuj estas malsamaj. Laŭ lebega integralada teorio, se f, g estas funkcioj tiaj ke f = g preskaŭ ĉie, do f estas integralebla se kaj nur se g estas integralebla kaj la integraloj de f kaj g estas la samaj. Preciza kuracado de la diraka delto postulas mezuran teorion aŭ la teorion de distribucioj.

La diraka delto estas tre utila kiel proksimuma kalkulado por alta mallarĝa alkoholigi funkcio (impulso). Ĝi estas la sama tipo de abstraktado kiel punkto akuz(aĵ)o, punkta masoelektrona punkto. Ekzemple, kalkulante la dinamikon de basbalo batita per batilo, aproksimanta la forto de la batilo batanta la basbalon per delta funkcio estas helpema artifiko. Farante tiel, oni ne nur simpligas la ekvaciojn, sed tiel ankaŭ eblas kalkuli la moviĝon de la basbalo per nura konsiderado de la tuta impulso de la batilo kontraŭ la pilko anstataŭ postuli scion de la detaloj pri tio kiel la batilo tradonas energion al la pilko.

La diraka delta funkcio estis nomita honore al la delto de Kronecker, ĉar ĝi povas esti uzata kiel kontinua analogo de la diskreta delto de Kronecker.

Formala enkonduko

redakti

La diraka delto estas ofte prezentita kun la propraĵo:

 

valida por iu ajn kontinua funkcio f.

Tamen, estas neniu reala funkcio δ(x) kun ĉi tiu propraĵo. La diraka delto estas ne funkcio; sed ĝi povas esti utile traktita kiel distribucio, kaj ankaŭ mezuro.

Kiel distribucio, la diraka delto estas lineara funkcionalo sur la spaco de testaj funkcioj kaj estas difinita per

 

por ĉiu testa funkcio  . Ĝi estas distribucio kun kompakta subteno (la subteno estas {0}). Pro ĉi tiu difino, kaj la foresto de vera funkcio kun la deltaj funkciaj propraĵoj, estas grave kompreni ke la pli supre integrala notacio estas simple notacia oportunaĵo, kaj ne vera integralo.

Kiel mezuro,   se  , kaj   alie. Tiam,

 

por ĉiu kontinua funkcio f.

Kiel distribucio, la hevisida ŝtupara funkcio estas malderivaĵo de la diraka delta distribucio.

Delta funkcio de pli komplikaj argumentoj

redakti

Helpema idento estas la skalada propraĵo:

 

kaj do

 

Ĉi tiu koncepto povas esti ĝeneraligita al:

 

kie xi estas la radikoj de g(x). En la integrala formo ĝi estas ekvivalenta al

 

En n-dimensia spaco kun radiusvektoro  , ĉi tiu estas ĝeneraligita al:

 

kie la integralo dekstre estas super  , la n-1  dimensia surfaco difiniĝis per  .

Konverto de Fourier

redakti

La kontinua konverto de Fourier de la Diraka delto estas la konstanta funkcio  . La inversa konverto de ĉi tiu konstanta funkcio estos esti la diraka delto denove, cedanta la orteca propraĵo por la kerno de Fourier:

 

De la ruluma teoremo por la konverto de Fourier, la rulumo de δ kun iu ajn distribucio S estas S.

La diraka delta funkcio kiel probablodensa funkcio

redakti

La diraka delta funkcio povas esti interpretita kiel probablodensa funkcio. Ĝia karakteriza funkcio estas tiam simple unueco, kiel estas la momanta generanta funkcio, tiel ke ĉiuj momantoj estas nulo. La tuteca distribua funkcio estas la hevisida ŝtupara funkcio.

Derivaĵoj de la delta funkcio

redakti

La derivaĵo de la diraka delta funkcio (ankaŭ nomata kiel duoblaĵo) estas la distribucio δ' difinita per

 

por ĉiu testa funkcio  . De ĉi tiu sekvas, ke

 

La n-a derivaĵo δ(n) estas donita per

 

La derivaĵoj de la diraka delto estas grava ĉar ili aperas en la Fourier-aj konvertoj de polinomoj.

Ekvivalenta difino

redakti

La diraka delta funkcio   estas distribucio   kies nedifinita integralo estas la funkcio

 

kutime nomata kiel hevisida ŝtupara funkciounua ŝtupa funkcio. Tio estas, ĝi verigas la integralan ekvacion

 

por ĉiuj reelaj nombroj x.

Prezentoj de la delta funkcio

redakti

La delta funkcio povas esti konsiderata kiel la limigo de vico de funkcioj

 

kie   estas iam nomita ne-plenumigita delta funkcio. Ĉi tiu povas esti utila en specifaj aplikoj; alivorte, unu pliĝustigo por la delto-funkcia notacio estas, ke ĝi ne premisas kiu limiganta vico estos uzita. Aliflanke la termino limigo bezonas esti farita preciza, kiel ĉi tiu egaleco tenas nur por iu signifoj de limigo. La termino aproksima idento havas apartan signifon en analizo de Fourier, en rilato al limiganta vico al identa ero por la ruluma operacio (sur grupoj pli ĝeneralaj ol la reelaj nombroj, ekz. la unuobla cirklo). Tie la kondiĉo estas farita, ke la limiganta vico devus esti de pozitivaj funkcioj.

Iuj naskantoj de delta funkcio estas:

  Limigo de Normala distribuo
  Limigo de Koŝia distribuo
  Koŝio   (vidu noton pli sube)
  Limigo de rektangula funkcio
  Rektangula funkcio   (vidu noton pli sube)
 
 
  Limigo de la aera funkcio
  Limigo de funkcio de Bessel

Notu: Se δ(ax) estas ne-plenumigita delta funkcio kiu estas probablodistribuo super la tuta reala linio (kio estas estas ĉiam nenegativa inter -∞ kaj +∞) tiam alia ne-plenumigita delta funkcio δφ(ax) povas esti konstruita de ĝia karakteriza funkcio kiel sekvas:

 

kie

 

estas la karakteriza funkcio de la ne-plenumigita delta funkcio δ(ax). Ĉi tiu rezulto estas rilatanta al la lokiga propraĵo de la kontinua konverto de Fourier.

Vidu ankaŭ artikolojn

redakti

Eksteraj ligiloj

redakti