SearcharxivSearch

arXiv subjects

Carlos Rocha

Publications and source records attributed to Carlos Rocha.

11 recordsLinked to original sources

Classification of global attractors for $\mathbb{S}^1$-equivariant parabolic equations: a survey

We survey the global dynamics of semiflows generated by scalar semilinear parabolic equations which are $\mathbb{SO}(2)$ equivariant under spatial shifts of $x\in \mathbb{S}^1=\mathbb{R}/2\pi\mathbb{Z}$, i.e. $$ u_t = u_{xx} + f(u,u_x),\qquad x\in \mathbb{S}^1.$$ For dissipative $C^2$ nonlinearities $f$, the semiflow possesses a compact global attractor $\mathcal{A}=\mathcal{A}^\mathcal{P}$ which we call Sturm attractor. The Sturm attractor $\mathcal{A}^\mathcal{P}$ decomposes as $$ \mathcal{A}^\mathcal{P}=\mathcal{E}\cup\mathcal{F}^\mathcal{P}\cup\mathcal{R}^\mathcal{P}\cup\mathcal{H}^\mathcal{P},$$ where $\mathcal{H}^\mathcal{P}$ denotes heteroclinic orbits between distinct elements of spatially homogeneous equilibria $\mathcal{E}$, rigidly rotating waves $\mathcal{R}^\mathcal{P}$ and, as their non-rotating counterparts, frozen waves $\mathcal{F}^\mathcal{P}$. We therefore represent $\mathcal{A}^\mathcal{P}$ by its connection graph $\mathcal{C}^\mathcal{P}$, with vertices in $\mathcal{E},\mathcal{F}^\mathcal{P},\mathcal{R}^\mathcal{P}$ and edges $\mathcal{H}^\mathcal{P}$. Under mild hyperbolicity assumptions, the directed graphs $\mathcal{C}^\mathcal{P}$ are finite and transitive. For illustration, we enumerate all 21 connection graphs $\mathcal{C}^\mathcal{P}$ with up to seven vertices. The result uses a lap signature of period maps associated to integrable versions of the steady state ODE of our PDE. As an example, we freeze and reconstruct the connection graph of the Vas tulip attractor, known from delay differential equations, in our PDE setting.

math.DS

Classification of connection graphs of global attractors for $S^1$-equivariant parabolic equations

We consider the characterization of global attractors $A_f$ for semiflows generated by scalar one-dimensional semilinear parabolic equations of the form $u_t = u_{xx} + f(u,u_x)$, defined on the circle $x\in S^1$, for a class of reversible nonlinearities. Given two reversible nonlinearities, $f_0$ and $f_1$, with the same lap signature, we prove the existence of a reversible homotopy $f_\tau, 0\le\tau\le 1$, which preserves all heteroclinic connections. Consequently, we obtain a classification of the connection graphs of global attractors in the class of reversible nonlinearities. We also describe bifurcation diagrams which reduce a global attractor $A_1$ to the trivial global attractor $A_0=\{0\}$.

math.DS

Design of Sturm global attractors 2: Time-reversible Chafee-Infante lattices of 3-nose meanders

This sequel continues our exploration arxiv:2302.12531 of a deceptively ``simple'' class of global attractors, called Sturm due to nodal properties. They arise for the semilinear scalar parabolic PDE \begin{equation}\label{eq:*} u_t = u_{xx} + f(x,u,u_x) \tag{$*$} \end{equation} on the unit interval $0 < x<1$, under Neumann boundary conditions. This models the interplay of reaction, advection, and diffusion. Our classification is based on the Sturm meanders, which arise from a shooting approach to the ODE boundary value problem of equilibrium solutions $u=v(x)$. Specifically, we address meanders with only three ``noses'', each of which is innermost to a nested family of upper or lower meander arcs. The Chafee-Infante paradigm of 1974, with cubic nonlinearity $f=f(u)$, features just two noses. We present, and fully prove, a precise description of global PDE connection graphs, graded by Morse index, for such gradient-like Morse-Smale systems \eqref{eq:*}. The directed edges denote PDE heteroclinic orbits $v_1 \leadsto v_2$ between equilibrium vertices $v_1, v_2$ of adjacent Morse index. The connection graphs can be described as a lattice-like structure of Chafee-Infante subgraphs. However, this simple description requires us to adjoin a single ``equilibrium'' vertex, formally, at Morse level -1. Surprisingly, for parabolic PDEs based on irreversible diffusion, the connection graphs then also exhibit global time reversibility.

math.AP

Design of Sturm global attractors 1: Meanders with three noses, and reversibility

