“微积分中微分同胚→一般曲线坐标系下张量分析 →有限变形理论→涡量与涡动力学” 教学路径研究与实践阶段性体会 复旦大学力学与工程科学系谢锡麟 xiexilin@fudan.edu.cn 2011年理论与应用力学专业教育教学复旦大学研讨会 2011年3月2526日 (1)特殊→一般 (2)正本清源、格物致知 (3)学习、研究与教学相融合
“ 微积分中微分同胚 微积分中微分同胚 → 一般曲线坐标系下张量分析 一般曲线坐标系下张量分析 → 有限变形理论 → 涡量与涡动力学 涡量与涡动力学 ” 教学路径 研究与实践 阶段性体会 复旦大学 力学与工程科学系 谢锡麟 xiexilin@fudan.edu.cn xiexilin@fudan.edu.cn 2011年 理论与应用力学专业教育教学 复旦大学研讨会 2011年3月25-26日 (1)特殊 → 一般 (2)正本清源、格物致知 (3)学习、研究与教学相融合
05年春高莓敷学Ⅱ 05暑期 05年秋 高等数学I张量分析与微分几何基础 06年春 高等数学Ⅱ 06暑期 06年秋商等教学Ⅰ张置分与徽分几何基璃 07年春高等学Ⅱ「张量分析与徽分几何基础 07暑期 经典力学数学名著选讲(数学分析深化) 07年秋 数学分析I张量分析与微分几何基础、应用实变函教与泛函分析基础 08年春 数学分析Ⅱ张量分析与徽分几何基础 08暑期 经典力学数学名着选讲(数学分析深化) 08年秋敷学分析张量分析与微分几何基础、应用实变函数与泛函分析基础 09年春数学分析Ⅱ张量分析与微分几何基础、潺量与溝动力学基璃 09弄期 经典力学敷学名着选讲(敷学分折派化) 09年秋数学分析工」张量分析与微分几何蒌磯、连续介质力学基础 匚1年教学分析Ⅱ连续介质力学基础,应用实变函教与泛函分析基嘯 10暑期 经典力学教学名选讲(教学分析深化) 10年秋学分折I张量分祈与微分几何基璃 11年春 数学分析Ⅱ涡量与满动力学基础、应用实变函数与泛函分析基础 微积分一流化进程: 数学分析+经典力学名著选讲+流形上的微积分;应用实变函数与泛函分析基础(本研) 基于现代张量分析的连续介质力学理论及其在流体力学中的实践 张量分析与微分几何基础+连续介质力学基础+涡量与涡动力学基础(本研)
05 年秋 高等数学Ⅰ 张量分析与微分几何基础 06 年秋 高等数学Ⅰ 张量分析与微分几何基础 10 暑期 经典力学数学名著选讲(数学分析深化) 10 年秋 数学分析Ⅰ 张量分析与微分几何基础 11 年春 数学分析Ⅱ 涡量与涡动力学基础、应用实变函数与泛函分析基础 09 暑期 经典力学数学名著选讲(数学分析深化) 08 暑期 经典力学数学名著选讲(数学分析深化) 07 暑期 经典力学数学名著选讲(数学分析深化) 05 年春 高等数学Ⅱ 连续介质力学基础,应用实变函数与泛函分析基础 张量分析与微分几何基础、连续介质力学基础 张量分析与微分几何基础、涡量与涡动力学基础 张量分析与微分几何基础、应用实变函数与泛函分析基础 张量分析与微分几何基础 张量分析与微分几何基础、应用实变函数与泛函分析基础 张量分析与微分几何基础 10 年春 数学分析Ⅱ 09 年秋 数学分析Ⅰ 09 年春 数学分析Ⅱ 08 年秋 数学分析Ⅰ 08 年春 数学分析Ⅱ 07 年秋 数学分析Ⅰ 06 暑期 05 暑期 06 年春 高等数学Ⅱ 07 年春 高等数学Ⅱ • 微积分一流化进程: 数学分析 + 经典力学名著选讲 + 流形上的微积分;应用实变函数与泛函分析基础(本研) • 基于现代张量分析的连续介质力学理论及其在流体力学中的实践 张量分析与微分几何基础 + 连续介质力学基础 + 涡量与涡动力学基础(本研)
具有国内外一流水平微积分教学的主要特征及个人若干教学研究与实践 般赋范线性空间之间映照的微分学 有限维 Euclid空间之间映照的微分学 Lebesgue积分 一维 Euclid空间之间映照的微分学 Riemann积分 课程《数学分析新讲》(第一、二、三册),每学期6学时(一年制) ①一维 Euclid空间之间映照的微积分;②有限维 Euclid空间之间映照的微积分 理论建立以映照为基本对象,以极限为基本观点。 课程《力学数学名著选讲》(有关数学分析深化),一年级暑期课程,36-54学时 ①按有限维 Euclid空间之间映照微分学的建立方法建立一般赋范空间之间映照的微分 学;应用方面可以包括矩阵分析基本理论,变分法等。②有限维 Euclid空间上微分同 胚的有关理论,包括秩定理, Morse定理等。⑧渐近分析 课程《流形上的微积分》,一年级暑期课程,36-54学时 ①基于有限维 Euclid空间上微分同胚的有关理论,本着局部欧氏化的基本思想,建立 微分流形的基本概念。②基于郭仲衡著《张量》有关外积运算等理论建立微分流形上 的微积分。③微分流形有关理论在力学中的应用
具有国内外一流水平微积分教学的主要特征 及个人若干教学研究与实践 一般赋范线性空间之间映照的微分学 有限维Euclid空间之间映照的微分学 一维Euclid空间之间映照的微分学 Lebesgue Lebesgue 积分 Riemann Riemann 积分 —— 课程 《数学分析新讲 》 (第一、二、三册 ),每学期 6 学时 (一年制 ) ① 一维Euclid空间之间映照的微积分; ② 有限维Euclid空间之间映照的微积分 ① —— 理论建立以映照为基本对象,以极限为基本观点。 —— 课程 《力学数学名著选讲 》 (有关数学分析深化 ),一年级暑期课程,36 -54学时 ① 按有限维Euclid空间之间映照微分学的建立方法建立一般赋范空间之间映照的微分 学;应用方面可以包括矩阵分析基本理论,变分法等。 ② 有限维Euclid空间上微分同 胚的有关理论,包括秩定理,Morser定理等。③ 渐近分析 —— 课程 《流形上的微积分 》, 一年级暑期课程,36 -54学时 ① 基于有限维Euclid空间上微分同胚的有关理论,本着局部欧氏化的基本思想,建立 微分流形的基本概念。② 基于郭仲衡著《张量》有关外积运算等理论建立微分流形上 的微积分。③ 微分流形有关理论在力学中的应用
基本观点 力学所需的数学是认识自然及非自然世界系统的思想和方法,决非仅是数学上 的逻辑过程,故力学专业的数学课程,需要包括:①数学定义的实际背景;②数学逻辑,即基于 逻辑研究数学定义以获取相关数学结论;⑤教学结论对具体问题的意义。 n(t)会kx(t) r(r)= (x(),y( x2()+y2(t) Gauss formula a·ndo=|V·adz pndo=Voda O 一)()()()=9g((x)x()(4 ()=4(),n()=V=()+y() (P-Pg=),△ F=Prater abody y Aqueduct Canal ∫(x) e=i·P.ae·a°=1·a a=e.PP.a°+ea x,I 球坐标系下加速度表达式 g(x) 科式惯性力→地球偏转效应 b
基本观点 —— 力学所需的数学是认识自然及非自然世界系统的思想和方法,决非仅是数学上 的逻辑过程,故力学专业的数学课程,需要包括:①数学定义的实际背景;②数学逻辑,即基于 逻辑研究数学定义以获取相关数学结论;③数学结论对具体问题的意义。 x y o a 1 b c j c l c Aqueduct Canal j 1 x j x f x g x x y o t xt yt , t 2 2 xti yt j t xt yt nt k t Trajectory i j 2 2 2 2 2 , : sgn sgn n dv a t t vt x t y t dt v t a t yx x y t t v t f x xt t F p gz n a z V V V V water body Gauss formula a nd ad nd d F gV X3 X2 r r e e e e i Te e e=i P, a=e a i a a=e P P a e a 球坐标系下加速度表达式 科式惯性力 地球偏转效应
基本观点 “数学通识”或者知识体系中的“工兵” 我们生活的世界丰富多彩,但上帝也许就用一样东西创造了这些,这就是“数学机制”或“数 学通识”( Ma thema tical Mechani sm)—以某种数学结构或性质为载体,比定理等结论具有更高 的归纳性,跨越不同课程甚至学科 基于数学通识,追求数理知识体系的“融会贾通、类旁通 0 C 微积分: Stokes公式 2a=7ka0-aHa2=anaa=0xa→力学速度、加速度 -2a0」[a3 合成原理 A∈PSwm G AG=I 微分几何:曲面曲率 B∈S,彐G非奇异,st. GBG=[4,…, 理论力学:振动模态 范德蒙 x2|≠0→ 计算方法:多项式拟合 行列式 数学物理:函数的光滑沿拓 n-1
基本观点 —— “数学通识” 或者 知识体系中的“工兵” —— 我们生活的世界丰富多彩,但上帝也许就用一样东西创造了这些,这就是“数学机制”或“数 学通识”(Mathematical Mechanism Mathematical Mechanism)—— 以某种数学结构或性质为载体,比定理等结论具有更高 的归纳性,跨越不同课程甚至学科。 —— 基于数学通识,追求数理知识体系的“融会贯通、触类旁通” 1 A G AG=I , , s.t. G BG= , , T m T T m PSym G B Sym 微分几何:曲面曲率 非奇异 理论力学:振动模态 32 1 3 1 2 123 2 1 3 123 0 :0 0 a i jk Stokes a i jk a a a aaa 微积分: 公式 力 学:速度、加速度 合成原理 1 2 22 2 1 2 11 1 1 2 11 1 0 n n nn n n xx x xx x xx x 范德蒙 计算方法:多项式拟合 行列式 数学物理:函数的光滑沿拓