Orbital instability of periodic waves for scalar viscous balance laws

The purpose of this paper is to prove that, for a large class of nonlinear evolution equations known as scalar viscous balance laws, the spectral (linear) instability condition of periodic traveling wave solutions implies their orbital (nonlinear) instability in appropriate periodic Sobolev spaces. The analysis is based on the well-posedness theory, the smoothness of the data-solution map, and an abstract result of instability of equilibria under nonlinear iterations. The resulting instability criterion is applied to two families of periodic waves. The first family consists of small amplitude waves with finite fundamental period which emerge from a local Hopf bifurcation around a critical value of the velocity. The second family comprises arbitrarily large period waves which arise from a homoclinic (global) bifurcation and tend to a limiting traveling pulse when their fundamental period tends to infinity. In the case of both families, the criterion is applied to conclude their orbital instability under the flow of the nonlinear viscous balance law in periodic Sobolev spaces with same period as the fundamental period of the wave.


Introduction
Scalar viscous balance laws in one space dimension are equations of the form where u = u(x, t) ∈ R is a scalar unknown, x ∈ R and t > 0 denote the space and time variables, respectively, and f = f (u) and g = g(u) are nonlinear functions.Equation (1.1) describes the dynamics of a scalar quantity u in a one dimensional domain, which is subject to three different mechanisms: the reaction g(u) may describe production/consumption, chemical reactions or combustion, among other interactions; the density u is (nonlinearly) transported with speed f (u); and the diffusion of u is represented by the Laplace operator, ∂ 2 x .In sum, scalar viscous balance laws constitute simplified models that combine diffusion (viscosity), convection and reaction into one single equation.For an abridged list of references on scalar viscous balance laws, see [2,15,19,20].
In these models, one of the most important mathematical solution types is the traveling wave.A spatially periodic traveling wave solution to (1.1) has the form u(x, t) = ϕ(x − ct), (1.2) where the constant c ∈ R is the speed of the wave and the profile function, ϕ = ϕ(ξ), ξ ∈ R, is a sufficiently smooth periodic function of its argument with fundamental period L > 0.
In this paper, we are concerned with the stability of a periodic wave as a solution to the equation (1.1).In general, stability of a specific traveling wave solution under small perturbations is a fundamental property for understanding the realworld dynamics of models of evolution type.Examples of such models are the nonlinear Schrödinger equation, the sine-Gordon equation and models of Korteweg-de Vries type, among others.The existence and stability theory of periodic waves has developed rapidly in recent years and it has drawn the attention of researchers from different areas of science, such as in fluid mechanics, optics, biology, or engineering, just to mention a few.New methods and theories have been developed using tools of non-linear analysis, bifurcation theory, spectral theory, as well as Fourier and harmonic analyses.The following (abridged) list of references may provide the reader with a panoramic idea of the recent evolution of the theory, [2, 5-10, 12, 24].In the particular case of scalar viscous balance laws, the analyses available in the literature have mainly focused on the stability of traveling fronts on the real line (see, e.g., [35][36][37] and the references therein).In contrast, less attention has been paid to the stability of periodic waves.
In this work, we are interested in establishing new results related to the dynamics of periodic traveling waves for models of the general type in (1.1).The present analysis can be regarded as a complement to the recent study in [2], where the existence and spectral instability of periodic waves for equations of the form (1.1) were established.The natural question is whether this spectral information guarantees the instability of the waves under the nonlinear evolution.Hence, the purpose of this paper is to show that, if a periodic wave is spectrally unstable then it is also nonlinearly (orbitally) unstable under the flow of the evolution equation (1.1).For such statement to be meaningful, it is crucial to specify the spaces under which the spectrum is calculated, and for which the well-posedness holds.Our instability criterion warrants the orbital instability of the manifold generated by any spectrally unstable periodic wave, under the flow of the nonlinear viscous balance law (1.1) in periodic Sobolev spaces with same period as the fundamental period of the wave.
The analysis is based on a combination of the local well-posedness theory for (1.1), the implicit function theorem, and an (important) abstract result by Henry et al. [22], which essentially determines the instability of a manifold of equilibria under iterations of a nonlinear map with unstable linearized spectrum.This general abstract theorem has been the basis of the nonlinear instability theory of periodic waves in other contexts, such as the KdV equation [31], the critical KdV and NLS models [8], KdV systems [5], and for general dispersive models [10], just to mention a few.In order to apply the theorem by Henry et al., some essential elements are needed, such as a suitable well-posedness theory and the property that the data-solution map is of class C 2 .
There exist several studies of well-posedness for parabolic equations of the form (1.1) available in the literature (see, e.g., [3,4,11,28]).For convenience of the reader, we present a detailed (yet concise) proof of local well-posedness of the Cauchy problem for equations of the form (1.1) in periodic Sobolev spaces of distributions (in the spirit of the analysis of Iorio and Iorio [23] for nonlinear equations).Even though our well-posedness analysis is, indeed, quite standard, several refined estimates in the course of proof need to be established as they are used to prove the smoothness of the data-solution map, an important key element of the abstract result by Henry et al.Moreover, up to our knowledge, the well-posedness of equations of the form (1.1) in Sobolev spaces of L-periodic distributions has not been reported as such in the literature.
Once the orbital instability criterion is at hand, one may ask about its applicability to particular examples.In the aforementioned recent paper [2], the authors applied dynamical systems techniques in order to show that, under certain structural assumptions, there exist two families of periodic waves for equations of the form (1.1).The first family emerges from a local Hopf bifurcation when the speed c crosses a critical value c 0 .These waves have small-amplitude and finite period.The second family is generated by a global homoclinic bifurcation around a second critical value of the speed c 1 , which is the speed of a traveling pulse or homoclinic wave.These periodic waves have amplitude of order O(1) but have large period tending to ∞ (which can be regarded as the period of the traveling pulse).A couple of examples and numerical computations, which illustrate both families of waves, are also presented.Therefore, in order to present the applicability of the criterion, we study the orbital instability of both families of waves via a verification of the conditions for an unstable spectrum.The two families are parametrized by small parameter > 0 (measuring the deviation of the speed of the wave from the critical speed in each case).Hence, we obtain instability under the flow of the evolution equation in periodic spaces with same period of the wave, once the parameter > 0 is fixed (see Theorems 5.6 and 5.12 below).
The paper is structured as follows.In Section 2 we make precise the notions of spectral and orbital instability of periodic waves and state the main results of the paper, namely, the orbital instability criterion and the well-posedness theorem.Section 3 is devoted to the well-posedness theory for equations of the form (1.1) in periodic Sobolev spaces.Special attention is devoted to show that the data-solution map is smooth enough.Section 4 contains the proof that spectral instability implies orbital instability, upon application of an abstract result on instability of equilibrium points.The final Section 5 contains the description of the two families of periodic waves found in [2] and verifies the appropriate hypotheses to apply our orbital instability criterion.
On notation.Linear operators acting on infinite-dimensional spaces are indicated with calligraphic letters (e.g., L), except for the identity operator which is indicated by Id.The domain of a linear operator, L : X → Y , with X, Y Banach spaces, is denoted as D(L) ⊆ X.For a closed linear operator with dense domain the usual definitions of resolvent and spectra apply (cf.Kato [26]).When computed with respect to the space X, the spectrum of L is denoted as σ(L) |X .We denote the real part of a complex number λ ∈ C by Re λ.The classical Lebesgue and Sobolev spaces of complex-valued functions on the real line will be denoted as L 2 (R) and H m (R), with m ∈ N, endowed with the standard inner products and norms.For any L > 0 and any s ∈ R, we denote by H s per = H s per ([0, L]) the Sobolev space of L-periodic distributions such that where u is the Fourier transform of u.According to custom we denote , then there holds the continuous embedding, H s per → C k per , where C k per is the space of L-periodic functions with k continuous derivatives.
The translation operator in H s per ([0, L]) will be denoted as Translation is a smooth operator in H s per ([0, L]).Moreover, if s ≥ 0 then we have ζ η (u) s = u s for all u ∈ H s per and all η ∈ R (see Iorio and Iorio [23] for details).

