Showing 1–18 of 18 results for author: Ferrera, J

Convergence of ADAM for Lipschitz Objective Functions

Authors: Juan Ferrera, Javier Gómez Gil

Abstract: The aim of this paper is to prove the exponential convergence, local and global, of Adam algorithm under precise conditions on the parameters, when the objective function lacks differentiability. More precisely, we require Lipschitz continuity, and control on the gradient whenever it exists. We provide also examples of interesting functions that satisfies the required restrictions. The aim of this paper is to prove the exponential convergence, local and global, of Adam algorithm under precise conditions on the parameters, when the objective function lacks differentiability. More precisely, we require Lipschitz continuity, and control on the gradient whenever it exists. We provide also examples of interesting functions that satisfies the required restrictions. △ Less

Submitted 13 March, 2024; originally announced March 2024.

MSC Class: 49J52 (Primary) 37N40; 46N10 (Secondary)

Local minimality of weak geodesics on prox-regular subsets of Riemannian manifolds

Authors: Juan Ferrera, Mohamad R. Pouryayevali, Hajar Radmanesh

Abstract: In this paper we prove that every locally minimizing curve with constant speed in a prox-regular subset of a Riemannian manifold is a weak geodesic. Moreover, it is shown that under certain assumptions, every weak geodesic is locally minimizing. Furthermore a notion of closed weak geodesics on prox-regular sets is introduced and a characterization of these curves as nonsmooth critical points of th… ▽ More In this paper we prove that every locally minimizing curve with constant speed in a prox-regular subset of a Riemannian manifold is a weak geodesic. Moreover, it is shown that under certain assumptions, every weak geodesic is locally minimizing. Furthermore a notion of closed weak geodesics on prox-regular sets is introduced and a characterization of these curves as nonsmooth critical points of the energy functional is presented. △ Less

Submitted 14 December, 2023; v1 submitted 22 November, 2023; originally announced November 2023.

Comments: 23 pages

MSC Class: 58C20; 58C06; 49J52

Weak geodesics on prox-regular subsets of Riemannian manifolds

Authors: Juan Ferrera, Mohamad R. Pouryayevali, Hajar Radmanesh

Abstract: We give a definition of weak geodesics on prox-regular subsets of Riemannian manifolds as continuous curves with some weak regularities. Then obtaining a suitable Lipschitz constant of the projection map, we characterize weak geodesics on a prox-regular set with assigned end points as viscosity critical points of the energy functional. We give a definition of weak geodesics on prox-regular subsets of Riemannian manifolds as continuous curves with some weak regularities. Then obtaining a suitable Lipschitz constant of the projection map, we characterize weak geodesics on a prox-regular set with assigned end points as viscosity critical points of the energy functional. △ Less

Submitted 18 May, 2022; originally announced May 2022.

Comments: 22 pages

MSC Class: 58C20; 58C06; 49J52

An elementary example of Sard's Theorem sharpness

Authors: Juan Ferrera

Abstract: In this note we define a $C^1$ function $F:[0,M]^2\to [0,2]$ that satisfies that its set of critical values has positive measure. This function provides an example, easier than those that usually appear in the literature, of how the order of differentiability required in Sard's Theorem cannot be improved In this note we define a $C^1$ function $F:[0,M]^2\to [0,2]$ that satisfies that its set of critical values has positive measure. This function provides an example, easier than those that usually appear in the literature, of how the order of differentiability required in Sard's Theorem cannot be improved △ Less

Submitted 16 February, 2022; originally announced February 2022.

Comments: 4 pages note-

MSC Class: 26B35; 28A75

A characterization of the nowhere differentiable functions of the Generalized Takagi Class

Authors: Juan Ferrera, Javier Gómez Gil, Jesús Llorente

Abstract: In this paper, we prove that for some Generalized Takagi Classes, in particular for the Takagi-Van der Waerden Class, the functions are nowhere differentiable if, and only if, the sequence of weights does not belong to $c_0$. In this paper, we prove that for some Generalized Takagi Classes, in particular for the Takagi-Van der Waerden Class, the functions are nowhere differentiable if, and only if, the sequence of weights does not belong to $c_0$. △ Less

Submitted 12 September, 2019; originally announced September 2019.

Comments: 14 pages

Superdifferential of the Takagi function

Authors: Juan Ferrera, Javier Gómez Gil

Abstract: The Takagi function is a classical example of a continuous nowhere differentiable function. It has empty subdifferential except in a countable set where its subdifferential is $\mathbb{R}$. In this paper we characterize its superdifferential. The Takagi function is a classical example of a continuous nowhere differentiable function. It has empty subdifferential except in a countable set where its subdifferential is $\mathbb{R}$. In this paper we characterize its superdifferential. △ Less

