# 변분법 (Calculus of Variations)

#### 변분법의 기초 개념

변분법(Calculus of Variations)은 함수의 집합에서 함수들 간의 변화를 다루며, 주어진 목적 함수의 극값을 찾는 수학적 방법론이다. 일반적인 미분법이 함수의 극값을 찾는 것과 유사하지만, 변분법은 함수 자체가 아닌 함수들의 집합에 대한 극값 문제를 다룬다. 주어진 함수의 변분은 함수의 극대값 또는 극소값을 찾는 데 중요한 역할을 한다.

변분법에서 주로 다루는 문제는 다음과 같이 정의된다. 주어진 함수 $ J\[y(x)] $가 있을 때, 이 함수의 값을 최소화하거나 최대화하는 $ y(x) $를 찾는 것이다. 여기서 $ J\[y(x)] $는 일반적으로 다음과 같은 형태를 가진다:

$$
J\[y(x)] = \int\_{a}^{b} F(x, y(x), y'(x)) , dx
$$

이때 $ F $는 목적 함수로, 이 함수의 변분을 최소화하거나 최대화하는 함수 $ y(x) $를 찾는 것이 변분법의 핵심 목표이다.

#### 오일러-라그랑주 방정식

변분법의 핵심 결과 중 하나는 오일러-라그랑주 방정식(Euler-Lagrange Equation)이다. 이는 목적 함수 $ J\[y(x)] $가 주어졌을 때, 이를 극대화하거나 극소화하는 $ y(x) $가 만족해야 하는 필요 조건을 제공한다.

오일러-라그랑주 방정식은 다음과 같이 유도된다:

$$
\frac{d}{dx}\left(\frac{\partial F}{\partial y'}\right) - \frac{\partial F}{\partial y} = 0
$$

이 방정식은 목적 함수 $ J\[y(x)] $가 극값을 가질 때, 해당 함수 $ y(x) $가 만족해야 하는 미분 방정식을 나타낸다.

#### 변분의 첫 번째 변분과 두 번째 변분

변분법에서 첫 번째 변분과 두 번째 변분의 개념은 매우 중요하다. 첫 번째 변분은 주어진 함수 $ y(x) $에서의 작은 변화 $ \delta y(x) $가 목적 함수 $ J\[y(x)] $에 미치는 영향을 측정한다. 이는 다음과 같이 정의된다:

$$
\delta J = \int\_{a}^{b} \left(\frac{\partial F}{\partial y} \delta y + \frac{\partial F}{\partial y'} \delta y'\right) dx
$$

두 번째 변분은 첫 번째 변분의 결과를 바탕으로, 목적 함수의 변화를 보다 정확히 측정한다. 이는 주로 극값이 극대인지 극소인지를 구분하는 데 사용된다.

#### 자유 경계 문제

변분법은 고정 경계 조건을 가지는 문제뿐만 아니라, 자유 경계 조건을 가지는 문제에도 적용될 수 있다. 자유 경계 문제는 경계 조건이 고정되지 않고 변할 수 있는 경우를 다룬다. 이 경우, 경계에서의 변분 조건을 추가로 고려해야 한다. 자유 경계 문제의 해법은 보통 경계 조건에 대한 오일러-라그랑주 방정식을 풀어서 얻는다.

#### 변분법의 확장

변분법은 다양한 방식으로 확장될 수 있다. 예를 들어, 여러 개의 함수에 대한 목적 함수 또는 고차 변수를 포함하는 목적 함수 등 더 복잡한 시스템에도 적용이 가능하다. 이런 확장된 문제를 다루기 위해서는 오일러-라그랑주 방정식의 일반화된 형태를 사용해야 한다.

복잡한 함수 공간에서의 변분법은 반딧불리 함수(Functional)로 불리는 개념으로 확장될 수 있으며, 이론적으로 더욱 깊이 있는 분석이 필요하다. 이러한 분석은 보통 위상수학(Topology) 및 함수해석학(Functional Analysis)과 같은 고급 수학적 개념을 필요로 한다.