SearcharxivSearch

arXiv subjects

Mingwu Li

Publications and source records attributed to Mingwu Li.

At least 19 recordsLinked to original sources

Nonlinear Model Reduction of Complex Networks via Spectral Submanifolds

Complex networked systems are prevalent in biology, engineering, and the social sciences, yet their high-dimensional, nonlinear dynamics pose major challenges for analysis and prediction. A mathematically rigorous route to simplification is to represent system behavior on a low-dimensional, smooth invariant manifold known as a spectral submanifold (SSM). Here we present a comprehensive SSM reduction framework and its globalized extension (gSSM) for dimensionality reduction in large-scale nonlinear networks. Our approach yields accurate global and node-level predictions across synthetic and real networks, including highly heterogeneous topologies and systems with higher-order interactions. Crucially, SSM is a robust tipping-point predictor: even at low truncation order (e.g., $O(2)$) it reliably identifies the onset of sustained activity, while higher orders and gSSM capture post-onset amplitudes and saturation. Consistently, the reduction collapses the full network dynamics to a one-dimensional system, offering clarity and efficiency. Across all the realizations, SSM/gSSM consistently outperform classical spectral and mean-field methods in modeling critical transitions at both microscopic and macroscopic scales, establishing SSM-based reduction as a robust, interpretable tool for nonlinear networked systems with broad applicability to epidemiology, ecology, and engineered networks.

physics.soc-ph

Non-intrusive spectral submanifold model reduction for geometrically nonlinear rotating structures with Coriolis and centrifugal forces

Rotating structures are widely observed in engineering applications such as turbomachinary and wind turbine. These rotating structures, particularly for blades made by lightweight materials, can undergo large deformation in operations and display complex nonlinear dynamics under the coupling interaction of geometric nonlinearity, Coriolis effect and centrifugal force. Finite element (FE) methods provide a powerful and accurate modeling approach for capturing the complex nonlinear dynamics for realistic rotating structures, yet its high-dimensionality causes significant challenge to efficient prediction for the nonlinear vibration. Here, we present a non-intrusive spectral submanifold (SSM) model reduction for these FE models of rotating structures. We use COMSOL to establish FE models and simulate these FE models to verify the accuracy of SSM-based reduction. We first compute nontrivial static equilibrium induced by the centrifugal force and then construct non-intrusively SSM based reduced-order model (ROM) anchored at the equilibrium. These SSM-based ROMs enable efficient and accurate extraction of backbone and forced response curves. We use a suite of examples with increasing complexity to demonstrate the effectiveness of the SSM reduction, including a rotating beam, a twisted plate, a rotor with two disks, and an internally resonant fan with three blades. The obtained results also highlight the significant effects of Coriolis force on the nonlinear vibration of rotating structures.

math.DS

Topology optimization of nonlinear forced response curves via reduction on spectral submanifolds

Forced response curves (FRCs) of nonlinear systems can exhibit complex behaviors, including hardening/softening behavior and bifurcations. Although topology optimization holds great potential for tuning these nonlinear dynamic responses, its use in high-dimensional systems is limited by the high cost of repeated response and sensitivity analyses. To address this challenge, we employ the spectral submanifolds (SSMs) reduction theory, which reformulates the periodic response as the equilibria of an associated reduced-order model (ROM). This enables efficient and analytic evaluation of both response amplitudes and their sensitivities. Based on the SSM-based ROM, we formulate optimization problems that optimize the peak amplitude, the hardening/softening behavior, and the distance between two saddle-node bifurcations for an FRC. The proposed method is applied to the design of nonlinear MEMS devices, achieving targeted performance optimization. This framework provides a practical and efficient strategy for incorporating nonlinear dynamic effects into the topology optimization of structures.

eess.SY

Parallelized computation of quasi-periodic solutions for finite element problems: A Fourier series expansion-based shooting method

