2014 dxdy logo

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

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


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


Посмотреть правила форума



Начать новую тему Ответить на тему На страницу 1, 2  След.
 
 Интеграл от многозначной функции
Сообщение06.12.2017, 22:59 


02/02/16
24
Здравствуйте. Продолжаю вспоминать простейшую математику решая задачи. Подскажите как учесть $\Re$ и найти значение интеграла.
$$
\int_0^{\infty} \frac{\Re\{\sqrt{x+a}\}}{e^x+1}\;dx, a \in \mathbb{C},
$$
здесь $\Re$ — вещественная часть комплексной функции. Это интеграл с многозначной функцией в числителе, поэтому пытаюсь решать следующими шагами.

1. Для начала рассмотрим подынтегральную функцию на комплексной плоскости:
$$
f(z) = \frac{\Re\{\sqrt{z+a}\}}{e^z+1}
$$
2. Так как в числителе стоит многозначная функция $\sqrt{z+a}$, то необходимо зафиксировать основную ветвь $f(z)$.

2.1 Обозначим
$$
z+a = r e^{i\phi+i 2\pi n}, \; n\in \mathbb{Z}
$$
и проведем по $
(a,\infty)
$ разрез. Тогда $
\phi \in (0, 2\pi)
$.

2.2 В нашем случае надо выбрать $n\in \mathbb{Z}$ для
$$
f(z) = \frac{\Re\{\sqrt{r e^{i\phi+i 2\pi n}}\}}{e^z+1}  = \frac{\Re\{\sqrt{r} e^{i\phi/2+i\pi n}\}}{e^z+1}
= \frac{\sqrt{r} \cos(\phi/2+\pi n)}{e^z+1}.
$$
Удобно взять $n=0$, тогда основная ветвь
$$
f_0(z) = \frac{\sqrt{r} \cos(\phi/2)}{e^z+1}.
$$

3. Здесь можно воспользоваться теоремой о вычетах если обогнуть разрез по пути $\gamma$ как на картинке ниже.
Изображение

Тогда

$$
\oint_{\gamma}\frac{\sqrt{r} \cos(\phi/2)}{e^z+1} \; dz = 2\pi i \sum_{k} \underset{z=z_k} {\mathrm{Res}}\frac{\sqrt{r} \cos(\phi/2)}{e^z+1} .
$$
Здесь устранимые особые точки $z_k=i\pi (2k+1), k\in\mathbb{Z}.$

Дальше я теряюсь, ряд расходится и не могу сообразить как вычислить интеграл.

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


06/04/13
1916
Москва
Tell Wilhelm в сообщении #1272734 писал(а):
и проведем по $
(a,\infty)
$ разрез.

Как-то странно Вы разрез провели по-моему. Точка ветвления явно осталась не задета этим разрезом, а тогда зачем он?..
Да и контур интегрирования выглядит странновато по той же причине.

 Профиль  
                  
 
 Re: Интеграл от многозначной функции
Сообщение07.12.2017, 09:56 


02/02/16
24
Metford в сообщении #1272758 писал(а):
Tell Wilhelm в сообщении #1272734 писал(а):
и проведем по $
(a,\infty)
$ разрез.

Как-то странно Вы разрез провели по-моему. Точка ветвления явно осталась не задета этим разрезом, а тогда зачем он?..
Да и контур интегрирования выглядит странновато по той же причине.

Согласен, поторопился я с выбором контура. Мне хотелось включить в контур интервал интегрирования, но ситуация с произвольным $a \in \mathbb{C}$ сложнее. Контур из первого сообщения только для $a=0$ подойдет. Построил для наглядности для двух значений $a$ поведение вещественной и мнимой частей.

Случай для $a=1+i$:
Изображение

Случай для $a=i\pi$:
Изображение

На картинках серые линии и заливка цветом обозначают мнимую часть, а синие линии — контуры вещественной части. Красная линия — разрез.

 Профиль  
                  
 
 Re: Интеграл от многозначной функции
Сообщение07.12.2017, 12:30 


11/07/16
801
Сомневаюсь, что интеграл можно выразить в замкнутой форме. Некоторое представление о нем дает численное нахождение с Мэйплом (см. Dropbox ).

 Профиль  
                  
 
 Re: Интеграл от многозначной функции
Сообщение07.12.2017, 14:26 


02/02/16
24
Markiyan Hirnyk, по каким признакам Вы понимаете, что нет результата в замкнутой форме? Я не знаком с такой теорией. Был бы благодарен за ссылки на литературу.

 Профиль  
                  
 
 Re: Интеграл от многозначной функции
Сообщение07.12.2017, 16:04 
Заслуженный участник
Аватара пользователя


01/08/06
3049
Уфа
Я прошу прощения, но ведь, кажется, $\operatorname{Re}(z)$ не является аналитической функцией.
А если так, то какое мы имеем право вычеты применять?

 Профиль  
                  
 
 Re: Интеграл от многозначной функции
Сообщение07.12.2017, 18:27 
Заслуженный участник


10/01/16
2315
worm2
Ну, можно посчитать интеграл, и у полученного - взять Re...
Беда в том, что:
Функция многозначна. А через вычеты можно считать только от однозначной, да еще и по контуру, который есть граница ограниченной области. А для неограниченной - считать как предел интегралов по огранченным - как на красивой красной картинке. И вот, если это все есть, и интеграл по большой окружности стремится к нулю (что в задаче - не так, что и объясняет расходимость получающегося ряда), то что-нибудь и получится.
Вот только не в этой задаче: тут все плохо, и если выделять однозначную ветвь, то контур интегрирования будет доходить до точки $-a$, что неминуемо скажется на результате. Так что я также - почти - уверен, что интеграл не выражается через элементарные. ...

 Профиль  
                  
 
 Re: Интеграл от многозначной функции
