Questions tagged [differential-galois-theory]
The differential-galois-theory tag has no usage guidance.
17
questions
83
votes
2
answers
19k
views
Why is differential Galois theory not widely used?
E.R. Kolchin has developed the differential Galois theory in 1950s. And it seems powerful a tool which can decide the solvability and the form of solutions to a given differential equation.(e.g. ...
- 7,961
26
votes
2
answers
3k
views
How to prove Lambert's W function is not elementary?
Liouville's theorem gives such a proof for antiderivatives of functions like $e^x/x$ or $e^{x^2}$, and differential Galois theory extends that to Bessel functions, say. But what tools exist for ...
- 3,560
15
votes
2
answers
1k
views
Why do we need admissible isomorphisms for differential Galois theory?
Background: In Kaplansky's Introduction to Differential Algebra, an isomorphism between differential fields $K, L$ is defined to be admissible if $K,L$ are contained in a larger differential field $M$....
- 25.3k
13
votes
0
answers
344
views
What was the "stormy discussion" about differential Galois theory at IHES?
In Kazuo Okamoto and Yousuke Ohyama's paper "Mathematical works of Hiroshi Umemura", Annales de la faculté des sciences de Toulouse Mathématiques, XXIX, no. 5 (2020) pp. 1053-1062, there is ...
- 1,576
8
votes
1
answer
318
views
Differential analogue of the newton polygon
While reading page 543-544 of Heun's differential equations, I came across what appears to be the differential analogue of the Newton polygon method. It reads as follows:
Let us recall the ...
- 347
8
votes
0
answers
713
views
When is the monodromy group of a linear differential equation dense in the Galois group?
Given a system $Y'=A(t)Y$ with only regular singular points, then a theorem of Schlesinger says that the Zariski closure of the monodromy group is equal to the Galois group of the corresponding Picard-...
- 85.1k
7
votes
0
answers
355
views
On the solvability of a nonlinear differential system
A nonlinear formulation of differential Galois theory was discussed here and here for three dimensional nonlinear systems (proof is on pages 6 – 10). For a two dimensional system, the following system ...
- 79
6
votes
2
answers
134
views
Is every parametric function family, expressed as an elemetary function, a solution to an ODE with elementary functions?
When given an ODE of the form $F(x, y, y', \ldots, y^{(n)}) = 0$, where $F$ is an elementary function, chances are that it has no solution of the form $y = G(x, c_1, \ldots, c_n)$, where $G$ is also ...
- 340
6
votes
2
answers
626
views
Non-linear first order ODE $ \frac{\mathrm{d}y}{\mathrm{d}x} = \frac{Axy \ + \ By^2 \ + \ Cy}{Dxy \ + Ey \ +\ Fx \ + G}$
I am trying to solve an ODE which has the following form:
$$ \dfrac{\mathrm{d}y}{\mathrm{d}x} = \frac{Axy \ + \ By^2 \ + \ Cy}{Dxy \ + Ey \ +\ Fx \ + G}$$ with an initial condition $y(x_0) = y_0 \\ $....
- 183
4
votes
1
answer
466
views
Analytic solutions to algebraic differential equation
Dear Colleagues and Friends,
Here I need to find some good reference on a subject that seems very much studied: sorry, if the rest of this question is too naive.
I believe that it's known that if a ...
- 1,236
3
votes
1
answer
200
views
Is there a theory of "elementary closed form solution" at the operator level for differential equations?
We begin by considering the usual general first order linear equation of the form
$$ a_0 y' + a_1 y + a_2 = 0 $$
Where $a_i,y \in \mathbb{C} \rightarrow \mathbb{C}$. Now it's well known from everyone'...
- 2,283
2
votes
1
answer
181
views
On a tower of strongly normal extensions
Where I could see the following statement?
Let $K\subset L\subset M$ be a tower of the strongly normal extensions of differential fields. If $M$ is weakly normal over $K$, then $M$ is strongly ...
- 21
2
votes
1
answer
169
views
Is there work on differential Galois theory and infinite operators?
I'm curious about differential Galois theory and I've noticed that everything I read covers only finite order operators (e.g. $L = Y^n + a_{n-1} Y^{n-1} + \dots + a_0 Y$). Has there been any work on ...
- 21
1
vote
0
answers
93
views
The asymptotic growth of codimension of range of polynomial differential equation on finite fields
Inspired by the seminal paper of Andre Weil on the number of solutions of equations on finite fields we would like to present the following question:
Let $P(x,y), Q(x,y)$ be two polynomials of ...
- 312
1
vote
0
answers
116
views
About writing solutions of linear ODE's: Is this statement correct?
A motivating example: Consider the Hypergeometric equation
$$z(1-z) \frac{d^2y}{dz^2}+(c-(a+b+1)z) \frac{dy}{dz}-aby=0,$$
it has a solution given by the Gauss's Hypergeometric function
$$_2F_1(a,b;c;z)...
- 480
0
votes
1
answer
104
views
Why the Riccati equation $\frac{\mathrm{d} y}{\mathrm{d} x} =ax^{m}+by^{2}$ has an elementary solution "only" when $m=0$, $m=-2$, $m=4k/(2k\pm 1)$?
The special form of Riccati equation
$$
\frac{\mathrm{d} y}{\mathrm{d} x} =ax^{m}+by^{2}
$$ has been proved that it is solvable if and only if $m=0$, $m=-2$, $m=4k/(2k\pm 1)$.
The sufficiency is ...
- 9
0
votes
1
answer
458
views
algebraic extensions of (differential) function fields
Let $K$ be a differential field with algebraically closed constant field $C$ (Think $K=\mathbb{C}(x)$ here). I am looking for an example of a simple algebraic extension $L = K[t]$, such, that $t' \...
- 103