The purpose of this research monograph is to survey some recent developments in the analysis of shock reflection-diffraction, to present our original mathematical proofs of von Neumann’s conjectures for potential flow, to collect most of the related results and new techniques in the analysis of partial differential equations achieved in the last decades, and to discuss a set of fundamental open problems relevant to the directions of future research in this and related areas.

In this paper, we discuss the Weyl problem in warped product spaces. We apply the method of continuity and prove the openness of the Weyl problem. A counterexample is constructed to show that the isometric embedding of the sphere with canonical metric is not unique up to an isometry if the ambient warped product space is not a space form. Then, we study the rigidity of the standard sphere if we fix its geometric center in the ambient space. Finally, we discuss a Shi-Tam type of inequality for the Schwarzschild manifold as an application of our findings.

We estimate the heat conducted by a cluster of many small cavities. We show that the dominating heat is a sum, over the number of cavities, of the heat generated by each cavity after interacting with each other. This interaction is described through densities computable as solutions of a closed, and invertible, system of time domain integral equations of second kind. As an application of these expansions, we derive the effective heat conductivity which generates approximately the same heat as the cluster of cavities, distributed in a three-dimensional bounded domain, with explicit error estimates in terms of that cluster. At the analysis level, we use time domain integral equations. Doing that, we have two choices. First, we can favor the space variable by reducing the heat potentials to the ones related to the Laplace operator (avoiding Laplace transform). Second, we can favor the time variable by reducing the representation to the Abel integral operator. As the model under investigation has time-independent parameters, we follow the first approach here.

We study detecting a boundary corrosion damage in the inaccessible part of a rectangular shaped electrostatic conductor from a one set of Cauchy data specied on an accessible boundary part of conductor. For this nonlinear ill-posed problem, we prove the uniqueness in a very general framework. Then we establish the conditional stability of Holder type based on some a priori assumptions on the unknown impedance and the electrical current input specied in the accessible part. Finally a regularizing scheme of double regularizing parameters, using the truncation of the series expansion of the solution, is proposed with the convergence analysis on the explicit regularizing solution in terms of a practical average norm for measurement data.

Let $f(x)=\sum_{n=0}^{\infty}\frac{1}{n!}q^{n(n-1)/2}x^n$ ($0<q<1$) be the deformed exponential function. It is known that the zeros of $f(x)$ are real and form a negative decreasing sequence $(x_k)$ ($k\ge 1$). We investigate the complete asymptotic expansion for $x_{k}$ and prove that for any $n\ge1$, as $k\to \infty$, \begin{align*} x_k=-kq^{1-k}\Big(1+\sum_{i=1}^{n}C_i(q)k^{-1-i}+o(k^{-1-n})\Big), \end{align*} where $C_i(q)$ are some $q$ series which can be determined recursively. We show that each $C_{i}(q)\in \mathbb{Q}[A_0,A_1,A_2]$, where $A_{i}=\sum_{m=1}^{\infty}m^i\sigma(m)q^m$ and $\sigma(m)$ denotes the sum of positive divisors of $m$. When writing $C_{i}$ as a polynomial in $A_0, A_1$ and $A_2$, we find explicit formulas for the coefficients of the linear terms by using Bernoulli numbers. Moreover, we also prove that $C_{i}(q)\in \mathbb{Q}[E_2,E_4,E_6]$, where $E_2$, $E_4$ and $E_6$ are the classical Eisenstein series of weight 2, 4 and 6, respectively.

No abstract uploaded!

No abstract uploaded!

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

A two species interacting system motivated by the density functional theory for triblock copolymers contains long range interaction that affects the two species differently. In a two species periodic assembly of discs, the two species appear alternately on a lattice. The minimal two species periodic assembly is the one with the least energy per lattice cell area. There is a parameter $b$ in $[0,1]$ and the type of the lattice associated with the minimal assembly varies depending on $b$. There are several threshold defined by a number $B=0.1867...$ If $b \in [0, B)$, the minimal assembly is associated with a rectangular lattice whose ratio of the longer side and the shorter side is in $[\sqrt{3}, 1)$; if $b \in [B, 1-B]$, the minimal assembly is associated with a square lattice; if $b \in (1-B, 1]$, the minimal assembly is associated with a rhombic lattice with an acute angle in $[\frac{\pi}{3}, \frac{\pi}{2})$. Only when $b=1$, this rhombic lattice is the hexagonal lattice. None of the other values of $b$ yields the hexagonal lattice, a sharp contrast to the situation for one species interacting systems, where the hexagonal lattice is ubiquitously observed.

