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.

     

On Schwarzian Triangle Functions,Automorphic Forms and a Generalization of Ramanujan’s Triple Differential Equations

Let G be the group of the fractional linear transformations generated by

$$T(\tau ) = \tau + \lambda ,S(\tau ) = \frac{{\tau \cos \frac{\pi }{n} + \sin \frac{\pi }{n}}}{{ - \tau \sin \frac{\pi }{n} + \cos \frac{\pi }{n}}};$$

where

$$\lambda = 2\frac{{\cos \frac{\pi }{m} + \cos \frac{\pi }{n}}}{{\sin \frac{\pi }{n}}};$$

m, n is a pair of integers with either n ≥ 2,m ≥ 3 or n ≥ 3,m ≥ 2; τ lies in the upper half plane H.

A fundamental set of functions f₀, f_i and f_∞ automorphic with respect to G will be constructed from the conformal mapping of the fundamental domain of G. We derive an analogue of Ramanujan’s triple differential equations associated with the group G and establish the connection of f₀, f_i and f_∞ with a family of hypergeometric functions.     

Conflict free colorings of (strongly) almost disjoint set-systems

\(f\: \cup {\mathcal {A}}\to {\rho}\) is called a conflict free coloring of the set-system\({\mathcal {A}}\)(withρcolors) if

$\forall A\in {\mathcal {A}}\ \exists\, {\zeta}<{\rho} (|A\cap f^{-1}\{{\zeta}\}|=1).$

The conflict free chromatic number\(\operatorname {\chi _{\rm CF}}\, ({\mathcal {A}})\) of \({\mathcal {A}}\) is the smallest ρ for which \({\mathcal {A}}\) admits a conflict free coloring with ρ colors.

