Можно также понимать дифференциал как функцию (зависящую от точки), которая преобразует приращение независимой переменной в этой точке в линейную часть приращения зависимой переменной. Я хочу предложить наглядную картинку. Лучше сразу рассматривать случай многих переменных.
Пусть функция
![$f$ $f$](https://dxdy-02.korotkov.co.uk/f/1/9/0/190083ef7a1625fbc75f243cffb9c96d82.png)
отображает
![$\mathbb R^m$ $\mathbb R^m$](https://dxdy-02.korotkov.co.uk/f/1/9/a/19a6f4f18d0a8b199cc2eb34b594835e82.png)
(или область в нём) в
![$\mathbb R^n$ $\mathbb R^n$](https://dxdy-04.korotkov.co.uk/f/b/6/c/b6c7cadec618bfd8eac2edf55746ded582.png)
. Функция
![$f$ $f$](https://dxdy-02.korotkov.co.uk/f/1/9/0/190083ef7a1625fbc75f243cffb9c96d82.png)
дифференцируемая, не обязательно линейная. Если введены координаты, можно записать:
![$y=f(x)$ $y=f(x)$](https://dxdy-01.korotkov.co.uk/f/0/e/2/0e241c321e18ed6141f9a47d8095bebd82.png)
, где
![$\begin{array}{l}x=(x^1,...,x^m)\in \mathbb R^m\\
y=(y^1,...,y^n)\in \mathbb R^n\end{array}$ $\begin{array}{l}x=(x^1,...,x^m)\in \mathbb R^m\\
y=(y^1,...,y^n)\in \mathbb R^n\end{array}$](https://dxdy-04.korotkov.co.uk/f/b/6/d/b6dae13ee9de4839dcbf38704d3ae66d82.png)
Введём дополнительную независимую переменную
![$t$ $t$](https://dxdy-01.korotkov.co.uk/f/4/f/4/4f4f4e395762a3af4575de74c019ebb582.png)
("время"). У нас есть космический глайдер
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
, на котором мы можем гонять по
![$\mathbb R^m$ $\mathbb R^m$](https://dxdy-02.korotkov.co.uk/f/1/9/a/19a6f4f18d0a8b199cc2eb34b594835e82.png)
с произвольной гладкой зависимостью
![$x(t)$ $x(t)$](https://dxdy-04.korotkov.co.uk/f/f/9/2/f92a2fed82f1dacdec6e4d5a05fbbf9782.png)
. Тогда по
![$\mathbb R^n$ $\mathbb R^n$](https://dxdy-04.korotkov.co.uk/f/b/6/c/b6c7cadec618bfd8eac2edf55746ded582.png)
будет перемещаться образ (призрак) глайдера
![$y$ $y$](https://dxdy-02.korotkov.co.uk/f/d/e/c/deceeaf6940a8c7a5a02373728002b0f82.png)
:
![$y(t)=f(x(t))$ $y(t)=f(x(t))$](https://dxdy-02.korotkov.co.uk/f/d/3/6/d368838f585a15ac78497d7b42c3ffad82.png)
Векторы скорости глайдера
![$u$ $u$](https://dxdy-03.korotkov.co.uk/f/6/d/b/6dbb78540bd76da3f1625782d42d6d1682.png)
и его призрака
![$v$ $v$](https://dxdy-03.korotkov.co.uk/f/6/c/4/6c4adbc36120d62b98deef2a20d5d30382.png)
:
![$u(t)=\frac{dx(t)}{dt},\;v(t)=\frac{dy(t)}{dt}$ $u(t)=\frac{dx(t)}{dt},\;v(t)=\frac{dy(t)}{dt}$](https://dxdy-04.korotkov.co.uk/f/7/1/6/7169ef5de8dc8d65454b951e14997baa82.png)
Выберем точку
![$x_0\in \mathbb R^m$ $x_0\in \mathbb R^m$](https://dxdy-04.korotkov.co.uk/f/b/a/f/baf7567bb7ca616c92f270a319fa93a282.png)
, и пусть
![$y_0=f(x_0)$ $y_0=f(x_0)$](https://dxdy-01.korotkov.co.uk/f/c/8/9/c8959d80b239d553d0f7ce176d5611ef82.png)
. Всякий раз, когда глайдер пролетает через точку
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
, его призрак пролетает через точку
![$y_0$ $y_0$](https://dxdy-02.korotkov.co.uk/f/1/4/a/14adeddbb1889c9aba973ba30e7bce7782.png)
. А как при этом связаны скорость глайдера
![$u$ $u$](https://dxdy-03.korotkov.co.uk/f/6/d/b/6dbb78540bd76da3f1625782d42d6d1682.png)
и скорость его призрака
![$v$ $v$](https://dxdy-03.korotkov.co.uk/f/6/c/4/6c4adbc36120d62b98deef2a20d5d30382.png)
? Они связаны линейным отображением
![$df$ $df$](https://dxdy-01.korotkov.co.uk/f/c/6/5/c653521210d973659363306a1bfdde8b82.png)
, зависящим от точки
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
:
![$v=df_{x_0}(u)$ $v=df_{x_0}(u)$](https://dxdy-02.korotkov.co.uk/f/9/f/2/9f2ec3580f3e87cbeb39be951f7b2bb682.png)
Это отображение и есть дифференциал
![$f$ $f$](https://dxdy-02.korotkov.co.uk/f/1/9/0/190083ef7a1625fbc75f243cffb9c96d82.png)
в точке
![$x_0$ $x_0$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e714a3139958da04b41e3e607a54445582.png)
.
Мне нравится эта картинка. Никаких бесконечно малых, никаких приращений.