수치해석
수치 근사 기법의 이론과 응용에 대한 포괄적인 교재입니다. 수학적 기본 개념, 오차 분석, 방정식의 해법, 보간법, 그리고 미분 방정식의 수치적 해법을 다룹니다.
강좌 개요
📚 콘텐츠 요약
수치 근사 기법의 이론과 응용에 관한 종합적인 교재입니다. 수학적 전제 조건, 오차 분석, 방정식 해법, 보간, 미분방정식의 수치적 해법 등을 다룹니다.
현대 수치 근사 기법의 예술과 과학을 마스터하세요.
저자: 리처드 L. 버던, 저지 드거플 파이어스
감사의 말: 얀스타운 주립대학교 및 존 캐롤(더블린 시티 대학교)을 포함한 다양한 기여자들과 마리오 스라시크 등 학생 보조진의 지원을 받았습니다.
🎯 학습 목표
- 중간값 정리와 롤의 정리를 적용하여 해의 존재성과 유일성을 입증합니다.
- 테일러 다항식을 구성하고 나머지 항을 사용하여 수치 근사의 엄격한 오차 한계를 설정합니다.
- 반올림과 절삭 산술의 차이를 구분하고 부동소수점 시스템에서 절대 오차와 상대 오차를 계산합니다.
- 이분법, 고정점 반복, 뉴턴, 할선, 가짜 위치 방법을 사용하여 근을 근사합니다.
- 다양한 반복 방법의 수렴 차수와 오차 한계를 분석합니다.
- 아이트켄의 \Delta^2 및 스텐프슨의 방법을 사용하여 선형 수열의 수렴 속도를 가속화합니다.
- 바이어슈트라스 근사 정리(Weierstrass Approximation Theorem)를 서술하고 그 함수 근사에 대한 의미를 설명합니다.
- 주어진 데이터 세트에 대해 라그랑주, 뉴턴의 제차차분, 그리고 헤르미트 보간 다항식을 구성합니다.
- 네빌의 방법(Neville’s Method)을 활용해 반복적으로 다항식 근사를 생성합니다.
- 수치 미분 공식(3점 형식)의 도출 및 오차 추정을 수행합니다.
수업 共 12 课时 · 预计 36.0h
수업
Lesson
This lesson introduces numerical analysis as the essential bridge between theoretical calculus and the finite precision of computer hardware, focusing on how limits, continuity, and differentiability ensure numerical stability. Students learn to apply these mathematical foundations to evaluate algorithmic convergence and manage precision errors, such as significant digit cancellation, in computational modeling.
Numerical root-finding is a critical computational technique used to approximate solutions for transcendental and non-linear equations that cannot be solved through standard algebraic isolation. This lesson introduces the core principles of iterative approximation, including bracketing methods like Bisection and open methods like Newton’s, to achieve controlled error tolerances in complex scientific and engineering models.
This lesson introduces the Weierstrass Approximation Theorem, which guarantees that any continuous function on a closed interval can be approximated by an algebraic polynomial. It distinguishes between the existence of these polynomials and the practical methods of interpolation, such as Lagrange and Newton, used to construct them for global accuracy.
This lesson introduces numerical differentiation as a method to approximate derivatives using finite difference formulas, such as forward and backward differences, derived from Lagrange interpolation. Students learn to balance the trade-off between truncation error and computational round-off error while applying these techniques to solve real-world engineering problems.
This lesson explores the theoretical foundations of Initial-Value Problems, focusing on how Lipschitz continuity and domain convexity ensure the existence and uniqueness of solutions. Students learn to identify well-posed problems and understand why stiff equations require specialized implicit methods to maintain numerical stability.
This lesson introduces Gaussian elimination as a systematic method for solving linear systems by transforming augmented matrices into upper triangular form using elementary row operations. Students learn to maintain the integrity of the solution set through reversible operations and explore computational efficiency, matrix properties, and advanced factorization techniques like $LDL^t$.
This lesson introduces vector and matrix norms as essential tools for quantifying magnitude and measuring convergence in iterative numerical methods. Students learn to apply the $l_2$ and $l_\infty$ norms to vectors and matrices, while exploring the axiomatic foundations and equivalence theorems that guarantee the stability of iterative approximations.
This lesson explores the philosophy of approximation, explaining why minimizing error is often more effective than exact interpolation when dealing with noisy, real-world data. Students learn to evaluate different error norms—specifically $L_1$, $L_{\infty}$, and the standard $L_2$ (Least Squares)—to balance mathematical convenience with the need to filter out noise and reveal underlying physical laws.
This lesson explains why the characteristic polynomial is numerically unstable for high-dimensional systems and introduces robust iterative alternatives like the QR method. Students learn to avoid the hazards of symbolic root-finding in favor of professional numerical libraries that ensure stability and precision in eigenvalue approximation.
This lesson introduces the transition from scalar equations to multivariable nonlinear systems, represented in vector form as $\mathbf{F}(\mathbf{x}) = \mathbf{0}$. Students learn that continuity and limits in $n$-dimensional space are determined component-wise and remain independent of the specific vector norm chosen.
This lesson introduces Boundary-Value Problems (BVPs), which require finding a trajectory that satisfies constraints at both ends of an interval rather than just initial conditions. Students will learn to distinguish BVPs from Initial-Value Problems and explore the conditions for existence and uniqueness, including the conceptual "shooting method" used to solve them.
This lesson introduces the transition from continuous calculus to numerical computation by simplifying complex heat conduction equations through the assumption of isotropy. Students learn how these simplified models allow for the simulation of real-world physical systems that are otherwise analytically intractable.