Showing 1–17 of 17 results for author: Pyo, J

Free boundary minimal annuli in $S^2_+\times S^1$

Authors: Pak Tung Ho, Juncheol Pyo, Keomkyo Seo

Abstract: Let $M$ be a compact 3-dimensional Riemannian manifold with nonnegative Ricci curvature and a nonempty boundary $\partial M$. Fraser and Li \cite{Fraser&Li} established a compactness theorem for the space of compact, properly embedded minimal surfaces of fixed topological type in $M$ with a free boundary on $\partial M$, assuming that $\partial M$ is strictly convex with respect to the inward unit… ▽ More Let $M$ be a compact 3-dimensional Riemannian manifold with nonnegative Ricci curvature and a nonempty boundary $\partial M$. Fraser and Li \cite{Fraser&Li} established a compactness theorem for the space of compact, properly embedded minimal surfaces of fixed topological type in $M$ with a free boundary on $\partial M$, assuming that $\partial M$ is strictly convex with respect to the inward unit normal. In this paper, we show that the strict convexity condition on $\partial M$ cannot be relaxed. △ Less

Submitted 15 May, 2025; originally announced May 2025.

Comments: Comments are welcome! (to appear in Proceedings of the Edinburgh Mathematical Society)

MSC Class: Primary 53A10; Secondary 53C42

Calderón-Zygmund estimates for nonlinear equations of differential forms with BMO coefficients

Authors: Mikyoung Lee, Jihoon Ok, Juncheol Pyo

Abstract: We obtain $L^q$-regularity estimates for weak solutions to $p$-Laplacian type equations of differential forms. In particular, we prove local Calderón-Zygmund type estimates for equations with discontinuous coefficients satisfying the bounded mean oscillation (BMO) condition. We obtain $L^q$-regularity estimates for weak solutions to $p$-Laplacian type equations of differential forms. In particular, we prove local Calderón-Zygmund type estimates for equations with discontinuous coefficients satisfying the bounded mean oscillation (BMO) condition. △ Less

Submitted 6 November, 2023; originally announced November 2023.

MSC Class: 35J92; 35B65; 35D30

Spectral constant rigidity of warped product metrics

Authors: Xiaoxiang Chai, Juncheol Pyo, Xueyuan Wan

Abstract: A theorem of Llarull says that if a smooth metric $g$ on the $n$-sphere $\mathbb{S}^n$ is bounded below by the standard round metric and the scalar curvature $R_g$ of $g$ is bounded below by $n (n - 1)$, then the metric $g$ must be the standard round metric. We prove a spectral Llarull theorem by replacing the bound $R_g \geq n (n - 1)$ by a lower bound on the first eigenvalue of an elliptic opera… ▽ More A theorem of Llarull says that if a smooth metric $g$ on the $n$-sphere $\mathbb{S}^n$ is bounded below by the standard round metric and the scalar curvature $R_g$ of $g$ is bounded below by $n (n - 1)$, then the metric $g$ must be the standard round metric. We prove a spectral Llarull theorem by replacing the bound $R_g \geq n (n - 1)$ by a lower bound on the first eigenvalue of an elliptic operator involving the Laplacian and the scalar curvature $R_g$. We utilize two methods: spinor and spacetime harmonic function. △ Less

Submitted 15 July, 2024; v1 submitted 20 October, 2023; originally announced October 2023.

Comments: 29 pages; comments welcome; accepted version in J. LMS (minor difference from published version)

MSC Class: 53C24; 53C27; 58C40

Rigidity results for mean curvature flow graphical translators moving in non-graphical direction

Authors: John Man Shun Ma, Yuan Shyong Ooi, Juncheol Pyo

