Az integrál operátor kernelje

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 .

Példák

ahol  egy mérhető függvény .

Az ilyen magok az integrálegyenletek elméletének fő szempontjai .

nál nél

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 .

Kapcsolódó definíciók

Mercer-tétel

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 .

Irodalom

Jegyzetek

  1. Mathematical Encyclopedia / Szerk. I. M. Vinogradova. - M. : Mir, 1985. - T. 5. - S. 660. - 1060 p.