2014 dxdy logo

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

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




 
 Интеграл Эйлера-Пуассона?
Сообщение16.10.2013, 20:54 
Аватара пользователя
Числа $a,b\in\mathbb C $. Пытаюсь найти интеграл $$\int\limits_{-\infty}^{+\infty}e^{-a(t+b)^2}dt=\frac{1}{\sqrt{a}}\int\limits_{-\infty}^{+\infty}e^{-a(t+b)^2}d\sqrt{a}(t+b)=\frac{1}{\sqrt{a}}\int\limits_{-\infty}^{+\infty}e^{-z^2}dz=\sqrt{\frac{a}{\pi}}.$$ Правильно ли поставлены пределы интегрирования на последнем шаге?

 
 
 
 Re: Интеграл Эйлера-Пуассона?
Сообщение16.10.2013, 21:25 
Аватара пользователя
Хм... Возьмите, например, $a=-1\sqrt a = i$, ваш интеграл будет расходиться.

 
 
 
 Re: Интеграл Эйлера-Пуассона?
Сообщение16.10.2013, 22:24 
Аватара пользователя
Пусть $\operatorname{Re}a>0$. Тогда можно взять?

А ну и я там ошибся в итоге я имел ввиду $\sqrt{\frac{\pi}{a}}$ конечно же.

 
 
 
 Re: Интеграл Эйлера-Пуассона?
Сообщение17.10.2013, 01:57 
profrotter в сообщении #776149 писал(а):
Пусть $\operatorname{Re}a>0$. Тогда можно взять?

Можно. Но результат при $\operatorname{Im} b \ne 0$ будет другой. Не тот, который Вы ожидаете.
profrotter в сообщении #776071 писал(а):
Правильно ли поставлены пределы интегрирования на последнем шаге?

Нет.

 
 
 
 Re: Интеграл Эйлера-Пуассона?
Сообщение17.10.2013, 03:25 
PS.
Пересчитала, не совсем так. Формула окажется в силе при всех $b$, $\operatorname{Re}a>0$ (единственно, придется выбирать правильный корень $\sqrt a$).
На исходный вопрос ответ тот же: пределы расставлены неправильно.
Начнем с того, что в подавляющем большинстве случаев интегрирование переместится с вещественной прямой на другую прямую в комплексной плоскости. Так что окончательный результат нуждается в доказательстве.

 
 
 
 Re: Интеграл Эйлера-Пуассона?
Сообщение17.10.2013, 09:10 
Аватара пользователя
Мы делаем замену $z=\sqrt{a}(t+b)$. Обозначим $\sqrt{a}=\alpha+i\beta$, $b\sqrt{a}=p+iq$, тогда новый путь интегрирования $\Gamma:z=\alpha t+i\beta t+p+iq=(\alpha t+p)+i(\beta t+q), -\infty<t<+\infty$. Так?

 
 
 
 Re: Интеграл Эйлера-Пуассона?
Сообщение17.10.2013, 09:15 
Так.

 
 
 
 Re: Интеграл Эйлера-Пуассона?
Сообщение17.10.2013, 09:16 
Что-то типа того (в детали не вникал). Надо только теперь не забывать, что этот путь необходимо ещё развернуть на вещественную ось, и тогда при движении справа налево добавится минус.

 
 
 
 Re: Интеграл Эйлера-Пуассона?
Сообщение17.10.2013, 09:29 
ewert в сообщении #776288 писал(а):
Что-то типа того (в детали не вникал). Надо только теперь не забывать, что этот путь необходимо ещё развернуть на вещественную ось, и тогда при движении справа налево добавится минус.

... ewert какбэ намекает на использование интегральной теоремы Коши. :mrgreen:

 
 
 
 Re: Интеграл Эйлера-Пуассона?
Сообщение17.10.2013, 10:05 
Аватара пользователя
ewert, к сожалению не понял что значит развернуть на всю вещественную ось.

С интегралом потом отработаю - сейчас мало времени.

А нельзя ли нагло так сказать, что мы рассматриваем ФКП $f(a,b)=\int\limits_{-\infty}^{+\infty}e^{-a(t+b)^2}dt$ и на действительных $a,b$ всё свести к интегралу Пуассона, а потом сказать, что выполняем аналитическое продолжение и распространяем этот результат на всю комплексную плоскость?

 
 
 
 Re: Интеграл Эйлера-Пуассона?
Сообщение17.10.2013, 10:22 
profrotter в сообщении #776312 писал(а):
А нельзя ли нагло так сказать, что мы рассматриваем ФКП $f(a,b)=\int\limits_{-\infty}^{+\infty}e^{-a(t+b)^2}dt$ и на действительных $a,b$ всё свести к интегралу Пуассона, а потом сказать, что выполняем аналитическое продолжение и распространяем этот результат на всю комплексную плоскость?

Видимо, нельзя, раз это верно не на всей комплексной плоскости. Но мысль интересная. Потому что аналитичность ломается как раз в нуле. Так что на $\operatorname{Re} a>0$ можно продолжить - с положительной вещественной полуоси соотв.

 
 
 
 Re: Интеграл Эйлера-Пуассона?
Сообщение17.10.2013, 10:45 
Но аналитичность интеграла не бесплатно же будет. Проще сам интеграл вычислить

 
 
 
 Re: Интеграл Эйлера-Пуассона?
Сообщение17.10.2013, 17:12 
profrotter в сообщении #776312 писал(а):
А нельзя ли нагло так сказать,

Так нагло -- нельзя, ибо бесполезно; именно потому, что потом придётся всё-таки разворачивать.

И при этом развороте необходимо понимать, в какую сторону разворачивать можно, а в какую -- низзя никак. Необходимо понимать, что сама возможность разворота оправдывается неким утверждением типа леммы Жордана (не непосредственно ею, но родственным утверждением).

 
 
 [ Сообщений: 13 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group