Biharmonic maps from a complete Riemannian manifold into a non-positively curved manifold

We consider biharmonic maps $\phi :(M,g)\rightarrow (N,h)$ from a complete Riemannian manifold into a Riemannian manifold with non-positive sectional curvature. Assume that $ p $ satisfies $ 2\le p <\infty $ . If for such a $ p $ , $\int _M|\tau (\phi )|^{ p }\,\mathrm{d}v_g<\infty $ and $\int _M|\,\mathrm{d}\phi |^2\,\mathrm{d}v_g<\infty ,$ where $\tau (\phi )$ is the tension field of $\phi $ , then we show that $\phi $ is harmonic. For a biharmonic submanifold, we obtain that the above assumption $\int _M|\,\mathrm{d}\phi |^2\,\mathrm{d}v_g<\infty $ is not necessary. These results give affirmative partial answers to the global version of generalized Chen’s conjecture.     

On the pullback of an arithmetic theta function

In this paper, we describe a relationship between the simplest examples of arithmetic theta series. The first of these are the weight 1 theta series ${\widehat{\phi}_{\mathcal C}(\tau)}$ defined using arithmetic 0-cycles on the moduli space ${\mathcal C}$ of elliptic curves with CM by the ring of integers ${O_{\kappa}}$ of an imaginary quadratic field. The second such series ${\widehat{\phi}_{\mathcal M}(\tau)}$ has weight 3/2 and takes values in the arithmetic Chow group ${\widehat{{\rm CH}}^1(\mathcal{M})}$ of the arithmetic surface associated to an indefinite quaternion algebra ${B/\mathbb{Q}}$ . For an embedding ${O_\kappa \rightarrow O_B}$ , a maximal order in B, and a two sided O _B -ideal Λ, there is a morphism ${j_\Lambda:{\mathcal C} \rightarrow {\mathcal M}}$ and a pullback ${j_\Lambda^*: \widehat{{\rm CH}}^1(\mathcal{M}) \rightarrow \widehat{{\rm CH}}^1(\mathcal C)}$ . Our main result is an expression for the pullback ${j^*_\Lambda \widehat{\phi}_{\mathcal M}(\tau)}$ as a linear combination of products of ${\widehat{\phi}_{\mathcal C}(\tau)}$ ’s and classical weight ${\frac{1}{2}}$ theta series.     

On the dependency for asymptotically independent estimates

Suppose ${\widehat{\theta}_1}$ and ${\widehat{\theta}_2}$ are asymptotically independent non-lattice with a joint second order Edgeworth expansion in n ^?1/2. Then the ?? dependency coefficient is $$\alpha \left(\widehat{\theta}_1, \widehat{\theta}_2 \right) = n^{-1/2} C + O \left(n^{-1} \right),$$ where ${C = (4 \pi)^{-1}\exp (-1/2) (\tau^2_1 + \tau^2_2) ^{1/2}}$ for ${\tau_1, \tau_2}$ their joint skewness coefficients.     

Supports of (\mathfrak{g},\mathfrak{k})-modules of finite type

Let $\mathfrak{g}$ be a semisimple Lie algebra and $\mathfrak{k}$ be a reductive subalgebra in $\mathfrak{g}$ . We say that a $\mathfrak{g}$ -module M is a $(\mathfrak{g},\mathfrak{k})$ -module if M, considered as a $\mathfrak{k}$ -module, is a direct sum of finite-dimensional $\mathfrak{k}$ -modules. We say that a $(\mathfrak{g},\mathfrak{k})$ -module M is of finite type if all $\mathfrak{k}$ -isotopic components of M are finite-dimensional. In this paper we prove that any simple $(\mathfrak{g},\mathfrak{k})$ -module of finite type is holonomic. A simple $\mathfrak{g}$ -module M is associated with the invariants V(M), V(LocM), and L(M) reflecting the ??directions of growth of M.?? We also prove that for a given pair $(\mathfrak{g},\mathfrak{k})$ the set of possible invariants is finite.     

