Blow-Up Rate Estimates and Liouville Type Theorems for a Semilinear Heat Equation with Weighted Source

We study the Liouville-type theorem for the semilinear parabolic equation \(u_t-\Delta u =|x|^a u^p\) with \(p>1\) and \(a\in {\mathbb R}\). Relying on the recent result of Quittner (Math Ann, doi: 10.1007/s00208-015-1219-7, 2015), we establish the optimal Liouville-type theorem in dimension \(N=2\), in the class of nonnegative bounded solutions. We also provide a partial result in dimension \(N\ge 3\). As applications of Liouville-type theorems, we derive the blow-up rate estimates for the corresponding Cauchy problem.     

Further Dense Properties of the Space of Circle Diffeomorphisms with a Liouville Rotation Number

In continuation of Matsumoto’s paper (Nonlinearity 25:1495–1511, 2012) we show that various subspaces are \(C^{\infty }\)-dense in the space of orientation-preserving \(C^{\infty }\)-diffeomorphisms of the circle with rotation number \(\alpha \), where \(\alpha \in {\mathbb {S}}^1\) is any prescribed Liouville number. In particular, for every odometer \({\mathcal {O}}\) of product type we prove the denseness of the subspace of diffeomorphisms which are orbit-equivalent to \({\mathcal {O}}\).     

Sharp Weighted Korn and Korn-Like Inequalities and an Application to Washers

In this paper we prove asymptotically sharp weighted “first-and-a-half” \(2D\) Korn and Korn-like inequalities with a singular weight occurring from Cartesian to cylindrical change of variables. We prove some Hardy and the so-called “harmonic function gradient separation” inequalities with the same singular weight. Then we apply the obtained \(2D\) inequalities to prove similar inequalities for washers with thickness \(h\) subject to vanishing Dirichlet boundary conditions on the inner and outer thin faces of the washer. A washer can be regarded in two ways: As the limit case of a conical shell when the slope goes to zero, or as a very short hollow cylinder. While the optimal Korn constant in the first Korn inequality for a conical shell with thickness \(h\) and with a positive slope scales like \(h^{1.5}\), e.g., (Grabovsky and Harutyunyan in arXiv:1602.03601, 2016), the optimal Korn constant in the first Korn inequality for a washer scales like \(h^{2}\) and depends only on the outer radius of the washer as we show in the present work. The Korn constant in the first and a half inequality scales like \(h\) and depends only on \(h\). The optimal Korn constant is realized by a Kirchhoff Ansatz. This results can be applied to calculate the critical buckling load of a washer under in plane loads, e.g., (Antman and Stepanov in J. Elast. 124(2):243–278, 2016).     

On Reducibility of 1d Wave Equation with Quasiperiodic in Time Potentials

In this paper we use a KAM theorem of Grébert and Thomann (Commun Math Phys 307:383–427, 2011) to prove the reducibility of the 1d wave equation with Dirichlet boundery conditions on \([0,\pi ]\) with a quasi-periodic in time potential under some symmetry assumptions. From Mathieu–Hill operator’s known results (Eastham in The spectral theory of periodic differential operators, Hafner, New York, 1974; Magnus and Winkler in Hill’s equation, Wiley-Interscience, London, 1969) and Bourgain’s techniques (Commun Math Phys 204:207–247, 1999), we prove that for any \(\epsilon \) small enough, there exist a \(0<m_{\epsilon }\le 1\) and one solution \(u_{\epsilon }(t,x)\) with

$$\begin{aligned} \Vert u_{\epsilon }(t_n,x)\Vert _{H^1({\mathbb {T}})}\rightarrow \infty , \qquad |t_n|\rightarrow \infty , \end{aligned}$$

where \(u_{\epsilon }(t,x)\) satisfies 1d wave equation

$$\begin{aligned} u_{tt}-u_{xx}+m_{\epsilon }u-\epsilon \cos 2t u=0, \end{aligned}$$

