Genaues Differential – Wikipedia

In der multivariaten Analysis heißt ein Differential genau oder perfekt, im Gegensatz zu einem ungenauen Differential, wenn es von der Form dQ, für eine differenzierbare Funktion Q.

Überblick[edit]

Definition[edit]

Wir arbeiten in drei Dimensionen, wobei ähnliche Definitionen in jeder anderen Anzahl von Dimensionen gelten. In drei Dimensionen eine Form des Typs

${displaystyle A(x,y,z),dx+B(x,y,z),dy+C(x,y,z),dz}$

heißt Differentialform. Dieses Formular heißt genau auf einer Domain

${displaystyle Dsubset mathbb{R} ^{3}}$

im Raum, wenn es eine Skalarfunktion gibt

${displaystyle Q=Q(x,y,z)}$

definiert auf

${displaystyle D}$

so dass

${displaystyle dQequiv left({frac {partial Q}{partial x}}right)_{y,z},dx+left({frac {partial Q}{partial y }}right)_{x,z},dy+left({frac {partial Q}{partial z}}right)_{x,y},dz,}$

${displaystyle dQ=A,dx+B,dy+C,dz}$

durch D. Dies ist äquivalent zu der Aussage, dass das Vektorfeld

${displaystyle (A,B,C)}$

ist ein konservatives Vektorfeld mit entsprechendem Potential

${displaystyle Q}$

.

Hinweis: Die Indizes außerhalb der Klammer geben an, welche Variablen während der Differenzierung konstant gehalten werden. Aufgrund der Definition der partiellen Ableitung sind diese Indizes nicht erforderlich, werden aber zur Erinnerung eingefügt.

Eine Dimension[edit]

In einer Dimension eine Differentialform

${displaystyle A(x),dx}$

ist genau solange

${displaystyle A}$

hat eine Stammfunktion (aber nicht unbedingt eine in Bezug auf elementare Funktionen). Wenn

${displaystyle A}$

hat eine Stammfunktion, sei

${displaystyle Q}$

sei eine Stammfunktion von

${displaystyle A}$

und das

${displaystyle Q}$

die Bedingung für Genauigkeit erfüllt. Wenn

${displaystyle A}$

tut nicht eine Stammfunktion haben, können wir nicht schreiben

${displaystyle dQ=A(x),dx}$

Die Differentialform ist also ungenau.

Zwei und drei Dimensionen[edit]

Durch Symmetrie der zweiten Ableitungen für jede “wohlerzogene” (nicht pathologische) Funktion

${displaystyle Q}$

, wir haben

${displaystyle {frac {partial^{2}Q}{partial x,partial y}}={frac {partial^{2}Q}{partial y,partial x}} }$

Daraus folgt, dass in einer einfach zusammenhängenden Region R des xy-Ebene, ein Differential

${displaystyle A(x,y),dx+B(x,y),dy}$

ist genau dann ein exaktes Differential, wenn gilt:

${displaystyle left({frac {partial A}{partial y}}right)_{x}=left({frac {partial B}{partial x}}right)_{ j}}$

Für drei Dimensionen ist ein Differential

${displaystyle dQ=A(x,y,z),dx+B(x,y,z),dy+C(x,y,z),dz}$

ist ein exaktes Differential in einer einfach zusammenhängenden Region R des xyz-Koordinatensystem wenn zwischen den Funktionen EIN, B und C es bestehen die beziehungen:

${displaystyle left({frac {partial A}{partial y}}right)_{x,z}!!!=left({frac {partial B}{partial x}}right)_{y,z}}$

;

${displaystyle left({frac {partial A}{partial z}}right)_{x,y}!!!=left({frac {partial C}{partial x}}right)_{y,z}}$

;

${displaystyle left({frac {partial B}{partial z}}right)_{x,y}!!!=left({frac {partial C}{partial y}}right)_{x,z}}$

Diese Bedingungen entsprechen den folgenden: Wenn g ist der Graph dieser vektorwertigen Funktion dann für alle Tangentenvektoren x,Y der Oberfläche g dann S(x, Ja) = 0 mit S die symplektische Form.

Diese leicht zu verallgemeinernden Bedingungen ergeben sich aus der Unabhängigkeit der Ableitungsreihenfolge bei der Berechnung der zweiten Ableitungen. Damit ein Differential dQ, also eine Funktion von vier Variablen, um ein exaktes Differential zu sein, müssen sechs Bedingungen erfüllt werden.

