Bounds of Singular Integrals on Weighted Hardy Spaces and Discrete Littlewood–Paley Analysis

We apply the discrete version of Calderón??s reproducing formula and Littlewood?CPaley theory with weights to establish the $H^{p}_{w} \to H^{p}_{w}$ (0<p<??) and $H^{p}_{w}\to L^{p}_{w}$ (0<p??1) boundedness for singular integral operators and derive some explicit bounds for the operator norms of singular integrals acting on these weighted Hardy spaces when we only assume w??A _??. The bounds will be expressed in terms of the A _q constant of w if q>q _w =inf?{s:w??A _s }. Our results can be regarded as a natural extension of the results about the growth of the A _p constant of singular integral operators on classical weighted Lebesgue spaces $L^{p}_{w}$ in Hytonen et al. (arXiv:1006.2530, 2010; arXiv:0911.0713, 2009), Lerner (Ill.?J.?Math. 52:653?C666, 2008; Proc. Am. Math. Soc. 136(8):2829?C2833, 2008), Lerner et?al. (Int.?Math. Res. Notes 2008:rnm 126, 2008; Math. Res. Lett. 16:149?C156, 2009), Lacey et?al. (arXiv:0905.3839v2, 2009; arXiv:0906.1941, 2009), Petermichl (Am. J. Math. 129(5):1355?C1375, 2007; Proc. Am. Math. Soc. 136(4):1237?C1249, 2008), and Petermichl and Volberg (Duke Math. J. 112(2):281?C305, 2002). Our main result is stated in Theorem?1.1. Our method avoids the atomic decomposition which was usually used in proving boundedness of singular integral operators on Hardy spaces.     

Foulkes characters, Eulerian idempotents, and an amazing matrix

John Holte (Am. Math. Mon. 104:138?C149, 1997) introduced a family of ??amazing matrices?? which give the transition probabilities of ??carries?? when adding a list of numbers. It was subsequently shown that these same matrices arise in the combinatorics of the Veronese embedding of commutative algebra (Brenti and Welker, Adv. Appl. Math. 42:545?C556, 2009; Diaconis and Fulman, Am. Math. Mon. 116:788?C803, 2009; Adv. Appl. Math. 43:176?C196, 2009) and in the analysis of riffle shuffling (Diaconis and Fulman, Am. Math. Mon. 116:788?C803, 2009; Adv. Appl. Math. 43:176?C196, 2009). We find that the left eigenvectors of these matrices form the Foulkes character table of the symmetric group and the right eigenvectors are the Eulerian idempotents introduced by Loday (Cyclic Homology, 1992) in work on Hochschild homology. The connections give new closed formulae for Foulkes characters and allow explicit computation of natural correlation functions in the original carries problem.     

Some Recent Developments on Hopf��s Holomorphic Form

Hopf??s theorem on surfaces in ${\mathbb{R}^3}$ with constant mean curvature (Hopf in Math Nach 4:232?C249, 1950-51) was a turning point in the study of such surfaces. In recent years, Hopf-type theorems appeared in various ambient spaces, (Abresch and Rosenberg in Acta Math 193:141?C174, 2004 and Abresch and Rosenberg in Mat Contemp Sociedade Bras Mat 28:283-298, 2005). The simplest case is the study of surfaces with parallel mean curvature vector in ${M_k^n \times \mathbb{R}, n \ge 2}$ , where ${M_k^n}$ is a complete, simply-connected Riemannian manifold with constant sectional curvature k ?? 0. The case n?=?2 was solved in Abresch and Rosenberg 2004. Here we describe some new results for arbitrary n.     

Geometric Sufficient Conditions for Compactness of the Complex Green Operator

We establish compactness estimates for $\overline{\partial}_{M}$ on a compact pseudoconvex CR-submanifold M of ? ⁿ of hypersurface type that satisfies the (analogue of the) geometric sufficient conditions for compactness of the $\overline{\partial}$ -Neumann operator given in (Straube in Ann. Inst. Fourier, 54(3):699?C710, 2004; Munasinghe and Straube in Pac. J. Math., 232(2):343?C354 2007). These conditions are formulated in terms of certain short time flows in complex tangential directions.     

Higher asymptotics of unitarity in ��quantization commutes with reduction��

