《数研难题》.docVIP

空间内有一个底面半径为r,高为h的圆柱体，所有在圆柱外部到圆柱表面距离小于等于d的点的集合的区域为E，求E的体积和E外层表面积。国王为10天后的生日宴会准备了1000桶酒，不幸的是，其中两桶被下了毒。为了确定两桶毒酒，有人提议用死刑犯试毒。毒的潜伏期为10天。 问:至少需要多少个死刑犯才能确保找出毒酒？方案如何实行？对于任意给定一个常数a?0?=c?据说这个数列的通项求不出，如何证明其没有闭式表达？对于二次映射，并不存在一般形式的封闭解。这是因为：1) 在非线性系统中，初值对于解的形式起到决定性的作用（想想蝴蝶效应吧）。比如偏微分方程中的黎曼问题（如果你学过计算流体力学的话，就是对应于激波间断）——初值条件即使是光滑函数，最终的解也会变成间断的。2) 根据不动点理论，非线性系统（非线性微分方程或者非线性迭代）经常出现周期解，而且周期不固定，且不止一个（具体参见 非线性动力系统 相关知识）。这些都决定了难以给出一个封闭的通解形式。更进一步，对于同种类型的非线性方程，哪怕方程中某个参数发生微小的改变，最后解的形态也可能相差十万八千里，这就是非线性迭代中有名的分叉现象。比如，如果将1楼方程递推式中的项前面的系数2，或者后面的常数项1稍微改成其他数，那么4楼的方法就不一定适用了，因为此时解的形式（无论是否存在封闭解）很可能发生了巨大的变化。由于差分方程是微分方程的离散形式，我们可以考虑重新认识一下1楼的递推关系。我们重新把它写成标准的差分形式显然，它的对应的连续形式是黎卡提(Riccati)微分方程（常系数情形）：由于是常系数，所以这个方程很好解——只需要分离变量即可——如果右端多项式能在实数域内因式分解，那么解的形式是关于 exp(x)?的一次有理分式形式；否则，解是正弦函数 sinf(x)?或者正切函数 tanf(x)?形式。这就说明，系数至关重要，如果系数2，-1，1发生改变，那么解的形式要么是三角函数（判别式为负），要么是有理式的复合函数（判别式非负）。从上述事实中可以认识到，非线性系统中参数的改变，的确会影响解的形态。对于上面的微分方程，因为判别式小于零，故只能是三角函数形式。而配方后常数项和二次项都是正的，因此该微分方程的通解是正切形式。那么相应的离散解 a?n??也是这种形式吗？显然不是。因为我们需要特别注意的是， a?n??并不等于对应连续形式的微分方程的解 y=f(x)?在正整数点 x=n?处的函数值，因为这只是一种定性类比，所以它只能反映变化趋势（比如正切是单调递增的，那么 a?n??也是递增的）。另外，这种类比方法与线性差分方程解法中的母函数方法也不一样。回忆欧拉-麦克劳林求和公式，它是连续与离散领域的一座桥梁——将离散的求和与连续的积分、导数的关系联系起来了。而离散的差分与连续的导数是如何联系的呢？这就是泰勒展开所回答的问题 f(x+1)?f(x)=f?′?(x)+f?′′?(x)2!?+f?′′′?(x)/3!?+?? 所以解如果是在整数点处对应的话，正确的连续形式应该是 已知a0=2,an+1=an+[an/2],求an=?? ?([]为取整函数，如[5/2]=2,[10/2]=5)把通项公式改为