Related papers: Non-external Proofs of Lagrange Inversion Formula
We argue that reducing nonlinear programming problems to a simple canonical form is an effective way to analyze them, specially when the problem is degenerate and the usual linear independence hypothesis does not hold. To illustrate this…
Although fractional powers of non-negative operators have received much attention in recent years, there is still little known about their behavior if real-valued exponents are greater than one. In this article, we define and study the…
A classical nonrelativistic effective field theory for a real Lorentz-scalar field $\phi$ is most conveniently formulated in terms of a complex scalar field $\psi$. There have been two derivations of effective Lagrangians for the complex…
We develop a linear-algebraic framework for dimensional analysis in systems with constraints, particularly when variables are numerous or related by implicit relations so that direct elimination is impractical. By expressing both…
Diese kurze Einfuehrung in Theorie und Berechnung linearer Rekurrenzen versucht, eine Luecke in der Literatur zu fuellen. Zu diesem Zweck sind viele ausfuehrliche Beispiele angegeben. This short introduction to theory and usage of linear…
We show that a formal power series in $2N$ non-commuting indeterminates is a positive non-commutative kernel if and only if the kernel on $N$-tuples of matrices of any size obtained from this series by matrix substitution is positive. We…
In this article, using generalized derivations, we obtain a simple idea to prove the non-commutative Newton binomial formula in unital algebras and then, we extend that formula to non-unital algebras. Additionally, we establish the…
The Lorentz transformation is entirely derived from length contraction, itself established through the known light-clock thought experiment . This makes the derivation accessible to beginning students once Eintein's two postulates have been…
The purpose of this note is to provide an expository introduction to some more curious integral formulas and transformations involving generating functions. We seek to generalize these results and integral representations which effectively…
The simple product formulae for derivatives of scalar functions raised to different powers are generalized for functions which take values in the set of symmetric positive definite matrices. These formulae are fundamental in derivation of…
In this paper we show an alternative way of defining Fourier Series and Transform by using the concept of convolution with exponential signals. This approach has the advantage of simplifying proofs of transforms properties and, in our view,…
Explicit formulae for the $4\times 4$ Lorentz transformation matrices corresponding to a pure boost and a pure three-dimensional rotation are very well-known. Significantly less well-known is the explicit formula for a general Lorentz…
In this paper, we present several formulas for both the discrete and fractional iterates of an invertible power series $f$, using a new unifying approach based on umbral calculus. Known formulas are extended, and their proofs simplified,…
There are many papers devoted to derivation of Lorentz Transformations (LT). Many people have pro posed alternative derivations. Their analysis allows looking at LT and their consequences from different standpoints. At the same time it is…
This paper is devoted to the study of mechanical systems subjected to external forces in the framework of symplectic geometry. We obtain a Noether's theorem for Lagrangian systems with external forces, among other results regarding…
The relations between solutions of the three types of totally linear partial differential equations of first order are presented. The approach is based on factorization of a non-homogeneous first order differential operator to products…
Let $n \in \mathbb{Z}_{\geq 3}$ be given. We prove Lebesgue-almost everywhere pointwise inversion formulae for the Siegel transforms in the geometry of numbers. These inversion formulae are quite general; for instance, they are valid for…
In 1882, Kronecker established that a given univariate formal Laurent series over a field can be expressed as a fraction of two univariate polynomials if and only if the coefficients of the series satisfy a linear recurrence relation. We…
The connection method has earned good reputation in the area of automated theorem proving, due to its simplicity, efficiency and rational use of memory. This method has been applied recently in automatic provers that reason over ontologies…
As a first step at developing a theory of noncommutative nonlinear elliptic partial differential equations, we analyze noncommutative analogues of Laplace's equation and its variants (some of the them nonlinear) over noncommutative tori.…