arXiv subjects

Jeremy L. Marzuola

Publications and source records attributed to Jeremy L. Marzuola.

At least 55 records · Page 3Linked to original sources

arXiv2020

Non-local SPDE limits of spatially-correlated-noise driven spin systems derived to sample a canonical distribution

We study the macroscopic behavior of a stochastic spin ensemble driven by a discrete Markov jump process motivated by the Metropolis-Hastings algorithm where the proposal is made with spatially correlated (colored) noise, and hence fails to be symmetric. However, we demonstrate a scenario where the failure of proposal symmetry is a higher order effect. Hence, from these microscopic dynamics we derive as a limit as the proposal size goes to zero and the number of spins to infinity, a non-local stochastic version of the harmonic map heat flow (or overdamped Landau-Lipshitz equation). The equation is both mathematically well-posed and samples the canonical/Gibbs distribution related to the kinetic energy. The failure of proposal symmetry due to interaction between the confining geometry of the spin system and the colored noise is in contrast to the uncorrelated, white-noise, driven system. Specifically, the choice of projection of the noise to conserve the magnitude of the spins is crucial to maintaining the proper equilibrium distribution. Numerical simulations are included to verify convergence properties and demonstrate the dynamics.

cond-mat.stat-mech↗

arXiv2020

Defect resonances of truncated crystal structures

Defects in the atomic structure of crystalline materials may spawn electronic bound states, known as \emph{defect states}, which decay rapidly away from the defect. Simplified models of defect states typically assume the defect is surrounded on all sides by an infinite perfectly crystalline material. In reality the surrounding structure must be finite, and in certain contexts the structure can be small enough that edge effects are significant. In this work we investigate these edge effects and prove the following result. Suppose that a one-dimensional infinite crystalline material hosting a positive energy defect state is truncated a distance $M$ from the defect. Then, for sufficiently large $M$, there exists a resonance \emph{exponentially close} (in $M$) to the bound state eigenvalue. It follows that the truncated structure hosts a metastable state with an exponentially long lifetime. Our methods allow both the resonance frequency and associated resonant state to be computed to all orders in $e^{-M}$. We expect this result to be of particular interest in the context of photonic crystals, where defect states are used for wave-guiding and structures are relatively small. Finally, under a mild additional assumption we prove that if the defect state has negative energy then the truncated structure hosts a bound state with exponentially-close energy.

math.AP↗

arXiv2020

Limiting Eigenfunctions of Sturm-Liouville operators Subject to a Spectral Flow

We examine the spectrum of a family of Sturm--Liouville operators with regularly spaced delta function potentials parametrized by increasing strength. The limiting behavior of the eigenvalues under this spectral flow was described in a previor result of the last two authors with Berkolaiko, where it was used to study the nodal deficiency of Laplacian eigenfunctions. Here we consider the eigenfunctions of these operators. In particular, we give explicit formulas for the limiting eigenfunctions, and also characterize the eigenfunctions and eigenvalues for all values for the spectral flow parameter (not just in the limit). We also develop spectrally accurate numerical tools for comparison and visualization.

math.SP↗

arXiv2020

A Proximal-Gradient Algorithm for Crystal Surface Evolution

As a counterpoint to recent numerical methods for crystal surface evolution, which agree well with microscopic dynamics but suffer from significant stiffness that prevents simulation on fine spatial grids, we develop a new numerical method based on the macroscopic partial differential equation, leveraging its formal structure as the gradient flow of the total variation energy, with respect to a weighted $H^{-1}$ norm. This gradient flow structure relates to several metric space gradient flows of recent interest, including 2-Wasserstein flows and their generalizations to nonlinear mobilities. We develop a novel semi-implicit time discretization of the gradient flow, inspired by the classical minimizing movements scheme (known as the JKO scheme in the 2-Wasserstein case). We then use a primal dual hybrid gradient (PDHG) method to compute each element of the semi-implicit scheme. In one dimension, we prove convergence of the PDHG method to the semi-implicit scheme, under general integrability assumptions on the mobility and its reciprocal. Finally, by taking finite difference approximations of our PDHG method, we arrive at a fully discrete numerical algorithm, with iterations that converge at a rate independent of the spatial discretization: in particular, the convergence properties do not deteriorate as we refine our spatial grid. We close with several numerical examples illustrating the properties of our method, including facet formation at local maxima, pinning at local minima, and convergence as the spatial and temporal discretizations are refined.

