A boundary Schwarz lemma for pluriharmonic mappings from the unit polydisk to the unit ball

In this article, we present a Schwarz lemma at the boundary for pluriharmonic mappings from the unit polydisk to the unit ball, which generalizes classical Schwarz lemma for bounded harmonic functions to higher dimensions. It is proved that if the pluriharmonic mapping f ∈ P(D~n, B~N) is C~(1+α) at z0 ∈ E_rD~n with f(0) = 0 and f(z_0) = ω_0∈B~N for any n,N ≥ 1, then there exist a nonnegative vector λ_f =(λ_1,0,…,λ_r,0,…,0)~T∈R~(2 n)satisfying λ_i≥1/(2~(2 n-1)) for 1 ≤ i ≤ r such that where z'_0 and w'_0 are real versions of z_0 and w_0, respectively.     

Properties of Beurling-type submodules via Agler decompositions

In this paper, we study operator-theoretic properties of the compressed shift operators $S_{z_1}$ and $S_{z_2}$ on complements of submodules of the Hardy space over the bidisk $H^2({\mathbb{D}}^2)$. Specifically, we study Beurling-type submodules – namely submodules of the form $\theta H^2({\mathbb{D}}^2)$ for θ inner – using properties of Agler decompositions of θ to deduce properties of $S_{z_1}$ and $S_{z_2}$ on model spaces $H^2({\mathbb{D}}^2)?\theta H^2({\mathbb{D}}^2)$. Results include characterizations (in terms of θ) of when a commutator $[S_{z_j}^{?},S_{z_j}]$ has rank n and when subspaces associated to Agler decompositions are reducing for $S_{z_1}$ and $S_{z_2}$. We include several open questions.     

On the Lp boundedness of wave operators for two-dimensional Schrödinger operators with threshold obstructions

Let $H=?\mathrm{\Delta }+V$ be a Schrödinger operator on $L^2({\mathbb{R}}^2)$ with real-valued potential V, and let $H_0=?\mathrm{\Delta }$. If V has sufficient pointwise decay, the wave operators $W_{\pm }=s?{\lim }_{t\to \pm \infty }?e^{itH}{e}^{?it{H}_0}$ are known to be bounded on $L^p({\mathbb{R}}^2)$ for all $1<p<\infty$ if zero is not an eigenvalue or resonance. We show that if there is an s-wave resonance or an eigenvalue only at zero, then the wave operators are bounded on $L^p({\mathbb{R}}^2)$ for $1<p<\infty$. This result stands in contrast to results in higher dimensions, where the presence of zero energy obstructions is known to shrink the range of valid exponents p.     

Normal family of meromorphic functions sharing holomorphic functions and the converse of the bloch principle

In 1996, C. C. Yang and P. C. Hu [8] showed that: Let f be a transcendental meromorphic function on the complex plane, and a = 0 be a complex number; then assume that n ≥ 2, n_1, ···, n_k are nonnegative integers such that n_1+ ··· + n_k ≥1; thus f~n(f′)~(n_1)···(f~(k))~(n_k)-a has infinitely zeros. The aim of this article is to study the value distribution of differential polynomial, which is an extension of the result of Yang and Hu for small function and all zeros of f having multiplicity at least k ≥ 2. Namely, we prove that f~n(f′)~(n_1)···(f~(k))~(n_k)-a(z)has infinitely zeros, where f is a transcendental meromorphic function on the complex plane whose all zeros have multiplicity at least k ≥ 2, and a(z) ≡ 0 is a small function of f and n ≥ 2, n_1, ···, n_k are nonnegative integers satisfying n1+ ··· + n k ≥1. Using it, we establish some normality criterias for a family of meromorphic functions under a condition where differential polynomials generated by the members of the family share a holomorphic function with zero points. The results of this article are supplement of some problems studied by J. Yunbo and G. Zongsheng [6], and extension of some problems studied X. Wu and Y.Xu [10]. The main result of this article also leads to a counterexample to the converse of Bloch's principle.     

Further results on logarithmic terraces

Let p be an odd prime, and let x be a primitive root of p. Suppose that we write the elements of ${\mathbb{Z}}_{p-1}$ as $1,2,\dots ,p-1,$ and that, wherever we evaluate $x^l(\mathrm{mod}p)$, we always write it as one of $1,2,\dots ,p-1.$ Let $?=(l_1,\dots ,l_{p-1})$ be a terrace for ${\mathbb{Z}}_{p-1}$. Then $?$ is said to be a logarithmic terrace if $\mathbf{e}=(e_1,\dots ,e_{p-1})$, defined by $e_i\equiv x^{l_i}(\mathrm{mod}p)$, is also a terrace for ${\mathbb{Z}}_{p-1}$. We study properties of logarithmic terraces, in particular investigating terraces which are simultaneously logarithmic for two different primitive roots.     

