User:TMM53/tmp/differential algebra 2023-03-06

{{short description|Algebra with a formal derivation an\delta relative area of mathematics}}

{{about|algebras with derivations|a (co)chain complex with (co)boundary mapping|differential graded algebra}}

In mathematics, differential rings, differential fields and differential algebras are rings, fields and algebras equipped with a finite set of derivations. Differential algebra includes the study of these algebraic objects and their use in the algebraic study of differential equations.{{sfn|Kolchin |1973}}{{sfn|Ritt|1950}}{{sfn|Kaplansky|1976}} This approach provides an improved understanding in many areas of mathematics including algebraic geometry, differential equations and symbolic integration.{{sfn|Buium|1994}}{{sfn|Hubert|2002}}{{sfn|Bronstein|2005}} Direct applications have occurred in many areas including chemical engineering, computational biolology, control theory and theoretical physics.{{sfn|Gao|"Van der Hoeven"|Yuan|Zhang|2009}}{{sfn|Wu|2005a}}{{sfn|Sit|2002}}{{sfn|Marker|2000}}{{sfn|Harrington|VanGorder|2017}}{{sfn|Stechlinski|Patrascu|Barton|2018}}{{sfn|Diop|1992}}{{sfn|Zharinov|2021 }}

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}}{{rp|iii-iv}} His efforts led to an initial paper Manifolds Of Functions Defined By Systems Of Algebraic Differential Equations and 2 books, Differential Equations From The Algebraic Standpoint and Differential Algebra.{{sfn|Ritt|1930}}{{sfn|Ritt|1932}}{{sfn|Ritt|1950}} Ellis Kolchin, Ritt's student, advanced this field and published Differential Algebra And Algebraic Groups.{{sfn|Kolchin |1973}}

Definitions

=Differential ring=

A derivation $\delta$ on a ring $\mathcal{R}$ is a linear unary operator and an additive group homomorphism that follows an addition rule and Leibniz product rule, $\forall r_{1},r_{2} \in \mathcal{R}$ :{{sfn|Kolchin |1973}}{{rp|58-59}}

: $\delta (r_{1}+r_{2})=\delta (r_{1})+\delta (r_{2})$

: $\delta (r_{1} \cdot r_{2}) = \delta (r_{1}) \cdot r_{2} + r_{1} \cdot \delta (r_{2})$

A differential ring is a commutative ring $\mathcal{R}$ with a multiplicative identity of 1 (unital ring) and a finite set of commutative derivations $\Delta = \{ \delta_{1}, \ldots, \delta_{n} \}$ that map ring elements to ring elements, $\Delta: \mathcal{R} \to \mathcal{R}$ . An ordinary differential ring's derivation set contains one derivation; a partial differential ring's derivation set contains multiple derivations. Abbreviated notations are $\operatorname{\Delta - \mathcal{R}}$ or $(\mathcal{R}, \Delta)$ for partial differential rings and $\operatorname{\delta - \mathcal{R}}$ or $(\mathcal{R}, \delta)$ for ordinary differential rings. The constants set $\mathcal{Const}_{\Delta}(\mathcal{R})$ contains ring elements that every derivation maps to zero.{{sfn|Kolchin |1973}}{{rp|58-60}}

=Derivation formulas=

Some derivations formulas apply to a differential field or a differential integral domain.{{sfn|Bronstein|2005}}{{rp|76}}

: $\delta (c \cdot r)= c \cdot \delta (r), \ r \in \mathcal{R}, \ c \in \mathcal{Const}_{\delta} ( \mathcal{R} )$

: $\delta \left( \frac{r_{1}}{r_{2}} \right)= \frac{\delta (r_{1}) \cdot r_{2} - r_{1} \cdot \delta (r_{2})}{r_{2}^{2}}, \ r_{2} \ne 0, \ r_{1},r_{2} \in \mathcal{R}, \ \mathcal{R} \text{ is a field}$

: $\delta (r^{n})= n \cdot r^{n-1} \cdot \delta (r), \ r \in \mathcal{R} \backslash \{0 \}, \ n \text{ is a positive integer.}$

: $\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}}, \text{ } u_{1}, \dots u_{n} \in$ Units of $\mathcal{R}, \ e_{1}, \ldots, e_{n} \text{ are integers }, \mathcal{R} \text{ is an integral domain.}$

The last formula is the logarithmic derivative identity.

=Derivative operator=

The derivative operator is a sequence of composed derivations, each derivation occurring one or multiple times. An integer superscript indicates the number of derivations for partial differential rings, and superscript primes indicate the number of derivations for ordinary differential rings. Proper derivatives contains at least one derivation. Derivative operators form a free commutative semigroup generated by the derivation set. The multi-index, an integer tuple, identifies the number of derivations from each derivation operator. The order of the derivative operator is the total number of derivations. A derivative is the application of a derivative operator to a set element.{{sfn|Kolchin |1973}}{{rp|58-59}}

