[论文解读] One-Dimensional Solution Families of Nonlinear Systems Characterized by Scalar Functions on Riemannian Manifolds

Alin Albu‐Schäffer, Dominic Lakatos+1 more|arXiv (Cornell University)|Nov 5, 2019

Dynamics and Control of Mechanical Systems参考文献 14被引用 5

一句话总结

本文提出了一种几何框架，用于在黎曼流形上的保守非线性系统中识别严格非线性正规模态，其定义为沿测地线曲线演化且势场与测地线法向方向对齐的周期解。主要贡献是一条定理，建立了此类模态存在的充要条件，并通过在具有非恒定度量的弹性双摆系统中构造一条测地线模态予以验证。

ABSTRACT

For the study of highly nonlinear, conservative dynamic systems, finding special periodic solutions which can be seen as generalization of the well-known normal modes of linear systems is very attractive. However, the study of low-dimensional invariant manifolds in the form of nonlinear normal modes is rather a niche topic, treated mainly in the context of structural mechanics for systems with Euclidean metrics, i.e., for point masses connected by nonlinear springs. Newest results emphasize, however, that a very rich structure of periodic and low-dimensional solutions exist also within nonlinear systems such as elastic multi-body systems encountered in the biomechanics of humans and animals or of humanoid and quadruped robots, which are characterized by a non-constant metric tensor. This paper discusses different generalizations of linear oscillation modes to nonlinear systems and proposes a definition of strict nonlinear normal modes, which matches most of the relevant properties of the linear modes. The main contributions are a theorem providing necessary and sufficient conditions for the existence of strict oscillation modes on systems endowed with a Riemannian metric and a potential field as well as a constructive example of designing such modes in the case of an elastic double pendulum.

研究动机与目标

• 将线性正规模态推广至具有非恒定度量张量的黎曼流形上的非线性保守系统。
• 定义并表征保持线性模态关键特性的严格非线性正规模态，例如周期性和对单一变量的函数依赖性。
• 利用微分几何和黎曼结构，建立此类模态存在的必要与充分条件。
• 提供一种构造性方法，用于设计表现出严格非线性正规模态的系统，特别是在弹性多体系统中。

提出的方法

• 将系统动力学表述为黎曼流形上的二阶常微分方程：$\boldsymbol{\nabla}_{\boldsymbol{\dot{q}}}\boldsymbol{\dot{q}} = \boldsymbol{\nabla}f$，其中 $g$ 为度量张量，$f$ 为势函数。
• 将严格非线性正规模态定义为在配置空间中沿测地线曲线演化的周期解，且所有配置变量均函数依赖于单一参数。
• 推导出一条定理：严格模态存在的充要条件是势场梯度 $\boldsymbol{\nabla}f$ 垂直于测地线曲线，并与曲线的法丛对齐。
• 通过构造满足特定测地线周围法向对齐要求的势场，将该条件应用于双摆系统。
• 使用数值积分验证在特定能量水平（例如 5.63 J）下沿测地线存在周期解，确认理论条件成立。
• 采用微分几何工具，包括Levi-Civita联络、测地线方程和平行移动，分析流形结构与解的不变性。

实验结果

研究问题

• RQ1 在具有非恒定度量的黎曼流形上的保守非线性系统中，周期性、低维不变流形（严格非线性正规模态）存在的几何与动力学条件是什么？
• RQ2 线性正规模态的特性（如对单一变量的函数依赖性和能量无关的模态线）如何推广至具有非恒定度量的非线性系统？
• RQ3 度量张量、势场与基于测地线的周期解存在性之间的确切关系是什么？
• RQ4 能否开发一种构造性设计方法，以工程化手段实现表现出严格非线性正规模态的系统，即使在度量恒定性缺失的情况下？
• RQ5 此类模态在复杂系统（如弹性多体系统或生物肢体）中自然存在或可被工程化实现的程度如何？

主要发现

• 推导出严格非线性正规模态存在的必要与充分条件：势场梯度 $\boldsymbol{\nabla}f$ 必须垂直于测地线曲线，并与黎曼流形中该曲线的法丛对齐。
• 弹性双摆实例表明，通过设计势场以满足特定测地线周围的法向对齐条件，可构造出严格非线性正规模态。
• 数值模拟证实，在 5.63 J 等能量水平下，沿测地线存在周期解，两个摆角同步振荡且同时达到极值。
• 解表现出对单一变量的函数依赖性，在配置空间中形成一条直线形模态线，且沿测地线的初始能量无关，满足线性模态的能量无关性特征。
• 结果表明，此类模态并非罕见例外，而可系统性地设计，即使在具有非恒定度量张量的系统中亦然，暗示其在生物力学与机器人学中具有更广泛的应用潜力。
• 该框架通过整合曲率和非欧几里得度量等完整的黎曼几何结构，推广了以往非线性模态的概念（例如Rosenberg的同步振荡）。