![{\displaystyle {\frac {\mathrm {d} f}{\mathrm {d} x))={\frac {\partial f}{\partial x))+\sum _{j=1}^{k}{\frac {\partial y_{j)){\partial x)){\frac {\partial f}{\partial y_{j))},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d4832459d173b8e41715f59e96b7ac1842db45c)
where
is a function of
variables.
Example 1
![{\displaystyle {\frac {\mathrm {d} f}{\mathrm {d} x))={\frac {\partial f}{\partial x))+{\frac {\partial y}{\partial x)){\frac {\partial f}{\partial y)),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26abd76a58645382336a0809e103d1f8486ecae4)
where
.
Example 2
Given
find
Begin with the definition of the total derivative:
. Notice that in order to continue, we need to calculate
and
![{\displaystyle {\begin{aligned}{\frac {\partial f}{\partial x))&={\frac {\partial }{\partial x))\left(x^{3}\right)\\&=3x^{2}\end{aligned))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0cc5b8467be4f72d5af80e97516ab809ea2fa90)
![{\displaystyle {\begin{aligned}{\frac {\partial f}{\partial y))&={\frac {\partial }{\partial x))\left(y^{2}\right)\\&=-2y\end{aligned))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a90c88a4760d8a73eeae009c0b70a66149ce676)
|
![{\displaystyle {\begin{aligned}y^{2}&=x^{3}\\2y{\frac {\partial y}{\partial x))&=3x^{2}\\{\frac {\partial y}{\partial x))&={\frac {3x^{2)){2y))\end{aligned))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4827ef0b8851245695ede16148d412f211f3ecf)
|
Plugging the results into the definition,
, we find that
![{\displaystyle {\begin{array}{lcll}a\cdot b&=&a+a\cdot (b-1)&,a\cdot 0=0\\a^{b}&=&a\cdot a^{b-1}&,a^{0}=1\\a\uparrow \uparrow b&=&a^{a\uparrow \uparrow (b-1)}&,a\uparrow \uparrow 0=1\end{array))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5884eb57a4467c8167a0ccfccb727a79e45034c3)
The derivative of a polynomial,
,
can be defined as
.
If we use the standard ordered basis
,
then
![{\displaystyle (a_{0}+a_{1}x+a_{2}x^{2}+\cdots +a_{n}x^{n})_{\mathbf {e} ))](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e58fb0fa0e3ee525129c4eea30b20de7631ba75)
can be written as
,
and
as
.
Since
![{\displaystyle A={\begin{pmatrix}0&1&0&\cdots &0\\0&0&1&\cdots &0\\\vdots &\vdots &\vdots &\ddots &\vdots \\0&0&0&\cdots &1\\0&0&0&\cdots &0\\\end{pmatrix))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e768f597e2ceddb5a59d255ffd8d69920477a0c)
satisfies
![{\displaystyle A{\begin{pmatrix}a_{0}\\a_{1}\\a_{2}\\\vdots \\a_{n}\end{pmatrix))={\begin{pmatrix}a_{1}\\a_{2}\\\vdots \\a_{n}\\0\end{pmatrix))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3859cb019f639a930c9db38bdc756fe7a95bf3af)
,
represents
.
Wedge product
General second degree linear ordinary differential equation
A second degree linear ordinary differential equation is given by
![{\displaystyle y''+a(x)y'+b(x)y=c(x).\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c895888517785bcbf6672c5312aacdff02e17eb4)
One way to solve this is to look for some integrating factor,
, such that
![{\displaystyle My''+Ma(x)y'+Mb(x)y=(My)''=Mc(x).\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5da6c6ccc85f4875a3fceb6f5c5460e8fa8edd1)
Expanding
and setting it equal to
Differential example
The key to differentials is to think of
as a function from some real number
to itself; and
as a function of some that same real number
to a linear map
Since all linear maps from
to
can be written as a
matrix, we can define
as
and
as
![{\displaystyle dx:\mathbb {R} \rightarrow \mathbb {R} ^{1\times 1))](https://wikimedia.org/api/rest_v1/media/math/render/svg/855b9aa12433a3298dd33d0cfb45e72428165826)
![{\displaystyle dx:p\mapsto [1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17bbeb85622b9e31508f1ec1b4ca62ed1e857c4f)
(As a side note, the value of
, and similarly for all differentials, at
is usually written
.)
Without loss of generality, let's take the function
. Differentiating, we have
![{\displaystyle {\frac {df}{dx))=2x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a51455ed17878bd1bb150a2e8f538fb82e79c85)
Since we defined
as
and
as
, we can rewrite the derivative as
![{\displaystyle df_{p}[1]^{-1}=2x(p).\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1931a5256abaffc5f9b35ea72d556e097e5e292f)
Multiplying both sides by
, we have
![{\displaystyle df_{p}=2x(p)[1].\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac0e3e2fb78ffdb2ad7734d4ff65712beb59aefb)
And voilà! We can say that for any function
,
![{\displaystyle df_{p}=\left[f'(x(p))\right]=f'(x(p))dx_{p))](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd3d1aec6476b4f0448255424e61decf612984ec)