Представьте, что вы суммируете количество осадков, зафиксированное на прямоугольном поле сетью датчиков. Изменится ли что-нибудь, если сначала сложить показания каждой строки датчиков, а затем сложить суммы по строкам — или сначала сложить каждый столбец, а затем эти суммы? Теорема Фубини говорит: нет. Для достаточно «хорошей» функции на такой области, как прямоугольник, двойной интеграл даёт один и тот же результат независимо от того, по какой переменной начинают интегрировать.
Разрежьте одну и ту же область двумя разными способами — сложите полосы в одном направлении или в другом, вы получите одну и ту же сумму. Это и есть теорема Фубини.
Углублённый уровень бакалавриата
Что теорема утверждает на самом деле
Для непрерывной функции f(x, y) на прямоугольнике, где x изменяется от a до b, а y — от c до d:
∬ f(x,y) dA = ∫∫ f(x,y) dy dx = ∫∫ f(x,y) dx dy
Другими словами: фиксируем одну переменную, интегрируем по другой, получаем обычную функцию одной переменной — а затем интегрируем её. Оба шага можно выполнять в любом порядке, результат будет одним и тем же числом.
Почему это важно
Это превращает по-настоящему двумерную задачу — объём под поверхностью — в два обычных одномерных интеграла, выполняемых один за другим, что вы уже умеете делать. А поскольку порядок — ваш выбор, вы можете выбрать тот, который действительно прост: некоторые области делают интегрирование по x почти невозможным первым, тогда как по y всё просто, или наоборот.
Это незаметно лежит в основе множества реальных вычислений: нахождение массы или центра масс плоской пластины, вычисление моментов инерции в инженерии, работа с совместными распределениями вероятностей в статистике, а также операции свёртки, используемые в обработке изображений и машинном обучении.
Условие, которое стоит запомнить: теорема Фубини требует, чтобы функция была «хорошей» (технически — абсолютно интегрируемой) на области. Для непрерывных функций, с которыми вы столкнётесь в университете, порядок действительно никогда не имеет значения.
Быстрый решённый пример
Возьмём f(x, y) = xy на прямоугольнике 0 ≤ x ≤ 2, 0 ≤ y ≤ 1.
- Сначала интегрируем по x: ∫₀¹ [∫₀² xy dx] dy = ∫₀¹ [x²y/2]₀² dy = ∫₀¹ 2y dy = [y²]₀¹ = 1.
- Сначала интегрируем по y: ∫₀² [∫₀¹ xy dy] dx = ∫₀² [xy²/2]₀¹ dx = ∫₀² (x/2) dx = [x²/4]₀² = 1.
Вопрос в формате экзамена
Вычислите ∬R (x² + y) dA по прямоугольнику R: 0 ≤ x ≤ 2, 0 ≤ y ≤ 3. [4 баллов]
Показать образец ответа и разбивку баллов
- Сначала интегрируем по x: ∫₀² (x² + y) dx = [x³/3 + xy]₀² = 8/3 + 2y (1 балл)
- Затем интегрируем этот результат по y: ∫₀³ (8/3 + 2y) dy = [8y/3 + y²]₀³ (1 балл)
- = (8×3/3 + 3²) − 0 = 8 + 9 = 17 (1 балл)
На что обращает внимание экзаменатор: считайте «внутреннюю» переменную единственной переменной во время интегрирования — y — это просто константа при интегрировании по x, и наоборот на втором шаге.
Частая ошибка: забыть, что слагаемое +xy обращается в 0 при x = 0 на первом шаге интегрирования (то есть нижний предел даёт вклад 0, а не что-то, зависящее от y), или перепутать, какие пределы относятся к какой переменной при подстановке.
Один и тот же ответ независимо от порядка — именно то, что обещает теорема Фубини. Как только это становится ясным, двойные интегралы перестают казаться новой темой и начинают восприниматься как два уже знакомых вам интеграла, выполненных один за другим. Если многомерный анализ, подобный этому, — то, что вы или ваш ребёнок хотите понять по-настоящему, а не просто заучить, именно этому посвящено наше репетиторство по математике для студентов, и вы можете изучить полный путь обучения здесь.
Часто задаваемые вопросы
Работает ли теорема Фубини на любой области, а не только на прямоугольниках?
Да — при условии, что область можно описать согласованными границами в обоих порядках (то, что учебники называют областью «типа I» или «типа II»), и функция на ней интегрируема. При смене порядка границы нужно правильно переписать, что на практике обычно и является сложной частью.
В чём разница между теоремой Фубини и теоремой Тонелли?
Теорема Фубини требует, чтобы функция была абсолютно интегрируемой; теорема Тонелли охватывает неотрицательные функции даже без этой предварительной гарантии. Для непрерывных функций на замкнутой ограниченной области — ситуация, характерная для большинства курсов бакалавриата, — теорема Фубини применяется без дополнительной проверки.
Где это встречается за пределами математического диплома?
Везде, где что-то суммируется сразу по двум измерениям: вычисление центра масс, нахождение математических ожиданий для совместных распределений вероятностей, ядра свёртки, используемые в обработке изображений, и процедуры численного интегрирования — все они опираются на возможность интегрировать по одной переменной за раз.
Оценки и отзывы читателей
Оцените эту статью по нескольким критериям — ваше мнение помогает другим читателям и помогает нам становиться лучше.
Была ли эта статья полезной?
Расскажите, что вы думаете — исправление, вопрос, оставшийся без ответа, или тема, которую вы хотели бы увидеть далее.
Хотите обсудить голосом? Запишитесь на бесплатный видеозвонок в удобное время: 15 минут для короткого вопроса, 30 — для всего остального. Время показывается в вашем часовом поясе.
Об авторе
Sudershan Soni
Основатель и главный преподаватель в Mostak Services — репетитор по математике, естественным наукам, информатике и STEM со степенью магистра и более чем 20-летним профессиональным опытом, преподаёт ученикам от уровня 11+ и GCSE до A-Level и выше, онлайн по всему миру.
Читать полный профиль