No abstract uploaded!

InthispaperwedevelopaconservativelocaldiscontinuousGalerkin(LDG) method for the Schro ̈ dinger-Korteweg-de Vries (Sch-KdV) system, which arises in var- ious physical contexts as a model for the interaction of long and short nonlinear waves. Conservative quantities in the discrete version of the number of plasmons, energy of the oscillations and the number of particles are proved for the LDG scheme of the Sch-KdV system. Semi-implicit time discretization is adopted to relax the time step constraint from the high order spatial derivatives. Numerical results for accuracy tests of stationary traveling soliton, and the collision of solitons are shown. Numerical ex- periments illustrate the accuracy and capability of the method.

This investigation studies nonemptiness problems of plane edge coloring with three colors. In the edge coloring (or Wang tiles) of a plane, unit squares with colored edges that have one of p colors are arranged side by side such that the touching edges of the adjacent tiles have the same colors. Given a basic set B of Wang tiles, the nonemptiness problem is to determine whether or not Σ(B) 6= ∅, where Σ(B) is the set of all global patterns on Z2 that can be constructed from the Wang tiles in B. Wang’s conjecture is that for any B of Wang tiles, Σ(B) 6= ∅ if and only if P(B) 6= ∅, where P(B) is the set of all periodic patterns on Z2 that can be generated by the tiles in B. When p ≥ 5, Wang’s conjecture is known to be wrong. When p = 2, theconjecture is true. This study proves that when p = 3, the conjecture is also true. If P(B) 6= ∅, then B has a subset B′ of minimal cycle generators such that P(B′) 6= ∅ and P(B′′) = ∅ for B′′ $ B′. This study demonstrates that the set C(3) of all minimal cycle generators contains 787, 605 members that can be classified into 2, 906 equivalence classes. N(3) is the set of all maximal non-cycle generators : if B ∈ N(3), then P(B) = ∅ and P(B ˜) 6= ∅ for B ˜ % B. Wang’s conjecture is shown to be true by proving that B ∈ N(3) implies Σ(B) = ∅.

Let $X$ be an abstract not necessarily compact orientable CR manifold of dimension $2n-1$, $n\geqslant2$, and let $L^k$ be the $k$-th tensor power of a CR complex line bundle $L$ over $X$. Given $q\in\set{0,1,\ldots,n-1}$, let $\Box^{(q)}_{b,k}$ be the Gaffney extension of Kohn Laplacian for $(0,q)$ forms with values in $L^k$. For $\lambda\geq0$, let $\Pi^{(q)}_{k,\leq\lambda}:=E((-\infty,\lambda])$, where $E$ denotes the spectral measure of $\Box^{(q)}_{b,k}$. In this work, we prove that $\Pi^{(q)}_{k,\leq k^{-N_0}}F^*_k$, $F_k\Pi^{(q)}_{k,\leq k^{-N_0}}F^*_k$, $N_0\geq1$, admit asymptotic expansions with respect to $k$ on the non-degenerate part of the characteristic manifold of $\Box^{(q)}_{b,k}$, where $F_k$ is some kind of microlocal cut-off function. Moreover, we show that $F_k\Pi^{(q)}_{k,\leq0}F^*_k$ admits a full asymptotic expansion with respect to $k$ if $\Box^{(q)}_{b,k}$ has small spectral gap property with respect to $F_k$ and $\Pi^{(q)}_{k,\leq0}$ is $k$-negligible away the diagonal with respect to $F_k$. By using these asymptotics, we establish almost Kodaira embedding theorems on CR manifolds and Kodaira embedding theorems on CR manifolds with transversal CR $S^1$ action.

No abstract uploaded!