High-dimensional nonlinear mechanical systems admit quasi-periodic solutions that are essential for the understanding of the dynamical systems. These quasi-periodic solutions stay on some invariant tori governed by complex PDEs in hyper-time. Here, we propose a Fourier series expansion-based shooting method (FSE-Shooting) for the parallelized computation of quasi-periodic solution with $d$ base frequencies ($d \ge 2$). We represent the associated $d$-torus as a collection of trajectories initialized at a ($d-1$)-torus. We drive a set of ODEs that hold for any of these trajectories. We also derive a set of boundary conditions that couple the initial and terminal states of these trajectories and then formulate a set of nonlinear algebraic equations via the coupling conditions. We use Fourier series expansion to parameterize the ($d-1$)-torus and shooting method to iterate the Fourier coefficients associated with initial torus such that the coupling conditions are satisfied. In particular, the terminal points of these trajectories are parallelized computed via Newmark integration, where the time points and Fourier coefficients are transformed to each other by alternating Frequency-Time method. A straightforward phase condition is devised to track the quasi-periodic solutions with priori unknown base frequencies. Additionally, the by-product of the FSE-Shooting can be also directly used to compute the Lyapunov exponents to assess the stabilities of quasi-periodic solutions. The results of three finite element systems show the efficiency and versatility of FSE-Shooting in high-dimensional nonlinear dynamical systems, including a three-dimensional shell structure with $1872$ DOFs.

math.NA

Morphoelastic ribbons: Differential growth-induced curvature and torsion

Natural slender structures, such as plant leaves, petals, and tendrils, often exhibit complex three-dimensional (3D) morphologies-including twisting, helical coiling, and saddle-bending-driven by differential growth. The resulting internal stresses are partially relieved through the development of intrinsic curvature and torsion. The fundamental challenge lies in effectively correlating microscopic growth fields to the macroscopic shapes and mechanical responses of the ribbon structures. However, existing ribbon or shell models struggle to directly link growth gradients to macroscopic curvature and torsion, necessitating a reduced-dimensional framework. This work establishes a unified one-dimensional (1D) morphoelastic ribbon model derived rigorously from 3D finite elasticity theory via a two-step asymptotic dimension reduction. The reduced-order model captures key geometric nonlinearities and finite rotations while retaining explicit dependence on the growth tensor. We obtain analytical solutions for saddle-bending and twisting configurations induced by specific growth gradients. Furthermore, numerical continuation, based on the reduced model, reveals post-buckling transitions into helical morphologies, identifying bifurcation thresholds and constructing phase diagrams. This framework explicitly links growth fields to ribbon curvature and torsion, providing fundamental mechanics insights into the morphogenesis of slender plant organs and offering the potential for bioinspired soft robotics design.

cond-mat.soft

Model reduction of nonlinear time-delay systems via ODE approximation and spectral submanifolds

Time-delay dynamical systems inherently embody infinite-dimensional dynamics, thereby amplifying their complexity. This aspect is especially notable in nonlinear dynamical systems, which frequently defy analytical solutions and necessitate approximations or numerical methods. These requirements present considerable challenges for the real-time simulation and analysis of their nonlinear dynamics. To address these challenges, we present a model reduction framework for nonlinear time-delay systems using spectral submanifolds (SSMs). We first approximate the time-delay systems as ordinary differential equations (ODEs) without delay and then compute the SSMs and their associated reduced-order models (ROMs) of the ODE approximations. These SSM-based ROMs successfully predict the nonlinear dynamical behaviors of the time-delay systems, including free and forced vibrations, and accurately identify critical features such as isolated branches in the forced response curves and bifurcations of periodic and quasi-periodic orbits. The efficiency and accuracy of the ROMs are demonstrated through examples of increasing complexity.

math.DS

General multi-steps variable-coefficient formulation for computing quasi-periodic solutions with multiple base frequencies

