多変数化・多重積分への拡張と幾何学的解釈 (区分求積法を応用した極限問題)

区分求積法の議論を多次元へと拡張することは、離散的な点集合の和が領域上の重積分へと収束する過程を理解する上で非常に重要です。ここでは、独立した二重和から、条件付きのインデックスを持つ複雑な構造まで、多変数モデルの幾何学的解釈を整理します。

多重和と重積分の対応関係

1変数における区間の分割と同様に、2変数関数 $f(x, y)$ においては単位正方形領域 $[0, 1] \times [0, 1]$ を $n^2$ 個の微小正方形に分割し、その標本点の値を累積することで二重積分へと帰着させます。

① 基本形：単位正方形領域上の二重和

与えられる数列の和：
\[ \frac{1}{n^2} \sum_{i=1}^n \sum_{j=1}^n f\left(\frac{i}{n}, \frac{j}{n}\right) \]

対応する定積分：
\[ \int_0^1 \int_0^1 f(x, y) dx dy \]

考察：
独立した2つの変数 $i, j$ の総和を、単位正方形領域上の二重積分へと直接連続化する最も標準的なモデルです。

【例題】 次の極限値を求めよ。

② 内部インデックスに依存する二重和（三角形領域）

与えられる数列の和：
\[ \frac{1}{n^2} \sum_{i=1}^n \sum_{j=1}^i f\left(\frac{i}{n}, \frac{j}{n}\right) \]

対応する定積分：
\[ \int_0^1 \int_0^x f(x, y) dy dx \]

考察：
内側の和の上限 $i$ が外側の変数に依存していることに注目します。これは幾何学的には直角二等辺三角形の領域（$0 \le y \le x \le 1$）を埋め尽くす操作に対応しており、積分領域の決定においてインデックスの範囲がそのまま積分の上下端へと変換されます。

【例題】 次の極限値を求めよ。

\[ L_2 = \lim_{n \to \infty} \frac{1}{n^3} \sum_{i=1}^n \sum_{j=1}^i j \]

③ 条件付き和（円板領域と極座標変換）

与えられる数列の和：
\[ \frac{1}{n^2} \sum_{i^2+j^2 \le n^2} f\left(\frac{i}{n}, \frac{j}{n}\right) \]

対応する定積分：
\[ \iint_{x^2+y^2 \le 1} f(x, y) dx dy \]

考察：
和のインデックスに課された不等式条件 $i^2+j^2 \le n^2$ は、連続極限において単位円板領域の境界条件へと変換されます。この形式の問題では、直交座標系での積分よりも極座標系（$x=r\cos\theta, y=r\sin\theta$）への変換を介した評価が極めて有効です。

【例題】 第1象限における次の和の極限を求めよ。

\[ L_3 = \lim_{n \to \infty} \frac{1}{n^2} \sum_{i^2+j^2 \le n^2, i,j \ge 0} 1 \]

幾何学的解釈とジョルダン可測性

インデックスに不等式条件が課されている場合、その条件は連続極限において「積分領域を規定する境界」そのものとなります。これはジョルダン可測な領域上での積分の定義を実証するプロセスであり、離散幾何学と連続解析学の境界をなす非常に深遠なトピックです。特に数学オリンピック等の高度な問題では、領域の対称性や極座標変換の必然性を見抜く洞察力が試されます。