Математический анализ: Углубленный курс для второго года обучения

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

Добро пожаловать на второй курс математического анализа. Если на первом курсе мы исследовали поведение функций одной переменной — представьте это как движение муравья по натянутой проволоке, — то теперь мы выходим в открытое пространство. Мы будем изучать функции, зависящие от двух, трех и более переменных. Это математический язык реального мира, где процессы зависят от множества факторов одновременно: погода зависит от давления, температуры и влажности; прибыль компании — от затрат на рекламу, стоимости сырья и логистики.

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

Функции многих переменных: от линии к поверхности

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

Где:

— зависимая переменная (значение функции, аппликата);

— правило или закон соответствия;

— независимые переменные (аргументы).

!График функции двух переменных, представляющий собой параболоид вращения.

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

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

В анализе функций одной переменной производная показывала мгновенную скорость изменения функции. Но как определить скорость изменения, если двигаться можно в любую сторону?

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

Определение и обозначение

Частная производная функции по переменной обозначается специальным символом (читается как «де» или «бэ»):

Где:

— частная производная функции по переменной ;

— предел при стремлении приращения аргумента к нулю;

— значение функции в точке со смещением по ;

— исходное значение функции;

— малое приращение переменной ;

— переменная, которая в данном пределе считается постоянным числом.

Геометрически — это тангенс угла наклона касательной к сечению поверхности плоскостью .

!Геометрический смысл частной производной по x как наклон касательной в сечении.

Пример вычисления

Рассмотрим функцию:

Где:

— значение функции;

— переменные;

(в степенях и коэффициентах) — числовые константы.

Найдем частную производную по (). Мы считаем обычным числом (как 5 или 10). Производная от по будет равна 0, так как это константа.

Где:

— производная от слагаемого ;

— производная от слагаемого (так как здесь выступает как коэффициент при ).

Теперь найдем частную производную по (). Теперь — это константа.

Где:

— производная от слагаемого по ;

— производная от слагаемого .

Градиент: вектор наискорейшего роста

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

Где:

(читается «набла эф») — вектор градиента функции;

— координата вектора по оси (частная производная по );

— координата вектора по оси (частная производная по ).

Физический смысл: Градиент всегда указывает направление самого быстрого возрастания функции. Если вы стоите на горе, градиент покажет, куда сделать шаг, чтобы подняться максимально круто вверх. Длина вектора градиента показывает, насколько крутой этот подъем.

Экстремумы функций многих переменных

Как и в случае с одной переменной, нас часто интересует поиск максимумов и минимумов функции (оптимизация). В многомерном анализе алгоритм поиска экстремумов состоит из двух этапов: необходимого и достаточного условий.

Необходимое условие экстремума

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

Точка называется стационарной, если:

Где:

и — частные производные;

— нулевое значение производной.

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

!Седловая точка: стационарная точка, не являющаяся экстремумом.

Достаточное условие экстремума (Матрица Гессе)

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

Обозначим вторые производные:

Где:

— вторая производная по дважды;

— смешанная производная (сначала по , потом по );

— вторая производная по дважды.

Составим определитель :

Где:

— значение определителя (дискриминант);

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

Правило проверки:

Если , то в точке есть экстремум:

* Если (или ), то это минимум. * Если (или ), то это максимум.

Если , то экстремума нет (это седловая точка).

Если , то вопрос остается открытым (требуются дополнительные исследования).

Пример полного исследования

Исследуем функцию на экстремумы.

Находим частные производные:

Где — переменные части, — константы.

Решаем систему уравнений (необходимое условие):

Получили стационарную точку .

Находим вторые производные:

Где штрих с индексом обозначает операцию взятия производной по соответствующей переменной.

Проверяем достаточное условие:

Где — определитель, и — вычисленные значения производных.

Так как , экстремум существует. Так как , это точка минимума.

Заключение

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

Кратные интегралы: теория двойных и тройных интегралов, замена переменных

В предыдущей лекции мы научились находить частные производные и исследовать функции многих переменных на экстремумы. Мы узнали, как определить скорость изменения функции в любой точке и найти вершины «холмов» или дно «впадин». Теперь мы переходим к обратной задаче: суммированию. Если производная помогает нам разобрать функцию на части и изучить её локальное поведение, то интеграл позволяет собрать эти части воедино, чтобы найти глобальные характеристики: объем, массу, центр тяжести или момент инерции.

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

