내부성 연구: 1차 미분계의 완전한 분류와 새로운 조건

초록

본 논문은 일변수 유리함수 f, g에 대해 시스템 x′=f(x), y′=g(x) y의 내부성(내부화) 문제를 다룬다. Jin‑Moosa의 두 정리를 일반화하여, (1) x′=f(x) 가 상수에 내부화되는 경우 f는 최고차 2인 다항식임을 보이고, (2) 그 시스템 전체가 상수에 거의 내부화되려면 f(x)=a₂x²+a₁x+a₀ ( a₂∈ℚ{0} )이어야 함을 증명한다. 또한 상수장이 대수적으로 닫힌 경우 f, g에 대한 로그 미분 형태의 필요충분조건을 제시한다.

상세 분석

논문은 미분대수학과 모델이론의 내부성 개념을 연결한다. 먼저 K를 특성 0의 미분체계라 두고, 모든 확장은 보편적 확장 𝕌에 포함시킨다. 내부성은 ‘거의 내부(Almost internal)’와 ‘내부(Internal)’ 두 단계로 정의되며, 이는 Kolchin의 강정규 확장(strongly normal extensions)과 동등한 의미를 가진다. Proposition 1은 거의 내부인 시스템에 대해, 적당한 미분체 확장 M을 잡으면 M(x,y) 안에 M‑대수적으로 독립인 두 상수가 존재함을 보인다. 이는 내부성 연구에서 상수의 존재와 독립성을 확인하는 핵심 도구가 된다.

Theorem 2는 x′=f(x) 가 상수에 내부화되는 경우 f가 정확히 2차 다항식임을 증명한다. 증명은 일반적인 내부성 가정 하에, 적당한 확장 \tilde M을 선택해 \tilde M(x)=\tilde M(c) 형태로 상수를 표현하고, 이후 선형 독립성 및 Kolchin‑Chevalley 이론을 이용해 f가 a₂x²+a₁x+a₀ 형태임을 도출한다. 역방향은 구체적인 상수 c 구성을 통해 직접 확인한다.

Theorem 4는 시스템 (L): x′=f(x), y′=g(x)y 가 거의 내부이면서 x′=f(x) 가 내부인 경우, f는 반드시 a₂x²+a₁x+a₀ (a₂∈ℚ{0}) 형태여야 함을 완전히 규정한다. 여기서는 Proposition 1에서 얻은 두 독립 상수를 이용해 M(x,y) 안에 z satisfying z′=nz 형태의 원소가 존재함을 보이고, 이를 통해 a₂가 유리수임을 추출한다. 반대 방향에서는 a₂가 유리수인 경우, 적절히 정의된 v와 v_i 를 이용해 두 개의 독립적인 해 (x₁,y₁), (x₂,y₂) 와 상수 c₁,c₂ 를 구성해 거의 내부성을 직접 구축한다.

Theorem 5는 C가 상수만을 갖는 대수적으로 닫힌 미분체계일 때, 시스템 (A): x′=f(x), y′=g(x)y 가 거의 내부가 되기 위한 필요충분조건을 제시한다. 조건 (i)와 (ii)는 각각 f와 g가 로그 미분 형태, 혹은 g와 f의 선형 결합이 로그 미분 형태가 되도록 요구한다. 증명은 Proposition 1을 다시 활용해 M(x,y) 안에 두 독립 상수가 존재함을 이용하고, Rosenlicht의 결과를 통해 C(x) 안에 u가 존재해 u′=1 혹은 u′=cu 를 만족함을 보인다. 이후 Picard‑Vessiot 이론과 Kolchin‑Ostrowski 정리를 사용해 g와 f 사이의 관계를 도출한다.

전체적으로 논문은 내부성 문제를 미분대수학적 구조와 모델이론적 관점에서 통합적으로 다루며, 기존 결과를 일반화하고 새로운 정량적 조건을 제공한다. 특히, f가 2차 다항식이라는 강력한 제한을 얻음으로써, 복잡한 비선형 시스템의 내부성을 판단하는 실용적인 기준을 제시한다.