А так можно ввести сразу линии уровня и понятие скалярного поля на примере
![$\varphi$ $\varphi$](https://dxdy-01.korotkov.co.uk/f/4/1/7/417a5301693b60807fa658e5ef9f953582.png)
, а не топтаться в одной точке.
Вынужден предупредить ТС-а, что описанное выше годится лишь для его случая - когда скалярное поле центрально-симметричное (т.е.
![$\varphi$ $\varphi$](https://dxdy-01.korotkov.co.uk/f/4/1/7/417a5301693b60807fa658e5ef9f953582.png)
зависит лишь от
![$r$ $r$](https://dxdy-01.korotkov.co.uk/f/8/9/f/89f2e0d2d24bcf44db73aab8fc03252c82.png)
).
В общем случае нужно вводить какую-то систему координат. Наверное...
Например, для полярной (в цилиндрической аналогично) системы (это случай ТС-а):
![$$\frac{d\varphi}{dl} = \frac{\partial \varphi}{\partial r} \frac{\partial r}{\partial l} + \frac{\partial \varphi}{\partial \theta} \frac{\partial \theta}{\partial l} = \left(\frac{\partial \varphi}{\partial r} \vec{e_r} + \frac{1}{r} \frac{\partial \varphi}{\partial \theta} \vec{e_{\theta}} \right)\cdot \left(\frac{\partial r}{\partial l } \vec{e_r} + \frac{r\partial \theta}{\partial l } \vec{e_{\theta}} \right) $$ $$\frac{d\varphi}{dl} = \frac{\partial \varphi}{\partial r} \frac{\partial r}{\partial l} + \frac{\partial \varphi}{\partial \theta} \frac{\partial \theta}{\partial l} = \left(\frac{\partial \varphi}{\partial r} \vec{e_r} + \frac{1}{r} \frac{\partial \varphi}{\partial \theta} \vec{e_{\theta}} \right)\cdot \left(\frac{\partial r}{\partial l } \vec{e_r} + \frac{r\partial \theta}{\partial l } \vec{e_{\theta}} \right) $$](https://dxdy-04.korotkov.co.uk/f/f/e/3/fe30eb391dc01e66671dfbe0a68f97b882.png)
Первый множитель представляет собой вектор, который зависит только от
![$ \varphi$ $ \varphi$](https://dxdy-01.korotkov.co.uk/f/4/e/5/4e54af1729d19d06aa3d8fc37da82bc182.png)
. Обозначим его как
![$\vec A (\varphi)$ $\vec A (\varphi)$](https://dxdy-01.korotkov.co.uk/f/4/a/a/4aa0c1538b481f1ec3265f42a89f5d6682.png)
. Второй множитель - это, как раз орт
![$\vec {e_l}$ $\vec {e_l}$](https://dxdy-02.korotkov.co.uk/f/9/6/a/96abf7c4cd6a7ab634fad6c8b85cbb5b82.png)
, направленный по
![$l$ $l$](https://dxdy-03.korotkov.co.uk/f/2/f/2/2f2322dff5bde89c37bcae4116fe20a882.png)
и разложенный по базису
![$\vec {e_{r}}$ $\vec {e_{r}}$](https://dxdy-04.korotkov.co.uk/f/b/6/9/b6992c9424b17df9100d3f7db56910e182.png)
,
![$\vec {e_{\theta}}$ $\vec {e_{\theta}}$](https://dxdy-03.korotkov.co.uk/f/6/4/3/643c2a41d76428dd38961aabd757e02682.png)
. Тогда последнее выражение можно расписать как:
![$$\frac{d\varphi}{dl} = \vec A (\varphi) \cdot \vec {e_l}$$ $$\frac{d\varphi}{dl} = \vec A (\varphi) \cdot \vec {e_l}$$](https://dxdy-01.korotkov.co.uk/f/0/d/c/0dc4f97f28c5b22ce8731b031971f8fb82.png)
.
Т.к. вектор
![$\vec A$ $\vec A$](https://dxdy-04.korotkov.co.uk/f/f/2/4/f247728881a4a2bfc6a7980efef7882a82.png)
не зависит от выбранного направления
![$l$ $l$](https://dxdy-03.korotkov.co.uk/f/2/f/2/2f2322dff5bde89c37bcae4116fe20a882.png)
, а длина орта
![$\vec {e_l}$ $\vec {e_l}$](https://dxdy-02.korotkov.co.uk/f/9/6/a/96abf7c4cd6a7ab634fad6c8b85cbb5b82.png)
постоянная и тоже не зависит от
![$l$ $l$](https://dxdy-03.korotkov.co.uk/f/2/f/2/2f2322dff5bde89c37bcae4116fe20a882.png)
, следовательно, их произведение максимально тогда, когда эти векторы коллинеарны, и будет равно
![$|\vec A (\varphi)|$ $|\vec A (\varphi)|$](https://dxdy-01.korotkov.co.uk/f/c/3/0/c304906cd88cb37927d7bccdf2240b1782.png)
. Раз модуль вектора
![$ \vec A (\varphi)$ $ \vec A (\varphi)$](https://dxdy-03.korotkov.co.uk/f/e/4/0/e40f60b8bc4039ab4535e6ab57cf3c5982.png)
равен максимуму производной, а его направление совпадает с направлением, в котором производная максимальная, то по определению, вектор
![$ \vec A (\varphi)$ $ \vec A (\varphi)$](https://dxdy-03.korotkov.co.uk/f/e/4/0/e40f60b8bc4039ab4535e6ab57cf3c5982.png)
и есть градиент функции
![$\varphi$ $\varphi$](https://dxdy-01.korotkov.co.uk/f/4/1/7/417a5301693b60807fa658e5ef9f953582.png)
. То бишь
![$$\vec{\nabla} \varphi = \frac{\partial \varphi}{\partial r} \vec{e_r} + \frac{1}{r} \frac{\partial \varphi}{\partial \theta} \vec{e_{\theta}} $$ $$\vec{\nabla} \varphi = \frac{\partial \varphi}{\partial r} \vec{e_r} + \frac{1}{r} \frac{\partial \varphi}{\partial \theta} \vec{e_{\theta}} $$](https://dxdy-01.korotkov.co.uk/f/8/f/6/8f679617773383f04211b8fed9cc8a1b82.png)
У ТС-а поле центрально-симметричное, когда
![$\frac{\partial \varphi}{\partial \theta} = 0$ $\frac{\partial \varphi}{\partial \theta} = 0$](https://dxdy-04.korotkov.co.uk/f/7/9/9/799929f4a96d00dddfa4be43929700b782.png)
и в этом частном случае
![$$\vec{\nabla} \varphi =\frac{\partial \varphi}{\partial r} \vec{e_r} $$ $$\vec{\nabla} \varphi =\frac{\partial \varphi}{\partial r} \vec{e_r} $$](https://dxdy-03.korotkov.co.uk/f/a/6/1/a61f33ef718f2c82f40411f005de497282.png)
и технически вся задача свелась лишь к дифференцированию
![$\varphi(r)$ $\varphi(r)$](https://dxdy-02.korotkov.co.uk/f/9/b/1/9b136e9488c4d8fa7317e24d099c396782.png)
по
![$r$ $r$](https://dxdy-01.korotkov.co.uk/f/8/9/f/89f2e0d2d24bcf44db73aab8fc03252c82.png)
.