WOLFRAM

Wolfram 语言与系统参考资料中心

PiecewiseExpand[expr]

展开 expr 中嵌套的分段函数以得出一个单分段函数.

PiecewiseExpand[expr,assum]

用假设条件来展开分段函数.

PiecewiseExpand[expr,assum,dom]

在域 dom 之上进行展开.

更多信息和选项
Details and Options Details and Options
范例  
基本范例  
范围  
选项  
Assumptions  
Method  
TimeConstraint  
属性和关系  
可能存在的问题  
参见
技术笔记
相关指南
历史
按以下格式引用：

PiecewiseExpand

PiecewiseExpand[expr]

展开 expr 中嵌套的分段函数以得出一个单分段函数.

PiecewiseExpand[expr,assum]

用假设条件来展开分段函数.

PiecewiseExpand[expr,assum,dom]

在域 dom 之上进行展开.

更多信息和选项

范例

打开所有单元 关闭所有单元

基本范例  (1)

把一个嵌套的分段表达式展开成一个单一的分段函数：

Wolfram Language code: Piecewise[{{Piecewise[{{1, x < 1}}, 2], x > 0}}, 3]
Wolfram Language code: PiecewiseExpand[%]

把一个特殊的分段函数组合转化为单一的 Piecewise 对象：

Wolfram Language code: If[x > 0, Max[x, y], UnitStep[y]]
Wolfram Language code: PiecewiseExpand[%]

范围  (5)

根据分段值和分段条件展开分段函数：

Wolfram Language code: Piecewise[{{Piecewise[{{1, x ≥ 0}}, 2], Piecewise[{{x, x ≤ 1}}, x / 2] ^ 2 ≥ 1 / 2}}, 3]
Wolfram Language code: PiecewiseExpand[%]

把 Max 转换成 Piecewise：

Wolfram Language code: PiecewiseExpand[Max[a, b, c, d]]

在有限区域中对含有无穷分段数目的函数进行展开：

Wolfram Language code: PiecewiseExpand[Floor[x], 0 < x < 4]
Wolfram Language code: PiecewiseExpand[PrimePi[x], 0 < x < 6]

将含有有限种条件的布尔表达式展开：

Wolfram Language code: PiecewiseExpand[0 < Floor[x + Round[x ^ 2]] - x < 4]

假设实参数下进行展开：

Wolfram Language code: PiecewiseExpand[Max[Abs[x], Abs[y]], Reals]

选项  (11)

Assumptions  (3)

假设条件可以是变量值和选项值：

Wolfram Language code: PiecewiseExpand[Floor[x], x > 0, Assumptions -> x < 3]

Assumptions 选项的缺省值是 $Assumptions：

Wolfram Language code: Assuming[0 < x < 3, PiecewiseExpand[Floor[x]]]

当假设条件作为参数给出，也可以应用于 $Assumptions：

Wolfram Language code: Assuming[x ^ 2 < 3, PiecewiseExpand[Floor[x] + Round[y], y ^ 2 < 2]]

指定假设条件为一个选项值，阻止了 $Assumptions 使用：

Wolfram Language code: Assuming[x ^ 2 < 3, PiecewiseExpand[Floor[x] + Round[y], Assumptions -> y ^ 2 < 2]]

Method  (6)

Method 选项容许对与分段函数相关的本地系统选项进行设置：

Wolfram Language code: SystemOptions["PiecewiseOptions"]

在缺省的化简条件下，有些条件可以不用化简：

Wolfram Language code: pw = Min[x ^ 2 + 2x - 2, Max[2x ^ 2 - 3x + 4, x ^ 2 - 3]];
Wolfram Language code: PiecewiseExpand[pw]

用 Reduce 来化简条件：

Wolfram Language code: PiecewiseExpand[pw, Method -> {"ConditionSimplifier" -> Reduce}]

在默认情况下，PiecewiseExpand 用 Together 对值化简：

