张量

微分几何中的计算(Julia版 计划长期维护)

2020-02-24
| 微分几何 | | 流形 , julia , 张量 , 克氏符 , 黎曼曲率 , killing | Comment 评论

Julia,对数学符号真太友好了。

前面的笔记中,我曾穿插了些相关的符号计算,本文作为一个汇总,并且未来的一些有特点的代码,我也将汇总于此,用作备忘。

Julia进行张量符号计算的关键:1)先要写出(多重)数组友好的公式,然后用Julia实现之; 2)使用了SymPy,外加Julia本身的语法优势。

我曾想过将代码封装成函数,但发现直接用代码似乎更好。首先代码不复杂,其次, 暴露代码细节还能和数学公式相互对照,不容易出错。 有种“所见即所得”的感觉。

...

基于抽象指标的张量分析

2020-01-14
| 微分几何 | | 流形 , 抽象指标 , 张量 , 对称性 , 坐标变换 , julia | Comment 评论

简介

抽象指标记号(英语:abstract index notation)是由罗杰·彭罗斯发明的一种用来表示张量与旋量的数学记号。与不带指标的字母(如T)表示张量相比,这种表示法能够显示张量的类型,同时可清楚地表明缩并等运算。而与用分量(张量在某一特定基底下的分量)表示张量不同,该表示法与特定的基底无关,可以表示出张量等式。

...