专题路线

科学机器学习

从微分方程、数值离散与计算图中选取必要节点,进入物理约束学习、神经算子和科学验证。

4 个阶段9 章预计 20 小时
学习进度0/9 章完成
0%
开始学习热方程、波动方程与 Laplace 方程
先修内容

具备多变量微积分、线性代数和基础神经网络知识,希望研究科学计算与机器学习交叉方法的学习者。

学习阶段

01

傅里叶分析与偏微分方程

1 章

正交展开、傅里叶变换,以及热、波动和 Laplace 方程。

  1. 01

    热方程、波动方程与 Laplace 方程

    M09 · 5
    未开始
02

数值分析与科学计算

1 章

浮点误差、线性求解、插值、数值积分与微分方程离散。

  1. 02

    常微分与偏微分方程数值方法

    M10 · 5
    未开始
03

神经网络与反向传播

1 章

感知机、激活函数、多层网络、计算图与反向传播。

  1. 03

    计算图、链式法则与局部导数

    A04 · 3
    未开始
04

科学机器学习、PINN 与神经算子

6 章

可微分物理、物理信息神经网络、神经算子与逆问题。

  1. 04

    可微物理、自动微分与守恒约束

    A14 · 1
    未开始
  2. 05

    物理信息神经网络与残差训练

    A14 · 2
    未开始
  3. 06

    DeepONet 与算子逼近

    A14 · 3
    未开始
  4. 07

    Fourier 神经算子与网格泛化

    A14 · 4
    未开始
  5. 08

    逆问题、数据同化与不确定性

    A14 · 5
    未开始
  6. 09

    基准、外推边界与科学机器学习综合复习

    A14 · 6
    未开始

阶段自测

  1. 学完 A14 · 物理信息神经网络与残差训练

    为一个含初值和边界条件的偏微分方程分别写出内部、初值、边界与数据残差,并说明各损失权重为何不能掩盖量纲差异。

  2. 学完 A14 · Fourier 神经算子与网格泛化

    比较固定网格上的点值回归与从输入函数到解函数的算子学习,并列出跨网格评估必须报告的误差和稳定性检查。

综合练习

练习完成进度:0/2

难度 3/5

检查一维衰减方程的物理残差

方程 u'(x)+u(x)=0 满足 u(0)=1。取候选族 uₐ(x)=exp(-ax),推导内部残差和边界残差,并求使两者同时为零的 a。说明自动微分在这一步计算什么。

查看提示

先对 exp(-ax) 关于 x 求导;边界残差直接代入 x=0,内部残差保留为 x 的函数。

展开分步解答

uₐ'(x)=-a exp(-ax),所以内部残差 r(x)=(1-a)exp(-ax)。边界残差 b=uₐ(0)-1=0。由于指数函数不为零,r 对所有 x 为零当且仅当 a=1。自动微分计算的是候选函数对输入 x 的导数,并把该导数代入方程残差。

结果核验:令 a=1 后,r(x)=0 且 b=0;再令 a=0 可得 r(x)=1,说明残差公式能识别不满足微分方程的常数候选。

难度 4/5

用解析模态校验科学模型输出

周期区间上的热方程 uₜ=νuₓₓ 取初值 sin(2πx),ν=0.1。写出 t=0.5 时的解析解,并给出用该解检查神经算子输出的相对 L2 误差方案。

查看提示

正弦模态的二阶导数会带来 -(2π)²,时间振幅因此按 exp(-(2π)²νt) 衰减。

展开分步解答

解析解为 u(x,t)=exp(-4π²νt)sin(2πx)。代入 ν=0.1、t=0.5,振幅为 exp(-0.2π²),约等于 0.139。把同一网格上的预测值与解析值作差,计算其离散 L2 范数,再除以解析值的离散 L2 范数即可得到相对误差。

结果核验:t=0 时振幅恢复为 1;对解析式分别求 t 与 x 的导数可得 uₜ=-4π²νu、νuₓₓ=-4π²νu,两边一致。

参考资料