View source for Differential algebra

{{Short description|Algebraic study of differential equations}}
{{about|algebraic study of differential equations|the concept in homological algebra|Differential graded algebra}}

In [[mathematics]], '''differential algebra''' is, broadly speaking, the area of mathematics consisting in the study of [[differential equation]]s and [[differential operators]] as [[algebra|algebraic objects]] in view of deriving properties of differential equations and operators without computing the solutions,  similarly as [[polynomial algebra]]s are used for the study of [[algebraic varieties]], which are solution sets of [[systems of polynomial equations]]. [[Weyl algebra]]s and [[Lie algebra]]s may be considered as belonging to differential algebra.

More specifically, ''differential algebra'' refers  to the theory introduced by [[Joseph Ritt]] in 1950, in which '''differential rings''', '''differential fields''', and '''differential algebras''' are [[ring (mathematics)|rings]], [[field (mathematics)|fields]], and [[algebra over a field|algebras]] equipped with finitely many [[derivation (differential algebra)|derivations]].{{sfn|Kolchin|1973|ps=none}}{{sfn|Ritt|1950|ps=none}}{{sfn|Kaplansky|1976|ps=none}}

A natural example of a differential field is the field of [[rational function]]s in one variable over the [[complex number]]s, <math>\mathbb{C}(t),</math> where the derivation is differentiation with respect to <math>t.</math> More generally, every differential equation may be viewed as an element of a differential algebra over the differential field generated by the (known) functions appearing in the equation.

== History ==
[[Joseph Ritt]] developed differential algebra because he viewed attempts to reduce systems of differential equations to various canonical forms as an unsatisfactory approach.  However, the success of algebraic elimination methods and algebraic manifold theory motivated Ritt to consider a similar approach for differential equations.{{sfn|Ritt|1932|pp=iii–iv|ps=none}}  His efforts led to an initial paper <em>Manifolds Of Functions Defined By Systems Of Algebraic Differential Equations</em> and 2 books, <em>Differential Equations From The Algebraic Standpoint</em> and <em>Differential Algebra</em>.{{sfn|Ritt|1930|ps=none}}{{sfn|Ritt|1932|ps=none}}{{sfn|Ritt|1950|ps=none}}  [[Ellis Kolchin]], Ritt's student, advanced this field and published <em>Differential Algebra And Algebraic Groups</em>.{{sfn|Kolchin|1973|ps=none}}

== Differential rings ==
=== Definition ===

A <em>[[Derivation (differential algebra)|derivation]]</em> <math display="inline"> \partial </math> on a ring <math display="inline"> R </math> is a [[function (mathematics)|function]]
<math>\partial : R \to R\,</math>
such that 
<math display=block>\partial(r_1 + r_2) = \partial r_1 + \partial r_2</math>
and
: <math>\partial(r_1 r_2) = (\partial r_1) r_2 + r_1 (\partial r_2)\quad</math> ([[product rule|Leibniz product rule]]),
for every <math>r_1</math> and <math>r_2</math> in <math>R.</math>

A derivation is [[linear map|linear]] over the integers since these identities imply <math>\partial (0)=\partial (1) = 0</math> and <math>\partial (-r)=-\partial (r).</math>

A ''differential ring'' is a [[commutative ring]] <math>R</math> equipped with one or more derivations that commute pairwise; that is, <math  display=block>\partial_1(\partial_2 (r))=\partial_2(\partial_1 (r))</math> for every pair of derivations and every <math>r\in R.</math>{{sfn|Kolchin|1973|pp=58–59|ps=none}} When there is only one derivation one talks often of an <em>ordinary differential ring</em>; otherwise, one talks of a <em>partial differential ring.</em>

A ''differential field'' is a differential ring that is also a field. A ''differential algebra'' <math>A</math> over a differential field <math>K</math> is a differential ring that contains <math>K</math> as a subring such that the restriction to <math>K</math> of the derivations of <math>A</math> equal the derivations of <math>K.</math> (A more general definition is given below, which covers the case where <math>K</math> is not a field, and is essentially equivalent when <math>K</math> is a field.)

A ''Witt algebra'' is a differential ring that contains the field <math>\Q</math> of the rational numbers. Equivalently, this is a differential algebra over <math>\Q,</math> since <math>\Q</math> can be considered as a differential field on which every derivation is the [[zero function]].

The <em>constants</em> of a differential ring are the elements <math>r</math> such that <math>\partial r=0</math> for every derivation <math>\partial.</math> The constants of a differential ring form a [[subring]] and the constants of a differentiable field form a subfield.{{sfn|Kolchin|1973|pp=58–60|ps=none}} This meaning of "constant" generalizes the concept of a [[constant function]], and must not be confused with the common meaning of a [[constant (mathematics)|constant]].

=== Basic formulas ===
In the following [[identity (mathematics)|identities]], <math>\delta</math> is a derivation of a differential ring <math>R.</math>{{sfn|Bronstein|2005|p=76|ps=none}}
* If <math>r\in R</math> and <math>c</math> is a constant in <math>R</math> (that is, <math>\delta c=0</math>), then <math display =block> \delta (c r)= c \delta (r).</math>
* If <math>r\in R</math> and <math>u</math> is a [[Unit (ring theory)|unit]] in <math>R,</math> then  <math display =block> \delta \left( \frac{r}{u} \right)= \frac{\delta (r) u - r \delta (u)}{u^{2}}</math>
* If <math>n</math> is a nonnegative integer and <math>r\in R</math> then <math display =block> \delta (r^{n})= n r^{n-1} \delta (r) </math>
* If <math>u_1, \ldots, u_n</math> are units in <math>R,</math> and <math>e_1, \ldots, e_n</math> are integers, one has the <em>[[logarithmic derivative]] identity:</em> <math display =block> \frac{\delta (u_{1}^{e_{1}} \ldots u_{n}^{e_{n}})}{u_{1}^{e_{1}} \ldots u_{n}^{e_{n}}} = e_{1} \frac{\delta( u_{1} ) }{u_{1}} + \dots + e_{n} \frac{\delta( u_{n} ) }{u_{n}}. </math>

=== Higher-order derivations ===
A <em>derivation operator</em> or <em>higher-order derivation</em>{{citation needed|reason=It is unclear what is the common name in the literature|date=March 2023}} is the [[function composition|composition]] of several derivations. As the derivations of a differential ring are supposed to commute, the order of the derivations does not matter, and a derivation operator may be written as
<math display= block> \delta_1^{e_1} \circ \cdots \circ \delta_n^{e_n},</math>
where <math>\delta_1, \ldots, \delta_n</math> are the derivations under consideration, <math>e_1, \ldots, e_n</math> are nonnegative integers, and the  exponent of a derivation denotes the number of times this derivation is composed in the operator.

The sum <math>o=e_1+ \cdots +e_n</math> is called the ''order'' of derivation. If <math>o=1</math> the derivation operator is one of the original derivations. If <math>o=0</math>, one has the [[identity function]], which is generally considered as the unique derivation operator of order zero. With these conventions, the derivation operators form a [[free commutative monoid]] on the set of derivations  under consideration.

A ''derivative'' of an element <math>x</math> of a differential ring is the application of a derivation operator to <math>x,</math> that is, with the above notation, <math>\delta_1^{e_1} \circ \cdots \circ \delta_n^{e_n}(x).</math> A <em>proper derivative</em> is a derivative of positive order.{{sfn|Kolchin|1973|pp=58–59|ps=none}}

=== Differential ideals ===
A <em>[[differential ideal]]</em> <math>I</math> of a differential ring <math>R</math> is an [[ideal (ring theory)|ideal]] of the ring <math>R</math> that is [[Closure (mathematics)|closed]] (stable) under the derivations of the ring; that is, <math display="inline"> \partial x\in I,</math> for every derivation <math>\partial</math> and every <math>x\in I.</math> A differential ideal is said to be <em>proper</em> if it is not the whole ring. For avoiding confusion, an ideal that is not a differential ideal is sometimes called an ''algebraic ideal''.

The <em>radical</em> of a differential ideal is the same as its [[radical of an ideal|radical]] as an algebraic ideal, that is, the set of the ring elements that have a power in the ideal. The radical of a differential ideal is also a differential ideal. A ''radical'' or ''perfect'' differential ideal is a differential ideal that equals its radical.{{sfn|Sit|2002|pp=3–4|ps=none}} A prime differential ideal is a differential ideal that is [[prime ideal|prime]] in the usual sense; that is, if a product belongs to the ideal, at least one of the factors belongs to the ideal. A prime differential ideal is always a radical differential ideal.

