Hrmander Type Theorem for Fourier Multipliers with Optimal Smoothness on Hardy Spaces of Arbitrary Number of Parameters

The main purpose of this paper is to establish the Hormander-Mihlin type theorem for Fourier multipliers with optimal smoothness on k-parameter Hardy spaces for k≥ 3 using the multiparameter Littlewood-Paley theory. For the sake of convenience and simplicity, we only consider the case k = 3, and the method works for all the cases k≥ 3:■where x =(x_1,x_2,x_3)∈R~(n_1)×R~(n_2)×R~(n_3) and ξ =(ξ_1,ξ_2,ξ_3)∈R~(n_1)×R~(n_2)×R~(n_3). One of our main results is the following:Assume that m(ξ) is a function on R~(n_1+n_2+n_3) satisfying ■ with s_i n_i(1/p-1/2) for 1≤i≤3. Then T_m is bounded from H~p(R~(n_1)×R~(n_2)×R~(n_3) to H~p(R~(n_1)×R~(n_2)×R~(n_3)for all 0 p≤1 and ■ Moreover, the smoothness assumption on s_i for 1≤i≤3 is optimal. Here we have used the notations m_(j,k,l)(ξ)=m(2~jξ_1,2~kξ_2,2~lξ_3)Ψ(ξ_1)Ψ(ξ_2)Ψ(ξ_3) and Ψ(ξ_i) is a suitable cut-off function on R~(n_i) for1≤i≤3, and W~(s_1,s_2,s_3) is a three-parameter Sobolev space on R~(n_1)×R~(n_2)× R~(n_3).Because the Fefferman criterion breaks down in three parameters or more, we consider the L~p boundedness of the Littlewood-Paley square function of T_mf to establish its boundedness on the multi-parameter Hardy spaces.     

Shifted convolution sums involving theta series

Let f be a cuspidal newform (holomorphic or Maass) of arbitrary level and nebentypus and denote by \(\lambda _f(n)\) its nth Hecke eigenvalue. Let

$$\begin{aligned} r(n)=\#\left\{ (n_1,n_2)\in \mathbb {Z}^2:n_1^2+n_2^2=n\right\} . \end{aligned}$$

In this paper, we study the shifted convolution sum

$$\begin{aligned} \mathcal {S}_h(X)=\sum _{n\le X}\lambda _f(n+h)r(n), \qquad 1\le h\le X, \end{aligned}$$

and establish uniform bounds with respect to the shift h for \(\mathcal {S}_h(X)\).

     

Meromorphic Jost functions and asymptotic expansions for Jacobi parameters

We show that the parameters a _n , b _n of a Jacobi matrix have a complete asymptotic expansion

$a_n^2 - 1 = \sum\limits_{k = 1}^{K(R)} {p_k (n)\mu _k^{ - 2n} + O(R^{ - 2n} ),} b_n = \sum\limits_{k = 1}^{K(R)} {p_k (n)\mu _k^{ - 2n + 1} + O(R^{ - 2n} )} $

, where 1 < |µ_j| < R for j ? K(R) and all R, if and only if the Jost function, u, written in terms of z (where E = z + z ^?1) is an entire meromorphic function. We relate the poles of u to the µ_j’s.

     

Diffraction of light by two superposed parallel ultrasonic waves,having arbitrary frequencies. General symmetry properties; method of solution by series expansion

In this study about the diffraction of light by superposed parallel ultrasonics, with frequency ration ₁:n ₂, we deduce a general symmetry property for the intensities of the diffraction pattern: if the intensities of the ordersn and ?n are equal the phase-difference must be of the form:

$$\delta = \frac{{n_1 - n_2 }}{{n_1 }} \begin{array}{*{20}c} \pi \\ 2 \\ \end{array} + p \frac{\pi }{{n_1 }}$$     

Regularity for weakly (K<Subscript>1</Subscript>, K<Subscript>2</Subscript>)-quasiregular mappings

In this paper, we first give the definition of weakly (K₁,K₂-quasiregular mappings, and then by using the Hodge decomposition and the weakly reverse Hölder inequality, we obtain their regularity property: For anyq ₁ that satisfies\(0< K_1 n^{(n + 4)/2} 2^{n + 1} \times 100^{n^2 } [2^{3n/2} (2^{5n} + 1)](n - q_1 )< 1\), there existsp ₁=p ₁(n,q ₁,K ₁,K ₂)>n, such that any (K₁, K₂)-quasiregular mapping\(f \in W_{loc}^{1,q_1 } (\Omega ,R^n )\) is in fact in\(W_{loc}^{1,p_1 } (\Omega , R^n )\). That is, f is (K₁,K₂)-quasiregular in the usual sense.     

Terwilliger algebras of wreath products of one-class association schemes

In this paper, we study the wreath product of one-class association schemes K _n =H(1,n) for n≥2. We show that the d-class association scheme \(K_{n_{1}}\wr K_{n_{2}}\wr \cdots \wr K_{n_{d}}\) formed by taking the wreath product of \(K_{n_{i}}\) (for n _i ≥2) has the triple-regularity property. Then based on this fact, we determine the structure of the Terwilliger algebra of \(K_{n_{1}}\wr K_{n_{2}}\wr \cdots \wr K_{n_{d}}\) by studying its irreducible modules. In particular, we show that every non-primary module of this algebra is 1-dimensional.     

On series by Haar system

The paper considers the series by Haar system \(\sum\limits_{n = 1}^\infty {a_n \chi _n (x)} \), satisfying the conditions \(\sum\limits_{n = 1}^\infty {a_n^2 \chi _n^2 (x)} = \infty \) and a _n χ _n (x) → 0 almost everywhere. Some theorems about correcting a function on sets of arbitrarily small measures are proved.     

Analytic Hypoellipticity for a New Class of Sums of Squares of Vector Fields in $${\mathcal {R}}^3$$

This paper is devoted to a substantial generalization of previous work on the analytic hypoellipticity of sums of squares \(P=\sum _1^4X^2_j\) of real vector fields with real analytic coefficient in three variables. For p(x, y) quasi-homogeneous in (x, y), consider the vector fields

$$\begin{aligned} X_1 = \frac{\partial }{\partial x}, \quad X_2=-\frac{\partial }{\partial y} + p(x,y)\frac{\partial }{\partial t}, \quad X_3=x^{n_1}\frac{\partial }{\partial t}, \quad X_4=y^{n_2}\frac{\partial }{\partial t}, \end{aligned}$$

\( n_1, n_2 \ne 0\). We show that the operator

$$\begin{aligned} P=\sum _1^4 X_j^2, \end{aligned}$$

well known to be \(C^\infty \)-hypoelliptic, is actually analytic hypoelliptic near the origin in \({\mathcal {R}}^3\).

     

Spectrum and the trace formula for a two-dimensional Schrödinger operator in a homogeneous magnetic field

In the space L ₂(?²), we consider the operator

$H = \left( {\frac{1}{i}\frac{\partial }{{\partial x_1 }} - x_2 } \right)^2 + \left( {\frac{1}{i}\frac{\partial }{{\partial x_2 }} + x_1 } \right)^2 + V,V = V(x) \in L_2 (\mathbb{R}^2 ).$

. We study the spectrum of H and, for V ∈ C ₀ ² (?²), prove the trace formula

$\sum\limits_{k = 0}^\infty {\left( {\sum\limits_{i = - k}^\infty {(4k + 2 - \mu _k^{(i)} ) + c_0 } } \right)} = \frac{1}{{8\pi }}\int\limits_{\mathbb{R}^2 } {V^2 (x)dx,} $

where c ₀ = π ^?1 \(\smallint _{\mathbb{R}^2 } \) V(x) dx and the µ _k ⁽ⁱ⁾ are the eigenvalues of H.

     

A class of simple Lie algebras attached to unit forms

Let n ≥ 3. The complex Lie algebra, which is attached to a unit form q(x ₁, x ₂,..., x _n) = \({\sum\nolimits_{i = 1}^n {x_i^2 + \sum\nolimits_{1 \leqslant i \leqslant j \leqslant n} {\left( { - 1} \right)} } ^{j - i}}{x_i}{x_j}\) and defined by generators and generalized Serre relations, is proved to be a finite-dimensional simple Lie algebra of type A _n , and realized by the Ringel-Hall Lie algebra of a Nakayama algebra of radical square zero. As its application of the realization, we give the roots and a Chevalley basis of the simple Lie algebra.     

Analysing the Wu metric on a class of eggs in ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> – II

We study the Wu metric for the non-convex domains of the form \( E_{2m} = \{ z \in \mathbb {C}^{n} : \vert {z_{1} \vert }^{2m} + \vert {z_{2}\vert }^{2} + {\cdots } + \vert {z_{n-1}\vert }^{2} + \vert {z_{n}\vert }^{2} <1 \}\), where 0 < m < 1/2. We give explicit expressions for the Kobayashi metric and the Wu metric on such pseudo-eggs E _2m . We verify that the Wu metric is a continuous Hermitian metric on E _2m , real analytic everywhere except along the complex hypersurface Z = {(0,z ₂,…,z _n ) ∈ E _2m }. We also show that the holomorphic curvature of the Wu metric for this non-compact family of pseudoconvex domains is bounded above in the sense of currents by a negative constant independent of m. This verifies a conjecture of S. Kobayashi and H. Wu for such E _2m .     

The knaster problem: More counterexamples

Given a continuous function\(f:\mathbb{S}^{n - 1} \to \mathbb{R}^m \) andn ?m + 1 pointsp ₁, …,p _{n?m + 1} ε\(p_1 ,...,p_{n - m + 1} \in \mathbb{S}^{n - 1} \), does there exist a rotation ? εSO(n) such thatf(?(p ₁)) = … =f(?(p _n?m+1))? We give a negative answer to this question form = 1 ifn ε {61, 63, 65} orn≥67 and form=2 ifn≥5.     

Boundary value problems for complete quasi-parabolic differential equations of odd order with variable domains of operators

We prove the well-posed solvability in the strong sense of the boundary value Problems

$$\begin{gathered} ( - 1)\frac{{_m d^{2m + 1} u}}{{dt^{2m + 1} }} + \sum\limits_{k = 0}^{m - 1} {\frac{{d^{k + 1} }}{{dt^{k + 1} }}} A_{2k + 1} (t)\frac{{d^k u}}{{dt^k }} + \sum\limits_{k = 1}^m {\frac{{d^k }}{{dt^k }}} A_{2k} (t)\frac{{d^k u}}{{dt^k }} + \lambda _m A_0 (t)u = f, \hfill \\ t \in ]0,t[,\lambda _m \geqslant 1, \hfill \\ {{d^i u} \mathord{\left/ {\vphantom {{d^i u} {dt^i }}} \right. \kern-\nulldelimiterspace} {dt^i }}|_{t = 0} = {{d^j u} \mathord{\left/ {\vphantom {{d^j u} {dt^j }}} \right. \kern-\nulldelimiterspace} {dt^j }}|_{t = T} = 0,i = 0,...,m,j = 0,...,m - 1,m = 0,1,..., \hfill \\ \end{gathered} $$

where the unbounded operators A _s (t), s > 0, in a Hilbert space H have domains D(A _s (t)) depending on t, are subordinate to the powers A ^1?(s?1)/2m (t) of some self-adjoint operators A(t) ≥ 0 in H, are [(s+1)/2] times differentiable with respect to t, and satisfy some inequalities. In the space H, the maximally accretive operators A ₀(t) and the symmetric operators A _s (t), s > 0, are approximated by smooth maximally dissipative operators B(t) in such a way that

$$\begin{gathered} \mathop {lim}\limits_{\varepsilon \to 0} Re(A_0 (t)B_\varepsilon ^{ - 1} (t)(B_\varepsilon ^{ - 1} (t))^ * u,u)_H = Re(A_0 (t)u,u)_H \geqslant c(A(t)u,u)_H \hfill \\ \forall u \in D(A_0 (t)),c > 0, \hfill \\ \end{gathered} $$

, where the smoothing operators are defined by

$$B_\varepsilon ^{ - 1} (t) = (I - \varepsilon B(t))^{ - 1} ,(B_\varepsilon ^{ - 1} (t)) * = (I - \varepsilon B^ * (t))^{ - 1} ,\varepsilon > 0.$$

.

     

Divided differences for functions of two variables for irregularly spaced arguments

Divided differences forf (x, y) for completely irregular spacing of points (x _i ,y _i ) are developed here by a natural generalization of Newton's scheme. Existing bivariate schemes either iterate the one-dimensional scheme, thus constraining (x _i ,y _i ) to be at corners of rectangles, or give polynomials Σa _jk x ^j y ^k having more coefficients than interpolation conditions. Here the generalizedn ^th divided difference is defined by (1)\(\left[ {01... n} \right] = \sum\limits_{i = 0}^n {A_i f\left( {x_i , y_i } \right)} \) where (2)\(\sum\limits_{i = 0}^n {A_i x_i^j , y_i^k = 0} \), and 1 for the last or (n+1)^th equation, for every (j, k) wherej+k=0, 1, 2,... in the usual ascending order. The gen. div. diff. [01...n] is symmetric in (x _i ,y _i ), unchanged under translation, 0 forf (x, y) an, ascending binary polynomial as far asn terms, degree-lowering with respect to (X, Y) whenf(x, y) is any polynomialP(X+x, Y+y), and satisfies the 3-term recurrence relation (3) [01...n]=λ{[1...n]?[0...n?1]}, where (4) λ= |1...n|·|01...n?1|/|01...n|·|1...n?1|, the |...i...| denoting determinants inx _i ^j y _i ^k . The generalization of Newton's div. diff. formula is (5)

$$\begin{gathered} f\left( {x, y} \right) = f\left( {x_0 , y_0 } \right) - \frac{{\left| {\alpha 0} \right|}}{{\left| 0 \right|}}\left[ {01} \right] + \frac{{\left| {\alpha 01} \right|}}{{\left| {01} \right|}}\left[ {012} \right] - \frac{{\left| {\alpha 012} \right|}}{{\left| {012} \right|}}\left[ {0123} \right] + \cdots + \hfill \\ + \left( { - 1} \right)^n \frac{{\left| {\alpha 01 \ldots n - 1} \right|}}{{\left| {01 \ldots n - 1} \right|}}\left[ {01 \ldots n} \right] + \left( { - 1} \right)^{n + 1} \frac{{\left| {\alpha 01 \ldots n} \right|}}{{\left| {01 \ldots n} \right|}}\left[ {01 \ldots n} \right], \hfill \\ \end{gathered} $$     

On the exceptional sets in Sylvester expansions*

For any x ?? (0, 1], let the series \( {\sum}_{n=1}^{\infty }1/{d}_n(x) \) be the Sylvester expansion of x, where {d _j (x),?j?≥?1} is a sequence of positive integers satisfying d₁(x)?≥?2 and d_j?+?1(x)?≥?d _j (x)(d _j (x)???1)?+?1 for j?≥?1. Suppose ? : ? → ?⁺ is a function satisfying ?(n+1) – ? (n) → ∞ as n → ∞. In this paper, we consider the set

$$ E\left(\phi \right)=\left\{x\kern0.5em \in \left(0,1\right]:\kern0.5em \underset{n\to \infty }{\lim}\frac{\log {d}_n(x)-{\sum}_{j=1}^{n-1}\log {d}_j(x)}{\phi (n)}=1\right\} $$

and quantify the size of the set in the sense of Hausdorff dimension. As applications, for any β > 1 and γ > 0, we get the Hausdorff dimension of the set \( \left\{x\in \kern1em \left(0,1\right]:\kern0.5em {\lim}_{n\to \infty}\left(\log {d}_n(x)-{\sum}_{j=1}^{n-1}\log {d}_j(x)\right)/{n}^{\beta }=\upgamma \right\}, \) and for any τ > 1 and η > 0, we get a lower bound of the Hausdorff dimension of the set \( \left\{x\kern0.5em \in \kern0.5em \left(0,1\right]:\kern1em {\lim}_{n\to \infty}\left(\log {d}_n(x)-{\sum}_{j=1}^{n-1}\log {d}_j(x)\right)/{\tau}^n=\eta \right\}. \)     

Bounded Sequences,Orbits and Invariant Subspaces

Let {x _n } be a sequence of complex numbers and let \({\Delta^nx_j = \sum\nolimits_{k=0}^{n} (-1)^k\break\left(\begin{array}{l}n\\ k\\\end{array} \right)x_{n-k+j}}\) . In this paper, we will show that if \({ |x_n| = O(n^k)}\) , as n → ∞ for some positive integer k, and \({n|\Delta^n x_j|^{\frac{1}{n}} \to 0}\) as n→ ∞, then \({\Delta^{k+1} x_j = 0}\) . More importantly, applications to the orbits of operators and invariant subspace problem are also given; this helps to improve former results obtained by Gelfand–Hille, Mbekhta–Zemánek and others.     

Estimates of sums of integrals of the Legendre Polynomial

Estimates of sums \({R_{nk}}\left( x \right) = \sum\limits_{m = n}^\infty {{P_{mk}}\left( x \right)} \) are established. Here, P_n0(x)= P_n(x), \({R_{nk}}\left( x \right) = \int\limits_.^x {{P_{n,k - 1}}\left( y \right)dy} \), P_n is the Legendre polynomial with standard normalization P_n(1) = 1. With k = 1 in the main interval [–1, 1] the sum decreases with increasing n as n^–1, and in the half-open interval [–1, 1), as n^–3/2. With k > 1 the point x = 1 does not need to be excluded. The sum decreases as n^-k–1/2. Moreover, a small increase in the multiplicative constant permits to obtain the estimate \(|{R_{nk}}\left( {\cos \theta } \right)| < \frac{{C{{\sin }^{k - 3/2}}\theta }}{{{n^{k + 1/2}}}}\), where C depends weakly on k (but not on n, θ). In passing, a Mehler–Dirichlet-type integral for R_nk(cos θ) is deduced.     

A note on the normalizing sequences for sums of linear processes in the case of negative memory

We consider the partial-sum process \( {S}_n(t)={\sum}_{k=0}^{\left\lfloor nt\right\rfloor }{X}_k \) of linear processes \( {X}_n={\sum}_{i=0}^{\infty }{c}_i{\upxi}_{n-i} \) with independent identically distributed innovations {ξ _i } belonging to the domain of attraction of α-stable law (0 < α ≤ 2). If |c _k |?=?k ^?γ?,?k?∈???,?γ?> max(1, 1/α), and \( {\sum}_{k=0}^{\infty}\kern0.5em ck=0 \) (the case of negative memory for the stationary sequence {X _n }), then it is known that the normalizing sequence of S _n (1) can grow as n ^1/α?γ+1 or remain bounded if the signs of the coefficients are constant or alternate, respectively. It is of interest to know whether it is possible, given ? ∈ (0, 1/α ? γ + 1), to change the signs of c _k so that the rate of growth of the normalizing sequence would be n ^? . In this paper, we give the positive answer: we propose a way of choosing the signs and investigate the finite-dimensional convergence of appropriately normalized S _n (t) to linear fractional Lévy motion.     

On combinatorial Gauss-Bonnet Theorem for general Euclidean simplicial complexes

For a finitely triangulated closed surface M ², let α_x be the sum of angles at a vertex x. By the well-known combinatorial version of the 2- dimensional Gauss-Bonnet Theorem, it holds Σ_x(2π - α_x) = 2πχ(M ²), where χ denotes the Euler characteristic of M ², α_x denotes the sum of angles at the vertex x, and the sum is over all vertices of the triangulation. We give here an elementary proof of a straightforward higher-dimensional generalization to Euclidean simplicial complexes K without assuming any combinatorial manifold condition. First, we recall some facts on simplicial complexes, the Euler characteristics and its local version at a vertex. Then we define δ(τ) as the normed dihedral angle defect around a simplex τ. Our main result is Σ_τ (-1)^dim(τ)δ(τ) = χ(K), where the sum is over all simplices τ of the triangulation. Then we give a definition of curvature κ(x) at a vertex and we prove the vertex-version Σ _x∈K0 κ(x) = χ(K) of this result. It also possible to prove Morse-type inequalities. Moreover, we can apply this result to combinatorial (n + 1)-manifolds W with boundary B, where we prove that the difference of Euler characteristics is given by the sum of curvatures over the interior of W plus a contribution from the normal curvature along the boundary B:

$$\chi \left( W \right) - \frac{1}{2}\chi \left( B \right) = \sum {_{\tau \in W - B}} {\left( { - 1} \right)^{\dim \left( \tau \right)}} + \sum {_{\tau \in B}} {\left( { - 1} \right)^{\dim \left( \tau \right)}}\rho \left( \tau \right)$$

.

     

Congruences for bipartitions with odd parts distinct

Hirschhorn and Sellers studied arithmetic properties of the number of partitions with odd parts distinct. In another direction, Hammond and Lewis investigated arithmetic properties of the number of bipartitions. In this paper, we consider the number of bipartitions with odd parts distinct. Let this number be denoted by pod _?2(n). We obtain two Ramanujan-type identities for pod _?2(n), which imply that pod _?2(2n+1) is even and pod _?2(3n+2) is divisible by 3. Furthermore, we show that for any α≥1 and n≥0, \(\mathit{pod}_{-2}(3^{2\alpha+1}n+\frac{23\times 3^{2\alpha}-7}{8}) \) is a multiple of 3 and \(\mathit{pod}_{-2}(5^{\alpha+1}n+\frac{11\times5^{\alpha}+1}{4})\) is divisible by 5. We also find combinatorial interpretations for the two congruences modulo 2 and 3.