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

Exponential Decay of the Vorticity in the Steady-State Flow of a Viscous Liquid Past a Rotating Body

We construct a Sobolev homeomorphism in dimension \({n \geqq 4,\,f \in W^{1,1}((0, 1)^n,\mathbb{R}^n)}\) such that \({J_f = {\rm det} Df > 0}\) on a set of positive measure and J _f  < 0 on a set of positive measure. It follows that there are no diffeomorphisms (or piecewise affine homeomorphisms) f _k such that \({f_k\to f}\) in \({W^{1,1}_{\rm loc}}\).     

Global Well-Posedness for Navier–Stokes Equations with Small Initial Value in $${B^{0}_{n,\infty}(\Omega)}$$

We prove global well-posedness for instationary Navier–Stokes equations with initial data in Besov space \({B^{0}_{n,\infty}(\Omega)}\) in whole and half space, and bounded domains of \({{\mathbb R}^{n}}\), \({n \geq 3}\). To this end, we prove maximal \({L^{\infty}_{\gamma}}\) -regularity of the sectorial operators in some Banach spaces and, in particular, maximal \({L^{\infty}_{\gamma}}\) -regularity of the Stokes operator in little Nikolskii spaces \({b^{s}_{q,\infty}(\Omega)}\), \({s \in (-1, 2)}\), which are of independent significance. Then, based on the maximal regularity results and \({b^{s_{1}}_{q_{1},\infty}-B^{s_{2}}_{q_{2,1}}}\) estimates of the Stokes semigroups, we prove global well-posedness for Navier–Stokes equations under smallness condition on \({\|u_{0}\|_{B^{0}_{n,\infty}(\Omega)}}\) via a fixed point argument using Banach fixed point theorem.     

Uniqueness of Positive Ground State Solutions of the Logarithmic Schrödinger Equation

