BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Daniel Azagra

Daniel Azagra appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.FAmath.DGmath.CAmath.APmath.MGmath.OCmath.SP

Catalog footprint

What is connected

11works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

11 published item(s)

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

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access