Quasi-periodic solutions with multiple base frequencies exhibit the feature of $2\pi$-periodicity with respect to each of the hyper-time variables. However, it remains a challenge work, due to the lack of effective solution methods, to solve and track the quasi-periodic solutions with multiple base frequencies until now. In this work, a multi-steps variable-coefficient formulation (m-VCF) is proposed, which provides a unified framework to enable either harmonic balance method (HB) or collocation method (CO) or finite difference method (FD) to solve quasi-periodic solutions with multiple base frequencies. For this purpose, a method of alternating U and S domain (AUS) is also developed to efficiently evaluate the nonlinear force terms. Furthermore, a new robust phase condition is presented for all of the three methods to make them track the quasi-periodic solutions with prior unknown multiple base frequencies, while the stability of the quasi-periodic solutions is assessed by mean of Lyapunov exponents. The feasibility of the constructed methods under the above framework is verified by application to three nonlinear systems.

math.DS

Adjoint Sensitivities for the Optimization of Nonlinear Structural Dynamics via Spectral Submanifolds

This work presents an optimization framework for tailoring the nonlinear dynamic response of lightly damped mechanical systems using Spectral Submanifold (SSM) reduction. We derive the SSM-based backbone curve and its sensitivity with respect to parameters up to arbitrary polynomial orders, enabling efficient and accurate optimization of the nonlinear frequency-amplitude relation. We use the adjoint method to derive sensitivity expressions, which drastically reduces the computational cost compared to direct differentiation as the number of parameters increases. An important feature of this framework is the automatic adjustment of the expansion order of SSM-based ROMs using user-defined error tolerances during the optimization process. We demonstrate the effectiveness of the approach in optimizing the nonlinear response over several numerical examples of mechanical systems. Hence, the proposed framework extends the applicability of SSM-based optimization methods to practical engineering problems, offering a robust tool for the design and optimization of nonlinear mechanical structures.

math.OC

Bifurcation analysis of quasi-periodic orbits of mechanical systems with 1:2 internal resonance via spectral submanifolds

A 1:2 internally resonant mechanical system can undergo secondary Hopf (Neimark-Sacker) bifurcations, resulting in a quasi-periodic response when the system is subject to harmonic excitation. While these quasi-periodic orbits have been observed in practice, their bifurcations are not well studied, especially in high-dimensional mechanical systems. This is mainly because of the challenges associated with the computation and bifurcation detection of these quasi-periodic motions. Here we present a computational framework to address these challenges via reductions on spectral submanifolds, which transforms quasi-periodic orbits of high-dimensional systems as limit cycles of four-dimensional reduced-order models. We apply the proposed framework to analyze bifurcations of quasi-periodic orbits in several mechanical systems exhibiting 1:2 internal resonance, including a finite element model of a shallow-curved shell. We uncover local bifurcations such as period-doubling and saddle-node, as well as global bifurcations such as homoclinic connections, isolas, and simple bifurcations of quasi-periodic orbits. We also observe cascades of period-doubling bifurcations of quasi-periodic orbits that eventually result in chaotic motions, as well as the coexistence of chaotic and quasi-periodic attractors. These findings elucidate the complex bifurcation mechanism of quasi-periodic orbits in 1:2 internally resonant systems.

nlin.CD

Data-free Non-intrusive Model Reduction for Nonlinear Finite Element Models via Spectral Submanifolds

The theory of spectral submanifolds (SSMs) has emerged as a powerful tool for constructing rigorous, low-dimensional reduced-order models (ROMs) of high-dimensional nonlinear mechanical systems. A direct computation of SSMs requires explicit knowledge of nonlinear coefficients in the equations of motion, which limits their applicability to generic finite-element (FE) solvers. Here, we propose a non-intrusive algorithm for the computation of the SSMs and the associated ROMs up to arbitrary polynomial orders. This non-intrusive algorithm only requires system nonlinearity as a black box and hence, enables SSM-based model reduction via generic finite-element software. Our expressions and algorithms are valid for systems with up to cubic-order nonlinearities, including velocity-dependent nonlinear terms, asymmetric damping, and stiffness matrices, and hence work for a large class of mechanics problems. We demonstrate the effectiveness of the proposed non-intrusive approach over a variety of FE examples of increasing complexity, including a micro-resonator FE model containing more than a million degrees of freedom.

