正確な微分方程式

数学において厳密な微分方程式または全微分方程式は、物理学や工学で広く使用されているある種の常微分方程式です。

意味

単連結かつ集合Dと、D上で連続2つの関数IJが与えられると次の形式の暗黙的な1階常微分方程式が成り立ちます。

が正確な微分方程式と呼ばれるのは、ポテンシャル関数と呼ばれる連続的に微分可能な関数Fが存在するときで ある[1] [2]。

そして

正確な方程式は次の形式で表すこともできます。

ここで、微分方程式が正確であるためには、 IJに同じ制約が適用されます。

「厳密な微分方程式」という用語の意味は、関数の厳密な微分を指します。関数 について、に関する厳密な微分、つまり全微分は次のように与えられます 。

関数

は微分方程式のポテンシャル関数である

一次厳密微分方程式

一次厳密微分方程式の同定

関数(添え字​​は相対変数に関する偏微分を表す)が の領域で連続であるとする。このとき、微分方程式は

は、次の場合にのみ正確である

つまり、ポテンシャル関数と呼ばれる関数が存在し

つまり、一般的には:

証拠

証明は2つの部分から成ります。

まず、次のような関数があるとする。

すると、

と は連続なのでも連続となり、それらの等式が保証されます。

証明の第二部では、 の構築について述べ、これは一階の厳密な微分方程式を解く手順としても使える。 と を仮定しに対して

まず、最初の方程式を について積分します。実際には、適切な変数について積分が行われていれば、最初の方程式と2番目の方程式のどちらを積分しても問題ありません。

ここで、 は となる任意の微分可能関数です。 関数は積分の定数としての役割を果たしますが、単なる定数ではなく の関数です。 はの両方の関数であり、 についてのみ積分しているからです

ここで、となるような が常に見つかるということを示します

両辺を について微分します

結果を に設定し、 を解きます

この方程式からを求めるには、右辺は のみに依存しなければなりません。これは、 の に関する微分が常にゼロであることを示すことで証明できます。したがって、右辺を について微分します

なので最初の仮定に基づいて、これはゼロになります。

したがって、

これで証明は完了です。

一次厳密微分方程式の解

一次厳密微分方程式は次のようになる。

ポテンシャル関数で表すことができる

どこ

これはの全微分を取ることと同じです

厳密な微分方程式の解は次のように与えられる。

そして問題は を見つけることに帰着します

これは、 と の 2 つの式を積分し、結果の式の各項を 1 回だけ書き出して合計し、 を取得することで実行できます

その理由は次のとおりです。

両辺を統合すると、

したがって、

ここで、 およびは、および となる微分可能関数です

これが真であり、両辺が全く同じ式、すなわち となるためには、 が の式内に含まれている必要があります。なぜなら、 は の関数ではなく の関数であるため、 内に含めることができず、 とは何の関係も持た​​ないからです。類推として、は の式内に含まれている必要があります

したがって、

いくつかの式とに対して、となる。上の式に代入すると、となり、とな​​るので、とは同じ関数となる。したがって、

すでに示したように

すると

したがって、とを実行し、得られた 2 つの式内で見つかった共通の項 ( ) を取り、そのいずれかにのみ見つかる項 ( と ) を追加することで、構築できます

2階厳密微分方程式

厳密な微分方程式の概念は2階微分方程式に拡張することができる。[3]まず1階厳密な方程式から考えてみよう。

関数 、 は両方とも2変数の関数であるため多変数関数を暗黙的に微分すると次の式が得られます。

全導関数を展開すると、

そして

これらの用語 を組み合わせると

方程式が正確であれば、 となるさらに、 の全微分はその暗黙の常微分 に等しい。このことから、書き直した方程式は次のようになる。

さて、2階微分方程式があるとする。

正確な微分方程式の 場合、

そして

ここで、 は のみの任意の関数であり、を について偏微分した際にゼロに微分されたものである。符号は正になる可能性もあるが、積分の結果は、偏微分されてゼロになった 元々の関数が欠落していると考える方が直感的である。

次に、もし

の項はのみの​​関数となる。なぜなら に関する偏微分は一定となり の導関数は生成されないからである。2次方程式において

項 のみがの純粋な項である。 とする。 ならば

の に関する全微分は暗黙の常微分と等しいので、

それで、

そして

したがって、2階微分方程式

は、以下の式が成り立つ場合にのみ正確である。

は のみの関数ですを任意定数で計算したら、 に加えて を作成します。方程式が正確な場合、1次厳密方程式に通常の方法で解ける1次厳密形に簡約できます。

ただし、最終的な暗黙的な解には、 2次方程式から予想されるように、 の 2 倍の に関する の積分からの項と、2 つの任意定数が含まれます。

微分方程式

項を調べることで、正確性はいつでも簡単に確認できます。この場合、 の偏微分と全微分はどちらもなのでそれらの和は となり、これは の前の項と全く同じです。正確性の条件の1つが満たされると、次のように計算できます。

貸し出す、そして

したがって、は確かに のみの関数であり、2階微分方程式は正確である。したがって、であり、 である。これを1階厳密な方程式に簡約すると、

利回りに関して積分する

ここで、 は の任意の関数です。 を について微分すると、導関数と項を相関させる方程式が得られます

したがって、完全な暗黙の解は次のようになります。

利回りを明示的に解く

高階厳密微分方程式

厳密な微分方程式の概念は任意の次数まで拡張できる。厳密な2次方程式から始めると、

以前、この式は次のように定義されることが示されました。

正確な2階微分方程式を暗黙的に微分すると、方程式の形から容易に導き出せる新たな正確性条件を持つ階微分方程式が得られる。例えば、上記の2階微分方程式を1回微分すると、3階の正確な方程式が得られる。これは以下の形となる。

どこ

であり、 はのみの​​関数である。 から来ないすべてのと項を組み合わせると、

したがって、三階微分方程式の正確性に関する3つの条件は、項が であり項が であり

は のみの関数である必要があります

非線形三階微分方程式を考える

ならばとなりこれらを足し合わせると となる。幸いにも、これはこの式に現れている。最後の正確さの条件として、

これは確かに のみの関数である。したがって、この微分方程式は正確である。2回積分すると となる。この方程式を1階の正確な微分方程式として書き直すと、

を積分すると となる。 を微分し、それを一次方程式のの前の項と等しくするととなり、 となる。完全な暗黙解は

明確な解決策は

参照

参考文献

  1. ^ Wolfgang Walter (2013年3月11日). 常微分方程式. Springer Science & Business Media. ISBN 978-1-4612-0601-9
  2. ^ ウラジミール・A・ドブルシュキン(2014年12月16日)『応用微分方程式:初級コース』CRC Press. ISBN 978-1-4987-2835-5
  3. ^ テネンバウム、モリス、ポラード、ハリー (1963). 「非定数係数を持つ線型微分方程式の解法:階数低減法」. 『常微分方程式:数学、工学、自然科学の学生のための初等教科書』 . ニューヨーク:ドーバー. pp. 248. ISBN 0-486-64940-7 {{cite book}}: ISBN / Date incompatibility (help)

さらに読む

  • ボイス, ウィリアム・E.; ディプリマ, リチャード・C. (1986). 『初等微分方程式』(第4版). ニューヨーク: John Wiley & Sons, Inc. ISBN 0-471-07894-8
Retrieved from "https://en.wikipedia.org/w/index.php?title=Exact_differential_equation&oldid=1256302297"