Homotopy and nonlinear boundary value problems involving singular {\phi}-Laplacians

Homotopy methods are used to find sufficient conditions for the solvability of nonlinear boundary value problems of the form $$(\phi(u^\prime))^\prime = f(t, u, u^\prime), \quad g(u(\alpha), \phi(u^\prime(\beta))) = 0,$$ where (α, β) = (0, 1), (1, 0), (0, 0) or (1, 1), ${\phi}$ is a homeomorphism from the open ball ${B(a) \subset \mathbb{R}^n}$ onto ${\mathbb{R}^n}$ , f is a Carathéodory function, ${g : \mathbb{R}^n \times \, \mathbb{R}^n \rightarrow \mathbb{R}^m}$ is continuous and m ≤ 2n.     

Generalized Lax-Milgram theorem in Banach spaces and its application to the elliptic system of boundary value problems

We generalize the well-known Lax-Milgram theorem on the Hilbert space to that on the Banach space. Suppose that ${a(\cdot, \cdot)}$ is a continuous bilinear form on the product ${X\times Y}$ of Banach spaces X and Y, where Y is reflexive. If null spaces N _X and N _Y associated with ${a(\cdot, \cdot)}$ have complements in X and in Y, respectively, and if ${a(\cdot, \cdot)}$ satisfies certain variational inequalities both in X and in Y, then for every ${F \in N_Y^{\perp}}$ , i.e., ${F \in Y^{\ast}}$ with ${F(\phi) = 0}$ for all ${\phi \in N_Y}$ , there exists at least one ${u \in X}$ such that ${a(u, \varphi) = F(\varphi)}$ holds for all ${\varphi \in Y}$ with ${\|u\|_X \le C\|F\|_{Y^{\ast}}}$ . We apply our result to several existence theorems of L ^r -solutions to the elliptic system of boundary value problems appearing in the fluid mechanics.     

Nielsen coincidence,fixed point and root theories of n-valued maps

Let ${(\phi, \psi)}$ be an (m, n)-valued pair of maps ${\phi, \psi : X \multimap Y}$ , where ${\phi}$ is an m-valued map and ${\psi}$ is n-valued, on connected finite polyhedra. A point ${x \in X}$ is a coincidence point of ${\phi}$ and ${\psi}$ if ${\phi(x) \cap \psi(x) \neq \emptyset}$ . We define a Nielsen coincidence number ${N(\phi : \psi)}$ which is a lower bound for the number of coincidence points of all (m, n)-valued pairs of maps homotopic to ${(\phi, \psi)}$ . We calculate ${N(\phi : \psi)}$ for all (m, n)-valued pairs of maps of the circle and show that ${N(\phi : \psi)}$ is a sharp lower bound in that setting. Specifically, if ${\phi}$ is of degree a and ${\psi}$ of degree b, then ${N(\phi : \psi) = \frac{|an - bm|}{\langle m, n \rangle}}$ , where ${\langle m, n \rangle}$ is the greatest common divisor of m and n. In order to carry out the calculation, we obtain results, of independent interest, for n-valued maps of compact connected Lie groups that relate the Nielsen fixed point number of Helga Schirmer to the Nielsen root number of Michael Brown.     

Exact multiplicity for the perturbed Q-curvature problem in {\mathbb{R}^N,N \geq 5}

Let N ≥ 5 and \({{\mathcal{D}}^{2,2} (\mathbb{R}^N)}\) denote the closure of \({C_0^\infty (\mathbb{R}^N)}\) in the norm \({\|u\|_{{\mathcal{D}}^{2,2} (\mathbb{R}^N)}^2 := \int\nolimits_{\mathbb{R}^N} |\Delta u|^2.}\) Let \({K \in C^2 (\mathbb{R}^N).}\) We consider the following problem for ? ≥ 0: $$(P_\varepsilon) \left\{\begin{array}{llll}{\rm Find} \, u \in {\mathcal{D}}^{2, 2} (\mathbb{R}^N) \, \, {\rm solving} :\\ \left.\begin{array}{lll}\Delta^2 u = (1+ \varepsilon K (x)) u^{\frac{N+4}{N-4}}\\ u > 0 \end{array}\right\}{\rm in} \, \mathbb{R}^N.\end{array}\right.$$ We show an exact multiplicity result for (P _? ) for all small ? > 0.     

