Kernen i en integraloperator ( Fredholm kernel [1] ) er en funktion af to argumenter , som definerer en bestemt integraloperator ved ligheden
hvor er et rum med mål og hører til et rum af funktioner defineret på .
hvor er en målbar funktion .
Sådanne kerner er hovedemnet for overvejelser i teorien om integralligninger .
kaldet kernen i Volterra .
hvor er to systemer med lineært uafhængige kvadrat-integrerbare funktioner ( -funktioner), en sådan kerne kaldes Pinkerle - Goursat - kernen eller PG-kernen .
Mercers kernenedbrydningssætning siger:
Hvis den symmetriske -kerne er kontinuert og kun har positive egenværdier (eller højst et endeligt antal negative egenværdier) , så gælder følgende repræsentation: hvor er et ortogonalt system af -funktioner. Serien konvergerer absolut og ensartet . |