arXiv ScienceSearch

arXiv subjects

Maxim Olshanskii

Publications and source records attributed to Maxim Olshanskii.

At least 19 recordsLinked to original sources

Tensor-Based Reduced-Order Modeling for Optimization-Based Inverse Problems

We develop a tensor reduced-order modeling (TROM) framework for optimization-based inverse problems governed by parameter-dependent dynamical systems. The approach approximates the parameter-to-observation map directly in tensor-train (TT) format using TT-SVD or TT-Cross and integrates it into a regularized nonlinear least-squares formulation. Beyond accelerating forward evaluations, the low-rank tensor structure reformulates the inverse problem in reduced coordinates, assembles Gauss--Newton quantities without forming the full observation-space Jacobian, and minimizes the TROM objective over the discrete parameter grid. This tensor optimization provides either a stand-alone approximate solution or a data-informed initialization for a subsequent Gauss--Newton solve. We study an inverse heat-transfer problem in a heterogeneous medium, where the parameters describe the locations and radii of low-conductivity inclusions, and a FitzHugh--Nagumo parameter-estimation problem with a highly nonconvex landscape. Numerical experiments assess reduced-order model error, measurement noise, regularization, initialization, spatial discretization, and increasing parameter dimension. The results show that TROM reproduces full-order inversion at substantially reduced online cost. They also demonstrate that reduced-coordinate inversion, tensor-based optimization, and appropriate regularization improve robustness in higher-dimensional, noisy, and strongly nonconvex regimes. For the continuous TROM inverse problem, we develop an error-to-inversion analysis. Under local strong convexity of the regularized FOM objective and parametric smoothness of the FOM observation map, the error between the parameters recovered with the full-order model and TROM is bounded by controlled uniform errors in the surrogate map and its Jacobian, together with local FOM and curvature quantities.

math.NA

Reduced-Order Modeling of Parameterized Visco-Plastic Shallow Flows

We propose a non-intrusive reduced-order modeling framework for parametrized visco-plastic free-surface flows governed by a shallow-water formulation of Herschel--Bulkley fluids. These flows exhibit strong nonlinearities, non-smooth rheology, moving fronts, and yield surfaces, making efficient surrogate modeling particularly challenging. To address this challenge, we employ a tensor-based approach in which the solution manifold is approximated using a low-rank representation obtained via higher-order singular value decomposition of snapshot data over a structured parameter space. The resulting tensorial reduced-order model (TROM) enables rapid online evaluation by directly reconstructing solution trajectories from the compressed representation, thereby avoiding the need to perform time integration of a reduced dynamical system. The proposed non-intrusive framework can be interpreted as an encoder--decoder architecture with a compressed latent representation and efficient multilinear decoding. Numerical experiments demonstrate that the proposed approach accurately captures key flow features, including front propagation, plug and shear regions, and near-stopping dynamics, while achieving substantial computational speedups relative to full-order simulations.

physics.flu-dyn

Tensorial Reduced-Order Models for Parametric Coupled Reaction-Diffusion Systems: Application to Brain Tumor Growth Modeling

We construct efficient surrogate models for parametric forward operators arising in brain tumor growth simulations, governed by coupled semilinear parabolic reaction-diffusion systems on heterogeneous two- and three-dimensional domains. We consider two models of increasing complexity: a scalar single-species formulation and a six-state, nine-parameter multi-species go-or-grow model. The governing equations are discretized using a finite volume method and integrated in time via an operator-splitting strategy. We develop tensorial reduced-order model (TROM) surrogates based on the Higher-Order Singular Value Decomposition in Tucker format and the Tensor Train decomposition, each in intrusive and non-intrusive variants. The models are compared against a classical proper orthogonal decomposition (POD) ROM baseline. Numerical experiments with up to $m=9$ model parameters demonstrate speedups of $85\times$-$120\times$ relative to the full-order solver while maintaining excellent accuracy, establishing tensorial surrogates as a rigorous and efficient computational foundation for many-query workflows.

math.NA

Well-posedness of the heat equation in domains with topological transitions