\({\mathcal {A}}\) is a (λ,κ,μ)-system if \(|{\mathcal {A}}| = \lambda\), |A|=κ for all \(A \in {\mathcal {A}}\), and \({\mathcal {A}}\) is μ-almost disjoint, i.e. |A∩A′|<μ for distinct \(A, A'\in {\mathcal {A}}\). Our aim here is to study

$\operatorname {\chi _{\rm CF}}\, (\lambda,\kappa,\mu) = \sup \{\operatorname {\chi _{\rm CF}}\, ({\mathcal {A}})\: {\mathcal {A}}\mbox{ is a } (\lambda,\kappa,\mu)\mbox{-system}\}$

for λ≧κ≧μ, actually restricting ourselves to λ≧ω and μ≦ω.

For instance, we prove that

? for any limit cardinal κ (or κ=ω) and integers n≧0, k>0, GCH implies

$\operatorname {\chi _{\rm CF}}\, (\kappa^{+n},t,k+1) =\begin{cases}\kappa^{+(n+1-i)}&; \text{if \ } i\cdot k < t \le (i+1)\cdot k,\ i =1,\dots,n;\\[2pt]\kappa&; \text{if \ } (n+1)\cdot k < t;\end{cases}$

? if λ≧κ≧ω>d>1, then λ<κ ^+ω implies \(\operatorname {\chi _{\rm CF}}\, (\lambda,\kappa,d) <\omega\) and λ≧? _ω (κ) implies \(\operatorname {\chi _{\rm CF}}\, (\lambda,\kappa,d) = \omega\);? GCH implies \(\operatorname {\chi _{\rm CF}}\, (\lambda,\kappa,\omega) \le \omega_{2}\) for λ≧κ≧ω ₂ and V=L implies \(\operatorname {\chi _{\rm CF}}\, (\lambda,\kappa,\omega) \le \omega_{1}\) for λ≧κ≧ω ₁;? the existence of a supercompact cardinal implies the consistency of GCH plus \(\operatorname {\chi _{\rm CF}}\,(\aleph_{\omega+1},\omega_{1},\omega)= \aleph_{\omega+1}\) and \(\operatorname {\chi _{\rm CF}}\, (\aleph_{\omega+1},\omega_{n},\omega) = \omega_{2}\) for 2≦n≦ω;? CH implies \(\operatorname {\chi _{\rm CF}}\, (\omega_{1},\omega,\omega) = \operatorname {\chi _{\rm CF}}\, (\omega_{1},\omega_{1},\omega) = \omega_{1}\), while \(MA_{\omega_{1}}\) implies \(\operatorname {\chi _{\rm CF}}\, (\omega_{1},\omega,\omega) = \operatorname {\chi _{\rm CF}}\, (\omega_{1},\omega_{1},\omega) = \omega\).     

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.

     

Oscillations of cusp form coefficients in exponential sums

Let f(z)=∑ _n=1 ^∞ λ(n)n ^(κ?1)/2 e(nz) be a holomorphic cusp form of weight κ for the full modular group SL ₂(?) and let μ(n) be the Möbius function. In this paper, we are concerned with the sum

$S(\alpha,X)=\sum _{n\leq X}\mu (n)\lambda(n)e(\alpha \sqrt{n}),\quad 0\neq \alpha \in \mathbb{R}.$

It is proved that, unconditionally, \(S(\alpha,X)\ll X^{\frac{5}{6}}(\log X)^{20}\), where the implied constant depends only on α and the cusp form f.

     

Rearranged series by Haar system

For the orthonormal Haar system {X _n} the paper proves that for each 0 < ? < 1 there exist a measurable set E ? [0, 1] with measure | E | > 1 ? ? and a series of the form Σ _n=1 ^∞ a _n X _n with a _i ↘ 0, such that for every function f ∈ L ¹(0, 1) one can find a function \(\tilde f\) ∈ L ¹(0, 1) coinciding with f on E, and a series of the form

$\sum\limits_{i = 1}^\infty {\delta _i a_i \chi _i } where \delta _i = 0 or 1$

, that would converge to \(\tilde f\) in L ¹(0, 1).

     

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.

     

Hankel and Berezin Type Operators on Weighted Besov Spaces of Holomorphic Functions on Polydisks

Let S be the space of functions of regular variation and let ω = (ω₁,..., ω_n), ω_j ∈ S. The weighted Besov space of holomorphic functions on polydisks, denoted by B _p (ω) (0 < p < +∞), is defined to be the class of all holomorphic functions f defined on the polydisk U ⁿ such that \(||f||_{{B_{P(\omega )}}}^P = \int_{{U^n}} {|Df(z){|^p}\prod\limits_{j = 1}^n {{\omega _j}{{(1 - |{z_j}{|^2})}^{P - 2}}dm{a_{2n}}(z) < \infty } } \), where dm_2n(z) is the 2ndimensional Lebesgue measure on U ⁿ and D stands for a special fractional derivative of f.We prove some theorems concerning boundedness of the generalized little Hankel and Berezin type operators on the spaces B _p (ω) and L _p (ω) (the weighted L _p -space).     

Conditional exponential stability of a differential system with linear dichotomous Coppel-Conti approximation

We prove the conditional exponential stability of the zero solution of the nonlinear differential system

$$\dot y = A(t)y + f(t,y),{\mathbf{ }}y \in R^n ,{\mathbf{ }}t \geqslant 0,$$

with L ^p -dichotomous linear Coppel-Conti approximation .x = A(t)x whose principal solution matrix X _A (t), X _A (0) = E, satisfies the condition

$$\mathop \smallint \limits_0^t \left\| {X_A (t)P_1 X_A^{ - 1} (\tau )} \right\|^p d\tau + \mathop \smallint \limits_t^{ + \infty } \left\| {X_A (t)P_2 X_A^{ - 1} (\tau )} \right\|^p d\tau \leqslant C_p (A) < + \infty ,{\mathbf{ }}p \geqslant 1,{\mathbf{ }}t \geqslant 0,$$

where P ₁ and P ₂ are complementary projections of rank k ∈ {1, …, n ? 1} and rank n ? k, respectively, and with a higher-order infinitesimal perturbation f:[0, ∞) × U → R ⁿ that is piecewise continuous in t ≥ 0 and continuous in y in some neighborhood U of the origin.

     

Weak Type (1,1) Behavior for the Maximal Operator with <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript>-Dini Kernel

Let M _Ω be the maximal operator with homogeneous kernel Ω. In the present paper, we show that if Ω satisfies the L ¹-Dini condition on ?? ^n?1, then the following weak type (1,1) behaviors

$$\lim\limits _{\lambda \rightarrow 0_{+}}\lambda m(\{x\in \mathbb {R}^{n}:M_{\Omega } f(x)>\lambda \})=\frac {1}{n} \|\Omega \|_{1} \|f\|_{1},$$

$$\sup\limits_{\lambda >0}\lambda m(\{x\in \mathbb {R}^{n}:M_{\Omega } f(x)>\lambda \})\lesssim {\bigg ((\log n)\|\Omega \|_{1}+{\int }_{0}^{1/n}\frac {\tilde {\omega }_{1}(\delta )}{\delta }d\delta \bigg )}\|f\|_{1}$$

hold for the maximal operator M _Ω and \(f\in L^{1}(\mathbb {R}^{n})\), here \(\tilde {\omega }_{1}\) denotes the L ¹ integral modulus of continuity of Ω defined by translation in \(\mathbb {R}^{n}\).     

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}))\).     

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.     