A discovery of Ritt is that, although the classical theory of algebraic ideals does not work for differential ideals, a large part of it can be extended to radical differential ideals, and  this makes them fundamental in differential algebra.

The intersection of any family of differential ideals is a differential ideal, and the intersection of any family of radical differential ideals is a radical differential ideal.{{sfn|Kolchin|1973|pp=61–62|ps=none}}
It follows that, given a subset <math>S</math> of a differential ring, there are three ideals generated by it, which are the intersections of, respectively, all algebraic ideals, all differential ideals, and all radical differential ideals that contain it.{{sfn|Kolchin|1973|pp=61–62|ps=none}}{{sfn|Buium|1994|p=21|ps=none}}

The algebraic ideal generated by <math>S</math> is the set of finite linear combinations of elements of <math>S,</math> and is commonly denoted as <math>(S)</math> or <math>\langle S \rangle.</math>

The differential ideal generated by <math>S</math> is the set of the finite linear combinations of elements of <math>S</math> and of the derivatives of any order of these elements; it is commonly denoted as <math>[S].</math> When <math>S</math> is finite, <math>[S]</math> is generally not [[finitely generated ideal|finitely generated]] as an algebraic ideal.

The radical differential ideal generated by <math>S</math> is commonly denoted as <math>\{S\}.</math> There is no known way to characterize its element in a similar way as for the two other cases.

== Differential polynomials ==
A differential polynomial over a differential field <math>K</math> is a formalization of the concept of [[differential equation]] such that the known functions appearing in the equation belong to <math>K,</math> and the indeterminates are symbols for the unknown functions.

So, let <math>K</math> be a differential field, which is typically (but not necessarily) a field of [[rational fraction]]s <math>K(X)=K(x_1,\ldots ,x_n)</math> (fractions of multivariate polynomials), equipped with derivations  <math>\partial_i</math> such that <math>\partial_i x_i=1</math> and <math>\partial_i x_j=0</math> if <math>i\neq j</math> (the usual partial derivatives).

For defining the ring <math display="inline"> K \{ Y \}= K \{ y_1, \ldots, y_n \}</math> of differential polynomials over <math>K</math> with indeterminates in <math>Y=\{y_1,\ldots, y_n\}</math> with derivations <math>\partial_1, \ldots, \partial_n,</math> one introduces an infinity of new indeterminates of the form <math>\Delta y_i,</math> where <math>\Delta</math> is any derivation operator of order higher than {{math|1}}. With this notation, <math>K \{ Y \}</math> is the set of polynomials in all these indeterminates, with the natural derivations (each polynomial involves only a finite number of indeterminates). In particular, if <math>n=1,</math> one has
: <math>K\{y\}=K\left[y, \partial y, \partial^2 y, \partial^3 y, \ldots\right].</math>

Even when <math>n=1,</math> a ring of differential polynomials is not [[Noetherian ring|Noetherian]]. This makes the theory of this generalization of polynomial rings difficult. However, two facts allow such a generalization.

Firstly, a finite number of differential polynomials involves together a finite number of indeterminates. Its follows that every property of polynomials that involves a finite number of polynomials remains true for differential polynomials. In particular, [[greatest common divisor]]s exist, and a ring of differential polynomials is a [[unique factorization domain]].

The second fact is that, if the field <math>K</math> contains the field of rational numbers, the rings of differential polynomials over <math>K</math> satisfy the [[ascending chain condition]] on radical differential ideals. This Ritt’s theorem is implied by its generalization, sometimes called the <em>Ritt-Raudenbush basis theorem</em> which asserts that if <math>R</math> is a <em>Ritt Algebra</em> (that, is a differential ring containing the field of rational numbers),{{sfn|Kaplansky|1976|p=12|ps=none}} that satisfies the ascending chain condition on radical differential ideals, then the ring of differential polynomials <math>R\{y\}</math> satisfies the same property (one passes from the univariate to the multivariate case by applying the theorem iteratively).{{sfn|Kaplansky|1976|pp=45,48,56–57|ps=none}}{{sfn|Kolchin|1973|pp=126–129|ps=none}}

This Noetherian property implies that, in a ring of differential polynomials, every radical differential ideal {{mvar|I}} is finitely generated as a radical differential ideal; this means that there exists a finite set {{mvar|S}} of differential polynomials such that {{mvar|I}} is the smallest radical differential ideal containing {{mvar|S}}.{{sfn|Marker|2000|ps=none}} This allows representing a radical differential ideal by such a finite set of generators, and computing with these ideals. However, some usual computations of the algebraic case cannot be extended. In particular no algorithm is known for testing membership of an element in a radical differential ideal or the equality of two radical differential ideals.

Another consequence of the Noetherian property is that a radical differential ideal can be uniquely expressed as the intersection of a finite number of prime differential ideals, called <em>essential prime components</em> of the ideal.{{sfn|Hubert|2002|p=8|ps=none}} <!--

An <em>algebraically independent</em> differential field <math display="inline"> \mathcal{F} \{ Y \} </math> is a differential field with a non-vanishing [[Wronskian | Wronskian determinant]].{{sfn|Bronstein|2005|p=79|ps=none}}

<em>Special</em> and <em>normal</em> polynomials have distinct [[Polynomial greatest common divisor|greatest common divisors]] (gcd) for the polynomial and its derivative.  All irreducible polynomials are special or normal with respect to a derivation; special polynomials may generate a differential ideal while normal polynomials are [[Square-free polynomial | squarefree]].  The definitions are:{{sfn|Bronstein|2005|pp=92–93|ps=none}}
* <em>Normal</em> polynomial <math>p</math>: <math> \ gcd(p,\delta(p))=1</math>.
* <em>Special</em> polynomial <math>q</math>: <math> \ gcd(q,\delta(q))=q</math>.
 -->

== Elimination methods ==
<em>[[Elimination theory|Elimination methods]]</em> are algorithms that preferentially eliminate a specified set of derivatives from a set of differential equations, commonly done to better understand and solve sets of differential equations.

Categories of elimination methods include <em>[[Wu's method of characteristic set|characteristic set]] methods</em>, differential [[Gröbner basis|Gröbner bases]] methods and [[resultant]] based methods.{{sfn|Kolchin|1973|ps=none}}{{sfn|Li|Yuan|2019|ps=none}}{{sfn|Boulier|Lazard|Ollivier|Petitot|1995|ps=none}}{{sfn|Mansfield|1991|ps=none}}{{sfn|Ferro|2005|ps=none}}{{sfn|Chardin|1991|ps=none}}{{sfn|Wu|2005b|ps=none}}

Common operations used in elimination algorithms include 1) ranking derivatives, polynomials, and polynomial sets, 2) identifying a polynomial's leading derivative, initial and separant, 3) polynomial reduction, and 4) creating special polynomial sets.

=== Ranking derivatives ===
The <em>ranking</em> of derivatives is a [[total order]] and an <em>admisible order</em>, defined as:{{sfn|Kolchin|1973|pp=75–76|ps=none}}{{sfn|Gao|Van der Hoeven|Yuan|Zhang|2009|p=1141|ps=none}}{{sfn|Hubert|2002|p=10|ps=none}}
: <math display="inline"> \forall p \in \Theta Y, \ \forall \theta_\mu \in \Theta : \theta_\mu p > p. </math>
: <math display="inline"> \forall p,q \in \Theta Y, \ \forall \theta_\mu \in \Theta : p \ge q \Rightarrow \theta_\mu p \ge \theta_\mu q. </math>

Each derivative has an integer tuple, and a [[monomial order]] ranks the derivative by ranking the derivative's integer tuple.  The integer tuple identifies the differential indeterminate, the derivative's multi-index and may identify the derivative's order.  Types of ranking include:{{sfn|Ferro|Gerdt|2003|p=83|ps=none}} 
* <em>Orderly ranking</em>: <math> \forall y_i, y_j \in Y, \ \forall \theta_\mu, \theta_\nu \in \Theta \ : \ \operatorname{ord}(\theta_\mu) \ge \operatorname{ord}(\theta_\nu) \Rightarrow \theta_\mu y_i \ge \theta_\nu y_j</math>
* <em>Elimination ranking</em>: <math>\forall y_i, y_j \in Y, \ \forall \theta_\mu, \theta_\nu \in \Theta \ : \ y_i \ge y_j \Rightarrow \theta_\mu y_i \ge \theta_\nu y_j</math>

