Source author record

Brian Krummel

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AP math.DG math.OC

Catalog footprint

Research overview

8works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Existence and regularity results for the penalized thin obstacle problem with variable coefficients

In this paper we give a comprehensive treatment of a two-penalty boundary obstacle problem for a divergence form elliptic operator, motivated by applications to fluid dynamics and thermics. Specifically, we prove existence, uniqueness and optimal regularity of solutions, and establish structural properties of the free boundary. The proofs are based on tailor-made monotonicity formulas of Almgren, Weiss, and Monneau-type, combined with the classical theory of oblique derivative problems.

preprint2016arXiv

Isoperimetry with upper mean curvature bounds and sharp stability estimates

It was proved by Almgren that among boundaries whose mean curvature is bounded from above, perimeter is uniquely minimized by balls. We obtain sharp stability estimates for Almgren's isoperimetric principle and, as an application, we deduce a sharp description of boundaries with almost constant mean curvature under a total perimeter bound which prevents bubbling.

preprint2016arXiv

Regularity of minimal submanifolds and mean curvature flows with a common free boundary

Let $N$ be a smooth $(n+l)$ -dimensional Riemannian manifold. We show that if $V$ is an area-stationary union of three or more $C^{1,μ}$ $n$ -dimensional submanifolds-with-boundary $M_k \subset N$ with a common boundary $Γ$ , then $Γ$ is smooth and each $M_k$ is smooth up to $Γ$ (real-analytic in the case $N$ is real-analytic). This extends a previous result of the author for codimension $l = 1$ . We additionally show that if $\{V_t\}_{t \in (-1,1)}$ is a Brakke flow such that each time-slice $V_t$ is a union of three or more $n$ -dimensional submanifolds-with-boundary $M_{k,t} \subset N$ with a common boundary $Γ_t$ and with parabolic $C^{2+μ}$ regularity in time-space, then $\{Γ_t\}_{t \in (-1,1)}$ and $\{M_{k,t}\}_{t \in (-1,1)}$ are smooth (second Gevrey with real-analytic time-slices in the case $N$ is real-analytic).

preprint2014arXiv

Constant frequency and the higher regularity of branch sets

We consider a two-valued function $u$ that is either Dirichlet energy minimizing, $C^{1,μ}$ harmonic, or in $C^{1,μ}$ with an area-stationary graph such that Almgren's frequency (restricted to the singular set) is continuous at a singular point $Y_0$ . As a corollary of recent work of Wickramasekera and the author, if the frequency of $u$ at $Y_0$ equals $1/2+k$ for some integer $k \geq 0$ , then the singular set of $u$ is a $C^{1,τ}$ submanifold and we have estimates on the asymptotic behavior of $u$ at singular points. Using a nontrivial modification of the argument of Wickramasekera and author, we show that the frequency of $u$ at $Y_0$ cannot equal an integer and therefore must equal $1/2+k$ for some integer $k \geq 0$ . We then use the asymptotic behavior of $u$ and partial Legendre-type transformations based on those of Kinderlehrer, Nirenberg, and Spruck to show that the singular set in this case is in fact real analytic.

preprint2013arXiv

Existence and regularity of multivalued solutions to elliptic equations and systems

We extend the work of Simon and Wickramasekera, who constructed a large class of $C^{1,μ}$ multivalued solutions to the minimal surface equation, to produce $C^{1,μ}$ multivalued solutions to more general classes of elliptic equations and systems, including the minimal surface system with small boundary data and the Laplace equation. We use methods for differential equations, which are more general than the specific minimal submanifold approach adopted by Simon and Wickramasekera. We also prove the branch set of the graphs of the solutions constructed by Simon and Wickramasekera are real analytic submanifolds by inductively using Schauder estimates.

preprint2013arXiv

Fine properties of branch point singularities: Two-valued harmonic functions

In the 1980's, Almgren developed a theory of multi-valued Dirichlet energy minimizing functions on $n$ dimensional domains and used it, in an essential way, to bound the Hausdorff dimension of the singular sets of area minimizing rectifiable currents of dimension $n$ and codimension $\geq 2$ . Recent work of the second author shows that two-valued $C^{1, μ}$ harmonic functions on $n$ dimensional domains, which are typically-non-minimizing stationary points of Dirichlet energy, play an essential role in the study of multiplicity 2 branch points of stable codimension 1 rectifiable currents of dimension $n$ . In all of these cases (of multi-valued harmonic functions and minimal currents), it is known that the branch sets have Hausdorff dimension $\leq n-2.$ In this paper we initiate a study of the local structure of branch sets. We show that the branch set of a two-valued Dirichlet energy minimizing function or a two-valued $C^{1, μ}$ harmonic function, in each closed ball of its domain, is either empty or has positive $(n-2)$ -dimensional Hausdorff measure and is equal to the union of a finite number of locally compact, locally $(n-2)$ -rectifiable sets. Our method is inspired by the work of L. Simon on the structure of singularities of minimal submanifolds in compact, multiplicity 1 classes.

preprint2013arXiv

Regularity of minimal hypersurfaces with a common free boundary

Let $N$ be a Riemannian manifold and consider a stationary union of three or more $C^{1,μ}$ hypersurfaces-with-boundary $M_k$ in $N$ with a common boundary $Γ$ . We show that if $N$ is smooth, then $Γ$ is smooth and each $M_k$ is smooth up to $Γ$ (real analytic in the case $N$ is real analytic). Consequently we strengthen a result of Wickramasekera to conclude that under the stronger hypothesis that $V$ is a stationary, stable, integral $n$ -varifold in an $(n+1)$ -dimensional, smooth (real analytic) Riemannian manifold such that the support of $\|V\|$ is nowhere locally the union of three or more smooth (real analytic) hypersurfaces-with-boundary meeting along a common boundary, the singular set of $V$ is empty if $n = 6$ , is discrete if $n = 7$ , and has Hausdorff dimension at most $n-7$ if $n \geq 8$ .

preprint2011arXiv

Classification of Einstein metrics on the product of an interval with a three-sphere

We present a complete classification of Einstein metrics on the space M = I \times S^3, where I is the interval (0,l) or (0,\infty) or their closures, and we consider separate metric functions f and h (functions of I) for the base and fiber of the Hopf fibration S^1 -> S^3 -> S^2. All such metrics yielding smooth and complete manifolds are included and discussed. The results are surprisingly rich, including many well-known examples and several one-parameter families of metrics with a variety of geometries.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Brian Krummel

Research overview

Is this your work?

8 publications

Existence and regularity results for the penalized thin obstacle problem with variable coefficients

Isoperimetry with upper mean curvature bounds and sharp stability estimates

Regularity of minimal submanifolds and mean curvature flows with a common free boundary

Constant frequency and the higher regularity of branch sets

Existence and regularity of multivalued solutions to elliptic equations and systems

Fine properties of branch point singularities: Two-valued harmonic functions

Regularity of minimal hypersurfaces with a common free boundary

Classification of Einstein metrics on the product of an interval with a three-sphere

See the researcher in context

Building this map preview