Wolfram Language code: pw = UnitStep[x + 1] - UnitStep[x - 1](Sin[x] ^ 2 + Cos[x] ^ 2) + 1

不能识别三角等式：

Wolfram Language code: PiecewiseExpand[pw]

用 Simplify 来化简值：

Wolfram Language code: PiecewiseExpand[pw, Method -> {"ValueSimplifier" -> Simplify}]

在默认情况下，由 PiecewiseExpand 产生的条件没有交集，则不能重新排序：

Wolfram Language code: pw = Piecewise[{{Piecewise[{{Piecewise[{{4, a}}, 2], b}}, 3], c}}, 1]
Wolfram Language code: PiecewiseExpand[pw]

这使条件相连：

Wolfram Language code: PiecewiseExpand[pw, Method -> {"OrderlessConditions" -> True}]

在默认情况下，所有特殊的分段函数都要转换成 Piecewise：

Wolfram Language code: pw = If[x > 0, UnitStep[x - 1], Max[x, y]];
Wolfram Language code: PiecewiseExpand[pw]

这转换 If 和 UnitStep，但是不转换 Max：

Wolfram Language code: PiecewiseExpand[pw, Method -> {"ExpandSpecialPiecewise" -> {If, UnitStep}}]

在默认情况下，布尔分段函数作为布尔表达式给出：

Wolfram Language code: PiecewiseExpand[-1 ≤ Max[x, y] ≤ 1]

设置 "BooleanResult"->False 时，表达式用 Piecewise 来表示：

Wolfram Language code: PiecewiseExpand[-1 ≤ Max[x, y] ≤ 1, Method -> {"BooleanResult" -> False}]

设置 "BooleanResult"->True 时，所有的值假定为布尔型：

Wolfram Language code: PiecewiseExpand[If[a, b, c]]
Wolfram Language code: PiecewiseExpand[If[a, b, c], Method -> {"BooleanResult" -> True}]

TimeConstraint  (2)

分段函数的化简过程可能需要较长时间：

Wolfram Language code: PiecewiseExpand[Max[x ^ 6 + y ^ 6 + z ^ 6 - x y z, 0], (x - 1) ^ 2 + (y - 1) ^ 2 + (z - 1) ^ 2 ≤ 1 / 4]//Timing

如果所有的情况不能被消除，那么检查的过程仍然需要很长时间：

Wolfram Language code: PiecewiseExpand[Max[x ^ 6 + y ^ 6 + z ^ 6 - x y z, 0], (x - 1) ^ 2 + (y - 1) ^ 2 + (z - 1) ^ 2 ≤ 1 / 2]//Timing

这限制了用于检查单一条件的时间，因此结果的化简效果较差：

Wolfram Language code: PiecewiseExpand[Max[x ^ 6 + y ^ 6 + z ^ 6 - x y z, 0], (x - 1) ^ 2 + (y - 1) ^ 2 + (z - 1) ^ 2 ≤ 1 / 4, TimeConstraint -> 1]//Timing
Wolfram Language code: PiecewiseExpand[Max[x ^ 6 + y ^ 6 + z ^ 6 - x y z, 0], (x - 1) ^ 2 + (y - 1) ^ 2 + (z - 1) ^ 2 ≤ 1 / 2, TimeConstraint -> 1]//Timing

属性和关系  (11)

PiecewiseExpand 返回一个单一的 Piecewise 对象：

Wolfram Language code: pw = Boole[x ≥ y ^ 2] + Piecewise[{{Max[x, y], x ≥ 0}, {UnitStep[x + 2], x > -5}}, y]
Wolfram Language code: PiecewiseExpand[pw]

Min，Max，UnitStep 和 Clip 是实数自变量的分段函数：

Wolfram Language code: PiecewiseExpand /@ {Min[x, y], Max[x, y, z], UnitStep[x], Clip[x, {a, b}]}

Abs，Sign 和 Arg 在自变量假设为实数时的分段函数：

Wolfram Language code: Assuming[Element[x, Reals], PiecewiseExpand /@ {Abs[x], Sign[x], Arg[x]}]

