ISSN:
1078-0947
eISSN:
1553-5231
All Issues
Discrete & Continuous Dynamical Systems
February 2012 , Volume 32 , Issue 2
Select all articles
Export/Reference:
2012, 32(2): 353-379
doi: 10.3934/dcds.2012.32.353
+[Abstract](2668)
+[PDF](501.6KB)
Abstract:
This paper is dedicated to the differential Galois theory in the complex analytic context for Lie-Vessiot systems. Those are the natural generalization of linear systems, and the more general class of differential equations adimitting superposition laws, as recently stated in [5]. A Lie-Vessiot system is automatically translated into a equation in a Lie group that we call automorphic system. Reciprocally an automorphic system induces a hierarchy of Lie-Vessiot systems. In this work we study the global analytic aspects of a classical method of reduction of differential equations, due to S. Lie. We propose an differential Galois theory for automorphic systems, and explore the relationship between integrability in terms of Galois theory and the Lie's reduction method. Finally we explore the algebra of Lie symmetries of a general automorphic system.
This paper is dedicated to the differential Galois theory in the complex analytic context for Lie-Vessiot systems. Those are the natural generalization of linear systems, and the more general class of differential equations adimitting superposition laws, as recently stated in [5]. A Lie-Vessiot system is automatically translated into a equation in a Lie group that we call automorphic system. Reciprocally an automorphic system induces a hierarchy of Lie-Vessiot systems. In this work we study the global analytic aspects of a classical method of reduction of differential equations, due to S. Lie. We propose an differential Galois theory for automorphic systems, and explore the relationship between integrability in terms of Galois theory and the Lie's reduction method. Finally we explore the algebra of Lie symmetries of a general automorphic system.
2012, 32(2): 381-409
doi: 10.3934/dcds.2012.32.381
+[Abstract](2609)
+[PDF](454.1KB)
Abstract:
We consider the mixed initial-boundary value problem for Ott-Sudan-Ostrovskiy equation on a half-line. We study traditionally important problems of the theory of nonlinear partial differential equations, such as global in time existence of solutions to the initial-boundary value problem and the asymptotic behavior of solutions for large time.
We consider the mixed initial-boundary value problem for Ott-Sudan-Ostrovskiy equation on a half-line. We study traditionally important problems of the theory of nonlinear partial differential equations, such as global in time existence of solutions to the initial-boundary value problem and the asymptotic behavior of solutions for large time.
2012, 32(2): 411-432
doi: 10.3934/dcds.2012.32.411
+[Abstract](2749)
+[PDF](570.7KB)
Abstract:
In this work we study the nonnegative solutions of the elliptic system \[ \Delta u=|x|^{a}v^{\delta},\qquad\Delta v=|x|^{b}u^{\mu}% \] in the superlinear case $\mu\delta>1,$ which blow up near the boundary of a domain of $\mathbb{R}^{N},$ or at one isolated point. In the radial case we give the precise behavior of the large solutions near the boundary in any dimension $N$. We also show the existence of infinitely many solutions blowing up at $0.$ Furthermore, we show that there exists a global positive solution in $\mathbb{R}^{N}\backslash\left\{ 0\right\} ,$ large at $0,$ and we describe its behavior. We apply the results to the sign changing solutions of the biharmonic equation \[ \Delta^{2}u=\left\vert x\right\vert ^{b}\left\vert u\right\vert ^{\mu}. \] Our results are based on a new dynamical approach of the radial system by means of a quadratic system of order 4, introduced in [4], combined with the nonradial upper estimates of [5].
In this work we study the nonnegative solutions of the elliptic system \[ \Delta u=|x|^{a}v^{\delta},\qquad\Delta v=|x|^{b}u^{\mu}% \] in the superlinear case $\mu\delta>1,$ which blow up near the boundary of a domain of $\mathbb{R}^{N},$ or at one isolated point. In the radial case we give the precise behavior of the large solutions near the boundary in any dimension $N$. We also show the existence of infinitely many solutions blowing up at $0.$ Furthermore, we show that there exists a global positive solution in $\mathbb{R}^{N}\backslash\left\{ 0\right\} ,$ large at $0,$ and we describe its behavior. We apply the results to the sign changing solutions of the biharmonic equation \[ \Delta^{2}u=\left\vert x\right\vert ^{b}\left\vert u\right\vert ^{\mu}. \] Our results are based on a new dynamical approach of the radial system by means of a quadratic system of order 4, introduced in [4], combined with the nonradial upper estimates of [5].
2012, 32(2): 433-466
doi: 10.3934/dcds.2012.32.433
+[Abstract](2363)
+[PDF](574.0KB)
Abstract:
Let $f:I=[0,1]\rightarrow I$ be a Borel measurable map and let $\mu$ be a probability measure on the Borel subsets of $I$. We consider three standard ways to cope with the idea of ``observable chaos'' for $f$ with respect to the measure $\mu$: $h_\mu(f)>0$ ---when $\mu$ is invariant---, $\mu(L^+(f))>0$ ---when $\mu$ is absolutely continuous with respect to the Lebesgue measure---, and $\mu(S^\mu(f))>0$. Here $h_\mu(f)$, $L^+(f)$ and $S^\mu(f)$ denote, respectively, the metric entropy of $f$, the set of points with positive Lyapunov exponent, and the set of sensitive points to initial conditions with respect to $\mu$.
It is well known that if $h_\mu(f)>0$ or $\mu(L^+(f))>0$, then $\mu(S^\mu(f))>0$, and that (when $\mu$ is invariant and absolutely continuous) $h_\mu(f)>0$ and $\mu(L^+(f))>0$ are equivalent properties. However, the available proofs in the literature require substantially stronger hypotheses than those strictly necessary. In this paper we revisit these notions and show that the above-mentioned results remain true in, essentially, the most general (reasonable) settings. In particular, we improve some previous results from [2], [6], and [23].
Let $f:I=[0,1]\rightarrow I$ be a Borel measurable map and let $\mu$ be a probability measure on the Borel subsets of $I$. We consider three standard ways to cope with the idea of ``observable chaos'' for $f$ with respect to the measure $\mu$: $h_\mu(f)>0$ ---when $\mu$ is invariant---, $\mu(L^+(f))>0$ ---when $\mu$ is absolutely continuous with respect to the Lebesgue measure---, and $\mu(S^\mu(f))>0$. Here $h_\mu(f)$, $L^+(f)$ and $S^\mu(f)$ denote, respectively, the metric entropy of $f$, the set of points with positive Lyapunov exponent, and the set of sensitive points to initial conditions with respect to $\mu$.
It is well known that if $h_\mu(f)>0$ or $\mu(L^+(f))>0$, then $\mu(S^\mu(f))>0$, and that (when $\mu$ is invariant and absolutely continuous) $h_\mu(f)>0$ and $\mu(L^+(f))>0$ are equivalent properties. However, the available proofs in the literature require substantially stronger hypotheses than those strictly necessary. In this paper we revisit these notions and show that the above-mentioned results remain true in, essentially, the most general (reasonable) settings. In particular, we improve some previous results from [2], [6], and [23].
2012, 32(2): 467-485
doi: 10.3934/dcds.2012.32.467
+[Abstract](2864)
+[PDF](433.3KB)
Abstract:
Recently, it has been shown that the unimodular Fourier multipliers $e^{it|\Delta |^{\frac{\alpha }{2}}}$ are bounded on all modulation spaces. In this paper, using the almost orthogonality of projections and some techniques on oscillating integrals, we obtain asymptotic estimates for the unimodular Fourier multipliers $e^{it|\Delta |^{\frac{\alpha }{2}}}$ on the modulation spaces. As applications, we give the grow-up rates of the solutions for the Cauchy problems for the free Schrödinger equation, the wave equation and the Airy equation with the initial data in a modulation space. We also obtain a quantitative form about the solution to the Cauchy problem of the nonlinear dispersive equations.
Recently, it has been shown that the unimodular Fourier multipliers $e^{it|\Delta |^{\frac{\alpha }{2}}}$ are bounded on all modulation spaces. In this paper, using the almost orthogonality of projections and some techniques on oscillating integrals, we obtain asymptotic estimates for the unimodular Fourier multipliers $e^{it|\Delta |^{\frac{\alpha }{2}}}$ on the modulation spaces. As applications, we give the grow-up rates of the solutions for the Cauchy problems for the free Schrödinger equation, the wave equation and the Airy equation with the initial data in a modulation space. We also obtain a quantitative form about the solution to the Cauchy problem of the nonlinear dispersive equations.
2012, 32(2): 487-497
doi: 10.3934/dcds.2012.32.487
+[Abstract](2104)
+[PDF](370.2KB)
Abstract:
This paper defines the pressure for asymptotically sub-additive potentials under a mistake function, including the measure-theoretical and the topological versions. Using the advanced techniques of ergodic theory and topological dynamics, we reveal a variational principle for the new defined topological pressure without any additional conditions on the potentials and the compact metric space.
This paper defines the pressure for asymptotically sub-additive potentials under a mistake function, including the measure-theoretical and the topological versions. Using the advanced techniques of ergodic theory and topological dynamics, we reveal a variational principle for the new defined topological pressure without any additional conditions on the potentials and the compact metric space.
2012, 32(2): 499-538
doi: 10.3934/dcds.2012.32.499
+[Abstract](2096)
+[PDF](684.9KB)
Abstract:
In this article, we develop a non linear geometric optics which presents the two main following features. It is valid in diffractive times and it extends the classical approaches [7, 17, 18, 24] to the case of fast variable coefficients. In this context, we can show that the energy is transported along the rays associated with a non usual long-time hamiltonian. Our analysis needs structural assumptions and initial data suitably polrarized to be implemented. All the required conditions are met concerning a current model [2, 3, 8, 9, 10, 11, 19, 21] arising in fluid mechanics, which was the original motivation of our work. As a by product, we get results complementary to the litterature concerning the propagation of the Rossby waves which play a part in the description of large oceanic currents, like Gulf stream or Kuroshio.
In this article, we develop a non linear geometric optics which presents the two main following features. It is valid in diffractive times and it extends the classical approaches [7, 17, 18, 24] to the case of fast variable coefficients. In this context, we can show that the energy is transported along the rays associated with a non usual long-time hamiltonian. Our analysis needs structural assumptions and initial data suitably polrarized to be implemented. All the required conditions are met concerning a current model [2, 3, 8, 9, 10, 11, 19, 21] arising in fluid mechanics, which was the original motivation of our work. As a by product, we get results complementary to the litterature concerning the propagation of the Rossby waves which play a part in the description of large oceanic currents, like Gulf stream or Kuroshio.
2012, 32(2): 539-563
doi: 10.3934/dcds.2012.32.539
+[Abstract](2811)
+[PDF](462.5KB)
Abstract:
We consider a simplified version of Ericksen-Leslie equation modeling the compressible hydrodynamic flow of nematic liquid crystals in dimension one. If the initial data $(\rho_0, u_0,n_0)\in C^{1,\alpha}(I)\times C^{2,\alpha}(I)\times C^{2,\alpha}(I, S^2)$ and $\rho_0\ge c_0>0$, then we obtain both existence and uniqueness of global classical solutions. For $0\le\rho_0\in H^1(I)$ and $(u_0, n_0)\in H^1(I)\times H^2(I,S^2)$, we obtain both existence and uniqueness of global strong solutions.
We consider a simplified version of Ericksen-Leslie equation modeling the compressible hydrodynamic flow of nematic liquid crystals in dimension one. If the initial data $(\rho_0, u_0,n_0)\in C^{1,\alpha}(I)\times C^{2,\alpha}(I)\times C^{2,\alpha}(I, S^2)$ and $\rho_0\ge c_0>0$, then we obtain both existence and uniqueness of global classical solutions. For $0\le\rho_0\in H^1(I)$ and $(u_0, n_0)\in H^1(I)\times H^2(I,S^2)$, we obtain both existence and uniqueness of global strong solutions.
2012, 32(2): 565-586
doi: 10.3934/dcds.2012.32.565
+[Abstract](1875)
+[PDF](434.7KB)
Abstract:
We describe the Lorenz links generated by renormalizable Lorenz maps with reducible kneading invariant $(K_f^-,K_f^+)=(X,Y)*(S,W)$, in terms of the links corresponding to each factor. This gives one new kind of operation that permits us to generate new knots and links from the ones corresponding to the factors of the $*$-product. Using this result we obtain explicit formulas for the genus and the braid index of this renormalizable Lorenz knots and links. Then we obtain explicit formulas for sequences of these invariants, associated to sequences of renormalizable Lorenz maps with kneading invariant $(X,Y)*(S,W)^{*n}$, concluding that both grow exponentially. This is specially relevant, since it is known that topological entropy is constant on the archipelagoes of renormalization.
We describe the Lorenz links generated by renormalizable Lorenz maps with reducible kneading invariant $(K_f^-,K_f^+)=(X,Y)*(S,W)$, in terms of the links corresponding to each factor. This gives one new kind of operation that permits us to generate new knots and links from the ones corresponding to the factors of the $*$-product. Using this result we obtain explicit formulas for the genus and the braid index of this renormalizable Lorenz knots and links. Then we obtain explicit formulas for sequences of these invariants, associated to sequences of renormalizable Lorenz maps with kneading invariant $(X,Y)*(S,W)^{*n}$, concluding that both grow exponentially. This is specially relevant, since it is known that topological entropy is constant on the archipelagoes of renormalization.
2012, 32(2): 587-604
doi: 10.3934/dcds.2012.32.587
+[Abstract](2408)
+[PDF](467.9KB)
Abstract:
Consider the celebrated Lyness recurrence $ x_{n+2}=(a+x_{n+1})/x_{n}$ with $a\in\mathbb{Q}$. First we prove that there exist initial conditions and values of $a$ for which it generates periodic sequences of rational numbers with prime periods $1,2,3,5,6,7,8,9,10$ or $12$ and that these are the only periods that rational sequences $\{x_n\}_n$ can have. It is known that if we restrict our attention to positive rational values of $a$ and positive rational initial conditions the only possible periods are $1,5$ and $9$. Moreover 1-periodic and 5-periodic sequences are easily obtained. We prove that for infinitely many positive values of $a,$ positive 9-period rational sequences occur. This last result is our main contribution and answers an open question left in previous works of Bastien & Rogalski and Zeeman. We also prove that the level sets of the invariant associated to the Lyness map is a two-parameter family of elliptic curves that is a universal family of the elliptic curves with a point of order $n, n\ge5,$ including $n$ infinity. This fact implies that the Lyness map is a universal normal form for most birational maps on elliptic curves.
Consider the celebrated Lyness recurrence $ x_{n+2}=(a+x_{n+1})/x_{n}$ with $a\in\mathbb{Q}$. First we prove that there exist initial conditions and values of $a$ for which it generates periodic sequences of rational numbers with prime periods $1,2,3,5,6,7,8,9,10$ or $12$ and that these are the only periods that rational sequences $\{x_n\}_n$ can have. It is known that if we restrict our attention to positive rational values of $a$ and positive rational initial conditions the only possible periods are $1,5$ and $9$. Moreover 1-periodic and 5-periodic sequences are easily obtained. We prove that for infinitely many positive values of $a,$ positive 9-period rational sequences occur. This last result is our main contribution and answers an open question left in previous works of Bastien & Rogalski and Zeeman. We also prove that the level sets of the invariant associated to the Lyness map is a two-parameter family of elliptic curves that is a universal family of the elliptic curves with a point of order $n, n\ge5,$ including $n$ infinity. This fact implies that the Lyness map is a universal normal form for most birational maps on elliptic curves.
2012, 32(2): 605-617
doi: 10.3934/dcds.2012.32.605
+[Abstract](2409)
+[PDF](364.6KB)
Abstract:
In this paper we construct strange attractors in a class of pinched skew product dynamical systems over homeomorphims on a compact metric space. We assume that maps between fibers satisfy Inada conditions and that the base space is a super-repeller (it is invariant and its vertical Lyapunov exponent is $+\infty$). In particular, we prove the existence of a measurable but non-continuous invariant graph, whose vertical Lyapunov exponent is negative. %We will refer to such an object as a strange attractor.
Since the dynamics on the strange attractor is the one given by the base homeomorphism, we will say that it is a strange chaotic attractor or a strange non-chaotic attractor depending on the fact that the dynamics on the base is chaotic or non-chaotic. The results complement the paper by G. Keller on rigorous proofs of existence of strange non-chaotic attractors.
In this paper we construct strange attractors in a class of pinched skew product dynamical systems over homeomorphims on a compact metric space. We assume that maps between fibers satisfy Inada conditions and that the base space is a super-repeller (it is invariant and its vertical Lyapunov exponent is $+\infty$). In particular, we prove the existence of a measurable but non-continuous invariant graph, whose vertical Lyapunov exponent is negative. %We will refer to such an object as a strange attractor.
Since the dynamics on the strange attractor is the one given by the base homeomorphism, we will say that it is a strange chaotic attractor or a strange non-chaotic attractor depending on the fact that the dynamics on the base is chaotic or non-chaotic. The results complement the paper by G. Keller on rigorous proofs of existence of strange non-chaotic attractors.
2012, 32(2): 619-641
doi: 10.3934/dcds.2012.32.619
+[Abstract](2662)
+[PDF](509.9KB)
Abstract:
In this article, we investigate the periodic-parabolic logistic equation on the entire space $\mathbb{R}^N\ (N\geq1)$: $$ \begin{equation} \left\{\begin{array}{ll} \partial_t u-\Delta u=a(x,t)u-b(x,t)u^p\ \ \ \ & {\rm in}\ \mathbb{R}^N\times(0,T),\\ u(x,0)=u(x,T) \ & {\rm in}\ \mathbb{R}^N, \end{array} \right. \end{equation} $$ where the constants $T>0$ and $p>1$, and the functions $a,\ b$ with $b>0$ are smooth in $\mathbb{R}^N\times\mathbb{R}$ and $T$-periodic in time. Under the assumptions that $a(x,t)/{|x|^\gamma}$ and $b(x,t)/{|x|^\tau}$ are bounded away from $0$ and infinity for all large $|x|$, where the constants $\gamma>-2$ and $\tau\in\mathbb{R}$, we study the existence and uniqueness of positive $T$-periodic solutions. In particular, we determine the asymptotic behavior of the unique positive $T$-periodic solution as $|x|\to\infty$, which turns out to depend on the sign of $\gamma$. Our investigation considerably generalizes the existing results.
In this article, we investigate the periodic-parabolic logistic equation on the entire space $\mathbb{R}^N\ (N\geq1)$: $$ \begin{equation} \left\{\begin{array}{ll} \partial_t u-\Delta u=a(x,t)u-b(x,t)u^p\ \ \ \ & {\rm in}\ \mathbb{R}^N\times(0,T),\\ u(x,0)=u(x,T) \ & {\rm in}\ \mathbb{R}^N, \end{array} \right. \end{equation} $$ where the constants $T>0$ and $p>1$, and the functions $a,\ b$ with $b>0$ are smooth in $\mathbb{R}^N\times\mathbb{R}$ and $T$-periodic in time. Under the assumptions that $a(x,t)/{|x|^\gamma}$ and $b(x,t)/{|x|^\tau}$ are bounded away from $0$ and infinity for all large $|x|$, where the constants $\gamma>-2$ and $\tau\in\mathbb{R}$, we study the existence and uniqueness of positive $T$-periodic solutions. In particular, we determine the asymptotic behavior of the unique positive $T$-periodic solution as $|x|\to\infty$, which turns out to depend on the sign of $\gamma$. Our investigation considerably generalizes the existing results.
2012, 32(2): 643-656
doi: 10.3934/dcds.2012.32.643
+[Abstract](2437)
+[PDF](303.8KB)
Abstract:
In the present paper we study symmetric interval identification systems of order three. We prove that the Rauzy induction preserves symmetry: for any symmetric interval identification system of order 3 after finitely many iterations of the Rauzy induction we always obtain a symmetric system. We also provide an example of symmetric interval identification system of thin type.
In the present paper we study symmetric interval identification systems of order three. We prove that the Rauzy induction preserves symmetry: for any symmetric interval identification system of order 3 after finitely many iterations of the Rauzy induction we always obtain a symmetric system. We also provide an example of symmetric interval identification system of thin type.
2012, 32(2): 657-677
doi: 10.3934/dcds.2012.32.657
+[Abstract](2624)
+[PDF](630.4KB)
Abstract:
In this paper, the asymptotic analysis of the two-dimensional viscoelastic Oldroyd flows is presented. With the physical constant $\rho/\delta$ approaches zero, where $\rho$ is the viscoelastic coefficient and $1/\delta$ the relaxation time, the viscoelastic Oldroyd fluid motion equations converge to the viscous model known as the famous Navier-Stokes equations. Both the continuous and discrete uniform-in-time asymptotic errors are provided. Finally, the theoretical predictions are confirmed by some numerical experiments.
In this paper, the asymptotic analysis of the two-dimensional viscoelastic Oldroyd flows is presented. With the physical constant $\rho/\delta$ approaches zero, where $\rho$ is the viscoelastic coefficient and $1/\delta$ the relaxation time, the viscoelastic Oldroyd fluid motion equations converge to the viscous model known as the famous Navier-Stokes equations. Both the continuous and discrete uniform-in-time asymptotic errors are provided. Finally, the theoretical predictions are confirmed by some numerical experiments.
2012, 32(2): 679-701
doi: 10.3934/dcds.2012.32.679
+[Abstract](2101)
+[PDF](455.7KB)
Abstract:
In this article, let $\Sigma\subset\mathbf{R}^{2n}$ be a compact convex Hamiltonian energy surface which is symmetric with respect to the origin, where $n\ge 2$. We prove that there exist at least two geometrically distinct symmetric closed trajectories of the Reeb vector field on $\Sigma$.
In this article, let $\Sigma\subset\mathbf{R}^{2n}$ be a compact convex Hamiltonian energy surface which is symmetric with respect to the origin, where $n\ge 2$. We prove that there exist at least two geometrically distinct symmetric closed trajectories of the Reeb vector field on $\Sigma$.
2019 Impact Factor: 1.338
Authors
Editors
Referees
Librarians
Special Issues
Email Alert
Add your name and e-mail address to receive news of forthcoming issues of this journal:
[Back to Top]