Corps différentiel

Un article de Wikipédia, l'encyclopédie libre.

La notion de corps différentiel permet de formaliser la notion de dérivation de fonctions, en vue de construire une théorie de Galois différentielle. Un corps différentiel est un cas particulier d'anneau différentiel.

[modifier] Définition

Un corps différentiel est la donnée d'un corps K et d'une dérivation $\partial$ sur K qui vérifie :

$\forall y_1,y_2 \in K, \partial (y_1+y_2)=\partial (y_1)+\partial(y_2)$
$\forall y_1,y_2 \in K, \partial (y_1y_2)=\partial (y_1)y_2+y_1\partial(y_2)$ (formule de Leibniz)

[modifier] Exemples

Tout corps peut être muni de la dérivation nulle. On s'attend dans ce cas à ce que la théorie des corps différentiels coïncide avec la théorie des corps.

L'exemple paradigmatique est $\mathbb{C}(t)$ , le corps des fractions rationnelles, muni de la dérivation usuelle (celle qui étend la dérivation des polynômes).

Cet exemple peut être décliné dans des versions plus complexes :

Le corps des séries de Laurent $\mathbb{C} \left ( \left ( t \right ) \right )$ muni de la dérivation usuelle (celle qui étend la dérivation des séries formelles)

Le corps $\mathbb{C} \left (\{ t \}\right )$ des germes de fonctions méromorphes au voisinage de 0 muni de la dérivation induite par la dérivation des fonctions holomorphes. Ce corps peut aussi être vu comme le corps des fractions de l'anneau intègre $\mathbb{C} \{ t \}$ des séries formelles à coefficients dans C qui ont un rayon de convergence non-nul.

Le corps différentiel $K < y >$ est par définition le corps des fractions rationnelles à une infinité (dénombrable) d'indéterminées, $K<y>=K(y_0, y_1, y_2, \ldots)$ muni de la dérivation définie par $\partial y_i=y_{i+1}$ pour tout i et $\forall x\in K, \,\partial x=0$ .