We present a method of detecting bifurcations by locating zeros of a signed version of the smallest singular value of the Jacobian. This enables the use of quadratically convergent root-bracketing techniques or Chebyshev interpolation to locate bifurcation points. Only positive singular values have to be computed, though the method relies on the existence of an analytic or smooth singular value decomposition (SVD). The sign of the determinant of the Jacobian, computed as part of the bidiagonal reduction in the SVD algorithm, eliminates slope discontinuities at the zeros of the smallest singular value. We use the method to search for spatially quasi-periodic traveling water waves that bifurcate from large-amplitude periodic waves. The water wave equations are formulated in a conformal mapping framework to facilitate the computation of the quasi-periodic Dirichlet-Neumann operator. We find examples of pure gravity waves with zero surface tension and overhanging gravity-capillary waves. In both cases, the waves have two spatial quasi-periods whose ratio is irrational. We follow the secondary branches via numerical continuation beyond the realm of linearization about solutions on the primary branch to obtain traveling water waves that extend over the real line with no two crests or troughs of exactly the same shape. The pure gravity wave problem is of relevance to ocean waves, where capillary effects can be neglected. Such waves can only exist through secondary bifurcation as they do not persist to zero amplitude. The gravity-capillary wave problem demonstrates the effectiveness of using the signed smallest singular value as a test function for multi-parameter bifurcation problems. This test function becomes mesh independent once the mesh is fine enough.
more »
« less
Minimizers for the Cahn--Hilliard energy functional under strong anchoring conditions
We study analytically and numerically the minimizers for the Cahn-Hilliard energy functional with a symmetric quartic double-well potential and under a strong anchoring condition(i.e., the Dirichlet condition) on the boundary of an underlying bounded domain. We show a bifurcation phenomenon determined by the boundary value and a parameter that describes the thickness of a transition layer separating two phases of an underlying system of binary mixtures. For the case that the boundary value is exactly the average of the two pure phases, if the bifurcation parameter is larger than or equal to a critical value, then the minimizer is unique and is exactly the homogeneous state. Otherwise, there are exactly two symmetric minimizers. The critical bifurcation value is inversely proportional to the first eigenvalue of the negative Laplace operator with the zero Dirichlet boundary condition. For a boundary value that is larger (or smaller) than that of the average of the two pure phases, the symmetry is broken and there is only one minimizer. We also obtain the bounds and morphological properties of the minimizers under additional assumptions on the domain.Our analysis utilizes the notion of the Nehari manifold and connects it to the eigenvalue problem for the negative Laplacian with the homogeneous boundary condition. We numerically minimize the functional E by solving the gradient-flow equation of E, i.e., the Allen-Cahn equation, with the designated boundary conditions, and with random initial values. We present our numerical simulations and discuss them in the context of our analytical results.
more »
« less
- Award ID(s):
- 1913144
- NSF-PAR ID:
- 10288371
- Date Published:
- Journal Name:
- SIAM journal on applied mathematics
- Volume:
- 80
- Issue:
- 5
- ISSN:
- 0036-1399
- Page Range / eLocation ID:
- 2299-2317
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
We consider a 2D free boundary model of cell motility, inspired by the 1D contraction-driven cell motility model due to P. Recho, T. Putelat, and L. Truskinovsky [Phys. Rev. Lett. 111 (2013), p. 108102]. The key ingredients of the model are the Darcy law for overdamped motion of the acto-myosin network, coupled with the advection-diffusion equation for myosin density. These equations are supplemented with the Young-Laplace equation for the pressure and no-flux condition for the myosin density on the boundary, while evolution of the boundary is subject to the acto-myosin flow at the edge. The focus of the work is on stability analysis of stationary solutions and translationally moving traveling wave solutions. We study stability of radially symmetric stationary solutions and show that at some critical radius a pitchfork bifurcation occurs, resulting in emergence of a family of traveling wave solutions. We perform linear stability analysis of these latter solutions with small velocities and reveal the type of bifurcation (sub- or supercritical). The main result of this work is an explicit asymptotic formula for the stability determining eigenvalue in the limit of small traveling wave velocities.more » « less
-
more » « less
Abstract In materials that undergo martensitic phase transformation, macroscopic loading often leads to the creation and/or rearrangement of elastic domains. This paper considers an example involving a single-crystal slab made from two martensite variants. When the slab is made to bend, the two variants form a characteristic microstructure that we like to call “twinning with variable volume fraction.” Two 1996 papers by Chopra et al. explored this example using bars made from InTl, providing considerable detail about the microstructures they observed. Here we offer an energy-minimization-based model that is motivated by their account. It uses geometrically linear elasticity, and treats the phase boundaries as sharp interfaces. For simplicity, rather than model the experimental forces and boundary conditions exactly, we consider certain Dirichlet or Neumann boundary conditions whose effect is to require bending. This leads to certain nonlinear (and nonconvex) variational problems that represent the minimization of elastic plus surface energy (and the work done by the load, in the case of a Neumann boundary condition). Our results identify how the minimum value of each variational problem scales with respect to the surface energy density. The results are established by proving upper and lower bounds that scale the same way. The upper bounds are ansatz-based, providing full details about some (nearly) optimal microstructures. The lower bounds are ansatz-free, so they explain why no other arrangement of the two phases could be significantly better.
-
Strong coupling between geomechanical deformation and multiphase fluid flow appears in a variety of geoscience applications. A common discretization strategy for these problems is a continuous Galerkin finite element scheme for the momentum balance equation and a finite volume scheme for the mass balance equations. When applied within a fully implicit solution strategy, however, this discretization is not intrinsically stable. In the limit of small time steps or low permeabilities, spurious oscillations in the piecewise-constant pressure field, i.e., checkerboarding, may be observed. Further, eigenvalues associated with the spurious modes will control the conditioning of the matrices and can dramatically degrade the convergence rate of iterative linear solvers. Here, we propose a stabilization technique in which the mass balance equations are supplemented with stabilizing flux terms on a macroelement basis. The additional stabilization terms are dependent on a stabilization parameter. We identify an optimal value for this parameter using an analysis of the eigenvalue distribution of the macroelement Schur complement matrix. The resulting method is simple to implement and preserves the underlying sparsity pattern of the original discretization. Another appealing feature of the method is that mass is exactly conserved on macroelements, despite the addition of artificial fluxes. The efficacy of the proposed technique is demonstrated with several numerical examples.more » « less
-
Abstract We characterize initial value problems for the defocusing Manakov system (coupled two-component nonlinear Schrödinger equation) with nonzero background and well-defined spatial parity symmetry (i.e., when each of the components of the solution is either even or odd), corresponding to boundary value problems on the half line with Dirichlet or Neumann boundary conditions at the origin. We identify the symmetries of the eigenfunctions arising from the spatial parity of the solution, and we determine the corresponding symmetries of the scattering data (reflection coefficients, discrete spectrum and norming constants). All parity induced symmetries are found to be more complicated than in the scalar (i.e., one-component) case. In particular, we show that the discrete eigenvalues giving rise to dark solitons arise in symmetric quartets, and those giving rise to dark–bright solitons in symmetric octets. We also characterize the differences between the purely even or purely odd case (in which both components are either even or odd functions of x ) and the ‘mixed parity’ cases (in which one component is even while the other is odd). Finally, we show how, in each case, the spatial symmetry yields a constraint on the possible existence of self-symmetric eigenvalues, corresponding to stationary solitons, and we study the resulting behavior of solutions.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1137/19M1309651
