偏微分方程及泛函Hamiltonian结构的机械化研究与应用

摘要：

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

关键词：Hamiltonian结构、机械化、偏微分方程、泛函

所属期刊栏目：20

分类号：O242;O177(计算数学)

资助基金：国家自然科学基金19861003

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：283-287