Частная производная

В математике частная производная функции нескольких переменных — это ее производная по одной из этих переменных, при этом остальные остаются постоянными (в отличие от полной производной , в которой все переменные могут изменяться). Частные производные используются в векторном исчислении и дифференциальной геометрии .

Частная производная функции $f(x,y,\dots )$ относительно переменной $x$ по-разному обозначается

$f_{x}$, $f'_{x}$, $\partial _{x}f$, $\ D_{x}f$, $D_{1}f$, ${\frac {\partial }{\partial x}}f$, или ${\frac {\partial f}{\partial x}}$.

Его можно рассматривать как скорость изменения функции в $x$-направление.

Иногда для $z=f(x,y,\ldots )$, частная производная $z$ относительно $x$ обозначается как ${\tfrac {\partial z}{\partial x}}.$ Поскольку частная производная обычно имеет те же аргументы, что и исходная функция, ее функциональная зависимость иногда явно обозначается обозначениями, например:

$$f'_{x}(x,y,\ldots ),{\frac {\partial f}{\partial x}}(x,y,\ldots ).$$

Для обозначения частных производных используется символ ∂ . Одно из первых известных применений этого символа в математике принадлежит маркизу де Кондорсе в 1770 году. который использовал его для определения частичных разностей . Современное обозначение частной производной было создано Адрианом -Мари Лежандром (1786 г.), хотя позже он отказался от него; Карл Густав Якоб Якоби вновь представил этот символ в 1841 году.

Определение

Как и обычные производные, частная производная определяется как предел . Пусть U — открытое подмножество $\mathbb {R} ^{n}$ и $f:U\to \mathbb {R}$ функция. Частная производная f в точке $\mathbf {a} =(a_{1},\ldots ,a_{n})\in U$ по i -й переменной x _i определяется как

$${\begin{aligned}{\frac {\partial }{\partial x_{i}}}f(\mathbf {a} )&=\lim _{h\to 0}{\frac {f(a_{1},\ldots ,a_{i-1},a_{i}+h,a_{i+1}\,\ldots ,a_{n})\ -f(a_{1},\ldots ,a_{i},\dots ,a_{n})}{h}}\\&=\lim _{h\to 0}{\frac {f(\mathbf {a} +h\mathbf {e_{i}} )-f(\mathbf {a} )}{h}}\,.\end{aligned}}$$

Где $\mathbf {e_{i}}$ — единичный вектор й переменной i - x _i . Даже если все частные производные $\partial f/\partial x_{i}(a)$ существуют в данной точке a , функция не обязательно должна быть непрерывной там . Однако если все частные производные существуют в окрестности точки a и непрерывны там, то f в полностью дифференцируема этой окрестности и полная производная непрерывна. В этом случае говорят, что f является C ¹ функция. Это можно использовать для обобщения векторных функций: $f:U\to \mathbb {R} ^{m}$, осторожно используя покомпонентный аргумент.

Частная производная ${\textstyle {\frac {\partial f}{\partial x}}}$ можно рассматривать как другую функцию, определенную на U , и ее снова можно частично дифференцировать. Если направление производной не повторяется, ее называют смешанной частной производной . Если все смешанные частные производные второго порядка непрерывны в точке (или на множестве), f называется C ² функция в этой точке (или на этом множестве); в этом случае частные производные можно поменять местами по теореме Клеро :

$${\frac {\partial ^{2}f}{\partial x_{i}\partial x_{j}}}={\frac {\partial ^{2}f}{\partial x_{j}\partial x_{i}}}.$$

Обозначения

Дополнительная информация: ∂

В следующих примерах пусть f будет функцией от x , y и z .

Частные производные первого порядка:

$${\frac {\partial f}{\partial x}}=f'_{x}=\partial _{x}f.$$

Частные производные второго порядка:

$${\frac {\partial ^{2}f}{\partial x^{2}}}=f''_{xx}=\partial _{xx}f=\partial _{x}^{2}f.$$

второго порядка Смешанные производные :

