Stress concentration for closely located inclusions in nonlinear perfect conductivity problems

We study the stress concentration, which is the gradient of the solution, when two smooth inclusions are closely located in a possibly anisotropic medium $\mathrm{\Omega }?{\mathbb{R}}^N$, $N\ge 2$. The governing equation may be degenerate of p-Laplace type, with $1<p\le N$. We prove optimal $L^{\infty }$ estimates for the blow-up of the gradient of the solution as the distance between the inclusions tends to zero.     

The Helmholtz equation in heterogeneous media: A priori bounds,well-posedness,and resonances

We consider the exterior Dirichlet problem for the heterogeneous Helmholtz equation, i.e. the equation $\mathrm{?}?(A\mathrm{?}u)+k^{2}nu=?f$ where both A and n are functions of position. We prove new a priori bounds on the solution under conditions on A, n, and the domain that ensure nontrapping of rays; the novelty is that these bounds are explicit in k, A, n, and geometric parameters of the domain. We then show that these a priori bounds hold when A and n are $L^{\infty }$ and satisfy certain monotonicity conditions, and thereby obtain new results both about the well-posedness of such problems and about the resonances of acoustic transmission problems (i.e. A and n discontinuous) where the transmission interfaces are only assumed to be $C^0$ and star-shaped; the novelty of this latter result is that until recently the only known results about resonances of acoustic transmission problems were for $C^{\infty }$ convex interfaces with strictly positive curvature.     

Two weight commutators in the Dirichlet and Neumann Laplacian settings

In this paper we establish the characterization of the weighted BMO via two weight commutators in the settings of the Neumann Laplacian ${\mathrm{\Delta }}_{N_{+}}$ on the upper half space ${\mathbb{R}}_{+}^n$ and the reflection Neumann Laplacian ${\mathrm{\Delta }}_N$ on ${\mathbb{R}}^n$ with respect to the weights associated to ${\mathrm{\Delta }}_{N_{+}}$ and ${\mathrm{\Delta }}_N$ respectively. This in turn yields a weak factorization for the corresponding weighted Hardy spaces, where in particular, the weighted class associated to ${\mathrm{\Delta }}_N$ is strictly larger than the Muckenhoupt weighted class and contains non-doubling weights. In our study, we also make contributions to the classical Muckenhoupt–Wheeden weighted Hardy space (BMO space respectively) by showing that it can be characterized via the area function (Carleson measure respectively) involving the semigroup generated by the Laplacian on ${\mathbb{R}}^n$ and that the duality of these weighted Hardy and BMO spaces holds for Muckenhoupt $A^p$ weights with $p\in (1,2]$ while the previously known related results cover only $p\in (1,\frac{n+1}{n}]$. We also point out that this two weight commutator theorem might not be true in the setting of general operators L, and in particular we show that it is not true when L is the Dirichlet Laplacian ${\mathrm{\Delta }}_{D_{+}}$ on ${\mathbb{R}}_{+}^n$.     

Characterization of embeddings of Sobolev-type spaces into generalized Hölder spaces defined by Lp-modulus of smoothness

We prove a sharp estimate for the k-modulus of smoothness, modelled upon a $L^p$-Lebesgue space, of a function f in $W^k{L}^{\frac{pn}{n+kp},p}(\mathrm{\Omega })$, where Ω is a domain with minimally smooth boundary and finite Lebesgue measure, $k,n\in \mathbb{N}$, $k<n$ and $\frac{n}{n?k}<p<+\infty$. This sharp estimate is used to establish necessary and sufficient conditions for continuous embeddings of Sobolev-type spaces into generalized Hölder spaces defined by means of the k-modulus of smoothness. General results are illustrated with examples. In particular, we obtain a generalization of the classical Jawerth embeddings.     

The regularity of a semilinear elliptic system with quadratic growth of gradient

In this paper, we study semilinear elliptic systems with critical nonlinearity of the form

(0.1)$\mathrm{\Delta }u=Q(x,u,\mathrm{?}u),$