In this example, the integer tuple identifies the differential indeterminate and derivative's multi-index, and [[Lexicographic order|lexicographic monomial order]], <math display="inline"> \ge_\text{lex}</math>, determines the derivative's rank.{{sfn|Wu|2005a|p=4|ps=none}}
: <math>\eta(\delta_1^{e_1} \circ \cdots \circ \delta_n^{e_n}(y_j))= (j, e_1, \ldots, e_n) </math>. 
: <math> \eta(\theta_\mu y_j) \ge_\text{lex} \eta(\theta_\nu y_k) \Rightarrow \theta_\mu y_j \ge \theta_\nu y_k. </math>

=== Leading derivative, initial and separant ===
This is the standard polynomial form: <math> p = a_d \cdot u_p^d+ a_{d-1} \cdot u_p^{d-1} + \cdots +a_1 \cdot u_p+ a_0 </math>.{{sfn|Kolchin|1973|pp=75–76|ps=none}}{{sfn|Wu|2005a|p=4|ps=none}} 
* <em>Leader</em> or <em>leading derivative</em> is the polynomial's highest ranked derivative: <math>u_p</math>. 
* [[Coefficient]]s <math>a_d, \ldots, a_0</math> do not contain the leading derivative <math display="inline">u_p</math>.
* <em>[[Degree of a polynomial|Degree]]</em> of polynomial is the leading derivative's greatest exponent: <math>\deg_{u_p}(p) = d</math>. 
* <em>Initial</em> is the coefficient: <math> I_p=a_d</math>. 
* <em>Rank</em> is the leading derivative raised to the polynomial's degree: <math>u_p^d</math>. 
* <em>[[Differentially closed field|Separant]]</em> is the derivative: <math> S_p= \frac{\partial p}{\partial u_p}</math>.

Separant set is <math>S_A= \{ S_p \mid p \in A \} </math>, initial set is <math>I_A= \{ I_p \mid p \in A \} </math> and combined set is <math display="inline">H_A= S_A \cup I_A </math>.{{sfn|Boulier|Lazard|Ollivier|Petitot|1995|p=159|ps=none}}

=== Reduction ===
<em>Partially reduced</em> (<em>partial normal form</em>) polynomial <math display="inline">q</math> with respect to polynomial <math display="inline">p</math> indicates these polynomials are non-ground field elements, <math display="inline"> p,q \in \mathcal{K} \{ Y \} \setminus \mathcal{K}</math>, and <math>q</math> contains no proper derivative of <math> u_p</math>.{{sfn|Kolchin|1973|p=75|ps=none}}{{sfn|Ferro|Gerdt|2003|p=84|ps=none}}{{sfn|Boulier|Lazard|Ollivier|Petitot|1995|p=159|ps=none}}

Partially reduced polynomial <math display="inline">q</math> with respect to polynomial <math display="inline">p</math> becomes 
<em>reduced</em> (<em>normal form</em>) polynomial <math display="inline">q</math> with respect to <math display="inline">p</math> if the degree of <math display="inline">u_p</math> in <math display="inline">q</math> is less than the degree of <math display="inline">u_{p}</math> in <math display="inline">p</math>.{{sfn|Kolchin|1973|p=75|ps=none}}{{sfn|Ferro|Gerdt|2003|p=84|ps=none}}{{sfn|Boulier|Lazard|Ollivier|Petitot|1995|p=159|ps=none}}

An <em>autoreduced</em> polynomial set has every polynomial reduced with respect to every other polynomial of the set.  Every autoreduced set is finite.  An autoreduced set is <em>[[Triangular decomposition|triangular]]</em> meaning each polynomial element has a distinct leading derivative.{{sfn|Sit|2002|p=6|ps=none}}{{sfn|Kolchin|1973|p=75|ps=none}}

<em>Ritt's reduction algorithm</em> identifies integers <math display="inline">i_{A_{k}}, s_{A_{k}}</math> and transforms a differential polynomial <math display="inline">f</math> using [[Polynomial greatest common divisor|pseudodivision]] to a lower or equally ranked remainder polynomial <math display="inline"> f_{red}</math> that is reduced with respect to the autoreduced polynomial set <math display="inline"> A</math>.  The algorithm's first step partially reduces the input polynomial and the algorithm's second step fully reduces the polynomial.  The formula for reduction is:{{sfn|Kolchin|1973|p=75|ps=none}}
: <math> f_\text{red} \equiv \prod_{A_k \in A} I_{A_k}^{i_{A_k}} \cdot S_{A_k}^{i_{A_k}} \cdot f, \pmod{[A]} \text{  with  } i_{A_k}, s_{A_k} \in \mathbb{N}. </math>

=== Ranking polynomial sets ===
Set <math display="inline">A</math> is a <em>differential chain</em> if the rank of the leading derivatives is <math display="inline">u_{A_{1}} < \dots < u_{A_{m}} </math> and <math display="inline">\forall i, \ A_{i}</math> is reduced with respect to <math display="inline">A_{i+1}</math>{{sfn|Li|Yuan|2019|p=294|ps=none}}

Autoreduced sets <math display="inline">A</math> and <math display="inline">B</math> each contain ranked polynomial elements.  This procedure ranks two autoreduced sets by comparing pairs of identically indexed 
polynomials from both autoreduced sets.{{sfn|Kolchin|1973|p=81|ps=none}} 
* <math>A_1 < \cdots < A_m \in A </math> and <math>B_1 < \cdots < B_n \in B </math> and <math> i,j,k \in \mathbb{N}</math>.
* <math> \text{rank } A < \text{rank } B </math> if there is a <math> k \le \operatorname{minimum}(m,n) </math> such that <math> A_i = B_i</math> for <math display="inline"> 1 \le i < k </math> and <math> A_k < B_k </math>.
* <math> \operatorname{rank} A < \operatorname{rank} B </math> if <math> n < m </math> and <math>A_i = B_i</math> for <math>1 \le i \le n </math>.
* <math> \operatorname{rank} A = \operatorname{rank} B </math> if <math> n = m </math> and <math>A_i = B_i</math> for <math>1 \le i \le n </math>.

=== Polynomial sets ===
A <em>characteristic set</em> <math display="inline">C</math> is the [[Arg max|lowest ranked]] autoreduced subset among all the ideal's autoreduced subsets whose subset polynomial separants are non-members of the ideal <math display="inline">\mathcal{I}</math>.{{sfn|Kolchin|1973|p=82|ps=none}}

The <em>delta polynomial</em> applies to polynomial pair <math display="inline">p,q</math> whose leaders share a common derivative, <math display="inline">\theta_{\alpha} u_{p}= \theta_{\beta} u_{q}</math>.  The least common derivative operator for the polynomial pair's leading derivatives is <math display="inline">\theta_{pq}</math>, and the delta polynomial is:{{sfn|Kolchin|1973|p=136|ps=none}}{{sfn|Boulier|Lazard|Ollivier|Petitot|1995|p=160|ps=none}} 
: <math>\operatorname{\Delta - poly}(p,q)= S_{q} \cdot \frac{\theta_{pq} p}{\theta_{p}} - S_{p} \cdot \frac{\theta_{pq} q}{\theta_{q}} </math>

A <em>coherent set</em> is a polynomial set that reduces its delta polynomial pairs to zero.{{sfn|Kolchin|1973|p=136|ps=none}}{{sfn|Boulier|Lazard|Ollivier|Petitot|1995|p=160|ps=none}}

=== Regular system and regular ideal ===
A <em>regular system</em> <math display="inline">\Omega</math> contains a autoreduced and coherent set of differential equations <math display="inline">A</math> and a inequation set <math display="inline">H_{\Omega} \supseteq H_A</math> with set <math display="inline">H_\Omega </math> reduced with respect to the equation set.{{sfn|Boulier|Lazard|Ollivier|Petitot|1995|p=160|ps=none}}

Regular differential ideal <math display="inline">\mathcal{I}_\text{dif} </math> and regular algebraic ideal <math display="inline">\mathcal{I}_\text{alg} </math> are [[Ideal quotient|saturation ideals]] that arise from a regular system.{{sfn|Boulier|Lazard|Ollivier|Petitot|1995|p=160|ps=none}}  <em>Lazard's lemma</em> states that the regular differential and regular algebraic ideals are radical ideals.{{sfn|Morrison|1999|ps=none}}
* <em>Regular differential ideal</em>: <math display="inline">\mathcal{I}_\text{dif}=[A]:H_\Omega^\infty.</math>
* <em>Regular algebraic ideal</em>: <math display="inline">\mathcal{I}_\text{alg}=(A):H_\Omega^\infty.</math>