with Dirichlet boundery conditions on \([0,\pi ]\).

     

Partial Regularity of the Suitable Weak Solutions to the Multi-dimensional Incompressible Boussinesq Equations

This work is concerned with the partial regularity of the suitable weak solutions to the Boussinesq equations in \(\mathbb {R}^{n}\) where \(n=3,\,4\). By means of the De Giorgi iteration method developed in Vasseur (Nonlinear Differ Equ Appl 14(5–6):753–785, 2007), Wang, Wu (J Differ Equ 256(3):1224–1249, 2014), we obtain that \(n-2\) dimensional parabolic Hausdorff measure of the possible singular points set of the suitable weak solutions to this system is zero. Particularly, we obtain some interior regularity criteria only in terms of the scaled mixed norm of velocity for the suitable weak solutions to the Boussinesq equations, which implies that the potential singular points may only stem from the velocity field.     

Spreading in a Shifting Environment Modeled by the Diffusive Logistic Equation with a Free Boundary

We investigate the influence of a shifting environment on the spreading of an invasive species through a model given by the diffusive logistic equation with a free boundary. When the environment is homogeneous and favourable, this model was first studied in Du and Lin (SIAM J Math Anal 42:377–405, 2010), where a spreading–vanishing dichotomy was established for the long-time dynamics of the species, and when spreading happens, it was shown that the species invades the new territory at some uniquely determined asymptotic speed \(c_0>0\). Here we consider the situation that part of such an environment becomes unfavourable, and the unfavourable range of the environment moves into the favourable part with speed \(c>0\). We prove that when \(c\ge c_0\), the species always dies out in the long-run, but when \(0<c<c_0\), the long-time behavior of the species is determined by a trichotomy described by (a) vanishing, (b) borderline spreading, or (c) spreading. If the initial population is written in the form \(u_0(x)=\sigma \phi (x)\) with \(\phi \) fixed and \(\sigma >0\) a parameter, then there exists \(\sigma _0>0\) such that vanishing happens when \(\sigma \in (0,\sigma _0)\), borderline spreading happens when \(\sigma =\sigma _0\), and spreading happens when \(\sigma >\sigma _0\).     

Rossby solitary waves excited by the unstable topography in weak shear flow

A new forced KdV equation including topography is derived and the numerical solutions are given. The topographic variable should be related with the temporal and spatial function, which is called unstable topography. The physical features of the solitary waves about the mass and energy are discussed by theoretical analysis. In further studies, the pseudo-spectral numerical methods are used to discuss the evolution of solitary wave generated by the topography when meridional wave number \(m=1\); in a similar way, we analyze the solitary wave when meridional wave number \(m=2\). At last, we make the comparison for the characteristics of waves between \(m=1\) and \(m=2\), the wave of meridional number \(m=1\) plays a leading role.     

One-Dimensional Super-Fast Diffusion: Persistence Versus Extinction Revisited—Extinction at Spatial Infinity

We consider positive classical solutions of

$$\begin{aligned} v_t=(v^{m-1}v_x)_x, \qquad x\in {\mathbb {R}}, \ t>0, \qquad (\star ) \end{aligned}$$

in the super-fast diffusion range \(m<-1\). Our main interest is in smooth positive initial data \(v_0=v(\cdot ,0)\) which decay as \(x\rightarrow +\infty \), but which are possibly unbounded as \(x\rightarrow -\infty \), having in mind monotonically decreasing data as prototypes. It is firstly proved that if \(v_0\) decays sufficiently fast only in one direction by satisfying

$$\begin{aligned} v_0(x) \le cx^{-\beta } \qquad \text{ for } \text{ all } ~x>0 \quad \hbox { with some }\quad \beta >\frac{2}{1-m} \end{aligned}$$

