Questions tagged [differential-galois-theory]

Filter by
Sorted by
Tagged with
5
votes
2answers
304 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 \\ $....
3
votes
1answer
232 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 ...
2
votes
1answer
125 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 ...
8
votes
1answer
232 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 ...
0
votes
1answer
327 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' \...
8
votes
0answers
585 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-...
15
votes
2answers
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$....