Derivative operator: $\theta_{\mu} = \delta_{1}^{e_{1}} \circ \ldots \circ \delta_{n}^{e_{n}}$ .
Derivative multi-index: $\mu=(e_{1}, \dots, e_{n})$ .
Order of derivative: $\operatorname{ord}(\theta_{\mu}) = | \mu | = e_{1} + \dots + e_{n}$ .
Derivative of $a \in A$ : $\ \theta_{\mu} a = \delta_{1}^{e_{1}} \circ \ldots \circ \delta_{n}^{e_{n}}(a)$ .
Derivative operator set: $\Theta = \{ \delta_{1}^{e_{1}} \circ \ldots \circ \delta_{n}^{e_{n}} \ | \ \delta_{i} \in \Delta, \ e_{i} \in \mathbb{N} \}$ .
Derivative set: $\Theta A = \{ \theta_{\mu} a \ | \ \theta_{\mu} \in \Theta, a \in A \}$ .

=Subrings=

The $\operatorname{\Delta_{R} - \mathcal{R}}$ is a differential subring of $\operatorname{\Delta_{S} - \mathcal{S}}$ if $\mathcal{R}$ is a subring of $\mathcal{S}$ , and the derivation set $\operatorname{\Delta_{R}}$ is the derivation set $\operatorname{\Delta_{S}}$ restricted to $\mathcal{R}$ . An equivalent statement is $\operatorname{\Delta_{S} - \mathcal{S}}$ is the differential overring of $\operatorname{\Delta_{R} - \mathcal{R}}$ .{{sfn|Kolchin |1973}}{{rp|58-59}}

The intersection of any family of differential subrings is a differential subring. The intersection of any set of differential subrings containing a common set is a differential subring, and the smallest differential subring containing a common set is the intersection of all subrings containing the common set.{{sfn|Kolchin |1973}}{{rp|58-59}}

Set $\Theta A$ generates differential ring $\mathcal{R} \{ A \}$ over $\mathcal{R}$ . This is the smallest differential subring containing differential subring $\mathcal{R}$ and set $\Theta A$ . A finitely generated differential subring arises from a finite set, and a simply generated differential subring arises from a single element. Adjoining or adding an element to the generator set extends the differential ring. Using the square bracket notation for ring extension, $\mathcal{R} \{ A \}=\mathcal{R} [ \Theta A ]$ .{{sfn|Kolchin |1973}}{{rp|58-60}}

Set $\Theta A$ generates differential field $\mathcal{F} \langle A \rangle$ over field $\mathcal{F}$ . Using the parentheses notation for a field extension, $\mathcal{F} \langle A \rangle =\mathcal{F} ( \Theta A )$ .{{sfn|Kolchin |1973}}{{rp|60}}

A field $K$ is a closed differential field if each instance when a differential equation set's solution, $f_{i} \in K \{ y_{1}, \ldots y_{m} \}$ for $i \in \{ 1, \ldots, m \}$ , occurs in field $L$ extended over $K$ , the solution occurs in the field $K$ .{{sfn|Marker|2000}}{{rp|54}} Any differential field may extend to a closed differential field.{{sfn|Marker|2000}}{{rp|54}} Differential Galois theory studies differential field extensions and the associated Galois group.{{sfn|Crespo|Hajto|2011}}{{rp|141}}

=Ideals=

A differential ideal of $\mathcal{R}$ is an ideal closed (stable) under the ring's derivation set $\mathcal{\Delta}$ . A differential proper ideal is a proper subset of the differential ring. The intersection, sum, and finite product of any family of differential ideals is a differential ideal.{{sfn|Kolchin |1973}}{{rp|61-62}} A radical differential ideal or perfect differential ideal is an ideal equal to its radical: $\mathcal{I} = \sqrt{\mathcal{I}}$ .{{sfn|Sit|2002}}{{rp|3-4}}

The smallest ideal generated from ring $\mathcal{R}$ by a set includes:{{sfn|Kolchin |1973}}{{rp|61-62}}{{sfn|Buium|1994}}{{rp|21}}

Ideal generated by set $A$ : $\ (A)_{R}$
Differential ideal generated by set $A$ : $\ [A]_{R}$
Radical differential ideal generated by set $A$ : $\ \{A \}_{R}$

=Ring homomorphism=

A differential ring homomorphism is a map, $\operatorname{f}: \mathcal{R} \to \mathcal{S}$ of differential rings that share the same derivation set, $\Delta_{R}=\Delta_{S}$ , and the ring homomorphism commutes with derivation, $\forall r \in \mathcal{R}, \ \forall \delta \in \Delta \ : \ \delta (\operatorname{f}(r))= \operatorname{f}(\delta(r))$ .{{sfn|Kolchin |1973}}{{rp|61}}

The kernel is a differential ideal of $\mathcal{R}$ , and the image is a differential subring.{{sfn|Kolchin |1973}}{{rp|61}}
The ring $\mathcal{S}$ is an extension of $\mathcal{R}$ , and $\mathcal{R}$ is a subring of $\mathcal{S}$ if the ring homomorphism is an inclusion.{{sfn|Buium|1994}}{{rp|21}}
For differential ring $\mathcal{R}$ and differential ideal $\mathcal{I}$ , the canonical homomorphism maps the ring to the differential residue ring: $\operatorname{f}: \mathcal{R} \to \mathcal{R} / \mathcal{I}$ .

=Modules=

