다변수 미적분학

**다변수 미적분학**(multivariable calculus) 또는 **다변량 미적분학**(multivariate calculus)은 변수가 하나인 미적분학을 여러 변수 함수로 확장한 것이다. 즉, 하나의 변수만 포함하는 함수가 아니라 여러 변수(다변량)를 포함하는 함수의 미분과 적분을 다룬다.

다변수 미적분학은 유클리드 공간 위의 미적분학의 기초적인 부분으로 생각할 수 있다. 3차원 공간에서의 미적분학의 특수한 경우는 종종 벡터 미적분학이라고 불린다.

## 서론
일변수 미적분학에서는 미분과 적분과 같은 연산이 단일 변수의 함수에 대해 이루어진다. 다변수 미적분학에서는 이를 여러 변수로 일반화해야 하며, 정의역은 따라서 다차원이 된다. 따라서 1차원 공간과 고차원 공간 간의 두 가지 주요 차이점 때문에 이러한 일반화에 주의가 필요하다.
# 고차원에서는 단일 점에 접근하는 무한한 방법이 있는 반면, 1차원에서는 두 가지 방법(양의 방향과 음의 방향에서)만 있다.
# 차원과 관련된 여러 확장된 객체가 존재한다. 예를 들어, 1차원 함수는 2차원 데카르트 평면에 곡선으로 표현되지만, 두 변수의 스칼라 값 함수는 3차원 공간의 표면이며, 곡선도 3차원 공간에 존재할 수 있다.

첫 번째 차이점의 결과는 극한과 연속성의 정의의 차이이다. 방향 극한과 도함수는 1차원 매개변수화된 곡선을 따라 극한과 미분을 정의하여 문제를 1차원 경우로 축소한다. 이러한 연산자로부터 더 높은 차원의 객체를 구성할 수 있다.

두 번째 차이점의 결과는 선적분, 면적분, 부피적분을 포함한 여러 유형의 적분이 존재한다는 것이다. 이러한 적분의 비유일성 때문에 부정적분을 제대로 정의할 수 없다.

## 극한
다변수 미적분학에서 극한과 연속성을 연구하면 단일 변수 함수에서는 나타나지 않는 직관에 반하는 많은 결과가 나온다.

경로를 따른 극한은 n차원 유클리드 공간에서 매개변수화된 경로 s(t): \mathbb{R} \to \mathbb{R}^n를 고려하여 정의할 수 있다. 어떤 함수 f(\overrightarrow{x}): \mathbb{R}^n \to \mathbb{R}^m도 f(s(t))와 같이 1차원 함수로 경로에 투영될 수 있다. 따라서 경로 s(t)를 따라 점 s(t_0)으로 향하는 f의 극한은 다음과 같이 정의할 수 있다.

이 극한값은 s(t)의 형태, 즉 선택된 경로에 따라 달라질 수 있으며, 극한이 접근하는 점에만 의존하지 않는다는 점에 유의해야 한다. 예를 들어, 다음 함수를 고려해 보자.

:f(x,y) = \frac{x^2y}{x^4+y^2}.

점 (0,0)에 직선 y=kx를 통해 접근하거나, 매개변수 형태로 접근하면 다음과 같다.

섬네일|함수 의 그래프

그러면 경로를 따른 극한은 다음과 같다.

반면에, 경로 y=\pm x^2 (또는 매개변수적으로 x(t)=t,\, y(t)=\pm t^2)를 선택하면 극한은 다음과 같다.

동일한 점으로 다른 경로를 취하면 다른 값이 나오므로, 함수에 대해 점 (0,0)에서의 일반적인 극한을 정의할 수 없다.

함수 f: \mathbb{R}^n \to \mathbb{R}^m에 대해 x_0 \in \mathbb{R}^n인 어떤 점 x_0으로 향하는 f의 극한이 L이라고 하는 것은 다음과 같은 경우에만 가능하다.

