386章

菲涅尔教授将思路讲解的很透彻。

简单来说，首先在黎曼流形上给了Lipsehitz函数的广义方向导数和广义梯度的概念。

然后，利用黎曼流形局部上与欧氏空间开集微分同胚的性质以及切映射和余切射导出了广义梯度的性质和运算法则。

同时证明了定义在黎曼瘟形上的函致取得授小值的必要条件是广义梯度包含零元素。并利用这些性质给出了黎曼流形上数学规划问题的Fritz John型最优性条件。

菲涅尔教授搭建的框架目前并称不上完善，因为后续的具体脉络的绘制还是要根据那时研究的具体情况来判定。但单论这个并不完善的框架，也是程诺目前所望尘莫及的。

管中窥豹一番，程诺不得不佩服菲涅尔教授在几何学领域的造诣，那是超过自己不仅一个档次。

“还有很长的路要走啊！”程诺轻叹了一句。

大概的框架已有，而程诺又不是作为主要的研究员，所以落在他身上的工作并不算多。

这一次，他是抱着学习的目的，参与到这项国家重点数学项目的研究中。

在菲涅尔教授这里领了任务后，程诺便和赫尔一块退出小隔间。

隔间外，赫尔轻呼一口气，拍拍程诺的肩膀，“程，未来两个月的日子，我们恐怕有的忙了啊！”

他担任菲涅尔教授的助手已经快要两年的时间，类似这次的“大项目”也参与过几次。

那段时间的日子，只能用忙得昏天黑地来形容，即便他们一群给菲涅尔教授打打下手的。

菲涅尔教授交给他们的任务虽然肯定是难度较小，复杂系数较低的那些。但，那是在菲涅尔教授看来。

对他们这群小助理来讲，菲涅尔教授认为简单的任务，在他们眼中，难度不亚于写一篇一区的SCI论文。

当然，那段时间，在各种的压力下，他们成长的也确实比平常迅速的多。

现在同样的处境再次落在他的身上，赫尔一想到未来两个月在办公室里熬夜加班的日子，心里痛并快乐着。

幸好，这次起码还有程诺陪着，他心里的痛苦能稍微减轻些。

只不过，看旁边程诺脸上的表情，怎么没有丝毫担心的样子？

程诺咧嘴笑了笑，“赫尔，放心，有菲涅尔教授和我在，不会让你过整整两个月的苦日子的！”

菲涅尔教授的数学水平自然不用说。

程诺相信，即便没有他和赫尔两人，菲涅尔教授单独一人就能在两个月内搞定课题。

如今牵着那辆马车的马匹由一匹变成三匹，虽然另外两匹马很瘦小，但只要不拖后腿，自然不需要两个月这么久。

而程诺，只有别人拖他的后腿，哪有他拖别人后腿的道理？

“加油！”程诺拍了拍没怎么听懂他话中意思的赫尔，笑着走回办公桌。

程诺活动活动手指，开启了一天的工作。

该项目的研究过程暂时被定为三大阶段。

而第一阶段他的任务，只是简单的构建几个概念罢了。

早就经历过无数课题磨炼的程诺，对此已经轻车熟路，他在电脑上噼里啪啦的打着：

设(M，g)是m维黎曼流形，在每一点x∈M的切空问TxM给定一个数量积g(u，v)=<u，v>，?u，v∈TxM；其中||v||x=<v，v>表示向量v∈TxM在点x的范数。这样就在切空间定义了一个等价范数……】

……因此，对每一点x，黎曼度量g在TxM与T(n，x)M之间诱导了一个等距同构:v*=gx(v，n)(v*，u)=gx(v，u)，?u∈TxM.】

定义切余空间T*xM上向量的范数为||v*||=||v||=gx(v，v)，如此便有哥西不等式<v*，u>≤||v*||||u||，?u∈TxM.】

一顿操作猛如虎，程诺的手指都几乎要在键盘上飞出幻影。