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

Boundedness of Generalized Riesz Transforms on Orlicz–Hardy Spaces Associated to Operators

Let ${\Phi}$ be a continuous, strictly increasing and concave function on (0, ∞) of critical lower type index ${p_\Phi^- \in(0,\,1]}$ . Let L be an injective operator of type ω having a bounded H _∞ functional calculus and satisfying the k-Davies–Gaffney estimates with ${k \in {\mathbb Z}_+}$ . In this paper, the authors first introduce an Orlicz–Hardy space ${H^{\Phi}_{L}(\mathbb{R}^n)}$ in terms of the non-tangential L-adapted square function and then establish its molecular characterization. As applications, the authors prove that the generalized Riesz transform ${D_{\gamma}L^{-\delta/(2k)}}$ is bounded from the Orlicz–Hardy space ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the Orlicz space ${L^{\widetilde{\Phi}}(\mathbb{R}^n)}$ when ${p_\Phi^- \in (0, \frac{n}{n+ \delta - \gamma}]}$ , ${0 < \gamma \le \delta < \infty}$ and ${\delta- \gamma < n (\frac{1}{p_-(L)}-\frac{1}{p_+(L)})}$ , or from ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the Orlicz–Hardy space ${H^{\widetilde \Phi}(\mathbb{R}^n)}$ when ${p_\Phi^-\in (\frac{n}{n + \delta+ \lfloor \gamma \rfloor- \gamma},\,\frac{n}{n+ \delta- \gamma}]}$ , ${1\le \gamma \le \delta < \infty}$ and ${\delta- \gamma < n (\frac{1}{p_-(L)}-\frac{1}{p_+(L)})}$ , or from ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the weak Orlicz–Hardy space ${WH^\Phi(\mathbb{R}^n)}$ when ${\gamma = \delta}$ and ${p_\Phi=n/(n + \lfloor \gamma \rfloor)}$ or ${p_\Phi^-=n/(n + \lfloor \gamma \rfloor)}$ with ${p_\Phi^-}$ attainable, where ${\widetilde{\Phi}}$ is an Orlicz function whose inverse function ${\widetilde{\Phi}^{-1}}$ is defined by ${\widetilde{\Phi}^{-1}(t):=\Phi^{-1}(t)t^{\frac{1}{n}(\gamma- \delta)}}$ for all ${t \in (0,\,\infty)}$ , ${p_\Phi}$ denotes the strictly critical lower type index of ${\Phi}$ , ${\lfloor \gamma \rfloor}$ the maximal integer not more than ${\gamma}$ and ${(p_-(L),\,p_+(L))}$ the range of exponents ${p \in[1,\, \infty]}$ for which the semigroup ${\{e^{-tL}\}_{t >0 }}$ is bounded on ${L^p(\mathbb{R}^n)}$ .     

Regularity of semi-stable solutions to fourth order nonlinear eigenvalue problems on general domains

We examine the fourth order problem $\Delta ^2 u = \lambda f(u) $ in $ \Omega $ with $ \Delta u = u =0 $ on $ {\partial \Omega }$ , where $ \lambda > 0$ is a parameter, $ \Omega $ is a bounded domain in $\mathbb{R }^N$ and where $f$ is one of the following nonlinearities: $ f(u)=e^u$ , $ f(u)=(1+u)^p $ or $ f(u)= \frac{1}{(1-u)^p}$ where $ p>1$ . We show the extremal solution is smooth, provided $$\begin{aligned} N < 2 + 4 \sqrt{2} + 4 \sqrt{ 2 - \sqrt{2}} \approx 10.718 \text{ when} f(u)=e^u, \end{aligned}$$ and $$\begin{aligned} N < \frac{4p}{p-1} + \frac{4(p+1)}{p-1} \left( \sqrt{ \frac{2p}{p+1}} + \sqrt{ \frac{2p}{p+1} - \sqrt{ \frac{2p}{p+1}}} - \frac{1}{2} \right) \end{aligned}$$ when $ f(u)=(u+1)^p$ . New results are also obtained in the case where $ f(u)=(1-u)^{-p}$ . These are substantial improvements to various results on critical dimensions obtained recently by various authors. To do that, we derive a new stability inequality satisfied by minimal solutions of the above equation, which is more amenable to estimates as it allows a method of proof reminiscent of the second order case.     

