Editing Differential Galois theory

{{Use American English|date = January 2019}}
{{Short description|Study of Galois symmetry groups of differential fields}}
{{Refimprove| date = January 2023}}
In mathematics, '''differential Galois theory''' is the field that studies extensions of [[differential field]]s.

Whereas algebraic [[Galois theory]] studies extensions of [[field (mathematics)|algebraic fields]], differential Galois theory studies extensions of [[differential field]]s, i.e. fields that are equipped with a [[derivation (abstract algebra)|derivation]], ''D''. Much of the theory of differential Galois theory is parallel to algebraic Galois theory. One difference between the two constructions is that the Galois groups in differential Galois theory tend to be matrix [[Lie group]]s, as compared with the finite groups often encountered in algebraic Galois theory.

== Motivation and basic concepts ==
In [[mathematics]], some types of [[elementary function]]s cannot express the [[indefinite integral]]s of other elementary functions. A well-known example is <math>e^{-x^2}</math>, whose indefinite integral is the [[error function]] <math>\operatorname{erf}x</math>, familiar in [[statistics]]. Other examples include the [[sinc function]] <math>\tfrac{\sin x}{x}</math> and <math>x^x</math>.

It's important to note that the concept of elementary functions is merely conventional. If we redefine elementary functions to include the error function, then under this definition, the indefinite integral of <math>e^{-x^2}</math> would be considered an elementary function. However, no matter how many functions are added to the definition of elementary functions, there will always be functions whose indefinite integrals are not elementary.

Using the theory of '''differential Galois theory''' , it is possible to determine which indefinite integrals of elementary functions cannot be expressed as elementary functions. Differential Galois theory is based on the framework of [[Galois theory]]. While algebraic Galois theory studies [[field extension]]s of [[field (mathematics)|field]]s, differential Galois theory studies extensions of '''[[differential field]]s'''—fields with a '''[[derivation (differential algebra)|derivation]]''' ''D''.

Most of differential Galois theory is analogous to algebraic Galois theory. The significant difference in the structure is that the Galois group in differential Galois theory is an [[algebraic group]], whereas in algebraic Galois theory, it is a [[profinite group]] equipped with the [[Krull topology]].

== Definition ==
For any differential field ''F'' with derivation ''D'', there exists a subfield called the '''field of constants''' of ''F'', defined as:
: Con(''F'') = {''f'' ∈ ''F'' | ''Df'' = 0}.
The field of constants contains the prime field of ''F''.

Given two differential fields ''F'' and ''G'', ''G'' is called a simple differential extension of ''F'' if
<ref>
''G'' is a simple differential extension of ''F'' if for some element ''t'', ''G'' = ''F''<''t''> := ''F''(''t'', ''Dt'', ''D''(''Dt''), …).
</ref>
and satisfies
: ∃''s''∈''F''; ''Dt'' = ''Ds''/''s'',
then ''G'' is called a '''logarithmic extension''' of ''F''.

This has the form of a logarithmic derivative. Intuitively, ''t'' can be thought of as the logarithm of some element ''s'' in ''F'', corresponding to the usual chain rule. ''F'' does not necessarily have a uniquely defined logarithm. Various logarithmic extensions of ''F'' can be considered. Similarly, an '''exponential extension'''  satisfies
: ∃''s''∈''F''; ''Dt'' = ''tDs'',
and a '''differential extension''' satisfies
: ∃''s''∈''F''; ''Dt'' = ''s''.
A differential extension or exponential extension becomes a Picard-Vessiot extension when the field has characteristic zero and the constant fields of the extended fields match.

Keeping the above caveat in mind, this element can be regarded as the exponential of an element ''s'' in ''F''. Finally, if there is a finite sequence of intermediate fields from ''F'' to ''G'' with Con(''F'') = Con(''G''), such that each extension in the sequence is either a finite algebraic extension, a logarithmic extension, or an exponential extension, then ''G'' is called an '''elementary differential extension''' .

