[논문 리뷰] Genuine Lie semigroups and semi-symmetries of PDEs

Elemér E Rosinger|ArXiv.org|2006. 04. 26.

Mathematical and Theoretical Analysis참고 문헌 8인용 수 3

한 줄 요약

이 논문은 진정한 리 반군(Genuine Lie Semigroup, GLS)을 도입한다—$\mathcal{C}^\infty(M,M)$ 내에서 비가역적인 매끄러운 좌표 변환으로, 고전적 리 군 대칭을 비가역 사상으로까지 일반화한다. PDE의 해를 그래프로 매장하고, 매개수 표현을 사용함으로써 GLS는 해 공간 전체에 걸쳐 작용하며, 가역성이 필요 없이도 해의 구조를 유지하는 반대칭성을 가능하게 하여, 미분형태로 제한되지 않는 리의 대칭 방법을 일반화한다.

ABSTRACT

Any Lie group G acting on a Euclidean nonvoid open subset M can be seen as a subgroup of the smooth diffeomorphisms Diff^\infty(M,M) of M into itself. Thus actions by such Lie groups G correspond to smooth coordinate transforms on M which, in particular, have smooth inverses. In Rosinger [1, chap. 13], the study of Lie semigroups G in the vastly larger semigroup C^\infty(M,M) of smooth maps of M into itself was initiated. Such semigroups were named "genuine Lie semigroups", or in short, GLS, since they are no longer contained in Diff^\infty(M,M), thus they correspond to smooth coordinate transforms which need not have smooth inverses. Genuine Lie semigroups, or GLS, have a major interest since they still can transform solutions of linear or nonlinear PDEs into other solutions of the respective equations, thus leading to the vastly larger class of "semi-symmetries" of such equations. Certain Lie semigroups have earlier been studied in the literature, Hilgert, et.al. However, such semigroups have always been contained in suitable Lie groups, thus they have been contained in Diff^\infty(M,M) as sub-semigroups. In particular, the coordinate transforms defined by them were always invertible, unlike in the case of "genuine Lie semigroups", or GLS, studied here.

연구 동기 및 목표

• PDE의 고전적 리 군 대칭을 가역적인 미분형태를 넘어서 비가역적인 매끄러운 변환으로 확장한다.
• 가역성이 필요 없이도 매끄러운 사상이 해의 그래프에 대해 전역적으로 작용하도록 매개수 표현을 사용하여 전역적 작용을 정의한다.
• 진정한 리 반군(GLS)을 사용하여 $\mathcal{C}^\infty(M,M)$ 내에서 PDE의 반대칭성을 위한 프레임워크를 수립하며, 이는 $\mathrm{Diff}^\infty(M,M)$에 포함되지 않는다.
• 해 보존 변환이 반드시 가역적이어야 하는 것은 아니며, 선형 및 비선형 PDE에 대한 고전적 대칭 방법을 일반화함을 보여준다.

제안 방법

• PDE의 해 $U: \Omega \to \mathbb{R}$ 를 그래프 $\gamma_U = \{(x, U(x)) \mid x \in \Omega\} \subset M = \Omega \times \mathbb{R}$ 로 매장한다.
• 해를 $\Lambda \subset \mathbb{R}^n$ 의 열린 부분집합에서 $M$ 으로 가는 매개수 사상 $V: \Lambda \to M$ 으로 표현함으로써 더 넓은 변환 클래스를 가능하게 한다.
• 매끄러운 사상 $g: M \to M$ 에 대해 복합함수를 통한 전역 군 작용을 정의한다: $gV = g \circ V$.
• 이 작용을 리 군에서 진정한 리 반군(GLS)으로 일반화한다. GLS는 $\mathcal{C}^\infty(M,M)$ 의 부분반군이지만 $\mathrm{Diff}^\infty(M,M)$ 에 포함되지 않는다.
• $\mathcal{C}^\infty(M,M)$ 내에서 복합이 결합법칙을 만족하고 항등원을 가지므로, 가역성이 없더라도 반군 작용이 가능하다는 사실을 활용한다.
• 매개수 표현을 통해 변환 $g$ 의 역행렬이 필요 없이도 함수에 대한 작용을 정의할 수 있다.

실험 결과

연구 질문

• RQ1 PDE의 해 보존 변환을 가역적인 미분형태를 넘어서 비가역적인 매끄러운 사상으로 확장할 수 있는가?
• RQ2 가역적이지 않은 $\mathcal{C}^\infty(M,M)$ 내의 매끄러운 반군의 구조와 역할은 무엇인가?
• RQ3 매개수 표현을 통해 해 그래프에 대한 리 군 작용을 비가역적인 매끄러운 사상으로 어떻게 일반화할 수 있는가?
• RQ4 이러한 일반화된 작용이 선형 및 비선형 PDE의 대칭 이론에 미치는 영향은 무엇인가?
• RQ5 진정한 리 반군을 통해 반대칭성을系통적으로 정의하고 분류할 수 있는가?

주요 결과

• 진정한 리 반군(GLS)은 $\mathcal{C}^\infty(M,M)$ 의 부분반군이지만 $\mathrm{Diff}^\infty(M,M)$ 에 포함되지 않으며, 비가역적인 매끄러운 좌표 변환을 허용한다.
• 이러한 반군의 해에 대한 작용은 매개수 표현 $V: \Lambda \to M$ 과의 복합을 통해 정의되며, 변환의 가역성이 필요 없이도 가능하다.
• 전역 작용 $G \times \mathcal{C}^\infty_n(M) \to \mathcal{C}^\infty_n(M)$ 이며, $gV = g \circ V$ 로 정의되며, 이는 가역적이지 않은 매끄러운 사상 $g$ 에 대해서도 $\mathcal{C}^\infty(M,M)$ 의 모든 매끄러운 사상으로 자연스럽게 확장된다.
• PDE의 해는 GLS 작용 하에서도 유지되며, $V$ 가 해이면 $gV$ 도 해로 남는다. 이는 $g$ 가 비가역일지라도 성립한다.
• 이 프레임워크는 비가역성이 필요 없는 '반대칭성'을 도입함으로써 리의 고전적 대칭 방법을 일반화하며, 대칭의 범주를 크게 확장한다.
• 매개수 표현 접근법을 통해 해 변환을 통합적으로 다룰 수 있으며, 핵심 조건은 가역성이 아니라 매끄러움이다.