=== Rosenfeld–Gröbner algorithm ===
The <em>Rosenfeld–Gröbner algorithm</em> decomposes the radical differential ideal as a finite intersection of regular radical differential ideals.  These regular differential radical ideals, represented by characteristic sets, are not necessarily prime ideals and the representation is not necessarily [[Primary decomposition|minimal]].{{sfn|Boulier|Lazard|Ollivier|Petitot|1995|p=158|ps=none}}

The <em>membership problem</em> is to determine if a differential polynomial <math display="inline">p</math> is a member of an ideal generated from a set of differential polynomials <math display="inline">S</math>. The Rosenfeld–Gröbner algorithm generates sets of Gröbner bases.  The algorithm determines that a polynomial is a member of the ideal if and only if the partially reduced remainder polynomial is a member of the algebraic ideal generated by the Gröbner bases.{{sfn|Boulier|Lazard|Ollivier|Petitot|1995|p=164|ps=none}}

The Rosenfeld–Gröbner algorithm facilitates creating [[Taylor series]] expansions of solutions to the differential equations.{{sfn|Boulier|Lazard|Ollivier|Petitot|2009b|ps=none}}

== Examples ==
=== Differential fields ===
Example 1: <math display="inline">(\operatorname{Mer}(\operatorname{f}(y), \partial_{y} ))</math> is the differential [[meromorphic function]] field with a single <em>standard derivation</em>.

Example 2: <math display="inline">(\mathbb{C} \{ y \}, p(y)\cdot \partial_{y} ) </math> is a differential field with a [[Differential operator|linear differential operator]] as the derivation, for any polynomial <math>p(y) </math>.

=== Derivation ===
Define <math display="inline">E^{a}(p(y))=p(y+a)</math> as <em>[[shift operator]]</em> <math display="inline">E^{a}</math> for polynomial <math display="inline">p(y)</math>.

A shift-invariant operator <math display="inline">T</math> commutes with the shift operator: <math display="inline">E^{a} \circ T=T \circ E^{a}</math>.

The <em>[[Pincherle derivative]]</em>, a derivation of shift-invariant operator <math display="inline">T</math>, is <math display="inline">T^{\prime} = T \circ y - y \circ T </math>.{{sfn|Rota|Kahaner|Odlyzko|1973|p=694|ps=none}}

=== Constants ===
Ring of integers is <math>(\mathbb{Z}. \delta)</math>, and every integer is a constant. 
* The derivation of 1 is zero. <math display="inline"> \delta(1)=\delta(1 \cdot 1)=\delta(1) \cdot 1 + 1 \cdot \delta(1) = 2 \cdot \delta(1) \Rightarrow \delta(1)=0</math>.
* Also, <math> \delta(m+1)=\delta(m)+\delta(1)=\delta(m) \Rightarrow \delta(m+1)=\delta(m) </math>. 
* By induction, <math> \delta(1)=0 \ \wedge \ \delta(m+1)= \delta(m) \Rightarrow \forall \ m \in \mathbb{Z}, \ \delta(m)=0 </math>.

Field of rational numbers is <math>(\mathbb{Q}. \delta)</math>, and every rational number is a constant. 
* Every rational number is a quotient of integers.
*: <math> \forall r \in \mathbb{Q}, \ \exists \ a \in \mathbb{Z}, \ b \in \mathbb{Z}/ \{ 0 \}, \ r=\frac{a}{b} </math>
* Apply the derivation formula for quotients recognizing that derivations of integers are zero:
*: <math> \delta (r)= \delta \left ( \frac{a}{b} \right ) = \frac{\delta(a) \cdot b - a \cdot \delta(b)}{b^{2}}=0 </math>.

=== Differential subring ===
Constants form the <em>subring of constants</em> <math display="inline">(\mathbb{C}, \partial_{y}) \subset (\mathbb{C} \{ y \}, \partial_{y}) </math>.{{sfn|Kolchin|1973|p=60|ps=none}}

=== Differential ideal ===
Element <math display="inline">\exp(y)</math> simply generates differential ideal <math display="inline"> [\exp(y)] </math> in the differential ring <math display="inline">(\mathbb{C} \{ y, \exp(y) \}, \partial_{y}) 
</math>.{{sfn|Sit|2002|p=4|ps=none}}

=== Algebra over a differential ring ===
Any ring with identity is a <math display="inline">\operatorname{\mathcal{Z}-}</math>algebra.{{sfn|Dummit|Foote|2004|p=343|ps=none}}  Thus a differential ring is a <math display="inline">\operatorname{\mathcal{Z}-}</math>algebra.

If ring <math display="inline">\mathcal{R}</math> is a subring of the center of unital ring <math display="inline">\mathcal{M}</math>, then <math display="inline">\mathcal{M}</math> is an <math display="inline">\operatorname{\mathcal{R}-}</math>algebra.{{sfn|Dummit|Foote|2004|p=343|ps=none}}  Thus, a differential ring is an algebra over its differential subring.  This is the <em>natural structure</em> of an algebra over its subring.{{sfn|Kolchin|1973|p=75|ps=none}}

=== Special and normal polynomials ===
Ring <math display="inline">(\mathbb{Q} \{ y, z \}, \partial_y) </math> has irreducible polynomials, <math display="inline">p</math> (normal, squarefree) and <math display="inline">q</math> (special, ideal generator). 
: <math display="inline"> \partial_y(y)=1, \ \partial_y(z)=1+z^2, \ z=\tan(y)</math> 
: <math display="inline">p(y)=1+y^2, \ \partial_y(p)=2 \cdot y,\ \gcd(p, \partial_y(p))=1</math>
: <math display="inline">q(z)=1+z^2, \ \partial_y(q)=2 \cdot z \cdot (1+z^2),\ \gcd(q, \partial_{y}(q))=q</math>

=== Polynomials ===
==== Ranking ====
Ring <math display="inline">(\mathbb{Q} \{ y_{1}, y_{2} \}, \delta)</math> has derivatives <math display="inline">\delta(y_{1})=y_{1}^{\prime}</math> and <math display="inline">\delta(y_{2})=y_{2}^{\prime}</math> 
* Map each derivative to an integer tuple: <math display="inline">\eta( \delta^{(i_{2})}(y_{i_{1}}) )=(i_{1}, i_{2})</math>.
* Rank derivatives and integer tuples: <math display="inline"> y_{2}^{\prime \prime} \ (2,2) > y_{2}^{\prime} \ (2,1) > y_{2} \ (2,0) > y_{1}^{\prime \prime} \ (1,2) > y_{1}^{\prime} \ (1,1) > y_{1} \ (1,0) </math>.

==== Leading derivative and initial ====
The <span style="color:red">leading derivatives</span>, and <span style="color:blue">initials</span> are:
: <math display="inline"> p={\color{Blue} (y_{1}+ y_{1}^{\prime})} \cdot ({\color{Red} y_{2}^{\prime \prime}})^{2} + 3 \cdot y_{1}^{2} \cdot {\color{Red}y_{2}^{\prime \prime}} + (y_{1}^{\prime})^{2} </math> 
: <math display="inline"> q={\color{Blue}(y_{1}+ 3 \cdot y_{1}^{\prime})} \cdot {\color{Red} y_{2}^{\prime \prime}} + y_{1} \cdot y_{2}^{\prime} + (y_{1}^{\prime})^{2} </math> 
: <math display="inline"> r= {\color{Blue} (y_{1}+3)} \cdot ({\color{Red} y_{1}^{\prime \prime}})^{2} + y_{1}^{2} \cdot {\color{Red} y_{1}^{\prime \prime}}+ 2 \cdot y_{1} </math>

==== Separants ====
: <math display="inline"> S_{p}= 2 \cdot (y_{1}+ y_{1}^{\prime}) \cdot y_{2}^{\prime \prime} + 3 \cdot y_{1}^{2}</math>. 
: <math display="inline"> S_{q}= y_{1}+ 3 \cdot y_{1}^{\prime}</math>
: <math display="inline"> S_{r}= 2 \cdot (y_{1}+3) \cdot y_{1}^{\prime \prime} + y_{1}^{2}</math>

==== Autoreduced sets ====
* Autoreduced sets are <math display="inline">\{ p, r \}</math> and <math display="inline"> \{ q, r \}</math>.  Each set is triangular with a distinct polynomial leading derivative.
* The non-autoreduced set <math display="inline"> \{ p, q \} </math> contains only partially reduced <math display="inline">p</math> with respect to <math display="inline">q</math>; this set is non-triangular because the polynomials have the same leading derivative.