Zusammenfassend lässt sich sagen, wenn ein Differential dQ ist genau:

• die Funktion Q existiert;
• 
  ${displaystyle int _{i}^{f}dQ=Q(f)-Q(i),}$

  unabhängig vom eingeschlagenen Weg.

In der Thermodynamik, wenn dQ ist genau, die Funktion Q ist eine Zustandsfunktion des Systems. Die thermodynamischen Funktionen U, S, h, EIN und g sind staatliche Funktionen. Im Allgemeinen sind weder Arbeit noch Wärme eine Zustandsfunktion. Ein genaues Differential wird manchmal auch als „totales Differential“ oder „volles Differential“ bezeichnet oder in der Differentialgeometrie als exakte Form bezeichnet.

Partielle Differentialbeziehungen[edit]

Wenn drei Variablen,

${displaystyle x}$

,

${displaystyle y}$

und

${displaystyle z}$

sind an die Bedingung gebunden

${displaystyle F(x,y,z)={text{Konstante}}}$

für eine differenzierbare Funktion

${displaystyle F(x,y,z)}$

, dann existieren die folgenden totalen Differentiale^{[1]: 667&669}

${displaystyle dx={left({frac {partial x}{partial y}}right)}_{z},dy+{left({frac {partial x}{partial z }}right)}_{y},dz}$

${displaystyle dz={left({frac {partial z}{partial x}}right)}_{y},dx+{left({frac {partial z}{partial y }}right)}_{x},dy.}$

Setzen wir die erste Gleichung in die zweite ein und ordnen Sie sie um, erhalten wir^{[1]: 669}

${displaystyle dz={left({frac {partial z}{partial x}}right)}_{y}left[{left({frac {partial x}{partial y}}right)}_{z}dy+{left({frac {partial x}{partial z}}right)}_{y}dzright]+{left({frac{partial z}{partial y}}right)}_{x}dy,}$

${displaystyle dz=left[{left({frac {partial z}{partial x}}right)}_{y}{left({frac {partial x}{partial y}}right)}_{z}+{left({frac {partial z}{partial y}}right)}_{x}right]dy+{left({frac {partial z}{partial x}}right)}_{y}{left({frac {partial x}{partial z}}right)}_ {y}dz,}$

${displaystyle left[1-{left({frac {partial z}{partial x}}right)}_{y}{left({frac {partial x}{partial z}}right)}_{y}right]dz=links[{left({frac {partial z}{partial x}}right)}_{y}{left({frac {partial x}{partial y}}right)}_{z}+{left({frac {partial z}{partial y}}right)}_{x}right]dy.}$

Schon seit

${displaystyle y}$

und

${displaystyle z}$

sind unabhängige Variablen,

${displaystyle dy}$

und

${displaystyle dz}$

kann ohne Einschränkung gewählt werden. Damit diese letzte Gleichung im Allgemeinen gilt, müssen die Terme in Klammern gleich Null sein.^{[1]: 669}

Reziprozitätsbeziehung[edit]

Setzen des ersten Termes in Klammern gleich Null ergibt^[1]

${displaystyle {left({frac {partial z}{partial x}}right)}_{y}{left({frac {partial x}{partial z}}right) }_{y}=1.}$

Eine leichte Umordnung ergibt eine Reziprozitätsbeziehung,^{[1]: 670}

${displaystyle {left({frac {partial z}{partial x}}right)}_{y}={frac {1}{{left({frac {partial x}{ partial z}}right)}_{y}}}.}$

Es gibt zwei weitere Permutationen der vorstehenden Ableitung, die insgesamt drei Reziprozitätsbeziehungen zwischen ergeben

${displaystyle x}$

,

${displaystyle y}$

und

${displaystyle z}$

. Reziprozitätsrelationen zeigen, dass die Inverse einer partiellen Ableitung gleich ihrem Kehrwert ist.

Zyklische Beziehung[edit]

Die zyklische Beziehung wird auch als zyklische Regel oder Tripelproduktregel bezeichnet. Den zweiten Term in Klammern gleich Null zu setzen ergibt^{[1]: 670}

${displaystyle {left({frac {partial z}{partial x}}right)}_{y}{left({frac {partial x}{partial y}}right) }_{z}=-{left({frac {partial z}{partial y}}right)}_{x}.}$

