수치해석

개요: 본 수업은 이론적 미적분학과 실제 수치 계산 사이의 기초적 연결고리를 마련합니다. 오차 추정에 사용되는 중요한 미적분학 정리들—테일러 정리, 평균값 정리—를 검토한 후 컴퓨터 산술의 제약으로 넘어갑니다. 학생들은 오차를 정량화하고, 유효 자릿수 소실의 원인(예: 의미 있는 자릿수의 상쇄)을 식별하며, 오르도 표기법(빅 오)을 사용하여 알고리즘의 효율성을 평가하는 법을 배웁니다.

학습 결과:

• 중간값 정리와 롤의 정리를 적용하여 해의 존재성과 유일성을 입증합니다.
• 테일러 다항식을 구성하고 나머지 항을 사용하여 수치 근사의 엄격한 오차 한계를 설정합니다.
• 반올림과 절삭 산술의 차이를 구분하고 부동소수점 시스템에서 절대 오차와 상대 오차를 계산합니다.

개요: 본 수업은 함수 f(x) = 0의 영점을 찾는 수치적 기법을 탐구합니다. 과학 컴퓨팅에서 기본적인 문제이며, 안정적이지만 느린 이분법부터 빠르게 수렴하는 뉴턴 방법 및 그 변형(할선, 가짜 위치)까지의 방법을 다룹니다. 또한 반복 수렴의 오차 분석, 다중 근 처리 기법, 멀러의 방법과 호너의 방법과 같은 다항식 전용 알고리즘과 같은 고급 주제도 다룹니다.

학습 결과:

• 이분법, 고정점 반복, 뉴턴, 할선, 가짜 위치 방법을 사용하여 근을 근사합니다.
• 다양한 반복 방법의 수렴 차수와 오차 한계를 분석합니다.
• 아이트켄의 \Delta^2 및 스텐프슨의 방법을 사용하여 선형 수열의 수렴 속도를 가속화합니다.

개요: 본 수업은 연속 함수를 대수적 다항식으로 근사하는 방법을 탐구합니다. 바이어슈트라스 근사 정리의 이론적 기반을 시작으로, 라그랑주와 뉴턴 형태의 보간, 네빌의 반복적 방법, 헤르미트 다항식까지 진행됩니다. 마지막으로 3차 스플라인 보간과 매개변수 곡선을 다루며, 고차 전역 다항식이 실용적 응용(곡선 적합 등)에서 발생하는 진동 문제를 피하기 위해 조각 다항식을 사용하는 방법을 보여줍니다.

학습 결과:

• 바이어슈트라스 근사 정리를 서술하고, 함수 근사에 대한 의미를 설명합니다.
• 주어진 데이터 세트에 대해 라그랑주, 뉴턴의 제차차분, 헤르미트 보간 다항식을 구성합니다.
• 네빌의 방법을 사용하여 반복적으로 다항식 근사를 생성합니다.

개요: 본 수업은 해석적 해가 어렵거나 불가능한 수학 문제를 해결하기 위해 필수적인 도구인 미분과 적분의 수치적 근사 방법을 다룹니다. 3점 공식과 리처드슨 외삽법을 통해 고정밀 미분을 탐구하고, 뉴턴-코테스 적분 기법(사다리꼴 규칙, 심슨 규칙)을 거쳐 로마버그, 적응형, 가우스 적분과 같은 고급 사각형 방법을 익힙니다. 마지막으로 이중 적분과 비정상 적분의 수치적 처리를 다룹니다.

학습 결과:

• 수치 미분 공식(3점 형식)의 도출 및 오차 추정을 수행합니다.
• 리처드슨 외삽법을 구현하여 수치 근사의 정확도 차수를 증가시킵니다.
• 복합 수치 적분 규칙과 적응형 사각형법을 구현하여 복잡한 함수 변화를 다룹니다.