First moment of Rankin–Selberg central L-values and subconvexity in the level aspect

Let 1≤N<M with N and M coprime and square-free. Through classical analytic methods we estimate the first moment of central L-values $L(\frac{1}{2},f\times g)$ where $f\in\mathcal{S}^{*}_{k}(N)$ runs over primitive holomorphic forms of level N and trivial nebentypus and g is a given form of level M. As a result, we recover the bound $L(\frac{1}{2},f\times g) \ll_{\varepsilon}(N + \sqrt{M}) N^{\varepsilon}M^{\varepsilon}$ when g is dihedral. The first moment method also applies to the special derivative $L'(\frac{1}{2},f\times g)$ under the assumption that it is non-negative for all $f\in\mathcal{S}^{*}_{k}(N)$ .     

Pointwise convergence in Pringsheim’s sense of the summability of Fourier transforms on Wiener amalgam spaces

New multi-dimensional Wiener amalgam spaces \(W_c(L_p,\ell _\infty )(\mathbb{R }^d)\) are introduced by taking the usual one-dimensional spaces coordinatewise in each dimension. The strong Hardy-Littlewood maximal function is investigated on these spaces. The pointwise convergence in Pringsheim’s sense of the \(\theta \) -summability of multi-dimensional Fourier transforms is studied. It is proved that if the Fourier transform of \(\theta \) is in a suitable Herz space, then the \(\theta \) -means \(\sigma _T^\theta f\) converge to \(f\) a.e. for all \(f\in W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d)\) . Note that \(W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d) \supset W_c(L_r,\ell _\infty )(\mathbb{R }^d) \supset L_r(\mathbb{R }^d)\) and \(W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d) \supset L_1(\log L)^{d-1}(\mathbb{R }^d)\) , where \(1 . Moreover, \(\sigma _T^\theta f(x)\) converges to \(f(x)\) at each Lebesgue point of \(f\in W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d)\) .     

Linearity and Second Fundamental Forms for Proper Holomorphic Maps from \mathbb{B}^{n+1} to \mathbb{B}^{4n-3}

For a holomorphic proper map F from the ball $\mathbb{B}^{n+1}$ into $\mathbb{B}^{N+1}$ that is C ³ smooth up to the boundary, the image $M=F(\partial\mathbb{B}^{n})$ is an immersed CR submanifold in the sphere $\partial \mathbb{B}^{N+1}$ on which some second fundamental forms II _M and $\mathit{II}^{CR}_{M}$ can be defined. It is shown that when 4??n+1<N+1??4n?3, F is linear fractional if and only if $\mathit{II}_{M} - \mathit{II}_{M}^{CR} \equiv 0$ .     

Noncommutative Multivariable Operator Theory

