Related papers: Clarke subgradients of stratifiable functions

Motivated by the testing condition for Radon-Brascamp-Lieb multilinear functionals established in arXiv:2201.12201, this paper is concerned with identifying local conditions on smooth maps $u(t)$ with values in the space of decomposable…

If $F$ is a set-valued mapping from $\R^n$ into $\R^m$ with closed graph, then $y\in \R^m$ is a critical value of $F$ if for some $x$ with $y\in F(x)$, $F$ is not metrically regular at $(x,y)$. We prove that the set of critical values of a…

The main result of this paper states, that if a function $f:\R^2\to [0, +\infty)$ has a closed graph and the set of discontinuity points is a network (as defined by Kuratowski in Topology II, 61.IV), then the graph of $f$ is disconnected.…

Much of the vast literature on the integral during the last two centuries concerns extending the class of integrable functions. In contrast, our viewpoint is akin to that taken by Hassler Whitney [{\it Geometric integration theory},…

We prove the closedness theorem over Henselian valued fields, which was established over rank one valued fields in one of our recent papers. In the proof, as before, we use the local behaviour of definable functions of one variable and the…

The classical Clarke subdifferential alone is inadequate for understanding automatic differentiation in nonsmooth contexts. Instead, we can sometimes rely on enlarged generalized gradients called "conservative fields", defined through the…

Our objective is to develop a stratified Morse theory with tangential conditions. We define a continuous strata-wise smooth Morse function on an abstract stratified space by using control conditions and radiality assumptions on the gradient…

The Whitney group $K_1(A)$ is isomorphic to $A^\times \times \operatorname{SK}_1(A)$ for some subgroup $\operatorname{SK}_1(A)$, where $A$ is a commutative ring and $A^\times$ denotes the set of units in $A$. Consider an o-minimal expansion…

We prove two theorems about differentiable functions on the Banach space C(K), where K is compact. (i) If C(K) admits a non-trivial function of class C^m and of bounded support, then all continuous real-valued functions on C(K) may be…

For a locally Lipschitz continuous function $f:X\to\mathbb{R}$ the generalized gradient $\partial f(x)$ of Clarke is used to develop some (set-valued) gradient on a set $A\subset X$. Existence, uniqueness and some approximation are…

We consider a countably generated and uniformly closed algebra of bounded functions. We assume that there is a lower semicontinuous, with respect to the supremum norm, quadratic form and that normal contractions operate in a certain sense.…

We extend the circle of ideas from a previous paper on hypersurfaces to functions $f \colon (\mathbb C^n, 0) \to (\mathbb C^k, 0)$ with an isolated singularity in a stratified sense on an arbitrary, but fixed complex analytic germ $(X, 0)$.…

Subgradient and Newton algorithms for nonsmooth optimization require generalized derivatives to satisfy subtle approximation properties: conservativity for the former and semismoothness for the latter. Though these two properties originate…

We show that Caratheodory's conjecture, on umbilical points of closed convex surfaces, may be reformulated in terms of the existence of at least one umbilic in the graphs of functions f: R^2-->R whose gradient decays uniformly faster than…

The convergence theory for the gradient sampling algorithm is extended to directionally Lipschitz functions. Although directionally Lipschitz functions are not necessarily locally Lipschitz, they are almost everywhere differentiable and…

We consider the gradient method with variable step size for minimizing functions that are definable in o-minimal structures on the real field and differentiable with locally Lipschitz gradients. We prove that global convergence holds if…

A classical result of variational analysis, known as Attouch theorem, establishes the equivalence between epigraphical convergence of a sequence of proper convex lower semicontinuous functions and graphical convergence of the corresponding…

Let $X=C[0,1]$, and $Y$ be an arbitrary Banach space. Consider a collection of open segments $\{V_i \}\subset X$. Suppose the map $f: \cup_i V_i \to Y$ has $q$ bounded Fr\'echet derivatives ($q=0,1,...,\infty$), and $f$ and all its…

We observe that a recent result by Gardiner and Sj\"odin, solving a problem of Kr\'{a}l on subharmonic functions, can be easily generalized to yield a somewhat stronger result. This can be combined with a viscosity technique of ours, which…

We describe some sufficient conditions, under which smooth and compactly supported functions are or are not dense in the fractional Sobolev space $W^{s,p}(\Omega)$ for an open, bounded set $\Omega\subset\mathbb{R}^{d}$. The density property…