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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d3e6bbd5a6a40d5a10e8d829e120f01afb390b9)
heißt Differentialform. Dieses Formular heißt genau auf einer Domain
im Raum, wenn es eine Skalarfunktion gibt
definiert auf
so dass
-
![{displaystyle dQ=A,dx+B,dy+C,dz}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fc227c8c2118eb10888c1a8316dcd74a20f4185)
durch D. Dies ist äquivalent zu der Aussage, dass das Vektorfeld
ist ein konservatives Vektorfeld mit entsprechendem Potential
.
-
- 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
-
![A(x),dx](https://wikimedia.org/api/rest_v1/media/math/render/svg/c628423afd6359658324f0e6f07a6f79a16a0bec)
ist genau solange
hat eine Stammfunktion (aber nicht unbedingt eine in Bezug auf elementare Funktionen). Wenn
hat eine Stammfunktion, sei
sei eine Stammfunktion von
und das
die Bedingung für Genauigkeit erfüllt. Wenn
tut nicht eine Stammfunktion haben, können wir nicht schreiben
Die Differentialform ist also ungenau.
Zwei und drei Dimensionen[edit]
Durch Symmetrie der zweiten Ableitungen für jede “wohlerzogene” (nicht pathologische) Funktion
, wir haben
-
![{displaystyle {frac {partial^{2}Q}{partial x,partial y}}={frac {partial^{2}Q}{partial y,partial x}} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b980c4a1a1be09543d843385f49a412600e96173)
Daraus folgt, dass in einer einfach zusammenhängenden Region R des xy-Ebene, ein Differential
-
![A(x,y),dx+B(x,y),dy](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c021dcd02c2e28b67d8e1846b534bec0be3ff5a)
ist genau dann ein exaktes Differential, wenn gilt:
-
![left({frac {partial A}{partial y}}right)_{x}=left({frac {partial B}{partial x}}right)_{y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32e5ed23e5108590621e7cba1c459d8e02dc83eb)
Für drei Dimensionen ist ein Differential
-
![dQ=A(x,y,z),dx+B(x,y,z),dy+C(x,y,z),dz](https://wikimedia.org/api/rest_v1/media/math/render/svg/f69df107edd5c0cfa0f149b09fa823cecf405a90)
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:
-
;
;
![left({frac {partial B}{partial z}}right)_{{x,y}}!!!=left({frac {partial C}{partial y }}right)_{{x,z}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ea70741aa640c43707f3cfe99a1ff34ad47aea6)
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;
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,
,
und
sind an die Bedingung gebunden
für eine differenzierbare Funktion
, dann existieren die folgenden totalen Differentiale[1]: 667&669
-
![dx={left({frac {partial x}{partial y}}right)}_{z},dy+{left({frac {partial x}{partial z}} rechts)}_{y},dz](https://wikimedia.org/api/rest_v1/media/math/render/svg/f45cb4116c02f53b6b8b72583a653412483c2c3a)
-
![dz={left({frac {partial z}{partial x}}right)}_{y},dx+{left({frac {partial z}{partial y}} rechts)}_{x},dy.](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8eb3379b346f26f91d1e14f91f2570d5eb87e54)
Setzen wir die erste Gleichung in die zweite ein und ordnen Sie sie um, erhalten wir[1]: 669
-
![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,](https://wikimedia.org/api/rest_v1/media/math/render/svg/770ab72f3175cec4682bf55b2a60449158c232a3)
-
![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+{left({frac {partial z}{partial x}}right)}_{y}{left({frac {partial x}{partial z}}right)}_ {y}dz,](https://wikimedia.org/api/rest_v1/media/math/render/svg/39499fa9a236408664263ae32ff4becb8668435f)
-
![links[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.](https://wikimedia.org/api/rest_v1/media/math/render/svg/34f0e189b4df0b982460664880de0506cd6107a6)
Schon seit
und
sind unabhängige Variablen,
und
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]
-
![{left({frac {partial z}{partial x}}right)}_{y}{left({frac {partial x}{partial z}}right)}_{ j}=1.](https://wikimedia.org/api/rest_v1/media/math/render/svg/32191676b802ddc897fc891d314bae5c7f45dc4f)
Eine leichte Umordnung ergibt eine Reziprozitätsbeziehung,[1]: 670
-
![{left({frac {partial z}{partial x}}right)}_{y}={frac {1}{{left({frac {partial x}{partial z }}right)}_{y}}}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/e529b556865343e611fbe4045ea39efdf7d65fe3)
Es gibt zwei weitere Permutationen der vorstehenden Ableitung, die insgesamt drei Reziprozitätsbeziehungen zwischen ergeben
,
und
. 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
-
![{left({frac {partial z}{partial x}}right)}_{y}{left({frac {partial x}{partial y}}right)}_{ z}=-{left({frac {partial z}{partial y}}right)}_{x}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/c73f6d55b67b8fb11fe9a4c9eaf1686dfc39b329)
Verwenden einer Reziprozitätsbeziehung für
auf dieser Gleichung und Umordnung ergibt sich eine zyklische Beziehung (die Tripelproduktregel),[1]: 670
-
![{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.](https://wikimedia.org/api/rest_v1/media/math/render/svg/67787220a1a6c549b22f223bdc7df3061ba882e9)
Wenn, stattdessen, eine Reziprozitätsbeziehung für
mit anschließender Umordnung verwendet wird, erhält man eine Standardform zur impliziten Differenzierung:
-
![{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}}}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbbca400a173c79eb08cdaaa0154fc7c7807b64a)
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
, und
. 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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0138ed81e0c967574fe2bd727669020b3255685)
|
|
(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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f946842edf59c0ac4daa6c55b946c7eea307ea0a)
|
|
(2)
|
und
-
![{displaystyle dy=left({frac {partial y}{partial u}}right)_{v}du+left({frac {partial y}{partial v}}right) _{u}dv}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c339fed6f157ca7e961f039e7266ac8a0b4cf8c)
|
|
(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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45b74975dee47742cb368c261912a75590a8a8e8)
|
|
(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}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed24f8fd4ac54acf7e728d45dbd3bd9dfab99796)
|
|
(5)
|
Vermietung
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}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f732137f3f6918af7499a64b7e3b867ca3901f5a)
|
|
(6)
|
Vermietung
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 }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf4fe3c06681a283dc9048ec61989f988272e910)
|
|
(7)
|
Vermietung
,
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}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00a17eec2dd824a8ed3e2d8a73cb2beaa6cdc53e)
|
|
(8)
|
mit (
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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/889cfbf86e4daafeacbbad343abfb589bfd64b18)
|
|
(9)
|
Siehe auch[edit]
Verweise[edit]
- ^ ein B C D e F g engel, Yunus A.; Boles, Michael A. (1998) [1989]. “Thermodynamik Eigenschaftsbeziehungen”. Thermodynamik – ein technischer Ansatz. McGraw-Hill-Reihe im Maschinenbau (3. Aufl.). Boston, MA.: McGraw-Hill. ISBN 0-07-011927-9.
Externe Links[edit]
Recent Comments