We systematically explore a simple class of global attractors, called Sturm due to nodal properties, for the semilinear scalar parabolic PDE \begin{equation*}\label{eq:*} u_t = u_{xx} + f(x,u,u_x) %\tag{$*$} \end{equation*} on the unit interval $0 < x<1$, under Neumann boundary conditions. This models the interplay of reaction, advection, and diffusion. Our classification is based on the Sturm meanders, which arise from a shooting approach to the ODE boundary value problem of equilibrium solutions $u_t=0$. Specifically, we address meanders with only three "noses", each of which is innermost to a nested family of upper or lower meander arcs. The Chafee-Infante paradigm, with cubic nonlinearity $f=f(u)$, features just two noses. Our results on the gradient-like global PDE dynamics include a precise description of the connection graphs. The edges denote PDE heteroclinic orbits $v_1 \leadsto v_2$ between equilibrium vertices $v_1, v_2$ of adjacent Morse index. The global attractor turns out to be a ball of dimension $d$, given as the closure of the unstable manifold $W^u(\mathcal{O})$ of the unique equilibrium with maximal Morse index $d$. Surprisingly, for parabolic PDEs based on irreversible diffusion, the connection graph indicates time reversibility on the ($d$-1)-sphere boundary of the global attractor.

math.AP

On the structure of the infinitesimal generators of semigroups with discrete Lyapunov functionals

Dynamical systems generated by scalar reaction-diffusion equations on an interval enjoy special properties that lead to a very simple structure for the semiflow. Among these properties, the monotone behavior of the number of zeros of the solutions plays an essential role. This discrete Lyapunov functional contains important information on the spectral behavior of the linearization and leads to a Morse-Smale description of the dynamical system. Other systems, like the linear scalar delay differential equations under monotone feedback conditions, possess similar kinds of discrete Lyapunov functions. Here we discuss and characterize classes of linear equations that generate semiflows acting on $C^0[0,1]$ or on $C^1[0,1]$ which admit discrete Lyapunov functions related to the zero number. We show that, if the space is $C^1[0,1]$, the corresponding equations are essentially parabolic partial differential equations. In contrast, if the space is $C^0[0,1]$, the corresponding equations are generalizations of monotone feedback delay differential equations.

math.DS

Meanders, zero numbers and the cell structure of Sturm global attractors

We study global attractors $\mathcal{A}=\mathcal{A}_f$ of semiflows generated by semilinear partial parabolic differential equations of the form $u_t = u_{xx} + f(x,u,u_x), 0<x<1$, satisfying Neumann boundary conditions. The equilibria $v\in\mathcal{E}\subset\mathcal{A}$ of the semiflow are the stationary solutions of the PDE, hence they are solutions of the corresponding second order ODE boundary value problem. Assuming hyperbolicity of all equilibria, the dynamic decomposition of $\mathcal{A}$ into unstable manifolds of equilibria provides a geometric and topological characterization of Sturm global attractors $\mathcal{A}$ as finite regular signed CW-complexes, the Sturm complexes, with cells given by the unstable manifolds of equilibria. Concurrently, the permutation $σ=σ_f$ derived from the ODE boundary value problem by ordering the equilibria according to their values at the boundaries $x=0,1$, respectively, completely determines the Sturm global attractor $\mathcal{A}$. Equivalently, we use a planar curve, the meander $\mathcal{M}=\mathcal{M}_f$, associated to the the ODE boundary value problem by shooting. The main objective of this paper is to derive a minimax property which identifies the equilibria on the cell boundary of $\mathcal{O}$ which are closest or most distant from $\mathcal{O}$ at the boundaries $x=0,1$, directly from the permutation $σ$, the Sturm permutation, or equivalently from the meander $\mathcal{M}$, the Sturm meander, based on the Sturm nodal properties of the solutions of the ODE boundary value problem. We emphasize the local aspect of this result by applying it to an example for which the identification of the equilibria in the cell boundary of $\mathcal{O}$ is obtained from the knowledge of only a section of the Sturm meander $\mathcal{M}$.

math.DS

Boundary orders and geometry of the signed Thom-Smale complex for Sturm global attractors

We embark on a detailed analysis of the close relations between combinatorial and geometric aspects of the scalar parabolic PDE \begin{equation}\label{eq:*} u_t = u_{xx} + f(x,u,u_x) \tag{$*$} \end{equation} on the unit interval $0 < x<1$ with Neumann boundary conditions. We assume $f$ to be dissipative with $N$ hyperbolic equilibria $v\in\mathcal{E}$. The global attractor $\mathcal{A}$ of \eqref{eq:*}, also called \emph{Sturm global attractor}, consists of the unstable manifolds of all equilibria $v$. As cells, these form the \emph{Thom-Smale complex} $\mathcal{C}$. Based on the fast unstable manifolds of $v$, we introduce a refinement $\mathcal{C}^s$ of the regular cell complex $\mathcal{C}$, which we call the \emph{signed Thom-Smale complex}. Given the signed cell complex $\mathcal{C}^s$ and its underlying partial order, only, we derive the two total boundary orders $h_ι:\{1,\ldots , N\}\rightarrow\mathcal{E}$ of the equilibrium values $v(x)$ at the two Neumann boundaries $ι=x=0,1$. In previous work we have already established how the resulting Sturm permutation \[σ:=h_{0}^{-1} \circ h_1,\] conversely, determines the global attractor $\mathcal{A}$ uniquely, up to topological conjugacy.

math.DS

Sturm 3-ball global attractors 3: Examples of Thom-Smale complexes

