倭算数理研究所

科学・数学・学習関連の記事を、「倭マン日記」とは別に書いていくのだ!

逆正接関数・逆余接関数の高階導関数

もう少し三角関数の公式シリーズ(目次)。 以前の記事『逆三角関数の導関数』にて逆正接関数・逆余接関数の導関数を計算しましたが、今回はさらにそれらの高階導関数を計算します。

正接関数  { \tan^{-1}x }・逆余接関数  { \cot^{-1}x }導関数は以下で与えられるのでした:

  { \displaystyle\begin{align*}
  (\tan^{-1}x)' &= \frac{1}{1+x^2} \\[2mm]
  (\cot^{-1}x)' &= -\frac{1}{1+x^2}
\end{align*}}

これらの導関数はほぼ同じ形なので、一方の高階導関数を計算すればもう一方も簡単に分かりますが、最終的に用いる関数を別のものにするため、結果は少し違った形になります。

逆余接関数の方が綺麗な形にまとまるので、まずは逆余接関数から。

【この記事の内容】

逆余接関数  { \cot^{-1}x } の高階導関数

上記の逆余接関数の導関数より

  { \displaystyle\begin{align*}
  \frac{d^n}{dx^n}\left(\cot^{-1}x\right)
    &= -\frac{d^{n-1}}{dx^{n-1}}\left(\frac{1}{1+x^2}\right)
\end{align*}}

なので  { \frac{d^{n-1}}{dx^{n-1}}\left(\frac{1}{1+x^2}\right) } を計算しましょう。  { \frac{1}{1+x^2} }複素数の範囲で部分分数に分解すれば微分を簡単に実行できて

  { \displaystyle\begin{align*}
  \frac{d^{n-1}}{dx^{n-1}}\left(\frac{1}{1+x^2}\right)
    &= \frac{1}{2i}\frac{d^{n-1}}{dx^{n-1}}\left(\frac{1}{x-i} - \frac{1}{x+i}\right) \\[2mm]
    &= \frac{(-1)^{n-1}(n-1)!}{2i}\left\{\frac{1}{(x-i)^n} - \frac{1}{(x+i)^n}\right\} \\[2mm]
    &= \frac{(-1)^{n-1}(n-1)!}{2i}\left\{\frac{(x+i)^n - (x-i)^n}{(1+x^2)^n}\right\}
\end{align*}}

となります。 ここで  { x = \cot \theta } とおくと

  { \displaystyle\begin{align*}
  (x \pm i)^n &= \left(\frac{\cos\theta}{\sin\theta} \pm i\right)^n = \frac{e^{\pm in\theta}}{\sin^n\theta} \\[2mm]
  \frac{1}{(1+x^2)^n} &= \sin^{2n}\theta
\end{align*}}

なので

  { \displaystyle\begin{align*}
  \frac{d^{n-1}}{dx^{n-1}}\left(\frac{1}{1+x^2}\right)
    &= (-1)^{n-1}(n-1)! \sin^n\theta \cdot \frac{e^{in\theta} - e^{-in\theta}}{2i} \\[2mm]
    &= (-1)^{n-1}(n-1)! \sin^n\theta \sin n\theta \\[4mm]
  \therefore \frac{d^n}{dx^n}\left(\cot^{-1}x\right)
    &= (-1)^n(n-1)! \sin^n\theta \sin n\theta
\end{align*}}

を得ます。  { \theta = \cot^{-1}x } だったので、結局

  { \displaystyle\begin{align*}
  \frac{d^n}{dx^n}\left(\cot^{-1}x\right)
    &= (-1)^n(n-1)! \sin^n\left(\cot^{-1}x\right) \sin \left(n\cot^{-1}x\right)
\end{align*}}

を得ます。

