Fredholmův integrální operátor je zcela spojitý lineární integrální operátor formuláře
mapování jednoho funkčního prostoru na druhý. Zde je oblast v euklidovském prostoru , je funkce definovaná na kartézském čtverci , nazývaná jádro integrálního operátoru [1] . Pro úplnou kontinuitu operátora jsou na jádro uložena další omezení . Nejčastěji se uvažují kontinuální jádra [2] , -kernels [3] [4] a také polární jádra [2] [5] . Fredholmův integrální operátor a jeho vlastnosti se používají při řešení Fredholmovy integrální rovnice .
Fredholmův integrální operátor je lineární , to znamená .
Integrální operátor se spojitým na [6] kernel mapuje na (a následně na a na ) a je omezený (spojitý) a
kde
[7] .Integrální operátor s -kernel:
překládá do , je spojitý a splňuje odhad:
[1] [8]Existují podmínky spojitosti pro integrální operátory od do . [9]
Integrální operátor se spojitým jádrem je zcela spojitý od do , to znamená , že přebírá jakoukoli množinu vázanou na množinu, která je předkompaktní v [10] . Zcela spojité operátory jsou pozoruhodné tím, že pro ně platí Fredholmova alternativa . Integrální operátor se spojitým jádrem je limitem posloupnosti konečně-dimenzionálních operátorů s degenerovanými jádry. Podobná tvrzení platí pro integrální operátor s -kernel. [jedenáct]
Existují také slabší dostatečné podmínky pro úplnou návaznost (kompaktnost) integrálního operátoru od do . [12]
Adjoint operátor k operátoru s -kernel v Hilbertově prostoru má tvar
Jestliže , pak je Fredholmův integrální operátor samoadjungovaný [ 1] [11]
Pro dostatečně malé hodnoty má operátor (kde je operátor identity ) inverzní tvar , kde je Fredholmův integrální operátor s jádrem , resolvent jádra [13] .