Related papers: On the domain of implicit functions in a projectiv…

We prove a non-smooth generalization of the global implicit function theorem. More precisely we use the non-smooth local implicit function theorem and the non-smooth critical point theory in order to prove a non-smooth global implicit…

Constructing or learning a function from a finite number of sampled data points (measurements) is a fundamental problem in science and engineering. This is often formulated as a minimum norm interpolation problem, regularized learning…

This article gives dual representations for convex integral functionals on the linear space of regular processes. This space turns out to be a Banach space containing many more familiar classes of stochastic processes and its dual can be…

In this work we study integral equations defined on the whole real line. Using a suitable Banach space, we look for solutions which satisfy some certain kind of asymptotic behavior. We will consider spectral theory in order to find fixed…

Let $\Bc$ denote the real-valued functions continuous on the extended real line and vanishing at $-\infty$. Let $\Br$ denote the functions that are left continuous, have a right limit at each point and vanish at $-\infty$. Define $\acn$ to…

We consider a class of inverse problems defined by a nonlinear map from parameter or model functions to the data. We assume that solutions exist. The space of model functions is a Banach space which is smooth and uniformly convex; however,…

We completely characterize smoothness of bounded linear operators between infinite dimensional real normed linear spaces, probably for the very first time, by applying the concepts of Birkhoff-James orthogonality and semi-inner-products in…

We study a local version of the ball-covering problem in Banach spaces, and obtain a complete solution to it in terms of the norm derivatives. We illustrate the advantage of the local approach by obtaining substantial refinements of several…

We investigate the differentiability properties of real-valued quasiconvex functions f defined on a separable Banach space X. Continuity is only assumed to hold at the points of a dense subset. If so, this subset is automatically residual.…

We prove a version of the implicit function theorem for Lipschitz mappings $f:\mathbb{R}^{n+m}\supset A \to X$ into arbitrary metric spaces. As long as the pull-back of the Hausdorff content $\mathcal{H}_{\infty}^n$ by $f$ has positive…

A form of Sobolev inequalities for the symmetric gradient of vector-valued functions is proposed, which allows for arbitrary ground domains in $\mathbb R ^n$. In the relevant inequalities, boundary regularity of domains is replaced with…

We consider non-zero endomorphisms of the Dales and Davie algebras of infinitely differentiable functions on intervals in the real line. We discuss necessary and sufficient conditions for a selfmap of the interval to induce a compact…

It is well known that in $R^n$ , G{\^a}teaux (hence Fr{\'e}chet) differ-entiability of a convex continuous function at some point is equivalent to the existence of the partial derivatives at this point. We prove that this result extends…

We prove an abstract Nash-Moser implicit function theorem which, when applied to control and Cauchy problems for PDEs in Sobolev class, is sharp in terms of the loss of regularity of the solution of the problem with respect to the data. The…

We prove a linear and a nonlinear generalization of the Lax-Milgram theorem. In particular we give sufficient conditions for a real-valued function defined on the product of a reflexive Banach space and a normed space to represent all…

We show that a pseudoconvex open subset of a Banach space with an unconditional basis is biholomorphic to a closed direct submanifold of a Banach space with an unconditional basis.

We apply integral representations for functions on non-smooth strictly pseudoconvex domains, the Henkin-Leiterer domains, to derive weighted $C^k$ estimates for the component of a given function, $f$, which is orthogonal to holomorphic…

We present theoretical and practical results on the order theory of lattices of functions, focusing on Galois connections that abstract (sets of) functions - a topic known as higher-order abstract interpretation. We are motivated by the…

We show that sweeping processes with possibly non-convex prox-regular constraints generate a strongly continuous input-output mapping in the space of absolutely continuous functions. Under additional smoothness assumptions on the constraint…

The classical Ruckert-Lefschetz scheme of analysis of implicit functions (defined by finite systems of n analytical equations with n unknowns) is studied from the point of view of calculations with finite number coefficients in Taylor…