A note on skew characters of symmetric groups

In this paper we establish the following estimate:

$$\omega \left( {\left\{ {x \in {\mathbb{R}^n}:\left| {\left[ {b,T} \right]f\left( x \right)} \right| > \lambda } \right\}} \right) \leqslant \frac{{{c_T}}}{{{\varepsilon ^2}}}\int_{{\mathbb{R}^n}} {\Phi \left( {{{\left\| b \right\|}_{BMO}}\frac{{\left| {f\left( x \right)} \right|}}{\lambda }} \right){M_{L{{\left( {\log L} \right)}^{1 + \varepsilon }}}}} \omega \left( x \right)dx$$

where ω ≥ 0, 0 < ε < 1 and Φ(t) = t(1 + log⁺(t)). This inequality relies upon the following sharp L ^p estimate:

$${\left\| {\left[ {b,T} \right]f} \right\|_{{L^p}\left( \omega \right)}} \leqslant {c_T}{\left( {p'} \right)^2}{p^2}{\left( {\frac{{p - 1}}{\delta }} \right)^{\frac{1}{{p'}}}}{\left\| b \right\|_{BMO}}{\left\| f \right\|_{{L^p}\left( {{M_{L{{\left( {{{\log }_L}} \right)}^{2p - 1 + {\delta ^\omega }}}}}} \right)}}$$

where 1 < p < ∞, ω ≥ 0 and 0 < δ < 1. As a consequence we recover the following estimate essentially contained in [18]:

$$\omega \left( {\left\{ {x \in {\mathbb{R}^n}:\left| {\left[ {b,T} \right]f\left( x \right)} \right| > \lambda } \right\}} \right) \leqslant {c_T}{\left[ \omega \right]_{{A_\infty }}}{\left( {1 + {{\log }^ + }{{\left[ \omega \right]}_{{A_\infty }}}} \right)^2}\int_{{\mathbb{R}^n}} {\Phi \left( {{{\left\| b \right\|}_{BMO}}\frac{{\left| {f\left( x \right)} \right|}}{\lambda }} \right)M} \omega \left( x \right)dx.$$

We also obtain the analogue estimates for symbol-multilinear commutators for a wider class of symbols.

     

Two-weight inequality for operator-valued positive dyadic operators by parallel stopping cubes

We study the operator-valued positive dyadic operator

$${T_\lambda }\left( {f\sigma } \right): = \sum\limits_{Q \in D} {{\lambda _Q}} \int_Q {fd\sigma 1Q}, $$

where the coefficients {λ _Q : C → D} _Q∈D are positive operators from a Banach lattice C to a Banach lattice D. We assume that the Banach lattices C and D* each have the Hardy–Littlewood property. An example of a Banach lattice with the Hardy–Littlewood property is a Lebesgue space.

In the two-weight case, we prove that the L _C ^p (σ) → L _D ^q (ω) boundedness of the operator T _λ( · σ) is characterized by the direct and the dual L ^∞ testing conditions:

$$\left\| {{1_Q}{T_\lambda }} \right\|{\left( {{1_Q}f\sigma } \right)||_{L_D^q\left( \omega \right)}} \lesssim {\left\| f \right\|_{L_C^\infty \left( {Q,\sigma } \right)}}\sigma {\left( Q \right)^{1/p}}$$

,

$${\left\| {{1_Q}{T_\lambda }*\left( {{1_{Qg\omega }}} \right)} \right\|_{L_{C*}^{p'}\left( \sigma \right)}} \lesssim {\left\| g \right\|_{L_{D*}^\infty \left( {Q,\omega } \right)}}\omega {\left( Q \right)^{1/q'}}$$

.

Here L _C ^p (σ) and L _D ^q (ω) denote the Lebesgue–Bochner spaces associated with exponents 1 < p ≤ q < ∞, and locally finite Borel measures σ and ω.

In the unweighted case, we show that the L _C ^p (μ) → L _D ^p (μ) boundedness of the operator T _λ( · μ) is equivalent to the end-point direct L ^∞ testing condition:

$${\left\| {{1_Q}{T_\lambda }\left( {{1_Q}f\mu } \right)} \right\|_{L_D^1\left( \mu \right)}} \lesssim {\left\| f \right\|_{L_C^\infty \left( {Q,\mu } \right)}}\left( {Q,\mu } \right)\mu \left( Q \right)$$

.

This condition is manifestly independent of the exponent p. By specializing this to particular cases, we recover some earlier results in a unified way.     

Modified boundary element method for problems on oscillations of flat membranes

In the space L ² of real-valued measurable 2π-periodic functions that are square summable on the period [0, 2π], the Jackson-Stechkin inequality

$$E_n (f) \leqslant \mathcal{K}_n (\delta ,\omega )\omega (\delta ,f), f \in L^2 $$

, is considered, where E _n (f) is the value of the best approximation of the function f by trigonometric polynomials of order at most n and ω(δ, f) is the modulus of continuity of the function f in L ² of order 1 or 2. The value

$$\mathcal{K}_n (\delta ,\omega ) = \sup \left\{ {\frac{{E_n (f)}}{{\omega (\delta ,f)}}:f \in L^2 } \right\}$$

is found at the points δ = 2π/m (where m ∈ ?) for m ≥ 3n ² + 2 and ω = ω ₁ as well as for m ≥ 11n ⁴/3 ? 1 and ω = ω ₂.

     

Simple proofs and extensions of a result of L. D. Pustylnikov on the nonautonomous Siegel theorem

We present simple proofs of a result of L.D. Pustylnikov extending to nonautonomous dynamics the Siegel theorem of linearization of analytic mappings. We show that if a sequence f _n of analytic mappings of C ^d has a common fixed point f _n (0) = 0, and the maps f _n converge to a linear mapping A∞ so fast that

$$\sum\limits_n {{{\left\| {{f_m} - {A_\infty }} \right\|}_{L\infty \left( B \right)}} < \infty } $$

$${A_\infty } = diag\left( {{e^{2\pi i{\omega _1}}},...,{e^{2\pi i{\omega _d}}}} \right)\omega = \left( {{\omega _1},...,{\omega _q}} \right) \in {\mathbb{R}^d},$$

then f _n is nonautonomously conjugate to the linearization. That is, there exists a sequence h _n of analytic mappings fixing the origin satisfying

$${h_{n + 1}} \circ {f_n} = {A_\infty }{h_n}.$$

The key point of the result is that the functions hn are defined in a large domain and they are bounded. We show that

$${\sum\nolimits_n {\left\| {{h_n} - Id} \right\|} _{L\infty (B)}} < \infty .$$

We also provide results when f _n converges to a nonlinearizable mapping f∞ or to a nonelliptic linear mapping. In the case that the mappings f _n preserve a geometric structure (e. g., symplectic, volume, contact, Poisson, etc.), we show that the hn can be chosen so that they preserve the same geometric structure as the f _n . We present five elementary proofs based on different methods and compare them. Notably, we consider the results in the light of scattering theory. We hope that including different methods can serve as an introduction to methods to study conjugacy equations.

     

An extended class of stabilizable uncertain systems

The system of equations \(\frac{{dx}}{{dt}} = A\left( \cdot \right)x + B\left( \cdot \right)u\), where A(·) ∈ ?^{n × n}, B(·) ∈ ?^{n × m}, S(·) ∈ R^{n × m}, is considered. The elements of the matrices A(·), B(·), S(·) are uniformly bounded and are functionals of an arbitrary nature. It is assumed that there exist k elements \({\alpha _{{i_i}{j_l}}}\left( \cdot \right)\left( {l \in \overline {1,k} } \right)\) of fixed sign above the main diagonal of the matrix A(·), and each of them is the only significant element in its row and column. The other elements above the main diagonal are sufficiently small. It is assumed that m = n ?k, and the elements β_ij(·) of the matrix B(·) possess the property \(\left| {{\beta _{{i_s}s}}\left( \cdot \right)} \right| = {\beta _0} > 0\;at\;{i_s}\; \in \;\overline {1,n} \backslash \left\{ {{i_1}, \ldots ,{i_k}} \right\}\). The other elements of the matrix B(·) are zero. The positive definite matrix H = {h_ij} of the following form is constructed. The main diagonal is occupied by the positive numbers h_ii = h_i, \({h_{{i_l}}}_{{j_l}}\, = \,{h_{{j_l}{i_l}}}\, = \, - 0.5\sqrt {{h_{{i_l}}}_{{j_l}}} \,\operatorname{sgn} \,{\alpha _{{i_l}}}_{{j_l}}\left( \cdot \right)\). The other elements of the matrix H are zero. The analysis of the derivative of the Lyapunov function V(x) = x*H^–1x yields h_i\(\left( {i \in \overline {1,n} } \right)\) and λ_i ≤ 0 \(\left( {i \in \overline {1,n} } \right)\) such that for S(·) = H^?1ΛB(·), Λ = diag(λ₁, ..., λ_n), the system of the considered equations becomes globally exponentially stable. The control is robust with respect to the elements of the matrix A(·).     

Divergent solutions to the <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-supercritical NLS equations

We investigate the nonlinear Schrödinger equation iu _t +Δu+|u| ^p?1 u = 0with 1+ 4/N < p < 1+ 4/N?2 (when N = 1, 2, 1 + 4/N < p < ∞) in energy space H ¹ and study the divergent property of infinite-variance and nonradial solutions. If \(M{\left( u \right)^{\frac{{1 - {s_C}}}{{{s_C}}}}}E\left( u \right) \prec M{\left( Q \right)^{\frac{{1 - {s_C}}}{{{s_C}}}}}E\left( Q \right)\) and \(\left\| {{u_0}} \right\|_2^{\frac{{1 - {s_c}}}{{{s_c}}}}\left\| {\nabla {u_0}} \right\|_2^{\frac{{1 - {s_c}}}{{{s_c}}}}{\left\| {\nabla Q} \right\|_2}\), then either u(t) blows up in finite forward time or u(t) exists globally for positive time and there exists a time sequence t _n → +∞ such that \({\left\| {\nabla u\left( {{t_n}} \right)} \right\|_2} \to + \infty \). Here Q is the ground state solution of ?(1?s _c )Q+ΔQ+Q ^p?1 Q = 0. A similar result holds for negative time. This extend the result of the 3D cubic Schrödinger equation obtained by Holmer to the general mass-supercritical and energy-subcritical case.     

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.     

Output stabilization for a class of uncertain systems

The system

$$\frac{{dx}}{{dt}} = A\left( \cdot \right)x + B\left( \cdot \right)u,{\kern 1pt} \frac{{dy}}{{dt}} = A\left( \cdot \right)y + B\left( \cdot \right)u + D\left( {C*y - v} \right)$$

where v = C*x is an output, u = S*y is a control, A(·) ∈ R ^{n × n} , B(·) ∈ R ^{n × (n–p)}, C ∈ R ^{n × (n–p)}, and D ∈ R ^{n × (n–p)}, is considered. The elements α_ij(·) and β_ij(·) of the matrices A(·) and B(·) are arbitrary functionals satisfying the conditions

$$\mathop {\sup }\limits_{\left( \cdot \right)} |{\alpha _{ij}}\left( \cdot \right)| < \infty \left( {i,j \in 1,n} \right),\mathop {\sup }\limits_{\left( \cdot \right)} |{\beta _{ij}}\left( \cdot \right)| < \infty \left( {i \in 1,n,j \in 1,n - p} \right).$$

It is assumed that A(·) ∈ Z ₁ ∪ Z ₃ and A*(·) ∈ Z ₁ ∪ Z ₃, where Z ₁ is the class of matrices in which the first p elements of the kth superdiagonal are sign-definite and the elements above them are sufficiently small. The class Z ₃ differs from Z _t1 in that the elements between this superdiagonal and the (k + 1)th row are sufficiently small. If k > p, then the elements of the p × p square in the upper left corner of the matrix are sufficiently small as well. By using special quadratic Lyapunov functions, a matrix D for which y(t)–x(t) → 0 exponentially as t → ∞ is first found, and then a matrix S for which the vectors x(t) and y(t) have the same property is constructed.

     

Isometric multipliers of a vector valued Beurling algebra on a discrete semigroup

Let (S,ω) be a weighted abelian semigroup, let M _ω (S) be the semigroup of ω-bounded multipliers of S, and let \(\mathcal {A}\) be a strictly convex commutative Banach algebra with identity. It is shown that T is an onto isometric multiplier of \(\ell ^{1}(S,\omega , \mathcal {A})\) if and only if there exists an invertible σ ∈ M _ω (S), a unitary point \(a \in \mathcal {A}\), and a k>0 such that \(T(f)= ka{\sum }_{x \in S} f(x)\delta _{\sigma (x)}\) for each \(f={\sum }_{x \in S}f(x)\delta _{x} \in \ell ^{1}(S,\omega ,\mathcal {A})\). It is also shown that an isomorphism from \(\ell ^{1}(S_{1},\omega _{1},\mathcal {A})\) onto \(\ell ^{1}(S_{2},\omega _{2}, \mathcal {B})\) induces an isomorphism from \(M(\ell ^{1}(S_{1},\omega _{1},\mathcal {A}))\), the set of all multipliers of \(\ell ^{1}(S_{1},\omega _{1},\mathcal {A})\), onto \(M(\ell ^{1}(S_{2},\omega _{2},\mathcal {B}))\).     

Convolutions of random measures on compact groups

LetG be a compact group andM ₁(G) be the convolution semigroup of all Borel probability measures onG with the weak topology. We consider a stationary sequence {μ _n } _n=?∞ ^+∞ of random measures μ _n =μ _n (ω) inM ₁(G) and the convolutions $$v_{m,n} (\omega ) = \mu _m (\omega )* \cdots *\mu _{n - 1} (\omega ), m< n$$ and $$\alpha _n^{( + k)} (\omega ) = \frac{1}{k}\sum\limits_{i = 1}^k {v_{n,n + i} (\omega ),} \alpha _n^{( - k)} (\omega ) = \frac{1}{k}\sum\limits_{i = 1}^k {v_{n - i,n} (\omega )} $$ We describe the setsA _m ⁺ (ω) andA _n ⁺ (ω) of all limit points ofv _m,n(ω) asm→?∞ orn→+∞ and the setA _∞(ω) of its two-sided limit points for typical realizations of {μ _n (ω)} _n=?∞ ^+∞ . Using an appropriate random ergodic theorem we study the limit random measures ρ _n ^(±) (ω)=lim _k→∞ α _n ^(±k) (ω).     

Asymptotic behavior of the maximal zero of a polynomial orthogonal on a segment with a nonclassical weight

Let {p _n (t)} _n=0 ^t8 be a system of algebraic polynomials orthonormal on the segment [?1, 1] with a weight p(t); let {x _n,ν ^(p) } _ν=1 ⁿ be zeros of a polynomial p _n (t) (x _x,ν ^(p) = cosθ _n,ν ^(p) ; 0 < θ _n,1 ^(p) < θ _n,2 ^(p) < ... < θ _n,n ^(p) < π). It is known that, for a wide class of weights p(t) containing the Jacobi weight, the quantities θ _n,1 ^(p) and 1 ? x _n,1 ^(p) coincide in order with n ^?1 and n ^?2, respectively. In the present paper, we prove that, if the weight p(t) has the form p(t) = 4(1 ? t ²)^?1{ln²[(1 + t)/(1 ? t)] + π ²}^?1, then the following asymptotic formulas are valid as n → ∞:

$$\theta _{n,1}^{(p)} = \frac{{\sqrt 2 }}{{n\sqrt {\ln (n + 1)} }}\left[ {1 + {\rm O}\left( {\frac{1}{{\ln (n + 1)}}} \right)} \right],x_{n,1}^{(p)} = 1 - \left( {\frac{1}{{n^2 \ln (n + 1)}}} \right) + O\left( {\frac{1}{{n^2 \ln ^2 (n + 1)}}} \right).$$

     

Carleson measures,BMO spaces and balayages associated to Schrdinger operators

Let L be a Schrdinger operator of the form L =-? + V acting on L~2(R~n), n≥3, where the nonnegative potential V belongs to the reverse Hlder class B_q for some q≥n. Let BMO_L(R~n) denote the BMO space associated to the Schrdinger operator L on R~n. In this article, we show that for every f ∈ BMO_L(R~n) with compact support, then there exist g ∈ L~∞(R~n) and a finite Carleson measure μ such that f(x) = g(x) + S_(μ,P)(x) with ∥g∥∞ + |||μ|||c≤ C∥f∥BMO_L(R~n), where S_(μ,P)=∫(R_+~(n+1))Pt(x,y)dμ(y, t),and Pt(x, y) is the kernel of the Poisson semigroup {e-~(t(L)~(1/2))}t0 on L~2(R~n). Conversely, if μ is a Carleson measure, then S_(μ,P) belongs to the space BMO_L(R~n). This extends the result for the classical John-Nirenberg BMO space by Carleson(1976)(see also Garnett and Jones(1982), Uchiyama(1980) and Wilson(1988)) to the BMO setting associated to Schrdinger operators.     

Anisotropic Hardy-Lorentz spaces and their applications

Let p ∈(0, 1], q ∈(0, ∞] and A be a general expansive matrix on Rn. We introduce the anisotropic Hardy-Lorentz space H~(p,q)_A(R~n) associated with A via the non-tangential grand maximal function and then establish its various real-variable characterizations in terms of the atomic and the molecular decompositions, the radial and the non-tangential maximal functions, and the finite atomic decompositions. All these characterizations except the ∞-atomic characterization are new even for the classical isotropic Hardy-Lorentz spaces on Rn.As applications, we first prove that Hp,q A(Rn) is an intermediate space between H~(p1,q1)_A(Rn) and H~(p2,q2)_A(R~n) with 0 p1 p p2 ∞ and q1, q, q2 ∈(0, ∞], and also between H~(p,q1)_A(Rn) and H~(p,q2)_A(R~n) with p ∈(0, ∞)and 0 q1 q q2 ∞ in the real method of interpolation. We then establish a criterion on the boundedness of sublinear operators from H~(p,q)_A(R~n) into a quasi-Banach space; moreover, we obtain the boundedness of δ-type Calder′on-Zygmund operators from H~(p,∞)_A(R~n) to the weak Lebesgue space L~(p,∞)(R~n)(or to H~p_A(R~n)) in the ln λcritical case, from H~(p,q)_A(R~n) to L~(p,q)(R~n)(or to H~(p,q)_A(R~n)) with δ∈(0,(lnλ)/(ln b)], p ∈(1/(1+,δ),1] and q ∈(0, ∞], as well as the boundedness of some Calderon-Zygmund operators from H~(p,q)_A(R~n) to L~(p,∞)(R~n), where b := | det A|,λ_:= min{|λ| : λ∈σ(A)} and σ(A) denotes the set of all eigenvalues of A.     

More results in polychromatic Ramsey theory

We study polychromatic Ramsey theory with a focus on colourings of [ω ₂]². We show that in the absence of GCH there is a wide range of possibilities. In particular each of the following is consistent relative to the consistency of ZFC: (1) 2 ^ω = ω ₂ and \(\omega _2 \to ^{poly} (\alpha )_{\aleph _0 - bdd}^2 \) for every α <ω ₂; (2) 2 ^ω = ω ₂ and \(\omega _2 \nrightarrow ^{poly} (\omega _1 )_{2 - bdd}^2 \).     

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

.

     

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.     

On a class of strongly contractive quadratic recurrent systems

We consider a class of nonlinear recurrent systems of the form \( {\Lambda_p} = \frac{1}{p}\sum\limits_{{p_1} = 1}^{p - 1} {f\left( {\frac{{{p_1}}}{p}} \right){\Lambda_{{p_1}}}{\Lambda_{p - {p_1}}}} \), p > 1, where f is a given function on the interval [0, 1] and Λ₁ = x is an adjustable real-valued parameter. Under some suitable assumptions on the function f, we show that there exists an initial value x ^* for which Λ _p = Λ _p (x ^* ) → const as p → ∞. More precise asymptotics of Λ _p is also derived.     

A continuous model for systems of complexity 2 on simple abelian groups

It is known that if p is a sufficiently large prime, then, for every function f: Z_p → [0, 1], there exists a continuous function f′: T → [0, 1] on the circle such that the averages of f and f′ across any prescribed system of linear forms of complexity 1 differ by at most ∈. This result follows from work of Sisask, building on Fourier-analytic arguments of Croot that answered a question of Green. We generalize this result to systems of complexity at most 2, replacing T with the torus T² equipped with a specific filtration. To this end, we use a notion of modelling for filtered nilmanifolds, that we define in terms of equidistributed maps and combine this notion with tools of quadratic Fourier analysis. Our results yield expressions on the torus for limits of combinatorial quantities involving systems of complexity 2 on Z_p. For instance, let m₄(α, Z_p) denote the minimum, over all sets A ? Z_p of cardinality at least αp, of the density of 4-term arithmetic progressions inside A. We show that limp→∞ m₄(α, Z_p) is equal to the infimum, over all continuous functions f: T₂ →[0, 1] with \({\smallint _{{T^2}}}f \geqslant a\), of the integral

$$\int_{{T^5}} {f\left( {\begin{array}{*{20}{c}}{{x_1}} \\ {{y_1}} \end{array}} \right)} f\left( {\begin{array}{*{20}{c}}{{x_1} + {x_2}} \\ {{y_1} + {y_2}} \end{array}} \right)f\left( {\begin{array}{*{20}{c}}{{x_1} + 2{x_2}} \\ {{y_1} + 2{y_2} + {y_3}} \end{array}} \right).f\left( {\begin{array}{*{20}{c}}{{x_1} + 3{x_2}} \\ {{y_1} + 3{y_2} = 3{y_3}} \end{array}} \right)d{\mu _{{T^5}}}({x_1},{x_2},{y_1},{y_2},{y_3})$$

     

A Rolle Type Theorem for Cyclicity of Zeros of Families of Analytic Functions

Let \({\{ {f_{\lambda ;j}}\} _{\lambda \in V;1 \leqslant j \leqslant k}}\) be families of holomorphic functions in the open unit disk \({\text{D}} \subset {\Bbb C}\) ? ? depending holomorphically on a parameter λ ∈ V ? ? ⁿ . We establish a Rolle type theorem for the generalized multiplicity (called cyclicity) of zeros of the family of univariate holomorphic functions \({\left\{ {\sum\nolimits_{j = 1}^k {{f_{\lambda ;j}}} } \right\}_{\lambda \in V}}\) at 0 ∈ D. As a corollary, we estimate the cyclicity of the family of generalized exponential polynomials, that is, the family of entire functions of the form \(\sum\nolimits_{k = 1}^m {{P_k}(z){e^{{Q_k}(z)}}} \), z ∈ ?, where P _k and Q _k are holomorphic polynomials of degrees p and q, respectively, parameterized by vectors of coefficients of P _k and Q _k .     

Quasi-Periodic Solutions for Non-Autonomous mKdV Equation

In this paper, we consider the non-autonomous modified Korteweg-de Vries (mKdV) equation

$${u_t} = {u_{xxx}} - 6f\left( {\omega t} \right){u^2}{u_x},x \in \mathbb{R}/2\pi \mathbb{Z}$$

, where f(ωt) is real analytic and quasi-periodic in t with frequency vector ω = (ω₁,ω₂, · · ·; ω _m ). Basing on an abstract infinite dimensional KAM theorem dealing with unbounded perturbation vector-field, we obtain the existence of Cantor families of smooth quasi-periodic solutions.