Submitted 24 June, 2019; originally announced June 2019.

Comments: 10 pages

MSC Class: 26A27; 26A24; 49J52

Infinite derivatives of the Takagi-Van der Waerden functions

Authors: Juan Ferrera, Javier Gómez Gil, Jesús Llorente

Abstract: In this paper we characterize the set of points where the lateral derivatives of the Takagi-Van der Waerden functions are infinite. We also prove that the set of points with infinite derivative has Hausdorff dimension one and Lebesgue measure zero. In this paper we characterize the set of points where the lateral derivatives of the Takagi-Van der Waerden functions are infinite. We also prove that the set of points with infinite derivative has Hausdorff dimension one and Lebesgue measure zero. △ Less

Submitted 29 March, 2019; v1 submitted 27 March, 2019; originally announced March 2019.

Extensions of convex functions with prescribed subdifferentials

Authors: Daniel Azagra, Juan Ferrera, Javier Gómez-Gil, Carlos Mudarra

Abstract: Let $E$ be an arbitrary subset of a Banach space $X$, $f: E \rightarrow \mathbb{R}$ be a function, and $G:E \rightrightarrows X^*$ be a set-valued map**. We give necessary and sufficient conditions on $f, G$ for the existence of a continuous convex extension $F: X \rightarrow \mathbb{R} $ of $f$ such that the subdifferential $\partial F$ of $F$ coincides with $G$ on $E.$ Let $E$ be an arbitrary subset of a Banach space $X$, $f: E \rightarrow \mathbb{R}$ be a function, and $G:E \rightrightarrows X^*$ be a set-valued map**. We give necessary and sufficient conditions on $f, G$ for the existence of a continuous convex extension $F: X \rightarrow \mathbb{R} $ of $f$ such that the subdifferential $\partial F$ of $F$ coincides with $G$ on $E.$ △ Less

Submitted 17 April, 2019; v1 submitted 13 November, 2018; originally announced November 2018.

Comments: In this new version we added several examples in the introduction to illustrate the role of our conditions in an infinite-dimensional setting

Non approximate derivability of the Takagi function

Authors: Juan Ferrera, Javier Gómez Gil

Abstract: The Takagi function is a classical example of a continuous nowhere differentiable function. In this paper we prove that it is nowhere approximately derivable. The Takagi function is a classical example of a continuous nowhere differentiable function. In this paper we prove that it is nowhere approximately derivable. △ Less

Submitted 24 June, 2019; v1 submitted 23 July, 2018; originally announced July 2018.

Comments: 6 pages. Version final. Some misprints have been corrected One reference deleted. Accepted for publication in Journal of Convex Analysis

MSC Class: 26A27; 26A24

Subdifferentiable functions satisfy Lusin properties of class $C^1$ or $C^2$

Authors: D. Azagra, J. Ferrera, M. García-Bravo, J. Gómez-Gil

Abstract: Let $f:\mathbb{R}^n\to\mathbb{R}$ be a function. Assume that for a measurable set $Ω$ and almost every $x\inΩ$ there exists a vector $ξ_x\in\mathbb{R}^n$ such that $$\liminf_{h\to 0}\frac{f(x+h)-f(x)-\langle ξ_x, h\rangle}{|h|^2}>-\infty.$$ Then we show that $f$ satisfies a Lusin-type property of order $2$ in $Ω$, that is to say, for every $\varepsilon>0$ there exists a function… ▽ More Let $f:\mathbb{R}^n\to\mathbb{R}$ be a function. Assume that for a measurable set $Ω$ and almost every $x\inΩ$ there exists a vector $ξ_x\in\mathbb{R}^n$ such that $$\liminf_{h\to 0}\frac{f(x+h)-f(x)-\langle ξ_x, h\rangle}{|h|^2}>-\infty.$$ Then we show that $f$ satisfies a Lusin-type property of order $2$ in $Ω$, that is to say, for every $\varepsilon>0$ there exists a function $g\in C^2(\mathbb{R}^n)$ such that $\mathcal{L}^{n}\left(\{x\inΩ: f(x)\neq g(x)\}\right)\leq\varepsilon$. In particular every function which has a nonempty proximal subdifferential almost everywhere also has the Lusin property of class $C^2$. We also obtain a similar result (replacing $C^2$ with $C^1$) for the Fréchet subdifferential. Finally we provide some examples showing that this kind of results are no longer true for "Taylor subexpansions" of higher order. △ Less

