由偶函数构造的球对称函数的$C^{2n}$可微性判定问题

阿华AIGC实验室

2026-4-21

问题描述

我最近遇到了这么一个分析问题，想请教各位大佬：假设$g\in C^{2n}(\mathbb R)$是一个偶函数，定义$\mathbb R^d$上的球对称函数$f(x) = g(|x|)$，请问$f$一定属于$C^{2n}(\mathbb R^d)$吗？

我的尝试思路

我自己先摸索了一阵，有了一些初步进展，但卡在了关键环节：

范数函数$|\cdot|:\mathbb R^d\to\mathbb R$在原点以外的区域都是光滑的，所以根据链式法则，$f$在$\mathbb R^{d\setminus{0}$上肯定是$C}{2n}$的，这部分没问题。
因为$g$是偶函数，它在原点处的所有奇数阶导数都为0，所以把$g$在原点做泰勒展开的话，就能得到$f$的展开式：
$$f(h) = g(0) +\frac{|h|^2}{2}g''(0) +\dots+ \frac{|h|^{{2n}}{(2n)!}g}{(2n)}(0)+o(|h|^{2n})$$
注意到$|h|^{2k}=(h_12+\dots+h_d²⁾k$对任意正整数$k$都成立，所以$f$在原点处有$2n$阶的Peano泰勒展开，也就是说$f$在原点处是$2n$阶Peano可微的。

但这里遇到了瓶颈：Peano可微性一般比经典的Fréchet可微性要弱。我本来想找个定理来衔接，比如有结论说如果Peano导数在某个邻域内有界，那么经典导数就在该邻域内存在，但我搞不清楚怎么证明$f$的高阶导数在原点附近是有界的——毕竟范数函数的高阶导数在原点附近通常是无界的，比如混合偏导$\frac{\partial^2}{\partial x_1\partial x_2} |\cdot|$在原点附近就无界。

感觉应该有个更直接的视角能把这个问题弄清楚，但我现在卡住了，希望能得到大家的帮助。

解答思路与结论

其实这个结论是成立的，$f$确实属于$C^{2n}(\mathbb R^d)$，我给你梳理一下核心思路：

关键转化：把$g$转化为关于$t^2$的光滑函数

因为$g$是偶函数且$C^{2n}(\mathbb R)$，我们可以把$g$重新表示为$g(t)=h(t^2)$，其中$h\in C^n(\mathbb R)$。这个转化是成立的：由于$g$的泰勒展开只有偶次项，我们可以直接把$t^2$作为新变量构造$h$，而且$h$的$k$阶导数（$k\leq n$）可以用$g$的$2k$阶导数表示，且$h$是$C^n$连续的。

这样一来，$f(x)$就可以写成：
$$f(x)=h(x_1^2+x_22+\dots+x_d^2)$$
而$x_1^2+\dots+x_d2$是$\mathbb R^d$上的$C\infty$光滑函数，$h$是$C^n$函数，它们的复合函数的光滑性就很容易分析了。

高阶导数的连续性分析

对于任意多重指标$\alpha$满足$|\alpha|\leq2n$，我们可以用链式法则计算$\partial^\alpha f$：

当$x\neq0$时，直接用链式法则展开，得到的表达式由$h$的各阶导数（直到$n$阶）和$x$的多项式组合而成，显然连续。
当$x\to0$时，由于$g$是偶函数，$g$的奇数阶导数在原点处为0，这会抵消掉范数导数带来的奇点：所有涉及$g$奇数阶导数的项，都会带有$|x|$的正幂次，使得整个表达式在$x\to0$时收敛到一个确定的值，而这个值正好就是$f$在原点处的经典导数。

举个简单的例子验证$n=1$的情况：
$g\in C^2(\mathbb R)$偶，$f(x)=g(|x|)$，其一阶偏导$\partial_{x_i}f(x)=\frac{x_i}{|x|}g'(|x|)$（$x\neq0$），而$g'(0)=0$，所以$\partial_{x_i}f(0)=0$；当$x\to0$时，$g'(|x|)=g''(0)|x|+o(|x|)$，代入后$\frac{x_i}{|x|}g'(|x|)=x_i g''(0)+o(|x|)\to0$，和原点处的导数一致，所以一阶导数连续。

二阶偏导的情况类似，交叉项（$i\neq j$）在$x\to0$时会收敛到0，纯二阶偏导会收敛到由$g''(0)$和维度$d$决定的常数，整体都是连续的。