Stability Framework and Main Theorems
In this section we describe the different notions of stability under consideration and state our main results.
2.1.Spectral stability.Suppose that a sufficiently smooth profile function, ϕ = ϕ(•), determines an L-periodic traveling wave solution to (1.1) of the form (1.2) for some speed value c ∈ R. Substitution of (1.2) into (1.1)yields the following ODE for the profile, With a slight abuse of notation let us rescale the space variable as x → x − ct (the co-moving Galilean frame) in order to transform (1.1) into the equation for which now the periodic wave is a stationary solution, u(x, t) = ϕ(x), in view of (2.1).For solutions to (2.2) of the form ϕ(x)+v(x, t), where v denotes a nearby perturbation, the leading approximation is given by the linearization of this equation around ϕ, namely Specializing to perturbations of the form v(x, t) = e λt u(x), where λ ∈ C and u lies in an appropriate Banach space X, we arrive at the eigenvalue problem in which the complex growth rate appears as the eigenvalue.Intuitively, a necessary condition for the wave to be "stable" is the absence of eigenvalues with Re λ > 0, precluding exponentially growing models at the linear level.Motivated by the notion of spatially localized, finite energy perturbations in the Galilean coordinate frame in which the periodic wave is stationary, we consider X = L 2 (R) and define the linearized operator around the wave as with dense domain D(L c ) = H 2 (R), and where the coefficients, are bounded and periodic, satisfying a j (x + L) = a j (x) for all x ∈ R, j = 0, 1. L c is a densely defined, closed operator acting on L 2 (R) with domain D(L c ) = H 2 (R).Hence, the eigenvalue problem (2.3) is recast as L c u = λu for some λ ∈ C and u ∈ D(L c ) = H 2 (R).
Definition 2.1 (spectral stability).We say that a bounded periodic wave ϕ is spectrally stable as a solution to the viscous balance law (1.1) if the L 2 -spectrum of the linearized operator around the wave defined in (2.4) satisfies Otherwise we say that it is spectrally unstable.
Remark 2.2.We remind the reader that any complex number λ belongs to the point spectrum of an operator L, denoted as σ pt (L), if L − λ is a Fredholm operator with index equal to zero and with a non-trivial kernel.λ belongs to the essential spectrum, σ ess (L), provided that either L−λ is not Fredholm, or it is Fredholm with non-zero index.Clearly, σ pt (L), σ ess (L) ⊂ σ(L).Moreover, since the operator is closed, σ(L) = σ pt (L)∪σ ess (L).The point spectrum consists of isolated eigenvalues with finite (algebraic) multiplicity (see [25,26] for further information).
Since the coefficients of the operator L c are periodic, it is well known from Floquet theory that L c has no L 2 -point spectrum and that its spectrum is purely essential (or continuous), Lemma 3.3 in [24], or Lemma 59, p. 1487, in [16]).However, it is possible to parametrize the spectrum in terms of Floquet multipliers of the form e iθ ∈ S 1 , θ ∈ R (mod 2π) via a Bloch transformation [18,25].Indeed, the purely essential spectrum σ(L c ) |L 2 (R) can be written as the union of partial point spectra: where the one-parameter family of Bloch operators, with domain D(L c θ ) = H 2 per ([0, L]), are parametrized by the Floquet exponent (or Bloch parameter ) θ ∈ (−π, π], and act on the periodic Sobolev space with same period L > 0 as the period of the wave.Since the family has compactly embedded domains in L 2 per = L 2 per ([0, L]) then their spectrum consists entirely of isolated eigenvalues, σ(L c θ ) |L 2 per = σ pt (L c θ ) |L 2 per .Moreover, they depend continuously on the Bloch parameter θ, which may be regarded as a local coordinate for the spectrum ) is called the Floquet characterization of the spectrum (for details, see [2,18,24,25] and the references therein).As a consequence of (2.6) we conclude that the periodic wave ϕ is L 2 -spectrally unstable if and only if there exists θ 0 ∈ (−π, π] for which Notice that when the Bloch parameter is θ = 0, the expression of the operator L c 0 coincides with that of the linearized operator around the wave in (2.4), but now acting on a periodic space: (2.8) 2.2.Orbital stability.Once the spectral (in)stability of a periodic wave is established, a natural question arises.Is the traveling wave solution nonlinearly stable, in a certain sense, with respect to the flow of the equation (1.1)?Can we deduce from the spectral (in)stability of a periodic wave a nonlinear (in)stability result?In this paper we prove that spectral instability implies orbital (nonlinear) instability in a sense that is described below.First, note that if the profile function ϕ = ϕ(•) is smooth enough then it belongs to the periodic space H 2 per ([0, L]).Hence, one can compare the motion ϕ(x − ct), as a solution to (1.1), to a general class of motions u = u(x, t) evolving from initial conditions, u(0) = ψ, that are close in some sense to ϕ.The notion of orbital stability is, thus, the property that u(•, t) remains close to ϕ(• + γ), γ = γ(t), for all times provided that u(0) starts close to ϕ(•).In other words, the type of stability that we expect is that the perturbation remains close to the manifold generated by translations of the traveling wave, leading to the concept of orbital stability (also called stability in shape [6]).We define the orbit generated by ϕ as the set . Thus, the traveling wave profile will be orbitally stable if its orbit Γ is stable by the flow generated by the evolution equation.Consequently, we have the following definition associated to (1.1) (cf.[6]).Definition 2.4 (orbital stability).Let X, Y be Banach spaces, with the continuous embedding Y → X.Let ϕ ∈ X be a traveling wave solution to equation (1.1).We say ϕ is orbitally stable in X by the flow of (1.1) if for each ε > 0 there exists then the solution u(x, t) of (1.1) with initial condition u(0) = ψ exists globally and satisfies sup Otherwise we say that ϕ is orbitally unstable in X.
In the present context of periodic waves for equations of the form (1.1), we select where L > 0 is the fundamental period of the wave.