Cocentralizing and vanishing derivations on multilinear polynomials in prime rings

Let R be a prime ring of characteristic different from 2 and extended centroid C and let f(x1,..., x _n ) be a multilinear polynomial over C not central-valued on R, while δ is a nonzero derivation of R. Suppose that d and g are derivations of R such that

$\delta (d(f(r_1 , \ldots ,r_n ))f(r_1 , \ldots ,r_n ) - f(r_1 , \ldots ,r_n )g(f(r_1 , \ldots ,r_n ))) = 0$

for all r1,..., r _n ∈ R. Then d and g are both inner derivations on R and one of the following holds: (1) d = g = 0; (2) d = ?g and f(x ₁,..., x _n )² is central-valued on R.

     

Finite Gap Jacobi Matrices,III. Beyond the Szegő Class

Let \({\frak {e}}\subset {\mathbb {R}}\) be a finite union of ?+1 disjoint closed intervals, and denote by ω _j the harmonic measure of the j left-most bands. The frequency module for \({\frak {e}}\) is the set of all integral combinations of ω ₁,…,ω _? . Let \(\{\tilde{a}_{n}, \tilde{b}_{n}\}_{n=-\infty}^{\infty}\) be a point in the isospectral torus for \({\frak {e}}\) and \(\tilde{p}_{n}\) its orthogonal polynomials. Let \(\{a_{n},b_{n}\}_{n=1}^{\infty}\) be a half-line Jacobi matrix with \(a_{n} = \tilde{a}_{n} + \delta a_{n}\), \(b_{n} = \tilde{b}_{n} +\delta b_{n}\). Suppose

$\sum_{n=1}^\infty \lvert \delta a_n\rvert ^2 + \lvert \delta b_n\rvert ^2 <\infty $

and \(\sum_{n=1}^{N} e^{2\pi i\omega n} \delta a_{n}\), \(\sum_{n=1}^{N} e^{2\pi i\omega n} \delta b_{n}\) have finite limits as N→∞ for all ω in the frequency module. If, in addition, these partial sums grow at most subexponentially with respect to ω, then for z∈???, \(p_{n}(z)/\tilde{p}_{n}(z)\) has a limit as n→∞. Moreover, we show that there are non-Szeg? class J’s for which this holds.

     

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 \).     

An explicit formula for the fourth moment of certain exponential sums

