DSolve

DSolve[eqn]

微分方程式 eqn を解く.

DSolve[eqn,u,x]

独立変数を x として,関数 u に関する微分方程式を解く.

DSolve[eqn,u,{x,xmin,xmax}]

微分方程式を x について xminから xmaxまで解く.

DSolve[{eqn1,eqn2,},{u1,u2,},]

微分方程式のリストを解く.

DSolve[eqn,u,{x1,x2,}]

偏微分方程式を解く.

DSolve[eqn,u,{x1,x2,}Ω]

領域 Ω 上で偏微分方程式 eqn を解く.

詳細とオプション

  • DSolveは,常微分方程式(ODE),偏微分方程式(PDE),微分代数方程式(DAE),遅延微分方程式(DDE),積分方程式,積分微分方程式,ハイブリッド微分方程式を解くことができる.
  • DSolveによって解くことができる方程式のクラスには次がある.
  • u'[x]f[x,u[x]]常微分方程式
    a xu[x,y]+b yu[x,y]f偏微分方程式
    f[u'[x],u[x],x]0微分代数方程式
    u'[x]f[x,u[x-x1]]遅延微分方程式
    u'[x]+k[x,t]u[t]tf積分微分方程式
    {,WhenEvent[cond,u[x]g]}ハイブリッド微分方程式
  • DSolveの出力形式は,従属関数 u または u[x]の形によって制御される.
  • DSolve[eqn,u,x]{{uf},}f は純関数である
    DSolve[eqn,u[x],x]{{u[x]f[x]},}f[x]x 中の式である
  • 純関数の場合,出力 eqn/.{{uf},}を使って解を確かめることができる. »
  • DSolve[eqn]の従属変数は eqn から推測され, u[x]として明示的に,あるいは自律方程式についての純関数 u として指定することもできる. »
  • DSolveは,Solveを介して陰的な解を与えることができる. »
  • DSolveが与える解は,明示的に実行できないInactiveな総和や積分を含んでいることがある.そのような場合には変数 K[1], K[2], が使われる.
  • 常微分方程式および微分代数方程式の境界条件は,u[x1]au'[x2]b 等の特定の点で方程式を与えることで指定することができる.
  • 偏微分方程式の境界条件は,方程式 u[x,y1]aDerivative[1,0][u][x,y1]b 等として,あるいはDirichletCondition[u[x,y]g[x,y],cond]として与えることができる.
  • 遅延微分方程式の初期条件は,履歴関数 g[x]として u[x/;x<x0]g[x]の形で与えることができる.
  • WhenEvent[event,action]を方程式 eqn に含ませて eventTrueになったときの動作 action を指定することができる.
  • 指定 uVectors[n]または uMatrices[{m,n}]を使って従属変数 u がそれぞれベクトル値あるいは行列値を持つ変数であると示すことができる. » »
  • 領域 Ω は,RegionQ[Ω]Trueになる任意のものでよい.
  • N[DSolve[]]は,記号的に解けない微分方程式については,NDSolveまたはParametricNDSolveを呼び出す.
  • 使用可能なオプション
  • Assumptions $Assumptionsパラメータについての仮定
    DiscreteVariables {}ハイブリッド方程式についての離散変数
    GeneratedParameters C生成されたパラメータにどのように命名するか
    Method Automatic使用するメソッド
    IncludeSingularSolutionsFalse特異解を含むかどうか
  • GeneratedParametersは生成されたパラメータの形式を制御する.常微分方程式および微分代数方程式については,この形式はデフォルトで定数C[n]であり,偏微分方程式については任意の関数C[n][]である. »

例題

すべて開くすべて閉じる

  (3)

微分方程式を解く:

従属変数を y[x]として指定する:

従属変数が y[x]の微分方程式を解く:

境界条件を含ませる:

yについての「純関数」の解を求める:

解を式に代入する:

スコープ  (117)

基本的な用法  (17)

一階微分方程式の一般解を計算する:

初期条件を加えることで,特殊解を得る:

微分方程式の一般解をプロットする:

任意の定数C[1]の異なる2つの値について解の曲線をプロットする:

1引数指定を使って一次微分方程式を解く:

境界値問題の解をプロットする:

1引数指定を使って境界値問題を解く:

第2引数として y を使うことで,一階微分方程式の階を確かめる:

高階微分方程式の一般解を得る:

特殊解を得る:

微分方程式系を解く:

解をプロットする:

解を確かめる証明する:

微分代数方程式系を解く:

1引数指定を使って微分方程式系を解く:

偏微分方程式を解く:

特殊解を得る:

解をプロットする:

1引数指定を使って偏微分方程式を解く:

一般解で,任意定数に異なる名前を使う:

遅延微分方程式を解く:

パラメータの異なる値について解をプロットする:

ハイブリッド微分方程式を解く:

この系は跳ねるボールをモデル化している:

記号解が得られない場合は,N[DSolve[...]]を適用してNDSolveを呼び出す:

数量を含む常微分方程式の一般解を求める:

初期値問題を解く:

線形微分方程式  (6)

指数方程式:

非同次一階方程式:

境界値問題を解く:

解をプロットする:

定数係数を持つ二階方程式:

コーシー・オイラー(Cauchy-Euler)方程式:

変数係数を持ち,初等関数によって解かれた二階方程式:

エアリー(Airy)方程式:

回転楕円体方程式:

非有理数の係数を持つ方程式:

より高階の方程式:

超幾何関数による解:

ケルビン(Kelvin)関数によって解かれた四階方程式:

q-有理係数がある線形方程式:

定数係数があるより高次の非同次方程式:

非線形微分方程式  (6)

リッカティ(Riccati)方程式を解く:

アーベル(Abel)方程式の陰的な解:

同次方程式:

WeierstrassPについての解:

双曲線方程式についての解:

非線形境界値問題を解く:

微分方程式系  (8)

対角線形系:

定数係数を持つ非同次線形系:

関数の有理係数がある線形系:

非線形系:

ベクトル変数を使って線形常微分方程式系を解く:

行列変数を使って4つの常微分方程式の線形系を解く:

解をプロットする:

定数係数を持つ非同次線形常微分方程式系を解く:

線形と非線形の連立常微分方程式を解く:

微分代数方程式  (3)

線形微分代数方程式系を解く:

境界値問題を解く:

指標2の微分代数方程式:

遅延微分方程式  (2)

遅延微分方程式を解く:

パラメータaのさまざまな値についての解をプロットする:

遅延微分方程式系を解く:

パラメータaのさまざまな値についての解をプロットする:

区分微分方程式  (4)

区分強制関数を使う:

区分係数を持つ微分方程式:

非線形区分定義微分方程式:

一般化された関数を含む微分方程式:

単純なインパルス応答,またはグリーン(Green)関数:

区間{0,1}上で区分微分方程式を解く:

他の区間上の解:

ハイブリッド微分方程式  (8)

時間依存事象がある一階微分方程式を解く:

解をプロットする:

時間依存事象を含む二階微分方程式を解く:

解をプロットする:

状態依存事象を含む微分方程式系を解く:

y についての解をプロットする:

事象が発生したときに積分を中止する:

事象を,1度発生した後で削除する:

変数が事象間で値を保持するように指定する:

各事象について異なる動作を規定する:

動作が等しいいくつかの事象:

Sturm-Liouville問題  (6)

ディリクレ条件のある固有値問題を解く:

最初の5つの固有関数の表を作る:

固有関数をプロットする:

ノイマン条件のある固有値問題を解く:

最初の5つの固有関数の表を作る:

固有関数をプロットする:

混合境界条件がある固有値問題を解く:

最初の5つの固有関数の表を作る:

固有関数をプロットする:

区間の左端にロビン条件がある固有値問題を解く:

10<λ<80の範囲で超越固有値方程式の根を求める:

Assumptionsを使ってこの範囲内で固有関数を求める:

両端にロビン条件がある固有値問題を解く:

エアリー(Airy)演算子について固有値問題を解く:

この問題についての固有値:

この問題についての固有関数は以下で与えられる:

1<λ<200の範囲で固有関数をプロットする:

積分方程式  (6)

ヴォルテラ(Volterra)積分方程式を解く:

解をプロットする:

フレドホルム(Fredholm)積分方程式を解く:

解をプロットする:

積分微分方程式を解く:

一般解を得る:

初期条件を指定して特殊解を得る:

解をプロットする:

特異アーベル積分方程式を解く:

解をプロットする:

弱特異ヴォルテラ積分方程式を解く:

解をプロットする:

第2種同次フレドホルム方程式を解く:

解をプロットする:

一階偏微分方程式  (7)

線形一階偏微分方程式についての一般解:

任意の関数C[1]についての特定の選択による解:

線形一階偏微分方程式についての初期値問題:

線形一階偏微分方程式についての初期境界値問題:

輸送方程式についての一般解:

初期値問題:

速度 c1の進行波をプロットする:

準線形一階偏微分方程式の一般解:

スカラー保存則についての初期値問題:

非線形一階クロレー(Clairaut)方程式についての完全積分:

ハイブリッド偏微分方程式  (11)

波動方程式についての初期値問題:

波動は特定の方向のペアに沿って伝播される:

区分初期データがある波動方程式についての初期値問題:

不連続な初期データは特定の方向に沿って伝播される:

初期データとして減衰指数関数のペアがある初期値問題:

解を可視化する:

非同次波動方程式の初期値問題:

m のさまざまな値についての解を可視化する:

半直線上にディリクレ条件がある波動方程式についての初期値問題:

解を可視化する:

波は初期データから始めて二股に分かれる:

半直線上にノイマン条件がある波動方程式についての初期値問題:

解を可視化する:

この例では,波は振動していない方程式に進化する:

有限区間における波動方程式についてのディリクレ問題:

解は無限三角級数である:

Inactive和から最初の3項を抽出する:

波は垂直方向に周期的動きを示す:

長方形内の波動方程式についてのディリクレ問題:

解は二重無限三角級数である:

Inactive和からいくつかの項を抽出する:

二次元波は垂直方向に周期的動きをする:

円板内の波動方程式についてのディリクレ問題:

解は無限ベッセル(Bessel)級数である:

Inactive和から最初の3項を抽出する:

二階双曲線偏微分方程式についての一般解:

無理係数がある双曲線偏微分方程式:

定数係数がある非同次双曲線偏微分方程式:

定数係数がある非同次線形双曲線系についての初期値問題:

放物線偏微分方程式  (7)

熱伝導方程式についての初期値問題:

時間の経過につれて熱が拡散する様子を可視化する:

区分的初期データがある熱伝導方程式についての初期値問題:

解は誤差関数Erfによって与えられる:

初期データにおける不連続性は即座に平滑化される:

非同次熱伝導方程式についての初期値問題:

パラメータ m のさまざまな値についての解の増大を可視化する:

有限区間内の熱伝導方程式についてのディリクレ問題:

解はフーリエ(Fourier)正弦級数である:

Inactive和から3項を抽出する:

有限区間内の熱伝導方程式についてのノイマン問題:

解はフーリエ余弦級数である:

Inactive和から数項抽出する:

に近付くにつれ,解はに近付く:

解が定常状態に向けて進化する様子を可視化する:

円板内の熱伝導方程式についてのディリクレ問題:

解は無限ベッセル級数である:

Inactive和から数項抽出する:

t=0.1における解の個別の項を可視化する:

ブラックショールズ(BlackScholes)方程式についての境界値問題:

楕円偏微分方程式  (9)

上半平面内のラプラス方程式についてのディリクレ問題:

境界データ内の不連続性は平滑化される:

右半平面上のラプラス方程式についてのディリクレ問題:

解を可視化する:

第1象限におけるラプラス方程式についてのディリクレ問題:

解を可視化する:

上半平面におけるラプラス方程式についてのノイマン問題:

解を可視化する:

長方形内のラプラス方程式についてのディリクレ問題:

解は無限三角級数である:

Inactive和から数項を抽出する:

解を可視化する:

円板内のラプラス方程式についてのディリクレ問題:

解を可視化する:

環内のラプラス方程式についてのディリクレ問題:

解を可視化する:

長方形内のポアソン(Poisson)方程式についてのディリクレ問題:

長方形内のヘルムホルツ(Helmholtz)方程式についてのディリクレ問題:

Inactive和から有限個の項を抽出する:

近似解を可視化する:

一般的な偏微分方程式  (6)

ディリクレ境界条件がある,ポテンシャルのないシュレディンガー方程式:

解から最初の4項を抽出する:

4つの定数C[k]をどのように選んでも,ψ は方程式と境界条件に従う:

ディリクレ境界条件があるシュレディンガー方程式についての初期値問題:

解の部分和の族を定義する:

ukは各 k について微分方程式を満足する:

境界条件もまた満足される:

初期条件は uについてのみ満足されるが,t==2で急速な収束が見られる:

ポテンシャルのあるシュレディンガー方程式を実数上で解く:

解の最初の2項を抽出する:

方程式は定数C[0]およびC[1]の任意の値について満足される:

無限における条件もまた満足される:

この関数は時間依存であるが,その ノルムは一定である:

粘度 ν のバーガース(Burgers)の方程式についての初期値問題:

ν=1/40について,さまざまな時点の解をプロットする:

ν のさまざまな値について解をプロットする:


トリコミ(Tricomi)の方程式についての境界値問題:

解を可視化する:

Kortewegde Vries(KdV)方程式についての進行波解:

任意の定数の固定選択について特殊解を得る:

波は形を変えずに右に進む:

領域上の偏微分方程式  (3)

長方形内のラプラス方程式についてのディリクレ問題:

Inactive和から最初の100項を抽出する:

解を長方形上に可視化する:

円板内のラプラス方程式についてのディリクレ問題:

解を円板内に可視化する:

右半平面上のラプラス方程式についてのディリクレ問題:

解を半平面で可視化する:

非整数階微分方程式  (8)

1/2階の非整数階微分方程式を解く:

解を確かめる:

初期条件を加える:

解をプロットする:

0.7階のCaputoDを含む非整数階微分方程式を解く:

解を確かめる:

初期条件を加え,解をプロットする:

階数が異なる2つのCaputo導関数を含む非整数階微分方程式を解く:

解をプロットする:

1/7階の非同次非整数階微分方程式を解く:

解を確かめる:

2つの非整数階微分方程式の系を解く:

解を確かめる:

解をパラメトリックにプロットする:

ベクトル形式の2つの非整数階常微分方程式の系を解く:

解をプロットする:

解をパラメトリックにプロットする:

ベクトル形式の3つの非整数階微分方程式の系を解く:

解をプロットする:

非整数階波動方程式を解く:

解をプロットする:

一般化と拡張  (1)

境界条件なし,生成された2つのパラメータを与える:

境界条件が1つ:

境界条件が2つ:

オプション  (7)

Assumptions  (2)

線形二階微分方程式についての固有値問題を解く:

Assumptionsを使ってパラメータ λ の範囲を指定する:

独立変数 x が実数であると指定する:

x についての区間指定を使って同じ結果を得る:

DiscreteVariables  (1)

変数が事象間で値を保持するように指定する:

GeneratedParameters  (2)

異なる名前が付いた定数を使う:

下付き文字が付いた定数を使う:

一意的な名前が付いた積分定数を生成する:

積分定数はDSolveを起動し直しても一意的である:

Method  (1)

線形常微分方程式を解く:

DifferentialRootについて解を得る:

SingularSolutions  (1)

デフォルトで,DSolveは次の常微分方程式について一般解を返す:

IncludeSingularSolutionsを使って一般解とともに特異解も計算する:

アプリケーション  (36)

常微分方程式  (12)

ロジスティック(リッカティ)方程式を解く:

さまざまな初期値についての解をプロットする:

線形振子方程式を解く:

線形減衰振子の変位:

動的システムの相図を調べる:

厳密解が分かっている場合のベキ級数解を求める:

y=0y=1がロジスティック方程式の均衡解であることを証明する:

バネによって壁に固定された稼働中のコンベヤーベルト上のブロックをモデル化する.ブロックの体積,ベルトの速度,摩擦係数等,系のさまざまなパラメータの値について,その位置と速度を比較する:

このブロックについてのニュートンの方程式:

位置と速度について解く:

ブロックはバネの自然長 l の少し上で安定する:

接続に関するキルヒッホフ(Kirchhoff)の法則に加えて構成成分の諸法則を使って,時間 で適用される電圧 のステップインパルスに対するRLC回路の応答のシミュレーションを行う:

構成成分の法則には とある:

ステップ応答のシミュレーションを行う:

のさまざまな値についての応答を可視化する:

水がパイプを通って1つのタンクから別のタンクに流れるときの,2つの円筒形タンクの水位の変化をモデル化する:

圧力関係 と質量保存を使う:

HagenPoiseuille関係を使ってパイプの中のフローをモデル化する:

系のシミュレーションを行う:

パラメータの特定の値についての解を可視化する:

1.9階の非整数階調和振動子の方程式を解く:

解をプロットする:

非整数階調和振動子は減衰調和振動子のように動作する:

調和振動子についてのデータを減衰振動子の解にフィットして減衰係数 の対応する値を判定する:

結果を比較する:

非整数階LC電気回路の方程式を解く:

について古典的な解が求まる:

についてLC回路方程式を解く:

階方程式のさまざまな値についての解をプロットする:

非整数階RC電気回路方程式を解く:

について古典的な解が求まる:

についてRC回路方程式を解く:

階方程式のさまざまな値について解をプロットする:

ハイブリッド微分方程式  (8)

一定の時間間隔でキックされる減衰振動子をモデル化する:

正弦波を是正する:

バウンドしながら階段を落ちていくボールをモデル化する:

正方形の箱の中で,側壁にあたるたびに方向を変えるボールをモデル化する:

離散時間制御器 で安定された系 のシミュレーションを行う:

シミュレーションを行い,可視化する:

離散時間デッドビート制御器を使って二重積分器を制御する:

デッドビートデジタルフィードバック制御器 を使う:

シミュレーションを行い,可視化する:

質量1kgの移動する物体の位置をモデル化する:

サンプルの比例微分制御器を使って,位置を一定に保つ:

シミュレーションを行い,可視化する:

物理変数aが負になるたびに,これを0にする:

遅延微分方程式  (2)

遅延微分方程式によって支配されている動的な系における,カオスの発現を調べる:

遅延線形微分方程式の解の安定性を調べる:

積分方程式  (4)

等時曲線問題では,ビーズ玉が,どこに置かれたものであれ,同じ時間で最下点まで落ちる下降曲線を求める必要がある.合計の下降時間を曲線の弧長と速度 v によって表すとアーベルの積分方程式 が与えられる.未知の関数 を関係 によって定義し,エネルギー方程式 の変換を使うと明示的な方程式が与えられる:

DSolveを使って積分方程式を解く:

関係 を使って について解く:

積分が実数値であるという仮定のもとに曲線を原点から始めて積分すると, の関数としての が与えられる:

の値を代入し,ParametricPlotを使って最大等時曲線を表示する:

変数 を変更すると, の範囲での曲線の単純で特異ではないパラメータ化が与えられる:

エネルギーの保存方程式とチェーン規則を組み合せると, の関数としての について次の微分方程式が得られる:

この方程式は異なる始点について数値的に解くことができる:

解をプロットするとすべてが2秒で最下点 に達することが分かる:

等時曲線に沿った動きを可視化する:

3gの質量が付けられたバネ質量系は3dynes/cmのバネ定数と2g/sの減衰係数を持つ.で質量が下方に押され,速度28cm/sで下向きに放たれる.TemplateBox[{{50,  , {cos, (, {2,  , t}, )}}, "dynes", dynes, "Dynes"}, QuantityTF]の力が質量に対して下向きにかかる.系の速度を時間の関数として求める.速度についての積分方程式は以下で与えられる:

速度の初期値:

DSolveを使って積分微分方程式を解く:

速度を時間の関数としてプロットする:

物理的なバネ質量系の動きを可視化する:

あるLRC回路の電源が v(t)=TemplateBox[{{2,  , {cos, (, t, )}}, "V", volts, "Volts"}, QuantityTF]で与えられる.回路の抵抗は0.2,インダクタンスは

,キャパシタンスは
である.抵抗器中の電流は最初は
である.電流を時間の関数として求める:

電流についての積分方程式は以下で与えられる:

電流の初期値:

DSolveを使って積分微分方程式を解く:

電流を時間の関数としてプロットする:

線形ヴォルテラ積分方程式は線形微分方程式の初期値問題に等しい.この関係を次のヴォルテラ方程式について確かめる:

DSolveを使って積分方程式を解く:

対応する微分方程式を設定する:

微分方程式が2次なので,2つの初期条件を加える:

初期値問題の解は積分方程式の解と一致する:

解をプロットする:

従来の偏微分方程式  (5)

波動方程式を使って,固定長(例えば π)の紐の振動をモデル化する:

紐の両端は振動中も固定されていると指定する:

振動の基本モードと,より高度の調和モードを得る:

これらのモードについて,紐の振動を可視化する:

一般に,この解は無限の調和からなっている:

Inactive和から4項を抽出する:

紐の振動を可視化する:

2Dで波動方程式を使って半径1の円形皮膜の振動をモデル化する:

皮膜の境界は固定されているように指定する:

この問題の初期条件:

ベッセル関数による解を得る:

Inactive和から項を抽出する:

紐の振動を可視化する:

熱伝導方程式を使って,長さ1の棒の中の熱の流れをモデル化する:

棒の両端に固定温度を指定する:

初期条件を指定する:

これらの条件に従って熱伝導方程式を解く:

Inactive和から数項を抽出する:

温度が定常状態に進化する様子を可視化する:

定常状態の解 v[x]を得る.これは,時間に依存しない:

定常状態の解は x の線形関数である:

両端を覆われている長さ1の棒の中の熱の流れをモデル化する:

棒の端からは熱が漏れないと指定する:

初期条件を指定する:

これらの条件に従って熱伝導方程式を解く:

Inactive和から数項を抽出する:

温度が定常状態値の60°に進化する様子を可視化する:

軸上の実部と虚部の値から始めて複素解析関数を構築する.実部と虚部(uv)はコーシー・リーマン(CauchyRiemann)方程式を満足する:

uv の値を 軸上に指定する:

コーシー・リーマン方程式を解く:

解が調和関数であることを確かめる:

解によって生成された流線と等位を可視化する:

この解から解析関数を構築する:

これは,関数 を表す:

一般的な偏微分方程式  (5)

粘度パラメータが無限に小さくなる場合の,極限におけるバーガース方程式の平滑化解の衝撃波への進化を見る:

解は ϵ の任意の正の値について平滑である:

解は ϵ0に近付く極限において衝撃波を生ずる:

長さ d の一次元の箱の中で動くように条件付けられた電子は,端点にディリクレ条件がある自由シュレディンガー方程式に支配されている:

この方程式の一般解は三角指数項の和である:

和の中の各項は,正弦を初期状態として使うと確率密度定 rho=TemplateBox[{psi}, Conjugate]psi が時間依存になるので,常状態と呼ばれる.例えば,以下のようになる:

結果の確率分布は時間非依存である:

初期データの正規化は,密度の積分(どこかに粒子を発見する全確率)が1になるように選択される:

上記以外の初期条件を使うと,たとえ2つの定常状態の和のように単純なものでも,結果として複雑な時間依存密度になる:

t が第2および第3余弦にあるので,密度は定常ではない:

確率密度は時間依存であるが,その積分はなお定数の1になる:

電子質量と の値をSI単位で入れ,d をよく使われる原子間距離の1nmに設定すると,次の密度関数になる:

空間領域上の時間のある1点で関数を可視化する:

グラフを確率密度の動画として見ると,電子の「中心」が箱の片側からもう片側に動くのが分かる:

ブラック・ショールズモデルを使って,もとになっている資産価格と行使価格の両方が100ドル,安全金利5%,もとになっている資産価格のボラティリティが20%,満期1年の場合の,ヨーロッパバニラオプションの値を求める:

境界値問題を解く:

ヨーロッパバニラオプションの値を計算する:

FinancialDerivativeで与えられた値と比較する:

関数を,その勾配ベクトルから回復する:

この解は平行曲面の族を表す:

コーシー問題を解き,スターリング数(Stirling)を生成する:

母関数を使ってスターリング数を得る:

特性と関係  (10)

解は微分方程式と境界条件を満足する:

Integrateに相当する微分方程式:

NDSolveを使って数値解を求める:

DEigensystemを使って固有値と固有関数を求める:

完全な固有系を求める:

固有値と固有関数を求める:

DSolveを使ってインパルス応答を計算する:

InverseLaplaceTransformを使って同じ計算をする:

DSolveは,解の規則を返す:

DSolveValueは,解の式を返す:

記号界が得られない場合は,N[DSolve[...]]を適用してNDSolveを呼び出す:

長方形内でラプラス方程式を解く:

領域表記を用いて同じ結果を得る:

DFixedPointsを使って2つの常微分方程式の系の固定点を求める:

DStabilityConditionsを使って固定点の安定性を解析する:

固定点を初期条件として使って系を解く:

指定された初期条件で系を解く:

解をプロットする:

大きい階層的モデルの数値解に系のモデルを使用する:

最も重要な値をプロットする:

考えられる問題  (8)

結果には非アクティブな積分が含まれるかもしれない:

関数 を式で置換しても非アクティブな積分が返される:

Activateを使って積分を評価する:

大文字の を独立変数として使うことはできない:

これを小文字の あるいは で置き換えると問題は解決する:

解を求めるのに逆関数が必要な場合がある:

未知の関数についての定義が評価に影響することがある:

未知の関数についての定義をクリアすると,この問題は解決する:

ここでは,が第2引数に含まれていないので,DSolveがエラーメッセージを出す:

第2引数に を含め,解を得る:

あるいは,DSolveValueを使って についての解のみを得ることもできる:

DSolveは問題がベクトル方程式であると解釈できないので,この例は未評価で返される:

この例は,以下のように書き換えると解くことができる:

CompleteIntegralは非線形偏微分方程式の完全積分を求める:

DSolveは同じ解を警告メッセージとともに返す:

CompleteIntegralを使って線形偏微分方程式の完全積分を求める:

DSolveはこの偏微分方程式の一般解を返す:

おもしろい例題  (2)

コルニュ(Cornu)螺線を生成する:

ルジャンドル関数の微分演算子の六次対称ベキを解く:

Wolfram Research (1991), DSolve, Wolfram言語関数, https://reference.wolfram.com/language/ref/DSolve.html (2024年に更新).

テキスト

Wolfram Research (1991), DSolve, Wolfram言語関数, https://reference.wolfram.com/language/ref/DSolve.html (2024年に更新).

CMS

Wolfram Language. 1991. "DSolve." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2024. https://reference.wolfram.com/language/ref/DSolve.html.

APA

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

BibTeX

@misc{reference.wolfram_2024_dsolve, author="Wolfram Research", title="{DSolve}", year="2024", howpublished="\url{https://reference.wolfram.com/language/ref/DSolve.html}", note=[Accessed: 08-September-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_dsolve, organization={Wolfram Research}, title={DSolve}, year={2024}, url={https://reference.wolfram.com/language/ref/DSolve.html}, note=[Accessed: 08-September-2024 ]}