05.01.2013 Views

Abel's theorem in problems and solutions - School of Mathematics

Abel's theorem in problems and solutions - School of Mathematics

Abel's theorem in problems and solutions - School of Mathematics

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.

244 Appendix by Khovanskii<br />

Let us analyze the case <strong>in</strong> which the group H(G) is f<strong>in</strong>ite <strong>and</strong> soluble.<br />

This happens if <strong>and</strong> only if the polygon G is sent by a homographic transformation<br />

to a polygon whose sides lie on a net <strong>of</strong> great circles different<br />

from that <strong>of</strong> the dodecahedron–icosahedron. In this case the group L(G)<br />

is soluble, <strong>and</strong> the function <strong>in</strong> expressed <strong>in</strong> terms <strong>of</strong> rational functions<br />

by means <strong>of</strong> arithmetic operations <strong>and</strong> <strong>of</strong> radicals (cf., §A.8).<br />

From our results a <strong>theorem</strong> follows:<br />

THEOREM ON THE POLYGONS BOUNDED BY OF ARCS OF CIRCLES<br />

([6],[8],[10]). For an arbitrary polygon G not belong<strong>in</strong>g to the three cases<br />

<strong>of</strong> <strong>in</strong>tegrability above, the function not only is not representable by<br />

generalized quadratures, but it cannot be expressed <strong>in</strong> terms <strong>of</strong> s<strong>in</strong>glevalued<br />

by means <strong>of</strong> generalized quadratures, compositions, <strong>and</strong><br />

meromorphic operations.<br />

A.11 Topological obstructions for the<br />

solvability <strong>of</strong> differential equations<br />

A.11.1 The monodromy group <strong>of</strong> a l<strong>in</strong>ear<br />

differential equation <strong>and</strong> its relation<br />

with the Galois group<br />

Consider the l<strong>in</strong>ear differential equation<br />

where the are rational functions <strong>of</strong> the complex variable The poles<br />

<strong>of</strong> the functions <strong>and</strong> are called the s<strong>in</strong>gular po<strong>in</strong>ts <strong>of</strong> the equation<br />

(A.14).<br />

Near a non-s<strong>in</strong>gular po<strong>in</strong>t the <strong>solutions</strong> <strong>of</strong> the equations form a<br />

space <strong>of</strong> dimension Consider now an arbitrary curve on the<br />

complex plane, beg<strong>in</strong>n<strong>in</strong>g at <strong>and</strong> end<strong>in</strong>g at the po<strong>in</strong>t <strong>and</strong> avoid<strong>in</strong>g<br />

the s<strong>in</strong>gular po<strong>in</strong>ts The <strong>solutions</strong> <strong>of</strong> the equation can be analytically<br />

cont<strong>in</strong>ued along the curve, rema<strong>in</strong><strong>in</strong>g <strong>solutions</strong> <strong>of</strong> the equation. Hence to<br />

every curve there corresponds a l<strong>in</strong>ear mapp<strong>in</strong>g <strong>of</strong> the space <strong>of</strong><br />

the <strong>solutions</strong> at the po<strong>in</strong>t <strong>in</strong> the space <strong>of</strong> the <strong>solutions</strong> at the po<strong>in</strong>t<br />

If one changes the curve avoid<strong>in</strong>g the s<strong>in</strong>gular po<strong>in</strong>ts <strong>and</strong> leav<strong>in</strong>g its<br />

ends fixed, the mapp<strong>in</strong>g does not vary. Hence to a closed curve there

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

Saved successfully!

Ooh no, something went wrong!