Searcharxiv⌕ Search

arXiv subjects

Boris Muha

Publications and source records attributed to Boris Muha.

52 records · Page 3Linked to original sources
arXiv2020

A review on rigorous derivation of reduced models for fluid-structure interaction systems

In this paper we review and systematize the mathematical theory on justification of sixth-order thin-film equations as reduced models for various fluid-structure interaction systems in which fluids are lubricating underneath elastic structures. Justification is based on careful examination of energy estimates, weak convergence results of solutions of the original fluid-structure interaction systems to the solution of the sixth-order thin-film equation, and quantitative error estimates which provide even strong convergence results.

math.AP↗
arXiv2020

A model in one-dimensional thermoelasticity

We study a one-dimensional nonlinear hyperbolic-parabolic initial boundary value problem occurring in the theory of thermoelasticity. We prove existence and uniqueness of the local-in-time strong solution. Also, some global-in-time weak measure valued solutions are proven to exist. To this end we introduce an auxiliary problem with artificial viscosity and prove its global-in-time well-posedness. Next, we show that solutions of the auxiliary problem converge, at some short time interval to the strong solution, and to our measure valued solution for an arbitrary time.

math.AP↗
arXiv2020

Analysis of a 3D Nonlinear, Moving Boundary Problem describing Fluid-Mesh-Shell Interaction

We consider a nonlinear, moving boundary, fluid-structure interaction problem between a time dependent incompressible, viscous fluid flow, and an elastic structure composed of a cylindrical shell supported by a mesh of elastic rods. The fluid flow is modeled by the time-dependent Navier-Stokes equations in a three-dimensional cylindrical domain, while the lateral wall of the cylinder is modeled by the two-dimensional linearly elastic Koiter shell equations coupled to a one-dimensional system of conservation laws defined on a graph domain, describing a mesh of curved rods. The mesh supported shell allows displacements in all three spatial directions. Two-way coupling based on kinematic and dynamic coupling conditions is assumed between the fluid and composite structure, and between the mesh of curved rods and Koiter shell. Problems of this type arise in many applications, including blood flow through arteries treated with vascular prostheses called stents. We prove the existence of a weak solution to this nonlinear, moving-boundary problem by using the time discretization via Lie operator splitting method combined with an Arbitrary Lagrangian-Eulerian approach, and a non-trivial extension of the Aubin-Lions-Simon compactness result to problems on moving domains.

math.AP↗
arXiv2019

Wellposedness, Spectral Analysis and Asymptotic Stability of a Multilayered Heat-Wave-Wave System

n this work we consider a multilayered heat-wave system where a 3-D heat equation is coupled with a 3-D wave equation via a 2-D interface whose dynamics is described by a 2-D wave equation. This system can be viewed as a simplification of a certain fluid-structure interaction (FSI) PDE model where the structure is of composite-type; namely it consists of a \textquotedblleft thin\textquotedblright\ layer and a \textquotedblleft thick\textquotedblright\ layer. We associate the wellposedness of the system with a strongly continuous semigroup and establish its asymptotic decay. Our first result is semigroup well-posedness for the (FSI) PDE dynamics. Utilizing here a Lumer-Phillips approach, we show that the fluid-structure system generates a $C_0$-semigroup on a chosen finite energy space of data. As our second result, we prove that the solution to the (FSI) dynamics generated by the $C_0$-semigroup tends asymptotically to the zero state for all initial data. That is, the semigroup of the (FSI) system is strongly stable. For this stability work, we analyze the spectrum of the generator $\mathbf A$ and show that the spectrum of $\mathbf A$ does not intersect the imaginary axis. \vskip.3cm \noindent \textbf{Key terms:} Fluid-structure interaction, heat-wave system, well-posedness, semigroup, strong stability.

math.AP↗
arXiv2018

A Generalization of the Aubin-Lions-Simon Compactness Lemma for Problems on Moving Domains

This work addresses an extension of the Aubin-Lions-Simon compactness result to generalized Bochner spaces $L^2(0,T;H(t))$, where $H(t)$ is a family of Hilbert spaces, parameterized by $t$. A compactness result of this type is needed in the study of the existence of weak solutions to nonlinear evolution problems governed by partial differential equations defined on moving domains. We identify the conditions on the regularity of the domain motion in time under which our extension of the Aubin-Lions-Simon compactness result holds. Concrete examples of the application of the compactness theorem are presented, including a classical problem for the incompressible, Navier-Stokes equations defined on a {\sl given} non-cylindrical domain, and a class of fluid-structure interaction problems for the incompressible, Navier-Stokes equations, coupled to the elastodynamics of a Koiter shell. The compactness result presented in this manuscript is crucial in obtaining constructive existence proofs to nonlinear, moving boundary problems, using Rothe's method.

math.AP↗
arXiv2018

Weak-strong uniqueness for fluid-rigid body interaction problem with slip boundary condition

