[논문 리뷰] The Structure of Lie Algebras and the Classification Problem for Partial Differential Equations

P. Basarab-Horwath, V. Lahno외 1명|ArXiv.org|2000. 05. 12.

Nonlinear Waves and Solitons인용 수 7

한 줄 요약

이 논문은 비선형 열전도 방정식 $u_t = F(t,x,u,u_x)u_{xx} + G(t,x,u,u_x)$ 형태의 군 분류 문제를 저차원 실수 리 대수 이론에 기반한 체계적인 방법을 사용하여 완전히 해결한다. 이는 어떤 이러한 방정식도 차원이 5를 초과하는 대칭 대수를 가질 수 없음을 증명하고, 1에서 5차원의 대칭 대수를 가진 모든 서로 비동치인 방정식을 분류하며, 각 차원에 대해 각각 2개, 34개, 35개, 6개, 1개의 방정식을 발견한다.

ABSTRACT

The present paper solves completely the problem of the group classification of nonlinear heat-conductivity equations of the form\ $u_{t}=F(t,x,u,u_{x})u_{xx} + G(t,x,u,u_{x})$. We have proved, in particular, that the above class contains no nonlinear equations whose invariance algebra has dimension more than five. Furthermore, we have proved that there are two, thirty-four, thirty-five, and six inequivalent equations admitting one-, two-, three-, four- and five-dimensional Lie algebras, respectively. Since the procedure which we use, relies heavily upon the theory of abstract Lie algebras of low dimension, we give a detailed account of the necessary facts. This material is dispersed in the literature and is not fully available in English. After this algebraic part we give a detailed description of the method and then we derive the forms of inequivalent invariant evolution equations, and compute the corresponding maximal symmetry algebras. The list of invariant equations obtained in this way contains (up to a local change of variables) all the previously-known invariant evolution equations belonging to the class of partial differential equations under study.

연구 동기 및 목표

• 광범위한 비선형 열전도 편미분방정식에 대한 완전한 군 분류 문제를 해결하기 위해.
• 이러한 방정식들에 대해 리 불변 대수의 최대 가능한 차원을 규명하기 위해.
• 1에서 5차원의 대칭 대수를 가진 모든 서로 비동치인 방정식을 시스템적으로 분류하기 위해.
• 종종 영문 문헌에서 생략되는, 필요한 저차원 리 대수 이론에 대한 상세하고 자립적인 서술을 제공하기 위해.
• 대수적 및 무한소 기법을 사용하여 불변 방정식을 유도하고 그 최대 대칭 대수를 계산하는 구축 가능한 방법을 제시하기 위해.

제안 방법

• 이 방법은 해당 PDE 클래스에 관련된 벡터 필드 공간 내에서 저차원 리 대수의 가능한 모든 실현을 분류하는 데 기반한다.
• 등가군과 최적의 부분군 시스템을 포함하는 옴스야니코프의 프레임워크를 사용하여 체계적으로 불변 방정식을 생성한다.
• 특히 가환성과 준단순 대수에 중점을 두고, 5차원 이하의 실수 리 대수의 모든 서로 비동치 실현을 구성하고 분석한다.
• 기저 벡터장 간의 교환관계를 바탕으로 분류하며, 구조 상수와 라디칼 분해를 명시적으로 계산한다.
• 무한소 방법을 통해 결정 방정식을 풀어 각 불변 방정식에 대한 최대 대칭 대수를 식별하는 절차를 포함한다.
• 이 방법은 이 클래스에서 알려진 모든 불변 방정식이 국소적 변수변환에 대해 복원됨을 보장한다.

실험 결과

연구 질문

• RQ1 비선형 열전도 방정식 $u_t = F(t,x,u,u_x)u_{xx} + G(t,x,u,u_x)$ 형태의 방정식에서 리 불변 대수의 최대 차원은 얼마인가요?
• RQ2 함수 $F$와 $G$의 어떤 서로 비동치 형태가 1-, 2-, 3-, 4-, 또는 5차원 대칭 대수를 가진 방정식을 유도합니까?
• RQ3 저차원 실수 리 대수 이론을 사용하여 이러한 모든 불변 방정식을 체계적으로 분류할 수 있는 방법은 무엇입니까?
• RQ4 이 클래스에 속하는 비선형 열전도 방정식 중에서 차원이 5를 초과하는 대칭 대수를 가진 것이 존재합니까?
• RQ5 유도된 불변 방정식 목록은 국소적 변수변환에 대해 이전에 알려진 모든 이러한 방정식을 포함합니까?

주요 결과

• 연구된 클래스에 속하는 비선형 열전도 방정식 중 어느 것도 차원이 5를 초과하는 리 불변 대수를 가질 수 없다.
• 1차원 대칭 대수를 가진 서로 비동치인 방정식이 정확히 2개 존재한다.
• 2차원 대칭 대수를 가진 서로 비동치인 방정식이 34개 존재한다.
• 3차원 대칭 대수를 가진 서로 비동치인 방정식이 35개 존재한다.
• 4차원 대칭 대수를 가진 서로 비동치인 방정식이 6개 존재한다.
• 5차원 대칭 대수를 가진 서로 비동치인 방정식이 정확히 1개 존재한다.