In this paper, we study noncommutative domains ${\mathbb{D}_f^\varphi(\mathcal{H}) \subset B(\mathcal{H})^n}$ generated by positive regular free holomorphic functions f and certain classes of n-tuples ${\varphi = (\varphi_1, \ldots, \varphi_n)}$ of formal power series in noncommutative indeterminates Z ₁, . . . , Z _n . Noncommutative Poisson transforms are employed to show that each abstract domain ${\mathbb{D}_f^\varphi}$ has a universal model consisting of multiplication operators (M _Z1, . . . , M _{Z n} ) acting on a Hilbert space of formal power series. We provide a Beurling type characterization of all joint invariant subspaces under M _Z1, . . . , M _{Z n} and show that all pure n-tuples of operators in ${\mathbb{D}_f^\varphi(\mathcal{H})}$ are compressions of ${M_{Z_1} \otimes I, \ldots, M_{Z_n} \otimes I}$ to their coinvariant subspaces. We show that the eigenvectors of ${M_{Z_1}^*, \ldots, M_{Z_n}^*}$ are precisely the noncommutative Poisson kernels ${\Gamma_\lambda}$ associated with the elements ${\lambda}$ of the scalar domain ${\mathbb{D}_{f,<}^\varphi(\mathbb{C}) \subset \mathbb{C}^n}$ . These are used to solve the Nevanlinna-Pick interpolation problem for the noncommutative Hardy algebra ${H^\infty(\mathbb{D}_f^\varphi)}$ . We introduce the characteristic function of an n-tuple ${T=(T_1, \ldots , T_n) \in \mathbb{D}_f^\varphi(\mathcal{H})}$ , present a model for pure n-tuples of operators in the noncommutative domain ${\mathbb{D}_f^\varphi(\mathcal{H})}$ in terms of characteristic functions, and show that the characteristic function is a complete unitary invariant for pure n-tuples of operators in ${\mathbb{D}_f^\varphi(\mathcal{H})}$ .     

The error term in the Sato–Tate conjecture