Abstract: In this paper, we study the rigidity results of complete graphical translating hypersurfaces when the translating direction is not in the graphical direction. We proved that any entire graphical translating surface in the translating direction not parallel to the graphical one is flat if either the translating surface is mean convex or the entropy of the translating surface is smaller than $2$. Fo… ▽ More In this paper, we study the rigidity results of complete graphical translating hypersurfaces when the translating direction is not in the graphical direction. We proved that any entire graphical translating surface in the translating direction not parallel to the graphical one is flat if either the translating surface is mean convex or the entropy of the translating surface is smaller than $2$. For higher dimensional case, we show that the same conclusion holds if the graphical translating hypersurface satisfies certain growth condition. △ Less

Submitted 7 October, 2022; originally announced October 2022.

Report number: CPH-GEOTOP-DNRF151 MSC Class: 53C24; 53C44

Some rigidity results on compact hypersurfaces with capillary boundary in Hyperbolic space

Authors: Yimin Chen, Juncheol Pyo

Abstract: In this paper, we prove a Heintze-Karcher type inequality for capillary hypersurfaces supported on various hypersurfaces in the hyperbolic space. The equality case only occurs on capillary totally umbilical hypersurfaces. Then we apply this result to prove the Alexandrov type theorem for embedded capillary hypersurfaces in the hyperbolic space. In addition, we prove some other rigidity results for… ▽ More In this paper, we prove a Heintze-Karcher type inequality for capillary hypersurfaces supported on various hypersurfaces in the hyperbolic space. The equality case only occurs on capillary totally umbilical hypersurfaces. Then we apply this result to prove the Alexandrov type theorem for embedded capillary hypersurfaces in the hyperbolic space. In addition, we prove some other rigidity results for capillary hypersurfaces supported on totally geodesic plane in $\mathbb B^{n+1}_+$. △ Less

Submitted 26 May, 2023; v1 submitted 17 June, 2022; originally announced June 2022.

Comments: 31 pages, 11 figures

Weighted Hsiung-Minkowski formulas and rigidity of umbilical hypersurfaces

Authors: Kwok-Kun Kwong, Hojoo Lee, Juncheol Pyo

Abstract: We use the weighted Hsiung-Minkowski integral formulas and Brendle's inequality to show new rigidity results. First, we prove Alexandrov type results for closed embedded hypersurfaces with radially symmetric higher order mean curvature in a large class of Riemannian warped product manifolds, including the Schwarzschild and Reissner-Nordström spaces, where the Alexandrov reflection principle is not… ▽ More We use the weighted Hsiung-Minkowski integral formulas and Brendle's inequality to show new rigidity results. First, we prove Alexandrov type results for closed embedded hypersurfaces with radially symmetric higher order mean curvature in a large class of Riemannian warped product manifolds, including the Schwarzschild and Reissner-Nordström spaces, where the Alexandrov reflection principle is not available. Second, we prove that, in Euclidean space, the only closed immersed self-expanding solitons to the weighted generalized inverse curvature flow of codimension one are round hyperspheres. △ Less

Submitted 16 September, 2016; v1 submitted 31 August, 2016; originally announced August 2016.

Comments: 13 pages. Main results strengthened. Some remarks added

Constant mean curvature surfaces with boundary on a sphere

Authors: Rafael López, Juncheol Pyo

Abstract: In this article we study the shape of a compact surface of constant mean curvature of Euclidean space whose boundary is contained in a round sphere. We consider the case that the boundary is prescribed or that the surface meets the sphere with a constant angle. We study under what geometric conditions the surface must be spherical. Our results apply in many scenarios in physics where in absence of… ▽ More In this article we study the shape of a compact surface of constant mean curvature of Euclidean space whose boundary is contained in a round sphere. We consider the case that the boundary is prescribed or that the surface meets the sphere with a constant angle. We study under what geometric conditions the surface must be spherical. Our results apply in many scenarios in physics where in absence of gravity a liquid drop is deposited on a round solid ball and the air-liquid interface is a critical point for area under all variations that preserve the enclosed volume. △ Less

Submitted 21 October, 2014; originally announced October 2014.

