We extend a work of Bartsch, Clapp and Puppe on the Mountain pass theorems. We consider functionals invariant with respect to infinite discrete groups satisfying a maximality condition on the finite subgroups.
On-device research index
arXiv research
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
168,695 papers · 148 categories
Trend · papers per month
48 results for “mountain-pass theorem”
New theorem finds new minimal hypersurfaces in hyperbolic space.
problem Finding new minimal hypersurfaces in hyperbolic space.
method Developed a min-max theory for complete minimal hypersurfaces.
result Shows existence of a new minimal hypersurface between two given ones.
Proves uniqueness of small entropy self-expanders.
problem Uniqueness of self-expanders with small entropy.
method Mountain-pass theorem and integer degree argument.
result Proves uniqueness result for self-expanders.
Study on nonlinear elliptic equations with variable exponents, proving existence and multiplicity of solutions.
problem Existence and multiplicity of solutions for Dirichlet boundary value problems involving -equation.
method Proved using the mountain pass theorem and Fountain theorem with Cerami sequences.
result Existence and multiplicity of solutions for -equation.
We provide sufficient conditions for the existence of a global diffeomorphism between tame Fréchet spaces. We prove a version of the Mountain Pass Theorem which is a key ingredient in the proof of the main theorem.
Necessary and sufficient conditions are given for the Palais-Smale Condition C to hold for the Yang-Mills functional for connections that are invariant under a Lie group action on the manifold with orbits of codimension less than or equal to three. As an application the mountain pass lemma is used to give a simple proo…
Study finds critical points in perimeter functional for fixed volume sets.
problem Finding critical points in perimeter functional for sets of fixed volume.
method Utilizes Mazurwoski--Zhou techniques and new Cacciopoli set connectedness results.
result Constructs smooth almost embedded hypersurfaces with non-zero constant mean curvature.
The paper proves critical point results for Frechet manifolds.
problem Finding critical points in the context of Frechet manifolds.
method Using a deformation result and sufficient conditions for the Palais-Smale condition.
result Proves a mountain pass theorem and three critical points theorem.
New self-expander found between two given asymptotic ones.
problem Finding new self-expanders between given asymptotic ones.
method Developed a min-max theory for asymptotically conical self-expanders of mean curvature flow.
result Existence of a new asymptotically conical self-expander trapped between two given ones.
We give sufficient conditions for a -local diffeomorphism between Fréchet spaces to be a global one. We extend the Clarke's theory of generalized gradients to the more general setting of Fréchet spaces. As a consequence, we define the Chang Palais-Smale condition for Lipschitz functions and show that a functio…
In this work, we prove the existence of a third embedded minimal hypersurface spanning a closed submanifold contained in the boundary of a compact Riemannian manifold with convex boundary, when it is known a priori the existence of two strictly stable minimal hypersurfaces that bound . In order to do so, we deve…
Study on ground states of semilinear elliptic equations with various potential wells.
problem Characterizing ground states of semilinear elliptic equations with arbitrary potential wells.
method Analyzing solutions in convex domains and manifolds with non-negative Ricci curvature, using Morse theory and min-max methods.
result Ground states are mountain-pass type with Morse index 1 in convex domains and manifolds with non-negative Ricci curvature.
Two methods find at least two solutions to Kazdan-Warner's problem on surfaces.
problem Finding solutions to Kazdan-Warner's problem on two-dimensional surfaces.
method Direct method on convex sets and variational method of mountain pass.
result At least two solutions to the Kazdan-Warner's problem are found.
In this paper, we build up a min-max theory for minimal surfaces using sweepouts of surfaces of genus . We develop a direct variational methods similar to the proof of the famous Plateau problem by J. Douglas and T. Rado. As a result, we show that the min-max value for the area functional can be achieved by a …
The inhomogeneous Allen--Cahn equation and the existence of prescribed-mean-curvature hypersurfacesmath.DG
The paper proves the existence of hypersurfaces with prescribed mean curvature.
problem Proving the existence of hypersurfaces with prescribed mean curvature.
method PDE theoretic approach using mountain pass construction and regularity results for integral varifolds.
result Existence of quasi-embedded, boundaryless hypersurfaces with prescribed mean curvature.
The paper proves the existence of infinitely many nodal solutions to a Paneitz-type equation.
problem Proving the existence of nodal solutions to a specific type of partial differential equation.
method First, a estimate for positive -invariant solutions is proven. Then, the existence of mountain pass solutions with arbitrarily large energy is established.
result The existence of infinitely many nodal solutions to the equation is proven.
We construct and analyze minimal disc stackings with bounds on their Morse index.
problem Constructing and analyzing minimal free boundary disc stackings.
method Constructing minimal free boundary disc stackings in a three-dimensional Euclidean unit ball, proving bounds on their Morse index.
result Uniform, linear bounds on the Morse index of all such surfaces.
We establish new existence and non-existence results for positive solutions of the Einstein-scalar field Lichnerowicz equation on compact manifolds. This equation arises from the Hamiltonian constraint equation for the Einstein-scalar field system in general relativity. Our analysis introduces variational techniques, i…
The paper proves the existence of finite-energy solutions to a specific elliptic equation on Riemannian manifolds.
problem Existence of finite-energy solutions to a singular elliptic equation on Riemannian manifolds.
method ε-regularized problems, mountain pass arguments, and limiting procedures.
result Existence of nonnegative finite-energy supersolutions under certain conditions.
Is it possible to obtain unbounded minimal surfaces in certain asymptotically flat 3-manifolds as a limit of solutions to a natural mountain pass problem with diverging boundaries? In this work, we give evidence that this might be true by analyzing related aspects in the case of the exact Riemannian Schwarzschild manif…
For a stable marginally outer trapped surface (MOTS) in an axially symmetric spacetime with cosmological constant and with matter satisfying the dominant energy condition, we prove that the area and the angular momentum satisfy the inequality which is saturated pre…
Study the landscape of Lipschitz functions between manifolds using persistent homology.
problem Understanding the structure of homotopy paths between maps with high Lipschitz constants.
method Using persistent homology to analyze the landscape of Lipschitz functions between manifolds.
result First results on the persistence of higher-dimensional cycles in function spaces.
We present the min-max construction of critical points of the area using penalization arguments. Precisely, for any immersion of a closed surface into a given closed manifold, we add to the area Lagrangian a term equal to the norm of the second fundamental form of the immersion times a "viscosity" parameter. …
Proves existence of a single-valued minimal hypersurface in compact manifolds.
problem Existence of multiplicity-1 minimal hypersurfaces in compact Riemannian manifolds.
method Modified minmax construction with Allen-Cahn approximation and valley point optimization.
result Existence of a smooth, closed minimal hypersurface with multiplicity 1 in bumpy metrics.
For non-homotopic maps between closed Riemannian manifolds, we consider the smallest energy level for which there exist paths connecting to with . When and are -homotopic, work of Hang and Lin shows t…
AI generates theorems and proofs for training theorem provers.
problem Limited human-written theorems and proofs for supervised learning.
method Proposes a neural generator to automatically synthesize theorems and proofs.
result Synthetic data improves automated theorem proving in Metamath.
Global inverse function theorem proved easily using Riemannian geometry.
problem Global inverse function theorem in Riemannian geometry.
method Hopf--Rinow theorem in Riemannian geometry.
result Hadamard's global inverse function theorem is proven easily.
A new comparison theorem for geometric spaces.
problem Geometric space comparison theorems.
method Relative form of Toponogov comparison theorem.
result New geometric space comparison theorem established.
Paper develops formulas and theorems in Hermitian geometry.
problem None explicitly stated in the abstract.
method Develops second variational formulas and index forms in Hermitian geometry.
result Establishes results analogous to classical theorems in Riemannian geometry.
The paper proves three circles theorems and Liouville type theorems for subharmonic and holomorphic functions.
problem Establishing theorems for subharmonic and holomorphic functions on specific geometric structures.
method Using subharmonic and holomorphic functions on Riemannian manifolds and gradient shrinking Ricci solitons.
result Proves Liouville type theorems as applications of the established theorems.
Revises a theorem by Thurston, finding a counter-example and a weaker version.
problem The bounded image theorem in Haken manifolds.
method Providing a counter-example and a weaker version of the second statement of Thurston's theorem.
result A counter-example and a weaker version of the second statement of Thurston's theorem are presented.
Proofs for Moon's theorem and its generalization.
problem Proving Moon's theorem and its generalization.
method Proofs based on key lemmas.
result Generalization of the four-vertex theorem.
Analyzes Saito vanishing theorem using methods.
problem Proving the Saito vanishing theorem.
method Uses -methods to prove the theorem.
result Analytic proof of the Saito vanishing theorem.
Investigates proving geometric theorems over complex and real numbers using tilings.
problem Proving incidence theorems over C and R using the master theorem.
method Formalizes tiling proofs and introduces a hierarchy of theorems based on topological spaces.
result Identifies which theorems can or cannot be proved over C and R.
Extends symplectic reduction and theorem to Lie algebroids.
problem Symplectic reduction and theorem for Lie algebroids.
method Extends Marsden-Weinstein reduction and Darboux-Moser-Weinstein theorems.
result Obtained coisotropic embedding theorem for symplectic Lie algebroids.
Paper generalizes complex Brunn-Minkowski theory and proves new extension theorems.
problem Complex Brunn-Minkowski theory and extension theorems.
method Hilbert bundle approach to complex Brunn-Minkowski theory.
result Generalizes Guan's sharp strong openness theorem and sharp Ohsawa-Takegoshi extension theorem.
Proves Thurston's bounded image theorem for Haken manifolds.
problem Proving Thurston's bounded image theorem for Haken manifolds.
method Using recent developments in Kleinian group theory.
result A proof of Thurston's original bounded image theorem.
Method upgrades limit theorems to mixing limit theorems for dynamical systems.
problem Improving limit theorems for dynamical systems.
method General method for upgrading limit theorems to mixing limit theorems.
result Mixing limit theorems for specific subbundles of the Kontsevich-Zorich cocycle.
Formulates Index III lemma and Rauch III theorem with applications.
problem Develops new mathematical theorems based on existing ones.
method Formulation of Index III lemma and Rauch III theorem based on Index I, II lemmas and Rauch I, II theorems.
result Presented Rauch's type theorem and volume comparison result as applications.
In LM, we proved a family version of the famous Witten rigidity theorems and several family vanishing theorems for elliptic genera. In this paper, we gerenalize our theorems LM in two directions. First we establish a family rigidity theorem for the Dirac operator on loop space twisted by general positive energy loop gr…
The paper explains the topological origin of the distinction between incidence theorems over division rings and fields.
problem Understanding the distinction between incidence theorems over division rings and fields.
method Extending the surface-graph approach to noncommutative settings, the paper analyzes the topological properties of graphs embedded on surfaces of different genera.
result Theorems associated with graphs on the sphere hold over any division ring, while those on surfaces of positive genus typically hold only if the ground ring is a field.
Proves two theorems on odd-dimensional manifolds with boundary.
problem Proving theorems on manifolds with boundaries.
method Proof of theorems using mathematical techniques.
result Proved the general Kastler-Kalau-Walze and Dabrowski-Sitarz-Zalecki type theorems.
Sharp convergence theorem for sphere submanifolds proved.
problem Sphere submanifolds in spheres.
method Proved a sharp convergence theorem.
result New differentiable sphere theorem for submanifolds in spheres.
INT benchmark tests theorem proving agents' ability to generalize to unseen theorems.
problem Evaluating theorem proving agents' ability to generalize to unseen theorems.
method INT benchmark based on a theorem generation and proof procedure with adjustable knobs for measuring 6 types of generalization.
result MCTS can help agents prove new theorems.
A homological selection theorem for C-spaces, as well as, a finite-dimensional homological selection theorem is established. We apply the finite-dimensional homological selection theorem to obtain fixed-point theorems for usco homologically UV^n set-valued maps.
Abstracts a theorem for non-smooth maps in infinite dimensions.
problem Generalizing inverse mapping theorem for non-smooth maps.
method Introduces property A and applies it to non-smooth maps.
result Generalized inverse mapping theorems for non-smooth maps.
Atiyah-Singer theorem links math fields, predicts topological insights.
problem Understanding the interplay between analysis, geometry, and topology.
method Analyzes and generalizes topological invariants in differential geometry.
result Predicts the index of elliptic operators based on topology.
Paper generalizes a theorem for real analytic singularities.
problem No specific problem stated; focuses on generalization.
method Generalization of a theorem for complex singularities.
result Generalized Join theorem for real analytic singularities.