Showing 1–21 of 21 results for author: Ratzkin, J

Moduli space theory for complete, constant Q-curvature metrics on finitely punctured spheres

Authors: Rayssa Caju, Jesse Ratzkin, Almir Silva Santos

Abstract: We study constant Q-curvature metrics conformal to the round metric on the sphere with finitely many point singularities. We show that the moduli space of solutions with finitely many punctures in fixed positions, equipped with the Gromov-Hausdorff topology, has the local structure of a real analytic variety with formal dimension equal to the number of the punctures. If a nondegeneracy hypothesis… ▽ More We study constant Q-curvature metrics conformal to the round metric on the sphere with finitely many point singularities. We show that the moduli space of solutions with finitely many punctures in fixed positions, equipped with the Gromov-Hausdorff topology, has the local structure of a real analytic variety with formal dimension equal to the number of the punctures. If a nondegeneracy hypothesis holds, we show that a neighborhood in the moduli space is actually a real-analytic manifold of the expected dimension. We also construct a geometrically natural set of parameters, construct a symplectic structure on this parameter space and show that in the smooth case a small neighborhood of the moduli space embeds as a Lagrangian submanifold in the parameter space. △ Less

Submitted 11 March, 2024; originally announced March 2024.

Comments: 17 pages

MSC Class: 53C18; 58D17; 58D27

Compactness of singular solutions to the sixth order GJMS equation

Authors: João Henrique Andrade, João Marcos do Ò, Jesse Ratzkin, Juncheng Wei

Abstract: We study compactness properties of the set of conformally flat singular metrics with constant, positive sixth order Q-curvature on a finitely punctured sphere. Based on a recent classification of the local asymptotic behavior near isolated singularities, we introduce a notion of necksize for these metrics in our moduli space, which we use to characterize compactness. More precisely, we prove that… ▽ More We study compactness properties of the set of conformally flat singular metrics with constant, positive sixth order Q-curvature on a finitely punctured sphere. Based on a recent classification of the local asymptotic behavior near isolated singularities, we introduce a notion of necksize for these metrics in our moduli space, which we use to characterize compactness. More precisely, we prove that if the punctures remain separated and the necksize at each puncture is bounded away from zero along a sequence of metrics, then a subsequence converges with respect to the Gromov--Hausdorff metric. Our proof relies on an upper bound estimate which is proved using moving planes and a blow-up argument. This is combined with a lower bound estimate which is a consequence of a removable singularity theorem. We also introduce a homological invariant which may be of independent interest for upcoming research. △ Less

Submitted 11 February, 2023; originally announced February 2023.

Comments: 20 pages, 1 figure

Constant Q-curvature metrics with Delaunay ends: the nondegenerate case

Authors: João Henrique Andrade, Rayssa Caju, João Marcos do Ó, Jesse Ratzkin, Almir Silva Santos

Abstract: We construct a one-parameter family of solutions to the positive singular Q-curvature problem on compact nondegenerate manifolds of dimension bigger than four with finitely many punctures. If the dimension is at least eight we assume that the Weyl tensor vanishes to sufficiently high order at the singular points. On a technical level, we use perturbation methods and gluing techniques based on the… ▽ More We construct a one-parameter family of solutions to the positive singular Q-curvature problem on compact nondegenerate manifolds of dimension bigger than four with finitely many punctures. If the dimension is at least eight we assume that the Weyl tensor vanishes to sufficiently high order at the singular points. On a technical level, we use perturbation methods and gluing techniques based on the map** properties of the linearized operator both in a small ball around each singular point and in its exterior. Main difficulties in our construction include controlling the convergence rate of the Paneitz operator to the flat bi-Laplacian in conformal normal coordinates and matching the Cauchy data of the interior and exterior solutions; the latter difficulty arises from the lack of geometric Jacobi fields in the kernel of the linearized operator. We overcome both these difficulties by constructing suitable auxiliary functions. △ Less

Submitted 4 October, 2022; v1 submitted 11 October, 2021; originally announced October 2021.

