论文部分内容阅读
本文是对PDEs与泛函的Hamiltonian结构的计算机代数构造和判别法的初步研究.首先给出了微分与泛函的形式化,以计算机代数系统Mathematica为例说明了计算机上实现变分导数,Euler-Lagrange算子,分部积分及Frechet导数等基本概念的自动推演形式.其次在理论上给出Hamiltonian结构的普适性及Hamilton方程的普遍形式,从而为泛函构造其Hamiltonian方程提供了机械化方法.