Let M be a compact K?hler manifold equipped with a Hamiltonian action of a compact Lie group G. Guillemin and Sternberg (Invent Math 67:515?C538, 1982, no. 3), showed that there is a geometrically natural isomorphism between the G-invariant quantum Hilbert space over M and the quantum Hilbert space over the symplectic quotient M //G. This map, though, is not in general unitary, even to leading order in ${\hslash}$ . Hall and Kirwin (Commun Math Phys 275:401?C422, 2007, no. 2), showed that when the metaplectic correction is included, one does obtain a map which, while not in general unitary for any fixed ${\hslash}$ , becomes unitary in the semiclassical limit ${\hslash\rightarrow0}$ (cf. the work of Ma and Zhang (C R Math Acad Sci Paris 341:297?C302, 2005, no. 5), and (Astérisque No. 318:viii+154, 2008). The unitarity of the classical Guillemin?CSternberg map and the metaplectically corrected analogue is measured by certain functions on the symplectic quotient M //G. In this paper, we give precise expressions for these functions, and compute complete asymptotic expansions for them as ${\hslash\rightarrow0}$ .     

L p -theory for second-order elliptic operators with unbounded coefficients

Second-order elliptic operators with unbounded coefficients of the form ${Au := -{\rm div}(a\nabla u) + F . \nabla u + Vu}$ in ${L^{p}(\mathbb{R}^{N}) (N \in \mathbb{N}, 1 < p < \infty)}$ are considered, which are the same as in recent papers Metafune et?al. (Z Anal Anwendungen 24:497–521, 2005), Arendt et?al. (J Operator Theory 55:185–211, 2006; J Math Anal Appl 338: 505–517, 2008) and Metafune et?al. (Forum Math 22:583–601, 2010). A new criterion for the m-accretivity and m-sectoriality of A in ${L^{p}(\mathbb{R}^{N})}$ is presented via a certain identity that behaves like a sesquilinear form over L ^p ×?L ^p'. It partially improves the results in (Metafune et?al. in Z Anal Anwendungen 24:497–521, 2005) and (Metafune et?al. in Forum Math 22:583–601, 2010) with a different approach. The result naturally extends Kato’s criterion in (Kato in Math Stud 55:253–266, 1981) for the nonnegative selfadjointness to the case of p ≠?2. The simplicity is illustrated with the typical example ${Au = -u\hspace{1pt}'' + x^{3}u\hspace{1pt}' + c |x|^{\gamma}u}$ in ${L^p(\mathbb{R})}$ which is dealt with in (Arendt et?al. in J Operator Theory 55:185–211, 2006; Arendt et?al. in J Math Anal Appl 338: 505–517, 2008).     

A new approach to the description of one-parameter groups of formal power series in one indeterminate

The aim of the paper is to describe one-parameter groups of formal power series, that is to find a general form of all homomorphisms \({\Theta_G : G \to \Gamma}\) , \({\Theta_G(t) = \sum_{k=1}^{\infty} c_k(t)X^k}\) , \({c_1 : G \to \mathbb{K} \setminus\{0\}}\) , \({c_k : G \to \mathbb{K}}\) for k ≥ 2, from a commutative group (G, + ) into the group \({(\Gamma, \circ)}\) of invertible formal power series with coefficients in \({\mathbb{K} \in \{\mathbb{R},\mathbb{C}\}}\) . Considering one-parameter groups of formal power series and one-parameter groups of truncated formal power series, we give explicit formulas for the coefficient functions c _k with more details in the case where either c ₁ = 1 or c ₁ takes infinitely many values. Here we give the results much more simply than they were presented in Jab?oński and Reich (Abh. Math. Sem. Univ. Hamburg 75:179–201, 2005; Result Math 47:61–68, 2005; Publ Math Debrecen 73(1–2):25–47, 2008). Also the case im c ₁ = E _m (here E _m stands for the group of all complex roots of order m of 1), not considered in Jab?oński and Reich (Abh. Math. Sem. Univ. Hamburg 75:179–201, 2005; Result Math 47:61–68, 2005; Publ Math Debrecen 73(1–2):25–47, 2008), will be discussed.     

A proof of a theorem by Fried and MacRae and applications to the composition of polynomial functions

Fried and MacRae (Math. Ann. 180, 220?C226 (1969)) proved that for univariate polynomials ${p,q, f, g \in \mathbb{K}[t]}$ ( ${\mathbb{K}}$ a field) with p, q nonconstant, p(x) ? q(y) divides f(x) ? g(y) in ${\mathbb{K}[x,y]}$ if and only if there is ${h \in \mathbb{K}[t]}$ such that f?=?h(p(t)) and g?=?h(q(t)). Schicho (Arch. Math. 65, 239?C243 (1995)) proved this theorem from the viewpoint of category theory, thereby providing several generalizations to multivariate polynomials. In the present note, we give a new proof of one of these generalizations. The theorem by Fried and MacRae yields a way to prove the following fact for nonconstant functions f, g from ${\mathbb{C}}$ to ${\mathbb{C}}$ : if both the composition ${f \circ g}$ and g are polynomial functions, then f has to be a polynomial function as well. We give an algebraic proof of this fact and present a generalization to multivariate polynomials over algebraically closed fields. This provides a way to prove a generalization of a result by Carlitz (Acta Sci. Math. (Szeged) 24, 196?C203 (1963)) that describes those univariate polynomials over finite fields that induce bijective functions on all of their finite extensions.     

