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}}\).     

The Unstable Set of a Periodic Orbit for Delayed Positive Feedback

In the paper [Large-amplitude periodic solutions for differential equations with delayed monotone positive feedback, JDDE 23 (2011), no. 4, 727–790], we have constructed large-amplitude periodic orbits for an equation with delayed monotone positive feedback. We have shown that the unstable sets of the large-amplitude periodic orbits constitute the global attractor besides spindle-like structures. In this paper we focus on a large-amplitude periodic orbit \({\mathcal {O}}_{p}\) with two Floquet multipliers outside the unit circle, and we intend to characterize the geometric structure of its unstable set \({\mathcal {W}}^{u}\left( {\mathcal {O}}_{p}\right) \). We prove that \({\mathcal {W}}^{u}\left( {\mathcal {O}}_{p}\right) \) is a three-dimensional \(C^{1}\)-submanifold of the phase space and admits a smooth global graph representation. Within \({\mathcal {W}}^{u}\left( {\mathcal {O}}_{p}\right) \), there exist heteroclinic connections from \({\mathcal {O}}_{p}\) to three different periodic orbits. These connecting sets are two-dimensional \(C^{1}\)-submanifolds of \({\mathcal {W}}^{u}\left( {\mathcal {O}}_{p}\right) \) and homeomorphic to the two-dimensional open annulus. They form \(C^{1}\)-smooth separatrices in the sense that they divide the points of \({\mathcal {W}}^{u}\left( {\mathcal {O}}_{p}\right) \) into three subsets according to their \(\omega \)-limit sets.     

On the Justification of Viscoelastic Elliptic Membrane Shell Equations

We consider a family of linearly viscoelastic shells with thickness \(2\varepsilon\), clamped along their entire lateral face, all having the same middle surface \(S=\boldsymbol{\theta}(\bar{\omega})\subset \mathbb{R}^{3}\), where \(\omega\subset\mathbb{R}^{2}\) is a bounded and connected open set with a Lipschitz-continuous boundary \(\gamma\). We make an essential geometrical assumption on the middle surface \(S\), which is satisfied if \(\gamma\) and \(\boldsymbol{\theta}\) are smooth enough and \(S\) is uniformly elliptic. We show that, if the applied body force density is \(O(1)\) with respect to \(\varepsilon\) and surface tractions density is \(O(\varepsilon)\), the solution of the scaled variational problem in curvilinear coordinates, \(\boldsymbol{u}( \varepsilon)\), defined over the fixed domain \(\varOmega=\omega\times (-1,1)\) for each \(t\in[0,T]\), converges to a limit \(\boldsymbol{u}\) with \(u_{\alpha}(\varepsilon)\rightarrow u_{\alpha}\) in \(W^{1,2}(0,T,H ^{1}(\varOmega))\) and \(u_{3}(\varepsilon)\rightarrow u_{3}\) in \(W^{1,2}(0,T,L^{2}(\varOmega))\) as \(\varepsilon\to0\). Moreover, we prove that this limit is independent of the transverse variable. Furthermore, the average \(\bar{\boldsymbol{u}}= \frac{1}{2}\int_{-1}^{1} \boldsymbol{u}dx_{3}\), which belongs to the space \(W^{1,2}(0,T, V_{M}( \omega))\), where

$$V_{M}(\omega)=H^{1}_{0}(\omega)\times H^{1}_{0}(\omega)\times L ^{2}(\omega), $$

satisfies what we have identified as (scaled) two-dimensional equations of a viscoelastic membrane elliptic shell, which includes a long-term memory that takes into account previous deformations. We finally provide convergence results which justify those equations.

     

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\).

     

Impermeability Through a Perforated Domain for the Incompressible two dimensional Euler Equations

