Space-time asymptotics of the two dimensional Navier–Stokes flow in the whole plane

We consider the space-time behavior of the two dimensional Navier–Stokes flow. Introducing some qualitative structure of initial data, we succeed to derive the first order asymptotic expansion of the Navier–Stokes flow without moment condition on initial data in $L^1({\mathbb{R}}^2)\cap L_{\sigma }^2({\mathbb{R}}^2)$. Moreover, we characterize the necessary and sufficient condition for the rapid energy decay ${6u(t)6}_2=o(t^{?1})$ as $t\to \infty$ motivated by Miyakawa–Schonbek [21]. By weighted estimated in Hardy spaces, we discuss the possibility of the second order asymptotic expansion of the Navier–Stokes flow assuming the first order moment condition on initial data. Moreover, observing that the Navier–Stokes flow $u(t)$ lies in the Hardy space $H^1({\mathbb{R}}^2)$ for $t>0$, we consider the asymptotic expansions in terms of Hardy-norm. Finally we consider the rapid time decay ${6u(t)6}_2=o(t^{?\frac{3}{2}})$ as $t\to \infty$ with cyclic symmetry introduced by Brandolese [2].     

Global well-posedness and decay estimates of strong solutions to a two-phase model with magnetic field

In this paper, we consider the Cauchy problem for a two-phase model with magnetic field in three dimensions. The global existence and uniqueness of strong solution as well as the time decay estimates in $H^2({\mathbb{R}}^3)$ are obtained by introducing a new linearized system with respect to $(n^{\gamma }?{\stackrel{?}{n}}^{\gamma },n?\stackrel{?}{n},P?\stackrel{?}{P},u,H)$ for constants $\stackrel{?}{n}\ge 0$ and $\stackrel{?}{P}>0$, and doing some new a priori estimates in Sobolev Spaces to get the uniform upper bound of $(n?\stackrel{?}{n},n^{\gamma }?{\stackrel{?}{n}}^{\gamma })$ in $H^2({\mathbb{R}}^3)$ norm.     

Exponential stability for the wave model with localized memory in a past history framework

In this paper we discuss the asymptotic stability as well as the well-posedness of the damped wave equation posed on a bounded domain Ω of ${\mathbb{R}}^n,n\ge 2$,

$\rho (x)u_{tt}?\mathrm{\Delta }u+\underset{0}{\overset{\infty }{\int }}g(s)\text{div}[a(x)\mathrm{?}u(?,t?s)]ds+b(x)u_t=0,$

subject to a locally distributed viscoelastic effect driven by a nonnegative function $a(x)$ and supplemented with a frictional damping $b(x)\ge 0$ acting on a region A of Ω, where $a=0$ in A. Assuming that $\rho (x)$ is constant, considering that the well-known geometric control condition $(\omega ,T_0)$ holds and supposing that the relaxation function g is bounded by a function that decays exponentially to zero, we prove that the solutions to the corresponding partial viscoelastic model decay exponentially to zero, even in the absence of the frictional dissipative effect. In addition, in some suitable cases where the material density $\rho (x)$ is not constant, it is also possible to remove the frictional damping term $b(x)u_t$, that is, the localized viscoelastic damping is strong enough to assure that the system is exponentially stable. The semi-linear case is also considered.     

Toeplitz quantization on Fock space

For Toeplitz operators $T_f^{(t)}$ acting on the weighted Fock space $H_t^2$, we consider the semi-commutator $T_f^{(t)}{T}_g^{(t)}?T_{fg}^{(t)}$, where $t>0$ is a certain weight parameter that may be interpreted as Planck's constant ? in Rieffel's deformation quantization. In particular, we are interested in the semi-classical limit

($?$)$\underset{t\to 0}{\lim }?{6T_f^{(t)}{T}_g^{(t)}?T_{fg}^{(t)}6}_t.$