Journal ref: Applied Mathematics and Computation, 220 (2013), 316 -323

Capillary surfaces of constant mean curvature in a right solid cylinder

Authors: Rafael López, Juncheol Pyo

Abstract: In this paper we investigate constant mean curvature surfaces with nonempty boundary in Euclidean space that meet a right cylinder at a constant angle along the boundary. If the surface lies inside of the cylinder, we obtain some results of symmetry by using the Alexandrov reflection method. When the mean curvature is zero, we give sufficient conditions to obtain that the surface is part of a plan… ▽ More In this paper we investigate constant mean curvature surfaces with nonempty boundary in Euclidean space that meet a right cylinder at a constant angle along the boundary. If the surface lies inside of the cylinder, we obtain some results of symmetry by using the Alexandrov reflection method. When the mean curvature is zero, we give sufficient conditions to obtain that the surface is part of a plane or a catenoid. △ Less

Submitted 21 October, 2014; originally announced October 2014.

Journal ref: Mathematische Nachrichten, 287 (2014), no. 11-12, 1312-1319

Capillary surfaces in a cone

Authors: Rafael López, Juncheol Pyo

Abstract: We show that a capillary surface in a solid cone, that is, a surface that has constant mean curvature and the boundary of surface meets the boundary of the cone with a constant angle, is radially graphical if the mean curvature is non-positive with respect to the Gauss map pointing toward the domain bounded by the surface and the boundary of the cone. In the particular case that the cone is circul… ▽ More We show that a capillary surface in a solid cone, that is, a surface that has constant mean curvature and the boundary of surface meets the boundary of the cone with a constant angle, is radially graphical if the mean curvature is non-positive with respect to the Gauss map pointing toward the domain bounded by the surface and the boundary of the cone. In the particular case that the cone is circular, we prove that the surface is a spherical cap or a planar disc. The proofs are based on an extension of the Alexandrov reflection method by using inversions about spheres. △ Less

Submitted 21 October, 2014; originally announced October 2014.

MSC Class: 53A10; 49Q10; 76B45; 76D45

Journal ref: Journal of Geometry and Physics, 76 (2014), 256-262

Some Isoperimetric Inequalities and Eigenvalue Estimates in Weighted Manifolds

Authors: Marcio Batista, Marcos P. Cavalcante, Juncheol Pyo

Abstract: In this paper we prove general inequalities involving the weighted mean curvature of compact submanifolds immersed in weighted manifolds. As a consequence we obtain a relative linear isoperimetric inequality for such submanifolds. We also prove an extrinsic upper bound to the first non zero eigenvalue of the drift Laplacian on closed submanifolds of weighted manifolds. In this paper we prove general inequalities involving the weighted mean curvature of compact submanifolds immersed in weighted manifolds. As a consequence we obtain a relative linear isoperimetric inequality for such submanifolds. We also prove an extrinsic upper bound to the first non zero eigenvalue of the drift Laplacian on closed submanifolds of weighted manifolds. △ Less

Submitted 5 February, 2014; v1 submitted 20 June, 2013; originally announced June 2013.

Comments: Typos corrected

MSC Class: 53C42; 58J50

Simply-connected minimal surfaces with finite total curvature in $\H^2\times\R$

Authors: Juncheol Pyo, Magdalena Rodriguez

Abstract: Laurent Hauswirth and Harold Rosenberg developed the theory of minimal surfaces with finite total curvature in $\H^2\times\R$. They showed that the total curvature of one such a surface must be a non-negative integer multiple of $-2π$. The first examples appearing in this context are vertical geodesic planes and Scherk minimal graphs over ideal polygonal domains. Other non simply-connected example… ▽ More Laurent Hauswirth and Harold Rosenberg developed the theory of minimal surfaces with finite total curvature in $\H^2\times\R$. They showed that the total curvature of one such a surface must be a non-negative integer multiple of $-2π$. The first examples appearing in this context are vertical geodesic planes and Scherk minimal graphs over ideal polygonal domains. Other non simply-connected examples have been constructed recently. In the present paper, we show that the only complete minimal surfaces in $\H^2\times\R$ of total curvature $-2π$ are Scherk minimal graphs over ideal quadrilaterals. We also construct properly embedded simply-connected minimal surfaces with total curvature $-4kπ$, for any integer $k\geq 1$, which are not Scherk minimal graphs over ideal polygonal domains. △ Less

