[p. 275 modifica ]
§ 83. — Derivate delle funzioni di funzioni. (Funzioni composte).
α
{\displaystyle \alpha }
)) Sia
z
{\displaystyle z}
una funzione
f
(
x
,
y
)
{\displaystyle f(x,y)}
di due variabili
x
,
y
{\displaystyle x,y}
, le quali sieno funzioni di una variabile
t
{\displaystyle t}
. Quando
t
{\displaystyle t}
varia in un certo intervallo
γ
{\displaystyle \gamma }
, i lpunto
(
x
,
y
)
{\displaystyle (x,y)}
varii nel campo ove è definita la
z
{\displaystyle z}
, cosicchè la
z
{\displaystyle z}
sia funzione della
t
{\displaystyle t}
nell'intervallo
γ
{\displaystyle \gamma }
.
Sieno
f
x
′
,
f
y
′
{\displaystyle f'_{x},f'_{y}}
finite e continue,
x
z
′
{\displaystyle x'_{z}}
e
y
t
′
{\displaystyle y'_{t}}
finite. Quando la
t
{\displaystyle t}
riceve un incremento
Δ
t
{\displaystyle \Delta t}
, siano
Δ
x
,
Δ
y
{\displaystyle \Delta x,\Delta y}
i corrispondenti [p. 276 modifica ] incrementi delle
x
,
y
{\displaystyle x,y}
: e sia
Δ
z
{\displaystyle \Delta z}
il corrispondente incremento della
z
{\displaystyle z}
. Sarà per il teorema della media:
Δ
z
=
f
(
x
+
Δ
x
,
y
+
Δ
y
)
−
f
(
x
,
y
)
=
{\displaystyle \Delta z=f(x+\Delta x,y+\Delta y)-f(x,y)=}
=
Δ
x
f
x
′
(
x
+
θ
Δ
x
,
y
)
+
Δ
y
f
y
′
(
x
+
Δ
x
,
y
+
Θ
′
Δ
y
)
{\displaystyle =\Delta xf'_{x}(x+\theta \Delta x,y)+\Delta yf'_{y}(x+\Delta x,y+\Theta '\Delta y)}
(
0
<
θ
<
1
{\displaystyle (0<\theta <1}
}}
(
0
<
θ
′
<
1
)
{\displaystyle (0<\theta '<1)}
.
Donde
Δ
z
Δ
t
=
f
x
′
(
x
+
θ
Δ
x
,
y
)
Δ
x
Δ
t
+
f
y
′
(
x
+
Δ
x
,
y
+
θ
′
Δ
y
)
Δ
y
Δ
t
{\displaystyle {\frac {\Delta z}{\Delta t}}=f'_{x}(x+\theta \Delta x,y){\frac {\Delta x}{\Delta t}}+f'_{y}(x+\Delta x,y+\theta '\Delta y){\frac {\Delta y}{\Delta t}}}
lim
Δ
t
=
o
Δ
z
Δ
t
=
lim
Δ
t
=
0
f
′
x
(
x
+
Θ
Δ
x
,
y
)
lim
Δ
t
=
0
Δ
x
Δ
t
+
{\displaystyle \lim _{\Delta t=o}{\frac {\Delta z}{\Delta t}}=\lim _{\Delta t=0}f'x(x+\Theta \Delta x,y)\lim _{\Delta t=0}{\frac {\Delta x}{\Delta t}}+}
+
lim
Δ
t
=
0
f
y
′
(
x
+
Δ
x
,
y
+
θ
′
Δ
y
)
lim
Δ
y
Δ
t
{\displaystyle +\lim _{\Delta t=0}f'_{y}(x+\Delta x,y+\theta '\Delta y)\lim {\frac {\Delta y}{\Delta t}}}
.
Poichè per ipotesti
x
t
′
{\displaystyle x'_{t}}
e
y
t
′
{\displaystyle y'_{t}}
esistono e sono finite, è
lim
Δ
t
=
0
Δ
x
=
lim
Δ
t
=
0
Δ
y
=
0
{\displaystyle \lim _{\Delta t=0}\Delta x=\lim _{\Delta t=0}\Delta y=0}
.
Ricordiamo che
f
x
′
{\displaystyle f'_{x}}
e
f
y
′
{\displaystyle f'_{y}}
sono finite e continue, se ne deduce che
z
t
′
=
lim
Δ
z
Δ
t
{\displaystyle z'_{t}=\lim {\frac {\Delta z}{\Delta t}}}
esiste, ed è dato dalla:
z
t
′
=
z
x
′
x
t
′
+
z
y
′
y
t
′
=
∂
z
∂
x
d
x
d
t
+
∂
z
∂
y
d
y
d
t
{\displaystyle z'_{t}=z'_{x}x'_{t}+z'_{y}y'_{t}={\frac {\partial z}{\partial x}}{\frac {dx}{dt}}+{\frac {\partial z}{\partial y}}{\frac {dy}{dt}}}
. (1)
Se
t
{\displaystyle t}
si considera come variabile indipendente (§ 53, pag. 177), è:
d
z
=
z
t
′
d
t
{\displaystyle dz=z'_{t}dt}
d
x
=
x
t
′
d
t
{\displaystyle dx=x'_{t}dt}
d
y
=
y
t
′
d
t
{\displaystyle dy=y'_{t}dt}
Cosicchè per (1)
d
z
=
z
t
′
d
t
=
∂
z
∂
x
d
x
+
∂
z
∂
y
d
y
{\displaystyle dz=z'_{t}dt={\frac {\partial z}{\partial x}}dx+{\frac {\partial z}{\partial y}}dy}
come al precedente § 82.
Riconosciamo dunque anche in questo caso più generale (cfr. § 59, pag. 187) che il differenziale primo di una funzione è dato sempre dalla stessa formola, qualunque sia la variabile indipendente.
E si osservi che, se si scrivessero le derivare parziali coi
d
{\displaystyle d}
latini, tale formola assumerebbe l'aspetto
d
z
d
t
=
d
z
d
x
d
x
d
t
+
d
z
d
y
d
y
d
t
{\displaystyle {\frac {dz}{dt}}={\frac {dz}{dx}}{\frac {dx}{dt}}+{\frac {dz}{dy}}{\frac {dy}{dt}}}
(
α
{\displaystyle \alpha }
)
che taluno potrebbe essere tentato di semplificare, ottenendo l'assunrdo
d
x
d
t
=
d
z
d
t
+
d
z
d
t
{\displaystyle {\frac {dx}{dt}}={\frac {dz}{dt}}+{\frac {dz}{dt}}}
. Le notazioni usate in
α
{\displaystyle \mathrm {\alpha } }
) possono perciò portare a gravi errori di calcolo. [p. 277 modifica ] Si ha pure similmente, ricordando che
z
x
′
{\displaystyle z'_{x}}
,
z
y
′
{\displaystyle z'_{y}}
sono funzioni di
x
,
y
{\displaystyle x,y}
, entrambe funzioni della
t
{\displaystyle t}
, che:
d
z
x
′
d
t
=
∂
z
x
′
∂
x
x
t
′
+
∂
z
y
′
∂
y
y
′
t
=
z
x
x
″
x
t
′
+
z
x
y
″
y
t
′
{\displaystyle {\frac {dz'_{x}}{dt}}={\frac {\partial z'_{x}}{\partial x}}x'_{t}+{\frac {\partial z'_{y}}{\partial y}}y't=z''_{xx}x'_{t}+z''_{xy}y'_{t}}
,
d
z
y
′
d
t
=
z
x
y
″
x
t
′
+
z
y
y
″
y
t
′
{\displaystyle {\frac {dz'_{y}}{dt}}=z''_{xy}x'_{t}+z''_{yy}y'_{t}}
se le derivate seconde di <math<z</math> sono finite e continue.
In tale ipotesi si deduce, derivando (1), che:
d
2
z
d
t
2
=
∂
2
z
∂
x
2
(
d
x
d
t
)
2
+
2
∂
2
<
∂
x
∂
y
d
x
d
t
d
y
d
t
+
d
2
z
d
y
2
(
d
y
∂
t
)
2
+
{\displaystyle {\frac {d^{2}z}{dt^{2}}}={\frac {\partial ^{2}z}{\partial x^{2}}}\left({\frac {dx}{dt}}\right)^{2}+2{\frac {\partial ^{2}<}{\partial x\partial y}}{\frac {dx}{dt}}{\frac {dy}{dt}}+{\frac {d^{2}z}{dy^{2}}}\left({\frac {dy}{\partial t}}\right)^{2}+}
+
∂
z
∂
x
d
x
d
t
2
+
∂
z
∂
y
d
2
y
d
t
2
{\displaystyle +{\frac {\partial z}{\partial x}}{\frac {d^{x}}{dt^{2}}}+{\frac {\partial z}{\partial y}}{\frac {d^{2}y}{dt^{2}}}}
. (2)
β
{\displaystyle \beta }
) Analogamente, se
f
{\displaystyle f}
è funzione delle
n
{\displaystyle n}
variabili
x
1
,
x
2
,
.
.
.
.
.
x
n
{\displaystyle x_{1},x_{2},.....x_{n}}
, tutte funzioni della
t
{\displaystyle t}
, e sela
f
{\displaystyle f}
stessa si può considerare come funzione della
t
{\displaystyle t}
in un certo campo, sarà come ipotesi analoghe:
d
f
d
t
=
∂
f
∂
x
1
d
x
1
d
t
+
∂
f
∂
x
2
d
x
2
d
t
+
.
.
.
.
.
+
∂
f
∂
x
n
d
x
n
d
t
{\displaystyle {\frac {df}{dt}}={\frac {\partial f}{\partial x_{1}}}{\frac {dx_{1}}{dt}}+{\frac {\partial f}{\partial x_{2}}}{\frac {dx_{2}}{dt}}+.....+{\frac {\partial f}{\partial x_{n}}}{\frac {dx_{n}}{dt}}}
.
γ
{\displaystyle \gamma }
) Sia ora
f
{\displaystyle f}
una funzione, p. es., di tre variabili
x
,
y
,
z
{\displaystyle x,y,z}
; e siano
y
,
z
{\displaystyle y,z}
funzioni della
x
{\displaystyle x}
. Posto
ξ
=
x
{\displaystyle \xi =x}
, la
f
{\displaystyle f}
diventa funzione di
ξ
,
y
,
z
{\displaystyle \xi ,y,z}
, tutte e tre funzioni della
x
{\displaystyle x}
. Si ha quindi (poichè
ξ
=
x
{\displaystyle \xi =x}
e quindi
d
ξ
d
x
=
1
{\displaystyle {\frac {d\xi }{dx}}=1}
):
d
f
d
x
=
∂
f
∂
ξ
d
ξ
d
x
+
∂
f
∂
y
d
y
d
x
+
∂
f
∂
z
d
z
d
x
=
∂
f
(
x
,
y
,
z
)
∂
x
+
∂
f
∂
y
y
x
′
+
∂
f
∂
z
z
x
′
{\displaystyle {\frac {df}{dx}}={\frac {\partial f}{\partial \xi }}{\frac {d\xi }{dx}}+{\frac {\partial f}{\partial y}}{\frac {dy}{dx}}+{\frac {\partial f}{\partial z}}{\frac {dz}{dx}}={\frac {\partial f(x,y,z)}{\partial x}}+{\frac {\partial f}{\partial y}}y'_{x}+{\frac {\partial f}{\partial z}}z'_{x}}
.
Si noti anche qui quale differenza passa tra
∂
f
∂
x
{\displaystyle {\frac {\partial f}{\partial x}}}
e
d
f
d
x
{\displaystyle {\frac {df}{dx}}}
. Per ottenere la prima, si deriva considerando
y
{\displaystyle y}
e
z
{\displaystyle z}
come costanti per ottenere la seconda, si derivi considerando
y
{\displaystyle y}
e
z
{\displaystyle z}
come funzioni di
x
{\displaystyle x}
. Per esempio, se
f
=
x
+
y
+
z
,
y
=
sen
x
,
z
=
cos
x
{\displaystyle f=x+y+z,y={\text{sen}}x,z={\text{cos}}x}
, è
∂
f
∂
x
=
1.
d
f
d
x
=
1
+
cos
x
−
sen
x
{\displaystyle {\frac {\partial f}{\partial x}}=1.{\frac {df}{dx}}=1+{\text{cos}}x-{\text{sen}}x}
.
δ
{\displaystyle \delta }
) Supponiamo
f
{\displaystyle f}
funzione delle due variabili
x
,
y
{\displaystyle x,y}
definite dalle:
x
=
a
+
h
t
,
y
=
b
+
k
t
{\displaystyle x=a+ht,y=b+kt}
(
a
,
b
,
h
,
k
=
{\displaystyle a,b,h,k=}
costanti). [p. 278 modifica ] Si trovino le derivate di
f
{\displaystyle f}
rispetto alla variabile indipendente
t
{\displaystyle t}
. Si ha:
d
f
d
t
=
∂
f
∂
x
d
x
d
t
+
∂
f
∂
y
d
y
t
=
h
∂
f
∂
x
+
x
∂
f
∂
y
{\displaystyle {\frac {df}{dt}}={\frac {\partial f}{\partial x}}{\frac {dx}{dt}}+{\frac {\partial f}{\partial y}}{\frac {dy}{t}}=h{\frac {\partial f}{\partial x}}+x{\frac {\partial f}{\partial y}}}
;
d
d
t
(
∂
f
∂
x
)
=
∂
∂
x
(
∂
f
∂
x
)
d
x
d
t
+
∂
∂
y
(
∂
f
∂
x
)
d
y
d
t
=
h
∂
f
∂
x
2
+
k
∂
2
f
∂
x
∂
y
{\displaystyle {\frac {d}{dt}}\left({\frac {\partial f}{\partial x}}\right)={\frac {\partial }{\partial x}}\left({\frac {\partial f}{\partial x}}\right){\frac {dx}{d\,t}}+{\frac {\partial }{\partial y}}\left({\frac {\partial f}{\partial x}}\right){\frac {dy}{dt}}=h{\frac {\partial ^{f}}{\partial x^{2}}}+k{\frac {\partial ^{2}f}{\partial x\partial y}}}
;
e analoga per
d
d
t
(
∂
f
∂
y
)
{\displaystyle {\frac {d}{dt}}{\partial f \choose \partial y}}
;
d
2
f
d
t
2
=
d
d
t
(
d
f
d
t
)
=
h
d
d
t
(
∂
f
∂
x
)
+
k
d
d
t
(
∂
f
∂
y
)
=
{\displaystyle {\frac {d^{2}f}{dt^{2}}}={\frac {d}{dt}}\left({\frac {df}{dt}}\right)=h{\frac {d}{dt}}\left({\frac {\partial f}{\partial x}}\right)+k{\frac {d}{dt}}\left({\partial f}{\partial y}\right)=}
=
h
(
h
∂
2
f
∂
x
2
+
f
∂
2
f
∂
x
∂
y
)
+
k
(
h
∂
2
f
∂
x
∂
y
+
k
∂
2
f
∂
y
2
)
=
{\displaystyle =h\left(h{\frac {\partial ^{2}f}{\partial x^{2}}}+f{\frac {\partial ^{2}f}{\partial x\partial y}}\right)+k\left(h{\frac {\partial ^{2}f}{\partial x\partial y}}+k{\frac {\partial ^{2}f}{\partial y^{2}}}\right)=}
=
h
2
∂
2
f
∂
x
2
+
2
h
k
∂
2
f
∂
x
∂
y
+
k
2
∂
2
f
∂
y
2
{\displaystyle =h^{2}{\frac {\partial ^{2}f}{\partial x^{2}}}+2hk{\frac {\partial ^{2}f}{\partial x\partial y}}+k^{2}{\frac {\partial ^{2}f}{\partial y^{2}}}}
.
Una regola mnemonica per ricordare queste formole è di porre
d
d
t
f
=
(
h
∂
∂
x
+
k
∂
∂
y
)
f
{\displaystyle {\frac {d}{dt}}f=\left(h{\frac {\partial }{\partial x}}+k{\frac {\partial }{\partial y}}\right)f}
d
2
f
d
t
2
=
(
d
d
t
)
2
f
=
(
h
∂
∂
x
+
k
∂
∂
y
)
2
f
{\displaystyle {\frac {d^{2}f}{dt^{2}}}=\left({\frac {d}{dt}}\right)^{2}f=\left(h{\frac {\partial }{\partial x}}+k{\frac {\partial }{\partial y}}\right)^{2}f}
e sviluppando poi con le regole dell'algebra elementare, proprio come se
∂
∂
x
,
∂
∂
y
{\displaystyle {\frac {\partial }{\partial x}},{\frac {\partial }{\partial y}}}
fossero frazioni vere e proprie aventi per numeratore
∂
{\displaystyle \partial }
e per denominatore le quantità
∂
x
,
∂
y
{\displaystyle \partial x,\partial y}
1 , con l'avvertenza che alla fine del calcolo i simboli
∂
∂
x
f
,
∂
2
∂
x
2
f
,
∂
2
∂
x
∂
y
f
{\displaystyle {\frac {\partial }{\partial x}}f,{\frac {\partial ^{2}}{\partial x^{2}}}f,{\frac {\partial ^{2}}{\partial x\partial y}}f}
, ecc., non si debbono più considerare come prodotti (ciò che non avrebbe senso), ma come uguali rispettivamente alle derivate
∂
f
∂
x
,
∂
2
f
∂
x
2
,
∂
2
f
∂
x
∂
y
{\displaystyle {\frac {\partial f}{\partial x}},{\frac {\partial ^{2}f}{\partial x^{2}}},{\frac {\partial ^{2}f}{\partial x\partial y}}}
, ecc. E con le medesime convenzioni si trova:
d
3
f
d
t
3
=
(
h
∂
∂
x
+
k
∂
∂
y
)
3
f
{\displaystyle {\frac {d^{3}f}{dt^{3}}}=\left(h{\frac {\partial }{\partial x}}+k{\frac {\partial }{\partial y}}\right)^{3}f}
; .....,
d
n
f
d
t
n
=
(
h
∂
∂
x
+
k
∂
∂
y
)
n
f
{\displaystyle {\frac {d^{n}f}{dt^{n}}}=\left(h{\frac {\partial }{\partial x}}+k{\frac {\partial }{\partial y}}\right)^{n}f}
.
Sia
f
(
x
,
y
)
=
x
y
,
x
=
φ
(
t
)
,
y
=
ψ
(
t
)
{\displaystyle f(x,y)=x^{y},x=\varphi (t),y=\psi (t)}
,
cosicchè
f
=
φ
(
t
)
ψ
(
t
)
{\displaystyle f=\varphi (t)^{\psi (t)}}
; si trova:
d
[
φ
(
t
)
ψ
(
t
)
]
d
t
=
d
f
d
t
=
d
(
x
y
)
d
t
=
(
x
y
)
x
′
d
x
d
t
+
(
x
y
)
y
′
d
y
d
t
=
{\displaystyle {\frac {d[\varphi (t)^{\psi (t)}]}{dt}}={\frac {df}{dt}}={\frac {d(x^{y})}{dt}}=(x^{y})'_{x}{\frac {dx}{dt}}+(x^{y})'_{y}{\frac {dy}{dt}}=}
=
y
x
y
−
1
φ
′
(
t
)
+
x
y
log
e
x
ψ
′
(
t
)
=
φ
(
t
)
ψ
(
t
)
{
ψ
′
(
t
)
log
φ
(
t
)
+
ψ
(
t
)
φ
′
(
t
)
φ
(
t
)
}
{\displaystyle =yx^{y-1}\varphi '(t)+x^{y}\log _{e}x\psi '(t)=\varphi (t)^{\psi (t)}\left\{\psi '(t)\log \varphi (t)+\psi (t){\frac {\varphi '(t)}{\varphi (t)}}\right\}}
,
come ci è già noto dal § 60, es. 3°, pag. 189.