EllipticF[ϕ,m]
给出第一类椭圆积分
.
EllipticF
EllipticF[ϕ,m]
给出第一类椭圆积分
.
范例
打开所有单元 关闭所有单元基本范例 (4)
EllipticF[0.3, 0.8]Plot[EllipticF[ϕ, 0.5], {ϕ, 0, Pi / 2}]ComplexPlot3D[EllipticF[z, 0.5], {z, -2 - 2 I, 2 + 2 I}, PlotLegends -> Automatic, Exclusions -> All]Series[EllipticF[ϕ, m], {ϕ, 0, 8}]范围 (36)
数值计算 (5)
EllipticF[3 + 2.5 I, 2.3 - 1.5 I]N[EllipticF[12 / 5, 3], 50]EllipticF[2, 0.9999999999999999990000000000000000000]EllipticF[2, 0.9999999999999999990000000000000000000000000000000000]在高精度条件下高效计算 EllipticF:
EllipticF[2, 0.4`500]//TimingEllipticF[2, 0.4`100000];//Timing用 Interval 和 CenteredInterval 对象计算最坏情况下的区间:
EllipticF[0.2, Interval[{0.3, 0.4}]]EllipticF[1, CenteredInterval[-4, 1 / 10]]或用 Around 计算一般情况下的统计区间:
EllipticF[ Around[2, 0.01], 1 / 2]EllipticF[{{1, 0}, {0, 1}}, 0]或用 MatrixFunction 计算矩阵形式的 EllipticF 函数:
MatrixFunction[EllipticF[#, 0]&, {{1, 0}, {0, 1}}]特殊值 (5)
EllipticF[ϕ, 0]{EllipticF[0, m], EllipticF[Pi / 2, m]}EllipticF[ϕ, Infinity]Limit[EllipticF[2 + ε I, 2], ε -> 0, Direction -> -1]Limit[EllipticF[2 + ε I, 2], ε -> 0, Direction -> +1]f[m_] := EllipticF[π, m] - 3;
xzero = Solve[f[m] == 0 && -1.0 < m < 0, m][[1, 1, 2]]//QuietPlot[f[m], {m, -1, 1}, Epilog -> Style[Point[{xzero, f[xzero]}], PointSize[Large], Red]]对于第一个参数来说,EllipticF 是一个奇函数:
EllipticF[-ϕ, m]可视化 (3)
Plot[{EllipticF[ϕ, 0], EllipticF[ϕ, 1], EllipticF[ϕ, 2]}, {ϕ, -2, 2}]Plot[{EllipticF[π, m], EllipticF[π / 2, m], EllipticF[-π / 2, m], EllipticF[-π, m]}, {m, -10, 2}, IconizedObject[«PlotOptions»]]ComplexContourPlot[Re[EllipticF[z, 1]], {z, -π / 2 - I π / 2 , π / 2 + I π / 2}, IconizedObject[«PlotOptions»]]ComplexContourPlot[Im[EllipticF[z, 1]], {z, -π / 2 - I π / 2 , π / 2 + I π / 2}, IconizedObject[«PlotOptions»]]函数的属性 (10)
FunctionDomain[EllipticF[ϕ, 0.5], ϕ]FunctionRange[EllipticF[ϕ, 0.5], ϕ, y]//QuietEllipticF 是第一个参数的奇函数:
EllipticF[-ϕ, m]FunctionAnalytic[EllipticF[ϕ, .5], ϕ]FunctionSingularities[EllipticF[ϕ, .5], ϕ]//QuietFunctionDiscontinuities[EllipticF[ϕ, .5], ϕ]//QuietFunctionMeromorphic[EllipticF[n, m], {n, m}]FunctionDomain[EllipticF[ϕ, 2], ϕ]FunctionMonotonicity[{EllipticF[ϕ, 2], -(π/4) ≤ ϕ ≤ (π/4)}, ϕ]//QuietFunctionInjective[EllipticF[ϕ, 2], ϕ]Plot[{EllipticF[ϕ, 2], .5}, {ϕ, -π / 2, π / 2}]FunctionSurjective[EllipticF[ϕ, 2], ϕ]Plot[{EllipticF[ϕ, 2], 2}, {ϕ, -π, π}]FunctionSign[{EllipticF[ϕ, 2], -(π / 4) <= ϕ <= π / 4}, ϕ]FunctionConvexity[{EllipticF[ϕ, 2], -(π / 4) <= ϕ <= π / 4}, ϕ]微分 (3)
D[EllipticF[ϕ, m], ϕ]derivs = Table[D[EllipticF[ϕ, m], {ϕ, n}], {n, 1, 3}]//FullSimplifyPlot[Evaluate[derivs /. m -> 1], {ϕ, -π / 2, π / 2}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative"}]D[EllipticF[ϕ, m], m]积分 (3)
EllipticF 的不定积分:
Integrate[EllipticF[ϕ, m], m]Integrate[EllipticF[ϕ, m], {ϕ, -1, 1}]Integrate[Sin[z]EllipticF[z, m] , z]Integrate[( Sin[2 z]EllipticF[z, m]/(1 - m Sin[z]^2)^3 / 2), z]级数展开式 (3)
EllipticF 的泰勒展开式:
Series[EllipticF[ϕ, m], {ϕ, 0, 5}]terms = Normal@Table[Series[EllipticF[ϕ, 1], {ϕ, 0, n}], {n, 1, 5, 2}];
Plot[{EllipticF[ϕ, 1], terms}, {ϕ, -2, 2}]Series[EllipticF[ϕ, m], {m, 0, 3}]terms = Normal@Table[Series[EllipticF[π, m], {m, 0, n}], {n, 1, 3}];
Plot[{EllipticF[π, m], terms}, {m, -1, 1}, PlotLegends -> "Expressions"]EllipticF 可被应用于幂级数:
EllipticF[ϕ + (ϕ^2/2) + (ϕ^3/3) + O[ϕ]^4, m]EllipticF[ϕ, m + (m^2/2) + (m^3/3) + O[m]^4]函数表示 (4)
Integrate[(1/Sqrt[1 - m Sin[θ] ^ 2]), {θ, 0, ϕ}, Assumptions -> 0 ≤ ϕ ≤ π / 2]与 EllipticPi 的关系:
EllipticPi[0, ϕ, m]EllipticF 可被表示为 DifferentialRoot:
DifferentialRootReduce[EllipticF[ϕ, m], m]TraditionalForm 格式:
EllipticF[ϕ, m] // TraditionalForm应用 (5)
Integrate[(1/Sqrt[a x^4 + b]), x]Plot3D[Im[EllipticF[x + I y, 1 / 2]], {x, -2Pi, 2Pi}, {y, -3, 3}]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 π((b c^2 /Sqrt[a^2 - c^2])EllipticF[ϑ, m] + c^2 + b Sqrt[a^2 - c^2] EllipticE[ϑ, m])] /; a > b > c;area[3, 2, 1]//NWith[{a = 3, b = 2, c = 1}, NIntegrate[Sin[ϑ]Sqrt[b^2c^2Cos[φ]^2Sin[ϑ]^2 + a^2c^2Sin[φ]^2Sin[ϑ]^2 + a^2b^2Cos[ϑ]^2], {φ, 0, 2Pi}, {ϑ, 0, Pi}]]DSolve[s'[φ] == -(c/Sqrt[Cos[φ]]), s[φ], φ]聚纤气球参数化 (两个塑料平板在圆周处连接在一起然后再充气):
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]Block[{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]属性和关系 (7)
对于符合以下条件的实参数,EllipticF[ϕ,m] 的值是实数:
FunctionDomain[EllipticF[ϕ, m], {ϕ, m}, Reals]EllipticF[ArcCsc[Sqrt[m]], m]//FunctionExpandEllipticF[z, 1]//FunctionExpandFunctionExpand[%, 0 < z < Pi / 2]与反函数合成需要 PowerExpand:
EllipticF[JacobiAmplitude[z, m], m]PowerExpand[%]JacobiAmplitude[EllipticF[z, m], m]PowerExpand[%]求解包含 EllipticF 的方程组:
Solve[EllipticF[z, m]^3 + EllipticF[z, m] == x, z]FindRoot[EllipticF[z, 2]^3 + EllipticF[z, 2] + z == 2, {z, 1}]Limit[EllipticF[2 + ε I, 2], ε -> 0, Direction -> -1]//QuietLimit[EllipticF[2 + ε I, 2], ε -> 0, Direction -> +1]//QuietWith[{m = 1 / 3}, {ParametricPlot[{ϕ, EllipticF[ϕ, m]}, {ϕ, -2Pi, 2Pi}, PlotStyle -> Thick], ParametricPlot[{JacobiAmplitude[u, m], u}, {u, -4 EllipticK[m], 4EllipticK[m]}, PlotStyle -> Directive[Dashed, Orange]]}]Show[%, ImageSize -> Tiny]With[{m = 4}, {ParametricPlot[{ϕ, EllipticF[ϕ, m]}, {ϕ, -ArcSin[m^-1 / 2], ArcSin[m^-1 / 2]}, PlotStyle -> Thick], ParametricPlot[{JacobiAmplitude[u, m], u}, {u, -(1/Sqrt[m])EllipticK[1 / m], (1/Sqrt[m])EllipticK[1 / m]}, PlotStyle -> Directive[Dashed, Orange]]}]Show[%, ImageSize -> Tiny]可能存在的问题 (2)
Integrate[(1/Sqrt[1 - m Sin[t]^2]), {t, 0, z}]Integrate[1 / Sqrt[1 - k ^ 2 Sin[t] ^ 2], {t, 0, z}, Assumptions -> 0 < k < 1 && 0 < z < 1]Integrate[1 / Sqrt[(1 - t ^ 2) (1 - m t ^ 2)], {t, 0, z}, Assumptions -> 0 < m < 1 && 0 < z < 1]巧妙范例 (2)
NestList[D[#, x]&, EllipticF[x, m], 4]//Simplify//TraditionalForm在整数点绘出 EllipticF:
ArrayPlot[Table[Mod[Round[Abs[EllipticF[x y, 0.3]]], 2], {x, -50, 50}, {y, -50, 50}]]技术笔记
历史
1988年引入 (1.0) | 在以下年份被更新:1996 (3.0) ▪ 2020 (12.2) ▪ 2021 (13.0) ▪ 2022 (13.1)
文本
Wolfram Research (1988),EllipticF,Wolfram 语言函数,https://reference.wolfram.com/language/ref/EllipticF.html (更新于 2022 年).
CMS
Wolfram 语言. 1988. "EllipticF." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 2022. https://reference.wolfram.com/language/ref/EllipticF.html.
APA
Wolfram 语言. (1988). EllipticF. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/EllipticF.html 年
BibTeX
@misc{reference.wolfram_2026_ellipticf, author="Wolfram Research", title="{EllipticF}", year="2022", howpublished="\url{https://reference.wolfram.com/language/ref/EllipticF.html}", note=[Accessed: 16-September-2026]}
BibLaTeX
@online{reference.wolfram_2026_ellipticf, organization={Wolfram Research}, title={EllipticF}, year={2022}, url={https://reference.wolfram.com/language/ref/EllipticF.html}, note=[Accessed: 16-September-2026]}