A differential $\operatorname{\mathcal{R} - module}$ or module over differential ring $\operatorname{\Delta - \mathcal{R}}$ has module $\mathcal{M}$ whose elements follow these sum and product derivation rules: $\delta \in \Delta, \ r \in \mathcal{R}, \ u,v \in \mathcal{M}$ :{{sfn|Kolchin |1973}}{{rp|66}}

: $\delta(u+v)= \delta (u) + \delta (v)$

: $\delta(r \cdot u)= \delta (r) \cdot u + r \cdot \delta (u)$

A differential vector space is a differential module over a differential field.

A differential $\operatorname{\mathcal{R}-algebra}$ or differential algebra over the $\mathcal{R}$ is the ring $\mathcal{M}$ , the $\operatorname{\mathcal{R}-algebra}$ , and a derivation set $\Delta$ that makes $\mathcal{M}$ a differential ring and that follows this derivation product rule:{{sfn|Kolchin |1973}}{{rp|69}}{{sfn|Dummit|Foote|2004}}{{rp|342}}

: $\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)$ .

=Polynomials=

The derivatives $\Theta Y$ of the set of differential indeterminates $Y$ generate the differential polynomial ring $\mathcal{K} \{ Y \}=\mathcal{K} \{ y_{1}, \dots, y_{m} \}$ over the ground field $\mathcal{K}$ . Unless otherwise noted, polynomial statements assume a characteristic zero.{{sfn|Sit|2002}}{{rp|5-7}}{{sfn|Kolchin |1973}}{{rp|69-70}}

The standard derivation for ring $(\mathcal{K} \{ y_{1}, \ldots, y_{m} \}, \Delta = \{ \partial_{1}, \ldots, \partial_{n} \} )$ is

: $\partial_{i}(y_{j})=
\begin{cases}
1 & \text{ if } i=j, \\
0 & \text{ if } i \ne j
\end{cases}$

An algebraically independent differential field $\mathcal{F} \{ Y \}$ is a differential field with a non-vanishing Wronskian determinant.{{sfn|Bronstein|2005}}{{rp|79}}

Special and normal polynomials have distinct 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 squarefree. The definitions are:{{sfn|Bronstein|2005}}{{rp|92-93}}

Normal polynomial $p$ : $\ gcd(p,\delta(p))=1$ .
Special polynomial $q$ : $\ gcd(q,\delta(q))=q$ .

A Ritt Algebra is a differential ring containing the field of rational numbers.{{sfn|Kaplansky|1976}}{{rp|12}}

The Ritt-Raudenbush basis theorem states that if $\mathcal{K}$ is a Ritt Algebra satisfying the ascending chain condition on radical differential ideals, then the differential ring arising from adjoining a finite number of differential indeterminants, $\mathcal{K}\{ Y \}$ , will satisfy the ascending chain condition on radical differential ideals. Implications are:{{sfn|Kaplansky|1976}}{{rp|45,48}}{{rp|56-57}}{{sfn|Kolchin |1973}}{{rp|126-129}}

A radical differential ideal is the radical of a finitely generated ideal.{{sfn|Marker|2000}}
A radical differential ideal is an intersection of a finite set of distinct unique prime ideals called essential prime components.{{sfn|Hubert|2002}}{{rp|8}}

Elimination methods

Elimination methods 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 characteristic set methods, differential Gröbner bases methods and resultant based methods.{{sfn|Kolchin |1973}}{{sfn|Li|Yuan|2019}}{{sfn|Boulier|Lazard|Ollivier|Petitot|1995}}{{sfn|Mansfield|1991}}{{sfn|Ferro|2005}}{{sfn|Chardin|1991}}{{sfn|Wu |2005b}}

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 ranking of derivatives is a total order and an admisible order, defined as:{{sfn|Kolchin |1973}}{{rp|75-76}}{{sfn|Gao|"Van der Hoeven"|Yuan|Zhang|2009}}{{rp|1141}}{{sfn|Hubert|2002}}{{rp|10}}

: $\forall p \in \Theta Y, \ \forall \theta_{ \mu } \in \Theta : \theta_{ \mu } p > p$ .

: $\forall p,q \in \Theta Y, \ \forall \theta_{ \mu } \in \Theta : p \ge q \Rightarrow \theta_{ \mu } p \ge \theta_{ \mu } q$ .

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}}{{rp|83}}

Orderly ranking: $\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}$
Elimination ranking: $\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}$

In this example, the integer tuple identifies the differential indeterminate and derivative's multi-index, and lexicographic monomial order, $\ge_{lex}$ , determines the derivative's rank.{{sfn|Wu |2005a}}{{rp|4}}

: $\eta(\delta_{1}^{e_{1}} \circ \ldots \circ \delta_{n}^{e_{n}}(y_{j}))= (j, e_{1}, \dots, e_{n})$ .

: $\eta(\theta_{ \mu } y_{j}) \ge_{lex} \eta(\theta_{\nu} y_{k}) \Rightarrow \theta_{ \mu } y_{j} \ge \theta_{\nu} y_{k}$ .

=Leading derivative, initial and separant=

This is the standard polynomial form: $p = a_{d} \cdot u_{p}^{d}+ a_{d-1} \cdot u_{p}^{d-1} + \dots +a_{1} \cdot u_{p}+ a_{0}$ .{{sfn|Kolchin |1973}}{{rp|75-76}}{{sfn|Wu |2005a}}{{rp|4}}