Main results.
Let us now state the main results of the paper.The first theorem establishes the local well-posedness of the evolution equation (1.1) in periodic Sobolev spaces.
The second main result is precisely the general criterion for orbital instability based on an unstable spectrum of the linearized operator around the wave.It establishes orbital instability under the flow of the nonlinear viscous balance law in periodic Sobolev spaces with same period as the fundamental period of the wave.
Theorem 2.6 (orbital instability criterion for viscous balance laws).Suppose that f ∈ C 4 (R), g ∈ C 3 (R).Let u(x, t) = ϕ(x − ct) be a periodic traveling wave solution with speed c ∈ R to the viscous balance law (1.1),where the profile function ϕ = ϕ(•) is of class C 2 and has fundamental period L > 0. Assume that the following spectral instability property holds: the linearized operator around the wave, L c 0 : , has an unstable eigenvalue, that is, there exists λ ∈ C with Re λ > 0 and some eigenfunction Then the periodic traveling wave is orbitally unstable in X = H 2 per ([0, L]) under the flow of (1.1).Additionally, in this paper we apply Theorem 2.6 to prove the nonlinear instability of periodic waves belonging to the two families described in the Introduction, whose existence and spectral instability were proved in [2] (see Theorems 5.6 and 5.12 below).

Local well-posedness
In this section we establish the local well-posedness in H s per ([0, L]) for any s > 3/2, of the model equation (1.1).Our analysis is standard and it is based on Banach's fixed point theorem.Albeit the arguments are classical and without major problems, several estimates are key ingredients in order to obtain the smoothness of the data-solution map associated to (1.1) (see Section 3.3).In the sequel (and for the rest of the paper) we use the notation, for any s ∈ R.
We start with the recollection of well-known facts.
3.1.The heat semigroup in X s .The following properties of the heat semigroup acting on periodic Sobolev spaces can be found in the book by Iorio and Iorio [23].
Theorem 3.1.The Cauchy problem for the heat equation, ) where the family of operators, V(t) : with generator T = ∂ 2 x and dense domain D = H s+2 per ([0, L]).The solution depends continuously on the initial data in the following sense, Proof.Follows from standard theory: it is a particular case (with q = 0) of Corollary 4.16 and Theorems 4.9, 4.14 and 4.25 in Iorio and Iorio [23], pp.218-232.Corollary 3.2.For all s ∈ R, N ≥ 0 and any φ ∈ H s per , lim uniformly with respect to t ≥ 0. In particular, there exists a uniform ) in the operator norm for all small 0 < |h| 1.

