January 2026

이전 글에서 살펴본 민티-브라우더 정리는 시간 변수가 없는 정적(stationary) 방정식 \(A(u) = f\)의 해를 구할 때 사용하는 도구이다. 그러나 열 전도나 파동의 전파처럼 시간이 흐름에 따라 상태가 변하는 현상을 기술하기 위해서는 시간 미분항이 포함된 발전방정식(evolution equation)을 풀어야 한다. 가장 기본적인 형태는 다음과 같은 1계 코시 문제(abstract Cauchy problem)이다. \[\begin{cases} \frac{du}{dt}(t) …

이전 글에서 단조연산자와 헤미연속성의 개념을 정의하였다. 이제 이 개념을 결합하여 비선형방정식 \(T(u) = f\)의 해의 존재성을 보장하는 민티-브라우더 정리를 살펴보자. 이 정리는 힐베르트 공간에서의 렉스-밀그램 정리(Lax-Milgram theorem)를 비선형 바나흐 공간으로 확장한 것으로 볼 수 있다. 증명의 핵심 아이디어는 유한차원 근사(갈레르킨 방법)를 통해 근사해를 구하고, 단조성을 이용해 극한으로 보내는 것(민티의 기법)이다. …