Leader or leading derivative is the polynomial's highest ranked derivative: $u_{p}$ .
Coefficients $a_{d}, \ldots, a_{0}$ do not contain the leading derivative $u_{p}$ .
Degree of polynomial is the leading derivative's greatest exponent: $\operatorname{deg}_{u_{p}}(p)=d$ .
Initial is the coefficient: $I_{p}=a_{d}$ .
Rank is the leading derivative raised to the polynomial's degree: $u_{p}^{d}$ .
Separant is the derivative: $S_{p}= \frac{\partial p}{\partial u_{p}}$ .

Separant set is $S_{A}= \{ S_{p} \ | \ p \in A \}$ , initial set is $I_{A}= \{ I_{p} \ | \ p \in A \}$ and combined set is $H_{A}= S_{A} \cup I_{A}$ .{{sfn|Boulier|Lazard|Ollivier|Petitot|1995}}{{rp|159}}

=Reduction=

Partially reduced (partial normal form) polynomial $q$ with respect to polynomial $p$ indicates these polynomials are non-ground field elements, $p,q \in \mathcal{K} \{ Y \} \backslash \mathcal{K}$ , and $q$ contains no proper derivative of $u_{p}$ .{{sfn|Kolchin |1973}}{{rp|75}}{{sfn|Ferro|Gerdt|2003}}{{rp|84}}{{sfn|Boulier|Lazard|Ollivier|Petitot|1995}}{{rp|159}}

Partially reduced polynomial $q$ with respect to polynomial $p$ becomes

reduced (normal form) polynomial $q$ with respect to $p$ if the degree of $u_{p}$ in $q$ is less than the degree of $u_{p}$ in $p$ .{{sfn|Kolchin |1973}}{{rp|75}}{{sfn|Ferro|Gerdt|2003}}{{rp|84}}{{sfn|Boulier|Lazard|Ollivier|Petitot|1995}}{{rp|159}}

An autoreduced polynomial set has every polynomial reduced with respect to every other polynomial of the set. Every autoreduced set is finite. An autoreduced set is triangular meaning each polynomial element has a distinct leading derivative.{{sfn|Sit|2002}}{{rp|6}}{{sfn|Kolchin |1973}}{{rp|75}}

Ritt’s reduction algorithm identifies integers $i_{A_{k}}, s_{A_{k}}$ and transforms a differential polynomial $f$ using pseudodivision to a lower or equally ranked remainder polynomial $f_{red}$ that is reduced with respect to the autoreduced polynomial set $A$ . 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}}{{rp|75}}

: $f_{red} \equiv \prod_{A_{k} \in A} I_{A_{k}}^{i_{A_{k}}} \cdot S_{A_{k}}^{i_{A_{k}}} \cdot f, \text{ } (mod[A]) \text{ with } i_{A_{k}}, s_{A_{k}} \in \mathbb{N}$ .

=Ranking polynomial sets=

Set $A$ is a differential chain if the rank of the leading derivatives is $u_{A_{1}} < \dots < u_{A_{m}}$ and $\forall i, \ A_{i}$ is reduced with respect to $A_{i+1}$ {{sfn|Li|Yuan|2019}}{{rp|294}}

Autoreduced sets $A$ and $B$ 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}}{{rp|81}}

$A_{1} < \ldots < A_{m} \in A$ and $B_{1} < \ldots < B_{n} \in B$ and $i,j,k \in \mathbb{N}$ .
$\text{rank } A < \text{rank } B$ if there is a $k \le minimum(m,n)$ such that $A_{i} = B_{i}$ for $1 \le i < k$ and $A_{k} < B_{k}$ .
$\text{rank } A < \text{rank } B$ if $n < m$ and $A_{i} = B_{i}$ for $1 \le i \le n$ .
$\text{rank } A = \text{rank } B$ if $n = m$ and $A_{i} = B_{i}$ for $1 \le i \le n$ .

=Polynomial sets=

A characteristic set $C$ is the lowest ranked autoreduced subset among all the ideal's autoreduced subsets whose subset polynomial separants are non-members of the ideal $\mathcal{I}$ .{{sfn|Kolchin |1973}}{{rp|82}}

The delta polynomial applies to polynomial pair $p,q$ whose leaders share a common derivative, $\theta_{\alpha} u_{p}= \theta_{\beta} u_{q}$ . The least common derivative operator for the polynomial pair's leading derivatives is $\theta_{pq}$ , and the delta polynomial is:{{sfn|Kolchin |1973}}{{rp|136}}{{sfn|Boulier|Lazard|Ollivier|Petitot|1995}}{{rp|160}}

: $\operatorname{\Delta - poly}(p,q)= S_{q} \cdot \frac{\theta_{pq} p}{\theta_{p}} - S_{p} \cdot \frac{\theta_{pq} q}{\theta_{q}}$

A coherent set is a polynomial set that reduces its delta polynomial pairs to zero.{{sfn|Kolchin |1973}}{{rp|136}}{{sfn|Boulier|Lazard|Ollivier|Petitot|1995}}{{rp|160}}

=Regular system and regular ideal=

