Source author record

David M. Ambrose

David M. Ambrose appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

13works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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

Building this map preview

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

Published work

13 published item(s)

preprint2022arXiv

Global existence and singularity formation for the generalized Constantin-Lax-Majda equation with dissipation: The real line vs. periodic domains

The question of global existence versus finite-time singularity formation is considered for the generalized Constantin-Lax-Majda equation with dissipation $-Λ^σ$, where $\widehat {Λ^σ}=|k|^σ$, both for the problem on the circle $x \in [-π,π]$ and the real line. In the periodic geometry, two complementary approaches are used to prove global-in-time existence of solutions for $σ\geq 1$ and all real values of an advection parameter $a$ when the data is small. We also derive new analytical solutions in both geometries when $a=0$, and on the real line when $a=1/2$, for various values of $ σ$. These solutions exhibit self-similar finite-time singularity formation, and the similarity exponents and conditions for singularity formation are fully characterized. We revisit an analytical solution on the real line due to Schochet for $a=0$ and $σ=2$, and reinterpret it terms of self-similar finite-time collapse. The analytical solutions on the real line allow finite-time singularity formation for arbitrarily small data, even for values of $σ$ that are greater than or equal to one, thereby illustrating a critical difference between the problems on the real line and the circle. The analysis is complemented by accurate numerical simulations, which are able to track the formation and motion singularities in the complex plane. The computations validate and extend the analytical theory.

preprint2022arXiv

Numerical Algorithms for Water Waves with Background Flow over Obstacles and Topography

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).

preprint2022arXiv

Well-posedness of mean field games master equations involving non-separable local Hamiltonians

In this paper we construct short time classical solutions to a class of master equations in the presence of non-degenerate individual noise arising in the theory of mean field games. The considered Hamiltonians are non-separable and $local$ functions of the measure variable, therefore the equation is restricted to absolutely continuous measures whose densities lie in suitable Sobolev spaces. Our results hold for smooth enough Hamiltonians, without any additional structural conditions as convexity or monotonicity.

preprint2020arXiv

Existence theory for non-separable mean field games in Sobolev spaces

The mean field games system is a coupled pair of nonlinear partial differential equations arising in differential game theory, as a limit as the number of agents tends to infinity. We prove existence and uniqueness of classical solutions for time-dependent mean field games with Sobolev data. Many works in the literature assume additive separability of the Hamiltonian, as well as further structure such as convexity and monotonicity of the resulting components. Problems arising in practice, however, may not have this separable structure; we therefore consider the non-separable problem. For our existence and uniqueness results, we introduce new smallness constraints which simultaneously consider the size of the time horizon, the size of the data, and the strength of the coupling in the system.

preprint2016arXiv

Strong solutions for time-dependent mean field games with non-separable Hamiltonians

We prove existence theorems for strong solutions of time-dependent mean field games with non-separable Hamiltonian. In a recent announcement, we showed existence of small, strong solutions for mean field games with local coupling. We first generalize that prior work to allow for non-separable Hamiltonians. This proof is inspired by the work of Duchon and Robert on the existence of small-data vortex sheets in incompressible fluid mechanics. Our next existence result is in the case of weak coupling of the system; that is, we allow the data to be of arbitrary size, but instead require that the (still possibly non-separable) Hamiltonian be small in a certain sense. The proof of this theorem relies upon an appeal to the implicit function theorem.

preprint2014arXiv

Global bifurcation theory for periodic traveling interfacial gravity-capillary waves

We consider the global bifurcation problem for spatially periodic traveling waves for two-dimensional gravity-capillary vortex sheets. The two fluids have arbitrary constant, non-negative densities (not both zero), the gravity parameter can be positive, negative, or zero, and the surface tension parameter is positive. Thus, included in the parameter set are the cases of pure capillary water waves and gravity-capillary water waves. Our choice of coordinates allows for the possibility that the fluid interface is not a graph over the horizontal. We use a technical reformulation which converts the traveling wave equations into a system of the form "identity plus compact." Rabinowitz' global bifurcation theorem is applied and the final conclusion is the existence of either a closed loop of solutions, or an unbounded set of nontrivial traveling wave solutions which contains waves which may move arbitrarily fast, become arbitrarily long, form singularities in the vorticity or curvature, or whose interfaces self-intersect.

preprint2014arXiv

Local Existence Theory for Derivative Nonlinear Schrödinger Equations with Non-Integer Power Nonlinearities

We study a derivative nonlinear Schrödinger equation, allowing non-integer powers in the nonlinearity, $|u|^{2σ} u_x$. Making careful use of the energy method, we are able to establish short-time existence of solutions with initial data in the energy space, $H^1$. For more regular initial data, we establish not just existence of solutions, but also well-posedness of the initial value problem. These results hold for real-valued $σ\geq 1,$ while prior existence results in the literature require integer-valued $σ$ or $σ$ sufficiently large ($σ\geq 5/2$), or use higher-regularity function spaces.

preprint2014arXiv

Nonexistence of small doubly periodic solutions for dispersive equations

