[論文レビュー] On a generalization of l'Hopital's rule for multivariable functions

V. V. Ivlev, И А Шилин|arXiv (Cornell University)|Mar 9, 2014

Iterative Methods for Nonlinear Equations参考文献 1被引用数 3

ひとこと要約

本稿では、1次およびそれ以上の次数の不定形に対して、点における1階および2階偏微分の挙動に基づき、l'Hôpitalの定理の多変数一般化を提案する。関数の比の極限が点で存在し、定数kに等しいための必要十分条件は、それらに対応する偏微分の比がすべての1階（または高階）項において等しいことであることが示され、指定された極限を持つこのような不定形を構成するための構成的技法が提供される。

ABSTRACT

For students and their lecturers and instructors interested in the natural problem of a possible generalization of l'Hopital's rule for functions depending on two or more variables, we offer our approach. For instructors, we discuss the technique of constructing indeterminate forms at a given point and having a given double limit.

研究の動機と目的

• 標準的な教科書に多変数関数のl'Hôpitalの定理の類似物が欠如しているという問題に対処すること。
• 指定された二重極限を持つ多変数不定形を体系的に構成するための方法を提供すること。
• 点で消える2つの関数の比の有限極限が存在するための必要十分条件を確立すること。
• 高階微分（次数n）を用いた古典的ルールの高次元への拡張。
• 学生および教員が実際に使用可能な教室向けのフレームワークを提供することで、数学解析の教育と学習を支援すること。

提案手法

• 関数が点においてn次の無限小であるとは、そのFréchet微分の1階から(n−1)階がすべて消え、n階微分が消えないときを定義する。
• 2つの関数が点においてn次に消えるとき、その比をn次不定形と呼ぶ。
• 1次の場合、1階偏微分の比が等しいという条件を導出する：f_x/g_x = f_y/g_y = k。
• 高次の場合、2階偏微分の比（例：f_xx/g_xx = f_xy/g_xy = ... = k）への条件の拡張。
• 点の近傍における比f/gの漸近的挙動を分析するために、1次または2次までのテイラー展開を用いる。
• 関数の偏微分比が所望の極限kに一致するように、線形または二次補正項を加えることによって具体的な例を構成する。

実験結果

リサーチクエスチョン

• RQ1 fとgが点(x₀,y₀)で消えるとき、f(x,y)/g(x,y)の極限が存在する条件は何か？
• RQ2 偏微分を用いて、l'Hôpitalの定理を多変数関数に一般化できるか？
• RQ3 指定された有限極限を持つ多変数不定形をどのように構成できるか？
• RQ4 高階偏微分は、消える関数の比の極限を決定する上でどのような役割を果たすか？
• RQ5 関数の点における微分を調整することで、f/gの極限が与えられた定数kに等しくなるような体系的な方法はあるか？

主な発見

• fとgが点において1次無限小であるという条件下で、lim_{(x,y)→(x₀,y₀)} f(x,y)/g(x,y) の極限が存在し、kに等しいことは、f_x/g_x = f_y/g_y = k が点(x₀,y₀)で成り立つことと同値である。
• 高次不定形（次数n > 1）の場合、極限が存在しkに等しいことは、すべてのn階偏微分の対応する比がkに等しいことと同値である。
• 本稿では、修正後の比が所望の極限kを持つようにするための補正項（1次ではC₁, C₂；2次ではC₁*, C₂*, C₃*）の明示的公式を提供する。
• 例として、f(x,y) = x²y + x + y と g(x,y) = x²y² + xy に線形項を加えることで、(1,1)で極限が2になるように調整した。
• 別の例では、二次項を加えることで、分子と分母の1階微分が(1,1)で消えるが、極限は依然として2のままであることが確認され、2次不定形に対する法則の妥当性が裏付けられた。
• テイラー級数展開を用いた検証が行われ、この方法は数学解析の授業で1年次大学学生に応用されている。