05.01.2013 Views

RePoSS #11: The Mathematics of Niels Henrik Abel: Continuation ...

RePoSS #11: The Mathematics of Niels Henrik Abel: Continuation ...

RePoSS #11: The Mathematics of Niels Henrik Abel: Continuation ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

324 Chapter 17. Steps in the process <strong>of</strong> coming to “know” elliptic functions<br />

and he claimed and proved that the right hand side was “<strong>of</strong> the form v<br />

2n+1 ”. In the<br />

process, ABEL made use <strong>of</strong> the result that<br />

φ (α) = α + Aα 3 + . . .<br />

because φ was an odd function and φ ′ (0) = f (0) F (0) = 1.<br />

ABEL’S next step concerned the sum <strong>of</strong> θ. He found that<br />

and therefore, for each m,<br />

∞<br />

∑ (−1)<br />

µ=n<br />

µ θ (m, µ) = v<br />

2n + 1<br />

n−1<br />

∑ (−1)<br />

µ=0<br />

µ ψ (m, µ) =<br />

When he summed these, ABEL found<br />

n−1 n−1<br />

∑ ∑ (−1)<br />

m=0 µ=0<br />

m+µ n−1<br />

ψ (m, µ) = ∑ (−1)<br />

m=0<br />

m<br />

and, as ABEL wrote,<br />

n−1<br />

∑<br />

m=0<br />

vm<br />

2n + 1<br />

∞<br />

∑ (−1)<br />

µ=0<br />

µ θ (m, µ) + vm<br />

2n + 1 .<br />

�<br />

∞<br />

∑ (−1)<br />

µ=0<br />

µ �<br />

n−1<br />

θ (m, µ) + ∑<br />

m=0<br />

= nv<br />

2n + 1<br />

= v<br />

2 ,<br />

vm<br />

2n + 1<br />

in which “v is a quantity which has zero for its limit”. 3 Consequently, ABEL had found<br />

a way <strong>of</strong> expressing φ (α) as a double infinite sum, e.g.<br />

φ (α) = 1<br />

ec<br />

∞<br />

∑<br />

∞<br />

∑ (−1) m+µ<br />

�<br />

(2µ+1) ¯ω<br />

m=0 µ=0<br />

(α−(m+ 1 2)ω) 2 +(µ+ 1 2) 2 −<br />

¯ω 2<br />

(2µ+1) ¯ω<br />

(α+(m+ 1 2)ω) 2 +(µ+ 1 2) 2 ¯ω 2<br />

�<br />

.<br />

(17.5)<br />

ABEL did not stop after having obtained the expansion in infinite series (17.5).<br />

Instead, he used similar methods to search for expressions for φ (α) involving infinite<br />

products. ABEL also invested an effort in obtaining expressions involving only one<br />

infinite series and transcendental objects in the terms. Among the formulae which he<br />

obtained, the following was probably the simplest:<br />

φ (α) = 2<br />

∞<br />

π<br />

ec ¯ω ∑ (−1)<br />

k=0<br />

k ε2k+1 − ε−(2k+1) r2k+1 − r−(2k+1) where<br />

�<br />

ε = exp α π<br />

�<br />

�<br />

ωπ<br />

�<br />

and r = exp .<br />

¯ω<br />

2 ¯ω<br />

Thus, as described, ABEL used his multiplication formulae to obtain rather simple<br />

infinite representations for elliptic functions. When he passed to the infinite limit, his<br />

arguments did not conform to the strict standards <strong>of</strong> rigor, which he had advocated<br />

in the theory <strong>of</strong> series. Further perspectives on ABEL’S motivations for searching for<br />

infinite expressions and his methods <strong>of</strong> obtaining them are described and discussed<br />

in the subsequent sections.<br />

3 (N. H. <strong>Abel</strong>, 1827b, 161).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!