DifferentialRoot[lde][x]
给出由线性微分方程 lde[h,x] 指定的完整函数
.
DifferentialRoot[lde]
表示纯完整函数
.
DifferentialRoot
DifferentialRoot[lde][x]
给出由线性微分方程 lde[h,x] 指定的完整函数
.
DifferentialRoot[lde]
表示纯完整函数
.
更多信息
- 数学函数,适用于符号和数学运算;也称作完整函数和 D 有限函数.
- 由 DifferentialRoot 函数定义的完整函数
满足完整微分方程
,其中
为多项式系数,初值为
. - 可以和使用其它数学函数一样使用 DifferentialRoot.
- FunctionExpand 会试图转换 DifferentialRoot 函数, 用特殊函数来表示.
- 可以由 DifferentialRoot 表示的函数包括大量的特殊函数.
- DifferentialRootReduce 可以将大多数特殊函数转换为 DifferentialRoot 函数.
- 在许多运算中,完整序列是封闭的,其中包括:
-
, 
与常数相乘,整数幂
, 
和与积
,
, 
多项式函数、有理函数和代数函数的组合 
卷积
, 
导数和积分 - DifferentialRoot 由诸如 Integrate、DSolve 和 GeneratingFunction 这样的函数自动产生.
- 诸如 Integrate、D、SeriesCoefficient 和 DSolve 这样的函数可使用 DifferentialRoot 输入.
- DifferentialRoot 可以计算出任意精度的结果.
- DifferentialRoot 自动逐项作用于列表.
- DifferentialRoot[lde,pred] 表示的解是受限的,以避免在由 pred[z] 定义的
复平面中出现分割线,其中 pred[z] 可以包含等式和不等式.
范例
打开所有单元 关闭所有单元基本范例 (2)
f = DifferentialRoot[Function[{y, x}, {y''[x] + y[x] == 0, y[0] == 0, y'[0] == 1}]]Plot[f[x], {x, 0, 2Pi}]f[N[1 + I, 30]]Sin[N[1 + I, 30]]DSolve[y'''[x] - x^2 y'[x] - y[x] - Cos[x] == 0 && y[0] == 0 && y'[0] == 1 && y''[0] == 0, y, x]Table[y[n] /. First[%], {n, 1, 2, 0.2}]范围 (23)
数值计算 (7)
DifferentialRoot[Function[{y, x}, {y'[x] - y[x] == 0, y[0] == 1}]][0.5]DifferentialRoot[Function[{y, x}, {y'[x] - y[x] == 0, y[0] == 1}]][1 / 2`50]DifferentialRoot[Function[{y, x}, {y'[x] - y[x] == 0, y[0] == 1}]][0.10000000000000000001]DifferentialRoot 使用复数的形式参数和实用参数:
DifferentialRoot[Function[{y, x}, {x y''[x] + y'[x] - y[x] == 0, y[1 / 2] == 1, y'[1 / 2] == -3 / 4}]][1 / 2 + 1.I]DifferentialRoot[Function[{y, x}, {x y''[x] + I y'[x] - y[x] == 0, y[1 / 2] == 1 + 4I, y'[1 / 2] == -3 / 4}]][1 / 2 + 1.I]DifferentialRoot 使用不精确的输入参数:
DifferentialRoot[Function[{y, x}, {x y''[x] + y'[x] - y[x] == 0, y[1 / 2] == 1`20, y'[1 / 2] == -3 / 4}]][1 / 2 + 1I]Precision[%]高效地在高精度下计算 DifferentialRoot:
DifferentialRoot[Function[{y, x}, {x y''[x] + I y'[x] - y[x] == 0, y[1 / 2] == 1 + 4I, y'[1 / 2] == -3 / 4}]][2 / 10`100]//N//TimingDifferentialRoot 以元素方式线性作用于(threads over)列表和矩阵:
DifferentialRoot[Function[{y, x}, {x y''[x] + I y'[x] - y[x] == 0, y[1 / 2] == 1 + 4I, y'[1 / 2] == -3 / 4}]][{0.2, 1.4}]DifferentialRoot[Function[{y, x}, {x y''[x] + I y'[x] - y[x] == 0, y[1 / 2] == 1 + 4I, y'[1 / 2] == -3 / 4}]][(| | |
| :------- | :------- |
| 3.1 | 1 / 3`20 |
| 4 / 5`20 | 0.4 |)]函数属性 (5)
DifferentialRoot 对象具有数学函数的所有标准特点:
f = DifferentialRoot[Function[{y, x}, {y'''[x] + 2x y''[x] - y[x] == 0, y[1 / 2] == 1, y'[1 / 2] == -3 / 4, y''[1 / 2] == 0}]]Integrate[f[x], x]D[f[x], x]Series[f[x], {x, 1 / 2, 3}]Plot[f[x], {x, -10, 10}]ComplexPlot[f[z], {z, 5}, RasterSize -> 50, PlotLegends -> Automatic]DifferentialRoot[Function[{y, x}, {y''[x] + y[x] == 0, y[0] == 0, y'[0] == 1}]][Pi / 2]使用 FunctionExpand 尝试将 DifferentialRoot 对象转换为一个内置数学函数:
DifferentialRoot[Function[{y, x}, {y''[x] + y[x] == 0, y[0] == 0, y'[0] == 1}]][x]%//FunctionExpandDifferentialRoot 作用于有有理系数的方程:
DifferentialRoot[Function[{y, x}, {y'''[x] / x + y[x] == 0, y[0] == 0, y'[0] == 1, y''[0] == 0}]]DifferentialRoot[Function[{y, x}, {y'[x] - y[x] - Cos[x] == 0, y[0] == 1}]]微分 (4)
DifferentialRoot 的导数是一个 DifferentialRoot 函数:
f = DifferentialRoot[Function[{y, x}, {x + y[x] + y'[x] == 0, y[0] == 1}]][x]D[%, x]求关于参数的 DifferentialRoot 对象的微分:
f = DifferentialRoot[Function[{y, x}, {x + a y[x] + y'[x] == 0, y[0] == 1}]]D[f[x], a]计算 DifferentialRoot 对象更高阶的导数:
f = DifferentialRoot[Function[{y, x}, {x + a y[x] + y'[x] == 0, y[0] == 1}]][x]D[f, {x, 2}]D[f, x, a]D[f, {a, 2}]求 DifferentialRoot 对象的微分:
df = D[DifferentialRoot[Function[{y, x}, {4x^2 - y[x] + y'[x] == 0, y[0] == 1}]][x], x]df /. x -> RandomReal[{-5, 5}, 5]Plot[df, {x, -5, 5}]积分 (4)
DifferentialRoot 对象的积分是一个 DifferentialRoot 对象:
f = DifferentialRoot[Function[{y, x}, {x + y[x] + y'[x] == 0, y[0] == 1}]]Integrate[f[x], x]计算 DifferentialRoot 对象的更高阶积分:
f = DifferentialRoot[Function[{y, x}, {x + a y[x] + y'[x] == 0, y[0] == 1}]][x]Integrate[f, x, x]计算 DifferentialRoot 对象的定积分:
f = DifferentialRoot[Function[{y, x}, {x^2 + y[x] + y'[x] == 0, y[0] == 1}]]Subsuperscript[∫, -1, 1]f[x]ⅆx求 DifferentialRoot 对象的积分:
F = Integrate[DifferentialRoot[Function[{y, x}, {x^2 + x y[x] + y'[x] == 0, y[0] == 1}]][x], x]F /. x -> RandomReal[{-5, 5}, 5]Plot[F, {x, -5, 5}]级数展开 (3)
计算 DifferentialRoot 对象的级数展开:
Series[DifferentialRoot[Function[{y, x}, {y''[x] + y[x] == 0, y[0] == 1, y'[0] == 1}]][x], {x, 0, 5}]计算 DifferentialRoot 对象的泰勒展开式的第 ![]()
个系数:
SeriesCoefficient[DifferentialRoot[Function[{y, x}, {y''[x] + y[x] == 0, y[0] == 0, y'[0] == 1}]][x], {x, 0, n}]Table[%, {n, 0, 9}]与 Sin 函数展开系数进行比较:
CoefficientList[Series[Sin[x], {x, 0, 10}]//Normal, {x}]计算有一个参数的 DifferentialRoot 对象的级数展开:
Series[DifferentialRoot[Function[{y, x}, {y''[x] + a y[x] == 0, y[0] == 1, y'[0] == 1}]][x], {x, 0, 5}]推广和延伸 (1)
应用 (4)
从特殊函数中生成 DifferentialRoot 对象:
DifferentialRootReduce[BesselJ[2, Sqrt[x ^ 2 + 1]], x]Integrate[%, x]DifferentialRoot 对象有数学函数的所有标准特点:
f = DifferentialRoot[Function[{y, x}, {y'''[x] + 2x y''[x] - y[x] == 0, y[1 / 2] == 1, y'[1 / 2] == -3 / 4, y''[1 / 2] == 0}]][x]求 DifferentialRoot 对象的级数展开的系数:
SeriesCoefficient[f, {x, 1 / 2, n}]Table[%, {n, 0, 5}]计算 DifferentialRoot 对象的任意阶导数:
df = D[f, x]D[f, {x, 4}]求 DifferentialRoot 对象的积分:
F = Integrate[f, x]%[[0, 1]][y, x]Plot[{f, F, df}, {x, -10, 10}]使用 DifferentialRoot 齐次化微分方程:
dr = DifferentialRoot[Function[{y, x}, {y''[x] - x y[x] == Cos[x^2], y[0] == 1, y'[0] == -3 / 4 I}]]dr[[1]][y, x]生成一个作为两个数学函数的组合的 DifferentialRoot 对象:
DifferentialRootReduce[Sin[x] + 4 x Cos[x], x]%[[0, 1]][y, x]属性和关系 (5)
DifferentialRootReduce 生成 DifferentialRoot 对象:
DifferentialRootReduce[Cos[x], x]若无法从已知函数中获取解,则 DSolve 生成一个 DifferentialRoot 对象:
DSolve[y'''[x] + y'[x] + x^3y[x] == 0, y[x], x]GeneratingFunction 可能生成一个 DifferentialRoot 对象:
GeneratingFunction[DifferenceRoot[Function[{y, n}, {y[n] + (1 + n) (2 + n) y[n + 2] == 0, y[0] == 0, y[1] == 1}]][n], n, x]Integrate 为一般完全函数返回 DifferentialRoot 对象:
Integrate[DifferentialRoot[Function[{y, x}, {x + y[x] + y'[x] == 0, y[0] == 1}]][x], x]D 为一般完全函数返回 DifferentialRoot 对象:
D[DifferentialRoot[Function[{y, x}, {x + y[x] + y'[x] == 0, y[0] == 1}]][x], x]可能存在的问题 (3)
DifferentialRoot 只接受有多项式系数的线性微分方程:
DifferentialRoot[Function[{y, x}, {Sqrt[x]y''[x] - x y^2[x] == 0, y[0] == 1, y'[0] == -3 / 4 I}]][x]若给定的初始值为奇点,则 DifferentialRoot 不会计算:
DifferentialRoot[Function[{y, x}, {x y''[x] + y'[x] - y[x] == 0, y[0] == 1, y'[0] == -3 / 4 I}]][x]
f = DifferentialRoot[Function[{y, x}, {x (x - 1)y''[x] + ((1 + 1 / 2 + 1 / 3)x - 1 / 4)y'[x] + 1 / 2 * 1 / 3y[x] == 0, y[1 + I] == Hypergeometric2F1[1 / 2, 1 / 3, 1 / 4, 1 + I], y'[1 + I] == (D[Hypergeometric2F1[1 / 2, 1 / 3, 1 / 4, z], z] /. z -> 1 + I)}]]对于复平面的一些区域而言,f 的值与其对应的内置函数值不同:
f[2. - I]Hypergeometric2F1[1 / 2, 1 / 3, 1 / 4, 2. - I]对于其他区域而言, DifferentialRoot 会给出同样的结果:
f[3. + 4I]Hypergeometric2F1[1 / 2, 1 / 3, 1 / 4, 3. + 4I]巧妙范例 (1)
技术笔记
文本
Wolfram Research (2008),DifferentialRoot,Wolfram 语言函数,https://reference.wolfram.com/language/ref/DifferentialRoot.html (更新于 2020 年).
CMS
Wolfram 语言. 2008. "DifferentialRoot." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 2020. https://reference.wolfram.com/language/ref/DifferentialRoot.html.
APA
Wolfram 语言. (2008). DifferentialRoot. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/DifferentialRoot.html 年
BibTeX
@misc{reference.wolfram_2026_differentialroot, author="Wolfram Research", title="{DifferentialRoot}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/DifferentialRoot.html}", note=[Accessed: 14-September-2026]}
BibLaTeX
@online{reference.wolfram_2026_differentialroot, organization={Wolfram Research}, title={DifferentialRoot}, year={2020}, url={https://reference.wolfram.com/language/ref/DifferentialRoot.html}, note=[Accessed: 14-September-2026]}