다변수 함수(多變數 函數)는 하나 이상의 독립 변수를 입력으로 받아 값을 출력하는 수학적 함수이다. 일반적으로 실수값을 갖는 경우, 함수 f는 다음과 같이 표기한다.
$$ f: \mathbb{R}^n \rightarrow \mathbb{R}^m $$
여기서 $n$은 입력 변수(독립 변수)의 수, $m$은 출력 값(종속 변수)의 차원을 나타낸다. $n=1$인 경우는 일변수 함수, $m=1$인 경우는 스칼라 값을 반환하는 함수이며, $n>1$ 또는 $m>1$인 경우 각각 다변수 함수와 벡터값 함수를 의미한다.
정의와 기본 성질
- 정의역(domain): 다변수 함수의 정의역은 보통 유클리드 공간 $\mathbb{R}^n$의 부분집합이다. 정의역은 개별 변수에 대한 제한(예: $x_i \ge 0$ 등)을 포함할 수 있다.
- 공역(codomain): 출력값이 실수인 경우 $\mathbb{R}$ 또는 $\mathbb{R}^m$이 된다. 복소수값을 갖는 경우 $\mathbb{C}$ 또는 $\mathbb{C}^m$이 될 수 있다.
- 연속성: 정의역 내 모든 점에서 연속인 경우 연속 함수라 한다. 다변수 연속성은 각 변수에 대해 한 번에 하나씩 접근하는 방식(ε‑δ 정의)으로 판정한다.
- 편미분: 다변수 함수는 각 독립 변수에 대해 부분적으로 미분할 수 있다. 편미분계수 $\frac{\partial f}{\partial x_i}$는 해당 변수만 변화시킨 경우의 순간 변화율을 나타낸다.
- 전체 미분: 편미분이 모두 존재하고 연속이면, 함수는 해당 점에서 전미분 가능(total differentiable)하다고 한다. 전미분 가능성은 야코비안 행렬(Jacobian matrix)로 표현된다.
주요 예시
- 이차형식: $f(x,y) = x^2 + y^2$ – 두 변수의 제곱합으로, 원의 방정식과 관련된다.
- 지수함수: $f(x,y) = e^{x+y}$ – 두 변수의 합에 대한 지수 함수를 나타낸다.
- 벡터값 함수: $\mathbf{F}(x,y,z) = (yz, xz, xy)$ – $\mathbb{R}^3 \to \mathbb{R}^3$ 형태의 함수로, 물리학에서 전자기장 등을 기술할 때 사용된다.
응용 분야
- 미적분학: 다변수 미분 및 적분 이론은 다중 적분, 그린 정리, 스톡스 정리 등과 연결된다.
- 최적화: 다변수 함수의 극값(최대·최소)을 찾는 문제는 경제학, 공학 설계, 머신러닝 등에서 핵심 역할을 한다.
- 물리학·공학: 열전도, 전자기장, 유체역학 등에서 물리량을 위치와 시간에 따라 기술하기 위해 다변수 함수를 사용한다.
- 통계·데이터 과학: 다변량 확률밀도함수와 회귀모델 등에서 변수 간 상호작용을 모델링한다.
관련 개념
- 다변수 연속성 – 연속성의 정의가 여러 변수에 걸쳐 확장된 형태.
- 편미분 방정식(PDE) – 다변수 함수를 미분 연산자로 연결한 방정식.
- 야코비안(Jacobian) – 다변수 함수의 전미분을 행렬 형태로 표현한 것.
- 헤시안(Hessian) – 스칼라값 다변수 함수의 이차 편미분으로 구성된 대칭 행렬.
다변수 함수는 수학 전반에 걸쳐 기본적인 도구로 활용되며, 그 이론과 응용은 고등 교육 과정 및 연구 분야에서 폭넓게 다루어진다.