KroneckerDelta 和 DiscreteDelta 是复数自变量的分段函数：

Wolfram Language code: PiecewiseExpand /@ {KroneckerDelta[x, y], DiscreteDelta[x, y]}

Boole 是布尔型自变量的分段函数：

Wolfram Language code: PiecewiseExpand[Boole[a]]

If、Which 和 Switch 可以解释为分段函数：

Wolfram Language code: PiecewiseExpand /@ {If[a, x, y], Which[a, x, b, y, c, z], Switch[u, v, x, w, y]}

转换 Floor、Ceiling、Round、IntegerPart 和 FractionalPart 为有限的范围：

Wolfram Language code: Assuming[{0 ≤ x ≤ 3}, PiecewiseExpand /@ {Floor[x], Ceiling[x], Round[x], IntegerPart[x], FractionalPart[x]}]

当分类的数量有限时，转换 Mod 和 Quotient：

Wolfram Language code: Assuming[0 ≤ k ≤ 3m, PiecewiseExpand /@ {Mod[k, m], Quotient[k, m]}]

UnitBox 和 UnitTriangle 是含有实参的分段函数：

Wolfram Language code: PiecewiseExpand /@ {UnitBox[x], UnitTriangle[x]}

有限范围内转换 SquareWave、TriangleWave 和 SawtoothWave ：

Wolfram Language code: Assuming[{0 ≤ x ≤ 3}, PiecewiseExpand /@ {SquareWave[x], TriangleWave[x], SawtoothWave[x]}]

BernsteinBasis 和 BSplineBasis 是含有实参的分段函数：

Wolfram Language code: PiecewiseExpand /@ {BernsteinBasis[3, 2, x], BSplineBasis[3, 2, x]}

可能存在的问题  (1)

展开形式下的分类情况数量可能按照冥的形式增长：

Wolfram Language code: f[i_Integer, n_Integer, x_] := Piecewise[{{2 ^ (i - 1), Or @@ Table[j <= x < j + 2 ^ (i - 1), {j, 2 ^ (i - 1), 2 ^ n, 2 ^ i}]}}]

sums 的第 个元素是 个分段函数的和，每个分段有两种情况：

Wolfram Language code: sums = Table[Sum[f[i, n, x], {i, n}], {n, 10}];

sums 中第 个元素的展开形式中的分类情况数量是 ：

Wolfram Language code: Length[First[PiecewiseExpand[#]]] + 1& /@ sums

这显示 sums 中的第四个被加元素数的图形；它们的和用红色表示：

Wolfram Language code: {Plot[Evaluate@Table[f[i, 4, x], {i, 4}], {x, 0, 16}, PlotRange -> {0, 16}], Plot[Evaluate@Sum[f[i, 4, x], {i, 4}], {x, 0, 16}, PlotStyle -> Red]}
Wolfram Research (2004)，PiecewiseExpand，Wolfram 语言函数，https://reference.wolfram.com/language/ref/PiecewiseExpand.html.

文本

Wolfram Research (2004)，PiecewiseExpand，Wolfram 语言函数，https://reference.wolfram.com/language/ref/PiecewiseExpand.html.

CMS

Wolfram 语言. 2004. "PiecewiseExpand." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/PiecewiseExpand.html.

APA

Wolfram 语言. (2004). PiecewiseExpand. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/PiecewiseExpand.html 年

BibTeX

@misc{reference.wolfram_2026_piecewiseexpand, author="Wolfram Research", title="{PiecewiseExpand}", year="2004", howpublished="\url{https://reference.wolfram.com/language/ref/PiecewiseExpand.html}", note=[Accessed: 03-November-2026]}

BibLaTeX

@online{reference.wolfram_2026_piecewiseexpand, organization={Wolfram Research}, title={PiecewiseExpand}, year={2004}, url={https://reference.wolfram.com/language/ref/PiecewiseExpand.html}, note=[Accessed: 03-November-2026]}