October 2025

샤우더의 부동점 정리는 강력하지만, 편미분방정식 등 실제 응용 문제를 해결할 때 한 가지 큰 난관에 부딪힌다. 바로 연산자 \(T\)에 의하여 자기 자신에 대응되는 닫힌 볼록집합 \(K\)를 찾아내는 과정이다. (즉, \(T(K) \subset K\)인 닫힌 볼록집합 \(K\).) 이 집합 \(K\)를 구성하는 것이 매우 까다로울 수 있다. 이러한 어려움을 극복하기 위해 등장한 것이 …

이전 글에서 유한차원 공간에서의 브라우어 부동점 정리를 살펴보았다. 그러나 무한차원 바나흐 공간에서는 닫힌 단위 공이 컴팩트 집합이 아니므로, 단순히 “유계이고 닫힌 볼록 집합”이라는 조건만으로는 부동점의 존재를 보장할 수 없다. 이 문제를 해결하기 위해 율리우스 샤우더(Julius Schauder)는 브라우어의 아이디어를 무한차원으로 확장했다. 핵심은 “정의역이 컴팩트 집합”이거나 또는 “연산자가 컴팩트 연산자”여야 한다는 것이다. …

이전 글에서 살펴본 바나흐의 축소 사상 원리는 함수가 “거리를 줄인다”라는 강력한 조건 아래에서 해의 존재성과 유일성을 모두 보장했다. 그러나 실제 문제 상황에서는 함수가 단순히 연속이기만 하거나, 거리를 줄이지 않는 경우도 많다. 브라우어의 부동점 정리(Brouwer fixed point theorem)는 유한차원 공간에서 “공간의 형태(위상적 성질)”만으로 부동점의 존재를 보장하는 정리이다. 비록 해를 찾는 방법(알고리즘)이나 …

수학에서 많은 문제는 방정식 \(f(x) = y\)의 해 \(x\)를 찾는 문제로 귀결된다. 이 방정식을 \(x = T(x)\)의 형태로 변형하여 생각하면, 해를 찾는 문제는 연산자 \(T\)에 의해 변하지 않는 점, 즉 부동점(fixed point)을 찾는 문제가 된다. 부동점 이론은 이러한 관점에서 방정식의 해의 존재성을 다루는 비선형 함수해석학의 관심 분야이다. 그 중에서도 바나흐 …

이전 글에서 바나흐 공간에서의 미분을 정의하였다. 유한차원 미적분학에서 함수 \(f\)가 \(x\)에서 극값을 가질 필요조건이 \(f'(x) = 0\)인 것처럼, 무한차원 공간에서도 범함수 \(J\)가 \(y\)에서 극값을 가질 필요조건은 \(J'(y) = 0\)이다. 변분법(calculus of variations)은 이러한 원리를 바탕으로, 적분 형태로 표현된 범함수의 최솟값이나 최댓값을 찾는 수학 분야이다. 이 글에서는 변분법의 가장 기본이 되는 …