$${\frac {\partial ^{2}f}{\partial y\,\partial x}}={\frac {\partial }{\partial y}}\left({\frac {\partial f}{\partial x}}\right)=(f'_{x})'_{y}=f''_{xy}=\partial _{yx}f=\partial _{y}\partial _{x}f.$$

Частные и смешанные производные высшего порядка:

$${\frac {\partial ^{i+j+k}f}{\partial x^{i}\partial y^{j}\partial z^{k}}}=f^{(i,j,k)}=\partial _{x}^{i}\partial _{y}^{j}\partial _{z}^{k}f.$$

При работе с функциями нескольких переменных некоторые из этих переменных могут быть связаны друг с другом, поэтому может потребоваться явно указать, какие переменные считаются постоянными, чтобы избежать двусмысленности. В таких областях, как статистическая механика , частная производная f по x , при условии, что y и z постоянны, часто выражается как

$$\left({\frac {\partial f}{\partial x}}\right)_{y,z}.$$

Традиционно, для ясности и простоты обозначений, функция частной производной и значение функции в конкретной точке объединяются путем включения аргументов функции, когда используется символ частной производной (нотация Лейбница). Таким образом, выражение типа

$${\frac {\partial f(x,y,z)}{\partial x}}$$

используется для функции, в то время как

$${\frac {\partial f(u,v,w)}{\partial u}}$$

может использоваться для значения функции в точке $(x,y,z)=(u,v,w)$. Однако это соглашение нарушается, когда мы хотим вычислить частную производную в такой точке, как $(x,y,z)=(17,u+v,v^{2})$. В таком случае вычисление функции должно быть выражено громоздким образом как

$${\frac {\partial f(x,y,z)}{\partial x}}(17,u+v,v^{2})$$

или

$$\left.{\frac {\partial f(x,y,z)}{\partial x}}\right|_{(x,y,z)=(17,u+v,v^{2})}$$

чтобы использовать обозначения Лейбница. Таким образом, в этих случаях может быть предпочтительнее использовать обозначение дифференциального оператора Эйлера с $D_{i}$ как символ частной производной по i -й переменной. Например, можно было бы написать $D_{1}f(17,u+v,v^{2})$ для описанного выше примера, а выражение $D_{1}f$ частной производной представляет функцию по первой переменной.

Для частных производных более высокого порядка частная производная (функция) $D_{i}f$ по j -й переменной обозначается $D_{j}(D_{i}f)=D_{i,j}f$. То есть, $D_{j}\circ D_{i}=D_{i,j}$, так что переменные перечислены в том порядке, в котором взяты производные, и, следовательно, в порядке, обратном тому, как обычно обозначается композиция операторов. Конечно, из теоремы Клеро следует, что $D_{i,j}=D_{j,i}$ пока сравнительно мягкие условия регулярности по f выполняются .

Градиент

Основная статья: Градиент

Важным примером функции нескольких переменных является случай скалярной функции. $f(x_{1},\ldots ,x_{n})$ в области в евклидовом пространстве $\mathbb {R} ^{n}$ (например, на $\mathbb {R} ^{2}$ или $\mathbb {R} ^{3}$). В этом случае f имеет частную производную $\partial f/\partial x_{j}$ относительно каждой переменной x _j . В точке a эти частные производные определяют вектор

$$\nabla f(a)=\left({\frac {\partial f}{\partial x_{1}}}(a),\ldots ,{\frac {\partial f}{\partial x_{n}}}(a)\right).$$

Этот вектор называется градиентом f точке в a . Если f дифференцируема в каждой точке некоторой области, то градиент представляет собой вектор-функцию ∇ f, которая переводит точку a в вектор ∇ f ( a ) . Следовательно, градиент создает векторное поле .

Распространенным злоупотреблением обозначениями является определение оператора del ( ∇ ) следующим образом в трехмерном евклидовом пространстве: $\mathbb {R} ^{3}$ с единичными векторами ${\hat {\mathbf {i} }},{\hat {\mathbf {j} }},{\hat {\mathbf {k} }}$:

$$\nabla =\left[{\frac {\partial }{\partial x}}\right]{\hat {\mathbf {i} }}+\left[{\frac {\partial }{\partial y}}\right]{\hat {\mathbf {j} }}+\left[{\frac {\partial }{\partial z}}\right]{\hat {\mathbf {k} }}$$

Или, в более общем смысле, для n -мерного евклидова пространства $\mathbb {R} ^{n}$ с координатами $x_{1},\ldots ,x_{n}$ и единичные векторы ${\hat {\mathbf {e} }}_{1},\ldots ,{\hat {\mathbf {e} }}_{n}$:

$$\nabla =\sum _{j=1}^{n}\left[{\frac {\partial }{\partial x_{j}}}\right]{\hat {\mathbf {e} }}_{j}=\left[{\frac {\partial }{\partial x_{1}}}\right]{\hat {\mathbf {e} }}_{1}+\left[{\frac {\partial }{\partial x_{2}}}\right]{\hat {\mathbf {e} }}_{2}+\dots +\left[{\frac {\partial }{\partial x_{n}}}\right]{\hat {\mathbf {e} }}_{n}$$

Производная по направлению

Этот раздел представляет собой отрывок из § Определение производной по направлению . [ редактировать ]

Контурный график ​ $f(x,y)=x^{2}+y^{2}$, показывающий вектор градиента черным цветом и единичный вектор $\mathbf {u}$ масштабируется производной по направлению в направлении $\mathbf {u}$ в оранжевом цвете. Вектор градиента длиннее, потому что градиент указывает в направлении наибольшей скорости возрастания функции.

Производная по направлению скалярной функции $$f(\mathbf {x} )=f(x_{1},x_{2},\ldots ,x_{n})$$вдоль вектора $$\mathbf {v} =(v_{1},\ldots ,v_{n})$$это функция $\nabla _{\mathbf {v} }{f}$ определяется пределом $$\nabla _{\mathbf {v} }{f}(\mathbf {x} )=\lim _{h\to 0}{\frac {f(\mathbf {x} +h\mathbf {v} )-f(\mathbf {x} )}{h}}.$$

Это определение действительно в широком диапазоне контекстов, например, когда норма вектора (и, следовательно, единичный вектор) не определена.

Пример

Предположим, что f — функция более чем одной переменной. Например,

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

График z = x ² + ху + у ² . Для частной производной в точке (1, 1) , которая оставляет y постоянным, соответствующая касательная линия параллельна плоскости xz .

Фрагмент графика выше, показывающий функцию в плоскости xz в точке y = 1 . Обратите внимание, что две оси показаны здесь в разных масштабах. Наклон касательной равен 3.

График поверхность этой функции определяет в евклидовом пространстве . К каждой точке этой поверхности имеется бесконечное количество касательных линий . Частичная дифференциация — это выбор одной из этих линий и нахождение ее наклона . Обычно наибольший интерес представляют линии, параллельные плоскости xz , и линии, параллельные плоскости yz (которые возникают в результате сохранения константы y или x соответственно).

Чтобы найти наклон линии, касательной к функции в точке P (1, 1) и параллельной плоскости xz , мы рассматриваем y как константу. График и эта плоскость показаны справа. Ниже мы видим, как функция выглядит на плоскости y = 1 . Находя производную уравнения, предполагая, что y является константой, мы обнаруживаем, что наклон f в точке ( x , y ) равен:

$${\frac {\partial z}{\partial x}}=2x+y.$$

Таким образом, в (1, 1) путем замены наклон равен 3 . Поэтому,

$${\frac {\partial z}{\partial x}}=3$$

в точке (1, 1) . То есть частная производная z по x в (1, 1) равна 3 , как показано на графике.

Функцию f можно интерпретировать как семейство функций одной переменной, индексированных другими переменными:

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

Другими словами, каждое значение y определяет функцию, обозначаемую f _y , которая является функцией одной переменной x . То есть,

$$f_{y}(x)=x^{2}+xy+y^{2}.$$

В этом разделе индекс f _y обозначает функцию, зависящую от фиксированного значения y , а не частную производную.

Как только значение y выбрано, скажем , a , тогда f ( x , y ) определяет функцию f _a , которая отслеживает кривую x ² + топор + а ² на плоскости xz :

$$f_{a}(x)=x^{2}+ax+a^{2}.$$

В этом выражении a — константа , а не переменная , поэтому f _a — функция только одной реальной переменной, то есть x . Следовательно, применимо определение производной функции одной переменной:

$$f_{a}'(x)=2x+a.$$

Вышеописанную процедуру можно выполнить для любого выбора файла . Объединение производных в функцию дает функцию, которая описывает изменение f в направлении x :

$${\frac {\partial f}{\partial x}}(x,y)=2x+y.$$

Это частная производная f по x . Здесь « ∂ » — это округленная буква «d», называемая символом частной производной ; Чтобы отличить ее от буквы «d», « ∂ » иногда произносится как «частичный».

Частные производные высшего порядка

Частные производные второго и более высокого порядка определяются аналогично производным более высокого порядка одномерных функций. Для функции $f(x,y,...)$ «собственная» вторая частная производная по x — это просто частная производная частной производной (обе по отношению к x ):

$${\frac {\partial ^{2}f}{\partial x^{2}}}\equiv \partial {\frac {\partial f/\partial x}{\partial x}}\equiv {\frac {\partial f_{x}}{\partial x}}\equiv f_{xx}.$$

Перекрестная частная производная по x и y получается путем взятия частной производной f по x , а затем взятия частной производной результата по y , чтобы получить

$${\frac {\partial ^{2}f}{\partial y\,\partial x}}\equiv \partial {\frac {\partial f/\partial x}{\partial y}}\equiv {\frac {\partial f_{x}}{\partial y}}\equiv f_{xy}.$$

Теорема Шварца утверждает, что если вторые производные непрерывны, на выражение для перекрестной частной производной не влияет то, какая переменная берется частная производная относительно первой, а какая — второй. То есть,

$${\frac {\partial ^{2}f}{\partial x\,\partial y}}={\frac {\partial ^{2}f}{\partial y\,\partial x}}$$

или эквивалентно $f_{yx}=f_{xy}.$

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

Первопроизводный аналог

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

Рассмотрим пример

$${\frac {\partial z}{\partial x}}=2x+y.$$

Так называемый частичный интеграл можно взять по x (считая y константой, аналогично частному дифференцированию):

$$z=\int {\frac {\partial z}{\partial x}}\,dx=x^{2}+xy+g(y).$$

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

Таким образом, набор функций $x^{2}+xy+g(y)$, где g — любая функция с одним аргументом, представляет весь набор функций от переменных x , y , которые могли бы создать x частную производную $2x+y$.

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

Приложения

Геометрия

Объем конуса зависит от высоты и радиуса.

Объем V формуле конуса его конуса зависит от высоты h и радиуса r по

$$V(r,h)={\frac {\pi r^{2}h}{3}}.$$

Частная производная V по r равна

$${\frac {\partial V}{\partial r}}={\frac {2\pi rh}{3}},$$

который представляет собой скорость, с которой изменяется объем конуса, если его радиус изменяется, а высота остается постоянной. Частная производная по h равна ${\textstyle {\frac {1}{3}}\pi r^{2}}$, которая представляет скорость, с которой изменяется объем, если его высота изменяется, а радиус остается постоянным.

Напротив, производная V по и r равна h полная соответственно

$${\begin{aligned}{\frac {dV}{dr}}&=\overbrace {\frac {2\pi rh}{3}} ^{\frac {\partial V}{\partial r}}+\overbrace {\frac {\pi r^{2}}{3}} ^{\frac {\partial V}{\partial h}}{\frac {dh}{dr}}\,,\\{\frac {dV}{dh}}&=\overbrace {\frac {\pi r^{2}}{3}} ^{\frac {\partial V}{\partial h}}+\overbrace {\frac {2\pi rh}{3}} ^{\frac {\partial V}{\partial r}}{\frac {dr}{dh}}\,.\end{aligned}}$$

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

Если (по какой-то произвольной причине) пропорции конуса должны оставаться прежними, а высота и радиус находятся в фиксированном соотношении k ,

$$k={\frac {h}{r}}={\frac {dh}{dr}}.$$

Это дает полную производную по r ,

$${\frac {dV}{dr}}={\frac {2\pi rh}{3}}+{\frac {\pi r^{2}}{3}}k\,,$$

что упрощается до

$${\frac {dV}{dr}}=k\pi r^{2},$$

Аналогично, полная производная по h равна

$${\frac {dV}{dh}}=\pi r^{2}.$$

Полная производная по и r объема, рассматриваемого как скалярная функция этих двух переменных , h определяется вектором . градиента

$$\nabla V=\left({\frac {\partial V}{\partial r}},{\frac {\partial V}{\partial h}}\right)=\left({\frac {2}{3}}\pi rh,{\frac {1}{3}}\pi r^{2}\right).$$

Оптимизация

, основанной на исчислении, Частные производные появляются в любой задаче оптимизации с более чем одной переменной выбора. Например, в экономике фирма может пожелать максимизировать прибыль π( x , y ) относительно выбора количеств x и y двух разных типов выпуска. Условия первого порядка для этой оптимизации: π _x = 0 = π _y . обе частные производные πx _{Поскольку} и πy _y обычно сами являются функциями обоих аргументов x и , эти два условия первого порядка образуют систему двух уравнений с двумя неизвестными .

Термодинамика, квантовая механика и математическая физика

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

$${\bar {G_{2}}}=G+(1-x_{2})\left({\frac {\partial G}{\partial x_{2}}}\right)_{\frac {x_{1}}{x_{3}}}$$

Выразите мольные доли компонента как функции мольных долей других компонентов и бинарных мольных отношений:

${\textstyle {\begin{aligned}x_{1}&={\frac {1-x_{2}}{1+{\frac {x_{3}}{x_{1}}}}}\\x_{3}&={\frac {1-x_{2}}{1+{\frac {x_{1}}{x_{3}}}}}\end{aligned}}}$

Дифференциальные коэффициенты могут быть образованы при постоянных соотношениях, подобных приведенным выше:

$${\begin{aligned}\left({\frac {\partial x_{1}}{\partial x_{2}}}\right)_{\frac {x_{1}}{x_{3}}}&=-{\frac {x_{1}}{1-x_{2}}}\\\left({\frac {\partial x_{3}}{\partial x_{2}}}\right)_{\frac {x_{1}}{x_{3}}}&=-{\frac {x_{3}}{1-x_{2}}}\end{aligned}}$$

Соотношения X, Y, Z мольных долей можно записать для тройных и многокомпонентных систем:

$${\begin{aligned}X&={\frac {x_{3}}{x_{1}+x_{3}}}\\Y&={\frac {x_{3}}{x_{2}+x_{3}}}\\Z&={\frac {x_{2}}{x_{1}+x_{2}}}\end{aligned}}$$

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

$$\left({\frac {\partial \mu _{2}}{\partial n_{1}}}\right)_{n_{2},n_{3}}=\left({\frac {\partial \mu _{1}}{\partial n_{2}}}\right)_{n_{1},n_{3}}$$

Это равенство можно переставить так, чтобы на одной стороне было дифференциальное частное мольных долей.

Изменение размера изображения

Частные производные являются ключом к алгоритмам изменения размера изображения с учетом цели. широко известные как «вырезание швов» Эти алгоритмы, , требуют, чтобы каждому пикселю изображения была присвоена числовая «энергия», чтобы описать их отличие от ортогональных соседних пикселей. Затем алгоритм . постепенно удаляет строки или столбцы с наименьшей энергией Формула, установленная для определения энергии пикселя (величины градиента пикселя), сильно зависит от конструкции частных производных.

Экономика

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

См. также

• оператор Аламберта
• Правило цепочки
• Керл (математика)
• Дивергенция
• Внешняя производная
• Повторный интеграл
• Матрица Якобиана и определитель
• Оператор Лапласа
• Многомерное исчисление
• Симметрия вторых производных
• Правило тройного произведения , также известное как правило циклической цепочки.

Внешние ссылки

• «Частная производная» , Математическая энциклопедия , EMS Press , 2001 [1994]
• Частные производные в MathWorld