Разберите ошибку в доказательстве теоремы: "всякая нечётная функция на симметричном интервале имеет интеграл равный нул", где пропущено условие о существовании интеграла, и приведите корректную формулировку
Ошибка: в доказательстве пропущено требование существования (собственного или несобственного) интеграла. При разбиении и подстановке предполагают, что интегралы по частям ∫−a0f\int_{-a}^0 f∫−a0f и ∫0af\int_0^a f∫0af существуют; без этого равенства нельзя применять. Контрпример: 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.∫−11xdx=0, но несобственный интеграл не сходится, потому что ∫ε1dxx=−lnε→∞\int_\varepsilon^1 \frac{dx}{x}=-\ln\varepsilon\to\infty∫ε1xdx=−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. ∫−aaf(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, ∫−a0f(x)dx=∫0af(−t)dt=−∫0af(t)dt,
откуда сумма равна нулю. 2) То же верно для Lebesgue-интегрируемых функций: если fff нечётна и ∫−aa∣f∣<∞\int_{-a}^a |f|<\infty∫−aa∣f∣<∞ (или хотя бы ∫−aaf\int_{-a}^a f∫−aaf существует как Lebesgue-интеграл), то ∫−aaf=0\int_{-a}^a f=0∫−aaf=0. 3) Для несобственных интегралов на (−a,a)(-a,a)(−a,a): если оба односторонних несобственных интеграла ∫−a0f\int_{-a}^0 f∫−a0f и ∫0af\int_0^a f∫0af сходятся (т.е. интеграл ∫−aaf\int_{-a}^a f∫−aaf определён как сумма этих пределов), то при нечётности fff их сумма равна нулу. Замечание: условие существования интеграла обязательно; Кошианский главный предел (p.v.\operatorname{p.v.}p.v.) может быть нулём, даже если обычный несобственный интеграл не существует (пример 1/x1/x1/x).
Контрпример: 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|<\infty∫−aa ∣f∣<∞ (или хотя бы ∫−aaf\int_{-a}^a f∫−aa f существует как Lebesgue-интеграл), то ∫−aaf=0\int_{-a}^a f=0∫−aa f=0.
3) Для несобственных интегралов на (−a,a)(-a,a)(−a,a): если оба односторонних несобственных интеграла ∫−a0f\int_{-a}^0 f∫−a0 f и ∫0af\int_0^a f∫0a f сходятся (т.е. интеграл ∫−aaf\int_{-a}^a f∫−aa f определён как сумма этих пределов), то при нечётности fff их сумма равна нулу. Замечание: условие существования интеграла обязательно; Кошианский главный предел (p.v.\operatorname{p.v.}p.v.) может быть нулём, даже если обычный несобственный интеграл не существует (пример 1/x1/x1/x).