Related papers: New completeness theorems on the boundary in Elast…
We study a general class of elliptic free boundary problems equipped with a Dirichlet boundary condition. Our primary result establishes an optimal $C^{1,1}$-regularity estimate for $L^p$-strong solutions at points where the free and fixed…
In this paper, we prove the pointwise boundary differentiability for viscosity solutions of fully nonlinear elliptic equations. This generalizes the previous related results for linear equations. The geometrical conditions in this paper are…
This paper presents a decomposition method for solving elliptic boundary value problems in one-dimension. The method is an improvement to an existing technique for approximating elliptic systems. It is demonstrated to be computationally…
We consider the problem of learning Neural Ordinary Differential Equations (neural ODEs) within the context of Linear Parameter-Varying (LPV) systems in continuous-time. LPV systems contain bilinear systems which are known to be universal…
In this paper, we consider a free boundary problem of the incompressible elatodynamics, a coupling system of the Euler equations for the fluid motion with a transport equation for the deformation tensor. Under a natural force balance law on…
A full viscous quantum hydrodynamic system for particle density, current density, energy density and electrostatic potential coupled with a Poisson equation in one dimensional bounded intervals is studied. First, the existence and…
In this paper, we study the 3D Lam\'e system and establish its weighted positive definiteness for a certain range of elastic constants. By modifying the general theory developed in Maz'ya (2002), we then show, under the assumption of…
The quantum relative entropy is frequently used as a distance, or distinguishability measure between two quantum states. In this paper we study the relation between this measure and a number of other measures used for that purpose,…
An algebraic proof is presented for the finite strong standard completeness of involutive uninorm logic with fixed point. The result may provide a first step towards settling the open standard completeness problem for involutive uninorm…
The notion of unboundedly order converges has been recieved recently a particular attention by several authors. The main result of the present paper shows that the notion is efficient and deserves that care. It states that a vector lattice…
This paper recalls a partial differential equations system, which is the linearization of a recognized fluid-elasticity interaction three-dimensional model. A collection of regularity results for the traces of the fluid variable on the…
A linear system of difference equations and a nonlinear perturbation are considered, we obtain sufficient conditions to ensure the topological equivalence between them, namely, the linear part satisfies a property of dichotomy on the…
We study viscosity solutions to a system of nonlinear degenerate parabolic partial integro-differential equations with interconnected obstacles. This type of problem occurs in the context of optimal switching problems when the dynamics of…
The theory of boundary regularity for $p$-harmonic functions is extended to unbounded open sets in complete metric spaces with a doubling measure supporting a $p$-Poincar\'e inequality, $1<p<\infty$. The barrier classification of regular…
Relaxation theorems which apply to one, two and three-dimensional nonlinear elasticity are proved. We take into account the fact an infinite amount of energy is required to compress a finite line, surface or volume into zero line, surface…
For any $p\in[1,\infty]$, we prove that the set of simple functions taking at most $k$ different values is proximinal in $L^p$ for all $k\geq 1$. We introduce the class of uniformly approximable subsets of $L^p$, which is larger than the…
We develop a new approach to the invertibility of the layer potentials on $L^p$ associated with elliptic equations and systems in Lipschitz domains. As a consequence, for $n\ge 4$ and $(2(n-1)/(n+1))-\epsilon<p<2$, we obtain the solvability…
With a simple generic approach, we develop a classification that encodes and measures the strength of completeness (or compactness) properties in various types of spaces and ordered structures. The approach also allows us to encode notions…
This paper introduces robust differential dynamic logic (a fragment of differential dynamic logic) to specify and reason about robust hybrid systems. Practically meaningful syntactic restrictions naturally ensure that definable properties…
Using a weak convergence approach, we establish a Large Deviation Principle (LDP) for the solutions of fluid dynamic systems in two-dimensional bounded domains subjected to no-slip boundary conditions and perturbed by additive noise. Our…