Search arXivSearch

arXiv subjects

Keith Promislow

Publications and source records attributed to Keith Promislow.

At least 19 recordsLinked to original sources

Curve Lengthening Bifurcations in Modally Filtered Nonlinear Schr\"odinger Systems

Extensions of the parametric nonlinear Schr\"odinger equations (PNLS) for phase-sensitive optical resonance are developed that preserve the curve lengthening bifurcation seen in the original system. This bifurcation occurs in sharp interface reductions when the motion of the interface transitions from curvature-driven flow (curve shortening) to motion against curvature regularized by higher order Willmore effects (curve lengthening). We construct a specific class of down-phase self-interaction operators via a spectral transform of the down-up operator. While in the bifurcation regime, the corresponding modally filtered nonlinear Schr\"odinger systems preserve the linear stability of the front, admit the sign flip in the linear term in the normal velocity while preserving the proper sign of the Willmore terms.

math.AP

Gradient Flows of Interfacial Energies: Curvature Agents and Incompressibility

We present a framework for the gradient flow of sharp-interface surface energies that couple to embedded curvature active agents. We use a penalty method to develop families of locally incompressible gradient flows that couple interface stretching or compression to local flux of interfacial mass. We establish the convergence of the penalty method to an incompressible flow both formally for a broad family of surface energies and rigorously for a more narrow class of surface energies. We present an analysis, including a $\Gamma$-limit, of an Allen-Cahn type model for a coupled surface agent curvature energy.

math.AP

Quasisteady patterns in interfaces: Folding and Faceting

We present a systematic derivation of the gradient flows associated to a broad class of interfacial energies, emphasizing the relation between intrinsic and extrinsic variations of the interface. We show that the intrinsic variables formulation brings the gradient flow into alignment with the traditional analysis of quasi-steady dynamical systems defined on a stationary domain. Gradient flows are derived for model systems which exhibit quasi-steady pattern formation including coarsening among faceted interfaces and nonlocal interactions that model membrane self-adhesion and self-avoidance.

math.AP

Curvature and Chaos in the Defocusing Parameteric Nonlinear Schrodinger System

The parametric nonlinear Schrodinger equation models a variety of parametrically forced and damped dispersive waves. For the defocusing regime, we derive a normal velocity for the evolution of curved dark-soliton fronts that represent a $\pi$-phase shift across a thin interface. We establish that depending upon the strength of parametric term the normal velocity evolution can transition from a curvature driven flow to motion against curvature regularized by surface diffusion of curvature. In the former case interfacial length shrinks, while in the later the interface length generically grows until self-intersection followed by a transition to chaotic motion.

math.AP

Parameterized Density Functional Models for Block Copolymer Melts

The derivation of density functional energies from the random phase approximation of self-consistent mean field theory is generalized and applied to a binary blend of diblock copolymers and homopolymers. A nonlocal transformation is incorporated into the density functional model prior to the strong segregation extrapolation step employed by Uneyama and Doi. The transformation affords a systematic parameterization of the free energy that preserves key structural features such as scattering structure factor. A simple choice of transformation is shown to incorporate the Tuebner and Strey microemulsion structure factor and provide a reduction to the microemulsion free energy. Without adjustable parameters, the associated phase diagrams are compared to experimental and self consistent mean field based results. A gradient descent of the free energy recovers dependence of end-state morphology on initial configurations, and identifies coexisting microstructures and transitions to two-phase behavior. Small angle x-ray data is simulated and used in classification of microphase morphology.

cond-mat.soft

Defects and Frustration in the Packing of Soft Balls

This work introduces the Hookean-Voronoi energy, a minimal model for the packing of soft, deformable balls. This is motivated by recent studies of quasi-periodic equilibria arising from dense packings of diblock and star polymers. Restricting to the planar case, we investigate the equilibrium packings of identical, deformable objects whose shapes are determined by an $N$-site Voronoi tessellation of a periodic rectangle. We derive a reduced formulation of the system showing at equilibria each site must reside at the ``max-center'' of its associated Voronoi region and construct a family of ordered ``single-string'' minimizers whose cardinality is $O(N^2)$. We identify sharp conditions under which the system admits a regular hexagonal tessellation and establish that in all cases the average energy per site is bounded below by that of a regular hexagon of unit size. However, numerical investigation of gradient flow of random initial data, reveals that for modest values of $N$ the system preponderantly equilibrates to quasi-ordered states with low energy and large basins of attraction. For larger $N$ the distribution of equilibria energies appears to approach a $\delta$-function limit, whose energy is significantly higher than the ground state hexagon. This limit is possibly shaped by two mechanisms: a proliferation of moderate-energy disordered equilibria that block access of the gradient flow to lower energy quasi-ordered states and a rigid threshold on the maximum energy of stable states.

