Related papers: Singularities and heteroclinic connections in comp…
This work presents a numerical analysis of computing transition states of semilinear elliptic partial differential equations (PDEs) via the index-1 saddle dynamics, or equivalently, the gentlest ascent dynamics. To establish clear…
We present a computational method for studying transverse homoclinic orbits for periodic solutions of delay differential equations, a phenomenon that we refer to as the \emph{Poincar\'{e} scenario}. The strategy is geometric in nature, and…
We present a new Partial Integral Equation (PIE) representation of Partial Differential Equations (PDEs) in which it is possible to use convex optimization to perform stability analysis with little or no conservatism. The first result gives…
We study the existence of homoclic solutions for reversible Hamiltonian systems taking the family of differential equations u^4+au^2-u+f(u,b)=0 as a model. Here f is an analytic function and a, b real parameters. These equations are…
It is well known that for many semilinear parabolic equations there is a global attractor which has a cell complex structure with finite dimensional cells. Additionally, many semilinear parabolic equations have equilibria with finite…
In this paper, we announce a rigorous approach to establishing uniqueness results, under certain conditions, for initial-boundary-value problems for a class of linear evolution partial differential equations (PDEs) formulated in a…
We present a new solver for coupled nonlinear elliptic partial differential equations (PDEs). The solver is based on pseudo-spectral collocation with domain decomposition and can handle one- to three-dimensional problems. It has three…
Simulations of the dynamics generated by partial differential equations (PDEs) provide approximate, numerical solutions to initial value problems. Such simulations are ubiquitous in scientific computing, but the correctness of the results…
This paper studies the local stable and unstable manifolds of equilibria for quasilinear and fully nonlinear PDEs. These manifolds are fundamental objects in the analysis of local dynamics. While their existence is well understood for ODEs,…
Equilibrium, traveling wave, and periodic orbit solutions of pipe, channel, and plane Couette flows can now be computed precisely at Reynolds numbers above the onset of turbulence. These invariant solutions capture the complex dynamics of…
Multiscale and multiphysics problems need novel numerical methods in order for them to be solved correctly and predictively. To that end, we develop a wavelet based technique to solve a coupled system of nonlinear partial differential…
New approaches to the study of stability of solutions of Set Differential Equations (SDEs) based on convex geometry and the theory of mixed volumes were proposed. The stability of the forms of program solutions of linear SDEs with a stable…
Physical processes evolving in both time and space are often modeled using Partial Differential Equations (PDEs). Recently, it has been shown how stability analysis and control of coupled PDEs in a single spatial variable can be more…
We consider a periodic evolution inclusion defined on an evolution triple of spaces. The inclusion involves also a subdifferential term. We prove existence theorems for both the convex and the nonconvex problem, and we also produce extremal…
We present a method for the complete analysis of the dynamics of dissipative Partial Differential Equations (PDEs) undergoing a pitchfork bifurcation. We apply our technique to the Kuramoto--Sivashinsky PDE on the line to obtain a…
Heteroclinic connections between two distinct hyperbolic periodic orbits in conservative systems are important in a wide range of applications. On the other hand, it is theoretically challenging to find large amplitude connections from…
We develop computer assisted arguments for proving the existence of transverse homoclinic connecting orbits, and apply these arguments for a number of non-perturbative parameter and energy values in the spatial equilateral circular…
This paper provides a methodology of verified computing for solutions to 1-dimensional advection equations with variable coefficients. The advection equation is typical partial differential equations (PDEs) of hyperbolic type. There are few…
A multi-cube method is developed for solving systems of elliptic and hyperbolic partial differential equations numerically on manifolds with arbitrary spatial topologies. It is shown that any three-dimensional manifold can be represented as…
We formulate a class of nonlinear {evolution} partial differential equations (PDEs) as linear optimization problems on moments of positive measures supported on infinite-dimensional vector spaces. Using sums of squares (SOS) representations…