Как понять частные производные интуитивно (наклон в одну сторону)

Обычная производная это наклон кривой. Один вход, один выход, и в каждой точке одно число, которое говорит, как быстро меняется выход. Эта картинка ломается, как только у функции появляется два входа. График в трёх измерениях это поверхность, а не кривая, и у поверхности нет одного наклона. Из одной и той же точки можно пойти на восток и найти пологий подъём или пойти на север и найти спуск.

Частная производная это честная замена. Она отвечает на более узкий вопрос: если все остальные входы держать неподвижными и идти только в этом направлении, каков наклон? Остальная глава, смешанные частные, градиент, цепное правило для нескольких переменных, это тот же вопрос, заданный вдоль нескольких путей.

У поверхности нет одного наклона

Функция одной переменной рисует кривую на плоскости. Функция двух переменных, f(x, y), рисует поверхность в пространстве. Каждая пара (x, y) это точка на полу, а f(x, y) это высота крыши над этой точкой.

Возьмите чашу

$$f(x, y) = x^{2} + y^{2}$$

В начале координат высота равна 0. В точке (1, 0) она равна 1. В (0, 2) равна 4. В (1, 2) равна 5. Стоя в (1, 2), нельзя назвать одно число «наклоном». Идите по x, и крыша продолжает подниматься. Идите по y, и она поднимается быстрее. Идите по диагонали, и получите смесь двух.

Именно поэтому те, кто освоил одномерный анализ, чувствуют, что почва уходит из-под ног. Производная, которой они доверяли, была полным описанием локального изменения. На поверхности это описание только одной выбранной прогулки.

Синоптические и топографические карты уже пользуются этой идеей. Горизонталь это множество точек одной высоты. Где линии сгущаются, поверхность крутая. Где расходятся, пологая. Частная производная это наклон, который вы измерили бы, если бы шли по одной линии сетки на этой карте и игнорировали другую.

Заморозьте один вход

Ход, который делает поверхность читаемой, это срез.

Зафиксируйте y, скажем y = 2, и смотрите только, как высота зависит от x. Функция сжимается в

$$g(x) = f(x, 2) = x^{2} + 4$$

обычную параболу, сидящую на четыре единицы выше оси x. Её производная равна 2x. Это число и есть частная производная f по x, вычисленная вдоль прямой y = 2. При x = 1 она равна 2: если вы стоите в (1, 2) и делаете крошечный шаг по x, крыша поднимается примерно на 2 единицы высоты на единицу шага.

Зафиксируйте вместо этого x, скажем x = 1, и срез будет

$$h(y) = 1 + y^{2}$$

с производной 2y. При y = 2 этот наклон равен 4. Та же точка, другая прогулка, другой наклон. Противоречия нет. Вы задали два разных вопроса.

Вычислительное правило то же, что в одномерном анализе. Чтобы найти $\frac{\partial f}{\partial x}$, считайте y константой и дифференцируйте по x. Чтобы найти $\frac{\partial f}{\partial y}$, считайте x константой и дифференцируйте по y. Для чаши $\frac{\partial f}{\partial x}$ = 2x и $\frac{\partial f}{\partial y}$ = 2y. Другая переменная даже не появляется, потому что каждое слагаемое в $x^{2} + y^{2}$ зависит только от одного входа. В произведении вроде $3x^{2}$y оба входа на месте: $\frac{\partial}{\partial x}$ даёт 6xy, потому что 3y это фиксированный коэффициент при $x^{2}$, а $\frac{\partial}{\partial y}$ даёт $3x^{2}$, потому что $3x^{2}$ это фиксированный коэффициент при y.

Фраза «считайте другую переменную постоянной» это не трюк для экзамена. Это срез. Вы стоите на линии сетки и спрашиваете наклон крыши вдоль этой линии.

Фигурная d это предупреждение

Символ ∂, фигурная d, существует, чтобы этот срез не путали с двумя другими производными.

Обычная d в $\frac{df}{dx}$ принадлежит функции одной переменной. Если кто-то пишет $\frac{df}{dx}$ для f(x, y), не сказано, что происходит с y. Возможно, y независим и заморожен, тогда это частная. Возможно, y тайно является функцией от x, тогда x меняет выход сразу по двум каналам, и нужна полная производная. Фигурная d объявляет первое чтение: этот вход движется, остальные нет.