Сообщение07.12.2017, 18:44 


11/07/16
801
Tell Wilhelm
Имею определенный опыт вычисления интегралов с применением вычетов. В частности (дело давнее, могу признаться), рецензировал эту статью И. Поединцевой. Посмотрите на с. 391. Моими стараниями это место было уточнено, и не только оно.

 Профиль  
                  
 
 Re: Интеграл от многозначной функции
Сообщение07.12.2017, 23:41 


11/07/16
801
Возможно, получится найти асимптотику рассматриваемого интеграла. По моим прикидкам этот интеграл равен $\operatorname{const} a^{\frac 1 2 }(1+o(1)),\, a \to+\infty $. Полезно заглянуть в книгу М.В. Федорюк, Метод перевала. - М.: Наука, 1977.

 Профиль  
                  
 
 Re: Интеграл от многозначной функции
Сообщение08.12.2017, 08:32 
Заслуженный участник


03/01/09
1677
москва
Markiyan Hirnyk в сообщении #1272999 писал(а):
интеграл равен $\operatorname{const} a^{\frac 1 2 }(1+o(1)),\, a \to+\infty $


$\operatorname {const}=\ln 2$.

 Профиль  
                  
 
 Re: Интеграл от многозначной функции
Сообщение10.12.2017, 19:30 


02/02/16
24
worm2 в сообщении #1272868 писал(а):
Я прошу прощения, но ведь, кажется, $\operatorname{Re}(z)$ не является аналитической функцией.
А если так, то какое мы имеем право вычеты применять?

Вы правы, $f(z)=\Re (z)$ — неаналитическая. Как отметил выше DeBill, мы можем это обойти.
DeBill в сообщении #1272903 писал(а):
worm2
Ну, можно посчитать интеграл, и у полученного - взять Re...

Я хотел уточнить, мы это можем сделать из-за того, что уверены, что знаменатель вещественный?
DeBill в сообщении #1272903 писал(а):
Вот только не в этой задаче: тут все плохо, и если выделять однозначную ветвь, то контур интегрирования будет доходить до точки $-a$, что неминуемо скажется на результате. Так что я также - почти - уверен, что интеграл не выражается через элементарные. ...

Мои попытки свести к специальным функциям закончились ничем.
Markiyan Hirnyk в сообщении #1272999 писал(а):
Возможно, получится найти асимптотику рассматриваемого интеграла. По моим прикидкам этот интеграл равен $\operatorname{const} a^{\frac 1 2 }(1+o(1)),\, a \to+\infty $. Полезно заглянуть в книгу М.В. Федорюк, Метод перевала. - М.: Наука, 1977.

Хотелось бы строгое решение.

Смотрю на этот интеграл уже не первый день — ничего не выходит. Представлен ниже как функция от параметра $a$.

Изображение

 Профиль  
                  
 
 Re: Интеграл от многозначной функции
Сообщение10.12.2017, 19:39 
Заслуженный участник


10/01/16
2315
Tell Wilhelm в сообщении #1273731 писал(а):
мы это можем сделать из-за того, что уверены, что знаменатель вещественный?

Ну да (при вещественных $x$).

 Профиль  
                  
 
 Re: Интеграл от многозначной функции
Сообщение10.12.2017, 21:12 
Заслуженный участник


03/01/09
1677
москва
Tell Wilhelm в сообщении #1272734 писал(а):
Продолжаю вспоминать простейшую математику решая задачи.

Tell Wilhelm
А откуда эта задача?

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


08/11/11
5940
1) При $a=0$ у интеграла есть замкнутое выражение через $\zeta(3/2)$.

2) При произвольном $a$, как мне кажется, это сводится к неполному интегралу Ферми--Дирака (он же неполный поли-логарифм), см.

https://en.wikipedia.org/wiki/Incomplet ... c_integral

https://en.wikipedia.org/wiki/Incomplete_polylogarithm

 Профиль  
                  
 
 Re: Интеграл от многозначной функции
Сообщение12.12.2017, 14:28 
Заслуженный участник


03/01/09
1677
москва
Можно найти действительную часть числителя в явном виде. Пусть $a=a_1+ia_2$. Запишем равенство $\sqrt {x+a_1+ia_2}=p+iq$. Возводим его в квадрат и получим : $x+a_1=p^2-q^2, a_2=2pq$. Отсюда находим $$Re$ числителя: $p=\sqrt {\dfrac {x+a_1+\sqrt {(x+a_1)^2+a_2^2}}{2}.$$Таким образом исходный интеграл сводится к интегралу от вещественной функции: $$I=\frac 1{\sqrt 2}\int \limits _0^{\infty}\dfrac {\sqrt {x+a_1+\sqrt {(x+a_1)^2+a_2^2}}}{e^x+1}dx.$$Два частных случая: $1) a_1>0, a_2=0, I=\int \limits _0^{\infty }\dfrac {\sqrt {x+a_1}}{e^x+1}dx, 2) a_1<0, a_2=0, I=\int \limits _{|a_1|}^{\infty }\dfrac {\sqrt {x+a_1}}{e^x+1}dx$.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 22 ]  На страницу 1, 2  След.

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



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

Сейчас этот форум просматривают: mihaild


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

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