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 
  
    
      
        
          L
          
            1
          
        
        (
        Ω
        )
      
    
    {\displaystyle L^{1}(\Omega )}
   regnes som svakt deriverbar hvis man kan finne en annen funksjon 
  
    
      
        v
      
    
    {\displaystyle v}
   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 
  
    
      
        
          L
          
            l
            o
            c
          
          
            1
          
        
        (
        U
        )
      
    
    {\displaystyle L_{loc}^{1}(U)}
  , alle lokalt integrerbare funksjoner for en gitt åpen mengde 
  
    
      
        U
        ⊂
        
          
            R
          
          
            n
          
        
      
    
    {\displaystyle U\subset \mathbb {R} ^{n}}
  , og la 
  
    
      
        α
      
    
    {\displaystyle \alpha }
   være en multiindeks. Dersom det eksisterer en v slik at 

  
    
      
        
          ∫
          
            U
          
        
        u
        
          D
          
            α
          
        
        ϕ
        d
        x
        =
        (
        −
        1
        
          )
          
            
              |
            
          
        
        α
        
          |
        
        
          ∫
          
            U
          
        
        v
        ϕ
        d
        x
      
    
    {\displaystyle \int _{U}uD^{\alpha }\phi dx=(-1)^{|}\alpha |\int _{U}v\phi dx}
  for alle uendelig deriverbare funksjoner 
  
    
      
        ϕ
      
    
    {\displaystyle \phi }
   med kompakt støtte i U, sier vi at v er den 
  
    
      
        α
      
    
    {\displaystyle \alpha }
  -te svake deriverte av u, og vi skriver dette som

  
    
      
        
          D
          
            α
          
        
        u
        =
        v
      
    
    {\displaystyle D^{\alpha }u=v}
  .Definisjonen er motivert av teknikken delvis integrasjon, som per definisjon er gitt ved

  
    
      
        
          ∫
          
            U
          
        
        u
        
          ϕ
          
            
              x
              
                i
              
            
          
        
        d
        x
         
        =
         
        u
        ϕ
        
          
            |
          
          
            ∂
            U
          
        
        −
        
          ∫
          
            U
          
        
        
          u
          
            
              x
              
                i
              
            
          
        
        ϕ
        d
        x
      
    
    {\displaystyle \int _{U}u\phi _{x_{i}}dx\ =\ u\phi |_{\partial U}-\int _{U}u_{x_{i}}\phi dx}
  der første ledd på høyre side forsvinner siden 
  
    
      
        ϕ
      
    
    {\displaystyle \phi }
   har kompakt støtte (er lik 0 på randen). Hvis man anvender dette for hver indeks i 
  
    
      
        α
      
    
    {\displaystyle \alpha }
   får man

  
    
      
        
          ∫
          
            U
          
        
        u
        
          D
          
            α
          
        
        ϕ
        d
        x
        =
        (
        −
        1
        
          )
          
            α
          
        
        
          ∫
          
            U
          
        
        
          D
          
            α
          
        
        u
        ϕ
        d
        x
      
    
    {\displaystyle \int _{U}uD^{\alpha }\phi dx=(-1)^{\alpha }\int _{U}D^{\alpha }u\phi dx}
  der man gjør dette for hvert par av indekser i 
  
    
      
        α
      
    
    {\displaystyle \alpha }
   og tilsvarende variabler 
  
    
      
        
          x
          
            i
          
        
      
    
    {\displaystyle x_{i}}
  . Det er ikke gitt at 
  
    
      
        
          D
          
            α
          
        
        u
      
    
    {\displaystyle D^{\alpha }u}
   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 
  
    
      
        u
        :
        [
        −
        1
        ,
        1
        ]
        →
        
          R
        
      
    
    {\displaystyle u:[-1,1]\to \mathbb {R} }
   definert som

  
    
      
        u
        (
        x
        )
        =
        
          |
        
        x
        
          |
        
      
    
    {\displaystyle u(x)=|x|}
  er u ikke deriverbar i 0. Man kan imidlertid definere en funksjon v som

  
    
      
        v
        (
        x
        )
        =
        
          
            {
            
              
                
                  −
                  1
                
                
                  
                    
                      if 
                    
                  
                  x
                  ∈
                  [
                  −
                  1
                  ,
                  0
                  )
                
              
              
                
                  1
                
                
                  
                    
                      if 
                    
                  
                  x
                  ∈
                  (
                  0
                  ,
                  1
                  ]
                
              
            
            
          
        
      
    
    {\displaystyle v(x)={\begin{cases}-1&{\mbox{if }}x\in [-1,0)\\1&{\mbox{if }}x\in (0,1]\end{cases}}}
  og for alle 
  
    
      
        ϕ
        ∈
        
          C
          
            c
          
          
            ∞
          
        
        (
        [
        −
        1
        ,
        1
        ]
        )
      
    
    {\displaystyle \phi \in C_{c}^{\infty }([-1,1])}
   (alle uendelig deriverbare funksjoner med kompakt support over intervallet 
  
    
      
        [
        −
        1
        ,
        1
        ]
      
    
    {\displaystyle [-1,1]}
  ) har vi at

  
    
      
        
          ∫
          
            −
            1
          
          
            1
          
        
        u
        
          ϕ
          ′
        
        d
        x
        =
        
          ∫
          
            −
            1
          
          
            0
          
        
        −
        x
        
          ϕ
          ′
        
        d
        x
        +
        ∫
        
          
            0
          
          
            1
          
        
        x
        
          ϕ
          ′
        
        d
        x
        =
        −
        
          ∫
          
            −
            1
          
          
            0
          
        
        (
        −
        1
        )
        ϕ
        d
        x
        +
        
          ∫
          
            0
          
          
            1
          
        
        (
        1
        )
        ϕ
        d
        x
        =
        (
        −
        1
        )
        
          ∫
          
            −
            1
          
          
            1
          
        
        v
        ϕ
        d
        x
      
    
    {\displaystyle \int _{-1}^{1}u\phi 'dx=\int _{-1}^{0}-x\phi 'dx+\int {0}^{1}x\phi 'dx=-\int _{-1}^{0}(-1)\phi dx+\int _{0}^{1}(1)\phi dx=(-1)\int _{-1}^{1}v\phi dx}
  så v er den første svake deriverte av u over 
  
    
      
        [
        −
        1
        ,
        1
        ]
      
    
    {\displaystyle [-1,1]}
  .


== Egenskaper ==
Dersom den 
  
    
      
        α
      
    
    {\displaystyle \alpha }
  -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å 
  
    
      
        u
        ,
        v
        ∈
        
          L
          
            l
            o
            c
          
          
            1
          
        
        (
        U
        )
      
    
    {\displaystyle u,v\in L_{loc}^{1}(U)}
   over et underrom 
  
    
      
        U
      
    
    {\displaystyle U}
  . Da er
  
    
      
        v
        =
        
          D
          
            α
          
        
        u
      
    
    {\displaystyle v=D^{\alpha }u}
  
hvis og bare hvis det eksisterer en følge av uendelig deriverbare funksjoner 
  
    
      
        {
        
          f
          
            n
          
        
        }
      
    
    {\displaystyle \{f_{n}\}}
   som konvergerer til u i 
  
    
      
        u
        ,
        v
        ∈
        
          L
          
            l
            o
            c
          
          
            1
          
        
        (
        U
        )
      
    
    {\displaystyle u,v\in L_{loc}^{1}(U)}
   hvis deriverte 
  
    
      
        
          D
          
            α
          
        
        
          u
          
            m
          
        
      
    
    {\displaystyle D^{\alpha }u_{m}}
   konvergerer til v i 
  
    
      
        u
        ,
        v
        ∈
        
          L
          
            l
            o
            c
          
          
            1
          
        
        (
        U
        )
      
    
    {\displaystyle u,v\in L_{loc}^{1}(U)}
  .


== Referanser ==