Related papers: Constructive Decompositions of the Identity for Fu…
We are considering typed hierarchies of total, continuous functionals using complete, separable metric spaces at the base types. We pay special attention to the so called Urysohn space constructed by P. Urysohn. One of the properties of the…
Elliptic functions are largely studied and standardized mathematical objects. The two usual approaches are due to Jacobi and Weierstrass. From a contour integral which allowed us to unify many summation formulae (Euler-MacLaurin, Poisson,…
Let $A$ be a rational function. For any decomposition of $A$ into a composition of rational functions $A=U\circ V$ the rational function $\widetilde A=V\circ U$ is called an elementary transformation of $A$, and rational functions $A$ and…
As a contribution to the Ramanujan theory of elliptic functions to alternative bases, Li-Chien Shen has shown how analogues of the Jacobian elliptic functions may be derived from incomplete hypergeometric integrals in signatures three and…
We study monotonicity and convexity properties of functions arising in the theory of elliptic integrals, and in particular in the case of a Schwarz-Christoffel conformal mapping from a half-plane to a trapezoid. We obtain sharp monotonicity…
We investigate the elliptic integrable model introduced by Deguchi and Martin, which is an elliptic extension of the Perk-Schultz model. We introduce and study a class of partition functions of the elliptic model by using the…
By virtue of a suitable approximation argument, we prove a Pohozaev identity for nonlinear nonlocal problems on $\mathbb{R}^N$ involving the fractional $p-$Laplacian operator. Furthermore we provide an application of the identity to show…
We construct a decomposition of the identity operator on a Riemannian manifold $M$ as a sum of smooth orthogonal projections subordinate to an open cover of $M$. This extends a decomposition of the real line by smooth orthogonal projection…
We derive formulas for the construction of all inequivalent Jacobian elliptic fibrations on the Kummer surface of two non-isogeneous elliptic curves from extremal rational elliptic surfaces by rational base transformations and quadratic…
Many classical identities arise from nothing more mysterious than looking at the same object in two different ways. A number, a function, or a combinatorial object may admit several natural decompositions, and by disassembling it in one way…
By means of partial fraction method, we investigate the decomposition of rational functions. Several striking identities on harmonic numbers and generalized Apery numbers will be established, including the binomial-harmonic number identity…
We prove certain Menon-type identities associated with the subsets of the set $\{1,2,\ldots,n\}$ and related to the functions $f$, $f_k$, $\Phi$ and $\Phi_k$, defined and investigated by Nathanson (2007).
We provide a treatment of isomorphism within a set-theoretic formulation of dependent type theory. Type expressions are assigned their natural set-theoretic compositional meaning. Types are divided into small and large types --- sets and…
We propose three kinds of explicit formulas for the elliptic lambda function by the elliptic modular function. Further, we derive incredible cubic identities as a corollary of our explicit formulas and evaluate some singular values of the…
The paper deals with $\Sigma-$composition of terms, which allows us to extend the derivation rules in formal deduction of identities. The concept of essential variables and essential positions of terms with respect to a set of identities is…
We show that formal isomorphism of intransitive linear Lie equations along transversal to the orbits can be extended to neighborhoods of these transversal. In analytic cases, the word formal is dropped from theorems. Also, we associate an…
We consider the connection of functional decompositions of rational functions over the real and complex numbers, and a question about curves on a Riemann sphere which are invariant under a rational function.
Martin-L\"of's identity types provide a generic (albeit opaque) notion of identification or "equality" between any two elements of the same type, embodied in a canonical reflexive graph structure $(=_A, \mathbf{refl})$ on any type $A$. The…
Recently, it is well known that the conjectural integral identity is of crucial importance in the motivic Donaldson-Thomas invariants theory for non-commutative Calabi-Yau threefolds. The purpose of this article is to consider different…
A finite number of rational functions are compatible if they satisfy the compatibility conditions of a first-order linear functional system involving differential, shift and q-shift operators. We present a theorem that describes the…