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.
Study global solutions for Boussinesq systems on curved manifolds.
problem Global existence and uniqueness of solutions to Boussinesq systems on non-compact Riemannian manifolds with gravitational fields.
method Used dispersive and smoothing estimates of a vectorial matrix semigroup to establish global existence and uniqueness of mild solutions for linear systems. Then, applied fixed point arguments to semilinear systems. Proved exponential stability using Gronwall's inequality.
result Established global existence, uniqueness, and exponential stability of mild solutions to the Boussinesq systems on non-compact Riemannian manifolds with gravitational fields.
Study asymptotically almost periodic solutions on real hyperbolic manifolds.
problem Existence and asymptotic behavior of solutions to parabolic equations.
method Dispersion and smoothing estimates, fixed point argument.
result Existence and uniqueness of asymptotically almost periodic solutions.
The paper extends stability theorem for Navier-Stokes equations to negatively curved manifolds.
problem Stability of the three-dimensional Navier-Stokes equations on negatively curved manifolds.
method Analysis of the deformation Laplacian, overcoming obstacles with curvature pinching and spectral gap.
result Global mild solution with exponential decay for small data on negatively curved manifolds.
Flat semigroups can represent normal weighted homogeneous surface singularities.
problem Representability of flat semigroups in normal weighted homogeneous surface singularities.
method Study of numerical semigroups associated with surface singularities and prove representability conditions.
result A numerical semigroup is representable if and only if it can be written as a quotient of a flat semigroup.
New infinite family of hyperbolic L-space knots with specific semigroups.
problem Characterizing semigroups of L-space knots.
method Defined formal semigroups from Alexander polynomials and analyzed hyperbolic knots.
result Found an infinite family of hyperbolic L-space knots with semigroups generated by five elements.
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.
Several intrinsic topological ways to encode connections on vector bundles on smooth complex algebraic curves will be described. In particular the notion of {\em Stokes decompositions} will be formalised, as a convenient intermediate category between the Stokes filtrations and the Stokes local systems/wild monodromy re…
Introduces intrinsic Hopf-Lax semigroup linking to intrinsic slope.
problem Understanding intrinsic Hopf-Lax semigroup and its relation to intrinsic slope.
method Introduces and proves the link between intrinsic Hopf-Lax semigroup and intrinsic slope.
result Intrinsic Hopf-Lax semigroup is a subsolution of Hamilton-Jacobi type equality.
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.
Proves representability of complex semigroup systems.
problem Representability of systems of proportionally modular numerical semigroups.
method Canonical equivariant resolution of weighted homogeneous surface singularities.
result Every system of proportionally modular numerical semigroups is representable.
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. The problem behind this paper is the proper measurement of the degree of quality/acceptability/distance to arbitrage of trades. We are narrowing the class of coherent acceptability indices introduced by Cherny and Madan (2007) by imposing an additional mathematical property. For this, we introduce the notion of a conca…
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.
This monograph develops the theory of covariant Schrödinger semigroups acting on sections of vector bundles over noncompact Riemannian manifolds from scratch. Contents: I. Sobolev spaces on vector bundles II. Smooth heat kernels on vector bundles III. Basis differential operators in Riemannian manifolds IV. Some specif…
The paper studies a semigroup generated by finite intervals and characterizes its properties.
problem Characterizing the semigroup generated by finite intervals.
method Analyzing the semigroup BωFn, showing Green relations coincide, isomorphic to partial convex order isomorphisms, and studying shift-continuous topologies. result The semigroup BωFn is isomorphic to the semigroup of partial convex order isomorphisms and admits only Rees congruences. 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.
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.
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.
The paper studies dynamical properties in semigroups modulo ideals.
problem Analyzing shadowing, expansivity, and stability in semigroups with ideals.
method Investigates shadowing, expansivity, and stability properties in uniform transformation semigroups modulo an ideal.
result Establishes that if a semigroup exhibits shadowing and expansivity modulo an ideal, it is also topologically stable modulo that ideal.
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. 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, …
Intertwining curvature bounds for graphs and quantum Markov semigroups verified.
problem Intertwining curvature bounds for graphs and quantum Markov semigroups.
method Introducing and verifying curvature bounds in various examples.
result Improved entropic curvature bounds for depolarizing semigroups and qubits.
Stokes theorem holds for Lipschitz forms on a smooth manifold.
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 paper associates knots to numerical semigroups and shows their Alexander polynomials coincide with semigroups' Poincaré series.
problem Understanding the algebraic structure of numerical semigroups through topological representations.
method Associaing iterated torus knots to free numerical semigroups and analyzing their knot complements and Alexander polynomials.
result Alexander polynomials of knots associated with free numerical semigroups coincide with the semigroup's Poincaré series.
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.
We consider the dynamics of rational semigroups (semigroups of rational maps) on the Riemann sphere. We provide proof that a random backward iteration algorithm to draw the pictures of the Julia sets, previously proven to work in the context of iteration of a rational map of degree two or more, extends to finitely gene…
The paper provides gradient estimates for Neumann semigroups on manifolds with boundary under unbounded curvature conditions.
problem Gradient estimates for Neumann semigroups on manifolds with boundary under unbounded curvature conditions.
method Establishes Bismut-type formulas and gradient estimates for Feynman--Kac semigroups on Riemannian manifolds with boundary, under geometric conditions formulated in terms of Ricci curvature and second fundamental form.
result Derives pointwise gradient estimates for the Neumann semigroup under variable, possibly unbounded, lower curvature bounds.
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.
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…
We investigate the dynamics of semigroups generated by a family of polynomial maps on the Riemann sphere such that the postcritical set in the complex plane is bounded. The Julia set of such a semigroup may not be connected in general. We show that for such a polynomial semigroup, if A and B are two connected compo…
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 present type θ Stokes' theorem for type θ k-chains which extends the fundamental theorem of calculus in higher dimensions.
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.
We extend a result regarding the Random Backward Iteration algorithm for drawing Julia sets (known to work for certain rational semigroups containing a non-Möbius element) to a class of Möbius semigroups which includes certain settings not yet been dealt with in the literature, namely, when the Julia set is not a thick…
Graphs approximate semigroups for diffusion on Riemannian manifolds.
problem Approximating semigroups for diffusion on Riemannian manifolds.
method Discretized approximation using random walks on proximity graphs.
result Quantitative error estimates for convergence of discrete semigroups to continuous semigroups.
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 …
Our goal is to convince the readers that the theory of complex normal surface singularities can be a powerful tool in the study of numerical semigroups, and, in the same time, a very rich source of interesting affine and numerical semigroups. More precisely, we prove that the strongly flat semigroups, which satisfy the…
DM uses semigroup property to tune diffusion time for better data analysis.
problem Difficulty in tuning diffusion time for optimal data analysis.
method Proposes a semigroup criterion to select diffusion time.
result Effective and robust method for picking diffusion time.
Constructs free semigroups with critical exponents close to but less than ambient groups.
problem Creating free semigroups with critical exponents close to but less than ambient groups.
method Constructing finitely generated free subsemigroups with specific properties.
result Free semigroups with critical exponents arbitrarily close to but strictly less than ambient groups.
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.