We study the asymptotic behavior of the motion of an ideal incompressible fluid in a perforated domain. The porous medium is composed of inclusions of size \({\varepsilon}\) separated by distances \({d_{\varepsilon}}\) and the fluid fills the exterior. If the inclusions are distributed on the unit square, the asymptotic behavior depends on the limit of \({\frac{d_{\varepsilon}}\varepsilon}\) when \({\varepsilon}\) goes to zero. If \({\frac{d_{\varepsilon}}\varepsilon \to \infty}\), then the limit motion is not perturbed by the porous medium, namely, we recover the Euler solution in the whole space. If, on the contrary, \({\frac{d_{\varepsilon}}\varepsilon \to 0}\), then the fluid cannot penetrate the porous region, namely, the limit velocity verifies the Euler equations in the exterior of an impermeable square. If the inclusions are distributed on the unit segment then the behavior depends on the geometry of the inclusion: it is determined by the limit of \({\frac{d_{\varepsilon}}{\varepsilon^{2+\frac1\gamma}}}\) where \({\gamma \in (0,\infty]}\) is related to the geometry of the lateral boundaries of the obstacles. If \({\frac{d_{\varepsilon}}{\varepsilon^{2+\frac1\gamma}} \to \infty}\), then the presence of holes is not felt at the limit, whereas an impermeable wall appears if this limit is zero. Therefore, for a distribution in one direction, the critical distance depends on the shape of the inclusions; in particular, it is equal to \({\varepsilon^{3}}\) for balls.     

Insight into Heterogeneity Effects in Methane Hydrate Dissociation via Pore-Scale Modeling

A large number (1253) of high-quality streaming potential coefficient (\(C_\mathrm{sp})\) measurements have been carried out on Berea, Boise, Fontainebleau, and Lochaline sandstones (the latter two including both detrital and authigenic overgrowth forms), as a function of pore fluid salinity (\(C_\mathrm{f})\) and rock microstructure. All samples were saturated with fully equilibrated aqueous solutions of NaCl (10\(^{-5}\) and 4.5 mol/dm\(^{3})\) upon which accurate measurements of their electrical conductivity and pH were taken. These \(C_\mathrm{sp}\) measurements represent about a fivefold increase in streaming potential data available in the literature, are consistent with the pre-existing 266 measurements, and have lower experimental uncertainties. The \(C_\mathrm{sp}\) measurements follow a pH-sensitive power law behaviour with respect to \(C_\mathrm{f}\) at medium salinities (\(C_\mathrm{sp} =-\,1.44\times 10^{-9} C_\mathrm{f}^{-\,1.127} \), units: V/Pa and mol/dm\(^{3})\) and show the effect of rock microstructure on the low salinity \(C_\mathrm{sp}\) clearly, producing a smaller decrease in \(C_\mathrm{sp}\) per decade reduction in \(C_\mathrm{f}\) for samples with (i) lower porosity, (ii) larger cementation exponents, (iii) smaller grain sizes (and hence pore and pore throat sizes), and (iv) larger surface conduction. The \(C_\mathrm{sp}\) measurements include 313 made at \(C_\mathrm{f} > 1\) mol/dm\(^{3}\), which confirm the limiting high salinity \(C_\mathrm{sp}\) behaviour noted by Vinogradov et al., which has been ascribed to the attainment of maximum charge density in the electrical double layer occurring when the Debye length approximates to the size of the hydrated metal ion. The zeta potential (\(\zeta \)) was calculated from each \(C_\mathrm{sp}\) measurement. It was found that \(\zeta \) is highly sensitive to pH but not sensitive to rock microstructure. It exhibits a pH-dependent logarithmic behaviour with respect to \(C_\mathrm{f}\) at low to medium salinities (\(\zeta =0.01133 \log _{10} \left( {C_\mathrm{f} } \right) +0.003505\), units: V and mol/dm\(^{3})\) and a limiting zeta potential (zeta potential offset) at high salinities of \({\zeta }_\mathrm{o} = -\,17.36\pm 5.11\) mV in the pH range 6–8, which is also pH dependent. The sensitivity of both \(C_\mathrm{sp}\) and \(\zeta \) to pH and of \(C_\mathrm{sp}\) to rock microstructure indicates that \(C_\mathrm{sp}\) and \(\zeta \) measurements can only be interpreted together with accurate and equilibrated measurements of pore fluid conductivity and pH and supporting microstructural and surface conduction measurements for each sample.     

