Related papers: On simpliciality of function spaces not containing…
We develop a constructive theory of continuous domains from the perspective of program extraction. Our goal that programs represent (provably correct) computation without witnesses of correctness is achieved by formulating correctness…
Dependent symmetries, symmetries that depend on the situation of the subsystem in a larger closed system, are explored by looking at simple examples. This is a new kind of symmetry in the open quantum dynamics of a subsystem Each symmetry…
We consider singular solutions to quasilinear elliptic equations under zero Dirichlet boundary condition. Under suitable assumptions on the nonlinearity we deduce symmetry and monotonicity properties of positive solutions via an improved…
We introduce a definition for a 'hidden measurement system', i.e., a physical entity for which there exist: (i) 'a set of non-contextual states of the entity under study' and (ii) 'a set of states of the measurement context', and which are…
Given a regular Dirichlet form $(\mathcal{E},\mathcal{F})$ on a fixed domain $E$ of $\mathbb{R}^d$, we first indicate that the basic assumption $C_c^\infty(E)\subset \mathcal{F}$ is equivalent to the fact that each coordinate function…
Classical Electrodynamics is not a consistent theory because of its field inadequate behaviour in the vicinity of their sources. Its problems with the electron equation of motion and with non-integrable singularity of the electron self…
We consider the space of convex functions defined in the Euclidean $n$-dimensional space, which are lower semi-continuous and tend to infinity at infinity. We study real-valued valuations defined on this space of functions, which are…
We initiate the study of fine $p$-(super)minimizers, associated with $p$-harmonic functions, on finely open sets in metric spaces, where $1 < p < \infty$. After having developed their basic theory, we obtain the $p$-fine continuity of the…
For a function space $X(\OO)$ satisfying weak assumptions we prove that the generic function in $X(\OO)$ is totally unbounded, hence non-extendable. We provide several examples of such spaces; they are mainly localized versions of classical…
We prove the uniqueness and nondegeneracy of least-energy solutions of a fractional Dirichlet semilinear problem in sufficiently large balls and in more general symmetric domains. Our proofs rely on uniform estimates on growing domains, on…
Every function in the Dirichlet space on the unit disc has an inner/outer factorization. We study which inner functions occur in this way. For Blaschke products, this is the well known question of which subsets of the disc are zero sets for…
Quantified constraints and Quantified Boolean Formulae are typically much more difficult to reason with than classical constraints, because quantifier alternation makes the usual notion of solution inappropriate. As a consequence, basic…
The dynamic of a classical system can be expressed by means of Poisson brackets. In this paper we generalize the relation between the usual non covariant Hamiltonian and the Poisson brackets to a covariant Hamiltonian and new brackets in…
In this paper we study the Dirichlet problem for fully nonlinear second-order equations on a riemannian manifold. As in a previous paper we define equations via closed subsets of the 2-jet bundle. Basic existence and uniqueness theorems are…
We study a free boundary problem which arises as the continuum version of a stochastic particles system in the context of Fourier law. Local existence and uniqueness of the classical solution are well known in the literature of free…
In the philosophical literature, symmetries of physical theories are most often interpreted within the general doctrine called 'Sophistication'. Roughly speaking, it says that models related by symmetries can peacefully co-exist while…
We show that certain free energy functionals that are not convex with respect to the usual convex structure on their domain of definition, are strictly convex in the sense of displacement convexity under a natural change of variables. We…
We show that there exists an entire function which has neither fixed points nor invariant Baker domains. The question whether such a function exists was raised by Buff.
We introduce function spaces for the treatment of non-linear parabolic equations with variable $\log$-H\"older continuous exponents, which only incorporate information of the symmetric part of a gradient. As an analogue of Korn's inequality…
The main aim of this work is to show, in the absence of the Axiom of Choice, fundamental results on $\mathbf{E}$-compact extensions of $\mathbf{E}$-completely regular spaces, in particular, on Hewitt realcompactifications and Banaschewski…