第十三届现代数学和力学学术会议( MMM-XI 暨钱伟长先生诞辰100周年纪念大会 2012年10月6-8日 基于郭仲衡先生有关现代张量分析及有限变形理论知识 体系所开展的教学与研究的若干体会 相关教学与研究工作谨纪念郭仲衡先生 复旦大学力学与工程科学系 谢锡麟
第十三届现代数学和力学学术会议(MMM-XIII ) 暨钱伟长先生诞辰100周年纪念大会 2012 年10 月 6 - 8 日 基于郭仲衡先生有关现代张量分析及有限变形理论知识 体系所开展的教学与研究的若干体会 —— 相关教学与研究工作 谨纪念郭仲衡先生 复旦大学 力学与工程科学系 谢锡麟
郭仲衡所著《张量(理论和应用)》郭仲衡所著《非线性弹性理论》 知识体系 知识体系 ①张量的代数性质(张量定义为多重线性映照)①有限变形理论(连续介质几何形态默认为 ②仿射量的基本性质(基于外积运算) Euclid流形)。理论框架上分别对初始物理构 ③张量值映照微分学(含各向同性张量值映照的形以及当前物理构形引入曲线坐标系,理论发 表示理论等) 展上按变形梯度及其基本性质,变形刻画,输 ④微分几何中曲线论与曲面论的基本内容(主要运方程,守恒律方程等。 包括局部标架及其运动方程 ②有限变形弹性静力学、有限变形弹性动力 ⑤现在几何学中相关思想及方法(包括基于同态 学若干典型事例的半解析求解。 映照的推前及拉回,Lie导数, Hodge星算子,内 导数,外微分以及相关运算之间的关系),对此 ③变分原理。 部分内容的叙述虽然未引入微分流形的概念,但 所述的相关思想及方法可以几近完全地移植于流 值得指出,基于《张量(理论和应用)》 形上的分析,且数学分析上非常清晰。 所载张量分析的知识体系,研习《非线性弹性 张量分析在连续介质中的基本应用(几何形态理论》就显得较为自然而无数学以及力学分析 默认为 Euclid流形),包括变形刻画,输运方程:上的困难。 另涉及同态扩张以及Lie导数等在连续介质力学中 的应用,但书著中未对这部分内容做深入阐述
① 张量的代数性质(张量定义为多重线性映照) ② 仿射量的基本性质(基于外积运算) ③ 张量值映照微分学(含各向同性张量值映照的 表示理论等) ④ 微分几何中曲线论与曲面论的基本内容(主要 包括局部标架及其运动方程) ⑤ 现在几何学中相关思想及方法(包括基于同态 映照的推前及拉回,Lie导数,Hodge星算子,内 导数,外微分以及相关运算之间的关系),对此 部分内容的叙述虽然未引入微分流形的概念,但 所述的相关思想及方法可以几近完全地移植于流 形上的分析,且数学分析上非常清晰。 ⑥ 张量分析在连续介质中的基本应用(几何形态 默认为Euclid流形),包括变形刻画,输运方程; 另涉及同态扩张以及Lie导数等在连续介质力学中 的应用,但书著中未对这部分内容做深入阐述。 郭仲衡所著《张量(理论和应用)》 知识体系 郭仲衡所著《非线性弹性理论》 知识体系 ① 有限变形理论(连续介质几何形态默认为 Euclid流形)。理论框架上分别对初始物理构 形以及当前物理构形引入曲线坐标系,理论发 展上按变形梯度及其基本性质,变形刻画,输 运方程,守恒律方程等。 ② 有限变形弹性静力学、有限变形弹性动力 学若干典型事例的半解析求解。 ③ 变分原理。 —— 值得指出,基于《张量(理论和应用)》 所载张量分析的知识体系,研习《非线性弹性 理论》就显得较为自然而无数学以及力学分析 上的困难
R上微分学 [a,可]上 Riemann积分 Rm上 Jordan可测集上 Rieman积分 教学路径 Rm上微分学 微积分的 (R中微分流形上微分学 R上 Lebesgue测度及 LEbesgue积分 流化进程 (R中微分流形上积分学) 一般赋范线性空间上微分学 般集类上测度及积分 基本理论课程」 教学路径 理性力学观 物力学 Euclid空间中的张量分析与微分几何 固体力 点下,基于 非 Euclid空间中的张量分析与微分几何 生物力学基础 固体力学基础 现代几何学 血液动力学 连续介质力学一般理论 弹塑性力学 的连续介质 (物质系统:Eucd流形,非 Euclid流形) 力学基本理 论及其实践 流体力学 涡量与涡动力学基础‖涡量空气动力学 一般赋范空间上微分学应用于张量场映照、张量映照相关结论 有限变形理论的一些进展:①当前物理构形对应之曲线坐标系显含时间的有限变形理论(连续 介质几何形态为 Euclid流形);②几何形态为曲面( Rieman流形)的连续介质力学的有限变 形理论(另有报告涉及)
Euclid Euclid 空间中的张量分析与微分几何 非 空间中的张量分析与微分几何 Euclid Euclid 连续介质力学一般理论 (物质系统: 流形,非 流形) 涡量与涡动力学基础 固体力学基础 涡量空气动力学 弹塑性力学 生物力学基础 基本理论课程 生物力学 血液动力学 流体力学 固体力学 1上微分学 m m 上微分学 中微分流形上微分学 一般赋范线性空间上微分学 a,b 上Riemann积分 m 上 可测集上 积分 Jordan Riemann m m Lebesgue Lebesgue 上 测度及 积分 ( 中微分流形上积分学) 一般集类上测度及积分 教学路径: 微积分的一 流化进程 教学路径: 理性力学观 点下,基于 现代几何学 的连续介质 力学基本理 论及其实践 • 一般赋范空间上微分学应用于 张量场映照、张量映照 相关结论 • 有限变形理论的一些进展:① 当前物理构形对应之曲线坐标系显含时间的有限变形理论(连续 介质几何形态为 Euclid流形);② 几何形态为曲面(Riemann流形)的连续介质力学的有限变 形理论(另有报告涉及)
“可微性” 83(ra Curvilinear-coordiante 张量场梯度(仅适 用于 Euclid流形) X(x)ECP(D: D,) 782(x local Co variant-Basis D()=18 张量场Φ(x)=;(x)g,8g8(x)∈7(R) a V∴(x+△x)=VΦ;(x)+ a(x)Ax2+o(4x)∈R 多元函数可微性 g(x+A)=g1(x)+(x)△x2+0(Ax)=8(x)+(x)g1(x)△x+o(△)∈R 向量值映照可微性 g(x+Ax)=g(x)+8(x)△x+o(△x)=g(x)-r(x)g(x)△x+o(△x)∈R 567849-19:90000张量范数 c(x+△)=()+c:(8g8()+(△)∈r(")微分的梯度表示 =o(x)+Vc(x)g,8g′⑧g⑧g(x)[△xg1(x)]+o(△x)=o(x)+(8V)(x)△X+0(△x)
1 i k ik ik s j lj lj s x x x xx ox x 1 x 2 x 3 x X1 X3 X2 b c a f g e h d a b c d e f g h 1 a g x 2 a g x 3 a g x 1 x 2 x 3 x o ; p x y Curvilinear coordiante Xx C DD 123 var : ,, local Co iant Basis DX x g g g x 1 x 3 x 1 d g x 3 d g x 2 d g x 3 x 1 x “可微性”—— 张量场梯度(仅适 用于Euclid流形) 多元函数可微性 i s t sm i i i si t s j j j s j jt s m s st g g x x g x x x o x g x xg x x o x x g g x x g x x x o x g x xg x x o x x 向量值映照可微性 1 3 1 ; p m m m m pm p i i T T i i 张量范数 3 = = ik j l m lj i k ik j l q lj i k q x x x xg g g x x o x T x x g g g g x xg x o x x x X o x 3 : ik j m ji k x xg g g x T 张量场 微分的梯度表示
Curve 完整基 完整基1 Cun Curve 83 82 张量场“二点 表示形式”下 81 导数,完整基 e 及非完整基下 Curve x-Cmve|张量梯度计算 4) 非完整基 X非完整基 Lagrange euler p(x,)=,B(5(x,1),x,)g,(x,)8g(x,1)8G(5(x,1)8G(5(x,) cp(5,1)=B(5,x(5,1),l)g(x(5,1),)8g(x(5,),1)8G4()8G°(5) c(x)=[0(x)x)=0(:(x0x)+85(x)a(()x)复合映照求导 =|Vc,((x)x2)+2(x1)V21(5(x1,x1)g:(x)8g(x)8G(5)G(F) 吗Φ(5,1)g;(x)③g(x,1)8G(5)③G(5) c8p=aa(5x)g(x)8g(x)g(x)⊙G(4)8()[基转换关系 o"oo2(,x,)g0(x)8g01(x)8g"(x)8G()8(5) a:() rocCI OfR L) a20V④)( ()(B) where
, , ,, , , ,, ,, ,, ,, , , iA j B j iA j B j Bi A Bi A xt xt xt g xt g xt G x t x t tg x t t g x t t t G G G x t o 1 X 2 X 3 X 1 Curve 2 Curve 3 Curve G1 G2 G3 o 1 X 1 x Curve 2 x Curve 3 x Curve 1 g 2 g3 g 2 X 3 X G A l g 非完整基 非完整基 完整基 完整基 , , ,, , ,, , , ,, , , , , , , , , , : , , , L l l l lL L iA iA j B l jB L jB i A l iA j B l jB i A xt xt xt xt xt xt xt xt xx x x xt xt xt xt xt g xt g xt G G x t g xt g xt G G ,, , , , , , , , , , where , L iA l j B l jB i A iA l j B l jB i A L L R iA iA iA L t l jB l jB jB l l l R t xt g xt g xt g xt G G xt g xt g xt g xt G G C C xt x x x 张量场“二点 表示形式”下 导数,完整基 及非完整基下 张量梯度计算 Lagrange & Euler 复合映照求导 基转换关系