完了,对不起各位,这是个意外,我本来计划写完再发的,结果不小心点到提交了 。我公式编辑器还用得不熟,再加上时间不够,这样的话可能更得很慢……我每天写一点,我尽量一周内写完。
(众所周知,定点转动是解决陀螺类问题的,所以镇楼图当然得是我红色陀螺右方之火大爷啊 )
在我学习理论力学的过程中,遇到了一个很棘手的问题——定点转动。我使用的是周衍柏先生的理论力学教程,里面推导了欧拉运动学方程组和欧拉动力学方程组,但对于它的求解,书上直言其极其繁琐,并未给出解法。毕竟是一个六个未知数,六个微分方程构成的方程组,真的感觉只能看一眼(真·再看一眼就会爆炸)。对于这样的方程组,工程上一般使用数值解法,而历史上,物理学家们在寻找解析解。最终,在无数工程师与物理学家的努力下,工程上,人类已经可以数值求解定点转动,在计算机上模拟其转动并且在实际上应用,理论上,我们已经在找到了一些可求得解析解的情形。这里我们重点看理论上的求解。电磁学中,可以求较容易求得磁场下电流环的定点转动(也就是拉莫尔情况),它比起后面要说的极其简单,而且也较为出名,可以很容易搜到并且能在几分钟内搞懂,所以这个不讨论了,可以参考理论力学教程,这里写得很详细。我们重点讨论重刚体的定点转动。重刚体定点转动,即仅在重力作用下绕固定点转动。看似很受限,但很快我们会发现可以运用到比较广泛的地方。但是,它的求解极其繁琐,以至于除了翻论文外我甚至找不到完整的求解过程(当然翻论文也很难找到),于是我索性放弃寻找,转而自己推导,并写下此文,希望能帮助更多网友。由初学者个人推导的公式难免有错误,发现了还请指出,谢谢。以下是本文的目录:
前置知识(主要以简要说明+链接的方式呈现)
重刚体定点转动可解情况的分类
对称欧拉潘索情况的求解(这里我将发周衍柏先生的理论力学教程里的推导的图片)
一般的欧拉潘索情况的求解、对称情况的推导及刚体转动的稳定性讨论
拉格朗日泊松情形的求解
刚体一般运动的简要讨论
应用的讨论
好啦,让我们开始正题吧!
一、
以下是本文的前置知识:(我先列知识点,后面会有那里可以学习)
矩阵乘法、矩阵相似对角化等等知识(本文不会出现,但这是前置知识的前置知识);
欧拉角的定义: ;
刚体定点转动的知识:惯量张量、惯量主轴、刚体角动量、转动动能、欧拉运动学方程和动力学方程等等;
接下来会给出这些公式,但在此之前,先做一个规范:
本文中所出现的坐标系有空间中的固定坐标系,其三轴分别为x、y、z轴,对应的单位矢量分别为ex、ey、ez
(我的天用电脑打字好爽,矢量可以直接加粗,再也不用打箭头了)
固连在刚体上的坐标系,其三轴分别是惯量主轴,记为1、2、3轴,对应单位矢量分别为e1、e2、e3,并且默认有:
\(I_{1}<I_{2}<I_{3}\)(1.1)
完了,对不起各位,这是个意外,我本来计划写完再发的,结果不小心点到提交了 。我公式编辑器还用得不熟,再加上时间不够,这样的话可能更得很慢……我每天写一点,我尽量一周内写完。
那么继续第一部分的第三点:
由此规范,我们有:
欧拉运动学方程:
\(\omega_{1} =\dot{\varphi}sin(\theta)sin(\psi)+\dot{\theta}cos(\psi)\) (1.2.1)
\(\omega_{2} =\dot{\varphi}sin(\theta)cos(\psi)-\dot{\theta}sin(\psi)\) (1.2.2)
\(\omega_{3} =\dot{\varphi}cos(\theta)+\dot{\psi}\)(1.2.3)
定点转动角动量:
\(\vec{L} = I_{1}\omega_{1}\vec{e_{1}}+I_{2}\omega_{2}\vec{e_{2}}+I_{3}\omega_{3}\vec{e_{3}}\)(1.3)
定点转动动能:
\(T = \frac{1}{2}(I_{1}\omega_{1}^{2}+I_{2}\omega_{2}^{2}+I_{3}\omega_{3}^{2})\)(1.4)
那么,由能量守恒\(T + V = E\)得:
\( \frac{1}{2}(I_{1}\omega_{1}^{2}+I_{2}\omega_{2}^{2}+I_{3}\omega_{3}^{2})+ V = E\)(1.5)
由角动量定理\(\dot{\vec{L}} = \vec{M}\)得欧拉动力学公式:
\(I_{1}\dot{\omega_{1}}-(I_{2}-I_{3})\omega_{2}\omega_{3}=M_{1}\)(1.6.1)
\(I_{2}\dot{\omega_{2}}-(I_{3}-I_{1})\omega_{3}\omega_{1}=M_{2}\)(1.6.2)
\(I_{3}\dot{\omega_{3}}-(I_{1}-I_{2})\omega_{1}\omega_{2}=M_{3}\)(1.6.3)
4.勒让德第一类椭圆积分和一些雅氏椭圆函数的定义:
对\(\int_{0}^{u}\frac{d\xi}{\sqrt{(1-\xi^2)(1-k^2\xi^2)}}\)(1.7)的积分:
若有\(\u\in[-1,1]\)和\(k\in[0,1]\)
我们可以换元,令\(\xi = sin(\alpha),u = sin(\phi)\)
即有\(\int_{0}^{\phi}\frac{d\alpha}{\sqrt{1-k^2sin^2(\alpha)}},\phi=arcsin(u)\in[-\frac{\pi}{2},\frac{\pi}{2}]\)(1.8)
这个积分无法用有限的基本初等函数表示,我们将这个积分的结果记作\(F(\phi,k)\)或\(F(arcsin(u),k)\)
可以求得它的级数表示:
\(F(\phi,k)=\phi+\sum_{n = 1}^{\infty}(\frac{(2n-1)!!}{(2n)!!}\int_{0}^{\phi}(ksin(\alpha))^{2n}d\alpha)\)(1.9)
特别地,如果\(\phi = \frac{\pi}{2}\)即\(u=1\),这时(1.9)中求和号内的积分可以积出,此时称为勒让德第一类完全椭圆积分,记作\(K(k)\),有\(K(k) = F(\frac{\pi}{2},k) = \frac{\pi}{2}(1+\sum_{n = 1}^{\infty}(\frac{(2n-1)!!}{(2n)!!}k^n)^2)\)(1.10)
注意上面的!!并不是取完阶乘后再取一次,而是重阶乘,我第一次遇到的时候也以为是取两次,因为卡西欧是这么算的
这个很重要,不知道这个定义看不懂啊!!!(注意!这里的“!!!”不是三重阶乘,只是感叹号,包括本句句首的“!”也只是感叹号)
从上面似乎可以看出\(F(\phi,k)\)的定义域是\([-\frac{\pi}{2},\frac{\pi}{2}]\),但我们总可以使用被积函数的偶函数和周期函数特性,将其定义域延拓至整个实数集,我们有:
\(\int_{0}^{\phi+2c\pi}\frac{d\alpha}{\sqrt{1-k^2sin^2(\alpha)}}=\int_{0}^{\phi}\frac{d\alpha}{\sqrt{1-k^2sin^2(\alpha)}}+4c\int_{0}^{\frac{\pi}{2}}\frac{d\alpha}{\sqrt{1-k^2sin^2(\alpha)}},\phi\in[-\frac{\pi}{2},\frac{\pi}{2}],c\in Z\)
即\(F(\phi+2c\pi,k) = F(\phi,k)+4cK(k),\phi\in[-\frac{\pi}{2},\frac{\pi}{2}],c\in Z\)
不妨设\(k = \frac{114514}{191981}\) ,作图即可直观地看到被积函数的性质:
注意!积分(1.7)时仍要确保\(\u\in[-1,1]\)
如果我们把k看作参量,可以得到它的反函数,记作\(am(\beta,k)\)
有\(\beta = F(\phi,k),\phi = am(\beta,k)\)(1.11)
定义函数:
\(sn(\beta,k)=sin(am(\beta,k))\)(1.12)
\(cn(\beta,k)=cos(am(\beta,k))\)(1.13)
\(dn(\beta,k) = \sqrt{1-k^2sn^2(\beta,k)}\)(1.14514)
椭圆函数作为数学的一个重要分支,肯定不止这些,我也是在学习理论力学的过程中发现需要用到临时学的,也仅仅刚好够用于求解刚体定点转动,有大佬懂的话还请科普
前置知识点就这些了,一会给出在哪里可以系统学习。
对了,给论坛提一下建议,就是这个公式编辑器能不能做到更加人性化一点呢?就这点我输了一个半小时(好像还有个鼠标移到上面公式编辑器那个按钮会乱蹦的bug……)
接下来说下这些知识可以在哪里系统学习:
线性代数可以参考同济大学的线性代数,我就是看这本的,不过是真的烂啊,把初学者当欧拉还是牛顿啊!bilibili应该有些教程,我没看过,自己参考吧。
欧拉角的定义就看那张图吧,欧拉角在飞控的开发中很重要啊,论坛内外应该都有不少介绍的
刚体力学基础可以参考周衍柏先生的理论力学教程,写得很好,不过硬啃肯定有困难,哔哩哔哩也有一个讲得特别明白的视频,看刚体这一节就行了,前面不看也看得懂,无痛入门啊,链接放这了:XXXXXXXXXXXXXXXXXXXXXXXX/video/BV1xJ411s78q/?spm_id_from=XXXXXXXXXXXXXXXXXXXXXXXXXXick&vd_source=dd348fe7fcf284e0ed80f49ff172deae
这个只是学习必要的知识的话,可以看哔哩哔哩这个视频:物理学杂谈P5.孩子还不会椭圆积分怎么办?稳啦!手把手讲解!_哔哩哔哩_bilibili,系统学习的话参考王竹溪先生和郭敦仁先生的特殊函数概论,但我买来几乎就当个字典用……感觉好难
二、重刚体定点转动可解出解析解的情况的分类:
欧拉-潘索情况:对刚体的三主轴惯量没有要求,但要求所有力作用于固定点,即\(\vec{M} = \vec{0}\)(2.1)
常见于忽略空气阻力的抛体运动下求解刚体的转动情况等无力矩转动问题,以及陀螺仪的分析,与刚体的一般运动密切相关。
2.拉格朗日-泊松情况:要求三个主轴惯量至少有两个相等,且质心在动力对称轴上且不与固定点重合,常见于陀螺的分析。
3.科凡律夫斯卡雅情况:要求\(2I_{1} =I_{2}=I_{3}\),质心在惯量椭球赤道平面上。由于其求解涉及超几何函数,没学过,也没什么时间去学,再加上其适用情况很窄,故本文不讨论,有大佬懂的话还请补充。
值得说明的是,以上就以及是被找到的全部可解的情况了,其他的情况,都没找到解法,只能数值求解,就连这三种情况,求解方法也完全看不到共性。
我再网上找到的解法都是1.2.的,然而几乎都停在了导出欧拉动力力学方程的特殊情况那一步,这对有好奇心的人十分不友好,所以,接下来会详细阐述它们如何求解,并给出最终结果。在此之前,我们先看一个例子——周衍柏先生的理论力学教程中推导对称欧拉-潘索情况的方法(即1.情况多加一个至少两个主轴惯量相等的条件)。下面会发图。
时段 | 个数 |
---|---|
{{f.startingTime}}点 - {{f.endTime}}点 | {{f.fileCount}} |
200字以内,仅用于支线交流,主线讨论请采用回复功能。