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$.     

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 Ω.     

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$.     

Classification of solutions of elliptic equations arising from a gravitational O(3) gauge field model

In this paper, we study an elliptic equation arising from the self-dual Maxwell gauged $O(3)$ sigma model coupled with gravity. When the parameter τ equals 1 and there is only one singular source, we consider radially symmetric solutions. There appear three important constants: a positive parameter a representing a scaled gravitational constant, a nonnegative integer $N_1$ representing the total string number, and a nonnegative integer $N_2$ representing the total anti-string number. The values of the products $a{N}_1,a{N}_2\in [0,\infty )$ play a crucial role in classifying radial solutions. By using the decay rates of solutions at infinity, we provide a complete classification of solutions for all possible values of $a{N}_1$ and $a{N}_2$. This improves previously known results.     

Blow-up behavior of ground states for a nonlinear Schrödinger system with attractive and repulsive interactions

We consider a nonlinear Schrödinger system arising in a two-component Bose–Einstein condensate (BEC) with attractive intraspecies interactions and repulsive interspecies interactions in ${\mathbb{R}}^2$. We get ground states of this system by solving a constrained minimization problem. For some kinds of trapping potentials, we prove that the minimization problem has a minimizer if and only if the attractive interaction strength $a_i(i=1,2)$ of each component of the BEC system is strictly less than a threshold $a^{?}$. Furthermore, as $(a_1,a_2)\nearrow (a^{?},a^{?})$, the asymptotical behavior for the minimizers of the minimization problem is discussed. Our results show that each component of the BEC system concentrates at a global minimum of the associated trapping potential.     

Pointwise asymptotic behavior of modulated periodic reaction–diffusion waves

By working with the periodic resolvent kernel and the Bloch-decomposition, we establish pointwise bounds for the Green function of the linearized equation associated with spatially periodic traveling waves of a system of reaction–diffusion equations. With our linearized estimates together with a nonlinear iteration scheme developed by Johnson–Zumbrun, we obtain $L^p$-behavior ($p?1$) of a nonlinear solution to a perturbation equation of a reaction–diffusion equation with respect to initial data in $L^1\cap H^2$ recovering and slightly sharpening results obtained by Schneider using weighted energy and renormalization techniques. We obtain also pointwise nonlinear estimates with respect to two different initial perturbations $|u_0|?E_0{e}^{?{|x|}^2/M}$, ${|u_0|}_{H^2}?E_0$ and $|u_0|?E_0{(1+|x|)}^{?r}$, $r>2$, ${|u_0|}_{H^2}?E_0$ respectively, $E_0>0$ sufficiently small and $M>1$ sufficiently large, showing that behavior is that of a heat kernel. These pointwise bounds have not been obtained elsewhere, and do not appear to be accessible by previous techniques.     

A ratio-dependent predator–prey model with diffusion

This paper deals with the existence and nonexistence of nonconstant positive steady-state solutions to a ratio-dependent predator–prey model with diffusion and with the homogeneous Neumann boundary condition. We demonstrate that there exists $a_0(b)$ satisfying $0<a_0(b)<m_1$ for $0<b<m_1$, such that if $0<b<m_1$ and $a_0(b)<a<m_1$, then the diffusion can create nonconstant positive steady-state solutions; whereas the diffusion cannot do provided $a>m_1$.     

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.     

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.     

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.     

Sharp threshold of blow-up and scattering for the fractional Hartree equation

We consider the fractional Hartree equation in the $L^2$-supercritical case, and find a sharp threshold of the scattering versus blow-up dichotomy for radial data: If $M{[u_0]}^{\frac{s?s_c}{s_c}}E[u_0]<M{[Q]}^{\frac{s?s_c}{s_c}}E[Q]$ and $M{[u_0]}^{\frac{s?s_c}{s_c}}{6u_{0}6}_{{\dot{H}}^s}^2<M{[Q]}^{\frac{s?s_c}{s_c}}{6Q6}_{{\dot{H}}^s}^2$, then the solution $u(t)$ is globally well-posed and scatters; if $M{[u_0]}^{\frac{s?s_c}{s_c}}E[u_0]<M{[Q]}^{\frac{s?s_c}{s_c}}E[Q]$ and $M{[u_0]}^{\frac{s?s_c}{s_c}}{6u_{0}6}_{{\dot{H}}^s}^2>M{[Q]}^{\frac{s?s_c}{s_c}}{6Q6}_{{\dot{H}}^s}^2$, the solution $u(t)$ blows up in finite time. This condition is sharp in the sense that the solitary wave solution $e^{it}Q(x)$ is global but not scattering, which satisfies the equality in the above conditions. Here, Q is the ground-state solution for the fractional Hartree equation.     

On the number of Waring decompositions for a generic polynomial vector

We prove that a general polynomial vector $(f_1,f_2,f_3)$ in three homogeneous variables of degrees $(3,3,4)$ has a unique Waring decomposition of rank 7. This is the first new case we are aware of, and likely the last one, after five examples known since the 19th century and the binary case. We prove that there are no identifiable cases among pairs $(f_1,f_2)$ in three homogeneous variables of degree $(a,a+1)$, unless $a=2$, and we give a lower bound on the number of decompositions. The new example was discovered with Numerical Algebraic Geometry, while its proof needs Nonabelian Apolarity.     

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

On Birman's sequence of Hardy–Rellich-type inequalities

In 1961, Birman proved a sequence of inequalities $\{I_n\}$, for $n\in \mathbb{N}$, valid for functions in $C_0^n((0,\infty ))?L^2((0,\infty ))$. In particular, $I_1$ is the classical (integral) Hardy inequality and $I_2$ is the well-known Rellich inequality. In this paper, we give a proof of this sequence of inequalities valid on a certain Hilbert space $H_n([0,\infty ))$ of functions defined on $[0,\infty )$. Moreover, $f\in H_n([0,\infty ))$ implies $f^{\prime }\in H_{n?1}([0,\infty ))$; as a consequence of this inclusion, we see that the classical Hardy inequality implies each of the inequalities in Birman's sequence. We also show that for any finite $b>0$, these inequalities hold on the standard Sobolev space $H_0^n((0,b))$. Furthermore, in all cases, the Birman constants ${[(2n?1)!!]}^2/2^{2n}$ in these inequalities are sharp and the only function that gives equality in any of these inequalities is the trivial function in $L^2((0,\infty ))$ (resp., $L^2((0,b))$). We also show that these Birman constants are related to the norm of a generalized continuous Cesàro averaging operator whose spectral properties we determine in detail.