Corollary 3.3 (regularity inequality)
. For all r ∈ R and δ ≥ 0 there exists a uniform constant K δ > 0 depending only on δ such that for all u ∈ H r per ([0, L]), t > 0. Proof.This is a particular case, with q = 0 and µ = 1, of Theorem 4.17 in [23].

The Cauchy problem for viscous balance laws. Let us consider the
Cauchy problem for the viscous balance law (1.1) in X s , s > 3/2.It reads: for some initial condition u(0 Hence, the Cauchy problem (3.5) can be recast as with φ ∈ X s .Upon application of the variation of constants formula we arrive at the integral equation, In order to prove existence and uniqueness of solutions to the Cauchy problem (3.6) we follow the standard blueprint (see, e.g.Taylor [34], chapter 15): (i) the linear part of the equation generates a C 0 semigroup in a certain Banach space X (this step has been already verified by Theorem 3.1); (ii), the nonlinear term F is locally Lipschitz from X to another Banach space Y ; and, (iii), the operator A is a contraction in a closed ball in C([0, T ]; X) for T sufficiently small yielding, upon application of Banach's fixed point theorem, a solution to the integral equation (3.7).
The following lemmata are devoted to verify these steps in the context of periodic Sobolev spaces and in the spirit of the analysis of Iorio and Iorio [23] for nonlinear equations.
Lemma 3.4.For any s > 3/2 and assuming f ∈ C 2 , g ∈ C 1 , then F = F (u, u x ) is locally Lipschitz from H s per to H s−1 per .More precisely, for any per , with M > 0 fixed but arbitrary, there holds the estimate where , is a continuous, positive function and non-decreasing with respect to each argument.In particular, there holds the estimate for all u ∈ B M .
Proof.Let u, v ∈ B M .Since for each s > 1/2, H s per is a Banach algebra (see Theorem 3.200 in [23]), there exists a constant C s ≥ 0 depending only on s such that In view that s > 3/2 we have H s per ⊂ H 1 per and by Sobolev's inequality there holds and f (u) are continuous in the compact set [−2M, 2M ], then they are locally Lipschitz and there exist uniform constants L f , L g > 0, depending only on s and M , such that since from definition u s−1 ≤ u s for all u, and where we have defined 1 ) is continuous and non-decreasing with respect to each argument.This yields (3.8) and the lemma is proved.Let φ ∈ X s .For any α > 0, fixed but arbitrary, and for T > 0 to be chosen later, let us define Clearly, Z α,T ⊂ C([0, T ]; X s ) and it is closed under the norm Next result establishes the conditions under which the operator A defined in (3.7) is a contraction mapping on Z α,T , yielding the existence and uniqueness of a mild solution to (3.6).Lemma 3.5.Let s > 3/2 and φ ∈ X s .Then there exist T > 0 and a unique mild solution u ∈ C([0, T ]; X s ) to the Cauchy problem (3.6) (that is, to the integral equation (3.7)).Moreover, the data-solution map φ → u is continuous.
Next, we choose T > 0 small enough such that A(Z α,T ) ⊂ Z α,T and that A is a contractive mapping.First, note that since V(t) is a C 0 -semigroup we can choose < 1 2 α, provided that we choose T < T 1 small enough.This shows that A(Z α,T ) ⊂ Z α,T .Finally, in order to show that A is a contraction for some (possibly smaller) T > 0, let u, v ∈ Z α,T .Similar arguments yield the estimate ) we choose T sufficiently small such that Notice that T depends on φ s .Hence, we conclude that there exists a small T = T ( φ s ) > 0 such that A(Z α,T ) ⊂ Z α,T and A is a contraction on Z α,T .By Banach's fixed point theorem, there exists a unique fixed point u ∈ Z α,T of A that solves (3.7).Finally, to show the continuity of the data-solution map let u and v in C([0, T ]; X s ) be the solutions to the Cauchy problem with initial data u(0) = φ and v(0) = ψ, respectively.Then, using the regularity estimate (3.4) it is easy to show that

