Related papers: Lebesgue integration. Detailed proofs to be formal…
This paper contains a development of the Theory of Lebesgue and Bochner spaces of summable functions. It represents a synthesis of the results due to H. Lebesgue, S. Banach, S. Bochner, G. Fubini, S. Saks, F. Riesz, N. Dunford, P. Halmos,…
In this paper, two multiplicity results about local minima of integrals of the calculus of variations are established. The main tool used to prove them is the theory developed in [B. Ricceri, Sublevel sets and global minima of coercive…
Composition technologies improve reuse in the development of large-scale complex systems. Safety critical systems require intensive validation and verification activities. These activities should be compositional in order to reduce the…
In this note we study boundedness of a large class of maximal operators in Sobolev spaces that includes the spherical maximal operator. We also study the size of the set of Lebesgue points with respect to convergence associated with such…
We give an elementary proof of a compact embedding theorem in abstract Sobolev spaces. The result is first presented in a general context and later specialized to the case of degenerate Sobolev spaces defined with respect to nonnegative…
One of the proposed solutions for improving the scalability of semantics of programming languages is Component-Based Semantics, introduced by Peter D. Mosses. It is expected that this framework can also be used effectively for modular meta…
In this thesis a comprehensive verification framework is proposed to contend with some important issues in composability verification and a verification process is suggested to verify composability of different kinds of systems models, such…
We construct test function spaces for geometric finite elements. Geometric finite elements (GFE) are generalizations of Lagrangian finite elements to situations where the unknown function maps into a nonlinear space. Test functions for such…
The convergence rate of various first-order optimization algorithms is a pivotal concern within the numerical optimization community, as it directly reflects the efficiency of these algorithms across different optimization problems. Our…
Since the 1960's the finite element method emerged as a powerful tool for the numerical simulation of countless physical phenomena or processes in applied sciences. One of the reasons for this undeniable success is the great versatility of…
The synthetic control method (SCM) is a widely used tool for evaluating causal effects of policy changes in panel data settings. Recent studies have extended its framework to accommodate complex outcomes that take values in metric spaces,…
In this paper, we present a general theory of finite quantum measurements, for which we assume that the state space of the measured system is a finite dimensional Hilbert space and that the possible outcomes of a measurement is a finite set…
It is well-known that the embedding of the Sobolev space of weakly differentiable functions into H\"{o}lder spaces holds if the integrability exponent is higher than the space dimension. In this paper, the embedding of the Sobolev functions…
In this note we give a proof of the Sobolev and Morrey embedding theorems based on the representation of functions in terms of the fundamental solution of suitable partial differential operators. We also prove the compactness of the Sobolev…
Implicitly described domains are a well established tool in the simulation of time dependent problems, e.g. using level-set methods. In order to solve partial differential equations on such domains, a range of numerical methods was…
We develop integration theory for integrating functions taking values into a Dedekind complete unital $f$-algebra $\mathbb{L}$ with respect to $\mathbb{L}$-valued measures. We then discuss and prove completeness results of…
We present a coupling of the Finite Element and the Boundary Element Method in an isogeometric framework to approximate either two-dimensional Laplace interface problems or boundary value problems consisting in two disjoint domains. We…
We give a number of formal proofs of theorems from the field of computable analysis. Many of our results specify executable algorithms that work on infinite inputs by means of operating on finite approximations and are proven correct in the…
The free-variable tableau method has been widely used in order to automate proofs in multiple kinds of logics. Many automated theorem provers rely on this approach, either because it is the only available method-e.g., in certain modal…
A handy technique for the Finite Element Method (FEM) is presented that uses the null space for the implementation of Dirichlet and constraint boundary conditions. The focus of this method is to present an illustrative approach to modeling…