四象限 Arctan 函数

             

   我们经常会遇到这样一个问题:已知平面直角坐标系上一点 $P$,坐标为 $(x, y)$,求射线 $OP$ 与 $x$ 轴正方向的夹角 $\theta$.首先我们要给这个夹角取一个范围,一般来说既可以取 $[0, 2\pi)$ 也可以取 $(-\pi, \pi]$,但如无特殊说明,我们统一使用后者.

   一些教材中直接用 $\theta = \arctan\left(y/x\right) $,$\theta \in (-\pi/2, \pi/2)$ 来表示这一关系,这是不严谨的.我们下面来定义一个符合要求的新函数,记为 $ \operatorname{Arctan} (y, x)$1.其中定义为 $x, y \in \mathbb R$,即任意实数,值域为 $(-\pi, \pi]$.

\begin{equation} \operatorname{Arctan} (y,x) \equiv \begin{cases} \arctan\left(y/x\right) \quad &(x > 0)\\ \arctan\left(y/x\right) + \pi &(x < 0,\,y \geqslant 0)\\ \arctan\left(y/x\right) - \pi &(x < 0,\,y < 0)\\ \pi /2 &(x = 0, \,y > 0)\\ -\pi /2 &(x = 0, \,y < 0)\\ 0 & (x=0,\,y=0) \end{cases} \end{equation}
本书统一使用该定义,但也有一些其他文献将其定义为上式加 $\pi$,使值域为 $(0, 2\pi]$,或者认为 $x = 0, y = 0$ 无定义(不属于定义域).

偏导数

   函数在除了在原点和 $x$ 轴的负半轴,在其它定义域都是连续且光滑的,即存在连续的无穷阶偏导.一阶偏导为

\begin{equation} \frac{\partial}{\partial{x}} \operatorname{Arctan} (y, x) = \frac{-y}{x^2 + y^2} \qquad \frac{\partial}{\partial{y}} \operatorname{Arctan} (y, x) = \frac{-x}{x^2 + y^2} \end{equation}


1. ^ 在许多编程语言中 $\arctan$ 被记为 atan,$ \operatorname{Arctan} $ 被记为 atan2.也有一些文献将 $ \operatorname{Arctan} $ 记为 $ \operatorname {Tan}^{-1}$ 或 $ \operatorname {atan2}$

         

© 小时科技 保留一切权利