Двойной интеграл: объем под поверхностью

Вспомним геометрический смысл определенного интеграла для функции одной переменной : это площадь криволинейной трапеции под графиком функции. Для функции двух переменных аналогом является объем тела, ограниченного сверху поверхностью функции, а снизу — областью на плоскости .

!Иллюстрация геометрического смысла двойного интеграла как объема тела под поверхностью функции над областью D.

Определение

Двойной интеграл обозначается двумя значками интеграла:

Где:

— знак двойного интеграла;

— область интегрирования на плоскости (двумерная);

— подынтегральная функция (высота поверхности в точке);

— элемент площади (бесконечно малый прямоугольник со сторонами и ).

Физический смысл: если — это плотность плоской пластины в точке , то двойной интеграл равен массе этой пластины.

Вычисление через повторные интегралы

На практике двойные интегралы вычисляют, сводя их к двум обычным (одинарным) интегралам. Этот процесс называется сведением к повторному интегралу.

Если область ограничена слева и справа прямыми и , а снизу и сверху — функциями и , то:

Где:

— внешний интеграл, берущийся по переменной (пределы — константы);

— внутренний интеграл, берущийся по переменной (пределы могут зависеть от );

— функция, ограничивающая область снизу;

— функция, ограничивающая область сверху.

Важно: Сначала вычисляется внутренний интеграл (по ), при этом считается константой. Результат интегрирования будет зависеть только от . Затем вычисляется внешний интеграл.

Замена переменных в двойном интеграле

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

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

Где:

— область в новых координатах ;

— формулы замены переменных;

— модуль якобиана (определителя матрицы Якоби);

— элемент площади в новых координатах.

Якобиан преобразования

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

Где:

— частная производная по ;

— обозначение определителя матрицы;

Остальные слагаемые — соответствующие частные производные старых координат по новым.

Полярные координаты

Самая популярная замена — переход к полярным координатам, удобный для круглых областей.

Где:

— полярный радиус (расстояние от начала координат);

— полярный угол;

— тригонометрические функции.

Якобиан перехода к полярным координатам равен . Таким образом, формула принимает вид:

Где:

перед — тот самый якобиан, который нельзя забывать.

!Визуальное сравнение элементов площади: прямоугольник dxdy против сектора rdr*dphi.

Тройные интегралы: масса и объем в 4D?

Тройной интеграл — это естественное обобщение двойного на трехмерные области. Если двойной интеграл по области можно интерпретировать как объем, то тройной интеграл по объему от функции часто интерпретируют как массу тела с переменной плотностью.

Где:

— знак тройного интеграла;

— трехмерная область интегрирования (тело);

— функция плотности в каждой точке;

— элемент объема (бесконечно малый параллелепипед).

Если , то тройной интеграл равен геометрическому объему тела .

Вычисление тройного интеграла

Тройной интеграл сводится к трехкратному повторному. Порядок интегрирования зависит от формы тела, но принцип тот же: от внешних пределов (констант) к внутренним (функциям).

Где:

— границы проекции тела на ось ;

— границы проекции на плоскость при фиксированном ;

— поверхности, ограничивающие тело снизу и сверху.

Замена переменных в тройных интегралах

Здесь также работает правило с якобианом, только матрица Якоби становится размером . Рассмотрим две основные системы координат.

Цилиндрические координаты

Это комбинация полярных координат на плоскости и обычной высоты . Удобно для тел вращения (цилиндры, конусы).

Где:

— полярные координаты в плоскости основания;

— высота.

Якобиан такой же, как в полярных координатах: .

Сферические координаты

Используются для шаров и сфер. Положение точки задается расстоянием от центра и двумя углами.

Где:

(ро) — расстояние от начала координат до точки (радиус-вектор);

(фи) — угол в плоскости (долгота, от 0 до );

(тета) — угол отклонения от оси (широта, от 0 до );

— тригонометрические функции.

Якобиан сферической замены:

Где:

— квадрат радиуса;

— синус угла отклонения от вертикальной оси.

Элемент объема превращается в: .

!Иллюстрация сферических координат rho, theta, phi и соответствующего элемента объема.

Приложения кратных интегралов

Кратные интегралы — это рабочий инструмент инженера и физика. Вот несколько примеров их использования:

Масса тела: Как мы уже говорили, интеграл от плотности по объему.

Статические моменты и центр тяжести: Координаты центра тяжести вычисляются как отношение статического момента к массе. Например:

Где: - — координата центра тяжести по оси ; - — полная масса тела; - — функция плотности; - — текущая координата.

Моменты инерции: Характеризуют инертность тела при вращении. Это интеграл от квадрата расстояния до оси вращения, умноженного на плотность.

Заключение

Мы рассмотрели мощный аппарат кратного интегрирования. Главное, что нужно запомнить: двойной интеграл — это объем (или масса плоской фигуры), тройной — это масса тела (или его объем, если плотность равна 1). Для упрощения вычислений мы используем замену переменных, не забывая про «налог» на искажение пространства — якобиан.

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

Векторный анализ: криволинейные и поверхностные интегралы первого и второго рода

Мы продолжаем наше путешествие по математическому анализу. В прошлых лекциях мы научились работать с «плоскими» и «объемными» объектами, используя двойные и тройные интегралы. Мы вычисляли массу пластины или объем тела. Но реальный мир не всегда состоит из удобных кирпичиков и плоских блинов.

Представьте, что вам нужно найти массу изогнутой проволоки, плотность которой меняется от точки к точке. Или рассчитать работу, которую совершает ветер, подталкивая (или тормозя) летящий самолет по сложной траектории. Или вычислить, сколько воды протекает через изогнутую сетку в трубе за секунду.

Обычные определенные интегралы здесь бессильны. Нам нужны новые инструменты: криволинейные и поверхностные интегралы. Сегодня мы разберем их виды (первого и второго рода) и физический смысл.

Криволинейные интегралы: жизнь на проволоке

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

Криволинейный интеграл первого рода (по длине дуги)

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

Обозначение:

Где:

— знак интеграла по кривой ;

— скалярная функция (например, линейная плотность или температура в точке);

— дифференциал дуги (длина бесконечно малого кусочка кривой).

Физический смысл: Если , интеграл равен длине кривой . Если — плотность, интеграл равен массе кривой.

Как вычислять? Криволинейный интеграл сводится к обычному определенному интегралу через параметризацию. Если кривая задана параметрически: , где меняется от до , то длина кусочка вычисляется по теореме Пифагора для бесконечно малых:

Где:

— элемент длины дуги;

— производные координат по параметру ;

— дифференциал параметра.

Тогда формула вычисления:

Где:

— пределы изменения параметра ;

— значение функции, в которую подставили параметры.

Важно: Для интеграла первого рода направление движения не имеет значения. Масса проволоки не изменится от того, измеряем мы её от начала к концу или наоборот.

!Визуализация криволинейного интеграла первого рода: суммирование скалярной величины вдоль кривой.

Криволинейный интеграл второго рода (по координатам)

Здесь мы работаем с векторными полями. Представьте, что вы идете по кривой дорожке, а дует ветер. Ветер — это векторное поле силы . В одной точке он дует в спину (помогает), в другой — в лицо (мешает), в третьей — перпендикулярно (не совершает работы).

Интеграл второго рода вычисляет суммарную работу поля вдоль кривой.

Обозначение:

Где:

— векторное поле силы с компонентами и ;

— вектор бесконечно малого перемещения вдоль кривой;

— скалярное произведение векторов;

— координатная форма записи (сумма работ по осям).

Физический смысл: Работа силы при перемещении материальной точки вдоль кривой .

Как вычислять? Снова используем параметризацию .

Где:

— дифференциалы координат;

— скорости изменения координат.

Подставляем все в интеграл:

Где:

Выражение в скобках — это скалярное произведение вектора поля на вектор скорости.

Важно: Для интеграла второго рода направление имеет критическое значение. Если вы пойдете против ветра, работа ветра будет отрицательной. При смене направления пути знак интеграла меняется на противоположный.