cond-mat.soft

Slow Migration of Brine Inclusions in First-Year Sea Ice

We derive a thermodynamically consistent model for phase change in sea ice by adding salt to the framework introduced by Penrose and Fife. Taking the salt entropy relative to the liquid water molar fraction provides a transparent mechanism for salt rejection under ice formation. We identify slow varying coordinates, including salt density relative to liquid water molarity weighted by latent heat, and use multiscale analysis to derive a quasi-equilibrium Stefan-type problem via a sharp interface scaling. The singular limit is under-determined and the leading order system is closed by imposing local conservation of salt under interface perturbation. The quasi-steady system determines interface motion as balance of curvature, temperature gradient, and salt density. We resolve this numerically for axisymmetric surfaces and show that the thermal gradients typical of arctic sea ice can have a decisive impact on the mode of pinch-off of cylindrical brine inclusions and on the size distribution of the resultant spherical shapes. The density and distribution of inclusion sizes is a key component of sea ice albedo which factors into global climate models.

math.DS

Undulated Bilayer Interfaces in the Planar Functionalized Cahn-Hilliard Equation

Experiments with diblock co-polymer melts display undulated bilayers that emanate from defects such as triple junctions and endcaps, \cite{batesjain_2004}. Undulated bilayers are characterized by oscillatory perturbations of the bilayer width, which decay on a spatial length scale that is long compared to the bilayer width. We mimic defects within the functionalized Cahn-Hillard free energy by introducing spatially localized inhomogeneities within its parameters. For length parameter $\varepsilon\ll1$, we show that this induces undulated bilayer solutions whose width perturbations decay on an $O\!\left(\varepsilon^{-1/2}\right)$ inner length scale that is long in comparison to the $O(1)$ scale that characterizes the bilayer width.

math.AP

On nonnegative solutions for the Functionalized Cahn-Hilliard equation with degenerate mobility

The Functionalized Cahn-Hilliard equation has been proposed as a model for the interfacial energy of phase-separated mixtures of amphiphilic molecules. We study the existence of a nonnegative weak solutions of a gradient flow of the Functionalized Cahn-Hilliard equation subject to a degenerate mobility M(u) that is zero for u<=0. Assuming the initial data u0(x) is positive, we construct a weak solution as the limit of solutions corresponding to nondegenerate mobilities and verify that it satisfies an energy dissipation inequality.

math.AP

Codimension One Minimizers of Highly Amphiphilic Mixtures

We present a modified form of the Functionalized Cahn Hilliard (FCH) functional which models highly amphiphilic systems in solvent. A molecule is highly amphiphilic if the energy of a molecule isolated within the bulk solvent molecule is prohibitively high. For such systems once the amphiphilic molecules assemble into a structure it is very rare for a molecule to exchange back into the bulk. The highly amphiphilic FCH functional has a well with limited smoothness and admits compactly supported critical points. In the limit of molecular length epsilon approaches 0, we consider sequences with bounded energy whose support resides within an epsilon-neighborhood of a fixed codimension one interface. We show that the FCH energy is uniformly bounded below, independent of epsilon >0, and identify assumptions on tangential variation of sequences that guarantee the existence of subsequences that converge to a weak solution of a rescaled bilayer profile equation, and show that sequences with limited tangential variation enjoy a lim inf inequality. For fixed codimension one interfaces we construct bounded energy sequences which converge to the bilayer profile and others with larger tangential variation which do not converge to the bilayer profile but whose limiting energy can violate the lim inf inequality, depending upon the energy parameters.

math.AP

Manifolds of Amphiphilic Bilayers: Stability up to the Boundary

