8
Apr
2^29363731-1不是素数！
By 苏剑林 | 2013-04-08 | 23588位读者 | 引用
2^29363731-1
很小的时候就开始对素数感兴趣了，后来是在一本《未解之谜》上看到了梅森素数、完全数、孪生素数等等东西，觉得甚是好玩。在初中买了计算机之后，就关注到了Prime 95这个梅森素数的分布式计算程序，以前也尝试过运行它，不过由于那时候计算机配置较低，一般都是运行到20%左右就没有坚持下去了。
上大学入手了一台四核的笔记本，就在去年10月份左右再次运行了这个程序，由于是四核，一次性可以同时测试四个数字。经过半年的运行，今天终于测试完了第一个数字：$2^{29363731}-1$。正如预料中的，这不是一个素数。不管怎样，它是我第一个完成的测试，也算是自己的一个独立的成果啦，呵呵，自娱自乐一番。
很早以前我就对这个问题感兴趣了，但是一直搁置着，没有怎么研究。最近在阅读《引力与时空》的“潮汐力”那一节时重新回到了这个问题上，决定写点什么东西。在这里不深究流体静力平衡的定义，顾名思义地理解，它就是流体在某个特定的力场下所达到的平衡状态。流体静力学告诉我们：
达到流体静力平衡时，流体的面必定是一个等势面。
这是为什么呢？我们从数学的角度来简单分析一下：只考虑二维情况，假如等势面方程是$U(x,y)=C$，那么两边微分就有
$$0=dU=\frac{\partial U}{\partial x}dx+\frac{\partial U}{\partial y}dy=(\frac{\partial U}{\partial x},\frac{\partial U}{\partial y})\cdot (dx,dy)$$
这意味着向量$(\frac{\partial U}{\partial x},\frac{\partial U}{\partial y})$和向量$(dx,dy)$是垂直的，前者便是力的函数，后者就是一个切向量（三维就是一个切平面）。也就是说合外力必然和流体面垂直，这样才能提供一个相等的方向相反的内力让整个结构体系处于平衡状态！
14
Apr
费曼积分法(8)：求高斯积分
By 苏剑林 | 2013-04-14 | 59678位读者 | 引用自从了解了费曼积分法之后，我就一直想着用费曼积分法来求高斯积分$\int_0^{\infty} e^{-x^2}dx=\frac{\sqrt{\pi}}{2}$这个神奇的积分，但一直无果。在《数学桥》里边，作者是通过将其转变为二重积分来解决的，简洁而巧妙。但是为了显示费曼积分法的威力，我一直想找到高斯积分的其他求法。上星期在《数学物理方法》中看到作者用拉普拉斯变换求出了该积分，眼睛不禁为之一亮，不过这属于积分变换内容，属于“积分符号内取积分”的技巧，在此不作讨论。今天在网上查找资料时，在“赵洁”的一篇论文《含参变量积分》中，看到了一种属于费曼积分法范畴内的方法，特与大家分享。
从“事后分析”来看，高斯积分的结果涉及到了$\sqrt{\pi}$这个量，一般来说我们常见的公式出现$\pi$的不少，可是几乎没有出现$\sqrt{\pi}$的，所以一般来说我们都将它平方。我们引入
$$f(x)=(\int_0^x e^{-t^2}dt)^2$$
25
Apr
学习场论（电磁场、重力场）
By 苏剑林 | 2013-04-25 | 41324位读者 | 引用
5
Jul
齐次对称多项式初等表示的新尝试
By 苏剑林 | 2013-07-05 | 26961位读者 | 引用这是我的这学期高等代数课的一个小论文。说到这里，其实我挺喜欢那些不用考试，通过平时考核以及写论文、报告或者做实验的方式来评成绩的方式，毕竟我觉得这才是比较综合地体现了知识和技能的水平（当然更重要的一个原因是我比较喜欢写作啦~~）。我们高等代数有两门课程，一是基本的上课，二是研讨课，分别考核。老师照顾我们，研讨课不用考试，写小论文就行了。Yeah~~
我写的是有关对称多项式的。其实这文章在半个学期之前就酝酿着了，当时刚学到对称多项式的初等表示。所谓初等表示，就是将一个多元对称多项式表示为$\sigma_1,\sigma_2,\sigma_3,...$的组合。其中
$$\begin{aligned}\sigma_1=x_1+x_2+...+x_n \\ \sigma_2=x_1 x_2+x_1 x_3+...+x_1 x_n+x_2 x_3+...+x_{n-1} x_n \\ ... \\ \sigma_n=x_1 x_2 ... x_n\end{aligned}$$
书本上给出了待定系数法，但是每次都要求解方程组，让我甚是烦恼，所以我研究直接展开的方案，最终得出了两种方法。当时也刚好接触着张量的知识，了解到“爱因斯坦求和约定”，于是想充分发挥其威力，就促成了这篇文章。其实我自定义了“方括弧”和“圆括弧”两种运算，都是符号上的简化。两种方法在某种意义上相互补充，笔者自感颇为满意，遂与大家分享。具体内容就不贴出来了，请大家下载pdf文件观看吧。
25
Jul
【翻译】星空之夜：夏季恒星的色彩
By 苏剑林 | 2013-07-25 | 32621位读者 | 引用
9
Sep
[欧拉数学]找出严谨的答案
By 苏剑林 | 2013-09-09 | 19801位读者 | 引用在之前的一些文章中，我们已经谈到过欧拉数学。总体上来讲，欧拉数学就是具有创造性的、直觉性的技巧和方法，这些方法能够推导出一些漂亮的结果，而方法本身却并不严密。然而，在很多情况下，严密与直觉只是一步之遥。接下来要介绍的是我上学期《数学分析》期末考的一道试题，而我解答这道题的灵感来源便是“欧拉数学”。
数列${a_n}$是递增的正数列，求证：$\sum\limits_{n=1}^{\infty}\left(1-\frac{a_n}{a_{n+1}}\right)$收敛等价于${a_n}$收敛。
据说参考答案给出的方法是利用数列的柯西收敛准则，我也没有仔细去看，我在探索自己的更富有直觉型的方法。这就是所谓的“I do not understand what I can not create.”。下面是我的思路。
22
Sep
一个人的数学建模：碎纸复原
By 苏剑林 | 2013-09-22 | 39433位读者 | 引用
suizhiji
笔者一直无心参加数学竞赛，主要原因是我喜欢能够持续深入地思考一个问题，而不想被竞赛的时间限制所束缚。我并不是一个机灵的人，因此很难有竞赛所需要的“灵光一现”。大概一个多星期前全国数学建模的预赛开始了，我也饶有兴致地关注了一下，并且留意到了B题这道有趣的题目——碎纸复原，然后就开始思考算法了。那时候应该是9月13日中午，我开始了一个人的数学建模，“一个人”并不是说我一个人就组成一支队了，而是我一个人自由高效地在构思算法、摸索代码，不为比赛，只为达到目的，那种兴奋一直持续到了当晚凌晨三点。
最近评论