Comments: v2: significant revisions to Sections 2.2 (Delaunay solutions in the small necksize limit), 5.3 (nonlinear interior analysis) and 7.2 (boundary data matching in the zero Fourier modes). 49 pages, 2 figures

Compactness within the space of complete, constant Q-curvature metrics on the sphere with isolated singularities

Authors: João Henrique Andrade, João Marcos do Ó, Jesse Ratzkin

Abstract: In this paper we consider the moduli space of complete, conformally flat metrics on a sphere with k punctures having constant positive Q-curvature and positive scalar curvature. Previous work has shown that such metrics admit an asymptotic expansion near each puncture, allowing one to define an asymptotic necksize of each singular point. We prove that any set in the moduli space such that the dist… ▽ More In this paper we consider the moduli space of complete, conformally flat metrics on a sphere with k punctures having constant positive Q-curvature and positive scalar curvature. Previous work has shown that such metrics admit an asymptotic expansion near each puncture, allowing one to define an asymptotic necksize of each singular point. We prove that any set in the moduli space such that the distances between distinct punctures and the asymptotic necksizes all remain bounded away from zero is sequentially compact, mirroring a theorem of D. Pollack about singular Yamabe metrics. Along the way we define a radial Pohozaev invariant at each puncture and refine some a priori bounds of the conformal factor, which may be of independent interest. △ Less

Submitted 27 January, 2021; originally announced January 2021.

Comments: 16 pages

Foliation of an asymptotically flat end by critical capacitors

Authors: Mouhammed Moustapha Fall, Ignace Aristide Minlend, Jesse Ratzkin

Abstract: We construct a foliation of an asymptotically flat end of a Riemannian manifold by hypersurfaces which are critical points of a natural functional arising in potential theory. These hypersurfaces are perturbations of large coordinate spheres, and they admit solutions of a certain over-determined boundary value problem involving the Laplace-Beltrami operator. In a key step we must invert the Dirich… ▽ More We construct a foliation of an asymptotically flat end of a Riemannian manifold by hypersurfaces which are critical points of a natural functional arising in potential theory. These hypersurfaces are perturbations of large coordinate spheres, and they admit solutions of a certain over-determined boundary value problem involving the Laplace-Beltrami operator. In a key step we must invert the Dirichlet-to-Neumann operator, highlighting the non-local nature of our problem △ Less

Submitted 10 July, 2020; originally announced July 2020.

Comments: 25 pages

MSC Class: 58J05; 58J32; 58J37; 35N10; 35N25

On a fourth order conformal invariant

Authors: Jesse Ratzkin

Abstract: In this note we prove that a fourth order conformal invariant on the product of a circle with an (n-1)-dimensional sphere can be arbitrarily close to that of the n-dimensional sphere, generalizing a result of Schoen about the classical Yamabe invariant. In this note we prove that a fourth order conformal invariant on the product of a circle with an (n-1)-dimensional sphere can be arbitrarily close to that of the n-dimensional sphere, generalizing a result of Schoen about the classical Yamabe invariant. △ Less

Submitted 14 February, 2020; originally announced February 2020.

Comments: 10 pages, 1 figure

On constant Q-curvature metrics with isolated singularities

Authors: Jesse Ratzkin

Abstract: In this paper we derive a refined asymptotic expansion, near an isolated singularity, for conformally flat metrics with constant positive Q-curvature and positive scalar curvature. The condition that the metric has constant Q-curvature forces the conformal factor to satisfy a fourth order nonlinear partial differential equation with critical Sobolev growth, whose leading term is the bilaplacian. W… ▽ More In this paper we derive a refined asymptotic expansion, near an isolated singularity, for conformally flat metrics with constant positive Q-curvature and positive scalar curvature. The condition that the metric has constant Q-curvature forces the conformal factor to satisfy a fourth order nonlinear partial differential equation with critical Sobolev growth, whose leading term is the bilaplacian. We model our results on a similar asymptotic expansion for conformally flat, constant scalar curvature metrics proven by Korevaar, Mazzeo, Pacard, and Schoen. Along the way we analyze the linearization of the Q-curvature equation about the Delaunay metrics recently discovered by Frank and König, which may be of independent interest. △ Less

