最优传输理论与计算 学习笔记3

口诀：
代价变换支撑；
支撑包络势能；
势能微分映射；
映射对偶凸形。

开头提了一嘴拉普拉斯算子和蒙日-a算子，二者都是椭圆型，前者是线性的；后者是非线性的，近似线性化可以得到前者。

包络引理；

稳定性定理——说明了B势能函数的离散估计也是可行的，最终可以逼近真正的B势能函数.
B定理：代价是平方代价。并且没有要求omiga是凸集。二次距离代价的蒙日问题等价于一个最差传输问题，最优传输的定理在最差传输都可以用，他们是对偶的。
将该最差传输问题求对偶问题，即可得到一个形式上和K问题的对偶问题非常相似的问题，除了不等号方向外，其他的是相同的。
B极分解定理：两个映射的复合——最优传输映射和保体积映射s，这种分解几乎是唯一的。s是lie群的垂足。
流体力学：
不可压缩的流体方程的流场诱导微分同胚gt。每个粒子会在流场中得到一条“迹线”（讲座口误，不是流线。流线是同一时刻不同粒子组成的），不同时刻粒子会到达流场不同的位置。
gt是微分同胚映射（是的，同胚是一种映射），其物理含义是初始位置是x的粒子，到t时刻的位置是什么。因此讲座中有如下ODE:

gt对时间求导后，得到vt，即t时刻初始位置是x的粒子的速度。一族微分同胚gt属于保测度(讲座中叫保体积，根源来自于诱导gt的流场是不可压缩的)的李群。

显然，由百度百科的定义可知，我们只需验证这两条性质即可，单参数指t——时间，第一条或许可以理解成初始状态；第二条可以理解成，左侧的复合映射，先走时间t和再走时间s的速度；右侧，走时间t+s的速度，这二者是相等的，由ODE是线性的，第二条显然成立。
后面的构造保测度映射有点晕，之后的半离散B定理更晕了。
B变换：这篇博客里指Brenier变换。