For integers m, n, q, k, with q,k≧1 and Dirichlet characters \(\chi, \chi' \text {\rm \;(mod}\,q)\) we define a generalized Kloosterman sum

$S(m,n,\chi, \chi', q)= \sideset{}{'} \sum_{a=1}^q \chi (a)G(a,\chi')e \left(\frac{ma^k+na}{q}\right)$

with a Dirichlet character and a Gauss sum G(a,χ′) as coefficient, where e(z)=e ^2πiz . The aim of this paper is to study the fourth power mean

$M_k(q)=\sum_m\ \sum_{\chi}\ \sum_{\chi'} \bigl|S(m,n,\chi,\chi', q)\bigr|^4$

obtaining explicit formulas for M _k (q).

     

Almost everywhere divergence of lacunary subsequences of partial sums of fourier series

If an increasing sequence {n _m } of positive integers and a modulus of continuity ω satisfy the condition Σ _m=1 ^∞ ω(1/n _m )/m < ∞, then it is known that the subsequence of partial sums \(S_{n_m } \left( {f,x} \right)\) converges almost everywhere to f(x) for any function f ∈ H ₁ ^ω . We show that this sufficient convergence condition is close to a necessary condition for a lacunary sequence {n _m }.     

Geometric and probabilistic analysis of convex bodies with unconditional structures,and associated spaces of operators

Let \({{\|\cdot\|}}\) be a norm on \({\mathbb{R}^n}\) and \({\|.\|_*}\) be the dual norm. If \({\|\cdot\|}\) has a normalized 1-symmetric basis \({\{e_i\}_{i=1}^n}\) then the following inequalities hold: for all \({x,y\in \mathbb{R}^n}\), \({\|x\|\cdot\|y\|_*\le \max(\|x\|_1\cdot\|y\|_\infty,\|x\|_\infty\cdot\|y\|_1)}\) and if the basis is only 1-unconditional and normalized then for all \({x \in \mathbb{R}^n}\) , \({\|x\|+\|x\|_{*}\leq \|x\|_1+\|x\|_\infty}\) . We consider other geometric generalizations and apply these results to get, as a special case, estimates on best random embeddings of k-dimensional Hilbert spaces in the spaces of nuclear operators \({{\mathcal N}(K,K)}\) of dimension n ², for all k = [λn ²] and 0 < λ < 1. We obtain universal upper bounds independent on the 1-symmetric norm \({\|.\|}\) for the products of pth moments

$\left( {\mathbb{E}} \left\|\sum_{i=1}^n f_i(\omega)\,e_i\right\|^p\cdot\, \mathbb {E} \left\|\sum_{i=1}^n f_i(\omega)\,e_i\right\|_*^p\right)^{1/p}$

for independent random variables {f _i (ω)}, and 1 ≤ p < ∞.

     

Harmonic analysis associated with a discrete Laplacian

It is well known that the fundamental solution of

$${u_t}\left( {n,t} \right) = u\left( {n + 1,t} \right) - 2u\left( {n,t} \right) + u\left( {n - 1,t} \right),n \in \mathbb{Z},$$

with u(n, 0) = δ _nm for every fixed m ∈ Z is given by u(n, t) = e ^?2t I _n?m (2t), where I _k (t) is the Bessel function of imaginary argument. In other words, the heat semigroup of the discrete Laplacian is described by the formal series W _t f(n) = Σ _m∈Z e ^?2t I _n?m (2t)f(m). This formula allows us to analyze some operators associated with the discrete Laplacian using semigroup theory. In particular, we obtain the maximum principle for the discrete fractional Laplacian, weighted ? ^p (Z)-boundedness of conjugate harmonic functions, Riesz transforms and square functions of Littlewood-Paley. We also show that the Riesz transforms essentially coincide with the so-called discrete Hilbert transform defined by D. Hilbert at the beginning of the twentieth century. We also see that these Riesz transforms are limits of the conjugate harmonic functions. The results rely on a careful use of several properties of Bessel functions.

     

Optimal constants and extremisers for some smoothing estimates

We establish new results concerning the existence of extremisers for a broad class of Kato-smoothing estimates of the form

$${\left\| {\psi \left( {\left| \nabla \right|} \right)\exp \left( {it\phi \left( {\left| \nabla \right|} \right)f} \right)} \right\|_{{L^2}\left( \omega \right)}} \leqslant C{\left\| d \right\|_{{L^2}}}$$

for solutions of dispersive equations, where the weight ω is radial and depends only on the spatial variable; such a smoothing estimate is of course equivalent to the L ²-boundedness of a certain oscillatory integral operator S depending on (ω, ψ, ?). Furthermore, when ω is homogeneous, and for certain (ψ, ?), we provide an explicit spectral decomposition of S*S and consequently recover an explicit formula for the optimal constant C and a characterisation of extremisers. In certain well-studied cases when ω is inhomogeneous, we obtain new expressions for the optimal constant and the non-existence of extremisers.