Submitted 22 January, 2020; originally announced January 2020.

Comments: 34 pages, 1 figure, long overdue

On the rate of change of the best constant in the Sobolev inequality

Authors: Tom Carroll, Mouhamed Moustapha Fall, Jesse Ratzkin

Abstract: We estimate the rate of change of the best constant in the Sobolev inequality of a Euclidean domain which moves outward. Along the way we prove an inequality which reverses the usual Holder inequality, which may be of independent interest. We estimate the rate of change of the best constant in the Sobolev inequality of a Euclidean domain which moves outward. Along the way we prove an inequality which reverses the usual Holder inequality, which may be of independent interest. △ Less

Submitted 29 January, 2016; originally announced January 2016.

Comments: 17 pages

Journal ref: Math. Nachr. 290 (2017), no 14-15, 2185-2197

Monotonicity of the first Dirichlet eigenvalue of the Laplacian on manifolds of nonpositive curvature

Authors: Tom Carroll, Jesse Ratzkin

Abstract: Let $(M,g)$ be a complete manifold of nonpositive scalar curvature, let $Ω\subset M$ be a suitable domain, and let $λ(Ω)$ be the first Dirichlet eigenvalue of the Laplace-Beltrami operator on $Ω$. We prove several bounds for the rate of decrease of $λ(Ω)$ and $Ω$ increases, and a result comparing the rate of decrease of $λ$ before and after a conformal diffeomorphism. Along the way, we prove a rev… ▽ More Let $(M,g)$ be a complete manifold of nonpositive scalar curvature, let $Ω\subset M$ be a suitable domain, and let $λ(Ω)$ be the first Dirichlet eigenvalue of the Laplace-Beltrami operator on $Ω$. We prove several bounds for the rate of decrease of $λ(Ω)$ and $Ω$ increases, and a result comparing the rate of decrease of $λ$ before and after a conformal diffeomorphism. Along the way, we prove a reverse-Holder inequality for the first eigenfunction, which generalizes results of Chiti to the monifold setting and may be of independent interest △ Less

Submitted 3 July, 2014; originally announced July 2014.

Comments: 18 pages

MSC Class: 35P15

Journal ref: Indiana U. Math. J. 65 (2016), 353-376

A reverse Holder inequality for extremal Sobolev functions

Authors: Tom Carroll, Jesse Ratzkin

Abstract: Let $n \geq 2$, let $Ω\subset \mathbf{R}^n$ be a bounded domain with smooth boundary, and let $1 \leq p \leq 2$. We prove a reverse-Holder inequality for functions $u$ realizing the best constant in the Sobolev inequality, that is… ▽ More Let $n \geq 2$, let $Ω\subset \mathbf{R}^n$ be a bounded domain with smooth boundary, and let $1 \leq p \leq 2$. We prove a reverse-Holder inequality for functions $u$ realizing the best constant in the Sobolev inequality, that is $$\mathcal{C}_p(Ω) = \inf \left \{ \frac{\int_Ω|\nabla v|^2}{\left ( \int_Ω|v|^p \right )^{2/p}} \right \} = \frac{\int_Ω|\nabla u|^2}{\left ( \int_Ω|u|^p \right )^{2/p}}.$$ Our inequality has the form $\| u \|_{L^p} \geq K \| u \|_{L^q}$ for any $q > p$, where $K$ depends only on $n$, $p$, $q$, and $\mathcal{C}_p(Ω)$. This result generalizes work of Chiti, regarding the first Dirichlet eigenfunction of the Laplacian, and of van den Berg, regarding the torsion function. △ Less

Submitted 28 March, 2014; originally announced March 2014.

Comments: 10 pages

MSC Class: 35J10

Journal ref: Potential Anal. 42 (2015), 283-292

A numerical investigation of level sets of extremal Sobolev functions

Authors: Stefan Juhnke, Jesse Ratzkin

Abstract: In this paper we investigate the level sets of extremal Sobolev functions for subcritical exponents p. We conjecture that as p increases the corresponding extremal functions become more peaked, which we can measure by comparing their distribution functions. Then we provide compelling numerical evidence for our conjecture. In this paper we investigate the level sets of extremal Sobolev functions for subcritical exponents p. We conjecture that as p increases the corresponding extremal functions become more peaked, which we can measure by comparing their distribution functions. Then we provide compelling numerical evidence for our conjecture. △ Less

Submitted 10 January, 2014; originally announced January 2014.

Comments: 15 pages, 9 figures, submitted

Journal ref: Involve 8 (2015) 787-799

An isoperimetric inequality for extremal Sobolev functions

Authors: Tom Carroll, Jesse Ratzkin

Abstract: Let D be a bounded domain in n-dimensional Euclidean space, where n>2, and let 1<p< (2n)/(n-2). We prove a reverse-Holder inequality for functions realizing equality in the Sobolev inequality, which finds a lower bound for their (p-1)-norm in terms of their p-norm. This inequality is sharp, and it is an equality if and only if the domain is a round ball. Our result generalizes a theorem of Payne a… ▽ More Let D be a bounded domain in n-dimensional Euclidean space, where n>2, and let 1<p< (2n)/(n-2). We prove a reverse-Holder inequality for functions realizing equality in the Sobolev inequality, which finds a lower bound for their (p-1)-norm in terms of their p-norm. This inequality is sharp, and it is an equality if and only if the domain is a round ball. Our result generalizes a theorem of Payne and Rayner and our proof relies on integral rearrangements and an analysis of the ODE corresponding to the radial case. △ Less

Submitted 7 August, 2012; originally announced August 2012.

Comments: 11 pages, comments welcome

MSC Class: 35J

Journal ref: RIMS Kokyuroku Bassetsu B43 (2013), 1-16

Two isoperimetric inequalities for the Sobolev constant

Authors: Tom Carroll, Jesse Ratzkin

Abstract: In this note we prove two isoperimetric inequalities for the sharp constant in the Sobolev embedding and its associated extremal function. The first such inequality is a variation on the classical Schwarz Lemma from complex analysis, similar to recent inequalities of Burckel, Marshall, Minda, Poggi-Corradini, and Ransford, while the second generalises an isoperimetric inequality for the first eige… ▽ More In this note we prove two isoperimetric inequalities for the sharp constant in the Sobolev embedding and its associated extremal function. The first such inequality is a variation on the classical Schwarz Lemma from complex analysis, similar to recent inequalities of Burckel, Marshall, Minda, Poggi-Corradini, and Ransford, while the second generalises an isoperimetric inequality for the first eigenfunction of the Laplacian due to Payne and Rayner. △ Less

Submitted 13 May, 2011; originally announced May 2011.

Comments: 11 pages

MSC Class: 35J

Journal ref: Z. Angew. Math. Phys. 63 (2012), 855-863

Isoperimetric inequalities and variations on Schwarz's lemma

Authors: Tom Carroll, Jesse Ratzkin

Abstract: In this note we prove a version of the classical Schwarz lemma for the first eigenvalues of the Laplacian with Dirichlet boundary data. A key ingredient in our proof is an isoperimetric inequality for the first eigenfunction, due to Payne and Rayner, which we reinterpret as an isoperimetric inequality for a (singular) conformal metric on a bounded domain in the plane. In this note we prove a version of the classical Schwarz lemma for the first eigenvalues of the Laplacian with Dirichlet boundary data. A key ingredient in our proof is an isoperimetric inequality for the first eigenfunction, due to Payne and Rayner, which we reinterpret as an isoperimetric inequality for a (singular) conformal metric on a bounded domain in the plane. △ Less

Submitted 11 June, 2010; originally announced June 2010.

