Related papers: Constraint preserving boundary conditions for the …
We consider entailment problems involving powerful constraint languages such as frontier-guarded existential rules in which we impose additional semantic restrictions on a set of distinguished relations. We consider restricting a relation…
A systematic Bayesian framework is developed for physics constrained parameter inference ofstochastic differential equations (SDE) from partial observations. The physical constraints arederived for stochastic climate models but are…
Modeling the chemical, electric, and thermal transport as well as phase transitions and the accompanying mesoscale microstructure evolution within a material in an electronic device setting involves the solution of partial differential…
For nonlinear affine in the control systems, a Lie algebraic sufficient condition for sampled-data feedback semi-global stabilization is established. We use this result, in order to derive sufficient conditions for sampled-data feedback…
For the scattering system given by the Laplacian in a half-space with a periodic boundary condition, we derive resolvent expansions at embedded thresholds, we prove the continuity of the scattering matrix, and we establish new formulas for…
In this paper the well-posedness of some degenerate parabolic equations with a dynamic boundary condition is considered. To characterize the target degenerate parabolic equation from the Cahn-Hilliard system, the nonlinear term coming from…
We describe in detail how to eliminate nonphysical degrees of freedom in the Lagrangian and Hamiltonian formulations of a constrained system. Two important and distinct steps in our method are the fixing of ambiguities in the dynamics and…
In order to obtain an evolution system which is robust against the violation of constraints, we present a new set of evolution systems based on the so-called Baumgarte-Shapiro-Shibata-Nakamura (BSSN) equations.The idea is to add functional…
In this study, we investigate the numerical stability of the covariant BSSN (cBSSN) formulation proposed by Brown. We calculate the constraint amplification factor (CAF), which is an eigenvalue of the coefficient matrix of the evolution…
We reformulate boundary conditions for axisymmetric codimension-2 braneworlds in a way which is applicable to linear perturbation with various gauge conditions. Our interest is in the thin brane limit and thus this scheme assumes that the…
We study randomized variants of two classical algorithms: coordinate descent for systems of linear equations and iterated projections for systems of linear inequalities. Expanding on a recent randomized iterated projection algorithm of…
An initial-boundary value problem for the 1D self-adjoint parabolic equation on the half-axis is solved. We study a broad family of two-level finite-difference schemes with two parameters related to averagings both in time and space.…
The divergence condition is reformulated in the scaled boundary coordinates so as to prevent the spurious solutions in the finite element formulation.
This paper is concerned with the initial-boundary value problem for a nonlinear hyperbolic system of conservation laws. We study the boundary layers that may arise in approximations of entropy discontinuous solutions. We consider both the…
We prove the H\"older regularity of continuous isentropic solutions to multi-dimensional scalar balance laws when the source term is bounded and the flux satisfies general assumptions of nonlinearity. The results are achieved by exploiting…
In this article, we give a unified theory for constructing boundary layer expansions for dis-cretized transport equations with homogeneous Dirichlet boundary conditions. We exhibit a natural assumption on the discretization under which the…
We seek to impose linear, equality constraints in feedforward neural networks. As top layer predictors are usually nonlinear, this is a difficult task if we seek to deploy standard convex optimization methods and strong duality. To overcome…
The observational characteristics of a linear structural equation model can be effectively described by polynomial constraints on the observed covariance matrix. However, these polynomials can be exponentially large, making them impractical…
The causal structure of Einstein's evolution equations is considered. We show that in general they can be written as a first order system of balance laws for any choice of slicing or shift. We also show how certain terms in the evolution…
This paper deals with time stepping schemes for the Cahn--Hilliard equation with three different types of dynamic boundary conditions. The proposed schemes of first and second order are mass-conservative and energy-dissipative and -- as…