Submitted 3 October, 2012; originally announced October 2012.

Comments: 11 pages, 3 figures, Comments welcome

MSC Class: 53A10 (Primary) 49Q05; 53C42 (Secondary)

Spacelike surfaces with free boundary in the Lorentz-Minkowski space

Authors: Rafael López, Juncheol Pyo

Abstract: We investigate a variational problem in the Lorentz-Minkowski space $ł^3$ whose critical points are spacelike surfaces with constant mean curvature and making constant contact angle with a given support surface along its common boundary. We show that if the support surface is a pseudosphere, then the surface is a planar disc or a hyperbolic cap. We also study the problem of spacelike hypersurfaces… ▽ More We investigate a variational problem in the Lorentz-Minkowski space $ł^3$ whose critical points are spacelike surfaces with constant mean curvature and making constant contact angle with a given support surface along its common boundary. We show that if the support surface is a pseudosphere, then the surface is a planar disc or a hyperbolic cap. We also study the problem of spacelike hypersurfaces with free boundary in the higher dimensional Lorentz-Minkowski space $ł^{n+1}$. △ Less

Submitted 16 December, 2011; originally announced December 2011.

Comments: 16 pages. Accepted in Classical and Quantum Gravity

MSC Class: 53A10; 53C42

Spacelike capillary surfaces in the Lorentz-Minkowski space

Authors: Juncheol Pyo, Keomkyo Seo

Abstract: For a compact spacelike constant mean curvature surface with nonempty boundary in the three-dimensional Lorentz-Minkowski space, we introduce a rotation index of the lines of curvature at the boundary umbilic point, which was developed by Choe \cite{Choe}. Using the concept of the rotation index at the interior and boundary umbilic points and applying the Poincaré-Hopf index formula, we prove that… ▽ More For a compact spacelike constant mean curvature surface with nonempty boundary in the three-dimensional Lorentz-Minkowski space, we introduce a rotation index of the lines of curvature at the boundary umbilic point, which was developed by Choe \cite{Choe}. Using the concept of the rotation index at the interior and boundary umbilic points and applying the Poincaré-Hopf index formula, we prove that a compact immersed spacelike disk type capillary surface with less than $4$ vertices in a domain of $\Bbb L^3$ bounded by (spacelike or timelike) totally umbilic surfaces is part of a (spacelike) plane or a hyperbolic plane. Moreover we prove that the only immersed spacelike disk type capillary surface inside de Sitter surface in $\Bbb L^3$ is part of (spacelike) plane or a hyperbolic plane. △ Less

Submitted 13 October, 2010; originally announced October 2010.

MSC Class: 53A10; 53C42

Maximal annuli with parallel planar boundaries in the 3-dimensional Lorentz-Minkowski space

Authors: Juncheol Pyo

Abstract: We prove that maximal annuli in $\mathbb{L}^{3}$ bounded by circles, straight lines or cone points in a pair of parallel spacelike planes are part of either a Lorentzian catenoid or a Lorentzian Riemann's example. We show that under the same boundary condition, the same conclusion holds even when the maximal annuli have a planar end. Moreover, we extend Shiffman's convexity result to maximal ann… ▽ More We prove that maximal annuli in $\mathbb{L}^{3}$ bounded by circles, straight lines or cone points in a pair of parallel spacelike planes are part of either a Lorentzian catenoid or a Lorentzian Riemann's example. We show that under the same boundary condition, the same conclusion holds even when the maximal annuli have a planar end. Moreover, we extend Shiffman's convexity result to maximal annuli but by using Perron's method we construct a maximal annulus with a planar end where Shiffman type result fails. △ Less

