确定实数a、b使分段函数f(x)在全体实数域可微

没问题，我来一步步帮你解决这个问题～要让分段函数$f(x)$在全体实数上处处可微，核心要满足两个条件：函数在分段点$x=0$处连续，以及分段点处左右导数相等，其他区间的可微性是显然的（$x>0$是初等函数组合，$x<0$是线性函数）。

步骤1：利用连续性确定$b$的值 #

当$x \to 0^{+$时，$f(x)=x}2\sin\left(\frac{1}{x}+1\right)$：$x^2$是无穷小量，$\sin\left(\frac{1}{x}+1\right)$是有界函数（值域始终在$[-1,1]$），根据“无穷小乘有界量仍为无穷小”，可得：
$$\lim_{x \to 0^+} f(x) = 0$$
当$x \to 0^-$时，$f(x)=ax+b$，极限为$b$。因为函数在$x=0$处连续，左右极限必须等于$f(0)=b$，因此$\boldsymbol{b=0}$。

步骤2：利用可微性确定$a$的值 #

接下来分析$x=0$处的左右导数：

• 右导数$f'_+(0)$：根据导数定义计算
  $$f'+(0) = \lim{x \to 0^+} \frac{f(x)-f(0)}{x-0} = \lim_{x \to 0^+} \frac{x^2\sin\left(\frac{1}{x}+1\right) - 0}{x} = \lim_{x \to 0^+} x\sin\left(\frac{1}{x}+1\right)$$
  同样利用“无穷小乘有界量”，这个极限结果为0。

• 左导数$f'_-(0)$：此时$b=0$，$f(x)=ax$，代入导数定义：
  $$f'-(0) = \lim{x \to 0^-} \frac{f(x)-f(0)}{x-0} = \lim_{x \to 0^-} \frac{ax - 0}{x} = a$$

函数在$x=0$处可微的充要条件是左右导数相等，因此$\boldsymbol{a=0}$。

综上，满足条件的实数是$\boldsymbol{a=0}$，$\boldsymbol{b=0}$。

额外分析：连续可微性判断 #

连续可微要求导数函数$f'(x)$在$\mathbb{R}$上处处连续。先写出$f'(x)$的完整表达式：

• 当$x>0$时，用乘积法则求导：
  $$f'(x) = 2x\sin\left(\frac{1}{x}+1\right) + x^{2\cos\left(\frac{1}{x}+1\right)\cdot\left(-\frac{1}{x}2}\right) = 2x\sin\left(\frac{1}{x}+1\right) - \cos\left(\frac{1}{x}+1\right)$$
• 当$x=0$时，$f'(0)=0$（前面已求得）
• 当$x<0$时，$f'(x)=a=0$

观察$x \to 0^+$时$f'(x)$的极限：$2x\sin\left(\frac{1}{x}+1\right)$的极限是0，但$-\cos\left(\frac{1}{x}+1\right)$会随着$x \to 0^+$在$[-1,1]$之间无限振荡，没有确定的极限。因此$f'(x)$在$x=0$处不连续，所以$f(x)$不是连续可微函数。

额外分析：二阶可微性判断 #

二阶可微要求函数在每一点都存在二阶导数：

• $x>0$时，$f'(x)$是初等函数组合，显然可导，二阶导数存在；
• $x<0$时，$f'(x)=0$，二阶导数$f''(x)=0$，存在；
• 但在$x=0$处，右二阶导数的极限：
  $$\lim_{x \to 0^+} \frac{f'(x)-f'(0)}{x-0} = \lim_{x \to 0^+} \frac{2x\sin\left(\frac{1}{x}+1\right) - \cos\left(\frac{1}{x}+1\right)}{x}$$
  拆成两项后，第一项是振荡无极限的，第二项是无界振荡（分母趋近0，分子有界），整个极限不存在，即右二阶导数不存在。因此$f(x)$不是处处二阶可微函数。

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