この記事には議論の足りないの部分が含まれています。
今後、それを解決するよう編集をするつもりですが、現在目途が立っていません。
その前提でお読みください。
今回は、超微分における指数関数、双曲線関数、三色関数を求めていきたいと思います。具体的には、
となるような関数を求めます。
求める際に二つだけ必要な定理があるため、ここで紹介しておきます。
っぽい
これさえ覚えていればこの記事、あとは困りません。
はじめに、
となるような関数を求めます。
ここで一つ言葉の定義を。
を満たす関数
それでは求めていきます。
とはいっても求め方は簡単で、微分方程式を解くだけです。
以上より次の定理が導かれます。
超指数関数は、
の形で表される。
今後のため、超指数関数の代表例となるような関数(指数関数で言ったら
(ただし
さて、超指数関数が求められたので、次は
となるような関数を求めます。
まず、同様に言葉の定義です。
を満たす関数
それでは求めていきます。
より、
WolframAlpha
を用いて計算すると、
(ただし
より求められた。
以上より次の定理が導かれます。
超双曲線関数は
の形で表される。
可能なら手計算で求めたかったのですが、どうやっても厳しそうだったので、Wolframalphaを使わせてもらいました。
さて、超指数関数の時と同様にこちらも代表となる関数を定義しておきます。
(ただし
しかし、グラフを書くと分かるのですが、
超指数関数、超双曲線関数と来たので、次は
となる関数です。
例によって言葉の定義から。
を満たす関数
三色関数とは、
Melville
氏の名付けた関数で、
その超微分バージョンということで、このように名前を付けました。
求め方は、これまでとそこまで変わりません。
より、
ということで次の定理が導かれます。
超三色関数は微分方程式
を満たす。
この微分方程式の一般解を求めようとしたのですが、WolframAlphaはおろか、Wolfram Mathematicaも音を上げたので、現時点で自分の求められるのはここまでです。もし求めることのできた方がいたらご連絡ください。
今回は超微分における指数関数、双曲線関数、三色関数を求めてきました。可能なら超三色関数の一般解やその先まで求めたかったのですが、どうしても非線形常微分方程式を解くのに手間がかかってしまうため、諦めざるを得ない結果となってしまいました。
今後はこれらの関数に関する定理等を導きたいと思います。