Слабая производная

«Слабая производная» (в математике) — обобщение понятия производной функции («сильная производная») для функций, интегрируемых по Лебегу (то есть из пространства $L_1$), но не являющихся дифференцируемыми.

Определение

Пусть $u$ — функция из $L^1([a,b])$. Функцию $v(t)$ из $L^1([a,b])$ называют «слабой производной» $u$, если

$\underset{a}{\overset{b}{\int }}u(t){\phi }^{\prime }(t)dt=-\underset{a}{\overset{b}{\int }}v(t)\phi (t)dt$

для всех непрерывно дифференцируемых функций $\phi$ при $\phi (a)=\phi (b)=0$. Это определение основано на методе интегрирования по частям.

Обобщая на $n$ измерений, если $u$ и $v$ принадлежат пространству $L_{loc}^1(U)$ локально интегрируемых функций для некоторой области $U\subset {ℝ}^n$, и если $\alpha$ — это мультииндекс, то $v$ называется слабой производной $u$ порядка $\alpha$, если

$\underset{U}{\int }u{D}^{\alpha }\phi =(-1{)}^{|\alpha |}\underset{U}{\int }v\phi$

для всех $\phi \in C_c^{\mathrm{\infty }}(U)$ — финитных в $U$ бесконечно гладких функций.

Если у функции $u$ есть слабая производная, то её часто обозначают через $D^{\alpha }u$, так как она единственна с точностью до множества меры нуль.

Примеры

• Функция u : [−1, 1] → [0, 1], u(t) = |t|, которая не имеет производной в точке t = 0, тем не менее имеет на промежутке [−1, 1] слабую производную v, так называемую «функцию знака» (sgn), определяемую следующим соотношением:

$v:[-1,1]\to [-1,1]:t\mapsto v(t)=\{\begin{array}{cc}1,& t>0;\\ 0,& t=0;\\ -1,& t<0.\end{array}$

Это не единственная производная u: всякая функция w совпадающая с v почти всюду также будет слабой производной u. Обычно это не является проблемой, так как с точки зрения и пространств Lp, и пространств Соболева они эквивалентны.

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

$\int D(t)\phi (t)dt=0$

Таким образом, $v(t)\equiv 0$ есть слабая производная функции D. Это должно быть интуитивно понятно, ведь D в пространстве Lp эквивалентна тождественному нулю.

Свойства

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

• Если u имеет обычную («сильную») производную, тогда она будет являться слабой производной. В этом смысле, слабая производная является обобщением сильной. Более того, классические правила для производных от суммы и от произведения функций сохраняются и для слабых производных.

Развитие

Понятие слабой производной заложило основу для построения т. н. слабых решений в пространстве Соболева, которые оказались полезными в теории дифференциальных уравнений и в Функциональном анализе.

Литература

• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга