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

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

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

$\operatorname {Ei} (z)=\int \limits _{-\infty }^{z}{\frac {e^{t}}{t}}\,\mathrm {d} t,\;|\arg(-z)|<\pi .\;(1)$

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

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

$\operatorname {Ei} (x)=v.p.\int \limits _{-\infty }^{x}{\frac {e^{t}}{t}}\,\mathrm {d} t,\;x\in \Re .\;(2)$

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

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

Пример ошибки из-за путаницы с определениями функции Ei

В сравочнике Прудникова утверждается, что соотношение

$\int \limits _{0}^{\infty }{\frac {x\operatorname {cos} bx}{x^{2}+z^{2}}}\,\mathrm {d} x=-{\frac {1}{2}}[e^{-bz}\operatorname {Ei} (z)+e^{bz}\operatorname {Ei} (-z)]\;(2.5.10.12)$

справедливо при $\Re z>0$ и b>0.

На самом деле соотношение (2.5.10.12) справедливо только при положительных вещественных значениях параметров b и z при условии, что Ei определяется выражением (2).

... на всю комплексную плоскость с разрезом вдоль положительной части вещественной оси:

$\operatorname {Ei} (z)=\gamma +\ln(-z)+\sum _{n=1}^{\infty }{\frac {z^{n}}{n!n}},\;[|\arg(-z)|<\pi ].$

См. также

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

Литература

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