Submitted 14 November, 2017; v1 submitted 24 June, 2017; originally announced June 2017.

Comments: The example showing that the main results fail for $C^{k}$ with $k\geq 3$ has been changed. An example showing that the main results fail if we replace the Frechet subdifferential or the proximal subdifferential with the limiting subdifferential has been added

Nonsmooth Morse-Sard theorems

Authors: Daniel Azagra, Juan Ferrera, Javier Gomez-Gil

Abstract: We prove that every function $f:\mathbb{R}^n\to \mathbb{R}$ satisfies that the image of the set of critical points at which the function $f$ has Taylor expansions of order $n-1$ and non-empty subdifferentials of order $n$ is a Lebesgue-null set. As a by-product of our proof, for the proximal subdifferential $\partial_{P}$, we see that for every lower semicontinuous function… ▽ More We prove that every function $f:\mathbb{R}^n\to \mathbb{R}$ satisfies that the image of the set of critical points at which the function $f$ has Taylor expansions of order $n-1$ and non-empty subdifferentials of order $n$ is a Lebesgue-null set. As a by-product of our proof, for the proximal subdifferential $\partial_{P}$, we see that for every lower semicontinuous function $f:\mathbb{R}^2\to\mathbb{R}$ the set $f(\{x\in\mathbb{R}^2 : 0\in\partial_{P}f(x)\})$ is $\mathcal{L}^{1}$-null. △ Less

Submitted 16 May, 2017; v1 submitted 5 May, 2016; originally announced May 2016.

Comments: Final version. The main result has been strengthened thanks to the suggestions of a referee

The Morse-Sard theorem revisited

Authors: D. Azagra, J. Ferrera, J. Gómez-Gil

Abstract: Let $n, m, k$ be positive integers with $k=n-m+1$. We establish an abstract Morse-Sard-type theorem which allows us to deduce, on the one hand, a previous result of De Pascale's for Sobolev $W^{k,p}_{\textrm{loc}}(\mathbb{R}^n, \mathbb{R}^m)$ functions with $p>n$ and, on the other hand, also the following new result: if $f\in C^{k-1}(\mathbb{R}^n, \mathbb{R}^m)$ satisfies… ▽ More Let $n, m, k$ be positive integers with $k=n-m+1$. We establish an abstract Morse-Sard-type theorem which allows us to deduce, on the one hand, a previous result of De Pascale's for Sobolev $W^{k,p}_{\textrm{loc}}(\mathbb{R}^n, \mathbb{R}^m)$ functions with $p>n$ and, on the other hand, also the following new result: if $f\in C^{k-1}(\mathbb{R}^n, \mathbb{R}^m)$ satisfies $$\limsup_{h\to 0}\frac{|D^{k-1}f(x+h)-D^{k-1}f(x)|}{|h|}<\infty$$ for every $x\in\mathbb{R}^n$ (that is, $D^{k-1}f$ is a Stepanov function), then the set of critical values of $f$ is Lebesgue-null in $\mathbb{R}^m$. In the case that $m=1$ we also show that this limiting condition holding for every $x\in\mathbb{R}^n\setminus\mathcal{N}$, where $\mathcal{N}$ is a set of zero $(n-2+α)$-dimensional Hausdorff measure for some $0<α<1$, is sufficient to guarantee the same conclusion. △ Less

Submitted 21 January, 2018; v1 submitted 18 November, 2015; originally announced November 2015.

Comments: We corrected some misprints and made some changes in the introduction

Regularization by sup-inf convolutions on Riemannian manifolds: an extension of Lasry-Lions theorem to manifolds of bounded curvature

Authors: Daniel Azagra, Juan Ferrera

