Related papers: On an assertion about Nash--Moser applications
In this communication, we show that both infinite-dimensional versions of Noether's theorems, and the explanation of quantum anomalies can be obtained using similar formulas for the derivatives of functions whose values are measures…
In this paper we introduce a new algorithm for solving perturbed nonlinear functional equations which admit a right-invertible linearization, but with an inverse that loses derivatives and may blow up when the perturbation parameter…
We give some new refinements and reverses Young inequalities in both additive-type and multiplicative-type for two positive numbers/operators. We show our advantages by comparing with known results. A few applications are also given. Some…
A recent claim by Meyer, Kent and Clifton (MKC), that their models ``nullify'' the Kochen-Specker theorem, has attracted much comment. In this paper we present a new counter-argument, based on the fact that a classical measurement reveals,…
The goal of this note is to give an alternative proof of local H\"older continuity for functions in DeGiorgi classes based on an idea of Moser.
Noether's theorem is an elegant and powerful tool of classical mechanics, but it is of little to no consequence in discrete theories. Here we define and explore a discrete approach to covariant mechanics and show that within this framework…
Godel's First Incompleteness Theorem is generalized to definable theories, which are not necessarily recursively enumerable, by using a couple of syntactic-semantic notions, one is the consistency of a theory with the set of all true…
Recently, Bringmann, Ono, and Rhoades employed harmonic weak Maass forms to prove results on Eulerian series as modular forms. By changing the setting to Appell--Lerch sums, we shorten the proof of one of their main theorems. In addition we…
We survey some results that provide different versions of classical results through different summability methods. Specifically, in order to adapt such classical results, we analyze which properties should satisfy the summability methods.…
In this paper, methods of second order and higher order reverse mathematics are applied to versions of a theorem of Banach that extends the Schroeder-Bernstein theorem. Some additional results address statements in higher order arithmetic…
We construct new examples of Einstein metrics by perturbing the conformal infinity of geometrically finite hyperbolic metrics and by applying the inverse function theorem in suitable weighted H\"older spaces.
A constructive proof of the Goedel-Rosser incompleteness theorem has been completed using the Coq proof assistant. Some theory of classical first-order logic over an arbitrary language is formalized. A development of primitive recursive…
In this note we announce the proof of the inverse conjecture for the Gowers U^{s+1}[N]-norm for all s => 3; this is new for s => 4, the cases s = 1,2,3 having been previously established. More precisely we outline a proof (details of which…
The classical theorem of Moser, on the existence of a normal form in the neighbourhood of a hyperbolic equilibrium, is extended to a class of real-analytic Hamiltonians with aperiodically time-dependent perturbations. A stronger result is…
We give a version of Noether theorem adapted to the framework of mu-symmetries; this extends to such case recent work by Muriel, Romero and Olver in the framework of lambda-symmetries, and connects mu-symmetries of a Lagrangian to a…
We obtain recurrences for smallest parts functions which resemble Euler's recurrence for the ordinary partition function. The proofs involve the holomorphic projection of non-holomorphic modular forms of weight 2.
We argue that the classical and quantum mechanical correspondence may play a basic role in the fixation of the ordering-ambiguity parameters. We use quasi-free position-dependent masses in the classical and quantum frameworks. The effective…
Given a function $f: (a,b) \rightarrow \mathbb{R},$ L\"owner's theorem states $f$ is monotone when extended to self-adjoint matrices via the functional calculus, if and only if $f$ extends to a self-map of the complex upper half plane. In…
We give a survey of current research on G\"{o}del's incompleteness theorems from the following three aspects: classifications of different proofs of G\"{o}del's incompleteness theorems, the limit of the applicability of G\"{o}del's first…
In this paper we obtain new transference theorems improving some classical theorems which belong to Kurt Mahler. We formulate those theorems in terms of consecutive minima of pseudo-compound parallelepipeds.