Delta-toiminto

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 14. helmikuuta 2020 tarkistetusta versiosta . tarkastukset vaativat 12 muokkausta .

Deltafunktio (tai delta-mitta, δ -funktio, δ -Dirac-funktio, Dirac-delta, yksikköimpulssifunktio ) on yleistetty funktio , jonka avulla voit tallentaa pisteen toiminnan sekä fyysisten suureiden (massa, varaus, lämmönlähteen intensiteetti, voima jne. ), keskitetty tai kohdistettu yhteen kohtaan.

Esimerkiksi yksiulotteisen euklidisen avaruuden pisteessä a sijaitsevan yksikköpistemassan m tiheys kirjoitetaan käyttämällä -funktiota muodossa Delta-funktio soveltuu myös kuvaamaan varauksen, massan jne. jakautumista pinnoilla tai viivoilla . .

Yleisestä kirjoitusmuodosta huolimatta -funktio ei ole reaalimuuttujan funktio, vaan se määritellään yleistyneeksi funktioksi : jatkuvaksi lineaarifunktioksi differentioituvien funktioiden avaruudessa. Voit ottaa käyttöön derivaatan δ-funktiolle, joka on myös yleistetty funktio, ja integraalin, joka määritellään Heaviside-funktioksi . On helppo löytää tavallisia klassisia funktioita, jotka konvergoivat heikosti -funktioon.

Yksiulotteiset ja moniulotteiset deltafunktiot voidaan erottaa toisistaan, mutta jälkimmäinen voidaan esittää yksiulotteisten funktioiden tulona määränä, joka on yhtä suuri kuin sen tilan dimensio, jolle moniulotteinen funktio määritellään.

Esitteli englantilainen fyysikko Paul Dirac .

Määritelmät

Deltafunktion käsitteestä on erilaisia ​​näkemyksiä. Tuloksena olevat esineet ovat tarkasti ottaen erilaisia, mutta niillä on useita yhteisiä ominaispiirteitä. Kaikki alla esitetyt rakenteet yleistyvät luonnollisesti suurempien tilojen tapauksiin .

Yksinkertainen määritelmä

Yhden reaalimuuttujan deltafunktio (Dirac-funktio) voidaan määritellä funktioksi , joka täyttää seuraavat ehdot:

Toisin sanoen tämä funktio ei ole yhtä suuri kuin nolla vain siinä kohdassa, jossa se kääntyy äärettömyyteen niin, että sen integraali minkä tahansa naapuruston kohdalla on yhtä suuri kuin 1. Tässä mielessä deltafunktion käsite on samanlainen kuin pisteen fyysiset käsitteet. massa tai pistevaraus . Integraalin ymmärtämiseksi on hyödyllistä kuvitella tietty kuvio tasolle , jonka pinta- ala on yksikkö , esimerkiksi kolmio . Jos pienennämme tämän kolmion kantaa ja lisäämme korkeutta niin, että pinta-ala pysyy muuttumattomana, niin rajoitettavassa tapauksessa saamme kolmion, jolla on pieni kanta ja erittäin suuri korkeus. Oletuksena sen pinta-ala on yhtä suuri kuin yksikkö, jonka integraali osoittaa. Kolmion sijasta voit käyttää mitä tahansa kuviota yleisyyden menettämättä. Samanlaiset ehdot pätevät delta-funktioille, jotka on määritetty

Näitä yhtäläisyyksiä ei yleensä pidetä deltafunktion määritelmänä, mutta monissa fysiikan oppikirjoissa se on määritelty tällä tavalla, ja tämä riittää deltafunktion tarkkaan määrittelyyn. Huomaa, että tämä deltafunktion määritelmä merkitsee seuraavaa yhtäläisyyttä

(suodatusominaisuus) mille tahansa funktiolle f . Itse asiassa pisteen ominaisuuden vuoksi tämän integraalin arvo ei muutu, jos funktio korvataan funktiolla , joka on yhtä suuri pisteessä ja jolla on mielivaltaisia ​​arvoja muissa pisteissä. Otetaan esimerkiksi , sitten otetaan se pois integraalimerkistä ja käyttämällä deltafunktion määritelmän toista ehtoa saadaan haluttu yhtäläisyys.

Deltafunktion derivaatat ovat myös yhtä suuria kuin 0 melkein kaikkialla ja ne muuttuvat at .

Klassinen määritelmä

Deltafunktio määritellään lineaariseksi jatkuvaksi funktionaaliseksi jossakin funktioavaruudessa ( testifunktioiden avaruudessa ). Tavoitteesta ja halutuista ominaisuuksista riippuen tämä voi olla funktioiden tila kompaktilla tuella , äärettömyyteen nopeasti pienenevien funktioiden tila, monikanavan sileät funktiot , analyyttiset funktiot jne . Jotta voidaan määritellä deltafunktion derivaatat, joilla on hyvä ominaisuudet , kaikissa tapauksissa pääfunktioiden katsotaan olevan äärettömästi differentioituvia, myös pääfunktioiden avaruuden tulee olla täydellinen metriavaruus . Katso aiheeseen liittyvästä artikkelista yleisten funktioiden yleinen lähestymistapa . Tällaisia ​​yleisiä funktioita kutsutaan myös jakaumaksi .