Let \({f(z) = \sum_{n=1}^\infty a(n)e^{2\pi i nz} \in S_k^{\mathrm{new}}(\Gamma_0(N))}\) be a newform of even weight \({k \geq 2}\) that does not have complex multiplication. Then \({a(n) \in \mathbb{R}}\) for all n; so for any prime p, there exists \({\theta_p \in [0, \pi]}\) such that \({a(p) = 2p^{(k-1)/2} {\rm cos} (\theta_p)}\) . Let \({\pi(x) = \#\{p \leq x\}}\) . For a given subinterval \({[\alpha, \beta]\subset[0, \pi]}\) , the now-proven Sato–Tate conjecture tells us that as \({x \to \infty}\) , $$ \#\{p \leq x: \theta_p \in I\} \sim \mu_{ST} ([\alpha, \beta])\pi(x),\quad \mu_{ST} ([\alpha, \beta]) = \int\limits_{\alpha}^\beta \frac{2}{\pi}{\rm sin}^2(\theta) d\theta. $$ Let \({\epsilon > 0}\) . Assuming that the symmetric power L-functions of f are automorphic, we prove that as \({x \to \infty}\) , $$ \#\{p \leq x: \theta_p \in I\} = \mu_{ST} ([\alpha, \beta])\pi(x) + O\left(\frac{x}{(\log x)^{9/8-\epsilon}} \right), $$ where the implied constant is effectively computable and depends only on k,N, and \({\epsilon}\) .     

Existence results of fractional differential equations with irregular boundary conditions and p-Laplacian operator

In this paper, we discuss the existence of solutions for irregular boundary value problems of nonlinear fractional differential equations with p-Laplacian operator $$\left \{ \begin{array}{l} {\phi}_p(^cD_{0+}^{\alpha}u(t))=f(t,u(t),u'(t)), \quad 0< t<1, \ 1< \alpha \leq2, \\ u(0)+(-1)^{\theta}u'(0)+bu(1)=\lambda, \qquad u(1)+(-1)^{\theta}u'(1)=\int_0^1g(s,u(s))ds,\\ \quad \theta=0,1, \ b \neq \pm1, \end{array} \right . $$ where \(^{c}D_{0+}^{\alpha}\) is the Caputo fractional derivative, ? _p (s)=|s| ^p?2 s, p>1, \({\phi}_{p}^{-1}={\phi}_{q}\) , \(\frac {1}{p}+\frac{1}{q}=1\) and \(f: [0,1] \times\mathbb{R} \times\mathbb {R} \longrightarrow\mathbb{R}\) . Our results are based on the Schauder and Banach fixed point theorems. Furthermore, two examples are also given to illustrate the results.     

Behaviour at infinity of solutions of some linear functional equations in normed spaces

Let \({\mathbb{K} \in \{\mathbb{R}, \mathbb{C}\}, I = (d, \infty), \phi : I \to I}\) be unbounded continuous and increasing, X be a normed space over \({\mathbb{K}, \mathcal{F} : = \{f \in X^I : {\rm lim}_{t \to \infty} f(t) {\rm exists} \, {\rm in} X\},\hat{a} \in \mathbb{K}, \mathcal{A}(\hat{a}) : = \{\alpha \in \mathbb{K}^I : {\rm lim}_{t \to \infty} \alpha(t) = \hat{a}\},}\) and \({\mathcal{X} : = \{x \in X^I : {\rm lim} \, {\rm sup}_{t \to \infty} \|x(t)\| < \infty\}}\) . We prove that the limit lim _{t → ∞} x(t) exists for every \({f \in \mathcal{F}, \alpha \in \mathcal{A}(\hat{a})}\) and every solution \({x \in \mathcal{X}}\) of the functional equation $$x(\phi(t)) = \alpha(t) x(t) + f(t)$$ if and only if \({|\hat{a}| \neq 1}\) . Using this result we study behaviour of bounded at infinity solutions of the functional equation $$x(\phi^{[k]}(t)) = \sum_{j=0}^{k-1} \alpha_j(t) x (\phi^{[j]}(t)) + f(t),$$ under some conditions posed on functions \({\alpha_j(t), j = 0, 1,\ldots, k - 1,\phi}\) and f.     

A sharp equivalence between H ∞ functional calculus and square function estimates

Let (T _t ) _{t?≥ 0} be a bounded analytic semigroup on L ^p (Ω), with 1?<?p?<?∞. Let ?A denote its infinitesimal generator. It is known that if A and A ^* both satisfy square function estimates ${\bigl\|\bigl(\int_{0}^{\infty} \vert A^{\frac{1}{2}} T_t(x)\vert^2 {\rm d}t \bigr)^{\frac{1}{2}}\bigr\|_{L^p} \lesssim \|x\|_{L^p}}$ and ${\bigl\|\bigl(\int_{0}^{\infty} \vert A^{*\frac{1}{2}} T_t^*(y) \vert^2 {\rm d}t \bigr)^{\frac{1}{2}}\bigr\|_{L^{p^\prime}} \lesssim \|y\|_{L^{p^\prime}}}$ for ${x\in L^p(\Omega)}$ and ${y\in L^{p^\prime}(\Omega)}$ , then A admits a bounded ${H^{\infty}(\Sigma_\theta)}$ functional calculus for any ${\theta>\frac{\pi}{2}}$ . We show that this actually holds true for some ${\theta<\frac{\pi}{2}}$ .     

Averaged Pointwise Bounds for Deformations of Schrödinger Eigenfunctions

Let (M,g) be an n-dimensional, compact Riemannian manifold and ${P_0(\hbar) = -\hbar{^2} \Delta_g + V(x)}$ be a semiclassical Schrödinger operator with ${\hbar \in (0,\hbar_0]}$ . Let ${E(\hbar) \in [E-o(1),E+o(1)]}$ and ${(\phi_{\hbar})_{\hbar \in (0,\hbar_0]}}$ be a family of L ²-normalized eigenfunctions of ${P_0(\hbar)}$ with ${P_0(\hbar) \phi_{\hbar} = E(\hbar) \phi_{\hbar}}$ . We consider magnetic deformations of ${P_0(\hbar)}$ of the form ${P_u(\hbar) = - \Delta_{\omega_u}(\hbar) + V(x)}$ , where ${\Delta_{\omega_u}(\hbar) = (\hbar d + i \omega_u(x))^*({\hbar}d + i \omega_u(x))}$ . Here, u is a k-dimensional parameter running over ${B^k(\epsilon)}$ (the ball of radius ${\epsilon}$ ), and the family of the magnetic potentials ${(w_u)_{u\in B^k(\epsilon)}}$ satisfies the admissibility condition given in Definition 1.1. This condition implies that k ≥ n and is generic under this assumption. Consider the corresponding family of deformations of ${(\phi_{\hbar})_{\hbar \in (0, \hbar_0]}}$ , given by ${(\phi^u_{\hbar})_{\hbar \in(0, \hbar_0]}}$ , where $$\phi_{\hbar}^{(u)}:= {\rm e}^{-it_0 P_u(\hbar)/\hbar}\phi_{\hbar}$$ for ${|t_0|\in (0,\epsilon)}$ ; the latter functions are themselves eigenfunctions of the ${\hbar}$ -elliptic operators ${Q_u(\hbar): ={\rm e}^{-it_0P_u(\hbar)/\hbar} P_0(\hbar) {\rm e}^{it_0 P_u(\hbar)/\hbar}}$ with eigenvalue ${E(\hbar)}$ and ${Q_0(\hbar) = P_{0}(\hbar)}$ . Our main result, Theorem1.2, states that for ${\epsilon >0 }$ small, there are constants ${C_j=C_j(M,V,\omega,\epsilon) > 0}$ with j = 1,2 such that $$C_{1}\leq \int\limits_{\mathcal{B}^k(\epsilon)} |\phi_{\hbar}^{(u)}(x)|^2 \, {\rm d}u \leq C_{2}$$ , uniformly for ${x \in M}$ and ${\hbar \in (0,h_0]}$ . We also give an application to eigenfunction restriction bounds in Theorem 1.3.     

Boundary partial regularity for a class of biharmonic maps

We consider the Dirichlet problem for biharmonic maps u from a bounded, smooth domain ${\Omega\subset\mathbb R^n (n\ge 5)}$ to a compact, smooth Riemannian manifold ${N\subset{\mathbb {R}}^l}$ without boundary. For any smooth boundary data, we show that if u is a stationary biharmonic map that satisfies a certain boundary monotonicity inequality, then there exists a closed subset ${\Sigma\subset\overline{\Omega}}$ , with ${H^{n-4}(\Sigma)=0}$ , such that ${\displaystyle u\in C^\infty(\overline\Omega\setminus\Sigma, N)}$ .     

Planar Beurling Transform and Bergman Type Spaces

In this paper we describe the actions of the operator $S_\mathbb{D }$ or its adjoint $S_\mathbb{D }^*$ on the poly-Bergman spaces of the unit disk $\mathbb{D }.$ Let $k$ and $j$ be positive integers. We prove that $(S_\mathbb{D })^{j}$ is an isometric isomorphism between the true poly-Bergman subspace $\mathcal{A }_{(k)}^2(\mathbb{D })\ominus N_{(k),j}$ onto the true poly-Bergman space $\mathcal{A }_{(j+k)}^2(\mathbb{D }),$ where the linear space $N_{(k),j}$ have finite dimension $j.$ The action of $(S_\mathbb{D })^{j-1}$ on the canonical Hilbert base for the Bergman subspace $\mathcal{A }^2(\mathbb{D })\ominus \mathcal{P }_{j-1},$ gives a Hilbert base $\{ \phi _{ j , k } \}_{ k }$ for $\mathcal{A }_{(j)}^2(\mathbb{D }).$ It is shown that $\{ \phi _{ j , k } \}_{ j, k }$ is a Hilbert base for $L^2(\mathbb{D },d A)$ such that whenever $j$ and $k$ remain constant we obtain a Hilbert base for the true poly-Bergman space $\mathcal{A }_{(j)}^2(\mathbb{D })$ and $\mathcal{A }_{(-k)}^2(\mathbb{D }),$ respectively. The functions $\phi _{ j , k }$ are polynomials in $z$ and $\overline{z}$ and are explicitly given in terms of the $(2,1)$ -hypergeometric polynomials. We prove explicit representations for the true poly-Bergman kernels and the Koshelev representation for the poly-Bergman kernels of $\mathbb{D }.$ The action of $S_\Pi $ on the true poly-Bergman spaces of the upper half-plane $\Pi $ allows one to introduce Hilbert bases for the true poly-Bergman spaces, and to give explicit representations of the true poly-Bergman and poly-Bergman kernels.