Fredholmin integraaliyhtälö [1] on integraaliyhtälö, jonka ydin on Fredholmin ydin . Nimetty ruotsalaisen matemaatikon Ivar Fredholmin mukaan . Ajan myötä Fredholmin yhtälön tutkiminen kasvoi itsenäiseksi funktionaalisen analyysin osaksi - Fredholmin teoriaksi , joka tutkii Fredholmin ytimiä ja Fredholm-operaattoreita .
Fredholmin yhtälöihin perustuva yleinen teoria tunnetaan Fredholmin teoriana . Teoria tarkastelee erityismuodon integraalimuunnoksia
jossa funktiota kutsutaan yhtälön ytimeksi ja operaattoriksi määritellään
, kutsutaan Fredholm-operaattoriksi (tai integraaliksi).
Yksi perustavanlaatuisista tuloksista on se, että K :n ydin on kompakti operaattori , joka tunnetaan myös nimellä Fredholm-operaattori . Kompaktius voidaan osoittaa käyttämällä tasaista jatkuvuutta . Operaattorina spektriteoriaa voidaan soveltaa ytimeen tutkien ominaisarvojen spektriä .
Ensimmäisen tyypin epähomogeenisella Fredholmin yhtälöllä on muoto:
ja ongelmana on, että ytimen ja funktion tietylle jatkuvalle funktiolle etsi funktio .
Jos ydin on funktio sen argumenttien erosta eli , ja integroinnin rajoista , niin yhtälön oikea puoli voidaan kirjoittaa uudelleen funktioiden konvoluutioksi ja , ja siksi ratkaisu annetaan kaavalla
missä ja ovat suoria ja käänteisiä Fourier-muunnoksia , vastaavasti. Tarvittavat ja riittävät ehdot ratkaisun olemassaololle määritellään Picardin lauseella .
Toisen tyypin epähomogeeninen Fredholmin yhtälö näyttää tältä:
.Ongelmana on löytää funktio, jolla on ydin ja funktio . Tässä tapauksessa ratkaisun olemassaolo ja sen monikertaisuus riippuvat luvusta, jota kutsutaan tunnusluvuksi (sen käänteislukua kutsutaan oikeaksi ). Vakioratkaisumenetelmässä käytetään liuottimen käsitettä ; sarjana kirjoitettu ratkaisu tunnetaan Liouville-Neumann-sarjana .
A. D. Polyanin, A. V. Manžirov. Integraaliyhtälöiden käsikirja. Moskova, Fizmatlit, 2003.