초월 리우비얼 확장 내 미분 연산의 완전 환원 및 응용

초록

**
저자들은 초월 리우비얼 확장 (F) 에서 미분 연산의 이미지와 여공간을 명시적으로 분리하는 완전 환원 연산 (\varphi) 를 구성하고, 任의 원소 (f\in F) 를 (f=g’+r) 형태로 분해하는 알고리즘을 제시한다. 이를 통해 (f) 가 (F) 안에서 미분 가능한지 판정하고, 원소적 적분·텔레스코퍼 구성까지 확장한다.

**

상세 분석

**
논문은 초월 리우비얼 확장 (F_n=C(t_1,\dots ,t_n)) (상수체 (C) 위, 특성 0) 를 대상으로 한다. 각 생성원 (t_i) 는 이전 단계의 원소들의 유리함수 혹은 로그·지수 형태의 미분을 만족하도록 선택된다(정의 1.7). 핵심 아이디어는 미분 연산 (R_h:y\mapsto y’+hy) (정의 1.8)의 이미지 (\operatorname{im}(R_h)) 와 그 여공간을 선형 대수적으로 분리하는 ‘완전 환원’ (\varphi_{n,h}) 를 귀납적으로 구축하는 것이다.

1. 귀납 구조 – 단계 1·2에서는 (R_h) 를 정규화된 형태 (\xi) 로 변환하고, (\xi) 의 ‘성분 연산자’ (P_\xi) 를 정의한다. 여기서 (R_n) 은 (F_{n-1}