and some \(c>0\), then the so-called proper solution of (\(\star \)) vanishes identically in \({\mathbb {R}}\times (0,\infty )\), and accordingly no positive classical solution exists in any time interval in this case. Complemented by some sufficient criteria for solutions to remain positive either locally or globally in time, this condition for instantaneous extinction is shown to be optimal at least with respect to algebraic decay of the initial data. This partially extends some known nonexistence results for (\(\star \)) (Daskalopoulos and Del Pino in Arch Rat Mech Anal 137(4):363–380, 1997) in that it does not require any knowledge on the behavior of \(v_0(x)\) for \(x<0\). Next focusing on the phenomenon of extinction in finite time, we show that in this respect a mass influx from \(x=-\infty \) can interact with mass loss at \(x=+\infty \) in a nontrivial manner. Namely, we shall detect examples of monotone initial data, with critical decay as \(x\rightarrow +\infty \) and exponential growth as \(x\rightarrow -\infty \), that lead to solutions of (\(\star \)) which become extinct at a finite positive time, but which have empty extinction sets. This is in sharp contrast to known extinction mechanisms which are such that the corresponding extinction sets coincide with all of \({\mathbb {R}}\).

     

A Note on the Relative Equilibria Bifurcations in the $$$$-Body Problem

Consider the planar Newtonian \((2N+1)\)-body problem, \(N\ge 1,\) with \(2N\) bodies of unit mass and one body of mass \(m\). Using the discrete symmetry due to the equal masses and reducing by the rotational symmetry, we show that solutions with the \(2N\) unit mass points at the vertices of two concentric regular \(N\)-gons and \(m\) at the centre at all times form invariant manifold. We study the regular \(2N\)-gon with central mass \(m\) relative equilibria within the dynamics on the invariant manifold described above. As \(m\) varies, we identify the bifurcations, relate our results to previous work and provide the spectral picture of the linearization at the relative equilibria.     

Long-time Dynamics of Resonant Weakly Nonlinear CGL Equations

Consider a weakly nonlinear CGL equation on the torus \(\mathbb {T}^d\):

$$\begin{aligned} u_t+i\Delta u=\epsilon [\mu (-1)^{m-1}\Delta ^{m} u+b|u|^{2p}u+ ic|u|^{2q}u]. \end{aligned}$$

(*)

Here \(u=u(t,x)\), \(x\in \mathbb {T}^d\), \(0<\epsilon <<1\), \(\mu \geqslant 0\), \(b,c\in \mathbb {R}\) and \(m,p,q\in \mathbb {N}\). Define \(I(u)=(I_{\mathbf {k}},\mathbf {k}\in \mathbb {Z}^d)\), where \(I_{\mathbf {k}}=v_{\mathbf {k}}\bar{v}_{\mathbf {k}}/2\) and \(v_{\mathbf {k}}\), \(\mathbf {k}\in \mathbb {Z}^d\), are the Fourier coefficients of the function \(u\) we give. Assume that the equation \((*)\) is well posed on time intervals of order \(\epsilon ^{-1}\) and its solutions have there a-priori bounds, independent of the small parameter. Let \(u(t,x)\) solve the equation \((*)\). If \(\epsilon \) is small enough, then for \(t\lesssim {\epsilon ^{-1}}\), the quantity \(I(u(t,x))\) can be well described by solutions of an effective equation:

$$\begin{aligned} u_t=\epsilon [\mu (-1)^{m-1}\Delta ^m u+ F(u)], \end{aligned}$$

where the term \(F(u)\) can be constructed through a kind of resonant averaging of the nonlinearity \(b|u|^{2p}+ ic|u|^{2q}u\).

     

Stability of Concatenated Traveling Waves

We consider a reaction–diffusion equation in one space dimension whose initial condition is approximately a sequence of widely separated traveling waves with increasing velocity, each of which is individually asymptotically stable. We show that the sequence of traveling waves is itself asymptotically stable: as \(t\rightarrow \infty \), the solution approaches the concatenated wave pattern, with different shifts of each wave allowed. Essentially the same result was previously proved by Wright (J Dyn Differ Equ 21:315–328, 2009) and Selle (Decomposition and stability of multifronts and multipulses, 2009), who regarded the concatenated wave pattern as a sum of traveling waves. In contrast to their work, we regard the pattern as a sequence of traveling waves restricted to subintervals of \(\mathbb {R}\) and separated at any finite time by small jump discontinuities. Our proof uses spatial dynamics and Laplace transform.     

