변분법
변분법은 적분 범함수(integral functional)를 극대화하거나 극소화하는 함수를 찾는 학문으로, 일반적인 최대화 및 최소화 개념을 점(point)에서 곡선(curve)과 장(field)으로 일반화합니다.
Definition
변분법은 함수에 숫자를 할당하는 범함수(functional)를 연구하며, 경계 조건(boundary conditions) 및 부가 조건(side conditions) 하에서 범함수가 정지(stationary)하거나 극값(extreme value)을 갖는 함수를 찾습니다.
Scope
이 분야는 극값(extremal)의 필요조건으로서 오일러-라그랑주 방정식(Euler-Lagrange equations)의 도출, 제약 조건(constraints) 및 자유 경계(free boundaries)가 있는 변분 문제, 최소값을 위한 이차 변분(second-variation) 및 볼록성 조건(convexity conditions), 최소값 존재를 확립하는 직접법(direct method), 그리고 해밀턴 역학(Hamiltonian mechanics) 및 최적 제어(optimal control)와의 연관성을 다룹니다.
Sub-topics
Core questions
- 주어진 적분 범함수를 정지시키는 함수는 무엇인가?
- 최소값을 식별하는 필요충분조건은 무엇인가?
- 최소값은 실제로 언제 존재하는가?
- 변분 원리는 물리학의 법칙을 어떻게 부호화하는가?
Key theories
- 오일러-라그랑주 방정식
- 적분 범함수를 극대화하거나 극소화하는 함수는 오일러-라그랑주 미분 방정식을 만족해야 하며, 이는 도함수를 0으로 설정하는 것의 변분적 유사체입니다.
- 직접법
- 최소값의 존재는 최소화 수열(minimizing sequence)을 취하고 콤팩트성(compactness)과 하반연속성(lower semicontinuity)을 사용하여 확립되며, 오일러-라그랑주 방정식의 명시적인 해법을 우회합니다.
- 물리학의 변분 원리
- 해밀턴의 정지 작용 원리(principle of stationary action)는 역학과 장 이론(field theory)을 변분 문제로 재구성하여, 변분법을 통해 이들의 지배 방정식을 통합합니다.
Clinical relevance
변분법은 최소 작용(least-action) 및 최소 에너지 원리(minimal-energy principles)를 통해 물리학의 근본적인 법칙을 표현하며, 최적 제어, 최소 곡면(minimal surfaces) 및 측지선(geodesics)의 기하학, 영상 처리(image processing), 그리고 공학의 유한 요소법(finite-element method)의 기반이 됩니다.
History
이 주제는 1696년 요한 베르누이(Johann Bernoulli)가 제기한 최단 강하 곡선 문제(brachistochrone problem)에서 시작되었습니다. 오일러(Euler)와 라그랑주(Lagrange)는 18세기에 일반 이론과 오일러-라그랑주 방정식을 개발했으며, 해밀턴(Hamilton)은 역학을 변분적으로 재구성했습니다. 20세기 힐베르트(Hilbert)의 직접법과 그의 23번째 문제는 존재론(existence theory)을 활성화시켰습니다.
Key figures
- Leonhard Euler
- Joseph-Louis Lagrange
- William Rowan Hamilton
- David Hilbert
Related topics
Seminal works
- gelfand1963
- courant1953
- dacorogna2008
Frequently asked questions
- 변분법은 일반 미적분학과 어떻게 다른가?
- 일반 미적분학은 함수가 가장 크거나 가장 작은 점을 찾는 반면, 변분법은 적분을 극대화하거나 극소화하는 곡선이나 표면과 같은 전체 함수를 찾습니다. 미지수는 숫자가 아닌 함수이며, 극값 조건은 미분 방정식입니다.
- 최소 작용의 원리란 무엇인가?
- 이는 시스템의 운동이 작용(action)이라고 불리는 양을 정지시킨다는 물리적 진술입니다. 작용에 변분법을 적용하면 운동 방정식이 도출되므로, 고전 물리학과 양자 물리학의 많은 부분이 단일 변분 원리에서 파생될 수 있습니다.