We consider a coupled PDE-ODE system describing the motion of the rigid body in a container filled with the incompressible, viscous fluid. The fluid and the rigid body are coupled via Navier slip boundary condition. We prove that the local in time strong solution is unique in the larger class of weak solutions on the interval of its existence. This is the first weak-strong uniqueness result in the area of fluid-structure interaction with a moving boundary.

math.AP↗
arXiv2016

Stability and convergence analysis of the kinematically coupled scheme and its extensions for the fluid-structure interaction

In this work we analyze the stability and convergence properties of a loosely-coupled scheme, called the kinematically coupled scheme, and its extensions for the interaction between an incompressible, viscous fluid and a thin, elastic structure. We consider a benchmark problem where the structure is modeled using a general thin structure model, and the coupling between the fluid and structure is linear. We derive the energy estimates associated with the unconditional stability of an extension of the kinematically coupled scheme, called the $β$-scheme. Furthermore, for the first time we present \textit{a priori} estimates showing optimal, first-order in time convergence in the case when $β=1$. We further discuss the extensions of our results to other fluid-structure interaction problems, in particular the fluid-thick structure interaction problem. The theoretical stability and convergence results are supported with numerical examples.

math.NA↗
arXiv2016

Existence of a weak solution to a fluid-elastic structure interaction problem with the Navier slip boundary condition

We study a nonlinear, moving boundary fluid-structure interaction problem between an incompressible, viscous Newtonian fluid, modeled by the 2D Navier-Stokes equations, and an elastic structure modeled by the shell or plate equations. The fluid and structure are coupled via the {\em Navier slip boundary condition} and balance of contact forces at the fluid-structure interface. The slip boundary condition is more realistic than the classical no-slip boundary condition in situations, e.g., when the structure is "rough", and in modeling dynamics near, or at a contact. Cardiovascular tissue and cell-seeded tissue constructs, which consist of grooves in tissue scaffolds that are lined with cells, are examples of "rough" elastic interfaces interacting with and incompressible, viscous fluid. The problem of heart valve closure is an example of a fluid-structure interaction problem with a contact. We prove the existence of a weak solution to this class of problems by designing a constructive proof based on the time discretization via operator splitting. This is the first existence result for fluid-structure interaction problems involving elastic structures satisfying the Navier slip boundary condition

math.AP↗
arXiv2014

A note on optimal regularity and regularizing effects of point mass coupling for a heat-wave system

We consider a coupled $1D$ heat-wave system which serves as a simplified fluid-structure interaction problem. The system is coupled in two different ways: the first, when the interface does not have mass and the second, when the interface does have mass. We prove an optimal regularity result in Sobolev spaces for both cases. The main idea behind the proof is to reduce the coupled problem to a single nonlocal equation on the interface by using Neummann to Diriclet operator. Furthermore, we show that point mass coupling regularizes the problem and quantify this regularization in the sense of Sobolev spaces.

math.AP↗
arXiv2014

Stability of the kinematically coupled β-scheme for fluid-structure interaction problems in hemodynamics

It is well-known that classical Dirichlet-Neumann loosely coupled partitioned schemes for fluid-structure interaction (FSI) problems are unconditionally unstable for certain combinations of physical and geometric parameters that are relevant in hemodynamics. It was shown in \cite{causin2005added} on a simple test problem, that these instabilities are associated with the so called ``added-mass effect''. By considering the same test problem as in \cite{causin2005added}, the present work shows that a novel, partitioned, loosely coupled scheme, recently introduced in \cite{MarSun}, called the kinematically coupled $β$-scheme, does not suffer from the added mass effect for any $β\in [0,1]$, and is unconditionally stable for all the parameters in the problem. Numerical results showing unconditional stability are presented for a full, nonlinearly coupled benchmark FSI problem, first considered in \cite{formaggia2001coupling}.

math.NA↗
arXiv2014

A partitioned scheme for fluid-composite structure interaction problems

We present a loosely-coupled partitioned scheme for a benchmark problem in fluid-composite structure interaction. The benchmark problem proposed here consists of an incompressible, viscous fluid interacting with a composite structure that consists of two layers: a thin elastic layer which is in contact with the fluid, and a thick elastic layer which sits on top of the thin layer. The motivation comes from fluid-structure interaction (FSI) in hemodyam- ics. The equations of linear elasticity are used to model the thick structural layer, while the Koiter member/shell equations are used to model the thin structural layer which serves as fluid-structure interface with mass. An effi- cient, modular, operator-splitting scheme is proposed to simulate solutions to the coupled, nonlinear FSI problem. The operator splitting scheme sepa- rates the elastodynamics structure problem, from a fluid problem in which the thin structure inertia is included as a Robin-type boundary condition to achieve unconditional stability, without requiring any sub-iterations within time-steps. An energy estimate associated with unconditional stability is derived for the fully nonlinear FSI problem defined on moving domains. Two instructive numerical examples are presented to test the performance of the scheme, where it is shown numerically, that the scheme is at least first-order accurate in time. The second example reveals a new phenomenon in FSI problems: the presence of a thin fluid-structure interface with mass regularizes solutions to the full FSI problem.