math.NA↗

arXiv2020

Spectral band degeneracies of $\fracπ{2}-$rotationally invariant periodic Schrödinger operators

The dynamics of waves in periodic media is determined by the band structure of the underlying periodic Hamiltonian. Symmetries of the Hamiltonian can give rise to novel properties of the band structure. Here we consider a class of periodic Schrödinger operators, $H_V=-Δ+V$, where $V$ is periodic with respect to the lattice of translates $Λ=\mathbb{Z}^2$. The potential is also assumed to be real-valued, sufficiently regular and such that, with respect to some origin of coordinates, inversion symmetric (even) and invariant under $π/2$ rotation. The present results are the $\mathbb{Z}^2-$ analogue of results obtained for conical degenerate points (Dirac points) in honeycomb structures. Our proofs make use of the framework developed by Fefferman-Weinstein and Fefferman-Lee-Thorp-Weinstein.

math.AP↗

arXiv2020

Edge-localized states on quantum graphs in the limit of large mass

In this work, we construct and quantify asymptotically in the limit of large mass a variety of edge-localized stationary states of the focusing nonlinear Schrödinger equation on a quantum graph. The method is applicable to general bounded and unbounded graphs. The solutions are constructed by matching a localized large amplitude elliptic function on a single edge with an exponentially smaller remainder on the rest of the graph. This is done by studying the intersections of Dirichlet-to-Neumann manifolds (nonlinear analogues of Dirichlet-to-Neumann maps) corresponding to the two parts of the graph. For the quantum graph with a given set of pendant, looping, and internal edges, we find the edge on which the state of smallest energy at fixed mass is localized. Numerical studies of several examples are used to illustrate the analytical results.

math.AP↗

arXiv2020

On the behavior of $1$-Laplacian Ratio Cuts on nearly rectangular domains

Given a connected set $Ω_0 \subset \mathbb{R}^2$, define a sequence of sets $(Ω_n)_{n=0}^{\infty}$ where $Ω_{n+1}$ is the subset of $Ω_n$ where the first eigenfunction of the (properly normalized) Neumann $p-$Laplacian $ -Δ^{(p)} ϕ= λ_1 |ϕ|^{p-2} ϕ$ is positive (or negative). For $p=1$, this is also referred to as the Ratio Cut of the domain. We conjecture that, unless $Ω_0$ is an isosceles right triangle, these sets converge to the set of rectangles with eccentricity bounded by 2 in the Gromov-Hausdorff distance as long as they have a certain distance to the boundary $\partial Ω_0$. We establish some aspects of this conjecture for $p=1$ where we prove that (1) the 1-Laplacian spectral cut of domains sufficiently close to rectangles of a given aspect ratio is a circular arc that is closer to flat than the original domain (leading eventually to quadrilaterals) and (2) quadrilaterals close to a rectangle of aspect ratio $2$ stay close to quadrilaterals and move closer to rectangles in a suitable metric. We also discuss some numerical aspects and pose many open questions.

math.SP↗

arXiv2019

Analysis of a continuum theory for broken bond crystal surface models with evaporation and deposition effects

We study a $4$th order PDE with a $2$nd order correction that is a modification of one suggested by Peter Smereka using the tools of Krug et al (Z. Phys. B., 1994). First, we provide a non-rigorous derivation of the full model derived with a quadratic interaction potential using the rates and methods of the last author with Jonathan Weare (PRE, 2013). Then, we prove the existence of a global in time weak solution by regularizing the equation in a way that allows us to apply the tools of Bernis-Friedman (JDE, 1990). The methods developed here can be applied to a large number of $4$th order degenerate models. In an appendix, we also discuss the global smooth solution with small data in the Weiner algebra framework following recent developments using tools of the second author with Robert Strain (IFB, 2018).

math.AP↗

arXiv2019

Nonnegative Weak Solutions of Thin Film Equations Related to Viscous Flows in Cylindrical Geometries