math.NA

Active vibration control of nonlinear flexible structures via reduction on spectral submanifolds

Large amplitude vibrations can cause hazards and failure to engineering structures. Active control has been an effective strategy to suppress vibrations, but it faces great challenges in the real-time control of nonlinear flexible structures. Here, we present a control design framework using reductions on aperiodic spectral submanifolds (SSMs) to address the challenges. We formulate high-dimensional nonlinear optimal control problems to suppress the vibrations and then use the SSM-based reductions to transform the original optimal control problems into low-dimensional linear optimal control problems. We further establish extended linear quadratic regulators to solve the reduced optimal control problems, paving the road for real-time active control of nonlinear flexible structures. We demonstrate the effectiveness of our control design framework via a suite of examples with increasing complexity, including a finite element model of an aircraft wing with more than 130,000 degrees of freedom.

math.OC

Double-eigenvalue bifurcation and multistability in serpentine strips with tunable buckling behaviors

Serpentine structures, composed of straight and circular strips, have garnered significant attention as potential designs for flexible electronics due to their remarkable stretchability. When subjected to stretching, these serpentine strips buckle out of plane, and previous studies have identified two distinct buckling modes whose order of appearance may interchange in serpentine structures with a single cell. In this study, we employ anisotropic rod theory to model serpentine strips as a multi-segment boundary value problem (BVP), with continuity conditions enforced at the interface between the straight and curved strips. We solve the BVP using methods of continuation, and our results reveal that: 1) the exchange of the two buckling modes in a single-cell serpentine strip is induced by a double-eigenvalue and associated secondary bifurcations, which also alter the stability of the two buckling modes; 2) a variety of stable states with reversible symmetry can be manually obtained in tabletop models and are found to be disconnected from the planar branch in numerical continuation. Furthermore, we demonstrate that modulating the strip thickness across different cells leads to the initiation of buckling in the thinnest section, thereby allowing for the tuning of buckling modes in serpentine strips. In structures with two cells, the sequence of the two buckling modes can also be controlled by designing serpentine strips with nonuniform height. This work could enhance the mechanical design of serpentine-interconnect-based flexible structures and could have applications in multistable actuators and mechanical memory devices.

cond-mat.soft

Refined Motion Compensation with Soft Laser Manipulators using Data-Driven Surrogate Models

Non-contact laser ablation, a precise thermal technique, simultaneously cuts and coagulates tissue without the insertion errors associated with rigid needles. Human organ motions, such as those in the liver, exhibit rhythmic components influenced by respiratory and cardiac cycles, making effective laser energy delivery to target lesions while compensating for tumor motion crucial. This research introduces a data-driven method to derive surrogate models of a soft manipulator. These low-dimensional models offer computational efficiency when integrated into the Model Predictive Control (MPC) framework, while still capturing the manipulator's dynamics with and without control input. Spectral Submanifolds (SSM) theory models the manipulator's autonomous dynamics, acknowledging its tendency to reach equilibrium when external forces are removed. Preliminary results show that the MPC controller using the surrogate model outperforms two other models within the same MPC framework. The data-driven MPC controller also supports a design-agnostic feature, allowing the interchangeability of different soft manipulators within the laser ablation surgery robot system.

cs.RO

Fast computation and characterization of forced response surfaces via spectral submanifolds and parameter continuation

For mechanical systems subject to periodic excitation, forced response curves (FRCs) depict the relationship between the amplitude of the periodic response and the forcing frequency. For nonlinear systems, this functional relationship is different for different forcing amplitudes. Forced response surfaces (FRSs), which relate the response amplitude to both forcing frequency and forcing amplitude, are then required in such settings. Yet, FRSs have been rarely computed in the literature due to the higher numerical effort they require. Here, we use spectral submanifolds (SSMs) to construct reduced-order models (ROMs) for high-dimensional mechanical systems and then use multidimensional manifold continuation of fixed points of the SSM-based ROMs to efficiently extract the FRSs. Ridges and trenches in an FRS characterize the main features of the forced response. We show how to extract these ridges and trenches directly without computing the FRS via reduced optimization problems on the ROMs. We demonstrate the effectiveness and efficiency of the proposed approach by calculating the FRSs and their ridges and trenches for a plate with a 1:1 internal resonance and for a shallow shell with a 1:2 internal resonance.