== Applications ==
=== Symbolic integration ===
Symbolic integration uses algorithms involving polynomials and their derivatives such as Hermite reduction, Czichowski algorithm, Lazard-Rioboo-Trager algorithm, Horowitz-Ostrogradsky algorithm, squarefree factorization and splitting factorization to special and normal polynomials.{{sfn|Bronstein|2005|pp=41,51,53,102,299,309|ps=none}}

=== Differential equations ===
Differential algebra can determine if a set of differential polynomial equations has a solution.  A total order ranking may identify algebraic constraints.  An elimination ranking may determine if one or a selected group of independent variables can express the differential equations.  Using triangular decomposition and elimination order, it may be possible to solve the differential equations one differential indeterminate at a time in a step-wise method.  Another approach is to create a class of differential equations with a known solution form; matching a differential equation to its class identifies the equation's solution.  Methods are available to facilitate the numerical integration of a [[Differential-algebraic system of equations|differential-algebraic]] system of equations.{{sfn|Hubert|2002|pp=41–47|ps=none}}

In a study of non-linear dynamical systems with [[Chaos theory|chaos]], researchers used differential elimination to reduce differential equations to ordinary differential equations involving a single state variable.  They were successful in most cases, and this facilitated developing approximate solutions, efficiently evaluating chaos, and constructing [[Lyapunov function|Lyapunov functions]].{{sfn|Harrington|VanGorder|2017|ps=none}}  Researchers have applied differential elimination to understanding [[Cell biology|cellular biology]], [[Physiologically based pharmacokinetic modelling|compartmental biochemical models]], [[parameter]] estimation and [[Steady state (chemistry)|quasi-steady state]] approximation (QSSA) for biochemical reactions.{{sfn|Boulier|2007|ps=none}}{{sfn|Boulier|Lemaire| 2009a|ps=none}}  Using differential Gröbner bases, researchers have investigated non-classical [[Symmetry in mathematics|symmetry]] properties of [[Nonlinear system|non-linear differential equations]].{{sfn|Clarkson|Mansfield|1994|ps=none}}  Other applications include control theory, model theory, and algebraic geometry.{{sfn|Diop|1992|ps=none}}{{sfn|Marker|2000|ps=none}}{{sfn|Buium|1994|ps=none}}  Differential algebra also applies to differential-difference equations.{{sfn|Gao|Van der Hoeven|Yuan|Zhang|2009|ps=none}}<!--

== Linear differential algebra ==
{{hatnote|Most of the content of this section consists of trivialities that are not useful for understanding the remainder of the article, except the sentence on differentially closed fields, which deserves to have a specific section.}}
=== Subrings ===
The <math display="inline">\operatorname{\Delta_{R} - \mathcal{R}}</math> is a <em>differential subring</em> of <math display="inline"> \operatorname{\Delta_{S} - \mathcal{S}} </math> if <math display="inline"> \mathcal{R}</math> is a [[subring]] of <math display="inline"> \mathcal{S}</math>, and the derivation set <math display="inline"> \operatorname{\Delta_{R}} </math> is the derivation set <math display="inline"> \operatorname{\Delta_{S}} </math> [[Restriction (mathematics) |restricted]] to <math display="inline"> \mathcal{R}</math>.  An equivalent statement is <math display="inline"> \operatorname{\Delta_{S} - \mathcal{S}} </math> is the differential [[overring]] of <math display="inline"> \operatorname{\Delta_{R} - \mathcal{R}} </math>.{{sfn|Kolchin|1973|pp=58–59|ps=none}}

The <em>[[Intersection (set theory) | intersection]]</em> of any family of differential subrings is a differential subring.  The intersection of any set of differential subrings containing a <em>common set</em> is a differential subring, and the <em>smallest differential subring</em> containing a common set is the intersection of all subrings containing the common set.{{sfn|Kolchin|1973|pp=58–59|ps=none}}

Set <math display="inline"> \Theta A </math> generates differential ring <math display="inline">\mathcal{R} \{ A \} </math> over <math display="inline">\mathcal{R}</math>.  This is the smallest differential subring containing differential subring <math display="inline">\mathcal{R} </math> and set <math display="inline"> \Theta A </math>.  A <em>finitely generated</em> differential subring arises from a finite set, and a <em>simply generated</em> differential subring arises from a single element.  <em>Adjoining</em> or adding an element to the generator set extends the differential ring.  Using the square bracket notation for ring extension, <math display="inline">\mathcal{R} \{ A \}=\mathcal{R} [ \Theta A ] </math>.{{sfn|Kolchin|1973|pp=58–60|ps=none}}

Set <math display="inline"> \Theta A </math> generates differential field <math display="inline">\mathcal{F} \langle A \rangle </math> over field <math display="inline">\mathcal{F}</math>.  Using the parentheses notation for a field extension, <math display="inline">\mathcal{F} \langle A \rangle =\mathcal{F} ( \Theta A ) </math>.{{sfn|Kolchin|1973|p=60|ps=none}}

A field <math display="inline">K</math> is a <em>[[Differentially closed field|closed differential field]]</em> if each instance when a differential equation set's solution, <math display="inline">f_{i} \in K \{ y_{1}, \ldots y_{m} \}</math> for <math display="inline">i \in \{ 1, \ldots, m \}</math>, occurs in field <math display="inline">L</math> extended over <math display="inline">K</math>, the  solution occurs in the field <math display="inline">K</math>.{{sfn|Marker|2000|ps=none}}{{rp|54}}  Any differential field may extend to a closed differential field.{{sfn|Marker|2000|p=54|ps=none}}  [[Differential Galois theory]] studies differential field extensions and the associated Galois group.{{sfn|Crespo|Hajto|2011|p=141|ps=none}}

=== Ring homomorphism ===
A <em>differential [[Homomorphism |ring homomorphism]]</em> is a map, <math display="inline"> \operatorname{f}: \mathcal{R} \to \mathcal{S} </math> of differential rings that share the same derivation set, <math display="inline"> \Delta_{R}=\Delta_{S} </math>, and the ring homomorphism commutes with derivation, <math display="inline"> \forall r \in \mathcal{R}, \ \forall \delta \in \Delta \ : \ \delta (\operatorname{f}(r))= \operatorname{f}(\delta(r)) </math>.{{sfn|Kolchin|1973|p=61|ps=none}}
* The [[Kernel (algebra) | kernel]] is a differential ideal of <math display="inline"> \mathcal{R}</math>, and the [[Image (mathematics) |image]] is a differential subring.{{sfn|Kolchin|1973|p=61|ps=none}} 
* The ring <math display="inline"> \mathcal{S}</math> is an [[Ring extension |extension]] of <math display="inline"> \mathcal{R}</math>, and <math display="inline"> \mathcal{R}</math> is a subring of <math display="inline"> \mathcal{S}</math> if the ring homomorphism is an [[Subset | inclusion]].{{sfn|Buium|1994|p=21|ps=none}} 
* For differential ring <math display="inline">\mathcal{R} </math> and differential ideal <math display="inline">\mathcal{I} </math>, the <em>[[Canonical map | canonical homomorphism]]</em> maps the ring to the differential [[Quotient ring | residue ring]]: <math display="inline"> \operatorname{f}: \mathcal{R} \to \mathcal{R} / \mathcal{I} </math>.

=== Modules ===
A <em>differential <math display="inline"> \operatorname{\mathcal{R} - module}</math></em> or [[Module (mathematics)|module]] over differential ring <math display="inline"> \operatorname{\Delta - \mathcal{R}} </math> has module <math display="inline"> \mathcal{M} </math> whose elements follow these sum and product derivation rules: <math display="inline"> \delta \in \Delta, \ r \in \mathcal{R}, \ u,v \in \mathcal{M} </math>:{{sfn|Kolchin|1973|p=66|ps=none}} 
: <math display="inline"> \delta(u+v)= \delta (u) + \delta (v) </math> 
: <math display="inline"> \delta(r \cdot u)= \delta (r) \cdot u + r \cdot \delta (u) </math>

A <em>differential [[vector space]]</em> is a differential module over a differential field.

A <em>differential <math display="inline"> \operatorname{\mathcal{R}-algebra}</math></em> or [[Associative algebra | differential algebra]] over the <math display="inline"> \mathcal{R} </math> is the ring <math display="inline"> \mathcal{M} </math>, the <math display="inline"> \operatorname{\mathcal{R}-algebra}</math>, and a derivation set <math display="inline">\Delta</math> that makes <math display="inline"> \mathcal{M} </math> a differential ring and that follows this derivation product rule:{{sfn|Kolchin|1973|p=69|ps=none}}{{sfn|Dummit|Foote|2004|p=342|ps=none}}
: <math> \forall \delta \in \Delta, \ \forall r \in \mathcal{R}, \ \forall u \in \mathcal{M} \ : \ \delta(r \cdot u)= \delta (r) \cdot u + r \cdot \delta (u) </math>. -->

