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

страница в процессе редактирования, пожалуйста, пока ничего не меняйте; собираюсь закончить 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)$

При мнимых значениях $z$ интеграла (2) не существует.

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

$\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.