Machtreeks

Uit Wikipedia, de vrije encyclopedie
Naar navigatie springen Naar zoeken springen

In de wiskunde is een machtreeks (in één variabele) een reeks van de vorm

Daarin heet het (complexe) getal de coëfficiënt van de -de macht van de variabele. Een machtreeks is een complexwaardige functie in de variabele . Een voorbeeld van een machtreeks is de maclaurin-reeks.

Meer algemeen is een machtreeks gecentreerd rondom een (complex) getal een reeks van de volgende vorm:

De complexe waarden van waar de machtreeks absoluut convergeert, vormen:

  1. de gehele verzameling van de complexe getallen, , of
  2. het singleton {0}, of
  3. een open cirkelschijf rondom 0.

De convergentiestraal van de machtreeks is de straal van de open cirkelschijf (oneindig in geval 1, nul in geval 2). In geval 1 representeert de machtreeks een gehele functie.

Taylorreeksen[bewerken]

Elke holomorfe functie kan voor elk punt in het domein geschreven worden in de vorm van een machtreeks rond . Deze machtreeks is de taylorreeks van :

Hierbij is de -de afgeleide van de functie

De convergentiestraal van een taylorreeks is de afstand van tot het dichtstbijzijnde punt zodanig dat het domein niet zo kan worden uitgebreid dat het dit punt bevat terwijl de functie nog steeds holomorf is (analytische voortzetting), dus het dichtstbijzijnde punt waarbij een singulariteit van de functie onvermijdelijk is, dus waar een pool of essentiële singulariteit is.

Voorbeelden[bewerken]

Meetkundige reeks[bewerken]

Als alle coëfficiënten in een machtreeks gelijk zijn aan 1, krijgt men een meetkundige reeks

Deze is absoluut convergent dan en slechts dan als de absolute waarde van strikt kleiner is dan 1. Voor gewone convergentie geldt hetzelfde, het convergentiegebied is een open cirkelschijf om 0 met straal 1. De som van de reeks is daar

Deze functie is meer algemeen, voor , te schrijven als machtreeks om :

Deze is convergent voor . De convergentiecirkel gaat dus steeds door de singulariteit .

Deze meetkundige reeksen zijn de taylorreeksen van de functie .

Complexe singulariteiten[bewerken]

De functie is analytisch als functie op de reële rechte. Haar taylorreeks heeft echter convergentiestraal 1 omdat er singulariteiten liggen bij de imaginaire getallen en .

Analytisch als reële vs. complexe functie[bewerken]

Van de reëelwaardige functie van reële getallen

voor en

zijn alle afgeleiden nul voor Deze functie is echter als complexe functie op een complexe omgeving van 0 niet differentieerbaar (zelfs niet continu) in 0, en heeft dus geen taylorreeks. De taylorreeks van de eerstgenoemde functie is constant 0, en dus niet gelijk aan die functie.

Zie ook[bewerken]