A regular system $\Omega$ contains a autoreduced and coherent set of differential equations $A$ and a inequation set $H_{\Omega} \supseteq H_{A}$ with set $H_{\Omega}$ reduced with respect to the equation set.{{sfn|Boulier|Lazard|Ollivier|Petitot|1995}}{{rp|160}}

Regular differential ideal $\mathcal{I}_{dif}$ and regular algebraic ideal $\mathcal{I}_{alg}$ are saturation ideals that arise from a regular system.{{sfn|Boulier|Lazard|Ollivier|Petitot|1995}}{{rp|160}} Lazard's lemma states that the regular differential and regular algebraic ideals are radical ideals.{{sfn|Morrison|1999}}

Regular differential ideal: $\mathcal{I}_{dif}=[A]:H_{\Omega}^{\infty}$ .
Regular algebraic ideal: $\mathcal{I}_{dif}=(A):H_{\Omega}^{\infty}$ .

=Rosenfeld–Gröbner algorithm=

The Rosenfeld–Gröbner algorithm 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 minimal.{{sfn|Boulier|Lazard|Ollivier|Petitot|1995}}{{rp|158}}

The membership problem is to determine if a differential polynomial $p$ is a member of an ideal generated from a set of differential polynomials $S$ . 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}}{{rp|164}}

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

Examples

=Differential fields=

Example 1: $(\operatorname{Mer}(\operatorname{f}(y), \partial_{y} )$ is the differential meromorphic function field with a single standard derivation.

Example 2: $(\mathbb{C} \{ y \}, (1+3 \cdot y + y^{2}) \cdot \partial_{y} )$ is a differential field with a linear differential operator as the derivation.

=Derivation=

Define $E^{a}(p(y))=p(y+a)$ as shift operator $E^{a}$ for polynomial $p(y)$ .

A shift invariant operator $T$ commutes with the shift operator: $E^{a} \circ T=T \circ E^{a}$ .

The Pincherle derivative, a derivation of shift invariant operator $T$ , is $T^{\prime} = T \circ y - y \circ T$ .{{sfn|Rota|Kahaner|Odlyzko|1973}}{{rp|694}}

=Constants=

Ring of integers is $(\mathbb{Z}. \delta)$ , and every integer is a constant.

The derivation of 1 is zero. $\delta(1)=\delta(1 \cdot 1)=\delta(1) \cdot 1 + 1 \cdot \delta(1) = 2 \cdot \delta(1) \Rightarrow \delta(1)=0$ .
Also, $\delta(m+1)=\delta(m)+\delta(1)=\delta(m) \Rightarrow \delta(m+1)=\delta(m)$ .
By induction, $\delta(1)=0 \ \wedge \ \delta(m+1)= \delta(m) \Rightarrow \forall \ m \in \mathbb{Z}, \ \delta(m)=0$ .

Field of rational numbers is $(\mathbb{Q}. \delta)$ , and every rational number is a constant.

Every rational number is a quotient of integers.

: $\forall r \in \mathbb{Q}, \ \exists \ a \in \mathbb{Z}, \ b \in \mathbb{Z}/ \{ 0 \}, \ r=\frac{a}{b}$

Apply the derivation formula for quotients recognizing that derivations of integers are zero:

: $\delta (r)= \delta \left ( \frac{a}{b} \right ) = \frac{\delta(a) \cdot b - a \cdot \delta(b)}{b^{2}}=0$ .

=Differential subring=

Constants form the subring of constants $(\mathbb{C}, \partial_{y}) \subset (\mathbb{C} \{ y \}, \partial_{y})$ .{{sfn|Kolchin |1973}}{{rp|60}}

=Differential ideal=

Element $\exp(y)$ simply generates differential ideal $[\exp(y)]$ in the differential ring $(\mathbb{C} \{ y, \exp(y) \}, \partial_{y})$ .{{sfn|Sit|2002}}{{rp|4}}

=Algebra over a differential ring=

Any ring with identity is a $\operatorname{\mathcal{Z}-}$ algebra.{{sfn|Dummit|Foote|2004}}{{rp|343}} Thus a differential ring is a $\operatorname{\mathcal{Z}-}$ algebra.

If ring $\mathcal{R}$ is a subring of the center of unital ring $\mathcal{M}$ , then $\mathcal{M}$ is an $\operatorname{\mathcal{R}-}$ algebra.{{sfn|Dummit|Foote|2004}}{{rp|343}} Thus, a differential ring is an algebra over its differential subring. This is the natural structure of an algebra over its subring.{{sfn|Kolchin |1973}}{{rp|75}}

=Special and normal polynomials=

Ring $(\mathbb{Q} \{ y, z \}, \partial_{y})$ has irreducible polynomials, $p$ (normal, squarefree) and $q$ (special, ideal generator).

: $\partial_{y}(y)=1, \ \partial_{y}(z)=1+z^{2}, \ z=\tan(y)$

: $p(y)=1+y^{2}, \ \partial_{y}(p)=2 \cdot y, \ \operatorname{gcd}(p, \partial_{y}(p))=1$

: $q(z)=1+z^{2}, \ \partial_{y}(q)=2 \cdot z \cdot (1+z^{2}), \ \operatorname{gcd}(q, \partial_{y}(q))=q$

=Polynomials=

==Ranking==

Ring $(\mathbb{Q} \{ y_{1}, y_{2} \}, \delta)$ has derivatives $\delta(y_{1})=y_{1}^{\prime}$ and $\delta(y_{2})=y_{2}^{\prime}$

Map each derivative to an integer tuple: $\eta( \delta^{(i_{2})}(y_{i_{1}}) )=(i_{1}, i_{2})$ .
Rank derivatives and integer tuples: $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)$ .