Поверхностные интегралы: от плоского к искривленному

Теперь расширим понятие двойного интеграла. Вместо плоской области на плоскости , мы будем интегрировать по искривленной поверхности (например, по сфере или параболоиду).

Поверхностный интеграл первого рода (по площади поверхности)

Аналог криволинейного интеграла первого рода, но для 2D-объектов в 3D-пространстве. Пусть поверхность — это изогнутая металлическая пластина с переменной плотностью.

Обозначение:

Где:

— интеграл по поверхности ;

— скалярная функция (плотность);

(или ) — элемент площади искривленной поверхности.

Физический смысл: Масса криволинейной поверхности, заряд на поверхности или площадь поверхности (если ).

Как вычислять? Мы проецируем поверхность на плоскость в область . Но площадь наклонного кусочка поверхности больше, чем площадь его тени (проекции). Нам нужен коэффициент «растяжения».

Если поверхность задана уравнением , то:

Где:

— частные производные функции, задающей поверхность;

— элемент площади проекции на плоскости.

Формула перехода к двойному интегралу:

Где:

— проекция поверхности на плоскость ;

— подставляется вместо в функцию .

Поверхностный интеграл второго рода (по координатам)

Этот интеграл связан с понятием потока векторного поля. Представьте реку, текущую через изогнутую сетку. Нам нужно узнать, сколько литров воды проходит через сетку в секунду.

Здесь важно не только поле скорости воды , но и ориентация поверхности. У поверхности есть две стороны (как у листа бумаги). Мы должны выбрать одну сторону, задав вектор нормали .

Обозначение:

Где:

— векторное поле;

— единичный вектор нормали к поверхности (перпендикуляр);

— векторный элемент поверхности.

В координатной форме это часто записывают так:

Где:

— компоненты векторного поля ;

— проекция элемента поверхности на плоскость ;

— проекция на плоскость ;

— проекция на плоскость .

Физический смысл: Поток векторного поля через поверхность. Количество материи или энергии, проходящее сквозь поверхность за единицу времени.

!Иллюстрация потока вектора через поверхность: стрелки поля проходят сквозь сетку поверхности.

Как вычислять? Обычно сводят к двойному интегралу по проекции (например, на плоскость ).

Где:

Знак выбирается в зависимости от ориентации нормали. Если нормаль образует острый угол с осью (смотрит «вверх»), берем «+». Если тупой (смотрит «вниз»), берем «-».

Связь между интегралами

Чтобы не запутаться, запомните простую таблицу аналогий:

| Тип объекта | Скалярное поле (масса, t°) | Векторное поле (сила, скорость) | | :--- | :--- | :--- | | Линия (1D) | Криволинейный 1-го рода (Длина, Масса нити) | Криволинейный 2-го рода (Работа, Циркуляция) | | Поверхность (2D) | Поверхностный 1-го рода (Площадь, Масса оболочки) | Поверхностный 2-го рода (Поток через поверхность) |

Заключение

Мы вооружились мощным аппаратом. Криволинейные и поверхностные интегралы — это язык физики полей. Уравнения Максвелла в электродинамике, законы гидродинамики и аэродинамики записаны именно на этом языке.

Главное отличие интегралов второго рода от первого — это учет направления. В интегралах первого рода мы просто суммируем значения. В интегралах второго рода мы смотрим, как поле «взаимодействует» с геометрией пути или поверхности (через скалярное произведение).

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

Элементы теории поля: градиент, дивергенция, ротор и интегральные теоремы

В предыдущих лекциях мы проделали большой путь: научились вычислять объемы с помощью кратных интегралов и находить работу силы вдоль кривой линии. Мы подошли к кульминации нашего курса — теории поля. Это раздел математики, который служит языком для физики: электродинамика Максвелла, гидродинамика и гравитация описаны именно этими уравнениями.

Сегодня мы объединим дифференциальное исчисление (производные) и интегральное исчисление. Мы познакомимся с тремя «китами» векторного анализа: градиентом, дивергенцией и ротором, а также изучим мощные теоремы, связывающие интегралы разных размерностей.

Оператор Гамильтона (Набла)

