The homotopy operator method for symbolic integration by parts and inversion of divergences with applications
The homotopy operator method for symbolic integration by parts and inversion of divergences with applications
复制标题
DOI：
10.1080/00036810903208155
复制
发表时间：
2009-08
影响因子：
1.1
通讯作者：
Douglas Poole;W. Hereman
中科院分区：
文献类型：
--
作者：
Douglas Poole;W. Hereman
使用标准的微积分，明确的公式，一维，二维和三维同伦算子。一维同伦算子的推导。可以使用类似的方法来导出多维版本。同伦算子的微积分公式易于在Mathematica、Maple和REDUCE等计算机代数系统中实现。几个例子说明同伦算子的使用，范围和限制。同伦算子可用于非线性偏微分方程守恒律的符号计算。守恒定律提供了对偏微分方程的物理和数学性质的深入了解。例如，无穷多个守恒律的存在建立了非线性偏微分方程的完全可积性。
Using standard calculus, explicit formulas for one-, two- and three-dimensional homotopy operators are presented. A derivation of the one-dimensional homotopy operator is given. A similar methodology can be used to derive the multi-dimensional versions. The calculus-based formulas for the homotopy operators are easy to implement in computer algebra systems such as Mathematica, Maple and REDUCE. Several examples illustrate the use, scope and limitations of the homotopy operators. The homotopy operator can be applied to the symbolic computation of conservation laws of nonlinear partial differential equations (PDEs). Conservation laws provide insight into the physical and mathematical properties of the PDE. For instance, the existence of infinitely many conservation laws establishes the complete integrability of a nonlinear PDE.