On some filters and ideals of the Medvedev lattice

Let \(\mathfrak{M}\) be the Medvedev lattice: this paper investigates some filters and ideals (most of them already introduced by Dyment, [4]) of \(\mathfrak{M}\) . If \(\mathfrak{G}\) is any of the filters or ideals considered, the questions concerning \(\mathfrak{G}\) which we try to answer are: (1) is \(\mathfrak{G}\) prime? What is the cardinality of \({\mathfrak{M} \mathord{\left/ {\vphantom {\mathfrak{M} \mathfrak{G}}} \right. \kern-0em} \mathfrak{G}}\) ? Occasionally, we point out some general facts on theT-degrees or the partial degrees, by which these questions can be answered.     

On the tolerance lattice of tolerance factors

Although the notion of a tolerance is a natural generalization of the notion of a congruence, many properties of factor lattices modulo congruences are not, in general, valid for factor lattices modulo tolerances. In this paper, for a lattice L of a finite length, we define a new partial order ? on $\operatorname{Tol}\, (L)$ such that for every ${S\in \operatorname{Tol}\, (L)}$ with T?S, a tolerance S/T is induced on the factor lattice L/T. This partial order is a particular restriction of ? and thus we can prove for tolerances some analogous results to the homomorphism theorem and the second isomorphism theorem for congruences. The poset $(\operatorname{Tol}\, (L), \sqsubseteq)$ is not always a lattice, but it can be converted into a specific commutative join-directoid. Then, for every ${T\in \operatorname{Tol}\, (L)}$ , $(\operatorname{Tol}\, (L/T),\sqsubseteq)$ constitutes a subdirectoid of the directoid based on the poset $(\operatorname{Tol}\, (L),\sqsubseteq)$ and this specific directoid structure is preserved by the direct product of lattices.     

Class A spacetimes

We introduce class A spacetimes, i.e. compact vicious spacetimes (M, g) such that the Abelian cover ${(\overline{M}, \overline{g})}$ is globally hyperbolic. We study the main properties of class A spacetimes using methods similar to those introduced in Sullivan (Invent Math 36:225?C255, 1976) and Burago (Adv Sov Math 9:205?C210, 1992). As a consequence we are able to characterize manifolds admitting class A metrics completely as mapping tori. Further we show that the notion of class A spacetime is equivalent to that of SCTP (spacially compact time-periodic) spacetimes as introduced in Galloway (Comm Math Phys 96:423?C429, 1984). The set of class A spacetimes is shown to be open in the C ⁰-topology on the set of Lorentzian metrics. As an application we prove a coarse Lipschitz property for the time separation of the Abelian cover. This coarse Lipschitz property is an essential part in the study of Aubry-Mather theory in Lorentzian geometry.     

Changing-sign bubble solutions for an anisotropic sinh-Poisson equation

We consider the following anisotropic sinh-Poisson equation $${\rm div} (a(x) \nabla u)+ 2\varepsilon^2 a(x) {\rm sinh}\,u=0\ \ {\rm in}\ \Omega, \quad u=0 \ \ {\rm on}\ \partial \Omega,$$ where ${\Omega \subset \mathbb{R}^2}$ is a bounded smooth domain and a(x) is a positive smooth function. We investigate the effect of anisotropic coefficient ${a(x)}$ on the existence of bubbling solutions. We show that there exists a family of solutions u _?? concentrating positively and negatively at ${\bar{x}}$ , a given local critical point of a(x), for ?? sufficiently small, for which with the property $$2\varepsilon^2a(x){\rm sinh} u_\varepsilon \rightharpoonup 8\pi\sum\limits_{j=1}^{m}b_j\delta_{\bar{x}},$$ where ${b_j=\pm 1}$ . This result shows a striking difference with the isotropic case (a(x) ?? Constant) in Bartolucci and Pistoia (IMA J Appl Math 72(6):706?C729, 2007), Jost et?al. (Calc Var Partial Differ Equ 31:263?C276, 2008) and Esposito and Wei (Calc Var Partial Differ Equ 34:341?C375, 2009).     

Darboux transforms and simple factor dressing of constant mean curvature surfaces

