DifferentialRootReduce[expr,x]
expr を x の関数として単一のDifferentialRootオブジェクトにしようと試みる.
DifferentialRootReduce[expr,{x,x0}]
x=x0で初期条件が指定されるものとする.
DifferentialRootReduce
DifferentialRootReduce[expr,x]
expr を x の関数として単一のDifferentialRootオブジェクトにしようと試みる.
DifferentialRootReduce[expr,{x,x0}]
x=x0で初期条件が指定されるものとする.
詳細とオプション
- DifferentialRootReduceは任意の式をDifferentialRootオブジェクトとして表そうとする.
- DifferentialRootReduce[expr,x]は,expr のDifferentialRootオブジェクトがゼロ関数と等しい場合は常に厳密な
を返す. - DifferentialRootReduceはリストだけでなく方程式や不等式にも自動的に縫い込まれる.
- DifferentialRootReduce[f]は純関数や純粋なDifferentialRootオブジェクトに作用する.
- DifferentialRootReduceは以下のオプションを取る.
-
Assumptions $Assumptions パラメータについての仮定 Method Automatic 使用するメソッド
例題
すべて開く すべて閉じる例 (1)
ベッセル(Bessel)関数をDifferentialRootに簡約する:
DifferentialRootReduce[BesselJ[1, x], x]Plot[%, {x, 0, 10}]スコープ (9)
DifferentialRootReduce[x ^ 2 + 1, x]DifferentialRootReduce[(x + 1) / (x - 1), x]DifferentialRootReduce[Sqrt[x^2 + x - 1], x]DifferentialRootReduce[Sin[#] + Cos[#]&]Plot[DifferentialRoot[Function[{, }, {[] + Derivative[2][][] == 0, [0] == 1,
Derivative[1][][0] == 1}]][x], {x, -2π, 2π}]DifferentialRootReduce[Cos[x] + Log[x], x]DifferentialRootReduce[Cos[x]Log[x], x]DifferentialRootReduce[Cos[x]^2 - Exp[x] / (x + 1), x]DifferentialRootReduceは自動的にリストに縫い込まれる:
DifferentialRootReduce[{Cos[x], Sin[x]}, x]root1 = DifferentialRootReduce[Sqrt[z], z]Cases[root1, [_ ? NumericQ] == _, -1, Heads -> True]負の実軸上に分枝切断線が存在するため,右半平面において表現が有効となる:
Table[{z, root1}, {z, {1. + I, 1. - I, -1. - I, -1. + I}}]//TableForm初期条件を
で指定するようにDifferentialRootReduceに指示する:
root2 = DifferentialRootReduce[Sqrt[z], {z, I}]root2は上半平面で有効であり,両方が定義される第一象限でroot1と一致する:
Table[{z, root2}, {z, {1. + I, 1. - I, -1. - I, -1. + I}}]//TableForm初期条件を
で指定するようにDifferentialRootReduceに指示する:
root3 = DifferentialRootReduce[Sqrt[z], {z, -I}]Table[{z, root3}, {z, {1. + I, 1. - I, -1. - I, -1. + I}}]//TableFormオプション (2)
Assumptions (1)
DifferentialRootReduceは,複素解析関数の分枝切断構造に敏感である:
expr = x^1 / 2 x^1 / 2;
DifferentialRootReduce[expr, x]定義域および分枝の範囲を指定すると,DifferentialRootの表現は異なるものになる:
DifferentialRootReduce[expr, x, Assumptions -> x < 0]Method (1)
DifferentialRootReduceは非同次方程式を返すことがある:
DifferentialRootReduce[Exp[x] + x, x]オプションMethod->"Homogeneous"を使って同次方程式を得る:
DifferentialRootReduce[Exp[x] + x, x, Method -> "Homogeneous"]アプリケーション (3)
DifferentialRootReduceを使って,初等関数についての初期値を含む微分方程式を生成する:
DifferentialRootReduce[{Exp[x], Log[x], Sqrt[x], ArcTanh[x], Sinh[x]}, x]DifferentialRootReduceを使って,特殊関数についての初期値を含む微分方程式を生成する:
DifferentialRootReduce[{LegendreQ[n, x], SphericalBesselJ[n, x], Hypergeometric2F1[a, b, c, x], Erfi[x], AiryAiPrime[x]}, x]DifferentialRootReduceを使って,異なる関数の組合せに従う微分方程式を生成する:
DifferentialRootReduce[{Exp[x] + 2Log[a x], (4Sin[x^12]/Sqrt[x]) }, x]テキスト
Wolfram Research (2008), DifferentialRootReduce, Wolfram言語関数, https://reference.wolfram.com/language/ref/DifferentialRootReduce.html (2020年に更新).
CMS
Wolfram Language. 2008. "DifferentialRootReduce." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2020. https://reference.wolfram.com/language/ref/DifferentialRootReduce.html.
APA
Wolfram Language. (2008). DifferentialRootReduce. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/DifferentialRootReduce.html
BibTeX
@misc{reference.wolfram_2026_differentialrootreduce, author="Wolfram Research", title="{DifferentialRootReduce}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/DifferentialRootReduce.html}", note=[Accessed: 14-September-2026]}
BibLaTeX
@online{reference.wolfram_2026_differentialrootreduce, organization={Wolfram Research}, title={DifferentialRootReduce}, year={2020}, url={https://reference.wolfram.com/language/ref/DifferentialRootReduce.html}, note=[Accessed: 14-September-2026]}