Movatterモバイル変換


[0]ホーム

URL:


Vés al contingut
Viquipèdial'Enciclopèdia Lliure
Cerca

Covector

De la Viquipèdia, l'enciclopèdia lliure

S'anomenencovectors o1-forma lesformes lineals d'unespai vectorial. Els covectors són, per tant, els elements de l'espai dual d'un espai vectorial.

Intuïtivament un covector és un objecte matemàtic definit sobre un cert dominiΩRn{\displaystyle \Omega \subset \mathbb {R} ^{n}} (o d'unavarietat diferenciable) que "operat" amb uncamp vectorial dona lloc uncamp escalar o funció definida sobre el mateix domini. És a dir:

T:Vecn(Ω)RVecn(Ω)=C(k)(Ω,Rn){\displaystyle T:{\mbox{Vec}}_{n}(\Omega )\to \mathbb {R} \qquad {\mbox{Vec}}_{n}(\Omega )={\mathcal {C}}^{(k)}(\Omega ,\mathbb {R} ^{n})}

OnVecn(Ω){\displaystyle {\mbox{Vec}}_{n}(\Omega )} denota el conjunt de funcions vectorials amb derivades parcials contínues fins a ordre k definides sobreΩ{\displaystyle \Omega }, és a dir, és un conjunt format per camps vectorials. Una 1-forma o manera un és un cas particular d' n-forma.

Exemples d'1-formes en física

[modifica]
  • Enmecànica newtoniana diverses magnituds funcionen com 1-formes. Per exemple, el "treball infinitesimal" pot ser formalitzat adequadament com una 1-forma definida al llarg de la trajectòria d'una partícula:

δW=Fdr=Fxdx+Fydy+Fzdz{\displaystyle \delta W=\mathbf {F} \cdot d\mathbf {r} =F_{x}dx+F_{y}dy+F_{z}dz}

És una 1-forma, que aplicada a un vector velocitat dona la potència realitzada per la força:

δW,v=Fxvx+Fyvy+Fzvz{\displaystyle \langle \delta W,\mathbf {v} \rangle =F_{x}v_{x}+F_{y}v_{y}+F_{z}v_{z}}

La integral al llarg del temps de la potència, que és un escalar, dona el treball finit realitzat per la força. Quan la 1-forma treball infinitesimal causa de la naturalesa de les forces és una diferencial exacta, es diu que el conjunt de forces forma uncamp conservatiu.

  • En termodinàmica l'anomenat impròpiament "calor infinitesimal" és una altra 1-forma, normalment no exacta, que és expressable en diferents tipus de coordenades:

δq=T(S,V) dSδq=CV(V,T)dTδq=Cp(p,T)dT{\displaystyle \delta q=T(S,V)\ dS\qquad \delta q=C_{V}(V,T)dT\qquad \delta q=C_{p}(p,T)dT}

OnCv,CP{\displaystyle C_{v},C_{P}} són lescapacitats calorífiques baix volum i sota pressió constants respectivament idS,dT{\displaystyle dS,dT} són 1-formes exactes associades a les variables d'estat, temperatura i entropia respectivament.Un factor integrant és una funció multiplicativa que converteix a una 1-forma no exacta en exacta. Així un factor integrant per a la magnitud "calor infinitesimal" és l'invers de la temperatura, en aquest cas la 1-forma resultant pot derivar de lavariable d'estat anomenadaentropia

  • Enelectrodinàmica clàssica el potencial vector pot ser considerat una 1-forma sobre unespaitemps dequatre dimensions del qual es pot derivar totes les components del camp electromagnètic. Aquesta 1-forma mai és exacta a menys que el camp electromagnètic sigui nul.
  • Uncamp vectorial que derivi d'un potencial admet una representació com 1-forma exacta.

Exemples d'1-formes en matemàtiques

[modifica]
  • Ladiferencial total d'una funció de diverses variables pot ser tractada rigorosament com una 1-forma. Així si es té una funció de diverses variables f ( x, y, z) diferenciable, la seva diferencial total és una1-forma exacta:

df=fxdx+fydy+fzdz{\displaystyle df={\frac {\partial f}{\partial x}}dx+{\frac {\partial f}{\partial y}}dy+{\frac {\partial f}{\partial z}}dz}

Per ser l'anterior una 1-forma exacta, també és una1-forma tancada, la qual cosa implica que:

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

Integrabilitat d'1-formes: diferencials exactes

[modifica]

Una 1-forma F, es diuexacta si existeix una funció g tal que:

[F=iFi dxiexacta]Fi=gxi{\displaystyle \left[\mathbf {F} =\sum _{i}F_{i}\ dx^{i}\quad {\mbox{exacta}}\right]\quad \Longleftrightarrow \quad F_{i}={\frac {\partial g}{\partial x_{i}}}}

Es pot provar que unacondició necessària i suficient perquè una 1-forma sigui exacta, al voltant d'algun punt, d'acord amb el teorema de Poincaré és que hi hagi algun punt en el qual es compleixi que:

fixj=Fjxi{\displaystyle {\frac {\partial f_{i}}{\partial x_{j}}}={\frac {\partial F_{j}}{\partial x_{i}}}}

Quan la condició anterior se satisfà en algun punt llavors la 1-forma éslocalment exacta en aquest punt, és a dir, hi ha una petita regió al voltant del punt en què la 1-forma és exacta.

Diferencials inexactes en física

[modifica]

Òbviament no tota 1-forma és exacta, un exemple físic interessant el constitueix la calor o eltreball que apareixen a laforma diferencial de l'energia interna tal com sol usar-se per a formular, elprimer principi de la termodinàmica:

dU=δQ+δWδQ:=T(S,V) dSδW:=p(S,V) dV{\displaystyle dU=\delta Q+\delta W\qquad \delta Q:=T(S,V)\ dS\qquad \delta W:=-p(S,V)\ dV}

Òbviament aquesta diferencial de l'energia interna si és una 1-forma exacta, ja que l'energia interna és unavariable d'estat. No obstant això, ni la calor, ni el treball són 1-formes exactes. Per la calor tenim:

δQ=T(S,V) dS+0 dV(TV)S0¬Q¯(S,V):[(Q¯S)V=T(Q¯V)S=0]{\displaystyle \delta Q=T(S,V)\ dS+0\ dV\quad \land \quad \left({\frac {\partial T}{\partial V}}\right)_{S}\neq 0\quad \Rightarrow \quad \lnot \exists {\bar {Q}}(S,V):\left[\left({\frac {\partial {\bar {Q}}}{\partial S}}\right)_{V}=T\land \left({\frac {\partial {\bar {Q}}}{\partial V}}\right)_{S}=0\right]}

En l'anterior equació si la derivada de la temperatura respecte al volum fos nul significaria que el cos té una taxa de dilatació adiabàtica infinita, la qual cosa és absurd. Per al treball hem de per lesrelacions de Maxwell, el treball no és una 1-forma exacta a menys que elcoeficient de dilatació adiabàtica S) sigui zero, ja que el treball només pot ser una diferencial exacta en un sistema termodinàmic si i només si:

(pS)v=(TV)S=1VαS{\displaystyle \left({\frac {\partial p}{\partial S}}\right)_{v}=-\left({\frac {\partial T}{\partial V}}\right)_{S}=-{\frac {1}{V\alpha _{S}}}}

Vegeu

[modifica]
Obtingut de «https://ca.wikipedia.org/w/index.php?title=Covector&oldid=27643415»
Categoria:

[8]ページ先頭

©2009-2025 Movatter.jp