s(t_0)=x_0인 모든 연속 함수 s(t): \mathbb{R} \to \mathbb{R}^n에 대해.

### 연속성
경로를 따른 극한의 개념으로부터, 우리는 다변수 연속성에 대한 정의를 동일한 방식으로 도출할 수 있다. 즉, 함수 f: \mathbb{R}^n \to \mathbb{R}^m에 대해 x_0에서 f가 연속이라고 하는 것은 다음과 같은 경우에만 가능하다.

s(t_0)=x_0인 모든 연속 함수 s(t): \mathbb{R} \to \mathbb{R}^n에 대해.

극한과 마찬가지로, 하나의 경로 s(t)를 따라 연속인 것이 다변수 연속성을 의미하지는 않는다.

각 인수에 대한 연속성이 다변수 연속성을 위한 충분 조건이 아님은 다음 예시에서도 볼 수 있다. 예를 들어, 두 개의 실수 매개변수를 갖는 실수 값 함수 f: \mathbb{R}^2 \to \mathbb{R}, 즉 f(x,y)에 대해, 고정된 y에 대한 x의 f의 연속성과 고정된 x에 대한 y의 f의 연속성이 f의 연속성을 의미하지는 않는다.

다음을 고려하자.
:
f(x,y)=
\begin{cases}
\frac{y}{x}-y & \text{if}\quad 0 \leq y 

이 함수는 사각형 (0,1)\times (0,1)의 경계와 외부에서는 정의에 따라 0임을 쉽게 확인할 수 있다. 또한, 상수 x와 y 및 0 \le a \le 1에 대해 정의된 함수는
:g_a(x) = f(x,a)\quad 및 \quad h_a(y) = f(a,y)\quad
연속이다. 구체적으로,
:g_0(x) = f(x,0) = h_0(0,y) = f(0,y) = 0 for all  and . 따라서, f(0,0)=0이며, 좌표 축을 따라 \lim_{x \to 0} f(x,0) = 0 및 \lim_{y \to 0} f(0,y) = 0이다. 따라서 이 함수는 두 개별 인수를 따라 연속이다.

그러나 매개변수 경로 x(t) = t,\, y(t) = t를 고려해 보자. 매개변수 함수는 다음과 같다.

따라서,

따라서 이 함수는 두 좌표에서 연속임에도 불구하고 다변수 연속이 아님이 분명하다.

### 다변수 극한과 연속성에 관한 정리
* 일변수 미적분학의 모든 선형성과 중첩의 속성은 다변수 미적분학으로 이어진다.
* **합성**: f: \mathbb{R}^n \to \mathbb{R}^m와 g: \mathbb{R}^m \to \mathbb{R}^p가 각각 점 x_0 \in \mathbb{R}^n와 f(x_0) \in \mathbb{R}^m에서 다변수 연속 함수이면, g \circ f: \mathbb{R}^n \to \mathbb{R}^p도 점 x_0에서 다변수 연속 함수이다.
* **곱셈**: f: \mathbb{R}^n \to \mathbb{R}와 g: \mathbb{R}^n \to \mathbb{R}가 모두 점 x_0 \in \mathbb{R}^n에서 연속 함수이면, fg: \mathbb{R}^n \to \mathbb{R}는 x_0에서 연속이고, g(x_0) \neq 0인 경우 f/g : \mathbb{R}^n \to \mathbb{R}도 x_0에서 연속이다.
* f: \mathbb{R}^n \to \mathbb{R}가 점 x_0 \in \mathbb{R}^n에서 연속 함수이면, |f|도 동일한 점에서 연속이다.
* f: \mathbb{R}^n \to \mathbb{R}^m가 점 x_0 \in \mathbb{R}^n의 근방에서 립시츠 연속 (필요에 따라 적절한 노름 공간 포함)이면, f는 x_0에서 다변수 연속이다.

f에 대한 립시츠 연속성 조건으로부터 우리는 다음을 얻는다.

