Related papers: GAGA theorems
We prove a general factorization theorem for Lipschitz summing operators in the context of metric spaces which recovers several linear and nonlinear factorization theorems that have been proved recently in different environments. New…
We propose a new Wigner inequality suitable for test of the hypothesis of realism. We show that this inequality is not identical neither to the well-known Wigner inequality nor to the Leggett-Garg inequality in Wigner form. The obtained…
We prove multidimensional integration by parts formulas for generalized fractional derivatives and integrals. The new results allow us to obtain optimality conditions for multidimensional fractional variational problems with Lagrangians…
The idea of generating integrals analogous to generating functions is first introduced in this paper. A new proof of the well-known Finite Harmonic Series Theorem in Analysis and Analytical Number Theory is then obtained by the method of…
We prove that every many-sorted $\omega$-categorical theory is completely interpretable in a one-sorted $\omega$-categorical theory. As an application, we give a short proof of the existence of non $G$--compact $\omega$-categorical…
We prove a Noether type symmetry theorem to fractional problems of the calculus of variations with classical and Riemann-Liouville derivatives. As result, we obtain constants of motion (in the classical sense) that are valid along the mixed…
We develop a theory of gauge and dynamical equivalence for Lagrangian systems on Lie algebroids, also studying its relationship with Noether and non-Noether conserved quantities.
In this paper we are concerned with a Gordan-type theorem involving an arbitrary number of inequality functions. We not only state its validity under a weak convexity assumption on the functions, but also show it is an optimal result. We…
Real analytic generalized functions are investigated as well as the analytic singular support and analytic wave front of a generalized function in $\mathcal{G}(\Omega)$ are introduced and described.
We give new proofs of some well-known results from Invariant Theorey using the Kempf-Ness theorem.
In this paper we present two different results in the context of nonlinear analysis. The first one is essentially a nonlinear technique that, in view of its strong generality, may be useful in different practical problems. The second…
We formalise the self-referential definition of physical laws using monotone operators on a lattice of theories, resolving the pathologies of naive set-theoretic formulations. By invoking Tarski fixed point theorem, we identify physical…
We provide yet another proof of the classical Lagrange-Good multivariable inversion formula using techniques of quantum field theory.
We present a fixed point theorem for a class of (potentially) non-monotonic functions over specially structured complete lattices. The theorem has as a special case the Knaster-Tarski fixed point theorem when restricted to the case of…
We prove a Grothendieck-Lefschetz theorem for equivariant Picard groups of non-singular varieties with finite group actions.
For an arbitrary non-archimedean local field we classify reductive group schemes over the corresponding Fargues-Fontaine curve by group schemes over the category of isocrystals. We then classify torsors under such reductive group schemes by…
A novel method to make Lagrangians Galilean invariant is developed. The method, based on null Lagrangians and their gauge functions, is used to demonstrate the Galilean invariance of the Lagrangian for Newton's law of inertia. It is…
General Lagrangian theory of even and odd fields on an arbitrary smooth manifold is considered. Its non-trivial reducible gauge symmetries and their algebra are defined in this very general setting by means of the inverse second Noether…
The study of the relation between Lie algebras and groups, and especially the derivation of new algebras from them, is a problem of great interest in mathematics and physics, because finding a new Lie group from an already known one also…
We prove a unified and general criterion for the uniqueness of critical points of a functional in the presence of constraints such as positivity, boundedness, or fixed mass. Our method relies on convexity properties along suitable paths and…