Mathematics Stack Exchange
Mathematics Stack Exchange

Questions tagged [differential-algebra]

Differential algebra is the study of differential rings and fields and related structures.

In mathematics, differential rings, differential fields, and differential algebras are rings, fields, and algebras equipped with finitely many derivations, which are unary functions that are linear and satisfy the Leibniz product rule. Differential algebra refers then to the area of mathematics consisting in the study of these algebraic objects and their use for an algebraic study of the differential equations.

One of the main objects of differential algebra is the algebra of differential polynomials $\mathscr{F}(Y_1,\ldots, Y_n)$, which is the analogue of the ring of polynomials in commutative algebra.

111 questions
340
votes
7 answers

How can you prove that a function has no closed form integral?

In the past, I've come across statements along the lines of "function $f(x)$ has no closed form integral", which I assume means that there is no combination of the operations: addition/subtraction multiplication/division raising to powers and…
Simon Nickerson
  • 5,341
  • 3
  • 21
  • 29
20
votes
1 answer

Why isn't differential Galois theory widely used?

Ellis Kolchin developed differential Galois theory in the 1950s. It seems to be a powerful tool that can decide the solvability and the form of the solutions to a given differential equation. Why isn't differential Galois theory widely used in…
Henry.L
  • 860
  • 8
  • 19
15
votes
1 answer

Prerequisites for Differential Galois theory

I would like to know the prerequisites for Differential Galois theory. I have taken Rings, Fields, Groups, Galois theory, and Algebraic Geometry + Commutative Algebra. Looking at the wikipedia page, I have never studied Lie groups. Is it at all…
Islands
  • 742
  • 5
  • 15
11
votes
0 answers

Is there a solvable differential equation with a nonsolvable lie group of symmetries?

For a polynomial equation in one variable over $\mathbb{Q}$, it is well known that the equation is solvable by radicals if and only if the equation's Galois group (which is a finite group) is solvable. The 'only if' part is important - we need it to…
roymend
  • 354
  • 2
  • 11
10
votes
1 answer

Theorem: Anti-differentiation is harder than differentiation

The question of why anti-differentiation is "harder" than differentiation was the topic of an earlier question, and some of the answers are interesting, but I'm not sure they fully answer it, and this question will not be exactly the same. Someone…
Michael Hardy
  • 1
  • 30
  • 276
  • 565
9
votes
3 answers

Inconsistencies in the definition of derivative of a polynomial over a field

A problem I came across defines a particular differentiation operator $D$ over the set of polynomials $\{P\}$ over a field $F$ with "the normal formula; that is $D(\sum_{i=0}^n a_nx^i) = \sum_{i=1}^n na_nx^{i-1}$." However, there seem to be some…
CJ Dowd
  • 642
  • 3
  • 13
9
votes
4 answers

Differential algebra and differential-algebraic equations

Could you give me some information about differential algebra? What is it about? Differential-algebraic equations (DAEs) are polynomials with complex coefficients and the unknown variables are $z, x, x'$. Is this correct? What is the difference…
Mary Star
  • 12,214
  • 10
  • 47
  • 149
8
votes
0 answers

Intuition of Liouville's Theorem (differential algebra) Proof

At the end of my abstract algebra class this spring, we were given an overview of differential algebra and some differential Galois theory. We went too fast to prove anything nontrivial, but I found Liouville's theorem on elementary antiderivatives…
JFox
  • 330
  • 1
  • 9
8
votes
1 answer

Proof that the solutions are algebraic functions

I am looking at the following: $$$$ $$$$ I haven't really understood the proof... Why do we consider the differential equation $y'=P(x)y$ ? Why does the sentence: "If $(3)_{\mathfrak{p}}$ has a solution in…
Mary Star
  • 12,214
  • 10
  • 47
  • 149
7
votes
1 answer

Can anyone show an example of going through Liouville's differential algebra theorem?

WARNING: This is long and layman-like, you may have a difficult time withstanding reading this if you consider yourself a seasoned mathematician. At one point I came across Liouville's theorem of differential algebra, but I don't understand the…
StackQuest
  • 451
  • 7
7
votes
1 answer

Can we find a simple basis for the cokernel of this derivation?

Let $K$ be a field of characteristic zero. Let $R$ be the $K$-algebra $K[x_0,x_1,\ldots]$ of polynomials in countably infinitely many variables. Consider the $K$-linear derivation $\delta:R\to R$ following the Leibniz rule $\delta(ab)=\delta(a)\cdot…
Jyrki Lahtonen
  • 123,594
  • 24
  • 249
  • 599
6
votes
1 answer

Are all solutions to an ordinary differential equation continuous solutions to the corresponding implied differential equation and vice versa?

Regarding the duplicate. Yes, I know the other one has a lot of shared text, but those were just definitions/setup and I was being lazy. The core questions are still different unless you believe derivatives are weak derivatives in which case you…
user64742
  • 2,167
  • 4
  • 25
  • 53
5
votes
0 answers

derivations of the ring of germs of $C^{\infty}$ functions

Let $\mathcal{O}_{\mathbb{R},0}$ be the ring of germs of $C^{\infty}$ funcitons on the real line. A derivation of $\mathcal{O}_{\mathbb{R},0}$ is a $\mathbb{R}$-linear map $\partial:\mathcal{O}_{\mathbb{R},0}\to\mathcal{O}_{\mathbb{R},0}$ that…
DobryZiom
  • 83
  • 5
5
votes
0 answers

Linear Approximations from Differential Algebras

Suppose we have a differential ring $(R,+,\cdot)$ with derivation $\partial: R\to R$ which is linear $$\partial(f+g)=\partial f+\partial g$$ and obeys the Leibniz rule: $$\partial(f\cdot g)=(\partial f) \cdot g + f\cdot (\partial g)$$ and we…
Sean D
  • 109
  • 9
5
votes
1 answer

Is the Antiderivative of an Elementary Function Being Nonelementary Generic?

Many elementary functions, like $e^{-x^2}$ and $\frac{\sin(x)}{x}$ have antiderivatives that are are nonelementary; is this property generic? That is, does the set of all elementary functions whose antiderivatives are nonelementary form residual (or…
Jeffrey Rolland
  • 649
  • 3
  • 13
1
2 3 4 5 6 7 8