SearcharxivSearch

arXiv subjects

Juan Ferrera

Publications and source records attributed to Juan Ferrera.

16 recordsLinked to original sources

Convergence of ADAM for Lipschitz Objective Functions

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.

math.OC

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

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.

math.DG

Weak geodesics on prox-regular subsets of Riemannian manifolds

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.

math.DG

An elementary example of Sard's Theorem sharpness

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

math.CA

Superdifferential of the Takagi function

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.

math.CA

Extensions of convex functions with prescribed subdifferentials

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 mapping. 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.$

math.FA

Infinite derivatives of the Takagi-Van der Waerden functions

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.

math.CA

Nonsmooth Morse-Sard theorems

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.

math.CA

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

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.

math.DG

Viscosity solutions to second order partial differential equations on Riemannian manifolds

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.

math.AP

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

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$.

math.DG

Nonsmooth analysis and Hamilton-Jacobi equations 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.

math.DG