나는 일부 결과를 이해하려고 노력하고 있으며 비선형 문제를 해결하는 것에 대한 일반적인 의견에 감사드립니다.
피셔 방정식 (비선형 반응-확산 PDE),
신중한 형태로
여기서 은 미분 연산자이고 은 이산화 스텐실입니다.
방법
안정성과 무제한 시간 단계가 필요하기 때문에 암시 적 체계를 적용하고 싶습니다. 이 목적을 위해 -method를 사용하고 있습니다 ( 은 완전히 암시 적 체계를 제공하고 는 사다리꼴 또는 “Crank-Nicolson”체계를 제공함),θ = 1 θ = 0.5
그러나 비선형 문제의 경우 방정식을 선형 형식으로 작성할 수 없으므로이 작업을 수행 할 수 없습니다.
이 문제를 해결하기 위해 두 가지 수치 적 접근 방식을 탐색했습니다.
-
IMEX 방법
가장 분명한 경로는 반응 항의 비선형 부분을 무시하고 반응 항을 가장 좋은 값, 즉 이전 시간 단계의 값으로 업데이트하는 것입니다. IMEX 방법이 발생합니다.
-
뉴턴 솔버
Newton-Raphson 반복을 사용하여 전체 방법 방정식을 풀면 미래 솔루션 변수를 찾을 수 있습니다. 여기서 k 는 반복 인덱스 ( k ≥ 0 )이고 A n 은 F ( w n ) 의 야 코비 행렬입니다 . 여기서 반복 변수에 ν k 기호를 사용하여 실시간 시점 u n 에서 방정식의 해와 구별됩니다 . Jacobian이 모든 반복으로 업데이트되지 않기 때문에 이것은 실제로 수정 된 Newton 솔버입니다.
결과
위의 결과는 상당히 큰 시간 단계에 대해 계산되며 시간 단계 접근 방식과 전체 뉴턴 반복 솔버의 차이를 보여줍니다.
내가 이해하지 못하는 것 :
-
시간-스텝핑 방법이 “OK”를하는 것에 놀랐지 만 시간이 지남에 따라 분석 솔루션보다 뒤쳐집니다. ( NB 더 작은 시간 단계를 선택한 경우 시간 단계 접근 방식은 결과를 분석 모델에 제공합니다). 시간 단계 접근 방식이 왜 비선형 방정식에 합리적인 결과를 제공합니까?
-
뉴턴 모델은 훨씬 나아졌지 만 시간이 지남에 따라 분석 모델을 이끌 기 시작합니다. 왜 시간이 지남에 따라 뉴턴 접근법의 정확도가 떨어 집니까? 정확성을 향상시킬 수 있습니까?
-
많은 반복 후에 수치 모델과 분석 모델이 갈라지기 시작하는 일반적인 특징이있는 이유는 무엇입니까? 시간 단계가 너무 커서 이것이 항상 발생합니까?
답변
또는 조합 모두 ( ‘ IMEX는 한 단계 시간 스테핑 계획’을 @Jed 브라운의 답변을 참조).
그리고 내 대답은 단일 단계 방법의 수치 분석 결과에 기반합니다.
- 명시 적 구성표가 더 나은 예를 찾을 수 있습니다. (이론적으로 예제에서 시간을 되돌리고 터미널 값에서 시작하여 암시 적 및 명시 적 교환을 찾을 수 있습니다.) Newton 오류를 충분히 작게 만들면 시간 단계를 줄이거 나 시간을 사용하여 정확도를 향상시킬 수 있습니다. 높은 단계의 스테핑 방식.
더 많은 언급과 최종 답변 :
- IMEX 방식을 사용하면 비선형 해석을 피하는 것만으로 선형 부분 만 암시 적으로 처리 할 수 있습니다. Jed Brown의 답변을 참조하십시오.
-
답변
짧은 답변
2 차 정확도 만 요구하고 포함 된 오차 추정이 필요하지 않은 경우 Strang splitting (반 반응 단계, 전체 확산 단계, 반 반응 단계)에 만족할 것입니다.
긴 대답
선형 반응에서도 반응 확산은 분할 오류를 나타내는 것으로 유명합니다. 실제로, 부정확 한 정상 상태로의 “수렴”, 한계주기 동안 정상 상태를 착각, 안정적이고 불안정한 구성을 혼동하는 등의 상황이 훨씬 더 나빠질 수 있습니다. 이에 대한 계산 물리학 자의 관점은 Ropp, Shadid, Ober (2004) 및 Knoll, Chacon, Margolin 및 Mousseau (2003)를 참조하십시오. 수주 조건에 대한 수학자의 분석은 뻣뻣한 ODE에 대한 Hairer and Wanner의 저서 (Rosenbrock-W 방법은 선형 암시 적 IMEX 방법), Kennedy and Carpenter (2003), 비선형 암시 적 IMEX “additive”Runge-Kutta, 그리고 에밀 콘 스탄 티네 스쿠의 페이지 최근 IMEX 방법에 대한.
일반적으로 IMEX 메소드는 기본 암시 적 및 명시 적 메소드보다 많은 주문 조건을 갖습니다. IMEX 분석법 쌍은 원하는 선형 및 비선형 안정성으로 설계 될 수 있으며 분석법 의 설계 순서까지 모든 주문 조건 을 충족 합니다 . 모든 주문 조건을 만족하면 각 체계의 오류와 동일한 규모의 점근 분할 오류가 별도로 유지됩니다. 사전 점근 법 (대형 시간 단계 / 정확도 요구 사항)에 대해서는 아무 것도 말하지 않지만 각 부분의 분리 해상도보다 더 엄격하지는 않습니다. 어쨌든, 분할 에러는 임베디드 에러 추정기 (적응 에러 제어를 사용하는 경우)에서 볼 수 있습니다.
PETSc는 Rosenbrock-W 및 추가 Runge-Kutta 제품군 의 IMEX 방법이 많이 있으며 다음 릴리스에서 외삽 및 선형 다단계 IMEX를 갖게됩니다.
면책 조항 : 나는 PETSc 시간 통합 지원을 많이 작성했으며 Emil과 협력했습니다 (위 링크).