FactorialPower[x,n]
階乗ベキ
を与える.
FactorialPower[x,n,h]
の階乗ベキをステップ h で与える.
FactorialPower
FactorialPower[x,n]
階乗ベキ
を与える.
FactorialPower[x,n,h]
の階乗ベキをステップ h で与える.
詳細
- 記号操作・数値操作の両方に適した数学関数である.
- 整数 n に対し,
は
で与えられ,
は
で与えられる.
は任意の n に対して
で与えられる.
は
で与えられ,
は
で与えられる.- FactorialPower[x,n]は x と n が数のときにのみ自動的に評価される.
- FunctionExpandは常にFactorialPowerを多項式かガンマ関数の組合せに変換する.
- FactorialPowerはIntervalオブジェクトおよびCenteredIntervalオブジェクトに使うことができる. »
例題
すべて開く すべて閉じる例 (6)
FactorialPower[10, 2]FactorialPowerは自動的には展開しない:
FactorialPower[x, 8]FunctionExpandを使って展開する:
FunctionExpand[%]Plot[FactorialPower[x, 3], {x, -3, 4}]ComplexPlot3D[FactorialPower[z ^ 2, 5], {z, -2 - 2I, 2 + 2I}, PlotLegends -> Automatic]Series[FactorialPower[x, 5], {x, 0, 5}]//FullSimplifyInfinityにおける級数展開:
Series[FactorialPower[x, 5], {x, ∞, 6}]//FullSimplifyスコープ (35)
数値評価 (7)
FactorialPower[2, .9]FactorialPower[4, 2]N[FactorialPower[1 / 3, 7, 3], 50]FactorialPower[0.100000000000000000, 7, 3]FactorialPower[1 + I, I, 3.]FactorialPower[1 / 3, 7, 3`100]//TimingFactorialPower[2`1000, 1 / 5, 1 / 3];//TimingFactorialPowerは要素単位でリストに縫い込まれる:
FactorialPower[4, {1, 2, 3, 4, 5}]IntervalオブジェクトとCenteredIntervalオブジェクトを使って最悪の場合に保証される区間を計算する:
FactorialPower[0.3, 0.4, Interval[{0.5, 0.6}]]FactorialPower[1 / 2, 1 / 3, CenteredInterval[1 / 5, 1 / 1000]]Aroundを使って平均的な場合の統計区間を計算することもできる:
FactorialPower[Around[2, 0.01], 2]FactorialPower[{{1, 2}, {3, 4}}, 2]MatrixFunctionを使って行列のFactorialPower関数を計算することもできる:
MatrixFunction[FactorialPower[#, .2]&, {{1, 2}, {3, 4}}]特定の値 (6)
固定点におけるFactorialPowerの値:
Table[FactorialPower[x, 2], {x, 1, 5}]n の整数値について多項式表現FactorialPower[x,n]を得る:
FactorialPower[x, 4]//FunctionExpand刻み幅が
のとき,FactorialPower[x,n,h]は昇階乗ベキを与える:
FunctionExpand[FactorialPower[x, 5, -1]]これはPochhammerに等しい:
Pochhammer[x, 5]x の固定値についてFactorialPower[x,n]を展開する:
FactorialPower[(3/2), n]//FunctionExpandTable[FactorialPower[(3/2), n, h], {h, 0, 3}]//FunctionExpandFactorialPower[n, 0]FullSimplify[FactorialPower[0, n], n∈PositiveIntegers]//QuietFactorialPower[x,1/7]=1.2となるような x の値を求める:
xval = x /. FindRoot[FactorialPower[ x , 1 / 7] == 1.2, {x, 3}]Plot[FactorialPower[x, 1 / 7], {x, 0, 10}, Epilog -> Style[Point[{xval, FactorialPower[xval, 1 / 7]}], PointSize[Large], Red]]可視化 (3)
FactorialPower関数をさまざまな次数でプロットする:
Plot[{FactorialPower[x, 1], FactorialPower[x, 2], FactorialPower[x, 3], FactorialPower[x, 4]}, {x, -3, 3}]FactorialPowerをパラメータ
の関数としてプロットする:
Plot[{FactorialPower[1 / 2, n], FactorialPower[1, n], FactorialPower[3 / 2, n], FactorialPower[2, n]}, {n, -4, 4}, PlotLegends -> "Expressions"]ComplexContourPlot[Re[FactorialPower[z, 5]], {z, -1 - 2I, 1 + 2 I}, Contours -> 20]ComplexContourPlot[Im[FactorialPower[z, 5]], {z, -1 - 2I, 1 + 2 I}, Contours -> 20]関数の特性 (10)
FunctionDomain[FactorialPower[x, y], {x, y}]FunctionDomain[FactorialPower[w, z], {w, z}, Complexes]n のさまざまな固定値についてのFactorialPower[x,n]の関数領域:
Table[FunctionRange[FactorialPower[x, n], x, y], {n, {0, 1 / 2, 1, 2}}]FunctionAnalytic[FactorialPower[x, 3], x]FunctionMonotonicity[FactorialPower[x, 3], x]FunctionInjective[FactorialPower[x, 3], x]Plot[{FactorialPower[x, 3], .2}, {x, -1, 3}]FunctionSurjective[FactorialPower[x, 3], x]Plot[{FactorialPower[x, 3], 10}, {x, -5, 5}]FactorialPowerは非負でも非正でもない:
FunctionSign[FactorialPower[x, 1], x]FunctionSingularities[FactorialPower[x, y], {x, y}]FunctionDiscontinuities[FactorialPower[x, y], {x, y}]FunctionConvexity[FactorialPower[x, 3], x]TraditionalFormによる表示:
FactorialPower[x, n]//TraditionalFormFactorialPower[x, n, h]//TraditionalForm微分 (3)
D[FactorialPower[x, n], x]D[FactorialPower[x, n], n]Table[D[FactorialPower[x, n], {x, k}], {k, 1, 3}]//FullSimplifyPlot[Evaluate[% /. n -> 1 / 2], {x, -3, 0}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative"}]級数展開 (4)
Seriesを使ってテイラー(Taylor)展開を求める:
Series[FactorialPower[x, n], {x, 0, 2}]//Normal// FullSimplifyfuncAndSeries = Prepend[Table[Series[FactorialPower[x, 3], {x, 0, m}], {m, 1, 2}], FactorialPower[x, 3]]//Normal;
Plot[funcAndSeries, {x, -10, 10}]Series[FactorialPower[x, n], {x, x0, 2}]//Normal// FullSimplifySeries[FactorialPower[x, 4], {x, -1, 3}]FactorialPowerはベキ級数に適用できる:
FactorialPower[x + O[x] ^ 5, 10]アプリケーション (4)
異なる要素の長さ n のリストの長さ r の順列の数は,FactorialPower[n,r]によって与えられる:
Length[Permutations[Range[5], {3}]]FactorialPower[5, 3]FactorialPower[10, 3]Count[Tuples[Range[10], {3}], x_ /; DeleteDuplicates[x] === x]ニュートン(Newton)の前進差分公式[MathWorld]を使って関数を近似する:
delta[k_, x_] = DifferenceDelta[Sin[x], {x, k}]approx[a_] = Sum[(FactorialPower[a, k]/k!)delta[k, 0], {k, 0, 10}];Plot[{Sin[a], approx[a]}, {a, -Pi / 2, Pi / 2}]Table[NorlundB[n, n], {n, 10}]Table[Integrate[FactorialPower[x - 1, n], {x, 0, 1}], {n, 10}]//FunctionExpand特性と関係 (11)
FactorialPowerのSumに対する関係はPowerのIntegrateに対する関係に等しい:
Sum[FactorialPower[x, 5], x]Integrate[x ^ 5, x]FactorialPowerは
を満足する:
DifferenceDelta[FactorialPower[x, n], x]これで,FactorialPowerはPowerに類似していることになり,Dとの関係が決まる:
D[x ^ n, x]FactorialPowerは常にガンマ関数の比で表すことができる:
FunctionExpand[FactorialPower[x, n]]FunctionExpand[Pochhammer[x - n + 1, n]]FactorialPower[x,n]は
に等しい:
FullSimplify[FactorialPower[x, n] == n!Binomial[x, n]]FactorialPower[x,x]は x!と等価である:
FunctionExpand[FactorialPower[x, x]]FunctionExpand[x!]Pochhammerは単一のFactorialPower式で表すことができる:
Pochhammer[a, n] == FactorialPower[a + n - 1, n]//FullSimplifyFullSimplify[Pochhammer[x, k] == FactorialPower[x, k, -1]//FunctionExpand, k∈ℤ]FactorialPower[x, 5, -1]//FunctionExpand最初のいくつかのケースについて,PochhammerによるFactorialPowerの展開を検証する:
Table[FactorialPower[x, n] == Underoverscript[∑, k = 0, n](-1)^n - k(n!/k!)Binomial[n - 1, k - 1]Pochhammer[x, k]//FunctionExpand//Simplify, {n, 0, 9}]FactorialPowerはDifferenceRootとして表すことができる:
DifferenceRootReduce[FactorialPower[k, z], k]DifferenceRootReduce[FactorialPower[z, k], k]FactorialPowerの母関数:
GeneratingFunction[FactorialPower[n, k], n, x]FactorialPowerの指数母関数:
ExponentialGeneratingFunction[FactorialPower[n, k], n, x]考えられる問題 (2)
一般に,PowerはFactorialPowerの
のときの極限として復元される:
Series[FactorialPower[x, a, h], {h, 0, 1}]しかし,
が負の実軸上にあればこれは真ではないかもしれない:
N[FactorialPower[-1 / 3, 1 + I, 10^-7], 20]N[(-1 / 3)^1 + I, 20]原点付近の一般的な級数展開は整数点では定義されないことがある:
Series[FactorialPower[x, n], {x, 0, 2}]Quiet[% /. n -> 2]Assuming[Element[n, Integers] && n > 0, Series[FactorialPower[x, n], {x, 0, 2}]]% /. n -> 2Series[FactorialPower[x, 2], {x, 0, 2}]関連するガイド
-
▪
- 組合せ関数 ▪
- 離散微積分 ▪
- 再帰関数と総和関数 ▪
- ガンマ関数と関連関数
関連リンク
テキスト
Wolfram Research (2008), FactorialPower, Wolfram言語関数, https://reference.wolfram.com/language/ref/FactorialPower.html.
CMS
Wolfram Language. 2008. "FactorialPower." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/FactorialPower.html.
APA
Wolfram Language. (2008). FactorialPower. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/FactorialPower.html
BibTeX
@misc{reference.wolfram_2026_factorialpower, author="Wolfram Research", title="{FactorialPower}", year="2008", howpublished="\url{https://reference.wolfram.com/language/ref/FactorialPower.html}", note=[Accessed: 16-September-2026]}
BibLaTeX
@online{reference.wolfram_2026_factorialpower, organization={Wolfram Research}, title={FactorialPower}, year={2008}, url={https://reference.wolfram.com/language/ref/FactorialPower.html}, note=[Accessed: 16-September-2026]}