Кусочно-заданная функция: определение и примеры¶

Кусочно-заданная функция — это функция, закон действия которой на разных промежутках (подмножествах) её области определения задаётся различными аналитическими выражениями (формулами). Иными словами, правило, сопоставляющее каждому значению аргумента значение функции, разбито на несколько частей, каждая из которых действует только на своём интервале.

¶Определение и форма записи

Формально кусочно-заданная функция \( f(x) \) на области определения \( D \) задаётся системой вида:

\[ f(x) = \begin{cases} f_1(x), & x \in D_1 \\ f_2(x), & x \in D_2 \\ \vdots \\ f_n(x), & x \in D_n \end{cases} \]

где \( D_1, D_2, \dots, D_n \) — непересекающиеся подмножества (промежутки) области определения, объединение которых даёт всю \( D \), а \( f_1(x), f_2(x), \dots, f_n(x) \) — элементарные функции (линейные, квадратичные, тригонометрические и т. п.). Точки, разделяющие промежутки, называются точками стыка (или узловыми точками). Важно, что в каждой точке стыка функция может иметь либо одно из заданных выражений (если точка включена в один из промежутков), либо быть разрывной.

¶Примеры

¶Линейная кусочная функция (модуль)

Классический пример — модуль числа, который можно записать как кусочно-заданную функцию:

\[ |x| = \begin{cases} x, & x \ge 0 \\ -x, & x < 0 \end{cases} \]

Здесь на неотрицательной полуоси действует линейная функция \( y = x \), а на отрицательной — \( y = -x \). В точке стыка \( x = 0 \) функция непрерывна, но не дифференцируема.

¶Функция Дирихле

Экзотический пример, где правило задано не формулами, а логическим условием:

\[ D(x) = \begin{cases} 1, & x \in \mathbb{Q} \\ 0, & x \notin \mathbb{Q} \end{cases} \]

Она равна 1 для рациональных аргументов и 0 для иррациональных. Эта функция разрывна в каждой точке и не имеет графика в обычном смысле, однако широко используется в математическом анализе для построения контрпримеров.

¶Сигнальная функция (знак числа)

\[ \operatorname{sgn}(x) = \begin{cases} 1, & x > 0 \\ 0, & x = 0 \\ -1, & x < 0 \end{cases} \]

Используется в теории управления и обработке сигналов.

¶Свойства и особенности

• Непрерывность. Кусочно-заданная функция может быть непрерывной, если значения выражений в точках стыка совпадают (как у модуля), либо иметь разрывы первого рода, если левый и правый пределы в точке стыка конечны, но различны.
• Дифференцируемость. В точках стыка, даже при непрерывности, производная часто не существует (излом графика), если односторонние производные не равны.
• Интегрируемость. Интеграл от кусочно-заданной функции вычисляется как сумма интегралов по каждому промежутку с учётом границ. Это свойство активно используется при вычислении площадей фигур, ограниченных ломаными линиями.

¶Применение

Кусочно-заданные функции широко применяются в математике и прикладных науках:

• Аппроксимация. Сплайны (кусочно-полиномиальные функции) используются для сглаживания данных и построения кривых в компьютерной графике и системах автоматизированного проектирования.
• Теория вероятностей. Функция распределения случайной величины часто является кусочно-заданной, особенно для дискретных и смешанных распределений.
• Экономика и финансы. Функции налоговых ставок, штрафов, тарифов на электроэнергию (в зависимости от объёма потребления) задаются кусочно.
• Физика. Описание движения тела с учётом изменения ускорения (например, при ударе) или распределение заряда в неоднородных средах.

¶Построение графика

Для построения графика кусочно-заданной функции необходимо последовательно изобразить график каждой из составляющих функций на своём промежутке. При этом особое внимание уделяется точкам стыка: если функция в них непрерывна, точки соединяются; если разрывна — изображаются «выколотые» точки (предельные значения) и отдельные значения функции.

¶Критика и ограничения

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

¶Источники

• Фихтенгольц Г. М. «Курс дифференциального и интегрального исчисления», т. 1.
• Кудрявцев Л. Д. «Курс математического анализа», т. 1.
• Ильин В. А., Позняк Э. Г. «Основы математического анализа», ч. 1.