n が小さい場合に具体的に書き下す
以下、 { x = \cot \theta } とします。

 { n=1 } のとき

  { \displaystyle\begin{align*}
  (\cot^{-1}x)'
    &= - \sin^2\theta \\
    &= - \frac{1}{1+\cot^2\theta} \\
    &= -\frac{1}{1+x^2}
\end{align*}}

 { n=2 } のとき

  { \displaystyle\begin{align*}
  (\cot^{-1}x)''
    &= \sin^2\theta \sin2\theta = 2\sin^3\theta\cos\theta = 2\sin^4\theta\cot\theta \\
    &= \frac{2\cot\theta}{(1+\cot^2\theta)^2} \\
    &= \frac{2x}{(1+x^2)^2}
\end{align*}}

 { n=3 } のとき

  { \displaystyle\begin{align*}
  (\cot^{-1}x)'''
    &= -2\sin^3\theta \sin3\theta = -2\sin^3\theta(3\sin\theta - 4\sin^3\theta) \\
    &= -2\frac{-1+3\cot\theta}{(1+\cot^2\theta)^3} \\
    &= \frac{2-6x}{(1+x^2)^3}
\end{align*}}

まぁ、このくらいなら普通に  { x } の式のまま微分を計算した方が簡単な気もしますが。

正接関数  { \tan^{-1}x } の高階導関数

正接関数の高階導関数は逆余接関数のものに負符号を付ければいいだけですが、 { \cot^{-1}x } の代わりに  { \tan^{-1}x } を使って表す習わしのようなので、その式を導きます。 前節の途中式から

  { \displaystyle\begin{align*}
  \frac{d^{n-1}}{dx^{n-1}}\left(\frac{1}{1+x^2}\right)
    &= \frac{(-1)^{n-1}(n-1)!}{2i}\left\{\frac{(x+i)^n - (x-i)^n}{(1+x^2)^n}\right\}
\end{align*}}

が成り立っていましたが、前節とは異なり  { x = \tan\theta } とおくと

  { \displaystyle\begin{align*}
  (x \pm i)^n
   &= \frac{\left(\sin\theta \pm i\cos\theta\right)^n}{\cos^n\theta}
   = \frac{\left\{-\cos\left(\theta+\frac{\pi}{2}\right)
     \pm i\sin\left(\theta+\frac{\pi}{2}\right)\right\}^n}{\cos^n\theta} \\
   &= (-1)^n \frac{e^{\mp in\left(\theta+\frac{\pi}{2}\right)}}{\cos^n\theta} \\[2mm]
  \frac{1}{(1+x^2)^n} &= \cos^{2n}\theta
\end{align*}}

となるので

  { \displaystyle\begin{align*}
  \frac{d^{n-1}}{dx^{n-1}}\left(\frac{1}{1+x^2}\right)
    &= (n-1)!\cos^n\theta \sin\left\{n\left(\theta + \frac{\pi}{2}\right)\right\}
\end{align*}}

よって

  { \displaystyle\begin{align*}
  \frac{d^n}{dx^n}\left(\tan^{-1}x\right)
    &= (n-1)! \cos^n\left(\tan^{-1}x\right) \sin \left\{n\left(\tan^{-1}x+\frac{\pi}{2}\right)\right\}
\end{align*}}

n が小さい場合に具体的に書き下す
以下、 { x = \tan \theta } とします。

 { n=1 } のとき

  { \displaystyle\begin{align*}
  (\tan^{-1}x)'
    &= \cos^2\theta \\
    &= \frac{1}{1+\tan^2\theta} \\
    &= \frac{1}{1+x^2}
\end{align*}}

 { n=2 } のとき

  { \displaystyle\begin{align*}
  (\tan^{-1}x)''
    &= -\cos^2\theta \sin2\theta = -2\cos^4\theta\tan\theta \\
    &= -\frac{2\tan x}{(1+\tan^2\theta)^2} \\
    &= -\frac{2x}{(1+x^2)^2}
\end{align*}}

 { n=3 } のとき

  { \displaystyle\begin{align*}
  (\tan^{-1}x)'''
    &= -2\cos^3\theta \cos3\theta = -2\cos^3\theta(4\cos^3\theta - 3\cos\theta) \\
    &= -2\frac{1-3\tan\theta}{(1+\tan^2\theta)^3} \\
    &= \frac{6x-2}{(1+x^2)^3}
\end{align*}}

当然のことながら、全て逆余接関数の場合で符号を変えたものになってます。

まとめ

 { n \geqq 1 } として

  { \displaystyle\begin{align*}
  \frac{d^n}{dx^n}\left(\tan^{-1}x\right)
    &= (n-1)! \cos^n\left(\tan^{-1}x\right) \sin \left\{n\left(\tan^{-1}x+\frac{\pi}{2}\right)\right\} \\[4mm]
  \frac{d^n}{dx^n}\left(\cot^{-1}x\right)
    &= (-1)^n(n-1)! \sin^n\left(\cot^{-1}x\right) \sin \left(n\cot^{-1}x\right)
\end{align*}}

微分積分・平面曲線 (岩波 数学公式 1)

微分積分・平面曲線 (岩波 数学公式 1)