Exp[z]
z の指数関数を返す.
Exp
Exp[z]
z の指数関数を返す.
例題
すべて開く すべて閉じる例 (6)
Exp[3.4]Exp[I Pi / 5]N[%, 30]Plot[Exp[x], {x, -1, 1}]ComplexPlot3D[Exp[z], {z, -2 - 2I, 2 + 2I}, PlotLegends -> Automatic]Series[Exp[x], {x, 0, 10}]E^xスコープ (55)
数値評価 (6)
Exp[1.5]N[Exp[16 / 10], 50]Exp[1.60000000000000000000000]Expは複素数を入力として取ることができる:
Exp[2.5 + I]Expを高精度で効率よく評価する:
Exp[1.6`500]//TimingExp[1.6`100000];//TimingIntervalオブジェクトとCenteredIntervalオブジェクトを使って最悪の場合に保証される区間を計算する:
Exp[Interval[{-1, Log[2]}]]Exp[CenteredInterval[2, 1 / 100]]Exp[CenteredInterval[2 + 3I, (1 + I) / 100]]Aroundを使って平均的な場合の統計区間を計算することもできる:
Exp[ Around[2, 0.01]]Exp[{{1, I π / 2}, {0, 1}}]MatrixFunctionを使って行列のExp関数を計算することもできる:
MatrixFunction[Exp, {{1, I π / 2}, {0, 1}}]特定の値 (6)
Exp[0]固定点におけるExpの値:
Table[Exp[I n (π/2)], {n, 0, 4}]Exp[Infinity]Exp[-Infinity]Exp[9 / 2 I Pi]より複雑な値はExpToTrigを使って展開できる:
ExpToTrig[Exp[I Pi / 5]]虚軸に沿ったExpの極値:
Assuming[n∈Integers, Refine@Exp[2π I n]]Assuming[n∈Integers, Refine@Exp[2 π I(n + (1/2))]]Solveを使って
となる
の値を求める:
f[x_] := Exp[x] - 1.7Solve[f[x] == 0, x, Reals]//Quietxval = x /. First[%]Plot[f[x], {x, -2, 2}, Epilog -> Style[Point[{xval, f[xval]}], PointSize[Large], Red]]可視化 (4)
Exp関数をプロットする:
Plot[Exp[x], {x, -2, 2}]ReImPlot[Exp[I x], {x, -2π, 2π}, PlotLegends -> Automatic]ComplexContourPlot[Re[Exp[z]], {z, -2 - 4 I, 2 + 4 I}, Contours -> 20]ComplexContourPlot[Im[Exp[z]], {z, -2 - 4 I, 2 + 4 I}, Contours -> 20]PolarPlot[Exp[ϕ], {ϕ, 0, 2π}, Frame -> True]関数の特性 (12)
Expはすべての実数値と虚数値について定義される:
FunctionDomain[Exp[x], x]FunctionDomain[Exp[z], z, Complexes]Expはすべての正の実数値に達する:
FunctionRange[Exp[x], x, y]FunctionRange[Exp[z], z, y, Complexes]Expは,周期が
の周期関数である:
FullSimplify[Exp[z + 2π I n] == Exp[z], n∈Integers]Expは鏡特性
を有する:
FullSimplify[Exp[Conjugate[z]] == Conjugate[Exp[z]]]Expは x の解析関数である:
FunctionAnalytic[Exp[x], x]Expは非減少である:
FunctionMonotonicity[Exp[x], x]Expは単射である:
FunctionInjective[Exp[x], x]Plot[{Exp[x], 2}, {x, -3, 3}]Expは全射ではない:
FunctionSurjective[Exp[x], x]Plot[{Exp[x], -1}, {x, -2π, 2π}]Expは非負である:
FunctionSign[Exp[x], x]FunctionSingularities[Exp[x], x]FunctionDiscontinuities[Exp[x], x]Exp は凸である:
FunctionConvexity[Exp[x], x]TraditionalFormによる表示:
Exp[x]//TraditionalForm微分 (3)
積分 (5)
Expの不定積分:
Integrate[Exp[x], x]Expの定積分:
Integrate[Exp[x], {x, -Infinity, 0}]Integrate[Exp[-x^2], {x, -Infinity, Infinity}]Plot[Exp[-x^2], {x, -3, 3}, Axes -> False, Frame -> True, Filling -> Bottom]Integrate[t^z - 1Exp[-t], {t, 0, Infinity}, Assumptions -> Re[z] > 0]Integrate[z^αExp[z^β], z]Integrate[t^k / (Exp[t] + 1), {t, 0, Infinity}, Assumptions -> k > -1]Integrate[Exp[-a t^2 - (b/t^2)], {t, 0, Infinity}, Assumptions -> a > 0 && b > 0]Integrate[Exp[Exp[I t]], {t, 0, 2Pi}]級数展開 (5)
Expのテイラー(Taylor)展開:
Series[Exp[x], {x, 0, 7}]
の周りのExpの最初の3つの近似をプロットする:
terms = Normal@Table[Series[Exp[x], {x, 0, m}], {m, 1, 3}];
Plot[{Exp[x], terms}, {x, -2, 3}]Expの級数展開における一般項:
SeriesCoefficient[Exp[x], {x, 0, n}]Series[Exp[1 / x], {x, Infinity, 3}]FourierSeries[Exp[z], z, 1]//FullSimplifyExpはベキ級数に適用できる:
Exp[x - (x^2/2) + (x^3/9) + O[x]^4]積分変換 (3)
FourierTransformを使ってフーリエ変換を計算する:
FourierTransform[Exp[-Abs[t]], t, ω]FourierTransform[Exp[-t ^ 2], t, ω]LaplaceTransform[Exp[t], t, s ]MellinTransform[Exp[-x], x, s ]関数の恒等式と簡約 (6)
Exp[z] == Power[E, z]ExpToTrig[Exp[I x]]ExpToTrig[Exp[x]]TrigToExp[{Sin[z], Cosh[z]}]Exp[x]Exp[y]Exp[1 / z]ComplexExpand[Exp[x + I y]]関数表現 (5)
Expは極限におけるベキ関数から生じる:
Limit[(1 + (x/n))^n, n -> Infinity]Sum[(z^k/k!), {k, 0, Infinity}]Sqrt[(π I z/2)] BesselJ[-(1/2), I z] + I Sqrt[-(π I z/2)] BesselJ[(1/2), -I z]//FullSimplifySqrt[(z π/2)] (BesselI[(1/2), z] + BesselI[-(1/2), z])//FullSimplifyMeijerGReduce[Exp[x], x]Activate[%]ExpはDifferentialRootとして表現できる:
DifferentialRootReduce[Exp[x], x]アプリケーション (15)
微分方程式 (7)
DSolve[{n'[t] == -λ n[t], n[0] == n0}, n[t], t]DSolve[{x''[t] + 3x'[t] + 5 / 4x[t] == 0, x[0] == 1, x'[0] == 0}, x[t], t] //ExpandAllPlot[Evaluate[x[t] /. %], {t, 0, 10}]Expを使った境界層問題の解:
DSolve[{ϵ y''[x] + (1 + ϵ)y'[x] + y[x] == 0, y[0] == 0, y[1] == 1}, y[x], x]//SimplifyPlot[Evaluate[Table[y[x] /. % /. ϵ -> 10 ^ k, {k, -2, 2, 4 / 15}]], {x, 0, 1}]Subscript[∂, x, x]V[x, t] - L C Subscript[∂, t, t]V[x, t] - R C Subscript[∂, t]V[x, t] == 0 /. V -> Function[{x, t}, E^I (k x - ω t)]Solve[%, ω]指数的なLiouvilleポテンシャルについてのシュレディンガー(Schrödinger)方程式を解く:
DSolve[-ψ''[x] + Exp[x]ψ[x] == ε ψ[x], ψ[x], x]ステップポテンシャルについてのシュレディンガー方程式の伝達係数と反射係数:
ψL[ℰ_, x_] := Exp[I Sqrt[ℰ]x] + ℛ[ℰ]Exp[-ISqrt[ℰ]x]
ψR[ℰ_, x_] := 𝒯[ℰ]Exp[I Sqrt[ℰ - Subscript[𝒱, 0]]x]Solve[{ψL[ℰ, 0] == ψR[ℰ, 0], D[ψL[ℰ, x], x] == D[ψR[ℰ, x], x] /. x -> 0}, {ℛ[ℰ], 𝒯[ℰ]}]𝒢[x_, t_] := Sqrt[(m/2 π t I ℏ)]Exp[(I m x^2/2 t ℏ)]ψ[x_, t_] = Integrate[𝒢[x - y, t]Exp[-y^2]Exp[I k y], {y, -∞, ∞}, Assumptions -> m > 0 && ℏ > 0 && t > 0]ContourPlot[Evaluate[Abs[ψ[x, t] /. {ℏ -> 1, m -> 1, k -> 1}] ^ 2], {x, -4, 4}, {t, 0, 4}, PlotRange -> All]確率,統計,統計力学 (4)
PDF[NormalDistribution[μ, σ]][x]Plot[% /. {μ -> 0, σ -> 1}, {x, -3, 3}]Assuming[μ∈Reals∧σ > 0,
Table[Integrate[x^kPDF[NormalDistribution[μ, σ]][x], {x, -∞, ∞}], {k, 0, 4}]]ネストした指数関数を使ってガンベル(Gumbel)分布のCDFを定義する:
GumbelG[x_, {a_, b_}] := Exp[-Exp[-(x - b) / a]]Plot[GumbelG[x, {2, 2}], {x, -4, 12}]Plot[Evaluate[D[GumbelG[x, {2, 2}], x]], {x, -4, 12}]Integrate[x D[GumbelG[x, {1, 0}], x], {x, -∞, ∞}]Fermi–Dirac分布関数,Bose–Einstein分布関数,Maxwell–Boltzmann分布関数を定義する:
fd[ℰ_, μ_, kBT_] := (1/E^(ℰ - μ/kBT) + 1)be[ℰ_, μ_, kBT_] := UnitStep[ℰ - μ](1/E^(ℰ - μ/kBT) - 1)mb[ℰ_, μ_, kBT_] := E^-(ℰ - μ/kBT)Plot[{fd[ℰ, 1, 1 / 10], be[ℰ, 1, 1 / 10], mb[ℰ, 1, 1 / 10]}, {ℰ, 0, 3}]指数型母関数から二項分布のモーメントを計算する:
egf[n_, p_][t_] := (p Exp[t] + (1 - p)) ^ nTable[Derivative[k][egf[n, p]][0], {k, 0, 4}]//Factorガウス関数 (2)
Assuming[λ > 0 && {a, b}∈Reals, Subsuperscript[∫, -∞, ∞]Subsuperscript[∫, -∞, ∞]Subsuperscript[∫, -∞, ∞]E^-λ((Subscript[x, 1] - a)^2 + (Subscript[x, 2] - Subscript[x, 1])^2 + (b - Subscript[x, 3])^2)ⅆSubscript[x, 1]ⅆSubscript[x, 2]ⅆSubscript[x, 3]]Subsuperscript[∫, -∞, ∞]Subsuperscript[∫, -∞, ∞]E^ I(Subsuperscript[x, 1, 2] + Subsuperscript[x, 2, 2])ⅆSubscript[x, 1]ⅆSubscript[x, 2]f1 = Exp[-x^2 + 1]UnitStep[x];
f2 = Exp[-x^2 + 1](UnitStep[x + 2] - UnitStep[x - 3]);
ft1 = FourierTransform[f1, x, k];
ft2 = FourierTransform[f2, x, k];AbsArgPlot[{ft1, ft2}, {k, -20, 20}, PlotRange -> All, ScalingFunctions -> "Log", PlotLabels -> {ℱ[f1], ℱ[f2]}]極限と展開 (2)
f = Sin[x + y + u + v] - u x + v y;
g = Exp[x - u] + Exp[y - v] - 2 Cos[x - v] + y - u;AsymptoticSolve[f == 0 && g == 0, {{x, y}, {0, 0}}, {{u, v}, {0, 0}, 3}]Series[{f, g} /. %[[1]] /. {u -> t u, v -> t v}, {t, 0, 3}]Expを使って急速に大きくなる関数を構築し,その極限を計算する:
Assuming[a∈Reals, # == Activate@#&[Inactive[Limit][Exp[Exp[Exp[a Exp - Exp[Exp[x]] - Exp[x]] + x] - Exp[Exp[Exp[x]]]], x -> ∞]]]特性と関係 (19)
Together[Exp[I Pi / 5]]ExpToTrig[Exp[x]]ExpToTrig[Exp[I x]]ExpToTrig[Exp[I Pi / 5]]TrigToExp[{Sin[z], Cosh[z]}]Exp[I Pi / 32]FunctionExpand[ExpToTrig[%]]Numerator[{E^x, E^-x, E^x - 1 / y}]Denominator[{E^x, E^-x, E^x - 1 / y}]1 / Exp[x]Expは極限においてベキ関数から現れる:
Limit[(1 + (x/n))^n, n -> Infinity]{Exp[Log[z]], Log[Exp[z]]}PowerExpandはLogの多価性を無視する:
PowerExpand[%]PowerExpand[%%, Assumptions -> {}]{Exp[I ArcSin[x]], Exp[I ArcTanh[x]]}//TrigToExp//TogetherExpを含む超越関数を解く:
Reduce[Exp[x] + x == 0, x]FindRoot[Exp[x] + x == 0, {x, 0}]FindRoot[Exp[x] - x == 0, {x, 2I}]Reduce[Exp[α x + β] == 1, x]∫z^αExp[z^β]ⅆzSubsuperscript[∫, 0, ∞](t^k/E^t + 1)ⅆtSubsuperscript[∫, 0, ∞]E^-a t^2 - (b/t^2)ⅆtSubsuperscript[∫, 0, 2 π]E^E^I tⅆtInverseFourierCosTransform[Exp[-μ Abs[k] ^ 3 t], k, x, Assumptions -> μ > 0]Underoverscript[∑, k = 1, ∞](E^k z/k)Underoverscript[∑, k = 1, ∞]((-1)^k - 1 E^k w/k^2)ネストした指数関数の級数の係数はベル(Bell)数の倍数である:
CoefficientList[Series[Exp[Exp[t] - 1], {t, 0, 12}], t]Table[BellB[n] / n!, {n, 0, 12}]Expは数値関数である:
Attributes[Exp]NumericQ[Exp[2 + GoldenRatio]]Expの母関数:
GeneratingFunction[Exp[n], n, x]Series[%, {x, 0, 10}]FindSequenceFunctionはExp数列を認識する:
Table[Exp[n], {n, 10}]FindSequenceFunction[%, n]Expの指数母関数:
ExponentialGeneratingFunction[Exp[n], n, x]考えられる問題 (7)
N[Exp[10 ^ 6]]Exp[%]指数関数を評価すると底がEの級数になるので,文字通りのマッチングは失敗することがある:
MatchQ[Exp[x + y], HoldPattern[Exp[_ + _]]]Exp[x]//FullFormUnevaluatedまたはHoldを使って評価を避ける:
Hold[Exp[x]]//FullFormMatchQ[Unevaluated[Exp[x + y]], HoldPattern[Exp[_ + _]]]{Exp[-Pi Log[2]], Exp[1 - Pi Log[2]]}Togetherを使って指数中の対数を除去する:
Together[%]Exp[20 + 10. ^ 30 I]N[Exp[20 + 10 ^ 30 I], 20]無限大では,基本的にExpが特異点を持ち,ベキ級数は存在しない:
Series[Exp[x], {x, Infinity, 2}]Expは行列に対して要素単位で適用される.MatrixExpは指数関数を求める:
Exp[{{0, 1}, {1, 0}}]MatrixExp[{{0, 1}, {1, 0}}]TraditionalFormの入力では引数の前後にカッコが必要である:
exp xexp(x)おもしろい例題 (5)
Series[(1 + (z/n))^n, {n, ∞, 2}]Expのベキ級数の部分和の閉形式:
Sum[z ^ k / k!, {k, 0, n}]大きい
についてのExp[z]の差分の主要な修正:
Simplify[Normal[Series[Exp[z] - %, {n, ∞, 2}]]]DensityPlot[Arg[Nest[Exp, x + I y, 3]], {x, 0, 3}, {y, -2, 2}]Expを反復させることによるフラクタル:
DensityPlot[Length @FixedPointList[If[TrueQ[Abs[#] > 10. ^ 5], Indeterminate, Exp[# / (x + I y)]]&, x + I y, 10], {x, -1 / 2, 3}, {y, -1, 1}, MaxRecursion -> 4]ほとんどどこにも微分可能なところがないリーマン・ワイエルシュトラス(Riemann–Weierstrass)関数:
ParametricPlot[{Re[#], Im[#]}&@Underoverscript[∑, j = 1, 200](E^I j^3 φ/j^2), {φ, 0, 2π}]関連するガイド
-
▪
- 初等関数 ▪
- GPU計算 ▪
- 数学関数 ▪
- NVIDIAを使ったGPU計算 ▪
- Appleを使ったGPU計算 ▪
- 統計学で使用される関数 ▪
- 分離可能な座標系の関数
履歴
1988 で導入 (1.0) | 2021 で更新 (13.0)
テキスト
Wolfram Research (1988), Exp, Wolfram言語関数, https://reference.wolfram.com/language/ref/Exp.html (2021年に更新).
CMS
Wolfram Language. 1988. "Exp." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2021. https://reference.wolfram.com/language/ref/Exp.html.
APA
Wolfram Language. (1988). Exp. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Exp.html
BibTeX
@misc{reference.wolfram_2026_exp, author="Wolfram Research", title="{Exp}", year="2021", howpublished="\url{https://reference.wolfram.com/language/ref/Exp.html}", note=[Accessed: 08-September-2026]}
BibLaTeX
@online{reference.wolfram_2026_exp, organization={Wolfram Research}, title={Exp}, year={2021}, url={https://reference.wolfram.com/language/ref/Exp.html}, note=[Accessed: 08-September-2026]}