Related papers: On the differentiability of directionally differen…
The paper extends the widely used in optimisation theory decoupling techniques to infinite collections of functions. Extended concepts of uniform lower semicontinuity and firm uniform lower semicontinuity are discussed. The main theorems…
A directional time-frequency localization measure for functions defined on the $d$-dimensional Euclidean space is introduced. A connection between this measure and its periodic counterpart is established. For a class of functions, an…
For any scalar-valued bivariate function that is locally Lipschitz continuous and directionally differentiable, it is shown that a subgradient may always be constructed from the function's directional derivatives in the four compass…
We use the displacement operator to derive an infinite series of integer order derivatives for the Gr\"{u}nwald-Letnikov fractional derivative and show its correspondence to the Riemann-Liouville and Caputo fractional derivatives. We…
The subdifferential of a function is a generalization for nonsmooth functions of the concept of gradient. It is frequently used in variational analysis, particularly in the context of nonsmooth optimization. The present work proposes…
We construct a H\"older continuous function on the unit interval which coincides in uncountably (in fact continuum) many points with every function of total variation smaller than 1 passing through the origin. We say that a function with…
We present a simple functional programming language, called Dual PCF, that implements forward mode automatic differentiation using dual numbers in the framework of exact real number computation. The main new feature of this language is the…
We prove that the viscosity solution to a Hamilton-Jacobi equation with a smooth convex Hamiltonian of the form $H(x,p)$ is differentiable with respect to the initial condition. Moreover, the directional G\^ateaux derivatives can be…
High-order derivatives of analytic functions are expressible as Cauchy integrals over circular contours, which can very effectively be approximated, e.g., by trapezoidal sums. Whereas analytically each radius r up to the radius of…
We study the regularity properties of the centered fractional maximal function $M_{\beta}$. More precisely, we prove that the map $f \mapsto |\nabla M_\beta f|$ is bounded and continuous from $W^{1,1}(\mathbb{R}^d)$ to $L^q(\mathbb{R}^d)$…
Let $\mathcal{M}$ be a semifinite von Neumann algebra equipped with a normal faithful semifinite trace $\tau$, and let $L_p(\mathcal{M})$ denote the associated noncommutative $L_p$-space for $1<p<\infty$. Let $n\in\mathbb{N}$ and let $a, b$…
The classical Rellich inequalities imply that the $L^2$-norms of the normal and tangential derivatives of a harmonic function are equivalent. In this note, we prove several refined inequalities, which make sense even if the domain is not…
Let X be a separable Banach space which admits a separating polynomial; in particular X a separable Hilbert space. Let $f:X \rightarrow R$ be bounded, Lipschitz, and $C^1$ with uniformly continuous derivative. Then for each {\epsilon}>0,…
We show that every model filiform group $\mathbb{E}_{n}$ contains a measure zero set $N$ such that every Lipschitz map $f\colon \mathbb{E}_{n}\to \mathbb{R}$ is differentiable at some point of $N$. Model filiform groups are a class of…
We identity the optimal non-infinitesimal direction of descent for a convex function. An algorithm is developed that can theoretically minimize a subset of (non-convex) functions.
The main objective of this article is to present $\nu$-fractional derivative $\mu$-differentiable functions by considering 4-parameters extended Mittag-Leffler function (MLF). We investigate that the new $\nu$-fractional derivative…
We establish that the map $f\mapsto |\nabla \mathcal{M}_{\alpha}f|$ is continuous from $W^{1,1}(\mathbb{R}^d)$ to $L^{q}(\mathbb{R}^d)$, where $\alpha\in (0,d)$, $q=\frac{d}{d-\alpha}$ and $\mathcal{M}_{\alpha}$ denotes either the centered…
In this work we provide a characterization of distinct type of (linear and non-linear) maps between Banach spaces in terms of the differentiability of certain class of Lipschitz functions. Our results are stated in an abstract bornological…
Let $\mathcal{M}(\mathbb{R}^n)$ be the class of functions $p:\mathbb{R}^n\to[1,\infty]$ bounded away from one and infinity and such that the Hardy-Littlewood maximal function is bounded on the variable Lebesgue space…
This article is centered around generalizing a previous implicit function theorem of the author to be applicable for maps f:E sqcap F to F which can be lifted to Keller C^k_pi maps f_i:E sqcap F_i to F_i with F_i Banach and F=projlim F_i .…