z=f(x,y)がax+byのみの関数であるための必要十分条件（線形結合による特徴づけ）

多変数関数z=f(x,y)が「ax+byのみの関数である」とは、xとyが独立ではなく特定の一次結合ax+byとしてのみ関数に影響する状態を意味します。本記事では、この条件を必要十分条件としてどのように表現できるかを、微分の観点も交えて整理します。

ax+byのみの関数とは何か

z=f(x,y)がax+byのみの関数であるとは、xとyがそれぞれ独立に影響するのではなく、常に組み合わせax+byとしてのみ影響することを意味します。

つまりzは実質的に1変数関数z=F(ax+by)として書ける形です。

この「変数の縮約」が本質的なポイントになります。

z=f(x,y)がax+byのみの関数であるための必要十分条件は次の形で表されます。

「ある関数Fが存在して z = F(ax+by) と書けること」

この形が成り立つとき、xとyは独立ではなくax+byという1つの変数に集約されています。

z = F(ax+by)とおくと、連鎖律より次の関係が成り立ちます。

∂z/∂x = aF'(ax+by)、∂z/∂y = bF'(ax+by)

このとき両者は常に比例関係にあり、b∂z/∂x = a∂z/∂y が成立します。

逆にb∂z/∂x = a∂z/∂yが成り立つ場合、zはax+by方向にのみ変化することを意味します。

これは勾配ベクトルが(a,b)方向に平行であることと同値です。

したがってzはax+byのみの関数として表現できます。

この条件は「等高線がax+by = 定数の直線群になる」ことを意味します。

つまりxy平面上での変化は、必ず同じ方向に沿ってしか起きません。

これにより2変数関数が実質1変数関数に縮約されます。

例えばz=(2x+3y)²は明らかにax+byのみの関数です（a=2,b=3）。

このときzはt=2x+3yとおけばz=t²となり完全に1変数関数になります。

一方z=x²+yではax+byの形に整理できず条件を満たしません。

zがax+byのみの関数であるための必要十分条件は「z=F(ax+by)と表せること」であり、これは偏微分の比例関係や勾配の方向性とも一致します。

この条件を理解すると、多変数関数が実質的に1変数へと簡約される構造が明確になります。

解析学や偏微分方程式でも重要な基礎概念です。