2変数三角関数の極値の求め方

はじめに

極値に関する問題は、解析学を院試の試験範囲とする大学で重積分の次に出題される印象です。様々な大学を見てきましたが、京大、神戸大、電通大、東京農工大で良く出題されます。

上記の大学を志望される方は、解き方の定石を身に着けることをオススメします。

この記事で覚えてほしいこと

関数$f(x,y)$のxにおける1階偏微分を$f_x$、yの1階偏微分を$f_y$
xの2階偏微分を$f_{xx},$ yの2階偏微分を$f_{yy},$ xyの順の偏微分を$f_{xy},$ yxの順を$f_{yx}$とする。

以下の作業で、極値を判定できる。

他サイト様でも同様の説明がありますが、本サイトでも掲示します。

中には、行列式Dの結果が正負逆になるよう要素を配置し、説明しているところもあります。この場合は、$D<0$のときに極値を取ります。(もっとも、本サイトでは↑の覚え方を推奨します。)

他サイトを見ていると、多項式の関数で例題を説明しているところが多いです。そこで、本サイトでは趣向を変えて三角関数で極値を考えることにします。

解答例

$f_x=0,f_y=0$の条件

$$\begin{array}{}\text{(2)}& \{\begin{array}{l}{f}_x=\cos x+\cos (x+y)\\ f_y=\cos y+\cos (x+y)\end{array}\end{array}$$

より、$f_x=0,f_y=0$のとき、$\cos x=\cos y\iff x=y$

$\cos x=-\cos (x+y)$の条件も合わせると

$(x,y)=(\frac{\pi }{3},\frac{\pi }{3}),(\pi ,\pi ),(\frac{5\pi }{3},\frac{5\pi }{3})$のとき、条件成立する。

極値の判定

$$\begin{array}{}\text{(3)}& \begin{array}{r}\{\begin{array}{l}{f}_{xx}=-\sin x-\sin (x+y)\\ f_{yy}=-\sin y-\sin (x+y)\\ f_{xy}=f_{yx}=-\sin (x+y)\end{array}\end{array}\end{array}$$なので

(i) $(x,y)=(\frac{\pi }{3},\frac{\pi }{3})$のとき

$f_{xx}=f_{xy}=-\sqrt{3}<0,f_{xy}=f_{yx}=\frac{-\sqrt{3}}{2}$だから

$$\begin{array}{}\text{(4)}& D=(-\sqrt{3}{)}^2-(\frac{\sqrt{3}}{2}{)}^2=\frac{9}{4}>0\end{array}$$かつ$f_{xx}<0$だから

極大値：${\displaystyle \frac{\sqrt{3}}{2}}\ast 3={\displaystyle \frac{3\sqrt{3}}{2}}$を取る。

(ii) $(x,y)=(\pi ,\pi )$のとき

$f_{xx}=f_{xy}=f_{xy}=f_{yx}=0$だから、$D=0$

極値を取るか判別不能

(iii) $(x,y)=(\frac{5\pi }{3},\frac{5\pi }{3})$のとき

$f_{xx}=f_{xy}=\sqrt{3}<0,f_{xy}=f_{yx}=\frac{\sqrt{3}}{2}$だから

$$\begin{array}{}\text{(5)}& D=(\sqrt{3}{)}^2-(\frac{\sqrt{3}}{2}{)}^2=\frac{9}{4}>0\end{array}$$かつ$f_{xx}>0$だから

極小値：${\displaystyle \frac{-\sqrt{3}}{2}}\ast 3={\displaystyle \frac{3\sqrt{3}}{2}}$を取る。

最後に

三角関数の極値は、周期性も踏まえて等号が成立する条件を出すことが多いです。本問だけでなく、類題にもチャレンジ頂ければと思います。

参考文献

2変数関数の極値問題

この記事では２変数関数の極値問題について解説します. 極値とはまずは２変数関数での極値の定義を与えます. 簡単に説明すると点$(a,b)$で極値をとるとは, 点$(a,b)$の周りで十分小さい近傍を取ると, その近傍内で点\((a,

mathphysnote.com