Elliptisk integral

Inom integralkalkylen uppstod behovet av elliptiska integraler i samband med problemet att beräkna längden av en elliptisk båge. De studerades först av Giulio Fagnano och Leonhard Euler. Den moderna matematiken definierar en elliptisk integral som varje funktion Mall:Math som kan skrivas på formen

$f(x)=\underset{c}{\overset{x}{\int }}R(t,\sqrt{P(t)})dt,$

där Mall:Math är en rationell funktion med två argument, Mall:Math är ett polynom av grad 3 eller 4 utan multipla rötter och Mall:Math är en konstant.

Integraler av denna form, kan i allmänhet inte uttryckas med elementära funktioner. Undantag från denna regel förekommer när Mall:Math har multipla rötter, eller när Mall:Math inte innehåller udda potenser av Mall:Math. Emellertid, med lämplig integrationsmetod, kan varje elliptisk integral överföras till en form innefattande integraler över rationella funktioner och de tre kanoniska Legendreformerna (det vill säga, elliptiska integraler av första, andra och tredje slaget).

Historiskt sett upptäcktes elliptiska funktioner som inversa funktioner till elliptiska integraler.

Fullständiga elliptiska integralen av första slaget

Mall:Math definieras som

$K(k)=\underset{0}{\overset{\pi /2}{\int }}\frac{d\theta }{\sqrt{1-k^2{\sin }^2\theta }}=\underset{0}{\overset{1}{\int }}\frac{dt}{\sqrt{(1-t^2)(1-k^2{t}^2)}},$

och kan skrivas med fullständiga elliptiska integralen av första slaget som

$K(k)=F(\frac{\pi }{2},k)=F(\frac{\pi }{2}|k^2)=F(1;k).$

Den kan uttryckas som potensserien

$K(k)=\frac{\pi }{2}\sum _{n=0}^{\mathrm{\infty }}{\left[\frac{(2n)!}{2^{2n}(n!{)}^2}\right]}^2{k}^{2n}$

Med hjälp av Gauss hypergeometriska funktion kan den skrivas som

$K(k)=\frac{\pi }{2}{}_2{F}_1(\frac{1}{2},\frac{1}{2};1;k^2).$

Det effektivaste beräkningssättet är att utnyttja relationen till det aritmetisk-geometriska medelvärdet:

$K(k)=\frac{\pi /2}{\mathrm{a}\mathrm{g}\mathrm{m}(1-k,1+k)}.$

Speciella värden

$K(0)=\frac{\pi }{2}$

$K\left(\frac{\sqrt{2}}{2}\right)=\frac{1}{4\sqrt{\pi }}\mathrm{\Gamma }(\frac{1}{4}{)}^2$

$K(\frac{1}{4}(\sqrt{6}-\sqrt{2}))=2^{-\frac{7}{3}}{3}^{\frac{1}{4}}{\pi }^{-1}\mathrm{\Gamma }(\frac{1}{3}{)}^3$

$K(\frac{1}{4}(\sqrt{6}+\sqrt{2}))=2^{-\frac{7}{3}}{3}^{\frac{3}{4}}{\pi }^{-1}\mathrm{\Gamma }(\frac{1}{3}{)}^3$

$K\left(2\sqrt{-4-3\sqrt{2}}\right)=\frac{(2-\sqrt{2}){\pi }^{\frac{3}{2}}}{4\mathrm{\Gamma }{\left(\frac{3}{4}\right)}^2}$

Relation till Jacobis θ-funktion

Relationen till Jacobis tehtafunktion ges av

$K(k)=\frac{\pi }{2}{\theta }_3^2(q),$

där q ges av $q(k)=\exp (-\pi \frac{K^{\prime }(k)}{K(k)}).$

Asymptotiska uttryck

$K(k)\approx \frac{\pi }{2}+\frac{\pi }{8}\frac{k^2}{1-k^2}-\frac{\pi }{16}\frac{k^4}{1-k^2}$

Derivata och differentialekvation

$\frac{\mathrm{d}K(k)}{\mathrm{d}k}=\frac{E(k)}{k(1-k^2)}-\frac{K(k)}{k}$

$\frac{\mathrm{d}}{\mathrm{d}k}[k(1-k^2)\frac{\mathrm{d}K(k)}{\mathrm{d}k}]=kK(k)$

En annan lösning ges av $K(\sqrt{1-k^2}).$

Externa länkar

• Mall:Commonscat