Интегральная показательная функция

страница в процессе редактирования, пожалуйста, пока ничего не меняйте; собираюсь закончить 2013/05/08 8:00 MSK

Основное определение

Интегральная показательная функция — специальная функция, определяемая интегралом

$\operatorname {Ei} (z)=\int \limits _{-\infty }^{z}{\frac {e^{t}}{t}}\,\mathrm {d} t=\gamma +\operatorname {ln} (-z)+\sum \limits _{n\geq 1}{\frac {z^{n}}{n!\cdot n}},\;|\arg(-z)|<\pi ,\;(1)$

где $\gamma$ есть постоянная Эйлера. Подобно ряду для экспоненциальной функции, бесконечная сумма в (1) сходится в любой точке комплексной плоскости. Следовательно, точка ветвления целиком унаследована функцией $\operatorname {Ei}$ от логарифмической функции. Поэтому не будем здесь рассматривать $\operatorname {Ei}$ как многозначную аналитическую функцию; вместо этого сразу же зафиксируем главную ветвь (значение) логарифма в (1) и далее будем считать, что $\operatorname {Ei}$ – однозначная аналитическая функция, определённая на всей комплексной плоскости за исключением разреза вдоль положительной вещественной оси.

Возникновение $\operatorname {Ei}$ при интегрировании произведения экспоненты на рациональную функцию

В наше время даже многократно проверенным людям вроде Прудникова нельзя доверять (см. ниже), поэтому многие интегралы приходится считать самостоятельно.

Например, (предполагаем, что $b>0$)

$\int \limits _{0}^{\infty }{\frac {e^{ibx}\mathrm {d} x}{x+iz}}={\begin{cases}-e^{bz}\operatorname {Ei} (-bz),&\operatorname {arg} z\not \in [\pi /2,\pi ],\\-e^{bz}\left[2\pi i-\operatorname {Ei} (-bz)\right],&\operatorname {arg} z\in (\pi /2,\pi ).\end{cases}}\;(2)$

При $\operatorname {arg} z=\pi$ интеграла (2) не существует. Случай отрицательных веществееных значений $z$ следует рассматривать как предельный:

Невозможно разобрать выражение (SVG (MathML можно включить с помощью плагина для браузера): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «http://localhost:6011/ru.wikipedia.org/v1/»:): {\displaystyle a>0,\;\int\limits_0^{\infty}\frac{e^{ibx}\mathrm dx}{x-iа}= \operatorname{lim}\limits_{\epsilon\to +0}\int\limits_0^{\infty}\frac{e^{ibx}\mathrm dx}{x-i(а+i\epsilon)}.\; (3) }

откуда немедленно следует, что

$\int \limits _{0}^{\infty }{\frac {e^{ibx}\mathrm {d} x}{x^{2}+z^{2}}}=\int \limits _{0}^{\infty }{\frac {\operatorname {cos} (bx)\mathrm {d} x}{x^{2}+z^{2}}}=-{\frac {1}{2}}\left[e^{-bz}\operatorname {Ei} (bz)+e^{bz}\operatorname {Ei} (-bz)\right],\;\operatorname {arg} z\neq \pm \pi /2.$

Альтернативное определение

Нередко вместо (1) используется альтернативное [несовместимое с (1)] определение

$\operatorname {Ei} (x)=v.p.\int \limits _{-\infty }^{x}{\frac {e^{t}}{t}}\,\mathrm {d} t=\gamma +\operatorname {ln} |x|+\sum \limits _{n\geq 1}{\frac {x^{n}}{n!\cdot n}},\;x\in \Re .\;(2)$

Определение (2) совместимо с (1) только при отрицательных вещественных значениях аргумента.

Интеграл в смысле главного значения в (2) имеет различные разложения в ряд при положительных и отрицательных x, что затрудняет его аналитическое продолжение на комплексную плоскость [т.е. обобщение (2) на случай комплексных значений x].

См. также

• Интегральный логарифм
• Интегральный синус
• Интегральный косинус

Список литературы

• Математический Энциклопедический Словарь, М. 1995, с. 230.