Diracin deltafunktio
Diracin deltafunktio on brittiläisen fyysikon Paul Diracin käyttöön ottama matemaattinen konstruktio. Intuitiivisesti se voidaan käsittää eräänlaiseksi erikoislaatuiseksi funktioksi, jonka kuvaaja on sellainen äärettömän terävä piikki, jonka alle jäävä pinta-ala on 1. Diracin deltafunktiolla on integraalilaskennassa vastaava merkitys kuin Kroneckerin deltalla sarjateoriassa. Signaalinkäsittelyn alalla sitä sanotaan myös "yksikköimpulssifunktioksi". Diracin deltafunktiota käytetään esimerkiksi sähködynamiikassa kuvaamaan pistemäisen varauksen varaustiheyttä.
Tarkkaan ottaen Diracin deltafunktio ei ole aito funktio vaan jakautumafunktio, kuten vaikkapa "pistemäinen" elektroni. Sitä käytetään kuvaamaan sellaisia tapauksia, joissa jokin suure on keskittynyt niin pienelle alueelle, että kaukaa katsoen sen voidaan katsoa keskittyneen yhteen pisteeseen.
Diracin deltafunktio on karkeasti ajatellen käsitettävissä funktioksi, jonka arvo on nolla kaikkialla muualla paitsi nollassa, jossa se on ääretön:
ja joka lisäksi toteuttaa ehdon
Tämä on kuitenkin vain heuristinen määritelmä, sillä nimestään huolimatta deltafunktio ei ole tavanomaisessa mielessä funktio.
Yleensäkin on
jos "a" < 0 < "b", mutta
jos "a" ja "b" ovat joko molemmat positiivisia tai molemmat negatiivisia. Täten Diracin deltafunktio on Heavisiden funktion derivaatta.
Diracin deltafunktio voidaan kertoa mielivaltaisella reaaliluvulla A, jolloin saadun funktion integraali on A. Kuitenkin esimerkiksi funktiot "f"("x") = δ("x") ja "g"("x") = 2 δ("x") ovat kaikkialla yhtä suuret, myös nollassa, jossa molemmat saavat arvon ääretön, mutta kuitenkin niiden integraalit ovat eri suuret. Tämä on kuitenkin ristiriidassa Lebesguen integraaliteorian kanssa. Sen mukaan jos funktiot "f" ja "g" saavat saman arvon melkein kaikkialla (toisin sanoen kaikkialla muualla paitsi joukossa, jonka Lebesguen mitta on nolla), silloin "g" on integroituva, jos ja vain jos "f" on integroituva ja molempien funktioiden integraalit ovat yhtä suuret. Diracin deltafunktio voidaankin täsmällisesti määritellä ainoastaan matemaattisten distribuutioiden teorian avulla.
Diracin deltafunktiota käytetään runsaasti fysiikan eri aloilla. Integroitaessa se on hyvin hyödyllinen sellaisten funktioiden approksimaationa, jotka ovat terävän piikin muotoisia. Se voidaan käsittää samankaltaiseksi abstraktioksi kuin massapiste tai pistemäinen sähkövaraus. Mekaniikassa sitä voidaan soveltaa törmäyksiin, esimerkiksi pallon lyöntiin pesäpallomailalla, jolloin palloon kohdistuva voima vaikuttaa vain äärimmäisen lyhyen ajan, mutta pallon liikemäärän ja liike-energian muutos ja siten voiman impulssi ja sen tekemä työ ovat helposti todettavissa. Tällöin voidaan ajatella palloon kohdistuvan voiman vaihdelleen ajan funktiona Diracin deltafunktion mukaisella tavalla.
Jos "f(x)" on mielivaltainen funktio ja "a" < 0 < "b", on
Deltafunktio voidaan skaalata seuraavasti (edellyttäen, että formula_6 ei ole nolla),
mistä saadaan:
Tämä skaalausominaisuus voidaan yleistää muotoon:
missä luvut x ovat funktion "g(x)" nollakohdat. Näin ollen on esimerkiksi
Integraalimuodossa tämä skaalaus voidaan esittää seuraavasti:
n-ulotteisessa avaruudessa, jossa paikkavektori on formula_12, tämä voidaan yleistää muotoon
missä oikeanpuoleinen integraali on otettu alueen formula_14 yli, joka on yhtälön formula_15 määrittelemä "n-1"  -ulotteinen pinta.
Deltafunktiolle on myös voimassa:
Diracin deltafunktio voidaan käsittää myös todennäköisyysjakauman erikoistapaukseksi. Se kuvaa sellaista satunnaismuuttujan rajatapausta, jossa muuttuja saa aina saman arvon. Sen avulla voidaan myös diskreetit jakaumat käsittää jatkuvien jakaumien erikoistapauksiksi, joissa tiheysfunktio on muotoa
formula_17
Tällöin jakautunut muuttuja voi saada vain tiettyjä arvoja, ja tiheysfunktion kuvaaja muodostuu toisistaan erillään sijaitsevista piikeistä.
Jakaumana Diracin deltafunktio vastaa myös sellaista normaalijakauman rajatapausta, jossa keskihajonta on nolla.
Todennäköisyysjakaumana Diracin deltafunktion karakteristinen funktio on vakio 1 ja momenttigeneroiva funktio vakio 0. Sitä vastaava kertymäfunktio on 0 negatiivisilla ja 1 positiivisilla muuttujan arvoilla.