"Differential Galois theory"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
27번째 줄: 27번째 줄:
  
 
* basic functions : basic elementary functions
 
* basic functions : basic elementary functions
* allowed operatrions : compositions, arithmetic operations differentiation, integration
+
* allowed operatrions : compositions, arithmetic operations, differentiation, integration
* an elliptic integral is representable by quadrature
+
*  examples<br>
 +
** an elliptic integral is representable by quadrature
  
 
 
 
 
75번째 줄: 76번째 줄:
 
<h5>Fuchsian differential equation</h5>
 
<h5>Fuchsian differential equation</h5>
  
* regular singularity
+
* differential equation with regular singularities
 
*  indicial equation<br><math>x(x-1)+px+q=0</math><br>
 
*  indicial equation<br><math>x(x-1)+px+q=0</math><br>
 
 
 
  
 
theorem
 
theorem
100번째 줄: 99번째 줄:
 
 
 
 
  
<br>
+
 
 +
 
 +
<h5 class="r">related items</h5>
 +
 
 +
* [[Class Field Theory]]<br>
 +
* [[number fields and threefolds]]<br>
 +
 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">encyclopedia</h5>
 +
 
 +
* http://ko.wikipedia.org/wiki/
 +
* http://en.wikipedia.org/wiki/Differential_Galois_theory
 +
* http://en.wikipedia.org/wiki/Homotopy_lifting_property
 +
* http://en.wikipedia.org/wiki/covering_space
 +
* http://en.wikipedia.org/wiki/Field_extension
 +
 
 +
 
 +
 
 +
 
  
<h5>관련논문</h5>
+
<h5 class="r">articles</h5>
  
 
* [http://www.jstor.org/stable/2154053 Liouvillian First Integrals of Differential Equations]<br>
 
* [http://www.jstor.org/stable/2154053 Liouvillian First Integrals of Differential Equations]<br>
109번째 줄: 131번째 줄:
 
 
 
 
  
<h5>표준적인 도서 및 추천도서</h5>
+
 
 +
 
 +
<h5>books</h5>
  
 
*  Group Theory and Differential Equations<br>
 
*  Group Theory and Differential Equations<br>
123번째 줄: 147번째 줄:
 
* http://gigapedia.info/1/differntial+algebra
 
* http://gigapedia.info/1/differntial+algebra
 
* http://gigapedia.info/1/
 
* http://gigapedia.info/1/
* http://www.amazon.com/s/ref=nb_ss_gw?url=search-alias%3Dstripbooks&field-keywords=
+
*  
  
 
 
 
 
129번째 줄: 153번째 줄:
 
 
 
 
  
<h5>참고할만한 자료</h5>
+
* <br>
 +
 
 +
 
  
* http://ko.wikipedia.org/wiki/
 
* http://en.wikipedia.org/wiki/Differential_Galois_theory
 
* http://en.wikipedia.org/wiki/Homotopy_lifting_property
 
* http://en.wikipedia.org/wiki/covering_space
 
* http://en.wikipedia.org/wiki/Field_extension
 
 
*
 
*

2010년 8월 11일 (수) 08:24 판

  • differential galois theory
  • Liouville 

 

 

historical origin
  • integration in finite terms
  • quadrature of second order differential equation (Fuchsian differential equation)

 

 

differential field
  •  

 

 

solvable by quadratures
  • basic functions : basic elementary functions
  • allowed operatrions : compositions, arithmetic operations, differentiation, integration
  • examples
    • an elliptic integral is representable by quadrature

 

 

elementary extension
  • using exponential and logarithm
  • elementary element

 

 

Liouville extension
  • we can adjoin integrals and exponentials of integrals + algbraic extension
  • an element is said to be representable by a generalized quadrature

 

 

Picard-Vessiot extension
  • framework for linear differential equation
  • made by including solutions of DE to the base field (e.g. rational function field)
  • this corresponds to the concept of the splitting fields
  • we can define a Galois group for a linear differential equation.
  • examples
    • algebraic extension
    • adjoining an integral
    • adjoining the exponential of an integral

 

theorem

If a Picard-Vessiot extension is a Liouville extension, then the Galois group of this extension is solvable.

 

 

Fuchsian differential equation
  • differential equation with regular singularities
  • indicial equation
    \(x(x-1)+px+q=0\)

theorem

A Fuchsian linear differential equation is solvable by quadratures if and only if the monodromy group of this equation is solvable.

 

 

 

solution by quadrature

 

 

related items

 

 

 

encyclopedia

 

 

articles

 

 

books