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.

Solvability <strong>of</strong> Equations 237<br />

Every one <strong>of</strong> the functions <strong>and</strong> can be obta<strong>in</strong>ed<br />

from the others by quadratures. It follows that none <strong>of</strong> the <strong>in</strong>tegrals<br />

<strong>and</strong> can be expressed <strong>in</strong> terms <strong>of</strong> s<strong>in</strong>gle-valued by means<br />

<strong>of</strong> generalized quadratures, compositions, <strong>and</strong> meromorphic operations.<br />

In the follow<strong>in</strong>g section we will generalize the example above, f<strong>in</strong>d<strong>in</strong>g<br />

all polygons, bounded by arcs <strong>of</strong> circles, to which the upper semi-plane<br />

can be sent by functions representable by generalized quadratures.<br />

A.10 Mapp<strong>in</strong>g <strong>of</strong> the semi-plane to a<br />

polygon bounded by arcs <strong>of</strong> circles<br />

A.10.1 Application <strong>of</strong> the symmetry pr<strong>in</strong>ciple<br />

In the complex plane consider a polygon G bounded by arcs <strong>of</strong> circles. By<br />

Riemann’s <strong>theorem</strong>, there exists a function send<strong>in</strong>g the upper semiplane<br />

to polygon the G. This mapp<strong>in</strong>g was studied by Riemann, Schwarz,<br />

Christ<strong>of</strong>fel, Kle<strong>in</strong>, <strong>and</strong> others (cf., for example, [11]). Let us recall some<br />

classical results which will be useful.<br />

Denote by the pre-image <strong>of</strong> the set <strong>of</strong> the vertices <strong>of</strong> the<br />

polygon G under the mapp<strong>in</strong>g by H(G) the group <strong>of</strong> conformal transformations<br />

<strong>of</strong> the sphere generated by the <strong>in</strong>versions with respect to the<br />

sides <strong>of</strong> the polygon, <strong>and</strong> by L(G) the subgroup <strong>of</strong> homographic mapp<strong>in</strong>gs<br />

(the quotient <strong>of</strong> two l<strong>in</strong>ear functions). L(G) is a subgroup <strong>of</strong> <strong>in</strong>dex 2 <strong>of</strong><br />

the group H(G). From the Riemann–Schwarz symmetry pr<strong>in</strong>ciple one<br />

obta<strong>in</strong>s the follow<strong>in</strong>g results.<br />

PROPOSITION.<br />

1) The function can be meromorphically cont<strong>in</strong>ued along any<br />

curve avoid<strong>in</strong>g the set B.<br />

2) All germs <strong>of</strong> the multi-valued functions <strong>in</strong> a non-s<strong>in</strong>gular po<strong>in</strong>t<br />

are obta<strong>in</strong>ed by apply<strong>in</strong>g to a given germ the group L(G)<br />

<strong>of</strong> homographic mapp<strong>in</strong>gs.<br />

3) The monodromy group <strong>of</strong> the function is isomorphic to the<br />

group L(G).<br />

4) The s<strong>in</strong>gularities <strong>of</strong> the function are <strong>of</strong> the follow<strong>in</strong>g types at<br />

the po<strong>in</strong>ts If at the vertex <strong>of</strong> the polygon G that corresponds

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

Saved successfully!

Ooh no, something went wrong!