Proof. It suffices to show that
To that end, write (3.15) First, note that Corollary 3.2 immediately implies that The • s−2 -norm of the last term in (3.15) is clearly bounded above by where R(τ R is a continuous function of τ ∈ (t, t + h) and, hence, there exists some ϑ ∈ (t, t + h) for which Since ϑ → t as h → 0, by continuity of the semigroup we have, Finally, apply (3.4), (3.3) and (3.9) to observe that, for all 0 < τ < t and all |h| small, there holds the estimate Once again, the right hand side of last inequality is integrable in τ ∈ (0, t).Corollary 3.2 then yields as h → 0, uniformly in τ ∈ (0, t).Thus, by the Dominated Convergence Theorem, we conclude that This shows that u ∈ C 1 ([0, T ]; H s−2 per ([0, L])) and the lemma is proved.

3.3.
Smoothness of the data-solution map.Let B be the ball For any given φ ∈ X s , s > 3/2, let us denote by u φ ∈ C([0, T ]; X s ), At this point we need to impose further regularity on the functions f and g to guarantee twice Fréchet differentiability of the mapping Γ in a neighborhood of (φ, u φ ).Lemma 3.7.Let f ∈ C 4 (R), g ∈ C 3 (R) and s > 3/2.Then the map Γ : Proof.Follows directly from the regularity of F (u, u x ) = g(u) − f (u)u x , the definition of the mapping Γ and standard properties of the contractive semigroup V(t).(Recall that the existence of continuous Gâteaux derivatives in open neighborhoods yields Fréchet differentiability; see [39], §4.2, Proposition 4.8.)We omit the details.
and consider u φ ∈ C([0, T ]; X s ), T > 0, the unique strong solution to (3.5) given by Lemma 3.6.Then, the operator ) is one to one and onto.Moreover, the data-solution map associated to (3.5), Υ : ) Proof.First, let us verify the formula for the operator ∂ w Γ(φ, u φ ) by computing lim h→0 h −1 Γ(φ, u φ + hw) for any w ∈ C([0, T ], X s ).From the definition of F = F (u, u x ) we have by Taylor expansion, Hence, in view of (3.17).This yields (3.18) when h → 0. Now, let us apply the regularity inequality (3.4) to estimate, for any t ∈ [0, T ] and all w ∈ C([0, T ], X s ), In view of estimates (3.10), the fact that H s per is a Banach algebra for any s > 1/2 and that, by the fixed point theory of Lemma 3.5 there holds A(Z α,T ) ⊂ Z α,T , or in other words, u φ ≤ α + φ s , then we obtain the following estimate for all 0 < τ < t, This yields, for the same constant C φ > 0 given in (3.13).Since T satisfies (3.14) we conclude that (∂ w Γ(φ, u φ ) − Id)w C([0,T ];Xs) < 1 2 w C([0,T ];Xs) , for all w ∈ C([0, T ], X s ).In other words, in the operator norm there holds In view of Lemma 3.7, we now apply the Implicit Function Theorem in Banach spaces (cf.[39], §4.7) to conclude the existence of a neighborhood B ⊂ B of φ and a C 2 -mapping Υ : such that Γ(w, Υ(w)) = 0 for all w ∈ B. By (3.16), the mapping Υ is clearly the data-solution map inasmuch as φ → Υ(φ) = u φ .The conclusion follows.

Orbital instability criterion
This section is devoted to prove Theorem 2.6.

