an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org
Author
55 papers · 1997–2024
showing 1–25 of 55 RSS
Daniel Azagra, Juan Ferrera, Fernando Lopez-Mesas
We establish some perturbed minimization principles, and we develop a theory of subdifferential calculus, for functions defined on Riemannian manifolds. Then we apply these results to show existence and uniqueness of viscosity solutions to Hamilton-Jacobi equations defined on Riemannian manifolds.
Let $U\subseteq\mathbb{R}^d$ be open and convex. We prove that every (not necessarily Lipschitz or strongly) convex function $f:U\to\mathbb{R}$ can be approximated by real analytic convex functions, uniformly on all of $U$. We also show that $C^0$-fine approximation of convex functions by smooth (or real analytic) convex functions on $\mathbb{R}^d$ is possible in general if and only if $d=1$. Nevertheless, for $d\geq 2$ we give a characterization of the class of convex functions on $\mathbb{R}^d$ which can be approximated by real analytic (or just smoother) convex functions in the $C^0$-fine topology. It turns out that the possibility of performing this kind of approximation is not determined by the degree of local convexity or smoothness of the given function, but by its global geometrical behaviour. We also show that every $C^{1}$ convex and proper function on $U$ can be approximated…
We show how an operation of inf-convolution can be used to approximate convex functions with $C^{1}$ smooth convex functions on Riemannian manifolds with nonpositive curvature (in a manner that not only is explicit but also preserves some other properties of the original functions, such as ordering, symmetries, infima and sets of minimizers), and we give some applications.
Daniel Azagra, Manuel Cepedello Boiso
We prove that every continuous mapping from a separable infinite-dimensional Hilbert space $X$ into $\mathbb{R}^{m}$ can be uniformly approximated by $C^\infty$ smooth mappings {\em with no critical points}. This kind of result can be regarded as a sort of very strong approximate version of the Morse-Sard theorem. Some consequences of the main theorem are as follows. Every two disjoint closed subsets of $X$ can be separated by a one-codimensional smooth manifold which is a level set of a smooth function with no critical points; this fact may be viewed as a nonlinear analogue of the geometrical version of the Hahn-Banach theorem. In particular, every closed set in $X$ can be uniformly approximated by open sets whose boundaries are $C^\infty$ smooth one-codimensional submanifolds of $X$. Finally, since every Hilbert manifold is diffeomorphic to an open subset of the Hilbert space, all of…
Let C be a subset of R n (not necessarily convex), f : C → R be a function and G : C → R n be a uniformly continuous function, with modulus of continuity ω. We provide a necessary and sufficient condition on f, G for the existence of a convex function F ∈ C 1 , ω ( R n ) such that F = f on C and ∇ F = G on C, with a good control of the modulus of continuity of ∇ F in terms of that of G. On the other hand, assuming that C is compact, we also solve a similar problem for the class of C 1 convex functions on R n , with a good control of the Lipschitz constants of the extensions (namely, Lip ( F ) ≲ ∥ G ∥ ∞ ). Finally, we give a geometrical application concerning interpolation of compact subsets K of R n by boundaries of C 1 or C 1 , 1 convex bodies with prescribed outer normals on K.
We show that for every closed convex set <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper C"> <mml:semantics> <mml:mi>C</mml:mi> <mml:annotation encoding="application/x-tex">C</mml:annotation> </mml:semantics> </mml:math> </inline-formula> in a separable Banach space <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper X"> <mml:semantics> <mml:mi>X</mml:mi> <mml:annotation encoding="application/x-tex">X</mml:annotation> </mml:semantics> </mml:math> </inline-formula> there is a <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper C Superscript normal infinity"> <mml:semantics> <mml:msup> <mml:mi>C</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="normal"> ∞ </mml:mi> </mml:mrow>…
We show that if X is a Banach space having an unconditional basis and a C p -smooth Lipschitz bump function, then for every C 1 -smooth function f from X into a Banach space Y , and for every continuous function : X (0, ), there exists a C p -smooth function g : X Y such that fg and fg .
Daniel Azagra, R. Fry, Alejandro Montesinos
We show that if $Y$ is a separable subspace of a Banach space $X$ such that both $X$ and the quotient $X/Y$ have $C^p$-smooth Lipschitz bump functions, and $U$ is a bounded open subset of $X$, then, for every uniformly continuous function $f:Y\cap U\to \mathbb {R}$ and every $\varepsilon >0$, there exists a $C^p$-smooth Lipschitz function $F:X\to \mathbb {R}$ such that $|F(y)-f(y)|\leq \varepsilon$ for every $y\in Y\cap U$.
Daniel Azagra, M. J. Sevilla, Robert Deville
Abstract. We study the size of the range of the derivatives of a smooth function between Banach spaces. We establish conditions on a pair of Banach spaces X and Y to ensure the existence of a C p smooth (Fréchet smooth or a continuous Gâteaux smooth) function f from X onto Y such that f vanishes outside a bounded set and all the derivatives of f are surjections. In particular we deduce the following results. For the Gâteaux case, when X and Y are separable and X is infinite-dimensional, there exists a continuous Gâteaux smooth function f from X to Y, with bounded support, so that f ′ (X) = L(X, Y). In the Fréchet case, we get that if a Banach space X has a Fréchet smooth bump and dens X = dens L(X, Y), then there is a Fréchet smooth function f: X − → Y with bounded support so that f ′ (X) = L(X, Y). Moreover, we see that if X has a C p smooth bump with bounded derivatives and dens X =…
We prove that for every infinite-dimensional Banach space X with a Fréchet differentiable norm, the sphere $S_X$ is diffeomorphic to each closed hyperplane in X. We also prove that every infinite-dimensional Banach space Y having a (not necessarily equiva
In this note we give a subdifferential mean value inequality for every continuous Gâteaux subdiferentiable function f in a Banach space which only requires a bound for one but not necessarily all of the subgradients of f at every point of its domain. We also give a subdifferential approximate Rolle's theorem satating that if a subdifferentiable function oscilllates between −ɛ and ɛ on the boundary of the unit ball then there exists a subgradient of the function at an interior point of the ball which has norm less than or equal to 2ɛ.
We study the size of the sets of gradients of bump functions on the Hilbert space 2 , and the related question as to how small the set of tangent hyperplanes to a smooth bounded starlike body in 2 can be. We find that those sets can be quite small. On the one hand, the usual norm of the Hilbert space 2 can be uniformly approximated by C 1 smooth Lipschitz functions so that the cones generated by the ranges of its derivatives ( 2 ) have empty interior. This implies that there are C 1 smooth Lipschitz bumps in 2 so that the cones generated by their sets of gradients have empty interior. On the other hand, we construct C 1 -smooth bounded starlike bodies A 2 , which approximate the unit ball, so that the cones generated by the hyperplanes which are tangent to A have empty interior as well. We also explain why this is the best answer to the above questions that one can expect.
Let $E$ be an arbitrary subset of $\mathbb{R}^n$ (not necessarily bounded), and $f:E\to\mathbb{R}$, $G:E\to\mathbb{R}^n$ be functions. We provide necessary and sufficient conditions for the $1$-jet $(f,G)$ to have an extension $(F, \nabla F)$ with $F:\mathbb{R}^n\to\mathbb{R}$ convex and of class $C^{1}$. Besides, if $G$ is bounded we can take $F$ so that $\textrm{Lip}(F)\lesssim \|G\|_{\infty}$. As an application we also solve a similar problem about finding convex hypersurfaces of class $C^1$ with prescribed normals at the points of an arbitrary subset of $\mathbb{R}^n$.
Daniel Azagra, Marián Fabian, M. J. Sevilla
Abstract We establish sufficient conditions on the shape of a set A included in the space ( X , Y ) of the n -linear symmetric mappings between Banach spaces X and Y , to ensure the existence of a C n -smooth mapping f : X → Y , with bounded support, and such that f ( n ) ( X ) = A , provided that X admits a C n -smooth bump with bounded n -th derivative and dens X = dens ℒ n ( X , Y ). For instance, when X is infinite-dimensional, every bounded connected and open set U containing the origin is the range of the n -th derivative of such amapping. The same holds true for the closure of U , provided that every point in the boundary of U is the end point of a path within U . In the finite-dimensional case, more restrictive conditions are required. We also study the Fréchet smooth case for mappings from ℝ n to a separable infinite-dimensional Banach space and the Gâteaux smooth case for…
Daniel Azagra, Manuel Cepedello Boiso
Let X be an infinite-dimensional Banach space, and let A be a C p Lipschitz bounded starlike body (for instance the unit ball of a smooth norm). We prove that: (1) the boundary ∂ A is C p Lipschitz contractible; (2) there is a C p Lipschitz retraction from A onto ∂ A ; (3) there is a C p Lipschitz map T : A → A with no approximate fixed points.
We establish a second order smooth variational principle valid for functions defined on (possibly infinite-dimensional) Riemannian manifolds which are uniformly locally convex and have a strictly positive injectivity radius and bounded sectional curvature.
Daniel Azagra, Dmitriy Stolyarov
Let $S$ be a convex hypersurface (the boundary of a closed convex set $V$ with nonempty interior) in $\mathbb{R}^n$. We prove that $S$ contains no lines if and only if for every open set $U\supset S$ there exists a real-analytic convex hypersurface $S_{U} \subset U\cap \textrm{int}(V) $. We also show that $S$ contains no rays if and only if for every open set $U\supset S$ there exists a real-analytic convex hypersurface $S_{U}\subset U\setminus V$. Moreover, in both cases, $S_U$ can be taken strongly convex. We also establish similar results for convex functions defined on open convex subsets of $\mathbb{R}^n$, completely characterizing the class of convex functions that can be approximated in the $C^0$-fine topology by smooth convex functions from above or from below. We also provide similar results for $C^1$-fine approximations
We provide necessary and sufficient conditions for a 1-jet (f,G):E→R×X to admit an extension (F,∇F) for some F∈C1,ω(X). Here E stands for an arbitrary subset of a Hilbert space X and ω is a modulus of continuity. As a corollary, in the particular case X=Rn, we obtain an extension (nonlinear) operator whose norm does not depend on the dimension n. Furthermore, we construct extensions (F,∇F) in such a way that: (1) the (nonlinear) operator (f,G)↦(F,∇F) is bounded with respect to a natural seminorm arising from the constants in the given condition for extension (and the bounds we obtain are almost sharp); (2) F is given by an explicit formula; (3) (F,∇F) depend continuously on the given data (f,G); (4) if f is bounded (resp. if G is bounded) then so is F (resp. F is Lipschitz). We also provide similar results on superreflexive Banach spaces.
We introduce a proximal subdifferential and develop a calculus for nonsmooth functions defined on any Riemannian manifold $M$. We give several applications of this theory, concerning: 1) differentiability and geometrical properties of the distance function to a closed subset $C$ of $M$; 2) solvability and implicit function theorems for nonsmooth functions on $M$; 3) conditions on the existence of a circumcenter for three different points of $M$; and especially 4) fixed point theorems for expansive and nonexpansive mappings and certain perturbations of such mappings defined on $M$.
Daniel Azagra, Anthony Cappello, Piotr Hajłasz
We show a new, elementary and geometric proof of the classical Alexandrov theorem about the second order differentiability of convex functions. We also show new proofs of recent results about Lusin approximation of convex functions and convex bodies by $C^{1,1}$ convex functions and convex bodies.
Let $C$ be a subset of $\mathbb{R}^n$ (not necessarily convex), $f:C\to\mathbb{R}$ be a function, and $G:C\to\mathbb{R}^n$ be a uniformly continuous function, with modulus of continuity $ω$. We provide a necessary and sufficient condition on $f$, $G$ for the existence of a convex function $F\in C^{1, ω}(\mathbb{R}^n)$ such that $F=f$ on $C$ and $\nabla F=G$ on $C$, with a good control of the modulus of continuity of $\nabla F$ in terms of that of $G$. On the other hand, assuming that $C$ is compact, we also solve a similar problem for the class of $C^1$ convex functions on $\mathbb{R}^n$, with a good control of the Lipschitz constants of the extensions (namely, $\textrm{Lip}(F)\lesssim \|G\|_{\infty}$). Finally, we give a geometrical application concerning interpolation of compact subsets $K$ of $\mathbb{R}^n$ by boundaries of $C^1$ or $C^{1,1}$ convex bodies with prescribed outer…
Daniel Azagra, Juan Ferrera, Beatriz Sanz
We prove comparison, uniqueness and existence results for viscosity solutions to a wide class of fully nonlinear second order partial differential equations $F(x, u, du, d^{2}u)=0$ defined on a finite-dimensional Riemannian manifold $M$. Finest results (with hypothesis that require the function $F$ to be degenerate elliptic, that is nonincreasing in the second order derivative variable, and uniformly continuous with respect to the variable $x$) are obtained under the assumption that $M$ has nonnegative sectional curvature, while, if one additionally requires $F$ to depend on $d^{2}u$ in a uniformly continuous manner, then comparison results are established with no restrictive assumptions on curvature.
Daniel Azagra, Marjorie Drake, Piotr Hajłasz
We prove that if $u:\mathbb{R}^n\to\mathbb{R}$ is strongly convex, then for every $\varepsilon>0$ there is a strongly convex function $v\in C^2(\mathbb{R}^n)$ such that $|\{u\neq v\}|<\varepsilon$ and $\Vert u-v\Vert_\infty<\varepsilon$.
Daniel Azagra, Erwan Le Gruyer, Carlos Mudarra
Let $X,Y$ be two Hilbert spaces, $E$ a subset of $X$ and $G: E \to Y$ a Lipschitz mapping. A famous theorem of Kirszbraun's states that there exists $\widetilde{G} : X \to Y$ with $\widetilde{G}=G$ on $E$ and $\textrm{Lip}(\widetilde{G})=\textrm{Lip}(G).$ In this note we show that in fact the function $$\widetilde{G}:=\nabla_Y(\textrm{conv}(g))( \cdot , 0), \qquad \text{where} $$ $$ g(x,y) = \inf_{z \in E} \lbrace \langle G(z), y \rangle + \tfrac{M}{2} \|(x-z,y)\|^2 \rbrace + \tfrac{M}{2}\|(x,y)\|^2, $$ defines such an extension. We apply this formula to get an extension result for {\em strongly biLipschitz homeomorphisms.} Related to the latter, we also consider extensions of $C^{1,1}$ strongly convex functions.
Let $C$ be a compact convex subset of $\mathbb{R}^n$, $f:C\to\mathbb{R}$ be a convex function, and $m\in\{1, 2, ..., \infty\}$. Assume that, along with $f$, we are given a family of polynomials satisfying Whitney's extension condition for $C^m$, and thus that there exists $F\in C^{m}(\mathbb{R}^n)$ such that $F=f$ on $C$. It is natural to ask for further (necessary and sufficient) conditions on this family of polynomials which ensure that $F$ can be taken to be convex as well. We give a satisfactory solution to this problem in the case $m=\infty$, and also less satisfactory solutions in the case of finite $m\geq 2$ (nonetheless obtaining an almost optimal result for $C$ a finite intersection of ovaloids). For a solution to a similar problem in the case $m=1$ (even for $C$ not necessarily convex), see arXiv:1507.03931, arXiv:1706.09808, arXiv:1706.02235.