[论文解读] Leinartas's partial fraction decomposition

Alexander Raichev|arXiv (Cornell University)|Jun 20, 2012

Polynomial and algebraic computation参考文献 6被引用 9

一句话总结

本文介紹了Leĭnartas針對多變數部分分式分解的演算法，將有理函數分解為分母由代數獨立的不可約因式組成之有理式之和。該方法結合Hilbert零點多項式恆等式（Nullstellensatz）證據以偵測共同零點，並利用代數相依性認證，確保完整且可計算的分解；已在Sage中實作，並應用於留數計算。

ABSTRACT

These notes describe Leinartas's algorithm for multivariate partial fraction decompositions and employ an implementation thereof in Sage.

研究动机与目标

• 提供Leĭnartas多變數部分分式分解演算法的清晰、易懂的說明，此演算法原本晦澀且少被使用。
• 彌補現有英文資源與實作之不足，特別是針對多變數有理函數符號計算中Leĭnartas方法的應用。
• 透過開放原始碼的Sage實作，使多變數有理函數之留數與分解能實際計算。
• 示範Leĭnartas分解並非唯一，但可透過構造性代數幾何技術系統性地計算。
• 建立一個可計算的框架，將$ d $個變數的有理函數分解為和式，其中每一項的分母最多包含$ d $個不可約因式，並利用域可計算性與多項式理想理論。

提出的方法

• 於可計算域上使用構造性程序，應用Hilbert零點多項式恆等式證據，偵測分母不可約因式的共同零點是否存在於$ \bar{K}^d $中。
• 使用Hilbert零點多項式恆等式分解步驟，將有理函數重寫為所有子集$ A \neq \bigcap V_i $的和，其中每一項的分母為不可約因式的冪次乘積。
• 針對每一項，應用代數相依性認證，識別出具有代數相依性的不可約因式子集，並利用消去多項式進一步分解。
• 透過消去多項式關係的單項式基底，構造性地分解每一項，確保結果的分母為不可約因式之乘積，且指數可能超過$ q $因式分解中的原始重數。
• 利用「在$ d $個變數中，多於$ d $個多項式必為代數相依」（引理2.6）的事實，系統性地簡化複雜分母。
• 在Sage中實作完整演算法，程式碼可供同儕審查並整合至Sage程式碼庫，實現可重現且可取得的計算。

实验结果

研究问题

• RQ1 當標準迭代單變數方法失效時，如何系統性地將多變數有理函數分解為部分分式？
• RQ2 在何種條件下，可確保將有理函數分解為分母僅含代數獨立不可約因式的有理式是可能的？
• RQ3 當不可約因式無共同零點時，是否可利用Hilbert零點多項式恆等式證據來構造性地分解有理函數？
• RQ4 當不可約因式數量超過變數數量時，該演算法如何處理？代數相依性在此扮演何種角色？
• RQ5 Leĭnartas分解在多大程度上是唯一的？其唯一性在單變數與多變數情形下有何差異？

主要发现

• Leĭnartas演算法提供了一種構造性方法，可將任一多變數有理函數$ f = p/q $分解為有理式的和，其中每一項的分母為不可約因式的冪次乘積，且這些因式集合代數獨立，其零點集交集非空。
• 該演算法確保任一$ d $個變數的有理函數皆可表示為和式，其中每一項的分母最多包含$ d $個不同的不可約因式，此結果由推論2.2保證。
• 該分解在任何可計算域$ K $（包括$ \bbQ $、有限域及其代數閉包）上皆可計算，只要能計算Hilbert零點多項式恆等式證據與代數相依關係。
• 該演算法產生的分解中，分母的指數可能超過$ q $因式分解中的原始重數，如分母含$ (XY+Z)^2 $之例所示。
• Leĭnartas分解並非唯一，如同一有理函數存在多種有效分解（例如$ f = 1/X + 1/Y + 1/(XY+1) $）所示，儘管該演算法提供系統性計算其中一種的方法。
• 在單變數情形下，當分數為最簡形式時，Leĭnartas分解是唯一的，這是因為多項式因式分解的唯一性，且不同不可約因式之間無代數相依性。