for $u:{\mathbb{R}}^n\to {\mathbb{R}}^K$, Q has quadratic growth in ?u. Our work is motivated by elliptic systems for harmonic map and biharmonic map. When $n=2$, such a system does not have smooth regularity in general for $W^{1,2}$ weak solutions, by a well-known example of J. Frehse. Classical results of harmonic map, proved by F. Hélein (for $n=2$) and F. Béthuel (for $n\ge 3$), assert that a $W^{1,n}$ weak solution of harmonic map is always smooth. We extend Béthuel's result to general system (0.1), that a $W^{1,n}$ weak solution of the system is smooth for $n\ge 3$. For a fourth order semilinear elliptic system with critical nonlinearity which extends biharmonic map, we prove a similar result, that a $W^{2,n/2}$ weak solution of such system is always smooth, for $n\ge 5$. We also construct various examples, and these examples show that our regularity results are optimal in various sense.     

Uniqueness of critical points and maximum principles of the singular minimal surface equation

We consider a smooth solution $u>0$ of the singular minimal surface equation $\sqrt{1+|Du{|}^2}\text{ div}(Du/\sqrt{1+|Du{|}^2})=\alpha /u$ defined in a bounded strictly convex domain of ${\mathbb{R}}^2$ with constant boundary condition. If $\alpha <0$, we prove the existence a unique critical point of u. We also derive some $C^0$ and $C^1$ estimates of u by using the theory of maximum principles of Payne and Philippin for a certain family of Φ-functions. Finally we deduce an existence theorem of the Dirichlet problem when $\alpha <0$.     

Regularity theory for Ln-viscosity solutions to fully nonlinear elliptic equations with asymptotical approximate convexity

We develop interior $W^{2,p,\mu }$ and $W^{2,\text{BMO}}$ regularity theories for $L^n$-viscosity solutions to fully nonlinear elliptic equations $T(D^{2}u,x)=f(x)$, where T is approximately convex at infinity. Particularly, $W^{2,\text{BMO}}$ regularity theory holds if operator T is locally semiconvex near infinity and all eigenvalues of $D^{2}T(M)$ are at least $?C{6M6}^{?(1+{\sigma }_0)}$ as $M\to \infty$. $W^{2,\text{BMO}}$ regularity for some Isaacs equations is given. We also show that the set of fully nonlinear operators of $W^{2,\text{BMO}}$ regularity theory is dense in the space of fully nonlinear uniformly elliptic operators.     

Ground states of two-component attractive Bose–Einstein condensates I: Existence and uniqueness

We study ground states of two-component Bose–Einstein condensates (BEC) with trapping potentials in ${\mathbb{R}}^2$, where the intraspecies interaction $(?a_1,?a_2)$ and the interspecies interaction ?β are both attractive, $i.e$, $a_1$, $a_2$ and β are all positive. The existence and non-existence of ground states are classified completely by investigating equivalently the associated $L^2$-critical constraint variational problem. The uniqueness and symmetry-breaking of ground states are also analyzed under different types of trapping potentials as $\beta \nearrow {\beta }^{?}=a^{?}+\sqrt{(a^{?}?a_1)(a^{?}?a_2)}$, where $0<a_i<a^{?}:={6w6}_2^2$ ($i=1,2$) is fixed and w is the unique positive solution of $\mathrm{\Delta }w?w+w^3=0$ in ${\mathbb{R}}^2$. The semi-trivial limit behavior of ground states is tackled in the companion paper [12].     

On the global Cauchy problem for the Hartree equation with rapidly decaying initial data

This paper is concerned with the Cauchy problem for the Hartree equation on ${\mathbb{R}}^n,n\in \mathbb{N}$ with the nonlinearity of type $(|?{|}^{?\gamma }?|u{|}^2)u,0<\gamma <n$. It is shown that a global solution with some twisted persistence property exists for data in the space $L^p\cap L^2,1\le p\le 2$ under some suitable conditions on γ and spatial dimension $n\in \mathbb{N}$. It is also shown that the global solution u has a smoothing effect in terms of spatial integrability in the sense that the map $t?u(t)$ is well defined and continuous from $\mathbb{R}?\{0\}$ to $L^{p^{\prime }}$, which is well known for the solution to the corresponding linear Schrödinger equation. Local and global well-posedness results for hat $L^p$-spaces are also presented. The local and global results are proved by combining arguments by Carles–Mouzaoui with a new functional framework introduced by Zhou. Furthermore, it is also shown that the global results can be improved via generalized dispersive estimates in the case of one space dimension.     

Arc-transitive digraphs with quasiprimitive local actions

