Functionele calculus

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

Functionele calculus (synoniemen: symbolische calculus, symbolisch rekenen met operatoren) is een verzameling technieken uit de wiskunde, vooral uit de wiskundige analyse, om gewone functies toe te passen op ingewikkeldere objecten, vooral lineaire transformaties.

Als een functie f gedefinieerd is in termen van (reële of complexe) getallen, dan is het niet a priori gegarandeerd dat er een zinvolle betekenis kan gegeven worden aan f(A) als A iets anders is dan een getal, bijvoorbeeld een matrix of een lineaire transformatie.

Veeltermfuncties[bewerken]

Met iedere polynoom f(X) komt een veeltermfunctie f overeen die ieder getal x afbeeldt op f(x). Elke polynoom kan worden gevormd door de veranderlijke X, constante getallen, en de bewerkingen optelling en vermenigvuldiging. Dat betekent dat veeltermfuncties ook zinvol zijn in iedere algebraïsche structuur waarin een optelling en een vermenigvuldiging gedefinieerd zijn, zoals in ringen.

Als bijvoorbeeld A een vierkante reële 2x2-matrix is en f(X) is de polynoom X2-5X+1, dan is

f(A)=A.A-5A+1

waar de punt "." het matrixproduct voorstelt.

Analytische functies[bewerken]

Analytische functies zijn functies die in een omgeving van ieder punt van hun domein kunnen worden voorgesteld door een machtreeks:

f(x)=f(x_0)+\sum_{n=1}^\infty\frac{f^{(n)}(x_0)}{n!}(x-x_0)^n

In een algebraïsche structuur, waarin niet alleen een optelling en een vermenigvuldiging bestaan, maar ook het begrip convergentie (van een reekssom), kan aan dergelijke functies een betekenis worden gegeven. De natuurlijke context hiervoor is een Banach-algebra.

Vierkante nxn-matrices met reële of complexe elementen vormen een Banach-algebra met als norm het maximum van de absolute waarden van de elementen. Zo kunnen we bijvoorbeeld de natuurlijke exponentiële functie van een matrix definiëren:

\exp(A)=\sum_{n=0}^\infty\frac{A^n}{n!}

Dergelijke machtreeksen convergeren als de gegeven (complex)-analytische functie goed gedefinieerd is in de omgeving van het spectrum van de matrix A (de verzameling complexe eigenwaarden van A). De exponentiële functie is analytisch op het hele complexe vlak, dus bovenstaande machtreeks convergeert voor elke vierkante matrix.

Het spectrum van een commutatieve Banach-algebra[bewerken]

Bij een commutatieve complexe Banach-algebra A bestaat er een een-eenduidig verband tussen maximale idealen enerzijds en homomofismen van A naar de complexe getallen anderzijds. Deze verzameling Δ heet spectrum van A en wordt uitgerust met de zwakke topologie (zie topologische vectorruimte). Er bestaat nu een functionele calculus voor continue functies van Δ naar de complexe getallen. De Gelfand-transformatie van een element x van A associeert met x de complexwaardige functie x^ op Δ, die ieder homomorfisme h op haar functiewaarde h(x) afbeeldt.

Het belangrijkste resultaat in deze context is de stelling van Gelfand-Naimark. Deze beperkt zich tot een bijzonder soort Banach-algebra, B*-algebra genaamd. Een B*-algebra is een Banach-algebra met een bewerking involutie, genoteerd met een ster (*), die voldoet aan de eigenschap

\forall x\in A: \|xx^*\|=\|x\|^2

De stelling luidt:

Zij A een commutatieve B*-algebra met maximale ideaalruimte Δ. De Gelfand-transformatie is een isometrisch isomorfisme tussen A en C(Δ), met de bijkomende eigenschap dat
h(x^*)=\overline{h(x)}

De functionele calculus laat dus toe, continue complexe functies op het spectrum van A te identificeren met willekeurige elementen van A.

Het spectrum van een operator in een Hilbertruimte[bewerken]

Als A een normale, begrensde operator is in een Hilbertruimte H, kan er betekenis worden gegeven aan f(A) voor elke meetbare complexe functie op het spectrum van A (dus niet alleen continue of analytische functies). Hiertoe wordt een operator-waardige maat gedefinieerd, een zogenaamde resolutie van de identiteit.

De functionele calculus voor normale operatoren gaat nog steeds door voor zelftoegevoegde onbegrensde operatoren. In dat geval is f(A) begrensd als en slechts als f een begrensde functie is. Zo wordt met elke zelftoegevoegde operator waarvan het (altijd reële) spectrum langs boven begrensd is, een eenparameter-halfgroep van operatoren geassocieerd:

\mathbb{R}\to\mathcal{B}(H):t\mapsto\exp(tA)