-
A Mortar Finite Element Formulation for Large Deformation Lubricated Contact Problems with Smooth Transition Between Mixed, Elasto-Hydrodynamic and Full Hydrodynamic Lubrication
Authors:
Mostafa Faraji,
Alexander Seitz,
Christoph Meier,
Wolfgang A. Wall
Abstract:
This work proposes a novel model and numerical formulation for lubricated contact problems describing the mutual interaction between two deformable 3D solid bodies and an interposed fluid film. The solid bodies are consistently described based on nonlinear continuum mechanics allowing for finite deformations and arbitrary constitutive laws. The fluid film is modelled as a quasi-2D flow problem on…
▽ More
This work proposes a novel model and numerical formulation for lubricated contact problems describing the mutual interaction between two deformable 3D solid bodies and an interposed fluid film. The solid bodies are consistently described based on nonlinear continuum mechanics allowing for finite deformations and arbitrary constitutive laws. The fluid film is modelled as a quasi-2D flow problem on the interface between the solids governed by the averaged Reynolds equation. The averaged Reynolds equation accounts for surface roughness utilizing spatially homogenized, effective fluid parameters and for cavitation through a positivity constraint imposed on the pressure field. In contrast to existing approaches, the proposed model accounts for the co-existence of frictional contact tractions and hydrodynamic fluid tractions at every local point on the contact surface of the interacting bodies and covers the entire range from boundary lubrication to mixed, elastohydrodynamic, and eventually to full film hydrodynamic lubrication in one unified modelling framework with smooth transition between these different regimes. Critically, the model relies on a recently proposed regularization scheme for the mechanical contact constraint combining the advantages of classical penalty and Lagrange multiplier approaches by expressing the mechanical contact pressure as a function of the effective gap between the solid bodies while at the same time limiting the minimal gap value occurring at the (theoretical) limit of infinitely high contact pressures. From a physical point of view, this approach can be considered as a model for the elastic deformation of surface asperities, with a bounded magnitude depending on the interacting solids' surface roughness. A consistent and accurate model behavior is demonstrated and validated by employing several challenging and practically relevant benchmark test cases.
△ Less
Submitted 4 January, 2022;
originally announced January 2022.
-
Simulation of Multidimensional Diffusions with Sticky Boundaries via Markov Chain Approximation
Authors:
Christian Meier,
Lingfei Li,
Gongqiu Zhang
Abstract:
We develop a new simulation method for multidimensional diffusions with sticky boundaries. The challenge comes from simulating the sticky boundary behavior, for which standard methods like the Euler scheme fail. We approximate the sticky diffusion process by a multidimensional continuous time Markov chain (CTMC), for which we can simulate easily. We develop two ways of constructing the CTMC: appro…
▽ More
We develop a new simulation method for multidimensional diffusions with sticky boundaries. The challenge comes from simulating the sticky boundary behavior, for which standard methods like the Euler scheme fail. We approximate the sticky diffusion process by a multidimensional continuous time Markov chain (CTMC), for which we can simulate easily. We develop two ways of constructing the CTMC: approximating the infinitesimal generator of the sticky diffusion by finite difference using standard coordinate directions, and matching the local moments using the drift and the eigenvectors of the covariance matrix as transition directions. The first approach does not always guarantee a valid Markov chain whereas the second one can. We show that both construction methods yield a first order simulation scheme, which can capture the sticky behavior and it is free from the curse of dimensionality. We apply our method to two applications: a multidimensional Brownian motion with all dimensions sticky which arises as the limit of a queuing system with exceptional service policy, and a multi-factor short rate model for low interest rate environment in which the stochastic factors are unbounded but the short rate is sticky at zero.
△ Less
Submitted 9 July, 2021;
originally announced July 2021.
-
Markov Chain Approximation of One-Dimensional Sticky Diffusions
Authors:
Christian Meier,
Lingfei Li,
Gongqiu Zhang
Abstract:
We develop continuous time Markov chain (CTMC) approximation of one-dimensional diffusions with a lower sticky boundary. Approximate solutions to the action of the Feynman-Kac operator associated with a sticky diffusion and first passage probabilities are obtained using matrix exponentials. We show how to compute matrix exponentials efficiently and prove that a carefully designed scheme achieves s…
▽ More
We develop continuous time Markov chain (CTMC) approximation of one-dimensional diffusions with a lower sticky boundary. Approximate solutions to the action of the Feynman-Kac operator associated with a sticky diffusion and first passage probabilities are obtained using matrix exponentials. We show how to compute matrix exponentials efficiently and prove that a carefully designed scheme achieves second order convergence. We also propose a scheme based on CTMC approximation for the simulation of sticky diffusions, for which the Euler scheme may completely fail. The efficiency of our method and its advantages over alternative approaches are illustrated in the context of bond pricing in a sticky short rate model for low interest environment.
△ Less
Submitted 31 October, 2019;
originally announced October 2019.
-
Non-CMC Solutions to the Einstein Constraint Equations on Asymptotically Euclidean Manifolds with Apparent Horizon Boundaries
Authors:
Michael Holst,
Caleb Meier
Abstract:
In this article we further develop the solution theory for the Einstein constraint equations on an n-dimensional, asymptotically Euclidean manifold M with interior boundary S. Building on recent results for both the asymptotically Euclidean and compact with boundary settings, we show existence of far-from-CMC and near-CMC solutions to the conformal formulation of the Einstein constraints when nonl…
▽ More
In this article we further develop the solution theory for the Einstein constraint equations on an n-dimensional, asymptotically Euclidean manifold M with interior boundary S. Building on recent results for both the asymptotically Euclidean and compact with boundary settings, we show existence of far-from-CMC and near-CMC solutions to the conformal formulation of the Einstein constraints when nonlinear Robin boundary conditions are imposed on S, similar to those analyzed previously by Dain (2004), by Maxwell (2004, 2005), and by Holst and Tsogtgerel (2013) as a model of black holes in various CMC settings, and by Holst, Meier, and Tsogtgerel (2013) in the setting of far-from-CMC solutions on compact manifolds with boundary. These "marginally trapped surface" Robin conditions ensure that the expansion scalars along null geodesics perpendicular to the boundary region S are non-positive, which is considered the correct mathematical model for black holes in the context of the Einstein constraint equations. Assuming a suitable form of weak cosmic censorship, the results presented in this article guarantee the existence of initial data that will evolve into a space-time containing an arbitrary number of black holes. A particularly important feature of our results are the minimal restrictions we place on the mean curvature, giving both near- and far-from-CMC results that are new.
△ Less
Submitted 18 March, 2014;
originally announced March 2014.
-
Non-CMC solutions of the Einstein constraint equations on asymptotically Euclidean manifolds
Authors:
James Dilts,
James Isenberg,
Rafe Mazzeo,
Caleb Meier
Abstract:
In this note we prove two existence theorems for the Einstein constraint equations on asymptotically Euclidean manifolds. The first is for arbitrary mean curvature functions with restrictions on the size of the transverse-traceless data and the non-gravitational field data, while the second assumes a near-CMC condition, with no other restrictions.
In this note we prove two existence theorems for the Einstein constraint equations on asymptotically Euclidean manifolds. The first is for arbitrary mean curvature functions with restrictions on the size of the transverse-traceless data and the non-gravitational field data, while the second assumes a near-CMC condition, with no other restrictions.
△ Less
Submitted 2 December, 2013;
originally announced December 2013.
-
Non-CMC Solutions of the Einstein Constraint Equations on Compact Manifolds with Apparent Horizon Boundaries
Authors:
M. Holst,
C. Meier,
G. Tsogtgerel
Abstract:
In this article we continue our effort to do a systematic development of the solution theory for conformal formulations of the Einstein constraint equations on compact manifolds with boundary. By building in a natural way on our recent work in Holst and Tsogtgerel (2013), and Holst, Nagy, and Tsogtgerel (2008, 2009), and also on the work of Maxwell (2004, 2005, 2009) and Dain (2004), under reasona…
▽ More
In this article we continue our effort to do a systematic development of the solution theory for conformal formulations of the Einstein constraint equations on compact manifolds with boundary. By building in a natural way on our recent work in Holst and Tsogtgerel (2013), and Holst, Nagy, and Tsogtgerel (2008, 2009), and also on the work of Maxwell (2004, 2005, 2009) and Dain (2004), under reasonable assumptions on the data we prove existence of both near- and far-from-constant mean curvature solutions for a class of Robin boundary conditions commonly used in the literature for modeling black holes, with a third existence result for constant mean curvature (CMC) appearing as a special case. Dain and Maxwell addressed initial data engineering for space-times that evolve to contain black holes, determining solutions to the conformal formulation on an asymptotically Euclidean manifold in the CMC setting, with interior boundary conditions representing excised interior black hole regions. Holst and Tsogtgerel compiled the interior boundary results covered by Dain and Maxwell, and then developed general interior conditions to model the apparent horizon boundary conditions of Dain and Maxwell for compact manifolds with boundary, and subsequently proved existence of solutions to the Lichnerowicz equation on compact manifolds with such boundary conditions. This paper picks up where Holst and Tsogtgerel left off, addressing the general non-CMC case for compact manifolds with boundary. As in our previous articles, our focus here is again on low regularity data and on the interaction between different types of boundary conditions. While our work here serves primarily to extend the solution theory for the compact with boundary case, we also develop several technical tools that have potential for use with the asymptotically Euclidean case.
△ Less
Submitted 20 October, 2013; v1 submitted 8 October, 2013;
originally announced October 2013.
-
An Alternative Between Non-unique and Negative Yamabe Solutions to the Conformal Formulation of the Einstein Constraint Equations
Authors:
Michael Holst,
Caleb Meier
Abstract:
The conformal method has been effective for parametrizing solutions to the Einstein constraint equations on closed 3-manifolds. However, it is still not well-understood; for example, existence of solutions to the conformal equations for zero or negative Yamabe metrics is still unknown without the so-called ``CMC'' or ``near-CMC'' assumptions. The first existence results without such assumptions, t…
▽ More
The conformal method has been effective for parametrizing solutions to the Einstein constraint equations on closed 3-manifolds. However, it is still not well-understood; for example, existence of solutions to the conformal equations for zero or negative Yamabe metrics is still unknown without the so-called ``CMC'' or ``near-CMC'' assumptions. The first existence results without such assumptions, termed the ``far-from-CMC'' case, were obtained by Holst, Nagy, and Tsogtgerel in 2008 for positive Yamabe metrics. However, their results are based on topological arguments, and as a result solution uniqueness is not known. Indeed, Maxwell gave evidence in 2011 that far-from-CMC solutions are not unique in certain cases. In this article, we provide further insight by establishing a type of alternative theorem for general far-from-CMC solutions. For a given manifold M that admits a metric of positive scalar curvature and scalar flat metric g(0) with no conformal Killing fields, we first prove existence of an analytic, one-parameter family of metrics g(z) through g(0) such that R(g(z)) = z. Using this family of metrics and given data (tau,sigma,rho,j), we form a one-parameter family of operators F((phi,w),z) whose zeros satisfy the conformal equations. Applying Liapnuov-Schmidt reduction, we determine an analytic solution curve for F((phi,w),z) = 0 through a critical point where the linearization of F((phi,w),z) vanishes. The regularity of this curve, the definition of F((phi,w),z), and the earlier far-from-CMC results of Holst et al. allow us to then prove the following alternative theorem for far-from-CMC solutions: either (1) there exists a z_1 >0 such that (positive Yamabe) solutions to the z_1-parameterized conformal equations are non-unique; or (2) there exists z_2 < 0 such that (negative Yamabe) solutions to the z_2-parameterized conformal equations exist.
△ Less
Submitted 5 June, 2013;
originally announced June 2013.
-
Non-Commutative Representations of Families of k^2 Commutative Polynomials in 2k^2 Commuting Variables
Authors:
Harry Dym,
J. W. Helton,
Caleb Meier
Abstract:
Given a collection P of k^2 commutative polynomials in 2k^2 commutative variables, the objective is to find a condensed representation of these polynomials in terms of a single non-commutative polynomial p(X,Y) in two k x k matrix variables X and Y. Algorithms that will generically determine whether the given family P has a non-commutative representation and that will produce such a representation…
▽ More
Given a collection P of k^2 commutative polynomials in 2k^2 commutative variables, the objective is to find a condensed representation of these polynomials in terms of a single non-commutative polynomial p(X,Y) in two k x k matrix variables X and Y. Algorithms that will generically determine whether the given family P has a non-commutative representation and that will produce such a representation are developed. These algorithms will determine a non-commutative representation for families P that admit a a non-commutative representation in an open, dense subset of the vector space of non-commutative polynomials in two variables.
△ Less
Submitted 4 December, 2012;
originally announced December 2012.
-
Non-uniqueness of Solutions to the Conformal Formulation
Authors:
Michael Holst,
Caleb Meier
Abstract:
It is well-known that solutions to the conformal formulation of the Einstein constraint equations are unique in the cases of constant mean curvature (CMC) and near constant mean curvature (near-CMC). However, the new far-from-constant mean curvature (far-from-CMC) existence results due to Holst, Nagy, and Tsogtgerel in 2008, to Maxwell in 2009, and to Dahl, Gicquaud and Humbert in 2010, are based…
▽ More
It is well-known that solutions to the conformal formulation of the Einstein constraint equations are unique in the cases of constant mean curvature (CMC) and near constant mean curvature (near-CMC). However, the new far-from-constant mean curvature (far-from-CMC) existence results due to Holst, Nagy, and Tsogtgerel in 2008, to Maxwell in 2009, and to Dahl, Gicquaud and Humbert in 2010, are based on degree theory rather than on the (uniqueness-providing) contraction arguments that had been used for all non-CMC existence results prior to 2008. In fact, Maxwell demonstrated in 2011 that solutions are non-unique in the far-from-CMC case for certain types of low-regularity mean curvature. In this article, we investigate uniqueness properties of solutions to the Einstein constraint equations on closed manifolds using tools from bifurcation theory. For positive, constant scalar curvature and constant mean curvature, we first demonstrate existence of a critical energy density for the Hamiltonian constraint with unscaled matter sources. We then show that for this choice of energy density, the linearization of the elliptic system develops a one-dimensional kernel in both the CMC and non-CMC (near and far) cases. Using Liapunov-Schmidt reduction and standard tools from nonlinear analysis, we demonstrate that solutions to the conformal formulation with unscaled data are non-unique by determining an explicit solution curve, and by analyzing its behavior in the neighborhood of a particular solution.
△ Less
Submitted 4 December, 2012; v1 submitted 8 October, 2012;
originally announced October 2012.
-
Generalized Solutions to Semilinear Elliptic PDE with Applications to the Lichnerowicz Equation
Authors:
Michael Holst,
Caleb Meier
Abstract:
In this article we investigate the existence of a solution to a semilinear, elliptic, partial differential equation with distributional coefficients and data. The problem we consider is a generalization of the Lichnerowicz equation that one encounters in studying the constraint equations in general relativity. Our method for solving this problem consists of solving a net of regularized, semilinear…
▽ More
In this article we investigate the existence of a solution to a semilinear, elliptic, partial differential equation with distributional coefficients and data. The problem we consider is a generalization of the Lichnerowicz equation that one encounters in studying the constraint equations in general relativity. Our method for solving this problem consists of solving a net of regularized, semilinear problems with data obtained by smoothing the original, distributional coefficients. In order to solve these regularized problems, we develop a priori pointwise bounds and sub- and super-solutions and then apply a fixed-point argument for order-preserving maps. We then show that the net of solutions obtained through this process satisfies certain decay estimates by determining estimates for the sub- and super-solutions and by utilizing classical, a priori elliptic estimates. The estimates for this net of solutions allow us to regard this collection of functions as a solution in a Colombeau-type algebra. We motivate this Colombeau algebra framework by first solving an ill-posed critical exponent problem. To solve this ill-posed problem, we use a collection of smooth, "approximating" problems and then use the resulting sequence of solutions and a compactness argument to obtain a solution to the original problem. This approach is modeled after the more general Colombeau framework that we develop, and it conveys the potential that solutions in these abstract spaces have for obtaining classical solutions to ill-posed nonlinear problems with irregular data.
△ Less
Submitted 18 March, 2013; v1 submitted 1 December, 2011;
originally announced December 2011.