An abstract result.
The following theorem provides the link to obtain nonlinear (orbital) instability from spectral instability.
Theorem 4.1 (Henry et al. [22]).Let Y be a Banach space and Ω ⊂ Y an open subset such that 0 ∈ Ω. Assume that there exists a map M : Ω → Y such that M(0) = 0 and, for some p > 1 and some continuous linear operator L with spectral radius r(L) > 1, there holds Then 0 is unstable as a fixed point of M.More precisely, there exists ε 0 > 0 such that for all B η (0) ⊂ Y and arbitrarily large N 0 ∈ N there is n ≥ N 0 and y ∈ B η (0) such that M n (y) Y ≥ ε 0 .
Remark 4.2.The statement in Theorem 4.1 establishes the instability of 0 as a fixed point of M; in other words, it shows the existence of points moving away from 0 under successive applications of M. In the Remark after Theorem 2 in [22], the following extension of Theorem 2 is obtained: if Γ 0 is a C 1 -curve of fixed points of M with 0 ∈ Γ 0 then Γ 0 is unstable, in other words, the points {M n (y), n ≥ 0} not only move away from 0, but also from Γ 0 .Theorem 4.1 can be recast in a more suitable form for applications to nonlinear wave instability (see also [9,10]).
4.2.The mapping S. Before proving our main result, Theorem 2.6, we need to specify the particular mapping S (in the context of Corollary 4.3) suitable for our needs.We start by making a couple of observations.First notice that, if we denote the unique solution to the Cauchy problem (3.5) with initial datum ϕ ∈ X 2 = H 2 per as u ϕ = Υ(ϕ) ∈ C([0, T ]; X 2 ) (where ϕ = ϕ(•) is the L-periodic C 2 profile function), then for each x ∈ [0, L] a.e.there holds u ϕ (t)(x) = ϕ(x − ct), or, in other words, where ζ η is the translation operator in X 2 for any η ∈ R.This follows by direct differentiation and by the profile equation (2.1).
Our second observation is the content of the following Lemma 4.4 (global well-posedness of the linearized problem).
) and all T > 0 there exists a unique solution to the Cauchy problem for the linearized operator around the periodic traveling wave ϕ, namely, where Proof.Follows similarly as the proof for the nonlinear well-posedness result in periodic Sobolev spaces of section 3. The fact that the solution is now global is a consequence of the well-posedness and regularity for parabolic linear problems (see [34]).We omit the details.
Remark 4.5.Recall that L c 0 denotes the linearized operator around the wave defined on the periodic Lebesgue space L 2 per ([0, L]) (with Bloch parameter, or Floquet exponent, θ = 0, see (2.7)).The operator is defined in terms of the traveling wave profile ϕ ∈ X 2 , its fundamental period L and its speed, c.
Let us now define a mapping which plays the role of the operator S in the abstract Corollary 4.3.For each φ ∈ X 2 , set S : where u φ = Υ(φ) denotes the unique solution to the Cauchy problem (3.5) with Recall that u φ is given by the variation of constants formula (3.17).where v ψ (t) ∈ X 2 denotes the unique solution to the linear Cauchy problem (4.2) with initial datum v ψ (0) = ψ.
That is, ϕ ∈ X 2 is a fixed point of S, showing (a).Now, from Theorem 2.5 we know that the data-solution map φ → Υ(φ) = u φ is of class C 2 .Also, the translation operator is of class C 2 in H 2 per (C ∞ indeed).Hence, the composition is of class C 2 and we conclude that S is twice Fréchet differentiable in an open neighborhood, Ω = {φ ∈ X 2 : φ − ϕ 2 < η}, of ϕ.This proves (b).
Therefore, we obtain the Fréchet derivative by computing the (Gâteaux derivative) operator, for any arbitrary ψ ∈ X 2 .First observe that, by definition, S(ϕ+εψ Since Υ is of class C 2 around ϕ we make the expansion From formula (3.17) we know that Substituting (4.6) and recalling Υ(ϕ) = u ϕ we arrive at the expansions, Substitution into the previous integral formula yields where Upon differentiation, we notice that and therefore for all t ∈ [0, T ].From formula (4.7) we recognize that V ϕ,ψ (0) = ψ and that it is the solution to a linearized Cauchy problem (4.2) with c = 0. We claim that is the unique solution to the linearized Cauchy problem (4.2) with initial datum ψ.Indeed, first notice that Hence, from (4.7) and since T = ∂ 2 x is the infinitesimal generator of the semigroup V(t), we obtain = ψ and therefore it is a solution to (4.2).By uniqueness of the solution, we obtain (4.8) for all t ∈ [0, T ].
Finally, evaluating at t = T we have for any ψ ∈ X 2 .This shows (c) and the lemma is proved.
We are now able to prove the main instability result.
), as the initial condition for the linear Cauchy problem (4.2).By Lemma 4.4 there exists a unique solution Hence, U is a solution to the Cauchy problem (4.2) with U (0) = Ψ.By uniqueness of the solution we obtain U (t) = v Ψ (t) in X 2 for all t ≥ 0. Now, define µ := e λT .This yields This shows that µ ∈ σ(S (ϕ)) with |µ| > 1 because Re λ > 0. Thus, the mapping defined in (4.4) on an open neighborhood of ϕ satisfies the hypotheses of Corollary 4.3.Therefore, for Γ = O ϕ being a C 1 -curve of fixed points of S, we conclude that the periodic traveling wave ϕ is orbitally unstable in the space X 2 = H 2 per ([0, L]).The proof is complete.

