关于由函数衰减性推导其梯度一致有界性的疑问

嗨，作为物理专业大二的同学，你有这个疑问太正常啦——咱们先直接说结论：仅靠题目里给的函数衰减条件，是没办法推出梯度一致有界的，我给你举个具体的反例，再聊聊需要加什么额外条件才能保证梯度有界。

先看反例：构造一个满足衰减条件但梯度无界的C²函数 #

我们可以先从单变量情况入手（很容易推广到高维N>4的场景）：
定义函数
$$f(x) = \frac{\sin(e^{x2})}{(1+x²⁾{\alpha/2}}$$
这个函数显然是C²类的，而且因为$|\sin(e^{x2})| \leq 1$，所以完全满足题目里的衰减条件$|f(x)| \leq \frac{1}{(1+|x|²⁾{\alpha/2}}$。

但我们计算它的导数（梯度）：
$$f'(x) = \frac{2x e^{x2} \cos(e^{x2}) \cdot (1+x²⁾{\alpha/2} + \alpha x \sin(e^{x2}) \cdot (1+x²⁾{\alpha/2 -1}}{(1+x²⁾\alpha}$$
化简后能看到，分子里的$e^{x2}$是指数增长的，远远快过分母的多项式增长$(1+x²⁾\alpha$，所以当$|x| \to \infty$时，$|f'(x)|$会趋向无穷大——梯度完全无界。

推广到高维的话，只需要让函数只依赖某一个坐标，比如$f(x_1,x_2,...,x_N) = \frac{\sin(e^{x_12})}{(1+x_1²⁾{\alpha/2}}$，同样满足题目所有条件，但对$x_1$的偏导数会趋向无穷，梯度自然也无界。

为什么课堂上会当成“明显”的事情？可能默认了额外条件 #

课堂上可能隐含了一些没明确说的前提，常见的能保证梯度一致有界的额外条件有这些：

• 梯度本身有衰减性：比如假设$|\nabla f(x)| \leq \frac{C}{(1+|x|²⁾{\beta/2}}$（其中$\beta>0$），这样无穷远处梯度衰减，有限区域内C²函数的梯度连续有界，整体就一致有界了；
• f是调和函数（即$\Delta f = 0$）：调和函数有很强的正则性估计（比如均值性质、椭圆方程的梯度估计），如果调和函数有多项式衰减，那梯度也会有相应的估计，甚至能推出一致有界；
• f的二阶导数一致有界：如果$|D^2 f(x)| \leq M$对所有$x \in \mathbb{R}^N$成立，结合f的衰减性，用中值定理或者积分估计就能推出梯度不会趋向无穷，从而一致有界。

总结 #

仅题目给出的$f$是C²类且满足多项式衰减的条件，无法推出梯度一致有界；但如果加上上面提到的任意一种额外条件，就能保证$|\nabla f|_\infty \leq c$成立啦。

备注：内容来源于stack exchange，提问作者Physics user