-
Targeting influence in a harmonic opinion model
Authors:
Zachary M. Boyd,
Nicolas Fraiman,
Jeremy L. Marzuola,
Peter J. Mucha,
Braxton Osting
Abstract:
Influence propagation in social networks is a central problem in modern social network analysis, with important societal applications in politics and advertising. A large body of work has focused on cascading models, viral marketing, and finite-horizon diffusion. There is, however, a need for more developed, mathematically principled \emph{adversarial models}, in which multiple, opposed actors str…
▽ More
Influence propagation in social networks is a central problem in modern social network analysis, with important societal applications in politics and advertising. A large body of work has focused on cascading models, viral marketing, and finite-horizon diffusion. There is, however, a need for more developed, mathematically principled \emph{adversarial models}, in which multiple, opposed actors strategically select nodes whose influence will maximally sway the crowd to their point of view.
In the present work, we develop and analyze such a model based on harmonic functions and linear diffusion. We prove that our general problem is NP-hard and that the objective function is monotone and submodular; consequently, we can greedily approximate the solution within a constant factor. Introducing and analyzing a convex relaxation, we show that the problem can be approximately solved using smooth optimization methods. We illustrate the effectiveness of our approach on a variety of example networks.
△ Less
Submitted 28 June, 2024;
originally announced July 2024.
-
Homology of spectral minimal partitions
Authors:
Gregory Berkolaiko,
Yaiza Canzani,
Graham Cox,
Jeremy L. Marzuola
Abstract:
A spectral minimal partition of a manifold is its decomposition into disjoint open sets that minimizes a spectral energy functional. It is known that bipartite spectral minimal partitions coincide with nodal partitions of Courant-sharp Laplacian eigenfunctions. However, almost all minimal partitions are non-bipartite. To study those, we define a modified Laplacian operator and prove that the nodal…
▽ More
A spectral minimal partition of a manifold is its decomposition into disjoint open sets that minimizes a spectral energy functional. It is known that bipartite spectral minimal partitions coincide with nodal partitions of Courant-sharp Laplacian eigenfunctions. However, almost all minimal partitions are non-bipartite. To study those, we define a modified Laplacian operator and prove that the nodal partitions of its Courant-sharp eigenfunctions are minimal within a certain topological class of partitions. This yields new results in the non-bipartite case and recovers the above known result in the bipartite case. Our approach is based on tools from algebraic topology, which we illustrate by a number of examples where the topological types of partitions are characterized by relative homology.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
QGLAB: A MATLAB Package for Computations on Quantum Graphs
Authors:
Roy H. Goodman,
Grace Conte,
Jeremy L. Marzuola
Abstract:
We describe QGLAB, a new MATLAB package for analyzing partial differential equations on quantum graphs. The software is built on the existing, object-oriented MATLAB directed-graph class, inheriting its structure and adding additional easy-to-use features. The package allows one to construct a quantum graph and accurately compute the spectrum of elliptic operators, solutions to Poisson problems, t…
▽ More
We describe QGLAB, a new MATLAB package for analyzing partial differential equations on quantum graphs. The software is built on the existing, object-oriented MATLAB directed-graph class, inheriting its structure and adding additional easy-to-use features. The package allows one to construct a quantum graph and accurately compute the spectrum of elliptic operators, solutions to Poisson problems, the linear and nonlinear time evolution of a variety of PDEs, the continuation of branches of steady states (including locating and switching branches at bifurcations) and more. It uses a unified framework to implement finite-difference and Chebyshev discretizations of differential operators on a quantum graph. For simplicity, the package overloads many built-in MATLAB functions to work on the class.
△ Less
Submitted 31 December, 2023;
originally announced January 2024.
-
Dam** for fractional wave equations and applications to water waves
Authors:
Thomas Alazard,
Jeremy L. Marzuola,
Jian Wang
Abstract:
Motivated by numerically modeling surface waves for inviscid Euler equations, we analyze linear models for damped water waves and establish decay properties for the energy for sufficiently regular initial configurations. Our findings give the explicit decay rates for the energy, but do not address reflection/transmission of waves at the interface of the dam**. Still for a subset of the models co…
▽ More
Motivated by numerically modeling surface waves for inviscid Euler equations, we analyze linear models for damped water waves and establish decay properties for the energy for sufficiently regular initial configurations. Our findings give the explicit decay rates for the energy, but do not address reflection/transmission of waves at the interface of the dam**. Still for a subset of the models considered, this represents the first result proving the decay of the energy of the surface wave models.
△ Less
Submitted 18 August, 2023;
originally announced August 2023.
-
Uniform upper bounds on Courant sharp Neumann eigenvalues of chain domains
Authors:
Thomas Beck,
Yaiza Canzani,
Jeremy L. Marzuola
Abstract:
We obtain upper bounds on the number of nodal domains of Laplace eigenfunctions on chain domains with Neumann boundary conditions. The chain domains consist of a family of planar domains, with piecewise smooth boundary, that are joined by thin necks. Our work does not assume a lower bound on the width of the necks in the chain domain. As a consequence, we prove an upper bound on the number of Cour…
▽ More
We obtain upper bounds on the number of nodal domains of Laplace eigenfunctions on chain domains with Neumann boundary conditions. The chain domains consist of a family of planar domains, with piecewise smooth boundary, that are joined by thin necks. Our work does not assume a lower bound on the width of the necks in the chain domain. As a consequence, we prove an upper bound on the number of Courant sharp eigenfunctions that is independent of the widths of the necks.
△ Less
Submitted 25 May, 2023;
originally announced May 2023.
-
Escape times for subgraph detection and graph partitioning
Authors:
Zachary M. Boyd,
Nicolas Fraiman,
Jeremy L. Marzuola,
Peter J. Mucha,
Braxton Osting
Abstract:
We provide a rearrangement based algorithm for fast detection of subgraphs of $k$ vertices with long escape times for directed or undirected networks. Complementing other notions of densest subgraphs and graph cuts, our method is based on the mean hitting time required for a random walker to leave a designated set and hit the complement. We provide a new relaxation of this notion of hitting time o…
▽ More
We provide a rearrangement based algorithm for fast detection of subgraphs of $k$ vertices with long escape times for directed or undirected networks. Complementing other notions of densest subgraphs and graph cuts, our method is based on the mean hitting time required for a random walker to leave a designated set and hit the complement. We provide a new relaxation of this notion of hitting time on a given subgraph and use that relaxation to construct a fast subgraph detection algorithm and a generalization to $K$-partitioning schemes. Using a modification of the subgraph detector on each component, we propose a graph partitioner that identifies regions where random walks live for comparably large times. Importantly, our method implicitly respects the directed nature of the data for directed graphs while also being applicable to undirected graphs. We apply the partitioning method for community detection to a large class of model and real-world data sets.
△ Less
Submitted 24 December, 2022;
originally announced December 2022.
-
Newton polygons and resonances of multiple delta-potentials
Authors:
Kiril Datchev,
Jeremy L. Marzuola,
Jared Wunsch
Abstract:
We prove explicit asymptotics for the location of semiclassical scattering resonances in the setting of $h$-dependent delta-function potentials on $\mathbb{R}$. In the cases of two or three delta poles, we are able to show that resonances occur along specific lines of the form $\Im z \sim -γh \log(1/h).$ More generally, we use the method of Newton polygons to show that resonances near the real axi…
▽ More
We prove explicit asymptotics for the location of semiclassical scattering resonances in the setting of $h$-dependent delta-function potentials on $\mathbb{R}$. In the cases of two or three delta poles, we are able to show that resonances occur along specific lines of the form $\Im z \sim -γh \log(1/h).$ More generally, we use the method of Newton polygons to show that resonances near the real axis may only occur along a finite collection of such lines, and we bound the possible number of values of the parameter $γ.$ We present numerical evidence of the existence of more and more possible values of $γ$ for larger numbers of delta poles.
△ Less
Submitted 24 August, 2023; v1 submitted 16 August, 2022;
originally announced August 2022.
-
Price's law on Minkowski space in the presence of an inverse square potential
Authors:
Dean Baskin,
Jesse Gell-Redman,
Jeremy L. Marzuola
Abstract:
We consider the pointwise decay of solutions to wave-type equations in two model singular settings. Our main result is a form of Price's law for solutions of the massless Dirac-Coulomb system in (3+1)-dimensions. Using identical techniques, we prove a similar theorem for the wave equation on Minkowski space with an inverse square potential. One novel feature of these singular models is that soluti…
▽ More
We consider the pointwise decay of solutions to wave-type equations in two model singular settings. Our main result is a form of Price's law for solutions of the massless Dirac-Coulomb system in (3+1)-dimensions. Using identical techniques, we prove a similar theorem for the wave equation on Minkowski space with an inverse square potential. One novel feature of these singular models is that solutions exhibit two different leading decay rates at timelike infinity in two regimes, distinguished by whether the spatial momentum along a curve which approaches timelike infinity is zero or non-zero. An important feature of our analysis is that it yields a precise description of solutions at the interface of these two regions which comprise the whole of timelike infinity.
△ Less
Submitted 10 April, 2023; v1 submitted 13 July, 2022;
originally announced July 2022.
-
Nodal Set Openings on Perturbed Rectangular Domains
Authors:
Thomas Beck,
Marichi Gupta,
Jeremy L. Marzuola
Abstract:
We study the effects of perturbing the boundary of a rectangle on the nodal sets of eigenfunctions of the Laplacian. Namely, for a rectangle of a given aspect ratio $N$, we identify the first Dirichlet mode to feature a crossing in its nodal set and perturb one of the sides of the rectangle by a close to flat, smooth curve. Such perturbations will often "open" the crossing in the nodal set, splitt…
▽ More
We study the effects of perturbing the boundary of a rectangle on the nodal sets of eigenfunctions of the Laplacian. Namely, for a rectangle of a given aspect ratio $N$, we identify the first Dirichlet mode to feature a crossing in its nodal set and perturb one of the sides of the rectangle by a close to flat, smooth curve. Such perturbations will often "open" the crossing in the nodal set, splitting it into two curves, and we study the separation between these curves and their regularity. The main technique used is an approximate separation of variables that allows us to restrict study to the first two Fourier modes in an eigenfunction expansion. We show how the nature of the boundary perturbation provides conditions on the orientation of the opening and estimates on its size. In particular, several features of the perturbed nodal set are asymptotically independent of the aspect ratio, which contrasts with prior works. Numerical results supporting our findings are also presented.
△ Less
Submitted 25 April, 2022;
originally announced April 2022.
-
Eigenvalue spacing for 1D singular Schrödinger operators
Authors:
Luc Hillairet,
Jeremy L. Marzuola
Abstract:
The aim of this paper is to provide uniform estimates for the eigenvalue spacings of one-dimensional semiclassical Schrödinger operators with singular potentials on the half-line. We introduce a new development of semiclassical measures related to families of Schrödinger operators that provides a means of establishing uniform non-concentration estimates within that class of operators. This dramati…
▽ More
The aim of this paper is to provide uniform estimates for the eigenvalue spacings of one-dimensional semiclassical Schrödinger operators with singular potentials on the half-line. We introduce a new development of semiclassical measures related to families of Schrödinger operators that provides a means of establishing uniform non-concentration estimates within that class of operators. This dramatically simplifies analysis that would typically require detailed WKB expansions near the turning point, near the singular point and several gluing type results to connect various regions in the domain.
△ Less
Submitted 9 March, 2022;
originally announced March 2022.
-
Stability of spectral partitions and the Dirichlet-to-Neumann map
Authors:
Gregory Berkolaiko,
Yaiza Canzani,
Graham Cox,
Jeremy L. Marzuola
Abstract:
The oscillation of a Laplacian eigenfunction gives a great deal of information about the manifold on which it is defined. This oscillation can be encoded in the nodal deficiency, an important geometric quantity that is notoriously hard to compute, or even estimate. Here we compare two recently obtained formulas for the nodal deficiency, one in terms of an energy functional on the space of equipart…
▽ More
The oscillation of a Laplacian eigenfunction gives a great deal of information about the manifold on which it is defined. This oscillation can be encoded in the nodal deficiency, an important geometric quantity that is notoriously hard to compute, or even estimate. Here we compare two recently obtained formulas for the nodal deficiency, one in terms of an energy functional on the space of equipartitions of the manifold, and the other in terms of a two-sided Dirichlet-to-Neumann map defined on the nodal set. We relate these two approaches by giving an explicit formula for the Hessian of the equipartition energy in terms of the Dirichlet-to-Neumann map. This allows us to compute Hessian eigenfunctions, and hence directions of steepest descent, for the equipartition energy in terms of the corresponding Dirichlet-to-Neumann eigenfunctions. Our results do not assume bipartiteness, and hence are relevant to the study of spectral minimal partitions.
△ Less
Submitted 18 July, 2022; v1 submitted 3 January, 2022;
originally announced January 2022.
-
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.
-
Quantitative bounds on Impedance-to-Impedance operators with applications to fast direct solvers for PDEs
Authors:
Thomas Beck,
Yaiza Canzani,
Jeremy L. Marzuola
Abstract:
We prove quantitative norm bounds for a family of operators involving impedance boundary conditions on convex, polygonal domains. A robust numerical construction of Helmholtz scattering solutions in variable media via the Dirichlet-to-Neumann operator involves a decomposition of the domain into a sequence of rectangles of varying scales and constructing impedance-to-impedance boundary operators on…
▽ More
We prove quantitative norm bounds for a family of operators involving impedance boundary conditions on convex, polygonal domains. A robust numerical construction of Helmholtz scattering solutions in variable media via the Dirichlet-to-Neumann operator involves a decomposition of the domain into a sequence of rectangles of varying scales and constructing impedance-to-impedance boundary operators on each subdomain. Our estimates in particular ensure the invertibility, with quantitative bounds in the frequency, of the merge operators required to reconstruct the original Dirichlet-to-Neumann operator in terms of these impedance-to-impedance operators of the sub-domains. A key step in our proof is to obtain Neumann and Dirichlet boundary trace estimates on solutions of the impedance problem, which are of independent interest. In addition to the variable media setting, we also construct bounds for similar merge operators in the obstacle scattering problem.
△ Less
Submitted 26 March, 2021;
originally announced March 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.
-
Non-local SPDE limits of spatially-correlated-noise driven spin systems derived to sample a canonical distribution
Authors:
Yuan Gao,
Jeremy L. Marzuola,
Jonathan Mattingly,
Katherine A. Newhall
Abstract:
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 der…
▽ More
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.
△ Less
Submitted 27 July, 2020;
originally announced July 2020.
-
A metric on directed graphs and Markov chains based on hitting probabilities
Authors:
Zachary M. Boyd,
Nicolas Fraiman,
Jeremy L. Marzuola,
Peter J. Mucha,
Braxton Osting,
Jonathan Weare
Abstract:
The shortest-path, commute time, and diffusion distances on undirected graphs have been widely employed in applications such as dimensionality reduction, link prediction, and trip planning. Increasingly, there is interest in using asymmetric structure of data derived from Markov chains and directed graphs, but few metrics are specifically adapted to this task. We introduce a metric on the state sp…
▽ More
The shortest-path, commute time, and diffusion distances on undirected graphs have been widely employed in applications such as dimensionality reduction, link prediction, and trip planning. Increasingly, there is interest in using asymmetric structure of data derived from Markov chains and directed graphs, but few metrics are specifically adapted to this task. We introduce a metric on the state space of any ergodic, finite-state, time-homogeneous Markov chain and, in particular, on any Markov chain derived from a directed graph. Our construction is based on hitting probabilities, with nearness in the metric space related to the transfer of random walkers from one node to another at stationarity. Notably, our metric is insensitive to shortest and average walk distances, thus giving new information compared to existing metrics. We use possible degeneracies in the metric to develop an interesting structural theory of directed graphs and explore a related quotienting procedure. Our metric can be computed in $O(n^3)$ time, where $n$ is the number of states, and in examples we scale up to $n=10,000$ nodes and $\approx 38M$ edges on a desktop computer. In several examples, we explore the nature of the metric, compare it to alternative methods, and demonstrate its utility for weak recovery of community structure in dense graphs, visualization, structure recovering, dynamics exploration, and multiscale cluster detection.
△ Less
Submitted 18 January, 2021; v1 submitted 25 June, 2020;
originally announced June 2020.
-
Limiting Eigenfunctions of Sturm-Liouville operators Subject to a Spectral Flow
Authors:
Thomas Beck,
Isabel Bors,
Grace Conte,
Graham Cox,
Jeremy L. Marzuola
Abstract:
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 eigenfunct…
▽ More
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.
△ Less
Submitted 24 June, 2020;
originally announced June 2020.
-
A Proximal-Gradient Algorithm for Crystal Surface Evolution
Authors:
Katy Craig,
Jian-Guo Liu,
Jianfeng Lu,
Jeremy L. Marzuola,
Li Wang
Abstract:
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 we…
▽ More
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.
△ Less
Submitted 22 June, 2020;
originally announced June 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.
-
The essential spectrum of periodically-stationary solutions of the complex Ginzburg-Landau equation
Authors:
John Zweck,
Yuri Latushkin,
Jeremy L. Marzuola,
Christopher K. R. T. Jones
Abstract:
We establish the existence and regularity properties of a monodromy operator for the linearization of the cubic-quintic complex Ginzburg-Landau equation about a periodically-stationary (breather) solution. We derive a formula for the essential spectrum of the monodromy operator in terms of that of the associated asymptotic linear differential operator. This result is obtained using the theory of a…
▽ More
We establish the existence and regularity properties of a monodromy operator for the linearization of the cubic-quintic complex Ginzburg-Landau equation about a periodically-stationary (breather) solution. We derive a formula for the essential spectrum of the monodromy operator in terms of that of the associated asymptotic linear differential operator. This result is obtained using the theory of analytic semigroups under the assumption that the Ginzburg-Landau equation includes a spectral filtering (diffusion) term. We discuss applications to the stability of periodically-stationary pulses in ultrafast fiber lasers.
△ Less
Submitted 6 October, 2020; v1 submitted 18 May, 2020;
originally announced May 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.
-
Local well-posedness for a quasilinear Schrödinger equation with degenerate dispersion
Authors:
Benjamin Harrop-Griffiths,
Jeremy L. Marzuola
Abstract:
We consider a quasilinear Schrödinger equation on $\mathbb R$ for which the dispersive effects degenerate when the solution vanishes. We first prove local well-posedness for sufficiently smooth, spatially localized, degenerate initial data. As a corollary in the focusing case we obtain a short time stability result for the energy-minimizing compact breather.
We consider a quasilinear Schrödinger equation on $\mathbb R$ for which the dispersive effects degenerate when the solution vanishes. We first prove local well-posedness for sufficiently smooth, spatially localized, degenerate initial data. As a corollary in the focusing case we obtain a short time stability result for the energy-minimizing compact breather.
△ Less
Submitted 17 August, 2020; v1 submitted 8 April, 2020;
originally announced April 2020.
-
Analysis of a fourth order exponential PDE arising from a crystal surface jump process with Metropolis-type transition rates
Authors:
Yuan Gao,
Anya E. Katsevich,
Jian-Guo Liu,
Jianfeng Lu,
Jeremy L. Marzuola
Abstract:
We analytically and numerically study a fourth order PDE modeling rough crystal surface diffusion on the macroscopic level. We discuss existence of solutions globally in time and long time dynamics for the PDE model. The PDE, originally derived by the second author, is the continuum limit of a microscopic model of the surface dynamics, given by a Markov jump process with Metropolis type transition…
▽ More
We analytically and numerically study a fourth order PDE modeling rough crystal surface diffusion on the macroscopic level. We discuss existence of solutions globally in time and long time dynamics for the PDE model. The PDE, originally derived by the second author, is the continuum limit of a microscopic model of the surface dynamics, given by a Markov jump process with Metropolis type transition rates. We outline the convergence argument, which depends on a simplifying assumption on the local equilibrium measure that is valid in the high temperature regime. We provide numerical evidence for the convergence of the microscopic model to the PDE in this regime.
△ Less
Submitted 19 November, 2020; v1 submitted 16 March, 2020;
originally announced March 2020.
-
On the behavior of $1$-Laplacian Ratio Cuts on nearly rectangular domains
Authors:
Wesley Hamilton,
Jeremy L. Marzuola,
Hau-tieng Wu
Abstract:
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…
▽ More
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.
△ Less
Submitted 7 January, 2020; v1 submitted 6 January, 2020;
originally announced January 2020.
-
Quasilinear Schrödinger equations III: Large Data and Short Time
Authors:
Jeremy L. Marzuola,
Jason Metcalfe,
Daniel Tataru
Abstract:
In this article we prove short time local well-posedness in low-regularity Sobolev spaces for large data general quasilinear Schrödinger equations with a non-trap** assumption. These results represent improvements over the small data regime considered by the authors in previous works, as well as the pioneering works by Kenig-Ponce-Vega and Kenig-Ponce-Rolvung-Vega, where viscosity methods were u…
▽ More
In this article we prove short time local well-posedness in low-regularity Sobolev spaces for large data general quasilinear Schrödinger equations with a non-trap** assumption. These results represent improvements over the small data regime considered by the authors in previous works, as well as the pioneering works by Kenig-Ponce-Vega and Kenig-Ponce-Rolvung-Vega, where viscosity methods were used to prove existence of solutions for localized data in high regularity spaces. Our arguments here are purely dispersive. The function spaces in which we show existence are constructed in ways motivated by the results of Mizohata, Ichinose, Doi, and others, including the authors.
△ Less
Submitted 14 April, 2021; v1 submitted 3 January, 2020;
originally announced January 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, loo**, 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.
-
Quadrature by Two Expansions: Evaluating Laplace Layer Potentials using Complex Polynomial and Plane Wave Expansions
Authors:
Lingyun Ding,
**gfang Huang,
Jeremy L. Marzuola
Abstract:
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…
▽ More
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.
△ Less
Submitted 28 June, 2019;
originally announced July 2019.
-
The radiation field on product cones
Authors:
Dean Baskin,
Jeremy L. Marzuola
Abstract:
We consider the wave equation on a product cone and find a joint asymptotic expansion for solutions near null and future infinities. The rates of decay seen in the expansion at future infinity are the resonances of a hyperbolic cone and were computed by the authors in a previous paper. The expansion treats an asymptotic regime not considered in the influential work of Cheeger and Taylor. The main…
▽ More
We consider the wave equation on a product cone and find a joint asymptotic expansion for solutions near null and future infinities. The rates of decay seen in the expansion at future infinity are the resonances of a hyperbolic cone and were computed by the authors in a previous paper. The expansion treats an asymptotic regime not considered in the influential work of Cheeger and Taylor. The main result adapts the blueprint laid out in the asymptotically Minkowski setting with key new elements including propagation estimates near the conic singularities. The proof of the propagation estimates extends prior work of Melrose-Vasy-Wunsch and Gannot-Wunsch.
△ Less
Submitted 11 July, 2022; v1 submitted 11 June, 2019;
originally announced June 2019.
-
Analysis of a continuum theory for broken bond crystal surface models with evaporation and deposition effects
Authors:
Yuan Gao,
Jian-Guo Liu,
Jianfeng Lu,
Jeremy L. Marzuola
Abstract:
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 ti…
▽ More
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).
△ Less
Submitted 12 December, 2019; v1 submitted 1 May, 2019;
originally announced May 2019.
-
Nodal line estimates for the second Dirichlet eigenfunction
Authors:
Thomas Beck,
Yaiza Canzani,
Jeremy L. Marzuola
Abstract:
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 boun…
▽ More
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.
△ Less
Submitted 2 May, 2019; v1 submitted 25 April, 2019;
originally announced April 2019.
-
Bulk soliton dynamics in bosonic topological insulators
Authors:
Jeremy L. Marzuola,
Mikael Rechtsman,
Braxton Osting,
Miguel Bandres
Abstract:
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 demonst…
▽ More
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.
△ Less
Submitted 21 April, 2019;
originally announced April 2019.
-
Nonnegative Weak Solutions of Thin Film Equations Related to Viscous Flows in Cylindrical Geometries
Authors:
Jeremy L. Marzuola,
Sterling Swygert,
Roman Taranets
Abstract:
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 so…
▽ More
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.
△ Less
Submitted 26 August, 2019; v1 submitted 22 February, 2019;
originally announced February 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.
-
Nodal deficiency, spectral flow, and the Dirichlet-to-Neumann map
Authors:
Gregory Berkolaiko,
Graham Cox,
Jeremy L. Marzuola
Abstract:
It was recently shown that the nodal deficiency of an eigenfunction is encoded in the spectrum of the Dirichlet-to-Neumann operators for the eigenfunction's positive and negative nodal domains. While originally derived using symplectic methods, this result can also be understood through the spectral flow for a family of boundary conditions imposed on the nodal set, or, equivalently, a family of op…
▽ More
It was recently shown that the nodal deficiency of an eigenfunction is encoded in the spectrum of the Dirichlet-to-Neumann operators for the eigenfunction's positive and negative nodal domains. While originally derived using symplectic methods, this result can also be understood through the spectral flow for a family of boundary conditions imposed on the nodal set, or, equivalently, a family of operators with delta function potentials supported on the nodal set. In this paper we explicitly describe this flow for a Schrödinger operator with separable potential on a rectangular domain, and determine a mechanism by which lower energy eigenfunctions do or do not contribute to the nodal deficiency.
△ Less
Submitted 13 February, 2024; v1 submitted 8 May, 2018;
originally announced May 2018.
-
Spectral band degeneracies of $\fracπ{2}-$rotationally invariant periodic Schrödinger operators
Authors:
Rachael T. Keller,
Jeremy L. Marzuola,
Braxton Osting,
Michael I. Weinstein
Abstract:
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-va…
▽ More
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.
△ Less
Submitted 12 May, 2020; v1 submitted 19 February, 2018;
originally announced February 2018.
-
A symplectic perspective on constrained eigenvalue problems
Authors:
Graham Cox,
Jeremy L. Marzuola
Abstract:
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 i…
▽ More
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.
△ Less
Submitted 20 September, 2017;
originally announced September 2017.
-
Compactons and their variational properties for degenerate KdV and NLS in dimension 1
Authors:
Pierre Germain,
Benjamin Harrop-Griffiths,
Jeremy L. Marzuola
Abstract:
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 con…
▽ More
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.
△ Less
Submitted 14 September, 2017;
originally announced September 2017.
-
The profile decomposition for the hyperbolic Schrödinger equation
Authors:
Benjamin Dodson,
Jeremy L. Marzuola,
Benoit Pausader,
Daniel Spirn
Abstract:
In this note, we prove the profile decomposition for hyperbolic Schrödinger (or mixed signature) equations on $\mathbb{R}^2$ in two cases, one mass-supercritical and one mass-critical. First, as a warm up, we show that the profile decomposition works for the ${\dot H}^{\frac12}$ critical problem, which gives a simple generalization of for instance one of the results in Fanelli-Visciglia (2013). Th…
▽ More
In this note, we prove the profile decomposition for hyperbolic Schrödinger (or mixed signature) equations on $\mathbb{R}^2$ in two cases, one mass-supercritical and one mass-critical. First, as a warm up, we show that the profile decomposition works for the ${\dot H}^{\frac12}$ critical problem, which gives a simple generalization of for instance one of the results in Fanelli-Visciglia (2013). Then, we give the derivation of the profile decomposition in the mass-critical case by proving an improved Strichartz estimate. We will use a very similar approach to that laid out in the notes of Killip-Visan (2008), but we are forced to do a double Whitney decomposition to accommodate an extra scaling symmetry that arises in the problem with mixed signature.
△ Less
Submitted 21 August, 2020; v1 submitted 26 August, 2017;
originally announced August 2017.
-
Small data global solutions for the Camassa-Choi equations
Authors:
Benjamin Harrop-Griffiths,
Jeremy L. Marzuola
Abstract:
We consider solutions to the Cauchy problem for an internal-wave model derived by Camassa-Choi in a paper in Journal of Fluid Mechanics (1996). This model is a natural generalization of the Benjamin-Ono and Intermediate Long Wave equations in the case of weak transverse effects. We prove the existence and long-time dynamics of global solutions from small, smooth, spatially localized initial data o…
▽ More
We consider solutions to the Cauchy problem for an internal-wave model derived by Camassa-Choi in a paper in Journal of Fluid Mechanics (1996). This model is a natural generalization of the Benjamin-Ono and Intermediate Long Wave equations in the case of weak transverse effects. We prove the existence and long-time dynamics of global solutions from small, smooth, spatially localized initial data on $\mathbb{R}^2$.
△ Less
Submitted 7 August, 2017;
originally announced August 2017.
-
Asymmetry in crystal facet dynamics of homoepitaxy by a continuum model
Authors:
Jian-Guo Liu,
Jianfeng Lu,
Dionisios Margetis,
Jeremy L. Marzuola
Abstract:
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 (PD…
▽ More
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.
△ Less
Submitted 21 October, 2017; v1 submitted 12 March, 2017;
originally announced April 2017.
-
Dark Soliton Scattering in Symmetric and Asymmetric Double Potential Barriers
Authors:
F. Tsitoura,
Z. A. Anastassi,
J. L. Marzuola,
P. G. Kevrekidis,
D. J. Frantzeskakis
Abstract:
Motivated by the recent theoretical study of (bright) soliton diode effects in systems with multiple scatterers, as well as by experimental investigations of soliton-impurity interactions, we consider some prototypical case examples of interactions of dark solitons with a pair of scatterers. In a way fundamentally opposite to the case of bright solitons (but consonant to their "anti-particle chara…
▽ More
Motivated by the recent theoretical study of (bright) soliton diode effects in systems with multiple scatterers, as well as by experimental investigations of soliton-impurity interactions, we consider some prototypical case examples of interactions of dark solitons with a pair of scatterers. In a way fundamentally opposite to the case of bright solitons (but consonant to their "anti-particle character"), we find that dark solitons accelerate as they pass the first barrier and hence cannot be trapped by a second equal-height barrier. A pair of unequal barriers may lead to reflection from the second one, however trap** in the inter-barrier region cannot occur. We also give some examples of dynamical adjusting the barriers to trap the dark soliton in the inter-barrier region, yet we show that this can only occur over finite time horizons, with the dark soliton always esca** eventually, contrary again to what is potentially the case with bright solitons.
△ Less
Submitted 22 February, 2017;
originally announced February 2017.
-
Trigonometric integrators for quasilinear wave equations
Authors:
Ludwig Gauckler,
Jianfeng Lu,
Jeremy L. Marzuola,
Frédéric Rousset,
Katharina Schratz
Abstract:
Trigonometric time integrators are introduced as a class of explicit numerical methods for quasilinear wave equations. Second-order convergence for the semi-discretization in time with these integrators is shown for a sufficiently regular exact solution. The time integrators are also combined with a Fourier spectral method into a fully discrete scheme, for which error bounds are provided without r…
▽ More
Trigonometric time integrators are introduced as a class of explicit numerical methods for quasilinear wave equations. Second-order convergence for the semi-discretization in time with these integrators is shown for a sufficiently regular exact solution. The time integrators are also combined with a Fourier spectral method into a fully discrete scheme, for which error bounds are provided without requiring any CFL-type coupling of the discretization parameters. The proofs of the error bounds are based on energy techniques and on the semiclassical Gårding inequality.
△ Less
Submitted 25 August, 2017; v1 submitted 9 February, 2017;
originally announced February 2017.
-
Locating resonances on hyperbolic cones
Authors:
Dean Baskin,
Jeremy L. Marzuola
Abstract:
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 bei…
▽ More
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.
△ Less
Submitted 16 October, 2017; v1 submitted 18 August, 2016;
originally announced August 2016.
-
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.
-
Spectrally Optimized Pointset Configurations
Authors:
Braxton Osting,
Jeremy L. Marzuola
Abstract:
The search for optimal configurations of pointsets, the most notable examples being the problems of Kepler and Thompson, have an extremely rich history with diverse applications in physics, chemistry, communication theory, and scientific computing. In this paper, we introduce and study a new optimality criteria for pointset configurations. Namely, we consider a certain weighted graph associated wi…
▽ More
The search for optimal configurations of pointsets, the most notable examples being the problems of Kepler and Thompson, have an extremely rich history with diverse applications in physics, chemistry, communication theory, and scientific computing. In this paper, we introduce and study a new optimality criteria for pointset configurations. Namely, we consider a certain weighted graph associated with a pointset configuration and seek configurations which minimize certain spectral properties of the adjacency matrix or graph Laplacian defined on this graph, subject to geometric constraints on the pointset configuration. This problem can be motivated by solar cell design and swarming models, and we consider several spectral functions with interesting interpretations such as spectral radius, algebraic connectivity, effective resistance, and condition number. We prove that the regular simplex extremizes several spectral invariants on the sphere. We also consider pointset configurations on flat tori via (i) the analogous problem on lattices and (ii) through a variety of computational experiments. For many of the objectives considered (but not all), the triangular lattice is extremal.
△ Less
Submitted 21 June, 2016; v1 submitted 3 November, 2015;
originally announced November 2015.
-
An Isoperimetric inequality for an integral operator on flat tori
Authors:
Braxton Osting,
Jeremy L. Marzuola,
Elena Cherkaev
Abstract:
We consider a class of Hilbert-Schmidt integral operators with an isotropic, stationary kernel acting on square integrable functions defined on flat tori. For any fixed kernel which is positive and decreasing, we show that among all unit-volume flat tori, the equilateral torus maximizes the operator norm and the Hilbert-Schmidt norm.
We consider a class of Hilbert-Schmidt integral operators with an isotropic, stationary kernel acting on square integrable functions defined on flat tori. For any fixed kernel which is positive and decreasing, we show that among all unit-volume flat tori, the equilateral torus maximizes the operator norm and the Hilbert-Schmidt norm.
△ Less
Submitted 9 June, 2016; v1 submitted 28 October, 2015;
originally announced October 2015.
-
Gross-Pitaevskii vortex motion with critically-scaled inhomogeneities
Authors:
Matthias Kurzke,
Jeremy L. Marzuola,
Daniel Spirn
Abstract:
We study the dynamics of vortices in an inhomogeneous Gross-Pitaevskii equation $i \partial_t u = Δu + {1\over \varepsilon^2} (p_\varepsilon^2(x) - |u|^2)$. For a unique scaling regime $|p_\varepsilon(x) - 1 | = O(|\log \varepsilon|^{-1})$, it is shown that vortices can interact both with the background perturbation and with each other. Results for associated parabolic and elliptic problems are di…
▽ More
We study the dynamics of vortices in an inhomogeneous Gross-Pitaevskii equation $i \partial_t u = Δu + {1\over \varepsilon^2} (p_\varepsilon^2(x) - |u|^2)$. For a unique scaling regime $|p_\varepsilon(x) - 1 | = O(|\log \varepsilon|^{-1})$, it is shown that vortices can interact both with the background perturbation and with each other. Results for associated parabolic and elliptic problems are discussed.
△ Less
Submitted 21 October, 2016; v1 submitted 27 October, 2015;
originally announced October 2015.
-
Dark solitons near potential and nonlinearity steps
Authors:
F. Tsitoura,
Z. A. Anastassi,
J. L. Marzuola,
P. G. Kevrekidis,
D. J. Frantzeskakis
Abstract:
We study dark solitons near potential and nonlinearity steps and combinations thereof, forming rectangular barriers. This setting is relevant to the contexts of atomic Bose-Einstein condensates (where such steps can be realized by using proper external fields) and nonlinear optics (for beam propagation near interfaces separating optical media of different refractive indices). We use perturbation t…
▽ More
We study dark solitons near potential and nonlinearity steps and combinations thereof, forming rectangular barriers. This setting is relevant to the contexts of atomic Bose-Einstein condensates (where such steps can be realized by using proper external fields) and nonlinear optics (for beam propagation near interfaces separating optical media of different refractive indices). We use perturbation theory to develop an equivalent particle theory, describing the matter-wave or optical soliton dynamics as the motion of a particle in an effective potential. This Newtonian dynamical problem provides information for the soliton statics and dynamics, including scenarios of reflection, transmission, or quasi-trap** at such steps. The case of multiple such steps and its connection to barrier potentials is also touched upon. Our analytical predictions are found to be in very good agreement with the corresponding numerical results.
△ Less
Submitted 17 September, 2015;
originally announced September 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.