Harkitsemme yksinkertaisinta vaihtoehtoa. Perusfunktioiden avaruutena tarkastelemme kaikkien välin äärettömästi differentioituvien funktioiden tilaa. Jakso konvergoi, jos missä tahansa kompaktissa joukossa funktiot konvergoivat tasaisesti kaikkien niiden derivaattojen kanssa:

Tämä on paikallisesti kupera mitattava avaruus. Määrittelemme delta-funktion funktionaaliseksi sellaiseksi, että

Jatkuvuus tarkoittaa, että jos , niin . Tässä  on funktion funktion arvo .

Colombo delta-funktio

Delta-funktion kanssa työskentelevälle integraalilausekkeelle voidaan antaa merkitys, joka on lähellä intuitiivista yleistettyjen Colombo -funktioiden algebran teorian puitteissa ( englanniksi Colombeau algebra ) [1] .  

Olkoon  joukko äärettömästi differentioituvia funktioita kompaktilla tuella, eli ei ole yhtä suuri kuin nolla vain rajoitetussa joukossa. Harkitse joukkoa toimintoja

Yleistetty funktio on ekvivalenssiluokka funktioita, jotka ovat äärettömästi differentioituvia x :n suhteen kullekin ja jotka täyttävät tietyn moderaatioehdon (olettaen , että kaikki sen derivaatat x :n suhteen kasvavat melko hitaasti kohdassa ). Kahden funktion oletetaan olevan ekvivalentteja if , jossa  on toinen funktioluokka, jolla on kasvurajoituksia as

Deltafunktio määritellään Colombo-lähestymistavan etuna on, että sen yleiset funktiot muodostavat kommutatiivisen assosiatiivisen algebran, kun taas käsitteet integraatio, differentiaatio, rajat, parillinen arvo pisteessä ulottuvat luonnollisesti yleistettyjen funktioiden joukkoon. Tässä mielessä deltafunktio voidaan todellakin nähdä funktiona, joka on yhtä suuri kuin 0 kaikkialla paitsi pisteessä 0 ja yhtä suurena kuin ääretön nollassa, koska Colombon teoria sisältää äärettömän suurten ja äärettömän pienten lukujen teorian, joka on samanlainen kuin epästandardi analyysi . .

Egorovin lähestymistapa

Samanlainen teoria yleistetyistä funktioista esiteltiin Yu. V. Egorovin työssä [2] . Vaikka se ei vastaa Colombon teoriaa, suunnittelu on paljon yksinkertaisempi ja sillä on suurin osa halutuista ominaisuuksista.

Yleistetty funktio on sekvenssien ekvivalenssiluokka . Sekvenssejä pidetään ekvivalentteina, jos minkä tahansa kompaktin joukon sekvenssien funktiot ovat yhtenevät jostain numerosta alkaen:

Kaikenlaiset sekvenssien operaatiot (kerto-, yhteen-, integrointi-, erottelu-, kokoonpano-, ...) on määritelty komponentti kerrallaan. Esimerkiksi joukkointegraali I määritellään sekvenssin ekvivalenssiluokiksi

Kaksi yleistettyä funktiota ovat heikosti yhtä suuria, jos jollekin äärettömän tasaiselle funktiolle

Tässä tapauksessa deltafunktio määräytyy millä tahansa delta-muotoisella sekvenssillä (katso alla ), kaikki tällaiset yleistyneet funktiot ovat heikosti samanarvoisia.

Ominaisuudet

δ-funktio heikkona rajana

Päästää

Sitten sarja

konvergoi heikosti -funktioon .

Integroitavan funktion valinta, jonka kiinteä integraali on yhtä suuri kuin 1 alueella välillä - on mielivaltainen.

Esimerkiksi, kuten voit valita funktion sinc : antamalla järjestyksen:

Jos vaaditaan, että kaikki sekvenssin funktiot ovat kaikkialla positiivisia, voidaan valita esimerkiksi normalisoitu Gaussin funktio tai mikä tahansa muu kaikkialla ei-negatiivinen funktio, jonka integraali on 1:

Integraaliesitys

Monissa sovelluksissa delta-funktion integroitu esitys osoittautuu käteväksi:

Todiste

Harkitse integraalia

    (yksi)

joka voidaan tulkita rajaksi

missä

    (2)

On tiedossa, että

    (3)

Kohdan (3) perusteella yhtäläisyys on tosi:

    (neljä)

Voidaan osoittaa ( katso yllä ), että N :n rajoittamattomalla kasvulla funktiolle (2) kaikki delta-funktion ominaisuudet osoittautuvat todeksi, ja tietyssä mielessä se pyrkii

Delta-funktion johdannainen

Deltafunktion derivaatan määritelmän mukaan :

(integraation laajentaminen osittain deltafunktion sisältäviin integrandeihin).

Samoin deltafunktion n: nnelle derivaatalle:

