Related papers: An Inverse Function Theorem in Frechet Spaces

In this paper, we prove strict Frechet differentiability of the metric projection operator onto closed balls in Hilbert spaces, and we find exact expressions for Frechet derivatives. Since Frechet differentiability implies Gateaux…

We introduce spaces of exponential constructible functions in the motivic setting for which we construct direct image functors in the absolute and relative cases. This allows us to define a motivic Fourier transformation for which we get…

We introduce an interesting method of proving separable reduction theorems - the method of elementary submodels. We are studying whether it is true that a set (function) has given property if and only if it has this property with respect to…

We investigate two systematic constructions of inverse-closed subalgebras of a given Banach algebra or operator algebra A, both of which are inspired by classical principles of approximation theory. The first construction requires a closed…

In a seminal paper, Choquet introduced an integral formula to extend a monotone increasing setfunction on a sigma-algebra to a (nonlinear) functional on bounded measurable functions. The most important special case is when the setfunction…

An inverse problem of finding an obstacle and the boundary condition on its surface from the fixed-energy scattering data is studied. A new method is developed for a proof of the uniqueness results. The method does not use the discreteness…

For a given $\delta$, $0<\delta<1$, a Blaschke sequence $\sigma=\{\lambda_j\}$ is constructed such that every function $f$, $f\in H^\infty$, having $\delta<\delta_f=\inf_{\lambda\in\sigma}|f(\lambda)|\le\|f\|_\infty\le1$ is invertible in…

We consider the space $C_{\lambda}$ of all continuous interval maps preserving the Lebesgue measure $\lambda$. A continuous function $f\colon~[0,1]\to \mathbb R$ is called Besicovitch if it does not have any finite or infinite unilateral…

We explain how the Harish-Chandra Plancherel Theorem and results in relative Lie algebra cohomology can be used in order to compute in a uniform way the $L^2$-Betti numbers, the Novikov-Shubin invariants, and the $L^2$-torsion of compact…

In 1952, Michael posed a question about the functional continuity of commutative Frechet algebras in his memoir, known as Michael problem in the literature. We settle this in the affirmative along with its various equivalent forms, even for…

In this note, we show that for any harmonic map into a non-compact symmetric space one can find naturally a "dual" harmonic map into a compact symmetric space which can be constructed from the same basic data (called "potentials" in the…

We prove the Chevalley restriction theorem for the commuting scheme of symplectic Lie algebras. The key step is the construction of the inverse map of the Chevalley restriction map called the spectral data map. Along the way, we establish a…

One of the basics of calculus is the following proposition: If $F$ and $G$ are antiderivatives of two real functions $f$ and $g$ resp., then an antiderivative of $\lambda f+g$ is $\lambda F + G$. It may be surprising that such systematic an…

The inverse theorem for the Gowers norms, in the form proved by Green, Tao and Ziegler, applies to functions on an interval $[M]$. A recent paper of Candela and Sisask requires a stronger conclusion when applied to $N$-periodic functions;…

For a given Beurling-Carleson subset $E$ of the unit circle $\mathbb{T}$ which has positive Lebesgue measure, we give explicit formulas for measurable functions supported on $E$ such that their Cauchy transforms have smooth extensions from…

The reverse derivative is a fundamental operation in machine learning and automatic differentiation. This paper gives a direct axiomatization of a category with a reverse derivative operation, in a similar style to that given by Cartesian…

Let $F(z)=z-H(z)$ with order $o(H(z))\geq 1$ be a formal map from $\bC^n$ to $\bC^n$ and $G(z)$ the formal inverse map of $F(z)$. We first study the deformation $F_t(z)=z-tH(z)$ of $F(z)$ and its formal inverse $G_t(z)=z+tN_t(z)$. (Note…

The algebra of Schur operators on l^2 is known not to be inverse-closed. When l^2=l^2(X) where X is a metric space, we can consider elements of the Schur algebra with certain decay at infinity. For instance if X has the doubling property,…

In this paper, we prove the existence of fixed points of mappings satisfying the condition (Da), a kind of generalized nonexpansive mappings, on a weakly compact convex subset in a Banach space satisfying Opial's condition. And we use…

Given a sequence of subsets A_n of {0,...,n-1}, the Furstenberg correspondence principle provides a shift-invariant measure on Cantor space that encodes combinatorial information about infinitely many of the A_n's. Here it is shown that…