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.     

Boundedness and asymptotic stability of solutions to a two-species chemotaxis system with consumption of chemoattractant

This paper deals with a two-competing-species chemotaxis system with consumption of chemoattractant

$\{\begin{array}{cc}{u}_t=d_1\mathrm{\Delta }u?\mathrm{?}?(u{\chi }_1(w)\mathrm{?}w)+{\mu }_{1}u(1?u?a_{1}v),\hfill & x\in \mathrm{\Omega },t>0,\hfill \\ v_t=d_2\mathrm{\Delta }v?\mathrm{?}?(v{\chi }_2(w)\mathrm{?}w)+{\mu }_{2}v(1?a_{2}u?v),\hfill & x\in \mathrm{\Omega },t>0,\hfill \\ w_t=d_3\mathrm{\Delta }w?(\alpha u+\beta v)w,\hfill & x\in \mathrm{\Omega },t>0\hfill \end{array}$

under homogeneous Neumann boundary conditions in a bounded domain $\mathrm{\Omega }?{\mathbb{R}}^n$ ($n\ge 1$) with smooth boundary, where the initial data $(u_0,v_0)\in {(C^0(\stackrel{￣}{\mathrm{\Omega }}))}^2$ and $w_0\in W^{1,\infty }(\mathrm{\Omega })$ are non-negative and the parameters $d_1,d_2,d_3>0$, ${\mu }_1,{\mu }_2>0$, $a_1,a_2>0$ and $\alpha ,\beta >0$. The chemotactic function ${\chi }_i(w)$ ($i=1,2$) is smooth and satisfying some conditions. It is proved that the corresponding initial–boundary value problem possesses a unique global bounded classical solution if one of the following cases hold: for $i=1,2$,(i) ${\chi }_i(w)={\chi }_{0,i}>0$ and

${6w_{0}6}_{L^{\infty }(\mathrm{\Omega })}<\frac{\pi \sqrt{d_i{d}_3}}{\sqrt{n+1}{\chi }_{0,i}}?\frac{2\sqrt{d_i{d}_3}}{\sqrt{n+1}{\chi }_{0,i}}\arctan ?\frac{d_i?d_3}{2}\sqrt{\frac{n+1}{d_i{d}_3}};$

(ii) $0<{6w_{0}6}_{L^{\infty }(\mathrm{\Omega })}\le \frac{d_3}{3(n+1){6{\chi }_{i}6}_{L^{\infty }[0,{6w_{0}6}_{L^{\infty }(\mathrm{\Omega })}]}}\min ?\{\frac{2d_i}{d_i+d_3},1\}$.Moreover, we prove asymptotic stabilization of solutions in the sense that:? If $a_1,a_2\in (0,1)$ and $u_0\ne 0\ne v_0$, then any global bounded solution exponentially converge to $(\frac{1?a_1}{1?a_1{a}_2},\frac{1?a_2}{1?a_1{a}_2},0)$ as $t\to \infty$;? If $a_1>1>a_2>0$ and $v_0\ne 0$, then any global bounded solution exponentially converge to $(0,1,0)$ as $t\to \infty$;? If $a_1=1>a_2>0$ and $v_0\ne 0$, then any global bounded solution algebraically converge to $(0,1,0)$ as $t\to \infty$.     

On the Hénon equation with a Neumann boundary condition: Asymptotic profile of ground states

Consider the Hénon equation with the homogeneous Neumann boundary condition

$?\mathrm{\Delta }u+u=|x{|}^{\alpha }{u}^p,u>0\text{in}\mathrm{\Omega },\frac{?u}{?\nu }=0\text{ on }?\mathrm{\Omega },$

where $\mathrm{\Omega }?B(0,1)?{\mathbb{R}}^N,N\ge 2$ and $?\mathrm{\Omega }\cap ?B(0,1)\ne ?$. We are concerned on the asymptotic behavior of ground state solutions as the parameter $\alpha \to \infty$. As $\alpha \to \infty$, the non-autonomous term $|x{|}^{\alpha }$ is getting singular near $|x|=1$. The singular behavior of $|x{|}^{\alpha }$ for large $\alpha >0$ forces the solution to blow up. Depending subtly on the $(N?1)?$dimensional measure $|?\mathrm{\Omega }\cap ?B(0,1){|}_{N?1}$ and the nonlinear growth rate p, there are many different types of limiting profiles. To catch the asymptotic profiles, we take different types of renormalization depending on p and $|?\mathrm{\Omega }\cap ?B(0,1){|}_{N?1}$. In particular, the critical exponent $2_{?}=\frac{2(N?1)}{N?2}$ for the Sobolev trace embedding plays a crucial role in the renormalization process. This is quite contrasted with the case of Dirichlet problems, where there is only one type of limiting profile for any $p\in (1,2^{?}?1)$ and a smooth domain Ω.     

Topological bounds for Fourier coefficients and applications to torsion

Let $\mathrm{\Omega }?{\mathbb{R}}^2$ be a bounded convex domain in the plane and consider

$\begin{array}{cc}\hfill ?\mathrm{\Delta }u& =1\text{in}\mathrm{\Omega }\hfill \\ \hfill u& =0\text{on}?\mathrm{\Omega }.\hfill \end{array}$

If u assumes its maximum in $x_0\in \mathrm{\Omega }$, then the eccentricity of level sets close to the maximum is determined by the Hessian $D^{2}u(x_0)$. We prove that $D^{2}u(x_0)$ is negative definite and give a quantitative bound on the spectral gap

$\begin{array}{c}{\lambda }_{\max }(D^{2}u(x_0))\le ?c_1\exp ?(?c_2\frac{\mathrm{diam}(\mathrm{\Omega })}{\mathrm{inrad}(\mathrm{\Omega })})\hfill \\ \text{for universal}{c}_1,c_2>0.\hfill \end{array}$

This is sharp up to constants. The proof is based on a new lower bound for Fourier coefficients whose proof has a topological component: if $f:\mathbb{T}\to \mathbb{R}$ is continuous and has n sign changes, then

$\sum _{k=0}^{n/2}\left|〈f,\sin ?kx〉\right|+\left|〈f,\cos ?kx〉\right|{?}_n\frac{{|f6}_{L^1(\mathbb{T})}^{n+1}}{{6f6}_{L^{\infty }(\mathbb{T})}^n}.$

This statement immediately implies estimates on higher derivatives of harmonic functions u in the unit ball: if u is very flat in the origin, then the boundary function $u(\cos ?t,\sin ?t):\mathbb{T}\to \mathbb{R}$ has to have either large amplitude or many roots. It also implies that the solution of the heat equation starting with $f:\mathbb{T}\to \mathbb{R}$ cannot decay faster than $～\exp ?(?{(\mathrm{\#}\text{sign changes})}^{2}t/4)$.     

Positive effects of repulsion on boundedness in a fully parabolic attraction–repulsion chemotaxis system with logistic source

In this paper we study the global boundedness of solutions to the fully parabolic attraction–repulsion chemotaxis system with logistic source: $u_t=\mathrm{\Delta }u?\chi \mathrm{?}?(u\mathrm{?}v)+\xi \mathrm{?}?(u\mathrm{?}w)+f(u)$, $v_t=\mathrm{\Delta }v?\beta v+\alpha u$, $w_t=\mathrm{\Delta }w?\delta w+\gamma u$, subject to homogeneous Neumann boundary conditions in a bounded and smooth domain $\mathrm{\Omega }?{\mathbb{R}}^n$ ($n\ge 1$), where χ, α, ξ, γ, β and δ are positive constants, and $f:\mathbb{R}\to \mathbb{R}$ is a smooth function generalizing the logistic source $f(s)=a?b{s}^{\theta }$ for all $s\ge 0$ with $a\ge 0$, $b>0$ and $\theta \ge 1$. It is shown that when the repulsion cancels the attraction (i.e. $\chi \alpha =\xi \gamma$), the solution is globally bounded if $n\le 3$, or $\theta >{\theta }_n:=\min ?\{\frac{n+2}{4},\frac{n\sqrt{n^2+6n+17}?n^2?3n+4}{4}\}$ with $n\ge 2$. Therefore, due to the inhibition of repulsion to the attraction, in any spatial dimension, the exponent θ is allowed to take values less than 2 such that the solution is uniformly bounded in time.     

Current superalgebras and unitary representations

In this paper we determine the projective unitary representations of finite dimensional Lie supergroups whose underlying Lie superalgebra is $\mathfrak{g}=A?\mathfrak{k}$, where $\mathfrak{k}$ is a compact simple Lie superalgebra and A is a supercommutative associative (super)algebra; the crucial case is when $A={\mathrm{\Lambda }}_s(\mathbb{R})$ is a Graßmann algebra. Since we are interested in projective representations, the first step consists in determining the cocycles defining the corresponding central extensions. Our second main result asserts that, if $\mathfrak{k}$ is a simple compact Lie superalgebra with ${\mathfrak{k}}_1\ne \{0\}$, then each (projective) unitary representation of ${\mathrm{\Lambda }}_s(\mathbb{R})?\mathfrak{k}$ factors through a (projective) unitary representation of $\mathfrak{k}$ itself, and these are known by Jakobsen's classification. If ${\mathfrak{k}}_1=\{0\}$, then we likewise reduce the classification problem to semidirect products of compact Lie groups K with a Clifford–Lie supergroup which has been studied by Carmeli, Cassinelli, Toigo and Varadarajan.     

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.     

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.     

Global existence and stabilization in a degenerate chemotaxis-Stokes system with mildly strong diffusion enhancement

A class of chemotaxis-Stokes systems generalizing the prototype

$\{\begin{array}{ccc}\hfill n_t+u?\mathrm{?}n& \hfill =\hfill & \mathrm{?}?\left(n^{m?1}\mathrm{?}n\right)?\mathrm{?}?\left(n\mathrm{?}c\right),\hfill \\ \hfill c_t+u?\mathrm{?}c& \hfill =\hfill & \mathrm{\Delta }c?nc,\hfill \\ \hfill u_t+\mathrm{?}P& \hfill =\hfill & \mathrm{\Delta }u+n\mathrm{?}?,\mathrm{?}?u=0,\hfill \end{array}$

is considered in bounded convex three-dimensional domains, where $?\in W^{2,\infty }(\mathrm{\Omega })$ is given.The paper develops an analytical approach which consists in a combination of energy-based arguments and maximal Sobolev regularity theory, and which allows for the construction of global bounded weak solutions to an associated initial-boundary value problem under the assumption that

(0.1)$m>\frac{9}{8}.$

Moreover, the obtained solutions are shown to approach the spatially homogeneous steady state $(\frac{1}{|\mathrm{\Omega }|}{\int }_{\mathrm{\Omega }}{n}_0,0,0)$ in the large time limit.This extends previous results which either relied on different and apparently less significant energy-type structures, or on completely alternative approaches, and thereby exclusively achieved comparable results under hypotheses stronger than (0.1).     

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.     

Expression of Dirichlet boundary conditions in terms of the strain tensor in linearized elasticity

In a previous work, it was shown how the linearized strain tensor field $\mathbf{e}:=\frac{1}{2}(\mathbf{?}{\mathit{u}}^T+\mathbf{?}\mathit{u})\in {\mathbb{L}}^2(\Omega )$ can be considered as the sole unknown in the Neumann problem of linearized elasticity posed over a domain $\Omega ?{\mathbb{R}}^3$, instead of the displacement vector field $\mathit{u}\in {\mathit{H}}^1(\Omega )$ in the usual approach. The purpose of this Note is to show that the same approach applies as well to the Dirichlet–Neumann problem. To this end, we show how the boundary condition $\mathit{u}=\mathbf{0}$ on a portion ${\Gamma }_0$ of the boundary of Ω can be recast, again as boundary conditions on ${\Gamma }_0$, but this time expressed only in terms of the new unknown $\mathbf{e}\in {\mathbb{L}}^2(\Omega )$.     

On maximizing the fundamental frequency of the complement of an obstacle

Let $\mathrm{\Omega }?{\mathbb{R}}^n$ be a bounded domain satisfying a Hayman-type asymmetry condition, and let D be an arbitrary bounded domain referred to as an “obstacle”. We are interested in the behavior of the first Dirichlet eigenvalue ${\lambda }_1(\mathrm{\Omega }?(x+D))$.First, we prove an upper bound on ${\lambda }_1(\mathrm{\Omega }?(x+D))$ in terms of the distance of the set $x+D$ to the set of maximum points $x_0$ of the first Dirichlet ground state ${?}_{{\lambda }_1}>0$ of Ω. In short, a direct corollary is that if

(1)${\mu }_{\mathrm{\Omega }}:=\underset{x}{\max }?{\lambda }_1(\mathrm{\Omega }?(x+D))$

is large enough in terms of ${\lambda }_1(\mathrm{\Omega })$, then all maximizer sets $x+D$ of ${\mu }_{\mathrm{\Omega }}$ are close to each maximum point $x_0$ of ${?}_{{\lambda }_1}$.Second, we discuss the distribution of ${?}_{{\lambda }_1(\mathrm{\Omega })}$ and the possibility to inscribe wavelength balls at a given point in Ω.Finally, we specify our observations to convex obstacles D and show that if ${\mu }_{\mathrm{\Omega }}$ is sufficiently large with respect to ${\lambda }_1(\mathrm{\Omega })$, then all maximizers $x+D$ of ${\mu }_{\mathrm{\Omega }}$ contain all maximum points $x_0$ of ${?}_{{\lambda }_1(\mathrm{\Omega })}$.     

Existence and convexity of local solutions to degenerate Hessian equations

In this work, we prove the existence of convex solutions to the following k-Hessian equation

$S_k[u]=K(y)g(y,u,Du)$

in the neighborhood of a point $(y_0,u_0,p_0)\in {\mathbb{R}}^n\times \mathbb{R}\times {\mathbb{R}}^n$, where $g\in C^{\infty },g(y_0,u_0,p_0)>0$, $K\in C^{\infty }$ is nonnegative near $y_0$, $K(y_0)=0$ and $\text{Rank}(D_y^{2}K)(y_0)\ge n?k+1$.     

Global existence and blow-up of solutions for the heat equation with exponential nonlinearity

We are concerned with the existence of global in time solution for a semilinear heat equation with exponential nonlinearity

(P)$\{\begin{array}{cc}{?}_{t}u=\mathrm{\Delta }u+e^u,\hfill & x\in {\mathbf{R}}^N,t>0,\hfill \\ u(x,0)=u_0(x),\hfill & x\in {\mathbf{R}}^N,\hfill \end{array}$

where $u_0$ is a continuous initial function. In this paper, we consider the case where $u_0$ decays to ?∞ at space infinity, and study the optimal decay bound classifying the existence of global in time solutions and blowing up solutions for (P). In particular, we point out that the optimal decay bound for $u_0$ is related to the decay rate of forward self-similar solutions of ${?}_{t}u=\mathrm{\Delta }u+e^u$.     

The E-normal structure of odd dimensional unitary groups

In this paper we define odd dimensional unitary groups ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$. These groups contain as special cases the odd dimensional general linear groups ${\mathrm{GL}}_{2n+1}(R)$ where R is any ring, the odd dimensional orthogonal and symplectic groups ${\mathrm{O}}_{2n+1}(R)$ and ${\mathrm{Sp}}_{2n+1}(R)$ where R is any commutative ring and further the first author's even dimensional unitary groups ${\mathrm{U}}_{2n}(R,\mathrm{\Lambda })$ where $(R,\mathrm{\Lambda })$ is any form ring. We classify the E-normal subgroups of the groups ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$ (i.e. the subgroups which are normalized by the elementary subgroup ${\mathrm{EU}}_{2n+1}(R,\mathrm{\Delta })$), under the condition that R is either a semilocal or quasifinite ring with involution and $n\ge 3$. Further we investigate the action of ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$ by conjugation on the set of all E-normal subgroups.