Abstract: We show how Lasry-Lions's result on regularization of functions defined on $\mathbb{R}^n$ or on Hilbert spaces by sup-inf convolutions with squares of distances can be extended to (finite or infinite dimensional) Riemannian manifolds $M$ of bounded sectional curvature. More specifically, among other things we show that if the sectional curvature $K$ of $M$ satisfies $-K_0\leq K\leq K_0$ on $M$ for… ▽ More We show how Lasry-Lions's result on regularization of functions defined on $\mathbb{R}^n$ or on Hilbert spaces by sup-inf convolutions with squares of distances can be extended to (finite or infinite dimensional) Riemannian manifolds $M$ of bounded sectional curvature. More specifically, among other things we show that if the sectional curvature $K$ of $M$ satisfies $-K_0\leq K\leq K_0$ on $M$ for some $K_0>0$, and if the injectivity and convexity radii of $M$ are strictly positive, then every bounded, uniformly continuous function $f:M\to\mathbb{R}$ can be uniformly approximated by globally $C^{1,1}$ functions defined by $$ (f_λ)^μ=\sup_{z\in M}\inf_{y\in M}\{f(y)+\frac{1}{2λ} d(z,y)^{2}-\frac{1}{2μ}d(x,z)^2\} $$ as $λ, μ\to 0^{+}$, with $0<μ<λ/2$. Our definition of (global) $C^{1,1}$ smoothness is intrinsic and natural, and it reduces to the usual one in flat spaces, but we warn the reader that, in the noncompact case, this definition differs from other notions of (rather local) $C^{1,1}$ smoothness that have been recently used, for instance, by A. Fathi and P. Bernard (based on charts). The importance of this regularization method lies (rather than on the degree of smoothness obtained) on the fact that the correspondence $f\mapsto (f_λ)^μ$ is explicit and preserves many significant geometrical properties that the given functions $f$ may have, such as invariance by a set of isometries, infima, sets of minimizers, ordering, local or global Lipschitzness, and (only when one additionally assumes that $K\leq 0$) local or global convexity. We also give two examples showing that this result completely fails, even for (nonflat) Cartan-Hadamard manifolds, whenever $f$ or $K$ are not bounded. △ Less

Submitted 20 January, 2014; originally announced January 2014.

Comments: 34 pages

MSC Class: 53C21; 58B10; 46T05; 35F21; 58C20; 53B20

Viscosity solutions to second order partial differential equations on Riemannian manifolds

Authors: Daniel Azagra, Juan Ferrera, Beatriz Sanz

Abstract: 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 unif… ▽ More 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. △ Less

Submitted 12 March, 2008; v1 submitted 23 December, 2006; originally announced December 2006.

Comments: Final version: the domain of F in the equation F=0 has been changed in order to get more generality and simplicity in the definitions and assumptions, and several important misprints have been corrected

MSC Class: 58J32; 49J52; 49L25; 35D05; 35J70

Smooth Approximation of Lipschitz functions on Riemannian manifolds

Authors: D. Azagra, J. Ferrera, F. Lopez-Mesas, Y. Rangel

Abstract: We show that for every Lipschitz function $f$ defined on a separable Riemannian manifold $M$ (possibly of infinite dimension), for every continuous $ε:M\to (0,+\infty)$, and for every positive number $r>0$, there exists a $C^\infty$ smooth Lipschitz function $g:M\to\mathbb{R}$ such that $|f(p)-g(p)|\leqε(p)$ for every $p\in M$ and $\textrm{Lip}(g)\leq\textrm{Lip}(f)+r$. Consequently, every separ… ▽ More We show that for every Lipschitz function $f$ defined on a separable Riemannian manifold $M$ (possibly of infinite dimension), for every continuous $ε:M\to (0,+\infty)$, and for every positive number $r>0$, there exists a $C^\infty$ smooth Lipschitz function $g:M\to\mathbb{R}$ such that $|f(p)-g(p)|\leqε(p)$ for every $p\in M$ and $\textrm{Lip}(g)\leq\textrm{Lip}(f)+r$. Consequently, every separable Riemannian manifold is uniformly bumpable. We also present some applications of this result, such as a general version for separable Riemannian manifolds of Deville-Godefroy-Zizler's smooth variational principle. △ Less

Submitted 2 February, 2006; originally announced February 2006.

Comments: 10 pages

MSC Class: 58E30; 58B20; 46T05; 53C20

Inf-convolution and regularization of convex functions on Riemannian manifolds of nonpositive curvature

Authors: Daniel Azagra, Juan Ferrera

Abstract: 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. 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. △ Less

Submitted 24 May, 2005; originally announced May 2005.

Comments: 17 pages

MSC Class: 53C20; 52A27

Proximal calculus on Riemannian manifolds, with applications to fixed point theory

Authors: Daniel Azagra, Juan Ferrera

Abstract: 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 o… ▽ More 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 map**s and certain perturbations of such map**s defined on $M$. △ Less

Submitted 26 March, 2004; originally announced March 2004.

Comments: 27 pages

MSC Class: 58E30; 49J52; 58C30; 47H10

Nonsmooth analysis and Hamilton-Jacobi equations on Riemannian manifolds

Authors: Daniel Azagra, Juan Ferrera, Fernando Lopez-Mesas

Abstract: 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. 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. △ Less

Submitted 29 May, 2003; originally announced May 2003.

Comments: 46 pages

MSC Class: 49J52; 58E30