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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

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

THEOREM 2. The class <strong>of</strong> all <strong>in</strong> hav<strong>in</strong>g an almost soluble<br />

monodromy pair is closed with respect to the operations <strong>of</strong> <strong>in</strong>tegration,<br />

differentiation, <strong>and</strong> solution <strong>of</strong> algebraic equations. Moreover, this class<br />

is closed with respect to the composition with the <strong>of</strong> variables<br />

hav<strong>in</strong>g an almost soluble monodromy pair.<br />

RESULT ON GENERALIZED QUADRATURES. The monodromy pair <strong>of</strong> a<br />

germ <strong>of</strong> a function representable by generalized quadratures, is almost<br />

soluble. Moreover, the monodromy pair <strong>of</strong> every germ <strong>of</strong> a function<br />

representable <strong>in</strong> terms <strong>of</strong> the germs <strong>of</strong> s<strong>in</strong>gle-valued hav<strong>in</strong>g an<br />

analytic set <strong>of</strong> s<strong>in</strong>gular po<strong>in</strong>ts by means <strong>of</strong> <strong>in</strong>tegrations, differentiations,<br />

compositions, <strong>and</strong> <strong>solutions</strong> <strong>of</strong> algebraic equations is also almost soluble.<br />

A.16 Topological obstruction for the<br />

solvability <strong>of</strong> the holonomic systems<br />

<strong>of</strong> l<strong>in</strong>ear differential equations<br />

A.16.1 The monodromy group <strong>of</strong> a holonomic<br />

system <strong>of</strong> l<strong>in</strong>ear differential equations<br />

Consider a holonomic system <strong>of</strong> N differential equations<br />

where is the unknown function, <strong>and</strong> the coefficients are rational<br />

functions <strong>of</strong> the complex variables<br />

One knows that for any holonomic system there exists a s<strong>in</strong>gular algebraic<br />

surface <strong>in</strong> the space that have the follow<strong>in</strong>g properties. Every<br />

solution <strong>of</strong> the system can be analytically cont<strong>in</strong>ued along an arbitrary<br />

curve avoid<strong>in</strong>g the hypersurface Let V be the f<strong>in</strong>ite-dimensional space<br />

<strong>of</strong> the <strong>solutions</strong> <strong>of</strong> a holonomic system near a po<strong>in</strong>t which lies outside<br />

the hypersurface Consider an arbitrary curve <strong>in</strong> the space<br />

with the <strong>in</strong>itial po<strong>in</strong>t not cross<strong>in</strong>g the hypersurface The <strong>solutions</strong><br />

<strong>of</strong> the system can be analytically cont<strong>in</strong>ued along the curve rema<strong>in</strong><strong>in</strong>g<br />

<strong>solutions</strong> <strong>of</strong> the system. Consequently to every curve <strong>of</strong> this type<br />

there corresponds a l<strong>in</strong>ear transformation <strong>of</strong> the space <strong>of</strong> <strong>solutions</strong> V<br />

<strong>in</strong> itself. The totality <strong>of</strong> the l<strong>in</strong>ear transformations correspond<strong>in</strong>g to

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

Saved successfully!

Ooh no, something went wrong!