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.
The author presents the generalized Stokes theorem for R-linear forms on Lie algebroids (which can be non-local). We apply the Stokes formula on forms to prove that two homotopic homomorphisms of Lie algebroids implies the existence of a chain operator joining their pullback operators.
The paper validates Stokes' theorem for differential subcomplexes in positively graded Lie groups.
problem Validating Stokes' theorem for differential subcomplexes in positively graded Lie groups.
method Introducing geometric conditions and spectral complexes to recover Stokes' theorem on locally smooth intrinsic graphs.
result Stokes' theorem holds for Rumin complex and new spectral complexes on Carnot groups.
The Wodzicki residue and the cut-off integral extend to classical symbol-valued forms. We show that they obey a Stokes' type property and that the extended Wodzicki residue can be interpreted as a complex residue like the ordinary one. In the case of cut-off integrals, Stokes' property (i.e. vanishing on exact forms) o…
Analyzes how quadratic differential trajectories change with variation, proving a wall-crossing formula.
problem Analyzing how the number of trajectories of quadratic differentials changes with variation.
method Proves an analytic wall-crossing formula using Fock-Goncharov coordinates and characterizes birational automorphisms.
result Characterizes certain birational automorphisms and computes Stokes automorphisms.
We prove that an analog of the exterior differential acts on the space of arbitrary Lagrangians of multidimensional paths on any manifold or supermanifold, thus making this space into a cochain complex. An analog of the Stokes' formula holds. The construction and the proofs are purely geometrical, in terms of the varia…
The Navier-Stokes equation on a Riemannian manifold is analyzed using Laplace operators.
problem Analyzing the Navier-Stokes equation on a Riemannian manifold.
method Considering Nash embedding, the note elucidates different Laplace operators and obtains a probabilistic formula.
result A probabilistic representation formula for Navier-Stokes equations on a general compact Riemannian manifold is obtained.
The paper proves a global geometric formula for volume holonomy in gauge theory.
problem Describing higher parallel transport in classical principal bundle theory.
method Global geometric approach to parallel transport on surfaces and volumes.
result Global formula for volume holonomy and gauge invariance.
The Gauss formula is extended to various Laplacians on submanifolds.
problem Deriving formulas for Laplacians on submanifolds.
method Extending the Gauss formula to different types of Laplacians.
result Formulas for various Laplacians on submanifolds.
Develops analysis of Hölder continuous mappings on Heisenberg groups.
problem Analyzing Hölder continuous mappings on Heisenberg groups.
method Theory of distributional Jacobians and pullbacks of differential forms.
result Simple proof of a generalization of the Gromov non-embedding theorem and new results about Hölder homotopy groups.
Study well-posedness of generalized Stokes operator on cylindrical domains.
problem Analyzing the generalized Stokes operator on domains with cylindrical ends.
method Using layer potentials and developing algebra tools for limit and jump relations.
result Well-posedness results for the associated Stokes boundary value problem.
Quantum dilogarithm function proven from a linear difference equation.
problem Proving Faddeev's quantum dilogarithm from a linear difference equation.
method Proved Faddeev's quantum dilogarithm using Borel summation of a formal power series solution of a linear difference equation.
result Borel summation of a formal power series solution produces Faddeev's quantum dilogarithm.
The paper solves isomonodromy problems and describes limits of Stokes matrices.
problem Solving isomonodromy problems and describing limits of Stokes matrices.
method Analyzes the boundary and monodromy problems of isomonodromy equations, derives explicit expressions for Stokes matrices, and describes limits of Stokes matrices as irregular data degenerates.
result Derives explicit expressions for Stokes matrices and describes limits of Stokes matrices as irregular data degenerates.
For a Riemannian G-structure, we compute the divergence of the vector field induced by the intrinsic torsion. Applying the Stokes theorem, we obtain the integral formula on a closed oriented Riemannian manifold, which we interpret in certain cases. We focus on almost harmitian and almost contact metric structures.
New proof of isoperimetric inequality using integration by parts.
problem Classical isoperimetric inequality in the plane
method Integration by parts and Stoke's formula
result Proof works like a calibration or null Lagrangians theory
Numerical experiments support conjecture about opers and nonabelian Hodge.
problem Testing predictions of Gaiotto-Moore-Neitzke and Gaiotto conjectures.
method Numerical experiments on polynomial holomorphic differentials.
result Supports conjectural formulas for Stokes data and Hitchin metric tensor.
In Part I (arXiv:1209.2045) we computed the Stokes data, though not the "connection matrix", for the smooth solutions of the tt*-Toda equations whose existence we established by p.d.e. methods. Here we give an alternative proof of the existence of some of these solutions by solving a Riemann-Hilbert problem. In the pro…
New characterisation of Stokes decompositions for vector bundles.
problem Understanding connections on vector bundles on algebraic curves.
method Formalizing Stokes decompositions as an intermediate category.
result Simple characterisation of Stokes decompositions established.
Stokes' theorem's boundary maximizes entropy.
problem Characterizing the boundary of a manifold using entropy.
method Maximizing entropy for codimension-1 submanifolds satisfying Stokes' theorem.
result The boundary of a manifold maximizes the entropy functional.
Unified framework for Arnold-type invariants via dual complexes and finite-difference structures.
problem Study of Arnold-type invariants of immersed curves and surfaces.
method Framework on dual complexes, locally normalized maps, finite-difference structures, and Shumakovitch-type identities.
result Unified evaluation of Arnold-type invariants St(1) and St(2) on dual skeleta. Lean 4 formalizes Stokes' theorem for smooth singular cubes.
problem Formalizing Stokes' theorem for singular cubes in arbitrary dimensions.
method Using true differential-form pullback via Frechet derivative, bridging to mathlib4's extDeriv.
result d^2=0 for singular cubical chains, chain-level Stokes extended.
Paper studies periodic solutions to Navier-Stokes equations on hyperbolic manifolds.
problem Existence and uniqueness of asymptotically almost periodic solutions to Navier-Stokes equations on hyperbolic manifolds.
method Dispersive and smoothing estimates for the Stokes equation, Massera-type principle, fixed point argument.
result Existence and uniqueness of asymptotically almost periodic mild solutions in Lp(Γ(TM)) spaces. Study on Navier-Stokes equations on non-compact manifolds, proving existence and decay of solutions.
problem Existence and asymptotic behavior of solutions to Navier-Stokes equations on non-compact manifolds.
method Used Lp−Lq-dispersive and smoothing estimates of the Stokes semigroup, fixed point arguments, and Gronwall's inequality. result Established existence and exponential decay of almost periodic and asymptotically almost periodic mild solutions.
Clarifies global structure of Stokes-Dirac structures on manifolds.
problem Global structure of Stokes-Dirac structures on manifolds with non-trivial topology.
method Clarification through consistent boundary conditions.
result Clearer understanding of Stokes-Dirac structures on manifolds.
Paper compares five surface Navier-Stokes derivations and finds some are equivalent.
problem Modeling evolving fluidic surfaces using different principles and coordinate systems.
method Systematic comparison of five derivations using tangential and normal components.
result All derivations yield the same tangential surface Navier-Stokes equations.
Extends calculus theorem to higher dimensions.
problem Calculus theorem limitations in higher dimensions.
method Type θ Stokes' theorem for type θ k-chains. result Extends fundamental theorem of calculus.
Study submanifolds with boundaries in Heisenberg groups using Stokes' Theorem.
problem Understanding submanifolds with boundaries in Heisenberg groups.
method Introduce and study CH1-regular submanifolds with boundaries, prove Stokes' Theorem for them. result Prove a version of Stokes' Theorem for submanifolds with boundaries in Heisenberg groups.
Stokes equations help uniquely identify manifold metrics from boundary data.
problem Determining Riemannian metric from boundary Cauchy data.
method Proving uniqueness of metric from Stokes equations Cauchy data.
result Partial derivatives of all orders of the metric on the boundary are uniquely determined.
Algorithm describes Fourier transform of Stokes data at infinity.
problem Understanding the Fourier transform of Stokes data at infinity.
method Topological description and algorithmic approach using recent results and language of Stokes local systems.
result Explicit isomorphisms between wild character varieties are induced.
Analyzes tt*-structures from ADE-type Stokes data.
problem Classifying tt*-structures over C∗. method Isomonodromic deformations with upper unitriangular real Stokes matrices.
result Establishes a direct analytic realization of the ADE classification. We compute Stokes matrices and monodromy for the quantum cohomology of projective spaces. We prove that the Stokes' matrix of the quantum cohomology coincides with the Gram matrix in the theory of derived categories of coherent sheaves.
Paper connects Stokes phenomena to quantum groups and Poisson-Lie groups.
problem Analyse Stokes phenomena in Poisson-Lie groups and quantum groups.
method Use Ug-valued Stokes phenomena to construct quantum group U_hg and relate it to Poisson-Lie group G*.
result Show that Ug-valued Stokes phenomena can be obtained as a semiclassical limit of the KZ associator.
Categorifies Stokes coefficients in Chern-Simons theory models.
problem Stokes phenomenon in Chern-Simons theory around flat connections.
method Finite-dimensional model for analytically continued Chern-Simons theory, categorification of Stokes coefficients.
result Stokes coefficients can be promoted to graded vector spaces.
We consider the concept of Stokes-Dirac structures in boundary control theory proposed by van der Schaft and Maschke. We introduce Poisson reduction in this context and show how Stokes-Dirac structures can be derived through symmetry reduction from a canonical Dirac structure on the unreduced phase space. In this way, …
Quantum modularity proved for a knot manifold.
problem Proving quantum modularity for a specific closed hyperbolic 3-manifold.
method Using factorization of state integrals and proving quantum modularity for functions and q-series. result Quantum modularity for the closed manifold provides a unification of volume conjecture and Witten's asymptotic expansion conjecture.
The paper proves a generalized Stokes' Theorem for certain singular submanifolds.
problem Validity of Stokes' Theorem for singular submanifolds and differential forms.
method Combines Lebesgue integration with gauge integration techniques.
result Proves a generalized Stokes' Theorem for integral currents with finite Minkowski content.
New geometric approach to optimal control theory using Stokes Theorem.
problem Optimal control theory, specifically the Mayer problem.
method Geometric unfolding based on the Stokes Theorem.
result Derives a new necessary and sufficient condition for optimal solutions.
Stokes theorem holds for Lipschitz forms on a smooth manifold.
Proves invertibility of layer potentials for generalized Stokes operators on smooth domains.
problem Invertibility of layer potentials for generalized Stokes operators on smooth domains.
method Developed algebra toolkit to handle layer operators' limit and jump relations; proved Fredholm property and invertibility.
result Proves invertibility of layer potentials for generalized Stokes operators on smooth domains.
In this paper, we show the existence of real-analytic stationary Navier-Stokes flows with isotropic streamlines in all latitudes in some simply-connected flow region on a rotating round sphere. We also exclude the possibility of having a Poiseuille's flow profile to be one of these stationary Navier-Stokes flows with i…
For a given bounded domain Ω⊂Rn with smooth boundary, we explicitly calculate the first two coefficients of the asymptotic expansion of the heat trace associated with the Stokes operator as t→0+. These coefficients (i.e., heat invariants) provide precise information for the volume of the domain $…
We study the differential geometry of principal G-bundles whose base space is the space of free paths (loops) on a manifold M. In particular we consider connections defined in terms of pairs (A,B), where A is a connection for a fixed principal bundle P(M,G) and B is a 2-form on M. The relevant curvatures, parallel tran…
Study submanifolds with boundary in Heisenberg groups, proving Stokes' Theorem.
problem Understanding submanifolds with boundary in sub-Riemannian Heisenberg groups.
method Introduced examples and proved Stokes' Theorem involving Rumin's differential forms.
result Stokes' Theorem for submanifolds with boundary in Heisenberg groups.
Constructs positive energy representations from Toda equations Stokes data.
problem Creating positive energy representations of affine algebras.
method Using Stokes data of tt*-Toda equations to construct representations.
result Illustrates construction with examples in conformal field theory.
By proving graph theoretical versions of Green-Stokes, Gauss-Bonnet and Poincare-Hopf, core ideas of undergraduate mathematics can be illustrated in a simple graph theoretical setting. In this pedagogical exposition we present the main proofs on a single page and add illustrations. While discrete Stokes is is old, the …
The Navier-Stokes equations on certain manifolds can perform universal computation.
problem Computational universality in viscous fluids.
method Cosymplectic geometry and harmonic 1-forms.
result Stationary Navier-Stokes solutions exhibit Turing completeness.
Stokes-Dirac structures are infinite-dimensional Dirac structures defined in terms of differential forms on a smooth manifold with boundary. These Dirac structures lay down a geometric framework for the formulation of Hamiltonian systems with a nonzero boundary energy flow. Simplicial triangulation of the underlaying m…
Paper derives explicit expression of Alekseev-Meinrenken diffeomorphism.
problem Understanding the Alekseev-Meinrenken diffeomorphism.
method Via the Stokes phenomenon of meromorphic linear systems of ODEs with Poncaré rank 1.
result Explicit expression of the Alekseev-Meinrenken diffeomorphism.