We consider the mass preserving $L^2$-gradient flow of the strong scaling of the functionalized Cahn Hilliard gradient flow and establish the nonlinear stability of a manifold comprised of quasi-equilibrium bilayer \muckmucks up to the manifold's boundary. In the limit of thin but non-zero interfacial width, $\varepsilon\ll1,$ the bilayer manifold is parameterized by meandering modes that describe the interfacial evolution and "pearling" modes that control the structure of the profile near the interface. The pearling modes are weakly damped and can lead to the dynamic rupture of the interface. Amphiphilic interfaces can lengthen to decrease energy. We introduce an implicitly defined parameterization of the interfacial shape that uncouples this growth from the parameters describing the shape and introduce a nonlinear projection onto the manifold from a surrounding neighborhood. The bilayer manifold has asymptotically large but finite dimension tuned to maximize normal coercivity while preserving the wave-number gap between the meandering and the pearling modes. Modulo a pearling stability assumption, we show that the manifold attracts nearby orbits into a tubular neighborhood about itself so long as the interfacial shape remains sufficiently smooth and far from self-intersection. In a companion paper, arXiv:1907.02196, we identify open sets of initial data whose orbits converge to circular equilibrium after a significant transient, and derive a singularly perturbed interfacial evolution comprised of motion against curvature regularized by an asymptotically weak Willmore term.

math.AP

Benchmark Computation of Morphological Complexity in the Functionalized Cahn-Hilliard Gradient Flow

Reductions of the self-consistent mean field theory model of amphiphilic molecules in solvent can lead to a singular family of functionalized Cahn-Hilliard energies. We modify these energies, mollifying the singularities to stabilize the computation of the gradient flows and develop a series of benchmark problems that emulate the "morphological complexity" observed in experiments. These benchmarks investigate the delicate balance between the rate of absorption of amphiphilic material onto an interface and a least energy mechanism to disperse the arriving mass. The result is a trichotomy of responses in which two-dimensional interfaces either lengthen by a regularized motion against curvature, undergo pearling bifurcations, or split directly into networks of interfaces. We evaluate a number of schemes that use second order BDF2-type time stepping coupled with Fourier pseudo-spectral spatial discretization. The BDF2-type schemes are either based on a fully implicit time discretization with a PSD nonlinear solver, or upon IMEX, SAV, ETD approaches. All schemes use a fixed local truncation error target with adaptive time-stepping to achieve the error target. Each scheme requires proper "preconditioning" to achieve robust performance that can enhance efficiency by several orders of magnitude.

physics.comp-ph

Gradient Invariance of Slow Energy Descent: Spectral Renormalization and Energy Landscape Techniques

For gradient flows of energies, both spectral renormalization (SRN) and energy landscape (EL) techniques have been used to establish slow motion of orbits near low-energy manifold. We show that both methods are applicable to flows induced by families of gradients and compare the scope and specificity of the results. The SRN techniques capture the flow in a thinner neighborhood of the manifold, affording a leading order representation of the slow flow via as projection of the flow onto the tangent plane of the manifold. The SRN approach requires a spectral gap in the linearization of the full gradient flow about the points on the low-energy manifold. We provide conditions on the choice of gradient under which the spectral gap is preserved, and show that up to reparameterization the slow flow is invariant under these choices of gradients. The EL methods estimate the magnitude of the slow flow, but cannot capture its leading order form. However the EL only requires normal coercivity for the second variation of the energy, and does not require spectral conditions on the linearization of the full flow. It thus applies to a much larger class of gradients of a given energy. We develop conditions under which the assumptions of the SRN method imply the applicability of the EL method, and identify a large family of gradients for which the EL methods apply. In particular we apply both approaches to derive the interaction of multi-pulse solutions within the 1+1D Functionalized Cahn-Hilliard (FCH) gradient flow, deriving gradient invariance for a class of gradients arising from powers of a homogeneous differential operator.

math.AP

Robust Stability of Multicomponent Membranes: the Role of Glycolipids

We present the multicomponent functionalized free energies that characterize the low-energy packings of amphiphilic molecules within a membrane through a correspondence to connecting orbits within a reduced dynamical system. To each connecting orbits we associate a manifold of low energy membrane-type configurations parameterized by a large class of admissible interfaces. The normal coercivity of the manifolds is established through criteria depending solely on the structure of the associated connecting orbit. We present a class of examples that arise naturally from geometric singular perturbation techniques, focusing on a model that characterizes the stabilizing role of cholesterol-like glycolipids within phospholipid membranes.

