Source author record

Daniel Azagra

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.FA math.DG math.CA math.AP math.MG math.OC math.SP

Catalog footprint

Research overview

11works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Inner and outer smooth approximation of convex hypersurfaces. When is it possible?

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

preprint2020arXiv

Convex $C^1$ extensions of $1$ -jets from compact subsets of Hilbert spaces

Let $X$ denote a Hilbert space. Given a compact subset $K$ of $X$ and two continuous functions $f:K\to\mathbb{R}$ , $G:K\to X$ , we show that a necessary and sufficient condition for the existence of a convex function $F\in C^1(X)$ such that $F=f$ on $K$ and $\nabla F=G$ on $K$ is that the $1$ -jet $(f, G)$ satisfies (1) $f(x)\geq f(y)+ \langle G(y), x-y\rangle$ for all $x, y\in K$ , and (2) if $x, y\in K$ and $f(x)= f(y)+ \langle G(y), x-y\rangle$ then $G(x)=G(y)$ . We also solve a similar problem for $K$ replaced with an arbitrary bounded subset of $X$ , and for $C^1(X)$ replaced with the class $C^{1,u}_{b}(X)$ of differentiable functions with uniformly continuous derivatives on bounded subsets of $X$ .

preprint2020arXiv

Kirszbraun's theorem via an explicit formula

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.

preprint2020arXiv

On the global shape of continuous convex functions on Banach spaces

We make some remarks on the global shape of continuous convex functions defined on a Banach space $Z$ . Among other results we prove that if $Z$ is separable then for every continuous convex function $f:Z\to\mathbb{R}$ there exist a unique closed linear subspace $Y_f$ of $Z$ such that, for the quotient space $X_f :=Z/Y_{f}$ and the natural projection $π:Z\to X_f$ , the function $f$ can be written in the form $f(z)=φ(π(z)) +\ell(z) \textrm{ for all } z\in Z,$ where $\ell_{f}\in X^{*}$ and $φ:X_f\to\mathbb{R}$ is a convex function such that $\lim_{t\to\infty}φ(x+tv)=\infty$ for every $x, v\in X_f$ with $v\neq 0$ . This kind of result is generally false if $Z$ is nonseparable (even in the Hilbertian case $Z=\ell_{2}(Γ)$ with $Γ$ an uncountable set).

preprint2016arXiv

An Extension Theorem for convex functions of class $C^{1,1}$ on Hilbert spaces

Let $\mathbb{H}$ be a Hilbert space, $E \subset \mathbb{H}$ be an arbitrary subset and $f: E \rightarrow \mathbb{R}, \: G: E \rightarrow \mathbb{H}$ be two functions. We give a necessary and sufficient condition on the pair $(f,G)$ for the existence of a \textit{convex} function $F\in C^{1,1}(\mathbb{H})$ such that $F=f$ and $\nabla F =G$ on $E$ . We also show that, if this condition is met, $F$ can be taken so that $\textrm{Lip}(\nabla F) = \textrm{Lip}(G)$ . We give a geometrical application of this result, concerning interpolation of sets by boundaries of $C^{1,1}$ convex bodies in $\mathbb{H}$ . Finally, we give a counterexample to a related question concerning smooth convex extensions of smooth convex functions with derivatives which are not uniformly continuous.

preprint2016arXiv

Whitney Extension Theorems for convex functions of the classes $C^1$ and $C^{1,ω}$

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 normals on $K$ .

preprint2014arXiv

Global and fine approximation of convex functions

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 by $C^{\infty}$ convex functions in the $C^{1}$ -fine topology, and we provide some applications of these results, concerning prescription of (sub-)differential boundary data to convex real analytic functions, and smooth surgery of convex bodies.

preprint2014arXiv

Global approximation of convex functions by differentiable convex functions on Banach spaces

We show that if $X$ is a Banach space whose dual $X^{*}$ has an equivalent locally uniformly rotund (LUR) norm, then for every open convex $U\subseteq X$ , for every $\varepsilon >0$ , and for every continuous and convex function $f:U \rightarrow \mathbb{R}$ (not necessarily bounded on bounded sets) there exists a convex function $g:X \rightarrow \mathbb{R}$ of class $C^1(U)$ such that $f-\varepsilon\leq g\leq f$ on $U.$ We also show how the problem of global approximation of continuous (not necessarily bounded on bounded sets) and convex functions by $C^k$ smooth convex functions can be reduced to the problem of global approximation of Lipschitz convex functions by $C^k$ smooth convex functions.

preprint2014arXiv

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.

preprint2012arXiv

On $C^{0}$ -fine approximation of convex functions by real analytic convex functions

We show that $C^0$ -fine approximation of convex functions by smooth (or real analytic) convex functions on $\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 $\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 behavior. We give some applications concerning prescription of (sub-)differential boundary data to convex real analytic functions, and smooth surgery of convex bodies.

preprint2010arXiv

Concentration of symmetric eigenfunctions

In this article we examine the concentration and oscillation effects developed by high-frequency eigenfunctions of the Laplace operator in a compact Riemannian manifold. More precisely, we are interested in the structure of the possible invariant semiclassical measures obtained as limits of Wigner measures corresponding to eigenfunctions. These measures describe simultaneously the concentration and oscillation effects developed by a sequence of eigenfunctions. We present some results showing how to obtain invariant semiclassical measures from eigenfunctions with prescribed symmetries. As an application of these results, we give a simple proof of the fact that in a manifold of constant positive sectional curvature, every measure which is invariant by the geodesic flow is an invariant semiclassical measure.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Daniel Azagra

Research overview

Is this your work?

11 publications

Inner and outer smooth approximation of convex hypersurfaces. When is it possible?

Convex $C^1$ extensions of $1$ -jets from compact subsets of Hilbert spaces

Kirszbraun's theorem via an explicit formula

On the global shape of continuous convex functions on Banach spaces

An Extension Theorem for convex functions of class $C^{1,1}$ on Hilbert spaces

Whitney Extension Theorems for convex functions of the classes $C^1$ and $C^{1,ω}$

Global and fine approximation of convex functions

Global approximation of convex functions by differentiable convex functions on Banach spaces

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

On $C^{0}$ -fine approximation of convex functions by real analytic convex functions

Concentration of symmetric eigenfunctions

See the researcher in context

Building this map preview

Daniel Azagra

Research overview

Is this your work?

11 publications

Inner and outer smooth approximation of convex hypersurfaces. When is it possible?

Convex C1C^1C1 extensions of 111-jets from compact subsets of Hilbert spaces

Kirszbraun's theorem via an explicit formula

On the global shape of continuous convex functions on Banach spaces

An Extension Theorem for convex functions of class C1,1C^{1,1}C1,1 on Hilbert spaces

Whitney Extension Theorems for convex functions of the classes C1C^1C1 and C1,ωC^{1,ω}C1,ω

Global and fine approximation of convex functions

Global approximation of convex functions by differentiable convex functions on Banach spaces

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

On C0C^{0}C0-fine approximation of convex functions by real analytic convex functions

Concentration of symmetric eigenfunctions

See the researcher in context

Building this map preview

Convex $C^1$ extensions of $1$ -jets from compact subsets of Hilbert spaces

An Extension Theorem for convex functions of class $C^{1,1}$ on Hilbert spaces

Whitney Extension Theorems for convex functions of the classes $C^1$ and $C^{1,ω}$

On $C^{0}$ -fine approximation of convex functions by real analytic convex functions