라그랑주 보간법편집자 확인

라그랑주 보간법은 수치해석과 대수학에서 사용되는 중요한 보간 기법이다. 이 방법은 서로 다른 n+1개의 점 (x1, y1), ..., (xn+1, yn+1)이 주어져 있을 때, 이 모든 점을 정확히 지나는 n차 이하의 다항식을 구하는 공식을 제공한다. 이 공식은 조제프루이 라그랑주의 이름을 따서 명명되었다.

이 방법의 핵심 구성 요소는 라그랑주 기저 다항식과 라그랑주 보간 다항식이다. 기저 다항식은 특정 점에서만 값이 1이 되고 다른 주어진 점에서는 0이 되는 성질을 가지며, 이들의 선형 결합으로 최종 보간 다항식을 구성한다. 이론적으로 선형대수학의 벡터 공간과 기저의 개념을 통해 엄밀하게 설명될 수 있으며, 방데르몽드 행렬과도 깊은 연관성을 가진다.

라그랑주 보간법의 주요 용도는 주어진 이산적인 데이터 점들을 통해 연속적인 다항식 곡선을 찾는 것이다. 이는 공학, 컴퓨터 그래픽스, 과학 계산 등 다양한 분야에서 데이터의 근사화나 예측에 활용된다. 예를 들어, 심프슨의 적분 법칙과 같은 수치 적분 공식을 증명하는 데에도 사용될 수 있다.

라그랑주 보간법은 선형대수학의 관점에서 벡터공간과 기저의 개념을 이용해 체계적으로 설명할 수 있다. n차 이하의 다항식 전체의 집합을 P_n(F)라 할 때, 이 집합은 차원이 n+1인 벡터공간을 이룬다. 이 공간의 한 가지 표준적인 기저는 {1, x, x^2, ..., x^n}이다.

주어진 서로 다른 n+1개의 점 x_1, x_2, ..., x_{n+1}에 대해, 각 점에서 함수값을 대응시키는 평가 사상 L_i(p) = p(x_i)는 P_n(F)의 쌍대공간의 원소, 즉 선형범함수가 된다. 라그랑주 보간법의 핵심은 이 선형범함수들 L_1, ..., L_{n+1}에 대한 쌍대기저를 P_n(F) 안에서 직접 구성하는 것이다. 이 쌍대기저가 바로 라그랑주 기저 다항식 p_i(x)들이다.

각 기저 다항식 p_i(x)는 p_i(x_j) = δ_ij (크로네커 델타)라는 성질, 즉 i=j일 때는 1, i≠j일 때는 0의 값을 가지도록 설계된다. 이 성질은 선형범함수 L_j에 대해 L_j(p_i) = δ_ij가 성립함을 의미하며, 이는 {p_i}가 {L_i}의 쌍대기저임을 보여준다. 따라서, 임의의 다항식 p(x) ∈ P_n(F)는 이 기저들로 유일하게 표현될 수 있고, 그 계수는 p(x_i) = y_i 값들이 된다. 이로부터 주어진 점들을 모두 지나는 보간 다항식 p(x) = Σ y_i * p_i(x)가 유일하게 존재함이 선형대수학의 언어로 엄밀하게 유도된다.

라그랑주 보간법의 기저 변환 관점은 방데르몽드 행렬과 밀접하게 연결된다. 서로 다른 점 x1부터 xn+1까지 주어졌을 때, 다항식 공간 Pn(F)의 두 기저를 고려할 수 있다. 하나는 단항식으로 이루어진 표준 기저 β = {1, x, x^2, ..., x^n}이고, 다른 하나는 라그랑주 기저 다항식으로 이루어진 기저 β' = {p1(x), ..., pn+1(x)}이다.

