Related papers: Global Implicit Function Theorems and Critical Poi…
In this paper, we prove some common coupled fixed point theorems for mappings satisfying different contractive conditions in the context of complete $C^*$-algebra-valued metric spaces. Moreover, the paper provides an application to prove…
In this paper, we generalized the known Laplace-transform final-value theorem. From our conclusion, one can deduce the existing results in [1, 3, 12]. By using final value theorem, we give a new proof that Caputo fractional differential…
G\"odel's Incompleteness Theorems suggest that no single formal system can capture the entirety of one's mathematical beliefs, while pointing at a hierarchy of systems of increasing logical strength that make progressively more explicit…
A notion of implicit difference equation on a Lie groupoid is introduced and an algorithm for extracting the integrable part (backward or/and forward) is formulated. As an application, we prove that discrete Lagrangian dynamics on a Lie…
Linear algebra's main concerns are sets of vectors, linear functions, subspaces, linear systems, matrices and concepts about those, such as whether the solution of linear system exists or is unique; a set of vectors is linearly independent…
Two are the main objectives of this article: first, we introduce a method for determining and analyzing constrained local extrema that provides a different alternative to all previous works on the topic, by eliminating Lagrange multipliers…
We study a class of matrix function algebras, here denoted $\mathcal{T}^{+}(\mathcal{C}_n)$. We introduce a notion of point derivations, and classify the point derivations for certain finite dimensional representations of…
The recently proposed construction of chiral fermions on lattices with boundaries is tested in an interacting theory up to first order of perturbation theory. We confirm that, in the bulk of the lattice, the chiral Ward identities take…
We prove a compact embedding theorem in a class of spaces of piecewise H1 functions subordinated to a class of shape regular, but not necessarily quasi-uniform triangulations of a polygonal domain. This result generalizes the…
Lifting theorems are theorems that bound the communication complexity of a composed function $f\circ g^{n}$ in terms of the query complexity of $f$ and the communication complexity of $g$. Such theorems constitute a powerful generalization…
We continue the rigorous study of classical effective field theories (EFTs) that was recently initiated in the work of Reall and Warnick [RW22]. We study a system with one light and one heavy field with cubic coupling and prove global…
We prove global existence of solutions to the initial value problem for a third order dispersive flow into compact locally Hermitian symmetric spaces. The equation we consider generalizes two-sphere-valued completely integrable systems…
We discuss non-commutative field theories in coordinate space. To do so we introduce pseudo-localized operators that represent interesting position dependent (gauge invariant) observables. The formalism may be applied to arbitrary field…
We introduce a new $C^1$ algorithm for the rigorous integration of dissipative partial differential equations. The algorithm is designed for computer-assisted proofs that require rigorous control of both solutions and their derivatives with…
In the present work, by taking advantage of a so-called practical limitation of fractional derivatives, namely, the absence of a simple chain and Leibniz's rules, we proposed a generalized fractional calculus of variation where the…
The classical McShane-Whitney extension theorem for Lipschitz functions is refined by showing that for a closed subset of the domain, it remains valid for any interval of the real line. This result is also extended to the setting of locally…
We consider the classical Inverse Function Theorem of Nash and Moser from the angle of some recent development by Ekeland and the authors. Geometrisation of tame estimates coupled with certain ideas coming from Variational Analysis when…
Recently, there has been a growing interest in the problem of learning rich implicit models - those from which we can sample, but can not evaluate their density. These models apply some parametric function, such as a deep network, to a base…
We examine the first-order Einstein-Cartan (EC) action in 2+1 dimensions, including a cosmological term and its supersymmetric extension. In this setting the spin connection can be expressed as an axial vector, yielding an action that is…
We improve a global approximation result by Al Taylor in C^n for holomorphic functions in weighted Hilbert spaces. The main tools are a variation of the theorem of Hormander on weighted L^2-estimates for the dbar-equation together with the…