== Algebras with derivations ==
=== Differential graded vector space ===
A <em><math display="inline">\operatorname{\mathbb{Z}-graded}</math> [[Graded vector space|vector space]]</em> <math display="inline">V_{\bullet} </math> is a collection of vector spaces <math display="inline">V_{m}</math> with integer <em>degree</em> <math display="inline">|v|=m</math> for <math display="inline"> v\in V_{m}</math>.  A [[direct sum]] can represent this graded vector space:{{sfn|Keller|2019|p=48|ps=none}}
: <math>V_{\bullet} = \bigoplus_{m \in \mathbb{Z}} V_{m}</math>

A <em>differential graded vector space</em> or <em>[[chain complex]]</em>, is a graded vector space <math display="inline">V_{\bullet}</math> with a <em>differential map</em> or <em>boundary map</em> <math display="inline">d_{m}: V_{m} \to V_{m-1}</math> with <math> d_{m} \circ d_{m+1} = 0 </math> .{{sfn|Keller|2019|pp=50–51|ps=none}}

A <em>[[Chain complex|cochain complex]]</em> is a graded vector space <math display="inline">V^{\bullet}</math> with a <em>differential map</em> or <em>coboundary map</em> 
<math display="inline">d_{m}: V_{m} \to V_{m+1}</math> with <math> d_{m+1} \circ d_{m} = 0 </math>.{{sfn|Keller|2019|pp=50–51|ps=none}}

=== Differential graded algebra ===
A <em>differential graded algebra</em> is a graded algebra <math display="inline">A</math> with a linear derivation <math display="inline">d: A \to A </math> with <math>d \circ d=0 </math> that follows the graded Leibniz product rule.{{sfn|Keller|2019|pp=58–59|ps=none}}
* Graded Leibniz product rule: <math>\forall a,b \in A, \ d(a \cdot b)=d(a) \cdot b + (-1)^{|a|} \cdot a \cdot d(b)</math> with <math>|a|</math> the degree of vector <math>a</math>.

=== Lie algebra ===
A <em>[[Lie algebra]]</em> is a finite-dimensional real or complex vector space <math display="inline">\mathcal{g}</math> with a [[Bilinear form|bilinear]] bracket operator <math display="inline">[,]:\mathcal{g} \times \mathcal{g} \to \mathcal{g} </math> with [[Bilinear form|Skew symmetry]] and the [[Jacobi identity]] property.{{sfn|Hall|2015|p=49|ps=none}}
* Skew symmetry: <math> [X,Y]= -[Y,X]</math>
* Jacobi identity property: <math> [X,[Y,Z]]+[Y,[Z,X]] + [Z,[X,Y]]=0 </math>
for all <math> X, Y, Z \in \mathcal{g}</math>.

The <em>adjoint</em> operator, <math display="inline">\operatorname{ad_{X}}(Y)=[Y,X]</math> is a <em>[[Commutator|derivation of the bracket]]</em> because the adjoint's effect on the binary bracket operation is analogous to the derivation's effect on the binary product operation.  This is the <em>inner derivation</em> determined by <math display="inline">X</math>.{{sfn|Hall|2015|p=51|ps=none}}{{sfn|Jacobson|1979|p=9|ps=none}}  
: <math> \operatorname{ad}_{X}([Y,Z]) = [\operatorname{ad}_{X}(Y),Z] + [Y,\operatorname{ad}_{X}(Z)] </math>

The <em>[[universal enveloping algebra]]</em> <math display="inline">U(\mathcal{g})</math> of Lie algebra <math display="inline">\mathcal{g}</math> is a maximal associative algebra with identity, generated by Lie algebra elements <math display="inline">\mathcal{g}</math> and containing products defined by the bracket operation. Maximal means that a linear homomorphism maps the universal algebra to any other algebra that otherwise has these properties.  The adjoint operator is a derivation following the Leibniz product rule.{{sfn|Hall|2015|p=247|ps=none}} 
* Product in <math>U(\mathcal{g})</math> : <math>X \cdot Y - Y \cdot X = [X,Y]</math>
* Leibniz product rule: <math>\operatorname{ad}_{X}( Y \cdot Z)=\operatorname{ad}_{X}(Y) \cdot Z + Y \cdot \operatorname{ad}_{X}(Z)</math>
for all <math> X,Y,Z \in U(\mathcal{g}) </math>.

=== Weyl algebra ===
The [[Weyl algebra]] is an algebra <math display="inline">A_{n}(K)</math>  over a ring <math display="inline">K [p_{1}, q_{1}, \dots, p_{n}, q_{n}]</math> with a specific noncommutative product: {{sfn|Lam|1991|pp=7–8|ps=none}} 
: <math> p_{i} \cdot q_{i} - q_{i} \cdot p_{i}=1, \ : \ i \in \{1, \dots, n \} </math>.
All other indeterminate products are commutative for <math display="inline">i,j \in \{1, \dots, n \}</math>: 
: <math> p_{i} \cdot q_{j} - q_{j} \cdot p_{i}=0 \text{  if  } i \ne j, \ p_{i} \cdot p_{j} - p_{j} \cdot p_{i}=0, \ q_{i} \cdot q_{j} - q_{j} \cdot q_{i}=0 </math>.
A Weyl algebra can represent the derivations for a commutative ring's polynomials <math display="inline">f \in K[y_{1}, \ldots, y_{n}]</math>.  The Weyl algebra's elements are [[endomorphism]]s, the elements <math display="inline">p_{1}, \ldots, p_{n}</math> function as standard derivations, and map compositions generate [[Differential operator|linear differential operators]].  [[D-module]] is a related approach for understanding differential operators. The endomorphisms are:{{sfn|Lam|1991|pp=7–8|ps=none}}
: <math> q_{j} (y_{k})= y_{j} \cdot y_{k}, \ q_{j}(c)= c \cdot y_{j} \text{  with  } c \in K, \ p_{j}(y_{j})=1, \ p_{j}(y_{k})=0 \text{  if  } j \ne k, \ p_{j}(c)= 0 \text{  with  } c \in K </math>

=== Pseudodifferential operator ring ===
The associative, possibly noncommutative ring <math display="inline">A</math> has derivation <math display="inline">d: A \to A </math>.{{sfn|Parshin|1999|p=268|ps=none}}

The <em>[[pseudo-differential operator]] ring</em> <math display="inline">A((\partial^{-1}))</math> is a left <math display="inline">\operatorname{A-module}</math> 
containing ring elements <math display="inline">L</math>:{{sfn|Parshin|1999|p=268|ps=none}}{{sfn|Dummit|Foote|2004|p=337|ps=none}}{{sfn|Taylor|1991|ps=none}}  
: <math> a_i \in A, \ i,i_{\min} \in \mathbb{N}, \ |i_{\min}| > 0 \ : \ L= \sum_{i \ge i_{\min}}^n a_i \cdot \partial^i</math>

The derivative operator is <math display="inline"> d(a) = \partial \circ a - a \circ \partial </math>.{{sfn|Parshin|1999|p=268|ps=none}}

The [[binomial coefficient]] is <math>\Bigl( {i \atop k} \Bigr)</math>.

Pseudo-differential operator multiplication is:{{sfn|Parshin|1999|p=268|ps=none}}
: <math>\sum_{i \ge i_{\min}}^n a_i \cdot \partial^i \cdot \sum_{j\ge j_{\min}}^m b_{i} \cdot \partial^j = \sum_{i,j;k \ge 0} \Bigl( {i \atop k} \Bigr) \cdot a_i \cdot d^k(b_j) \cdot \partial^{i+j-k}</math>

== Open problems ==
The <em>Ritt problem</em> asks is there an algorithm that determines if one prime differential ideal contains a second prime differential ideal when characteristic sets identify both ideals.{{sfn|Golubitsky|Kondratieva|Ovchinnikov|2009|ps=none}}

The <em>Kolchin catenary conjecture</em> states given a <math display="inline">d>0</math> dimensional irreducible differential algebraic variety <math display="inline"> V</math> and an arbitrary point <math display="inline"> p \in V</math>, a long gap chain of irreducible differential algebraic subvarieties occurs from <math display="inline"> p </math> to V.{{sfn|Freitag|Sánchez|Simmons|2016|ps=none}}

The <em>[[Jacobi bound problem|Jacobi bound conjecture]]</em> concerns the upper bound for the order of an differential variety's irreducible component. The polynomial's orders determine a Jacobi number, and the conjecture is the Jacobi number determines this bound.{{sfn|Lando|1970|ps=none}}

