On the sub poly-harmonic property for solutions to (−Δ)pu < 0 in Rn

In this note, we mainly study the relation between the sign of ${(?\mathrm{\Delta })}^{p}u$ and ${(?\mathrm{\Delta })}^{p?i}u$ in ${\mathbb{R}}^n$ with $p?2$ and $n?2$ for $1?i?p?1$. Given the differential inequality ${(?\mathrm{\Delta })}^{p}u<0$, first we provide several sufficient conditions so that ${(?\mathrm{\Delta })}^{p?1}u<0$ holds. Then we provide conditions such that ${(?\mathrm{\Delta })}^{i}u<0$ for all $i=1,2,\dots ,p?1$, which is known as the sub poly-harmonic property for u. In the last part of the note, we revisit the super poly-harmonic property for solutions to ${(?\mathrm{\Delta })}^{p}u={\mathrm{e}}^{2pu}$ and ${(?\mathrm{\Delta })}^{p}u=u^q$ with $q>0$ in ${\mathbb{R}}^n$.     

Powerful numbers in (1ℓ + qℓ)(2ℓ + qℓ)⋯(nℓ + qℓ)

Let q be a positive integer. Recently, Niu and Liu proved that, if $n\ge \max ?\{q,1198?q\}$, then the product $(1^3+q^3)(2^3+q^3)?(n^3+q^3)$ is not a powerful number. In this note, we prove (1) that, for any odd prime power ? and $n\ge \max ?\{q,11?q\}$, the product $(1^{?}+q^{?})(2^{?}+q^{?})?(n^{?}+q^{?})$ is not a powerful number, and (2) that, for any positive odd integer ?, there exists an integer $N_{q,?}$ such that, for any positive integer $n\ge N_{q,?}$, the product $(1^{?}+q^{?})(2^{?}+q^{?})?(n^{?}+q^{?})$ is not a powerful number.     

On a p-Laplace equation with multiple critical nonlinearities

Using the Mountain-Pass Theorem of Ambrosetti and Rabinowitz we prove that $?{\mathrm{\Delta }}_{p}u?\mu {|x|}^{?p}{u}^{p?1}={|x|}^{?s}{u}^{p^{?}(s)?1}+u^{p^{?}?1}$ admits a positive weak solution in ${\mathbb{R}}^n$ of class $D_1^p({\mathbb{R}}^n)\cap C^1({\mathbb{R}}^n?\{0\})$, whenever $\mu <{\mu }_1$, and ${\mu }_1={[(n?p)/p]}^p$. The technique is based on the existence of extremals of some Hardy–Sobolev type embeddings of independent interest. We also show that if $u\in D_1^p({\mathbb{R}}^n)$ is a weak solution in ${\mathbb{R}}^n$ of $?{\mathrm{\Delta }}_{p}u?\mu {|x|}^{?p}{|u|}^{p?2}u={|x|}^{?s}{|u|}^{p^{?}(s)?2}u+{|u|}^{q?2}u$, then $u\equiv 0$ when either $1<q<p^{?}$, or $q>p^{?}$ and u is also of class $L_{\mathrm{loc}}^{\infty }({\mathbb{R}}^n?\{0\})$.     

Multiple positive solutions for semilinear elliptic systems