We analyze a linear parabolic equation with homogeneous Dirichlet boundary conditions posed in domains whose evolution may involve topological transitions. The domains are described as sublevel sets of a smooth space-time level set function, allowing for transitions such as domain splitting and merging and the creation or vanishing of islands and holes. We introduce anisotropic space-time function spaces that extend the classical Bochner spaces used in cylindrical domains and establish key functional-analytic properties of these spaces, including the density of compactly supported smooth functions. This framework enables the application of the Babu\v{s}ka-Banach theorem, yielding existence, uniqueness, and a priori estimates for weak solutions. The analysis applies to domain evolutions generated by level set functions with isolated nondegenerate critical points, which correspond to the generic topology changes classified by Morse theory in two and three spatial dimensions.

math.AP

A modified Brinkman penalization fictitious domain method for the unsteady Navier-Stokes equations

This paper investigates a modification of the fictitious domain method with continuation in the lower-order coefficients for the unsteady Navier-Stokes equations governing the motion of an incompressible homogeneous fluid in a bounded 2D or 3D domain. The modification enables {a solution-dependent} choice of the critical parameter. Global-in-time existence and convergence of a weak solution to the auxiliary problem are proved, and local-in-time existence and convergence of a unique strong solution are established. For the strong solution, a new higher-order convergence rate estimate in the penalization parameter is obtained. The introduced framework allows us to apply a pointwise divergence free finite element method as a discretization technique, leading to strongly mass conservative discrete fictitious domain method. A numerical example illustrates the performance of the method.

math.NA

An unfitted divergence-free higher order finite element method for the Stokes problem

The paper develops and analyzes a higher-order unfitted finite element method for the incompressible Stokes equations, which yields a strongly divergence-free velocity field up to the physical boundary. The method combines an isoparametric Scott--Vogelius velocity-pressure pair on a cut background mesh with a stabilized Nitsche/Lagrange multiplier formulation for imposing Dirichlet boundary conditions. We construct finite element spaces that admit robust numerical implementation using standard elementwise polynomial mappings and produce exactly divergence-free discrete velocities. The key components of the analysis are a new inf-sup stability result for the isoparametric Scott--Vogelius pair on unfitted meshes and a combined inf-sup stability result for the bilinear forms associated with the pressure and the Lagrange multiplier. The finite element formulation employs a higher-order Lagrange multiplier space, which ensures stability and mitigates the loss of pressure robustness typically associated with the weak enforcement of boundary conditions for the normal velocity component. The paper provides a complete stability and convergence theory in two dimensions, accounting for the geometric errors introduced by the isoparametric approximation. The analysis shows optimal-order velocity convergence in both the $H^1$ and $L^2$ norms and establishes optimal $H^1$-convergence and nearly optimal $L^2$-convergence of a post-processed pressure. Numerical experiments illustrate and confirm the theoretical findings.

math.NA

Low-rank cross approximation of function-valued tensors for reduced-order modeling of parametric PDEs

The paper considers function-valued tensors, viewed as multidimensional arrays with entries in an abstract Hilbert space. Despite the absence of the algebraic structure of a field, the geometric inner-product structure suffices to introduce the Tucker rank, higher-order SVD, and Tucker-cross decomposition for function-valued tensors. An adaptive cross-approximation algorithm is developed to compute low-rank approximations of such tensors. The framework is motivated by, and applied to, model order reduction of the parameter-to-solution map for a parametric PDE. The resulting reduced-order model can be interpreted as an encoder-decoder scheme with a nonlinear encoder and a multilinear decoder. The performance of the proposed non-intrusive approximation method is demonstrated in numerical examples for two nonlinear parametric PDE systems.

math.NA

A Stabilized Trace FEM for Surface Cahn--Hilliard Equations: Analysis and Simulations

This paper addresses the analysis and numerical assessment of a computational method for solving the Cahn--Hilliard equation defined on a surface. The proposed approach combines the stabilized trace finite element method for spatial discretization with an implicit--explicit scheme for temporal discretization. The method belongs to a class of unfitted finite element methods that use a fixed background mesh and a level-set function for implicit surface representation. We establish the numerical stability of the discrete problem by showing a suitable energy dissipation law for it. We further derive optimal-order error estimates assuming simplicial background meshes and finite element spaces of order $m \geq 1$. The effectiveness of the method is demonstrated through numerical experiments on several two-dimensional closed surfaces, confirming the theoretical results and illustrating the robustness and convergence properties of the scheme.

math.NA

A parametric tensor ROM for the shallow water dam break problem

