Decay Structure for Symmetric Hyperbolic Systems with Non-Symmetric Relaxation and its Application

This paper is concerned with the decay structure for linear symmetric hyperbolic systems with relaxation. When the relaxation matrix is symmetric, the dissipative structure of the systems is completely characterized by the Kawashima–Shizuta stability condition formulated in Umeda et al. (Jpn J Appl Math 1:435–457, 1984) and Shizuta and Kawashima (Hokkaido Math J 14:249–275, 1985) and we obtain the asymptotic stability result together with the explicit time-decay rate under that stability condition. However, some physical models which satisfy the stability condition have non-symmetric relaxation term (for example, the Timoshenko system and the Euler–Maxwell system). Moreover, it had been already known that the dissipative structure of such systems is weaker than the standard type and is of the regularity-loss type (see Duan in J Hyperbolic Differ Equ 8:375–413, 2011; Ide et al. in Math Models Meth Appl Sci 18:647–667, 2008; Ide and Kawashima in Math Models Meth Appl Sci 18:1001–1025, 2008; Ueda et al. in SIAM J Math Anal 2012; Ueda and Kawashima in Methods Appl Anal 2012). Therefore our purpose in this paper is to formulate a new structural condition which includes the Kawashima–Shizuta condition, and to analyze the weak dissipative structure for general systems with non-symmetric relaxation.     

Multibody Formulation with Large Bending Finite Elements (LBFE)

The goal of this paper is to present a flexible multibody formulation for Euler-Bernoulli beams involving large displacements. This method is based on a discretisation of internal and kinetic energies. The beam is represented by its line of centroids and each section is oriented by a frame defined by three Euler angles. We apply a finite element formulation to describe the evolution of these angles along the neutral fibre and describe the internal energy. The kinetic energy is approximated as the one of two rigid bars tangent to the neutral fibre at the ends of the beam. We derive the equations of motion from a Lagrange formulation. These equations are solved using the Newmark method or/and the Newton-Raphson technique. We solve some very classic problems taken from the literature as the curved beam presented by Simo [Simo, J. C., ‘A three-dimensional finite-strain rod model. the three-dimensional dynamic problem. Part I’, Comput. Meths. Appl. Mech. Engrg. 49, 1985, 55–70; Simo, J. C. and Vu-Quoc, L., ‘A three-dimensional finite-strain rod model, Part II: Computationals aspects’, Comput. Meths. Appl. Mech. Engrg. 58, 1988, 79–116] and Lee [Lee, Kisu, ‘Analysis of large displacements and large rotations of three-dimensional beams by using small strains and unit vectors’, Commun. Numer. Meth. Engrg. 13, 1997, 987–997] or the rotational rod presented by Avello [Avello, A., Garcia de Jalon, J., and Bayo, E., ‘Dynamics of flexible multibody systems using cartesian co-ordinates and large displacement theory’, Int. J. Num. Methods in Engineering 32, 1991, 1543–1563] and Simo [Simo, J. C. and Vu-Quoc, L., ‘On the dynamics of flexible beams under large overall motions – the planar case. Part I’ Jour. of Appl. Mech. 53, 1986, 849–854; Simo, J. C. and Vu-Quoc, L., ‘On the dynamics of flexible beams under large overall motions – the planar case. Part II’, Jour. of Appl. Mech. 53, 1986, 855–863].     

Eigenvalues of Self-Similar Solutions of the Dafermos Regularization of a System of Conservation Laws via Geometric Singular Perturbation Theory

The Dafermos regularization of a system of n conservation laws in one space dimension admits smooth self-similar solutions of the form u=u(X/T). In particular, there are such solutions near a Riemann solution consisting of n possibly large Lax shocks. In Lin and Schecter (2004, SIAM. J. Math. Anal. 35, 884–921), eigenvalues and eigenfunctions of the linearized Dafermos operator at such a solution were studied using asymptotic expansions. Here we show that the asymptotic expansions correspond to true eigenvalue–eigenfunction pairs. The proofs use geometric singular perturbation theory, in particular an extension of the Exchange Lemma.     

Convergence of Ginzburg–Landau Functionals in Three-Dimensional Superconductivity

In this paper we consider the asymptotic behavior of the Ginzburg–Landau model for superconductivity in three dimensions, in various energy regimes. Through an analysis via Γ-convergence, we rigorously derive a reduced model for the vortex density and deduce a curvature equation for the vortex lines. In the companion paper (Baldo et al. Commun. Math. Phys. 2012, to appear) we describe further applications to superconductivity and superfluidity, such as general expressions for the first critical magnetic field H _c1, and the critical angular velocity of rotating Bose–Einstein condensates.     

A Beale–Kato–Majda Criterion for Three Dimensional Compressible Viscous Heat-Conductive Flows