The flow past a freely rotating sphere

We consider the flow past a sphere held at a fixed position in a uniform incoming flow but free to rotate around a transverse axis. A steady pitchfork bifurcation is reported to take place at a threshold \(Re^\mathrm{OS}=206\) leading to a state with zero torque but nonzero lift. Numerical simulations allow to characterize this state up to \(Re\approx 270\) and confirm that it substantially differs from the steady-state solution which exists in the wake of a fixed, non-rotating sphere beyond the threshold \(Re^\mathrm{SS}=212\). A weakly nonlinear analysis is carried out and is shown to successfully reproduce the results and to give substantial improvement over a previous analysis (Fabre et al. in J Fluid Mech 707:24–36, 2012). The connection between the present problem and that of a sphere in free fall following an oblique, steady (OS) path is also discussed.     

Generic Hamiltonian Dynamics

In this paper we contribute to the generic theory of Hamiltonians by proving that there is a \(C^2\)-residual \({\mathcal {R}}\) in the set of \(C^2\) Hamiltonians on a closed symplectic manifold \(M\), such that, for any \(H\in {\mathcal {R}}\), there is a full measure subset of energies \(e\) in \(H(M)\) such that the Hamiltonian level \((H,e)\) is topologically mixing; moreover these level sets are homoclinic classes.     

Existence of Traveling Waves of General Gray-Scott Models

This work gives a rigorous proof of the existence of propagating traveling waves of a nonlinear reaction–diffusion system which is a general Gray-Scott model of the pre-mixed isothermal autocatalytic chemical reaction of order m (\(m > 1\)) between two chemical species, a reactant A and an auto-catalyst B, \( A + m B \rightarrow (m+1) B\), and a super-linear decay of order \( n > 1\), \( B \rightarrow C\), where \( 1< n < m\). Here C is an inert product. Moreover, we establish that the speed set for existence must lie in a bounded interval for a given initial value \(u_0\) at \( - \infty \). The explicit bound is also derived in terms of \(u_0\) and other parameters. The same system also appears in a mathematical model of SIR type in infectious diseases.     

Initial and Boundary Blow-U Problem for $$$$-Lalacian Parabolic Equation with General Absortion

In this article, we investigate the initial and boundary blow-up problem for the \(p\)-Laplacian parabolic equation \(u_t-\Delta _p u=-b(x,t)f(u)\) over a smooth bounded domain \(\Omega \) of \(\mathbb {R}^N\) with \(N\ge 2\), where \(\Delta _pu=\mathrm{div}(|\nabla u|^{p-2}\nabla u)\) with \(p>1\), and \(f(u)\) is a function of regular variation at infinity. We study the existence and uniqueness of positive solutions, and their asymptotic behaviors near the parabolic boundary.     

Topological and Measure-Theoretical Entropies of Nonautonomous Dynamical Systems

