Showing 1–50 of 57 results for author: Stern, A

Quadratic projectable Runge-Kutta methods

Authors: Ari Stern, Milo Viviani

Abstract: Runge-Kutta methods are affine equivariant: applying a method before or after an affine change of variables yields the same numerical trajectory. However, for some applications, one would like to perform numerical integration after a quadratic change of variables. For example, in Lie-Poisson reduction, a quadratic transformation reduces the number of variables in a Hamiltonian system, yielding a m… ▽ More Runge-Kutta methods are affine equivariant: applying a method before or after an affine change of variables yields the same numerical trajectory. However, for some applications, one would like to perform numerical integration after a quadratic change of variables. For example, in Lie-Poisson reduction, a quadratic transformation reduces the number of variables in a Hamiltonian system, yielding a more efficient representation of the dynamics. Unfortunately, directly applying a symplectic Runge-Kutta method to the reduced system generally does not preserve its Hamiltonian structure, so many proposed techniques require computing numerical trajectories of the original, unreduced system. In this paper, we study when a Runge-Kutta method in the original variables descends to a numerical integrator expressible entirely in terms of the quadratically transformed variables. In particular, we show that symplectic diagonally implicit Runge-Kutta (SyDIRK) methods, applied to a quadratic projectable vector field, are precisely the Runge-Kutta methods that descend to a method (generally not of Runge-Kutta type) in the projected variables. We illustrate our results with several examples in both conservative and non-conservative dynamics. △ Less

Submitted 19 November, 2024; originally announced November 2024.

Comments: 21 pages

MSC Class: 37M15

Lp -cohomology and the geometry of p-harmonic forms

Authors: Mark A. Stern

Abstract: In this note we describe basic geometric properties of p-harmonic forms and p-coclosed forms and use them to reprove vanishing theorems of Pansu and new injectivity theorems for the Lp -cohomology of simply connected, pinched negatively curved manifolds. We also provide a partial resolution of a conjecture of Gromov on the vanishing of Lp -cohomology on symmetric spaces. In this note we describe basic geometric properties of p-harmonic forms and p-coclosed forms and use them to reprove vanishing theorems of Pansu and new injectivity theorems for the Lp -cohomology of simply connected, pinched negatively curved manifolds. We also provide a partial resolution of a conjecture of Gromov on the vanishing of Lp -cohomology on symmetric spaces. △ Less

Submitted 2 September, 2024; v1 submitted 28 March, 2024; originally announced March 2024.

Comments: 17 pages. Comments welcome. Results depending on the Hodge decomposition of reference [Ama17] removed

MSC Class: 57

Multisymplecticity in finite element exterior calculus

Authors: Ari Stern, Enrico Zampa

Abstract: We consider the application of finite element exterior calculus (FEEC) methods to a class of canonical Hamiltonian PDE systems involving differential forms. Solutions to these systems satisfy a local multisymplectic conservation law, which generalizes the more familiar symplectic conservation law for Hamiltonian systems of ODEs, and which is connected with physically-important reciprocity phenomen… ▽ More We consider the application of finite element exterior calculus (FEEC) methods to a class of canonical Hamiltonian PDE systems involving differential forms. Solutions to these systems satisfy a local multisymplectic conservation law, which generalizes the more familiar symplectic conservation law for Hamiltonian systems of ODEs, and which is connected with physically-important reciprocity phenomena, such as Lorentz reciprocity in electromagnetics. We characterize hybrid FEEC methods whose numerical traces satisfy a version of the multisymplectic conservation law, and we apply this characterization to several specific classes of FEEC methods, including conforming Arnold-Falk-Winther-type methods and various hybridizable discontinuous Galerkin (HDG) methods. Interestingly, the HDG-type and other nonconforming methods are shown, in general, to be multisymplectic in a stronger sense than the conforming FEEC methods. This substantially generalizes previous work of McLachlan and Stern [Found. Comput. Math., 20 (2020), pp. 35-69] on the more restricted class of canonical Hamiltonian PDEs in the de Donder-Weyl "grad-div" form. △ Less

Submitted 29 May, 2025; v1 submitted 6 December, 2023; originally announced December 2023.

Comments: 35 pages; v2: minor revisions

MSC Class: 65N30 (Primary) 70S05 (Secondary)

Functional equivariance and modified vector fields

Authors: Ari Stern, Sanah Suri

Abstract: This paper examines functional equivariance, recently introduced by McLachlan and Stern [Found. Comput. Math. (2022)], from the perspective of backward error analysis. We characterize the evolution of certain classes of observables (especially affine and quadratic) by structure-preserving numerical integrators in terms of their modified vector fields. Several results on invariant preservation and… ▽ More This paper examines functional equivariance, recently introduced by McLachlan and Stern [Found. Comput. Math. (2022)], from the perspective of backward error analysis. We characterize the evolution of certain classes of observables (especially affine and quadratic) by structure-preserving numerical integrators in terms of their modified vector fields. Several results on invariant preservation and symplecticity of modified vector fields are thereby generalized to describe the numerical evolution of non-invariant observables. △ Less

Submitted 15 November, 2023; v1 submitted 4 July, 2023; originally announced July 2023.

Comments: 16 pages; v2: minor revisions

MSC Class: 37M15

Journal ref: J. Comput. Dyn. 11 (2024), no. 4, 409-426

Hamiltonian mechanics and Lie algebroid connections

Authors: Jiawei Hu, Ari Stern

Abstract: We develop a new, coordinate-free formulation of Hamiltonian mechanics on the dual of a Lie algebroid. Our approach uses a connection, rather than coordinates in a local trivialization, to obtain global expressions for the horizontal and vertical dynamics. We show that these dynamics can be obtained in two equivalent ways: (1) using the canonical Lie-Poisson structure, expressed in terms of the co… ▽ More We develop a new, coordinate-free formulation of Hamiltonian mechanics on the dual of a Lie algebroid. Our approach uses a connection, rather than coordinates in a local trivialization, to obtain global expressions for the horizontal and vertical dynamics. We show that these dynamics can be obtained in two equivalent ways: (1) using the canonical Lie-Poisson structure, expressed in terms of the connection; or (2) using a novel variational principle that generalizes Hamilton's phase space principle. △ Less

Submitted 9 October, 2023; v1 submitted 2 April, 2023; originally announced April 2023.

Comments: 17 pages. v2: edits and revisions throughout paper; added Section 3.5 on systems arising from Lie algebroid metrics

MSC Class: 53D17

Journal ref: J. Nonlinear Sci. 34 (2024), no. 1, Paper No. 9, 23 pp

A nonconforming primal hybrid finite element method for the two-dimensional vector Laplacian

Authors: Mary Barker, Shuhao Cao, Ari Stern

