隐函数定理在ℝ²→ℝ映射中的应用及零点集Lipschitz性证明问询

题目回顾 #

设$V$是$\mathbb{R}^2$中原点的邻域，$f: V \to \mathbb{R}$是一个$C^1$映射，满足$f(0,0)=0$，且对任意$(x,y) \in V$有$f(x,y) \geq 2y$。证明存在$\mathbb{R}^2$中原点的邻域$U$和常数$L$，使得若$(x_1,y_1),(x_2,y_2) \in U$且$f(x_1,y_1)=f(x_2,y_2)=0$，则$|y_2 - y_1| \leq L|x_2 - x_1|$。

证明思路与步骤 #

咱们从已知条件入手，一步步拆解问题：

1. 确定原点处的y偏导数
   已知$f(0,0)=0$，且对任意$(x,y) \in V$有$f(x,y) \geq 2y$，先计算原点处的$\frac{\partial f}{\partial y}(0,0)$：
   根据偏导数的定义：
   $$\frac{\partial f}{\partial y}(0,0) = \lim_{h \to 0} \frac{f(0,h) - f(0,0)}{h} = \lim_{h \to 0} \frac{f(0,h)}{h}$$

   • 当$h>0$时，$\frac{f(0,h)}{h} \geq \frac{2h}{h} = 2$；
   • 当$h<0$时，分母为负导致不等式反转，$\frac{f(0,h)}{h} \leq \frac{2h}{h} = 2$；
     由此可得这个极限只能等于2，即$\frac{\partial f}{\partial y}(0,0) = 2 \neq 0$。

2. 应用隐函数定理
   因为$f$是$C^1$映射，且$\frac{\partial f}{\partial y}(0,0) \neq 0$，完全满足隐函数定理的条件：
   存在原点的邻域$U = U_1 \times U_2 \subset V$（$U_1$是x轴上原点的邻域，$U_2$是y轴上原点的邻域），以及唯一的$C^1$函数$g: U_1 \to U_2$，使得：

   • 对所有$x \in U_1$，$f(x, g(x)) = 0$；
   • $g(0) = 0$（因为$f(0,0)=0$）；
   • 核心结论：在邻域$U$内，所有满足$f(x,y)=0$的点$(x,y)$都必须是$(x, g(x))$——这是隐函数定理的唯一性保证。

3. 利用$C^1$函数的局部有界性
   因为$g$是$C^{1$函数，它的导数$g'$在$U_1$上连续（$C}1$的定义就是一阶导数连续）。连续函数在紧集上必有界，我们可以取$U_1$为原点的一个小闭邻域（依然是原点的邻域），此时$g'$在$U_1$上存在上界$L$，即$|g'(x)| \leq L$对所有$x \in U_1$成立。

   对任意$x_1, x_2 \in U_1$，根据拉格朗日中值定理，存在$\xi$介于$x_1$和$x_2$之间，使得：
   $$|g(x_2) - g(x_1)| = |g'(\xi)| \cdot |x_2 - x_1| \leq L |x_2 - x_1|$$

4. 推导最终结论
   回到题目中的点$(x_1,y_1)$和$(x_2,y_2)$：因为它们在$U$内且满足$f(x_i,y_i)=0$，根据隐函数定理的唯一性，$y_1 = g(x_1)$，$y_2 = g(x_2)$。代入上面的不等式，直接得到：
   $$|y_2 - y_1| \leq L |x_2 - x_1|$$
   这正是我们需要证明的结论。

内容的提问来源于stack exchange，提问作者user557