Ja n - kertaisen integroinnin jälkeen saamme lopulta:


Deltafunktion johdannaiselle pätee seuraava identiteetti:

joka voidaan saada erottamalla tuote .

Fourier-muunnos

Fourier-muunnosta voidaan soveltaa delta-funktioon :

Siten deltafunktion spektri (Fourier-muunnos), jonka keskipiste on , on "aalto" taajuusavaruudessa, jolla on "jakso" . Erityisesti nollaan keskitetyn deltafunktion spektri (Fourier-muunnos) on vakio (löysässä mielessä "aalto", jolla on äärettömän suuri "jakso"):

Sen mukaisesti delta-funktio on päinvastoin puhtaan harmonisen funktion tai vakion Fourier-muunnos.

Moniulotteisten deltafunktioiden esitys erilaisissa koordinaattijärjestelmissä

N - ulotteisessa avaruudessa karteesisissa koordinaateissa (ortonormaali kanta):

2D-avaruudessa:

Napakoordinaateissa:

 - siirtämätön suhteessa origoon (singulaarisuuden ollessa r = 0 ),  — jossa singulaarisuus on yleisasemassa r = 0 , laajennetaan nollalla.

3D-avaruudessa:

Sylinterimäisessä koordinaattijärjestelmässä :

 — siirtämätön suhteessa origon suhteen (singulaarisuus on ),  — jossa singulaarisuus on yleisasemassa r = 0 , laajennetaan nollalla.

Pallomaisessa koordinaattijärjestelmässä :

 - siirtämätön suhteessa origoon (singulaarisuuden ollessa r = 0 ). Kaavoissa, joiden origossa on singulaarisuus, käytetään usein kaksi kertaa suurempia kertoimia (1/π lieriömäiselle ja polaariselle, 1/2π pallomaiselle). Tämä johtuu siitä, että integrointituloksen oletetaan olevan kaksi kertaa pienempi, jos singulaaripiste on täsmälleen integrointivälin rajalla.

Fyysinen tulkinta

Varauspisteen lähellä kenttä on ääretön, kentän Taylor-sarjat eivät konvergoidu, joten käyttöön otetaan erikoisfunktioita. Yksi tällainen toiminto on delta-funktio. Kysymys pistevarautuneen hiukkasen kentästä on verrattain monimutkainen, joten tarkastelkaamme ensin yksinkertaisempaa esimerkkiä.

Instant Boost

Antaa hiukkasen, joka pystyy liikkumaan suoraa linjaa pitkin mitättömän kestävän törmäyksen jälkeen , yhtäkkiä nopeutta. Esitetään itseltämme kysymys: kuinka laskea kehon saavuttama kiihtyvyys? Rakennetaan kaavio nopeuden muutoksista ajan myötä. Kaavio näyttää tältä:

Tämä kuvaaja on melkein kaikkialla Heaviside-funktion kaaviossa . Heaviside-funktion derivaatta on yksikködeltafunktio, jonka kuvaaja voidaan tavanomaisesti kuvata

Tämä kaavio näyttää äärettömän kiihtyvyyden hetkellisen kiihtyvyyden kanssa. Yleisesti ottaen törmäyskiihtyvyys voidaan kirjoittaa muodossa

Materiaalipisteen massa/varaus

Jos sinun on löydettävä tietyn tiheysjakauman (tai varaustiheyden ) kokonaismassa (kokovaraus ), joka sisältää jatkuvan komponentin lisäksi myös pistemassat (varaukset), niin se on kätevää kaavan sijaan, joka ottaa erikseen ottaa huomioon jatkuva lopullinen tiheys ja erilliset lisäykset:

,

missä  on kyseessä olevan elementin sijainnin sädevektori (tarkkuuden vuoksi nimitykset vastaavat massaa, eivät varausta), on helppo kirjoittaa:

,

tarkoittaa, että se sisältää sekä jatkuvia että deltamaisia ​​eli geometrisiin pisteisiin keskittyviä komponentteja (yksi jokaiselle pisteobjektille ):

.

Muita esimerkkejä

Erityisen yleistä on tämän laitteen soveltaminen Laplace-operaattoriin (sähköstaattinen, lämmönjohtavuus, diffuusio, mekaaninen elastisuusteoria) ja sitä vastaaviin operaattoreihin, kuten d'Alembert-operaattoriin (akustiikka, sähködynamiikka, kvanttikenttäteoria, jossa Greenin funktiolla on usein erityinen nimi propagator ). missä  on etäisyys koordinaattien alkupisteeseen. Tätä tosiasiaa käytetään todistamaan, että skalaaripotentiaalin lauseke täyttää Poissonin yhtälön :

Katso myös

Muistiinpanot

  1. Colombeau JF Elementary Johdanto uusiin yleisiin funktioihin. - Amsterdam: Elsevier Science Publishers BV, 1985. - 281 s. — ISBN 978-0-444-87756-7 .
  2. Egorov Yu. V. Yleistettyjen funktioiden teoriasta  // Uspekhi Mat. - 1990. - T. 45 , no. 5 (275) . - S. 3-40 .

Kirjallisuus