Motivated by models for thin films coating cylinders in two physical cases proposed by V.I. Kerchman and A.L. Frenkel, we analyze the dynamics of corresponding thin film models. The models are governed by nonlinear, fourth-order, degenerate, parabolic PDEs. We prove, given positive and suitably regular initial data, the existence of weak solutions in all length scales of the cylinder, where all solutions are only local in time. We also prove that given a length constraint on the cylinder, long-time and global in time weak solutions exist. This analytical result is motivated by numerical work on related models in the Ph.D. Thesis of R. Ogrosky in conjunction with multiple further works jointly worked on by combinations of Camassa, Forest, Lee, the first author, Ogrosky, Olander, and Vaughn.

math.AP↗

arXiv2019

Quadrature by Two Expansions: Evaluating Laplace Layer Potentials using Complex Polynomial and Plane Wave Expansions

The recently developed quadrature by expansion (QBX) technique accurately evaluates the layer potentials with singular, weakly or nearly singular, or even hyper singular kernels in the integral equation reformulations of partial differential equations. The idea is to form a local complex polynomial or partial wave expansion centered at a point away from the boundary to avoid the singularity in the integrand, and then extrapolate the expansion at points near or even exactly on the boundary. In this paper, in addition to the local complex Taylor polynomial expansion, we derive new representations of the Laplace layer potentials using both the local complex polynomial and plane wave expansions. Unlike in the QBX, the local complex polynomial expansion in the new quadrature by two expansions (QB2X) method only collects the far-field contributions and its number of expansion terms can be analyzed using tools from the classical fast multipole method. The plane wave type expansion in the QB2X method better captures the layer potential features near the boundary. It is derived by applying the Fourier extension technique to the density and boundary geometry functions and then analytically utilizing the Residue Theorem for complex contour integrals. The internal connections of the layer potential with its density function and curvature on the boundary are explicitly revealed in the plane wave expansion and its error is bounded by the Fourier extension errors. We present preliminary numerical results to demonstrate the accuracy of the QB2X representations and to validate our analysis.

math.NA↗

arXiv2019

Nodal line estimates for the second Dirichlet eigenfunction

We study the nodal curves of low energy Dirichlet eigenfunctions in generalized curvilinear quadrilaterals. The techniques can be seen as a generalization of the tools developed by Grieser-Jerison in a series of works on convex planar domains and rectangles with one curved edge and a large aspect ratio. Here, we study the structure of the nodal curve in greater detail, in that we find precise bounds on its curvature, with uniform estimates up to the two points where it meets the domain at right angles, and show that many of our results hold for relatively small aspect ratios of the side lengths. We also discuss applications of our results to Courant-sharp eigenfunctions and spectral partitioning.

math.AP↗

arXiv2019

Bulk soliton dynamics in bosonic topological insulators

