You are here
Homedifferential field
Primary tabs
differential field
Let $F$ be a field (ring) together with a derivation $(\cdot)^{{\prime}}\colon F\to F$. The derivation must satisfy two properties:
 Additivity

$(a+b)^{{\prime}}=a^{{\prime}}+b^{{\prime}}$;
 Leibniz’ Rule

$(ab)^{{\prime}}=a^{{\prime}}b+ab^{{\prime}}$.
A derivation is the algebraic abstraction of a derivative from ordinary calculus. Thus the terms derivation, derivative, and differential are often used interchangeably.
Together, $(F,{}^{{\prime}})$ is referred to as a differential field (ring). The subfield (subring) of all elements with vanishing derivative, $K=\{a\in F\mid a^{{\prime}}=0\}$, is called the field (ring) of constants. Clearly, $(\cdot)^{{\prime}}$ is $K$linear.
There are many notations for the derivation symbol, for example $a^{{\prime}}$ may also be denoted as $da$, $\delta a$, $\partial a$, etc. When there is more than one derivation $\partial_{i}$, $(F,\{\partial_{i}\})$ is referred to as a partial differential field (ring).
1 Examples
Differential fields and rings (together under the name of differential algebra) are a natural setting for the study of algebraic properties of derivatives and antiderivatives (indefinite integrals), as well as ordinary and partial differential equations and their solutions. There is an abundance of examples drawn from these areas.

The trivial example is a field $F$ with $a^{{\prime}}=0$ for each $a\in F$. Here, nothing new is gained by introducing the derivation.

The most common example is the field of rational functions $\mathbb{R}(z)$ over an indeterminant satisfying $z^{{\prime}}=1$. The field of constants is $\mathbb{R}$. This is the setting for ordinary calculus.

Another example is $\mathbb{R}(x,y)$ with two derivations $\partial_{x}$ and $\partial_{y}$. The field of constants is $\mathbb{R}$ and the derivations are extended to all elements from the properties $\partial_{x}x=1$, $\partial_{y}y=1$, and $\partial_{x}y=\partial_{y}x=0$.

Consider the set of smooth functions $C^{\infty}(M)$ on a manifold $M$. They form a ring (or a field if we allow formal inversion of functions vanishing in some places). Vector fields on $M$ act naturally as derivations on $C^{\infty}(M)$.

Let $A$ be an algebra and $U_{t}=\exp(tu)$ be a oneparameter subgroup of automorphisms of $A$. Here $u$ is the infinitesimal generator of these automorphisms. From the properties of $U_{t}$, $u$ must be a linear operator on $A$ that satisfies the Leibniz rule $u(ab)=u(a)b+au(b)$. So $(A,u)$ can be considered a differential ring.
Mathematics Subject Classification
13N15 no label found12H05 no label found Forums
 Planetary Bugs
 HS/Secondary
 University/Tertiary
 Graduate/Advanced
 Industry/Practice
 Research Topics
 LaTeX help
 Math Comptetitions
 Math History
 Math Humor
 PlanetMath Comments
 PlanetMath System Updates and News
 PlanetMath help
 PlanetMath.ORG
 Strategic Communications Development
 The Math Pub
 Testing messages (ignore)
 Other useful stuff
Recent Activity
new correction: Error in proof of Proposition 2 by alex2907
Jun 24
new question: A good question by Ron Castillo
Jun 23
new question: A trascendental number. by Ron Castillo
Jun 19
new question: Banach lattice valued Bochner integrals by math ias