Fredholm integraloperatoren er en fuldstændig kontinuerlig lineær integraloperator af formen
kortlægning af et funktionsrum til et andet. Her er et område i det euklidiske rum , er en funktion defineret på en kartesisk firkant , kaldet kernen af integraloperatoren [1] . For fuldstændig kontinuitet for operatøren er der pålagt yderligere begrænsninger for kernen . Oftest betragtes kontinuerlige kerner [2] , -kerner [3] [4] og også polære kerner [2] [5] . Fredholm-integraloperatoren og dens egenskaber bruges til at løse Fredholm-integralligningen .
Fredholm integraloperatoren er lineær , dvs.
En integral operator med kontinuert på [6] kernel , maps til (og følgelig til og til ) og er afgrænset (kontinuerlig), og
hvor
[7] .Integral operator med -kerne:
oversættes til , er kontinuerlig og opfylder estimatet:
[1] [8]Der er kontinuitetsbetingelser for integrerede operatører fra til . [9]
En integral operator med en kontinuerlig kerne er fuldstændig kontinuert fra til , det vil sige , den tager ethvert sæt , der er afgrænset til et sæt, der er prækompakt i [10] . Helt kontinuerlige operatører er bemærkelsesværdige ved, at Fredholm-alternativet holder for dem . En integraloperator med en kontinuerlig kerne er grænsen for en sekvens af finit-dimensionelle operatorer med degenererede kerner. Lignende påstande gælder for en integral operator med -kernel. [elleve]
Der er også svagere tilstrækkelige betingelser for fuldstændig kontinuitet (kompakthed) af en integreret operatør fra til . [12]
Adjoint-operatoren til en operator med -kerne i et Hilbert-rum har formen
Hvis , så er Fredholm integraloperatoren selvadjoint [ 1] [11]
For tilstrækkeligt små værdier har operatoren (hvor er identitetsoperatoren ) en omvendt form , hvor er Fredholm-integraloperatoren med kernel , kernens opløsningsmiddel [13] .