Abelsk integral

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2017-12)
Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan.

En abelsk integral är en (komplex) integral av formen

z 0 z R ( x , w ) d x , {\displaystyle \int _{z_{0}}^{z}R(x,w)\,dx,}

där R ( x , w ) {\displaystyle R(x,w)} är en rationell funktion (dvs. en kvot av två polynom) och w {\displaystyle w} är en algebraisk funktion av x {\displaystyle x} [1]. Detta betyder att x {\displaystyle x} och w {\displaystyle w} uppfyller en polynomekvation, säg F ( x , w ) = 0 {\displaystyle F(x,w)=0} . Även om ekvationen som relaterar x {\displaystyle x} och w {\displaystyle w} inte kan lösas explicit, definierar den enligt implicita funktionssatsen w = w ( x ) {\displaystyle w=w(x)} som funktion av x {\displaystyle x} , i vart fall lokalt. Ett mer symmetriskt (och geometriskt) synsätt är att x {\displaystyle x} och w {\displaystyle w} båda är reguljära funtioner på den algebraiska kurva som definieras av ekvationen F ( x , w ) = 0 {\displaystyle F(x,w)=0} . Härvid är det naturligt att anta att polynomet F {\displaystyle F} är irreducibelt.

Exempel

Om F ( x , w ) = x 2 + w 2 1 {\displaystyle F(x,w)=x^{2}+w^{2}-1} kan ekvationen lösas explicit i termer av kvadratrötter:

w = ± 1 x 2 , {\displaystyle w=\pm {\sqrt {1-x^{2}}},}

och man erhåller integraler av formen

z 0 z R ( x , 1 x 2 ) d x , {\displaystyle \int _{z_{0}}^{z}R(x,{\sqrt {1-x^{2}}})\,dx,}

exempelvis

0 z d x 1 x 2 = arcsin z . {\displaystyle \int _{0}^{z}{\frac {dx}{\sqrt {1-x^{2}}}}=\arcsin z.}

Redan i detta enkla fall framgår att abelska integraler i allmänhet är flervärda funktioner: sinusfunktionen är inte injektiv och har därför ingen invers i strikt bemärkelse. Integralens värde beror alltså inte bara på integrationsgränserna utan även på integrationsvägen. Ett likartat men mer avancerat exempel är elliptiska integraler:

0 z 1 k 2 x 2 ( 1 x 2 ) ( 1 k 2 x 2 ) d x , {\displaystyle \int _{0}^{z}{\frac {1-k^{2}x^{2}}{\sqrt {(1-x^{2})(1-k^{2}x^{2})}}}\,dx,}

vilka först undersöktes i samband med försök att beräkna ellipsens båglängd.

Referenser

  • Waldschmidt et al., (ed.) From Number Theory to Physics, Springer 1992, ISBN 978-0387533421
  • Griffiths, Philip och Harris, Joseph: Principles of Algebraic Geometry, John Wiley & Sons, New York 1978
  • Lang, Serge: Introduction to Algebraic and Abelian Functions, Springer 2011 (andra upplagan), ISBN 0-387-90710-6

Noter

  1. ^ Bost, Jean-Benoît: Introduction to Compact Riemann Surfaces, Jacobians, and Abelian Varieties, kapitel 2 i Waldschmidt et al., ISBN 978-0387533421