Cauchy transform and Poisson’s equation

Let $u\in W^{1,p}\cap W_0^{1,p}$, $1?p?\infty$ be a solution of the Poisson equation $\Delta u=h$, $h\in L^p$, in the unit disk. We prove ${6?u6}_{L^p}?a_p{6h6}_{L^p}$ and ${6?u6}_{L^p}?b_p{6h6}_{L^p}$ with sharp constants $a_p$ and $b_p$, for $p=1$, $p=2$, and $p=\infty$. In addition, for $p>2$, with sharp constants $c_p$ and $C_p$, we show ${6?u6}_{L^{\infty }}?c_p{6h6}_{L^p}$ and ${6?u6}_{L^{\infty }}?C_p{6h6}_{L^p}$. We also give an extension to smooth Jordan domains.These problems are equivalent to determining a precise value of the $L^p$ norm of the Cauchy transform of Dirichlet’s problem.     

Pointwise asymptotic behavior of modulated periodic reaction–diffusion waves

By working with the periodic resolvent kernel and the Bloch-decomposition, we establish pointwise bounds for the Green function of the linearized equation associated with spatially periodic traveling waves of a system of reaction–diffusion equations. With our linearized estimates together with a nonlinear iteration scheme developed by Johnson–Zumbrun, we obtain $L^p$-behavior ($p?1$) of a nonlinear solution to a perturbation equation of a reaction–diffusion equation with respect to initial data in $L^1\cap H^2$ recovering and slightly sharpening results obtained by Schneider using weighted energy and renormalization techniques. We obtain also pointwise nonlinear estimates with respect to two different initial perturbations $|u_0|?E_0{e}^{?{|x|}^2/M}$, ${|u_0|}_{H^2}?E_0$ and $|u_0|?E_0{(1+|x|)}^{?r}$, $r>2$, ${|u_0|}_{H^2}?E_0$ respectively, $E_0>0$ sufficiently small and $M>1$ sufficiently large, showing that behavior is that of a heat kernel. These pointwise bounds have not been obtained elsewhere, and do not appear to be accessible by previous techniques.     

Infinite Fujita exponents for nonlinear diffusion equations with localized sources

This paper deals with Cauchy problem to nonlinear diffusion $u_t=\Delta u^m+{\lambda }_1{u}^{p_1}(x,t)+{\lambda }_2{u}^{p_2}(x^1\left(t\right),t)$ with $m\ge 1$, $p_i,{\lambda }_i\ge 0$ ($i=1,2$) and $x^1\left(t\right)$ Hölder continuous. A new phenomenon is observed that the critical Fujita exponent $p_c=+\infty$ whenever ${\lambda }_2>0$. More precisely, the solution blows up under any nontrivial and nonnegative initial data for all $p=max\{p_1,p_2\}\in (1,+\infty )$. This result is then extended to a coupled system with localized sources as well as the cases with other nonlinearities.     

Proof of a conjecture on monomial graphs

Let e be a positive integer, p be an odd prime, $q=p^e$, and ${\mathbb{F}}_q$ be the finite field of q elements. Let $f,g\in {\mathbb{F}}_q[X,Y]$. The graph $G_q(f,g)$ is a bipartite graph with vertex partitions $P={\mathbb{F}}_q^3$ and $L={\mathbb{F}}_q^3$, and edges defined as follows: a vertex $(p)=(p_1,p_2,p_3)\in P$ is adjacent to a vertex $[l]=[l_1,l_2,l_3]\in L$ if and only if $p_2+l_2=f(p_1,l_1)$ and $p_3+l_3=g(p_1,l_1)$. If $f=XY$ and $g=X{Y}^2$, the graph $G_q(XY,X{Y}^2)$ contains no cycles of length less than eight and is edge-transitive. Motivated by certain questions in extremal graph theory and finite geometry, people search for examples of graphs $G_q(f,g)$ containing no cycles of length less than eight and not isomorphic to the graph $G_q(XY,X{Y}^2)$, even without requiring them to be edge-transitive. So far, no such graphs $G_q(f,g)$ have been found. It was conjectured that if both f and g are monomials, then no such graphs exist. In this paper we prove the conjecture.