[논문 리뷰] Calculus of extensive quantities

Anders Kock|arXiv (Cornell University)|2011. 05. 17.

Mathematical and Theoretical Analysis참고 문헌 12인용 수 4

한 줄 요약

이 논문은 카르테시언 닫힘 범주 위의 가환 모나드로부터 유도되는 공변 함자적 구조—즉, 광범위한 양의 미분법을 개발한다. 이는 광범위한 양과 강도적 양 사이의 이중성과 분포 미분의 합성적 프레임워크를 보여주며, 통합-분할 공식의 범주론적 유도를 핵심 기여로 한다. 이는 광범위한 양의 도함수를 시험 함수의 도함수와의 음의 쌍대성과 연결함으로써 고전적 샤우츠 분포 미분학을 일반화한다.

ABSTRACT

We show how a commutative monad gives rise to a theory of extensive quantities, including (under suitable further conditions) a differential calculus of such. The relationship to Schwartz distributions is dicussed. The paper is a companion to the author's "Monads and extensive quantities", but is phrased in more elementary terms.

연구 동기 및 목표

• 카르테시언 닫힘 범주 위의 가환 모나드로부터 유도되는 공변 함자로서 광범위한 양을 형식화한다.
• 실수선 위의 광범위한 양에 대한 미분법을 수립하여 샤우츠 분포 이론을 일반화한다.
• 범주론적 및 함수해석학적 구조를 통해 광범위한 양과 강도적 양 사이의 이중성을 명확히 한다.
• 고전적 시험 함수 공간에 의존하지 않는 분포 도함수를 위한 합성적, 공리적 프레임워크를 제공한다.

제안 방법

• 광범위한 양을 카르테시언 닫힘 범주 E 위의 함자 T의 작용에 의한 T(X) 원소로 모델링한다.
• 쌍대성 ⟨P, φ⟩ := β(φ_*(P))를 사용하여 φ가 T-대수 값을 갖는 함수일 때 P ∈ T(X)를 일반화된 적분으로 해석한다.
• P′ = −⟨P, η′_R⟩를 통해 광범위한 양의 미분을 쌍대성 관계로 정의한다. 여기서 η_R는 모나드의 단위이다.
• 이항성 쌍대성 ⊢ (평가의 역)에 대해 라이프니츠 법칙을 적용하여 도함수의 곱법칙을 도출한다.
• 무한소 d ∈ D (d² = 0)를 사용한 합성 미분기하학 기법을 적용하여 델타 함수의 도함수를 계산한다.
• 핵심 항등식으로서 통합-분할 공식 ⟨P′, φ⟩ = −⟨P, φ′⟩을 유도하여 분포 도함수를 일반화한다.

실험 결과

연구 질문

• RQ1 카르테시언 닫힘 범주 위의 가환 모나드는 어떻게 광범위한 양의 이론과 그에 따른 미분법을 유도하는가?
• RQ2 광범위한 양에 대한 통합-분할 공식의 범주론적 및 합성적 표현은 무엇인가?
• RQ3 이 프레임워크에서 분포(예: δ_x)의 도함수는 단위 사상 η_R의 도함수와 어떻게 관련되는가?
• RQ4 고전적 시험 함수를 가정하지 않고 광범위한 양의 도함수 곱법칙을 어떻게 합성적으로 도출할 수 있는가?
• RQ5 함수 φ: R → T(X)의 도함수와 광범위한 양 P ∈ T(R)의 도함수 사이의 정확한 관계는 무엇인가?

주요 결과

• 광범위한 양 P ∈ T(R)의 도함수는 모든 φ ∈ R ⊸ T(X)에 대해 쌍대성 ⟨P′, φ⟩ = −⟨P, φ′⟩를 만족하며, 이는 분포 이론의 통합-분할 공식을 일반화한다.
• 단위 사상 η_R: R → T(R)의 도함수는 η′_R(x) = −(δ_x)′로 주어지며, 이는 함수 수준과 분포 수준의 도함수를 연결한다.
• 쌍대성 ⊢에 대해 곱법칙 (P ⊢ φ)′ = P′ ⊢ φ + P ⊢ φ′이 성립하며, 이는 라이프니츠 법칙과 쌍대성을 사용하여 도출된다.
• 이 이론은 풍부한 시험 함수 공간의 존재를 요구하지 않고도 분포 도함수의 합성적 유도를 제공한다.
• 이 프레임워크는 고전적 분포 미분학과 범주론적 보편대수학을 통합하며, 가환 모나드의 구조와 T-대수 위의 작용 외에는 추가 구조가 필요로 하지 않는다.
• D가 d² = 0을 만족하는 무한소로 구성되어 있다는 가정 하에 이 구성은 도함수의 합성적 계산이 가능하다.