Comments: reproves results of Laugesen and Morpurgo by different methods, 9 pages, 3 figures

Interpolating between torsional rigidity and principal frequency

Authors: Tom Carroll, Jesse Ratzkin

Abstract: A one-parameter family of variational problems is introduced that interpolates between torsional rigidity and the first Dirichlet eigenvalue of the Laplacian. The associated partial differential equation is derived, which is shown to have positive solutions in many cases. Results are obtained regarding extremal domains and regarding variations of the domain or the parameter. A one-parameter family of variational problems is introduced that interpolates between torsional rigidity and the first Dirichlet eigenvalue of the Laplacian. The associated partial differential equation is derived, which is shown to have positive solutions in many cases. Results are obtained regarding extremal domains and regarding variations of the domain or the parameter. △ Less

Submitted 28 February, 2010; originally announced March 2010.

Comments: 13 pages, 2 figures

MSC Class: 35J20

Journal ref: J. Math. Anal. Appl. 379 (2011), 818-826

Eigenvalues of Euclidean wedge domains in higher dimensions

Authors: Jesse Ratzkin

Abstract: In this paper, we use a weighted isoperimetric inequality to give a lower bound on the first Dirichlet eigenvalue of the Laplacian on a bounded domain inside a Euclidean cone. Our bound is sharp, in that only sectors realize it. This result generalizes a lower bound of Payne and Weinberger in two dimensions. In this paper, we use a weighted isoperimetric inequality to give a lower bound on the first Dirichlet eigenvalue of the Laplacian on a bounded domain inside a Euclidean cone. Our bound is sharp, in that only sectors realize it. This result generalizes a lower bound of Payne and Weinberger in two dimensions. △ Less

Submitted 26 October, 2010; v1 submitted 3 May, 2009; originally announced May 2009.

Comments: 10 pages, no figures v2: revised and improved Section 3, to appear in Calculus of Variations and Partial Differential Equation

MSC Class: 35P15

Journal ref: Calc. Var. PDE 42 (2011), 93-106

A Payne-Weinberger eigenvalue estimate for wedge domains on spheres

Authors: Jesse Ratzkin, Andrejs Treibergs

Abstract: A Faber-Krahn type argument gives a sharp lower estimate for the first Dirichlet eigenvalue for subdomains of wedge domains in spheres, generalizing the inequality in the plane, found by Payne and Weinberger. An application is an alternative proof to the finiteness of a Brownian motion capture time estimate. A Faber-Krahn type argument gives a sharp lower estimate for the first Dirichlet eigenvalue for subdomains of wedge domains in spheres, generalizing the inequality in the plane, found by Payne and Weinberger. An application is an alternative proof to the finiteness of a Brownian motion capture time estimate. △ Less

Submitted 23 March, 2008; originally announced March 2008.

Comments: 10 pages

MSC Class: 35P15

Journal ref: Proc. Amer. Math. Soc. 137 (2009), 2299-2309

Coplanar k-unduloids are nondegenerate

Authors: Karsten Grosse-Brauckmann, Nicholas J. Korevaar, Robert B. Kusner, Jesse Ratzkin, John M. Sullivan

Abstract: We prove each embedded, constant mean curvature (CMC) surface in Euclidean space with genus zero and finitely many coplanar ends is nondegenerate: there is no nontrivial square-integrable solution to the Jacobi equation, the linearization of the CMC condition. This implies that the moduli space of such coplanar surfaces is a real-analytic manifold and that a neighborhood of these in the full CMC… ▽ More We prove each embedded, constant mean curvature (CMC) surface in Euclidean space with genus zero and finitely many coplanar ends is nondegenerate: there is no nontrivial square-integrable solution to the Jacobi equation, the linearization of the CMC condition. This implies that the moduli space of such coplanar surfaces is a real-analytic manifold and that a neighborhood of these in the full CMC moduli space is itself a manifold. Nondegeneracy further implies (infinitesimal and local) rigidity in the sense that the asymptotes map is an analytic immersion on these spaces, and also that the coplanar classifying map is an analytic diffeomorphism. △ Less