We prove the uniqueness of positive ground state solutions of the problem \({ {\frac {d^{2}u}{dr^{2}}} + {\frac {n-1}{r}}{\frac {du}{dr}} + u \ln(|u|) = 0}\), \({u(r) > 0~\forall r \ge 0}\), and \({(u(r),u'(r)) \to (0, 0)}\) as \({r \to \infty}\). This equation is derived from the logarithmic Schrödinger equation \({{\rm i}\psi_{t} = {\Delta} \psi + u \ln \left(|u|^{2}\right)}\), and also from the classical equation \({{\frac {\partial u}{\partial t}} = {\Delta} u +u \left(|u|^{p-1}\right) -u}\). For each \({n \ge 1}\), a positive ground state solution is \({ u_{0}(r) = \exp \left(-{\frac{r^2}{4}} + {\frac{n}{2}}\right),~0 \le r < \infty}\). We combine \({u_{0}(r)}\) with energy estimates and associated Ricatti equation estimates to prove that, for each \({n \in \left[1, 9 \right]}\), \({u_{0}(r)}\) is the only positive ground state. We also investigate the stability of \({u_{0}(r)}\). Several open problems are stated.     

Local and Global Behaviour of Solutions to Nonlinear Equations with Natural Growth Terms

In this paper we study the Dirichlet problem

$\left\{\begin{array}{lll}-\Delta_p{u} = \sigma |u|^{p-2}u + \omega \quad {\rm in}\;\Omega,\\ u = 0 \qquad\quad\qquad\quad\;\qquad{\rm on}\;\partial\Omega,\end{array}\right.$

, where σ and ω are nonnegative Borel measures, and \({\Delta_p{u} = \nabla \cdot (\nabla{u} \, |\nabla{u}|^{p-2})}\) is the p-Laplacian. Here \({\Omega \subseteq \mathbf{R}^n}\) is either a bounded domain, or the entire space. Our main estimates concern optimal pointwise bounds of solutions in terms of two local Wolff’s potentials, under minimal regularity assumed on σ and ω. In addition, analogous results for equations modeled by the k-Hessian in place of the p-Laplacian will be discussed.

     

Temporal Homogenization of Linear ODEs,with Applications to Parametric Super-Resonance and Energy Harvest

We consider the temporal homogenization of linear ODEs of the form \({\dot{x}=Ax+\epsilon P(t)x+f(t)}\), where P(t) is periodic and \({\epsilon}\) is small. Using a 2-scale expansion approach, we obtain the long-time approximation \({x(t)\approx {\rm exp}(At) \left( \Omega(t)+\int_0^t {\rm exp}(-A \tau) f(\tau) {\rm d}\tau \right)}\), where \({\Omega}\) solves the cell problem \({\dot{\Omega}=\epsilon B \Omega + \epsilon F(t)}\) with an effective matrix B and an explicitly-known F(t). We provide necessary and sufficient conditions for the accuracy of the approximation (over a \({{\mathcal{O}}(\epsilon^{-1})}\) time-scale), and show how B can be computed (at a cost independent of \({\epsilon}\)). As a direct application, we investigate the possibility of using RLC circuits to harvest the energy contained in small scale oscillations of ambient electromagnetic fields (such as Schumann resonances). Although a RLC circuit parametrically coupled to the field may achieve such energy extraction via parametric resonance, its resistance R needs to be smaller than a threshold \({\kappa}\) proportional to the fluctuations of the field, thereby limiting practical applications. We show that if n RLC circuits are appropriately coupled via mutual capacitances or inductances, then energy extraction can be achieved when the resistance of each circuit is smaller than \({n\kappa}\). Hence, if the resistance of each circuit has a non-zero fixed value, energy extraction can be made possible through the coupling of a sufficiently large number n of circuits (\({n\approx 1000}\) for the first mode of Schumann resonances and contemporary values of capacitances, inductances and resistances). The theory is also applied to the control of the oscillation amplitude of a (damped) oscillator.     

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.

     

Boundedness for Some Doubly Nonlinear Parabolic Equations in Measure Spaces

In the context of measure spaces equipped with a doubling non-trivial Borel measure supporting a Poincaré inequality, we derive local and global sup bounds of the nonnegative weak subsolutions of

$$\begin{aligned} (u^{q})_t-\nabla \cdot {(|\nabla u|^{p-2}\nabla u)}=0, \quad \mathrm {in} \ U_\tau = U \times (\tau _1, \tau _2] , \quad p>1,\quad q>1 \end{aligned}$$

and of its associated Dirichlet problem, respectively. For particular ranges of the exponents p and q, we show that any locally nonnegative weak subsolution, taken in \(Q (\subset \bar{Q}\subset U_\tau )\), is controlled from above by the \(L^\alpha (\bar{Q}) \)-norm, for \(\alpha = \max \{p, q+1\}\). As for the global setting, under suitable assumptions on the boundary datum g and on the initial datum, we obtain sup bounds for u, in \(U \times \{ t\}\), which depend on the \(\sup g\) and on the \(L^{q+1}(U \times (\tau _1, \tau _1+t])\)-norm of \((u-\sup g)_+\), for all \(t \in (0, \tau _2-\tau _1]\). On the critical ranges of p and q, a priori local and global \(L^\infty \) estimates require extra qualitative information on u.

     

Steady Nearly Incompressible Vector Fields in Two-Dimension: Chain Rule and Renormalization

Given bounded vector field \({b : {\mathbb{R}^{d}} \to {\mathbb{R}^{d}}}\), scalar field \({u : {\mathbb{R}^{d}} \to {\mathbb{R}}}\), and a smooth function \({\beta : {\mathbb{R}} \to {\mathbb{R}}}\), we study the characterization of the distribution \({{\rm div}(\beta(u)b)}\) in terms of div b and div(ub). In the case of BV vector fields b (and under some further assumptions), such characterization was obtained by L. Ambrosio, C. De Lellis and J. Malý, up to an error term which is a measure concentrated on the so-called tangential set of b. We answer some questions posed in their paper concerning the properties of this term. In particular, we construct a nearly incompressible BV vector field b and a bounded function u for which this term is nonzero. For steady nearly incompressible vector fields b (and under some further assumptions), in the case when d = 2, we provide complete characterization of div(\({\beta(u)b}\)) in terms of div b and div(ub). Our approach relies on the structure of level sets of Lipschitz functions on \({{\mathbb{R}^{2}}}\) obtained by G. Alberti, S. Bianchini and G. Crippa. Extending our technique, we obtain new sufficient conditions when any bounded weak solution u of \({\partial_t u + b \cdot \nabla u=0}\) is renormalized, that is when it also solves \({\partial_t \beta(u) + b \cdot \nabla \beta(u)=0}\) for any smooth function \({\beta \colon{\mathbb{R}} \to {\mathbb{R}}}\). As a consequence, we obtain new a uniqueness result for this equation.     

Focusing Quantum Many-body Dynamics: The Rigorous Derivation of the 1D Focusing Cubic Nonlinear Schrödinger Equation

We consider the dynamics of N bosons in 1D. We assume that the pair interaction is attractive and given by \({N^{\beta-1}V(N^{\beta}.) where }\) where \({\int V \leqslant 0}\). We develop new techniques in treating the N-body Hamiltonian so that we overcome the difficulties generated by the attractive interaction and establish new energy estimates. We also prove the optimal 1D collapsing estimate which reduces the regularity requirement in the uniqueness argument by half a derivative. We derive rigorously the 1D focusing cubic NLS with a quadratic trap as the \({N \rightarrow \infty}\) limit of the N-body dynamic and hence justify the mean-field limit and prove the propagation of chaos for the focusing quantum many-body system.     

Infinitely Many Stability Switches in a Problem with Sublinear Oscillatory Boundary Conditions

We consider the elliptic equation \(-\Delta u +u =0\) with nonlinear boundary condition \(\frac{\partial u}{\partial n}= \lambda u + g(\lambda ,x,u), \) where \(\frac{g(\lambda ,x,s)}{s} \rightarrow 0, \hbox { as }|s|\rightarrow \infty \) and g is oscillatory. We provide sufficient conditions on g for the existence of unbounded sequences of stable solutions, unstable solutions, and turning points, even in the absence of resonant solutions.     

On the Global Regularity of the Two-Dimensional Density Patch for Inhomogeneous Incompressible Viscous Flow

Regarding P.-L. Lions’ open question in Oxford Lecture Series in Mathematics and its Applications, Vol. 3 (1996) concerning the propagation of regularity for the density patch, we establish the global existence of solutions to the two-dimensional inhomogeneous incompressible Navier–Stokes system with initial density given by \({(1 - \eta){\bf 1}_{{\Omega}_{0}} + {\bf 1}_{{\Omega}_{0}^{c}}}\) for some small enough constant \({\eta}\) and some \({W^{k+2,p}}\) domain \({\Omega_{0}}\), with initial vorticity belonging to \({L^{1} \cap L^{p}}\) and with appropriate tangential regularities. Furthermore, we prove that the regularity of the domain \({\Omega_0}\) is preserved by time evolution.     

Entire Solutions to Equivariant Elliptic Systems with Variational Structure

We consider the system Δu ? W _u (u) = 0, where \({u : \mathbb{R}^n \to \mathbb{R}^n}\) , for a class of potentials \({W : \mathbb{R}^n \to \mathbb{R}}\) that possess several global minima and are invariant under a general finite reflection group G. We establish existence of nontrivial G-equivariant entire solutions connecting the global minima of W along certain directions at infinity.     

Uniform Regularity and Vanishing Dissipation Limit for the Full Compressible Navier–Stokes System in Three Dimensional Bounded Domain

In the present paper, we study the uniform regularity and vanishing dissipation limit for the full compressible Navier–Stokes system whose viscosity and heat conductivity are allowed to vanish at different orders. The problem is studied in a three dimensional bounded domain with Navier-slip type boundary conditions. It is shown that there exists a unique strong solution to the full compressible Navier–Stokes system with the boundary conditions in a finite time interval which is independent of the viscosity and heat conductivity. The solution is uniformly bounded in \({W^{1,\infty}}\) and is a conormal Sobolev space. Based on such uniform estimates, we prove the convergence of the solutions of the full compressible Navier–Stokes to the corresponding solutions of the full compressible Euler system in \({L^\infty(0,T; L^2)}\), \({L^\infty(0,T; H^{1})}\) and \({L^\infty([0,T]\times\Omega)}\) with a rate of convergence.     

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.

     

Local Fixed Point Indices of Iterations of Planar Maps

Let \({f: U\rightarrow {\mathbb R}^2}\) be a continuous map, where U is an open subset of \({{\mathbb R}^2}\). We consider a fixed point p of f which is neither a sink nor a source and such that {p} is an isolated invariant set. Under these assumption we prove, using Conley index methods and Nielsen theory, that the sequence of fixed point indices of iterations \({\{{\rm ind}(f^n,p)\}_{n=1}^\infty}\) is periodic, bounded from above by 1, and has infinitely many non-positive terms, which is a generalization of Le Calvez and Yoccoz theorem (Annals of Math., 146, 241–293 (1997)) onto the class of non-injective maps. We apply our result to study the dynamics of continuous maps on 2-dimensional sphere.     

Global Strong Well-Posedness of the Three Dimensional Primitive Equations in {L^p}-Spaces

In this article, an \({L^p}\)-approach to the primitive equations is developed. In particular, it is shown that the three dimensional primitive equations admit a unique, global strong solution for all initial data \({a \in [X_p,D(A_p)]_{1/p}}\) provided \({p \in [6/5,\infty)}\). To this end, the hydrostatic Stokes operator \({A_p}\) defined on \({X_p}\), the subspace of \({L^p}\) associated with the hydrostatic Helmholtz projection, is introduced and investigated. Choosing \({p}\) large, one obtains global well-posedness of the primitive equations for strong solutions for initial data \({a}\) having less differentiability properties than \({H^1}\), hereby generalizing in particular a result by Cao and Titi (Ann Math 166:245–267, 2007) to the case of non-smooth initial data.