关于一个简单函数方程问题的深入探究

关于一个简单函数方程问题的探究过程

这个问题是一个高中同学问我的，来源是某张高数卷子的原题。但这个问题并不严谨，据说高数卷子默认为给出的函数都是任意阶可导的，而且所有函数以及其所有导数全部连续。问题本身是很简单的，看一眼就能得到答案。但是在给出这么强的条件下，我不得不开始思考，满足这样条件的函数存在吗？

我“仔细思考”半个小时之后，写出比较冗长的步骤把这个问题给证伪了：这样的函数是不存在的。但是在我第二天拿出之前的草稿，发现自己有一个地方写错了，尽管错误不明显，无奈之下只能重新想别的办法否定这个问题。最后用别的办法把这个函数给求出来了。这个函数的形式竟然如此简单，但我为了得到这个函数却没有更简单的方法。这也是函数方程的困难所在，为了追求解题的严谨，解出函数的过程往往不那么容易。

那么，感兴趣的同学可以看一看我两次的论证过程，希望你可以从中体会到什么。

$$问题：已知f(x+y)=f(x)g(y)+f(y)g(x),f(0)=0,f^{\prime }(0)=1,g^{\prime }(0)=0,求证:f^{\prime }(x)=g(x).$$
证明：

等式两端对y求偏导数，得：
$$f^{\prime }(x+y)=f(x)g^{\prime }(y)+f^{\prime }(y)g(x)\cdots \cdots ①$$
令x=0，得：
$$f^{\prime }(y)=f(0)g^{\prime }(y)+f^{\prime }(y)g(0)=g^{\prime }(y)$$

证毕.

那么，我们怎么证明这个函数是不存在的呢？首先写出我第一次错误的证法。
$证明:$

$在①式中令y=x，得：$
$$f^{\prime }(2x)=f^{\prime }(x)g(x)+f(x)g^{\prime }(x)=[f(x)g(x){]}^{\prime }\cdots \cdots ②$$$对②式两端积分得：$
$$f(2x)=f(x)g(x)+C$$$令x=0：$
$$0=0+C$$$也即$
$$C=0,f(2x)=f(x)g(x)\cdots \cdots ③$$$在题干的式子中，令x=y：$
$$f(2x)=2f(x)g(x)\cdots \cdots ④$$$由③④知：$
$$[f^2(x){]}^{\prime }=2f(x)f^{\prime }(x)=2f(x)g(x)=0$$$对上式积分：$
$$f^2(x)=C=f^2(0)=0$$$也就是$
$$f(x)=0，f^{\prime }(x)=0,与f^{\prime }(0)=1矛盾！$$$所以符合题意的函数是不存在的。$

$证毕.$

有没有看出上述步骤的错误呢？其实在第二步“对②式两端积分”时，左边的积分的变量是2x，我当时没有考虑到这里的换元问题，导致等式右边的系数少了一个2，最后③式与④式应该是完全相同的。那么，我们重新来探究这个问题。

$证明：$

$对题干中的式子，我们令x=-y，有：$
$$0=f(x)f^{\prime }(-x)+f(-x)f^{\prime }(x)$$ $构造函数F(x)=f(x)/f(-x),有F^{\prime }(x)=0$

$两端积分：$ $$f(x)=Cf(-x)$$ $两端求导：$
$$f^{\prime }(x)=-C{f}^{\prime }(-x)$$ $令x=0：$
$$C=-1$$ $所以f(x)是奇函数,f^{\prime }(x)是偶函数，f^{\prime \prime }(x)是奇函数。$

$在题干的式子中令y=-2x，我们有：$
$$f(-x)=f(x)f^{\prime }(-2x)+f(-2x)f^{\prime }(x)$$$把-x替换为x并利用奇偶性:$
$$f(x)=-f(x)f^{\prime }(2x)+f(2x)f^{\prime }(x)\cdots \cdots ⑤$$$由④式，我们有：$
$$f(2x)=2f(x)f^{\prime }(x)\cdots \cdots ⑥$$$对其两端求导：$
$$f^{\prime }(2x)=[f^{\prime }(x){]}^2+f(x)f^{\prime \prime }(x)\cdots \cdots ⑦$$$将⑥⑦带入⑤式：$
$$f(x)=-f(x)([f^{\prime }(x){]}^2+f(x)f^{\prime \prime }(x))+2f(x)[f^{\prime }(x){]}^2$$$f(x)̸=0时，有：$
$$1=[f^{\prime }(x){]}^2-f(x)f^{\prime \prime }(x)$$$利用初值条件，解这个微分方程，我们有：$
$$f(x)=x$$$显然这个函数是满足条件的.$

解决这个函数方程确实花了我不少精力，尤其是在解最后一个微分方程时，过程是相当复杂的，这里省略了解方程的步骤。可见做出一个断言之前必须要有充分的理论支持。即使认为一个结论不正确，也应该自己在纸上把每一步的想法写清楚才能成功。这也是我的老师经常教我的：再显然的结论，也要严谨地写出来，不然等到你失败了，一切都晚了。