Главное значение Коши позволяет синхронно приближаться к двум несобственным границам так, чтобы возможные противоположные расходимости компенсировались. Для особенности в \(c\in (a,b)\) определяют \(\operatorname{PV}\int _{a}^{b} f=\lim _{\varepsilon \to 0+}[\int _{a}^{c-\varepsilon }f+\int _{c+\varepsilon }^{b} f]\). На всей прямой стандартная симметричная форма имеет вид
Существование главного значения слабее обычной сходимости. Обычный несобственный интеграл требует независимой сходимости каждой части, а главное значение допускает их согласованную
Что важно запомнить
- Главное значение использует согласованный предельный переход с двух сторон.
- Оно может существовать, когда обычный несобственный интеграл расходится.
- Внутренняя особенность требует симметричного удаления \(\varepsilon \) слева и справа.
- На всей прямой часто используют симметричное усечение \([-R,R]\).
- Главное значение нельзя автоматически называть значением обычного несобственного интеграла.
Внутренняя особенность
Пусть \(c\in (a,b)\) и \(f\) имеет особенность в \(c\). Обычная сходимость требует отдельного существования \(\int _{a}^{c} f\) и \(\int _{c}^{b} f\). Главное значение Коши определяют синхронным удалением окрестности точки:
\[\operatorname{PV}\int _{a}^{b} f(x)dx=\lim _{\varepsilon \to 0+}[\int _{a}^{c-\varepsilon }f(x)dx+\int _{c+\varepsilon }^{b} f(x)dx]\],
если этот предел
Бесконечный промежуток
Для интеграла на всей прямой стандартное симметричное главное значение задаётся формулой
\[\operatorname{PV}\int _{-\infty }^{\infty }f(x)dx=\lim _{R\to \infty }\int _{-R}^{R}f(x)dx\].
При другом центре симметрии его нужно указывать явно.
Отличие от обычной сходимости
Если обычный несобственный интеграл сходится, соответствующее главное значение совпадает с ним. Обратное неверно. Главное значение может существовать только благодаря взаимной компенсации двух расходящихся частей. Поэтому запись \(\operatorname{PV}\) несёт самостоятельный смысл и не должна
Пример простыми словами
Для \(f(x)=\frac{1}{x}\) на \([-1,1]\) обе обычные части \(\int _{-1}^{0}\frac{dx}{x}\) и \(\int _{0}^{1}\frac{dx}{x}\) расходятся. Однако при симметричном удалении \(\varepsilon \) получаем \(\int _{-1}^{-\varepsilon }\frac{dx}{x}+\int _{\varepsilon }^{1}\frac{dx}{x}=0\). Поэтому \(\operatorname{PV}\int _{-1}^{1}\frac{dx}{x}=0\).
Частые ошибки
- Существование \(\operatorname{PV}\) не означает обычной сходимости.
- Стандартное \(\operatorname{PV}\) у внутренней особенности использует синхронное \(\varepsilon \) с обеих сторон. Иная схема задаёт другой предельный процесс.
- Если обычный интеграл не сходится, обозначение \(\operatorname{PV}\) нельзя опускать.
