Covector

Una 1-forma o uno-forma o covector, intuitivamente es un objeto matemático definido sobre un cierto dominio ${displaystyle Omega subset mathbb {R} ^{n}}$ (o de una variedad diferenciable) que "operado" con un campo vectorial da lugar un campo escalar o función definida sobre el mismo dominio. Es decir:

${displaystyle T:{mbox{Vec}}_{n}(Omega ) o mathbb {R} qquad {mbox{Vec}}_{n}(Omega )={mathcal {C}}^{(k)}(Omega ,mathbb {R} ^{n})}$

Donde ${displaystyle {mbox{Vec}}_{n}(Omega )}$ denota el conjunto de funciones vectoriales con derivadas parciales continuas hasta orden n definidas sobre ${displaystyle Omega }$, es decir, es un conjunto formado por campos vectoriales. Una 1-forma o forma uno es un caso particular de n-forma.

${displaystyle delta W=mathbf {F} cdot dmathbf {r} =F_{x}dx+F_{y}dy+F_{z}dz}$

Es una 1-forma, que aplicada a un vector velocidad da la potencia realizada por la fuerza:

${displaystyle P=langle mathbf {F} ,mathbf {v} angle =F_{x}v_{x}+F_{y}v_{y}+F_{z}v_{z}}$

La integral a lo largo del tiempo de la potencia, que es un escalar, da el trabajo finito realizado por la fuerza. Cuando la 1-forma trabajo infinitesimal debido a la naturaleza de las fuerzas es una diferencial exacta, se dice que el conjunto de fuerzas forma un campo conservativo.

${displaystyle delta q=T(S,V) dSqquad delta q=C_{V}(V,T)dTqquad delta q=C_{p}(p,T)dT}$

Donde ${displaystyle C_{v},C_{p}}$ son las capacidades caloríficas bajo volumen y bajo presión constantes respectivamente y ${displaystyle dS,dT}$ son 1-formas exactas asociadas a las variables de estado, entropía y temperatura respectivamente. Un factor integrante es una función multiplicativa que convierte a una 1-forma no exacta en exacta. Así un factor integrante para la magnitud "calor infinitesimal" es el inverso de la temperatura, en ese caso la 1-forma resultante puede derivarse de la variable de estado llamada entropía.

${displaystyle df={frac {partial f}{partial x}}dx+{frac {partial f}{partial y}}dy+{frac {partial f}{partial z}}dz}$

Por ser la anterior una 1-forma exacta, es también una 1-forma cerrada, lo cual implica que:

${displaystyle {frac {partial ^{2}f}{partial x_{i}partial x_{j}}}-{frac {partial ^{2}f}{partial x_{j}partial x_{i}}}=0}$

Una 1-forma F, se dice exacta si existe una función g tal que:

${displaystyle left[mathbf {F} =sum _{i}F_{i} dx^{i}quad {mbox{exacta}} ight]quad Longleftrightarrow quad F_{i}={frac {partial g}{partial x_{i}}}}$

Se puede probar que una condición necesaria y suficiente para que una 1-forma sea exacta, alrededor de algún punto, de acuerdo con el teorema de Poincaré es que exista algún punto en el que se cumpla que:

${displaystyle {frac {partial F_{i}}{partial x_{j}}}={frac {partial F_{j}}{partial x_{i}}}}$

Cuando la condición anterior se satisface en algún punto entonces la 1-forma es localmente exacta en ese punto, es decir, existe una pequeña región alrededor del punto en el que la 1-forma es exacta.

Obviamente no toda 1-forma es exacta, un ejemplo físico interesante lo constituye el calor o el trabajo que aparecen en la forma diferencial de la energía interna tal como suele usarse para formular, el primer principio de la termodinámica:

${displaystyle dU=delta Q+delta Wqquad delta Q:=T(S,V) dSqquad delta W:=-p(S,V) dV}$

Obviamente esta diferencial de la energía interna sí es una 1-forma exacta puesto que la energía interna es una variable de estado. Sin embargo, ni el calor, ni el trabajo son 1-formas exactas. Para el calor tenemos:

${displaystyle delta Q=T(S,V) dS+0 dVquad land quad left({frac {partial T}{partial V}} ight)_{S} eq 0quad Rightarrow quad lnot exists {ar {Q}}(S,V):left[left({frac {partial {ar {Q}}}{partial S}} ight)_{V}=Tland left({frac {partial {ar {Q}}}{partial V}} ight)_{S}=0 ight]}$

En la anterior ecuación si la derivada de la temperatura respecto al volumen fuera nula significaría que el cuerpo tiene una tasa de dilatación adiabática infinita, lo cual es absurdo. Para el trabajo tenemos que por las relaciones de Maxwell, el trabajo no es una 1-forma exacta a menos que el coeficiente de dilatación adiabática (α_S) sea cero, ya que el trabajo solo puede ser una diferencial exacta en un sistema termodinámico si y solo si:

${displaystyle left({frac {partial p}{partial S}} ight)_{V}=-left({frac {partial T}{partial V}} ight)_{S}=-{frac {1}{Valpha _{S}}}}$

---