Svak derivert

En svak derivert er en generalisering av konseptet deriverbarhet, for funksjoner som ikke er deriverbare, men likevel, under visse betingelser, integrerbare. For funksjoner som ligger i Lp-rommet  regnes som svakt deriverbar hvis man kan finne en annen funksjon  som kan erstatte de deriverte i et gitt integral, og få samme svar som man ville fått dersom de deriverte faktisk hadde eksistert.

Ved å definere svake deriverte kan man inkludere mange flere funksjoner, det vil si jobbe med et mer generelt funksjonsrom. Definisjon av svake deriverte er essensielt for den teoretiske bakgrunnen for elementmetoden, som igjen er et viktig verktøy for numerisk løsning av partielle differensialligninger.

Definisjon
La u og v være funksjoner i funksjonsrommet , alle lokalt integrerbare funksjoner for en gitt åpen mengde , og la  være en multiindeks. Dersom det eksisterer en v slik at 

for alle uendelig deriverbare funksjoner  med kompakt støtte i U, sier vi at v er den -te svake deriverte av u, og vi skriver dette som
.

Definisjonen er motivert av teknikken delvis integrasjon, som per definisjon er gitt ved

der første ledd på høyre side forsvinner siden  har kompakt støtte (er lik 0 på randen). Hvis man anvender dette for hver indeks i  får man

der man gjør dette for hvert par av indekser i  og tilsvarende variabler . Det er ikke gitt at  finnes, men om det finnes en annen funksjon v som gjør at integralet over gir likhet for alle funksjoner i U med kompakt støtte, kan man bruke denne istedenfor.

Eksempel
Hvis man ser på funksjonen  definert som

er u ikke deriverbar i 0. Man kan imidlertid definere en funksjon v som

og for alle  (alle uendelig deriverbare funksjoner med kompakt support over intervallet ) har vi at

så v er den første svake deriverte av u over .

Egenskaper
Dersom den -te svake deriverte av u eksisterer, er den unikt definert nesten overalt (overalt utenom på et sett med mål 0).
Dersom u og v er lokalt integrerbare, altså  over et underrom . Da er

hvis og bare hvis det eksisterer en følge av uendelig deriverbare funksjoner  som konvergerer til u i  hvis deriverte  konvergerer til v i .

Referanser

Differensialregning
Numerisk analyse