Gowers norms and pseudorandom measures of subsets

Let $A \subset {{\Bbb Z}_N}$, and ${f_A}(s) = \left\{ {\begin{array}{*{20}{l}}{1 - \frac{{|A|}}{N},}&{{\rm{for}}\;s \in A,}\\{ - \frac{{|A|}}{N},}&{{\rm{for}}\;s \notin A.}\end{array}} \right.$ We define the pseudorandom measure of order k of the subset A as follows, P_k(A, N) = $\begin{array}{*{20}{c}}{\max }\\D\end{array}$|$\mathop \Sigma \limits_{n \in {\mathbb{Z}_N}}$f_A(n + c₁)f_A(n + c₂) … f_A(n + c_k)|, where the maximum is taken over all D = (c₁, c₂, . . . , c_k) ∈ ${\mathbb{Z}^k}$ with 0 ≤ c₁ < c₂ < … < c_k ≤ N - 1. The subset A ⊂ ${{\mathbb{Z}_N}}$ is considered as a pseudorandom subset of degree k if P_k(A, N) is “small” in terms of N. We establish a link between the Gowers norm and our pseudorandom measure, and show that “good” pseudorandom subsets must have “small” Gowers norm. We give an example to suggest that subsets with “small” Gowers norm may have large pseudorandom measure. Finally, we prove that the pseudorandom subset of degree L(k) contains an arithmetic progression of length k, where L(k) = 2·lcm(2, 4, . . . , 2|$\frac{k}{2}$|), for k ≥ 4, and lcm(a₁, a₂, . . . , a_l) denotes the least common multiple of a₁, a₂, . . . , a_l.     

ON THE RELATIVE POSITION OF LIMIT CYCLES FOR THE EQUATION OF TYPE $\[{(II)_{l = 0}}\]$

In this paper, we consider the relative position of limit cycles for the system $$\[\begin{array}{*{20}{c}} {\frac{{dx}}{{dt}} = \delta x - y + mxy - {y^2}}\{\frac{{dy}}{{dt}} = x + a{x^2}} \end{array}\]$$ under the condition $$\[a < 0,0 < \delta \le m,m \le \frac{1}{a} - a\]$$ The main result is as follows: (i)Under Condition (2), if $\[\delta = \frac{m}{2} + \frac{{{m^2}}}{{4a}} \equiv {\delta _0}\]$, then system $\[{(1)_{{\delta _0}}}\] $ has no limit cycles and on singular closed trajectory through a saddle point in the whole plane, (ii)Under condition (2), the foci 0 and R'' cannot be surrounded by the limit cycles of system (1) simultaneously.     

Une Formule Approximative de Dimension pour Certains Produits de Riesz

Consider the Riesz product $\mu _a = \mathop \prod \limits_{n = 1}^\infty (1 + r\cos (q^n t + \varphi _n ))$ . We prove the following approximative formula for the dimension ofμ _a. $$\dim \mu _a = 1 - \frac{1}{{\log q}}\int_0^{2\pi } {(1 + r\cos x)\log (1 + r\cos x)\frac{{dx}}{{2\pi }} + 0\left( {\frac{r}{{q^2 \log q}}} \right).}$$      

Counting irreducible polynomials over finite fields

In this paper we generalize the method used to prove the Prime Number Theorem to deal with finite fields, and prove the following theorem:

Eigenfunction expansions associated with one-dimensional periodic differential operators of order 2<Emphasis Type="Italic">n</Emphasis>

We prove an explicit formula for spectral expansions in L ²(?) generated by self-adjoint differential operators

$( - 1)^n \frac{{d^{2n} }}{{dx^{2n} }} + \sum\limits_{j = 0}^{n - 1} {\frac{{d^j }}{{dx^j }}p_j (x)\frac{{d^j }}{{dx^j }}} ,p_j (x + \pi ) = p_j (x),x \in \mathbb{R}.$

     

Global Well-Posedness and Asymptotic Behavior for the 2D Subcritical Dissipative Quasi-Geostrophic Equation in Critical Fourier-Besov-Morrey Spaces

In this paper, we study the subcritical dissipative quasi-geostrophic equation. By using the Littlewood Paley theory, Fourier analysis and standard techniques we prove that there exists $v$ a unique global-in-time solution for small initial data belonging to the critical Fourier-Besov-Morrey spaces $ \mathcal{F} {\mathcal{N}}_{p, \lambda, q}^{3-2 \alpha+\frac{\lambda-2}{p}}$. Moreover, we show the asymptotic behavior of the global solution $v$. i.e., $\|v(t)\|_{ \mathcal{F} {\mathcal{N}}_{p, \lambda, q}^{3-2 \alpha+\frac{\lambda-2}{p}}}$ decays to zero as time goes to infinity.     

Order equalities for some functionals and their application to the estimation of the best <Emphasis Type="Italic">n</Emphasis>-term approximations and widths

We study the behavior of functionals of the form

Approximations to q-logarithms and q-dilogarithms, with applications to q-zeta values

We construct simultaneous rational approximations to q-series L₁(x₁; q) and L₁(x₂; q) and, if x = x₁ = x₂, to series L₁(x; q) and L₂(x; q), where

THROREMS OF DISTORTION FOR SCHLICHT FUNCTIONS

Let \[f(z) = z + \sum\limits_{n = 1}^\infty {{a_n}{z^n} \in S} {\kern 1pt} {\kern 1pt} {\kern 1pt} and{\kern 1pt} {\kern 1pt} {\kern 1pt} \log \frac{{f(z) - f(\xi )}}{{z - \xi }} - \frac{{z\xi }}{{f(z)f(\xi )}} = \sum\limits_{m,n = 1}^\infty {{d_{m,n}}{z^m}{\xi ^n},} \], we denote \[{f_v} = f({z_v})\] , \[\begin{array}{l} {\varphi _\varepsilon }({z_u}{z_v}) = {\left| {\frac{{{f_u} - {f_v}}}{{{z_u} - {z_v}}}} \right|^\varepsilon }\frac{1}{{(1 - {z_u}{{\bar z}_v})}},\g_m^\varepsilon (z) = - {F_m}(\frac{1}{{f(z)}}) + \frac{1}{{{z^m}}} + \varepsilon {{\bar z}^m}, \end{array}\], where \({F_m}(t)\) is a Faber polynomial of degree m. Theorem 1. If \[f(z) \in S{\kern 1pt} {\kern 1pt} {\kern 1pt} and{\kern 1pt} {\kern 1pt} {\kern 1pt} \sum\limits_{u,v = 1}^N {{A_{u,v}}{x_u}{{\bar x}_v} \ge 0} \] and then \[\begin{array}{l} \sum\limits_{u,v = 1}^N {{A_{u,v}}{\lambda _u}{{\bar \lambda }_v}} {\left| {\frac{{{f_u} - {f_v}}}{{{z_u} - {z_v}}}} \right|^\varepsilon }\exp \{ \alpha {F_l}({z_u},{z_v})\} \ \le \sum\limits_{u,v = 1}^N {{A_{u,v}}{\lambda _u}{{\bar \lambda }_v}} \varphi _\varepsilon ^\alpha ({z_u}{z_v})l = 1,2,3, \end{array}\], where \[\begin{array}{l} {F_1}({z_u},{z_v}) = \frac{1}{2}\sum\limits_{n = 1}^\infty {\frac{1}{n}} g_n^\varepsilon ({z_u})\bar g_n^\varepsilon ({z_v}),\{F_2}({z_u},{z_v}) = \frac{1}{{1 + {\varepsilon _n}R{d_{n,n}}}}Rg_n^\varepsilon ({z_u})Rg_n^\varepsilon ({z_v}),\{F_3}({z_u},{z_v}) = \frac{1}{{1 - {\varepsilon _n}R{d_{n,n}}}}Rg_n^\varepsilon ({z_u})Rg_n^\varepsilon ({z_v}). \end{array}\] The \[F({z_u},{z_v}) = \frac{1}{2}{g_1}({z_u}){{\bar g}_2}({z_v})\] is due to Kungsun. Theorem 2. If \(f(z) \in S\) ,then \[P(z) + \left| {\sum\limits_{u,v = 1}^N {{A_{u,v}}{\lambda _u}{{\bar \lambda }_v}} {{\left| {\frac{{{f_u} - {f_v}}}{{{z_u} - {z_v}}}\frac{{{z_u}{z_v}}}{{{f_u}{f_v}}}} \right|}^\varepsilon }} \right| \le \sum\limits_{u,v = 1}^N {{\lambda _u}{{\bar \lambda }_v}} \frac{1}{{1 - {z_u}{{\bar z}_v}}}\], where \[\begin{array}{l} P(z) = \frac{1}{2}\sum\limits_{n = 1}^\infty {\frac{1}{n}} {G_n}(z),\{G_n}(z) = {\left| {\left| {\sum\limits_{n = 1}^N {{\beta _u}({F_n}(\frac{1}{{f({z_u})}}) - \frac{1}{{z_u^n}})} } \right| - \left| {\sum\limits_{n = 1}^N {{\beta _u}z_u^n} } \right|} \right|^2}, \end{array}\], \(P(z) \equiv 0\) is due to Xia Daoxing.     

非齐性广义Morrey空间上双线性强奇异Calder\''{o}n-Zygmund算子及交换子

本文的主要建立非齐性度量测度空间上双线性强奇异积分算子$\widetilde{T}$及交换子$\widetilde{T}_{b_{1},b_{2}}$在广义Morrey空间$M^{u}_{p}(\mu)$上的有界性. 在假设Lebesgue可测函数$u, u_{1}, u_{2}\in\mathbb{W}_{\tau}$, $u_{1}u_{2}=u$,且$\tau\in(0,2)$. 证明了算子$\widetilde{T}$是从乘积空间$M^{u_{1}}_{p_{1}}(\mu)\times M^{u_{2}}_{p_{2}}(\mu)$到空间$M^{u}_{p}(\mu)$有界的, 也是从乘积空间$M^{u_{1}}_{p_{1}}(\mu)\times M^{u_{2}}_{p_{2}}(\mu)$到广义弱Morrey空间$WM^{u}_{p}(\mu)$有界的,其中$\frac{1}{p}=\frac{1}{p_{1}}+\frac{1}{p_{2}}$及$1相似文献   

A Construction of Difference Sets

In this paper, we will give a construction of a family of -difference sets in thegroup , where q is any power of 2, K is any group with and G is an abelian 2-group of order which contains anelementary abelian subgroup of index 2.     

一类振荡积分算子在Wiener 共合空间上的有界性

假设a,b0并且K_(a,b)(x)=(e~(i|x|~(-b)))/(|x|~(n+a))定义强奇异卷积算子T如下:Tf(x)=(K_(a,b)*f)(x),本文主要考虑了如上定义的算子T在Wiener共合空间W(FL~p,L~q)(R~n)上的有界性.另一方面,设α,β0并且γ(t)=|t|~k或γ(t)=sgn(t)|t|~k.利用振荡积分估计,本文还研究了算子T_(α,β)f(x,y)=p.v∫_(-1)~1f(x-t,y-γ(t))(e~(2πi|t|~(-β)))/(t|t|~α)dt及其推广形式∧_(α,β)f(x,y,z)=∫_(Q~2)f(x-t,y-s,z-t~ks~j)e~(-2πit)~(-β_1_s-β_2)t~(-α_1-1)s~(-α_2-1)dtds在Wiener共合空间W(FL~p,L~q)上的映射性质.本文的结论足以表明,Wiener共合空间是Lebesgue空间的一个很好的替代.     

On Certain Integral Operators of Fractional Type

In this paper we study integral operators of the form $$T\,f\left( x \right) = \int {k_1 \left( {x - a_1 y} \right)k_2 \left( {x - a_2 y} \right)...k_m \left( {x - a_m y} \right)f\left( y \right)dy} ,$$ $$k_i \left( y \right) = \sum\limits_{j \in Z} {2^{\frac{{jn}}{{q_i }}} } \varphi _{i,j} \left( {2^j y} \right),\,1 \leqq q_i < \infty ,\frac{1}{{q_1 }} + \frac{1}{{q_2 }} + ... + \frac{1}{{q_m }} = 1 - r,$$ $0 \leqq r < 1$ , and $\varphi _{i,j}$ satisfying suitable regularity conditions. We obtain the boundedness of $T:L^p \left( {R^n } \right) \to T:L^q \left( {R^n } \right)$ for $1 < p < \frac{1}{r}$ and $\frac{1}{q} = \frac{1}{p} - r$ .     

On the difference equationx_{n + 1} = \alpha + \frac{{x_n^p }}{{x_{n - 1}^p }}

We study, firstly, the dynamics of the difference equation $x_{n + 1} = \alpha + \frac{{x_n^p }}{{x_{n - 1}^p }}$ , withp ∈ (0,1) and α∈ [0, ∞). Then, we generalize our results to the (k + 1)th order difference equation $x_{n + 1} = \alpha + \frac{{x_n^p }}{{x_{n - k}^p }}$ ,k = 2, 3,... with positive initial conditions.     

A New Bound on the Number of Designs with Classical Affine Parameters

The hyperplanes in the affine geometry AG(d, q) yield an affineresolvable design with parameters $2 - (q^d ,q^{d - 1} ,\frac{{q^{d - 1} - 1}}{{q - 1}})$ . Jungnickel [3]proved an exponential lower bound on the number of non-isomorphic affine resolvable designs with these parametersfor d ≥ 3. The bound of Jungnickel was improved recently [5] by a factor of $q^{\frac{{d^2 + d - 6}}{2}} (q - 1)^{d - 2}$ for any d ≥ 4. In this paper, a construction of $2 - (q^d ,q^{d - 1} ,\frac{{q^{d - 1} - 1}}{{q - 1}})$ designs based on group divisible designs is given that yieldsat least $$\frac{{\left( {q^{d - 1} + q^{d - 2} + \cdots + 1} \right)!\left( {q - 1} \right)}}{{\left| {{\text{P}}\Gamma {\text{L(}}d,q{\text{)}}} \right|\left| {{\text{A}}\Gamma {\text{L(}}d,q{\text{)}}} \right|}}$$ non-isomorphic designs for any d ≥ 3. This new bound improves the bound of[5] by a factor of $$\frac{1}{{q^d }}\mathop \Pi \limits_{i = 1}^{(q^{d - 1} - q)/(q - 1)} (q^{d - 1} + i).$$ For any given q and d, It was previously known [2,11] that there are at least 8071non-isomorphic 2-(27,9,4) designs. We show that the number of non-isomorphic 2-(27,9,4) is atleast 245,100,000.     

Spectral Asymptotics of the Harmonic Oscillator Perturbed by Bounded Potentials

Consider the operator in where q is a real function with q′ and bounded. The spectrum of T is purely discrete and consists of simple eigenvalues. We determine their asymptotics and we extend these results for complex q.Communicated by Bernard Helffersubmitted 23/04/04, accepted 26/10/04     

Existence and uniqueness of limit cycles on a cubic kolmogorov differential system in the Predator-Prey relation

In this paper, we analyse qualitatively a cubic Kolmogorov system: which is one of the mathematical models in ecology describing the interaction between Predator-Prey of two populations; and give the conditions of nonexistence, existence and uniqueness of limit cycles for three different cases.Fulfilled during engagement in advanced studies at the Institute of Mathematics, Academia Sinica.     

Boundedness of High Order Commutators of Riesz Transforms Associated with Schrödinger Type Operators

Let L_2=(-?)~2+ V~2 be the Schr?dinger type operator, where V■0 is a nonnegative potential and belongs to the reverse H?lder class RH_(q1) for q_1 n/2, n ≥5. The higher Riesz transform associated with L_2 is denoted by ■and its dual is denoted by ■. In this paper, we consider the m-order commutators [b~m, R] and [b~m, R*], and establish the(L~p, L~q)-boundedness of these commutators when b belongs to the new Campanato space Λ_β~θ(ρ) and 1/q = 1/p-mβ/n.     

$L^{p}_{[0,1]}$空间M\"{u}ntz有理逼近的Jackson型估计 (英)

设$\Lambda=\{\lambda_{n}\}_{n=1}^{\infty}$为正的实数数列, 且当$n\rightarrow\infty$时, 有$\lambda_{n}\searrow 0$.本文给出了当 $\lambda_{n}\leq Mn^{-\frac{1}{2}},\;n=1,2, \cdots ,$(其中$M>0$为一正常数)时M\"{u}ntz系统$\{x^{\lambda_n}\}$的有理函数在$ L_{[0,1]} ^{p}$空间的逼近速度,主要结论为$R_{n} (f, \Lambda )_{L^{p}}\leq C_M \omega (f, n^{-\frac{1}{2}})_{L^{p}},\;1 \leq p \leq \infty.$     

有限域上幂剩余正规元的存在性

GF(q)是q个元的有限域,q是素数的方幂,n是正整数,GF(q~n)为GF(q)的n次扩张.用指数和估计的方法给出了3种情形下幂剩余正规元存在的充分条件,即(1)GF(q~n)中存在元ξ为GF(q)上的幂剩余正规元;(2)GF(q~n)中存在元ξ与ξ~(-1)同时为GF(q)上幂剩余正规元;(3)对GF(q~n)~*中任意给定的非零元a和b,GF(q~n)中存在元ξ与ξ~(-1)同时为GF(q)上d次幂剩余正规元,且满足Tr(ξ)=a,Tr(ξ~(-1))=b.