1D Schrödinger Operators with Short Range Interactions: Two-Scale Regularization of Distributional Potentials

For real ${L_\infty(\mathbb{R})}$ -functions ${\Phi}$ and ${\Psi}$ of compact support, we prove the norm resolvent convergence, as ${\varepsilon}$ and ${\nu}$ tend to 0, of a family ${S_{\varepsilon \nu}}$ of one-dimensional Schrödinger operators on the line of the form $$S_{\varepsilon \nu} = -\frac{d^2}{dx^2} + \frac{\alpha}{\varepsilon^2} \Phi \left( \frac{x}{\varepsilon} \right) + \frac{\beta}{\nu} \Psi \left(\frac{x}{\nu} \right),$$ provided the ratio ${\nu/\varepsilon}$ has a finite or infinite limit. The limit operator S ₀ depends on the shape of ${\Phi}$ and ${\Psi}$ as well as on the limit of ratio ${\nu/\varepsilon}$ . If the potential ${\alpha\Phi}$ possesses a zero-energy resonance, then S ₀ describes a non trivial point interaction at the origin. Otherwise S ₀ is the direct sum of the Dirichlet half-line Schrödinger operators.     

Nonlinear elliptic problems with a singular weight on the boundary

We study existence of solutions to $$-\Delta u = \frac{u^p}{|x|^2}\quad u\, >\,0 \,{\rm in }\,\Omega$$ with u?=?0 on ???, where ?? is a smooth bounded domain in ${\mathbb {R}^N}$ , N??? 3 with ${0\,\in\,\partial \Omega}$ and ${1< p < \frac{N+2}{N-2}}$ . The existence of solutions depends on the geometry of the domain. On one hand, if the domain is starshaped with respect to the origin there are no energy solutions. On the other hand, in dumbbell domains via a perturbation argument, the equation has solutions.     

Necessary and Sufficient Conditions for Associated Differential Operators in Quaternionic Analysis and Applications to Initial Value Problems

This paper deals with the initial value problem of type $$\begin{array}{ll} \qquad \frac{\partial u}{\partial t} = \mathcal{L} u := \sum \limits^3_{i=0} A^{(i)} (t, x) \frac{\partial u}{\partial x_{i}} + B(t, x)u + C(t, x)\\ u (0, x) = u_{0}(x)\end{array}$$ in the space of generalized regular functions in the sense of Quaternionic Analysis satisfying the differential equation $$\mathcal{D}_{\lambda}u := \mathcal{D} u + \lambda u = 0,$$ where ${t \in [0, T]}$ is the time variable, x runs in a bounded and simply connected domain in ${\mathbb{R}^{4}, \lambda}$ is a real number, and ${\mathcal{D}}$ is the Cauchy-Fueter operator. We prove necessary and sufficient conditions on the coefficients of the operator ${\mathcal{L}}$ under which ${\mathcal{L}}$ is associated with the operator ${\mathcal{D}_{\lambda}}$ , i.e. ${\mathcal{L}}$ transforms the set of all solutions of the differential equation ${\mathcal{D}_{\lambda}u = 0}$ into solutions of the same equation for fixedly chosen t. This criterion makes it possible to construct operators ${\mathcal{L}}$ for which the initial value problem is uniquely soluble for an arbitrary initial generalized regular function u ₀ by the method of associated spaces constructed by W. Tutschke (Teubner Leipzig and Springer Verlag, 1989) and the solution is also generalized regular for each t.     

The universality theorem for Hecke L-functions

