Kärnan i en integraloperator ( Fredholm kernel [1] ) är en funktion av två argument , som definierar en viss integraloperator genom likheten
där är ett utrymme med mått och tillhör något utrymme av funktioner definierade på .
var finns en mätbar funktion .
Sådana kärnor är huvudämnet för övervägande i teorin om integralekvationer .
kallas kärnan i Volterra .
där finns två system av linjärt oberoende kvadratintegrerbara funktioner ( -funktioner), en sådan kärna kallas Pinkerle - Goursat kärna eller PG-kärna .
Mercers kärnnedbrytningssats säger:
Om den symmetriska -kärnan är kontinuerlig och bara har positiva egenvärden (eller högst ett ändligt antal negativa egenvärden) så gäller följande representation: var är ett ortogonalt system av -funktioner. Serien konvergerar absolut och enhetligt . |