Whirl Mappings on Generalised Annuli and the Incompressible Symmetric Equilibria of the Dirichlet Energy

In this paper we show a striking contrast in the symmetries of equilibria and extremisers of the total elastic energy of a hyperelastic incompressible annulus subject to pure displacement boundary conditions. Indeed upon considering the equilibrium equations, here, the nonlinear second order elliptic system formulated for the deformation \(u=(u_{1}, \ldots, u_{N})\):

$$ {\mathbb{E}} {\mathbb{L}}[u, {\mathbf {X}}] = \left \{ \textstyle\begin{array}{l@{\quad}l} \Delta u = \operatorname{div}(\mathscr{P} (x) \operatorname{cof} \nabla u) & \textrm{in }{\mathbf {X}},\\ \det\nabla u = 1 & \textrm{in }{\mathbf {X}},\\ u \equiv\varphi& \textrm{on }\partial{\mathbf {X}}, \end{array}\displaystyle \right . $$

where \({\mathbf {X}}\) is a finite, open, symmetric \(N\)-annulus (with \(N \ge2\)), \(\mathscr{P}=\mathscr{P}(x)\) is an unknown hydrostatic pressure field and \(\varphi\) is the identity mapping, we prove that, despite the inherent rotational symmetry in the system, when \(N=3\), the problem possesses no non-trivial symmetric equilibria whereas in sharp contrast, when \(N=2\), the problem possesses an infinite family of symmetric and topologically distinct equilibria. We extend and prove the counterparts of these results in higher dimensions by way of showing that a similar dichotomy persists between all odd vs. even dimensions \(N \ge4\) and discuss a number of closely related issues.

     

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.     

A framework for synthetic validation of 3D echocardiographic particle image velocimetry

Particle image velocimetry (PIV) has been significantly advanced since its conception in early 1990s. With the advancement of imaging modalities, applications of 2D PIV have far expanded into biology and medicine. One example is echocardiographic particle image velocimetry that is used for in vivo mapping of the flow inside the heart chambers with opaque boundaries. Velocimetry methods can help better understanding the biomechanical problems. The current trend is to develop three-dimensional velocimetry techniques that take advantage of modern medical imaging tools. This study provides a novel framework for validation of velocimetry methods that are inherently three dimensional such as but not limited to those acquired by 3D echocardiography machines. This framework creates 3D synthetic fields based on a known 3D velocity field \({\mathbf{V}}\) and a given 3D brightness field \({\mathbf{B}}\). The method begins with computing the inverse flow \({\mathbf{V}}^{\varvec{*}} \) based on the velocity field \({\mathbf{V}}\). Then the transformation of \({\mathbf{B}}\), imposed by \({\mathbf{V}}\), is calculated using the computed inverse flow according to \({\mathbf{B}}^{\varvec{*}} \left( {\mathbf{x}} \right) = {\mathbf{B}}\left( {{\mathbf{x}} + {\mathbf{V}}^{\varvec{*}} \left( {\mathbf{x}} \right)} \right)\), where x is the coordinates of voxels in \({\mathbf{B}}^{\varvec{*}} \), with a 3D weighted average interpolation, which provides high accuracy, low memory requirement, and low computational time. To check the validity of the framework, we generate pairs of 3D brightness fields by employing Hill’s spherical vortex velocity field. \({\mathbf{B}}\) and the generated \({\mathbf{B}}^{\varvec{*}} \) are then processed by our in-house 3D particle image velocimetry software to obtain the interrelated velocity field. The results indicates that the computed and imposed velocity fields are in agreement.     

Approximation of Flat <Emphasis Type="Italic">W</Emphasis><Superscript>2,2</Superscript> Isometric Immersions by Smooth Ones

Let \({S\subset\mathbb{R}^2}\) be a bounded Lipschitz domain and denote by \({W^{2,2}_{\text{iso}}(S; \mathbb{R}^3)}\) the set of mappings \({u\in W^{2,2}(S;\mathbb{R}^3)}\) which satisfy \({(\nabla u)^T(\nabla u) = Id}\) almost everywhere. Under an additional regularity condition on the boundary \({\partial S}\) (which is satisfied if \({\partial S}\) is piecewise continuously differentiable), we prove that the strong W ^2,2 closure of \({W^{2,2}_{\text{iso}}(S; \mathbb{R}^3)\cap C^{\infty}(\overline{S};\mathbb{R}^3)}\) agrees with \({W^{2,2}_{\text{iso}}(S; \mathbb{R}^3)}\).     

Topological Pressure of Generic Points for Amenable Group Actions

Let (X, G) be a G-action topological dynamical system (t.d.s. for short), where G is a countably infinite discrete amenable group. In this paper, we study the topological pressure of the sets of generic points. We show that when the system satisfies the almost specification property, for any G-invariant measure \(\mu \) and any continuous map \(\varphi \),

$$\begin{aligned} P\left( X_{\mu },\varphi ,\{F_n\}\right) = h_{\mu }(X)+\int \varphi d\mu , \end{aligned}$$

where \(\{F_n\}\) is a Følner sequence, \(X_{\mu }\) is the set of generic points of \(\mu \) with respect to (w.r.t. for short) \(\{F_n\}\), \(P(X_{\mu },\varphi ,\{F_n\})\) is the topological pressure of \(X_{\mu }\) for \(\varphi \) w.r.t. \(\{F_n\}\) and \(h_{\mu }(X)\) is the measure-theoretic entropy.

     

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}}\).

     

