Related papers: Residuated Park Theories
We show that non-occurrence of the Lavrentiev phenomenon does not imply that the singular set is small. Precisely, given a compact Lebesgue null subset of the line $E$ and an arbitrary superlinearity, there exists a smooth, strictly convex…
We prove that well known first-order (in spin, momentum, and space-time coordinates) equations of motion of relativistic top are equivalent to the third-order equations of Mathisson on the surface of the Mathisson-Pirani auxiliary…
The study of problems of the calculus of variations with compositions is a quite recent subject with origin in dynamical systems governed by chaotic maps. Available results are reduced to a generalized Euler-Lagrange equation that contains…
The theorem of factorisation forests shows the existence of nested factorisations -- a la Ramsey -- for finite words. This theorem has important applications in semigroup theory, and beyond. The purpose of this paper is to illustrate the…
The aim of this note is to point out a convexity property with respect to the root lattice for the support of the highest weights that occur in a tensor product of irreducible rational representations of $SL(n)$ over the complex numbers.…
Inspired by Brown's collapsing method (or discrete Morse theory) to obtain a free resolution of $\bbZ$ over the monoid ring $\bbZ M$, we apply algebraic discrete Morse theory to compute the homology groups of Lawvere theories, which is…
Langrange duality theorems for vector and set optimization problems which are based on an consequent usage of infimum and supremum (in the sense greatest lower and least upper bounds with respect to a partial ordering) have been recently…
Let $L$ be a L\'evy operator. A function $h$ is said to be harmonic with respect to $L$ if $L h = 0$ in an appropriate sense. We prove Liouville's theorem for positive functions harmonic with respect to a general L\'evy operator $L$: such…
Following Brown[1], we construct composite operators for the scalar $\phi^3$ theory in six dimensions using renormalisation group methods with dimensional regularisation. We express bare scalar operators in terms of renormalised composite…
We extend the classical Lebesgue and Fubini differentiation theorems to functions of several variables, using the notions of joint derivative and joint monotonicity. Our first main result shows that for a function $f$ of bounded variation,…
Constant rank theorems are obtained for saddle solutions to the special Lagrangian equation and the quadratic Hessian equation. The argument also leads to Liouville type results for the special Lagrangian equation with subcritical phase,…
In this work it is studied a quasilinear elliptic problem in the whole space $\mathbb{R}^N$ involving the $1-$Laplacian operator, with potentials which can vanish at infinity. The Euler-Lagrange functional is defined in a space whose…
We give a new account of the correspondence, first established by Nishizawa--Power, between finitary monads and Lawvere theories over an arbitrary locally finitely presentable base. Our account explains this correspondence in terms of…
Scalar, vector and tensor conserved quantities are essential tools in solving different problems in physics and complex, nonlinear differential equations in mathematics. In many guises they enter our understanding of nature: charge, lepton,…
If L is an order polynomially complete lattice, (that is: every monotone function from L^n to L is induced by a lattice-theoretic polynomial) then the cardinality of L is a strongly inaccessible cardinal. In particular, the existence of…
The main purpose of this paper is to investigate some natural problems regarding the order structure of representable functionals on $^*$-algebras. We describe the extreme points of order intervals, and give a nontrivial sufficient…
We consider a specific class of tree structures that can represent basic structures in linguistics and computer science such as XML documents, parse trees, and treebanks, namely, finite node-labeled sibling-ordered trees. We present…
Knaster-Tarski's theorem, characterising the greatest fixpoint of a monotone function over a complete lattice as the largest post-fixpoint, naturally leads to the so-called coinduction proof principle for showing that some element is below…
We obtain the optimal system's generating operators associated with the kind generalization of the Levinson Smith equation. Using those operators we characterize all invariant solutions associated with this equation. Moreover, we present…
We establish a version of the first Noether Theorem, according to which the (equivalence classes of) conserved quantities of given Euler-Lagrange equations in several independent variables are in one-to-one correspondence with the…