여기서 K는 립시츠 상수이다. 또한 s(t)가 t_0에서 연속이므로, 모든 \delta > 0에 대해 |t-t_0| 을 만족하는 모든 t에 대해 |s(t)-s(t_0)| 인 \epsilon > 0이 존재한다.

따라서, 모든 \alpha > 0에 대해 \delta = \frac{\alpha}{K}를 선택한다. 그러면 \epsilon > 0이 존재하여 |t-t_0| 을 만족하는 모든 t에 대해 |s(t)-s(t_0)| 이고, |f(s(t)) - f(s(t_0))| \leq K|s(t)-s(t_0)| 이다. 따라서 \lim_{t \to t_0} f(s(t))는 s(t)의 정확한 형태에 관계없이 f(s(t_0))로 수렴한다.

## 미분

### 방향도함수
일변수 함수의 도함수는 다음과 같이 정의된다.

위에서 논의한 극한의 확장을 사용하여, 스칼라 값 함수 f: \mathbb{R}^n \to \mathbb{R}의 도함수 정의를 어떤 경로 s(t): \mathbb{R} \to \mathbb{R}^n를 따라 확장할 수 있다.

극한과는 달리, 도함수는 경로 s(t)의 정확한 형태에 따라 달라지는 것이 아니라, f가 s(t_0)에서 립시츠 연속이고, 적어도 하나의 그러한 경로에 대해 극한이 존재한다면, s(t_0)에서의 경로의 접선 벡터, 즉 s'(t_0)에만 의존한다는 것을 보일 수 있다.

첫 번째 도함수까지 연속인 s(t)에 대해 (이 진술은 s가 한 변수의 함수이므로 잘 정의됨), 우리는 테일러 정리를 사용하여 t_0 주변의 s의 테일러 전개를 쓸 수 있다.

여기서 \tau \in [t_0,t]이다.

이를 에 대입하면,

여기서 \tau(h) \in [t_0,t_0+h]이다.

립시츠 연속성은 어떤 유한한 K에 대해 |f(x)-f(y)| \leq K|x-y|를 제공한다. 따라서 |f(x+O(h))-f(x)| \sim O(h)이다.

또한 s'(t)의 연속성을 고려하면 h \to 0일 때 s'(\tau) = s'(t_0)+O(h)이다.

이 두 조건을 에 대입하면,

그 극한은 지배적인 항으로서 s'(t_0)에만 의존한다.

따라서 방향도함수의 정의를 다음과 같이 일반화할 수 있다. 점 x_0 \in \mathbb{R}^n에서 단위 벡터 \hat{\bold{u}}를 따른 스칼라 값 함수 f:\mathbb{R}^n \to \mathbb{R}의 방향도함수는

} f(x_0) = \lim_{t \to 0} \frac{f(x_0+\hat{\bold{u}} t) - f(x_0)}{t}|}}

또는 일반 미분으로 표현하면,

} f(x_0) = \left . \frac{df(x_0+\hat{\bold{u}}t)}{dt} \right |_{t=0}|}}

이는 f(x_0+\hat{\bold{u}}t)가 t에 대한 한 변수의 스칼라 함수이므로 잘 정의된 표현이다.

방향 없이 유일한 스칼라 미분을 정의하는 것은 불가능하다. 예를 들어 \nabla_{\hat{\bold{u}}}f(x_0) = - \nabla_{-\hat{\bold{u}}}f(x_0)임이 분명하다. 또한 어떤 방향에 대해서는 방향도함수가 존재하지만 다른 방향에 대해서는 존재하지 않을 수도 있다.

### 편미분

편미분은 미분 개념을 고차원으로 일반화한다. 다변수 함수의 편미분은 다른 모든 변수를 상수로 고정하고 한 변수에 대해 수행되는 미분이다.

편미분은 좌표 축을 따른 함수의 방향도함수로 생각할 수 있다.