Submitted 12 December, 2008; v1 submitted 12 December, 2007; originally announced December 2007.

Comments: 19 pages, no figures; improvements to exposition

MSC Class: 53A10 (Primary) 58D10; 53C42 (Secondary)

Journal ref: Int. Math. Res. Not. 2009, 3391-3416

A Capture Problem in Brownian Motion and Eigenvalues of Spherical Domains

Authors: Jesse Ratzkin, Andrejs Treibergs

Abstract: We resolve a question of Bramson and Griffeath by showing that the expected capture time of four independent Brownian predators pursuing one Brownian prey on a line is finite. Our main tool is an eigenvalue estimate for a particular spherical domain, which we obtain by a coning construction and domain perturbation. We resolve a question of Bramson and Griffeath by showing that the expected capture time of four independent Brownian predators pursuing one Brownian prey on a line is finite. Our main tool is an eigenvalue estimate for a particular spherical domain, which we obtain by a coning construction and domain perturbation. △ Less

Submitted 12 May, 2005; originally announced May 2005.

Comments: 11 pages, 3 figures

Journal ref: Trans. Amer. Math. Soc. 361 (2009), 391-405

On the nondegeneracy of constant mean curvature surfaces

Authors: Nick Korevaar, Rob Kusner, Jesse Ratzkin

Abstract: We prove that many complete, noncompact, constant mean curvature (CMC) surfaces $f:Σ\to \R^3$ are nondegenerate; that is, the Jacobi operator $Δ_f + |A_f|^2$ has no $L^2$ kernel. In fact, if $Σ$ has genus zero and $f(Σ)$ is contained in a half-space, then we find an explicit upper bound for the dimension of the $L^2$ jernel in terms of the number of non-cylindrical ends. Our main tool is a conju… ▽ More We prove that many complete, noncompact, constant mean curvature (CMC) surfaces $f:Σ\to \R^3$ are nondegenerate; that is, the Jacobi operator $Δ_f + |A_f|^2$ has no $L^2$ kernel. In fact, if $Σ$ has genus zero and $f(Σ)$ is contained in a half-space, then we find an explicit upper bound for the dimension of the $L^2$ jernel in terms of the number of non-cylindrical ends. Our main tool is a conjugation operation on Jacobi fields which linearizes the conjugate cousin construction. Consequences include partial regularity for CMC moduli space, a larger class of CMC surfaces to use in gluing constructions, and a surprising characterization of CMC surfaces via spinning spheres. △ Less

Submitted 22 June, 2005; v1 submitted 8 July, 2004; originally announced July 2004.

Comments: v2: substantial revisions, to appear in Geom. Funct. Anal.; three figures

MSC Class: 53A; 53C

Journal ref: Geom. Funct. Anal. 16 (2006), 891-923

An End to End Gluing Construction for Metrics of Constant Positive Scalar Curvature

Authors: Jesse Ratzkin

Abstract: Complete constant positive scalar curvature metrics on S^n - {p_1, ..., p_k} admit a definite asymptotic structure; i.e. the metric is asymptotic to a specific S^{n-1}-invariant metric near the puncture points. This allows one to glue together two such metrics near their puncture points, provided the asymptotic structures match, and create a metric whose scalar curvature is very close to constan… ▽ More Complete constant positive scalar curvature metrics on S^n - {p_1, ..., p_k} admit a definite asymptotic structure; i.e. the metric is asymptotic to a specific S^{n-1}-invariant metric near the puncture points. This allows one to glue together two such metrics near their puncture points, provided the asymptotic structures match, and create a metric whose scalar curvature is very close to constant. In this paper we perturb this new metric to obtain a metric of constant scalar curvature. △ Less

Submitted 17 January, 2002; originally announced January 2002.

Comments: 18 pages

MSC Class: 53C

Journal ref: Indiana Univ. Math. J. 52 (2003), 703-726