Меню Главная Случайная статья Настройки Интегральная показательная функция Материал из https://ru.wikipedia.org Интегральная показательная функция — специальная функция, обозначаемая символом ${\displaystyle \operatorname {Ei} }$. Содержание 1 Определение на множестве вещественных чисел 2 Основное определение 3 Возникновение Ei при вычислении интегралов 4 См. также 5 Примечания Определение на множестве вещественных чисел Наиболее распространено следующее определение ${\displaystyle \operatorname {Ei} }$ (см. график): ${\displaystyle \operatorname {Ei} (x)=\mathrm {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 \mathbb {R} ,\;(1)}$ где ${\displaystyle \gamma }$ есть постоянная Эйлера-Маскерони. Интеграл в смысле главного значения в (1) имеет различные разложения в ряд при положительных и отрицательных x, что затрудняет его аналитическое продолжение на комплексную плоскость [то есть обобщение (1) на случай комплексных значений x]. По этой причине определение (1) представляется ущербным; вместо него более уместно использовать [несовместимое с (1)] Основное определение Интегральная показательная функция — специальная функция, определяемая интегралом[1] ${\displaystyle \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 ,\;(2)}$ Подобно ряду для экспоненциальной функции, бесконечная сумма в (2) сходится в любой точке комплексной плоскости. Результат интегрирования в (2) зависит не только от ${\displaystyle z}$, но и от пути интегрирования, а именно, определяется тем, сколько раз путь интегрирования огибает точку ${\displaystyle t=0}$, в окрестности которой подынтегральное выражение в (2) приближённо равно ${\displaystyle 1/t}$. Таким образом, функция ${\displaystyle \operatorname {Ei} (z)}$ является многозначной, а особая точка ${\displaystyle z=0}$ является логарифмической точкой ветвления. Как и в случае с логарифмической функцией ${\displaystyle \operatorname {ln} z}$, различие в значениях различных ветвей функции (при фиксированном ${\displaystyle z}$) кратно ${\displaystyle 2\pi i}$. Ниже будем рассматривать только главную ветвь (значение) ${\displaystyle \operatorname {Ei} }$, соответствующую главной ветви ${\displaystyle \operatorname {ln} }$ в (2). Общепринятый разрез комплексной плоскости для ${\displaystyle \operatorname {ln} z}$ (вдоль отрицательной вещественной оси) соответствует разрезу вдоль положительной вещественной оси для функции ${\displaystyle \operatorname {Ei} (z)}$. Фиксируем также и главную ветвь аргумента: ${\displaystyle -\pi <\operatorname {arg} z\leq \pi }$ и далее будем считать, что ${\displaystyle \operatorname {Ei} }$ — однозначная аналитическая функция, определённая на всей комплексной плоскости за исключением разреза вдоль положительной вещественной оси. Возникновение Ei при вычислении интегралов Интеграл от произвольной рациональной функции, помноженной на экспоненту, выражается в конечном виде через функцию ${\displaystyle \operatorname {Ei} }$ и элементарные функции.[1] В качестве простого примера интеграла, сводящегося к интегральной показательной функции рассмотрим (предполагая, что ${\displaystyle b>0}$) ${\displaystyle \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[\operatorname {Ei} (-bz)-2\pi i\right],&\operatorname {arg} z\in (\pi /2,\pi ).\end{cases}}\;(2)}$ Из (2) следует, что при вещественных значениях ${\displaystyle y}$ и ${\displaystyle b}$ ${\displaystyle \int \limits _{0}^{\infty }{\frac {x\cos bx\,\mathrm {d} x}{x^{2}+y^{2}}}=-{\frac {1}{2}}\left[e^{|by|}\operatorname {Ei} (-|by|)+e^{-|by|}\operatorname {Ei} _{1}(|by|)\right],\;(3)}$ где ${\displaystyle \operatorname {Ei} _{1}}$ есть т. н. модифицированная интегральная показательная функция[1]: ${\displaystyle \operatorname {Ei} _{1}(y)={\frac {1}{2}}\left[\operatorname {Ei} (y+i0)+\operatorname {Ei} (y-i0)\right]=\gamma +\operatorname {ln} y+\sum \limits _{n\geq 1}{\frac {y^{n}}{n!\cdot n}},\;y>0,\;\operatorname {Ei} _{1}(y)\in \mathbb {R} .\;(4)}$ Фактически (4) совпадает с функцией, определённой в (1), и нередко функцию ${\displaystyle \operatorname {Ei} _{1}}$ обозначают символом ${\displaystyle \operatorname {Ei} }$, что может приводить к ошибкам. При получении результата (3) было использовано значение интеграла ${\displaystyle \int _{0}^{\infty }{\frac {x\sin bx\,\mathrm {d} x}{x^{2}+z^{2}}}={\frac {\pi }{2}}\operatorname {exp} [-bz\operatorname {sign} \Im z],\;b>0.}$ Интеграл (3) можно рассматривать как вещественную функцию вещественных аргументов ${\displaystyle b}$ и ${\displaystyle y}$. Логично потребовать, чтобы такая функция выражалась только через вещественные величины. Это требование оправдывает введение дополнительного [вдобавок к уже определённому в (2) ${\displaystyle \operatorname {Ei} }$] символа ${\displaystyle \operatorname {Ei} _{1}}$. Результат (3) несложно обобщить на произвольные (за исключением чисто мнимых) комплексные значения параметра ${\displaystyle z}$: ${\displaystyle \int _{0}^{\infty }{\frac {x\cos bx\,\mathrm {d} x}{x^{2}+z^{2}}}=-{\frac {1}{2}}\left\{e^{bz}\operatorname {Ei} (-bz)+e^{-bz}\left[\operatorname {Ei} (bz)+\pi i\operatorname {sign} \Im z\right]\right\},\;b>0,\;\Re z\neq 0.\;(5)}$ Формулу (3) для ${\displaystyle b>0}$ и ${\displaystyle y>0}$ можно получить, положив ${\displaystyle z=y\pm i0}$ в (5). Интеграл (5) можно найти на стр. 320 справочника Прудникова[2], однако же приведённое там выражение верно только для действительных значений ${\displaystyle z}$ и при условии, что для функции ${\displaystyle \operatorname {Ei} }$ используется определение (1). Следует заметить, что вычисление подобных интегралов (в особенности при комплексных значениях параметров) опасно доверять коммерческим системам компьютерной алгебры. Из-за неразберихи с обозначениями (использования символа ${\displaystyle \operatorname {Ei} }$ вместо ${\displaystyle \operatorname {Ei} _{1}}$) нельзя полностью доверять также и справочникам.[источник не указан 1460 дней] См. также Интегральный логарифм Интегральный синус Интегральный косинус Примечания 1 2 3 Лебедев, Н. Н. Специальные функции и их приложения (рус.). — 2. — 1963.