Questions tagged [differential-algebra]
The differential-algebra tag has no usage guidance.
15 questions with no upvoted or accepted answers
12
votes
0
answers
114
views
When could a diligent calculus student compute all Picard iterates algebraically?
As is well known, in the typical proof of the Picard–Lindelöf theorem, one shows the existence of a solution of the initial value problem $y'(t) = f(t,y(t))$, $y(t_0) = y_0$ by considering the Picard ...
- 13k
11
votes
0
answers
300
views
Can every "not-too-big" differential field be thought of as actually consisting of functions?
Previously asked and bountied at MSE without success:
Let $\sim$ denote the "no-disagreement" relation between partial functions: $f\sim g$ iff there is no $x$ such that $f(x)$ and $g(x)$ ...
- 20.5k
7
votes
0
answers
191
views
How can Gröbner bases be generalized to differential algebra?
I'm aware of the Rosenfeld-Gröbner algorithm "for computing a regular decomposition of a radical differential ideal generated by a set of polynomial differential equations, ordinary or with ...
- 415
7
votes
0
answers
291
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 ...
- 2,751
6
votes
0
answers
867
views
How to extend Ritt's theorem on elementary invertible bijective elementary functions?
The elementary functions according to Liouville and Ritt are the functions of a complex variable built up by applying exponentiation, logarithms and/or algebraic operations finitely often. That means, ...
- 1,053
5
votes
0
answers
99
views
Differential equations analogue of fundamental theorem of symmetric functions
In Gian-Carlo Rota's article "Ten Lessons I Wish I Had Learned Before I Started Teaching Differential Equations", at the end of the third lesson he states a theorem:
"Every differential ...
- 226
4
votes
0
answers
81
views
Reference request, or maybe not really a reference request, on differential algebra
Of differential algebra, Gian-Carlo Rota wrote:
No elementary presentation of this beautiful subject has ever been attempted, to the best of my knowledge; Cohen’s book of the twenties is the closest, ...
4
votes
0
answers
356
views
Jet Nestruev's proof that the exterior derivative $d$ on a real line is not a Kähler differential $d_{C^\infty(\mathbb{R})/\mathbb{R}}$
The relation between the exterior derivative $d:C^\infty(\mathbb{R})\to\Omega^1\mathbb(\mathbb{R})$ and the Kähler differential $d_{C^\infty(\mathbb{R})/\mathbb{R}}:C^\infty(\mathbb{R})\to\Omega_{C^\...
- 1,615
3
votes
0
answers
97
views
Can the differential field of d.c.e. reals be nicely construed as a field of functions?
This question is basically a special case of this older question of mine, which is still unanswered.
Let $\mathcal{D}$ be the field of d.c.e. reals; these turn out to be exactly the reals $\alpha$ for ...
- 20.5k
3
votes
0
answers
204
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, $\...
- 2,751
2
votes
0
answers
213
views
Open problems in differential algebra and affine algebraic geometry
I am currently doing a PhD in differential algebra and affine algebraic geometry at the University of Buenos Aires. I've been struggling to find a list of interesting and big open problems in these ...
2
votes
0
answers
36
views
Is there an extension of the Kovacic algorithm to handle algebraic coefficients?
Kovacic's algorithm solves second-order linear homogeneous differential equations with rational function coefficients.
I'm wondering if anybody has extended this algorithm to handle algebraic ...
- 415
2
votes
0
answers
193
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,751
1
vote
0
answers
1k
views
Are all solutions to an ordinary differential equation continuous solutions to the associated implied differential equation and vice versa?
Now I have to heavily emphasize the fact that I have never studied differential algebra or the concept of other types of differentiation (which is what I believe is the concept behind a differential ...
- 111
1
vote
0
answers
142
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 $\...
- 11