弹性力学变分理论的逻辑问题-iMechanica.docVIP

变 分 理 论 的一 致 性 赵建中 （云南大学资源、环境与地球科学学院，昆明，650091） 摘要： 本文以数学逻辑讨论了弹性力学中的变分理论。讨论了钱伟长教授提出的变分原理中的变量独立问题。文章发现，钱教授处理变量独立和变分原理约束问题的高阶拉格朗日乘子理论是不一致的；涉及变量独立问题的罗恩的理论存在着矛盾；对变分原理变量独立的传统理解隐含着矛盾。在数学逻辑的背景下，变分理论必须是排除了误解和不确定性的数学逻辑系统；变量独立性应该逻辑地理解为变量本体性；变分理论形式化是解决变量独立问题的方法。文章对弹性力学提出两个具有一致性的系统：变分公理系统和变分形式系统 关键词 变分理论，变量独立，一致性，形式化，变分公理系统 ， 变分形式系统 中图分类号： O343.2 文献标识码：A 引言 广泛运用于数学、物理学和工程学诸多领域的变分法是数学物理方法的一种基本的、重要 的方法。最小势能原理（Minimum Potential Energy Principle，以下称MPEP）是弹性力学中的一个典型的变分原理[1,2]。胡海昌和鹫井久一郎分别独立地建立了三类变量的变分原理，通称胡海昌-鹫井久一郎原理（以下称 H-W 原理）[3-6]。 1964年, 钱伟长用拉格朗日乘子法推导出H-W原理 。何吉欢称，此举“使得推导广义变分原理从盲目走向科学” [7,8]。1983-1985期间, 钱伟长论证了 H-W 原理有一个约束条件，因而原理中有一类变量不独立，原理等价于两变量的 Hellinger-Reissner 原理( 以下称H-R 原理)[9-13]。为了解除H-W原理 的约束，钱提出了高阶拉格朗日乘子法并建立了 原理，而且称其为完全的广义变分原理[9-11]。何吉欢称：“这是变分发展史上的重要里程碑” [7]。然而，正如本文指出的，在钱的理论中存在着若干矛盾。 罗恩的工作也涉及到变量独立问题。他事实上认为变分原理中的变量独立是不证自明的或理所当然的[14]。但是变量独立的问题并没有解决，因为在他的系统中也存在着矛盾。 进一步，我们发现，在鹫井久一郎、钱伟长和罗恩的工作中明示的或隐含的有关变量独立的“传统”的理解隐含着矛盾 [6, 9-11, 14]。 本文提出并讨论了变分理论的一致性问题，指出一致性是对任何数学理论的基本要求，变分理论也不应该例外。如果变分理论是一个严格的理论，它必须是排除了误解和不确定性的数学逻辑系统。如果变分理论是一个具有一致性的系统，变量独立性就应该理解为变量本体性，变分理论的形式化是解决变量独立问题的方法。其后我们对弹性力学的变分学提出了两个具有一致性的变分理论：变分公理系统和变分形式系统。 2.弹性力学的基本方程、变分理论的一致性原理 2.1. 弹性力学的基本微分方程 (a)平衡方程： ; (2.1) (b)几何方程（应变-位移关系）： ; (2.2) (c)物理方程（应力-应变关系）： 　 (2.3a) 或 ; (2.3b) (d)应力边界条件： ; (2.4) (e)位移边界条件：　　　　　　 . (2.5) 式(2.1)-(2.5) 中应用了爱因斯坦惯例，如 ； 是弹性体的体积域；是 加载面力 的分片光滑的表面部分；是给定位移 的分片光滑的表面部分； 是 体力分量；, 和 分别为应力、应变和位移分量； 和 分别为物体的势能和余能； 是边界面元法矢量的方向余弦。物体边界 由两部分边界和组成, (2.6) 2.2. 本文讨论的弹性力学的变分原理（给出泛函） (即 MPEP) , (2.7)