Examples complete our trilogy on the geometric and combinatorial characterization of global Sturm attractors $\mathcal{A}$ which consist of a single closed 3-ball. The underlying scalar PDE is parabolic, $$ u_t = u_{xx} + f(x,u,u_x)\,, $$ on the unit interval $0 < x<1$ with Neumann boundary conditions. Equilibria $v_t=0$ are assumed to be hyperbolic. Geometrically, we study the resulting Thom-Smale dynamic complex with cells defined by the fast unstable manifolds of the equilibria. The Thom-Smale complex turns out to be a regular cell complex. In the first two papers we characterized 3-ball Sturm attractors $\mathcal{A}$ as 3-cell templates $\mathcal{C}$. The characterization involves bipolar orientations and hemisphere decompositions which are closely related to the geometry of the fast unstable manifolds. An equivalent combinatorial description was given in terms of the Sturm permutation, alias the meander properties of the shooting curve for the equilibrium ODE boundary value problem. It involves the relative positioning of extreme 2-dimensionally unstable equilibria at the Neumann boundaries $x=0$ and $x=1$, respectively, and the overlapping reach of polar serpents in the shooting meander. In the present paper we apply these descriptions to explicitly enumerate all 3-ball Sturm attractors $\mathcal{A}$ with at most 13 equilibria. We also give complete lists of all possibilities to obtain solid tetrahedra, cubes, and octahedra as 3-ball Sturm attractors with 15 and 27 equilibria, respectively. For the remaining Platonic 3-balls, icosahedra and dodecahedra, we indicate a reduction to mere planar considerations as discussed in our previous trilogy on planar Sturm attractors.

math.DS

Sturm 3-ball global attractors 1: Thom-Smale complexes and meanders

This is the first of three papers on the geometric and combinatorial characterization of global Sturm attractors which consist of a single closed 3-ball. The underlying scalar PDE is parabolic, $$ u_t = u_{xx} + f(x,u,u_x)\,, $$ on the unit interval $0 < x<1$ with Neumann boundary conditions. Equilibria are assumed to be hyperbolic. Geometrically, we study the resulting Thom-Smale dynamic complex with cells defined by the unstable manifolds of the equilibria. The Thom-Smale complex turns out to be a regular cell complex. Our geometric description involves a bipolar orientation of the 1-skeleton, a hemisphere decomposition of the boundary 2-sphere by two polar meridians, and a meridian overlap of certain 2-cell faces in opposite hemispheres. The combinatorial description is in terms of the Sturm permutation, alias the meander properties of the shooting curve for the equilibrium ODE boundary value problem. It involves the relative positioning of extreme 2-dimensionally unstable equilibria at the Neumann boundaries $x=0$ and $x=1$, respectively, and the overlapping reach of polar serpents in the shooting meander. In the present paper we show the implications $$ \text{Sturm attractor}\quad \Longrightarrow \quad \text{Thom-Smale complex} \quad \Longrightarrow \quad \text{meander}\,.$$ The sequel, part 2, closes the cycle of equivalences by the implication $$ \text{meander} \quad \Longrightarrow \quad \text{Sturm attractor}\,.$$ Many explicit examples will be discussed in part 3. The present 3-ball trilogy extends our previous trilogy on planar Sturm global attractors towards the still elusive goal of geometric and combinational characterizations of all Sturm global attractors of arbitrary dimension.

math.DS

Sturm 3-ball global attractors 2: Design of Thom-Smale complexes

This is the second of three papers on the geometric and combinatorial characterization of global Sturm attractors which consist of a single closed 3-ball. The underlying scalar PDE is parabolic, $$ u_t = u_{xx} + f(x,u,u_x)\,, $$ on the unit interval $0 < x<1$ with Neumann boundary conditions. Equilibria are assumed to be hyperbolic.\\ \newline Geometrically, we study the resulting Thom-Smale dynamic complex with cells defined by the fast unstable manifolds of the equilibria. The Thom-Smale complex turns out to be a regular cell complex. Our geometric description involves a bipolar orientation of the 1-skeleton, a hemisphere decomposition of the boundary 2-sphere by two polar meridians, and a meridian overlap of certain 2-cell faces in opposite hemispheres.\\ \newline The combinatorial description is in terms of the Sturm permutation, alias the meander properties of the shooting curve for the equilibrium ODE boundary value problem.\\ \newline In the first paper we showed the implications $$ \text{Sturm attractor}\quad \Longrightarrow \quad \text{Thom-Smale complex} \quad \Longrightarrow \quad \text{meander}\,.$$ The present part 2, closes the cycle of equivalences by the implication $$ \text{meander} \quad \Longrightarrow \quad \text{Sturm attractor}\,.$$ In particular this cycle allows us to construct a unique Sturm 3-ball attractor for any prescribed Thom-Smale complex which satisfies the geometric properties of the bipolar orientation and the hemisphere decomposition. Many explicit examples and illustrations will be discussed in part 3. The present 3-ball trilogy, however, is just another step towards the still elusive geometric and combinational characterization of all Sturm global attractors in arbitrary dimensions.

math.DS