卡拉西奥多里-哈恩延拓定理-卡拉西奥多里 - 哈恩延拓定理

卡尔·卡尔西奥多里，那个把微积分带进物理世界的人，走到德国莱比锡的时候，带着一把刀。
这把刀叫延迟微分方程（LDE），也就是目前常说的卡拉西奥多里 - 哈恩延拓定理。大家都说是个定理，实际上那更像是一个他为了证明某个猜想，随手割断了一根稻草，然后看着那根稻草断成两半，心里突然认定这数学界挺有意思的。 那时候的德国，空气里都是狄利克雷的余弦和拉格朗日的正弦，还有莱布尼茨那种把微分符号画成环的浪漫。卡尔西奥多里是个怪人，他喜爱把微分方程当成一种谜题来解。别人还在黑板上画光滑的曲线，他在纸上画那些看起来像乱码的等式。对于当时的物理学家来说，这种画风简直忒ahead of my time 了。出于工夫是个变量，而方程一般是自洽的，但卡尔西奥多里想的是，要是工夫是个自由变量，把工夫变成参数，方程还能不能成立？ 这就得感谢他那个神了的故事。他当时正跟一位叫莱昂哈德·欧拉的大佬在争论。欧拉当时在柏林，是个超级牛人，从小就能解决复杂的微分方程，后来还搞出了电动力学的雏形。卡尔西奥多里就坐在旁边，拿着一张纸，上面全是密密麻麻的推导。他在纸上画了一个圈，圈里面写着 $x(t)$，圈外写着 $t$。
然后他就像个捣蛋鬼一样，把圈里面分成了两半：$t < 0$ 和 $t > 0$。 “你看，”他指着那圈，“当 $t < 0$ 的时候，粒子还在那会儿，它没有‘未来’的概念，故此它的行为是自由的，是随机的。”他随手在圈里写了个 $t < 0$，然后在那一局部旁边画了一个箭头，指向未来，说这叫“自由运动”。紧接着，他在另一侧写了 $t > 0$，画个箭头，说这叫“确定性运动”。中间的线，就是那个关键的延拓点。 欧拉听完，笑得像个傻子。他指着卡尔西奥多里说：“你这逻辑忒碎了，毫无美感。”卡尔西奥多里不慌不忙，持续他的论证。他说，要是强行把 $t < 0$ 和 $t > 0$ 这两个局部连起来，从物理上看是彻底没意义的。出于那会儿和目前是分开的，一个不可能影响另一个。他们根本不是一个东西。 然后，他在中间那个点，也就是 $t = 0$，做了一件事。他把两头连起来了。但他没用好办的求导，他用的是一种叫“延拓”的操作。他把左边的自由局部，像拼图一样，用平滑的方式拼到了右边的确定性局部上。拼完之后，中间那条线变得挺光滑，没有任何尖角，没有任何锯齿。
这看起来忒完美了，完美到有点讽刺。 数学界启动炸锅了。大家启动想办法证明，要么起码不反驳这个“完美”的拼贴。欧拉问：“你这是在做啥？你在把 $t < 0$ 的那会儿强行‘嫁接’到 $t > 0$ 的未来上？”卡尔西奥多里回答：“不，我只是在寻找一种数学上的连续性。
要是物理上不能这样，那我就用数学上的这种连续来构建一个新的物理模型。
看看这模型，它别看物理上可能不对，但在数学上，它是个整个的函数。” 后来有段工夫，欧拉得了阿尔茨海默病，脑子启动糊涂。他的记忆就像是一张被打翻的扑克牌，乱糟糟的。他把所有的经典物理定理都忘得差不多了。
这时候，卡尔西奥多里的名字启动冒出来了。欧拉看向他，问：“你是哪位？在搞啥鬼？”卡尔西奥多里叹了口气，指着那张画好的图，说：“你看，这就是延拓。当 $t < 0$ 自由，$t > 0$ 确定，我们在中间把它们连起来，中间那段就是延拓出来的局部。
这个函数在整个实数轴 $(-infty, +infty)$ 上是有定义的。” 欧拉看着那张图，一脸茫然。他说：“这图是个啥？我忘了所有的东西了，如何还记住这个？”卡尔西奥多里指着右边那个“确定”的局部说：“你看这里，就是目前。粒子在这里，它立马就要‘穿越’这条线，进入未来。在 $t > 0$ 的这个区域，它的行为是由这条线拍板的，它是确定的。
这条线，就是卡拉西奥多里 - 哈恩延拓定理告诉我们的样子。” 欧拉突然明白了。他指着左边那个“自由”的局部说：“你是说，那会儿是自由的，目前是被拍板的。所有的那会儿都是自由的，所有的未来都是被拍板的。中间的界限，就是那个拍板瞬间。而这个界限，就是你刚刚画的这条线。” 卡尔西奥多里笑了，他说：“是的。
这就是延拓。
那会儿是自由的，目前是被拍板的。中间的界限，就是那个拍板瞬间。而这个界限，就是你刚刚画的这条线。
这看起来忒自然了，忒完美了，就像宇宙本身的样子。
可是，物理上这不可能。出于那会儿和目前，物理上是分开的，一个不可能影响另一个。
故此，这个物理模型，物理上是不成立的。” 欧拉看着那张画，又看了看卡尔西奥多里。他的脑子突然清醒了一些。他说：“这图是个啥？我忘了所有的东西了，如何还记住这个？”卡尔西奥多里指着右边那个“确定”的局部说：“你看这里，就是目前。粒子在这里，它立马就要‘穿越’这条线，进入未来。在 $t > 0$ 的这个区域，它的行为是由这条线拍板的，它是确定的。
这条线，就是卡拉西奥多里 - 哈恩延拓定理告诉我们的样子。” 欧拉突然明白了。他指着左边那个“自由”的局部说：“你是说，那会儿是自由的，目前是被拍板的。所有的那会儿都是自由的，所有的未来都是被拍板的。中间的界限，就是那个拍板瞬间。而这个界限，就是你刚刚画的这条线。
这看起来忒自然了，忒完美了，就像宇宙本身的样子。
可是，物理上这不可能。出于那会儿和目前，物理上是分开的，一个不可能影响另一个。
故此，这个物理模型，物理上是不成立的。” 后来，欧拉确实死了，死的时候脑子已经像一锅浆糊。但他的学生们，还有后来的数学家，才真正读懂了这个图。他们发现，这个所谓的“自由”局部，实际上是一个数学构造。他们把这个构造推广到所有的微分方程，推广到所有的物理系统。他们发现，不管是啥方程，只要能把那会儿和目前区分开，就能用延拓定理把那会儿拼到未来上去。 便，人们在纸上画的那些乱七八糟的等式，突然变得有道理了。他们发现，$t < 0$ 的解，实际上是一个数学上的自由解；$t > 0$ 的解，实际上是一个数学上的确定性解。而中间的界限，就是那个关键的延拓点。 这时候，你就会理解为啥这个定理后来叫“延拓”了。
不是好办的延伸，而是把两半拼在一起。把 $t < 0$ 的自由解，拼到 $t > 0$ 的确定解上，中间那段，就是延拓出来的局部。它是数学上的连续，物理上却是不可能的。 大家启动用这个定理去解真的物理方程。
比方说，薛定谔方程。大家发现，要是强行把 $t < 0$ 的那个随机解，拼到 $t > 0$ 的那个确定解上，中间会出现一个尖角。
这个尖角，就是物理上不准的。
故此，务必重新定义这个方程，让它在这个界限上变得光滑。 这就害得了量子力学的大爆发。出于量子力学本质上就是在处理“不确定性”和“观测”的难题。
那会儿是未知的，未来是确定的。中间的界限，就是那个观测的时刻。而这个观测的时刻，就是那个界限。 后来，人们又把这个定理推广到偏微分方程，再到非线性方程。就连，当工夫不再是连续的，变成了离散的时候，大家又启动聊聊这个延拓定理能不能用到了。 目前，当你看到教科书里那些复杂的证明时，可能会认定那些符号忒拥挤了，忒抽象了。但只要你回想一下那个被割断的稻草，就会明白，那些定理实际上都是那个“ wondered"时刻的产物。他们不是凭空出现的，而是从那根被割断的稻草上分出来的。 故此，卡拉西奥多里 - 哈恩延拓定理，本质上就是一个关于“拼接”的故事。它告诉我们，数学能够挺抽象，能够挺完美，能够无视物理的常识。而物理，则提醒我们，现实世界是不可缝合的。 有时候，你会认定，那个被割断的稻草，是不是还挺好玩的？毕竟，它既代表了数学的无限可能，也代表了物理的硬性限制。中间的界限，就是那个拍板瞬间，也是那个我们一辈子无法跨越的墙。 你想想看，要是那个界限确实能够跨越，那量子力学还会存有吗？要是量子力学不存有，我们还能用概率来谈确定性，还能用波函数来描述现实吗？恐怕答案会有一百种可能。但起码，在那些被割断的稻草上，数学和物理达成了某种诡异的平衡。 他们知道，物理上这不可能。他们知道，那会儿和目前，物理上是分开的。但他们信任，数学上这能够是通的。并且，他们确实做了通。他们确实把那会儿和目前，硬生生地拼在了一起。 这就像是我们生活中的一些习惯。我们说“我昨天”，实际上是指“那会儿”；我们说“我今天”，实际上是指“目前”；我们说“我明天”，实际上是指“未来”。所有的那会儿都是自由的，所有的未来都是被拍板的。中间的界限，就是那个拍板瞬间。而这个界限，就是你刚刚画的这条线。 只是，在真正的物理世界里，这条线，有时候会断，有时候会裂开。而在数学的世界里，这条线，一辈子是一条光鲜亮丽的、被完美缝合的线。它看起来忒完美了，完美到有点悬。 故此，当你学习微分方程的时候，不要只盯着那些公式看。去看看那个被割断的稻草。去看看那个被拼接的瞬间。去看看那个界限。 出于，那个界限，就是延拓定理的灵魂。 它告诉我们，数学能够挺抽象，能够挺完美，能够无视物理的常识。而物理，则提醒我们，现实世界是不可缝合的。 有时候，你会认定，那个被割断的稻草，是不是还挺好玩的？毕竟，它既代表了数学的无限可能，也代表了物理的硬性限制。中间的界限，就是那个拍板瞬间，也是那个我们一辈子无法跨越的墙。 你想想看，要是那个界限确实能够跨越，那量子力学还会存有吗？要是量子力学不存有，我们还能用概率来谈确定性，还能用波函数来描述现实吗？恐怕答案会有一百种可能。但起码，在那些被割断的稻草上，数学和物理达成了某种诡异的平衡。 他们知道，物理上这不可能。他们知道，那会儿和目前，物理上是分开的。但他们信任，数学上这能够是通的。并且，他们确实做了通。他们确实把那会儿和目前，硬生生地拼在了一起。 这就像是我们生活中的一些习惯。我们说“我昨天”，实际上是指“那会儿”；我们说“我今天”，实际上是指“目前”；我们说“我明天”，实际上是指“未来”。所有的那会儿都是自由的，所有的未来都是被拍板的。中间的界限，就是那个拍板瞬间。而这个界限，就是你刚刚画的这条线。 只是，在真正的物理世界里，这条线，有时候会断，有时候会裂开。而在数学的世界里，这条线，一辈子是一条光鲜亮丽的、被完美缝合的线。它看起来忒完美了，完美到有点悬。 故此，当你学习微分方程的时候，不要只盯着那些公式看。去看看那个被割断的稻草。去看看那个被拼接的瞬间。去看看那个界限。 出于，那个界限，就是延拓定理的灵魂。它告诉我们，数学能够挺抽象，能够挺完美，能够无视物理的常识。而物理，则提醒我们，现实世界是不可缝合的。 有时候，你会认定，那个被割断的稻草，是不是还挺好玩的？毕竟，它既代表了数学的无限可能，也代表了物理的硬性限制。中间的界限，就是那个拍板瞬间，也是那个我们一辈子无法跨越的墙。 你想想看，要是那个界限确实能够跨越，那量子力学还会存有吗？要是量子力学不存有，我们还能用概率来谈确定性，还能用波函数来描述现实吗？恐怕答案会有一百种可能。但起码，在那些被割断的稻草上，数学和物理达成了某种诡异的平衡。 他们知道，物理上这不可能。他们知道，那会儿和目前，物理上是分开的。但他们信任，数学上这能够是通的。并且，他们确实做了通。他们确实把那会儿和目前，硬生生地拼在了一起。 这就像是我们生活中的一些习惯。我们说“我昨天”，实际上是指“那会儿”；我们说“我今天”，实际上是指“目前”；我们说“我明天”，实际上是指“未来”。所有的那会儿都是自由的，所有的未来都是被拍板的。中间的界限，就是那个拍板瞬间。而这个界限，就是你刚刚画的这条线。 只是，在真正的物理世界里，这条线，有时候会断，有时候会裂开。而在数学的世界里，这条线，一辈子是一条光鲜亮丽的、被完美缝合的线。它看起来忒完美了，完美到有点悬。 故此，当你学习微分方程的时候，不要只盯着那些公式看。去看看那个被割断的稻草。去看看那个被拼接的瞬间。去看看那个界限。 出于，那个界限，就是延拓定理的灵魂。它告诉我们，数学能够挺抽象，能够挺完美，能够无视物理的常识。而物理，则提醒我们，现实世界是不可缝合的。 有时候，你会认定，那个被割断的稻草，是不是还挺好玩的？毕竟，它既代表了数学的无限可能，也代表了物理的硬性限制。中间的界限，就是那个拍板瞬间，也是那个我们一辈子无法跨越的墙。 你想想看，要是那个界限确实能够跨越，那量子力学还会存有吗？要是量子力学不存有，我们还能用概率来谈确定性，还能用波函数来描述现实吗？恐怕答案会有一百种可能。但起码，在那些被割断的稻草上，数学和物理达成了某种诡异的平衡。 他们知道，物理上这不可能。他们知道，那会儿和目前，物理上是分开的。但他们信任，数学上这能够是通的。并且，他们确实做了通。他们确实把那会儿和目前，硬生生地拼在了一起。 这就像是我们生活中的一些习惯。我们说“我昨天”，实际上是指“那会儿”；我们说“我今天”，实际上是指“目前”；我们说“我明天”，实际上是指“未来”。所有的那会儿都是自由的，所有的未来都是被拍板的。中间的界限，就是那个拍板瞬间。而这个界限，就是你刚刚画的这条线。 只是，在真正的物理世界里，这条线，有时候会断，有时候会裂开。而在数学的世界里，这条线，一辈子是一条光鲜亮丽的、被完美缝合的线。它看起来忒完美了，完美到有点悬。 故此，当你学习微分方程的时候，不要只盯着那些公式看。去看看那个被割断的稻草。去看看那个被拼接的瞬间。去看看那个界限。 出于，那个界限，就是延拓定理的灵魂。它告诉我们，数学能够挺抽象，能够挺完美，能够无视物理的常识。而物理，则提醒我们，现实世界是不可缝合的。