In this paper, we derive estimates for scalar curvature type equations with more singular right hand side. As an application, we prove Donaldson's conjecture on the equivalence between geodesic stability and existence of cscK when $Aut_0(M,J)\neq0$. Moreover, we show that when $Aut_0(M,J)\neq0$, the properness of $K$-energy with respect to a suitably defined distance implies the existence of cscK.

In this paper, we derive apriori estimates for constant scalar curvature K\"ahler metrics on a compact K\"ahler manifold. We show that higher order derivatives can be estimated in terms of a $C^0$ bound for the K\"ahler potential. We also discuss some local versions of these estimates which can be of independent interest.

We prove uniform gradient and diameter estimates for a family of geometric complex Monge–Ampere equations. Such estimates can be applied to study geometric regularity of singular solutions of complex Monge–Ampere equations. We also prove a uniform diameter estimate for collapsing families of twisted Kahler–Einstein metrics on Kahler manifolds of nonnegative Kodaira dimensions.

We prove generalized Fefferman-Stein type theorems on sharp functions with Ap weights in spaces of homogeneous type with either finite or infinite underlying measure. We then apply these results to establish mixed-norm weighted Lp-estimates for elliptic and parabolic equations/systems with (partially) BMO coefficients in regular or irregular domains.

In this paper we consider the initial-boundary value problem to the one-dimensional compressible Navier{Stokes equations for ideal gases. Both the viscous and heat conductive coeffcients are assumed to be positive constants, and the initial density is allowed to have vacuum. Global existence and uniqueness of strong solutions is established for any H2 initial data, which generalizes the well-known result of Kazhikhov and Shelukhin [J. Appl. Math. Mech., 41 (1977), pp. 273{282] to the case that with nonnegative initial density. An observation to overcome the diculty caused by the lack of the positive lower bound of the density is that the ratio of the density to its initial value is inversely proportional to the time integral of the upper bound of the temperature along the trajectory.

The entropy is one of the fundamental states of a fluid and, in the viscous case, the equation that it satisfies is highly singular in the region close to the vacuum. In spite of its importance in the gas dynamics, the mathematical analyses on the behavior of the entropy near the vacuum region, were rarely carried out; in particular, in the presence of vacuum, either at the far field or at some isolated interior points, it was unknown whether the entropy remains its boundedness. The results obtained in this paper indicate that the ideal gases retain their uniform boundedness of the entropy, locally or globally in time, if the vacuum occurs at the far field only and the density decays slowly enough at the far field. Precisely, we consider the Cauchy problem to the one-dimensional full compressible Navier-Stokes equations without heat conduction, and establish the local and global existence and uniqueness of entropy-bounded solutions, in the presence of vacuum at the far field only. It is also shown that, different from the case that with compactly supported initial density, the compressible Navier-Stokes equations, with slowly decaying initial density, can propagate the regularities in inhomogeneous Sobolev spaces.

In the presence of vacuum, the physical entropy for polytropic gases behaves singularly and it is thus a challenge to study its dynamics. It is shown in this paper that the boundedness of the entropy can be propagated up to any finite time provided that the initial vacuum presents only at far fields with sufficiently slow decay of the initial density. More precisely, for the Cauchy problem of the onedimensional heat conductive compressible Navier--Stokes equations, the global well-posedness of strong solutions and uniform boundedness of the corresponding entropy are established, as long as the initial density vanishes only at far fields with a rate no more than $O(\frac{1}{x^2})$. The main tools of proving the uniform boundedness of the entropy are some singularly weighted energy estimates carefully designed for the heat conductive compressible Navier--Stokes equations and an elaborate De Giorgi type iteration technique for some classes of degenerate parabolic equations. The De Giorgi type iterations are carried out to different equations in establishing the lower and upper bounds of the entropy.

We establish global regularity for weak solutions to quasilinear divergence form elliptic and parabolic equations over Lipschitz domains with controlled growth conditions on low order terms. The leading coefficients belong to the class of BMO functions with small mean oscillations with respect to <i>x</i>.

We study regularity criteria for weak solutions of the dissipative quasi-geostrophic equation (with dissipation ()^<i></i>/2, 0 &lt; <i></i> 1). We show in this paper that if , or with is a weak solution of the 2D quasi-geostrophic equation, then <i></i> is a classical solution in . This result improves our previous result in [18].

We establish several gradient estimates for second-order divergence type parabolic and elliptic systems. The coefficients and data are assumed to be Hlder or Dini continuous in the time variable and all but one spatial variable. This type of system arises from the problems of linearly elastic laminates and composite materials. For the proof, we use Campanatos approach in a novel way. Non-divergence type equations under similar conditions are also discussed.

We study a one-dimensional transport equation with nonlocal velocity which was recently considered in the work of Crdoba, Crdoba and Fontelos [A. Crdoba, D. Crdoba, MA Fontelos, Formation of singularities for a transport equation with nonlocal velocity, Ann. of Math.(2) 162 (3)(2005) 13771389]. We show that in the subcritical and critical cases the problem is globally well-posed with arbitrary initial data in H max {3/2 , 0}. While in the supercritical case, the problem is locally well-posed with initial data in H 3/2 , and is globally well-posed under a smallness assumption. Some polynomial-in-time decay estimates are also discussed. These results improve some previous results in [A. Crdoba, D. Crdoba, MA Fontelos, Formation of singularities for a transport equation with nonlocal velocity, Ann. of Math.(2) 162 (3)(2005) 13771389].

We establish the solvability of second order divergence-type parabolic systems in Sobolev spaces. The leading coefficients are assumed to be merely measurable in one spatial direction on each small parabolic cylinder with the spatial direction allowed to depend on the cylinder. In the other orthogonal directions and the time variable, the coefficients have locally small mean oscillations. We also obtain the corresponding $W^1_p$-solvability of second order elliptic systems in divergence form. This type of system arises from the problems of linearly elastic laminates and composite materials. Our results are new even for scalar equations, and the proofs differ from and simplify the methods used previously in [H. Dong and D. Kim, <i>Arch. Ration. Mech. Anal.</i>, 196 (2010), pp. 2570]. As an application, we improve a result by Chipot, Kinderlehrer, and Vergara-Caffarelli [<i>Arch. Ration. Mech. Anal.</i>, 96 (1986), pp. 8196] on

The solvability in Sobolev spaces is proved for divergence form complex-valued higher order parabolic systems in the whole space, on a half-space, and on a Reifenberg flat domain. The leading coefficients are assumed to be merely measurable in one spacial direction and have small mean oscillations in the orthogonal directions on each small cylinder. The directions in which the coefficients are only measurable vary depending on each cylinder. The corresponding elliptic problem is also considered.

We study the critical and super-critical dissipative quasi-geostrophic equations in $\bR^ 2$ or $\bT^ 2$. Higher regularity of mild solutions with arbitrary initial data in H^{2-} is proved. As a corollary, we obtain a global existence result for the critical 2D quasi-geostrophic equations with periodic H^{2-} data. Some decay in time estimates are also provided.

We study the critical dissipative quasi-geostrophic equations in $\bR^ 2$ with arbitrary H^ 1 initial data. After showing certain decay estimate, a global well-posedness result is proved by adapting the method in [11] with a suitable modification. A decay in time estimate for higher order homogeneous Sobolev norms of solutions is also discussed.

As a typical example of hyperbolic conservation laws, the system of Euler equations representing the conservation of mass, momentum and energy has three basic wave patterns. They are two nonlinear waves called shock and rarefaction wave, and one linearly degenerate wave called contact discontinuity. These basic wave patterns have their counterparts both in other physical models for gas motions in equilibrium involving viscosity and heat conductivity, and gas motion in non-equilibrium. The stability of these basic wave patterns in the system of Navier-Stokes equations and the Boltzmann equation has been an active research topic. Even though the stability of the two nonlinear wave patterns has been extensively studied, the stability of the linearly degenerate contact wave was not solved until recently. In this paper, we will briefly present our recent results in [32] on the stability of the contact wave patterns for both the Navier-Stokes equations and the Boltzmann equation.