It is a classical result of Sobolev spaces that any $H^1$ function has a well-defined $H^{1/2}$ trace on the boundary of a sufficient regular domain. We discuss its recent extensions given in \cite{TiDu16} in some heterogeneously localized nonlocal function spaces. The new trace theorems are stronger and more general than the classical result. They can be established essentially for all functions having only square integrability away from the boundary or in any compact subset of interior domain. Yet, the heterogeneous localization offers the necessary regularity precisely at the boundary to have well-defined traces. A consequence is that we may study associated Dirichlet type boundary value problems, as well as the coupling of local and nonlocal equations through co-dimension-1 interfaces. %Their derivations not only involve various extensions of classical inequalities but also %require new techniques absent from traditional approaches.

In the present paper, we prove the existence of solutions $(\lambda_1,\lambda_2,u,v)\in\R^2\times H^1(\R^3,\R^2)$ to systems of coupled Schr\"odinger equations $$ \begin{cases} -\Delta u+\lambda_1u=\mu_1 u^3+\beta uv^2\quad &\hbox{in}\;\R^3\\ -\Delta v+\lambda_2v=\mu_2 v^3+\beta u^2v\quad&\hbox{in}\;\R^3\\ u,v>0&\hbox{in}\;\R^3 \end{cases} $$ satisfying the normalization constraint $ \displaystyle\int_{\R^3}u^2=a^2\quad\hbox{and}\;\int_{\R^3}v^2=b^2, $ which appear in binary mixtures of Bose-Einstein condensates or in nonlinear optics. The parameters $\mu_1,\mu_2,\beta>0$ are prescribed as are the masses $a,b>0$. The system has been considered mostly in the case of fixed frequencies $\lambda_1,\lambda_2$. When the masses are prescribed, the standard approach to this problem is variational with $\lambda_1,\lambda_2$ appearing as Lagrange multipliers. Here we present a new approach based on the fixed point index in cones, bifurcation theory, and the continuation method. We obtain the existence of normalized solutions for any given $a,b>0$ for $\beta$ in a large range. We also have a result about the nonexistence of positive solutions which shows that our existence theorem is almost optimal. Especially, if $\mu_1=\mu_2$ we prove that normalized solutions exist for all $\beta>0$ and all $a,b>0$.

We study in this work a continuum model derived from 1D attachment-detachment-limited (ADL) type step flow on vicinal surface, $ u_t=-u^2(u^3)_{hhhh}$, where $u$, considered as a function of step height $h$, is the step slope of the surface. We formulate a notion of weak solution to this continuum model and prove the existence of a global weak solution, which is positive almost everywhere. We also study the long time behavior of weak solution and prove it converges to a constant solution as time goes to infinity. The space-time H\"older continuity of the weak solution is also discussed as a byproduct.

No abstract uploaded!

In this paper we prove some results concerning stability of hypersurfaces in the four dimensional Euclidean space with zero scalar curvature. First we prove there is no complete stable hypersurface with zero scalar curvature, polynomial growth of integral of the mean curvature, and with the Gauss-Kronecker curvature bounded away from zero. We conclude this paper giving a sufficient condition for a regular domain to be stable in terms of the mean and the Gauss-Kronecker curvatures of the hypersurface and the radius of the smallest extrinsic ball which contains the domain.