Let Γ be a finite G-vertex-transitive digraph. The in-local action of $(\mathrm{\Gamma },G)$ is the permutation group $L_{?}$ induced by a vertex-stabiliser on the set of in-neighbours of the corresponding vertex. The out-local action$L_{+}$ is defined analogously. Note that $L_{?}$ and $L_{+}$ may not be isomorphic. We thus consider the problem of determining which pairs $(L_{?},L_{+})$ are possible. We prove some general results, but pay special attention to the case when $L_{?}$ and $L_{+}$ are both quasiprimitive. (Recall that a permutation group is quasiprimitive if each of its nontrivial normal subgroups is transitive.) Along the way, we prove a structural result about pairs of finite quasiprimitive groups of the same degree, one being (abstractly) isomorphic to a proper quotient of the other.     

Blow-up phenomena for the Liouville equation with a singular source of integer multiplicity

We are concerned with the existence of blowing-up solutions to the following boundary value problem

$?\mathrm{\Delta }u=\lambda a(x)e^u?4\pi N{\delta }_0\text{ in }\mathrm{\Omega },u=0\text{ on }?\mathrm{\Omega },$

where Ω is a smooth and bounded domain in ${\mathbb{R}}^2$ such that $0\in \mathrm{\Omega }$, $a(x)$ is a positive smooth function, N is a positive integer and $\lambda >0$ is a small parameter. Here ${\delta }_0$ defines the Dirac measure with pole at 0. We find conditions on the function a and on the domain Ω under which there exists a solution $u_{\lambda }$ blowing up at 0 and satisfying $\lambda {\int }_{\mathrm{\Omega }}a(x)e^{u_{\lambda }}\to 8\pi (N+1)$ as $\lambda \to 0^{+}$.     

Positive solutions for a class of singular quasilinear Schrödinger equations with critical Sobolev exponent

We prove the existence of positive solutions of the following singular quasilinear Schrödinger equations at critical growth

$?\mathrm{\Delta }u?\lambda c(x)u?\kappa \alpha (\mathrm{\Delta }(|u{|}^{2\alpha }))|u{|}^{2\alpha ?2}u=|u{|}^{q?2}u+|u{|}^{2^{?}?2}u,u\in D^{1,2}({\mathbb{R}}^N),$

via variational methods, where $\lambda \ge 0$, $c:{\mathbb{R}}^N\to {\mathbb{R}}^{+}$, $\kappa >0$, $0<\alpha <1/2$, $2<q<2^{?}$. It is interesting that we do not need to add a weight function to control $|u{|}^{q?2}u$.     

On the existence of weak solutions of semilinear elliptic equations and systems with Hardy potentials

Let $\mathrm{\Omega }?{\mathbb{R}}^N$ ($N\ge 3$) be a bounded $C^2$ domain and $\delta (x)=\mathrm{dist}(x,?\mathrm{\Omega })$. Put $L_{\mu }=\mathrm{\Delta }+\frac{\mu }{{\delta }^2}$ with $\mu >0$. In this paper, we provide various necessary and sufficient conditions for the existence of weak solutions to

$?L_{\mu }u=u^p+\tau \text{in }\mathrm{\Omega },u=\nu \text{on }?\mathrm{\Omega },$

where $\mu >0$, $p>0$, τ and ν are measures on Ω and ?Ω respectively. We then establish existence results for the system