We theoretically explore the dynamics of spatial solitons in nonlinear/interacting bosonic topological insulators. We employ a time-reversal broken Lieb-lattice analog of a Chern insulator and find that in the presence of a saturable nonlinearity, solitons bifurcate from a band of non-zero Chern number into the topological band gap with vortex-like structure on a sublattice. We numerically demonstrate the existence stable vortex solitons for a range of parameters and that the lattice soliton dynamics are subject to the anomalous velocity associated with large Berry curvature at the topological Lieb band edge. The features of the vortex solitons are well described by a new underlying continuum Dirac model. We further show a new kind of interaction: when these topological solitons `bounce' off the edge of a finite structure, they create chiral edge states, and this give rise to an "anomalous" reflection of the soliton from the boundary.

cond-mat.mes-hall↗

arXiv2018

Existence and stability of Schrödinger solitons on noncompact manifolds

We consider the focusing nonlinear Schrödinger equation on a large class of rotationally symmetric, noncompact manifolds. We prove the existence of a solitary wave by perturbing off the flat Euclidean case. Furthermore, we study the stability of the solitary wave under radial perturbations by analyzing spectral properties of the associated linearized operator. Finally, in the L2-critical case, by considering the Vakhitov-Kolokolov criterion (see also results of Grillakis-Shatah-Strauss), we provide numerical evidence showing that the introduction of a nontrivial geometry destabilizes the solitary wave in a wide variety of cases, regardless of the curvature of the manifold. In particular, the parameters of the metric corresponding to standard hyperbolic space will lead to instability consistent with the blow-up results of Banica-Duyckaerts (2015). We also provide numerical evidence for geometries under which it would be possible for the Vakhitov-Kolokolov condition to suggest stability, provided certain spectral properties hold in these spaces

math-ph↗

arXiv2017

Ground state on the dumbbell graph

We consider standing waves in the focusing nonlinear Schrödinger (NLS) equation on a dumbbell graph (two rings attached to a central line segment subject to the Kirchhoff boundary conditions at the junctions). In the limit of small $L^2$ norm, the ground state (the orbitally stable standing wave of the smallest energy at a fixed $L^2$ norm) is represented by a constant solution. However, when the $L^2$ norm is increased, this constant solution undertakes two bifurcations, where the first is the pitchfork (symmetry breaking) bifurcation and the second one is the symmetry preserving bifurcation. As a result of the first symmetry breaking bifurcation, the standing wave becomes more localized in one of the two rings. As a result of the second symmetry preserving bifurcation, the standing wave becomes localized in the central line segment. In the limit of large norm solutions, both standing waves are represented by a truncated solitary wave localized in either the ring or the central line segment. Although the asymmetric wave supported in the ring is a ground state near the symmetry breaking bifurcation of the constant solution, it is the symmetric wave supported in the central line segment which becomes the ground state in the limit of large $L^2$ norm. The analytical results are confirmed by numerical approximations of the ground state on the dumbbell graph.

math.AP↗

arXiv2017

Asymmetry in crystal facet dynamics of homoepitaxy by a continuum model

In the absence of external material deposition, crystal surfaces usually relax to become flat by decreasing their free energy. We study an asymmetry in the relaxation of macroscopic plateaus, facets, of a periodic surface corrugation in 1+1 dimensions via a continuum model below the roughening transition temperature. The model invokes a highly degenerate parabolic partial differential equation (PDE) for surface diffusion, which is related to the weighted-$H^{-1}$ (nonlinear) gradient flow of a convex, singular surface free energy in homoepitaxy. The PDE is motivated both by an atomistic broken-bond model and a mesoscale model for steps. By constructing an explicit solution to the PDE, we demonstrate the lack of symmetry in the evolution of top and bottom facets in periodic surface profiles. Our explicit, analytical solution is compared to numerical simulations of the PDE via a regularized surface free energy.

cond-mat.stat-mech↗

arXiv2017

Locating resonances on hyperbolic cones

In this note we explicitly compute the resonances on hyperbolic cones. These are hyperbolic manifolds with a conic singularity equipped with a warped product metric. The calculation is based on separation of variables and Kummer's connection formulae for hypergeometric functions. To our knowledge this is the one of the few explicit calculations of resonances that does not rely on the resolvent being a two-point function.

math.AP↗

arXiv2017

A symplectic perspective on constrained eigenvalue problems

The Maslov index is a powerful tool for computing spectra of selfadjoint, elliptic boundary value problems. This is done by counting intersections of a fixed Lagrangian subspace, which designates the boundary condition, with the set of Cauchy data for the differential operator. We apply this methodology to constrained eigenvalue problems, in which the operator is restricted to a (not necessarily invariant) subspace. The Maslov index is defined and used to compute the Morse index of the constrained operator. We then prove a constrained Morse index theorem, which says that the Morse index of the constrained problem equals the number of constrained conjugate points, counted with multiplicity, and give an application to the nonlinear Schrödinger equation.

math.SP↗

arXiv2017

Compactons and their variational properties for degenerate KdV and NLS in dimension 1

We analyze the stationary and traveling wave solutions to a family of degenerate dispersive equations of KdV and NLS-type. In stark contrast to the standard soliton solutions for non-degenerate KdV and NLS equations, the degeneracy of the elliptic operators studied here allows for compactly supported steady or traveling states. As we work in $1$ dimension, ODE methods apply, however the models considered have formally conserved Hamiltonian, Mass and Momentum functionals, which allow for variational analysis as well.

math.AP↗