Steady States of Fokker–Planck Equations: III. Degenerate Diffusion

This is the third paper in a series concerning the study of steady states of a Fokker–Planck equation in a general domain in \({\mathbb R}^n\) with \(L^{p}_{loc}\) drift term and \(W^{1,p}_{loc}\) diffusion term for any \(p>n\). In this paper, we give some existence results of stationary measures of the Fokker–Planck equation under Lyapunov conditions which allow the degeneracy of diffusion.     

On the Damped Harmonic Oscillator with Time Dependent Damping Coefficient

Conditions guaranteeing asymptotic stability for the differential equation

$$\begin{aligned} x''+h(t)x'+\omega ^2x=0 \qquad (x\in \mathbb {R}) \end{aligned}$$

are studied, where the damping coefficient \(h:[0,\infty )\rightarrow [0,\infty )\) is a locally integrable function, and the frequency \(\omega >0\) is constant. Our conditions need neither the requirement \(h(t)\le \overline{h}<\infty \) (\(t\in [0,\infty )\); \(\overline{h}\) is constant) (“small damping”), nor \(0< \underline{h}\le h(t)\) (\(t\in [0,\infty )\); \(\underline{h}\) is constant) (“large damping”); in other words, they can be applied to the general case \(0\le h(t)<\infty \) (\(t\in [0,\infty \))). We establish a condition which combines weak integral positivity with Smith’s growth condition

$$\begin{aligned} \int ^\infty _0 \exp [-H(t)]\int _0^t \exp [H(s)]\,\mathrm{{d}}s\,\mathrm{{d}}t=\infty \qquad \left( H(t):=\int _0^t h(\tau )\,\mathrm{{d}}\tau \right) , \end{aligned}$$

so it is able to control both the small and the large values of the damping coefficient simultaneously.

     

