-
Numerical Algorithms for Water Waves with Background Flow over Obstacles and Topography
Authors:
David M. Ambrose,
Roberto Camassa,
Jeremy L. Marzuola,
Richard M. McLaughlin,
Quentin Robinson,
Jon Wilkening
Abstract:
We present two accurate and efficient algorithms for solving the incompressible, irrotational Euler equations with a free surface in two dimensions with background flow over a periodic, multiply-connected fluid domain that includes stationary obstacles and variable bottom topography. One approach is formulated in terms of the surface velocity potential while the other evolves the vortex sheet stre…
▽ More
We present two accurate and efficient algorithms for solving the incompressible, irrotational Euler equations with a free surface in two dimensions with background flow over a periodic, multiply-connected fluid domain that includes stationary obstacles and variable bottom topography. One approach is formulated in terms of the surface velocity potential while the other evolves the vortex sheet strength. Both methods employ layer potentials in the form of periodized Cauchy integrals to compute the normal velocity of the free surface, are compatible with arbitrary parameterizations of the free surface and boundaries, and allow for circulation around each obstacle, which leads to multiple-valued velocity potentials but single-valued stream functions. We prove that the resulting second-kind Fredholm integral equations are invertible, possibly after a physically motivated finite-rank correction. In an angle-arclength setting, we show how to avoid curve reconstruction errors that are incompatible with spatial periodicity. We use the proposed methods to study gravity-capillary waves generated by flow around several elliptical obstacles above a flat or variable bottom boundary. In each case, the free surface eventually self-intersects in a splash singularity or collides with a boundary. We also show how to evaluate the velocity and pressure with spectral accuracy throughout the fluid, including near the free surface and solid boundaries. To assess the accuracy of the time evolution, we monitor energy conservation and the decay of Fourier modes and compare the numerical results of the two methods to each other. We implement several solvers for the discretized linear systems and compare their performance. The fastest approach employs a graphics processing unit (GPU) to construct the matrices and carry out iterations of the generalized minimal residual method (GMRES).
△ Less
Submitted 5 May, 2022; v1 submitted 3 August, 2021;
originally announced August 2021.
-
Pointwise dispersive estimates for Schrödinger operators on product cones
Authors:
Blake Keeler,
Jeremy L. Marzuola
Abstract:
We investigate the dispersive properties of solutions to the Schrödinger equation with a weakly decaying radial potential on cones. If the potential has sufficient polynomial decay at infinity, then we show that the Schrödinger flow on each eigenspace of the link manifold satisfies a weighted $L^1\to L^\infty$ dispersive estimate. In odd dimensions, the decay rate we compute is consistent with tha…
▽ More
We investigate the dispersive properties of solutions to the Schrödinger equation with a weakly decaying radial potential on cones. If the potential has sufficient polynomial decay at infinity, then we show that the Schrödinger flow on each eigenspace of the link manifold satisfies a weighted $L^1\to L^\infty$ dispersive estimate. In odd dimensions, the decay rate we compute is consistent with that of the Schrödinger equation in a Euclidean space of the same dimension, but the spatial weights reflect the more complicated regularity issues in frequency that we face in the form of the spectral measure. In even dimensions, we prove a similar estimate, but with a loss of $t^{1/2}$ compared to the sharp Euclidean estimate.
△ Less
Submitted 3 January, 2022; v1 submitted 19 October, 2020;
originally announced October 2020.
-
Defect resonances of truncated crystal structures
Authors:
Jianfeng Lu,
Jeremy L. Marzuola,
Alexander B. Watson
Abstract:
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…
▽ More
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.
△ Less
Submitted 21 July, 2020; v1 submitted 13 June, 2020;
originally announced June 2020.
-
A local test for global extrema in the dispersion relation of a periodic graph
Authors:
Gregory Berkolaiko,
Yaiza Canzani,
Graham Cox,
Jeremy L. Marzuola
Abstract:
We consider a family of periodic tight-binding models (combinatorial graphs) that have the minimal number of links between copies of the fundamental domain. For this family we establish a local condition of second derivative type under which the critical points of the dispersion relation can be recognized as global maxima or minima. Under the additional assumption of time-reversal symmetry, we sho…
▽ More
We consider a family of periodic tight-binding models (combinatorial graphs) that have the minimal number of links between copies of the fundamental domain. For this family we establish a local condition of second derivative type under which the critical points of the dispersion relation can be recognized as global maxima or minima. Under the additional assumption of time-reversal symmetry, we show that any local extremum of a dispersion band is in fact its global extremum if the dimension of the periodicity group is three or less, or (in any dimension) if the critical point in question is a symmetry point of the Floquet--Bloch family with respect to complex conjugation. We demonstrate that our results are nearly optimal with a number of examples.
△ Less
Submitted 5 January, 2022; v1 submitted 27 April, 2020;
originally announced April 2020.
-
Edge-localized states on quantum graphs in the limit of large mass
Authors:
Gregory Berkolaiko,
Jeremy L. Marzuola,
Dmitry E. Pelinovsky
Abstract:
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 rema…
▽ More
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.
△ Less
Submitted 23 March, 2020; v1 submitted 8 October, 2019;
originally announced October 2019.
-
Symmetry Breaking in Density Functional Theory due to Dirac Exchange for a Hydrogen Molecule
Authors:
Michael Holst,
Houdong Hu,
Jianfeng Lu,
Jeremy L. Marzuola,
Duo Song,
John Weare
Abstract:
We study symmetry breaking in the mean field solutions to the 2 electron hydrogen molecule within Kohn Sham (KS) local spin density function theory with Dirac exchange (the XLDA model). This simplified model shows behavior related to that of the (KS) spin density functional theory (SDFT) predictions in condensed and molecular systems. The Kohn Sham solutions to the constrained SDFT variation probl…
▽ More
We study symmetry breaking in the mean field solutions to the 2 electron hydrogen molecule within Kohn Sham (KS) local spin density function theory with Dirac exchange (the XLDA model). This simplified model shows behavior related to that of the (KS) spin density functional theory (SDFT) predictions in condensed and molecular systems. The Kohn Sham solutions to the constrained SDFT variation problem undergo spontaneous symmetry breaking as the relative strength of the non-convex exchange term increases. This results in the change of the molecular ground state from a paramagnetic state to an antiferromagnetic ground states and a stationary symmetric delocalized 1st excited state. We further characterize the limiting behavior of the minimizer when the strength of the exchange term goes to infinity. This leads to further bifurcations and highly localized states with varying character. The stability of the various solution classes is demonstrated by Hessian analysis. Finite element numerical results provide support for the formal conjectures.
△ Less
Submitted 22 February, 2021; v1 submitted 9 February, 2019;
originally announced February 2019.
-
Existence and stability of Schrödinger solitons on noncompact manifolds
Authors:
David Borthwick,
Roland Donninger,
Enno Lenzmann,
Jeremy L. Marzuola
Abstract:
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…
▽ More
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
△ Less
Submitted 20 September, 2018;
originally announced September 2018.
-
Existence and Stability Properties of Radial Bound States for Schrödinger-Poisson with an External Coulomb Potential in Three Space Dimensions
Authors:
Sarah Raynor,
Jeremy L. Marzuola,
Gideon Simpson
Abstract:
We consider radial solutions to the Schrödinger-Poisson system in three dimensions with an external smooth potential with Coulomb-like decay. Such a system can be viewed as a model for the interaction of dark matter with a bright matter background in the non-relativistic limit. We find that there are infinitely many critical points of the Hamiltonian, subject to fixed mass, and that these bifurcat…
▽ More
We consider radial solutions to the Schrödinger-Poisson system in three dimensions with an external smooth potential with Coulomb-like decay. Such a system can be viewed as a model for the interaction of dark matter with a bright matter background in the non-relativistic limit. We find that there are infinitely many critical points of the Hamiltonian, subject to fixed mass, and that these bifurcate from solutions to the associated linear problem at zero mass. As a result, each branch has a different topological character defined by the number of zeros of the radial states. We construct numerical approximations to these nonlinear states along the first several branches. The solution branches can be continued, numerically, to large mass values, where they become asymptotic, under a rescaling, to those of the Schrödinger-Poisson problem with no external potential. Our numerical computations indicate that the ground state is orbitally stable, while the excited states are linearly unstable for sufficiently large mass.
△ Less
Submitted 12 September, 2016; v1 submitted 11 December, 2015;
originally announced December 2015.
-
Ground state on the dumbbell graph
Authors:
Jeremy L. Marzuola,
Dmitry E. Pelinovsky
Abstract:
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…
▽ More
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.
△ Less
Submitted 24 October, 2017; v1 submitted 15 September, 2015;
originally announced September 2015.
-
Euler Equation on a Rotating Surface
Authors:
Michael Taylor,
Jeremy L. Marzuola
Abstract:
We study 2D Euler equations on a rotating surface, subject to the effect of the Coriolis force, with an emphasis on surfaces of revolution. We bring in conservation laws that yield long time estimates on solutions to the Euler equation, and examine ways in which the solutions behave like zonal fields, building on work of B.~Cheng and A.~Mahalov, examining how such 2D Euler equations can account fo…
▽ More
We study 2D Euler equations on a rotating surface, subject to the effect of the Coriolis force, with an emphasis on surfaces of revolution. We bring in conservation laws that yield long time estimates on solutions to the Euler equation, and examine ways in which the solutions behave like zonal fields, building on work of B.~Cheng and A.~Mahalov, examining how such 2D Euler equations can account for the observed band structure of rapidly rotating planets. Specific results include both an analysis of time averages of solutions and a study of stability of stationary zonal fields. The latter study includes both analytical and numerical work.
△ Less
Submitted 17 August, 2015;
originally announced August 2015.
-
The relaxation of a family of broken bond crystal surface models
Authors:
Jeremy L. Marzuola,
Jonathan Weare
Abstract:
We study the continuum limit of a family of kinetic Monte Carlo models of crystal surface relaxation that includes both the solid-on-solid and discrete Gaussian models. With computational experiments and theoretical arguments we are able to derive several partial differential equation limits identified (or nearly identified) in previous studies and to clarify the correct choice of surface tension…
▽ More
We study the continuum limit of a family of kinetic Monte Carlo models of crystal surface relaxation that includes both the solid-on-solid and discrete Gaussian models. With computational experiments and theoretical arguments we are able to derive several partial differential equation limits identified (or nearly identified) in previous studies and to clarify the correct choice of surface tension appearing in the PDE and the correct scaling regime giving rise to each PDE. We also provide preliminary computational investigations of a number of interesting qualitative features of the large scale behavior of the models.
△ Less
Submitted 11 April, 2013;
originally announced April 2013.
-
Wave operator bounds for 1-dimensional Schrödinger operators with singular potentials and applications
Authors:
Vincent Duchêne,
Jeremy L. Marzuola,
Michael I. Weinstein
Abstract:
Boundedness of wave operators for Schrödinger operators in one space dimension for a class of singular potentials, admitting finitely many Dirac delta distributions, is proved. Applications are presented to, for example, dispersive estimates and commutator bounds.
Boundedness of wave operators for Schrödinger operators in one space dimension for a class of singular potentials, admitting finitely many Dirac delta distributions, is proved. Applications are presented to, for example, dispersive estimates and commutator bounds.
△ Less
Submitted 26 May, 2010;
originally announced May 2010.
-
Long time dynamics near the symmetry breaking bifurcation for nonlinear Schrödinger/Gross-Pitaevskii Equations
Authors:
Jeremy L. Marzuola,
Michael I. Weinstein
Abstract:
We consider a class nonlinear Schrödinger / Gross-Pitaevskii equations (NLS/GP) with a focusing (attractive) nonlinear potential and symmetric double well linear potential. NLS/GP plays a central role in the modeling of nonlinear optical and mean-field quantum many-body phenomena. It is known that there is a critical $L^2$ norm (optical power / particle number) at which there is a symmetry break…
▽ More
We consider a class nonlinear Schrödinger / Gross-Pitaevskii equations (NLS/GP) with a focusing (attractive) nonlinear potential and symmetric double well linear potential. NLS/GP plays a central role in the modeling of nonlinear optical and mean-field quantum many-body phenomena. It is known that there is a critical $L^2$ norm (optical power / particle number) at which there is a symmetry breaking bifurcation of the ground state. We study the rich dynamical behavior near the symmetry breaking point. The source of this behavior in the full Hamiltonian PDE is related to the dynamics of a finite-dimensional Hamiltonian reduction. We derive this reduction, analyze a part of its phase space and prove a {\it shadowing theorem} on the persistence of solutions, with oscillating mass-transport between wells, on very long, but finite, time scales within the full NLS/GP. The infinite time dynamics for NLS/GP are expected to depart, from the finite dimensional reduction, due to resonant coupling of discrete and continuum / radiation modes.
△ Less
Submitted 10 December, 2009; v1 submitted 9 December, 2009;
originally announced December 2009.