We develop a variant of a tensor reduced-order model (tROM) for the parameterized shallow-water dam-break problem. This hyperbolic system presents multiple challenges for model reduction, including a slow decay of the Kolmogorov $N$-width of the solution manifold, shock formation, and the loss of smooth solution dependence on parameters. These issues limit the performance of traditional Proper Orthogonal Decomposition based ROMs. Our tROM approach, based on a low-rank tensor decomposition, builds a parameter-to-solution map from high-fidelity snapshots and constructs localized reduced bases via a local POD procedure. We apply this method to 1D dry-bed and wet-bed problems and 2D wet-bed problem with topography and bottom friction, showing that the non-interpolatory variant of the tROM, combined with Chebyshev sampling near critical parameter values, effectively captures parameter-dependent behavior and significantly outperforms standard POD-ROMs. This is especially evident in the wet-bed case, where POD-ROMs exhibit poor resolution of shock waves and spurious oscillations.

math.NA

An Augmented Lagrangian Preconditioner for Navier--Stokes Equations with Runge--Kutta in Time

We consider a Runge--Kutta method for the numerical time integration of the nonstationary incompressible Navier--Stokes equations. This yields a sequence of nonlinear problems to be solved for the stages of the Runge--Kutta method. The resulting nonlinear system of differential equations is discretized using a finite element method. To compute a numerical approximation of the stages at each time step, we employ Newton's method, which requires the solution of a large and sparse generalized saddle-point problem at each nonlinear iteration. We devise an augmented Lagrangian preconditioner within the flexible GMRES method for solving the Newton systems at each time step. The preconditioner can be applied inexactly with the help of a multigrid routine. We present numerical evidence of the robustness and efficiency of the proposed strategy for different values of the viscosity, mesh size, time step, and number of stages of the Runge--Kutta method.

math.NA

Phase-separated lipid vesicles: continuum modeling, simulation, and validation

The paper presents a complete research cycle comprising continuum-based modeling, computational framework development, and validation setup to predict phase separation and surface hydrodynamics in lipid bilayer membranes. We starting with an overview of the key physical characteristics of lipid bilayers, including their composition, mechanical properties, and thermodynamics, and then discuss continuum models of multi-component bilayers. The most complex model is a Navier--Stokes--Cahn--Hilliard (NSCH) type system, describing the coupling of incompressible surface fluid dynamics with phase-field dynamics on arbitrarily curved geometries. It is discretized using trace finite element methods, which offer geometric flexibility and stability in representing surface PDEs. Numerical studies are conducted to examine physical features such as coarsening rates and interfacial dynamics. The computational results obtained from the NSCH model are compared against experimental data for membrane compositions with distinct phase behaviors, demonstrating that including both phase-field models and surface hydrodynamics is essential to accurately reproduce domain evolution observed in epi-fluorescence microscopy. Lastly, we extend the model to incorporate external forces that enable the simulation of vesicles containing cationic lipids, used to enhance membrane fusion.

math.NA

Parametric Reduced Order Models for the Generalized Kuramoto--Sivashinsky Equations

The paper studies parametric Reduced Order Models (ROMs) for the Kuramoto--Sivashinsky (KS) and generalized Kuramoto--Sivashinsky (gKS) equations. We consider several POD and POD-DEIM projection ROMs with various strategies for parameter sampling and snapshot collection. The aim is to identify an approach for constructing a ROM that is efficient across a range of parameters, encompassing several regimes exhibited by the KS and gKS solutions: weakly chaotic, transitional, and quasi-periodic dynamics. We describe such an approach and demonstrate that it is essential to develop ROMs that adequately represent the short-time transient behavior of the gKS model.

math.NA

Projected gradient stabilization of sharp and diffuse interface formulations in unfitted Nitsche finite element methods

We introduce an unfitted Nitsche finite element method with a new ghost-penalty stabilization based on local projection of the solution gradient. The proposed ghost-penalty operator is straightforward to implement, ensures algebraic stability, provides an implicit extension of the solution beyond the physical domain, and stabilizes the numerical method for problems dominated by transport phenomena. This paper presents both a sharp interface version of the method and an alternative diffuse interface formulation designed to avoid integration over implicitly defined embedded surfaces. A complete numerical analysis of the sharp interface version is provided. The results of several numerical experiments support the theoretical analysis and illustrate the performance of both variants of the method.

