Related papers: Lebesgue integration. Detailed proofs to be formal…
Inhomogeneous essential boundary conditions can be appended to a well-posed PDE to lead to a combined variational formulation. The domain of the corresponding operator is a Sobolev space on the domain $\Omega$ on which the PDE is posed,…
We derive $H_{\text{curl}}$-error estimates and improved $L^2$-error estimates for the Maxwell equations approximated using edge finite elements. These estimates only invoke the expected regularity pickup of the exact solution in the scale…
The present paper is devoted to analysis of the lack of compactness of bounded sequences in \emph{inhomogeneous} Sobolev spaces, where bounded sequences might fail to be compact due to an isometric group action, that is, \emph{translation}.…
The paper studies several approaches to numerical integration over a domain defined implicitly by an indicator function such as the level set function. The integration methods are based on subdivision, moment--fitting, local…
This paper investigates the numerical approximation of integrals for functions in fractional Gaussian Sobolev spaces $W^s_{p}(\mathbb{R}^d,\gamma)$ with dominating mixed smoothness defined via kernel related to the fractional…
FEpX is a modeling framework for computing the elastoplastic deformations of polycrystalline solids. Using the framework, one can simulate the mechanical behavior of aggregates of crystals, referred to as virtual polycrystals, over large…
The Scaled Boundary Finite Element Method (SBFEM) is a technique in which approximation spaces are constructed using a semi-analytical approach. They are based on partitions of the computational domain by polygonal/polyhedral subregions,…
The paper is concerned with the development of efficient and accurate solution procedures for the isogeometric boundary element method (BEM) when applied to problems that contain inclusions that have elastic properties different to the…
In this article, we study the relation between Sobolev-type embeddings for Sobolev spaces or Besov spaces or Triebel-Lizorkin spaces defined either on a doubling or on a geodesic metric measure space and lower bound for measure of balls…
This paper introduces a quasi-interpolation operator for scalar- and vector-valued finite element spaces constructed on affine, shape-regular meshes with some continuity across mesh interfaces.This operator gives optimal estimates of the…
In this extended abstract a view on the role of Formal Methods in System Engineering is briefly presented. Then two examples of useful analysis techniques based on solid mathematical theories are discussed as well as the software tools…
The Intrinsic Surface Finite Element Method (ISFEM) was recently proposed to solve Partial Differential Equations (PDEs) on surfaces. ISFEM proceeds by writing the PDE with respect to a local coordinate system anchored to the surface and…
The finite element method (FEM) is applied to obtain numerical solutions to a recently derived nonlinear equation for the shallow water wave problem. A weak formulation and the Petrov-Galerkin method are used. It is shown that the FEM gives…
A necessary and sufficient condition for fractional Orlicz-Sobolev spaces to be continuously embedded into $L^\infty(\mathbb R^n)$ is exhibited. Under the same assumption, any function from the relevant fractional-order spaces is shown to…
Many problems of theoretical and practical interest involve finding a convex or concave function. For instance, optimization problems such as finding the projection on the convex functions in $H^k(\Omega)$, or some problems in economics. In…
One of the effective model checking methods is to utilize the efficient decision procedure of SAT (or SMT) solvers. In a SAT-based model checking, a system and its property are encoded into a set of logic formulas and the safety is checked…
We lay the groundwork for a formal framework that studies scientific theories and can serve as a unified foundation for the different theories within physics. We define a scientific theory as a set of verifiable statements, assertions that…
The Finite Element Method (FEM) is the gold standard for spatial discretization in numerical simulations for a wide spectrum of real-world engineering problems. Prototypical areas of interest include linear heat transfer and linear…
In finite element calculations, the integral forms are usually evaluated using nested loops over elements, and over quadrature points. Many such forms (e.g. linear or multi-linear) can be expressed in a compact way, without the explicit…
We consider a stabilized finite element method based on a spacetime formulation, where the equations are solved on a global (unstructured) spacetime mesh. A unique continuation problem for the wave equation is considered, where data is…