Related papers: A strong version of implicit function theorem

In this paper, we introduce a new function related to the sum of element orders of finite groups. It is used to give some criteria for a finite group to be cyclic, abelian, nilpotent, supersolvable and solvable, respectively.

Let G be a finite group with exactly k elements of largest possible order m. Let q(m) be the product of gcd(m,4) and the odd prime divisors of m. We show that |G|\le q(m)k^2/\phi(m) where \phi denotes Euler's totient function. This…

We give a necessary and sufficient condition for the integrality of the Taylor coefficients of mirror maps at the origin. By mirror maps, we mean formal power series z.exp(G(z)/F(z)), where F(z) and G(z)+log(z)F(z) are particular solutions…

In weighted Orlicz type spaces ${\mathcal S}_{_{\scriptstyle \mathbf p,\,\mu}}$ with a variable summation exponent, the direct and inverse approximation theorems are proved in terms of best approximations of functions and moduli of…

We present a coherent collection of finite mathematical theorems some of which can only be proved by going well beyond the usual axioms for mathematics. The proofs of these theorems illustrate in clear terms how one uses the well studied…

Let A be an arbitrary integral domain of characteristic 0 which is finitely generated over Z. We consider Thue equations $F(x,y)=b$ with unknowns x,y from A and hyper- and superelliptic equations $f(x)=by^m$ with unknowns from A, where the…

Let $R=K[[x_1,...,x_s]]$ be the ring of formal power series with maximal ideal $\mathfrak{m}$ over a field $K$ of arbitrary characteristic. On the ring $M_{m,n}$ of $m\times n$ matrices $A$ with entries in $R$ we consider several…

We classify thick subcategories of the $\infty$-categories of perfect modules over ring spectra which arise as functions on even periodic derived stacks satisfying affineness and regularity conditions. For example, we show that the thick…

We establish a necessary and sufficient condition for an action of a lattice by homeomorphisms of the circle to extend continuously to the ambient locally compact group. This condition is expressed in terms of the real bounded Euler class…

This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial…

In the seventies', Zehnder found a Nash-Moser type implicit function theorem in the analytic set-up. This theorem has found many applications in dynamical systems although its applications require, as a general rule, some efforts. We…

Hille in 1959 gave a stronger form for the classical implicit function theorem of Cauchy for equations of the type $y = \psi(x,y)$, $x,y$ real or complex, $\psi$ analytic with a condition which determines a radius of convergence of the…

In the present paper we obtain a new homological version of the implicit function theorem and some versions of the Darboux theorem. Such results are proved for continuous maps on topological manifolds. As a consequence, some versions of…

In this paper, we introduce new classes of functions that extend the known classes of functions of complex variable, such as entire functions, meromorphic functions, rational functions and polynomial functions and take values in the set of…

Let $f:\mathbb{R}^n\to\mathbb{R}$ be a function. Assume that for a measurable set $\Omega$ and almost every $x\in\Omega$ there exists a vector $\xi_x\in\mathbb{R}^n$ such that $$\liminf_{h\to 0}\frac{f(x+h)-f(x)-\langle \xi_x,…

We define and study entanglement of continuous positive definite functions on products of compact groups. We formulate and prove an infinite-dimensional analog of Horodecki Theorem, giving a necessary and sufficient criterion for…

Let $f(z)=\sum_{n=0}^{+\infty} a_nz^n$\ $(z\in\mathbb{C})$\ be an analytic function in the unit disk and $f_t$ be an analytic function of the form $f_t(z)=\sum_{n=0}^{+\infty} a_ne^{i\theta_nt}z^n,$ where $t\in\mathbb{R},$…

For R(z, w) rational with complex coefficients, of degree at least 2 in w, we show that the number of rational functions f(z) solving the difference equation f(z+1)=R(z, f(z)) is finite and bounded just in terms of the degrees of R in the…

For the Frechet space E=C^{\infty}(S^1) and for a smooth \phi: R to R, we prove that the associated map E to E given by x mapsto\phi\circ x satisfies the continuous B\Gamma--differentiability condition in Yamamuro's inverse function theorem…

A theorem on the solutions of the problem $U'(w)=\gamma F(U(w),w),\ U(w_1)=u_2,\ U(w_2)=u_2$ is applied for finding the functional solutions of the system of partial differential equations \begin{equation} \nabla\cdot(a(u,w)\nabla u)=0,\…