Анализ утверждения: "Если функция f непрерывна на отрезке [a,b] и интеграл от a до b равен 0, то f(x) = 0 для всех x в [a,b]". Проанализируйте корректность этого утверждения, приведите контрпримеры и сформулируйте точные дополнительные условия, при которых утверждение верно

8 Окт в 11:38
6 +1
0
Ответы
1

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

1) Контрпримеры неисправностьутверждениянеисправность утверждениянеисправностьутверждения

fxxx = sin x на 0,2π0, 2π0,2π. ∫_0^{2π} sin x dx = 0, но sin x ≠ 0 на всём отрезке.fxxx = x − 1/2 на 0,10,10,1. ∫_0^1 x−1/2x−1/2x1/2 dx = 0, но функция не тождественно ноль.

Таким образом из ∫_a^b f = 0 и непрерывности не следует fxxx ≡ 0.

2) Что всё же следует при непрерывности

По теореме о среднем значении для интеграла длянепрерывнойfсуществуетc∈(a,b)такое,что∫abf=f(c)(b−a)для непрерывной f существует c ∈ (a,b) такое, что ∫_a^b f = f(c)(b−a)длянепрерывнойfсуществуетc(a,b)такое,чтоab f=f(c)(ba). Отсюда при ∫_a^b f = 0 следует, что существует хотя бы одна точка c ∈ a,ba,ba,b такая, что fccc=0. Более того: либо f ≡ 0 на a,ba,ba,b, либо f принимает и положительные, и отрицательные значения иначеинтегралнемогбыбытьнулевыминаче интеграл не мог бы быть нулевыминачеинтегралнемогбыбытьнулевым.

3) Дополнительные условия, при которых утверждение верно
Любое условие, которое исключает «компенсацию» положительных и отрицательных частей, делает утверждение истинным. Основные варианты:

f непрерывна на a,ba,ba,b и fxxx ≥ 0 для всех x ∈ a,ba,ba,b. Тогда ∫_a^b f = 0 влечёт fxxx = 0 для всех x. (Доказательство: если f(x0) > 0 для некоторого x0, то по непрерывности существует окрестность, где f > 0, значит интеграл > 0 — противоречие.)Аналогично, если f ≤ 0 на a,ba,ba,b и ∫_a^b f = 0, то f ≡ 0.f непрерывна и ∫_a^b |f| = 0 (или ∫_a^b f^2 = 0, или ∫_a^b |f|^p = 0 для p>0). Тогда |f| илиf2или f^2илиf2 непрерывна, неотрицательна и её интеграл ноль, значит она тождественно ноль, следовательно f ≡ 0.Эквивалентно: если непрерывная f равна нулю почти всюду по мере Лебега имеетнулевуюL1−нормуимеет нулевую L^1-нормуимеетнулевуюL1норму, то непрерывность поднимает «почти всюду» до «всех точек», т.е. f ≡ 0.

Коротко: без дополнительного условия на знак илинаабсолютнуювеличинуили на абсолютную величинуилинаабсолютнуювеличину утверждение ложно; если же исключить смену знака например,потребоватьf≥0например, потребовать f ≥ 0например,потребоватьf0, либо потребовать нулевой интеграл от |f| илиотf2или от f^2илиотf2, то из нулевого интеграла следует f ≡ 0.

8 Окт в 12:56
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Поможем написать учебную работу
Прямой эфир