We define a transformation on harmonic maps ${N:\,M \to S^2}$ from a Riemann surface M into the 2-sphere which depends on a parameter ${\mu \in \mathbb{C}_*}$ , the so-called μ-Darboux transformation. In the case when the harmonic map N is the Gauss map of a constant mean curvature surface ${f:\,M \to \mathbb{R}^3}$ and μ is real, the Darboux transformation of ?N is the Gauss map of a classical Darboux transform of f. More generally, for all parameter ${\mu \in \mathbb{C}_*}$ the transformation on the harmonic Gauss map of f is induced by a (generalized) Darboux transformation on f. We show that this operation on harmonic maps coincides with simple factor dressing, and thus generalize results on classical Darboux transforms of constant mean curvature surfaces (Hertrich-Jeromin and Pedit Doc Math J DMV 2:313–333, 1997; Burstall Integrable systems, geometry, and topology, 2006; Inoguchi and Kobayashi Int J Math 16(2):101–110, 2005): every μ-Darboux transform is a simple factor dressing, and vice versa.     

Further variations on the theme of FC-groups

Groups that are FC, or more generally satisfy any of the weakenings of the FC-condition considered in de Giovanni (Serdica Math. J. 28:241?C254, 2002) and Robinson et?al. (J. Algebra 326:218?C226, 2011), have local systems consisting of normal finite-by-nilpotent subgroups. Apart from generalizing results from de Giovanni (Serdica Math. J. 28:241?C254, 2002) and Robinson et al. (J. Algebra 326:218?C226, 2011) to the more general context of locally (normal and finite-by-nilpotent) groups, we partially settle an open problem raised in Robinson et?al. (J. Algebra 326:218?C226, 2011) concerning the isomorphism of maximal p-subgroups, but in this more general setting of locally (normal and finite-by-nilpotent) groups.     

Semiclassical Low Energy Scattering for One-Dimensional Schr?dinger Operators with Exponentially Decaying Potentials

We consider semiclassical Schr?dinger operators on the real line of the form $$H(\hbar)=-\hbar^2 \frac{{\rm d}^2}{{\rm d}x^2}+V(\cdot;\hbar)$$ with ${\hbar >0 }$ small. The potential V is assumed to be smooth, positive and exponentially decaying towards infinity. We establish semiclassical global representations of Jost solutions ${f_\pm(\cdot,E;\hbar)}$ with error terms that are uniformly controlled for small E and ${\hbar}$ , and construct the scattering matrix as well as the semiclassical spectral measure associated with ${H(\hbar)}$ . This is crucial in order to obtain decay bounds for the corresponding wave and Schr?dinger flows. As an application we consider the wave equation on a Schwarzschild background for large angular momenta ? where the role of the small parameter ${\hbar}$ is played by ? ^?1. It follows from the results in this paper and Donninger et al. (Commun Math Phys 2009, arXiv:0911.3179), that the decay bounds obtained in Donninger et al. (Adv Math 226(1):484–540, 2011) and Donninger and Wilhelm (Int Math Res Not IMRN 22:4276–4300, 2010) for individual angular momenta ? can be summed to yield the sharp t ^?3 decay for data without symmetry assumptions.     

Hitting Times of Bessel Processes

Let $T_1^{(\mu)}$ be the first hitting time of the point 1 by the Bessel process with index μ?∈?? starting from x?>?1. Using an integral formula for the density $q_x^{(\mu)}(t)$ of $T_1^{(\mu)}$ , obtained in Byczkowski and Ryznar (Stud Math 173(1):19–38, 2006), we prove sharp estimates of the density of $T_1^{(\mu)}$ which exhibit the dependence both on time and space variables. Our result provides optimal uniform estimates for the density of the hitting time of the unit ball by the Brownian motion in ? ⁿ , which improve existing bounds. Another application is to provide sharp estimates for the Poisson kernel for half-spaces for hyperbolic Brownian motion in real hyperbolic spaces.     

A note on the Schur multiplier of groups of prime power order

By a well-known result of Green (Proc R Soc A 237:574?C581, 1956) and the formal definition of Ellis and Wiegold (Bull Austral Math Soc 60:191?C196, 1999), there is an integer t, say corank(G), such that ${|\mathcal{M}(G)| = p^{\frac{1}{2}n(n-1)-t}}$ . In Niroomand (J Algebra 322:4479?C4482, 2009), the author showed for a non-abelian group G, corank(G)????log _p (|G|)?2 and classified the structure of all non-abelian p-groups of corank log _p (|G|)?2. In the present paper, we are interesting to characterize the structure of all p-groups of corank log _p (|G|)?1.