Related papers: Istances and Br\o ndsted's variational principle
Fundamental constants are a cornerstone of the physical laws. Any constant varying in space and/or time would signal a violation of local position invariance and be associated with a violation of the universality of free fall, and hence of…
In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or…
We analyze Ekeland's variational principle in the context of reverse mathematics. We find that that the full variational principle is equivalent to $\Pi^1_1$-${\sf CA}_0$, a strong theory of second-order arithmetic, while natural…
We obtain the most general static intersecting brane solutions by directly solving the relevant equations of motion analytically and in complete generality. These solutions reduce to the known ones in special cases, and contain further a…
In this paper, we prove the existence of fixed points of mappings satisfying the condition (Da), a kind of generalized nonexpansive mappings, on a weakly compact convex subset in a Banach space satisfying Opial's condition. And we use…
We proceed from the fact that the classical paths of irreducible massive spinning particle lie on a circular cylinder with the time-like axis in Minkowski space. Assuming that all the classical paths on the cylinder are gauge-equivalent, we…
Invariant manifolds provide the geometric structures for describing and understanding dynamics of nonlinear systems. The theory of invariant manifolds for both finite and infinite dimensional autonomous deterministic systems, and for…
We provide a systematic approach to stable central limit theorems for d-dimensional martingale difference arrays and martingale difference sequences. The conditions imposed are straightforward extensions of the univariate case.
Both relativistic mechanics and Newtonian mechanics are based on principles that have ontological implications. We propose a series of formalisms that rigorously define the ontology underlying mechanical theories, in order to clarify and…
Variational formalism in the extended phase space for fields is applied to gravity. It is shown that the requirement of invariance under arbitrary local inertial frames implies a coupling of torsion to a 3-form of matter fields on the one…
We identify a number of decidable and undecidable fragments of first-order concatenation theory. We also give a purely universal axiomatization which is complete for the fragments we identify. Furthermore, we prove some normal-form results.
We present a sharp extension of a result of Bourgain on finding configurations of $k+1$ points in general position in measurable subset of $\mathbb{R}^d$ of positive upper density whenever $d\geq k+1$ to all proper $k$-degenerate distance…
We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.
A consistent, local coordinate formulation of covariant Hamiltonian field theory is presented. Whereas the covariant canonical field equations are equivalent to the Euler-Lagrange field equations, the covariant canonical transformation…
We consider a hypothetical possibility of the variability of light velocity with time and position in space which is derived from two natural postulates. For the consistent consideration of such variability we generalize translational…
We derive a conditional variational principle of the saturated set for systems with the non-uniform structure. Our result applies to a broad class of systems including beta-shifts, S-gap shifts and their factors.
A thermodynamic-like formalism is developed for superstatistical systems based on conditional entropies. This theory takes into account large-scale variations of intensive variables of systems in nonequilibrium stationary states. Ordinary…
Since its introduction by J. Karamata, regular variation has evolved from a purely mathematical concept into a cornerstone of theoretical probability and data analysis. It is extensively studied and applied in different areas. Its…
We consider the variational principle in the covariant formulation of modified teleparallel theories with second order field equations. We vary the action with respect to the spin connection and obtain a consistency condition relating the…
We extend the main result of (G. Badia and G. Olkhovikov. A Lindstr\"om theorem for intuitionistic propositional logic. Notre Dame Journal of Formal Logic, 61 (1): 11--30 (2020)) to the first-order intuitionistic logic (with and without…