카테고리 보관물: scicomp

scicomp

Newton-Raphson 반복을 사용하지 않고 비선형 PDE를 해결할 수 있습니까? 없으므로이 작업을

나는 일부 결과를 이해하려고 노력하고 있으며 비선형 문제를 해결하는 것에 대한 일반적인 의견에 감사드립니다.

피셔 방정식 (비선형 반응-확산 PDE),

ut=duxx+βu(1u)=F(u)

신중한 형태로

uj=Lu+βuj(1uj)=F(u)

여기서 은 미분 연산자이고 은 이산화 스텐실입니다.

L

u=(uj1,uj,uj+1)

방법

안정성과 무제한 시간 단계가 필요하기 때문에 암시 적 체계를 적용하고 싶습니다. 이 목적을 위해 -method를 사용하고 있습니다 ( 은 완전히 암시 적 체계를 제공하고 는 사다리꼴 또는 “Crank-Nicolson”체계를 제공함),θ = 1 θ = 0.5

θ

θ=1

θ=0.5

uj=θF(un+1)+(1θ)F(un)

그러나 비선형 문제의 경우 방정식을 선형 형식으로 작성할 수 없으므로이 작업을 수행 할 수 없습니다.

이 문제를 해결하기 위해 두 가지 수치 적 접근 방식을 탐색했습니다.

  1. IMEX 방법

    uj=θLun+1+(1θ)Lunθmethod diffusion term+βujn(1ujn)Fully explicit reaction term

    가장 분명한 경로는 반응 항의 비선형 부분을 무시하고 반응 항을 가장 좋은 값, 즉 이전 시간 단계의 값으로 업데이트하는 것입니다. IMEX 방법이 발생합니다.

  2. 뉴턴 솔버

νk+1=νk(IθτAn)1(νkun(1θ)τF(wn)θτF(wn+1))

Newton-Raphson 반복을 사용하여 전체 방법 방정식을 풀면 미래 솔루션 변수를 찾을 수 있습니다. 여기서 k 는 반복 인덱스 ( k 0 )이고 A nF ( w n ) 의 야 코비 행렬입니다 . 여기서 반복 변수에 ν k 기호를 사용하여 실시간 시점 u n 에서 방정식의 해와 구별됩니다 . Jacobian이 모든 반복으로 업데이트되지 않기 때문에 이것은 실제로 수정 된 Newton 솔버입니다.

θ

k

k0

An

F(wn)

νk

un

결과

수치 방법의 피셔 방정식 비교.

위의 결과는 상당히 큰 시간 단계에 대해 계산되며 시간 단계 접근 방식과 전체 뉴턴 반복 솔버의 차이를 보여줍니다.

내가 이해하지 못하는 것 :

  1. 시간-스텝핑 방법이 “OK”를하는 것에 놀랐지 만 시간이 지남에 따라 분석 솔루션보다 뒤쳐집니다. ( NB 더 작은 시간 단계를 선택한 경우 시간 단계 접근 방식은 결과를 분석 모델에 제공합니다). 시간 단계 접근 방식이 왜 비선형 방정식에 합리적인 결과를 제공합니까?

  2. 뉴턴 모델은 훨씬 나아졌지 만 시간이 지남에 따라 분석 모델을 이끌 기 시작합니다. 왜 시간이 지남에 따라 뉴턴 접근법의 정확도가 떨어 집니까? 정확성을 향상시킬 수 있습니까?

  3. 많은 반복 후에 수치 모델과 분석 모델이 갈라지기 시작하는 일반적인 특징이있는 이유는 무엇입니까? 시간 단계가 너무 커서 이것이 항상 발생합니까?



답변

u˙h(t)=Fh(t,uh(t)), on [0,T] ,uh(0)=α.

Φ

uhn

t=tn

uhn+1

t=tn+1:=tn+τ

uhn+1=uhn+Φe(tn,τ,uhn),

uhn+1=uhn+Φi(tn,τ,uhn+1,uhn),()

또는 조합 모두 ( ‘ IMEX는 한 단계 시간 스테핑 계획’을 @Jed 브라운의 답변을 참조).

uhn+1

()

그리고 내 대답은 단일 단계 방법의 수치 분석 결과에 기반합니다.


  1. Fh

  2. 명시 적 구성표가 더 나은 예를 찾을 수 있습니다. (이론적으로 예제에서 시간을 되돌리고 터미널 값에서 시작하여 암시 적 및 명시 적 교환을 찾을 수 있습니다.) Newton 오류를 충분히 작게 만들면 시간 단계를 줄이거 나 시간을 사용하여 정확도를 향상시킬 수 있습니다. 높은 단계의 스테핑 방식.

  3. C

    errCτp

    p>0

    τ


더 많은 언급과 최종 답변 :

  • IMEX 방식을 사용하면 비선형 해석을 피하는 것만으로 선형 부분 만 암시 적으로 처리 할 수 ​​있습니다. Jed Brown의 답변을 참조하십시오.
  • uhn+1=Φm(tn,τ,uhn+1,uhn,uhn1).

()


답변

짧은 답변

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과 협력했습니다 (위 링크).


답변