Дальше запись расходится на две привычки с одним смыслом:

• форма Лейбница: $\frac{\partial f}{\partial x}$ и $\frac{\partial f}{\partial y}$
• индексная форма: $f_x$ и $f_y$

Обе это наклон одного среза. Частные высших порядков наслаивают индексы или знаменатели. $f_xx$ это «срез по x, затем ещё раз срез этого наклона по x», обычная вторая производная вдоль этой линии сетки. $f_xy$ это «срез по x, затем вопрос, как этот x-наклон меняется, когда вы идёте по y».

Фигурная d это не новый алгоритм. Степенное правило, правило произведения, цепное правило, все они по-прежнему работают. Новая информация в том, какие переменные заморожены. Забыть это значит прочесть весь предмет как будто он новый.

Смешанные частные измеряют крутку

Когда есть $f_x$, её можно дифференцировать снова. Дифференцирование по x даёт $f_xx$, вогнутость среза восток-запад. Дифференцирование по y даёт смешанную частную $f_xy$: как сам восток-западный наклон меняется, когда вы идёте на север.

На чаше $x^{2} + y^{2}$ имеем $f_x$ = 2x, поэтому $f_xy$ = 0. Восток-западный наклон зависит только от x. Ходьба на север его не меняет. Поверхность это круглая чаша, вращательно симметричная, без крутки.

На седле

$$f(x, y) = x^{2} - y^{2}$$

первые частные равны $f_x$ = 2x и $f_y$ = -2y. Смешанные снова обе нули. Интересный смешанный пример это произведение

$$f(x, y) = x^{2} y$$

Здесь $f_x$ = 2xy, затем $f_xy$ = 2x. С другой стороны $f_y$ = $x^{2}$, затем $f_yx$ = 2x. Две смешанные совпадают.

Это совпадение это обычный случай, а не случайность. Для гладких функций первого курса анализа нескольких переменных смешанные частные равны: крутка, которую вы чувствуете, идя на восток, затем на север, это та же крутка, что при ходе на север, затем на восток. У теоремы есть технические условия (смешанные должны быть непрерывны), но у картинки их нет. На поверхности без складки порядок двух маленьких шагов не важен.

Когда учебник просит «проверьте, что $f_xy$ = $f_yx$», он просит убедиться, что поверхность не скручена в одном порядке и не в другом. Для любой функции вводного курса это сходится, и вычисление это практика правила среза, а не новая идея.

Градиент собирает наклоны

Две первые частные в точке это два числа. Записанные парой, они становятся вектором в плоскости входов:

$$\nabla f = (f_x, f_y)$$

Этот вектор и есть градиент. Каждая компонента это наклон одного среза, поэтому весь объект это путешествие: «столько на восток, столько на север» в координатах пола, не в высоте. Путешествие указывает в сторону самого крутого подъёма. Его длина это крутизна этого подъёма. Противоположное путешествие, -$\nabla f$, указывает вниз, поэтому градиентный спуск идёт против градиента.

В точке (1, 2) на чаше $x^{2} + y^{2}$ градиент равен (2, 4). С этой точки пола самый быстрый путь вверх по крыше это направление вектора (2, 4), то же направление, что у (1, 2) самого. Самый крутой путь по круглой чаше радиально наружу, что картинка уже подсказывала, а градиент подтверждает.

Точка, где обе частные обращаются в ноль, это критическая точка. Путешествие градиента имеет длину ноль: в первом порядке ни одно направление не ведёт ни вверх, ни вниз. Это может быть минимум (дно чаши, в начале координат), максимум (вершина холма) или седло (перевал: минимум вдоль одного среза и максимум вдоль другого). У седла $x^{2} - y^{2}$ критическая точка в начале координат. Срез по x это долина, срез по y это хребет, и градиент равен нулю, потому что эти два наклона первого порядка схлопываются в плоский миг, а не в плоскую окрестность.