==Leading derivative and intial==

The leading derivatives, and initials are:

: $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}$

: $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}$

: $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}$

==Separants==

: $S_{p}= 2 \cdot (y_{1}+ y_{1}^{\prime}) \cdot y_{2}^{\prime \prime} + 3 \cdot y_{1}^{2}$ .

: $S_{q}= y_{1}+ 3 \cdot y_{1}^{\prime}$

: $S_{r}= 2 \cdot (y_{1}+3) \cdot y_{1}^{\prime \prime} + y_{1}^{2}$

==Autoreduced sets==

Autoreduced sets are $\{ p, r \}$ and $\{ q, r \}$ . Each set is triangular with a distinct polynomial leading derivative.
The non-autoreduced set $\{ p, q \}$ contains only partially reduced $p$ with respect to $q$ ; 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}}{{rp|41, 51, 53,102, 299,309}}

=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.{{sfn|Hubert|2002}}{{rp|41-47}}

In a study of non-linear dynamical systems with 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 Lypapunov functions.{{sfn|Harrington|VanGorder|2017}}. Researchers have applied differential elimination to understanding cellular biology, compartmental biochemical models, parameter estimation and quasi-steady state approximation (QSSA) for biochemical reactions.{{sfn|Boulier|2007}}{{sfn|Boulier|Lemaire| 2009a}} Using differential Gröbner bases, researchers have investigated non-classical symmetry properties of non-linear differential equations.{{sfn|Clarkson|Mansfield|1994}} Other applications include control theory, model theory, and algebraic geometry.{{sfn|Diop|1992}}{{sfn|Marker|2000}}{{sfn|Buium|1994}} Differential algebra also applies to differential-difference equations.{{sfn|Gao|"Van der Hoeven"|Yuan|Zhang|2009}}

Algebras with derivations

=Differential graded vector space=

A $\operatorname{\mathbb{Z} - graded}$ vector space $V_{\bullet}$ is a collection of vector spaces $V_{m}$ with integer degree $|v|=m$ for $v\in V_{m}$ . A direct sum can represent this graded vector space:{{sfn|Keller|2019}}{{rp|48}}

: $V_{\bullet} = \bigoplus_{m \in \mathbb{Z}} V_{m}$

A differential graded vector space or chain complex, is a graded vector space $V_{\bullet}$ with a differential map or boundary map $d_{m}: V_{m} \to V_{m-1}$ with $d_{m} \circ d_{m+1} = 0$ .{{sfn|Keller|2019}}{{rp|50-51}}

A cochain complex is a graded vector space $V^{\bullet}$ with a differential map or coboundary map

$d_{m}: V_{m} \to V_{m+1}$ with $d_{m+1} \circ d_{m} = 0$ .{{sfn|Keller|2019}}{{rp|50-51}}

=Differential graded algebra=

A differential graded algebra is a graded algebra $A$ with a linear derivation $d: A \to A$ with $d \circ d=0$ that follows the graded Leibniz product rule.{{sfn|Keller|2019}}{{rp|58-59}}

Graded Leibniz product rule: $\forall a,b \in A, \ d(a \cdot b)=d(a) \cdot b + (-1)^$
a
\cdot a \cdot d(b) with $|a|$ the degree of vector $a$ .

=Lie algebra=

A Lie algebra is a finite dimensional real or complex vector space $\mathcal{g}$ with a bilinear bracket operator $[,]:\mathcal{g} \times \mathcal{g} \to \mathcal{g}$ with Skew symmetry and the Jacobi identity property.{{sfn|Hall|2015}}{{rp|49}}

Skew symmetry: $\forall X, Y \in \mathcal{g}, \ [X,Y]= -[Y,X]$ .
Jacobi identity propert: $\forall X, Y, Z \in \mathcal{g}, \ [X,[Y,Z]]+[Y,[Z,X]] + [Z,[X,Y]]=0$ .

The adjoint operator, $\operatorname{ad_{X}}(Y)=[Y,X]$ is a derivation of the bracket 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 inner derivation determined by $X$ .{{sfn|Hall|2015}}{{rp|51}}{{sfn|Jacobson|1979}}{{rp|9}}

: $\operatorname{ad_{X}}([Y,Z]) = [\operatorname{ad_{X}}(Y),Z] + [Y,\operatorname{ad_{X}}(Z)]$

The universal enveloping algebra $U(\mathcal{g})$ of Lie algebra $\mathcal{g}$ is a maximal associative algebra with identity, generated by Lie algebra elements $\mathcal{g}$ 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}}{{rp| 247}}

Product in $U(\mathcal{g})$ : $X \cdot Y - Y \cdot X = [X,Y], \ \forall X,Y \in U(\mathcal{g})$
Leibniz product rule: $\forall X,Y,Z \in U(\mathcal{g}) \ : \ Ad_{X}( Y \cdot Z)=Ad_{X}(Y) \cdot Z + Y \cdot Ad_{X}(Z)$ .