개요: 본 수업은 초기값 문제(IVP)의 수치적 해를 다룹니다. 잘 정의된 문제성과 리프시츠 조건의 이론적 기반을 시작으로, 오일러 방법과 같은 초보적 방법에서 룬게-쿠타, 다단계 방법, 외삽, 안정성 분석까지 발전된 기법을 다룹니다. 마지막으로 다변수 미분방정식 시스템과 강하(스티프) 방정식이 초래하는 특수한 도전 과제를 다룹니다.

학습 결과:

• 리프시츠 조건과 존재-유일성 정리로 초기값 문제가 잘 정의되어 있는지 판단합니다.
• 단일 단계 방법(오일러, 테일러, 룬게-쿠타)과 다단계 방법(아담스-바시포스, 아담스-مول턴)의 오차를 구현하고 분석합니다.
• 룬게-쿠타-페흐르버그, 변수 단계 크기 등의 적응 기법과 외삽을 사용하여 특정 오차 허용 범위 내에서 상미분 방정식을 해결합니다.

개요: 본 수업은 선형 방정식계를 해결하기 위한 체계적인 알고리즘적 접근을 다룹니다. 기본적인 가우스 소거법에서 시작하여 고급 행렬 분해 기법까지 전개합니다. 학생들은 피봇팅을 통해 수치적 안정성을 유지하는 전략, 행렬의 대수적 성질(역행렬, 행렬식), 그리고 공학 및 과학적 맥락에서 효율적인 계산을 위해 LU, LDL^t, 코레스키, 크루트 분해와 같은 특수한 분해를 구현합니다.

학습 결과:

• 역대입을 포함한 가우스 소거법을 수행하고 운영 복잡도를 평가합니다.
• 부분 피봇팅과 척도화된 부분 피봇팅 전략을 구현하여 반올림 오차를 최소화합니다.
• 행렬의 역행렬과 행렬식을 행 연산과 여인자들을 이용해 계산합니다.

개요: 본 수업은 큰 선형 방정식계를 해결하기 위한 직접적 방법에서 반복적 방법으로의 전환을 다룹니다. 벡터와 행렬의 크기를 노름을 통해 측정하고, 스펙트럼 반경을 통해 수렴 조건을 결정하며, 자코비, 가우스-세이델, 순차 과잉완화(SOR)와 같은 기본 반복 알고리즘을 구현합니다. 또한 반복 보정, 오차 한계, 그리고 조건부 전처리를 통한 매우 효율적인 공액 근법을 다룹니다.

학습 결과:

• 벡터와 행렬의 노름(l_2 및 l_\infty)을 계산하고, 행렬의 스펙트럼 반경을 결정하여 수렴 여부를 평가합니다.
• 자코비, 가우스-세이델, SOR 반복 기법을 구현하고 A\mathbf{x} = \mathbf{b}를 해결하기 위해 비교합니다.
• 조건 수를 사용하여 오차 한계를 추정하고 반복 보정을 적용하여 근사 해의 정확도를 향상시킵니다.

개요: 본 수업은 정확한 표현이 불가능하거나 계산적으로 비효율적인 경우 함수와 데이터 세트를 근사하는 방법을 탐구합니다. 이산 최소제곱(Discrete Least Squares)을 통해 오차를 최소화하고, 직교 및 체비셰프 다항식의 효율성을 활용하며, 이를 유리 및 삼각함수 근사로 확장하고, 최고 성능의 빠른 푸리에 변환(FFT) 알고리즘으로 마무리합니다.

학습 결과:

• 이산 선형 및 다항식 최소제곱 근사에 대한 정규 방정식을 구성하고 해결합니다.
• 그람-슈미트 과정을 사용하여 직교 다항식 기저를 생성하여 불안정한 시스템을 피합니다.
• 체비셰프 다항식을 사용하여 최대 보간 오차를 최소화하고 다항식 경제화를 수행합니다.

