27
Jul
科学空间：2011年8月重要天象
By 苏剑林 | 2011-07-27 | 16657位读者 | 引用
刚从天堂（镇）赶回来，这次大概一个星期的骑自行车游新兴之旅基本结束了。
这次行程我们总共穿越了太平、新城、洞口、车岗、六祖、东成、稔村、水台、勒竹、河头、天堂，共十一个镇，没有到过的地方还有共成、船岗、大江、里洞等，这些地方骑单车可能比较困难，有时间坐车去逛逛。
这次旅行可谓大有收获！各地的“到此一游”让我们增长了不少见识，加深了对我们家乡的了解；一路上大家嘻嘻哈哈，乐趣无穷，为我们的友谊增添了美好的点缀；到同学家玩玩闹闹，也加强了我们之间的联系，同样乐趣无穷；还有增加了探路找路的技术......
感谢所有陪我们一起玩、一起疯的同学，感谢所有给我们帮助的同学，人生因为你们的存在而更加精彩！
30
Aug
折腾windows 8和ubuntu 12
By 苏剑林 | 2012-08-30 | 19802位读者 | 引用这是一篇用Windows 8完成的文章。
快开学了，华师2号就要报道了，所以就提前入手一台手提电脑，联想Z575AM-ASI，四千元的AMD，4核，64位机器。
我的台式机已经是六年前的产品了，联想的家悦系列，只有512MB内存。所以相比之下，这新机器配置还过得去吧，对于CPU，我个人还是倾向于AMD的，因为我的那台家悦台式也是AMD的CPU，所以对它很有好感。新兴的联想专卖店没有AMD手提，所以还得提前向他们预订。
Windows8
手提本身没有预装操作系统，专卖店很随手地为我装了一个win7，而且还只是ghost版本的，时不时会卡死，感觉很不好，刚好前些日子在网上开始发布Windows8了，所以就马上把Win7格掉，装上Windows8了。安装过程很顺利，由于还没有正式发布，所以还没有激活，这段时间纯粹体验中。等正式版发布了，再计划买一个正版光盘吧
16
Nov
天体力学巨匠——拉普拉斯
By 苏剑林 | 2012-11-16 | 43372位读者 | 引用本文其实好几个月前就已经写好了，讲的是我最感兴趣的天体力学领域的故事，已经发表在2012年11月的《天文爱好者》上。
天体力学巨匠——拉普拉斯
作为一本天文科普杂志，《天文爱好者》着眼于普及天文，内容偏向于有趣的天体物理等，比较少涉及到天体力学。事实上，在天文发展史中，天体力学——研究天体纯粹在万有引力作用下演化的科学——占据了相当重要的地位。过去，天文就被划分为天体力学、天体物理以及天体测量学三个大块。只是在近现代，由于电子计算机的飞速发展，天体力学的多数问题都交给了计算机数值计算解决，因此这一领域逐渐淡出了人们视野。不过，回味当初那段天体力学史，依然让我们觉得激动人心。
首先引入“天体力学（Celestial mechanics）”这一术语的是法国著名数学家、天文巨匠拉普拉斯。他的全名为皮埃尔?西蒙?拉普拉斯（Pierre?Simon marquis de Laplace），因研究太阳系稳定性的动力学问题被誉为法国的牛顿和天体力学之父。他和生活在同一时代的法国著名数学家拉格朗日以及勒让德（Adrien-Marie Legendre）并称为“三L”。
神秘的少年时期
由于1925年的一场大火，很多拉普拉斯的生活细节资料都丢失了。根据W. W. Rouse Ball的说法，他可能是一个普通农民或农场工人的儿子，1749年3月23日出生于诺曼底卡尔瓦多斯省的伯蒙特恩奥格。少年时期，拉普拉斯凭借着自己的才能和热情，在富人邻居的帮助下完成了学业。他父亲希望这能使他将来以宗教为业，16岁时，他被送往卡昂大学读神学。但他很快在数学上显露头角。
5
Jan
又折腾数学公式插件了
By 苏剑林 | 2013-01-05 | 23587位读者 | 引用从2013.11.15开始，使用MathJax插件。主要原因是MathJax在兼容性方面比ASCIIMath Image Fallback Scripts做得好很多。而且从长远考虑，用MathJax也是应该的。
官方网站：http://www.mathjax.org/
复制数学公式：http://www.mathjax.org/demos/copy-and-paste/
-------以下内容已经过时（写于2013.01.05）--------
原来一直是使用“数学研发论坛”完善的数学公式插件来显示数学公式的，使用很简单，载入速度很快，这样一下子就用了三年了。
不过进入大学后，学习的东西越来越多，数学符号也越来越多，郭大哥的插件的不足也暴露出来了。最要命的是它居然无法显示$\hbar$，这叫我这个学习量子力学的孩子情何以堪...（不过郭大哥新版的插件已经加入了这个符号）。还有另外一个不足的地方，就是郭大哥的插件进行了大量的化简，使得数学公式的输入简单了不少，但是反而对标准的Latex代码支持不足了。久而久之，会带来一个弊端，就是迁移性不强。万一哪天这个插件无法使用了，就难以找到替代品了。考虑到这些，我写latex代码的时候总是用标准的语法而不用简化语法，后来$\hbar$的问题出来后，一下子用上了MathJax这个强大的插件（考虑过JsMath，但是发现它的行内公式显示效果不大好）。
9
Sep
[欧拉数学]找出严谨的答案
By 苏剑林 | 2013-09-09 | 18527位读者 | 引用在之前的一些文章中，我们已经谈到过欧拉数学。总体上来讲，欧拉数学就是具有创造性的、直觉性的技巧和方法，这些方法能够推导出一些漂亮的结果，而方法本身却并不严密。然而，在很多情况下，严密与直觉只是一步之遥。接下来要介绍的是我上学期《数学分析》期末考的一道试题，而我解答这道题的灵感来源便是“欧拉数学”。
数列${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.”。下面是我的思路。
ODE的坐标变换
熟悉理论力学的读者应该能够领略到变分法在变换坐标系中的作用。比如，如果要将下面的平面二体问题方程
$$\left\{\begin{aligned}\frac{d^2 x}{dt^t}=\frac{-\mu x}{(x^2+y^2)^{3/2}}\\
\frac{d^2 y}{dt^t}=\frac{-\mu y}{(x^2+y^2)^{3/2}}\end{aligned}\right.\tag{1}$$
变换到极坐标系下，如果直接代入计算，将会是一道十分繁琐的计算题。但是，我们知道，上述方程只不过是作用量
$$S=\int \left[\frac{1}{2}\left(\dot{x}^2+\dot{y}^2\right)+\frac{\mu}{\sqrt{x^2+y^2}}\right]dt\tag{2}$$
变分之后的拉格朗日方程，那么我们就可以直接对作用量进行坐标变换。而由于作用量一般只涉及到了一阶导数，因此作用量的变换一般来说比较简单。比如，很容易写出，$(2)$在极坐标下的形式为
$$S=\int \left[\frac{1}{2}\left(\dot{r}^2+r^2\dot{\theta}^2\right)+\frac{\mu}{r}\right]dt\tag{3}$$
对$(3)$进行变分，得到的拉格朗日方程为
$$\left\{\begin{aligned}&\ddot{r}=r\dot{\theta}^2-\frac{\mu}{r^2}\\
&\frac{d}{dt}\left(r^2\dot{\theta}\right)=0\end{aligned}\right.\tag{4}$$
就这样完成了坐标系的变换。如果想直接代入$(1)$暴力计算，那么请参考《方程与宇宙》:二体问题的来来去去(一)
19
Apr
柯西命题：盯着它到显然成立为止！
By 苏剑林 | 2015-04-19 | 41316位读者 | 引用数学分析中数列极限部分，有一个很基本的“柯西命题”：
如果$\lim_{n\to\infty} x_n=a$，则
$$\lim_{n\to\infty}\frac{x_1+x_2+\dots+x_n}{n}=a$$
本文所要谈的便是这个命题，当然还包括类似的一些题目。
柯西命题的证明
柯西命题的证明并不难，只需要根据极限收敛的定义，由于$\lim_{n\to\infty} x_n=a$，所以任意给定$\varepsilon > 0$，存在足够大的$N$，使得对于任意的$n > N$，都有
$$\left|x_n - a\right| < \varepsilon/2\quad(\forall n > N)$$
最近评论