sin(sin(x))=(sin(x))2 の実数解

sin2x は普通 (sinx)2 とされます。 一方で写像の合成 f2=ff として解釈すれば sin(sin(x)) と解釈することも出来ます。 これらは全く違う意味となりそうですが、一致することはあるのでしょうか?

Grokに考えさせてみました。


方程式 sin(sinx)=(sinx)2 を実数 x について解きます。

1. 変数変換

θ=sinx とおきます。
すると θ[1,1] となり、方程式は以下のように変形されます。

sinθ=θ2

2. θ[1,0] の場合

  • θ20 です。
  • θ[1,0) のとき sinθ<0 となるため、sinθ<θ2 となり等式は成立しません。
  • θ=0 のとき sin0=0=02 となり、等式が成立します。

したがって、θ=0 は解となります。

3. θ(0,1] の場合

関数 f(θ)=sinθθ2 を考えます。

  • f(0)=0
  • f(1)=sin110.84151<0
  • f(θ)=cosθ2θ
  • f(0)=1>0

方程式 cosθ=2θ は、θ(0,1)ちょうど1つの解を持ちます(cosθ は減少関数、2θ は増加関数であるため)。

したがって f(θ)θ=0 から増加し、最大値を取った後に減少します。
最大値が正であることから、(0,1)ちょうど1つの零点が存在します。

この唯一の正の解を θ0(0,1) と表します。

(数値的には θ00.876726

4. 全体の解

方程式が成立するのは、以下の2つの場合です。

  • sinx=0
  • sinx=θ0

(1) sinx=0 の場合

x=nπ(n)

(2) sinx=θ0 の場合

x=(1)karcsin(θ0)+kπ(k)

まとめ

実数解は、
sinx=0 または sinx=θ0 を満たすすべての x です。

ここで θ0sinθ=θ2 を満たす (0,1) 内の唯一の解です。

他の記事

馬可無序(まか・むじょ)- AI-VTuberニコニコ生放送で配信中馬可無序プロジェクト