[논문 리뷰] Hopf algebra techniques to handle dynamical systems and numerical integrators

Ander Murua, J. M. Sanz‐Serna|arXiv (Cornell University)|2017. 02. 27.

Numerical methods for differential equations참고 문헌 23인용 수 5

한 줄 요약

이 논문은 셔플 및 콘네스-크라이머 호프 대수를 넘어서 더 일반적인 호프 대수로 일반화함으로써 동역학 시스템과 수치 적분기법을 분석하기 위해 호프 대수 기법을 확장한다. 이는 분할 적분기법에 대한 고차 평균 시스템과 수정된 방정식의 더 효율적인 계산을 가능하게 한다. 주요 기여는 호프 대수의 문자군에서의 추상적 해를 리 대수의 준동형을 통해 미분 시스템의 구체적 해로 매핑하는 통합된 대수적 프레임워크를 제공하는 것으로, 주기적 외력과 변화된 보존계에 대한 문제에서 알고리즘적 효율성을 크게 향상시킨다.

ABSTRACT

In a series of papers the present authors and their coworkers have developed a family of algebraic techniques to solve a number of problems in the theory of discrete or continuous dynamical systems and to analyze numerical integrators. Given a specific problem, those techniques construct an abstract, {\em universal} version of it which is solved algebraically; then, the results are tranferred to the original problem with the help of a suitable morphism. In earlier contributions, the abstract problem is formulated either in the dual of the shuffle Hopf algebra or in the dual of the Connes-Kreimer Hopf algebra. In the present contribution we extend these techniques to more general Hopf algebras, which in some cases lead to more efficient computations.

연구 동기 및 목표

• 고전적 셔플 및 콘네스-크라이머 구성 방식을 초월하여 호프 대수를 사용하여 동역학 시스템과 수치 적분기법을 분석하는 일반적인 대수적 프레임워크를 개발하는 것.
• 더 일반적인 호프 대수를 활용하여 분할 적분기법에 대한 고차 평균 시스템과 수정된 방정식을 해결하는 데 있어 계산 효율성을 향상시키는 것.
• 편미분 방정식계의 평균화, 정규형, 오차 분석 문제들을 통합적으로 다루기 위해, 추상적 호프 대수에서 벡터장의 리 대수로의 준동형을 통해 해를 매핑하는 것.
• 단어 급수와 B급수의 개념을 더 넓은 호프 대수적 구조로 일반화하여 형식적 해를 체계적으로 계산할 수 있도록 하는 것.
• 일반화된 호프 대수적 구조로부터 유도된 수정된 방정식을 통해 스트랑 분할 공식 및 기타 적분기법을 분석할 수 있는 프레임워크를 제공하는 것.

제안 방법

• 매끄러운 함수 위에서의 미분 연산자 방정식으로 동역학 시스템을 기술하며, 내면의 리 대수의 도함수를 사용한다.
• 등급이 부여되고 가환적인 호프 대수 H의 문자군에서의 추상적 시스템을 구성하고, 추상적 설정에서 대수적으로 해를 구한다.
• 등급이 부여된 리 대수 g̃에서 벡터장의 리 대수로의 리 대수 준동형 Ψ를 적용하여 추상적 해를 원래 시스템의 구체적 해로 매핑한다.
• 호프 대수의 쌍대를 사용하여 형식 급수의 조합 규칙을 정의함으로써, 단어 급수 또는 B급수 표현의 체계적 유도를 가능하게 한다.
• H₀와 H로부터 새로운 호프 대수 H̄를 구성하고, 코모듈 맵을 사용하여 군 작용을 코딩함으로써, 곱군과 반직접곱 리 대수를 포함하는 프레임워크를 일반화한다.
• 일반화된 호프 대수의 문자군의 군 원소의 이미지로서 수정된 시스템의 형식적 해를 식별함으로써, 수치 적분기법의 수정된 방정식을 유도한다.

실험 결과

연구 질문

• RQ1 호프 대수 기법은 셔플 및 콘네스-크라이머 호프 대수를 초월하여 어떻게 일반화되어 동역학 시스템 분석에서 계산 효율성을 향상시킬 수 있는가?
• RQ2 Ψ 준동형은 호프 대수의 문자군에서의 추상적 대수적 해를 미분 시스템의 구체적 해로 전달하는 데 어떤 역할을 하는가?
• RQ3 호프 대수의 구조는 어떻게 수정되어 주기적으로 강제되는 미분 방정식에 대한 고차 평균 시스템을 효율적으로 계산할 수 있는가?
• RQ4 이 프레임워크는 스트랑 공식과 같은 분할 적분기법을 포함하도록 확장될 수 있으며, 오차 분석을 위한 수정된 방정식을 어떻게 도출하는가?
• RQ5 일반화된 호프 대수들은 어떻게 곱군과 반직접곱 리 대수를 모델링하는 데 사용되는가?

주요 결과

• 논문은 고전적 셔플 또는 콘네스-크라이머 호프 대수를 초월하여 더 일반적인 호프 대수를 사용할 경우, 동역학 시스템에서 고차 평균 시스템을 계산하는 데 더 효율적임을 입증한다.
• 일반화된 호프 대수의 문자군에서의 추상적 해는 Ψ를 통해 원래 미분 시스템의 단어 급수 또는 B급수 형태의 형식적 해로 매핑된다.
• 스트랑 분할 공식의 경우, 이 방법은 수치 해와 형식적으로 일치하는 수정된 방정식의 해를 도출하여 엄밀한 오차 분석이 가능하게 한다.
• 편미분 방정식계의 변화된 보존계에 대해, 수치 흐름이 수정된 벡터장이 있는 수정된 시스템의 해와 일치하도록 하는 형식적 지수 β^τ를 식별함으로써 수정된 방정식의 구성이 가능하다.
• 분석에서 사용된 곱군과 반직접곱 리 대수의 구조는 코모듈 맵과 쌍대 리 코대수를 사용하여 일반화된 호프 대수 H̄로부터 유도될 수 있음을 입증한다.
• 이 방법은 확장된 단어 급수의 일반화를 성공적으로 수행하여 평균화, 정규형, 중심다양체 계산 등의 문제를 체계적으로 다룰 수 있도록 한다.