We prove a blow-up criterion in terms of the upper bound of (ρ, ρ ⁻¹, θ) for a strong solution to three dimensional compressible viscous heat-conductive flows. The main ingredient of the proof is an a priori estimate for a quantity independently introduced in Haspot (Regularity of weak solutions of the compressible isentropic Navier–Stokes equation, arXiv:1001.1581, 2010) and Sun et al. (J Math Pure Appl 95:36–47, 2011), whose divergence can be viewed as the effective viscous flux.     

Stability and Freezing of Nonlinear Waves in First Order Hyperbolic PDEs

It is a well-known problem to derive nonlinear stability of a traveling wave from the spectral stability of a linearization. In this paper we prove such a result for a large class of hyperbolic systems. To cope with the unknown asymptotic phase, the problem is reformulated as a partial differential algebraic equation for which asymptotic stability becomes usual Lyapunov stability. The stability proof is then based on linear estimates from (Rottmann-Matthes, J Dyn Diff Equat 23:365–393, 2011) and a careful analysis of the nonlinear terms. Moreover, we show that the freezing method (Beyn and Thümmler, SIAM J Appl Dyn Syst 3:85–116, 2004; Rowley et al. Nonlinearity 16:1257–1275, 2003) is well-suited for the long time simulation and numerical approximation of the asymptotic behavior. The theory is illustrated by numerical examples, including a hyperbolic version of the Hodgkin–Huxley equations.     

Isolated Singularities of the 1D Complex Viscous Burgers Equation

The Cauchy problem for the 1D real-valued viscous Burgers equation u _t +uu _x  = u _xx is globally well posed (Hopf in Commun Pure Appl Math 3:201–230, 1950). For complex-valued solutions finite time blow-up is possible from smooth compactly supported initial data, see Poláčik and Šverák (J Reine Angew Math 616:205–217, 2008). It is also proved in Poláčik and Šverák (J Reine Angew Math 616:205–217, 2008) that the singularities for the complex-valued solutions are isolated if they are not present in the initial data. In this paper we study the singularities in more detail. In particular, we classify the possible blow-up rates and blow-up profiles. It turns out that all singularities are of type II and that the blow-up profiles are regular steady state solutions of the equation.     

Application of the method of direct separation of motions to the parametric stabilization of an elastic wire

The paper considers the application of the method of direct separation of motions to the investigation of distributed systems. An approach is proposed which allows one to apply the method directly to the initial equation of motion and to satisfy all boundary conditions, arising for both slow and fast components of motion. The methodology is demonstrated by means of a classical problem concerning the so-called Indian magic rope trick (Blekhman et al. in Selected topics in vibrational mechanics, vol. 11, pp. 139–149, [2004]; Champneys and Fraser in Proc. R. Soc. Lond. A 456:553–570, [2000]; in SIAM J. Appl. Math. 65(1):267–298, [2004]; Fraser and Champneys in Proc. R. Soc. Lond. A 458:1353–1373, [2002]; Galan et al. in J. Sound Vib. 280:359–377, [2005]), in which a wire with an unstable upper vertical position is stabilized due to vertical vibration of its bottom support point. The wire is modeled as a heavy Bernoulli–Euler beam with a vertically vibrating lower end. As a result of the treatment, an explicit formula is obtained for the vibrational correction to the critical flexural stiffness of the nonexcited system.     

Degenerate Regularization of Forward–Backward Parabolic Equations: The Regularized Problem

We study a quasilinear parabolic equation of forward–backward type in one space dimension, under assumptions on the nonlinearity which hold for a number of important mathematical models (for example, the one-dimensional Perona–Malik equation), using a degenerate pseudoparabolic regularization proposed in Barenblatt et al. (SIAM J Math Anal 24:1414–1439, 1993), which takes time delay effects into account. We prove existence and uniqueness of positive solutions of the regularized problem in a space of Radon measures. We also study qualitative properties of such solutions, in particular concerning their decomposition into an absolutely continuous part and a singular part with respect to the Lebesgue measure. In this respect, the existence of a family of viscous entropy inequalities plays an important role.     

Prevalent Behavior of Strongly Order Preserving Semiflows

Classical results in the theory of monotone semiflows give sufficient conditions for the generic solution to converge toward an equilibrium or toward the set of equilibria (quasiconvergence). In this paper, we provide new formulations of these results in terms of the measure-theoretic notion of prevalence, developed in Christensen (Israel J. Math., 13, 255–260, 1972) and Hunt et al. (Bull. Am. Math. Soc., 27, 217–238, 1992). For monotone reaction–diffusion systems with Neumann boundary conditions on convex domains, we show the prevalence of the set of continuous initial conditions corresponding to solutions that converge to a spatially homogeneous equilibrium. We also extend a previous generic convergence result to allow its use on Sobolev spaces. Careful attention is given to the measurability of the various sets involved.