The tag has no usage guidance.

learn more… | top users | synonyms

5
votes
1answer
160 views

Levelt-Turrittin Theorem over p-adics (or the monodromy theorem)

Let $V$ be a finite dimensional vector space over $\mathbb{C}((t))$. Let $D:V\rightarrow V$ be a differential operator; i.e., an additive $\mathbb{C}$-linear map satisfying $$ ...
2
votes
0answers
167 views

Factorisation of twisted polynomials

Let $K=\mathbb{C}((t))$ and let $K_m=\mathbb{C}((t^{1/m}))$. let $K\{x\}$ denote the ring of twisted polynomials. The addition in this ring is defined as usual, but the multiplication is adjusted by ...
2
votes
0answers
148 views

Exponential analogue of formal connections

Let $F=\mathbb{C}((t))$. Let $G=GL_n$. Then $G(F)$ acts on $\mathfrak{g}(F)$ by gauge transformation: $$ g.x:=gxg^{-1} + \dot{g}g^{-1},\quad \quad g\in G(F), \quad x\in \mathfrak{g}(F). $$ Here, ...
5
votes
0answers
87 views

Differentially closed fields

Let F be a field. Recall that an additive map $d: F\rightarrow F$ is said to be a derivation if $d(ab)=ad(b)+d(a)b$. Now let $F$ be a ring and let $d$ be a derivation of $F$. Examples I have in mind ...
13
votes
0answers
106 views

Does a theory of stochastic differential algebras exist?

My question is motivated primarily by finance, where a non-technical student will learn how to approach SDEs using the symbolic manipulation of Itô calculus and the few basic rules of Brownian motion, ...
32
votes
2answers
4k 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. ...
12
votes
5answers
1k views

Differential Algebra Book

I'm looking for a couple good textbooks covering differential algebra. I'm a prospective Ph.D. student, and this is potentially applicable to my specialization. As such, I'm not afraid of depth; I've ...
2
votes
0answers
122 views

Logarithms in an algebraic differential field

I have this problem: let $Y_1,\dots,Y_n$ be real analytic functions $\mathbb{R}^+\to\mathbb{R}^+$ such that all the $Y_1,\dots,Y_n$ and all their derivatives are algebraically independent over ...
2
votes
0answers
263 views

Can it be decided whether $\int\root 3 \of{\cos^2(t)}\,dt$ is expressible by elementary functions? [closed]

I would like to decide by methods of Differential Algebra whether the integral $\int\root 3 \of{\cos^2(t)}\,dt$ contrary to the output of CAS Mathematica Online Integrator might be expressible by ...
5
votes
2answers
193 views

Decidability of differential equations

Is there anything well-known about the algorithmic decidability of the satisfiability of an ODE $\dot{x}=f(x)$, $x: [0,1]\to R^n$ with an initial condition $x(0)=x_0$, given that $f(x)$ belongs to ...
0
votes
1answer
248 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' ...
10
votes
2answers
1k views

Solvability in differential Galois theory

It is well known that the function $f(x) = e^{-x^2}$ has no elementary anti-derivative. The proof I know goes as follows: Let $F = \mathbb{C}(X)$. Let $F \subseteq E$ be the Picard-Vessiot extension ...
6
votes
2answers
625 views

Differential ideal membership problem

We know that in the ordinary algebra ideal case, the ideal membership problem can be solved by the Grobner Base theory, then, is there a counterpart theory in the differential ideal case? To be ...
13
votes
2answers
930 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 ...