$\{\begin{array}{cc}\hfill & ?L_{\mu }u=?v^p+\tau \text{in }\mathrm{\Omega },\hfill \\ \hfill & ?L_{\mu }v=?u^{\stackrel{?}{p}}+\stackrel{?}{\tau }\text{in }\mathrm{\Omega },\hfill \\ \hfill & u=\nu ,v=\stackrel{?}{\nu }\text{on }?\mathrm{\Omega },\hfill \end{array}$

where $?=\pm 1$, $p>0$, $\stackrel{?}{p}>0$, τ and $\stackrel{?}{\tau }$ are measures on Ω, ν and $\stackrel{?}{\nu }$ are measures on ?Ω. We also deal with elliptic systems where the nonlinearities are more general.     

Existence of solutions of a non-linear eigenvalue problem with a variable weight

We study the non-linear minimization problem on $H_0^1(\mathrm{\Omega })?L^q$ with $q=\frac{2n}{n?2}$, $\alpha >0$ and $n\ge 4$:

$\underset{\begin{array}{c}\hfill u\in H_0^1(\mathrm{\Omega })\hfill \\ \hfill {6u6}_{L^q}=1\hfill \end{array}}{\inf }?\underset{\mathrm{\Omega }}{\int }a(x,u)|\mathrm{?}u{|}^2?\lambda \underset{\mathrm{\Omega }}{\int }|u{|}^2$

where $a(x,s)$ presents a global minimum α at $(x_0,0)$ with $x_0\in \mathrm{\Omega }$. In order to describe the concentration of $u(x)$ around $x_0$, one needs to calibrate the behavior of $a(x,s)$ with respect to s. The model case is

$\underset{\begin{array}{c}\hfill u\in H_0^1(\mathrm{\Omega })\hfill \\ \hfill {6u6}_{L^q}=1\hfill \end{array}}{\inf }?\underset{\mathrm{\Omega }}{\int }(\alpha +|x{|}^{\beta }|u{|}^k)|\mathrm{?}u{|}^2?\lambda \underset{\mathrm{\Omega }}{\int }|u{|}^2.$

In a previous paper dedicated to the same problem with $\lambda =0$, we showed that minimizers exist only in the range $\beta <kn/q$, which corresponds to a dominant non-linear term. On the contrary, the linear influence for $\beta \ge kn/q$ prevented their existence. The goal of this present paper is to show that for $0<\lambda \le \alpha {\lambda }_1(\mathrm{\Omega })$, $0\le k\le q?2$ and $\beta >kn/q+2$, minimizers do exist.     

Global existence and decay estimate of solutions to magneto-micropolar fluid equations

We are concerned with magneto-micropolar fluid equations (1.3)–(1.4). The global existence of solutions to the Cauchy problem is investigated under certain conditions. Precisely, for the magneto-micropolar-Navier–Stokes (MMNS) system, we obtain global existence and large time behavior of solutions near a constant states in ${\mathbb{R}}^3$. Appealing to a refined pure energy method, we first obtain a global existence theorem by assuming that the $H^3$ norm of the initial data is small, but the higher order derivatives can be arbitrary large. If the initial data belongs to homogeneous Sobolev norms ${\dot{H}}^{?s}$ $(0\le s<\frac{3}{2})$ or homogeneous Besov norms ${\dot{B}}_{2,\infty }^{?s}$ $(0<s\le \frac{3}{2})$, we obtain the optimal decay rates of the solutions and its higher order derivatives. As an immediate byproduct, we also obtain the usual $L^p?L^2$ $(1\le p\le 2)$ type of the decay rates without requiring that the $L^p$ norm of initial data is small. At last, we derive a weak solution to (1.3)–(1.4) in ${\mathbb{R}}^2$ with large initial data.     

Concentrating standing waves for the Gross–Pitaevskii equation in trapped dipolar quantum gases

We are concerned with the following singularly perturbed Gross–Pitaevskii equation describing Bose–Einstein condensation of trapped dipolar quantum gases:

$\{\begin{array}{cc}\hfill & ?{\epsilon }^2\mathrm{\Delta }u+V(x)u+{\lambda }_1|u{|}^{2}u+{\lambda }_2(K?|u{|}^2)u=0\text{ in }{\mathbb{R}}^3,\hfill \\ \hfill & u>0,u\in H^1({\mathbb{R}}^3),\hfill \end{array}$

where ε is a small positive parameter, ${\lambda }_1,{\lambda }_2\in \mathbb{R}$, ? denotes the convolution, $K(x)=\frac{1?3{\cos }^2?\theta }{|x{|}^3}$ and $\theta =\theta (x)$ is the angle between the dipole axis determined by $(0,0,1)$ and the vector x. Under certain assumptions on $({\lambda }_1,{\lambda }_2)\in {\mathbb{R}}^2$, we construct a family of positive solutions $u_{\epsilon }\in H^1({\mathbb{R}}^3)$ which concentrates around the local minima of V as $\epsilon \to 0$. Our main results extend the results in J. Byeon and L. Jeanjean (2007) [6], which dealt with singularly perturbed Schrödinger equations with a local nonlinearity, to the nonlocal Gross–Pitaevskii type equation.     

Remarks about a generalized pseudo-relativistic Hartree equation

With appropriate hypotheses on the nonlinearity f, we prove the existence of a ground state solution u for the problem

${(?\mathrm{\Delta }+m^2)}^{\sigma }u+Vu=(W?F(u))f(u)\text{in }{\mathbb{R}}^N,$

where $0<\sigma <1$, V is a bounded continuous potential and F the primitive of f. We also show results about the regularity of any solution of this problem.