Related papers: Change of Variable for Multi-dimensional Integral
In this paper, we develop an elementary proof of the change of variables in multiple integrals. Our proof is based on an induction argument. Assuming the formula for (m-1)-integrals, we define the integral over hypersurface in Rm, establish…
The most general change of variables theorem for the Riemann integral of functions of a single variable has been published in 1961 (by Kestelman). In this theorem, the substitution is made by an `indefinite integral', that is, by a function…
We formulate explicitly the necessary and sufficient conditions for the local invertibility of a field transformation involving derivative terms. Our approach is to apply the method of characteristics of differential equations, by treating…
We consider the notion of the matrix (tensor) distribution of a measurable function of several variables. On the one hand, it is an invariant of this function with respect to a certain group of transformations of variables; on the other…
We report on a formalization of the change of variables formula in integrals, in the mathlib library for Lean. Our version of this theorem is extremely general, and builds on developments in linear algebra, analysis, measure theory and…
In this article we study invariance properties of shift-invariant spaces in higher dimensions. We state and prove several necessary and sufficient conditions for a shift-invariant space to be invariant under a given closed subgroup of…
An invertible field transformation is such that the old field variables correspond one-to-one to the new variables. As such, one may think that two systems that are related by an invertible transformation are physically equivalent. However,…
In this note we prove a necessary and sufficient condition for the change of variables formula for the HK integral, with implications for the change of variables formula for the Lebesgue integral. As a corollary, we obtain a necessary and…
We consider non-linear changes of variables and Fubini's theorem for certain integrals over a two-dimensional local field. An interesting example is presented in which imperfectness of a finite characteristic local field causes Fubini's…
In this paper, we investigate the structure of the most general kind of substitution shifts, including non-minimal ones, and allowing erasing morphisms. We prove the decidability of many properties of these morphisms with respect to the…
It is shown for all local fields $\mathbb{F}$ which are of characteristic different from $2$ that any distribution on $GL_{n+1}(\mathbb{F})$ which is invariant under conjugation by $GL_n(\mathbb{F})$ is also invariant under transposition.…
We study the behaviour of the notion of "thema", introduced in our previous article [B.09b], by a change of variable. We show not only that the fundamental invariants of such a thema, corresponding to the Bernstein polynomial, are stable by…
This note examines the infinite divisibility of density-based transformations of normal random variables. We characterize a class of density-based transformations of normal variables which produces non-infinitely divisible distributions. We…
A new derivative, called deformable derivative, is introduced here which is equivalent to ordinary derivative in the sense that one implies other. The deformable derivative is defined using limit approach like that of ordinary one but with…
Most transport theorems---that is, a formula for the rate of change of an integral in which both the integrand and domain of integration depend on time---involve domains that evolve according to a flow map. Such domains are said to be…
Let $\Om$ be a Borel subset of $S^\Bbb N$ where $S$ is countable. A measure is called exchangeable on $\Om$, if it is supported on $\Om$ and is invariant under every Borel automorphism of $\Om$ which permutes at most finitely many…
The Taylor expansion is a widely used and powerful tool in all branches of Mathematics, both pure and applied. In Probability and Mathematical Statistics, however, a stronger version of Taylor's classical theorem is often needed, but only…
Usually the 'hidden variables' of Bell's theorem are supposed to describe the pair of Bell particles. Here a semantic shift is proposed, namely to attach the hidden variables to a stochastic medium or field in which the particles move. It…
In the local, characteristic 0, non archimedean case, we consider distributions on GL(n+1) which are invariant under the adjoint action of GL(n). We prove that such distributions are invariant by transposition. This implies that an…
We approach the Riemann integral via generalized primitives to give a new proof for a general result on change of variable originally proven by Kestelman and Davies. Our proof is similar to Kestelman's, but we hope readers will find it…