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.

340 Chapter 18. Tools in ABEL’s research on elliptic transcendentals<br />

<strong>of</strong> J. LIOUVILLE (1809–1882), the theory <strong>of</strong> integration in finite terms established itself<br />

as an independent theory investigated for its own results. In this context, the theory<br />

and ABEL’S contribution to it have been well described in J. LÜTZEN’S biography <strong>of</strong><br />

LIOUVILLE. 21 Referring to LÜTZEN’S description, a presentation <strong>of</strong> ABEL’S argument<br />

and a brief discussion <strong>of</strong> relevant points <strong>of</strong> ABEL’S contribution are included below.<br />

18.2.1 Characterization by continued fractions<br />

In the paper from 1826, 22 ABEL investigated conditions under which the integral<br />

�<br />

ρ dx<br />

√R<br />

(18.5)<br />

could be reduced to the logarithmic expression<br />

log p + q√R p − q √ . (18.6)<br />

R<br />

<strong>The</strong> article first dealt with this question <strong>of</strong> reduction, but as ABEL ultimately noticed,<br />

the answer obtained was actually the answer to a more general question. ABEL noted<br />

that in case the integral (18.5) could be represented by logarithmic functions in any<br />

way, it would always have a representation <strong>of</strong> the form (18.6). ABEL promised a pro<strong>of</strong><br />

<strong>of</strong> this assertion but never published one; it was eventually given by P. L. CHEBYSHEV<br />

(1821–1894). 23<br />

A non-empty class. ABEL found by direct differentiation that for<br />

he would have<br />

Writing dz in the form<br />

dz =<br />

z = log p + q√ R<br />

p − q √ R ,<br />

pq dR + 2 (p dq − q dp) R<br />

.<br />

(p 2 − q 2 R) √ R<br />

M dx<br />

dz =<br />

N √ R with<br />

M = pq dR<br />

�<br />

+ 2 p<br />

dx dq<br />

�<br />

− qdp R and (18.7)<br />

dx dx<br />

N = p 2 − q 2 R, (18.8)<br />

he had thus found that for such values <strong>of</strong> M and N,<br />

� M dx<br />

N √ R = log p + q√ R<br />

p − q √ R .<br />

ABEL concluded:<br />

21 (Lützen, 1990, chapter IX).<br />

22 (N. H. <strong>Abel</strong>, 1826d).<br />

23 (Chebyshev, 1853).

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

Saved successfully!

Ooh no, something went wrong!