Классический анализ молча считает мир гладким: производную берут там, где функция плавная, без изломов и скачков. Но настоящий мир щербат. Землетрясение, ударная волна, фронт горения, точечный заряд — это разрывы, в точке которых обычной производной просто нет. А отмахнуться от них нельзя: именно разрывные решения волнового уравнения позволяют читать недра Земли по сейсмическим волнам. Уйти от гладкости было не прихотью, а физической необходимостью.
Этот шаг сделал Сергей Соболев — основатель и первый директор Института математики в новосибирском Академгородке. Он расширил само понятие производной так, чтобы дифференцировать можно было и скачок. Простейший пример — «ступенька» Хевисайда: функция, равная 0 слева от точки и 1 справа. В точке скачка наклон бесконечен, классической производной нет. А в смысле Соболева её производная — это идеальный точечный импульс ровно в месте скачка.
Ступенька Хевисайда скачком переходит с 0 на 1; её обобщённая производная — дельта-импульс Дирака: бесконечно узкий и высокий пик ровно в точке скачка.
Как вообще можно строго определить «производную скачка»? Через хитрый обходной манёвр.
Идея Соболева — не дифференцировать саму негладкую функцию, а переложить производную на гладкого посредника. Берут «пробные» функции $\varphi$ — идеально гладкие и обращающиеся в ноль на краях. Для обычной функции интегрирование по частям даёт тождество, в котором производная перескакивает с $u$ на $\varphi$:
Если такое равенство выполнено для всех пробных $\varphi$, то $v$ и называют слабой производной $u$ — даже если у $u$ есть изломы. Функции, у которых слабые производные до порядка $k$ ещё интегрируемы, образуют пространство Соболева $W^{k,p}(\Omega)$ — естественный дом для негладких решений.
Тот же приём определяет и обобщённую функцию — это линейный функционал на пробных функциях. Дельта Дирака просто «считывает» значение в нуле: $\langle\delta,\varphi\rangle=\varphi(0)$. А производную функционала определяют опять перебросом на $\varphi$: $\langle T',\varphi\rangle = -\langle T,\varphi'\rangle$. Применив это к ступеньке Хевисайда, строго получаем $H' = \delta$1: производная скачка — точечный источник.
Где работает тот же закон?
На «слабой» постановке Соболева стоит метод конечных элементов — главный численный инструмент инженерии: расчёт мостов и зданий, аэродинамика, моделирование климата, сейсморазведка недр. Те же обобщённые функции выросли в «теорию распределений» Лорана Шварца (Филдсовская премия) — но появились они у Соболева раньше, и именно из сейсмологии.
Слабая (обобщённая) производная определяется через интегрирование по частям против пробных функций; функции с интегрируемыми слабыми производными образуют пространства Соболева $W^{k,p}$. Производная ступеньки Хевисайда равна дельте Дирака (Wikipedia, «Sobolev space»; «Weak derivative»; «Distribution (mathematics)»). ↩
Реальная конструкция почти всегда негладкая: трещина, угол, точечная опора, удар. Требовать, чтобы решение было всюду гладким, — значит не уметь считать ничего интересного. Слабая постановка снимает это требование: достаточно, чтобы уравнение выполнялось «в среднем», будучи проверенным против всех пробных функций. Тогда мост с острым стыком или фронт ударной волны становятся законными решениями.
На этом и стоит метод конечных элементов: область бьют на множество мелких треугольников, на каждом ищут простую (например, линейную) функцию, а сшивают их так, чтобы выполнялась слабая постановка Соболева. Получается, что огромный гладкий мир заменяют лоскутным, негладким — и именно он позволяет рассчитать самолётное крыло и спрогнозировать землетрясение.
Метод конечных элементов: область разбивают на мелкие треугольники и на каждом берут простую функцию. Сшивка «в слабом смысле» Соболева позволяет считать даже негладкие тела с углами и трещинами.
Открытый вопрос
Соболев расширил производную, чтобы охватить разрывы, — и почти весь современный инженерный расчёт живёт в его пространствах. Но у любой негладкости есть предел: для каких задач «слабого» решения уже мало и приходится изобретать ещё более общие пространства функций — математики выясняют до сих пор.
