Abstract:Introducing a coupling framework reminiscent of FETI methods, but here on abstract form, we establish conditions for stability and minimal requirements for well-posedness on the continuous level, as well as conditions on local solvers for the approximation of subproblems. We then discuss stability of the resulting Lagrange multiplier methods and show stability under a mesh conditions between the local discretizations and the mortar space. If this condition is not satisfied we show how a stabilization, acting only on the multiplier can be used to achieve stability. The design of preconditioners of the Schur complement system is discussed in the unstabilized case. Finally we discuss some applications that enter the framework.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: when dealing with large - scale heterogeneous coupling problems, how to solve different sub - problems through differently highly - optimized codes and ensure the well - posedness and stability of the overall method. Specifically, the author proposes an abstract framework for studying and analyzing the stability and approximation of such problems, especially the well - posedness conditions at the continuous level and the requirements for local solvers to approximate sub - problems. ### Problem Background With the increasing popularity of high - performance computing environments, solving linear problems in infinite - dimensional spaces is becoming more and more important, especially the numerical solutions of partial differential equations (PDEs) or integral equations. Discretization will lead to increasingly large linear systems, especially when the problem size and complexity increase. In order to solve these problems efficiently, iterative methods are usually adopted, using local solvers to handle coupled sub - problems. ### Main Objectives of the Paper 1. **Establish a Theoretical Foundation**: Provide theoretical support for solving large - scale heterogeneous problems using differently highly - optimized codes. 2. **Abstract Framework**: Study an abstract framework in which problems, sub - problems, and couplings are not pre - associated with physical spaces and models, but it is assumed that these solvers can produce sufficiently accurate approximate solutions. 3. **Stability and Well - posedness**: Analyze the properties of the coupling system to ensure well - posedness at the continuous level and propose the weakest conditions to ensure the well - posedness of the global method under local discretization conditions. 4. **Applications and Extensions**: Discuss some specific applications that enter this framework, including multi - scale models, FEM/BEM coupling, etc. ### Technical Details - **Abstract Problem Form**: Consider an abstract problem of the form \(Au = f\), where \(A\) is a bounded invertible linear operator and \(f\) is the given right - hand side. - **Coupling Constraints**: Decompose the problem into multiple "local" sub - problems and impose coupling constraints. - **Saddle - point Problem**: Transform the original problem into a saddle - point problem, whose unknowns are the Lagrange multiplier \(\lambda\) and the component \(z\) of the kernel \(A\). - **Discretization and Approximation**: Discretize the saddle - point problem by the non - conforming Galerkin discretization method, involving approximating the Lagrange multiplier space and numerically evaluating the pseudo - inverse \(A^+_h\). - **Stabilization Method**: When certain conditions cannot be met or lead to inconvenient discretization, introduce a stabilization method to ensure stability. ### Application Prospects This framework can be applied to a variety of fields, including but not limited to: - Multi - physics and multi - scale simulations - Interaction between highly specialized sub - problem solvers - Code coupling in different computing environments In short, this paper aims to provide a general and flexible theoretical framework for solving large - scale heterogeneous coupling problems, ensuring efficient cooperation and stability among different solvers.

An abstract framework for heterogeneous coupling: stability, approximation and applications

Generalized bridging domain method for coupling finite elements with discrete elements

Reduced Lagrange multiplier approach for non-matching coupling of mixed-dimensional domains

Splitting Schemes for Coupled Differential Equations: Block Schur-Based Approaches and Partial Jacobi Approximation

COUPLING CONDITIONS FOR LINEAR HYPERBOLIC RELAXATION SYSTEMS IN TWO-SCALE PROBLEMS

A unified framework for Trefftz-like discretization methods

Coupled Scheme for Linear and Hamilton-Jacobi Equations: Theoretical and Numerical Aspects

On the stability of harmonic mortar methods with application to electric machines

Stability of abstract coupled systems

Multiscale Universal Interface: A Concurrent Framework for Coupling Heterogeneous Solvers

On the computation of stable coupled state-space models for dynamic substructuring applications

Broken-FEEC discretizations and Hodge Laplace problems

On the stability of a loosely-coupled scheme based on a Robin interface condition for fluid-structure interaction

Stability of Abstract Interconnected Systems with a Possibly Unstable Component

On an objective, geometrically exact coupling element for a director-based multi-body finite element framework

Reduced Lagrange multiplier approach for non-matching coupled problems in multiscale elasticity

Least-squares solutions of boundary-value problems in hybrid systems

A narrow-stencil framework for convergent numerical approximations of fully nonlinear second order PDEs

MsFEM for advection-dominated problems in heterogeneous media: Stabilization via nonconforming variants

Computational framework for monolithic coupling for thin fluid flow in contact interfaces

A Tool for Analysis and Synthesis of Heterogeneous Multi-agent Systems under Rank-deficient Coupling