Прежде чем разбирать конкретные операции, нам нужно познакомиться с главным инструментом теории поля — символическим вектором «Набла» (обозначается перевернутым треугольником ). Это не число и не функция, это оператор — команда «взять производную».

В декартовых координатах оператор Гамильтона выглядит так:

Где:

— оператор Гамильтона (Набла);

— операторы частных производных по соответствующим координатам;

— единичные базисные векторы (орты) осей .

Смысл этого оператора раскрывается, когда мы применяем его к скалярным или векторным полям.

Градиент: Вектор скорости роста

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

Где:

— вектор градиента скалярного поля ;

— скалярная функция (например, температура или давление);

— скорость изменения функции вдоль оси .

Физический смысл: Градиент превращает скалярное поле (где в каждой точке просто число) в векторное поле. Вектор градиента в любой точке указывает направление самого быстрого возрастания функции, а его длина равна скорости этого роста.

Дивергенция: Источники и стоки

Теперь применим оператор Набла к векторному полю . Если мы умножим на вектор скалярно, мы получим дивергенцию (от лат. divergere — расходиться).

Где:

— дивергенция векторного поля (результат — скаляр, то есть число);

— знак скалярного произведения;

— компоненты векторного поля (функции от координат);

— частная производная первой компоненты по .

Физический смысл: Дивергенция показывает, является ли данная точка источником или стоком.

* Если , то точка — источник (отсюда «вытекает» больше, чем «втекает»). Пример: открытый кран с водой. * Если , то точка — сток. Пример: сливное отверстие в ванной. * Если , то поле называется соленоидальным (трубчатым). В такой области жидкость не рождается и не исчезает, а просто течет.

!Визуализация физического смысла дивергенции: источник и сток векторного поля.

Ротор: Вихрь и вращение

Третья операция — это векторное произведение оператора Набла на векторное поле . Результат называется ротором (или вихрем, обозначается или ).

Где:

— ротор поля (результат — вектор);

— знак векторного произведения;

— определитель матрицы ;

Вторая строка матрицы — операторы производных;

Третья строка — компоненты вектора .

Раскрыв определитель, получаем формулу для вычислений:

Где:

Выражения в скобках — это координаты вектора ротора.

Физический смысл: Ротор характеризует вращательную способность поля. Представьте, что вы поместили маленькое колесо с лопастями в поток жидкости. Если колесо начнет вращаться, значит, в этой точке ротор не равен нулю. Ось вращения колеса совпадет с направлением вектора ротора, а скорость вращения — с его длиной.

Поле, в котором , называется потенциальным (безвихревым).

!Ротор векторного поля показывает ось и интенсивность вращения в данной точке.

Интегральные теоремы: Связь измерений

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

Теорема Остроградского-Гаусса

Эта теорема связывает тройной интеграл по объему с поверхностным интегралом по замкнутой поверхности, ограничивающей этот объем.

Где:

— тройной интеграл по объему тела ;

— дивергенция поля внутри тела;

— элемент объема;

— поверхностный интеграл по замкнутой поверхности , ограничивающей тело;

— проекция вектора поля на внешнюю нормаль (поток через поверхность);

— элемент площади поверхности.

Суть теоремы: Суммарная мощность всех источников и стоков внутри тела (левая часть) равна полному потоку вектора через поверхность этого тела (правая часть). Сколько воды родилось внутри шара, столько и вытекло через его поверхность.

Теорема Стокса

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

Где:

— криволинейный интеграл по замкнутому контуру (циркуляция);

— элементарная работа поля вдоль контура;

— поверхностный интеграл по поверхности , «натянутой» на контур ;

— вектор ротора;

— нормаль к поверхности.

Суть теоремы: Циркуляция вектора по краю «сачка» равна потоку вихрей через сетку этого «сачка». Если вы закручиваете воду по краям ведра, то сумма всех микро-вращений внутри ведра будет соответствовать этому движению по краю.

Заключение

Мы завершили обзор элементов теории поля. Эти понятия могут показаться абстрактными, но они описывают реальность вокруг нас:

Градиент показывает, куда течет тепло или как меняется давление.

Дивергенция помогает найти источники загрязнения или заряда.

