Related papers: A strong version of implicit function theorem
We generalise well-known integrals of Ingham-Siegel and Fisher-Hartwig type over the unitary group $U(N)$ with respect to Haar measure, for finite $N$ and including fixed external matrices. When depending only on the eigenvalues of the…
We introduce a class of integral theorems based on cyclic functions and Riemann sums approximating integrals. The Fourier integral theorem, derived as a combination of a transform and inverse transform, arises as a special case. The…
We show that the extended noncommutative de Rham complex of a cofibrant resolution, when completed at a certain Hodge filtration, is (reduced) quasi-isomorphic to the periodic cyclic complex, while each of its filtration piece is…
In this paper, we consider the elliptic system \begin{equation*} \left\{\begin{array}{ll} -\Delta u=g(x,v)\,\, \textnormal{in}\Omega, & \hbox{} -\Delta v=f(x,u)\,\,\textnormal{in}\Omega, & \hbox{} u=v=0\textnormal{on}\partial\Omega, &…
In the paper, properties of orbit functions are reviewed and further developed. Orbit functions on the Euclidean space $E_n$ are symmetrized exponential functions. The symmetrization is fulfilled by a Weyl group corresponding to a…
Toric ideals to hierarchical models are invariant under the action of a product of symmetric groups. Taking the number of factors, say m, into account, we introduce and study invariant filtrations and their equivariant Hilbert series. We…
In this work we consider the general functional-integral equation: \begin{equation*} y(t) = f\left(t, \int_{a}^{b} k(t,s)g(s,y(s))ds\right), \qquad t\in [a,b], \end{equation*} and give conditions that guarantee existence and uniqueness of…
In the first part we present a generalized implicit function theorem for abstract equations of the type $F(\lambda,u)=0$. We suppose that $u_0$ is a solution for $\lambda=0$ and that $F(\lambda,\cdot)$ is smooth for all $\lambda$, but,…
The First and Second Liouville's Theorems provide correspondingly criterium for integrability of elementary functions "in finite terms" and criterium for solvability of second order linear differential equations by quadratures. The…
Matrix elements in different representations are connected by quadratic relations. If matrix elements are those of a $\textit{group element}$, i.e. satisfying the property $\Delta(X) = X\otimes X$, then their generating functions obey…
We show that there is $n\in \mathbf N$, a finite system $\Sigma(\vec x,\vec y)$ of equations and inequations having a solution in some group, where $\vec x$ has length $n$, and $\epsilon>0$ such that: for any group $G$ and any $\vec a\in…
We consider the problem of explaining the predictions of an arbitrary blackbox model $f$: given query access to $f$ and an instance $x$, output a small set of $x$'s features that in conjunction essentially determines $f(x)$. We design an…
Recently, Garunk\v{s}tis, Laurin\v{c}ikas, Matsumoto, J. & R. Steuding showed an effective universality-type theorem for the Riemann zeta-function by using an effective multi-dimensional denseness result of Voronin. We will generalize…
We provide a new proof of a important theorem in the Lagrangian formalism about necessary and sufficient conditions for a second-order variational system of equations to follow from a first-order Lagrangian.
We show that including degrees of a particular kind of provability in the search target for any theorem-prover in sufficiently powerful formal systems over finite-sized statements preserves well-definition and a sufficient consistency while…
In this paper we study the right differentiability of a parametric infimum function over a parametric set defined by equality constraints. We present a new theorem with sufficient conditions for the right differentiability with respect to…
We show an abstract critical point theorem about existence of infinitely many critical orbits to strongly indefinite functionals with sign-changing nonlinear part defined on a dislocation space with a discrete group action. We apply the…
We study the existence of global implicit functions for equations defined on open subsets of Banach spaces. The partial derivative with respect to the second variable is only required to have a left inverse instead of being invertible.…
Starting from Ritt's classical theorems, we give a survey of results in functional decomposition of polynomials and of applications in Diophantine equations. This includes sufficient conditions for the indecomposability of polynomials, the…
In this article, we introduce an interesting topology-like concept concerning groups (and with almost the same method it can be defined for other algebraic systems). Given an arbitrary group $G$, we define a {\em topo-system} on $G$ as a…