Related papers: Vector calculus in two-dimensional space
Geometric modeling by constraints, whose applications are of interest to communities from various fields such as mechanical engineering, computer aided design, symbolic computation or molecular chemistry, is now integrated into standard…
Vector calculus in three dimensions with a Euclidian metric is the lingua franca of classical physics, including classical electrodynamics. This article corrects some long-standing imprecision in a fundamental result. Some textbooks assert…
We construct the space of vector fields on quantum groups . Its elements are products of the known left invariant vector fields with the elements of the quantum group itself. We also study the duality between vector fields and 1-forms. The…
We consider the space of convex functions defined in the Euclidean $n$-dimensional space, which are lower semi-continuous and tend to infinity at infinity. We study real-valued valuations defined on this space of functions, which are…
A generalization of exterior calculus is considered by allowing the partial derivatives in the exterior derivative to assume fractional orders. That is, a fractional exterior derivative is defined. This is found to generate new vector…
We prove identities generating higher dimensional vector partitions. We derive theorems for integer lattice points in the 2D first quadrant, then generalize the approach to find 3D and $n$-space lattice point vector region extensions. We…
We present the basic theory of calculus on dual real numbers, and prove the counterpart of the ordinary fundamental theorem of calculus in the context of dual real numbers.
The traditional study of plane and space algebraic curves by looking at their tangent vectors, curvatures and torsions provides geometric, but unfortunately not sufficient information about individual curves in order to be able to…
The basics of the Wigner formulation of Quantum-Mechanics and few related interpretational issues are presented in a simple language. This formulation has extensive applications in Quantum Optics and in Mixed Quantum-Classical formulations.
We construct a polynomial planar vector field of degree two with one invariant algebraic curves of large degree. We exhibit an explicit quadratic vector fields which invariant curves of degree nine, twelve, fifteen and eighteen degree.
Continuum equations are ubiquitous in physical modelling of elastic, viscous, and viscoelastic systems. The equations of continuum mechanics take nontrivial forms on curved surfaces. Although the curved surface formulation of the continuum…
In this part of the series five-dimensional tangent vectors are introduced first as equivalence classes of parametrized curves and then as differential-algebraic operators that act on scalar functions. I then examine their basic algebraic…
A real vector space combined with an inverse for vectors is sufficient to define a vector continued fraction whose parameters consist of vector shifts and changes of scale. The choice of sign for different components of the vector inverse…
Algebraic lambda-calculi have been studied in various ways, but their semantics remain mostly untouched. In this paper we propose a semantic analysis of a general simply-typed lambda-calculus endowed with a structure of vector space. We…
The Doppler effect has many applications in science and engineering fields. Although the format of the classical Doppler effect equation is simple, the derivation for the equation in physics textbooks is not intuitive to many students. This…
Dynamic arrays, also referred to as vectors, are fundamental data structures used in many programs. Modeling their semantics efficiently is crucial when reasoning about such programs. The theory of arrays is widely supported but is not…
Pairs of metrics in a two-dimensional linear vector space are considered, one of which is a Minkowski type metric. Their simultaneous diagonalizability is studied and canonical presentations for them are suggested.
Applications of the three-dimensional transformation for rotating coordinate systems to quantum mechanics, general theory relativity and optics are considered.
A unitary (Euclidean) representation of a quiver is given by assigning to each vertex a unitary (Euclidean) vector space and to each arrow a linear mapping of the corresponding vector spaces. We recall an algorithm for reducing the matrices…
We discuss in some generality aspects of noncommutative differential geometry associated with reality conditions and with differential calculi. We then describe the differential calculus based on derivations as generalization of vector…