== See also ==
* {{annotated link|Arithmetic derivative}}
* {{annotated link|Difference algebra}}
* {{annotated link|Differential algebraic geometry}}
* {{annotated link|Differential calculus over commutative algebras}}
* {{annotated link|Differential Galois theory}}
* {{annotated link|Differentially closed field}}
* {{annotated link|Differential graded algebra}}
* {{annotated link|D-module}}
* {{annotated link|Hardy field}}
* {{annotated link|Kähler differential}}
* {{annotated link|Liouville's theorem (differential algebra)}}
* {{annotated link|Picard–Vessiot theory}}
* [[Kolchin's problems]]

== Citations ==
{{reflist|colwidth=30em}}

== References ==
{{refbegin|35em}}
* {{cite book |last1=Boulier |first1=François |last2=Lazard |first2=Daniel |last3=Ollivier |first3=François |last4=Petitot |first4=Michel |title=Proceedings of the 1995 international symposium on Symbolic and algebraic computation – ISSAC '95 |chapter=Representation for the radical of a finitely generated differential ideal |date=1995 |pages=158–166 |doi=10.1145/220346.220367 |isbn=0897916999 |s2cid=11059042 |url=https://hal.archives-ouvertes.fr/hal-00138020/file/blop95.pdf |chapter-url=https://dl.acm.org/doi/pdf/10.1145/220346.220367}}
* {{cite journal |last1=Boulier |first1=François |title=Differential Elimination and Biological Modelling |journal=Gröbner Bases in Symbolic Analysis |date=31 December 2007 |volume=2 |pages=109–138 |doi=10.1515/9783110922752.109 |isbn=978-3-11-019323-7 |s2cid=61916692 |url=https://hal.science/hal-00139364}}
* {{cite journal |last1=Boulier |first1=François |last2=Lemaire |first2=François |title=Differential algebra and QSSA methods in biochemistry |journal=IFAC Proceedings Volumes |date=2009a |volume=42 |issue=10 |pages=33–38 |doi=10.3182/20090706-3-FR-2004.00004 |url=https://www.sciencedirect.com/science/article/pii/S1474667016386189}}
* {{cite journal |last1=Boulier |first1=François |last2=Lazard |first2=Daniel |last3=Ollivier |first3=François |last4=Petitot |first4=Michel |title=Computing representations for radicals of finitely generated differential ideals |journal=Applicable Algebra in Engineering, Communication and Computing |date=April 2009b |volume=20 |issue=1 |pages=73–121 |doi=10.1007/s00200-009-0091-7 |s2cid=5482290 |url=https://link.springer.com/article/10.1007/s00200-009-0091-7}}
* {{cite book |last1=Bronstein |first1=Manuel |title=Symbolic integration I : transcendental functions |series=Algorithms and Computation in Mathematics | url=https://link.springer.com/book/10.1007/b138171 |date=2005 |volume=1 |publisher=Springer |location=Berlin |doi=10.1007/b138171 |isbn=3-540-21493-3 |edition=2nd}}
* {{cite book |last1=Buium |first1=Alexandru |title=Differential algebra and diophantine geometry |url=https://books.google.com/books?id=J8RUAAAAYAAJ |year=1994 |publisher=Hermann |isbn=978-2-7056-6226-4}}
* {{cite book |last1=Chardin |first1=Marc |chapter=Differential resultants and subresultants |date=1991 |title=Fundamentals of Computation Theory. FCT 1991. Lecture Notes in Computer Science |editor-last1=Budach |editor-first1=L. |isbn=978-3-540-38391-8 |pages=180–189 |volume=529 |publisher=Springer |location=Berlin, Heidelberg |doi=10.1007/3-540-54458-5_62 |url=https://doi.org/10.1007/3-540-54458-5_62 |language=en}}
* {{cite journal |last1=Clarkson |first1=Peter A. |last2=Mansfield |first2=Elizabeth L. |title=Symmetry reductions and exact solutions of a class of nonlinear heat equations |journal=Physica D: Nonlinear Phenomena |date=January 1994 |volume=70 |issue=3 |pages=250–288 |doi=10.1016/0167-2789(94)90017-5 |arxiv=solv-int/9306002 |bibcode=1994PhyD...70..250C |s2cid=16858637 }}
* {{cite book |last1=Crespo |first1=Teresa |last2=Hajto |first2=Zbigniew |title=Algebraic groups and differential Galois theory |date=2011 |publisher=American Mathematical Society |location=Providence, R.I. |isbn=978-0-8218-5318-4 |url=https://bookstore.ams.org/view?ProductCode=GSM/122}}
*{{cite journal |last1=Diop |first1=Sette |title=Differential-algebraic decision methods and some applications to system theory |journal=Theoretical Computer Science |date=May 1992 |volume=98 |issue=1 |pages=137–161 |doi=10.1016/0304-3975(92)90384-R |url=https://core.ac.uk/download/pdf/82529009.pdf}}
* {{cite book |last1=Dummit |first1=David Steven |last2=Foote |first2=Richard Martin |title=Abstract algebra |date=2004 |publisher=John Wiley & Sons |location=Hoboken, NJ |isbn=0-471-43334-9 |edition=Third |url=https://archive.org/details/abstractalgebra0000dumm_k3c6}}
* {{cite journal |last1=Ferro |first1=Giuseppa Carrá |last2=Gerdt |first2=V. P. |title= Improved Kolchin–Ritt Algorithm |journal=Programming and Computer Software |date=2003 |volume=29 |issue=2 |pages=83–87 |doi=10.1023/A:1022996615890 |s2cid=26280002 |url=https://link.springer.com/article/10.1023/A:1022996615890}}
* {{cite book |last1=Ferro |first1=Giuseppa Carrá |title=Differential equations with symbolic computation |chapter=Generalized Differential Resultant Systems of Algebraic ODEs and Differential Elimination Theory |series=Trends in Mathematics |date=2005 |publisher=Birkhäuser |isbn=978-3-7643-7429-7 |pages=343–350 |doi=10.1007/3-7643-7429-2_18 |chapter-url=https://link.springer.com/chapter/10.1007/3-7643-7429-2_18 |language=en}}
* {{cite journal |last1=Freitag |first1=James |last2=Sánchez |first2=Omar León |last3=Simmons |first3=William |title=On Linear Dependence Over Complete Differential Algebraic Varieties |journal=Communications in Algebra |date=2 June 2016 |volume=44 |issue=6 |pages=2645–2669 |doi=10.1080/00927872.2015.1057828|arxiv=1401.6211 |s2cid=56218725 }}
* {{cite journal |last1=Gao |first1=X. S. |last2=Van der Hoeven |first2=J. |last3=Yuan |first3=C. M. |last4=Zhang |first4=G. L. |title=Characteristic set method for differential–difference polynomial systems |journal=Journal of Symbolic Computation |date=1 September 2009 |volume=44 |issue=9 |pages=1137–1163 |doi=10.1016/j.jsc.2008.02.010 |doi-access=free }}
* {{cite journal |last1=Golubitsky |first1=O. D. |last2=Kondratieva |first2=M. V. |last3=Ovchinnikov |first3=A. I. |title=On the generalized Ritt problem as a computational problem |journal=Journal of Mathematical Sciences |date=2009 |volume=163 |issue=5 |pages=515–522 |url=https://link.springer.com/article/10.1007/s10958-009-9689-3 |doi=10.1007/s10958-009-9689-3|arxiv=0809.1128 |s2cid=17503904 }}
* {{cite book |last1=Hall |first1=Brian C. |title=Lie groups, Lie algebras, and representations: an elementary introduction |date=2015 |location=Cham |publisher=Springer |isbn=978-3-319-13467-3 |edition=Second}}
* {{cite journal |last1=Harrington |first1=Heather A. |last2=VanGorder |first2=Robert A. |title=Reduction of dimension for nonlinear dynamical systems |journal=Nonlinear Dynamics |date=2017 |volume=88 |issue=1 |pages=715–734 |doi=10.1007/s11071-016-3272-5 |pmid=32226227 |s2cid=254893812 |pmc=7089670 |arxiv=1508.05921 |bibcode=2017NonDy..88..715H }}
* {{cite book |last1= Hubert |first1= Evelyne |chapter=Notes on Triangular Sets and Triangulation-Decomposition Algorithms II: Differential Systems |editor1-last=Winkler |editor1-first=Franz |editor2-last=Langer |editor2-first=Ulrich 
|title=Symbolic and Numerical Scientific Computing. Second International Conference, SNSC 2001 Hagenberg, Austria, September 12-14, 2001 Revised Papers |date=2002 |publisher=Springer-Verlag |location=Berlin |pages=40–87 |isbn=3-540-40554-2 |url= http://www-sop.inria.fr/members/Evelyne.Hubert/publications/sncsd.pdf}}
* {{cite book |last1=Jacobson |first1=Nathan |title=Lie algebras |date=1979 |location=New York |isbn=0-486-63832-4}}
* {{cite book |last1=Kaplansky |first1=Irving |title=An introduction to differential algebra |publisher=Hermann |edition=2nd |year=1976 |isbn=9782705612511}}
* {{cite book |last1=Keller |first1=Corina |title=Chern-Simons theory and equivariant factorization algebras |series=BestMasters |date=2019 |location=Wiesbaden, Germany |doi=10.1007/978-3-658-25338-7 |bibcode=2019ctef.book.....K |isbn=978-3-658-25337-0 |s2cid=128325519 |url=https://link.springer.com/book/10.1007/978-3-658-25338-7}}
* {{cite book |last1=Kolchin |first1=Ellis |title=Differential Algebra And Algebraic Groups |url=https://books.google.com/books?id=yDCfhIjka-8C |date=1973 |publisher=Academic Press |isbn=978-0-08-087369-5}}
* {{cite book |last1=Lam |first1=T. Y. |title=A first course in noncommutative rings |series=Graduate Texts in Mathematics |date=1991 |volume=131 |publisher=Springer-Verlag |location=New York |doi=10.1007/978-1-4419-8616-0 |isbn=0-387-97523-3 |url=https://link.springer.com/book/10.1007/978-1-4419-8616-0}}
* {{cite journal |last1=Lando |first1=Barbara A. |title=Jacobi's bound for the order of systems of first order differential equations |journal=Transactions of the American Mathematical Society |date=1970 |volume=152 |issue=1 |pages=119–135 |doi=10.1090/S0002-9947-1970-0279079-1 |url=https://www.ams.org/journals/tran/1970-152-01/S0002-9947-1970-0279079-1/ |language=en |issn=0002-9947|doi-access=free }}
* {{cite journal |last1=Li |first1=Wei |last2=Yuan |first2=Chun-Ming |title=Elimination Theory in Differential and Difference Algebra |journal=Journal of Systems Science and Complexity |date=February 2019 |volume=32 |issue=1 |pages=287–316 |doi=10.1007/s11424-019-8367-x |s2cid=255158214 |url=https://link.springer.com/article/10.1007/s11424-019-8367-x}}
* {{cite book |last=Marker |first= David |chapter=Model theory of differential fields |pages=53–64 |editor1-last=Haskell |editor1-first=Deirdre |editor2-last=Pillay |editor2-first=Anand |editor3-last=Steinhorn |editor3-first=Charles |title=Model theory, algebra, and geometry |date=2000 |volume=39 |publisher=Cambridge University Press |location=Cambridge |isbn=0-521-78068-3 |url=http://library.msri.org/books/Book39/files/dcf.pdf}}
* {{cite thesis |type=PhD |last=Mansfield |first=Elizabeth |date=1991 |title=Differential Bases |publisher=University of Sydney |url=https://www.kent.ac.uk/smsas/personal/elm2/liz/papers/thesis.pdf.gz}}
* {{cite journal |last1=Morrison |first1=Sally |title=The Differential Ideal [ P ] : M∞ |journal=Journal of Symbolic Computation |date=1 October 1999 |volume=28 |issue=4 |pages=631–656 |doi=10.1006/jsco.1999.0318 |url=http://mmrc.iss.ac.cn/mm/diffalg/literatures/0318a.pdf |language=en |issn=0747-7171}}
* {{cite journal |last1=Parshin |first1=Aleksei Nikolaevich |title=On a ring of formal pseudo-differential operators |journal=Proc. Steklov Math. Institute |date=1999 |volume=224 |pages=266–280 |arxiv=math/9911098 |bibcode=1999math.....11098P }}
* {{cite journal |last1=Ritt |first1=Joseph Fels |title=Manifolds of functions defined by systems of algebraic differential equations |journal=Transactions of the American Mathematical Society |date=1930 |volume=32 |issue=4 |pages=569–598 |doi=10.1090/S0002-9947-1930-1501554-4 |s2cid=54064812 |url=https://community.ams.org/journals/tran/1930-032-04/S0002-9947-1930-1501554-4/S0002-9947-1930-1501554-4.pdf}}
*{{cite book |last1=Ritt |first1=Joseph |title=differential equations from the algebraic standpoint |date=1932 |publisher=American Mathematical Society |volume=14 |url=https://archive.org/details/differentialequa033050mbp/mode/2up}}
* {{cite book |last1=Ritt |first1=Joseph Fels |title=Differential Algebra |date=1950 |publisher=American Mathematical Society Colloquium Publications|isbn=978-0-8218-3205-9 | volume=33 |location=Providence, Rhode Island | url=https://bookstore.ams.org/view?ProductCode=COLL/33}}
* {{cite journal |last1=Rota |first1=Gian-Carlo |last2=Kahaner |first2=David |last3=Odlyzko |first3=Andrew |title=On the foundations of combinatorial theory. VIII. Finite operator calculus |journal=Journal of Mathematical Analysis and Applications |date=1973 |volume=42 |issue=3 |pages=684–760 |doi=10.1016/0022-247X(73)90172-8 |doi-access=free }}
* {{cite book |last1= Sit |first1= William Y. |chapter=The Ritt-Kolchin theory for differential polynomials |editor1-last=Guo |editor1-first=Li |editor2-last=Cassidy |editor2-first=Phyllis J |editor3-last=Keigher |editor3-first=William F |editor4-last=Sit |editor4-first=William Y |title=Differential algebra and related topics: proceedings of the International Workshop, Newark Campus of Rutgers, the State University of New Jersey, 2-3 November 2000 |date=2002 |publisher=World Scientific |location=River Edge, NJ |doi= 10.1142/4768 |isbn=981-02-4703-6 |url=https://www.worldscientific.com/worldscibooks/10.1142/4768#t=aboutBook}}
* {{cite journal |last1=Stechlinski |first1=Peter |last2=Patrascu |first2=Michael |last3=Barton |first3=Paul I. |title=Nonsmooth differential-algebraic equations in chemical engineering |journal=Computers & Chemical Engineering |date=2018 |volume=114 |pages=52–68 |doi=10.1016/j.compchemeng.2017.10.031 |hdl=1721.1/122980 |s2cid=49413118 |url=https://www.sciencedirect.com/journal/computers-and-chemical-engineering/vol/114/suppl/C|hdl-access=free }}
* {{cite book |last1=Taylor |first1=Michael E. |title=Pseudodifferential operators and nonlinear PDE |date=1991 |publisher=Birkhäuser |location=Boston |isbn=978-0-8176-3595-4 |url=https://archive.org/details/Michael_E_Taylor__Pseudodifferential_Operators_And_Nonlinear_PDE}}
* {{cite book |last1=Wu |first1=Wen-tsün |title=Differential equations with symbolic computation |chapter=On “Good” Bases of Algebraic-Differential Ideals |date=2005a |publisher=Birkhäuser |isbn=978-3-7643-7429-7 |pages=343–350 
|doi=10.1007/3-7643-7429-2_19 |chapter-url=https://link.springer.com/chapter/10.1007/3-7643-7429-2_19 |language=en}}
* {{cite book |last1=Wu |first1=Wen-tsün |title=Differential equations with symbolic computation |chapter=On the Construction of Groebner Basis of a Polynomial Ideal Based on Riquier–Janet Theory |series=Trends in Mathematics |date=2005b |publisher=Birkhäuser |isbn=978-3-7643-7429-7 |pages=351–368 |doi=10.1007/3-7643-7429-2_20 |chapter-url=//link.springer.com/chapter/10.1007/3-7643-7429-2_20 |language=en}}
* {{cite journal |last1=Zharinov |first1=V. V. |title=Navier–Stokes equations, the algebraic aspect |journal=Theoretical and Mathematical Physics |date=December 2021 |volume=209 |issue=3 |pages=1657–1672 |doi=10.1134/S0040577921120011 |arxiv=2110.01504 |bibcode=2021TMP...209.1657Z |s2cid=238259977 |url=https://link.springer.com/content/pdf/10.1134/S0040577921120011.pdf}}
{{refend}}

== External links ==
* [http://www.math.uic.edu/~marker/ David Marker's home page] has several online surveys discussing differential fields.

[[Category:Differential algebra| ]]