# Algebra differenziale

In matematica, l'algebra differenziale costituisce il punto di contatto tra l'algebra astratta e l'analisi matematica, in quanto studia le strutture algebriche munite di un'operazione di "derivazione", definita come una particolare operazione unaria interna che soddisfa la regola fondamentale della derivata, cioè la regola di Leibniz.

## Anello e campo differenziale

Un anello differenziale è un anello $R$ equipaggiato di una derivazione, cioè di una funzione
    $\partial :R\to R$
che soddisfi le proprietà di additività e la regola di Leibniz:
    $\partial (r+s)=\partial (r)+\partial (s)$
    $\partial (rs)=\partial (r)s+r\partial (s)$
Occorre fare attenzione alla scrittura della seconda identità, in quanto l'anello potrebbe non essere commutativo e quindi l'usuale scrittura $\partial (rs)=r\partial (s)+s\partial (r)$ potrebbe essere falsa. In generale la regola si può esprimere come
    $\partial \circ M=M\circ (\partial \otimes \operatorname {id} )+M\circ (\operatorname {id} \otimes \partial ).$
dove $M:R\times R\to R$ è la moltiplicazione dell'anello e $(f\otimes g)(x,y)=(f(x),g(y))$.
Un campo differenziale è, di conseguenza, un anello differenziale che sia anche un campo. In questo caso non è più necessario l'accorgimento precedente, in quanto la moltiplicazione è sempre commutativa.

### Ulteriori definizioni e proprietà

Usando semplicemente i due assiomi imposti, si riescono a dimostrare, in ogni anello differenziale unitario, alcune proprietà dell'operatore di derivazione già note dall'analisi reale:
    $\partial (1)=\partial (0)=0,$
    $\partial (-f)=-\partial (f),$
dove con $1$ e $0$ si sono indicati i due elementi neutri rispettivamente della moltiplicazione e dell'addizione. Se l'anello è commutativo e $g$ è invertibile allora vale anche regola del quoziente:
    $\partial \left({\frac {f}{g}}\right)={\frac {g\partial (f)-f\partial (g)}{g^{2}}}.$
Il campo delle costanti di $F$ è definito come
    $K=\{c\in F:\partial (c)=0\}$
Dati due campi differenziali $(F,\partial _{F})$ e $(G,\partial _{G})$, un omomorfismo differenziale è un omomorfismo di campi che "commuti" con la derivazione, cioè tale che
    $\phi (\partial _{F}(f))=\partial _{G}(\phi (f))$
Se $G$ è un'estensione di $F$ e l'inclusione canonica di $F$ in $G$ è un omomorfismo differenziale, cioè se
    $\partial _{F}(f)=\partial _{G}(f)$
per ogni $f\in F,$ allora $G$ si dice un'estensione differenziale.
Un elemento di un campo differenziale $f$ si dirà un logaritmo se esiste un elemento $g$ tale che
    $\partial (f)={\frac {\partial (g)}{g}}.$
Un elemento di un campo differenziale $f$ si dirà un'esponenziale se esiste un elemento $g$ tale che
    $\partial (f)=f\partial (g).$

### Esempi

L'anello dei polinomi $K[x]$ nella variabile $x$ sul campo $K$ è un anello differenziale se munito dell'operatore
    $p=\sum _{j=0}^{n}a_{j}x^{j}\mapsto p'=\sum _{j=0}^{n-1}(j+1)a_{j+1}x^{j}$
con $p'=0$ se $n=0$ (cioè se il polinomio è costante). Si verifica che $\alpha$ è una radice multipla di $p$ se e solo se $p'(\alpha )=0$.
Nel caso $K=\mathbb {Q}$, si può dire che una derivazione sul campo $\mathbb {Q} (x)$ delle funzioni razionali nella variabile $x$ a coefficienti razionali che estenda la derivazione su $\mathbb {Q} [x]$ appena introdotta è completamente caratterizzato dalla condizione $\partial (x)=1$. Il suo campo delle costanti è $\mathbb {Q}$.

### Integrazione indefinita in un campo differenziale

Avendo introdotto la derivazione in modo formale, si può anche parlare di integrale indefinito di un elemento di un campo differenziale. Più precisamente, dato un $f$ in $F$, il processo di integrazione indefinita di $f$ consiste nel determinare un'estensione differenziale $G$ di $F$ nella quale esiste un elemento $g=\int f$ tale che $\partial (g)=f$.
È necessario ammettere che $g$ stia in un'arbitraria estensione di $F$ e non in $F$ stesso: ad esempio, nel caso $\mathbb {Q} (x)$ sopra introdotto, si può dimostrare che non esiste un elemento $g$ tale che $\partial (g)={\frac {1}{x}}.$
Data questa definizione di integrale si ritrova identica anche la cosiddetta regola di integrazione per parti:
    $\int f\cdot \partial (g)=f\cdot g-\int g\cdot \partial (f).$

## Algebra su campo differenziale

Sia $A$ un'algebra sul campo $K.$ Si può definire una derivazione su $A$ come una funzione lineare $\partial :A\to A$ che soddisfi la regola di Leibniz. In tal caso $A$ è detta algebra differenziale su un campo.