Submitted 30 November, 2009; originally announced December 2009.

Comments: 12 pages

MSC Class: Primary 53C42; Secondary 53C50 53A10

Minimal annuli with constant contact angle along the planar boundaries

Authors: Juncheol Pyo

Abstract: We show that an immersed minimal annulus, with two planar boundary curves along which the surface meets these planes with constant contact angle, is part of the catenoid. We show that an immersed minimal annulus, with two planar boundary curves along which the surface meets these planes with constant contact angle, is part of the catenoid. △ Less

Submitted 30 November, 2009; originally announced December 2009.

Comments: 6 pages, 1 figures

MSC Class: 53C24; 49Q05

New complete embedded minimal surfaces in H2xR

Authors: Juncheol Pyo

Abstract: We construct three kinds of complete embedded minimal surfaces in $\Bbb H^2\times \Bbb R$. The first is a simply connected, singly periodic, infinite total curvature surface. The second is an annular finite total curvature surface. These two are conjugate surfaces just as the helicoid and the catenoid are in $\mathbb R^3$. The third one is a finite total curvature surface which is conformal to… ▽ More We construct three kinds of complete embedded minimal surfaces in $\Bbb H^2\times \Bbb R$. The first is a simply connected, singly periodic, infinite total curvature surface. The second is an annular finite total curvature surface. These two are conjugate surfaces just as the helicoid and the catenoid are in $\mathbb R^3$. The third one is a finite total curvature surface which is conformal to $\mathbb S^2\setminus\{p_1,...,p_k\}, k\geq3.$ △ Less

Submitted 25 January, 2011; v1 submitted 30 November, 2009; originally announced November 2009.

Comments: 3 figures, corrected typos

MSC Class: 53C42; 53A35; 53C40

Regularity of soap film-like surfaces spanning graphs in a Riemannian manifold

Authors: Robert Gulliver, Sung-ho Park, Juncheol Pyo, Keomkyo Seo

Abstract: Let $M$ be an $n$-dimensional complete simply connected Riemannian manifold with sectional curvature bounded above by a nonpositive constant $-κ^2$. Using the cone total curvature $TC(Γ)$ of a graph $Γ$ which was introduced by Gulliver and Yamada Math. Z. 2006, we prove that the density at any point of a soap film-like surface $Σ$ spanning a graph $Γ\subset M$ is less than or equal to… ▽ More Let $M$ be an $n$-dimensional complete simply connected Riemannian manifold with sectional curvature bounded above by a nonpositive constant $-κ^2$. Using the cone total curvature $TC(Γ)$ of a graph $Γ$ which was introduced by Gulliver and Yamada Math. Z. 2006, we prove that the density at any point of a soap film-like surface $Σ$ spanning a graph $Γ\subset M$ is less than or equal to $\frac{1}{2π}\{TC(Γ) - κ^{2}\area(p\mbox{$\times\hspace*{-0.178cm}\times$}Γ)\}$. From this density estimate we obtain the regularity theorems for soap film-like surfaces spanning graphs with small total curvature. In particular, when $n=3$, this density estimate implies that if \begin{eqnarray*} TC(Γ) < 3.649π+ κ^2 \inf_{p\in M} \area({p\mbox{$\times\hspace*{-0.178cm}\times$}Γ}), \end{eqnarray*} then the only possible singularities of a piecewise smooth $(\mathbf{M},0,δ)$-minimizing set $Σ$ is the $Y$-singularity cone. In a manifold with sectional curvature bounded above by $b^2$ and diameter bounded by $π/b$, we obtain similar results for any soap film-like surfaces spanning a graph with the corresponding bound on cone total curvature. △ Less

Submitted 5 November, 2009; originally announced November 2009.

Comments: 14 pages

MSC Class: 58E35; 49Q20