The aim of this paper is to write explicit expression in terms of a given principal connection of the Lagrange-d'Alembert-Poincarè equations in several stages. This is obtained by using a reduced Lagrange-d'Alembert's Principle in several stages, extending methods introduced for the case of two stages by one of the aut…
New proof of Lorentzian splitting theorems using elliptic operators.
problem Proving splitting theorems in Lorentzian geometry.
method Using a negative homogeneity elliptic p-d'Alembert operator to prove theorems.
result Lorentzian splitting theorems are proven in a framework similar to Riemannian geometry.
On the basis of loop group decompositions (Birkhoff decompositions), we give a discrete version of the nonlinear d'Alembert formula, a method of separation of variables of difference equations, for discrete constant negative Gauss curvature (pseudospherical) surfaces in Euclidean three space. We also compute two exampl…
New approach to gravity theory sacrifices smoothness for ellipticity.
problem Developing a nonsmooth theory of gravity.
method Using a negative homogeneity p-d'Alembert operator to sacrifice linearity for ellipticity.
result Obtained a low-regularity splitting theorem.
Low regularity spacetimes split into simpler structures.
problem Proving splitting theorem for C1 metrics and weights. method Combining elliptic techniques and line-adapted curves.
result Extends Lorentzian splitting theorem to C1 settings. To every Darboux integrable system there is an associated Lie group G which is a fundamental invariant of the system and which we call the Vessiot group. This article shows that solving the Cauchy problem for a Darboux integrable partial differential equation can be reduced to solving an equation of Lie type for the …
Dirac structures on tangent bundles provide a unified framework for Lagrange--Dirac dynamical systems.
problem Unified geometric framework for Lagrange--Dirac dynamical systems
method Introducing a Lagrange--Dirac structure on the tangent bundle
result Unified framework for nonholonomic, degenerate Lagrangian, and symmetric systems
We address the problem of constructing numerical integrators for nonholonomic Lagrangian systems that enjoy appropriate discrete versions of the geometric properties of the continuous flow, including the preservation of energy. Building on previous work on time-dependent discrete mechanics, our approach is based on a d…
The paper introduces discrete Dirac structures for mechanics, simplifying dynamics.
problem Formulating discrete mechanics with constraints.
method Developed (±)-discrete Dirac structures and induced Dirac structures. result Discrete Lagrange--Dirac systems are equivalent to (±)-discrete Lagrange--d'Alembert equations. This article is an application of the author's paper about a construction method for discrete constant negative Gaussian curvature surfaces, the nonlinear d'Alembert formula. The heart of this formula is the Birkhoff decomposition, and we give a simple algorithm for the Birkhoff decomposition. As an application, we dra…
A geometric multisymplectic formulation of the classical BRST symmetry of constrained first-order classical field theories is described. To effect this we introduce graded analogues of the bundles and manifolds of the multisymplectic formulation of first-order field theories. The Lagrange-d'Alembert formalism is also d…
A Hopf hypersurface in complex hyperbolic space CH^n is one in which the complex structure applied to the normal vector is a principal direction at each point. In this paper, Hopf hypersurfaces for which the corresponding principal curvature is small (relative to the ambient sectional curvature) are studied by means of…
Study nonholonomic systems with collisions using variational principles.
problem Variational problems on nonholonomic systems with collisions.
method Extended variational principle, introduced connection on principal bundles, applied Lagrange–Poincaré–Pontryagin reduction.
result Implicit Lagrange–d'Alembert–Pontryagin equations for nonholonomic systems with collisions.
In this paper we study constant positive Gauss curvature K surfaces in the 3-sphere S3 with 0<K<1 as well as constant negative curvature surfaces. We show that the so-called normal Gauss map for a surface in S3 with Gauss curvature K<1 is Lorentz harmonic with respect to the metric induced by the second fun…
New calculus on spacetimes for nonlinear differential equations.
problem Nonlinear differential equations on metric measure spacetimes.
method Introduces maximal weak subslope and variational calculus.
result Establishes a comparison theorem for nonlinear p-d'Alembertian. Derives new optimization methods using variational integrators.
problem Optimization methods in machine learning.
method Variational integrators and principles of Hamilton and Lagrange-d'Alembert.
result Derives two families of optimization methods, including Nesterov's accelerated gradient method.
There are many equivalent definitions of Riemannian geodesics. They are naturally generalised to sub-Riemannian manifold, but become non-equivalent. We give a review of different definitions of geodesics of a sub-Riemannian manifold and interrelation between them. We recall three variational definitions of geodesics as…
This work extends reduction processes for nonholonomic discrete mechanical systems.
problem Nonholonomic discrete mechanical systems and their reductions.
method Introduces a category LDPd of discrete-time dynamical systems and a two-stage reduction process. result Two-stage reduction process produces systems isomorphic to one-stage reduction.
Novel discretization of Euler equations for incompressible fluids.
problem Nonholonomic constraints in discrete fluid dynamics.
method Vakonomic perspective on Lie group of volume-preserving diffeomorphisms.
result Discrete fluid trajectories remain geodesics on a sub-Riemannian manifold.
The geometric Cauchy problem for a class of surfaces in a pseudo-Riemannian manifold of dimension 3 is to find the surface which contains a given curve with a prescribed tangent bundle along the curve. We consider this problem for constant negative Gauss curvature surfaces (pseudospherical surfaces) in Euclidean 3-spac…
The paper proves properties of Lipschitz spacetimes with bounded Ricci curvature.
problem Properties of Lipschitz spacetimes with bounded Ricci curvature.
method Globally hyperbolic spacetimes with locally Lipschitz metrics and timelike Ricci curvature.
result New comparison theorems for Lipschitz spacetimes.
In this paper we formulate a geometric theory of the mechanics of growing solids. Bulk growth is modeled by a material manifold with an evolving metric. Time dependence of metric represents the evolution of the stress-free (natural) configuration of the body in response to changes in mass density and "shape". We show t…
Geometrically reformulates Cosserat solid mechanics using differential geometry.
problem Formalizing Cosserat solid mechanics in modern differential geometry.
method Formulation as a principal fibre bundle, using Cartan's magic formula, and integrating infinitesimal strains.
result Reveals strain as a Lie algebra-valued one-form and finite strain through integration.
This paper completes the construction of arbitrary order conformally invariant differential operators in higher spin spaces. Jan Slovák has classified all conformally invariant differential operators on locally conformally flat manifolds. We complete his results in higher spin theory by giving explicit expressions for …
The paper connects eigenvalue problems for various operators and establishes inequalities and asymptotic formulas for heat traces.
problem Eigenvalue problems and heat trace asymptotics for different operators.
method Establishes connections and inequalities for eigenvalues and heat traces.
result Eigenvalue inequalities and three-term asymptotic formulas for heat traces of various operators.
Introduces a new elliptic operator with positive eigenvalue.
problem None explicitly stated in the abstract.
method Introduces a new elliptic operator called the two-radical Laplace operator.
result The eigenvalue of the new operator is the positive square root of the Laplace operator's eigenvalue.
Proves Kato inequalities for various conformal operators.
problem Proving inequalities for differential operators.
method Analyzes a class of first order differential operators, including Dirac and Penrose twistor operators.
result Derives Kato inequalities that interpolate between classical and refined versions.
We describe a set of conformally covariant boundary operators associated to the Paneitz operator, in the sense that they give rise to a conformally covariant energy functional for the Paneitz operator on a compact Riemannian manifold with boundary. These operators naturally give rise to a first- and third-order conform…
Study on biharmonic hypersurfaces with specific recurrent operators in Euclidean space.
problem Characterizing biharmonic hypersurfaces with recurrent operators.
method Analysis of various recurrent operators and their impact on biharmonic hypersurfaces.
result Some well-known recurrent operators play a significant role in making biharmonic hypersurfaces minimal.
Local index theorem for chiral geometric operators proved using heat kernel.
problem Proving a local index theorem for geometric first-order differential operators.
method Using Gilkey's invariance theory and heat kernel techniques.
result Supertrace of heat kernel converges to Chern-Weil form.
Study estimates eigenvalues for concave Hessian operators on convex domains.
problem Estimating eigenvalues for concave elliptic Hessian operators.
method Investigates Dirichlet eigenvalue problem for a broad class of concave elliptic Hessian operators.
result Existence and properties of the first nonzero eigenvalue and eigenfunction.
The paper proves homotopy equivalences for spaces of unbounded Fredholm operators.
problem Spaces of unbounded Fredholm operators and their properties.
method Analyzing the spaces and proving homotopy equivalences.
result Natural maps between four spaces of unbounded Fredholm operators are homotopy equivalences.
GJMS operators connect geometry, analysis, and physics.
problem None explicitly stated; focus on operators and their impact.
method Construction of conformally invariant differential operators.
result GJMS operators have significant impact in geometry, analysis, and physics.
Extends Calabi operator to Riemannian locally symmetric spaces.
problem Local integrability conditions on Riemannian locally symmetric spaces.
method Generalizes Calabi operator to Riemannian locally symmetric spaces.
result Generalised operator works in irreducible case and fails in products.
New spectral torsion defined for rescaled Dirac operators.
problem Defining spectral torsion for rescaled Dirac operators.
method Using three vector fields and noncommutative residue.
result Computed spectral torsion for one form rescaled Dirac operators.
Proves formal self-adjointness of certain differential operators.
problem Verifying conjectures about differential operators.
method Proving formal self-adjointness through mathematical proof.
result Proves two conjectures about differential operators.
The paper proves new theorems about specific types of operator perturbations.
problem Analyzing conformal perturbations of Dirac and signature operators.
method Developed Kastler-Kalau-Walze type theorems for specific operator types.
result Established new theorems for six-dimensional manifolds with boundary.
Study of Dirac-like operators on spin manifolds with large mass parameters.
problem Understanding spectra of Dirac-like operators with piecewise constant mass terms.
method Analysis of asymptotic regimes to derive effective operators.
result Extension of MIT Bag operator concept to spin geometry.
Study essential spectrum of differential operators on geometrically finite orbifolds.
problem Analyzing the essential spectrum of differential operators over specific geometric structures.
method Investigates first order and Laplace type elliptic differential operators on Riemannian vector bundles over geometrically finite orbifolds.
result Discovers properties of essential spectra for these operators.
The study proves inequalities for complex operators on curved spaces.
problem Establishing inequalities for nonlocal operators on curved spaces.
method Defining and analyzing nonlocal Pucci operators on manifolds with nonnegative sectional curvatures, proving Harnack inequalities and Holder estimates.
result Harnack inequalities and Holder estimates for nonlocal operators on manifolds with nonnegative sectional curvatures.
Study on opers over complex manifolds of dimension one.
problem Investigating opers over complex manifolds of dimension one.
method Introducing relative opers and differential operators, analyzing their equivalence.
result Bijective correspondence between relative opers and differential operators.
Mixtures of neural operators reduce active complexity in operator learning.
problem Reduction of active complexity in operator learning models.
method Constructive comparison between routed mixtures of neural operators (MoNOs) and a fixed single-neural-operator construction.
result Every scalar uniformly continuous nonlinear operator can be approximated by a MoNO whose active expert has smaller depth, width, and rank scaling.
Formula for Hadamard coefficients from Green's operators on spacetimes.
problem Calculating Hadamard coefficients from Green's operators on spacetimes.
method Developed formulas for diagonal values and integrals over the diagonal of Hadamard coefficients.
result Formulated analogues of Hadamard expansions and resolvents for Green's operators.
Study perturbs Dirac operators in any dimension, focusing on Majorana fermions.
problem Understanding perturbations of Dirac operators in various dimensions.
method Analyzes canonical perturbations of Dirac operators on Hermitian Clifford modules.
result Characterizes the low-energy spectrum of these operators on complete surfaces.
Identifies Lorentzian locally symmetric spaces where Calabi operator suffices to determine Killing operator range.
problem Determining when the Calabi operator can identify the range of the Killing operator in Lorentzian locally symmetric spaces.
method Developed criteria for a connection to be in the range of a connection, applied to the Killing connection.
result For indecomposable spaces, the Calabi operator suffices to identify the range of the Killing operator; for products, it fails.
Researchers create a family of conformally covariant operators.
problem Developing a comprehensive set of conformally covariant operators.
method Constructing a family of conformally covariant tridifferential operators as tangential operators in the Fefferman--Graham ambient space.
result Symmetrization of ambient operators is formally self-adjoint.
The paper revisits and analyzes the tmd-operator in almost Kähler manifolds.
problem Constructing an elliptic operator analogous to the ∂∂ operator in complex or Kähler manifolds.
method Local analysis estimates and demonstration using the Atiyah-Hitchin-Singer operator.
result Every d-exact (1,1)-form is globally tmd-exact for compact taming symplectic 4-manifolds.
The k-Dirac operator is a differential operator which is natural to geometric structure of a parabolic type. We will give a set of initial conditions for this operator. In the proof of the claim we will need to adapt some parts from the theory of exterior differential systems to the setting of weighted differential ope…