[论文解读] 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

一句话总结

本文提出了一种适用于一阶及更高阶不定型的洛必达法则的多变量推广，其依据是函数在某一点处的一阶与二阶偏导数的行为。研究证明，当两个在某一点处趋于零的函数之比的极限存在且等于常数 k 时，当且仅当它们对应的一阶（或更高阶）偏导数之比在所有方向上均相等，从而提供了一种构造具有指定极限的不定型的构造性方法。

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.

研究动机与目标

• 解决标准教科书中缺乏洛必达法则多变量类比的问题。
• 为构造具有指定二重极限的多变量不定型提供系统性方法。
• 建立两个在某一点趋于零的函数之比的有限极限存在的必要与充分条件。
• 通过使用高阶偏导数，将经典法则推广至更高阶趋于零（阶数 n）的情形。
• 通过提供一种实用且适合课堂教学的框架，支持数学分析的教学与学习，供学生与教师使用。

提出的方法

• 若函数在某一点处的一至 (n−1) 阶 Fréchet 导数均为零，但第 n 阶导数不为零，则定义该函数在该点为 n 阶无穷小。
• 引入 n 阶不定型的概念，即两个在某一点均趋于 n 阶的函数之比。
• 对于一阶情形，基于一阶偏导数之比相等的条件推导：f_x/g_x = f_y/g_y = k。
• 对于高阶情形，将条件扩展至二阶偏导数之比（例如 f_xx/g_xx = f_xy/g_xy = ... = k）。
• 利用一阶或二阶泰勒展开分析函数比 f/g 在该点附近的渐近行为。
• 通过向函数添加线性或二次校正项，使它们的偏导数之比匹配期望的极限 k，从而构造显式例子。

实验结果

研究问题

• RQ1 当 f 和 g 在点 (x₀,y₀) 处趋于零时，f(x,y)/g(x,y) 的极限在什么条件下存在？
• RQ2 是否可以利用偏导数将洛必达法则推广至多变量函数？
• RQ3 如何构造一个具有指定有限极限的多变量不定型？
• RQ4 高阶偏导数在确定趋于零函数之比的极限时起什么作用？
• RQ5 是否存在一种系统性方法，通过调整函数在该点的导数，确保 f/g 的极限等于给定常数 k？

主要发现

• 当且仅当在 (x₀,y₀) 处有 f_x/g_x = f_y/g_y = k，且 f 与 g 均为一阶无穷小时，极限 lim_{(x,y)→(x₀,y₀)} f(x,y)/g(x,y) 存在且等于 k。
• 对于高阶不定型（阶数 n > 1），当且仅当所有对应的 n 阶偏导数之比均等于 k 时，极限存在且等于 k。
• 本文提供了显式公式，用于构造校正项（一阶情形为 C₁, C₂；二阶情形为 C₁*, C₂*, C₃*），以修改函数，使所得比值具有期望的极限 k。
• 构造了一个例子：令 f(x,y) = x²y + x + y 且 g(x,y) = x²y² + xy，通过添加线性项后，在 (1,1) 处的极限为 2。
• 另一个例子表明，通过添加二次项，分子与分母的一阶导数在 (1,1) 处为零，但极限仍为 2，从而验证了二阶形式下的法则。
• 该方法通过泰勒级数展开得到验证，并已应用于第一年大学数学分析课程的教学中。