形式微分のソースを表示

{{混同|微分形式}}
[[数学]]のとくに[[抽象代数学]]における'''形式微分'''（けいしきびぶん、{{lang-en-short|''formal derivative''}}）は、[[微分法]]における通常の[[微分]]を形の上で真似た、[[多項式環]]または[[形式冪級数]]環上で定義される演算である。結果だけ見れば通常の微分と同じと言えるけれども、形式微分は[[極限 (数学)|極限]]の概念に基づくものではない（そもそも一般の[[環 (数学)|環]]では極限の概念が意味を持つとは限らないのであった）という点において、代数的操作であることは有意である。形式微分は通常の微分が満たす多くの性質を満足するけれども、一部、特に[[数値解法|数値的な性質]]については満たさないことに留意しなければならない。

初等代数学において、形式微分を[[重根 (多項式)|重根]]の判定に用いることができる。

== 定義 ==
係数環 {{mvar|R}}（可換でなくともよい）を決めて、{{mvar|R}} 上の多項式環 {{math|''A'' {{coloneqq}} ''R''{{bracket|''x''}}}} を考える。{{mvar|A}} 上の演算としての'''形式微分''' "{{math|&prime;}}" または "{{mvar|D}}" は、{{mvar|R}} 上の多項式 <math display="block">f(x) = a_n x^n + \dotsb + a_1 x + a_0</math> に対して、その'''導多項式'''（形式導函数）と呼ばれる多項式 <math display="block">f'(x) \equiv Df(x) := n a_n x^{n - 1} + \dotsb + 2 a_2 x + a_1</math> を対応付ける（これは[[実数|実]]または[[複素数]]体上の[[多項式函数]]に対する通常の[[微分]]を考えたときとちょうど同じ式である）。

; 注: ここで、自然数 {{mvar|m}} と係数環の元 {{mvar|a}} に対する {{mvar|ma}} のような式が係数に現れてくるが、これが上記の環における積でないことに注意すべきである: {{math|''ma'' {{coloneqq}} {{sum|''k''{{=}}1|''m''}} ''a''}}. 