Ротор описывает турбулентность воздуха за крылом самолета или магнитное поле вокруг провода.

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

На этом наш курс математического анализа подходит к концу. Вы освоили мощнейший аппарат исследования мира — от поведения одной переменной до сложных многомерных полей.

Функциональные последовательности, равномерная сходимость и ряды Фурье

Мы продолжаем наш курс углубленного математического анализа. В предыдущих модулях мы исследовали мир многомерных пространств: учились находить экстремумы на поверхностях, вычислять объемы с помощью кратных интегралов и анализировать векторные поля, описывающие потоки жидкости или электромагнитные силы.

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

Функциональные последовательности: когда функции выстраиваются в очередь

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

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

Поточечная сходимость

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

Если для каждого из области определения числовая последовательность сходится к числу , мы говорим, что последовательность сходится поточечно.

Где:

— предел при стремлении номера функции к бесконечности;

— значение -й функции в точке ;

— значение предельной функции в той же точке.

Пример с подвохом: Рассмотрим последовательность на отрезке .

Где:

— аргумент функции от 0 до 1;

— показатель степени, который растет ().

Что происходит при росте ?

Если , то стремится к 0 (число меньше единицы в огромной степени исчезающе мало).

Если , то всегда равно 1.

В итоге предельная функция равна 0 везде, кроме точки , где она скачком становится равна 1. Мы получили разрывную функцию из последовательности непрерывных! Это показывает, что поточечной сходимости недостаточно для сохранения хороших свойств функций (например, непрерывности).

Равномерная сходимость: строгая дисциплина

Чтобы избежать проблем, как в примере выше, математики ввели более сильное требование — равномерную сходимость.

Идея проста: функции должны приближаться к пределу не «кто как хочет» (в одной точке быстро, в другой медленно), а «единым фронтом» по всей области определения.

Геометрический смысл: «Труба»

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

!Иллюстрация равномерной сходимости: график приближающей функции целиком лежит в эпсилон-трубке вокруг предельной функции.

Формальное определение:

Где:

— для любой, сколь угодно малой допустимой погрешности;

— существует такой номер порога (зависящий от погрешности);

— для всех номеров функций после этого порога;

— для всех точек из области определения (это ключевое отличие от поточечной сходимости);

— расстояние между графиками меньше погрешности.

Зачем это нужно?

Равномерная сходимость — это «лицензия» на перестановку математических операций. Только при её наличии мы имеем право:

Менять местами предел и интеграл: .

Менять местами предел и производную: .

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

Ряды Фурье: гармония математики

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

Жозеф Фурье в начале XIX века выдвинул смелую идею: любую периодическую функцию (сложный сигнал, вибрацию струны, тепловой профиль) можно представить как сумму простых синусов и косинусов.

Определение ряда Фурье

Пусть — периодическая функция с периодом . Её тригонометрический ряд Фурье выглядит так:

Где:

— исходная функция;

— постоянная составляющая (среднее значение функции за период);

— сумма бесконечного ряда;

— номер гармоники (частота колебания);

— коэффициенты Фурье (амплитуды косинусов и синусов);

— базисные тригонометрические функции с частотой .

!Разложение сложного сигнала на сумму простых гармонических колебаний (синусоид).

Коэффициенты Фурье

Как найти эти загадочные числа и ? Они вычисляются через интегралы. Это похоже на то, как мы находим координаты вектора, проецируя его на оси. Здесь мы «проецируем» нашу функцию на синусы и косинусы.

Где:

— коэффициент, отвечающий за смещение графика по вертикали;

— нормировочный множитель;

— интеграл по одному периоду.

Где:

— амплитуда косинусоидальной составляющей частоты ;

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

Где:

— амплитуда синусоидальной составляющей частоты ;

— произведение функции на синус.

Условия Дирихле

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

Ограничена.

Иметь конечное число точек разрыва (и только 1-го рода).

Иметь конечное число экстремумов (максимумов и минимумов) на периоде.

Если эти условия выполнены, ряд сходится к функции во всех точках непрерывности. А в точках разрыва сумма ряда равна среднему арифметическому пределов слева и справа: .

Заключение

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