Operaattoreiden puoliryhmä on yhden parametrin perhe lineaarisesti rajoitettuja operaattoreita Banach-avaruudessa . Operaattoreiden puoliryhmien teoria syntyi 1900-luvun puolivälissä sellaisten tunnettujen matemaatikoiden töissä kuin Hille ( eng. Einar Hille ), Phillips ( eng. Ralph Saul Phillips ), Yosida , Feller . Tämän teorian pääsovellukset ovat: abstraktit Cauchyn ongelmat, paraboliset yhtälöt , stokastiset prosessit .
Olkoon Banach - tila . Operaattoreiden puoliryhmä avaruudessa on ryhmä rajoitettuja operaattoreita , , joka täyttää seuraavat ominaisuudet:
Puoliryhmän määritelmästä seuraa, että mille tahansa puoliryhmälle on vakioita , jotka:
Operaattoreiden puoliryhmien teorian keskeinen käsite on puoliryhmän generaattorin käsite. Puoliryhmän generaattori tai puoliryhmän äärettömän pieni generoiva operaattori on operaattori
jossa verkkoalue on määritelty elementtijoukoksi siten, että annettu raja on olemassa. Puoliryhmägeneraattori on lineaarinen, yleisesti ottaen rajoittamaton operaattori. Jos puoliryhmä on vahvasti jatkuva, niin generaattorin verkkoalue on tiheä ja generaattori itse on suljettu operaattori. Toisaalta jokainen suljettu, tiheästi määritelty operaattori ei ole puoliryhmän generaattori. Generaattorin määrittää yksiselitteisesti puoliryhmä; generaattori määrittelee yksiselitteisesti puoliryhmän, jos se on vahvasti jatkuva.
Parametrin tasaisuudesta riippuen otetaan huomioon erityyppiset puoliryhmät.
Puoliryhmää kutsutaan tasaisesti jatkuvaksi, jos seuraava ehto täyttyy:
,jossa raja ymmärretään operaattoritopologian merkityksessä .
Puoliryhmää kutsutaan -puoliryhmäksi tai vahvasti jatkuvaksi puoliryhmäksi, jos seuraava ehto täyttyy:
,mille tahansa kiinteälle elementille .
Sopimuspuolisilla ryhmillä on tärkeä rooli sovelluksissa. Voimakkaasti jatkuvan puoliryhmän sanotaan olevan supistuva, jos seuraava ehto täyttyy:
.Voimakkaasti jatkuvaa puoliryhmää kutsutaan analyyttiseksi puoliryhmäksi, jos se voidaan analyyttisesti laajentaa jollekin sektorille
,tavalla, joka on jatkuva .
Lineaarinen operaattori avaruudessa generoi tasaisesti jatkuvan puoliryhmän, jos ja vain jos se on rajoitettu operaattori. Tämä tarkoittaa, että äärellisulotteisissa avaruudessa kaikki puoliryhmät ovat tasaisesti jatkuvia.
Kriteeri vahvasti jatkuvan puoliryhmän generaattorille on seuraava lause: Lineaarinen operaattori on vahvasti jatkuvan puoliryhmän generaattori, jos ja vain, jos seuraavat ehdot täyttyvät:
Jos ehdon 4) sijasta ehto
silloin operaattori on myös vahvasti jatkuvan puoliryhmän generaattori. Tapaus tunnetaan Hille-Yosida-lauseena : lineaarinen operaattori on supistuvan puoliryhmän generaattori, jos ja vain, jos seuraavat ehdot täyttyvät:
Jotta vahvasti jatkuvan puoliryhmän generaattori olisi analyyttisen puoliryhmän generaattori, on tarpeen vaatia huomattavasti suurempia ehtoja operaattorin spektriltä .
Operaattori on analyyttisen puoliryhmän generaattori silloin ja vain jos siinä on lukuja ja että joukko on vapaa operaattorin spektristä ja epäyhtälöstä
jossa vakio ei riipu .
Toinen vastaava kriteeri analyyttisen puoliryhmän generaattorille on, että vahvasti jatkuvan puoliryhmän generaattori on analyyttisen puoliryhmän generaattori, jos
missä on vakio riippumaton .