Consider the homogeneous [[linear differential equation]] for <math>a_1, \cdots , a_n \in F</math>:
: <math>D^{n}y + a_{1}D^{n-1}y + \cdots + a_{n-1}Dy + a_{n}y = 0</math>　…　(1).
There exist at most ''n'' linearly independent solutions over the field of constants. An extension ''G'' of ''F'' is a '''Picard-Vessiot extension''' for the differential equation (1) if ''G'' is generated by all solutions of (1) and satisfies Con(''F'') = Con(''G'').

An extension ''G'' of ''F'' is a '''Liouville extension'''  if Con(''F'') = Con(''G'') is an algebraically closed field, and there exists an increasing chain of subfields
: ''F'' = ''F''<sub>0</sub> ⊂ ''F''<sub>1</sub> ⊂ … ⊂ ''F''<sub>n</sub> = ''G''
such that each extension ''F''<sub>''k''+1</sub> : ''F<sub>k</sub>'' is either a finite algebraic extension, a differential extension, or an exponential extension. A Liouville extension of the rational function field '''C'''(''x'') consists of functions obtained by finite combinations of rational functions, exponential functions, roots of algebraic equations, and their indefinite integrals. Clearly, logarithmic functions, trigonometric functions, and their inverses are Liouville functions over '''C'''(''x''), and especially elementary differential extensions are Liouville extensions.

An example of a function that is contained in an elementary extension over '''C'''(''x'') but not in a Liouville extension is the indefinite integral of <math>e^{-x^2}</math>.

== Basic properties ==
For a differential field ''F'', if ''G'' is a separable algebraic extension of ''F'', the derivation of ''F'' uniquely extends to a derivation of ''G''. Hence, ''G'' uniquely inherits the differential structure of ''F''.

