Researcher profile

Daniel Azagra

Daniel Azagra contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

6 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

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

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.