Related papers: Divided Differences in Noncommutative Geometry: Re…
We show the modular properties of the multiple 'elliptic' gamma functions, which are an extension of those of the theta function and the elliptic gamma function. The modular property of the theta function is known as Jacobi's…
The richly developed theory of complex manifolds plays important roles in our understanding of holomorphic functions in several complex variables. It is natural to consider manifolds that will play similar roles in the theory of holomorphic…
Novikov-Furutsu (NF) theorem is a well-known mathematical tool, used in stochastic dynamics for correlation splitting, that is, for evaluating the mean value of the product of a random functional with a Gaussian argument multiplied by the…
We develop a formulation for non-commutative derived analytic geometry built from differential graded (dg) algebras equipped with free entire functional calculus (FEFC), relating them to simplicial FEFC algebras and to locally…
This paper addresses the study and applications of polyhedral duality of locally convex topological vector (LCTV) spaces. We first revisit the classical Rockafellar's proper separation theorem for two convex sets one which is polyhedral and…
This paper builds upon our prior formalisation of R^n in ACL2(r) by presenting a set of theorems for reasoning about convex functions. This is a demonstration of the higher-dimensional analytical reasoning possible in our metric space…
In this paper we prove a version of Connes' trace theorem for noncommutative tori of any dimension~$n\geq 2$. This allows us to recover and improve earlier versions of this result in dimension $n=2$ and $n=4$ by Fathizadeh-Khalkhali. We…
Filinski constructed a symmetric lambda-calculus consisting of expressions and continuations which are symmetric, and functions which have duality. In his calculus, functions can be encoded to expressions and continuations using primitive…
In this work, we establish some abstract results on the perspective of the fractional Musielak-Sobolev spaces, such as: uniform convexity, Radon-Riesz property with respect to the modular function, $(S_{+})$-property, Brezis-Lieb type Lemma…
Some concepts, such as non-compactness measure and condensing operators, defined on metric spaces are extended to uniform spaces. Such extensions allow us to locate, in the context of uniform spaces, some classical results existing in…
Properties of the mappings \begin{align*} C&\mapsto\frac1{(2\pi i)^2}\int_{\Gamma_1}\int_{\Gamma_2}f(\lambda,\mu)\,R_{1,\,\lambda}\,C\, R_{2,\,\mu}\,d\mu\,d\lambda, C&\mapsto\frac1{2\pi i}\int_{\Gamma}g(\lambda)R_{1,\,\lambda}\,C\,…
We provide geometrical interpretation of the Master Theorem to solve divide-and-conquer recurrences. We show how different cases of the recurrences correspond to different kinds of fractal images. Fractal dimension and Hausdorff measure are…
Co lombeau's construction of generalized functions (in its special variant) is extended to a theory of generalized sections of vector bundles. As particular cases, generalized tensor analysis and exterior algebra are studied. A point value…
We propose the use of algebras of generalized functions for the analysis of certain highly singular problems in the calculus of variations. After a general study of extremal problems on open subsets of Euclidean space in this setting we…
The theory of partition congruences has been a fascinating and difficult subject for over a century now. In attempting to prove a given congruence family, multiple possible complications include the genus of the underlying modular curve,…
In this paper, we study modularity of several functions which naturally arose in a recent paper of Lau and Zhou on open Gromov-Witten potentials of elliptic orbifolds. They derived a number of examples of indefinite theta functions, and we…
We provide a general framework to construct finite dimensional approximations of the space of convex functions, which also applies to the space of c-convex functions and to the space of support functions of convex bodies. We give estimates…
We prove that functions defined on a lattice in a finite dimensional torus with bounded finite differences can be smoothly extended to the whole torus, and relate the bounds on the extension's derivatives with bounds on the original…
For any scalar-valued bivariate function that is locally Lipschitz continuous and directionally differentiable, it is shown that a subgradient may always be constructed from the function's directional derivatives in the four compass…
The maximum of the modulus of a meromorphic function cannot be restricted from above by the Nevanlinna characteristic of this meromorphic function. But integrals from the logarithm of the module of a meromorphic function allow similar…