Abstract: We introduce a nonconforming hybrid finite element method for the two-dimensional vector Laplacian, based on a primal variational principle for which conforming methods are known to be inconsistent. Consistency is ensured using penalty terms similar to those used to stabilize hybridizable discontinuous Galerkin (HDG) methods, with a carefully chosen penalty parameter due to Brenner, Li, and Sung [… ▽ More We introduce a nonconforming hybrid finite element method for the two-dimensional vector Laplacian, based on a primal variational principle for which conforming methods are known to be inconsistent. Consistency is ensured using penalty terms similar to those used to stabilize hybridizable discontinuous Galerkin (HDG) methods, with a carefully chosen penalty parameter due to Brenner, Li, and Sung [Math. Comp., 76 (2007), pp. 573-595]. Our method accommodates elements of arbitrarily high order and, like HDG methods, it may be implemented efficiently using static condensation. The lowest-order case recovers the $P_1$-nonconforming method of Brenner, Cui, Li, and Sung [Numer. Math., 109 (2008), pp. 509-533], and we show that higher-order convergence is achieved under appropriate regularity assumptions. The analysis makes novel use of a family of weighted Sobolev spaces, due to Kondrat'ev, for domains admitting corner singularities. △ Less

Submitted 26 April, 2024; v1 submitted 21 June, 2022; originally announced June 2022.

Comments: 20 pages; v2: minor revisions and corrections

MSC Class: 65N30; 65N15; 35Q60

Journal ref: SMAI J. Comput. Math. 10 (2024), 85-106

Anticanonical models of smoothings of cyclic quotient singularities

Authors: Arié Stern

Abstract: Given a surface cyclic quotient singularity $Q\in Y$, it is an open problem to determine all smoothings of $Y$ that admit an anticanonical model and to compute it. In [HTU], Hacking, Tevelev, and Urzúa studied certain irreducible components of the versal deformation space of $Y$, and within these components, they found one parameter smoothings $\mathcal{Y} \to \mathbb{A}^1$ that admit an anticanon… ▽ More Given a surface cyclic quotient singularity $Q\in Y$, it is an open problem to determine all smoothings of $Y$ that admit an anticanonical model and to compute it. In [HTU], Hacking, Tevelev, and Urzúa studied certain irreducible components of the versal deformation space of $Y$, and within these components, they found one parameter smoothings $\mathcal{Y} \to \mathbb{A}^1$ that admit an anticanonical model and proved that they have canonical singularities. Moreover, they compute explicitly the anticanonical models that have terminal singularities using Mori's division algorithm [M02]. We study one parameter smoothings in these components that admit an anticanonical model with canonical but non-terminal singularities with the goal of classifying them completely. We identify certain class of "diagonal" smoothings where the total space is a toric threefold and we construct the anticanonical model explicitly using the toric MMP. △ Less

Submitted 11 April, 2022; originally announced April 2022.

Comments: 28 pages, 2 figures

MSC Class: 14

Functional equivariance and conservation laws in numerical integration

Authors: Robert I. McLachlan, Ari Stern

Abstract: Preservation of linear and quadratic invariants by numerical integrators has been well studied. However, many systems have linear or quadratic observables that are not invariant, but which satisfy evolution equations expressing important properties of the system. For example, a time-evolution PDE may have an observable that satisfies a local conservation law, such as the multisymplectic conservati… ▽ More Preservation of linear and quadratic invariants by numerical integrators has been well studied. However, many systems have linear or quadratic observables that are not invariant, but which satisfy evolution equations expressing important properties of the system. For example, a time-evolution PDE may have an observable that satisfies a local conservation law, such as the multisymplectic conservation law for Hamiltonian PDEs. We introduce the concept of functional equivariance, a natural sense in which a numerical integrator may preserve the dynamics satisfied by certain classes of observables, whether or not they are invariant. After developing the general framework, we use it to obtain results on methods preserving local conservation laws in PDEs. In particular, integrators preserving quadratic invariants also preserve local conservation laws for quadratic observables, and symplectic integrators are multisymplectic. △ Less

Submitted 31 July, 2022; v1 submitted 18 November, 2021; originally announced November 2021.

Comments: 23 pages, 1 figure. v2: Made minor revisions, especially to Sections 2 and 5, and added a brief concluding section. Revisions included strengthening the main theorems of Sections 2.1, 5.1, and 5.2 by dropping an unneeded affine-equivariance assumption

MSC Class: 37M15

Journal ref: Found. Comput. Math. 24 (2024), no. 1, 149-177

Schatten classes for Hilbert modules over commutative C*-algebras

Authors: Abel B. Stern, Walter D. van Suijlekom

Abstract: We define Schatten classes of adjointable operators on Hilbert modules over abelian $C^*$-algebras. Many key features carry over from the Hilbert space case. In particular, the Schatten classes form two-sided ideals of compact operators and are equipped with a Banach norm and a $C^*$-valued trace with the expected properties. For trivial Hilbert bundles, we show that our Schatten-class operators c… ▽ More We define Schatten classes of adjointable operators on Hilbert modules over abelian $C^*$-algebras. Many key features carry over from the Hilbert space case. In particular, the Schatten classes form two-sided ideals of compact operators and are equipped with a Banach norm and a $C^*$-valued trace with the expected properties. For trivial Hilbert bundles, we show that our Schatten-class operators can be identified bijectively with Schatten-norm-continuous maps from the base space into the Schatten classes on the Hilbert space fiber, with the fiberwise trace. As applications, we introduce the $C^*$-valued Fredholm determinant and operator zeta functions, and propose a notion of $p$-summable unbounded Kasparov cycles in the commutative setting. △ Less

Submitted 14 October, 2020; originally announced October 2020.

Comments: 28 pages

MSC Class: 46L08

Hybridization and postprocessing in finite element exterior calculus

Authors: Gerard Awanou, Maurice Fabien, Johnny Guzmán, Ari Stern

Abstract: We hybridize the methods of finite element exterior calculus for the Hodge-Laplace problem on differential $k$-forms in $\mathbb{R}^n$. In the cases $k = 0$ and $k = n$, we recover well-known primal and mixed hybrid methods for the scalar Poisson equation, while for $0 < k < n$, we obtain new hybrid finite element methods, including methods for the vector Poisson equation in $n = 2$ and $n = 3$ di… ▽ More We hybridize the methods of finite element exterior calculus for the Hodge-Laplace problem on differential $k$-forms in $\mathbb{R}^n$. In the cases $k = 0$ and $k = n$, we recover well-known primal and mixed hybrid methods for the scalar Poisson equation, while for $0 < k < n$, we obtain new hybrid finite element methods, including methods for the vector Poisson equation in $n = 2$ and $n = 3$ dimensions. We also generalize Stenberg postprocessing from $k = n$ to arbitrary $k$, proving new superconvergence estimates. Finally, we discuss how this hybridization framework may be extended to include nonconforming and hybridizable discontinuous Galerkin methods. △ Less

Submitted 6 October, 2021; v1 submitted 31 July, 2020; originally announced August 2020.

Comments: 30 pages; v2: major revisions to reduce length (cut review material from Section 2, eliminated Sections 3.4-3.5, fewer numerical experiments in Section 7), new results on trace norms (Lemma 2.3) and well-posedness (Theorem 3.4), and minor edits

MSC Class: 65N30 (Primary) 58A14 (Secondary)

Journal ref: Math. Comp. 92 (2023), no. 339, 79-115

Asymptotic commutativity of quantized spaces: the case of $\mathbb{CP}^{p,q}$

Authors: Fedele Lizzi, A. Pinzul, A. Stern, Chuang Xu

Abstract: We present a procedure for quantizing complex projective spaces $\mathbb{CP}^{p,q}$, $q\ge 1$, as well as construct relevant star products on these spaces. The quantization is made unique with the demand that it preserves the full isometry algebra of the metric. Although the isometry algebra, namely $su(p+1,q)$, is preserved by the quantization, the Killing vectors generating these isometries pick… ▽ More We present a procedure for quantizing complex projective spaces $\mathbb{CP}^{p,q}$, $q\ge 1$, as well as construct relevant star products on these spaces. The quantization is made unique with the demand that it preserves the full isometry algebra of the metric. Although the isometry algebra, namely $su(p+1,q)$, is preserved by the quantization, the Killing vectors generating these isometries pick up quantum corrections. The quantization procedure is an extension of one applied recently to Euclidean $AdS_2$, where it was found that all quantum corrections to the Killing vectors vanish in the asymptotic limit, in addition to the result that the star product trivializes to pointwise product in the limit. In other words, the space is asymptotically anti-de Sitter making it a possible candidate for the $AdS/CFT$ correspondence principle. In this article, we find indications that the results for quantized Euclidean $AdS_2$ can be extended to quantized $\mathbb{CP}^{p,q}$, i.e., noncommutativity is restricted to a limited neighborhood of some origin, and these quantum spaces approach $\mathbb{CP}^{p,q}$ in the asymptotic limit. △ Less

Submitted 23 June, 2020; originally announced June 2020.

Journal ref: Phys. Rev. D 102, 065012 (2020)

Dispersive Fractalization in Linear and Nonlinear Fermi-Pasta-Ulam-Tsingou Lattices

Authors: Peter J. Olver, Ari Stern

Abstract: We investigate, both analytically and numerically, dispersive fractalization and quantization of solutions to periodic linear and nonlinear Fermi-Pasta-Ulam-Tsingou systems. When subject to periodic boundary conditions and discontinuous initial conditions, e.g., a step function, both the linearized and nonlinear continuum models for FPUT exhibit fractal solution profiles at irrational times (as de… ▽ More We investigate, both analytically and numerically, dispersive fractalization and quantization of solutions to periodic linear and nonlinear Fermi-Pasta-Ulam-Tsingou systems. When subject to periodic boundary conditions and discontinuous initial conditions, e.g., a step function, both the linearized and nonlinear continuum models for FPUT exhibit fractal solution profiles at irrational times (as determined by the coefficients and the length of the interval) and quantized profiles (piecewise constant or perturbations thereof) at rational times. We observe a similar effect in the linearized FPUT chain at times $t$ where these models have validity, namely $t = \mathrm{O}(h^{-2})$, where $h$ is proportional to the intermass spacing or, equivalently, the reciprocal of the number of masses. For nonlinear periodic FPUT systems, our numerical results suggest a somewhat similar behavior in the presence of small nonlinearities, which disappears as the nonlinear force increases in magnitude. However, these phenomena are manifested on very long time intervals, posing a severe challenge for numerical integration as the number of masses increases. Even with the high-order splitting methods used here, our numerical investigations are limited to nonlinear FPUT chains with a smaller number of masses than would be needed to resolve this question unambiguously. △ Less

Submitted 2 December, 2020; v1 submitted 25 May, 2020; originally announced May 2020.

Comments: 25 pages, 14 figures; v2: minor revisions

Journal ref: European J. Appl. Math. 32 (2021), no. 5, 820-845

Charge-conserving hybrid methods for the Yang-Mills equations

Authors: Yakov Berchenko-Kogan, Ari Stern

Abstract: The Yang-Mills equations generalize Maxwell's equations to nonabelian gauge groups, and a quantity analogous to charge is locally conserved by the nonlinear time evolution. Christiansen and Winther observed that, in the nonabelian case, the Galerkin method with Lie algebra-valued finite element differential forms appears to conserve charge globally but not locally, not even in a weak sense. We int… ▽ More The Yang-Mills equations generalize Maxwell's equations to nonabelian gauge groups, and a quantity analogous to charge is locally conserved by the nonlinear time evolution. Christiansen and Winther observed that, in the nonabelian case, the Galerkin method with Lie algebra-valued finite element differential forms appears to conserve charge globally but not locally, not even in a weak sense. We introduce a new hybridization of this method, give an alternative expression for the numerical charge in terms of the hybrid variables, and show that a local, per-element charge conservation law automatically holds. △ Less

Submitted 8 April, 2021; v1 submitted 22 March, 2020; originally announced March 2020.

Comments: New section on nonzero current, new tables and figures for numerical experiments, and expanded introduction. 27 pages, 2 figures, 1 table

MSC Class: 65M60

Journal ref: SMAI J. Comput. Math., 7:97-119, 2021

Constraint-preserving hybrid finite element methods for Maxwell's equations

Authors: Yakov Berchenko-Kogan, Ari Stern

Abstract: Maxwell's equations describe the evolution of electromagnetic fields, together with constraints on the divergence of the magnetic and electric flux densities. These constraints correspond to fundamental physical laws: the nonexistence of magnetic monopoles and the conservation of charge, respectively. However, one or both of these constraints may be violated when one applies a finite element metho… ▽ More Maxwell's equations describe the evolution of electromagnetic fields, together with constraints on the divergence of the magnetic and electric flux densities. These constraints correspond to fundamental physical laws: the nonexistence of magnetic monopoles and the conservation of charge, respectively. However, one or both of these constraints may be violated when one applies a finite element method to discretize in space. This is a well-known and longstanding problem in computational electromagnetics. We use domain decomposition to construct a family of primal hybrid finite element methods for Maxwell's equations, where the Lagrange multipliers are shown to correspond to a numerical trace of the magnetic field and a numerical flux of the electric flux density. Expressing the charge-conservation constraint in terms of this numerical flux, we show that both constraints are strongly preserved. As a special case, these methods include a hybridized version of Nédélec's method, implying that it preserves the constraints more strongly than previously recognized. These constraint-preserving properties are illustrated using numerical experiments in both the time domain and frequency domain. Additionally, we observe a superconvergence phenomenon, where hybrid post-processing yields an improved estimate of the magnetic field. △ Less

Submitted 28 June, 2019; originally announced July 2019.

Comments: 19 pages, 2 figures, 1 table

Journal ref: Found. Comput. Math. 21 (2021), no. 4, 1075-1098

Invariant connections, Lie algebra actions, and foundations of numerical integration on manifolds

Authors: Hans Z. Munthe-Kaas, Ari Stern, Olivier Verdier

Abstract: Motivated by numerical integration on manifolds, we relate the algebraic properties of invariant connections to their geometric properties. Using this perspective, we generalize some classical results of Cartan and Nomizu to invariant connections on algebroids. This has fundamental consequences for the theory of numerical integrators, giving a characterization of the spaces on which Butcher and Li… ▽ More Motivated by numerical integration on manifolds, we relate the algebraic properties of invariant connections to their geometric properties. Using this perspective, we generalize some classical results of Cartan and Nomizu to invariant connections on algebroids. This has fundamental consequences for the theory of numerical integrators, giving a characterization of the spaces on which Butcher and Lie-Butcher series methods, which generalize Runge-Kutta methods, may be applied. △ Less

Submitted 24 March, 2019; originally announced March 2019.

Comments: 18 pages

MSC Class: 53C05; 17A30; 17B66

Journal ref: SIAM Journal on Applied Algebra and Geometry, Vol.4 (1), pp 49-68 (2020)

Structure-preserving numerical integrators for Hodgkin-Huxley-type systems

Authors: Zhengdao Chen, Baranidharan Raman, Ari Stern

Abstract: Motivated by the Hodgkin-Huxley model of neuronal dynamics, we study explicit numerical integrators for "conditionally linear" systems of ordinary differential equations. We show that splitting and composition methods, when applied to the Van der Pol oscillator and to the Hodgkin-Huxley model, do a better job of preserving limit cycles of these systems for large time steps, compared with the "Eule… ▽ More Motivated by the Hodgkin-Huxley model of neuronal dynamics, we study explicit numerical integrators for "conditionally linear" systems of ordinary differential equations. We show that splitting and composition methods, when applied to the Van der Pol oscillator and to the Hodgkin-Huxley model, do a better job of preserving limit cycles of these systems for large time steps, compared with the "Euler-type" methods (including Euler's method, exponential Euler, and semi-implicit Euler) commonly used in computational neuroscience, with no increase in computational cost. These limit cycles are important to preserve, due to their role in neuronal spiking. Splitting methods even compare favorably to the explicit exponential midpoint method, which is twice as expensive per step. The second-order Strang splitting method is seen to perform especially well across a range of non-stiff and stiff dynamics. △ Less

Submitted 17 March, 2020; v1 submitted 31 October, 2018; originally announced November 2018.

Comments: 27 pages, 10 figures; v2: added discussion and analysis of exponential midpoint method, additional numerical experiments, remarks on reduced Hodgkin-Huxley models, and various minor revisions

MSC Class: 65P30; 37M20; 92C20

Journal ref: SIAM J. Sci. Comput., 42 (2020), B273-B298

Hodge decomposition and the Shapley value of a cooperative game

Authors: Ari Stern, Alexander Tettenhorst

Abstract: We show that a cooperative game may be decomposed into a sum of component games, one for each player, using the combinatorial Hodge decomposition on a graph. This decomposition is shown to satisfy certain efficiency, null-player, symmetry, and linearity properties. Consequently, we obtain a new characterization of the classical Shapley value as the value of the grand coalition in each player's com… ▽ More We show that a cooperative game may be decomposed into a sum of component games, one for each player, using the combinatorial Hodge decomposition on a graph. This decomposition is shown to satisfy certain efficiency, null-player, symmetry, and linearity properties. Consequently, we obtain a new characterization of the classical Shapley value as the value of the grand coalition in each player's component game. We also relate this decomposition to a least-squares problem involving inessential games (in a similar spirit to previous work on least-squares and minimum-norm solution concepts) and to the graph Laplacian. Finally, we generalize this approach to games with weights and/or constraints on coalition formation. △ Less

Submitted 18 September, 2018; v1 submitted 25 September, 2017; originally announced September 2017.

Comments: 21 pages; v2: rewrote Section 2.2 to be a more elementary introduction to the combinatorial Hodge decomposition, added Section 3.5 on explicit decomposition via discrete Green's functions, other minor edits

MSC Class: 91A12; 05C90

Journal ref: Games Econom. Behav., 113 (2019), 186-198

On the Morse index of higher-dimensional free boundary minimal catenoids

Authors: Graham Smith, Ari Stern, Hung Tran, Detang Zhou

Abstract: For all $n$, we define the $n$-dimensional critical catenoid $M_n$ to be the unique rotationally symmetric, free boundary minimal hypersurface of non-trivial topology embedded in the closed unit ball in $\Bbb{R}^{n+1}$. We show that the Morse index $\text{MI}(n)$ of $M_n$ satisfies the following asymptotic estimate as $n$ tends to infinity.… ▽ More For all $n$, we define the $n$-dimensional critical catenoid $M_n$ to be the unique rotationally symmetric, free boundary minimal hypersurface of non-trivial topology embedded in the closed unit ball in $\Bbb{R}^{n+1}$. We show that the Morse index $\text{MI}(n)$ of $M_n$ satisfies the following asymptotic estimate as $n$ tends to infinity. $$ \lim_{n\rightarrow+\infty}\frac{\text{Log}(\text{MI}(n))}{\sqrt{n}\text{Log}(\sqrt{n})} = 1. $$ We also study the numerical problem, providing exact values for the Morse index for $n=2,\cdots,100$, together with qualitative studies of $\text{MI}(n)$ and related geometric quantities for large values of $n$. △ Less

Submitted 4 September, 2017; originally announced September 2017.

MSC Class: 53A10

Journal ref: Calc. Var. Partial Differential Equations 60 (2021), no. 6, Paper No. 208, 44 pp

Finite-rank approximations of spectral zeta residues

Authors: Abel B. Stern

Abstract: We use the asymptotic expansion of the heat trace to express all residues of spectral zeta functions as regularized sums over the spectrum. The method extends to those spectral zeta functions that are localized by a bounded operator. We use the asymptotic expansion of the heat trace to express all residues of spectral zeta functions as regularized sums over the spectrum. The method extends to those spectral zeta functions that are localized by a bounded operator. △ Less

Submitted 7 March, 2018; v1 submitted 3 July, 2017; originally announced August 2017.

Comments: 12 pages, highly simplified, improved convergence

MSC Class: 58J42; 58B34; 35P20

Multisymplecticity of hybridizable discontinuous Galerkin methods

Authors: Robert I. McLachlan, Ari Stern

Abstract: In this paper, we prove necessary and sufficient conditions for a hybridizable discontinuous Galerkin (HDG) method to satisfy a multisymplectic conservation law, when applied to a canonical Hamiltonian system of partial differential equations. We show that these conditions are satisfied by the "hybridized" versions of several of the most commonly-used finite element methods, including mixed, nonco… ▽ More In this paper, we prove necessary and sufficient conditions for a hybridizable discontinuous Galerkin (HDG) method to satisfy a multisymplectic conservation law, when applied to a canonical Hamiltonian system of partial differential equations. We show that these conditions are satisfied by the "hybridized" versions of several of the most commonly-used finite element methods, including mixed, nonconforming, and discontinuous Galerkin methods. (Interestingly, for the continuous Galerkin method in dimension greater than one, we show that multisymplecticity only holds in a weaker sense.) Consequently, these general-purpose finite element methods may be used for structure-preserving discretization (or semidiscretization) of canonical Hamiltonian systems of ODEs or PDEs. This establishes multisymplecticity for a large class of arbitrarily-high-order methods on unstructured meshes. △ Less

Submitted 11 February, 2019; v1 submitted 24 May, 2017; originally announced May 2017.

Comments: 34 pages; v2: minor edits and corrections

MSC Class: 65N30; 37K05

Journal ref: Found. Comput. Math., 20 (2020), 25-69

Geometry of the smallest 1-form Laplacian eigenvalue on hyperbolic manifolds

Authors: Michael Lipnowski, Mark Stern

Abstract: We relate small 1-form Laplacian eigenvalues to relative cycle complexity on closed hyperbolic manifolds: small eigenvalues correspond to closed geodesics no multiple of which bounds a surface of small genus. We describe potential applications of this equivalence principle toward proving optimal torsion homology growth in families of hyperbolic 3-manifolds Benjamini-Schramm converging to… ▽ More We relate small 1-form Laplacian eigenvalues to relative cycle complexity on closed hyperbolic manifolds: small eigenvalues correspond to closed geodesics no multiple of which bounds a surface of small genus. We describe potential applications of this equivalence principle toward proving optimal torsion homology growth in families of hyperbolic 3-manifolds Benjamini-Schramm converging to $\mathbb{H}^3.$ △ Less

Submitted 10 November, 2016; originally announced November 2016.

Instantons on multi-Taub-NUT Spaces I: Asymptotic Form and Index Theorem

Authors: Sergey A. Cherkis, Andres Larrain-Hubach, Mark Stern

Abstract: We study finite action anti-self-dual Yang-Mills connections on the multi-Taub-NUT space. We establish the curvature and the harmonic spinors decay rates and compute the index of the associated Dirac operator. This is the first in a series of papers proving the completeness of the bow construction of instantons on multi-Taub-NUT spaces and exploring it in detail. We study finite action anti-self-dual Yang-Mills connections on the multi-Taub-NUT space. We establish the curvature and the harmonic spinors decay rates and compute the index of the associated Dirac operator. This is the first in a series of papers proving the completeness of the bow construction of instantons on multi-Taub-NUT spaces and exploring it in detail. △ Less

Submitted 7 December, 2019; v1 submitted 29 July, 2016; originally announced August 2016.

Comments: 70 pages, LaTeX, Exposition Improved

Journal ref: Journal of Differential Geometry, Vol. 119, No. 1 (2021), pp. 1-72

Explicit formulas for reaction probability in reaction-diffusion experiments

Authors: Renato Feres, Matthew Wallace, Ari Stern, Gregory Yablonsky

Abstract: A computational procedure is developed for determining the conversion probability for reaction-diffusion systems in which a first-order catalytic reaction is performed over active particles. We apply this general method to systems on metric graphs, which may be viewed as 1-dimensional approximations of 3-dimensional systems, and obtain explicit formulas for conversion. We then study numerically a… ▽ More A computational procedure is developed for determining the conversion probability for reaction-diffusion systems in which a first-order catalytic reaction is performed over active particles. We apply this general method to systems on metric graphs, which may be viewed as 1-dimensional approximations of 3-dimensional systems, and obtain explicit formulas for conversion. We then study numerically a class of 3-dimensional systems and test how accurately they are described by model formulas obtained for metric graphs. The optimal arrangement of active particles in a 1-dimensional multiparticle system is found, which is shown to depend on the level of catalytic activity: conversion is maximized for low catalytic activity when all particles are bunched together close to the point of gas injection, and for high catalytic activity when the particles are evenly spaced. △ Less

Submitted 12 October, 2015; originally announced November 2015.

Journal ref: Comput. Chem. Eng., 125 (2019), 612-622

Lagrangian Mechanics and Reduction on Fibered Manifolds

Authors: Songhao Li, Ari Stern, Xiang Tang

Abstract: This paper develops a generalized formulation of Lagrangian mechanics on fibered manifolds, together with a reduction theory for symmetries corresponding to Lie groupoid actions. As special cases, this theory includes not only Lagrangian reduction (including reduction by stages) for Lie group actions, but also classical Routh reduction, which we show is naturally posed in this fibered setting. Alo… ▽ More This paper develops a generalized formulation of Lagrangian mechanics on fibered manifolds, together with a reduction theory for symmetries corresponding to Lie groupoid actions. As special cases, this theory includes not only Lagrangian reduction (including reduction by stages) for Lie group actions, but also classical Routh reduction, which we show is naturally posed in this fibered setting. Along the way, we also develop some new results for Lagrangian mechanics on Lie algebroids, most notably a new, coordinate-free formulation of the equations of motion. Finally, we extend the foregoing to include fibered and Lie algebroid generalizations of the Hamilton-Pontryagin principle of Yoshimura and Marsden, along with the associated reduction theory. △ Less

Submitted 22 March, 2017; v1 submitted 30 October, 2015; originally announced November 2015.

Journal ref: SIGMA 13 (2017), 019, 26 pages

Maximum principles for the relativistic heat equation

Authors: Evan Miller, Ari Stern

Abstract: The classical heat equation is incompatible with relativity, since the strong maximum principle allows for disturbances to propagate instantaneously. Some authors have proposed limiting the propagation speed by adding a linear hyperbolic correction term, but then even a weak maximum principle fails to hold. We study a more recently introduced relativistic heat equation, which replaces the Laplace… ▽ More The classical heat equation is incompatible with relativity, since the strong maximum principle allows for disturbances to propagate instantaneously. Some authors have proposed limiting the propagation speed by adding a linear hyperbolic correction term, but then even a weak maximum principle fails to hold. We study a more recently introduced relativistic heat equation, which replaces the Laplace operator by a quasilinear elliptic operator, and show that strong and weak maximum principles hold for stationary and time-varying solutions, respectively, as well as for sub- and supersolutions. Moreover, by transforming the equation into an equivalent form, related to the mean curvature operator, we prove even stronger tangency and comparison principles. △ Less

Submitted 17 July, 2015; originally announced July 2015.

Comments: 10 pages

Nonlinear Harmonic Forms and an Indefinite Bochner Formula

Authors: Mark Stern

Abstract: We introduce the study of nonlinear harmonic forms. These are forms which minimize the $L_2$ energy in a cohomology class subject to a nonlinear constraint. In this note, we include only motivations and the most basic existence results. We also introduce a variant of the Bochner formula suitable for probing the structure of the intersection form of a 4-manifold. We introduce the study of nonlinear harmonic forms. These are forms which minimize the $L_2$ energy in a cohomology class subject to a nonlinear constraint. In this note, we include only motivations and the most basic existence results. We also introduce a variant of the Bochner formula suitable for probing the structure of the intersection form of a 4-manifold. △ Less

Submitted 21 October, 2015; v1 submitted 1 November, 2014; originally announced November 2014.

Comments: 12 pages, title changed, first and second variation discussion added

$C^{\infty}$ Stability, Canonical Maps, and Discrete Dynamics

Authors: Mark Stern

Abstract: We study a discrete dynamical system designed to find a 'most holomorphic' connection on a smooth complex vector bundle $E$. We examine the relation between the distance of the chern classes of $E$ from the $(p,p)$ axis of the Hodge diamond and singularity formation. Canonical connections and canonical metrics pulled back from Grassmannians play a major role, and we review their differential geome… ▽ More We study a discrete dynamical system designed to find a 'most holomorphic' connection on a smooth complex vector bundle $E$. We examine the relation between the distance of the chern classes of $E$ from the $(p,p)$ axis of the Hodge diamond and singularity formation. Canonical connections and canonical metrics pulled back from Grassmannians play a major role, and we review their differential geometry. As an exercise in the geometry of canonical connections, we include an expression for the curvature in terms of heat kernels. △ Less

Submitted 31 October, 2014; originally announced October 2014.

Comments: 13 pages

KSBA surfaces with elliptic quotient singularities, $π_1=1$, $p_g=0$, and $K^2=1,2$

Authors: Arié Stern, Giancarlo Urzúa

Abstract: Among log canonical surface singularities, the ones which have a rational homology disk smoothing are the cyclic quotient singularities $\frac{1}{n^2}(1,na-1)$ with gcd$(a,n)=1$, and three distinguished elliptic quotient singularities. We show the existence of smoothable KSBA normal surfaces with $π_1=1$, $p_g=0$, and $K^2=1,2$ for each of these three singularities. We also give a list of new (and… ▽ More Among log canonical surface singularities, the ones which have a rational homology disk smoothing are the cyclic quotient singularities $\frac{1}{n^2}(1,na-1)$ with gcd$(a,n)=1$, and three distinguished elliptic quotient singularities. We show the existence of smoothable KSBA normal surfaces with $π_1=1$, $p_g=0$, and $K^2=1,2$ for each of these three singularities. We also give a list of new (and old) normal surface singularities in smoothable KSBA surfaces for invariants $π_1=1$, $p_g=0$, and $K^2=1,2,3,4$. △ Less

Submitted 17 September, 2014; originally announced September 2014.

The abstract Hodge-Dirac operator and its stable discretization

Authors: Paul Leopardi, Ari Stern

Abstract: This paper adapts the techniques of finite element exterior calculus to study and discretize the abstract Hodge-Dirac operator, which is a square root of the abstract Hodge-Laplace operator considered by Arnold, Falk, and Winther [Bull. Amer. Math. Soc. 47 (2010), 281-354]. Dirac-type operators are central to the field of Clifford analysis, where recently there has been considerable interest in th… ▽ More This paper adapts the techniques of finite element exterior calculus to study and discretize the abstract Hodge-Dirac operator, which is a square root of the abstract Hodge-Laplace operator considered by Arnold, Falk, and Winther [Bull. Amer. Math. Soc. 47 (2010), 281-354]. Dirac-type operators are central to the field of Clifford analysis, where recently there has been considerable interest in their discretization. We prove a priori stability and convergence estimates, and show that several of the results in finite element exterior calculus can be recovered as corollaries of these new estimates. △ Less

Submitted 27 July, 2016; v1 submitted 7 January, 2014; originally announced January 2014.

Comments: 21 pages, 1 figure; v2: minor revisions

MSC Class: 65N30; 58A14

Journal ref: SIAM Journal on Numerical Analysis, Volume 54 Issue 6, 2016, pp. 3258-3279

Banach space projections and Petrov-Galerkin estimates

Authors: Ari Stern

Abstract: We sharpen the classic a priori error estimate of Babuska for Petrov-Galerkin methods on a Banach space. In particular, we do so by (i) introducing a new constant, called the Banach-Mazur constant, to describe the geometry of a normed vector space; (ii) showing that, for a nontrivial projection $P$, it is possible to use the Banach-Mazur constant to improve upon the naive estimate… ▽ More We sharpen the classic a priori error estimate of Babuska for Petrov-Galerkin methods on a Banach space. In particular, we do so by (i) introducing a new constant, called the Banach-Mazur constant, to describe the geometry of a normed vector space; (ii) showing that, for a nontrivial projection $P$, it is possible to use the Banach-Mazur constant to improve upon the naive estimate $ \| I - P \| \leq 1 + \| P \| $; and (iii) applying that improved estimate to the Petrov-Galerkin projection operator. This generalizes and extends a 2003 result of Xu and Zikatanov for the special case of Hilbert spaces. △ Less

Submitted 3 November, 2015; v1 submitted 16 July, 2013; originally announced July 2013.

Comments: 9 pages; v2: added new section on application to Lp and Sobolev spaces

MSC Class: 65N30; 46B20

Journal ref: Numer. Math. (2015) 130:125-133

Modified trigonometric integrators

Authors: Robert I. McLachlan, Ari Stern

Abstract: We study modified trigonometric integrators, which generalize the popular class of trigonometric integrators for highly oscillatory Hamiltonian systems by allowing the fast frequencies to be modified. Among all methods of this class, we show that the IMEX (implicit-explicit) method, which is equivalent to applying the midpoint rule to the fast, linear part of the system and the leapfrog (Störmer/V… ▽ More We study modified trigonometric integrators, which generalize the popular class of trigonometric integrators for highly oscillatory Hamiltonian systems by allowing the fast frequencies to be modified. Among all methods of this class, we show that the IMEX (implicit-explicit) method, which is equivalent to applying the midpoint rule to the fast, linear part of the system and the leapfrog (Störmer/Verlet) method to the slow, nonlinear part, is distinguished by the following properties: (i) it is symplectic; (ii) it is free of artificial resonances; (iii) it is the unique method that correctly captures slow energy exchange to leading order; (iv) it conserves the total energy and a modified oscillatory energy up to to second order; (v) it is uniformly second-order accurate in the slow components; and (vi) it has the correct magnitude of deviations of the fast oscillatory energy, which is an adiabatic invariant. These theoretical results are supported by numerical experiments on the Fermi-Pasta-Ulam problem and indicate that the IMEX method, for these six properties, dominates the class of modified trigonometric integrators. △ Less

Submitted 4 April, 2014; v1 submitted 14 May, 2013; originally announced May 2013.

Comments: 20 pages, 8 figures; v2: minor revisions and reformatting

MSC Class: 65P10; 70K70

Journal ref: SIAM J. Numer. Anal., 52 (2014), pp. 1378-1397

Projection methods and discrete gradient methods for preserving first integrals of ODEs

Authors: R. A. Norton, D. I. McLaren, G. R. W. Quispel, A. Stern, A. Zanna

Abstract: In this paper we study linear projection methods for approximating the solution and simultaneously preserving first integrals of autonomous ordinary differential equations. We show that (linear) projection methods are a subset of discrete gradient methods. In particular, each projection method is equivalent to a class of discrete gradient methods (where the choice of discrete gradient is arbitrary… ▽ More In this paper we study linear projection methods for approximating the solution and simultaneously preserving first integrals of autonomous ordinary differential equations. We show that (linear) projection methods are a subset of discrete gradient methods. In particular, each projection method is equivalent to a class of discrete gradient methods (where the choice of discrete gradient is arbitrary) and earlier results for discrete gradient methods also apply to projection methods. Thus we prove that for the case of preserving one first integral, under certain mild conditions, the numerical solution for a projection method exists and is locally unique, and preserves the order of accuracy of the underlying method. In the case of preserving multiple first integrals the relationship between projection methods and discrete gradient methods persists. Moreover, numerical examples show that similar existence and order results should also hold for the multiple integral case. For completeness we show how existing projection methods from the literature fit into our general framework. △ Less

Submitted 12 February, 2013; originally announced February 2013.

Comments: 31 pages, 4 figures

MSC Class: 65D30; 65L20; 37M99; 65P10

Journal ref: Discrete Contin. Dyn. Syst., 35 (5), 2079-2098, 2015

Witten spinors on nonspin manifolds

Authors: Anda Degeratu, Mark Stern

Abstract: Motivated by Witten's spinor proof of the positive mass theorem, we analyze asymptotically constant harmonic spinors on complete asymptotically flat nonspin manifolds with nonnegative scalar curvature. Motivated by Witten's spinor proof of the positive mass theorem, we analyze asymptotically constant harmonic spinors on complete asymptotically flat nonspin manifolds with nonnegative scalar curvature. △ Less

Submitted 25 September, 2013; v1 submitted 1 December, 2011; originally announced December 2011.

Comments: revised version; aceepted in Communications in Mathematical Physics

Asymptotic Hodge Theory of Vector Bundles

Authors: Benoit Charbonneau, Mark Stern

Abstract: We introduce several families of filtrations on the space of vector bundles over a smooth projective variety. These filtrations are defined using the large k asymptotics of the kernel of the Dolbeault Dirac operator on a bundle twisted by the kth power of an ample line bundle. The filtrations measure the failure of the bundle to admit a holomorphic structure. We study compatibility under the Chern… ▽ More We introduce several families of filtrations on the space of vector bundles over a smooth projective variety. These filtrations are defined using the large k asymptotics of the kernel of the Dolbeault Dirac operator on a bundle twisted by the kth power of an ample line bundle. The filtrations measure the failure of the bundle to admit a holomorphic structure. We study compatibility under the Chern isomorphism of these filtrations with the Hodge filtration on cohomology. △ Less

Submitted 2 November, 2011; originally announced November 2011.

Comments: 23 pages

Journal ref: Communications in Analysis and Geometry vol. 23 no. 3, pp. 559-609. (2015)

Symplectic groupoids and discrete constrained Lagrangian mechanics

Authors: Juan Carlos Marrero, David Martín de Diego, Ari Stern

Abstract: In this article, we generalize the theory of discrete Lagrangian mechanics and variational integrators in two principal directions. First, we show that Lagrangian submanifolds of symplectic groupoids give rise to discrete dynamical systems, and we study the properties of these systems, including their regularity and reversibility, from the perspective of symplectic and Poisson geometry. Next, we u… ▽ More In this article, we generalize the theory of discrete Lagrangian mechanics and variational integrators in two principal directions. First, we show that Lagrangian submanifolds of symplectic groupoids give rise to discrete dynamical systems, and we study the properties of these systems, including their regularity and reversibility, from the perspective of symplectic and Poisson geometry. Next, we use this framework -- along with a generalized notion of generating function due to Sniatycki and Tulczyjew -- to develop a theory of discrete constrained Lagrangian mechanics. This allows for systems with arbitrary constraints, including those which are non-integrable (in an appropriate discrete, variational sense). In addition to characterizing the dynamics of these constrained systems, we also develop a theory of reduction and Noether symmetries, and study the relationship between the dynamics and variational principles. Finally, we apply this theory to discretize several concrete examples of constrained systems in mechanics and optimal control. △ Less

Submitted 3 November, 2015; v1 submitted 31 March, 2011; originally announced March 2011.

Comments: 36 pages; v2: minor revisions

MSC Class: Primary 70G45; Secondary 53D17; 37M15

Journal ref: Discrete Contin. Dyn. Syst., 35 (1), 367-397, 2015

Semilinear mixed problems on Hilbert complexes and their numerical approximation

Authors: Michael Holst, Ari Stern

Abstract: Arnold, Falk, and Winther recently showed [Bull. Amer. Math. Soc. 47 (2010), 281-354] that linear, mixed variational problems, and their numerical approximation by mixed finite element methods, can be studied using the powerful, abstract language of Hilbert complexes. In another recent article [arXiv:1005.4455], we extended the Arnold-Falk-Winther framework by analyzing variational crimes (a la St… ▽ More Arnold, Falk, and Winther recently showed [Bull. Amer. Math. Soc. 47 (2010), 281-354] that linear, mixed variational problems, and their numerical approximation by mixed finite element methods, can be studied using the powerful, abstract language of Hilbert complexes. In another recent article [arXiv:1005.4455], we extended the Arnold-Falk-Winther framework by analyzing variational crimes (a la Strang) on Hilbert complexes. In particular, this gave a treatment of finite element exterior calculus on manifolds, generalizing techniques from surface finite element methods and recovering earlier a priori estimates for the Laplace-Beltrami operator on 2- and 3-surfaces, due to Dziuk [Lecture Notes in Math., vol. 1357 (1988), 142-155] and later Demlow [SIAM J. Numer. Anal., 47 (2009), 805-827], as special cases. In the present article, we extend the Hilbert complex framework in a second distinct direction: to the study of semilinear mixed problems. We do this, first, by introducing an operator-theoretic reformulation of the linear mixed problem, so that the semilinear problem can be expressed as an abstract Hammerstein equation. This allows us to obtain, for semilinear problems, a priori solution estimates and error estimates that reduce to the Arnold-Falk-Winther results in the linear case. We also consider the impact of variational crimes, extending the results of our previous article to these semilinear problems. As an immediate application, this new framework allows for mixed finite element methods to be applied to semilinear problems on surfaces. △ Less

Submitted 9 August, 2011; v1 submitted 29 October, 2010; originally announced October 2010.

Comments: 22 pages; v2: major revision, particularly sharpening of error estimates in Section 4

MSC Class: 65N30 (Primary) 35J91; 47H30 (Secondary)

Journal ref: Found. Comput. Math. 12 (2012), no. 3, 363-387

Geometric variational crimes: Hilbert complexes, finite element exterior calculus, and problems on hypersurfaces

Authors: Michael Holst, Ari Stern

Abstract: A recent paper of Arnold, Falk, and Winther [Bull AMS, 47 (2010)] showed that a large class of mixed finite element methods can be formulated naturally on Hilbert complexes, where using a Galerkin-like approach, one solves a variational problem on a finite-dimensional subcomplex. In a seemingly unrelated research direction, Dziuk [Lect Notes in Math, vol 1357 (1988)] analyzed a class of nodal fini… ▽ More A recent paper of Arnold, Falk, and Winther [Bull AMS, 47 (2010)] showed that a large class of mixed finite element methods can be formulated naturally on Hilbert complexes, where using a Galerkin-like approach, one solves a variational problem on a finite-dimensional subcomplex. In a seemingly unrelated research direction, Dziuk [Lect Notes in Math, vol 1357 (1988)] analyzed a class of nodal finite elements for the Laplace-Beltrami equation on smooth 2-surfaces approximated by a piecewise-linear triangulation; Demlow later extended this analysis [SIAM J Numer Anal, 47 (2009)] to 3-surfaces, as well as to higher-order surface approximation. In this article, we bring these lines of research together, first developing a framework for the analysis of variational crimes in abstract Hilbert complexes, and then applying this abstract framework to the setting of finite element exterior calculus on hypersurfaces. Our framework extends the work of Arnold, Falk, and Winther to problems that violate their subcomplex assumption, allowing for the extension of finite element exterior calculus to approximate domains, most notably the Hodge-de Rham complex on approximate manifolds. As an application of the latter, we recover Dziuk's and Demlow's a priori estimates for 2- and 3-surfaces, demonstrating that surface finite element methods can be analyzed completely within this abstract framework. Moreover, our results generalize these earlier estimates dramatically, extending them from nodal finite elements for Laplace-Beltrami to mixed finite elements for the Hodge Laplacian, and from 2- and 3-dimensional hypersurfaces to those of arbitrary dimension. By developing this analytical framework using a combination of general tools from differential geometry and functional analysis, we are led to a more geometric analysis of surface finite element methods, whereby the main results become more transparent. △ Less

Submitted 13 September, 2011; v1 submitted 24 May, 2010; originally announced May 2010.

Comments: 27 pages; v2: minor revisions, most notably a new theorem (3.7) on existence of bounded cochain projections and a worked example (4.6) for the Hodge Laplacian on 2-D surfaces

MSC Class: 65N30; 58A12

Journal ref: Found. Comput. Math. 12 (2012), no. 3, 263-293

L^p change of variables inequalities on manifolds

Authors: Ari Stern

Abstract: We prove two-sided inequalities for the $L^p$-norm of a pushforward or pullback (with respect to an orientation-preserving diffeomorphism) on oriented volume and Riemannian manifolds. For a function or density on a volume manifold, these bounds depend only on the Jacobian determinant, which arises through the change of variables theorem. For an arbitrary differential form on a Riemannian manifold,… ▽ More We prove two-sided inequalities for the $L^p$-norm of a pushforward or pullback (with respect to an orientation-preserving diffeomorphism) on oriented volume and Riemannian manifolds. For a function or density on a volume manifold, these bounds depend only on the Jacobian determinant, which arises through the change of variables theorem. For an arbitrary differential form on a Riemannian manifold, however, these bounds are shown to depend on more general "spectral" properties of the diffeomorphism, using an appropriately-defined notion of singular values. These spectral terms generalize the Jacobian determinant, which is recovered in the special cases of functions and densities (i.e., bottom and top forms). △ Less

Submitted 28 November, 2011; v1 submitted 2 April, 2010; originally announced April 2010.

Comments: 13 pages; v2: reformatting and some very minor revisions, as accepted for publication

MSC Class: 58C35 (Primary) 46B28; 58C40 (Secondary)

Journal ref: Math. Inequal. Appl., 16 (1), 55-67, 2013

Discrete Hamilton-Pontryagin mechanics and generating functions on Lie groupoids

Authors: Ari Stern

Abstract: We present a discrete analog of the recently introduced Hamilton-Pontryagin variational principle in Lagrangian mechanics. This unifies two, previously disparate approaches to discrete Lagrangian mechanics: either using the discrete Lagrangian to define a finite version of Hamilton's action principle, or treating it as a symplectic generating function. This is demonstrated for a discrete Lagrang… ▽ More We present a discrete analog of the recently introduced Hamilton-Pontryagin variational principle in Lagrangian mechanics. This unifies two, previously disparate approaches to discrete Lagrangian mechanics: either using the discrete Lagrangian to define a finite version of Hamilton's action principle, or treating it as a symplectic generating function. This is demonstrated for a discrete Lagrangian defined on an arbitrary Lie groupoid; the often encountered special case of the pair groupoid (or Cartesian square) is also given as a worked example. △ Less

Submitted 19 January, 2010; v1 submitted 27 May, 2009; originally announced May 2009.

Comments: 14 pages; minor revision of section 2.3 to provide more background; major revision of sections 3-4 to allow for several time steps; accepted, Journal of Symplectic Geometry

MSC Class: 70H30 (Primary); 22A22; 37M15; 53D12 (Secondary)

Journal ref: J. Symplectic Geom., 8 (2), 225-238, 2010

Spectral asymmetry for manifolds of special holonomy

Authors: Mark Stern

Abstract: We define a measure of spectral asymmetry for G_2 and Spin(7) manifolds. We show that this invariant can be computed in terms of characteristic classes and the covariant constant form defining the G_2 or Spin(7) structure. We define a measure of spectral asymmetry for G_2 and Spin(7) manifolds. We show that this invariant can be computed in terms of characteristic classes and the covariant constant form defining the G_2 or Spin(7) structure. △ Less

Submitted 12 February, 2009; originally announced February 2009.

Comments: 9 pages

Implicit-Explicit Variational Integration of Highly Oscillatory Problems

Authors: Ari Stern, Eitan Grinspun

Abstract: In this paper, we derive a variational integrator for certain highly oscillatory problems in mechanics. To do this, we take a new approach to the splitting of fast and slow potential forces: rather than splitting these forces at the level of the differential equations or the Hamiltonian, we split the two potentials with respect to the Lagrangian action integral. By using a different quadrature r… ▽ More In this paper, we derive a variational integrator for certain highly oscillatory problems in mechanics. To do this, we take a new approach to the splitting of fast and slow potential forces: rather than splitting these forces at the level of the differential equations or the Hamiltonian, we split the two potentials with respect to the Lagrangian action integral. By using a different quadrature rule to approximate the contribution of each potential to the action, we arrive at a geometric integrator that is implicit in the fast force and explicit in the slow force. This can allow for significantly longer time steps to be taken (compared to standard explicit methods, such as Störmer/Verlet) at the cost of only a linear solve rather than a full nonlinear solve. We also analyze the stability of this method, in particular proving that it eliminates the linear resonance instabilities that can arise with explicit multiple-time-stepping methods. Next, we perform some numerical experiments, studying the behavior of this integrator for two test problems: a system of coupled linear oscillators, for which we compare against the resonance behavior of the r-RESPA method; and slow energy exchange in the Fermi--Pasta--Ulam problem, which couples fast linear oscillators with slow nonlinear oscillators. Finally, we prove that this integrator accurately preserves the slow energy exchange between the fast oscillatory components, which explains the numerical behavior observed for the Fermi--Pasta--Ulam problem. △ Less

Submitted 22 April, 2009; v1 submitted 16 August, 2008; originally announced August 2008.

Comments: 17 pages, 3 figures, to appear in SIAM Multiscale Modeling and Simulation. v2: added new section, new figure, minor edits; v3: minor revision and clarification

MSC Class: 65P10; 70K70

Journal ref: Multiscale Model. Simul. Volume 7, Issue 4, pp. 1779-1794 (2009)

Geometry of minimal energy Yang-Mills connections

Authors: Mark A. Stern

Abstract: We study the converse to the statement that instantons are minimizers of the Yang--Mills energy in four dimensions. We show that given an energy minimizing connection, A, the curvature of A takes values in a subbundle of the adjoint bundle which decomposes as a sum of instantons. We study the converse to the statement that instantons are minimizers of the Yang--Mills energy in four dimensions. We show that given an energy minimizing connection, A, the curvature of A takes values in a subbundle of the adjoint bundle which decomposes as a sum of instantons. △ Less

Submitted 16 August, 2008; v1 submitted 5 August, 2008; originally announced August 2008.

Comments: 16 pages; removed sections on duality for tori in dimensions greater than 4 and on G_2; references added

MSC Class: 53C07

Variational Integrators for Maxwell's Equations with Sources

Authors: Ari Stern, Yiying Tong, Mathieu Desbrun, Jerrold E. Marsden

Abstract: In recent years, two important techniques for geometric numerical discretization have been developed. In computational electromagnetics, spatial discretization has been improved by the use of mixed finite elements and discrete differential forms. Simultaneously, the dynamical systems and mechanics communities have developed structure-preserving time integrators, notably variational integrators t… ▽ More In recent years, two important techniques for geometric numerical discretization have been developed. In computational electromagnetics, spatial discretization has been improved by the use of mixed finite elements and discrete differential forms. Simultaneously, the dynamical systems and mechanics communities have developed structure-preserving time integrators, notably variational integrators that are constructed from a Lagrangian action principle. Here, we discuss how to combine these two frameworks to develop variational spacetime integrators for Maxwell's equations. Extending our previous work, which first introduced this variational perspective for Maxwell's equations without sources, we also show here how to incorporate free sources of charge and current. △ Less

Submitted 13 March, 2008; originally announced March 2008.

Comments: 5 pages, 3 figures, submitted to Progress in Electromagnetics Research Symposium (PIERS) 2008 proceedings

MSC Class: 78M30 (Primary); 65P10; 37K05 (Secondary)

Journal ref: PIERS Online, Vol. 4, No. 7, 711-715, 2008

Geometric Computational Electrodynamics with Variational Integrators and Discrete Differential Forms

Authors: Ari Stern, Yiying Tong, Mathieu Desbrun, Jerrold E. Marsden

Abstract: In this paper, we develop a structure-preserving discretization of the Lagrangian framework for electromagnetism, combining techniques from variational integrators and discrete differential forms. This leads to a general family of variational, multisymplectic numerical methods for solving Maxwell's equations that automatically preserve key symmetries and invariants. In doing so, we demonstrate… ▽ More In this paper, we develop a structure-preserving discretization of the Lagrangian framework for electromagnetism, combining techniques from variational integrators and discrete differential forms. This leads to a general family of variational, multisymplectic numerical methods for solving Maxwell's equations that automatically preserve key symmetries and invariants. In doing so, we demonstrate several new results, which apply both to some well-established numerical methods and to new methods introduced here. First, we show that Yee's finite-difference time-domain (FDTD) scheme, along with a number of related methods, are multisymplectic and derive from a discrete Lagrangian variational principle. Second, we generalize the Yee scheme to unstructured meshes, not just in space but in 4-dimensional spacetime. This relaxes the need to take uniform time steps, or even to have a preferred time coordinate at all. Finally, as an example of the type of methods that can be developed within this general framework, we introduce a new asynchronous variational integrator (AVI) for solving Maxwell's equations. These results are illustrated with some prototype simulations that show excellent energy and conservation behavior and lack of spurious modes, even for an irregular mesh with asynchronous time stepping. △ Less

Submitted 27 May, 2009; v1 submitted 30 July, 2007; originally announced July 2007.

Comments: 37 pages, 12 figures. v3: broadly revised, including incorporation of free source terms, new numerical experiments and figures

MSC Class: 78M30 (Primary); 37K05; 37M15 (Secondary)

Journal ref: Geometry, mechanics, and dynamics, vol. 73 of Fields Institute Communications, 437-475, 2015

Fixed point theorems from a de Rham perspective

Authors: Mark Stern

Abstract: Using an elementary argument, we prove new fixed point theorems for classical elliptic complexes. We obtain new results for conformal relations and coisotropic intersections. We obtain theorems for the average intersections of families of special lagrangian and lagrangian varieties in certain homogeneous spaces. Using an elementary argument, we prove new fixed point theorems for classical elliptic complexes. We obtain new results for conformal relations and coisotropic intersections. We obtain theorems for the average intersections of families of special lagrangian and lagrangian varieties in certain homogeneous spaces. △ Less

Submitted 14 December, 2006; v1 submitted 22 June, 2006; originally announced June 2006.

Comments: 22 pages. References and new examples added

MSC Class: 58J20

The Positive Mass Conjecture for Non-spin Manifolds

Authors: Anda Degeratu, Mark Stern

Abstract: We extend Witten's spinor proof of the positive mass theorem to large classes of complete asymptotically flat non-spin manifolds, including all manifolds of dimension less than or equal to 11 and all manifolds of dimension less than 26 which admit a codimension 3 immersion in Euclidean space. We extend Witten's spinor proof of the positive mass theorem to large classes of complete asymptotically flat non-spin manifolds, including all manifolds of dimension less than or equal to 11 and all manifolds of dimension less than 26 which admit a codimension 3 immersion in Euclidean space. △ Less

Submitted 21 September, 2005; v1 submitted 7 December, 2004; originally announced December 2004.

Comments: This paper has been withdrawn due to a sign error in proposition 6.5

Report number: DUKE-CGTP-04-10

A New Class of Two-Dimensional Noncommutative Spaces

Authors: A. Pinzul, A. Stern

Abstract: We find an infinite number of noncommutative geometries which posses a differential structure. They generalize the two dimensional noncommutative plane, and have infinite dimensional representations. Upon applying generalized coherent states we are able to take the continuum limit, where we recover the punctured plane with non constant Poisson structures. We find an infinite number of noncommutative geometries which posses a differential structure. They generalize the two dimensional noncommutative plane, and have infinite dimensional representations. Upon applying generalized coherent states we are able to take the continuum limit, where we recover the punctured plane with non constant Poisson structures. △ Less

Submitted 5 January, 2002; v1 submitted 23 December, 2001; originally announced December 2001.

Comments: 19 pages

Journal ref: JHEP 0203 (2002) 039

Dirac Operator on the Quantum Sphere

Authors: A. Pinzul, A. Stern

Abstract: We construct a Dirac operator on the quantum sphere $S^2_q$ which is covariant under the action of $SU_q(2)$. It reduces to Watamuras' Dirac operator on the fuzzy sphere when $q\to 1$. We argue that our Dirac operator may be useful in constructing $SU_q(2)$ invariant field theories on $S^2_q$ following the Connes-Lott approach to noncommutative geometry. We construct a Dirac operator on the quantum sphere $S^2_q$ which is covariant under the action of $SU_q(2)$. It reduces to Watamuras' Dirac operator on the fuzzy sphere when $q\to 1$. We argue that our Dirac operator may be useful in constructing $SU_q(2)$ invariant field theories on $S^2_q$ following the Connes-Lott approach to noncommutative geometry. △ Less

Submitted 2 April, 2001; v1 submitted 23 March, 2001; originally announced March 2001.

Comments: 13 pages

Journal ref: Phys.Lett. B512 (2001) 217-224

Bicovariant Calculus in Quantum Theory and a Generalization of the Gauss Law

Authors: G. Bimonte, G. Marmo, A. Stern

Abstract: We construct a deformation of the quantum algebra Fun(T^*G) associated with Lie group G to the case where G is replaced by a quantum group G_q which has a bicovariant calculus. The deformation easily allows for the inclusion of the current algebra of left and right invariant one forms. We use it to examine a possible generalization of the Gauss law commutation relations for gauge theories based… ▽ More We construct a deformation of the quantum algebra Fun(T^*G) associated with Lie group G to the case where G is replaced by a quantum group G_q which has a bicovariant calculus. The deformation easily allows for the inclusion of the current algebra of left and right invariant one forms. We use it to examine a possible generalization of the Gauss law commutation relations for gauge theories based on G_q. △ Less

Submitted 10 December, 1999; originally announced December 1999.

Comments: 12 pages

Journal ref: Phys.Lett. B478 (2000) 358-364

New Tetrads for General Relativity

Authors: G. Bimonte, R. Musto, A. Stern, P. Vitale

Abstract: Using the tools of q--differential calculus and quantum Lie algebras associated to quantum groups, we find a one--parameter family of q-gauge theories associated to the quantum group $ISO_q(3,1)$. Although the gauge fields, that is the spin--connection and the vierbeins are non--commuting objects depending on a deformation parameter, $q$, it is possible to construct out of them a metric theory w… ▽ More Using the tools of q--differential calculus and quantum Lie algebras associated to quantum groups, we find a one--parameter family of q-gauge theories associated to the quantum group $ISO_q(3,1)$. Although the gauge fields, that is the spin--connection and the vierbeins are non--commuting objects depending on a deformation parameter, $q$, it is possible to construct out of them a metric theory which is insensitive to the deformation. The Christoffel symbols and the Riemann tensor are ordinary commuting objects. Hence it is argued that torsionless Einstein's General Relativity is the common invariant sector of a one--parameter family of deformed gauge theories. △ Less

Submitted 28 April, 1998; v1 submitted 24 July, 1997; originally announced July 1997.

Comments: Latex file, 14 pages, no figures. Major changes in text. Contribution to the proceedings of the conference "Quantum Groups, Deformations and Contractions" Istanbul 1997, to be published in Turkish Journal of Physics. Title changed in journal to "The Quantum Poincare' Group as Hidden Symmetry of General Relativity"

Report number: UAHEP 9712, DSF-34/97