=Weyl algebra=

The Weyl algebra is an algebra $A_{n}(K)$ over a ring $K [p_{1}, q_{1}, \dots, p_{n}, q_{n}]$ with a specific noncommutative product: {{sfn|Lam|1991}}{{rp|7-8}}

: $p_{i} \cdot q_{i} - q_{i} \cdot p_{i}=1, \ : \ i \in \{1, \dots, n \}$ .

All other indeterminate products are commutative for $i,j \in \{1, \dots, n \}$ :

: $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$ .

A Weyl algebra can represent the derivations for a commutative ring's polynomials $f \in K[y_{1}, \ldots, y_{n}]$ . The Weyl algebra's elements are endomorphisms, the elements $p_{1}, \ldots, p_{n}$ function as standard derivations, and map compositions generate linear differential operators. D-module is a related approach for understanding differential operators. The endomorphisms are:{{sfn|Lam|1991}}{{rp|7-8}}

: $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$

A derivative operator $D^{\alpha}$ and a linear differential operator $P(\textbf{y},D)$ are:{{sfn|Taylor|1991}}{{rp|7}}

: $D^{\alpha}=(-i \cdot \partial_{1}^{e_{1}}) \circ \ldots \circ (-i \cdot \partial_{n}^{e_{n}})$ with $\alpha = (e_{1}, \dots, e_{d}) \in \mathbb{N}^{d}$

: $p(\textbf{y},D)= \sum _{|\alpha| \le M} a_{\alpha} (\textbf{y}) \cdot D^{\alpha}$ with $\textbf{y}= (y_{1}, \dots, y_{d})$

An integral expression, a pseudodifferential operator, expresses this linear differential operator using the Fourier transformed function $\hat{f}$ and pseudodifferential operator symbol function $p(\textbf{y}, \textbf{x})$ . This approach is used to solve differential equations.{{sfn|Taylor|1991}}{{rp|7}}

: $p(\textbf{y},D) f(\textbf{y}) = \int_{\mathcal{R}^{d}} e^{i \cdot \textbf{y} \cdot \textbf{x}} \cdot p(\textbf{y}, \textbf{x}) \cdot \hat{f}(\textbf{x}) \ d\textbf{x}$ with $\textbf{x}= (x_{1}, \dots, x_{d})$

Challenging problems

The Ritt problem 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}}

The Kolchin catenary conjecture states given a $d>0$ dimensional irreducible differential algebraic variety $V$ and an arbitrary point $p \in V$ , a long gap chain of irreducible differential algebraic subvarieties occurs from $p$ to V.{{sfn|Freitag|Sánchez|Simmons|2016}}

The Jacobi bound conjecture 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}}

Notes

References