We extend the universality theorem for Hecke L-functions attached to ray class characters from the previously known strip ${ \max \{\frac{1}{2}, 1-\frac{1}{d}\} < {\rm Re}\,s < 1}$ for ${d=\left[K:\mathbb{Q}\right]}$ to the maximal strip ${\frac{1}{2} < {\rm Re}\,s < 1}$ under an assumption of a weak version of the density hypothesis. As a corollary, we give a new proof of the universality theorem for the Dedekind zeta function ζ _K (s) in the case of ${K/\mathbb{Q}}$ finite abelian.     

Quenched to annealed transition in the parabolic Anderson problem

We study limit behavior for sums of the form $\frac{1}{|\Lambda_{L|}}\sum_{x\in \Lambda_{L}}u(t,x),$ where the field $\Lambda_L=\left\{x\in {\bf{Z^d}}:|x|\le L\right\}$ is composed of solutions of the parabolic Anderson equation $$u(t,x) = 1 + \kappa \mathop{\int}_{0}^{t} \Delta u(s,x){\rm d}s + \mathop{\int}_{0}^{t}u(s,x)\partial B_{x}(s). $$ The index set is a box in Z ^d , namely $\Lambda_{L} = \left\{x\in {\bf Z}^{\bf d} : |x| \leq L\right\}$ and L = L(t) is a nondecreasing function $L : [0,\infty)\rightarrow {\bf R}^{+}. $ We identify two critical parameters $\eta(1) < \eta(2)$ such that for $\gamma > \eta(1)$ and L(t) = e^{γ t} , the sums $\frac{1}{|\Lambda_L|}\sum_{x\in \Lambda_L}u(t,x)$ satisfy a law of large numbers, or put another way, they exhibit annealed behavior. For $\gamma > \eta(2)$ and L(t) = e^{γ t} , one has $\sum_{x\in \Lambda_L}u(t,x)$ when properly normalized and centered satisfies a central limit theorem. For subexponential scales, that is when $\lim_{t \rightarrow \infty} \frac{1}{t}\ln L(t) = 0,$ quenched asymptotics occur. That means $\lim_{t\rightarrow \infty}\frac{1}{t}\ln\left (\frac{1}{|\Lambda_L|}\sum_{x\in \Lambda_L}u(t,x)\right) = \gamma(\kappa),$ where $\gamma(\kappa)$ is the almost sure Lyapunov exponent, i.e. $\lim_{t\rightarrow \infty}\frac{1}{t}\ln u(t,x)= \gamma(\kappa).$ We also examine the behavior of $\frac{1}{|\Lambda_L|}\sum_{x\in \Lambda_L}u(t,x)$ for L = e ^{γ t} with γ in the transition range $(0,\eta(1))$      

Invariant submanifolds of Sasakian space forms