math.AP

Regularized Curve Lengthening from the Strong FCH Flow

We present a rigorous analysis of the transient evolution of nearly circular bilayer interfaces evolving under the thin interface limit, $\varepsilon\ll1$, of the mass preserving $L^2$-gradient flow of the strong scaling of the functionalized Cahn-Hilliard equation. For a domain $\Omega\subset{\mathbb R}^2$ we construct a bilayer manifold with boundary comprised of quasi-equilibrium of the flow and a projection onto the manifold that associates functions $u$ in an $H^2$ tubular neighborhood of the manifold with an interface $\Gamma$ embedded in $\Omega$. These interfaces, and hence the bilayer manifold, are parameterized by a finite but asymptotically large number of degrees of freedom. The manifold contains a unique, up to translation and mass constraint, equilibrium of the gradient flow whose projected interface is circular up to exponentially small corrections. The thin tubular neighborhood is forward invariant under the flow with orbits that ultimately converge to the equilibrium. Projections of these orbits yield an interfacial evolution equivalent at leading order to the regularized curve-lengthening motion characterized by normal motion {\sl against} mean curvature, regularized by a higher order Willmore expression. The curve lengthening is driven by absorption of excess mass from the regions of $\Omega$ away from the interface, generically leading to nontrivial dynamics that are ill-posed in the $\varepsilon\to0$ limit.

math.AP

Asymptotic Behaviour of Time Stepping Methods for Phase Field Models

Adaptive time stepping methods for metastable dynamics of the Allen Cahn and Cahn Hilliard equations are investigated in the spatially continuous, semi-discrete setting. We analyse the performance of a number of first and second order methods, formally predicting step sizes required to satisfy specified local truncation error $\sigma$ in the limit of small order parameter $\epsilon \rightarrow 0$ during meta-stable dynamics. The formal predictions are made under stability assumptions that include the preservation of the asymptotic structure of the diffuse interface, a concept we call profile fidelity. In this setting, definite statements about the relative behaviour of time stepping methods can be made. Some methods, including all so-called energy stable methods but also some fully implicit methods, require asymptotically more time steps than others.The formal analysis is confirmed in computational studies. We observe that some provably energy stable methods popular in the literature perform worse than some more standard schemes. We show further that when Backward Euler is applied to meta-stable Allen Cahn dynamics, the energy decay and profile fidelity properties for these discretizations are preserved for much larger time steps than previous analysis would suggest. The results are established asymptotically for general interfaces, with a rigorous proof for radial interfaces. It is shown analytically and computationally that for most reaction terms, Eyre type time stepping performs asymptotically worse due to loss of profile fidelity.

math.NA

Pearling Bifurcations in the strong Functionalized Cahn-Hilliard Free Energy

The Functionalized Cahn-Hilliard free energy supports phase separated morphologies of distinct codimension, including codimension-one bilayer and codimension-two filament morphologies. We characterize the linear stability of bilayer and filament morphologies associated to hypersurfaces within the strong functionalization scaling. In particular we show that the onset of the pearling instability, which triggers fast in-plane oscillations associated to bifurcation to higher codimensional morphology, is controlled by the functionalization parameters and the spatially constant value of the far-field chemical potential. Crucially, we show that onset of pearling is independent of the shape of the defining hypersurface.

math.DS

Competition and Complexity in Amphiphilic Polymer Morphology

We analyze the competitive evolution of codimension one and two morphologies within the $H^{-1}$ gradient flow of the strong Functionalized Cahn-Hilliard equation. On a slow time scale a sharp hypersurface reduction yields a degenerate Mullins-Sekerka evolution for both codimension one and two hypersurfaces, leading to a geometric flow that depends locally on curvatures couples to the dynamic value of the spatially constant far-field chemical potential. Both codimension one and two morphologies admit two classes of bifurcations, one leads to pearling, a short-wavelength in-plane modulation of interfacial width, the other flips motion by curvature to the locally-ill posed motion against curvature, which leads to fingering instabilities. We present a bifurcation diagram for the morphological competition, and compare our results quantitatively to simulations of the full system and qualitatively to simulations of self-consistent mean field models and laboratory experiments; illuminating the role of the pearling bifurcation in the development of complex network morphologies.

math.DS