표준 기저의 각 원소인 xi (0 ≤ i ≤ n)는 주어진 점 (xj, xj^i)를 지나는 n차 이하의 다항식이다. 따라서 라그랑주 보간법에 의해, 각 xi는 라그랑주 기저 다항식의 선형결합으로 유일하게 표현된다. 구체적으로 xi = Σ (j=1부터 n+1까지) xj^i * pj(x)가 성립한다. 이 관계는 곧 두 기저 사이의 변환을 정의한다.

이때, 계수 xj^i들로 구성된 (n+1)×(n+1) 행렬이 바로 방데르몽드 행렬이다. 이 행렬의 i번째 행, j번째 열의 성분은 xj^(i-1)이다. 즉, 이 방데르몽드 행렬은 표준 기저 β에 대한 라그랑주 기저 β'의 좌표를 제공하며, 기저 β에서 기저 β'로의 기저 변환 행렬의 역할을 한다. 이 연결을 통해 라그랑주 보간법을 선형대수학의 언어로 엄밀하게 해석할 수 있으며, 방데르몽드 행렬의 가역성[1]이 라그랑주 기저 다항식 집합이 실제로 기저를 이룬다는 사실과 동치임을 보여준다.

라그랑주 보간법은 주어진 점을 지나는 다항식을 구하는 기본적인 방법으로, 수치해석과 공학 분야에서 널리 활용된다. 특히 실험 데이터나 샘플링된 데이터를 기반으로 연속적인 함수를 근사할 때 유용하다. 컴퓨터 그래픽스에서는 곡선과 곡면을 모델링하는 데 사용되며, 디지털 신호 처리에서는 이산적인 데이터 포인트 사이의 값을 추정하는 보간 기법의 기초가 된다.

구체적인 활용 예로는 심프슨 공식의 유도가 있다. 심프슨 공식은 수치적분을 위한 방법으로, 세 개의 점을 지나는 2차 다항식(포물선)으로 함수를 근사한 후 그 면적을 계산한다. 이때 세 점을 지나는 2차 다항식을 구하는 과정에 라그랑주 보간법이 직접적으로 적용된다. 이 외에도 유한 차분법이나 스플라인 보간법과 같은 고급 수치 방법의 이론적 토대를 제공하기도 한다.

이처럼 라그랑주 보간법은 다항식을 통한 간단하면서도 강력한 보간 도구로서, 이론 수학을 넘어 다양한 응용 과학 및 공학 분야의 계산 문제를 해결하는 데 기초적인 역할을 한다.

라그랑주 보간법은 조제프루이 라그랑주의 이름을 따 명명되었지만, 그가 이 방법을 처음으로 발견한 것은 아니다. 이 공식은 라그랑주보다 훨씬 이전인 1779년에 에드워드 웨어링에 의해, 그리고 1783년에는 레온하르트 오일러에 의해 독립적으로 이미 발표된 바 있다. 그럼에도 불구하고 이 방법이 라그랑주의 이름으로 널리 알려지게 된 것은, 그가 1795년에 출판한 저서에서 이 보간법을 체계적으로 소개하고 널리 보급시켰기 때문이다.

이 방법은 수치해석 분야에서 다항식 보간의 기본 도구로 자리 잡았지만, 몇 가지 실용적인 한계도 지닌다. 새로운 점이 추가될 때마다 모든 기저 다항식을 처음부터 다시 계산해야 하므로, 점의 개수가 동적으로 변하는 상황에서는 계산 효율이 떨어진다. 이러한 단점을 보완하기 위해 뉴턴 다항식 형태의 보간법이 개발되었다. 또한, 고차수의 다항식으로 보간을 수행할 경우 룽게 현상으로 인해 구간 끝부분에서 진동이 심해져 오차가 커질 수 있어 주의가 필요하다.

• 위키백과 - 라그랑주 다항식

• 위키백과 - 보간법

• 위키백과 - 방데르몽드 행렬

• 위키백과 - 다항식 보간

• 위키백과 - 뉴턴 다항식

• 위키백과 - 스플라인 보간법

• Wolfram MathWorld - Lagrange Interpolating Polynomial

• Brilliant - Lagrange Interpolation