편미분은 흥미로운 방식으로 결합되어 더 복잡한 미분 표현을 생성할 수 있다. 벡터 미적분학에서는 델 연산자(\nabla)를 사용하여 기울기, 발산, 회전의 개념을 편미분으로 정의한다. 편미분 행렬인 **[[야코비 행렬|야코비]]** 행렬은 임의의 차원을 가진 두 공간 사이의 함수의 도함수를 나타내는 데 사용될 수 있다. 따라서 도함수는 함수의 정의역 내에서 점마다 직접적으로 변하는 선형 변환으로 이해될 수 있다.

편미분을 포함하는 미분방정식을 편미분 방정식 또는 PDE라고 한다. 이러한 방정식은 단일 변수에 대한 미분만을 포함하는 상미분 방정식보다 일반적으로 풀기 더 어렵다.

## 중적분

중적분은 적분 개념을 임의의 변수 수의 함수로 확장한다. 이중 적분과 삼중 적분은 평면과 공간에서 영역의 넓이와 부피를 계산하는 데 사용될 수 있다. 푸비니 정리는 적분 피적분 함수가 적분 영역 전체에서 연속인 한, 중적분이 반복 적분 또는 이중 적분으로 평가될 수 있음을 보장한다.

면적분과 선적분은 곡선 다양체, 예를 들어 표면과 곡선 위에서 적분하는 데 사용된다.

### 다차원 미적분학의 기본 정리
일변수 미적분학에서 미적분학의 기본 정리는 도함수와 적분 사이의 연관성을 설정한다. 다변수 미적분학에서 도함수와 적분 사이의 연관성은 벡터 미적분학의 적분 정리에 의해 구현된다.
* 선적분의 기본정리
* 스토크스의 정리
* 발산 정리
* 그린 정리.

다변수 미적분학의 고급 연구에서는 이 네 가지 정리가 미분 형식의 다양체에 대한 적분에 적용되는 더 일반적인 정리인 일반화된 스토크스 정리의 특정 구현임을 알 수 있다.

## 응용 및 활용
다변수 미적분학 기술은 물질 세계의 많은 흥미로운 대상을 연구하는 데 사용된다. 특히,

다변수 미적분학은 여러 자유도를 가진 결정론적 시스템을 분석하는 데 적용될 수 있다. 각 자유도에 해당하는 독립변수를 가진 함수는 종종 이러한 시스템을 모델링하는 데 사용되며, 다변수 미적분학은 시스템 다이내믹스를 특성화하기 위한 도구를 제공한다.

다변량 미적분학은 연속 시간 동역학계의 최적 제어에 사용된다. 또한 다양한 경험적 데이터 집합 간의 관계를 추정하는 공식을 도출하기 위해 회귀 분석에 사용된다.

다변수 미적분학은 자연과학과 사회과학 및 공학의 많은 분야에서 결정론적 행동을 보이는 고차원 시스템을 모델링하고 연구하는 데 사용된다. 예를 들어 경제학에서는 다양한 상품에 대한 소비자 선택과 다양한 투입물을 사용하고 산출물을 생산하는 생산자 선택이 다변수 미적분학으로 모델링된다.

비결정론적, 즉 확률적 시스템은 확률미적분학과 같은 다른 종류의 수학을 사용하여 연구할 수 있다.

## 같이 보기
* 다변수 미적분학 주제 목록
* 다변량 통계

## 각주

## 외부 링크

* UC Berkeley Multivariable Calculus, 2009년 가을, 에드워드 프렌켈 교수 강의 영상
* MIT Multivariable Calculus, 2007년 가을 강의 영상
* Multivariable Calculus: 조지 케인(George Cain)과 제임스 헤로드(James Herod)의 무료 온라인 교과서
* Multivariable Calculus Online: 제프 니즐리(Jeff Knisley)의 무료 온라인 교과서
* Multivariable Calculus – A Very Quick Review, 블레어 페로 교수, 매사추세츠 대학교 애머스트
* Multivariable Calculus, 제리 슈어먼 박사의 온라인 텍스트