Verwenden einer Reziprozitätsbeziehung für

${displaystyle {tfrac {partial z}{partial y}}}$

auf dieser Gleichung und Umordnung ergibt sich eine zyklische Beziehung (die Tripelproduktregel),^{[1]: 670}

${displaystyle {left({frac {partial x}{partial y}}right)}_{z}{left({frac {partial y}{partial z}}right) }_{x}{left({frac{partial z}{partial x}}right)}_{y}=-1.}$

Wenn, stattdessen, eine Reziprozitätsbeziehung für

${displaystyle {tfrac {partial x}{partial y}}}$

mit anschließender Umordnung verwendet wird, erhält man eine Standardform zur impliziten Differenzierung:

${displaystyle {left({frac {partial y}{partial x}}right)}_{z}=-{frac {{left({frac {partial z}{partial x}}right)}_{y}}{{left({frac {partial z}{partial y}}right)}_{x}}}.}$

Einige nützliche Gleichungen, die aus exakten Differentialen in zwei Dimensionen abgeleitet sind[edit]

(Siehe auch Bridgmans thermodynamische Gleichungen zur Verwendung exakter Differentiale in der Theorie thermodynamischer Gleichungen)

Angenommen, wir haben fünf Zustandsfunktionen

${displaystyle z,x,y,u}$

, und

${displaystyle v}$

. Angenommen, der Zustandsraum ist zweidimensional und jede der fünf Größen sind exakte Differentiale. Dann nach der Kettenregel

${displaystyle dz=left({frac {partial z}{partial x}}right)_{y}dx+left({frac {partial z}{partial y}}right) _{x}dy=left({frac {partial z}{partial u}}right)_{v}du+left({frac {partial z}{partial v}}right )_{u}dv}$

(1)

aber auch nach der Kettenregel:

${displaystyle dx=left({frac {partial x}{partial u}}right)_{v}du+left({frac {partial x}{partial v}}right) _{u}dv}$

(2)

und

${displaystyle dy=left({frac {partial y}{partial u}}right)_{v}du+left({frac {partial y}{partial v}}right) _{u}dv}$

(3)

so dass:

${displaystyle {begin{aligned}dz=&left[left({frac {partial z}{partial x}}right)_{y}left({frac {partial x}{partial u}}right)_{v}+left({frac {partial z}{partial y}}right)_{x}left({frac {partial y}{partial u}}right)_{v}right]du\+&links[left({frac {partial z}{partial x}}right)_{y}left({frac {partial x}{partial v}}right)_{u}+left({frac {partial z}{partial y}}right)_{x}left({frac {partial y}{partial v}}right)_{u}right]dvend{ausgerichtet}}}$

(4)

was impliziert, dass:

${displaystyle left({frac {partial z}{partial u}}right)_{v}=left({frac {partial z}{partial x}}right)_{ y}left({frac {partial x}{partial u}}right)_{v}+left({frac {partial z}{partial y}}right)_{x }left({frac{partial y}{partial u}}right)_{v}}$

(5)

Vermietung

${displaystyle v=y}$

gibt:

${displaystyle left({frac {partial z}{partial u}}right)_{y}=left({frac {partial z}{partial x}}right)_{ y}left({frac{partial x}{partial u}}right)_{y}}$

(6)

Vermietung

${displaystyle u=y}$

gibt:

${displaystyle left({frac {partial z}{partial y}}right)_{v}=left({frac {partial z}{partial y}}right)_{ x}+left({frac {partial z}{partial x}}right)_{y}left({frac {partial x}{partial y}}right)_{v }}$

(7)

Vermietung

${displaystyle u=y}$

,

${displaystyle v=z}$

gibt:

${displaystyle left({frac {partial z}{partial y}}right)_{x}=-left({frac {partial z}{partial x}}right)_ {y}left({frac {partial x}{partial y}}right)_{z}}$

(8)

mit (

${displaystyle partial a/partial b)_{c}=1/(partial b/partial a)_{c}}$

gibt die Dreifachproduktregel:

${displaystyle left({frac {partial z}{partial x}}right)_{y}left({frac {partial x}{partial y}}right)_{z }left({frac{partial y}{partial z}}right)_{x}=-1}$

(9)

Siehe auch[edit]

Verweise[edit]

Externe Links[edit]