Applications
In order to apply the orbital instability criterion to specific examples, let us write the following hypotheses on the nonlinear functions f and g, which were considered by the authors in [2] in their existence and spectral stability analysis.These hypotheses describe a particular class of viscous balance laws: case, the equilibrium state u = 1).They are also known as source functions of Fisher-KPP [17,27] or monostable type.
As it is established in [2], the unstable nature of the origin (g (0) > 0) is responsible of both the existence and spectral instability of small-amplitude periodic waves emerging from a local Hopf bifurcation, as well as the existence and spectral instability of large-period waves which emerge from a global homoclinic bifurcation near a traveling pulse based on a saddle.Even if you change the diffusion mechanism, the unstable equilibrium of the reaction produce similar results (see, for example, the recent paper [1], where hyperbolic systems with logistic source are considered).It is to be observed that these periodic waves do not exhibit intrinsic symmetries, inasmuch as the existence analysis does not rely on the standard construction techniques but on bifurcation analyses.The existence proof (which is based on local and global bifurcations) also provides the tools to analyze their spectrum.For instance, it can be shown that, for both families of waves, the Floquet spectrum intersects the unstable complex half plane and, hence, they are spectrally unstable (for details see [2]).
Let us apply the criterion established in Theorem 2.6 to both families, yielding their orbital instability in Sobolev periodic spaces with the same period as the fundamental period of the underlying wave.We first examine the case of smallamplitude waves.
5.1.Orbital instability of small-amplitude periodic waves.Under assumptions (A 1 ) -(A 4 ), the profile equation (2.1) defines a first order ODE system in the phase plane for which the origin is a center for a critical value of the speed, c 0 , and where a local Hopf bifurcation occurs when the speed c crosses c 0 .Then small-amplitude periodic orbits, with period of order O(1), emerge.This behavior can be stated as follows.
Theorem 5.3 (existence of small amplitude periodic waves [2]).Suppose that conditions (A 1 ) -(A 4 ) hold.Then there exist a critical speed given by c 0 := f (0) and some 0 > 0 sufficiently small such that, for each 0 < < 0 there exists a unique (up to translations) periodic traveling wave solution to the viscous balance law (1.1) of the form u(x, t) = ϕ (x−c( )t), with speed c( ) = c 0 + if a 0 > 0, or c( ) = c 0 − if a 0 < 0, and with fundamental period, (5.9) The profile function ϕ = ϕ (•) is of class C 3 (R), satisfies ϕ (x + L ) = ϕ (x) for all x ∈ R and is of small amplitude.More precisely, for all x ∈ R and some uniform C > 0.
Remark 5.4.The proof of this existence result is based on a (local) Hopf bifurcation analysis around the critical value c 0 = f (0) of the wave speed.The bifurcation can be either sub-or supercritical, depending on the sign of a 0 in (5.2).
It is to be noted that formulae (5.9) and (5.10) imply that, for a fixed small , the fundamental period of the wave is of order O(1) and the amplitude of the waves is of order O( √ ), respectively.Thus, one expects that when → 0 + the small-amplitude waves tend to the origin and the linearized operator (formally) becomes a constant coefficient linearized operator around the zero solution, whose spectrum is determined by a dispersion relation that invades the unstable half plane thanks to the sign of g (0).This observation is the basis of the analysis in [2], which proves that unstable point eigenvalues of the constant coefficient operator split into neighboring curves of Floquet spectra of the underlying small amplitude waves.
Indeed, the Bloch family of linearized operators around the wave, where , can be transformed into a family of operators, L θ , defined on the periodic space L 2 per ([0, π]), for which the period no longer depends on .
For that purpose, the authors in [2] make the change of variables, y := πx/L and w(y) := u(L y/π), and apply (5.9) and c( ) = c 0 + O( ), in order to recast the spectral problem for the operators in (5.11) as L θ w = λw, where as → 0 + (for details, see [2]).It can be shown that, for every θ, L 1 θ is L 0 θ -bounded (see Lemma 4.6 in [2]).Therefore, upon application of standard perturbation theory for linear operators (cf.Kato [26]), it is shown that both spectra, σ( L θ ) and σ( L 0 θ ), are located nearby in the complex plane for > 0 small enough.
Remark 5.7.It is to be observed that, in the case of small amplitude waves, the instability is due to a structural assumption on the model equations: the instability of the origin as an equilibrium point of the reaction generates an unstable eigenvalue of an associated constant coefficient operator, from which the linearization of a small-amplitude wave represents a perturbation.5.2.Orbital instability of large-period waves.The analysis of [2] also reveals the existence of a different family of periodic waves.Under further assumptions (A 5 ) and (A 6 ), one guarantees that, for another critical value of the speed, the point (1, 0) in the phase plane is the (saddle) base of a homoclinic orbit, representing a traveling pulse solution to (1.1).Then, from a global bifurcation argument (see, e.g., [33]) one deduces the existence of large period waves in a vicinity of the homoclinic orbit when the speed tends to the critical value (the speed of the traveling pulse) or, equivalently, when their period goes to infinity.This is the content of the following Theorem 5.8 (existence of large period waves [2]).Under assumptions (A 1 ) -(A 3 ), (A 5 ) and (A 6 ), there is a critical speed given by such that there exists a traveling pulse solution (homoclinic orbit) to equation (1.1) of the form u(x, t) = ϕ 0 (x − c 1 t), traveling with speed c 1 and satisfying for all x ∈ R and some κ > 0. In addition, one can find 1 > 0 sufficiently small such that, for each 0 < < 1 there exists a unique periodic traveling wave solution to the viscous balance law (1.1) of the form u(x, t) = ϕ (x − c( )t), traveling with speed c( (5.16) as → 0 + .Moreover, these periodic orbits converge to the homoclinic or traveling pulse solution as → 0 + and satisfy the bounds (after a suitable reparametrization of x), for some uniform C > 0, the same κ > 0 and for all 0 < < 1 .
Remark 5.9.The proof of this existence result is based on two components.First, it establishes the existence of a traveling pulse for equation (1.1), traveling with speed c = c 1 given in (5.13).This is a consequence of Melnikov's integral method.Second, upon application of Andronov-Leontovich's theorem in the plane it is shown that there exists a family of periodic waves emerging from the homoclinic orbit; the family is parametrized by = |c 1 − c( )|, for which each wave travels with speed c = c( ) and converges to the traveling pulse as → 0 + .The fundamental period of the family of periodic waves, L , converges to ∞ as → 0 + at order O(| log |).As an illustration, Figure 2 shows the emergence of large period waves for the logistic Buckley-Leverett equation (5.7).For example, it can be proved that the value of the speed of the homoclinic orbit defined in (5.13), from which the periodic loops with large period bifurcate, is c 1 ≈ 0.589097 (see [2]).Since c 1 > f (1) = 0, Theorem 5.8 then implies that the family of periodic waves with large period emerge for speed values in a neighborhood above the value c 1 , that is, for c ∈ (0.5891, 0.5891 + ) with > 0 small.Figure 2(a) shows a numerical approximation (in the phase plane) of the homoclinic loop to the ODE (2.1) with speed c 1 (dashed line in blue) and of a large-period wave from the family with speed c ≈ c 1 + 0.025 (continuous line in red).Figure 2(b) shows numerical approximations of the graph (in red) of the large period wave ϕ as a function of x, together with the traveling pulse (dashed, blue line).
The pioneering work by Gardner [18] characterized the spectrum of the linearized operator around a periodic wave of the approximating family and related it to that of the operator L0 .Gardner proved the convergence of both spectra in the infinite period limit and, under very general conditions, that loops of continuous periodic spectra bifurcate from isolated point spectra of the limiting homoclinic wave.Hence, the typical spectral instability of the traveling pulse determines the spectral instability of the periodic waves.Thanks to the convergence estimates (5.17), the authors in [2] verified the hypotheses of a recent refinement of Gardner's result due to Yang and Zumbrun [38] in order to conclude the spectral instability of the family (see Corollary 4.1 and Proposition 4.2 in [38], as well as Theorems 5.2 and 1.5 in [2]).
In order to apply our orbital instability criterion, however, we need to verify the spectral instability property for the particular Bloch operator with θ = 0.For that purpose, we state the following result which is, in fact, a Corollary of the proof of Theorem 1.5 in [2]. .

1
for later use (see the proof of Lemma 3.8 below) we have incorporated |g (0)| into the definition of this upper bound Ls(•, •).
with a constant C s,T > 0 depending only on s and T .The lemma is proved.It remains to verify that the unique solution from Lemma 3.5 is, in fact, a strong solution to the Cauchy problem (3.5).Lemma 3.6.Under the assumptions of Lemma 3.5, the unique mild solution u ∈ C([0, T ]; X s ) to (3.7) satisfies u ∈ C 1 ([0, T ]; H s−2 per ([0, L])) and, therefore, it is a strong solution to the Cauchy problem (3.5).

3 (Figure 1 .
Figure 1.Emergence of small-amplitude waves for the Burgers-Fisher equation (5.6).Panel (a) shows the phase portrait (in the (ϕ, ϕ ) plane) of the ODE (2.1) for the speed value c = 0.005.Numerical solutions of (2.1) with nearby initial points are shown in light blue color.The orbit in red is a numerical approximation of the unique small amplitude periodic wave for this speed value.Panel (b) shows the graph (in red) of the approximated periodic wave ϕ as a function of x (color online).

Figure 2 .
Figure 2. Large period waves for the logistic Buckley-Leverett equation (5.7).Panel (a) shows numerical approximations in the phase plane of both the homoclinic loop (traveling pulse) for equation (5.7) with speed value c1 ≈ 0.5891 (in dashed blue line) and the periodic wave nearby with speed value c1 + , ≈ 0.025 (solid, red line).Panel (b) shows numerical approximations of the graph (solid, red line) of the large period wave ϕ as a function of x, together with the traveling pulse (dashed, blue line).The period of the wave is of order O(| log |) ≈ O(3.69).(Color online.)

Corollary 5 . 11 .,
Consider the eigenvalue problem for the Bloch operator (5.11) linearized around the family of waves of Theorem 5.8.Let C ⊂ C be a positively oriented simple circle of fixed radius with C ⊂ {λ ∈ C : Re λ > 0} containing λ0 (which is the simple, real and unstable isolated eigenvalue of L0 ) in its interior, and containing no other eigenvalue of L0 in the closure of C. Then for sufficiently small 0 < 1 and for each −π < θ ≤ π, the Bloch wave spectral problem L c( ) θ w = λw has exactly one point eigenvalue λ = λ( ) in the interior of C. Proof.Let us define the matrix coefficients A 0 (x, λ) for x ∈ R and λ ∈ C.These coefficients are clearly analytic in λ and of class C 1 (R; C 2×2 ) as functions of x ∈ R.Moreover, they have asymptotic limits given by A 0 ∞ (λ) := lim x→±∞ A 0 (x, λ) g (1) −c 1 + f (1)