EllipticE
范例
打开所有单元 关闭所有单元基本范例 (5)
EllipticE[0.4]Plot[EllipticE[m], {m, 0, 1}]ComplexPlot3D[EllipticE[z], {z, -7 - 7I, 7 + 7I}, PlotLegends -> Automatic, Exclusions -> All, PlotTheme -> "Web"]Series[EllipticE[m], {m, 0, 6}]Infinity 处的级数展开式:
Series[EllipticE[x], {x, ∞, 2}]//Normal范围 (41)
数值计算 (5)
EllipticE[3 + 2.5 I]EllipticE[3 + 2.5 I, 2.3 - 1.5 I]N[EllipticE[1 / 3], 50]N[EllipticE[2 / 3, 2], 50]EllipticE[0.1234567890000000000]EllipticE[0.1234567890000000000000000000000]EllipticE[2, 0.1234567890000000000000000000000]EllipticE[2, 0.123456789000000000000000000000000000000]在高精度条件下高效计算 EllipticE:
EllipticE[0.4`500]//TimingEllipticE[0.4`100000];//Timing用 Interval 和 CenteredInterval 对象计算最坏情况下的区间:
EllipticE[1 / 10, Interval[{1.2, 1.3}]]EllipticE[CenteredInterval[-4, 1 / 100]]EllipticE[1 / 3, CenteredInterval[-4, 1 / 5]]或用 Around 计算一般情况下的统计区间:
EllipticE[ Around[2, 0.01], 1 / 2]EllipticE[{{1, 0}, {0, 1}}]或用 MatrixFunction 计算矩阵形式的 EllipticE 函数:
MatrixFunction[EllipticE, {{1, 0}, {0, 1}}]特殊值 (4)
{EllipticE[0], EllipticE[1]}{EllipticE[0, m], EllipticE[ϕ, 0], EllipticE[Pi / 2, m]}{Limit[EllipticE[2 + ε I], ε -> 0, Direction -> 1], Limit[EllipticE[2 + ε I], ε -> 0, Direction -> -1]}{Limit[EllipticE[Pi / 2 + ε I, 2], ε -> 0, Direction -> -1], Limit[EllipticE[Pi / 2 + ε I, 2], ε -> 0, Direction -> +1]}{EllipticE[Infinity], EllipticE[ComplexInfinity]}EllipticE[Infinity, Infinity]f[m_] := EllipticE[m] - 2;
xzero = N@Solve[f[m] == 0 && -2 < m < -1, m][[1, 1, 2]]//QuietPlot[f[m], {m, -2, 2}, Epilog -> Style[Point[{xzero, f[xzero]}], PointSize[Large], Red]]可视化 (3)
Plot[EllipticE[m], {m, -10, 1}]Plot[{EllipticE[-2, m], EllipticE[-1, m], EllipticE[1, m], EllipticE[2, m]}, {m, -10, 2}]ComplexContourPlot[Re[EllipticE[z]], {z, -5 - 5I, 5 + 5I}, IconizedObject[«PlotOptions»]]ComplexContourPlot[Im[EllipticE[z]], {z, -5 - 5I, 5 + 5I}, IconizedObject[«PlotOptions»]]函数的属性 (10)
FunctionDomain[EllipticE[m], m]FunctionRange[EllipticE[m], m, y]//Quiet对于第一个参数来说,EllipticE 是一个奇函数:
EllipticE[-ϕ, m]EllipticE 不是解析函数:
FunctionAnalytic[EllipticE[x], x]FunctionSingularities[EllipticE[x], x]//QuietFunctionDiscontinuities[EllipticE[x], x]//QuietEllipticE 不是亚纯函数:
FunctionMeromorphic[EllipticE[m], m]FunctionMonotonicity[{EllipticE[x], x < 1}, x]FunctionInjective[EllipticE[x], x]Plot[{EllipticE[x], 2}, {x, -5, 1}]FunctionSurjective[EllipticE[x], x]Plot[{EllipticE[x], -1}, {x, -5, 2}]FunctionSign[{EllipticE[x], x < 1}, x]FunctionConvexity[{EllipticE[x], x < 1}, x]微分 (4)
D[EllipticE[m], m]Table[D[EllipticE[m], {m, n}], {n, 1, 3}]//FullSimplifyPlot[Evaluate[%], {m, -10, 1}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative"}]D[EllipticE[m], {m, n}]D[EllipticE[ϕ, m], ϕ]积分 (3)
EllipticE 的不定积分:
Integrate[EllipticE[m], m]//FullSimplifyIntegrate[EllipticE[ϕ, m], {ϕ, -1 / 2, 1 / 2}]Integrate[m^αEllipticE[m], m]Integrate[Sin[ϕ]EllipticE[ϕ, m], ϕ]Integrate[( Sin[2 ϕ]EllipticE[ϕ, m]/(1 - m Sin[ϕ]^2)^3 / 2), ϕ]级数展开式 (4)
EllipticE 的泰勒展开式:
Series[EllipticE[m], {m, 0, 3}]绘制 EllipticE 在
处的前三个近似式:
terms = Normal@Table[Series[EllipticE[m], {m, 0, n}], {n, 1, 3}];
Plot[{EllipticE[m], terms}, {m, -3, 1}]Series[EllipticE[m], {m, 1, 1}]Series[EllipticE[ϕ, m], {ϕ, 0, 10}]Series[EllipticE[ϕ, m], {m, 0, 2}]EllipticE 可被应用于幂级数:
EllipticE[m + (m^2/2) + (m^3/3) + O[m]^4]EllipticE[x + (x^2/2) + (x^3/3) + O[x]^4, m]积分变换 (2)
用 LaplaceTransform 计算拉普拉斯变换:
LaplaceTransform[EllipticE[-t], t, s]HankelTransform[EllipticE[-r], r, s]函数表示 (6)
Integrate[Sqrt[1 - m Sin[θ] ^ 2], {θ, 0, ϕ}, Assumptions -> ϕ ≥ 0]EllipticE[(π/2), m](1 - m)EllipticPi[m, m]//FullSimplify通过 MeijerGReduce 用 MeijerG 来表示:
MeijerGReduce[EllipticE[m], m]Activate[%]EllipticE 可被表示为 DifferentialRoot:
DifferentialRootReduce[EllipticE[m], m]TraditionalForm 格式:
EllipticE[m]//TraditionalForm
EllipticE[ϕ, m]//TraditionalForm应用 (10)
∫Sqrt[ x^4 - 1]ⅆ x∫Sqrt[x^3 - x^2 + 2 / 9 x]ⅆ xPlot3D[Im[EllipticE[x + I y, 1 / 2]], {x, -2Pi, 2Pi}, {y, -3, 3}]x[t_] := a Cos[t];
y[t_] := b Sin[t];4Integrate[Sqrt[Derivative[1][x][t]^2 + Derivative[1][y][t]^2], {t, 0, (Pi/2)}, Assumptions -> a > 0∧b > 0]用 ArcLength 获取周长:
ArcLength[Circle[{0, 0}, {a, b}]]Series[%, {b, a, 6}]Series[Pi (3a + 3b - Sqrt[(a + 3b)(b + 3a)]), {b, a, 6}]//Simplify[#, Assumptions -> a > 0]&x[t_] := a Cosh[t]
y[t_] := b Sinh[t]Integrate[Sqrt[x'[t] ^ 2 + y'[t] ^ 2], {t, 0, ArcTanh[(a /b)Tan[ϕ]]}, Assumptions -> a > 0 && b > 0 && b ^ 2 > a ^ 2Tan[ϕ] ^ 2]Plot[% /. {a -> 2, b -> 2}, {ϕ, -1, 1}]A = 2Integrate[(Cos[φ]/Sqrt[z^2 + r^2 + R^2 - 2 r R Cos[φ]]), {φ, 0, Pi}, Assumptions -> r > 0∧R > 0∧z > 0]Bz = (1/r)D[r A, r]//SimplifyBr = -D[A, z]//SimplifyPlot3D[Evaluate[Sqrt[Br^2 + Bz^2] /. R -> 1], {r, -(3/2), (3/2)}, {z, -1, 1}]半径为 r、长度为 a,单位长度匝数固定的电导螺线管的磁感应系数:
2r^2 a Integrate[Sinc[(x/2)]^2 BesselI[1, (x r/a)] BesselK[1, (x r/a)], {x, 0, Infinity}, Assumptions -> r > 0 && a > 0]Limit[% / a, a -> Infinity]area[{a_, b_, c_}] := With[{m = (a^2(b^2 - c^2)/b^2(a^2 - c^2)), θ = ArcSin[Sqrt[1 - (c^2/a^2)]]}, 2 π(c^2 + b Sqrt[a^2 - c^2] EllipticE[θ, m] + (b c^2 /Sqrt[a^2 - c^2])EllipticF[θ, m])] /; a > b > c;area[{3, 2, 1}]//NNIntegrate[Evaluate[Sin[θ]Sqrt[b^2c^2Cos[ϕ]^2Sin[θ]^2 + a^2c^2Sin[ϕ]^2Sin[θ]^2 + a^2b^2Cos[θ]^2] /. {a -> 3, b -> 2, c -> 1}], {ϕ, 0, 2Pi}, {θ, 0, Pi}]x[u_, v_] := (Cos[v]/Sqrt[Cosh[2u]])
y[u_, v_] := (Sin[v]/Sqrt[Cosh[2u]])
z[u_, v_] := With[{f = ArcSin[(Sqrt[2]Sinh[u]/Sqrt[Cosh[2u]])]}, Sqrt[2](EllipticE[f, (1/2)] - (1/2)EllipticF[f, (1/2)])]ParametricPlot3D[{x[u, v], y[u, v], z[u, v]}, {v, 0, 2Pi}, {u, -8, 8}, PlotRange -> All]Module[{h, g}, h[u_] = x[u, v] / Cos[v];g[u_] = z[u, v];
(((g''[u]h'[u] - g'[u]h''[u]/(g'[u]^2 + h'[u]^2)^3 / 2))/((g'[u]/h[u]Sqrt[g'[u]^2 + h'[u]^2])))//Simplify]Module[{h, g}, h[u_] = x[u, v] / Cos[v];g[u_] = z[u, v];Integrate[Sqrt[h'[u]^2 + g'[u]^2]//Simplify, {u, 0, ∞}]]N[%, $MachinePrecision]ellipse[ϕ_, {a_, b_}] := With[{u = a EllipticE[ϕ, 1 - (b^2/a^2)]}, {a JacobiSN[u, Sqrt[1 - (b^2/a^2)]], b JacobiCN[u, Sqrt[1 - (b^2/a^2)]]}]With[{b = 1 / 2, a = 2}, ParametricPlot[Evaluate[{{a Cos[ϕ], b Sin[ϕ]}, ellipse[ϕ, {a, b}]}], {ϕ, -Pi, Pi}]]用椭圆函数定义 Halphen 常数 [MathWorld]:
SetAttributes[HalphenConstant, Constant];
HalphenConstant/:N[HalphenConstant, wp_] := N[EllipticNomeQ[Root[{EllipticK[#] - 2EllipticE[#]&, 0.82611476598497033617737323860075640603409051645331}]], wp]x = N[HalphenConstant, 50]Sum[(2k + 1)^2(-x)^k(k + 1) / 2, {k, 0, 50}]属性和关系 (6)
对于受以下条件限制的实参数,EllipticE[ϕ,m] 的值为实数:
FunctionDomain[EllipticE[ϕ, m], {ϕ, m}, Reals]With[{m = 1 / 3}, {ParametricPlot[{ϕ, EllipticE[ϕ, m]}, {ϕ, -2Pi, 2Pi}, PlotStyle -> Thick], ParametricPlot[{JacobiAmplitude[u, m], JacobiEpsilon[u, m]}, {u, -4 EllipticK[m], 4EllipticK[m]}, PlotStyle -> Directive[Dashed, Orange]]}]Show[%, ImageSize -> Tiny]With[{m = 4}, {ParametricPlot[{ϕ, EllipticE[ϕ, m]}, {ϕ, -ArcSin[m^-1 / 2], ArcSin[m^-1 / 2]}, PlotStyle -> Thick], ParametricPlot[{JacobiAmplitude[u, m], JacobiEpsilon[u, m]}, {u, -(1/Sqrt[m])EllipticK[1 / m], (1/Sqrt[m])EllipticK[1 / m]}, PlotStyle -> Directive[Dashed, Orange]]}]Show[%, ImageSize -> Tiny]EllipticE[ArcCsc[Sqrt[m]], m]//FunctionExpandEllipticE[z, 1]//FunctionExpandFunctionExpand[%, 0 < z < Pi / 2]FindRoot[EllipticE[z, 2]^3 + EllipticE[z, 2] + z == 2, {z, I}]Limit[EllipticE[Pi / 2 + ε I, 2], ε -> 0, Direction -> -1]Limit[EllipticE[Pi / 2 + ε I, 2], ε -> 0, Direction -> +1]对某些特定函数,自动返回 EllipticE 的特定形式:
{HypergeometricPFQ[{-(1/2), (1/2)}, {1}, z], MeijerG[{{(1/2), (3/2)}, {}}, {{0}, {0}}, -z], MeijerG[{{0, 1}, {}}, {{-(1/2), (1/2)}, {}}, z], EllipticPi[z, (π/2), z], EllipticE[(π/2), z]}可能存在的问题 (1)
巧妙范例 (4)
NestList[D[#, x]&, EllipticE[x, m], 4]//TraditionalFormNestList[Integrate[#, x]&, EllipticE[x], 6]//FunctionExpand//TraditionalForm在整数点绘制 EllipticE:
ArrayPlot[Table[Mod[Round[Abs[EllipticE[x y, 0.3]]], 2], {x, -50, 50}, {y, -50, 50}]]通过连续的泰勒级数计算 EllipticE:
ℱ[n_, z_] = (π/2) Underoverscript[∑, k = 0, n](Pochhammer[-(1/2), k] Pochhammer[(1/2), k] z^k/k!^2)EllipticE[0.6 - 0.2I]Plot[{Re@ℱ[n, 0.6 - 0.2I], Im@ℱ[n, 0.6 - 0.2I]}, {n, 0, 5}]Show[Plot3D[Evaluate[Table[Im[EllipticE[x + I y] + j 2 I (EllipticK[1 - (x + I y)] - EllipticE[1 - (x + I y)])], {j, -2, 2}]], {x, -9, 9}, {y, ##}, ClippingStyle -> None, PlotStyle -> Opacity[0.6], Mesh -> False, BoxRatios -> {1, 1, 1}, MaxRecursion -> 5, PlotRange -> {All, All, {-9, 9}}]&@@@{{-9, -10 ^ -6}, {10 ^ -6, 9}}]技术笔记
历史
1988年引入 (1.0) | 在以下年份被更新:1996 (3.0) ▪ 2020 (12.2) ▪ 2021 (13.0) ▪ 2022 (13.1)
文本
Wolfram Research (1988),EllipticE,Wolfram 语言函数,https://reference.wolfram.com/language/ref/EllipticE.html (更新于 2022 年).
CMS
Wolfram 语言. 1988. "EllipticE." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 2022. https://reference.wolfram.com/language/ref/EllipticE.html.
APA
Wolfram 语言. (1988). EllipticE. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/EllipticE.html 年
BibTeX
@misc{reference.wolfram_2026_elliptice, author="Wolfram Research", title="{EllipticE}", year="2022", howpublished="\url{https://reference.wolfram.com/language/ref/EllipticE.html}", note=[Accessed: 14-September-2026]}
BibLaTeX
@online{reference.wolfram_2026_elliptice, organization={Wolfram Research}, title={EllipticE}, year={2022}, url={https://reference.wolfram.com/language/ref/EllipticE.html}, note=[Accessed: 14-September-2026]}