개요: 본 수업은 고유값을 근사하는 수치적 기법에 집중합니다. 대규모 행렬에서는 특성 다항식의 기호적 근을 구하는 것이 계산적으로 비용이 많이 들거나 불가능하므로, 이를 넘어서는 접근이 필요합니다. 학생들은 게르쇼르린 원정리로 고유값을 복소평면에서 국소화하고, 파워 방법과 역파워 방법을 사용하여 주도 고유값과 특정 고유값을 찾으며, 하우스홀더 및 QR 알고리즘, 특이값 분해(SVD)를 통해 포괄적인 행렬 분석을 수행합니다.

학습 결과:

• 게르쇼르린 원정리로 고유값을 복소평면에서 국소화합니다.
• 아이트켄의 가속화를 적용한 파워 방법과 역파워 방법을 구현하여 주도 고유값과 이동된 고유값을 찾습니다.
• 하우스홀더 방법을 사용하여 대칭 행렬을 삼각형 행렬로 축소하고, QR 알고리즘을 통해 모든 고유값을 찾습니다.

개요: 본 수업은 단일 변수의 근 찾기에서 다변수 비선형 방정식계를 해결하는 것으로 전환합니다. 벡터 \mathbf{x}가 \mathbf{F}(\mathbf{x}) = \mathbf{0}을 만족하도록 찾는 것이 주요 목적입니다. 여러 변수에 대한 고정점 반복, 자코비안 기반 뉴턴 방법, 계산 효율성이 뛰어난 준뉴턴 방법(특히 브로이든 방법), 그리고 초기 근사값을 찾거나 표준 방법이 실패하는 시스템을 다룰 때 유용한 절강 경로법과 동형 연속법을 탐색합니다.

학습 결과:

• 여러 변수 함수에 대한 고정점 반복을 정의하고 적용하며, 정리 10.6을 사용하여 수렴 조건을 결정합니다.
• 비선형 시스템의 자코비안 행렬을 구성하고, 뉴턴 방법을 구현하여 2차 수렴을 달성합니다.
• 샤먼-모리슨 공식을 사용하여 자코비안 역행렬을 효율적으로 갱신하는 브로이든 방법을 실행합니다.

개요: 본 수업은 두 번째 차수의 경계값 문제(BVP)의 수치적 해법을 다룹니다. 초기값 문제와 달리, 조건이 서로 다른 지점에 주어집니다. 학생들은 선형 및 비선형 사격법을 사용하여 BVP를 해결 가능한 시스템으로 변환하고, 유한차분법을 통한 이산 근사, 레일리-리츠 방법을 통한 변분 기법을 익힙니다. 이러한 방법은 구조공학(보의 처짐) 및 물리학(전기적 잠재 에너지)에서의 현실 문제 해결에 필수적입니다.

학습 결과:

• 정리 11.1을 적용하여 경계값 문제의 해의 존재성과 유일성을 판단합니다.
• 선형 사격법을 사용하여 2차 BVP를 두 개의 초기값 문제(IVP)로 변환합니다.
• 비선형 사격 문제를 반복적으로 해결하기 위해 뉴턴 방법을 구현합니다.

개요: 본 수업은 3종류의 주요 편미분 방정식(PDE): 타원형, 포물선형, 쌍곡선형에 대한 수치적 근사 해법을 다룹니다. 유한차분법을 사용하여 연속 영역을 격자 구조로 디지털화하고, 미분 연산자를 대수적 방정식계로 변환합니다. 주요 초점은 시간 의존 방법의 안정성(전진차분 대 카랭크-니콜슨)과 정적 상태 시스템(포아송 및 라플라스 방정식)의 반복적 해법입니다.

학습 결과:

• 다양한 PDE 유형에 대해 공간 및 시간 영역을 유한차분 격자로 디지털화합니다.
• 포물선 열 방정식을 해결하기 위해 전진차분, 후진차분, 카랭크-니콜슨 방법을 적용하며 안정성 제약 조건을 평가합니다.
• 타원형 방정식(포아송/라플라스)과 쌍곡선형 파동 방정식에서 유도된 선형 시스템을 구성하고 해결합니다.