関数の大人の書き方

関数の表記において，合成関数を扱うときには，しばしば「大人の書き方」が使われる．「大人の書き方」というのは，例えば，$u = u(x)$ とか，$X = X(x, y)$ という書き方である．これは，あるときは変数と見立て，あるときは関数と見立てるときに重宝される記である．このような見立ては，合成関数の微分操作の際に顕著である．

関数 $F$ が $u$ の関数である場合，それを $F(u)$ と書くことについては抵抗がない．そしてこの $u$が単なる変数であれば，関数の微分は
$$\begin{align*}   dF = \frac{dF}{du}\,du \end{align*}$$
である．さてここで，$u$ が関数である場合はどうであるか？礼儀正しく $u = f(x)$ としてみると，$du = (df/dx)\,dx$ であるから，
$$\begin{align*}   dF = \frac{dF}{du}\frac{df}{dx}\,dx \end{align*}$$
となる．ここで「大人の書き方」を採用して $u = u(x)$ とすると，$du = (du/dx)\,dx$ であるから
$$\begin{align*}   dF = \frac{dF}{du}\frac{du}{dx}\,dx \end{align*}$$
というように，微分の chain rule が見やすくなってくる．とりわけ，微分操作を演算子化するような場合，
$$\begin{align*}   dF = \frac{dF}{du}\frac{df}{dx}\,dx   \quad\Longrightarrow\quad   \frac{dF}{dx} = \frac{dF}{du}\frac{df}{dx}   \quad\Longrightarrow\quad   \frac{d}{dx} = \frac{df}{dx}\frac{d}{du} \end{align*}$$
であるよりは
$$\begin{align*}   dF = \frac{dF}{du}\frac{du}{dx}\,dx   \quad\Longrightarrow\quad   \frac{dF}{dx} = \frac{dF}{du}\frac{du}{dx}   \quad\Longrightarrow\quad   \frac{d}{dx} = \frac{du}{dx}\frac{d}{du} \end{align*}$$
の方が見通しがきく．

この論法に抱くなんとはなしの違和感は，$u = u(x)$ のように関数と関数名に同じ名前を使っていることにあるのだろうと思う．関数と言うと，変数も「数」，関数値も「数」と認識しているから，$u = f(x)$を見た時のインスピレーションは「$u,\; x$ は数，関数は $f$」であるが，$u = u(x)$ となると「$u,\; x$ は数，関数も $u$」となって一瞬まごつくのだろう．これを，「$u$ は数（関数値）でもありかつ $x$ を変数とする関数でもある」，ということをまとめて述べたものであるのだろうと捉えることが，大人になるということなのだと思う．

 ところが．実は，この変数名と関数名が同一ということを無意識に諒解していたものがある．物理でおなじみの座標変数である．点を $P(x, y)$ と書き，$x,\, y$ は座標値と考える．そして実は$x(t),\, y(t)$ であるから，縦横無尽に $x$ や $y$ を $t$ で微分したり積分したりしていたのであった．あるときは変数，あるときは関数．数学では（少なくとも筆者の高校時代では）こういうことをきちんとし区別していて，関数として $x(t), y(t)$ を扱う場合には，点の「軌跡を考える」，という物言いをしていたように思う．やはり物理はおおらかだったのだろうか？というか，数学がきちんとしている，ということだろうか？

この「大人の書き方」のご利益は，多変数関数の偏微分を駆使する際によりあらわになると思われる．$F(X, Y)$ で，$X,\, Y$ が各々 $x,\, y,\, t$ の関数であるというような場合，礼儀正しく行けば $X = \phi(x, y, t),\;Y = \psi(x, y, t)$として，
$$\begin{align*}   dF   &=   \frac{\partial F}{\partial X}\,dX + \frac{\partial F}{\partial Y}\,dY \\   &=   \frac{\partial F}{\partial X}\left(   \frac{\partial \phi}{\partial x}\,dx   +   \frac{\partial \phi}{\partial y}\,dy   +   \frac{\partial \phi}{\partial t}\,dt   \right)   +   \frac{\partial F}{\partial Y}\left(   \frac{\partial \psi}{\partial x}\,dx   +   \frac{\partial \psi}{\partial y}\,dy   +   \frac{\partial \psi}{\partial t}\,dt   \right) \\   &=   \left(   \frac{\partial F}{\partial X}\frac{\partial \phi}{\partial x}   +   \frac{\partial F}{\partial Y}\frac{\partial \psi}{\partial x}   \right)\,dx   +   \left(   \frac{\partial F}{\partial X}\frac{\partial \phi}{\partial y}   +   \frac{\partial F}{\partial Y}\frac{\partial \psi}{\partial y}   \right)\,dy \\   &\qquad\qquad\qquad  +   \left(   \frac{\partial F}{\partial X}\frac{\partial \phi}{\partial t}   +   \frac{\partial F}{\partial Y}\frac{\partial \psi}{\partial t}   \right)\,dt \end{align*}$$
となる．だけれども，$X = X(x, y, t),\;Y = Y(x, y, t)$という「大人の書き方」を採用すれば
$$\begin{align*}   dF   &=   \frac{\partial F}{\partial X}\,dX + \frac{\partial F}{\partial Y}\,dY \\   &=   \frac{\partial F}{\partial X}\left(   \frac{\partial X}{\partial x}\,dx   +   \frac{\partial X}{\partial y}\,dy   +   \frac{\partial X}{\partial t}\,dt   \right)   +   \frac{\partial F}{\partial Y}\left(   \frac{\partial Y}{\partial x}\,dx   +   \frac{\partial Y}{\partial y}\,dy   +   \frac{\partial Y}{\partial t}\,dt   \right) \\   &=   \left(   \frac{\partial F}{\partial X}\frac{\partial X}{\partial x}   +   \frac{\partial F}{\partial Y}\frac{\partial Y}{\partial x}   \right)\,dx   +   \left(   \frac{\partial F}{\partial X}\frac{\partial X}{\partial y}   +   \frac{\partial F}{\partial Y}\frac{\partial Y}{\partial y}   \right)\,dy \\   &\qquad\qquad\qquad  +   \left(   \frac{\partial F}{\partial X}\frac{\partial X}{\partial t}   +   \frac{\partial F}{\partial Y}\frac{\partial Y}{\partial t}   \right)\,dt \end{align*}$$
となり，やはり見通しがよくなる．そして記号のインフレも起きにくい．

ま，もちろん，世のことわりどうり，ケース・バイ・ケースな事柄では，ある．