Suppose ''F'' and ''G'' are differential fields satisfying Con(''F'') = Con(''G''), and ''G'' is an elementary differential extension of ''F''. Let ''a'' ∈ ''F'' and ''y'' ∈ ''G'' such that ''Dy'' = ''a'' (i.e., ''G'' contains the indefinite integral of ''a''). Then there exist ''c''<sub>1</sub>, …, ''c''<sub>''n''</sub> ∈ Con(''F'') and ''u''<sub>1</sub>, …, ''u''<sub>''n''</sub>, ''v'' ∈ ''F'' such that
: <math>a = c_1\frac{Du_1}{u_1} + \dotsb + c_n\frac{Du_n}{u_n} + Dv</math>
(Liouville's theorem). In other words, only functions whose indefinite integrals are elementary (i.e., at worst contained within the elementary differential extension of ''F'') have the form stated in the theorem. Intuitively, only elementary indefinite integrals can be expressed as the sum of a finite number of logarithms of simple functions.

If ''G''/''F'' is a Picard-Vessiot extension, then ''G'' being a Liouville extension of ''F'' is equivalent to the differential Galois group having a solvable identity component.<ref>
The connected component containing the identity of an algebraic group is called the identity component. It forms a normal subgroup.
</ref> Furthermore, ''G'' being a Liouville extension of ''F'' is equivalent to ''G'' being embeddable in some Liouville extension field of ''F''.

== Examples ==
* The field of rational functions of one complex variable '''C'''(''x'') becomes a differential field when taking the usual differentiation with respect to the variable ''x'' as the derivation. The field of constants of this field is the complex number field '''C'''.

* By [[Liouville's theorem (differential algebra)|Liouville's theorem]] mentioned above, if ''f''(''z'') and ''g''(''z'') are rational functions in ''z'', ''f''(''z'') is non-zero, and ''g''(''z'') is non-constant, then <math>\textstyle \int f(z)e^{g(z)} \, dz</math> is an elementary function if and only if there exists a rational function ''h''(''z'') such that <math>f(z) = h'(z) + h(z)g'(z)\,</math>. The fact that the [[error function]] and the [[sine integral]] (indefinite integral of the [[sinc function]]) cannot be expressed as elementary functions follows immediately from this property.
  
* In the case of the differential equation <math>y'' + y = 0</math>, the Galois group is the multiplicative group of complex numbers with absolute value 1, also known as the [[circle group]]. This is an example of a solvable group, and indeed, the solutions to this differential equation are elementary functions (trigonometric functions in this case).
  
* The differential Galois group of the [[Airy equation]], <math>y'' - xy = 0</math>, over the complex numbers is the [[special linear group]] of degree two, SL(2,C). This group is not solvable, indicating that its solutions cannot be expressed using elementary functions. Instead, the solutions are known as Airy functions.

== Applications ==
Differential Galois theory has numerous applications in mathematics and physics. It is used, for instance, in determining whether a given differential equation can be solved by quadrature (integration). It also has applications in the study of dynamic systems, including the integrability of Hamiltonian systems in classical mechanics.

One significant application is the analysis of integrability conditions for differential equations, which has implications in the study of symmetries and conservation laws in physics.

== See also ==
* [[Picard–Vessiot theory]]

== References ==
{{reference list}}

== Sources ==
* Kolchin, E. R., ''Differential Algebra and Algebraic Groups'', Academic Press, 1973.
*{{Cite journal|last1=Hubbard|first1=John H.|last2=Lundell|first2=Benjamin E.|date=2011|title=A First Look at Differential Algebra|jstor=10.4169/amer.math.monthly.118.03.245|journal=The American Mathematical Monthly|volume=118|issue=3|pages=245–261|doi=10.4169/amer.math.monthly.118.03.245|s2cid=1567399 |url=http://www.math.cornell.edu/~hubbard/diffalg1.pdf}}
*{{Citation | last1=Bertrand | first1=D. | title=Review of "Lectures on differential Galois theory" | url=https://www.ams.org/bull/1996-33-02/S0273-0979-96-00652-0/S0273-0979-96-00652-0.pdf | year=1996 | journal=[[Bulletin of the American Mathematical Society]] | issn=0002-9904 | volume=33 | issue=2|doi=10.1090/s0273-0979-96-00652-0 | doi-access=free }}
*{{citation | last=Beukers | first=Frits | chapter=8. Differential Galois theory | editor1-last=Waldschmidt | editor1-first=Michel | editor2-last=Moussa | editor2-first=Pierre | editor3-last=Luck | editor3-first=Jean-Marc | editor4-last=Itzykson | editor4-first=Claude  | title=From number theory to physics. Lectures of a meeting on number theory and physics held at the Centre de Physique, Les Houches (France), March 7–16, 1989 | location=Berlin | publisher=[[Springer-Verlag]] | pages=413–439 | year=1992 | isbn=3-540-53342-7 | zbl=0813.12001 }}
*{{Citation | authorlink=Andy Magid | last1=Magid | first1=Andy R. | title=Lectures on differential Galois theory | url=https://books.google.com/books?id=cJ9vByhPqQ8C | publisher=[[American Mathematical Society]] | location=Providence, R.I. | series=University Lecture Series | isbn=978-0-8218-7004-4 | mr=1301076 | year=1994 | volume=7}}
*{{Citation | last1=Magid | first1=Andy R. | title=Differential Galois theory | url=https://www.ams.org/notices/199909/fea-magid.pdf | mr=1710665 | year=1999 | journal=[[Notices of the American Mathematical Society]] | issn=0002-9920 | volume=46 | issue=9 | pages=1041–1049}}
*{{Citation | last1=van der Put | first1=Marius | last2=Singer | first2=Michael F. | title=Galois theory of linear differential equations | url=http://www4.ncsu.edu/~singer/ms_papers.html | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] | isbn=978-3-540-44228-8 | mr=1960772 | year=2003 | volume=328}}
* Juan J. Morales Ruiz : Differential Galois Theory and Non-Integrability of Hamiltonian Systems, Birkhaeuser, 1999, ISBN 978-3764360788 . 


[[Category:Galois theory]]
[[Category:Differential algebra]]
[[Category:Differential equations]]
[[Category:Algebraic groups]]