This article investigates the effect of the coefficient $f(z)$ of the critical nonlinearity. For sufficiently small $\lambda ,\mu >0$, there are at least k positive solutions of the semilinear elliptic systems$\{\begin{array}{c}?\mathrm{\Delta }u=\lambda g(z){|u|}^{p?2}u+\frac{\alpha }{\alpha +\beta }f(z){|u|}^{\alpha ?2}u{|v|}^{\beta }\text{in}\Omega ;\hfill \\ ?\mathrm{\Delta }v=\mu h(z){|v|}^{p?2}v+\frac{\beta }{\alpha +\beta }f(z){|u|}^{\alpha }{|v|}^{\beta ?2}v\text{in}\Omega ;\hfill \\ u=v=0\text{on}?\Omega ,\hfill \end{array}$ where $0\in \Omega ?{\mathbb{R}}^N$ is a bounded domain, $\alpha >1$, $\beta >1$ and $2<p<\alpha +\beta =2^{?}$ for $N>4$.     

Construction of solutions via local Pohozaev identities

This paper deals with the following nonlinear elliptic equation

$?\mathrm{\Delta }u+V(|y^{\prime }|,y^{″})u=u^{\frac{N+2}{N?2}},u>0,u\in H^1({\mathbb{R}}^N),$

where $(y^{\prime },y^{″})\in {\mathbb{R}}^2\times {\mathbb{R}}^{N?2}$, $V(|y^{\prime }|,y^{″})$ is a bounded non-negative function in ${\mathbb{R}}^{+}\times {\mathbb{R}}^{N?2}$. By combining a finite reduction argument and local Pohozaev type of identities, we prove that if $N\ge 5$ and $r^{2}V(r,y^{″})$ has a stable critical point $(r_0,y_0^{″})$ with $r_0>0$ and $V(r_0,y_0^{″})>0$, then the above problem has infinitely many solutions. This paper overcomes the difficulty appearing in using the standard reduction method to locate the concentrating points of the solutions.     

Unique continuation for first-order systems with integrable coefficients and applications to elasticity and plasticity

Let $\Omega ?{\mathbb{R}}^N$ be a Lipschitz domain and Γ be a relatively open and non-empty subset of its boundary ?Ω. We show that the solution to the linear first-order system:(1)$\mathrm{?}\zeta =G\zeta ,\zeta {|}_{\Gamma }=0,$ vanishes if $G\in {\mathsf{L}}^1(\Omega ;{\mathbb{R}}^{(N\times N)\times N})$ and $\zeta \in {\mathsf{W}}^{1,1}(\Omega ;{\mathbb{R}}^N)$. In particular, square-integrable solutions ζ of (1) with $G\in {\mathsf{L}}^1\cap {\mathsf{L}}^2(\Omega ;{\mathbb{R}}^{(N\times N)\times N})$ vanish. As a consequence, we prove that:$???:{\mathsf{C}}_{°}^{\infty }(\Omega ,\Gamma ;{\mathbb{R}}^3)\to [0,\infty ),u?6\mathrm{sym}\left(\mathrm{?}u{P}^{?1}\right)6_{{\mathsf{L}}^2(\Omega )}$ is a norm if $P\in {\mathsf{L}}^{\infty }(\Omega ;{\mathbb{R}}^{3\times 3})$ with $\mathrm{Curl}P\in {\mathsf{L}}^p(\Omega ;{\mathbb{R}}^{3\times 3})$, $\mathrm{Curl}{P}^{?1}\in {\mathsf{L}}^q(\Omega ;{\mathbb{R}}^{3\times 3})$ for some $p,q>1$ with $1/p+1/q=1$ as well as $\det P?c^{+}>0$. We also give a new and different proof for the so-called ‘infinitesimal rigid displacement lemma’ in curvilinear coordinates: Let $\Phi \in {\mathsf{H}}^1(\Omega ;{\mathbb{R}}^3)$, $\Omega ?{\mathbb{R}}^3$, satisfy $\mathrm{sym}(\mathrm{?}{\Phi }^{?}\mathrm{?}\Psi )=0$ for some $\Psi \in {\mathsf{W}}^{1,\infty }(\Omega ;{\mathbb{R}}^3)\cap {\mathsf{H}}^2(\Omega ;{\mathbb{R}}^3)$ with $\det \mathrm{?}\Psi ?c^{+}>0$. Then there exists a constant translation vector $a\in {\mathbb{R}}^3$ and a constant skew-symmetric matrix $A\in \mathfrak{so}(3)$, such that $\Phi =A\Psi +a$.     

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

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.     

Harnack inequality for quasilinear elliptic equations on Riemannian manifolds

We study viscosity solutions to degenerate and singular elliptic equations

$\mathrm{div}\left(\frac{F^{\prime }(|\mathrm{?}u|)}{|\mathrm{?}u|}\mathrm{?}u\right)=h$

of p-Laplacian type on Riemannian manifolds, where an even function $F\in C^1\left(\mathbb{R}\right)\cap C^2(0,\infty )$ is supposed to be strictly convex on $(0,\infty )$. Under the assumption that either $F\in C^2(\mathbb{R})$ or its convex conjugate $F^{?}\in C^2(\mathbb{R})$ with some structural condition, we establish a (locally) uniform ABP type estimate and the Krylov–Safonov type Harnack inequality on Riemannian manifolds with the use of an intrinsic geometric quantity to the operator. Here, the $C^2$-regularities of F and $F^{?}$ account for degenerate and singular operators, respectively.     

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