Related papers: On subcartesian spaces Leibniz' rule implies the c…

It is be shown that the sequence of Bernstein polynomials for a function of several variables converges to this function uniformly along with every partial derivative of any order, provided that the latter derivative is well defined and…

A subspace arrangement in a vector space is a finite collection of vector subspaces. Similarly, a configuration of linear spaces in a projective space is a finite collection of linear subspaces. In this paper we study the degree 2 part of…

We prove the following result: if a continuous vector field $F$ is Lipschitz when restricted to the hypersurfaces determined by a suitable foliation and a transversal condition is satisfied at the initial condition, then $F$ determines a…

Superderivations for the eight families of finite or infinite dimensional graded Lie superalgebras of Cartan-type over a field of characteristic $p>3$ are completely determined by a uniform approach: The infinite dimensional case is reduced…

In the paper we describe derivations of some classes of Leibniz algebras. It is shown that any derivation of a simple Leibniz algebra can be written as a combination of three derivations. Two of these ingredients are a Lie algebra…

Tangent Spaces of V^r_d(L), Specific subschemes of C_d arising from various line bundles on C, are described. Then we proceed to prove Martense Theorem for these schemes, by which we determine curves C, which for some very ample line bundle…

We provide a first-order necessary and sufficient condition for optimality of lower semicontinuous functions on Banach spaces using the concept of subdifferential. From the sufficient condition we derive that any subdifferential operator is…

We study a product rule and a difference operator equipped with Leibniz rule in a general framework of lattice field theory. It is shown that the difference operator can be determined by the product rule and some initial data through the…

A space curve is determined by conformal arc-length, conformal curvature, and conformal torsion, up to M\"obius transformations. We use the spaces of osculating circles and spheres to give a conformally defined moving frame of a curve in…

A theorem of Maurer-Cartan type for Lie algebroids is presented. Suppose that any vector subbundle of a Lie algebroid is called interior differential system (IDS) for that Lie algebroid. A theorem of Cartan type is obtained. Extending the…

We prove that the integral of scalar curvature over a Riemannian manifold is uniformly bounded below in terms of its dimension, upper bounds on sectional curvature and volume, and a lower bound on injectivity radius. This is an analogue of…

We first study Clarke's tangent cones at infinity to unbounded subsets of $\mathbb{R}^n.$ We prove that these cones are closed convex and show a characterization of their interiors. We then study subgradients at infinity for extended real…

We show that no matter what subset of a normed space is given, a typical 1-Lipschitz mapping into a Banach space is non-differentiable at a typical point of the set in a very strong sense: the derivative ratio approximates, on arbitrary…

A basic theory on the first order right and left linear quaternion differential systems (LQDS) is given systematic in this paper. To proceed the theory of LQDS we adopt the theory of column-row determinants recently introduced by the…

We establish an upper bound for the cochain type level of the total space of a pull-back fibration. It explains to us why the numerical invariant for a principal bundle over the sphere are less than or equal to two. Moreover computational…

We prove an analogue of the Lefschetz (1,1) Theorem characterizing cohomology classes of Cartier divisors (or equivalently first Chern classes of line bundles) in the second integral cohomology. Let $X$ be a normal complex projective…

In a finite volume system, we prove a no-go theorem on a Leibniz rule with a care of locality argument on latttice. The new possibility on the Leibniz rule solutions on lattice is discussed. Although the new solution admits a local…

Differential completions and compactifications of differential spaces are introduced and investigated. The existence of the maximal differential completion and the maximal differential compactification is proved. A sufficient condition for…

Dirichlet-to-Neumann maps enable the coupling of multiphysics simulations across computational subdomains by ensuring continuity of state variables and fluxes at artificial interfaces. We present a novel method for learning…

For an arithmetically Cohen--Macaulay subscheme of projective space, there is a well-known bound for the highest degree of a minimal generator for the defining ideal of the subscheme, in terms of the Hilbert function. We prove a natural…