It is well-known that ${6T_f^{(t)}{T}_g^{(t)}?T_{fg}^{(t)}6}_t$ tends to 0 under certain smoothness assumptions imposed on f and g. This result was recently extended to $f,g\in \mathrm{BUC}({\mathbb{C}}^n)$ by Bauer and Coburn. We now further generalize (?) to (not necessarily bounded) uniformly continuous functions and symbols in the algebra $\mathrm{VMO}\cap L^{\infty }$ of bounded functions having vanishing mean oscillation on ${\mathbb{C}}^n$. Our approach is based on the algebraic identity $T_f^{(t)}{T}_g^{(t)}?T_{fg}^{(t)}=?{(H_{\overline{f}}^{(t)})}^{?}{H}_g^{(t)}$, where $H_g^{(t)}$ denotes the Hankel operator corresponding to the symbol g, and norm estimates in terms of the (weighted) heat transform. As a consequence, only f (or likewise only g) has to be contained in one of the above classes for (?) to vanish. For g we only have to impose ${\lim \sup }_{t\to 0}{6H_g^{(t)}6}_t<\infty$, e.g. $g\in L^{\infty }({\mathbb{C}}^n)$. We prove that the set of all symbols $f\in L^{\infty }({\mathbb{C}}^n)$ with the property that ${\lim }_{t\to 0}?{6T_f^{(t)}{T}_g^{(t)}?T_{fg}^{(t)}6}_t={\lim }_{t\to 0}?{6T_g^{(t)}{T}_f^{(t)}?T_{gf}^{(t)}6}_t=0$ for all $g\in L^{\infty }({\mathbb{C}}^n)$ coincides with $\mathrm{VMO}\cap L^{\infty }$. Additionally, we show that $\underset{t\to 0}{\lim }?{6T_f^{(t)}6}_t={6f6}_{\infty }$ holds for all $f\in L^{\infty }({\mathbb{C}}^n)$. Finally, we present new examples, including bounded smooth functions, where (?) does not vanish.     

Construction and stability of blowup solutions for a non-variational semilinear parabolic systemConstruction et stabilité de solutions explosives pour un système parabolique sémilinéaire non-variationel

We consider the following parabolic system whose nonlinearity has no gradient structure:

$\{\begin{array}{cc}{?}_{t}u=\mathrm{\Delta }u+|v{|}^{p?1}v,\hfill & {?}_{t}v=\mu \mathrm{\Delta }v+|u{|}^{q?1}u,\hfill \\ u(?,0)=u_0,\hfill & v(?,0)=v_0,\hfill \end{array}$

in the whole space ${\mathbb{R}}^N$, where $p,q>1$ and $\mu >0$. We show the existence of initial data such that the corresponding solution to this system blows up in finite time $T(u_0,v_0)$ simultaneously in u and v only at one blowup point a, according to the following asymptotic dynamics:

$\{\begin{array}{cc}\hfill & u(x,t)～\mathrm{\Gamma }{[(T?t)(1+\frac{b|x?a{|}^2}{(T?t)|\log ?(T?t)|})]}^{?\frac{(p+1)}{pq?1}},\hfill \\ \hfill & v(x,t)～\gamma {[(T?t)(1+\frac{b|x?a{|}^2}{(T?t)|\log ?(T?t)|})]}^{?\frac{(q+1)}{pq?1}},\hfill \end{array}$

with $b=b(p,q,\mu )>0$ and $(\mathrm{\Gamma },\gamma )=(\mathrm{\Gamma }(p,q),\gamma (p,q))$. The construction relies on the reduction of the problem to a finite dimensional one and a topological argument based on the index theory to conclude. Two major difficulties arise in the proof: the linearized operator around the profile is not self-adjoint even in the case $\mu =1$; and the fact that the case $\mu \ne 1$ breaks any symmetry in the problem. In the last section, through a geometrical interpretation of quantities of blowup parameters whose dimension is equal to the dimension of the finite dimensional problem, we are able to show the stability of these blowup behaviors with respect to perturbations in initial data.     

Estimating the division rate and kernel in the fragmentation equation

We consider the fragmentation equation

$\frac{?f}{?t}(t,x)=?B(x)f(t,x)+\underset{y=x}{\overset{y=\infty }{\int }}k(y,x)B(y)f(t,y)dy,$

and address the question of estimating the fragmentation parameters – i.e. the division rate $B(x)$ and the fragmentation kernel $k(y,x)$ – from measurements of the size distribution $f(t,?)$ at various times. This is a natural question for any application where the sizes of the particles are measured experimentally whereas the fragmentation rates are unknown, see for instance Xue and Radford (2013) [26] for amyloid fibril breakage. Under the assumption of a polynomial division rate $B(x)=\alpha x^{\gamma }$ and a self-similar fragmentation kernel $k(y,x)=\frac{1}{y}{k}_0(\frac{x}{y})$, we use the asymptotic behavior proved in Escobedo et al. (2004) [11] to obtain uniqueness of the triplet $(\alpha ,\gamma ,k_0)$ and a representation formula for $k_0$. To invert this formula, one of the delicate points is to prove that the Mellin transform of the asymptotic profile never vanishes, what we do through the use of the Cauchy integral.     

Homogenization of a Dirichlet semilinear elliptic problem with a strong singularity at u = 0 in a domain with many small holes

In the present paper we perform the homogenization of the semilinear elliptic problem

$\{\begin{array}{cc}{u}^{\epsilon }\ge 0\hfill & \text{in}{\mathrm{\Omega }}^{\epsilon },\hfill \\ ?divA(x)D{u}^{\epsilon }=F(x,u^{\epsilon })\hfill & \text{in}{\mathrm{\Omega }}^{\epsilon },\hfill \\ u^{\epsilon }=0\hfill & \text{on}?{\mathrm{\Omega }}^{\epsilon }.\hfill \end{array}$

In this problem $F(x,s)$ is a Carathéodory function such that $0\le F(x,s)\le h(x)/\mathrm{\Gamma }(s)$ a.e. $x\in \mathrm{\Omega }$ for every $s>0$, with h in some $L^r(\mathrm{\Omega })$ and Γ a $C^1([0,+\infty [)$ function such that $\mathrm{\Gamma }(0)=0$ and ${\mathrm{\Gamma }}^{\prime }(s)>0$ for every $s>0$. On the other hand the open sets ${\mathrm{\Omega }}^{\epsilon }$ are obtained by removing many small holes from a fixed open set Ω in such a way that a “strange term” $\mu u^0$ appears in the limit equation in the case where the function $F(x,s)$ depends only on x.We already treated this problem in the case of a “mild singularity”, namely in the case where the function $F(x,s)$ satisfies $0\le F(x,s)\le h(x)(\frac{1}{s}+1)$. In this case the solution $u^{\epsilon }$ to the problem belongs to $H_0^1({\mathrm{\Omega }}^{\epsilon })$ and its definition is a “natural” and rather usual one.In the general case where $F(x,s)$ exhibits a “strong singularity” at $u=0$, which is the purpose of the present paper, the solution $u^{\epsilon }$ to the problem only belongs to $H_{\text{loc}}^1({\mathrm{\Omega }}^{\epsilon })$ but in general does not belong to $H_0^1({\mathrm{\Omega }}^{\epsilon })$ anymore, even if $u^{\epsilon }$ vanishes on $?{\mathrm{\Omega }}^{\epsilon }$ in some sense. Therefore we introduced a new notion of solution (in the spirit of the solutions defined by transposition) for problems with a strong singularity. This definition allowed us to obtain existence, stability and uniqueness results.In the present paper, using this definition, we perform the homogenization of the above semilinear problem and we prove that in the homogenized problem, the “strange term” $\mu u^0$ still appears in the left-hand side while the source term $F(x,u^0)$ is not modified in the right-hand side.     

Regularity in Lp Sobolev spaces of solutions to fractional heat equations

This work contributes in two areas, with sharp results, to the current investigation of regularity of solutions of heat equations with a nonlocal operator P:

(*)$Pu+{?}_{t}u=f(x,t),\text{ for }x\in \mathrm{\Omega }?{\mathbb{R}}^n,t\in I?\mathbb{R}.$

1) For strongly elliptic pseudodifferential operators (ψdo's) P on ${\mathbb{R}}^n$ of order $d\in {\mathbb{R}}_{+}$, a symbol calculus on ${\mathbb{R}}^{n+1}$ is introduced that allows showing optimal regularity results, globally over ${\mathbb{R}}^{n+1}$ and locally over $\mathrm{\Omega }\times I$:

$f\in H_{p,\mathrm{loc}}^{(s,s/d)}(\mathrm{\Omega }\times I)?u\in H_{p,\mathrm{loc}}^{(s+d,s/d+1)}(\mathrm{\Omega }\times I),$

for $s\in \mathbb{R}$, $1<p<\infty$. The $H_p^{(s,s/d)}$ are anisotropic Sobolev spaces of Bessel-potential type, and there is a similar result for Besov spaces.2) Let Ω be smooth bounded, and let P equal ${(?\mathrm{\Delta })}^a$ ($0<a<1$), or its generalizations to singular integral operators with regular kernels, generating stable Lévy processes. With the Dirichlet condition $\mathrm{supp}u?\stackrel{￣}{\mathrm{\Omega }}$, the initial condition $u{|}_{t=0}=0$, and $f\in L_p(\mathrm{\Omega }\times I)$, (*) has a unique solution $u\in L_p(I;H_p^{a(2a)}(\stackrel{￣}{\mathrm{\Omega }}))$ with ${?}_{t}u\in L_p(\mathrm{\Omega }\times I)$. Here $H_p^{a(2a)}(\stackrel{￣}{\mathrm{\Omega }})={\dot{H}}_p^{2a}(\stackrel{￣}{\mathrm{\Omega }})$ if $a<1/p$, and is contained in ${\dot{H}}_p^{2a?\epsilon }(\stackrel{￣}{\mathrm{\Omega }})$ if $a=1/p$, but contains nontrivial elements from $d^a{\stackrel{￣}{H}}_p^a(\mathrm{\Omega })$ if $a>1/p$ (where $d(x)=\mathrm{dist}(x,?\mathrm{\Omega })$). The interior regularity of u is lifted when f is more smooth.     

Modified scattering for the critical nonlinear Schrödinger equation

We consider the nonlinear Schrödinger equation

$i{u}_t+\mathrm{\Delta }u=\lambda |u{|}^{\frac{2}{N}}u$

in all dimensions $N\ge 1$, where $\lambda \in \mathbb{C}$ and $?\lambda \le 0$. We construct a class of initial values for which the corresponding solution is global and decays as $t\to \infty$, like $t^{?\frac{N}{2}}$ if $?\lambda =0$ and like ${(t\log ?t)}^{?\frac{N}{2}}$ if $?\lambda <0$. Moreover, we give an asymptotic expansion of those solutions as $t\to \infty$. We construct solutions that do not vanish, so as to avoid any issue related to the lack of regularity of the nonlinearity at $u=0$. To study the asymptotic behavior, we apply the pseudo-conformal transformation and estimate the solutions by allowing a certain growth of the Sobolev norms which depends on the order of regularity through a cascade of exponents.     

Boundary regularity criteria for the 6D steady Navier–Stokes and MHD equations

It is shown in this paper that suitable weak solutions to the 6D steady incompressible Navier–Stokes and MHD equations are Hölder continuous near boundary provided that either $r^{?3}{\int }_{B_r^{+}}|u(x){|}^{3}dx$ or $r^{?2}{\int }_{B_r^{+}}|\mathrm{?}u(x){|}^{2}dx$ is sufficiently small, which implies that the 2D Hausdorff measure of the set of singular points near the boundary is zero. This generalizes recent interior regularity results by Dong–Strain [5].     

Renormalized radial large-data solutions to the higher-dimensional Keller–Segel system with singular sensitivity and signal absorption

The chemotaxis system

$\{\begin{array}{c}{u}_t=\mathrm{\Delta }u?\mathrm{?}?\left(\frac{u}{v}\mathrm{?}v\right),\hfill \\ v_t=\mathrm{\Delta }v?uv,\hfill \end{array}(?)$

is considered under homogeneous Neumann boundary conditions in the ball $\mathrm{\Omega }=B_R(0)?{\mathbb{R}}^n$, where $R>0$ and $n\ge 2$.Despite its great relevance as a model for the spontaneous emergence of spatial structures in populations of primitive bacteria, since its introduction by Keller and Segel in 1971 this system has been lacking a satisfactory theory even at the level of the basic questions from the context of well-posedness; global existence results in the literature are restricted to spatially one- or two-dimensional cases so far, or alternatively require certain smallness hypotheses on the initial data.For all suitably regular and radially symmetric initial data $(u_0,v_0)$ satisfying $u_0\ge 0$ and $v_0>0$, the present paper establishes the existence of a globally defined pair $(u,v)$ of radially symmetric functions which are continuous in $(\overline{\mathrm{\Omega }}?\{0\})\times [0,\infty )$ and smooth in $(\overline{\mathrm{\Omega }}?\{0\})\times (0,\infty )$, and which solve the corresponding initial-boundary value problem for (?) with $(u(?,0),v(?,0))=(u_0,v_0)$ in an appropriate generalized sense. To the best of our knowledge, this in particular provides the first result on global existence for the three-dimensional version of (?) involving arbitrarily large initial data.     

Pairs of quadratic forms over a quadratic field extension

Let F be a field of characteristic distinct from 2, $L=F(\sqrt{d})$ a quadratic field extension. Let further f and g be quadratic forms over L considered as polynomials in n variables, $M_f$, $M_g$ their matrices. We say that the pair $(f,g)$ is a k-pair if there exist $S\in G{L}_n(L)$ such that all the entries of the $k\times k$ upper-left corner of the matrices $S{M}_f{S}^t$ and $S{M}_g{S}^t$ are in F. We give certain criteria to determine whether a given pair $(f,g)$ is a k-pair. We consider the transfer ${\mathrm{cor}}_{L(t)/F(t)}$ determined by the $F(t)$-linear map $s:L(t)\to F(t)$ with $s(1)=0$, $s(\sqrt{d})=1$, and prove that if $\dim {\mathrm{cor}}_{L(t)/F(t)}{(f+tg)}_{an}\le 2(n?k)$, then $(f,g)$ is a $[\frac{k+1}{2}]$-pair. If, additionally, the form $f+tg$ does not have a totally isotropic subspace of dimension $p+1$ over $L(t)$, we show that $(f,g)$ is a $(k?2p)$-pair. In particular, if the form $f+tg$ is anisotropic, and $\dim {\mathrm{cor}}_{L(t)/F(t)}{(f+tg)}_{an}\le 2(n?k)$, then $(f,g)$ is a k-pair.     

Global solvability and global hypoellipticity in Gevrey classes for vector fields on the torus

Let $L=?/?t+{\sum }_{j=1}^N(a_j+i{b}_j)(t)?/?x_j$ be a vector field defined on the torus ${\mathbb{T}}^{N+1}?{\mathbb{R}}^{N+1}/2\pi {\mathbb{Z}}^{N+1}$, where $a_j$, $b_j$ are real-valued functions and belonging to the Gevrey class $G^s({\mathbb{T}}^1)$, $s>1$, for $j=1,\dots ,N$. We present a complete characterization for the s-global solvability and s-global hypoellipticity of L. Our results are linked to Diophantine properties of the coefficients and, also, connectedness of certain sublevel sets.     

The generic gradient-like structure of certain asymptotically autonomous semilinear parabolic equations

We consider asymptotically autonomous semilinear parabolic equations

$u_t+Au=f(t,u).$

Suppose that $f(t,.)\to f^{\pm }$ as $t\to \pm \infty$, where the semiflows induced by

(*)$u_t+Au=f^{\pm }(u)$

are gradient-like. Under certain assumptions, it is shown that generically with respect to a perturbation g with $g(t)\to 0$ as $\left|t\right|\to \infty$, every solution of

$u_t+Au=f(t,u)+g(t)$

is a connection between equilibria $e^{\pm }$ of (*) with $m(e^{?})\ge m(e^{+})$. Moreover, if the Morse indices satisfy $m(e^{?})=m(e^{+})$, then u is isolated by linearization.     

Nonlinear fractional magnetic Schrödinger equation: Existence and multiplicity

In this paper we focus our attention on the following nonlinear fractional Schrödinger equation with magnetic field

${\epsilon }^{2s}{(?\mathrm{\Delta })}_{A/\epsilon }^{s}u+V(x)u=f(|u{|}^2)u\text{ in }{\mathbb{R}}^N,$

where $\epsilon >0$ is a parameter, $s\in (0,1)$, $N\ge 3$, ${(?\mathrm{\Delta })}_A^s$ is the fractional magnetic Laplacian, $V:{\mathbb{R}}^N\to \mathbb{R}$ and $A:{\mathbb{R}}^N\to {\mathbb{R}}^N$ are continuous potentials and $f:{\mathbb{R}}^N\to \mathbb{R}$ is a subcritical nonlinearity. By applying variational methods and Ljusternick–Schnirelmann theory, we prove existence and multiplicity of solutions for ε small.