In the present study, we consider isometric immersions ${f : M \rightarrow \tilde{M}(c)}$ of (2n + 1)-dimensional invariant submanifold M ²ⁿ⁺¹ of (2m + 1) dimensional Sasakian space form ${\tilde{M}^{2m+1}}$ of constant ${ \varphi}$ -sectional curvature c. We have shown that if f satisfies the curvature condition ${\overset{\_}{R}(X, Y) \cdot \sigma =Q(g, \sigma)}$ then either M ²ⁿ⁺¹ is totally geodesic, or ${||\sigma||^{2}=\frac{1}{3}(2c+n(c+1)),}$ or ${||\sigma||^{2}(x) > \frac{1}{3}(2c+n(c+1)}$ at some point x of M ²ⁿ⁺¹. We also prove that ${\overset{\_ }{R}(X, Y)\cdot \sigma = \frac{1}{2n}Q(S, \sigma)}$ then either M ²ⁿ⁺¹ is totally geodesic, or ${||\sigma||^{2}=-\frac{2}{3}(\frac{1}{2n}\tau -\frac{1}{2}(n+2)(c+3)+3)}$ , or ${||\sigma||^{2}(x) > -\frac{2}{3}(\frac{1}{2n} \tau (x)-\frac{1}{2} (n+2)(c+3)+3)}$ at some point x of M ²ⁿ⁺¹.     

Multibump bound states for quasilinear Schrödinger systems with critical frequency

In this paper, we are concerned with the multibump solutions for the following quasilinear Schrödinger system in ${\mathbb{R}^N}$ : $$\left\{\begin{array}{ll}-\Delta{u} + \lambda{a(x)u} - \frac{1}{2}(\Delta|u|^2)u = \frac{2\alpha}{\alpha + \beta}|u|^{\alpha-2}|\upsilon|^\beta u, \\-\Delta{\upsilon} + \lambda{b(x)\upsilon} - \frac{1}{2}(\Delta|\upsilon|^2)\upsilon = \frac{2\beta}{\alpha + \beta}|u|^\alpha|\upsilon|^{\beta-2} \upsilon, \\u(x) \rightarrow 0, \upsilon(x) \rightarrow 0 \quad as|x| \rightarrow \infty,\end{array}\right.$$ where λ > 0 is a parameter, α, β > 2 satisfying α + β < 2 · 2*, here ${2^{*} = \frac{2N}{N-2}}$ is the critical Sobolev exponent for ${N \geq 3}$ and a(x), b(x) are nonnegative potentials. Using variational methods, we prove that if the zero sets of a(x) and b(x) have several common isolated connected components ${\Omega_{1}, . . . ,\Omega_{k}}$ such that the interior of ${\Omega_{i} (i = 1, 2, . . . , k)}$ is not empty and ${\partial\Omega_{i} (i = 1, 2, . . . , k)}$ is smooth, then for λ sufficiently large, the system admits, for any nonempty subset ${J \subset \{1, 2, . . . , k\}}$ , a solution which is trapped in a neighborhood of ${\cup_{j\epsilon{J}} \Omega_{j}}$ .     

{\mathcal{C}^{\alpha}}-regularity for a class of non-diagonal elliptic systems with p-growth

We consider weak solutions to nonlinear elliptic systems in a W ^1,p -setting which arise as Euler equations to certain variational problems. The solutions are assumed to be stationary in the sense that the differential of the variational integral vanishes with respect to variations of the dependent and independent variables. We impose new structure conditions on the coefficients which yield everywhere ${\mathcal{C}^{\alpha}}$ -regularity and global ${\mathcal{C}^{\alpha}}$ -estimates for the solutions. These structure conditions cover variational integrals like ${\int F(\nabla u)\; dx}$ with potential ${F(\nabla u):=\tilde F (Q_1(\nabla u),\ldots, Q_N(\nabla u))}$ and positively definite quadratic forms in ${\nabla u}$ defined as ${Q_i(\nabla u)=\sum_{\alpha \beta} a_i^{\alpha \beta} \nabla u^\alpha \cdot \nabla u^\beta}$ . A simple example consists in ${\tilde F(\xi_1,\xi_2):= |\xi_1|^{\frac{p}{2}} + |\xi_2|^{\frac{p}{2}}}$ or ${\tilde F(\xi_1,\xi_2):= |\xi_1|^{\frac{p}{4}}|\xi_2|^{\frac{p}{4}}}$ . Since the Q _i need not to be linearly dependent our result covers a class of nondiagonal, possibly nonmonotone elliptic systems. The proof uses a new weighted norm technique with singular weights in an L ^p -setting.     

Stationary solutions of the nonlinear Schrödinger equation with fast-decay potentials concentrating around local maxima

We study positive bound states for the equation ${- \varepsilon^2 \Delta u + Vu = u^p, \quad {\rm in} \quad \mathbb{R}^N}$ , where ${\varepsilon > 0}$ is a real parameter, ${\frac{N}{N-2} < p < \frac{N+2}{N-2}}$ and V is a nonnegative potential. Using purely variational techniques, we find solutions which concentrate at local maxima of the potential V without any restriction on the potential.     

Classification of hypersurfaces with constant M?bius curvature in {\mathbb{S}^{m+1}}

Let ${x: M^{m} \rightarrow \mathbb{S}^{m+1}}$ be an m-dimensional umbilic-free hypersurface in an (m?+?1)-dimensional unit sphere ${\mathbb{S}^{m+1}}$ , with standard metric I?= dx · dx. Let II be the second fundamental form of isometric immersion x. Define the positive function ${\rho=\sqrt{\frac{m}{m-1}}\|II-\frac{1}{m}tr(II)I\|}$ . Then positive definite (0,2) tensor ${\mathbf{g}=\rho^{2}I}$ is invariant under conformal transformations of ${\mathbb{S}^{m+1}}$ and is called M?bius metric. The curvature induced by the metric g is called M?bius curvature. The purpose of this paper is to classify the hypersurfaces with constant M?bius curvature.     

A logarithmically improved regularity criterion for the Navier–Stokes equations

In this note we prove a logarithmically improved regularity criterion in terms of the Besov space norm for the Navier–Stokes equations. The result shows that if a mild solution u satisfies ${\int_{0}^{T}\frac{\|u (t,\cdot)\|_{{\dot{B}}_{\infty,\infty}^{-r}}^{\frac{2}{1-r}}}{1+\ln(e+\| u(t,\cdot)\|_{H^{s}})}\text{d}t < \infty}$ for some 0?≤ r?<?1 and ${s\geq\frac{n}{2}-1}$ , then u is regular at t?=?T.     

Pinned distance sets, k-simplices, Wolff’s exponent in finite fields and sum-product estimates

An analog of the Falconer distance problem in vector spaces over finite fields asks for the threshold α?>?0 such that ${|\Delta(E)| \gtrsim q}$ whenever ${|E| \gtrsim q^{\alpha}}$ , where ${E \subset {\mathbb {F}}_q^d}$ , the d-dimensional vector space over a finite field with q elements (not necessarily prime). Here ${\Delta(E)=\{{(x_1-y_1)}^2+\dots+{(x_d-y_d)}^2: x,y \in E\}}$ . Iosevich and Rudnev (Trans Am Math Soc 359(12):6127–6142, 2007) established the threshold ${\frac{d+1}{2}}$ , and in Hart et?al. (Trans Am Math Soc 363:3255–3275, 2011) proved that this exponent is sharp in odd dimensions. In two dimensions we improve the exponent to ${\tfrac{4}{3}}$ , consistent with the corresponding exponent in Euclidean space obtained by Wolff (Int Math Res Not 10:547–567, 1999). The pinned distance set ${\Delta_y(E)=\{{(x_1-y_1)}^2+\dots+{(x_d-y_d)}^2: x\in E\}}$ for a pin ${y\in E}$ has been studied in the Euclidean setting. Peres and Schlag (Duke Math J 102:193–251, 2000) showed that if the Hausdorff dimension of a set E is greater than ${\tfrac{d+1}{2}}$ , then the Lebesgue measure of Δ _y (E) is positive for almost every pin y. In this paper, we obtain the analogous result in the finite field setting. In addition, the same result is shown to be true for the pinned dot product set ${\Pi_y(E)=\{x\cdot y: x\in E\}}$ . Under the additional assumption that the set E has Cartesian product structure we improve the pinned threshold for both distances and dot products to ${\frac{d^2}{2d-1}}$ . The pinned dot product result for Cartesian products implies the following sum-product result. Let ${A\subset \mathbb F_q}$ and ${z\in \mathbb F^*_q}$ . If ${|A|\geq q^{\frac{d}{2d-1}}}$ then there exists a subset ${E'\subset A\times \dots \times A=A^{d-1}}$ with ${|E'|\gtrsim |A|^{d-1}}$ such that for any ${(a_1,\dots, a_{d-1}) \in E'}$ , $$ |a_1A+a_2A+\dots +a_{d-1}A+zA| > \frac{q}{2}$$ where ${a_j A=\{a_ja:a \in A\},j=1,\dots,d-1}$ . A generalization of the Falconer distance problem is to determine the minimal α?>?0 such that E contains a congruent copy of a positive proportion of k-simplices whenever ${|E| \gtrsim q^{\alpha}}$ . Here the authors improve on known results (for k?>?3) using Fourier analytic methods, showing that α may be taken to be ${\frac{d+k}{2}}$ .     

A spinorial characterization of hyperspheres

Let M be a compact orientable n-dimensional hypersurface, with nowhere vanishing mean curvature H, immersed in a Riemannian spin manifold ${\overline{M}}$ admitting a non trivial parallel spinor field. Then the first eigenvalue ${\lambda_1(D_{M}^{H})}$ (with the lowest absolute value) of the Dirac operator ${D_{M}^{H}}$ corresponding to the conformal metric ${\langle\;,\;\rangle^{H}=H^{2}\,\langle\;,\;\rangle}$ , where ${\langle\;,\;\rangle}$ is the induced metric on M, satisfies ${\left|\lambda_1(D_{M}^{H})\right|\le \frac{n}{2}}$ . By applying the Bourguignon-Gauduchon first variational formula, we obtain a necessary condition for ${\left|\lambda_1(D_{M}^{H})\right|=\frac{n}{2}}$ . As a consequence, we prove that round hyperspheres are the only hypersurfaces of the Euclidean space satisfying the equality in the Bär inequality $$\lambda_1(D_{M})^{2}\le \frac{n^{2}}{4{vol}(M)}\int_{M} H^{2}\, dV,$$ where D _M stands now for the Dirac operator of the induced metric.     

Composition Operators on Spaces of Fractional Cauchy Transforms

For ?? > 0, the Banach space ${\mathcal{F}_{\alpha}}$ is defined as the collection of functions f which can be represented as integral transforms of an appropriate kernel against a Borel measure defined on the unit circle T. Let ?? be an analytic self-map of the unit disc D. The map ?? induces a composition operator on ${\mathcal{F}_{\alpha}}$ if ${C_{\Phi}(f) = f \circ \Phi \in \mathcal{F}_{\alpha}}$ for any function ${f \in \mathcal{F}_{\alpha}}$ . Various conditions on ?? are given, sufficient to imply that C _?? is bounded on ${\mathcal{F}_{\alpha}}$ , in the case 0 < ?? < 1. Several of the conditions involve ???? and the theory of multipliers of the space ${\mathcal{F}_{\alpha}}$ . Relations are found between the behavior of C _?? and the membership of ?? in the Dirichlet spaces. Conditions given in terms of the generalized Nevanlinna counting function are shown to imply that ?? induces a bounded composition operator on ${\mathcal{F}_{\alpha}}$ , in the case 1/2 ?? ?? < 1. For such ??, examples are constructed such that ${\| \Phi \|_{\infty} = 1}$ and ${C_{\Phi}: \mathcal{F}_{\alpha} \rightarrow \mathcal{F}_{\alpha}}$ is bounded.     

Interface foliation for an inhomogeneous Allen–Cahn equation in Riemannian manifolds

Let ${(\mathcal{M}, \tilde{g})}$ be an N-dimensional smooth compact Riemannian manifold. We consider the problem ${\varepsilon^2 \triangle_{\tilde{g}} \tilde{u} + V(\tilde{z})\tilde{u}(1-\tilde{u}^2)=0\; {\rm in}\; \mathcal{M}}$ , where ${\varepsilon > 0}$ is a small parameter and V is a positive, smooth function in ${\mathcal{M}}$ . Let ${\kappa \subset \mathcal{M}}$ be an (N ? 1)-dimensional smooth submanifold that divides ${\mathcal{M}}$ into two disjoint components ${\mathcal{M}_{\pm}}$ . We assume κ is stationary and non-degenerate relative to the weighted area functional ${\int_{\kappa}V^{\frac{1}{2}}}$ . For each integer m ≥ 2, we prove the existence of a sequence ${\varepsilon = \varepsilon_\ell \rightarrow 0}$ , and two opposite directional solutions with m-transition layers near κ, whose mutual distance is ${{\rm O}(\varepsilon | \log \varepsilon | )}$ . Moreover, the interaction between neighboring layers is governed by a type of Jacobi–Toda system.     

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.