반-암시적 오일러 방법(Semi-implicit Euler method)은 상미분 방정식의 수치 해법 중 하나로, 고전적인 오일러 방법을 변형한 방식이다. 주로 해밀턴 역학계나 물리 엔진과 같이 보존 법칙이 중요한 시스템의 수치 적분에 널리 사용된다. 뉴턴-스토머-벌레(Newton–Størmer–Verlet) 방법 또는 심플렉틱 오일러(Symplectic Euler) 방법으로도 불린다.
일반적인 명시적 오일러 방법(Explicit Euler method)은 현재 단계의 상태 값을 기반으로 다음 단계의 값을 계산하는 반면, 반-암시적 오일러 방법은 변수 중 일부는 현재 단계의 값을 사용하여 업데이트하고, 나머지 변수는 앞서 업데이트된 새로운 값을 사용하여 계산하는 혼합된 방식을 취한다.
예를 들어, 위치($x$)와 속도($v$)로 구성된 1차 미분 방정식 시스템에서 수식은 다음과 같이 표현된다.
- $v_{n+1} = v_n + a(x_n, t_n) \Delta t$
- $x_{n+1} = x_n + v_{n+1} \Delta t$
여기서 속도($v$)는 현재의 위치($x_n$)를 기반으로 먼저 계산되며, 새로운 위치($x_{n+1}$)는 방금 계산된 다음 단계의 속도($v_{n+1}$)를 사용하여 도출된다. 이 과정에서 계산 순서를 바꾸어 위치를 먼저 업데이트한 후 그 값을 속도 업데이트에 사용할 수도 있다.
이 방법의 주요 특징은 다음과 같다.
- 심플렉틱 성질(Symplectic property): 에너지 보존 법칙이 작용하는 계에서 총 에너지가 발산하지 않고 일정 범위 내에서 유지되는 특성을 가진다. 이는 명시적 오일러 방법이 시간이 지남에 따라 에너지가 증가하여 시스템이 불안정해지는 단점을 보완한다.
- 수치적 안정성: 진동하는 시스템(예: 용수철, 행성의 궤도)을 시뮬레이션할 때 명시적 오일러 방법보다 훨씬 안정적인 결과를 제공한다.
- 정확도: 명시적 오일러 방법과 마찬가지로 1차 정확도(First-order accuracy)를 가지지만, 물리적 보존 특성 덕분에 실무적인 시뮬레이션에서는 더 높은 차수의 방법들과 비교되기도 한다.
- 활용 분야: 계산 복잡도가 낮으면서도 안정성이 높아 실시간 물리 시뮬레이션, 게임 엔진(물체 충돌 및 운동 계산), 천체 역학 등에서 기본적으로 활용된다.
