2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему
 
 Сходимость интеграла
Сообщение20.11.2009, 22:08 


12/05/09
68
Нижний Новгород
Исследовать интеграл на сходимость.

$$\int_{0}^{+\infty} \frac{e^{\sin x}\sin\sin x}{x}dx$$

Не смотря на то, что $x=0$ точка подозрительная на особую, она таковой не является, т.к.
$\frac{e^{\sin x}\sin\sin x}{x} \sim e^{\sin x}$

Исследуем его на абсолютную сходимость по Гейне.
Фактически требуется подобрать хотя бы одну последовательность точек, при которых сумма интегралов не будет сходиться.
Т.е. возьмем точки
$y_1 = \pi n$
$y_2 = \pi n + \pi$
тогда абсолютную величину можно записать в следующем виде:
$\int\limits_{0}^{+\infty} \left| \frac{e^{\sin x}\sin\sin x}{x}\right| dx = \sum\limits_{n=0}^{\infty} \int\limits_{\pi n}^{\pi n + \pi} \left| \frac{e^{\sin x}\sin\sin x}{x} \right| dx = $ ... по теореме о Среднем ... $= \sum\limits_{n=0}^{\infty} \frac{e^{\sin \xi_n}}{\xi_n} \int\limits_{\pi n}^{\pi n + \pi} \left| \sin \sin x \right| dx$

Заметим, что:
$\int\limits_{\pi n}^{\pi n + \pi} \left| \sin \sin x \right| dx > C $
$\frac1e \le e^{\sin \xi_n} \le e$

Теперь мы можем оценить общий член:
$\frac{e^{\sin \xi_n}}{\xi_n} \int\limits_{\pi n}^{\pi n + \pi} \left| \sin \sin x \right| dx > \frac{\frac1e}{\pi n + \pi} C$,
откуда следует, что ряд расходится, а значит и интеграл тоже расходится. Т.е. интеграл не сходится абсолютно.

Подскажите пожалуйста, как мне действовать с исследованием просто на сходимость (не абсолютную)? Теорему о Среднем там уже так просто не применишь, да и в целом не могу начать рассуждения. Рассуждения, подобные тем, что я привел выше, поди ка уже не прокатят...

 Профиль  
                  
 
 Re: Сходимость интеграла
Сообщение20.11.2009, 22:30 
Заблокирован


19/06/09

386
Точками $\frac{(2n+1)\pi }{2}$ разбейте полупрямую на отрезки. Для интегралов по отрезкам примените признак Лейбница сходимости знакочередующегося ряда.

Ошибка: здесь я поспешил с выводами.

 Профиль  
                  
 
 Re: Сходимость интеграла
Сообщение20.11.2009, 23:07 
Заслуженный участник
Аватара пользователя


18/05/06
13435
с Территории
Там довольно трудно будет доказать монотонное убывание членов по модулю - особенно учитывая, что его нет, да и вообще сходимости нет. Экспонента всё портит: плюсовым полупериодам даёт бесплатную надбавку, а минусовым наоборот.

 Профиль  
                  
 
 Re: Сходимость интеграла
Сообщение20.11.2009, 23:28 


12/05/09
68
Нижний Новгород
ура, я кажется допёр. разбиваем интеграл на два ряда. один ряд - сумма интегралов на отрезках, где ф-ия знакоположительна, а другой - знакоотрицательна. по видимому, второй ряд будет сходиться, а первый будет расходиться в силу приведенного выше доказательства.
или я ошибаюсь?

 Профиль  
                  
 
 Re: Сходимость интеграла
Сообщение20.11.2009, 23:41 
Заслуженный участник
Аватара пользователя


18/05/06
13435
с Территории
Будут расходиться оба, что ничего нам не говорит о совокупном ряде.

 Профиль  
                  
 
 Re: Сходимость интеграла
Сообщение21.11.2009, 01:29 
Заслуженный участник
Аватара пользователя


11/01/06
3822
Исследуйте, как ведёт себя при $n\to\infty$ интеграл по промежутку $\bigl(2\pi n;2\pi(n+1)\bigr)$. Для этого можно заметить, что $1/x$ на этом промежутке можно смело заменить на $1/(2\pi n)$, при этом ошибка будет порядка $O(n^{-2})$.

 Профиль  
                  
 
 Re: Сходимость интеграла
Сообщение21.11.2009, 01:42 


12/05/09
68
Нижний Новгород
хм... а если попробовать вот так?...
$$
\int\limits_{0}^{+\infty} \frac{e^{\sin x}\sin\sin x}{x}dx = \sum\limits_{n=0}^{\infty} \left( \int\limits_{2\pi n}^{2\pi n + \pi} \frac{e^{\sin x}\sin\sin x}{x}dx + \int\limits_{2\pi n + \pi}^{2\pi n + 2\pi} \frac{e^{\sin x}\sin\sin x}{x}dx \right)= $$
...Т. о Среднем...
$$ = \sum\limits_{n=0}^{\infty} \left( \frac{e^{\sin \xi_n}}{\xi_n} \int\limits_{2\pi n}^{2\pi n + \pi} \sin\sin x ~ dx  + \frac{e^{\sin \zeta_n}}{\zeta_n} \int\limits_{2\pi n + \pi}^{2\pi n + 2\pi} \sin\sin x ~ dx \right)
$$
Обозначим:

$\int\limits_{2\pi n - 2\pi}^{2\pi n - \pi} \sin\sin x ~ dx  = M $,

ну и, разумеется,

$\int\limits_{2\pi n - \pi}^{2\pi n} \sin\sin x ~ dx  = -M$ ,

$~~ \forall n \in \mathbb{N}$

И начнем оценивать общий член ряда (заодно, быть может, увидим, что он знакоположителен).
$$\frac{e^{\sin \xi_n}}{\xi_n} \int\limits_{2\pi n}^{2\pi n + \pi} \sin\sin x ~ dx  ~+~\frac{e^{\sin \zeta_n}}{\zeta_n} \int\limits_{2\pi n + \pi}^{2\pi n + 2\pi} \sin\sin x ~ dx = \frac{e^{\sin \xi_n}}{\xi_n} M  + \frac{e^{\sin \zeta_n}}{\zeta_n} (-M) > M~\frac{e^{\sin \xi_n} - e^{\sin \zeta_n}}{2\pi n + \pi} $$

вроде бы как понятно, что $\sin\xi_n \ge \sin\zeta_n$.
Остается добиться, всё же, строгости знака неравенства. А еще лучше (чтобы всё доказалось) оценить величину $e^{\sin \xi_n} - e^{\sin \zeta_n}$ сверху чем-либо, независящим от $n$. Подскажите, это возможно вообще?
Или, быть может, можно как нибудь по-другому выкрутиться?

 Профиль  
                  
 
 Re: Сходимость интеграла
Сообщение21.11.2009, 01:56 
Заслуженный участник
Аватара пользователя


11/01/06
3822
Зря Вы так упорно стремитесь вынести $e^{\sin x}$ из-под интеграла: функция-то периодическая...

 Профиль  
                  
 
 Re: Сходимость интеграла
Сообщение21.11.2009, 09:19 
Заслуженный участник


11/05/08
32166
Ryabsky в сообщении #264016 писал(а):
Или, быть может, можно как нибудь по-другому выкрутиться?

RIP в сообщении #264014 писал(а):
$1/x$ на этом промежутке можно смело заменить на $1/(2\pi n)$, при этом ошибка будет порядка $O(n^{-2})$.

Ряд из поправок сходится абсолютно и, следовательно, не влияет на общую сходимость. Каждый из двух оставшихся -- чистый гармонический и, следовательно, расходится. А поскольку общий множитель для положительного ряда заведомо больше такого же множителя для отрицательного -- расходится и суммарный ряд.

 Профиль  
                  
 
 Re: Сходимость интеграла
Сообщение23.11.2009, 13:41 


12/05/09
68
Нижний Новгород
Мысль то вроде бы как понятна, я это выше написал даже, там как раз видно, что первый множитель больше второго. Но все же хотелось бы доказать этот факт строго, потому что теоретически оба эти множителя могут быть равны друг другу. (Согласен, что это такого быть не может, но это не объяснение)

 Профиль  
                  
 
 Re: Сходимость интеграла
Сообщение23.11.2009, 15:35 
Заслуженный участник
Аватара пользователя


11/01/06
3822
Блин, я думал, что Вы уже всё давно решили. Ваши рассуждения годятся почти дословно, просто с помощью теоремы о среднем выносите не $e^{\sin x}/x$, а $1/x$.

 Профиль  
                  
 
 Re: Сходимость интеграла
Сообщение23.11.2009, 20:42 
Заслуженный участник


11/05/08
32166
Ладно. Имелось в виду, конечно, что $\displaystyle\int_{2\pi n}^{2\pi n+\pi}{e^{\sin x}\sin(\sin x)\over x}\,dx={1\over\xi_n}\int_0^{\pi}{e^{\sin x}\sin(\sin x)\overx}\,dx$, и аналогично по вторым полупериодам, с вытекающими отсюда последствиями.

Но из чувства пижонства приведу всё-таки полное (да простят меня модераторы) д-во в 1 строчку:$$\int_0^{2\pi n}{e^{\sin x}\sin(\sin x)\over x}\,dx=\sum_{k=0}^{n-1}\int_{2\pi k}^{2\pi k+2\pi}{e^{\sin x}\sin(\sin x)\over x}\,dx\geqslant\sum_{k=0}^{n-1}\left({1\over\pi(2k+1)}\int_{2\pi k}^{2\pi k+\pi}{e^{\sin x}\sin(\sin x)}\,dx\right.+$$ $$+\left.{1\over\pi(2k+1)}\int_{2\pi k+\pi}^{2\pi k+2\pi}{e^{\sin x}\sin(\sin x)}\,dx\right)=\sum_{k=0}^{n-1}{1\over\pi(2k+1)}\int_0^{\pi}{\left(e^{\sin x}-e^{-\sin x}\right)\sin(\sin x)}\,dx=\mathrm{const}\cdot\sum_{k=0}^{n-1}{1\over2k+1}\to+\infty.$$ (правда, вышло две строчки вместо одной -- из-за ограниченной ширины экрана; но ведь логически-то она -- лишь одна...)

(фактически неравенство там, естественно, строгое, но зачем об этом задумываться...)

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 12 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group