指数積分関数
を与える.
ExpIntegralEi
指数積分関数
を与える.
詳細
- 記号操作・数値操作の両方に適した数学関数である.
- 積分の主値を取ると,
となる. - ExpIntegralEi[z]は,複素 z 平面上,-∞〜0の範囲で不連続な分枝切断線を持つ.
- 特別な引数の場合,ExpIntegralEiは,自動的に厳密値を計算する.
- ExpIntegralEiは任意の数値精度で評価できる.
- ExpIntegralEiは,自動的にリストに縫い込まれる.
- ExpIntegralEiはIntervalオブジェクトおよびCenteredIntervalオブジェクトに使うことができる. »
例題
すべて開く すべて閉じる例 (5)
ExpIntegralEi[1.8]Plot[ExpIntegralEi[x], {x, -1, 1}]ComplexPlot3D[ExpIntegralEi[z], {z, -2 - 2I, 2 + 2I}, PlotLegends -> Automatic]Series[ExpIntegralEi[x], {x, 0, 5}, Assumptions -> x > 0]Series[ExpIntegralEi[x], {x, 0, 5}, Assumptions -> x < 0]Infinityにおける級数展開:
Series[ExpIntegralEi[ x], {x, ∞, 6}]//Normalスコープ (37)
数値評価 (5)
N[ExpIntegralEi[2], 50]ExpIntegralEi[2.0000000000000000000000]ExpIntegralEiは複素数を入力として取ることができる:
ExpIntegralEi[2. + I]ExpIntegralEiを高精度で効率よく評価する:
ExpIntegralEi[2`500]//TimingExpIntegralEi[2`10000];//TimingIntervalオブジェクトとCenteredIntervalオブジェクトを使って最悪の場合に保証される区間を計算する:
ExpIntegralEi[Interval[{1.1, 1.2}]]ExpIntegralEi[CenteredInterval[2, 1 / 100]]Aroundを使って平均的な場合の統計区間を計算することもできる:
ExpIntegralEi[ Around[2, 0.01]]ExpIntegralEi[{{I π, I π / 2}, {0, -I }}]//FunctionExpandMatrixFunctionを使って行列のExpIntegralEi関数を計算することもできる:
MatrixFunction[ExpIntegralEi, {{I π, I π / 2}, {0, I}}]//FunctionExpand特定の値 (3)
ExpIntegralEi[0]ExpIntegralEi[{Infinity, -Infinity, I Infinity, -I Infinity}]ExpIntegralEi[ComplexInfinity]ExpIntegralEiの零点を求める:
xzero = Solve[ExpIntegralEi[x] == 0 && 0 < x < 0.5, x][[1, 1, 2]]//QuietPlot[ExpIntegralEi[x], {x, 0, 1}, Epilog -> Style[Point[{xzero, ExpIntegralEi[xzero]}], PointSize[Large], Red]]可視化 (3)
ExpIntegralEi関数をプロットする:
Plot[ExpIntegralEi[x], {x, -5, 5}]ComplexContourPlot[Re[ExpIntegralEi[z]], {z, -10 - 10I, 10 + 10 I}, Contours -> 20]ComplexContourPlot[Im[ExpIntegralEi[z]], {z, -10 - 10I, 10 + 10 I}, Contours -> 20]関数の特性 (10)
ExpIntegralEiは,0を除くすべての実数値について定義される:
FunctionDomain[ExpIntegralEi[x], x]FunctionDomain[ExpIntegralEi[z], z, Complexes]ExpIntegralEiはすべての実数値を取る:
FunctionRange[ExpIntegralEi[x], x, y]ExpIntegralEiは鏡特性
を有する:
FullSimplify[ExpIntegralEi[Conjugate[z]] == Conjugate[ExpIntegralEi[z]]]ExpIntegralEiは解析関数ではない:
FunctionAnalytic[ExpIntegralEi[x], x]FunctionMeromorphic[ExpIntegralEi[x], x]ExpIntegralEiは実領域上で単調ではない:
FunctionMonotonicity[ExpIntegralEi[x], x]FunctionMonotonicity[{ExpIntegralEi[x], x > 0}, x]FunctionMonotonicity[{ExpIntegralEi[x], x < 0}, x]ExpIntegralEiは単射ではない:
FunctionInjective[ExpIntegralEi[x], x]Plot[{ExpIntegralEi[x], -1 / 2}, {x, -2, 2}]ExpIntegralEiは全射である:
FunctionSurjective[ExpIntegralEi[x], x]Plot[{ExpIntegralEi[x], 10}, {x, -10, 10}]ExpIntegralEiは非負でも非正でもない:
FunctionSign[{ExpIntegralEi[x], x ≠ 0}, x]ExpIntegralEiは零点に特異点と不連続点の両方を持つ:
FunctionSingularities[ExpIntegralEi[x], x]FunctionDiscontinuities[ExpIntegralEi[x], x]ExpIntegralEiは凸でも凹でもない:
FunctionConvexity[{ExpIntegralEi[x], x ≠ 0}, x]FunctionConvexity[{ExpIntegralEi[x], x < 0}, x]微分 (3)
D[ExpIntegralEi[x], x]Table[D[ExpIntegralEi[x], {x, k}], {k, 1, 4}]Plot[Evaluate[%], {x, -5, 5}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative", "Fourth Derivative"}]D[ExpIntegralEi[x], {x, n}]積分 (3)
ExpIntegralEiの不定積分:
Integrate[ExpIntegralEi[x], x]ExpIntegralEiを含む関数の定積分:
Integrate[Exp[-z x]ExpIntegralEi[x], {x, 0, Infinity}]Integrate[z^αExpIntegralEi[z^β], z]Integrate[Log[b x]ExpIntegralEi[a x], x]級数展開 (3)
の周りのExpIntegralEiのテイラー(Taylor)展開:
Series[ExpIntegralEi[x], {x, 1, 7}]
の周りのExpIntegralEiの最初の3つの近似をプロットする:
terms = Normal@{Series[ExpIntegralEi[x], {x, 1, 1}], Series[ExpIntegralEi[x], {x, 1, 3}], Series[ExpIntegralEi[x], {x, 1, 4}]};
Plot[{ExpIntegralEi[x], terms}, {x, -1, 3}]Series[ExpIntegralEi[x], {x, Infinity, 3}]//NormalSeries[ExpIntegralEi[x], {x, DirectedInfinity[], 1}]//NormalExpIntegralEiはベキ級数に適用できる:
ExpIntegralEi[1 + x + (x^2/2) + (x^3/9) + O[x]^4]関数の恒等式と簡約 (3)
FullSimplifyを使って指数積分を含む式を簡約する:
FullSimplify[ExpIntegralEi[z] + (1/2)(Log[z] + Log[(1/z)])]ExpIntegralEi[Log[z]]//FunctionExpandExpIntegralEi[I z] == CosIntegral[z] + I SinIntegral[z] - (1/2) (Log[-(I/z)] - Log[I z]) - Log[z]//FullSimplifyFullSimplify[ExpIntegralEi[x] == -ExpIntegralE[1, -x], x < 0]関数表現 (4)
-Integrate[Exp[-t] / t, {t, -z, Infinity}, PrincipalValue -> True, Assumptions -> {z∈Reals, z ≥ 0}]ExpIntegralEiはDifferentialRootとして表現できる:
DifferentialRootReduce[ExpIntegralEi[x], x]ExpIntegralEiはMeijerGによって表現できる:
MeijerGReduce[ExpIntegralEi[x], x]Activate[%]//FullSimplifyTraditionalFormによる表示:
ExpIntegralEi[x]//TraditionalFormアプリケーション (3)
Series[-Exp[1 / z] ExpIntegralEi[-1 / z], {z, 0, 10}, Assumptions -> z > 0]Plot3D[Im[ExpIntegralEi[x + I y]], {x, -3, 3}, {y, -3, 3}]オイラー・ハイゼンベルク(Euler–Heisenberg)の有効作用の実部:
action[k_, {m_, e_}, {a_, b_}] := With[{x = k π (m^2/e a), y = k π (m^2/e b)}, -(e^2a b/4 π^3k)(Coth[k π (b/a)](CosIntegral[x] Cos[x] + (SinIntegral[x] - π / 2)Sin[x]) -
Coth[k π (a/b)](ExpIntegralEi[y] Exp[-y] + ExpIntegralEi[-y] Exp[y]) / 2)]Assuming[{q > 0 && a > 0 && b > 0 && m > 0 && k > 0},
Series[action[k, {m, q}, {a, b}], {q, 0, 4}]//Normal//FullSimplify]特性と関係 (8)
FullSimplifyを使って指数積分を含む式を簡約する:
FullSimplify[ExpIntegralEi[z] + (1/2)(Log[z] + Log[(1/z)])]FindRoot[ExpIntegralEi[z] == 0, {z, 1}]積分と総和からExpIntegralEiを求める:
Integrate[(E ^ t - 1) / t, {t, 0, z}, Assumptions -> z > 0]Underoverscript[∑, k = 1, ∞](z^k/k k!)//FunctionExpandLimit[Exp[2ExpIntegralEi[-x]] / x ^ 2, x -> 0]微分方程式からExpIntegralEiを求める:
DSolve[z Derivative[3][w][z] + 2 Derivative[2][w][z] - z Derivative[1][w][z] == 0, w, z]Det[Outer[D[#1, {x, #2}]&, {1, ExpIntegralEi[x], ExpIntegralEi[-x]}, {0, 1, 2}]]∫z^αExpIntegralEi[z^β]ⅆzLaplaceTransform[ExpIntegralEi[t], t, s, Assumptions -> s > 1]考えられる問題 (3)
ExpIntegralEiは中程度の大きさの引数の大きい値を取ることができる:
ExpIntegralEi[Sqrt[I] 10000. ]ExpIntegralEiは負の実軸上に,どちらの側からも極限としては求められない特別な値を持つ:
N[ExpIntegralEi[-1 + {-10 ^ -10I, 0, 10 ^ -10 I}]]$MaxExtraPrecisionの設定値を大きくする必要があるかもしれない:
N[ExpIntegralEi[-10 ^ 60 I] + I Pi, 20]Block[{$MaxExtraPrecision = 200}, N[ExpIntegralEi[-10 ^ 60 I] + I Pi, 20]]テクニカルノート
-
▪
- 特殊関数
関連するガイド
-
▪
- 誤差関数と指数積分関数 ▪
- 特殊関数
履歴
1988 で導入 (1.0) | 2021 で更新 (13.0) ▪ 2022 (13.1)
テキスト
Wolfram Research (1988), ExpIntegralEi, Wolfram言語関数, https://reference.wolfram.com/language/ref/ExpIntegralEi.html (2022年に更新).
CMS
Wolfram Language. 1988. "ExpIntegralEi." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2022. https://reference.wolfram.com/language/ref/ExpIntegralEi.html.
APA
Wolfram Language. (1988). ExpIntegralEi. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/ExpIntegralEi.html
BibTeX
@misc{reference.wolfram_2026_expintegralei, author="Wolfram Research", title="{ExpIntegralEi}", year="2022", howpublished="\url{https://reference.wolfram.com/language/ref/ExpIntegralEi.html}", note=[Accessed: 08-September-2026]}
BibLaTeX
@online{reference.wolfram_2026_expintegralei, organization={Wolfram Research}, title={ExpIntegralEi}, year={2022}, url={https://reference.wolfram.com/language/ref/ExpIntegralEi.html}, note=[Accessed: 08-September-2026]}