{{cite journal |last1=Boulier |first1=François |last2=Lazard |first2=Daniel |last3=Ollivier |first3=François |last4=Petitot |first4=Michel |title=Representation for the radical of a finitely generated differential ideal |journal=Proceedings of the 1995 international symposium on Symbolic and algebraic computation - ISSAC '95 |date=1995 |pages=158–166 |doi=10.1145/220346.220367 |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 |pages=109–138 |doi=10.1515/9783110922752.109 |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 |url=https://link.springer.com/article/10.1007/s00200-009-0091-7}}
{{cite book |last1=Bronstein |first1=Manuel |title=Symbolic integration I : transcendental functions | url=https://link.springer.com/book/10.1007/b138171 |date=2005 |publisher=Springer |location=Berlin |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 |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 |url=https://arxiv.org/abs/solv-int/9306002}}
{{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 |url=https://link.springer.com/article/10.1023/A:1022996615890#citeas}}
{{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 |date=2005 |publisher=Birkhäuser |isbn=978-3-7643-7429-7 |pages=343–350 |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 |url=https://arxiv.org/pdf/1401.6211.pdf |doi=10.1080/00927872.2015.1057828}}
{{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 |url=https://www.sciencedirect.com/science/article/pii/S0747717109000145}}
{{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#citeas |doi=10.1007/s10958-009-9689-3}}
{{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 |url=https://link.springer.com/article/10.1007/s11071-016-3272-5}}
{{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 |page=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 |date=2019 |location=Wiesbaden, Germany |isbn=978-3-658-25337-0 |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 |date=1991 |publisher=Springer-Verlag |location=New York |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}}
{{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 |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=Ritt |first1=Jospeh 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 |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 |page=684-760 |url=https://pdf.sciencedirectassets.com/272578/1-s2.0-S0022247X00X04039/1-s2.0-0022247X73901728/main.pdf?X-Amz-Security-Token=IQoJb3JpZ2luX2VjECoaCXVzLWVhc3QtMSJGMEQCICyVUZ0erxlM8Uls3cPS5fhQWNAa3s9QJRIMVYH6gTNrAiAkdRE5KAQ%2BVNvSnoEuJ6q%2Fh5%2BZMoXz7exVoAVTZMa3%2FSq8BQjT%2F%2F%2F%2F%2F%2F%2F%2F%2F%2F8BEAUaDDA1OTAwMzU0Njg2NSIMNGBuK%2FeWaLo%2BS5B%2BKpAF7fAEHqhGmuF5UUhBaoteeVAWfGqTa9hZDnnY%2BCsMtmuCNb7QLrznBbrFd%2B6nGFxG3NkJadFf75cnQ9Q377yY2b2slBf3M1RkIV0gCIs%2Fw%2Fa1pa1Uy0%2FPJ1UiD3pYcE%2F%2BxuiUzLFCASUhwWTzDGwrm3ybSm2i4Q08Zf%2F5%2FztvGnE9fgwtsyCoRkkxaCy2yJi1JklGm%2F9U664svCds%2FFcWh%2FITi8o5YjyK2RImAF4J4u9j9lBXadOaEvBV19UMQmde0Dy0EjAF35V%2BI5RQZae3i%2FsDP2EwuCSyBVZ3Kw34x1YHTQZDNU%2FLHDgI3fFz7a5DYamBg%2FHOUi8VVlD3rhaQZS1LujdzAl8Usom10Io1QspoUw9dnIs3Ml5B5eE5SUfYNZZzauPyQmnjB1GNautMp1anvXr8VTIkmMzzETVKbHfaiEsbgmWfSfU%2F%2BrHAA0p1yz5jemELnYo%2BjHzLMHN6Ag5tiDw6hGZNxgfCT3Kem3%2BFcZl0s81R5VSJDsQ0Wl7Fzm%2BYmfazvJXlI0VubN1IAckE6Dqk4woDHfQsEi0o6EpI8NXvQCxaqm%2BcCLyetP96YR9fLtKr2ZWVW87xmY%2FoICze9GpxQ73OvF819AEebo8pYiDnN9BDHwNsdqO3tlYOHSY1gJ%2FUapKM2W2AnDHy9K7kghn9IJG3uG99a2kjVFHu5Jchm9Wmkau9%2B9rwD6JNKpH8%2FflxL9j%2Fjul0aJ6a0Bt%2BOqKqnhF5D5vYZqNaRy%2BP%2F%2BavMb1Ss6cTTQn85yfmkghon9GgGwku166XWkjCr64m85dKrGDKmnSMpfOXMnAJd8gglK64ZuJ0hAqc3h1693oWYrXF2Pc3r%2BKKbqSpQRKIgoJL0ByU7eYXL0r4h7IwnKWMoAY6sgEnXeaqmvnJuPaQDmmmZAQwucmHpnWJwPsVC8yBdf5XMJ9A4HxWRDb3b1FkoEnyGfFD%2BI%2F8lRyFIAAMEm9z%2FtIbbqNfktp847c9YTMapL6tifBHne8KMlNiLUcUF7mKdAl60aNYc2xAbkNKN8wg4l1Uf6zIm5UhwM8squd3eE%2F5B2B%2BuA4pax3QBuQCYUfXW1kB0N%2B8QW%2F5giwffvntyVrZ78wtD%2Bgb2VikSC45FpdgLtKs&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Date=20230304T105048Z&X-Amz-SignedHeaders=host&X-Amz-Expires=300&X-Amz-Credential=ASIAQ3PHCVTYYZJ7UWZ4%2F20230304%2Fus-east-1%2Fs3%2Faws4_request&X-Amz-Signature=0bd9d80930ab77fb4e96cd5a272b112daf7a5abfe5a0db47d567a65555b1d460&hash=7eddb0f35b20bb7ae4ca4ce4e38bcc080a07d226521fcbc0f27358decb31f192&host=68042c943591013ac2b2430a89b270f6af2c76d8dfd086a07176afe7c76c2c61&pii=0022247X73901728&tid=spdf-610e3835-4f6e-4a5a-bc5d-f8b8de4d5581&sid=543e15161cc8584ae3091020b8f6e19c33f2gxrqa&type=client&tsoh=d3d3LnNjaWVuY2VkaXJlY3QuY29t&ua=10155106575c5b095453&rr=7a298f734a0fecdb&cc=us}}
{{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 |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 |url=https://www.sciencedirect.com/journal/computers-and-chemical-engineering/vol/114/suppl/C}}
{{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

|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 |date=2005b |publisher=Birkhäuser |isbn=978-3-7643-7429-7 |pages=351–368 |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 |url=https://link.springer.com/content/pdf/10.1134/S0040577921120011.pdf}}

External links

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

User:TMM53/tmp/differential algebra 2023-03-06

History

Definitions

=Differential ring=

=Derivation formulas=

=Derivative operator=

=Subrings=

=Ideals=

=Ring homomorphism=

=Modules=

=Polynomials=

Elimination methods

=Ranking derivatives=

=Leading derivative, initial and separant=

=Reduction=

=Ranking polynomial sets=

=Polynomial sets=

=Regular system and regular ideal=

=Rosenfeld–Gröbner algorithm=

Examples

=Differential fields=

=Derivation=

=Constants=

=Differential subring=

=Differential ideal=

=Algebra over a differential ring=

=Special and normal polynomials=

=Polynomials=

==Ranking==

==Leading derivative and intial==

==Separants==

==Autoreduced sets==

Applications

=Symbolic integration =

=Differential equations=

Algebras with derivations

=Differential graded vector space=

=Differential graded algebra=

=Lie algebra=

=Weyl algebra=

Challenging problems

See also

Notes

References

External links