7

逆関数がn階導関数になるとき

577
2

はじめに

以前の記事[ 逆関数が導関数になるとき ]がTwitter上で拡散されて( 拡散されたツイート ),せっかくなのでもう少し考えてみることにしました。

しかし,2020年12月13日時点ではぱるちは2例目を見つけることすらできていません。

その代わりに,少し一般化された問題でも似たようなことが言えないかを考えましたので,ここにメモ書き程度の備忘録を残します。

問題

正の整数nを固定し,関数f(x)が以下の条件を満たすとします。(前回結構がばがばに書いていていたので,真面目に書きます。)

  • f(x)はある実数上のある区間I上で定義されており,実数値を取る関数である。f(x)の値域をf(I)と表記する。
  • f(x)I(の内部)上でn階微分可能である。n階導関数をf(n)(x)と表記する。
  • f(x)f(I)上で逆関数f1(x)を持つ。
  • f(x)If(I)上の任意の内点xに対して,f(n)(x)=f1(x)を満たす。
    【追記】以下のように訂正します。ご指摘頂いたbdさん,誠にありがとうございます。
  • If(I)の内部は空集合ではなく,その任意の内点xに対してf(n)(x)=f1(x)を満たす。

このようなf(x)は存在するのか? すべて求めることは出来ないか? というのが今回考えている問題です。

もしも“内部”とか“内点”という言葉に聞き覚えがなければ,If(I)開区間であるとして考えてもらっても大差はありません。具体的には

  • f(x)はある実数上のある区間I上で定義されており,実数値を取る関数である。
  • f(x)I上でn階微分可能である。
  • f(x)f(I)上で逆関数f1(x)を持つ。
  • If(I)は空集合ではなく,任意にxIf(I)をとったときにf(n)(x)=f1(x)を満たす。

という状況で考えてもらっても構いません。

とりあえず1つ求めることに

前回の記事 と同様に,条件を満たす関数f(x)を探してみました。

逆関数がn階導関数になるとき

各正の整数nに対して,区間[0,)上の関数fnfn(x)=AnxMnとする。このAnMnについては,Mn:=n+n2+42,An:=(1Mn(Mn1)(Mn2)(Mnn+1))MnMn+1
と定める。このfnは,(0,)上の任意の点xに対してfn(n)(x)=fn1(x)を満たす。

ガンマ関数とか下降階乗冪の記号を使えばもっと楽に記述できるって?

ちなみに,M1=1+52,M2=1+2,M3=3+132
は,それぞれ黄金数白銀数青銅数と呼ばれている値です。また,Mnn貴金属数です! まさかこんなところでお目にかかれるとは思いませんでした。(参考:[ 貴金属比 - Wikipedia ])

以下,この関数を見つけた経緯を述べていきます。やってることはほとんど前回の記事と同じです。

見つけた経緯


0でない実数A,rを用いてfn(x)=Axrと表せると仮定します。このときn階微分と逆関数をそれぞれ計算しますと,{fn(n)(x)=Ar(r1)(r2)(rn+1)xrnfn1(x)=(xA)1r
となります。条件よりfn(n)(x)=fn1(x)ですので,Ar(r1)(r2)(rn+1)xrn=(xA)1/r
です。rが整数でないとしてこの式を少し変形すると,xrn1r=1A1+1rr(r1)(r2)(rn+1)
となります。右辺は定数ですから,左辺も定数でなければなりません。すなわち,rn1r=0
でなければいけません。これは……貴金属数を特徴付ける方程式ですね! 言い換えると,r=n±n2+42でなければなりません。1つ見つけられれば満足ですので,Mnn貴金属数として,r=Mnを代入します。このときA
A1+1Mn=1Mn(Mn1)(Mn2)(Mnn+1)
を満たさなければなりません。つまり,A=(1Mn(Mn1)(Mn2)(Mnn+1))MnMn+1
です。従ってfn(x)の表示として,fn(x)=(1Mn(Mn1)(Mn2)(Mnn+1))MnMn+1xMn
を得ることが出来ました。実際にこれが条件を満たすことは,計算することによって確認出来ます。

少し追記

[見つけた経緯]

において,rを整数でないとして議論していましたが,rを整数だと仮定するとなんだかんだで条件に反してしまいます。
また,nが偶数であれば,r=nn2+42としても条件を満たします。nが奇数の時はAが実数でなくなるため条件に反します。

やはり全部求めたわけではない

条件を満たす関数をすべて求めるためには今やってるような十分条件から攻める方法ではダメで,全く違う方法を考える必要がありますね。。。

そもそもぱるちは(本質的に異なる)2例目を見つけることすら出来ていません。簡単な状況なのに難しいですね......

この問題について進展があった! どこかで似たようなものを見たことがある! という場合は,コメントにて教えていただけると嬉しいです。

投稿日:20201212
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

ぱるち
ぱるち
141
25994
数学屋さんをしています。代数,数論系に興味があり,今は楕円曲線と戯れています。Mathlogは現実逃避用という噂もあります。@f_d00123

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 問題
  3. とりあえず1つ求めることに
  4. やはり全部求めたわけではない