사이비-스펙트럴법
Pseudo-spectral method이 글은 검증을 위해 인용구가 추가로 필요하다. – · · 책 · · (2009년 12월) (이 템플릿 과 시기 |
이산형 변수 표현(DVR) 방법이라고도 하는 [1]의사-스펙트럼 방법은 부분 미분 방정식의 해법에 대한 응용 수학 및 과학 계산에 사용되는 수학적 방법의 한 종류다. 그것들은 스펙트럼 방법과 밀접하게 관련되어 있지만, 4차 격자[definition needed] 그리드의 함수 표현이 가능한 추가적인 의사 스펙트럼 기반에 의해 기초를 보완한다. 이것은 특정 연산자의 평가를 단순화하며, 빠른 푸리에 변환과 같은 빠른 알고리즘을 사용할 때 계산 속도를 상당히 높일 수 있다.
구체적인 사례를 통한 동기 부여
초기 가치 문제 해결
주기적인 조건 ( + , t)= ( , t) 이 구체적인 예는 잠재적 ( x) 에 있는 입자에 대한 Schrödinger 방정식이지만 구조가 더 일반적이다. 많은 실제 부분 미분방정식에서 하나는 파생상품(운동에너지 기여 등)을 포함하는 용어, 그리고 함수를 갖는 곱셈(예: 전위)을 포함한다.
스펙트럼법에서는 용액 을(를) 적절한 기본 함수 집합(예: 평면파)으로 확장한다.
동일한 계수를 삽입하고 등분하면 계수에 대한 일련의 일반적인 미분 방정식이 생성된다.
여기서 V - 요소는 명시적 푸리에 변환을 통해 계산된다.
그런 다음 base 함수로의 확장을 자르고, n ( ){\에 대한 솔루션을 찾는 방법으로 솔루션을 얻을 수 있을 것이다. 일반적으로 이 방법은 Runge-Kutta 방법과 같은 수치적 방법에 의해 이루어진다. 수치해결의 경우, 일반 미분방정식의 우측을 다른 시간 단계에서 반복적으로 평가해야 한다. 이 시점에서 스펙트럼 방법은 잠재적 용어 ( ) 에 큰 문제가 있다
스펙트럼 표현에서 함수를 가진 곱셈은 벡터 매트릭스 곱셈으로 변환되는데 는 2{\}}으로 스케일링된다. 또한 Vn - k {\n-k}}는 미분방정식에 앞서 명시적으로 평가해야 한다.e 계수를 해결할 수 있으므로 추가 단계가 필요하다.
사이비-스펙트럼법에서 이 용어는 다르게 평가된다. Given the coefficients , an inverse discrete Fourier transform yields the value of the function at discrete grid points . At these grid points, the function is then multiplied, ) ( , t) 및 결과 푸리에가 변환된 역. 이렇게 하면 매트릭스 인 n - ( ) 대신 사용되는 새로운 계수 집합 c n (){를 산출한다
두 방법의 정확도가 유사하다는 것을 알 수 있다. 그러나 사이비-스펙트럼법은 빠른 푸리에 변환을 사용할 수 있게 하는데, 변환은 O( N) N 로확장되므로 행렬 곱셈보다 훨씬 효율적이다. 또한 ( 기능을 추가 통합 평가 없이 직접 사용할 수 있다.
기술 토론
보다 추상적인 방법으로 의사-스펙트럴 방법은 부분 미분 방정식의 로 V( ) V과 ( ) 의 곱셈을 다룬다. 표기법을 단순화하기 위해 시간 의존성을 떨어뜨린다. 개념적으로 다음 세 단계로 구성된다.
- ( ), f( )=V ( ) ( ) (x) {\f}}}(는 유한한 기본 함수 집합으로 확장된다(이것은 스펙트럼법이다).
- 주어진 기본 함수의 집합에 대해, 이러한 기본 함수의 스칼라 제품을 격자점에 대한 가중 합으로 변환하는 사분법이 모색된다.
- 제품은 각 격자점에 , 를 곱하여 계산한다.
기준 확장
f , ~{\은(는) 유한 기준{ = 0,… \}을(는)으로 확장할 수 있다.
For simplicity, let the basis be orthogonal and normalized, using the inner product with appropriate boundari b 그런 다음 계수를 구한다.
미적분 조금 있으면 그때 수확된다.
-= , 이것은 스펙트럼법의 기초를 형성한다 의 기초를 4각 기준과 구별하기 위해 확장을 FBR(Finited Basis Presentation)이라고 부르기도 한다.
사분법
주어진 기준{ 과 (와) +1 함수 개수, 즉 + 포인트와 중량을 찾으려고 하면 된다.
특별한 예로는 다항식의 경우 가우스 사분법, 평면파의 경우 이산 푸리에 변환이 있다. 격자점 및 중량 , i 은(는) 기본 및 숫자 의 함수임을 강조해야 한다
4각형은 격자점에서의 값을 통해 f() , ~( ) f(의 대체 숫자표현을 허용한다. 이 표현은 때때로 이산형 변수 표현(DVR)으로 표시되며, 기초의 확장과 완전히 동등하다.
곱하기
다음 각 격자점에서 V) {\ V 함수의 곱셈을 수행한다.
이것은 일반적으로 추가적인 근사치를 도입한다. 이를 확인하기 위해 c~ {\ :
그러나 스펙트럼법을 사용하는 경우 동일한 는c ~ =v V n⟩ }=\,\n}\n}\rangele가 된다 따라서 사이비-스펙트럼법은 추가 근사치를 도입한다.
제품 을(를) 주어진 유한한 기본 함수 집합으로 나타낼 수 있는 경우, 선택한 사분법으로 인해 위의 방정식이 정확하다.
특별한 유사성 계획
푸리에법
주기[ L 이(가) 있는 주기적인 경계 조건이 시스템에 부과되는 경우, 기준 함수는 평면 파형에 의해 생성될 수 있다.
= (- 1) / / L 과 함께 여기서 \ \cdot \은 천장 함수다 .
= 에서 컷오프의 4각형은 이산 푸리에 변환에 의해 주어진다. The grid points are equally spaced, with spacing , and the constant weights are .
오류에 대한 논의를 위해, 두 평면파의 곱은 다시 평면파라는 점에 유의하십시오. + = = = ϕ c = ϕ c \ _ _{b}=\c}} + b Thus, qualitatively, if the functions can be represented sufficiently accurately with basis functions, the pseudo-spectral method gives accurate results if basis functions are used.
평면파의 팽창은 종종 질이 나쁘고 수렴하기 위해 많은 기본 기능을 필요로 한다. 단, 기본 팽창과 그리드 표현 사이의 은 N n {\ N N로 양호한 확장성을 갖는 Fast Fourier 변환을 사용하여 수행할 수 있다 그 결과 평면파는 사이비-스펙트럴 방법으로 접하는 가장 일반적인 확장 중 하나이다.
다항식
또 다른 공통적인 확장은 고전적인 다항식이다. 여기서 가우스 사분법을 사용하는데, 사분법을 사용하며 가우스 사분법을 사용하며, 가우스 사분법을 사용하며, 가우스 사분법에서는 항상 wi{\와 같이 x 를 찾을 수 있다.
2 + 이하인 모든 다항식 ) 에 대해 고정. 일반적으로 체중 ( x) {\ w)}과 범위 ,b {\a,이(가) 특정 문제에 대해 선택되며, 다른 형태의 사각형 중 하나로 이어진다. To apply this to the pseudo-spectral method, we choose basis functions , with being a polynomial of degree with the property
이러한 조건에서 스칼라 제품 = ( ) () \ \ x \ x 이 기본값은 사분점(squirature points)과 함께 의사-스펙트럼 방법에 사용될 수 있다.
오류에 대한 논의를 위해, 이 (가) {\ 기본 함수로 잘 표현되고 }이 (가) N {\의 다항식으로 잘 표현되면 해당 제품이 첫 N {\}로 확장될 수 있다 기본 함수, 의사-스펙트럴 방법은 그만큼 많은 기본 함수에 대해 정확한 결과를 제공할 것이다.
그러한 다항식은 몇 가지 표준 문제에서 자연적으로 발생한다. 예를 들어, 양자 고조파 오실레이터는 헤르미테 다항식(Hermite polyomials)에서 이상적으로 확장되며, 자코비-폴리항식을 사용하여 전형적으로 회전 문제에서 나타나는 관련 레전드르 함수를 정의할 수 있다.
참조
- ^ Orszag, Steven A. (September 1972). "Comparison of Pseudospectral and Spectral Approximation". Studies in Applied Mathematics. 51 (3): 253–259. doi:10.1002/sapm1972513253.
- Orszag, Steven A. (1969). "Numerical Methods for the Simulation of Turbulence". Physics of Fluids. 12 (12): II-250. doi:10.1063/1.1692445.
- Gottlieb, David; Orszag, Steven A. (1989). Numerical analysis of spectral methods : theory and applications (5. print. ed.). Philadelphia, Pa.: Society for Industrial and Applied Mathematics. ISBN 978-0898710236.
- Hesthaven, Jan S.; Gottlieb, Sigal; Gottlieb, David (2007). Spectral methods for time-dependent problems (1. publ. ed.). Cambridge [u.a.]: Cambridge Univ. Press. ISBN 9780521792110.
- 지선, 도당, 리롄왕(2011년) "스펙트럴 방법: 알고리즘, 분석 및 응용 프로그램"(계산 수학의 스프링어 시리즈, V.41, 스프링어), ISBN 354071040X.
- Trefethen, Lloyd N. (2000). Spectral methods in MATLAB (3rd. repr. ed.). Philadelphia, Pa: SIAM. ISBN 978-0-89871-465-4.
- Fornberg, Bengt (1996). A Practical Guide to Pseudospectral Methods. Cambridge: Cambridge University Press. ISBN 9780511626357.
- Boyd, John P. (2001). Chebyshev and Fourier spectral methods (2nd ed., rev. ed.). Mineola, N.Y.: Dover Publications. ISBN 978-0486411835.
- Funaro, Daniele (1992). Polynomial approximation of differential equations. Berlin: Springer-Verlag. ISBN 978-3-540-46783-0.
- de Frutos, Javier; Novo, Julia (January 2000). "A Spectral Element Method for the Navier--Stokes Equations with Improved Accuracy". SIAM Journal on Numerical Analysis. 38 (3): 799–819. doi:10.1137/S0036142999351984.
- Claudio, Canuto; M. Yousuff, Hussaini; Alfio, Quarteroni; Thomas A., Zang (2006). Spectral methods fundamentals in single domains. Berlin: Springer-Verlag. ISBN 978-3-540-30726-6.
- Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007). "Section 20.7. Spectral Methods". Numerical Recipes: The Art of Scientific Computing (3rd ed.). New York: Cambridge University Press. ISBN 978-0-521-88068-8.