Nel calcolo infinitesimale, un differenziale esatto o differenziale totale è una forma differenziale esatta:
![{\displaystyle \operatorname {d} Q=A_{1}(x_{1},x_{2},\dots )\operatorname {d} x_{1}+A_{2}(x_{1},x_{2},\dots )\operatorname {d} x_{2}+\dots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6ece3b961a29ee74f70197bff702108d95f8a75)
cioè tale per cui esiste una funzione
, detta potenziale, che soddisfa:[1]
![{\displaystyle A_{1}={\frac {\partial Q}{\partial x_{1}}}\qquad A_{2}={\frac {\partial Q}{\partial x_{2}}}\qquad \dots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f206e5d64a0a1cfacf0fc7c31cf04b8559e22209)
Un differenziale è esatto se e solo se è integrabile, cioè se la grandezza
è esprimibile come funzione di classe
, la cui immagine è un sottoinsieme dei numeri reali. L'implicazione diretta dipende dal fatto che la seconda classe di continuità ammette sempre un solo differenziale
. Per generalizzare la nozione di differenziale come infinitesimo a quantità
definite arbitrariamente risulta utile avere un criterio per determinare se
sia esprimibile come funzione delle sue variabili, o se invece non lo sia, anche perché in quest'ultimo caso risulta non conservata su un integrale chiuso nelle sue variabili.
Definizione
Nel seguito si considera il caso tridimensionale, anche se la trattazione vale in uno spazio di dimensione arbitraria.
Una forma differenziale
è detta forma differenziale esatta su un dominio
se esiste una qualche funzione scalare
definita su
tale che:
![{\displaystyle \operatorname {d} Q\equiv \left({\frac {\partial Q}{\partial x}}\right)_{y,z}\operatorname {d} x+\left({\frac {\partial Q}{\partial y}}\right)_{z,x}\operatorname {d} y+\left({\frac {\partial Q}{\partial z}}\right)_{x,y}\operatorname {d} z=A\operatorname {d} x+B\operatorname {d} y+C\operatorname {d} z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2eb890e4cf73f2613908837740e2a4d91d4f59c)
su tutto
. Questo è equivalente a dire che il campo vettoriale
è un campo vettoriale conservativo, corrispondente al gradiente di un campo scalare (chiamato potenziale)
.
In una dimensione, una forma differenziale
è esatta se
ha una primitiva. Altrimenti, se
non possiede primitiva non si può scrivere
e la forma non è esatta.
In due dimensioni, per il teorema di Schwarz ogni funzione
sufficientemente regolare ha la proprietà:
![{\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/233c0f1d7d8ffc3ef5e4a54a125b3b1b83a422d8)
da cui segue che in una regione semplicemente connessa
del piano x-y, un differenziale
![{\displaystyle \operatorname {d} Q=A(x,y)\,\operatorname {d} x+B(x,y)\,\operatorname {d} y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/185a00c057e5dd76d76b77dbdb2a64605fa2b6b2)
è un differenziale esatto se e solo se vale la relazione
![{\displaystyle \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)
In tre dimensioni, un differenziale
![{\displaystyle \operatorname {d} Q=A(x,y,z)\,\operatorname {d} x+B(x,y,z)\,\operatorname {d} y+C(x,y,z)\,\operatorname {d} z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4df457e024a9bfcef686bc642c398aa16c4a63c)
è un differenziale esatto in una regione semplicemente connessa
dello spazio x-y-z se tra le funzioni
,
e
sussiste la relazione
![{\displaystyle \left({\frac {\partial A}{\partial y}}\right)_{x,z}\!\!\!=\left({\frac {\partial B}{\partial x}}\right)_{y,z}\qquad \left({\frac {\partial A}{\partial z}}\right)_{x,y}\!\!\!=\left({\frac {\partial C}{\partial x}}\right)_{y,z}\qquad \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/2c646db493ca8ef7f27afca9b3ca486ac2151739)
dove fuori dalle parentesi in basso sono indicate le variabili considerate costanti durante la differenziazione.
Riassumendo, quando un differenziale è esatto esiste
e:
![{\displaystyle \int _{i}^{f}\operatorname {d} Q=Q(f)-Q(i)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c2939b7c4c5ca177aadd024ba68e60aefb9765d)
indipendentemente dal cammino di integrazione seguito.
Criterio di Schwarz
Se la funzione
di n variabili, con
, ammette un differenziale, esso corrisponde al prodotto scalare tra il gradiente
di
e
:
![{\displaystyle \operatorname {d} Q=\nabla Q\cdot \operatorname {d} \mathbf {x} =\sum _{i}{\frac {\partial Q}{\partial x_{i}}}\operatorname {d} x_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb8a56aef396555ad8f23d2d860778cda57a14f1)
dove nell'ultima uguaglianza si è esplicitato il prodotto scalare. L'integrazione:
![{\displaystyle Q(\mathbf {x} )=\sum _{i}\int {\frac {\partial Q}{\partial x_{i}}}\operatorname {d} x_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a5e3b28f8ec6d1779ae6b092eb170277f703d66)
è permessa se e solo se tutte le funzioni integrande dipendono da altre variabili con lo stesso andamento:
![{\displaystyle {\frac {\partial }{\partial x_{i}}}{\frac {\partial Q}{\partial x_{j}}}={\frac {\partial }{\partial x_{j}}}{\frac {\partial Q}{\partial x_{i}}}\quad \forall i,j\in (1,...,n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ba917b95f365ee7e5783e61130fa37e1f8bb46f)
e cioè se
verifica il teorema di Schwarz, affermazione valida per le funzioni
della seconda classe di continuità. Poiché il differenziale di
viene solitamente costruito come dipendenza implicita dai differenziali delle variabili, e cioè nella forma:
![{\displaystyle Q(\mathbf {x} )=\sum _{i}\int A_{i}\operatorname {d} x_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/521f21fbcf0699e452783b273a1a07ac81f8448c)
il criterio si traduce nel testare se:
![{\displaystyle {\frac {\partial A_{i}}{\partial x_{j}}}={\frac {\partial A_{j}}{\partial x_{i}}}\quad \forall i,j\in (1,...,n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c2bb73a1580f7dc1da0cca13fcc0f88c7dd0dc9)
e nel qual caso
ha differenziale esatto, che si può esprimere come
. Per una funzione di una variabile ovviamente questo si riduce a verificare che
appartenga alla prima classe di continuità, e cioè che
sia funzione continua in
.
Relazioni tra le derivate parziali
Se tre variabili
,
e
sono legate dalla relazione
per qualche funzione differenziabile
, allora i seguenti differenziali esatti esistono:
![{\displaystyle dx={\left({\frac {\partial x}{\partial y}}\right)}_{z}\,dy+{\left({\frac {\partial x}{\partial z}}\right)}_{y}\,dz}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f45cb4116c02f53b6b8b72583a653412483c2c3a)
![{\displaystyle dz={\left({\frac {\partial z}{\partial x}}\right)}_{y}\,dx+{\left({\frac {\partial z}{\partial y}}\right)}_{x}\,dy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e826eb432614a184dc1671b7adcd292985b3f26e)
Inserendo la prima equazione nella seconda si ottiene:
![{\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}dz\right]+{\left({\frac {\partial z}{\partial y}}\right)}_{x}dy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c73668fd48ea4dcd4c6406772c725929228d318)
![{\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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/204b123c363d3cd5cd28d6d6c834b56c7dc547d9)
![{\displaystyle \left[1-{\left({\frac {\partial z}{\partial x}}\right)}_{y}{\left({\frac {\partial x}{\partial z}}\right)}_{y}\right]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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99683d477ab4a156b8de6c836a188df455a2ae81)
Dal momento che
e
sono variabili indipendenti,
e
possono essere scelti arbitrariamente. Affinché l'ultima relazione valga in generale è necessario che i termini tra parentesi quadra siano nulli.
Ponendo nullo il primo termine tra parentesi quadra si ha:
![{\displaystyle {\left({\frac {\partial z}{\partial x}}\right)}_{y}{\left({\frac {\partial x}{\partial z}}\right)}_{y}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8cfa4c835a2b3146c3fce7cadca1fed5401b69da)
che con semplici passaggi conduce alla relazione di reciprocità:
![{\displaystyle {\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/d99126f3357a5ec3f04c1e188a57c8bdef0a7190)
Ponendo nullo il secondo termine tra parentesi quadra si ha:
![{\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}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c7fba519dad72d081c7a8203e7854e2d218eb75)
e utilizzando una delle relazioni di reciprocità per
si ottiene la relazione ciclica, anche conosciuta come "regola del triplo prodotto":
![{\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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a08591c25345b7338d97ab2af3d3dc4d99f64fa)
Se, invece, si utilizza una relazione di reciprocità per
si ottiene una formula standard per la differenziazione implicita:
![{\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}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5931bfced33fcc66084c5ce877991fb696108bc1)
Applicazione in termodinamica
Si consideri la quantità di calore
scambiata in una trasformazione infinitesima:
![{\displaystyle \operatorname {\delta } Q[T,V]=\operatorname {d} U+\operatorname {\delta } W=C_{v}\,\operatorname {d} T+p\,\operatorname {d} V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fc9d5f66c831c32b85110565dcf030b2f5bb8ff)
dove compaiono nell'ordine la capacità termica a volume costante, la variazione di temperatura, la pressione e la variazione di volume. L'equazione traduce il primo principio della termodinamica per gas perfetti; è facile vedere che in generale:
![{\displaystyle {\frac {\partial C_{v}}{\partial V}}=0\neq {\frac {\partial p}{\partial T}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa46ef7893b52065ce4d7cdcddc249303d19ed1e)
perciò
non ha differenziale esatto, quindi il calore non è una funzione di stato del sistema.
Considerando invece l'aumento infinitesimo di entropia
si ha:
![{\displaystyle \operatorname {\delta } \!S={\frac {\operatorname {\delta } Q}{T}}={\frac {C_{v}}{T}}\,\operatorname {d} T+{\frac {p}{T}}\,\operatorname {d} V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24b7c1ecc1c2979aa526d930545df78e8d0f4d0d)
e poiché per i gas ideali vale
si ottiene:
![{\displaystyle \operatorname {d} S={\frac {C_{v}}{T}}\,\operatorname {d} T+{\frac {R}{V}}\,\operatorname {d} V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ae30fe21d0b5fa724cd507514f84ece9af9d099)
Questa volta si ha:
![{\displaystyle {\frac {\partial }{\partial V}}{\frac {C_{v}}{T}}=0={\frac {\partial }{\partial T}}{\frac {R}{V}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80e3e4480c70fa59aea0ff7bd99c277f6142f959)
quindi
è un differenziale esatto per i gas ideali. L'entropia è perciò una funzione di stato:
![{\displaystyle S=\int \operatorname {d} S=\int {\frac {C_{v}}{T}}\,\operatorname {d} T+\int {\frac {p}{T}}\,\operatorname {d} V=C_{v}\,\ln T+R\ln V+{\rm {cost}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90e54bdc14bfa56e065fa06c5a88e4728d875c2f)
Note
- ^ Enciclopedia Treccani - Differenziale, su treccani.it. URL consultato il 26 luglio 2011.
Bibliografia
- (EN) Thomas, G. B., Jr. and Finney, R. L. Calculus and Analytic Geometry, 8th ed. Reading, MA: Addison-Wesley, 1996.
- (EN) Perrot, P. (1998). A to Z of Thermodynamics. New York: Oxford University Press.
- (EN) Zill, D. (1993). A First Course in Differential Equations, 5th Ed. Boston: PWS-Kent Publishing Company.
- (EN) Yunus A. Çengel, Boles, Michael A., Thermodynamics Property Relations, in Thermodynamics - An Engineering Approach, McGraw-Hill Series in Mechanical Engineering, 3rd, Boston, MA., McGraw-Hill, 1998 [1989], ISBN 0-07-011927-9.
Voci correlate
Collegamenti esterni
- (EN) Inexact Differential – from Wolfram MathWorld
- (EN) Exact and Inexact Differentials – University of Arizona
- (EN) Exact and Inexact Differentials – University of Texas
- (EN) Exact Differential – from Wolfram MathWorld
Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica