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.

252 Appendix by Khovanskii<br />

choice: the germs <strong>of</strong> the basic functions are the germs <strong>of</strong> the constant<br />

functions (at every po<strong>in</strong>t <strong>of</strong> the space the allowed operations are the<br />

arithmetic operations, the <strong>in</strong>tegration, <strong>and</strong> rais<strong>in</strong>g to the power <strong>of</strong> the<br />

<strong>in</strong>tegral.<br />

2) The class <strong>of</strong> germs <strong>of</strong> functions <strong>in</strong> representable by generalized<br />

quadratures (over the field <strong>of</strong> the constants) is def<strong>in</strong>ed by the follow<strong>in</strong>g<br />

choice: the germs <strong>of</strong> the basic functions are the germs <strong>of</strong> the constant<br />

functions (at every po<strong>in</strong>t <strong>of</strong> the space the allowed operations are<br />

the arithmetic operations, the <strong>in</strong>tegration, the rais<strong>in</strong>g to the power <strong>of</strong> the<br />

<strong>in</strong>tegral, <strong>and</strong> the solution <strong>of</strong> algebraic equations.<br />

Notice that the above def<strong>in</strong>itions can be translated almost literally<br />

<strong>in</strong> the case <strong>of</strong> abstract differential fields, provided with commutative<br />

differentiation operations In such a generalized form<br />

these def<strong>in</strong>itions are owed to Kolch<strong>in</strong>.<br />

Now consider the class <strong>of</strong> the germs <strong>of</strong> functions representable by<br />

quadratures <strong>and</strong> by generalized quadratures <strong>in</strong> the spaces <strong>of</strong> any dimension<br />

Repeat<strong>in</strong>g the Liouville argument (cf., Theorem 1 <strong>in</strong><br />

§A.2), it is not difficult to prove that the class <strong>of</strong> the germs <strong>of</strong> functions <strong>of</strong><br />

several variables representable by quadratures <strong>and</strong> by generalized quadratures<br />

conta<strong>in</strong>s the germs <strong>of</strong> the rational functions <strong>of</strong> several variables <strong>and</strong><br />

the germs <strong>of</strong> all elementary basic functions; these classes <strong>of</strong> germs are<br />

closed with respect to the composition. (The closure with respect to the<br />

composition <strong>of</strong> a class <strong>of</strong> germs <strong>of</strong> functions representable by quadratures<br />

means the follow<strong>in</strong>g: if are germs <strong>of</strong> functions representable by<br />

quadratures at a po<strong>in</strong>t <strong>and</strong> is a germ <strong>of</strong> a function representable<br />

by quadratures at the po<strong>in</strong>t where then<br />

the germ at the po<strong>in</strong>t is the germ <strong>of</strong> a function<br />

representable by quadratures).<br />

A.14<br />

Does there exist a class <strong>of</strong> germs <strong>of</strong> functions <strong>of</strong> several variables sufficiently<br />

wide (conta<strong>in</strong><strong>in</strong>g the germs <strong>of</strong> functions representable by generalized<br />

quadratures, the germs <strong>of</strong> entire functions <strong>of</strong> several variables <strong>and</strong><br />

closed with respect to the natural operations such as the composition)<br />

for which the monodromy group is def<strong>in</strong>ed? In this section we def<strong>in</strong>e the<br />

class <strong>of</strong> <strong>and</strong> we state the <strong>theorem</strong> about the closure <strong>of</strong> this class<br />

with respect to the natural operations: this gives an affirmative answer to

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

Saved successfully!

Ooh no, something went wrong!