We study the question of existence of time-periodic, spatially periodic solutions for dispersive evolution equations, and in particular, we introduce a framework for demonstrating the nonexistence of such solutions. We formulate the problem so that doubly periodic solutions correspond to fixed points of a certain operator. We prove that this operator is locally contracting, for almost every temporal period, if the Duhamel integral associated to the evolution exhibits a weak smoothing property. This implies the nonexistence of nontrivial, small-amplitude time-periodic solutions for almost every period if the smoothing property holds. This can be viewed as a partial analogue of scattering for dispersive equations on periodic intervals, since scattering in free space implies the nonexistence of small coherent structures. We use a normal form to demonstrate the smoothing property on specific examples, so that it can be seen that there are indeed equations for which the hypotheses of the general theorem hold. The nonexistence result is thus established through the novel combination of small divisor estimates and dispersive smoothing estimates. The examples treated include the Korteweg-de Vries equation and the Kawahara equation.

preprint2014arXiv

Serfati solutions to the 2D Euler equations on exterior domains

We prove existence and uniqueness of a weak solution to the incompressible 2D Euler equations in the exterior of a bounded smooth obstacle when the initial data is a bounded divergence-free velocity field having bounded scalar curl. This work completes and extends the ideas outlined by P. Serfati for the same problem in the whole-plane case. With non-decaying vorticity, the Biot-Savart integral does not converge, and thus velocity cannot be reconstructed from vorticity in a straightforward way. The key to circumventing this difficulty is the use of the Serfati identity, which is based on the Biot-Savart integral, but holds in more general settings.

preprint2012arXiv

Dispersion vs. anti-diffusion: well-posedness in variable coefficient and quasilinear equations of KdV-type

We study the well-posedness of the initial value problem on periodic intervals for linear and quasilinear evolution equations for which the leading-order terms have three spatial derivatives. In such equations, there is a competition between the dispersive effects which stem from the leading-order term, and anti-diffusion which stems from the lower-order terms with two spatial derivatives. We show that the dispersive effects can dominate the backwards diffusion: we find a condition which guarantees well-posedness of the initial value problem for linear, variable coefficient equations of this kind, even when such anti-diffusion is present. In fact, we show that even in the presence of localized backwards diffusion, the dispersion will in some cases lead to an overall effect of parabolic smoothing. By contrast, we also show that when our condition is violated, the backwards diffusion can dominate the dispersive effects, leading to an ill-posed initial value problem. We use these results on linear evolution equations as a guide when proving well-posedness of the initial value problem for some quasilinear equations which also exhibit this competition between dispersion and anti-diffusion: a Rosenau-Hyman compacton equation, the Harry Dym equation, and equations which arise in the numerical analysis of finite difference schemes for dispersive equations. For these quasilinear equations, the well-posedness theorem requires that the initial data be uniformly bounded away from zero.

preprint2011arXiv

Ill-posedness of degenerate dispersive equations

In this article we provide numerical and analytical evidence that some degenerate dispersive partial differential equations are ill-posed. Specifically we study the K(2,2) equation $u_t = (u^2)_{xxx} + (u^2)_{x}$ and the "degenerate Airy" equation $u_t = 2 u u_{xxx}$. For K(2,2) our results are computational in nature: we conduct a series of numerical simulations which demonstrate that data which is very small in $H^2$ can be of unit size at a fixed time which is independent of the data's size. For the degenerate Airy equation, our results are fully rigorous: we prove the existence of a compactly supported self-similar solution which, when combined with certain scaling invariances, implies ill-posedness (also in $H^2$).

preprint2010arXiv

Computation of Time-Periodic Solutions of the Benjamin-Ono Equation

We present a spectrally accurate numerical method for finding non-trivial time-periodic solutions of non-linear partial differential equations. The method is based on minimizing a functional (of the initial condition and the period) that is positive unless the solution is periodic, in which case it is zero. We solve an adjoint PDE to compute the gradient of this functional with respect to the initial condition. We include additional terms in the functional to specify the free parameters, which, in the case of the Benjamin-Ono equation, are the mean, a spatial phase, a temporal phase and the real part of one of the Fourier modes at $t=0$. We use our method to study global paths of non-trivial time-periodic solutions connecting stationary and traveling waves of the Benjamin-Ono equation. As a starting guess for each path, we compute periodic solutions of the linearized problem by solving an infinite dimensional eigenvalue problem in closed form. We then use our numerical method to continue these solutions beyond the realm of linear theory until another traveling wave is reached. By experimentation with data fitting, we identify the analytical form of the solutions on the path connecting the one-hump stationary solution to the two-hump traveling wave. We then derive exact formulas for these solutions by explicitly solving the system of ODE's governing the evolution of solitons using the ansatz suggested by the numerical simulations.

preprint2010arXiv

Global paths of time-periodic solutions of the Benjamin-Ono equation connecting pairs of traveling waves

We classify all bifurcations from traveling waves to non-trivial time-periodic solutions of the Benjamin-Ono equation that are predicted by linearization. We use a spectrally accurate numerical continuation method to study several paths of non-trivial solutions beyond the realm of linear theory. These paths are found to either re-connect with a different traveling wave or to blow up. In the latter case, as the bifurcation parameter approaches a critical value, the amplitude of the initial condition grows without bound and the period approaches zero. We then prove a theorem that gives the mapping from one bifurcation to its counterpart on the other side of the path and exhibits exact formulas for the time-periodic solutions on this path. The Fourier coefficients of these solutions are power sums of a finite number of particle positions whose elementary symmetric functions execute simple orbits (circles or epicycles) in the unit disk of the complex plane. We also find examples of interior bifurcations from these paths of already non-trivial solutions, but we do not attempt to analyze their analytic structure.