Convergence of Radially Symmetric Solutions for (<Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">q</Emphasis>)-Laplacian Elliptic Equations with a Damping Term

This study considers the quasilinear elliptic equation with a damping term,

$$\begin{aligned} \text {div}(D(u)\nabla u) + \frac{k(|{\mathbf {x}}|)}{|{\mathbf {x}}|}\,{\mathbf {x}}\cdot (D(u)\nabla u) + \omega ^2\big (|u|^{p-2}u + |u|^{q-2}u\big ) = 0, \end{aligned}$$

where \({\mathbf {x}}\) is an N-dimensional vector in \(\big \{{\mathbf {x}} \in \mathbb {R}^N: |{\mathbf {x}}| \ge \alpha \big \}\) for some \(\alpha > 0\) and \(N \in {\mathbb {N}}\setminus \{1\}\); \(D(u) = |\nabla u|^{p-2} + |\nabla u|^{q-2}\) with \(1 < q \le p\); k is a nonnegative and locally integrable function on \([\alpha ,\infty )\); and \(\omega \) is a positive constant. A necessary and sufficient condition is given for all radially symmetric solutions to converge to zero as \(|{\mathbf {x}}|\rightarrow \infty \). Our necessary and sufficient condition is expressed by an improper integral related to the damping coefficient k. The case that k is a power function is explained in detail.

     

Models of Elastic Shells in Contact with a Rigid Foundation: An Asymptotic Approach

We consider a family of linearly elastic shells with thickness \(2\varepsilon\) (where \(\varepsilon\) is a small parameter). The shells are clamped along a portion of their lateral face, all having the same middle surface \(S\), and may enter in contact with a rigid foundation along the bottom face.We are interested in studying the limit behavior of both the three-dimensional problems, given in curvilinear coordinates, and their solutions (displacements \(\boldsymbol{u}^{\varepsilon}\) of covariant components \(u_{i}^{\varepsilon}\)) when \(\varepsilon\) tends to zero. To do that, we use asymptotic analysis methods. On one hand, we find that if the applied body force density is \(O(1)\) with respect to \(\varepsilon\) and surface tractions density is \(O(\varepsilon)\), a suitable approximation of the variational formulation of the contact problem is a two-dimensional variational inequality which can be identified as the variational formulation of the obstacle problem for an elastic membrane. On the other hand, if the applied body force density is \(O(\varepsilon^{2})\) and surface tractions density is \(O(\varepsilon^{3})\), the corresponding approximation is a different two-dimensional inequality which can be identified as the variational formulation of the obstacle problem for an elastic flexural shell. We finally discuss the existence and uniqueness of solution for the limit two-dimensional variational problems found.     

A Simple Method for the Determination of Adsorption Kinetic Parameters Using Recycle Fixed-Bed Adsorber

This study focuses on the development of a novel analysis technique for determining the intraparticle diffusivity \((D_{\mathrm{S}})\) and fluid film mass transfer coefficient \((k_\mathrm{F})\) from a concentration history curve of a recycle fixed-bed reactor without using the linear driving force approximation and empirical equations for the estimation of \(k_\mathrm{F}\). The recycle fixed-bed method requires lesser amounts of working fluid for experiment purposes, which is an advantage over the usual fixed-bed method. Based on the characterization results of the concentration history curves, simulated by rigorous numerical calculations, a novel analysis technique was established. The \(D_{\mathrm{S}}\) value can be determined from the experimentally obtained time at which the concentration of the curve is minimal \((t_{C\mathrm{min}})\). The \(k_\mathrm{F}\) value can be determined from the \(D_{\mathrm{S}}\) value and Biot number (Bi), which can be estimated from the experimental ratio of the maximum concentration to the minimum concentration \((c_{\max }/c_{\min })\). The \(D_{\mathrm{S}}\) and \(k_\mathrm{F}\) values of phenol adsorption on an activated carbon material were determined experimentally using the proposed analysis method. This method enables the determination of reliable adsorption kinetic parameters through a simple and economical experiment. However, appropriate experimental data must be acquired under regulated experimental conditions, especially in the case of fluctuation of the concentration history curve.     

Delayed detached eddy simulations of fighter aircraft at high angle of attack

The massively separated flows over a realistic aircraft configuration at 40?, 50?, and 60?angles of attack are studied using the delayed detached eddy simulation(DDES).The calculations are carried out at experimental conditions corresponding to a mean aerodynamic chord-based Reynolds number of 8.93 × 10~5 and Mach number of 0.088. The influence of the grid size is investigated using two grids, 20.0×10~6cells and 31.0 × 10~6 cells. At the selected conditions, the lift,drag, and pitching moment from DDES predictions agree with the experimental data better than that from the Reynoldsaveraged Navier–Stokes. The effect of angle of attack on the flow structure over the general aircraft is also studied, and it is found that the dominated frequency associated with the vortex shedding process decreases with increasing angle of attack.