Related papers: Interpreting the Euler-Lagrange Equations as the G…
This paper continues the author's previous work on a limit-free algebraic-geometric construction of the derivative in the class of polynomial functions and extends the proposed framework to elementary functions. Derivatives of rational…
Given a finite p-group G acting on a smooth projective curve X over an algebraically closed field k of characteristic p, the dimension of the tangent space of the associated equivariant deformation functor is equal to the dimension of the…
This paper expands on previous work to derive and motivate the Lagrangian formulation of field theories. In the process, we take three deliberate steps. First, we give the definition of the action and derive Euler-Lagrange equations for…
We introduce a novel gradient descent algorithm extending the well-known Gradient Sampling methodology to the class of stratifiably smooth objective functions, which are defined as locally Lipschitz functions that are smooth on some regular…
This chapter describes how gradient flows and nonlinear power methods in Banach spaces can be used to solve nonlinear eigenvector-dependent eigenvalue problems, and how convergence of (discretized) approximations can be verified. We review…
We study the Euler-Lagrange cohomology and explore the symplectic or multisymplectic geometry and their preserving properties in classical mechanism and classical field theory in Lagrangian and Hamiltonian formalism in each case…
The Reeb space of a smooth function is a topological and combinatoric object and fundamental and important in understanding topological and geometric properties of the manifold of the domain. It is the graph and a topological space endowed…
We study the free boundary Euler equations with surface tension in three spatial dimensions, showing that the equations are well-posed if the coefficient of surface tension is positive. Then we prove that under natural assumptions, the…
In this note we investigate the behavior of harmonic functions at singular points of $\mathsf{RCD}(K,N)$ spaces. In particular we show that their gradient vanishes at all points where the tangent cone is isometric to a cone over a metric…
We give a geometrical interpretation for the principle of stationary action in classical Lagrangian particle mechanics. In a nutshell, the difference of the action along a path and its variation effectively ``counts'' the possible…
We show that on certain diffeological spaces there exist linear derivations that satisfy the Leibniz rule but are not smooth with respect to the given diffeology. This reveals that the notion of tangent space defined via all such…
We develop in this paper a new framework for discrete calculus of variations when the actions have densities involving an arbitrary discretization operator. We deduce the discrete Euler-Lagrange equations for piecewise continuous critical…
The paper considers the Euler system of PDE on a smooth compact Riemannian manifold of positive curvature without boundary, and the sphere ${\mathbb{S}}^2$ in particular. The paper interprets the Euler equations as a transport problem for…
This paper demonstrates that the space of piecewise smooth functions can be well approximated by the space of functions defined by a set of simple (non-linear) operations on smooth uniform splines. The examples include bivariate functions…
We introduce a natural pseudometric on the space of actions of d-generated groups. In this pseudometric, the zero classes correspond to the weak equivalence classes defined by Kechris, and the metric identification is compact. We achieve…
By combining the ideas of Cartan's equivalence method and the method of the equivariant moving frame for pseudo-groups, we develop an efficient method for solving equivalence problems arising from horizontal Lie pseudo-group actions. The…
In this paper we construct a path integral formulation of quantum mechanics on noncommutative phase-space. We first map the system to an equivalent system on the noncommutative plane. Then by applying the formalism of representing a quantum…
We consider the space $\mathcal{M}$ of Euclidean similarity classes of framed loops in $\mathbb{R}^3$. Framed loop space is shown to be an infinite-dimensional K\"{a}hler manifold by identifying it with a complex Grassmannian. We show that…
A variational phase space is constructed for a compact and piecewise flat Riemannian manifold. An extended action functional is provided such that the variational dynamics generate a symplectic flow on the phase space. This symplectic flow…
We develop a framework for studying variational problems in Banach spaces with respect to gradient relations, which encompasses many of the notions of generalized gradients that appear in the literature. We stress the fact that our approach…