Egy integrál operátor kernelje ( Fredholm kernel [1] ) két argumentum függvénye , amely egy bizonyos integrál operátort az egyenlőséggel határoz meg
ahol egy térköz a mértékkel , és a függvények valamely területén definiált teréhez tartozik .
ahol egy mérhető függvény .
Az ilyen magok az integrálegyenletek elméletének fő szempontjai .
Volterra magjának nevezett .
ahol két lineárisan független négyzetbe integrálható függvényrendszer ( -függvények) van, az ilyen rendszermagot Pinkerle - Goursat kernelnek vagy PG-kernelnek nevezik .
Mercer kernel dekompozíciós tétele kimondja:
Ha a szimmetrikus kernel folytonos és csak pozitív sajátértékekkel rendelkezik (vagy legfeljebb véges számú negatív sajátértékkel) , akkor a következő ábrázolás érvényes: ahol a -függvények ortogonális rendszere . A sorozat abszolút és egységesen konvergál . |