math.DS

Variational construction of tubular and toroidal streamsurfaces for flow visualization

Approximate streamsurfaces of a 3D velocity field have recently been constructed as isosurfaces of the closest first integral of the velocity field. Such approximate streamsurfaces enable effective and efficient visualization of vortical regions in 3D flows. Here we propose a variational construction of these approximate streamsurfaces to remove the limitation of Fourier series representation of the first integral in earlier work. Specifically, we use finite-element methods to solve a partial-differential equation that describes the best approximate first integral for a given velocity field. We use several examples to demonstrate the power of our approach for 3D flows in domains with arbitrary geometries and boundary conditions. These include generalized axisymmetric flows in the domains of a sphere (spherical vortex), a cylinder (cylindrical vortex), and a hollow cylinder (Taylor-Couette flow) as benchmark studies for various computational domains, non-integrable periodic flows (ABC and Euler flows), and Rayleigh-B\'enard convection flows. We also illustrate the use of the variational construction in extracting momentum barriers in Rayleigh-B\'enard convection.

physics.flu-dyn

Model reduction for constrained mechanical systems via spectral submanifolds

Dynamical systems are often subject to algebraic constraints in conjunction to their governing ordinary differential equations. In particular, multibody systems are commonly subject to configuration constraints that define kinematic compatibility between the motion of different bodies. A full-scale numerical simulation of such constrained problems is challenging, making reduced-order models (ROMs) of paramount importance. In this work, we show how to use spectral submanifolds (SSMs) to construct rigorous ROMs for mechanical systems with configuration constraints. These SSM-based ROMs enable the direct extraction of backbone curves and forced response curves, and facilitate efficient bifurcation analysis. We demonstrate the effectiveness of this SSM-based reduction procedure on several examples of varying complexity, including nonlinear finite-element models of multi-body systems. We also provide an open-source implementation of the proposed method that also contains all details of our numerical examples.

math.DS

Nonlinear analysis of forced mechanical systems with internal resonance using spectral submanifolds, Part II: Bifurcation and quasi-periodic response

In Part I of this paper, we have used spectral submanifold (SSM) theory to construct reduced-order models for harmonically excited mechanical systems with internal resonances. In that setting, extracting forced response curves formed by periodic orbits of the full system was reduced to locating the solution branches of equilibria of the corresponding reduced-order model. Here we use bifurcations of the equilibria of the reduced-order model to predict bifurcations of the periodic response of the full system. Specifically, we identify Hopf bifurcations of equilibria and limit cycles in reduced models on SSMs to predict the existence of two-dimensional and three-dimensional quasi-periodic attractors and repellers in periodically forced mechanical systems of arbitrary dimension. We illustrate the accuracy and efficiency of these computations on finite-element models of beams and plates.

math.DS

Nonlinear analysis of forced mechanical systems with internal resonance using spectral submanifolds, Part I: Periodic response and forced response curve

We show how spectral submanifold theory can be used to construct reduced-order models for harmonically excited mechanical systems with internal resonances. Efficient calculations of periodic and quasi-periodic responses with the reduced-order models are discussed in this paper and its companion, Part II, respectively. The dimension of a reduced-order model is determined by the number of modes involved in the internal resonance, independently of the dimension of the full system. The periodic responses of the full system are obtained as equilibria of the reduced-order model on spectral submanifolds. The forced response curve of periodic orbits then becomes a manifold of equilibria, which can be easily extracted using parameter continuation. To demonstrate the effectiveness and efficiency of the reduction, we compute the forced response curves of several high-dimensional nonlinear mechanical systems, including the finite-element models of a von Kármán beam and a plate.

math.DS