We prove a $$C^m$$ Lusin approximation theorem for horizontal curves in the Heisenberg group. This states that every absolutely continuous curve whose velocity is $$m-1$$ times $$L^1$$ differentiable almost everywhere coincides with except on set of small measure. Conversely, we show result no longer holds if differentiability replaced by approximate differentiability. shows our optimal and hig...

The paper mostly concerns the study of generalized differential properties of the so-called minimal time functions associated, in particular, with constant dynamics and arbitrary closed target sets in control theory. Functions of this type play a significant role in many aspects of optimization, control theory: and Hamilton-Jacobi partial differential equations. We pay the main attention to com...

We propose a method for learning skills by learning kinesthetic skills via trajectory optimization. We recreate demonstrations by optimizing the trajectory to be near the demonstration. We use the trajectory optimizer, TrajOpt to turn distance metrics, the Frechet and Hausdorff distances, into cost functions that penalize a trajectory from deviating from the demonstration. Using a few technique...

"In this paper we investigate the existence of solutions initial value problems (IVP for short), partial hyperbolic functional and neutral differential inclusions fractional order involving Caputo derivative with finite delay by using nonlinear alternative Frigon type multivalued admissible contraction in Frechet spaces."

Introduction. This paper contains the first unified treatment of the dual theory of differentiability of the norm functional in a real normed linear space. With this, the work of Smulian [2; 3] is extended and it is shown how uniform convexity is to be modified so as to obtain geometric properties dual to the various types of differentiability of the norm thus answering a question implicit in t...

In this paper, the norm attaining operators in Frechet spaces are considered. These characterized based on their density, normality, linearity and compactness. It is shown that image dense for a normal injective operator space, as well its inverse given self-adjoint. A space also to be if adjoint attains condition under which attainability normality of an coincides given. Furthermore, between l...

Analytical formulas are derived to compute the first-order effects produced by plane inhomogeneities on the point source seismic response of a fluid-filled stratified porous medium. The derivation is achieved by a perturbation analysis of the poroelastic wave equations in the plane-wave domain using the Born approximation. This approach yields the Frechet derivatives of the P-SV- and SH-wave re...

A theory of differential calculus for nonlinear maps between general locally convex spaces is developed. All convergence notions are topological, and only familiarity with basic results from point set topology, differential calculus in Banach spaces, and locally convex space theory is assumed. The chain rule for continuous kth order differentiability, smoothness of inverse functions, and functi...