AppellF1[a,b1,b2,c,x,y]
是双变量 Appell 超几何函数
.
AppellF1
AppellF1[a,b1,b2,c,x,y]
是双变量 Appell 超几何函数
.
更多信息
- AppellF1 属于Appell函数家族,它概括了超几何数列,解决了具有多项式系数的 Horn 偏微分方程组.
- 数学函数,适宜于符号和数值计算.
有一个通过超几何数列
的主要定义,其在区域
内是收敛的.- Appell F1 数列对其参数的实值的收敛区域如下:
- 一般来说,
满足以下 Horn 偏微分方程组 »:
. - 当
或
时,
简化成为
. - 对某些特殊自变量,AppellF1 自动计算出精确值.
- AppellF1 能够计算到任意数值精度.
- AppellF1[a,b1,b2,c,x,y] 在双变量复合
空间中的
和
处有奇异线,并且沿
和
的从
到
的射线上有分支切割. - FullSimplify 和 FunctionExpand 包含用于 AppellF1 的变换法则.
范例
打开所有单元 关闭所有单元基本范例 (8)
AppellF1[2, 1, 1, 3, 0.7, 0.3]AppellF1[1, 1, 1, 2, x, y]//SimplifySum[x^m y^n(Pochhammer[a, m + n]/Pochhammer[c, m + n])( Pochhammer[b1, m] Pochhammer[b2, n]/m! n! ), {m, 0, Infinity}, {n, 0, Infinity}]Plot[AppellF1[1, 1, 1, 1, 4, x], {x, -2, 3}, PlotRange -> Automatic]ComplexPlot3D[AppellF1[1, 1, 1, 1, 4, z], {z, -2 - 2I, 2 + 2I}, PlotLegends -> Automatic]Series[AppellF1[1, 1, 1, 1, 4, x], {x, 0, 3}]在 Infinity 的级数展开:
Series[AppellF1[1, 1, 1, 1, 4, x], {x, ∞, 5}]//Normal//FullSimplifySeries[AppellF1[1, 1, 1, 1, 4, x], {x, 1, 2}]范围 (28)
数值计算 (6)
AppellF1[3, 2, 1, 2, 7, 5.2]AppellF1[2, -1, 2, 5, 0.4, 1.3]N[AppellF1[3, 2, 5, 2, 3, 5], 10]AppellF1[1, 1, 3 / 5, 3, 2 / 3, 0.400000000024000000000000]AppellF1[I, 1, 1 + I, 3.2, 0.5, 0.2 + 0.5 I]用高精度高效计算 AppellF1:
AppellF1[3, 2, 1, 2, 7, 7 / 4`100]//TimingAppellF1[3, 2, 1, 2, 7, 7 / 4`100];//Timing或用 Around 计算一般情况下的统计区间:
AppellF1[ 1 / 2, 1, 5 / 2, 3, 1, Around[2.1, 0.01]]AppellF1[1 / 2, 1, 1 / 2, 1 / 2, {{1 / 2, 2}, {2, 1 / 2}}, {{1 / 2, 2}, {2, 1 / 2}}]或用 MatrixFunction 计算矩阵形式的 AppellF1 函数:
MatrixFunction[AppellF1[1 / 2, 1, 1 / 2, 1, #, #]&, {{1 / 2, 2}, {2, 1 / 2}}]//FullSimplify特殊值 (4)
AppellF1[1 / 2, 1, 1 / 2, 1, 2, 2]AppellF1[1 / 2, 1, 5 / 2, 3, 2, 2]AppellF1[a, Subscript[b, 1], Subscript[b, 2], c, x, 0]AppellF1[a, b, b, c, x, -x]AppellF1[a, Subscript[b, 1], Subscript[b, 2], c, 0, 0]对于简单参数,AppellF1 计算为更简单的函数:
AppellF1[1, 1 / 2, 1, 1, x, y]//FullSimplifyAppellF1[1, 1, 1, 2, x, y]//FullSimplifyAppellF1[1 / 2, 1 / 2, 1, 3 / 2, x, y]//FullSimplify可视化 (4)
绘制各种参数值的 AppellF1 函数:
Plot[{AppellF1[1, 1 / 2, 1, 1, x, 2], AppellF1[1, 1 / 2, 3, 1, x, 3], AppellF1[1, 1 / 2, 1, 1, x, 4]}, {x, -2, 2}]将 AppellF1 绘制为第二个参数
的函数:
Plot[{AppellF1[1, 1, 2, 1, 2, y], AppellF1[1, 1, 4, 1, 3, y], AppellF1[1, 1, 1, 1, 4, y]}, {y, -2, 4}]ComplexContourPlot[Re[AppellF1[1, 1, 4, 1, 0, z]], {z, -5 - 5I, 5 + 5I}]ComplexContourPlot[Im[AppellF1[1, 1, 4, 1, 0, z]], {z, -5 - 5I, 5 + 5I}]Plot3D[Re[AppellF1[2, 1, 4, 3, 0, x + I y]], {x, -4, 4}, {y, -4, 4}]Plot3D[Im[AppellF1[2, 1, 4, 3, 0, x + I y]], {x, -4, 4}, {y, -4, 4}]函数属性 (9)
AppellF1 的实定义域:
FunctionDomain[AppellF1[1, 1, 1, 2, x, y], x]AppellF1 的复定义域:
FunctionDomain[AppellF1[1, 1, 1, 2, x, y], x, Complexes]FunctionDomain[AppellF1[1, 1, 2, 2, x, y], x, Complexes]AppellF1 并非解析函数:
FunctionAnalytic[AppellF1[1, 1, 1, 2, 4, x], x]FunctionSingularities[AppellF1[1, 1, 1, 2, 4, x], x]FunctionDiscontinuities[AppellF1[1, 1, 1, 1, 4, x], x]FunctionMonotonicity[AppellF1[1, 1, 1, 1, 4, x], x]FunctionInjective[AppellF1[1, 1, 1, 1, 4, x], x]Plot[{AppellF1[1, 1, 1, 1, 4, x], -2}, {x, 0, 3}]FunctionSurjective[AppellF1[1, 1, 1, 1, 4, x], x]Plot[{AppellF1[1, 1, 1, 1, 4, x], 0}, {x, -5, 5}]FunctionSign[AppellF1[1, 1, 1, 1, 4, x], x]FunctionConvexity[AppellF1[1, 1, 1, 1, 4, x], x]TraditionalForm 格式化:
AppellF1[a, Subscript[b, 1], Subscript[b, 2], c, x, y]//TraditionalForm微分 (3)
D[AppellF1[a, Subscript[b, 1], Subscript[b, 2], c, x, y], y]Table[D[AppellF1[a, Subscript[b, 1], Subscript[b, 2], c, x, y], {y, k}], {k, 1, 3}]//FullSimplify绘制关于 y 當 a=b1=b2=2, c=10 和 x=1/2 的高阶导:
Plot[Evaluate[% /. {a -> 2, Subscript[b, 1] -> 2, Subscript[b, 2] -> 2, c -> 10, x -> 1 / 2}], {y, -1, 1}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative"}]D[AppellF1[a, Subscript[b, 1], Subscript[b, 2], c, x, y], {y, k}]// FullSimplify级数展开 (2)
使用 Series 求泰勒展开:
Series[AppellF1[a, Subscript[b, 1], Subscript[b, 2], c, x, y], {x, 0, 2}]//Normal//FullSimplifyterms = Normal@Table[Series[AppellF1[2, 1, 1, 3, x, .3], {x, 0, m}], {m, 1, 5, 2}];
Plot[{AppellF1[2, 1, 1, 3, x, .3], terms//Evaluate}, {x, 0, 10}, PlotRange -> {-30, 30}]Series[AppellF1[a, Subscript[b, 1], Subscript[b, 2], c, x, y], {x, x0, 2}]//Normal// FullSimplify应用 (1)
pde = {x(1 - x) f^(2, 0)[x, y] + y (1 - x) f^(1, 1)[x, y] + (c - (a + Subscript[b, 1] + 1)x) f^(1, 0)[x, y] - Subscript[b, 1] y f^(0, 1)[x, y] - a Subscript[b, 1] f[x, y] == 0, y (1 - y) f^(0, 2)[x, y] + x (1 - y) f^(1, 1)[x, y] + (c - (a + Subscript[b, 2] + 1)y) f^(0, 1)[x, y] - Subscript[b, 2] x f^(1, 0)[x, y] - a Subscript[b, 2] f[x, y] == 0};(pde /. {a -> 1 / 4, Subscript[b, 1] -> 1 / 4, Subscript[b, 2] -> 1 / 4, c -> 1}) /. f -> Function[{x, y}, AppellF1[1 / 4, 1 / 4, 1 / 4, 1, x, y]];% /. Thread[{x, y} -> RandomReal[{-1, 1}, {2}, WorkingPrecision -> 50]]属性和关系 (2)
利用 AppellF1 计算积分:
Integrate[Sqrt[x](x + 1)^n (x + 2)^k , x]Integrate[Sin[x]^1 / 2 Cos[x]^1 / 2 (2 - Sin[x]^2)^1 / 2, x]利用 FullSimplify 简化某些包含 AppellF1 的表达式:
FullSimplify[x^5 AppellF1[(3/2), 1, 2, (5/2), x^3, x^5] + x^3 AppellF1[(3/2), 2, 1, (5/2), x^3, x^5] - (3 / 2/1 - x^3 - x^5 + x^8)]巧妙范例 (1)
许多基本和特殊函数都是 AppellF1 的特例:
funclist = Inactivate[...];Grid[...]//TraditionalForm技术笔记
-
▪
- 特殊函数
历史
1999年引入 (4.0) | 在以下年份被更新:2023 (13.3)
文本
Wolfram Research (1999),AppellF1,Wolfram 语言函数,https://reference.wolfram.com/language/ref/AppellF1.html (更新于 2023 年).
CMS
Wolfram 语言. 1999. "AppellF1." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 2023. https://reference.wolfram.com/language/ref/AppellF1.html.
APA
Wolfram 语言. (1999). AppellF1. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/AppellF1.html 年
BibTeX
@misc{reference.wolfram_2026_appellf1, author="Wolfram Research", title="{AppellF1}", year="2023", howpublished="\url{https://reference.wolfram.com/language/ref/AppellF1.html}", note=[Accessed: 07-August-2026]}
BibLaTeX
@online{reference.wolfram_2026_appellf1, organization={Wolfram Research}, title={AppellF1}, year={2023}, url={https://reference.wolfram.com/language/ref/AppellF1.html}, note=[Accessed: 07-August-2026]}