係数環が非可換の場合には、この定義ではやや不十分である（定義式が誤っているわけではないが、多項式の標準形がないので）。実際、この形だと、定数 {{mvar|b}}-倍に関する公式 {{math|1=(''f''(''x'')&sdot;''b'')&prime; = ''f&prime;''(''x'')&sdot;''b''}} の証明は難しい。{{efn|非可換の場合にも適用可能な別定義:
{{mvar|R}} の任意の元 {{mvar|r}} に対して {{math|1=''r&prime;'' = 0}} かつ不定元 {{mvar|x}} に対して {{math|1=''x&prime;'' = 1}} が満足されるものとする。これらから定義される任意の文字式に対する微分を二条件 <math display="block">(a+b)'=a'+b',\quad (a\cdot b)'=a'\cdot b+a\cdot b'</math> が成り立つものとして定義する。確認すべきは、これが各文字式に対してその値の評価の仕方に依らず同じ結果を与えることであり、それは環の公理として現れる全ての等式と両立すること:
*<math>(a+b)'=(b+a)',</math>
*<math>((a+b)+c)'=(a+(b+c))',</math>
*<math>(a(bc))'=((ab)c)',</math>
*<math>((a+b)c)'=(ac+bc)',\quad (a(b+c))'=(ab+ac)'</math>
（が上記の二条件のみを用いて導出できること）を見ることで為される。この定義から線型性は自然に導出される。可換環の標準形と同じ形をした多項式の微分が <math display="block">(\sum_i a_ix^i)'=\sum_i (a_ix^i)'=\sum_i ((a_i)'x^i+a_i(x^i)')=\sum_i(0x^i+a_i(\sum_{j=1}^ix^{j-1}(x')x^{i-j}))=\sum_i\sum_{j=1}^i a_ix^{i-1}</math> と計算できることは、定義からの直接の帰結である。}}

== 性質 ==
以下のような性質を満足することが確認できる:

; 線型性: 二つの多項式 {{math|''f'', ''g'' ∈ ''A''}} およびスカラー {{mvar|''r'', ''s'' ∈ ''R''}} に対し<math display="block">(rf + sg)' = rf' + sg'</math> が成り立つ。
:* {{mvar|R}} が非可換の場合には、スカラー右乗版 {{math|1=(''fr'' + ''gs'')&prime; {{=}} ''f&prime;r'' + ''g&prime;s''}} が上記のスカラー左乗版とは別に成り立つ。
:* {{mvar|R}} が単位元を持たない場合には、多項式同士の（スカラー倍しない）和の場合や一方だけスカラー倍した場合の和に関する条件を別に書かないといけないことに注意。
; [[積の微分]]（ライプニッツ則）:<math display="block">(f \cdot g)' = f'\cdot g + f\cdot g'.</math>
:* 積の順番に注意すべきである（特に {{mvar|R}} が非可換のとき、安易に順番を変えることはできない）。

この二性質を満足することは、形式微分子 {{mvar|D}} が {{mvar|A}} 上の{{ill2|導分 (抽象代数学)|en|derivation (abstract algebra)|label=導分}}となることを意味する。

== 応用 ==
=== 重根判定法 ===
微分積分学におけると同様に、導函数によって重根の判定が可能である。係数環 {{mvar|R}} が[[可換体|体]]ならば {{math|1=''A'' = ''R''{{bracket|''x''}}}} は[[ユークリッド環]]であり、この設定のもとでも「根の重複度」の概念が定義できる &mdash;任意の多項式 {{mvar|f}} とスカラー {{mvar|r}} に対して、非負整数 {{mvar|m{{sub|r}}}} と多項式 {{mvar|g}} が一意的に存在して <math display="block">f(x) = (x - r)^{m_r} g(x)\quad (g(r)\ne 0)</math> とできる。この {{mvar|m{{sub|r}}}} を {{mvar|f}} の根としての {{mvar|r}} の'''重複度'''と呼ぶのであった&mdash;。ライプニッツ則を用いれば、この設定においても、{{mvar|f}} を繰り返し微分して {{mvar|r}} が根に現れないようにするために必要な微分の回数が {{mvar|m{{sub|r}}}} であることが確認できる。

この判定法の有効性というのは、「一般には {{mvar|A}} に属する {{mvar|n}}-次多項式が重複度を込めて {{mvar|n}} 個の根を持つということは言えないけれど、係数体を（なかんづく、その[[代数閉包]]まで）[[体の拡大|拡大]]すればそうできる」のだけれども、こうしてしまうと単に {{mvar|R}} 上で考えたのでは出てこない根が重根となるかもしれないということにある（例えば、係数環 {{mvar|R}} を[[有限体|三元体]] {{math|'''F'''{{sub|3}}}} とするとき、多項式 <math display="block">f(x) = x^6 + 1</math> は {{mvar|R}} において根を持たないが、導多項式は[[零多項式]]である（{{mvar|R}} およびその任意の拡大体において {{math|1=3 = 0}} となるのであった）から、代数閉包に移れば {{mvar|R}} における因数分解自体からでは見つからない重根がある）。その意味において、形式微分法は重複度の効果的な概念を与えるものになっている。

[[ガロワ理論]]では[[分離拡大]]（[[分離多項式|単根しか持たない多項式]]によって定義される）と[[非分離拡大]]を区別するから、このような判定法は重要である。

== 解析学的定義との対応 ==
係数環 {{mvar|R}} が可換環であるときには、形式微分の上記定義と同値な（そして微分積分学で見るものとよく似た）別定義をあたえることができる。二変数多項式環 {{math|''R''{{bracket|''X'', ''Y''}}}} において、その元 {{mvar|Y – X}} は、任意の自然数 {{mvar|n}} に対する二項式 {{mvar|Y{{exp|n}} – X{{exp|n}}}} を整除するから、したがって任意の一変数多項式 {{mvar|f}} に対する {{math|''f''(''Y'') – ''f''(''X'')}} も整除する。そのときの商を {{mvar|g}} と書けば、つまり<math display="block">g(X,Y) := \frac{f(Y) - f(X)}{Y - X}\quad(\in R[X,Y])</math> と置けば、{{math|1=''Y'' = ''X''}} とした {{math|''g''(''X'', ''X'') ∈ ''R''{{bracket|''X''}}}} が {{mvar|f}} の（上で定義した）形式微分に一致することを見るのは難しくない。

いま見たような形式微分の定式化は、係数環が可換である限りにおいて、形式冪級数に対しても同じく適用できる。

実用においては、本節における定義は {{mvar|f}} として {{mvar|X}} において連続な {{mvar|Y}} の函数のクラスで行えば古典的な通常の微分の概念の捉え直しになるものである。さらに強く {{mvar|X, Y}} 両方に関して（多変数連続性の意味で）連続な函数のクラスで適用すれば、一様可微分性の概念が得られ、また {{mvar|f}} は連続的微分可能となる。同様にほかのクラスの函数（例えば[[リプシッツ函数]]のクラス）をとることにより、異なる毛色の可微分性概念を作ることができる。このように得られる微分法は、函数環の理論の一部を成すものである。

== 注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{notelist}}
=== 出典 ===
{{reflist}}

== 関連項目 ==
* [[導函数]]
* [[ユークリッド整域]]
* [[ガロワ理論]]
* [[形式冪級数]]
* [[パンシェルル微分]]

== 参考文献 ==
* {{Lang Algebra|edition=3r}}
* [https://arxiv.org/abs/0905.3611 Michael Livshits, You could simplify calculus, arXiv:0905.3611v1 ]

== 外部リンク ==
* {{ProofWiki|urlname=Definition:Formal_Derivative_of_Polynomial|title=Definition:Formal Derivative of Polynomial}}
* {{SpringerEOM|urlname=Formal_derivative|title=Formal derivative|first=L.V.|last=Kuz'min}}

{{DEFAULTSORT:けいしきひふん}}
[[Category:抽象代数学]]
[[Category:微分法]]
[[Category:多項式]]
[[Category:数学に関する記事]]