We consider the dynamics of a nonautonomous dynamical system determined by a sequence of continuous self-maps \(f_n:X \rightarrow X,\) where \( n \in {\mathbb {N}},\) defined on a compact metric space X. Applying the theory of the Carathéodory structures, elaborated by Pesin (Dimension Theory in Dynamical Systems. Chicago Lectures in Mathematics. The University of Chicago Press, Chicago, 1997), we construct a Carathéodory structure whose capacity coincides with the topological entropy of the considered system. Generalizing the notion of local measure entropy, introduced by Brin and Katok (in: Palis (ed) Geometric Dynamics, Lecture Notes in Mathematics. Springer, Berlin 1983) for a single map, to a nonautonomous dynamical system we provide a lower and upper estimations of the topological entropy by local measure entropies. The theorems of the paper generalize results of Kawan (Nonautonomous Stoch Dyn Syst 1:26–52, 2013) and of Feng and Huang (J Funct Anal 263:2228–2254, 2012). Also, we construct a new entropy-like invariant such the entropy of a sequence \(\{f_n:X \rightarrow X\}_{n=1}^{\infty }\) of Lipschitz continuous maps with the same Lipschitz constant \(L >1,\) restricted to a subset \(Y\subset X,\) is upper bounded by Hausdorff dimension of Y multiplied by the logarithm of the Lipschitz constant L. This gives a generalizations of results of Dai et al. (Sci China Ser A 41:1068–1075, 1998) and Misiurewicz (Discret Contin Dyn Syst 10:827–833, 2004).     

Oriented Shadowing Property and $$\Omega $$-Stability for Vector Fields

We call that a vector field has the oriented shadowing property if for any \(\varepsilon >0\) there is \(d>0\) such that each \(d\)-pseudo orbit is \(\varepsilon \)-oriented shadowed by some real orbit. In this paper, we show that the \(C^1\)-interior of the set of vector fields with the oriented shadowing property is contained in the set of vector fields with the \(\Omega \)-stability.     

Threshold Behavior and Non-quasiconvergent Solutions with Localized Initial Data for Bistable Reaction–Diffusion Equations

We consider bounded solutions of the semilinear heat equation \(u_t=u_{xx}+f(u)\) on \(R\), where \(f\) is of the unbalanced bistable type. We examine the \(\omega \)-limit sets of bounded solutions with respect to the locally uniform convergence. Our goal is to show that even for solutions whose initial data vanish at \(x=\pm \infty \), the \(\omega \)-limit sets may contain functions which are not steady states. Previously, such examples were known for balanced bistable nonlinearities. The novelty of the present result is that it applies to a robust class of nonlinearities. Our proof is based on an analysis of threshold solutions for ordered families of initial data whose limits at infinity are not necessarily zeros of \(f\).     

SIF-based fracture criterion for interface cracks

The complex stress intensity factor K governing the stress field of an interface crack tip may be split into two parts, i.e.,■ and s~(-iε), so that K = ■ s~(-iε), s is a characteristic length and ε is the oscillatory index. ■ has the same dimension as the classical stress intensity factor and characterizes the interface crack tip field. That means a criterion for interface cracks may be formulated directly with■, as Irwin(ASME J. Appl. Mech. 24:361–364, 1957) did in 1957 for the classical fracture mechanics. Then, for an interface crack,it is demonstrated that the quasi Mode I and Mode II tip fields can be defined and distinguished from the coupled mode tip fields. Built upon SIF-based fracture criteria for quasi Mode I and Mode II, the stress intensity factor(SIF)-based fracture criterion for mixed mode interface cracks is proposed and validated against existing experimental results.     

On Exponential Decay and the Markus–Yamabe Conjecture in Infinite Dimensions with Applications to the Cima System

In this work we extend to infinite dimensions a previous result of Lyascenko given in finite dimensions for a class of Lipschitz functions. In particular, this extension substitutes the class of Lipschitz functions by a class of Hölder functions. Then we consider applications of these results to analyze its relation with the Markus–Yamabe Conjecture in infinite dimensions. We discuss in detail a celebrated example of Cima et al. ( Adv Math 131(2): 453–457, 1997) of a nonlinear system in dimension three whose Jacobian has a unique eigenvalue \(-1\) of multiplicity 3, and yet an explicit unbounded solution as \(t \rightarrow \infty \) exists. We also present explicit solutions of the same equation that tends to 0 as \(t \rightarrow \infty \). Then we look at this conjecture by considering not the properties of the whole system, but instead the properties of some solutions. Finally we present an application in an infinite dimensional Hilbert space, where we use different techniques to study the local and global asymptotic stabilities.