関数 $z = \frac{x^2}{2} - \frac{y^2}{2}$ の極値が存在すれば求めよ。解析学多変数関数極値偏微分ヘッセ行列鞍点2025/8/61. 問題の内容関数 z=x22−y22z = \frac{x^2}{2} - \frac{y^2}{2}z=2x2−2y2 の極値が存在すれば求めよ。2. 解き方の手順まず、偏微分を計算します。zx=∂z∂x=xz_x = \frac{\partial z}{\partial x} = xzx=∂x∂z=xzy=∂z∂y=−yz_y = \frac{\partial z}{\partial y} = -yzy=∂y∂z=−y次に、極値の候補となる点を求めるために、zx=0z_x = 0zx=0 かつ zy=0z_y = 0zy=0 を満たす (x,y)(x, y)(x,y) を探します。x=0x = 0x=0−y=0-y = 0−y=0よって、x=0x = 0x=0、y=0y = 0y=0 です。つまり、(0,0)(0, 0)(0,0) が極値の候補となる点です。次に、ヘッセ行列を計算します。zxx=∂2z∂x2=1z_{xx} = \frac{\partial^2 z}{\partial x^2} = 1zxx=∂x2∂2z=1zyy=∂2z∂y2=−1z_{yy} = \frac{\partial^2 z}{\partial y^2} = -1zyy=∂y2∂2z=−1zxy=∂2z∂x∂y=0z_{xy} = \frac{\partial^2 z}{\partial x \partial y} = 0zxy=∂x∂y∂2z=0zyx=∂2z∂y∂x=0z_{yx} = \frac{\partial^2 z}{\partial y \partial x} = 0zyx=∂y∂x∂2z=0ヘッセ行列は次のようになります。H=(zxxzxyzyxzyy)=(100−1)H = \begin{pmatrix} z_{xx} & z_{xy} \\ z_{yx} & z_{yy} \end{pmatrix} = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}H=(zxxzyxzxyzyy)=(100−1)ヘッセ行列の行列式を計算します。D=det(H)=zxxzyy−zxy2=(1)(−1)−(0)2=−1D = \det(H) = z_{xx} z_{yy} - z_{xy}^2 = (1)(-1) - (0)^2 = -1D=det(H)=zxxzyy−zxy2=(1)(−1)−(0)2=−1D<0D < 0D<0 であるため、点 (0,0)(0, 0)(0,0) は鞍点です。したがって、極値は存在しません。3. 最終的な答え極値は存在しない。