The splitting problem is studied for short exact sequences consisting of countable projective limits of DFN-spaces (*) 0 → F → X → G → 0, where F or G are isomorphic to the space of distributions D'. It is proved that every sequence (*) splits for F ≃ D' iff G is a subspace of D' and that, for ultrabornological F, every sequence (*) splits for G ≃ D' iff F is a quotient of D'
We prove a logarithmic stability estimate for a parabolic inverse problem concerning the localization of unknown cavities in a thermic conducting medium in , , from a single pair of boundary measurements of temperature and thermal flux.
We prove a logarithmic stability estimate for a parabolic inverse problem concerning the localization of unknown cavities in a thermic conducting medium Ω in , n ≥ 2, from a single pair of boundary measurements of temperature and thermal flux.
In this paper, a stability theorem of the Navier-Stokes flow past a rotating body is reported. Concerning the linearized problem, the proofs of the generation of a C₀ semigroup and its decay properties are sketched.
It is well known that the classical local projection method as well as residual-based stabilization techniques, as for instance streamline upwind Petrov-Galerkin (SUPG), are optimal on isotropic meshes. Here we extend the local projection stabilization for the Navier-Stokes system to anisotropic quadrilateral meshes in two spatial dimensions. We describe the new method and prove an a priori error estimate. This method leads on anisotropic meshes to qualitatively better convergence behavior...
The purpose of this paper is to provide a priori error estimates on the approximation of contact conditions in the framework of the eXtended Finite-Element Method (XFEM) for two dimensional elastic bodies. This method allows to perform finite-element computations on cracked domains by using meshes of the non-cracked domain. We consider a stabilized Lagrange multiplier method whose particularity is that no discrete inf-sup condition is needed in the convergence analysis. The contact condition is...
The purpose of this paper is to provide a priori error estimates on the approximation of contact conditions in the framework of the eXtended Finite-Element Method (XFEM) for two dimensional elastic bodies. This method allows to perform finite-element computations on cracked domains by using meshes of the non-cracked domain. We consider a stabilized Lagrange multiplier method whose particularity is that no discrete inf-sup condition is needed in the convergence analysis. The contact condition is...
The purpose of this paper is to provide a priori error estimates on the approximation of contact conditions in the framework of the eXtended Finite-Element Method (XFEM) for two dimensional elastic bodies. This method allows to perform finite-element computations on cracked domains by using meshes of the non-cracked domain. We consider a stabilized Lagrange multiplier method whose particularity is that no discrete inf-sup condition is needed in the convergence analysis. The contact condition is...
We present a stable class of spacetimes which satisfy the conditions of the singularity theorem of Hawking & Penrose (1970), and which contain naked singularities. This offers counterexamples to a geometric version of the strong cosmic censorship hypothesis.