[논문 리뷰] Equivalence of Q-Conditional Symmetries under Group of Local Transformation

Roman O. Popovych|ArXiv.org|2002. 08. 02.

Nonlinear Waves and Solitons참고 문헌 11인용 수 7

한 줄 요약

이 논문은 국소 변환 하에서 Q-조건부 대칭에 대한 등가성 개념을 도입하여, PDE 시스템에 대한 이러한 대칭의 체계적 분류를 가능하게 한다. 이 틀을 적용하여 n차원 선형 열 방정식 (n ≥ 2)과 비압축성 이상 유체의 오일러 방정식에 대해 단일 Q-조건부 대칭 연산자를 분류하며, 비-라이 대칭은 특정 형태에서만 존재하는 반면, 레이놀즈 수 방정식의 경우 모든 Q-조건부 대칭이 라이 대칭과 등가임을 보여준다.

ABSTRACT

The definition of Q-conditional symmetry for one PDE is correctly generalized to a special case of systems of PDEs and involutive families of operators. The notion of equivalence of Q-conditional symmetries under a group of local transformation is introduced. Using this notion, all possible single Q-conditional symmetry operators are classified for the n-dimensional (n >= 2) linear heat equation and for the Euler equations describing the motion of an incompressible ideal fluid.

연구 동기 및 목표

• PDE 시스템과 비율 연산자 가족에 대한 Q-조건부 대칭의 정의를 일반화하기 위해.
• 국소 변환 하에서 Q-조건부 대칭의 등가성 개념을 도입하여 분류를 단순화하기 위해.
• n차원 선형 열 방정식 (n ≥ 2)에 대해 가능한 모든 단일 Q-조건부 대칭 연산자를 분류하기 위해.
• 비압축성 이상 유체의 오일러 방정식에 대해 가능한 모든 단일 Q-조건부 대칭 연산자를 분류하기 위해.
• 결과를 레이놀즈 수 방정식과 비교하여, 모든 Q-조건부 대칭이 라이 대칭과 등가임을 보여주기 위해.

제안 방법

• 단일 PDE에서 PDE 시스템과 미분 연산자 가족에 대한 Q-조건부 대칭의 정의를 일반화한다.
• 국소 변환 하에서 Q-조건부 대칭의 등가성 개념을 도입하며, 비영인 자코비안 행렬식을 갖는 연산자 가족의 가역 변환을 통해 정의한다.
• Q-연산자가 정의하는 불변 시스템의 호환성을 확보하기 위해 프로비니우스 정리를 사용한다.
• Q-연산자를 임의의 순서 r의 재진공 공간으로 연장하여 시스템 L=0의 불변성을 테스트한다.
• Q^{s}_{(r)}L|_{{\cal M}\cap{\cal L}} = 0 조건을 Q-조건부 불변성의 기준으로 유도한다.
• Q-연산자를 바탕으로 안자수를 구성하고 원래 PDE 시스템에 대입함으로써 대칭 감소를 수행한다.

실험 결과

연구 질문

• RQ1 PDE 시스템과 비율 연산자 가족에 대해 Q-조건부 대칭의 올바른 일반화는 무엇인가?
• RQ2 국소 변환 하에서 Q-조건부 대칭의 등가성은 어떻게 정의하고 분류를 단순화하는 데 사용할 수 있는가?
• RQ3 n차원 선형 열 방정식 (n ≥ 2)에 대해 가능한 모든 단일 Q-조건부 대칭 연산자는 무엇인가?
• RQ4 비압축성 이상 유체의 오일러 방정식에 대해 가능한 모든 단일 Q-조건부 대칭 연산자는 무엇인가?
• RQ5 레이놀즈 수 방정식에 비-라이 Q-조건부 대칭이 존재하는가, 아니면 모든 이러한 대칭이 라이 대칭과 등가인가?

주요 결과

• n차원 선형 열 방정식 (n ≥ 2)의 경우, 가능한 모든 단일 Q-조건부 대칭 연산자가 분류되었으며, 함수 φ(θ)의 형태에 따라 네 개의 서로 등가가 아닌 클래스로 나뉜다.
• 비압축성 이상 유체의 오일러 방정식의 경우, 임의의 Q-조건부 대칭 연산자는 또는 라이 대칭과 등가이거나, 최대 라이 불변 대칭 대수를 제외한 나머지에서 연산자 ∂₃ + ζ(t,x₃,u³)∂ᵤ³ + χ(t)x₃∂ₚ 와 등가이며, ζ와 χ에 특정 제약 조건이 존재한다.
• 비-라이 Q-조건부 대칭을 통한 오일러 방정식 감소는 u¹ = v¹, u² = v², u³ = x₃v³ + ψ(t,v³), p = q + ½χ(t)x₃² 형태의 안자수를 유도하며, ψ는 일阶 PDE를 만족한다.
• 오일러 방정식의 감소된 시스템은 세 개의 방정식으로 구성된다: vⁱₜ + vʲvⁱⱼ + qᵢ = 0, v³ₜ + vʲv³ⱼ + (v³)² + χ = 0, 그리고 vʲⱼ + v³ = 0.
• 레이놀즈 수 방정식의 경우, 모든 실수 Q-조건부 대칭 연산자는 라이 대칭 연산자와 등가이며, 이는 모든 감소가 라이 타입이며 새로운 비-라이 감소가 존재하지 않음을 의미한다.
• 레이놀즈 수 방정식의 결과는 비-라이 Q-조건부 대칭이 라이 대칭 대수를 초월하지 못함을 확인하며, 오일러 경우와는 대조된다.