Pólus (komplex analízis)

A komplex analízisben egy meromorf függvény pólusa olyan szingularitás, ami hasonlóan viselkedik, mint szingularitása nullában. A pólusok környékén a függvény egyenletesen a végtelenbe tart.

A gammafüggvény abszolútértéke. Az ábra azt mutatja, hogy végtelenné válik a negatív egész helyeken. A pozitív tartományon nincsenek pólusok, csak gyorsan nő a függvény

DefinícióSzerkesztés

Legyen U nyílt komplex részhalmaz, p eleme U-nak, és f holomorf f : U \ {p} → C függvény. Ha van egy g : UC függvény, amire g(p) különbözik nullától, és egy n pozitív egész, hogy a z elemre az U \ {p} halmazban

 ,

akkor p az f pólusa, és a legkisebb alkalmas n pozitív egész a pólus rendje. Az 1 rendű pólust egyszerű pólusnak is nevezik.

Néhány szerző megengedi, hogy a pólus rendje nulla legyen, ami vagy reguláris pont, vagy megszüntethető szingularitás. Azonban megszokottabb, hogy a pólus rendjét pozitívnak értelmezzék.

Ekvivalens jellemzésekSzerkesztés

A definícióból levezethetők ekvivalens jellemzések:

Ha a p pólus rendje n, akkor szükséges, hogy g(p) ≠ 0 legyen a fenti kifejezésben. Így elvégezhetjük az

 

helyettesítést, ahol h holomorf p egy nyitott környezetében, és n rendű nullhelye van p-ben. Ezért mondhatjuk, hogy a pólusok a nullhelyek reciprokai.

Továbbá, mivel g holomorf, azért f kifejezhető, mint

 

Ez Laurent-sor, aminek főrésze véges. Az   holomorf függvény az f reguláris része. Így p-nek n-edrendű pólusa ott van, ahol a Laurent-sor −n-nél kisebb fokú tagjainak együtthatója nulla, és a −n fokúé nem.

Pólus a végtelenbenSzerkesztés

Egy komplex függvénynek a végtelenben is lehet pólusa. Ekkor az U halmaz a végtelen egy környezete, például a sík egy körén kívül eső része. A fenti definíció használatához szükség van arra, hogy értelmezzük egy függvény holomorf voltát a végtelenben.

Egy alternatív definíció adható, ha a végtelent véges pontba képezzük. Kényelmes az   választás, mivel a pólusok olyanok, mintha -n rendű nullhelyek lennének. Ekkor értelmezhetjük f viselkedését a végtelenben, mint reciprokának viselkedését a nullában. Tehát, ha holomorf a nullában, és nem nulla, akkor az ertedeti függvény holomorf a végtelenben. Ha itt n-szeres nullhelye van, akkor az eredetinek n-szeres pólusa van végtelenben.

PéldákSzerkesztés

 
Komplex polinom pólusa a végtelenben. Az ábra kilenc rendű pólust mutat
  • Az
 
függvénynek egyszeres pólusa van a   helyen.
  • Az
 
függvénynek 2-szeres pólusa van a   helyen és egy 3-szoros pólusa a   helyen.
  • A
 
függvénynek egyszeres pólusai vannak a  . Ehhez írjuk fel   Taylor-sorát a nulla körül.
  • Az
 
függvénynek elsőrendű pólusa van a végtelenben.

Terminológia és általánosításokSzerkesztés

Ahol egy f függvény első deriváltjának pólusa van, ott f-nek elágazási pontja van. Ennek megfordítása nem igaz.

Egy nem megszüntethető szingularitás, ami nem pólus vagy elágazási pont, az lényeges szingularitás.

Egy komplex függvény meromorf, ha holomorf mindenütt, kivéve néhány elszigetelt szingularitását, ami legfeljebb pólus.

ForrásokSzerkesztés

FordításSzerkesztés

Ez a szócikk részben vagy egészben a Pole (complex analysis) című angol Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel.