[논문 리뷰] On numerical approximation of the Hamilton-Jacobi-transport system arising in high frequency approximations

Yves Achdou, Fabio Camilli외 1명|arXiv (Cornell University)|2011. 10. 19.

Advanced Mathematical Physics Problems참고 문헌 30인용 수 8

한 줄 요약

이 논문은 고주파 근사, 예를 들어 기하광학 및 양자역학적 한계에서 나타나는 결합된 해밀토니안-자코비-운반 시스템을 수치적으로 해결하기 위한 준라그랑주 유한요소 스킴을 제안한다. 이 스킴은 약한 정규성 가정 하에 점성-측도 값 해로의 수렴을 보장하며, 안정성과 수렴성 증명을 위해 이차성과 한쪽 방향 리프시츠 조건을 활용한다.

ABSTRACT

In the present article, we study the numerical approximation of a system of Hamilton-Jacobi and transport equations arising in geometrical optics. We consider a semi-Lagrangian scheme. We prove the well posedness of the discrete problem and the convergence of the approximated solution toward the viscosity-measure valued solution of the exact problem.

연구 동기 및 목표

• 고주파 근사에서 나타나는 결합된 해밀토니안-자코비-운반 시스템을 위한 안정적이고 수렴성 보장된 수치 스킴을 개발하기 위해.
• 해밀토니안-자코비 방정식의 점성해로 인해 발생하는 속도장의 낮은 정규성 문제를 다루기 위해.
• 연속 시스템의 점성-측도 값 해로의 이산 해의 수렴성을 확립하기 위해.
• 정확한 해에 대해 강한 이차성 조건이 필요로 하지 않고, 이산 이차성과 OSL 조건에만 의존하여 안정성과 수렴성을 확보하기 위해.

제안 방법

• 해밀토니안-자코비 방정식에 대해 시간에 대한 준라그랑주 이산화를 적용하여 특성선을 시간 역행으로 추적한다.
• 공간 이송을 위해 유한요소 방법을 사용하며, 정규 삼각형 메esh 위에서 일차 다항식 기저 함수를 사용한다.
• 스킴은 해의 이산 이차성을 유지하여 약한 정규성 조건 하에서도 안정성을 보장한다.
• 한쪽 방향 리프시츠(осл) 조건은 이산 수준에서 강제로 적용되어 운반 방정식의 측도 해의 존재성과 유일성을 보장한다.
• 수렴성 증명은 이산 특성선의 등연속성과 필리포프 특성선의 안정성에 기반한다.
• 완전히 이산화된 스킴이 구성되고 분석되었으며, 약한 컴actness와 일致성 논증을 통해 수렴성이 확립되었다.

실험 결과

연구 질문

• RQ1 결합된 HJ-운반 시스템의 점성-측도 값 해로 수렴하는 준라그랑주 유한요소 스킴을 구성할 수 있는가?
• RQ2 해밀토니안-자코비 방정식의 점성해로 인해 운반 방정식의 속도장이 오직 $L^∞$에 속할 경우, 수치적 안정성을 어떻게 확보할 수 있는가?
• RQ3 스킴이 이산 수준에서 이차성 성질을 유지하는가? 이는 정확한 해에 대해 강한 정규성 가정 없이도 수렴성을 보장할 수 있게 한다.
• RQ4 정확한 해가 이차성을 갖지 않더라도, 이산 수준에서 한쪽 방향 리프시츠(осл) 조건을 만족시킬 수 있는가?
• RQ5 필리포프 특성선은 점성-측도 값 해로의 수치 스킴 수렴성을 증명하는 데 어떤 역할을 하는가?

주요 결과

• 이산 문제는 잘 정의되어 있으며, 스킴이 이산 수준에서 초기 자료의 이차성을 유지한다.
• 속도장이 오직 $L^∞$일 경우에도 수치 해는 연속 시스템의 점성-측도 값 해로 수렴한다.
• 기준 케이스인 $a(x,p)=p$에서 이산 수준에서 한쪽 방향 리프시츠(осл) 조건이 자동으로 만족되어 운반 방정식의 안정성이 보장된다.
• 수렴성 증명은 이산 특성선의 등연속성과 관련 측도 해의 안정성에 기반한다.
• 약한 정규성 조건 하에서 점성-측도 해의 존재성과 유일성에 대해 새로운 결과를 제시한다.
• 이 방법은 양자역학적 슈뢰딩거 및 헬름홀츠 방정식에서 유도되는 시스템, 그리고 고주파 간섭파 전파 문제에 적용 가능하다.