Оптимизация нескольких переменных это этот поиск. Найдите, где градиент это нулевое путешествие, затем прочитайте вторые частные или соседние срезы, чтобы понять, чаша перед вами, холм или перевал. Критерий второй производной с D = $f_xx$ $f_yy$ - ($f_xy$)² это упакованная версия этого чтения. Само D не идея. Идея в том, что два среза и крутка между ними классифицируют точку.

Цепное правило нескольких переменных это та же пара в движении. Если путь (x(t), y(t)) идёт по полу, высота вдоль пути меняется со скоростью

$$\frac{df}{dt} = f_x x'(t) + f_y y'(t)$$

то есть скалярное произведение градиента и скорости пути. Поверхность предлагает путешествие наклонов. Путь предлагает путешествие движения. Их согласие это скорость, с которой меняется высота у того, кто действительно идёт. Когда путь параллелен градиенту, высота меняется так быстро, как только возможно. Когда путь перпендикулярен ему, высота мгновенно постоянна, и в этом геометрический смысл горизонтали.

Откуда берутся ошибки

Ошибки в частных производных почти всегда провал в заморозке нужной переменной.

Первая: дифференцировать всё подряд. Попросив $\frac{\partial}{\partial x}$ от $3x^{2}$y, студент пишет 6xy + $3x^{2}$, сумму обеих частных, или 6x, как будто y это x. Правило среза строже: на время этой производной y это число. В ответе оно остаётся только коэффициентом.

Вторая: верить, что у поверхности один наклон. Программы, которые красят по высоте, это прячут, потому что глаз читает одну крутизну. Спросите наклон в точке, и нужно ответить «в каком направлении?». Частная производная это один такой ответ. Градиент это набор ответов вдоль осей. Ни то ни другое не есть «наклон крыши».

Третья: путать ∂ с d. Если y действительно зависит от x, заморозка y это неверная модель ситуации. Связанные скорости и некоторые дифференциальные уравнения нуждаются в полной производной, которая даёт вклад каждому каналу зависимости. Частная производная верна, когда остальные входы по-настоящему независимы или когда вы нарочно изучаете один канал.

Четвёртая: принимать нулевой градиент за гарантированный минимум. Начало координат у $x^{2} - y^{2}$ критично и не является ни min, ни max. Плоскость первого порядка это не плоскость второго. Срезы всё равно нужно смотреть.

Пятая: читать $\nabla f$ как значение f. Градиент это не высота. Это путешествие в плоскости входов, собранное из наклонов. Путать одно с другим это та же ошибка, о которой предупреждала статья про векторы: принимать направление за место.

Где здесь Math Zen

Частные производные стоят на обычных производных так же, как матрицы стоят на векторах. Если одномерные правила ещё словесные, каждый срез становится ритуалом. Если они свободны, частная производная это одно лишнее решение: какой вход движется.

Практика частных производных в Math Zen идёт в этом порядке. Ранние корзины сверлят сам срез: дана f(x, y), напишите $f_x$ и $f_y$, считая другую переменную константой. Поздние корзины наслаивают производные ($f_xx$, $f_xy$, $f_yx$), собирают градиент, применяют цепное правило вдоль пути и классифицируют критические точки. Картинки этой статьи это ровно этот список.

Полезный цикл: возьмите функцию двух переменных, нарисуйте два среза в точке, посчитайте обе первые частные, соберите градиент и вслух скажите, куда вверх. Затем вернитесь после паузы по тому же распределённому повторению, что и в остальной последовательности анализа. Цель не заучить, что «y константа». Цель видеть поверхность и знать, какую прогулку вы совершаете.

Коротко

Частная производная это наклон поверхности в одном направлении, когда все остальные входы неподвижны. Фигурная d помечает эту заморозку. Смешанные частные спрашивают, как наклон одного среза меняется, когда вы идёте вдоль другой оси, и на гладкой поверхности два порядка совпадают. Градиент собирает первые частные в путешествие, которое указывает вверх. Критические точки это места, где это путешествие исчезает, и они могут быть чашами, холмами или сёдлами.

Собранное так, дифференцирование нескольких переменных это не новый вид анализа. Это обычный анализ, нацеленный вдоль одной линии сетки за раз, затем собранный заново. У поверхности много наклонов. Частная производная это то, что получается, когда вы наконец говорите, какой из них имеете в виду.