Разберите ошибку в доказательстве теоремы: "всякая нечётная функция на симметричном интервале имеет интеграл равный нул", где пропущено условие о существовании интеграла, и приведите корректную формулировку

10 Дек в 08:22
11 +11
0
Ответы
1
Ошибка: в доказательстве пропущено требование существования (собственного или несобственного) интеграла. При разбиении и подстановке предполагают, что интегралы по частям ∫−a0f\int_{-a}^0 fa0 f и ∫0af\int_0^a f0a f существуют; без этого равенства нельзя применять.
Контрпример: f(x)=1/xf(x)=1/xf(x)=1/x на [−1,1][-1,1][1,1] — нечётная функция. Её "среднее" (Кошианский глав. предел)
p.v.⁡ ⁣∫−11dxx=0\operatorname{p.v.}\!\int_{-1}^1 \frac{dx}{x}=0p.v.11 xdx =0, но несобственный интеграл не сходится, потому что
∫ε1dxx=−ln⁡ε→∞\int_\varepsilon^1 \frac{dx}{x}=-\ln\varepsilon\to\inftyε1 xdx =lnε при ε→0+\varepsilon\to0+ε0+. Следовательно утверждение "всякая нечётная функция на симметричном отрезке имеет интеграл равный нул" неверно без условия существования интеграла.
Корректные формулировки:
1) Если f:[−a,a]→Rf:[-a,a]\to\mathbb{R}f:[a,a]R нечётна и Riemann-интегрируема на [−a,a][-a,a][a,a], то
∫−aaf(x) dx=0. \int_{-a}^a f(x)\,dx=0.
aa f(x)dx=0.
Доказательство: подстановка x=−tx=-tx=t даёт
∫−a0f(x) dx=∫0af(−t) dt=−∫0af(t) dt, \int_{-a}^0 f(x)\,dx=\int_0^a f(-t)\,dt=-\int_0^a f(t)\,dt,
a0 f(x)dx=0a f(t)dt=0a f(t)dt,
откуда сумма равна нулю.
2) То же верно для Lebesgue-интегрируемых функций: если fff нечётна и ∫−aa∣f∣<∞\int_{-a}^a |f|<\inftyaa f< (или хотя бы ∫−aaf\int_{-a}^a faa f существует как Lebesgue-интеграл), то ∫−aaf=0\int_{-a}^a f=0aa f=0.
3) Для несобственных интегралов на (−a,a)(-a,a)(a,a): если оба односторонних несобственных интеграла ∫−a0f\int_{-a}^0 fa0 f и ∫0af\int_0^a f0a f сходятся (т.е. интеграл ∫−aaf\int_{-a}^a faa f определён как сумма этих пределов), то при нечётности fff их сумма равна нулу. Замечание: условие существования интеграла обязательно; Кошианский главный предел (p.v.⁡\operatorname{p.v.}p.v.) может быть нулём, даже если обычный несобственный интеграл не существует (пример 1/x1/x1/x).
10 Дек в 08:33
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Поможем написать учебную работу
Прямой эфир