Дан интеграл improper: integral_{1}^{infty} sin(x)/x^p dx. Для каких значений p интеграл сходится условно и абсолютно? Обоснуйте разницу и опишите, какие техники (например, интегрирование по частям, тест Дирихле) применимы в каждом случае
Классизация: - Абсолютно сходится при p>1\;p>1p>1. - Условно сходится при 0<p≤1\;0<p\le 10<p≤1. - Расходится при p≤0\;p\le 0p≤0. Обоснование (кратко): 1) Абсолютная сходимость (p>1p>1p>1). ∫1∞∣sinx∣xp dx≤∫1∞1xp dx\displaystyle \int_1^\infty \frac{|\sin x|}{x^p}\,dx \le \int_1^\infty \frac{1}{x^p}\,dx∫1∞xp∣sinx∣dx≤∫1∞xp1dx. Правая интеграл сходится ⇔ p>1p>1p>1. Значит при p>1p>1p>1 исходный интеграл сходится абсолютно. 2) Условная сходимость (0<p≤10<p\le10<p≤1). Применим тест Дирихле: пусть G(T)=∫1Tsinx dxG(T)=\int_1^T \sin x\,dxG(T)=∫1Tsinxdx. G(T)G(T)G(T) ограничена (колеблется, ∣G(T)∣≤2|G(T)|\le2∣G(T)∣≤2). Функция g(x)=x−pg(x)=x^{-p}g(x)=x−p монотонно убывает и limx→∞g(x)=0\lim_{x\to\infty}g(x)=0limx→∞g(x)=0 при p>0p>0p>0. По тесту Дирихле интеграл ∫1∞sinxxp dx\displaystyle \int_1^\infty \frac{\sin x}{x^p}\,dx∫1∞xpsinxdx
сходится. Для p≤1p\le1p≤1 он не является абсолютно сходящимся (см. пункт 1), следовательно при 0<p≤10<p\le10<p≤1 сходимость условная. 3) Расходится при p≤0p\le0p≤0. Если p=0p=0p=0, ∫1Tsinx dx=[−cosx]1T\int_1^T \sin x\,dx=[-\cos x]_1^T∫1Tsinxdx=[−cosx]1T не имеет предела при T→∞T\to\inftyT→∞. Если p<0p<0p<0, модуль дроби растёт, интеграл явно расходится по сравнению с неограниченной величиной. Техники и где применимы: - Сравнение с ∫1/xp\int 1/x^p∫1/xp (прямое сравнение) — для абсолютной сходимости (чтобы показать сх. при p>1p>1p>1) и для доказательства расходимости модульного интеграла при p≤1p\le1p≤1 (через оценку средних значений ∣sinx∣|\sin x|∣sinx∣ по периодам). - Тест Дирихле (интегрирование по частям в форме теста) — удобен для доказательства условной сходимости при 0<p≤10<p\le10<p≤1: одна часть (∫sinx\int \sin x∫sinx) ограничена, другая монотонно стремится к нулю. - Интегрирование по частям — полезно для явного представления хвостов: с u=x−p,dv=sinx dxu=x^{-p}, dv=\sin x\,dxu=x−p,dv=sinxdx получаем границу −cosx/xp∣1T+p∫1Tcosxxp+1 dx-\cos x/x^{p}\big|_1^T + p\int_1^T \frac{\cos x}{x^{p+1}}\,dx−cosx/xp1T+p∫1Txp+1cosxdx; граничный член стремится к нулю при p>0p>0p>0, что помогает строить оценки и повторно применять тесты (Дирихле/Абеля) к оставшемуся интегралу. Коротко: абсолютная сходимость ↔ p>1p>1p>1; при 0<p≤10<p\le10<p≤1 — сходимость условная (Дирихле); при p≤0p\le0p≤0 — разходимся.
- Абсолютно сходится при p>1\;p>1p>1.
- Условно сходится при 0<p≤1\;0<p\le 10<p≤1.
- Расходится при p≤0\;p\le 0p≤0.
Обоснование (кратко):
1) Абсолютная сходимость (p>1p>1p>1).
∫1∞∣sinx∣xp dx≤∫1∞1xp dx\displaystyle \int_1^\infty \frac{|\sin x|}{x^p}\,dx \le \int_1^\infty \frac{1}{x^p}\,dx∫1∞ xp∣sinx∣ dx≤∫1∞ xp1 dx. Правая интеграл сходится ⇔ p>1p>1p>1. Значит при p>1p>1p>1 исходный интеграл сходится абсолютно.
2) Условная сходимость (0<p≤10<p\le10<p≤1).
Применим тест Дирихле: пусть G(T)=∫1Tsinx dxG(T)=\int_1^T \sin x\,dxG(T)=∫1T sinxdx. G(T)G(T)G(T) ограничена (колеблется, ∣G(T)∣≤2|G(T)|\le2∣G(T)∣≤2). Функция g(x)=x−pg(x)=x^{-p}g(x)=x−p монотонно убывает и limx→∞g(x)=0\lim_{x\to\infty}g(x)=0limx→∞ g(x)=0 при p>0p>0p>0. По тесту Дирихле интеграл
∫1∞sinxxp dx\displaystyle \int_1^\infty \frac{\sin x}{x^p}\,dx∫1∞ xpsinx dx сходится. Для p≤1p\le1p≤1 он не является абсолютно сходящимся (см. пункт 1), следовательно при 0<p≤10<p\le10<p≤1 сходимость условная.
3) Расходится при p≤0p\le0p≤0.
Если p=0p=0p=0, ∫1Tsinx dx=[−cosx]1T\int_1^T \sin x\,dx=[-\cos x]_1^T∫1T sinxdx=[−cosx]1T не имеет предела при T→∞T\to\inftyT→∞. Если p<0p<0p<0, модуль дроби растёт, интеграл явно расходится по сравнению с неограниченной величиной.
Техники и где применимы:
- Сравнение с ∫1/xp\int 1/x^p∫1/xp (прямое сравнение) — для абсолютной сходимости (чтобы показать сх. при p>1p>1p>1) и для доказательства расходимости модульного интеграла при p≤1p\le1p≤1 (через оценку средних значений ∣sinx∣|\sin x|∣sinx∣ по периодам).
- Тест Дирихле (интегрирование по частям в форме теста) — удобен для доказательства условной сходимости при 0<p≤10<p\le10<p≤1: одна часть (∫sinx\int \sin x∫sinx) ограничена, другая монотонно стремится к нулю.
- Интегрирование по частям — полезно для явного представления хвостов: с u=x−p,dv=sinx dxu=x^{-p}, dv=\sin x\,dxu=x−p,dv=sinxdx получаем границу −cosx/xp∣1T+p∫1Tcosxxp+1 dx-\cos x/x^{p}\big|_1^T + p\int_1^T \frac{\cos x}{x^{p+1}}\,dx−cosx/xp 1T +p∫1T xp+1cosx dx; граничный член стремится к нулю при p>0p>0p>0, что помогает строить оценки и повторно применять тесты (Дирихле/Абеля) к оставшемуся интегралу.
Коротко: абсолютная сходимость ↔ p>1p>1p>1; при 0<p≤10<p\le10<p≤1 — сходимость условная (Дирихле); при p≤0p\le0p≤0 — разходимся.