math.NA↗
arXiv2013

A note on the Trace Theorem for domains which are locally subgraph of a Holder continuous function

The purpose of this note is to prove a version of the Trace Theorem for domains which are locally subgraph of a H\" older continuous function. More precisely, let $η\in C^{0,α}(ω)$, $0<α<1$ and let $Ω_η$ be a domain which is locally subgraph of a function $η$. We prove that mapping $γ_η:u\mapsto u({\bf x},η({\bf x}))$ can be extended by continuity to a linear, continuous mapping from $H^1(Ω_η)$ to $H^s(ω)$, $s<α/2$. This study is motivated by analysis of fluid-structure interaction problems.

math.AP↗
arXiv2013

A Modular, Operator Splitting Scheme for Fluid-Structure Interaction Problems with Thick Structures

We present an operator-splitting scheme for fluid-structure interaction (FSI) problems in hemodynamics, where the thickness of the structural wall is comparable to the radius of the cylindrical fluid domain. The equations of linear elasticity are used to model the structure, while the Navier-Stokes equations for an incompressible viscous fluid are used to model the fluid. The operator splitting scheme, based on Lie splitting, separates the elastodynamics structure problem, from a fluid problem in which structure inertia is included to achieve unconditional stability. We prove energy estimates associated with unconditional stability of this modular scheme for the full nonlinear FSI problem defined on a moving domain, without requiring any sub-iterations within time steps. Two numerical examples are presented, showing excellent agreement with the results of monolithic schemes. First-order convergence in time is shown numerically. Modularity, unconditional stability without temporal sub-iterations, and simple implementation are the features that make this operator-splitting scheme particularly appealing for multi-physics problems involving fluid-structure interaction.

math.NA↗
arXiv2013

Existence of a solution to a fluid-multi-layered-structure interaction problem

We study a nonlinear, unsteady, moving boundary, fluid-structure (FSI) problem in which the structure is composed of two layers: a thin layer which is in contact with the fluid, and a thick layer which sits on top of the thin structural layer. The fluid flow, which is driven by the time-dependent dynamic pressure data, is governed by the 2D Navier-Stokes equations for an incompressible, viscous fluid, defined on a 2D cylinder. The elastodynamics of the cylinder wall is governed by the 1D linear wave equation modeling the thin structural layer, and by the 2D equations of linear elasticity modeling the thick structural layer. The fluid and the structure, as well as the two structural layers, are fully coupled via the kinematic and dynamic coupling conditions describing continuity of velocity and balance of contact forces. The thin structural layer acts as a fluid-structure interface with mass. The resulting FSI problem is a nonlinear moving boundary problem of parabolic-hyperbolic type. This problem is motivated by the flow of blood in elastic arteries whose walls are composed of several layers, each with different mechanical characteristics and thickness. We prove existence of a weak solution to this nonlinear FSI problem as long as the cylinder radius is greater than zero. The proof is based on a novel semi-discrete, operator splitting numerical scheme, known as the kinematically coupled scheme. We effectively prove convergence of that numerical scheme to a solution of the nonlinear fluid-multi-layered-structure interaction problem. The spaces of weak solutions presented in this manuscript reveal a striking new feature: the presence of a thin fluid-structure interface with mass regularizes solutions of the coupled problem.

math.AP↗
arXiv2012

Existence of a weak solution to a nonlinear fluid-structure interaction problem modeling the flow of an incompressible, viscous fluid in a cylinder with deformable walls

We study a nonlinear, unsteady, moving boundary, fluid-structure interaction (FSI) problem arising in modeling blood flow through elastic and viscoelastic arteries. The fluid flow, which is driven by the time-dependent pressure data, is governed by 2D incompressible Navier-Stokes equations, while the elastodynamics of the cylindrical wall is modeled by the 1D cylindrical Koiter shell model. Two cases are considered: the linearly viscoelastic and the linearly elastic Koiter shell. The fluid and structure are fully coupled (2-way coupling) via the kinematic and dynamic lateral boundary conditions describing continuity of velocity (the no-slip condition), and balance of contact forces at the fluid-structure interface. We prove existence of weak solutions to the two FSI problems (the viscoelastic and the elastic case) as long as the cylinder radius is greater than zero. The proof is based on a novel semi-discrete, operator splitting numerical scheme, known as the kinematically coupled scheme, introduced in \cite{GioSun} to solve the underlying FSI problems. The backbone of the kinematically coupled scheme is the well-known Marchuk-Yanenko scheme, also known as the Lie splitting scheme. We effectively prove convergence of that numerical scheme to a solution of the corresponding FSI problem.

math.AP↗