math.NA

Stability of instantaneous pressures in an Eulerian finite element method for moving boundary flow problems

This paper focuses on identifying the cause and proposing a remedy for the problem of spurious pressure oscillations in a sharp-interface immersed boundary finite element method for incompressible flow problems in moving domains. The numerical method belongs to the class of Eulerian unfitted finite element methods. It employs a cutFEM discretization in space and a standard BDF time-stepping scheme, enabled by a discrete extension of the solution from the physical domain into the ambient space using ghost-penalty stabilization. To investigate the origin of spurious temporal pressure oscillations, we revisit a finite element stability analysis for the steady domain case and extend it to derive a stability estimate for the pressure in the $L^\infty(L^2)$-norm that is uniform with respect to discretization parameters. By identifying where the arguments fail in the context of a moving domain, we propose a variant of the method that ensures unconditional stability of the instantaneous pressure. As a result, the modified method eliminates spurious pressure oscillations. We also present extensive numerical studies aimed at illustrating our findings and exploring the effects of fluid viscosity, geometry approximation, mass conservation, discretization and stabilization parameters, and the choice of finite element spaces on the occurrence and magnitude of spurious temporal pressure oscillations. The results of the experiments demonstrate a significant improvement in the robustness and accuracy of the proposed method compared to existing approaches.

math.NA

A preconditioner for the grad-div stabilized equal-order finite elements discretizations of the Oseen problem

The paper considers grad-div stabilized equal-order finite elements (FE) methods for the linearized Navier-Stokes equations. A block triangular preconditioner for the resulting system of algebraic equations is proposed which is closely related to the Augmented Lagrangian (AL) preconditioner. A field-of-values analysis of a preconditioned Krylov subspace method shows convergence bounds that are independent of the mesh parameter variation. Numerical studies support the theory and demonstrate the robustness of the approach also with respect to the viscosity parameter variation, as is typical for AL preconditioners when applied to inf-sup stable FE pairs. The numerical experiments also address the accuracy of grad-div stabilized equal-order FE method for the steady state Navier-Stokes equations.

math.NA

A narrow band finite element method for the level set equation

A finite element method is introduced to track interface evolution governed by the level set equation. The method solves for the level set indicator function in a narrow band around the interface. An extension procedure, which is essential for a narrow band level set method, is introduced based on a finite element $L^2$- or $H^1$-projection combined with the ghost-penalty method. This procedure is formulated as a linear variational problem in a narrow band around the surface, making it computationally efficient and suitable for rigorous error analysis. The extension method is combined with a discontinuous Galerkin space discretization and a BDF time-stepping scheme. The paper analyzes the stability and accuracy of the extension procedure and evaluates the performance of the resulting narrow band finite element method for the level set equation through numerical experiments.

math.NA

A conservative Eulerian finite element method for transport and diffusion in moving domains

The paper introduces a finite element method for an Eulerian formulation of partial differential equations governing the transport and diffusion of a scalar quantity in a time-dependent domain. The method follows the idea from Lehrenfeld & Olshanskii [ESAIM: M2AN, 53(2): 585-614, 2019] of a solution extension to realise the Eulerian time-stepping scheme. However, a reformulation of the partial differential equation is suggested to derive a scheme which conserves the quantity under consideration exactly on the discrete level. For the spatial discretisation, the paper considers an unfitted finite element method. Ghost-penalty stabilisation is used to realise the discrete solution extension and gives a scheme robust against arbitrary intersections between the mesh and geometry interface. The stability is analysed for both first- and second-order backward differentiation formula versions of the scheme. Several numerical examples in two and three spatial dimensions are included to illustrate the potential of this method.

math.NA

On fusogenicity of positively charged phased-separated lipid vesicles: experiments and computational simulations

This paper studies the fusogenicity of cationic liposomes in relation to their surface distribution of cationic lipids and utilizes membrane phase separation to control this surface distribution. It is found that concentrating the cationic lipids into small surface patches on liposomes, through phase-separation, can enhance liposome's fusogenicity. Further concentrating these lipids into smaller patches on the surface of liposomes led to an increased level of fusogenicity. These experimental findings are supported by numerical simulations using a mathematical model for phase-separated charged liposomes. Findings of this study may be used for design and development of highly fusogenic liposomes with minimal level of toxicity.

cond-mat.soft