DifferentialRoot

DifferentialRoot[lde][x]

線形微分方程式 lde[h,x]で指定されるホロノミック関数 を与える.

DifferentialRoot[lde]

純粋なホロノミック関数 を表す.

詳細

  • 記号操作・数値操作の両方に適した数学関数である.ホロノミック関数あるいはD有限関数としても知られている.
  • DifferentialRoot関数で定義されるホロノミック関数 は,多項式係数 ,初期値 のホロノミック微分方程式 を満足する.
  • DifferentialRootは,他の数学関数と同じように使うことができる.
  • FunctionExpandは,特殊関数を使ってDifferentialRoot関数を変換しようと試みる.
  • DifferentialRootで表される関数には,多くの特殊関数が含まれる.
  • DifferentialRootReduceは,ほとんどの特殊関数をDifferentialRootに変換することができる.
  • ホロノミック関数は,以下を含む多くの操作の下で閉じている.
  • , 定数倍,整数乗
    , 和と積
    , , 多項式,有理数,代数関数との組合せ
    たたみ込み
    , 導関数と積分
  • DifferentialRootは,IntegrateDSolveGeneratingFunction等の関数によって,自動的に生成される.
  • IntegrateDSeriesCoefficientDSolve等の関数にはDifferentialRoot入力を使うことができる.
  • DifferentialRootは,任意の数値精度に評価することができる.
  • DifferentialRootは,自動的にリストに縫い込まれる.
  • DifferentialRoot[lde,pred]は,pred[z]で定義された(pred[z]は方程式と不等式を含むことができる)複素 平面上の分枝切断を避けるように限定された解を表す.

例題

すべて開くすべて閉じる

  (2)

fが正弦関数となるように定義する:

結果をプロットする:

任意精度で数値的に評価する:

結果を組込みのSin関数と比較する:

微分方程式を解く:

数値:

スコープ  (23)

数値評価  (7)

機械精度で評価する:

高精度で評価する:

出力精度は入力精度に従う:

DifferentialRootは複素数のパラメータと引数を取る:

DifferentialRootは非厳密値入力パラメータを取る:

DifferentialRootを高精度で効率的に評価する:

DifferentialRootは要素単位でリストと行列に縫い込まれる:

関数の特性  (5)

DifferentialRootオブジェクトは数学関数のすべての標準的な特徴を有している:

関数を積分する:

それを微分する:

その級数展開を求める:

実数上でプロットする:

複素平面上でプロットする:

サンプルの厳密値は自動的に生成される:

FunctionExpandを使ってDifferentialRootオブジェクトを組込みの数学関数に変換しようとする:

DifferentialRootは有理係数を持つ方程式に使うことができる:

不均一なホロノミック方程式は,自動的に高次の均一な方程式に変換される:

微分  (4)

DifferentialRootの導関数はDifferentialRoot関数である:

DifferentialRootオブジェクトをパラメータについて微分する:

DifferentialRootオブジェクトの高次導関数を計算する:

DifferentialRootオブジェクトを微分する:

の特定の値:

のプロット:

積分  (4)

DifferentialRootオブジェクトの積分はDifferentialRootオブジェクトである:

DifferentialRootオブジェクトの高次積分を計算する:

DifferentialRootオブジェクトの定積分を計算する:

DifferentialRootオブジェクトを積分する:

の特定の値:

のプロット:

級数展開  (3)

DifferentialRootオブジェクトの級数展開を計算する:

DifferentialRootオブジェクトのテイラー(Taylor)展開の 番目の係数を求める:

最初の9個の係数を計算する:

Sin関数の展開係数と比較する:

DifferentialRootオブジェクトのパラメータを使った級数展開を計算する:

一般化と拡張  (1)

ホロノミックな定数項を持つ方程式は自動的に多項式係数に上げられる:

アプリケーション  (4)

特殊関数からDifferentialRootオブジェクトを生成する:

積分する:

DifferentialRootオブジェクトは数学関数の標準的なあらゆる特徴を備えている:

DifferentialRootオブジェクトの級数展開の係数を求める:

展開の最初の5つの係数を明示的に計算する:

DifferentialRootオブジェクトの任意次数の導関数を計算する:

DifferentialRootオブジェクトを積分する:

f の積分である関数の微分方程式と初期条件を抽出する:

関数 f,その積分と導関数をプロットする:

DifferentialRootを使って微分方程式を同次にする:

同次方程式を抽出する:

2つの数学関数の組合せであるDifferentialRootオブジェクトを生成する:

この関数が従う微分方程式と初期条件を抽出する:

特性と関係  (5)

DifferentialRootReduceDifferentialRootオブジェクトを生成する:

DSolveは,解が既知の関数では得られない場合はDifferentialRootオブジェクトを生成する:

GeneratingFunctionDifferentialRootオブジェクトを生成することがある:

Integrateは,一般的なホロノミック関数に対してはDifferentialRootオブジェクトを返す:

Dは,一般的なホロノミック関数に対してはDifferentialRootオブジェクトを返す:

考えられる問題  (3)

DifferentialRootは多項式係数を持つ線形微分方程式だけを取る:

DifferentialRootは初期値が特異点で与えられている場合は評価できない:

組込み関数の分枝切断構造は自動計算された分枝切断構造とは異なることがある:

複素平面上の領域によっては,f の値が対応する組込み関数の値とは異なることがある:

その他の領域については,DifferentialRootは同じ結果を与える:

おもしろい例題  (1)

既知の数学関数では解けない微分方程式を解く:

この解の数値を計算する:

この解をプロットする:

この解を微分する:

Wolfram Research (2008), DifferentialRoot, Wolfram言語関数, https://reference.wolfram.com/language/ref/DifferentialRoot.html (2020年に更新).

テキスト

Wolfram Research (2008), DifferentialRoot, Wolfram言語関数, https://reference.wolfram.com/language/ref/DifferentialRoot.html (2020年に更新).

CMS

Wolfram Language. 2008. "DifferentialRoot." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2020. https://reference.wolfram.com/language/ref/DifferentialRoot.html.

APA

Wolfram Language. (2008). DifferentialRoot. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/DifferentialRoot.html

BibTeX

@misc{reference.wolfram_2024_differentialroot, author="Wolfram Research", title="{DifferentialRoot}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/DifferentialRoot.html}", note=[Accessed: 15-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_differentialroot, organization={Wolfram Research}, title={DifferentialRoot}, year={2020}, url={https://reference.wolfram.com/language/ref/DifferentialRoot.html}, note=[Accessed: 15-November-2024 ]}