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

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.     

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

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

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^{+}$.     

Dahlberg's theorem in higher co-dimension

In 1977 the celebrated theorem of B. Dahlberg established that the harmonic measure is absolutely continuous with respect to the Hausdorff measure on a Lipschitz graph of dimension $n?1$ in ${\mathbb{R}}^n$, and later this result has been extended to more general non-tangentially accessible domains and beyond.In the present paper we prove the first analogue of Dahlberg's theorem in higher co-dimension, on a Lipschitz graph Γ of dimension d in ${\mathbb{R}}^n$, $d<n?1$, with a small Lipschitz constant. We construct a linear degenerate elliptic operator L such that the corresponding harmonic measure ${\omega }_L$ is absolutely continuous with respect to the Hausdorff measure on Γ. More generally, we provide sufficient conditions on the matrix of coefficients of L which guarantee the mutual absolute continuity of ${\omega }_L$ and the Hausdorff measure.     

Schatten properties,nuclearity and minimality of phase shift invariant spaces

We extend Feichtinger's minimality property on the smallest non-trivial time-frequency shift invariant Banach space, to the quasi-Banach case. Analogous properties are deduced for certain matrix spaces.We use these results to prove that the pseudo-differential operator $\mathrm{Op}(a)$ is a Schatten-q operator from $M^{\infty }$ to $M^p$ and r-nuclear operator from $M^{\infty }$ to $M^r$ when $a\in M^r$ for suitable p, q and r in $(0,\infty ]$.     

Moser–Trudinger inequality involving the anisotropic Dirichlet norm (∫ΩFN(∇u)dx)1N on W01,N(Ω)

We investigate a sharp Moser–Trudinger inequality which involves the anisotropic Dirichlet norm ${({\int }_{\mathrm{\Omega }}{F}^N(\mathrm{?}u)dx)}^{\frac{1}{N}}$ on $W_0^{1,N}(\mathrm{\Omega })$ for $N\ge 2$. Here F is convex and homogeneous of degree 1, and its polar $F^o$ represents a Finsler metric on ${\mathbb{R}}^N$. Under this anisotropic Dirichlet norm, we establish the Lions type concentration-compactness alternative. Then by using a blow-up procedure, we obtain the existence of extremal functions for this sharp geometric inequality.     

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.     

Torsion completions are bounded

Given a commutative ring A and a finitely generated ideal I, we prove that $I^{\infty }$-torsion A-modules that are also I-adically complete (or merely derived I-complete) must have bounded $I^{\infty }$-torsion, i.e., they are killed by $I^n$ for some $n\ge 0$.     

Phase transition layers with boundary intersection for an inhomogeneous Allen–Cahn equation

We consider the nonlinear problem of inhomogeneous Allen–Cahn equation

${?}^2\mathrm{\Delta }u+V(y)u(1?u^2)=0\text{in}\mathrm{\Omega },\frac{?u}{?\nu }=0\text{on}?\mathrm{\Omega },$

where Ω is a bounded domain in ${\mathbb{R}}^2$ with smooth boundary, ? is a small positive parameter, ν denotes the unit outward normal of ?Ω, V is a positive smooth function on $\overline{\mathrm{\Omega }}$. Let Γ be a curve intersecting orthogonally with ?Ω at exactly two points and dividing Ω into two parts. Moreover, Γ satisfies stationary and non-degenerate conditions with respect to the functional ${\int }_{\mathrm{\Gamma }}{V}^{1/2}$. We can prove that there exists a solution $u_{?}$ such that: as $?\to 0$, $u_{?}$ approaches +1 in one part of Ω, while tends to ?1 in the other part, except a small neighborhood of Γ.     

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.     

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