1: \documentclass[12pt]{article}
2: %\usepackage{amssymb}
3: \usepackage{amssymb,amsthm,amsmath}
4: %\usepackage{float}
5: \usepackage{graphicx}
6: \usepackage{epstopdf}
7:
8: \addtolength{\topmargin}{-10mm}
9: \addtolength{\textheight}{20mm}
10: \renewcommand{\thesubsection}{\arabic{subsection}}
11: \raggedbottom
12:
13: \DeclareGraphicsRule{.tif}{png}{.png}{`convert #1 `dirname #1`/`basename #1 .tif`.png}
14:
15: %
16: % Macro for adding notes in the margins
17: \newcommand{\marginnote}[1] {\marginpar{\small{#1}}}
18: \newcommand{\marginmark}{\marginpar{ | {\bf [ ! ]}}}
19:
20: \newcommand{\Eq}[1]{(\ref{#1})}
21: \newcommand{\Th}[1]{Th.~\ref{#1}}
22: \newcommand{\Lem}[1]{Lem.~\ref{#1}}
23: \newcommand{\Con}[1]{Conj.~\ref{#1}}
24: \newcommand{\Def}[1]{Def.~\ref{#1}}
25: \newcommand{\Sec}[1]{\S \ref{#1}}
26: \newcommand{\Fig}[1]{Fig.~\ref{#1}}
27: \newcommand{\Tbl}[1]{Table~\ref{#1}}
28: \newcommand{\App}[1]{Appendix~\ref{#1}}
29: \newcommand{\Alg}[1]{Algorithm~\ref{#1}}
30:
31: % Figure Inclusion Macro
32: % <filename, caption text, label, size>
33: \newcommand{\InsertFig}[4]
34: {\begin{figure}[ht]
35: \centerline{
36: % \includegraphics[width=#4]{./figures/#1}
37: \includegraphics[width=#4]{./#1}
38: }
39: \caption{{\footnotesize #2}
40: \label{#3}}
41: \end{figure}}
42:
43: % Figure Inclusion Macro for two panels
44: % <filename1, filename2, caption text, label, size>
45: \newcommand{\InsertFigTwo}[5] {
46: \begin{figure}[ht]
47: \centerline{
48: % \includegraphics[width=#5]{./figures/#1}
49: \includegraphics[width=#5]{./#1}
50: \hskip 0.25in
51: % \includegraphics[width=#5]{./figures/#2}
52: \includegraphics[width=#5]{./#2}
53: }
54: \caption{{\footnotesize #3}
55: \label{#4}}
56: \end{figure}}
57:
58: % Font macros
59: \newcommand{\R}{{\mathbb{ R}}}
60: \newcommand{\C}{{\mathbb{ C}}}
61: \newcommand{\T}{{\mathbb{ T}}}
62: \newcommand{\Z}{{\mathbb{ Z}}}
63: \newcommand{\N}{{\mathbb{ N}}}
64: \newcommand{\Q}{{\mathbb{ Q}}}
65: \newcommand{\bS}{{\mathbb{ S}}}
66: \newcommand{\cH}{{\cal H}}
67: \newcommand{\cO}{{\cal O}}
68:
69: \newcommand{\eps}{\varepsilon}
70:
71: %theorem environments
72: \newtheorem{thm}{Theorem}
73: \newtheorem{prop}[thm]{Proposition}
74: \newtheorem{cor}[thm]{Corollary}
75: \newtheorem{lem}[thm]{Lemma}
76:
77: %function-like comands
78: \newcommand{\sgn}{\mathop{\rm sgn}}
79:
80: \title{Andronov-Hopf Bifurcations in Planar, Piecewise-Smooth,
81: Continuous Flows}
82: \author{
83: D.J.W.~Simpson and J.D.~Meiss\thanks
84: {
85: We acknowledge support from the National Science Foundation
86: through grant DMS-0202032.}\\
87: Department of Applied Mathematics\\
88: University of Colorado\\
89: Boulder, CO 80309-0526}
90:
91: \date{\today}
92: \begin{document}
93: \maketitle
94:
95: \begin{abstract}
96: \noindent
97: An equilibrium of a planar, piecewise-$C^1$, continuous system of differential equations that crosses a curve of discontinuity of the Jacobian of its vector field can undergo a number of discontinuous or border-crossing bifurcations. Here we prove that if the eigenvalues of the Jacobian limit to $\lambda_L \pm {\rm i} \omega_L$ on one side of the discontinuity and $-\lambda_R \pm {\rm i} \omega_R$ on the other, with $\lambda_L, \lambda_R >0$, and the quantity
98: $
99: \Lambda = \lambda_L / \omega_L -\lambda_R / \omega_R
100: $
101: is nonzero, then a periodic orbit is created or destroyed as the
102: equilibrium crosses the discontinuity. This bifurcation is analogous
103: to the classical Andronov-Hopf bifurcation, and is supercritical if $\Lambda < 0$ and subcritical if $\Lambda >0$.
104:
105: PACS: 02.30.Oz; 05.45.-a
106: \vspace*{1ex}
107: \noindent
108: % Keywords:
109: \end{abstract}
110:
111: \section{Introduction} \label{sec:Introduction}
112:
113: Many dynamical systems can be modeled by a system of differential equations ${\dot z} = F(z)$ with vector field $F:M \rightarrow \R^n$ on an $n$-dimensional manifold $M$. Such a system is {\em piecewise-smooth continuous} (PWSC) if $F$ is everywhere continuous and is smooth except on the boundaries of countably many regions where it has a discontinuous Jacobian, $A = DF$. These boundaries are called the {\em switching manifolds}.
114:
115: Piecewise-smooth dynamical systems are encountered in a wide variety of fields. Examples include vibro-impacting systems and systems with friction \cite{Br99, WiKr00}, switching circuits in power electronics \cite{BaVe01}, relay control systems \cite{ZhMo03} and physiological models \cite{KeSn98}.
116:
117: %Russian for sewing. It seems to transliterate as \v{s}vejnye,
118: %but Feigin et al use shivanije in the 99 paper
119:
120: Many bifurcations caused by discontinuities have been previously studied. Feigin
121: first studied period-doubling bifurcations in piecewise continuous systems and gave them the name ``$C$-bifurcations" for the Russian word {\em \v{s}vejnye} for ``sewing," and this term is often used more generally for any bifurcations that result from a discontinuity \cite{BeFe99, BeGa02, LeNi04, Lei06}. The bifurcations caused by the collision of a fixed point of a mapping with a discontinuity were studied by \cite{NuYo92} and given the name ``border-collision" bifurcations. Other examples of $C$-bifurcations include discontinuous saddle-node bifurcations (see \Sec{sec:db}), {\em grazing bifurcations}, where a periodic orbit touches a switching manifold, and {\em sliding bifurcations}, where a trajectory moves for some time along the switching manifold.
122:
123: In this paper we study the bifurcation analogous to the Andronov-Hopf bifurcation that arises when an equilibrium encounters a switching manifold. Recall that in the classical Hopf bifurcation, a periodic orbit is generically created when an equilibrium has a pair of complex eigenvalues cross the imaginary axis \cite{Ku04,MaMc76}.
124: We will obtain a similar result for the case that an equilibrium of a planar, piecewise-$C^1$ continuous system crosses a switching manifold in such a way that its eigenvalues ``jump" across the imaginary axis. This theorem requires several nondegeneracy conditions; in particular, the criticality of the bifurcation is determined by the linearization of the critical equilibrium. This is to be contrasted with the classical smooth theorem where the distinction between supercritical and subcritical bifurcations depends upon cubic terms. Our result extends the result given in \cite{FrPo97} that applies to piecewise-linear systems.
125:
126: A related theorem was proved in \cite{ZoKu06} for the case of a piecewise-$C^2$ system (not necessarily continuous) for the case that the equilibrium is assumed to be fixed on the switching manifold, but its left and right eigenvalues change with a parameter.
127:
128: \section{Discontinuous Bifurcations}\label{sec:db}
129:
130: Piecewise-smooth, continuous odes may contain bifurcations that do not exist in
131: smooth systems. For instance, if an equilibrium crosses a switching
132: manifold as a system parameter is continuously varied, we expect the eigenvalues to change discontinuously because of the discontinuity in the Jacobian. In this case the equilibrium may disappear or its stability may change, this is a {\em discontinuous} or {\em border-collision bifurcation} \cite{Lei06}.
133:
134: Consider a PWSC system that depends upon a parameter $\mu$ and suppose that $z^*(\mu)$ is an equilibrium that lies on a switching manifold at $\mu =0$. Furthermore, suppose that the switching manifold is codimension-one and is smooth at the point $z^*(0)$. Then, without loss of generality, we can choose coordinates so that $z^*(0) = 0$ and the unit vector $\hat{e}_1$ is the normal vector to the switching manifold. To reflect these choices, let $z = (x,y)$, with $x$ representing the first component, and $y$ the remaining $n-1$ components.
135:
136: As with smooth systems, knowledge of local behavior is gained by computing the Jacobian, $A(z) = DF(z)$, of the equilibrium near the bifurcation. Though the Jacobian is not defined at $z^*(0) = (0,0)$, the limits $A_L = \lim_{x \to 0_-} A(x,0)$ and $A_R = \lim_{x \to 0_+} A(x,0)$ do exist since $F$ is piecewise smooth. In this case, continuity of the system implies that all of the columns of $A_L$ and $A_R$ must be equal except for the first. The system is PWSC if the first columns do indeed differ.
137:
138: Feigin gave one classification of border-collision bifurcations according to the spectra of $A_{L,R}$ \cite{BeGa02}. In particular, let $s_{L,R}$ be the number of negative, real eigenvalues of $A_{L,R}$, respectively. It is not hard to see that if $s_L + s_R$ is even the equilibrium generically persists and crosses the switching manifold, while if $s_L + s_R$ is odd the equilibrium does not cross the boundary but is destroyed in an analogue of the saddle-node bifurcation. Similar results are valid for maps where a simple criterion for a discontinuous period-doubling bifurcation can also be given \cite{BeFe99}.
139:
140: Even when the stability of an equilibrium does not change upon collision with a switching manifold, its basin of attraction can undergo a dramatic change. In the piecewise linear case, orbits of a nominally stable equilibrium can be unbounded; this has been called a ``dangerous border-collision bifurcation" \cite{HaAb04}.
141:
142: This paper is concerned with the planar case when $A_L$ and $A_R$
143: correspond to focus-type equilibria of opposing stability.
144: The discontinuous bifurcation arising in this situation displays
145: similar properties to an Andronov-Hopf bifurcation in a smooth system.
146:
147: As an example, consider the piecewise-linear continuous system:
148: \begin{equation}\begin{split}\label{eq:example}
149: \dot{x} &= -x - |x| + y \;,\\
150: \dot{y} &= -3x + y - \mu \;.
151: \end{split}\end{equation}
152: For a given value of $\mu$, the system has a unique equilibrium,
153: namely a stable focus at $(-\mu,~-2\mu)$ when $\mu<0$
154: (with eigenvalues, $-\frac{1}{2} \pm \frac{\sqrt{3}}{2} i$)
155: and an unstable focus at $(-\frac{\mu}{3},~0)$ when $\mu>0$
156: (with eigenvalues, $\frac{1}{2} \pm \frac{\sqrt{11}}{2} i$).
157: The $y$-axis is a switching manifold and the equilibrium crosses this manifold at the origin when $\mu=0$ and changes stability.
158: Fig.~\ref{fig:example} shows phase portraits of \Eq{eq:example}
159: for negative and positive values of $\mu$.
160: A stable periodic orbit exists for all positive values
161: of $\mu$ and grows in size with $\mu$.
162: This situation is analogous to a supercritical Andronov-Hopf bifurcation
163: in a smooth system.
164:
165: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
166: \InsertFigTwo{pp1a}{pp1b}{Phase portraits of \Eq{eq:example}.
167: (a) $\mu=-0.01$. (b) $\mu=0.01$.}{fig:example}{6cm}
168: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
169:
170:
171: \section{Normal Form}
172:
173: More generally, consider a two-dimensional, piecewise-$C^k$, continuous system
174: of ordinary differential equations in $z = (x,y) \in \R^2$, with $k \ge 1$.
175: Assume that there is an equilibrium, $z^*(\mu)$, that crosses a switching manifold as a parameter $\mu$ is varied. If we assume this crossing occurs at a
176: differentiable point on a switching manifold, and that this manifold remains locally differentiable under small variations of $\mu$, we may further assume that the switching manifold coincides with, say, the $y$-axis and the crossing occurs at the origin when $\mu$ is, say, zero. Such a system can be written as:
177: \begin{equation}\label{eq:general}
178: \dot z = \left\{ \begin{array}{ll}
179: F_L(x,y;\mu) \;, & x \le 0 \\
180: F_R(x,y;\mu) \;, & x \ge 0
181: \end{array} \right. \;,
182: \end{equation}
183: where $F_L$ and $F_R$ are $C^k$ vector fields with $k \ge 1$. Since the vector field is continuous,
184: $F_L(0,y;\mu) \equiv F_R(0,y;\mu)$. We also assume that $F_L(0,0;0) = F_R(0,0;0) = 0$ to ensure that $z^*(0) = 0$. Let $j \in \{L,R\}$ represent the index for the two pieces of \Eq{eq:general}, so that we can rewrite the system as $\dot{z} = F_j(z;\mu)$ where $j = L$ when $x \le 0$ and $j= R$ when $ x \ge 0$.
185:
186: Expansion of each part of \Eq{eq:general} about the origin yields
187: \begin{equation}\label{eq:taylor}
188: \begin{split}
189: \dot x = p(\mu)\mu + a_j(\mu)x + b(\mu)y + o(x,y) \;,\\
190: \dot y = q(\mu)\mu + c_j(\mu)x + d(\mu)y + o(x,y) \;,
191: \end{split}
192: \end{equation}
193: where $p,q,a_j,b,c_j$, and $d$ are real-valued $C^{k-1}$ functions of $\mu$, for $j \in \{L,R\}$, and the correction terms go to zero faster than the first power of $x$ or $y$. The factor $\mu$ in each of the constant terms makes explicit the fact that the constant terms are zero when $\mu = 0$. The Jacobian matrices of the left and right systems in \Eq{eq:taylor} at the origin are
194: \begin{equation}\label{eq:matrices}
195: A_j(\mu)= DF_j(0,0;\mu) =
196: \left[ \begin{matrix}
197: a_j(\mu) & b(\mu) \\
198: c_j(\mu) & d(\mu)
199: \end{matrix} \right] \;,
200: \quad j \in \{L,R\} \;.
201: \end{equation}
202: We suppose $A_L(0)$ and $A_R(0)$ have eigenvalues
203: \begin{equation}\label{eq:eigen}
204: \lambda_L \pm i\omega_L \;, \mbox{ and } -\lambda_R \pm i\omega_R \;,
205: \end{equation}
206: respectively, where
207: $\lambda_L,\lambda_R,\omega_L,\omega_R > 0$.
208: Notice this assumption implies that $c_j(0)$ and $b(0) \ne 0$ for
209: otherwise $A_j(0)$ would be triangular and have real
210: eigenvalues. Moreover note that $\det A_j(0) =\lambda_j^2 + \omega_j^2 > 0$. Finally, since continuity implies that $b(\mu)$ is the same for both matrices, the direction of
211: rotation for each subsystem must be the same.
212:
213: The equilibrium of \Eq{eq:taylor} that lies at the origin when $\mu = 0$ will
214: non-tangentially cross
215: the switching manifold $y = 0$ if the parameter
216: \begin{equation}\label{eq:gamma}
217: \Gamma \equiv p(0)d(0) - q(0)b(0) \ne 0 \;.
218: \end{equation}
219: In this case, by rescaling the parameter $\mu \mapsto \Gamma \mu$, we can effectively set
220: \begin{equation*}
221: \Gamma = 1 \;.
222: \end{equation*}
223:
224: Two other simple transformations can be done to simplify the coefficients
225: of \Eq{eq:taylor}. First, since $b(0) \neq 0$, we may use the transformation $y \mapsto b(0)y$, to set $b(0) = 1$. This implies that when $\mu$ is small, the rotation direction is clockwise.
226:
227: Second, we may perform a $\mu$-dependent shift of $y$ to set $p(\mu) \equiv 0$ for small $\mu$.\footnote{
228: This simplifies the proof of \Th{thm:dhb} in \Sec{sec:theorem}; in
229: particular allowing us to center the Poincar\'e map \Eq{eq:poincare}, at the
230: origin, instead of at some $\mu$-dependent point on the $y$-axis.
231: }
232: To see this, note that the implicit function theorem implies that
233: there is a neighborhood of the origin in $(y, \mu)$ such that there is a unique $C^k$ function $\tilde{y}(\mu)$ that satisfies $\dot{x}(0,\tilde{y}(\mu);\mu) \equiv 0$ with $\tilde{y}(0) = 0$. This follows because $\dot{x}(0,y;\mu)$ is $C^k$, $\dot{x}(0,0;0) = 0$ and $D_y \dot{x}(0,0;0) = b(0) = 1$. Thus the transformation $y \mapsto y - \tilde{y}(\mu)$, effectively sets $p(\mu) \equiv 0$ for all sufficiently small $\mu$. It is easy to see that the remaining coefficients $q,a_j,b,c_j$, and $d$ are still $C^{k-1}$ functions of $\mu$ (for small $\mu$) and are unchanged at $\mu = 0$.
234:
235: The system \Eq{eq:taylor} now becomes
236: \begin{equation}\label{eq:dhb}
237: \left[ \begin{array}{c} \dot{x} \\ \dot{y} \end{array} \right]
238: = \left[ \begin{array}{c} 0 \\ q(\mu) \end{array} \right] \mu
239: + A_j(\mu) \left[ \begin{array}{c} x \\ y \end{array} \right]
240: + o(x,y) \;,\\
241: \end{equation}
242: for small enough $\mu$. Here we have $b(0)=1$ and since $p(0) =0$ we have $\Gamma = -q(0) = 1$ so that $q(0) = -1$. Note that the eigenvalues of $A_L(0)$ and $A_R(0)$ are still given by \Eq{eq:eigen}.
243:
244: Let $x_L^*(\mu)$ be the $x$-component of the equilibrium when it exists in the left half-plane, and $x_R^*(\mu)$ in the right half-plane. It is easy to see that
245: \begin{equation}\label{eq:equil}
246: x_j^*(\mu) = -\frac{\mu}{\lambda_j^2+\omega_j^2} +
247: o(\mu) \quad j \in \{L,R\}\\
248: \end{equation}
249: Thus when $\mu$ is small and positive [negative] the
250: equilibrium is located in the left [right] half-plane
251: and is a repelling [attracting] focus.
252:
253: %%%%%%%%%%%%%%%%%%%%%%%%
254: \section{Andronov-Hopf-like Bifurcations}\label{sec:theorem}
255:
256: We will show that, as with an Andronov-Hopf bifurcation in a smooth system,
257: a periodic orbit of \Eq{eq:dhb} is created at $\mu = 0$ and grows in
258: amplitude as $\mu$ is either increased or decreased, given a single nondegeneracy condition.
259: Recall that the nondegeneracy condition for the smooth case is a cubic coefficient in the normal form \cite{Ku04, Wi03}. The sign of this coefficient also governs
260: the stability of the limit cycle, i.e., the criticality of the Hopf bifurcation.
261: For the discontinuous analogue that we are studying, the nondegeneracy condition depends only upon the eigenvalues of the linearized system.
262:
263: %%%%%%%%%%%%%%%%%%%%%%%%%
264: \begin{thm}\label{thm:dhb}
265: Suppose that the vector field \Eq{eq:general} is continuous and piecewise $C^k$, $k \ge 1$, in $(x,y,\mu)$, and has an equilibrium that transversely crosses a one-dimensional switching manifold when $\mu = 0$ at a point $z^*$ where the manifold is $C^k$. Suppose further that as $\mu \to 0_+$ the eigenvalues of the equilibrium approach $\lambda_L \pm i \omega_L$ and as $\mu \to 0_-$ they approach $-\lambda_R \pm i\omega_R$, where $\lambda_L,\lambda_R,\omega_L,\omega_R > 0$.
266: Let
267: \begin{equation}\label{eq:Lambda}
268: \Lambda \equiv \frac{\lambda_L}{\omega_L} - \frac{\lambda_R}{\omega_R} \;,
269: \end{equation}
270: denote the criticality parameter.
271:
272: Then if $\Lambda < 0$ there exists an $\eps > 0$ such that
273: for all $0 < \mu < \eps $ there is an attracting periodic orbit whose radius is $O(\mu)$ away from $z^*$, and for $-\eps < \mu < 0$ there are no periodic orbits near $z^*$.
274:
275: If, on the other hand, $\Lambda > 0$, there exists an $\eps >0$ such that
276: for all $-\eps < \mu < 0 $ there is a repelling periodic orbit whose radius is $O(\mu)$ away from $z^*$, and for all $0 < \mu < \eps$ there are no periodic orbits near $z^*$.
277: \end{thm}
278: %%%%%%%%%%%%%%%%%%%%
279:
280: In order to prove \Th{thm:dhb} we will use the transformed system \Eq{eq:dhb} so that the switching manifold becomes (locally) the $y$-axis. The periodic orbit will be obtained as a fixed point of a Poincar\'e map, $P$, of the positive $y$-axis to itself.
281: This map is obtained as the composition of two maps $P_L$ and $P_R$ that
282: follow the flow in the left and right half-planes respectively.
283: We must prove that there is a neighborhood of the origin in which these two maps are well-defined. A fixed point of $P$ will be shown to exist using the implicit function theorem. This is essentially the same approach as that used in \cite{MaMc76} to prove the smooth Hopf bifurcation theorem and in \cite{FrPo97} to prove the same result for piecewise-linear systems.
284:
285: It suffices to consider only $\mu \ge 0$, for when $\mu < 0$ the transformation
286: $(x,\mu,t) \mapsto -(x,\mu,t)$ produces a new system displaying the same properties
287: as those listed for \Eq{eq:dhb}. The signs of $\mu$
288: and $\Lambda$ become reversed and the stability of any periodic
289: orbits is flipped because we are reversing the direction of time.
290:
291: \proof
292: %%%%%%%%%%%%
293: \subsubsection*{Step 1: Define $P_L$ and $P_R$}
294:
295: As previously argued, without loss of generality we may consider the $C^k$ system \Eq{eq:dhb}.
296: Consider the ``left" and ``right" systems (taken as though they were separately valid for both signs of $x$):
297: \begin{eqnarray}
298: \left[ \begin{array}{c} \dot{x} \\ \dot{y} \end{array} \right]
299: & = & \left[ \begin{array}{c} 0 \\ q(\mu) \end{array} \right] \mu
300: + A_L(\mu) \left[ \begin{array}{c} x \\ y \end{array} \right]
301: + o(x,y) \label{eq:dhbl} \\
302: \left[ \begin{array}{c} \dot{x} \\ \dot{y} \end{array} \right]
303: & = & \left[ \begin{array}{c} 0 \\ q(\mu) \end{array} \right] \mu
304: + A_R(\mu) \left[ \begin{array}{c} x \\ y \end{array} \right]
305: + o(x,y) \label{eq:dhbr}
306: \end{eqnarray}
307: Denote the flows of these equations by $\varphi_t^L(x,y;\mu)$ and $\varphi_t^R(x,y;\mu)$, respectively, for $(x,y,\mu)$ in some neighborhood of the origin.
308:
309: For sufficiently small $\delta_j$ and $\delta_{\mu_j} > 0$, we will define
310: the first return map
311: $$
312: P_R : [0,\delta_R] \times [0,\delta_{\mu_R}] \rightarrow \mathbb{R}^- \;,
313: $$
314: by $P_R(y_0;\mu) = y_1$ where $y_1$ is the first intersection of $\varphi_t^R(0,y_0;\mu)$
315: with the negative $y$-axis or origin for $t \ge 0$, and
316: $$
317: P_L : [-\delta_L,0] \times [0,\delta_{\mu_L}] \rightarrow \mathbb{R}^+
318: $$
319: by $P_L(y_1;\mu) = y_2$ where $y_2$ is the first intersection of
320: $\varphi_t^L(0,y_1;\mu)$ with the positive $y$-axis or origin for $t \ge 0$.
321:
322: %%%%%%%%%%%%%
323: \subsubsection*{Step 2: Show $P_R$ and $P_L$ are well-defined when $\mu=0$}
324:
325: When $\mu = 0$ the origin is a hyperbolic equilibrium of both \Eq{eq:dhbl} and \Eq{eq:dhbr}; consequently, $P_R(0,0) = P_L(0,0) = 0$. Since when $\mu = 0$ the matrices $A_j$ have eigenvalues \Eq{eq:eigen}, the trajectories of the linearized systems spiral about the origin, repeatedly intersecting the $y$-axis. The spiral behavior is clockwise because in both linear systems $\dot{x}(0,y;0) = y$. The same can be said of trajectories of \Eq{eq:dhbl} and \Eq{eq:dhbr} sufficiently close to the origin because, by Hartman's theorem, there exist neighborhoods about the origin within which \Eq{eq:dhbl} and \Eq{eq:dhbr} are $C^1$ conjugate to their linearizations \cite{Ha60}. Thus when $\mu = 0$, $P_R$ and $P_L$ are well-defined.
326:
327: %%%%%%%%%%%%%
328: \subsubsection*{Step 3: Show $P_R$ is well-defined for small $\mu > 0$}
329:
330: When $\mu > 0$, the origin is no longer an equilibrium
331: of \Eq{eq:dhbr}. The needed properties of $P_R$ can be obtained by considering the local behavior of the trajectory that passes through the origin. This can be deduced by
332: computing approximations to the flow of \Eq{eq:dhbr}
333: on the $y$-axis. Since
334: $$
335: \dot{x}(0,y;\mu) = b(\mu)y + o(y) \;,
336: $$
337: $b(0)=1$, and $b(\mu)$ is continuous, there is a neighborhood of the origin
338: such that the positive $y$-axis flows into the right half-plane and
339: the negative $y$-axis flows into the left half-plane.
340: Moreover, since
341: $$
342: \dot{y}(0,y;\mu) = q(\mu)\mu + d(\mu)y + o(y)
343: $$
344: and since $q(0)=-1$ and $q(\mu)$ is continuous, then for small $\mu>0$, $\dot{y}<0$ for
345: sufficiently small $y$. Thus the trajectory that passes through the origin, does so
346: tangent to the $y$-axis and without entering the right half-plane, see \Fig{fig:dhb_pp}.
347: Since the flow is continuous, there exists a non-empty interval $[0,\delta_R]$ on the positive $y$-axis that maps into the negative $y$-axis. Thus the map, $P_R$, is well-defined for some $\delta_{\mu_R} > 0$. Furthermore $P_R(0;\mu) = 0$ (since our definition of $P_R$
348: allows for an intersection at $t = 0$). Finally $P_R$ is $C^{k}$ since \Eq{eq:dhbr} is $C^k$.
349:
350: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
351: \InsertFig{dhb_pp}{Sketch of the phase portrait of \Eq{eq:dhb}
352: when $\mu > 0$}{fig:dhb_pp}{9cm}
353: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
354:
355: %%%%%%%%%%%%%
356: \subsubsection*{Step 4: Show $P_L$ is well-defined for small $\mu > 0$}
357:
358: Since
359: \begin{equation}
360: F_{L}(0,0;\mu) = (0, q(\mu)\mu)
361: \end{equation}
362: and $q(0) = -1$, the initial velocity of the
363: trajectory $\varphi_t^L(0,0;\mu)$ is directly downwards.
364: The equilibrium of \Eq{eq:dhbl} has the $x$-value given by
365: \Eq{eq:equil},
366: and therefore lies in the left half-plane when $\mu$ is small and positive.
367:
368: For small $\mu$, the equilibrium lies
369: close to the origin so that we may use the linearization of the flow at
370: the equilibrium to approximate $\varphi_t^L(0,0;\mu)$.
371: Recall that the eigenvalues of $A_L(0)$ are $\lambda_L \pm i\omega_L$,
372: where $\lambda_L,\omega_L > 0$, thus $(x_L^*,y_L^*)$
373: is a repelling focus at $\mu =0$, and by continuity remains
374: a repelling focus when $\mu$ is small enough. Consequently the flow
375: $\varphi_t^L(0,0;\mu)$ initially spirals clockwise around the equilibrium
376: solution within the left half-plane. Since the equilibrium
377: is repelling, before $\varphi_t^L(0,0;\mu)$ has completed $360^{\circ}$
378: about the equilibrium it will intersect the $y$-axis at some
379: point $P(0;\mu) = \hat{y}(\mu) > 0$, see \Fig{fig:dhb_pp}.
380: Since the flow is continuous, $P_L$ must map a non-empty interval $[-\delta_L,0]$ to points on the positive $y$-axis above $\hat{y}(\mu)$. Thus the map, $P_L$, is well-defined
381: for some $\delta_{\mu_L} > 0$. Also $P_L$ is $C^{k}$ since \Eq{eq:dhbl} is $C^k$.
382:
383: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
384: \InsertFig{web2}{A sketch of a cobweb diagram for the Poincar\'e map, $P=P_L \circ P_R$, for $\mu > 0$. $P$ has the stable fixed point $y_+$. Also shown are $P_R$ and $P_L^{-1}$.}{fig:web2}{9cm}
385: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
386:
387: %%%%%%%%%%%%%
388: \subsubsection*{Step 5: Define $P$ and compute its derivatives at $(0_+,0_+)$}
389:
390: The results above imply that there are $\delta, \delta_\mu > 0$ such that the Poincar\'e map, $P:[0,\delta] \times [0,\delta_\mu] \rightarrow \mathbb{R}^+$ defined by
391: \begin{equation}\label{eq:poincare}
392: P = P_L \circ P_R \;,
393: \end{equation}
394: is $C^k$. This map is sketched in \Fig{fig:web2}.
395:
396: Note that since $P_R(0;\mu) = 0$, its right-sided derivative with respect to
397: $\mu$ as $\mu \to 0_+$ is $D_\mu P_R(0;0_+) = 0$. Moreover, since
398: $P_L(0;\mu) = \hat{y}(\mu)$, and since $\hat{y}(0) = 0$ and and $\hat{y}(\mu) = O(\mu)$
399: and is positive for $\mu > 0$, we have
400: $$
401: \alpha \equiv D_\mu P_L(0;0_+) = \lim_{\mu \to 0^+} \frac{\hat{y}(\mu)}{\mu} > 0 \;.
402: $$
403: Thus the right-sided derivative of $P$ with respect to $\mu$ is also positive
404: $$
405: D_\mu P(0;0_+) = D_\mu P_L(0;0_+) = \alpha > 0 \;.
406: $$
407:
408: To compute the value of $D_y P(0_+;0)$, consider the linear system
409: $$
410: \dot{z} = \left[ \begin{matrix} a & 1 \\ b & d \end{matrix} \right] z \;,
411: $$
412: with eigenvalues $-\lambda \pm i \omega$.
413: For points on the $y$-axis, this system has the flow
414: $$
415: \varphi_t(0,y) = \frac{e^{-\lambda t}}{\omega}
416: \left[ \begin{matrix} \sin(\omega t) \\
417: -(a+\lambda)\sin(\omega t) + \omega \cos(\omega t) \end{matrix}
418: \right] y \;.
419: $$
420: Consequently it maps the positive $y$-axis onto the negative $y$-axis in time
421: $\tau = \frac{\pi}{\omega}$ so that $\varphi_\tau(0,y) = (0,-e^{-\lambda \tau} y)$.
422: Moreover, this system approximates the flow of \Eq{eq:dhbr} in the right half-plane
423: near the origin. Therefore as
424: $y_0 \to 0_+$, $P_R(y_0;0) \to -e^{\frac{-\lambda_R \pi}{\omega_R}} y_0$.
425: By a similar argument, as $y_1 \to 0_-$,
426: $P_L(y_1;0) \to -e^{\frac{\lambda_L \pi}{\omega_L}} y_1$. Therefore as $y_0 \to 0_+$,
427: $$
428: P(y_0;0) \to \left( -e^{\frac{\lambda_L \pi}{\omega_L}} \right)
429: \left( -e^{\frac{-\lambda_R \pi}{\omega_R}} \right) y_0
430: = e^{\Lambda \pi} y_0 \;.
431: $$
432: Thus
433: \begin{equation}\label{eq:DyP}
434: D_y P(0_+;0) = e^{\Lambda \pi} \;.
435: \end{equation}
436:
437: %%%%%%%%%%%%%%%
438: \subsubsection*{Step 6: Show the periodic orbit exists when $\Lambda <0$}
439:
440: The function $V:[0,\delta] \times [0,\delta_\mu] \to \mathbb{R}$ defined
441: by $V(y_0,\mu) = P(y_0;\mu) - y_0$ is $C^k$. Zeros of $V$ correspond to fixed points of the Poincar\'e map, $P$, and thus periodic orbits in the system \Eq{eq:dhb}. In order to apply the implicit function theorem to $V$ at the origin we must first smoothly extend its definition to a neighborhood of the origin. Let $\tilde{V} : [-\delta,\delta] \times [-\delta_\mu,\delta_\mu] \to \mathbb{R}$ be any $C^{k}$ function with $\tilde{V}(y_0,\mu) = V(y_0,\mu)$ whenever $y_0,\mu \ge 0$.
442:
443: Note that
444: \begin{enumerate}
445: \renewcommand{\labelenumi}{\roman{enumi})}
446: \item $ \tilde{V}(0,0) = V(0,0) = P(0;0) = 0 $,
447: \item $ D_y \tilde{V}(0,0) = D_y P(0_+;0) - 1 = e^{\Lambda \pi} - 1 $,
448: \item $ D_\mu \tilde{V}(0,0)= D_\mu P(0;0_+) = \alpha > 0$.
449: \end{enumerate}
450:
451: Therefore, if $\Lambda \ne 0$, then the implicit function theorem implies that there is a $C^k$ function $y_+$ satisfying $\tilde{V}(y_+(\mu),\mu) = 0$ for all $\mu$ in some neighborhood of $\mu = 0$ such that $y_+(0) = 0$ and
452: \begin{equation}\label{eq:yPlusPrime}
453: D_\mu y_+(0) = \frac{D_\mu\tilde{V}(0,0)}{ D_y\tilde{V}(0,0)}
454: = \frac{\alpha}{1 - e^{\Lambda \pi}} \;.
455: \end{equation}
456:
457: Consequently, when $\Lambda < 0$, we have $D_\mu y_+(0) > 0$.
458: Thus for small $\mu > 0$, $y_+(\mu) > 0$ so that $\tilde{V}(y_+(\mu),\mu) =V(y_+(\mu),\mu) = 0$
459: implying that $y_+(\mu)$ is a periodic point. In other words, the graph of $P(y;\mu)$
460: necessarily intersects the diagonal as sketched in \Fig{fig:web2}, and when $0 < \mu <\delta_\mu$, \Eq{eq:dhb} has a periodic orbit that intersects the positive $y$-axis at $y_+(\mu)$.
461:
462: The periodic orbit intersects the negative $y$-axis, at, say, $y_-(\mu) = P_R(y_+(\mu);\mu)$. The function $y_-(\mu)$ is also $C^k$ and vanishes at $\mu = 0$. Moreover,
463: \begin{align*}
464: D_\mu y_-(0_+) &= D_y P_R(0_+;0) D_\mu y_+(0_+) + D_\mu P_R(0;0_+)\\
465: %&= \frac{\alpha}{1-e^{\Lambda \pi}}
466: % \left( -e^{\frac{-\lambda_R \pi}{\omega_R}} \right) + 0\\
467: & = \frac{\alpha}{e^{\frac{\lambda_L \pi}{\omega_L}}
468: - e^{\frac{\lambda_R \pi}{\omega_R}}} < 0
469: \end{align*}
470:
471:
472: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
473: \InsertFig{dhb_bif}{A sketch of a bifurcation diagram when $\Lambda < 0$.
474: $y_R^*(\mu)$ and $y_L^*(\mu)$ correspond to the $y$-component of the
475: equilibrium. $y_+(\mu)$ and $y_-(\mu)$ correspond to the values of the two
476: intersections of the periodic orbit with the $y$-axis.
477: Solid [dashed] curves denote attracting [repelling]
478: solutions.}{fig:dhb_bif}{9cm}
479: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
480:
481: The resulting bifurcation diagram is sketched in \Fig{fig:dhb_bif}. The radius of the periodic orbits, by any sensible definition, grows linearly with respect to $\mu$, to first order.
482:
483: %%%%%%%%%%%%%%
484: \subsubsection*{Step 7: Show the periodic orbit is attracting}
485:
486: The stability of periodic orbits can be deduced by calculating
487: the value of $D_y P(y_+(\mu);\mu)$. When $\Lambda < 0$, \Eq{eq:DyP} implies that $0 < D_y P(0_+,0)< 1$. Since this function is $C^{k-1}$, we therefore have $0 < D_y P(y_+(\mu);\mu) < 1$, for all sufficiently small $\mu > 0$. Thus the periodic orbit is attracting, as we should expect since the equilibrium is repelling.
488:
489: \subsubsection*{Step 8: Show there are no periodic orbits for $\Lambda > 0$}
490:
491: If $\Lambda > 0$, \Eq{eq:yPlusPrime} implies that $y_+^\prime(0) < 0$, so that the locus of zeros, $y_+(\mu)$, fails to enter the positive quadrant ($y_0,\mu > 0$) near $(0,0)$.
492: Since, by the implicit function theorem, $y_+(\mu)$ is the unique solution that emerges from
493: the origin, it follows that $\tilde{V}(y_0,\mu) \ne 0$, for all sufficiently small
494: $y_0,\mu > 0$. Hence in this case, there are no periodic orbits.
495: \qed
496:
497: Theorem \ref{thm:dhb} implies that the criticality of the discontinuous Hopf bifurcation depends on $\sgn(\Lambda)$ in \Eq{eq:Lambda}. It is not difficult to understand why this makes sense geometrically. If \Eq{eq:dhb} has a Hopf cycle for small $\mu$, it must encircle the equilibrium and spend time in both the left and right half-planes. Suppose the equilibrium is repelling and lies in the left half-plane. Then, within the left half-plane, the Hopf cycle completes more than $180^\circ$ around the repelling equilibrium of \Eq{eq:dhbl}. However, within the right half-plane it completes less than $180^\circ$ around the inactive, attracting equilibrium of the right vector field \Eq{eq:dhbr}. In order that the orbit be periodic it must, in some sense, spiral outward exactly as much as it spirals inwards. Consequently, the attracting nature of the attracting equilibrium must be stronger than the repelling nature of the repelling equilibrium. Since the time to move $180^\circ$ is $\pi / \omega_j$, this requirement is equivalent to $\lambda_R /\omega_R > \lambda_L / \omega_L$, hence $\Lambda < 0$, in agreement with the theorem.
498:
499: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
500: \InsertFig{dhb_orb2}{A trajectory approaching a Hopf cycle for \Eq{eq:example} when $\mu > 0$. The upper equilibrium (blue) is the unstable focus of the left flow and the lower equilibrium (green) is the inactive stable focus of the right flow. The angles that the Hopf cycle subtends within each half-plane about each spiral center are labeled $\beta_L$ and $\beta_R$.}{fig:dhb_orb}{13cm}
501: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
502:
503: In smooth systems, Hopf cycles grow as ellipses and the period
504: of an arbitrarily small Hopf cycle is easy to calculate \cite{Ku04, Wi03}.
505: In order to calculate the period for our situation, we must first understand
506: the shape of the Hopf cycle.
507: As the Hopf cycle shrinks to a point, it becomes better approximated by the
508: periodic orbit in the corresponding piecewise-linear system.
509: A periodic orbit in a piecewise-linear system (like \Eq{eq:example}),
510: shrinks to zero in a self-similar manner due to an inherent scaling symmetry.
511: Thus an arbitrarily small Hopf cycle generated by a
512: discontinuous Hopf bifurcation takes the shape of the periodic orbit in the
513: corresponding piecewise-linear system, hence the orbit
514: consists of two spiral segments, see \Fig{fig:dhb_orb}. Again, consider the case $\Lambda <0$ where the equilibrium is repelling and lies in the left half-plane. The Hopf cycle completes, say, $\beta_L > \pi$ radians around the repelling equilibrium and $\beta_R < \pi$ radians around the inactive, attracting equilibrium, see Fig.~\ref{fig:dhb_orb}.
515: As $\mu \to 0_+$ the ratio $\beta_L /\beta_R$ limits on a
516: finite value strictly greater than one.
517: However, even the knowledge of these angles does not give the period of the cycle since the time taken along each spiral segment is given by two different quantities, $ \gamma_L/ \omega_L$ and $\gamma_R /\omega_R$, respectively. Here we observe that
518: $0 < \gamma_R < \pi < \gamma_L < 2\pi$, but in general, $\beta_L \ne \gamma_L$ and $\beta_R \ne \gamma_R$. The period of the Hopf cycle is
519: \begin{equation}\label{eq:period}
520: T(\mu) = \left( \frac{\gamma_L}{\omega_L} +
521: \frac{\gamma_R}{\omega_R} \right) + O(\mu) \;.
522: \end{equation}
523:
524: As a nonlinear example, consider the piecewise continuous system:
525: \begin{equation}\begin{split}\label{eq:nonlinear}
526: \dot{x} &= -x - |x| + y \;,\\
527: \dot{y} &= -3x + y - \mu + 3y^2 \;,
528: \end{split}\end{equation}
529: which is identical to \Eq{eq:example} except for the addition of a single
530: nonlinear term. By theorem \ref{thm:dhb}, \Eq{eq:nonlinear} will display the
531: same local dynamical behavior about the origin for small $\mu$ as \Eq{eq:example}.
532: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
533: \InsertFig{nonlinearBif}{A bifurcation diagram for \Eq{eq:nonlinear}.
534: The dotted curve is the unstable focus, and the dashed curve a saddle.
535: The solid curve, existing for $\mu < 0$, denotes a stable equilibrium.
536: The solid curves for $\mu > 0$ denote the two locations at which the stable periodic orbit intersects the $y$-axis.}{fig:nonlinearBif}{9cm}
537: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
538: Fig.~\ref{fig:nonlinearBif} shows a bifurcation diagram of \Eq{eq:nonlinear}.
539: Two equilibria are born in a saddle-node bifurcation at $\mu = -\frac{1}{48} \approx -0.02083$, and exist for all larger values of $\mu$. The stable node becomes a stable focus at $\mu = 2-\frac{7}{6}\sqrt{3} \approx -0.02073$ and finally an unstable focus at $\mu = 0$ when its eigenvalues jump across the imaginary axis from $-\frac12 +
540: i\omega_L$ to $\frac12 + i\omega_R$, where
541: $\omega_L = \frac12\sqrt{3}$ and $\omega_R = \frac12\sqrt{11}$. As predicted by \Th{thm:dhb}, a stable periodic orbit is created at $\mu = 0$ exists for small $\mu > 0$. Moreover near the origin, the bifurcation diagram looks the same as that shown in
542: Fig.~\ref{fig:dhb_bif}. Phase portraits of \Eq{eq:nonlinear} for $\mu = \pm 0.01$ are shown in Fig.~\ref{fig:nonlinear}.
543:
544: The periodic orbit is destroyed in a collision with the saddle equilibrium in a homoclinic bifurcation at $\mu \approx 0.01127$.
545: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
546: \InsertFig{nonlinearPeriod}{Period of the Hopf cycle
547: of \Eq{eq:nonlinear} that is created at the origin when $\mu =0$.}{fig:nonlinearPeriod}{9cm}
548: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
549: The variation of the period with respect to $\mu$ is shown in Fig.~\ref{fig:nonlinearPeriod}. Note that the period at $\mu = 0$ is different from the nominal value, $T(0) \approx 5.522$, that it would have if $\gamma_L = \gamma_R = \pi$ in \Eq{eq:period}.
550:
551: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
552: \InsertFigTwo{nonlinear2}{nonlinear1}{Phase portraits of \Eq{eq:nonlinear} when
553: (a) $\mu=-0.01$ and (b) $\mu=0.01$.}{fig:nonlinear}{6cm}
554: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
555:
556: \clearpage
557:
558: Codimension-two bifurcations can arise if the genericity conditions $\Lambda \neq 0$ and $\Gamma \neq 0$ are not satisfied. As $\Lambda$ crosses zero the bifurcation changes from supercritical to subcritical, and at $\Gamma=0$ the equilibrium does not cross the switching manifold transversely. In both cases, higher order terms are needed for a local analysis. For the special case that the equilibrium is fixed on the switching manifold, $q(\mu) \equiv 0$, a periodic orbit is created if a parameter causes $\Lambda$ to cross zero \cite{ZoKu06}. A further condition required for \Th{thm:dhb} is that the equilibrium intersects the switching manifold at a point where it is smooth. The scenario where this is not true could perhaps be understand by transforming the system so that the switching manifold lies on the positive halves of the $x$ and $y$ axes; a special case where the equilibrium remains at a corner point was treated in \cite{ZoTa05}. For this case, the parameter $\Lambda$ is replaced by a sum of the ratios $\Re(\lambda_j) / \Im(\lambda_j)$ of the eigenvalues multiplied by the opening angle of each sector.
559:
560: \section{Conclusions and Open Problems}
561:
562: We have shown there exist Andronov-Hopf-like
563: bifurcations in piecewise-smooth continuous systems.
564: The three major differences between this bifurcation
565: and the classical Hopf bifurcation are:
566: \begin{enumerate}
567: \item An arbitrarily small Hopf cycle consists of two spiral segments
568: as opposed to being elliptical.
569: \item The amplitude of the Hopf cycle grows linearly with respect to
570: the system parameter instead of as the square root of the parameter value.
571: \item The criticality of the bifurcation (i.e., the stability of the Hopf cycle) is determined by linear terms---the parameter $\Lambda$ of \Eq{eq:Lambda}---instead of cubic terms.
572: \end{enumerate}
573:
574: It would be nice to extend our results to the case of an $n$-dimensional system with a smooth codimension-one switching manifold such that the spectra of the matrices $A_L$ and $A_R$ differ by one pair of eigenvalues. The difficulty here is devising a version of the center manifold reduction that is used in the proof of the smooth Hopf-bifurcation theorem \cite{MaMc76, Ku04}. The higher dimensional case is complicated by the fact that an equilibrium on a switching manifold can be unstable even when both Jacobian matrices have all of their eigenvalues in the left-half-plane; this was demonstrated for a three dimensional, piecewise linear example by \cite{CaFr06}.
575:
576: \bibliographystyle{alpha}
577: \begin{thebibliography}{DBFHH99}
578:
579: \bibitem[Bro99]{Br99}
580: B.~Brogliato.
581: \newblock {\em Nonsmooth Mechanics: Models, Dynamics, and Control}.
582: \newblock Communications and control engineering. Springer, London, 1999.
583:
584: \bibitem[BV01]{BaVe01}
585: S.~Banerjee and G.C. Verghese.
586: \newblock {\em Nonlinear Phenomena in Power Electronics: attractors,
587: bifurcations, chaos, and nonlinear control}.
588: \newblock {IEEE} Press, New York, 2001.
589:
590: \bibitem[CFPT06]{CaFr06}
591: V.~Carmona, E.~Freire, E.~Ponce, and F.~Torres.
592: \newblock The continuous matching of two stable linear systems can be unstable.
593: \newblock {\em Disc. Cont. Dyn. Sys.}, 16(3):689--703, 2006.
594:
595: \bibitem[DBFHH99]{BeFe99}
596: M.~Di~Bernardo, M.I. Feigin, S.J. Hogan, and M.E. Homer.
597: \newblock Local analysis of $c$-bifurcations in $n$-dimensional
598: piecewise-smooth dynamical systems.
599: \newblock {\em Chaos, Solitions and Fractals}, 10(11):1881--1908, 1999.
600:
601: \bibitem[DBGIV02]{BeGa02}
602: M.~Di~Bernardo, F.~Garofalo, L.~Iannelli, and F.~Vasca.
603: \newblock Bifurcations in piecewise-smooth feedback systems.
604: \newblock {\em Internat. J. Control}, 75(16-17):1243--1259, 2002.
605:
606: \bibitem[FPT97]{FrPo97}
607: E.~Freire, E.~Ponce, and F.~Torres.
608: \newblock {H}opf-like bifurcations in planar piecewise linear systems.
609: \newblock {\em Publications Mathematiques}, 41:131--148, 1997.
610:
611: \bibitem[HAN04]{HaAb04}
612: M.A. Hassouneh, E.H. Abed, and H.E. Nusse.
613: \newblock Robust dangerous border-collision bifurcations in piecewise smooth
614: systems.
615: \newblock {\em Phys. Rev. Lett.}, 92:070201, 2004.
616:
617: \bibitem[Har60]{Ha60}
618: P.~Hartman.
619: \newblock On local homeomorphism of {E}uclidean spaces.
620: \newblock {\em Bol. Soc. Mat. Mexicana}, 5:220--241, 1960.
621:
622: \bibitem[KS01]{KeSn98}
623: J.~Keener and J.~Sneyd.
624: \newblock {\em Mathematical Physiology}.
625: \newblock Spinger-Verlag, New York, 2001.
626:
627: \bibitem[Kuz04]{Ku04}
628: Yu.A. Kuznetsov.
629: \newblock {\em Elements of Bifurcation Theory}, volume 112 of {\em Applied
630: Mathematical Sciences}.
631: \newblock Springer-Verlag, New York, third edition, 2004.
632:
633: \bibitem[Lei06]{Lei06}
634: R.I. Leine.
635: \newblock Bifurcations of equilibria in non-smooth continuous systems.
636: \newblock {\em Phys. D}, 223:121--137, 2006.
637:
638: \bibitem[LN04]{LeNi04}
639: R.I. Leine and H.~Nijmeijer.
640: \newblock {\em Dynamics and Bifurcations of Non-smooth Mechanical systems},
641: volume~18 of {\em Lecture Notes in Applied and Computational Mathematics}.
642: \newblock Springer-Verlag, Berlin, 2004.
643:
644: \bibitem[MM76]{MaMc76}
645: J.E. Marsden and McCracken.
646: \newblock {\em The {H}opf Bifurcation and its Applications}.
647: \newblock Springer-Verlag, New York, 1976.
648:
649: \bibitem[NY92]{NuYo92}
650: H.E. Nusse and J.A. Yorke.
651: \newblock Border-collision bifurcations including ``period two to period three"
652: for piecewise smooth systems.
653: \newblock {\em Physica D}, 57:39--57, 1992.
654:
655: \bibitem[WDK00]{WiKr00}
656: M.~Wiercigroch and B.~De~Kraker.
657: \newblock {\em Applied nonlinear dynamics and chaos of mechanical systems with
658: discontinuities}.
659: \newblock World Sicentific Series on Nonlinear Science. World Scientific,
660: Singapore, 2000.
661:
662: \bibitem[Wig03]{Wi03}
663: S.~Wiggins.
664: \newblock {\em Introduction to Applied Nonlinear Dynamical Systems and Chaos},
665: volume~2 of {\em Texts in Applied Mathematics}.
666: \newblock Springer-Verlag, New York, 2003.
667:
668: \bibitem[ZKB06]{ZoKu06}
669: Y.~Zou, T.~K\"upper, and W.-J. Beyn.
670: \newblock Generalized {H}opf bifurcation for planar {F}ilippov systems
671: continuous at the origin.
672: \newblock {\em J. Nonlinear Sci.}, 16:159--177, 2006.
673:
674: \bibitem[ZM03]{ZhMo03}
675: Z.T. Zhusubaliyev and E.~Mosekilde.
676: \newblock {\em Bifurcations and Chaos in Piecewise-smooth Dynamical Systems}.
677: \newblock World Scientific Series on Nonlinear Science. World Scientific,
678: Singapore, 2003.
679:
680: \bibitem[ZT05]{ZoTa05}
681: Y.~Zou and K.~Tassilo.
682: \newblock Generalized {H}opf bifurcation emanated from a corner for piecewise
683: smooth planar systems.
684: \newblock {\em Non. Anal.}, 62(1):1--17, 2005.
685:
686: \end{thebibliography}
687:
688: \end{document}
689:
690: