On some Dirichlet series related to the Riemann zeta function,I

On the assumption of the truth of the Riemann hypothesis for the Riemann zeta function we construct a class of modified von-Mangoldt functions with slightly better mean value properties than the well known function L\Lambda . For every e ? (0,1/2)\varepsilon \in (0,1/2) there is a [(L)\tilde] : \Bbb N ? \Bbb C\tilde {\Lambda} : \Bbb N \to \Bbb C such that¶ i) [(L)\tilde] (n) = L (n) (1 + O(n^-1/4  logn))\tilde {\Lambda} (n) = \Lambda (n) (1 + O(n^{-1/4\,} \log n)) and¶ii) ?_{n \leqq x} [(L)\tilde] (n) (1- [(n)/(x)]) = [(x)/2] + O(x^1/4+e) (x \geqq 2).\sum \limits_{n \leqq x} \tilde {\Lambda} (n) \left(1- {{n}\over{x}}\right) = {{x}\over{2}} + O(x^{1/4+\varepsilon }) (x \geqq 2).¶Unfortunately, this does not lead to an improved error term estimation for the unweighted sum ?_{n \leqq x} [(L)\tilde] (n)\sum \limits_{n \leqq x} \tilde {\Lambda} (n), which would be of importance for the distance between consecutive primes.     

Bounded solutions of the Golab—Schinzel equation

Summary. Let \Bbb K {\Bbb K} be either the field of reals or the field of complex numbers, X be an F-space (i.e. a Fréchet space) over \Bbb K {\Bbb K} n be a positive integer, and f : X ? \Bbb K f : X \to {\Bbb K} be a solution of the functional equation¶¶f(x + f(x)ⁿ y) = f(x) f(y) f(x + f(x)^n y) = f(x) f(y) .¶We prove that, if there is a real positive a such that the set { x ? X : |f(x)| ? (0, a)} \{ x \in X : |f(x)| \in (0, a)\} contains a subset of second category and with the Baire property, then f is continuous or { x ? X : |f(x)| ? (0, a)} \{ x \in X : |f(x)| \in (0, a)\} for every x ? X x \in X . As a consequence of this we obtain the following fact: Every Baire measurable solution f : X ? \Bbb K f : X \to {\Bbb K} of the equation is continuous or equal zero almost everywhere (i.e., there is a first category set A ì X A \subset X with f(X \A) = { 0 }) f(X \backslash A) = \{ 0 \}) .     

The Ground State and the Long-Time Evolution in the CMC Einstein Flow

Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume ${\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)}Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume V(k)=(\frac-k3)³Vol_g(k)(S){\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)} is monotonically decreasing in the expanding direction and bounded below by V_inf=(\frac-16Y(S))^\frac32{\mathcal{V}_{\rm \inf}=\left(\frac{-1}{6}Y(\Sigma)\right)^{\frac{3}{2}}}. Inspired by this fact we define the ground state of the manifold Σ as “the limit” of any sequence of CMC states {(g _i , K _i )} satisfying: (i) k _i  = −3, (ii) V_iˉ V_inf{\mathcal{V}_{i}\downarrow \mathcal{V}_{\rm inf}}, (iii) Q ₀((g _i , K _i )) ≤ Λ, where Q ₀ is the Bel–Robinson energy and Λ is any arbitrary positive constant. We prove that (as a geometric state) the ground state is equivalent to the Thurston geometrization of Σ. Ground states classify naturally into three types. We provide examples for each class, including a new ground state (the Double Cusp) that we analyze in detail. Finally, consider a long time and cosmologically normalized flow ([(g)\tilde],[(K)\tilde])(s)=((\frac-k3)²g,(\frac-k3)K){(\tilde{g},\tilde{K})(\sigma)=\left(\left(\frac{-k}{3}\right)^{2}g,\left(\frac{-k}{3}\right)K\right)}, where s = -ln(-k) ? [a,￥){\sigma=-\ln (-k)\in [a,\infty)}. We prove that if [(E₁)\tilde]=E₁(([(g)\tilde],[(K)\tilde])) ￡ L{\tilde{\mathcal{E}_{1}}=\mathcal{E}_{1}((\tilde{g},\tilde{K}))\leq \Lambda} (where E₁=Q₀+Q₁{\mathcal{E}_{1}=Q_{0}+Q_{1}}, is the sum of the zero and first order Bel–Robinson energies) the flow ([(g)\tilde],[(K)\tilde])(s){(\tilde{g},\tilde{K})(\sigma)} persistently geometrizes the three-manifold Σ and the geometrization is the ground state if Vˉ V_inf{\mathcal{V}\downarrow \mathcal{V}_{\rm inf}}.     

Linear Maps Preserving Operators of Local Spectral Radius Zero

Let X be a complex Banach space and let B(X){\mathcal{B}(X)} be the space of all bounded linear operators on X. For x ? X{x \in X} and T ? B(X){T \in \mathcal{B}(X)}, let r_T(x) = limsup_{n ? ￥} || Tⁿx|| ^1/n{r_{T}(x) =\limsup_{n \rightarrow \infty} \| T^{n}x\| ^{1/n}} denote the local spectral radius of T at x. We prove that if j: B(X) ? B(X){\varphi : \mathcal{B}(X) \rightarrow \mathcal{B}(X)} is linear and surjective such that for every x ? X{x \in X} we have r _T (x) = 0 if and only if r_j(T)(x) = 0{r_{\varphi(T)}(x) = 0}, there exists then a nonzero complex number c such that j(T) = cT{\varphi(T) = cT} for all T ? B(X){T \in \mathcal{B}(X) }. We also prove that if Y is a complex Banach space and j:B(X) ? B(Y){\varphi :\mathcal{B}(X) \rightarrow \mathcal{B}(Y)} is linear and invertible for which there exists B ? B(Y, X){B \in \mathcal{B}(Y, X)} such that for y ? Y{y \in Y} we have r _T (By) = 0 if and only if r_{j( T)} (y)=0{ r_{\varphi ( T) }(y)=0}, then B is invertible and there exists a nonzero complex number c such that j(T) = cB^-1TB{\varphi(T) =cB^{-1}TB} for all T ? B(X){T \in \mathcal{B}(X)}.     

Truncated Complex Moment Problems with a $ \widetilde{zz} $ Relation

We solve the truncated complex moment problem for measures supported on the variety K o \mathcal{K}\equiv { z ? \in C: z [(z)\tilde]\widetilde{z} = A+Bz+C [(z)\tilde]\widetilde{z} +Dz ² ,D 1 \neq 0}. Given a doubly indexed finite sequence of complex numbers g o g⁽²ⁿ⁾:g₀₀,g₀₁,g₁₀,?,g_0,2n,g_1,2n-1,?,g_2n-1,1,g_2n,0 \gamma\equiv\gamma^{(2n)}:\gamma_{00},\gamma_{01},\gamma_{10},\ldots,\gamma_{0,2n},\gamma_{1,2n-1},\ldots,\gamma_{2n-1,1},\gamma_{2n,0} , there exists a positive Borel measure m\mu supported in K \mathcal{K} such that g_ij=ò[`(z)]<sup>i</sup>z<sup>j</sup> dm (0 ￡ 1+j ￡ 2n) \gamma_{ij}=\int\overline{z}^{i}z^{j}\,d\mu\,(0\leq1+j\leq2n) if and only if the moment matrix M(n)( g\gamma ) is positive, recursively generated, with a column dependence relation Z [(Z)\tilde]\widetilde{Z} = A1+BZ +C [(Z)\tilde]\widetilde{Z} +DZ <sup>2</sup>, and card V(g) 3\mathcal{V}(\gamma)\geq rank M(n), where V(g)\mathcal{V}(\gamma) is the variety associated to g \gamma . The last condition may be replaced by the condition that there exists a complex number g<sub>n,n+1</sub> \gamma_{n,n+1} satisfying g<sub>n+1,n</sub> o [`(g)]_n,n+1=Ag_n,n-1+Bg_n,n+Cg_n+1,n-1+Dg_n,n+1 \gamma_{n+1,n}\equiv\overline{\gamma}_{n,n+1}=A\gamma_{n,n-1}+B\gamma_{n,n}+C\gamma_{n+1,n-1}+D\gamma_{n,n+1} . We combine these results with a recent theorem of J. Stochel to solve the full complex moment problem for K \mathcal{K} , and we illustrate the connection between the truncated and full moment problems for other varieties as well, including the variety z ^k = p(z, [(Z)\tilde] \widetilde{Z} ), deg p < k.     

Spherical orbit closures in simple projective spaces and their normalizations

Let G be a simply connected semisimple algebraic group over an algebraically closed field k of characteristic 0 and let V be a rational simple G-module. If G/H ⊂ P(V) is a spherical orbit and if X = [`(G/H)] X = \overline {G/H} is its closure, then we describe the orbits of X and those of its normalization [(X)\tilde] \tilde{X} . If, moreover, the wonderful completion of G/H is strict, then we give necessary and sufficient combinatorial conditions so that the normalization morphism [(X)\tilde] ? X \tilde{X} \to X is a homeomorphism. Such conditions are trivially fulfilled if G is simply laced or if H is a symmetric subgroup.     

On the Mean Value of the Index of Composition of an Integer

For each integer n l(n)=[(log n)/(log g(n))]\lambda(n)={{\rm log}\, n\over{\rm log}\, \gamma(n)} be the index of composition of n, where g(n)=?_p|np\gamma(n)=\prod_{p\vert n}p . For convenience, we write ?_{x ￡ n ￡ x+?x}l(n)\sum_{x\le n\le x+\sqrt{x}}\lambda(n) and ?_{n ￡ x}l(n)\sum_{n\le x}\lambda(n) , as well as for ?_{x ￡ n ￡ x+?x}1/l(n)\sum_{x\le n\le x+\sqrt{x}}1/\lambda(n) and ?_{n ￡ x}1/l(n)\sum_{n\le x}1/\lambda(n) . Finally we study the sum of running over shifted primes.     

An algorithm for semi-infinite polynomial optimization

We consider the semi-infinite optimization problem:

On some inequalities for Doob decompositions in Banach function spaces

Let ${\Phi : \mathbb{R} \to [0, \infty)}Let F: \mathbbR ? [0, ￥){\Phi : \mathbb{R} \to [0, \infty)} be a Young function and let f = (f_n)_n ? \mathbbZ₊{f = (f_n)_n\in\mathbb{Z}_{+}} be a martingale such that F(f_n) ? L₁{\Phi(f_n) \in L_1} for all n ? \mathbbZ₊{n \in \mathbb{Z}_{+}} . Then the process F(f) = (F(f_n))_n ? \mathbbZ₊{\Phi(f) = (\Phi(f_n))_n\in\mathbb{Z}_{+}} can be uniquely decomposed as F(f_n)=g_n+h_n{\Phi(f_n)=g_n+h_n} , where g=(g_n)_n ? \mathbbZ₊{g=(g_n)_n\in\mathbb{Z}_{+}} is a martingale and h=(h_n)_n ? \mathbbZ₊{h=(h_n)_n\in\mathbb{Z}_{+}} is a predictable nondecreasing process such that h ₀ = 0 almost surely. The main results characterize those Banach function spaces X such that the inequality ||h_￥||_X ￡ C ||F(Mf) ||_X{\|{h_{\infty}}\|_{X} \leq C \|{\Phi(Mf)} \|_X} is valid, and those X such that the inequality ||h_￥||_X ￡ C ||F(Sf) ||_X{\|{h_{\infty}}\|_{X} \leq C \|{\Phi(Sf)} \|_X} is valid, where Mf and Sf denote the maximal function and the square function of f, respectively.     

Localization and Locality for Resistance Forms

For a resistance form ${(X, \mathcal{D}(\varepsilon),\varepsilon)}For a resistance form (X, D(e),e){(X, \mathcal{D}(\varepsilon),\varepsilon)} and a point x₀ ? X{x_0 \in X} as boundary, on the space X₀:=X \{x₀}{X_0:=X {\setminus}\{x_0\}} we consider the Dirichlet space D_x0:={f ? D(e) | f(x₀)=0}{\mathcal{D}_{x_0}:=\{f\in\mathcal{D}(\varepsilon)\, |\, f(x_0)=0\}} and we develop a good potential theory. For any finely open subset D of X ₀ we consider a localized resistance form (D_{X0 \ D},e_D{\mathcal{D}_{X_0 {\setminus} D},\varepsilon_{D}}) where D_{X0 \ D}:={f ? D_x0 | f=0{\mathcal{D}_{X_0 {\setminus} D}:=\{f\in\mathcal{D}_{x_0}\, |\, f=0} on X₀ \ D}, e_D(f,g):=e(f,g){X_0 {\setminus} D\},\, \varepsilon_D(f,g):=\varepsilon(f,g)} for all f,g ? D_{X0 \ D}{f,g\in\mathcal{D}_{X_0 {\setminus} D}}. The main result is the equivalence between the local property of the resistance form and the sheaf property for the excessive elements on finely open sets.     

Viability for nonlinear multi-valued reaction–diffusion systems

In this paper we consider a nonlinear evolution reaction–diffusion system governed by multi-valued perturbations of m-dissipative operators, generators of nonlinear semigroups of contractions. Let X and Y be real Banach spaces, ${\mathcal{K}}In this paper we consider a nonlinear evolution reaction–diffusion system governed by multi-valued perturbations of m-dissipative operators, generators of nonlinear semigroups of contractions. Let X and Y be real Banach spaces, K{\mathcal{K}} be a nonempty and locally closed subset in \mathbbR ×X×Y, A:D(A) í X\rightsquigarrow X, B:D(B) í Y\rightsquigarrow Y{\mathbb{R} \times X\times Y,\, A:D(A)\subseteq X\rightsquigarrow X, B:D(B)\subseteq Y\rightsquigarrow Y} two m-dissipative operators, F:K ? X{F:\mathcal{K} \rightarrow X} a continuous function and G:K \rightsquigarrow Y{G:\mathcal{K} \rightsquigarrow Y} a nonempty, convex and closed valued, strongly-weakly upper semi-continuous (u.s.c.) multi-function. We prove a necessary and a sufficient condition in order that for each (t,x,h) ? K{(\tau,\xi,\eta)\in \mathcal{K}}, the next system

{ lc u￠(t) ? Au(t)+F(t,u(t),v(t))    t 3 tv￠(t) ? Bv(t)+G(t,u(t),v(t))    t 3 tu(t)=x,    v(t)=h, \left\{ \begin{array}{lc} u'(t)\in Au(t)+F(t,u(t),v(t))\quad t\geq\tau \\ v'(t)\in Bv(t)+G(t,u(t),v(t))\quad t\geq\tau \\ u(\tau)=\xi,\quad v(\tau)=\eta, \end{array} \right.      12. Multiple recurrence and nilsequences      Vitaly Bergelson  Bernard Host  Bryna Kra  Imre Ruzsa 《Inventiones Mathematicae》2005,160(2):261-303 Aiming at a simultaneous extension of Khintchine(X,X,m,T)(X,\mathcal{X},\mu,T) and a set A ? XA\in\mathcal{X} of positive measure, the set of integers n such that A T^2nA T^knA)(A)^k+1-\mu(A{\cap} T^{n}A{\cap} T^{2n}A{\cap} \ldots{\cap} T^{kn}A)>\mu(A)^{k+1}-\epsilon is syndetic. The size of this set, surprisingly enough, depends on the length (k+1) of the arithmetic progression under consideration. In an ergodic system, for k=2 and k=3, this set is syndetic, while for kòf(x)f(Tnx)f(T2nx)? f(Tknx)  dm(x)\int{f(x)f(T^{n}x)f(T^{2n}x){\ldots} f(T^{kn}x) \,d\mu(x)} , where k and n are positive integers and f is a bounded measurable function. We also derive combinatorial consequences of these results, for example showing that for a set of integers E with upper Banach density d*(E)>0 and for all {n ? \mathbbZ\colon d*(E?(E+n)?(E+2n)?(E+3n)) > d*(E)4-e}\big\{n\in\mathbb{Z}{\colon} d^*\big(E\cap(E+n)\cap(E+2n)\cap(E+3n)\big) > d^*(E)^4-\epsilon\big\}      13. Holomorphic Extension Theorems in Lipschitz Domains of {\mathbb{C}}^{2}      Ricardo Abreu Blaya  Juan Bory Reyes  Dixan Peña Peña  Frank Sommen 《Advances in Applied Clifford Algebras》2010,20(1):1-12 The holomorphic functions of several complex variables are closely related to the continuously differentiable solutions $f : {\mathbb{R}}^{2n} \mapsto {\mathbb{C}}_{n}$f : {\mathbb{R}}^{2n} \mapsto {\mathbb{C}}_{n} of the so called isotonic system ?x1 + i [(f)\tilde] ?x 2 = 0\partial _{\underbar{x}_1 } + i \tilde{f} \mathop{\partial _{\underbar{x} _2 } = 0}      14. On Energy, Discrepancy and Group Invariant Measures on Measurable Subsets of Euclidean Space      S. B. Damelin  F. J. Hickernell  D. L. Ragozin  X. Zeng 《Journal of Fourier Analysis and Applications》2010,16(6):813-839 Given $\mathcal{X}Given X\mathcal{X}, some measurable subset of Euclidean space, one sometimes wants to construct a finite set of points, P ì X\mathcal{P}\subset\mathcal {X}, called a design, with a small energy or discrepancy. Here it is shown that these two measures of design quality are equivalent when they are defined via positive definite kernels K:X2(=X×X)?\mathbbRK:\mathcal{X}^{2}(=\mathcal{X}\times\mathcal {X})\to\mathbb{R}. The error of approximating the integral òXf(x) dm(x)\int_{\mathcal{X}}f(\boldsymbol{x})\,\mathrm{d}\mu(\boldsymbol{x}) by the sample average of f over P\mathcal{P} has a tight upper bound in terms of the energy or discrepancy of P\mathcal{P}. The tightness of this error bound follows by requiring f to lie in the Hilbert space with reproducing kernel K. The theory presented here provides an interpretation of the best design for numerical integration as one with minimum energy, provided that the measure μ defining the integration problem is the equilibrium measure or charge distribution corresponding to the energy kernel, K.      15. On the existence of a p-adic metaplectic Tate-type $\widetilde {\gamma}$-factor      Dani Szpruch 《The Ramanujan Journal》2011,26(1):45-53 Let \mathbbF\mathbb{F} be a p-adic field, let χ be a character of \mathbbF*\mathbb{F}^{*}, let ψ be a character of \mathbbF\mathbb{F} and let gy-1\gamma_{\psi}^{-1} be the normalized Weil factor associated with a character of second degree. We prove here that one can define a meromorphic function [(g)\tilde](c,s,y)\widetilde{\gamma}(\chi ,s,\psi) via a similar functional equation to the one used for the definition of the Tate γ-factor replacing the role of the Fourier transform with an integration against y·gy-1\psi\cdot\gamma_{\psi}^{-1}. It turns out that γ and [(g)\tilde]\widetilde{\gamma} have similar integral representations. Furthermore, [(g)\tilde]\widetilde{\gamma} has a relation to Shahidi‘s metaplectic local coefficient which is similar to the relation γ has with (the non-metalpectic) Shahidi‘s local coefficient. Up to an exponential factor, [(g)\tilde](c,s,y)\widetilde{\gamma}(\chi,s,\psi) is equal to the ratio \fracg(c2,2s,y)g(c,s+\frac12,y)\frac{\gamma(\chi^{2},2s,\psi)}{\gamma(\chi,s+\frac{1}{2},\psi)}.      16. On an asymptotically autonomous system with Tikhonov type regularizing term      Mohamed Ali Jendoubi  Ramzi May 《Archiv der Mathematik》2010,95(4):389-399 We study the asymptotic behaviour of the trajectories of the second order equation ${\ddot{x}(t)+\gamma \dot{x}(t)+\nabla\phi(x(t))+\varepsilon(t)x(t)=g(t)}We study the asymptotic behaviour of the trajectories of the second order equation [(x)\ddot](t)+g[(x)\dot](t)+?f(x(t))+e(t)x(t)=g(t){\ddot{x}(t)+\gamma \dot{x}(t)+\nabla\phi(x(t))+\varepsilon(t)x(t)=g(t)} , where γ > 0, g ? L1([0,+￥[;H){g \in L^1([0,+\infty[;H)}, Φ is a C 2 convex function and e{\varepsilon} is a positive nonincreasing function.      17. Entropy bounds and second cohomology      David Fried 《Journal of Fixed Point Theory and Applications》2009,6(1):87-92 When X is a finite complex and p1X\pi_{1}X acts on \mathbbR2{\mathbb{R}}^2 by translations we give criteria involving H2X for an equivariant map F : [(X)\tilde] ? \mathbbR2F : \tilde{X} \rightarrow {\mathbb{R}}^2 to be onto. Following work of Manning and Shub, this leads to entropy bounds related to Shub’s entropy conjecture.      18. The stability of the elliptic equilibrium of planar quasi-periodic Hamiltonian systems      Yun Chao Wu  Yi Qian Wang 《数学学报(英文版)》2012,28(4):801-816 In this paper, we study the planar Hamiltonian system  = J (A(θ)x + ▽f(x, θ)), θ = ω, x ∈ R2 , θ∈ Td , where f is real analytic in x and θ, A(θ) is a 2 × 2 real analytic symmetric matrix, J = (1-1 ) and ω is a Diophantine vector. Under the assumption that the unperturbed system  = JA(θ)x, θ = ω is reducible and stable, we obtain a series of criteria for the stability and instability of the equilibrium of the perturbed system.      19. Cohomology of solvable lie algebras and solvmanifolds      D. V. Millionshchikov 《Mathematical Notes》2005,77(1):61-71 The cohomology H \mathfrakg\mathfrak{g} ) of the tangent Lie algebra \mathfrakg\mathfrak{g} of the group G with coefficients in the one-dimensional representation \mathfrakg\mathfrak{g} \mathbbK\mathbb{K} defined by [(W)\tilde] \mathfrakg \tilde \Omega _\mathfrak{g} of H 1(G/ \mathfrakg\mathfrak{g} .      20. Orthogonalities in linear spaces and difference operators      R. Ger 《Aequationes Mathematicae》2000,60(3):268-282 Summary. Quite recently C. Alsina, P. Cruells and M. S. Tomás [2], motivated by F. Suzuki's property of isosceles trapezoids, have proposed the following orthogonality relation in a real normed linear space (X, ||·||) (X, \Vert \cdot \Vert) : two vectors x,y ? X x,y \in X are T-orthogonal whenever¶||z-x ||2 + ||z-y ||2 = ||z ||2 + ||z-(x+y) ||2 \Vert z-x \Vert^2 + \Vert z-y \Vert^2 = \Vert z \Vert^2 + \Vert z-(x+y) \Vert^2 ¶for every z ? X z \in X . A natural question arises whether an analogue of T-orthogonality may be defined in any real linear space (without a norm structure). Our proposal reads as follows. Given a functional j \varphi on a real linear space X we say that two vectors x,y ? X x,y \in X are j \varphi -orthogonal (and write x^jy x\perp_{\varphi}y ) provided that Dx,yj = 0 \Delta_{x,y}\varphi = 0 (Dh1,h2 \Delta_{h_1,h_2} stands here and in the sequel for the superposition Dh1 °Dh2 \Delta_{h_1} \circ \Delta_{h_2} of the usual difference operators).¶We are looking for necessary and/or sufficient conditions upon the functional j \varphi to generate a j \varphi -orthogonality such that the pair X,^j X,\perp_{\varphi} forms an orthogonality space in the sense of J. Rätz (cf. [6]). Two new characterizations of inner product spaces as well as a generalization of some results obtained in [2] are presented.

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号

Multiple recurrence and nilsequences

Aiming at a simultaneous extension of Khintchine(X,X,m,T)(X,\mathcal{X},\mu,T) and a set A ? XA\in\mathcal{X} of positive measure, the set of integers n such that A T^2nA T^knA)(A)^k+1-\mu(A{\cap} T^{n}A{\cap} T^{2n}A{\cap} \ldots{\cap} T^{kn}A)>\mu(A)^{k+1}-\epsilon is syndetic. The size of this set, surprisingly enough, depends on the length (k+1) of the arithmetic progression under consideration. In an ergodic system, for k=2 and k=3, this set is syndetic, while for kòf(x)f(Tⁿx)f(T²ⁿx)? f(T^knx)  dm(x)\int{f(x)f(T^{n}x)f(T^{2n}x){\ldots} f(T^{kn}x) \,d\mu(x)} , where k and n are positive integers and f is a bounded measurable function. We also derive combinatorial consequences of these results, for example showing that for a set of integers E with upper Banach density d^*(E)>0 and for all {n ? \mathbbZ\colon d^*(E?(E+n)?(E+2n)?(E+3n)) > d^*(E)⁴-e}\big\{n\in\mathbb{Z}{\colon} d^*\big(E\cap(E+n)\cap(E+2n)\cap(E+3n)\big) > d^*(E)^4-\epsilon\big\}     

Holomorphic Extension Theorems in Lipschitz Domains of {\mathbb{C}}^{2}

The holomorphic functions of several complex variables are closely related to the continuously differentiable solutions $f : {\mathbb{R}}^{2n} \mapsto {\mathbb{C}}_{n}$f : {\mathbb{R}}^{2n} \mapsto {\mathbb{C}}_{n} of the so called isotonic system

On Energy, Discrepancy and Group Invariant Measures on Measurable Subsets of Euclidean Space

Given $\mathcal{X}Given X\mathcal{X}, some measurable subset of Euclidean space, one sometimes wants to construct a finite set of points, P ì X\mathcal{P}\subset\mathcal {X}, called a design, with a small energy or discrepancy. Here it is shown that these two measures of design quality are equivalent when they are defined via positive definite kernels K:X²(=X×X)?\mathbbRK:\mathcal{X}^{2}(=\mathcal{X}\times\mathcal {X})\to\mathbb{R}. The error of approximating the integral ò_Xf(x) dm(x)\int_{\mathcal{X}}f(\boldsymbol{x})\,\mathrm{d}\mu(\boldsymbol{x}) by the sample average of f over P\mathcal{P} has a tight upper bound in terms of the energy or discrepancy of P\mathcal{P}. The tightness of this error bound follows by requiring f to lie in the Hilbert space with reproducing kernel K. The theory presented here provides an interpretation of the best design for numerical integration as one with minimum energy, provided that the measure μ defining the integration problem is the equilibrium measure or charge distribution corresponding to the energy kernel, K.     

On the existence of a p-adic metaplectic Tate-type $\widetilde {\gamma}$-factor

Let \mathbbF\mathbb{F} be a p-adic field, let χ be a character of \mathbbF^*\mathbb{F}^{*}, let ψ be a character of \mathbbF\mathbb{F} and let g_y^-1\gamma_{\psi}^{-1} be the normalized Weil factor associated with a character of second degree. We prove here that one can define a meromorphic function [(g)\tilde](c,s,y)\widetilde{\gamma}(\chi ,s,\psi) via a similar functional equation to the one used for the definition of the Tate γ-factor replacing the role of the Fourier transform with an integration against y·g_y^-1\psi\cdot\gamma_{\psi}^{-1}. It turns out that γ and [(g)\tilde]\widetilde{\gamma} have similar integral representations. Furthermore, [(g)\tilde]\widetilde{\gamma} has a relation to Shahidi‘s metaplectic local coefficient which is similar to the relation γ has with (the non-metalpectic) Shahidi‘s local coefficient. Up to an exponential factor, [(g)\tilde](c,s,y)\widetilde{\gamma}(\chi,s,\psi) is equal to the ratio \fracg(c²,2s,y)g(c,s+\frac12,y)\frac{\gamma(\chi^{2},2s,\psi)}{\gamma(\chi,s+\frac{1}{2},\psi)}.     

On an asymptotically autonomous system with Tikhonov type regularizing term

We study the asymptotic behaviour of the trajectories of the second order equation ${\ddot{x}(t)+\gamma \dot{x}(t)+\nabla\phi(x(t))+\varepsilon(t)x(t)=g(t)}We study the asymptotic behaviour of the trajectories of the second order equation [(x)\ddot](t)+g[(x)\dot](t)+?f(x(t))+e(t)x(t)=g(t){\ddot{x}(t)+\gamma \dot{x}(t)+\nabla\phi(x(t))+\varepsilon(t)x(t)=g(t)} , where γ > 0, g ? L¹([0,+￥[;H){g \in L^1([0,+\infty[;H)}, Φ is a C ² convex function and e{\varepsilon} is a positive nonincreasing function.     

Entropy bounds and second cohomology

When X is a finite complex and p₁X\pi_{1}X acts on \mathbbR²{\mathbb{R}}^2 by translations we give criteria involving H²X for an equivariant map F : [(X)\tilde] ? \mathbbR²F : \tilde{X} \rightarrow {\mathbb{R}}^2 to be onto. Following work of Manning and Shub, this leads to entropy bounds related to Shub’s entropy conjecture.     

The stability of the elliptic equilibrium of planar quasi-periodic Hamiltonian systems

In this paper, we study the planar Hamiltonian system  = J (A(θ)x + ▽f(x, θ)), θ = ω, x ∈ R2 , θ∈ Td , where f is real analytic in x and θ, A(θ) is a 2 × 2 real analytic symmetric matrix, J = (1-1 ) and ω is a Diophantine vector. Under the assumption that the unperturbed system  = JA(θ)x, θ = ω is reducible and stable, we obtain a series of criteria for the stability and instability of the equilibrium of the perturbed system.     

Cohomology of solvable lie algebras and solvmanifolds

The cohomology H _{\mathfrakg\mathfrak{g} ) of the tangent Lie algebra \mathfrakg\mathfrak{g} of the group G with coefficients in the one-dimensional representation \mathfrakg\mathfrak{g} \mathbbK\mathbb{K} defined by [(W)\tilde] \mathfrakg \tilde \Omega _\mathfrak{g} of H ¹(G/ \mathfrakg\mathfrak{g} .}     

Orthogonalities in linear spaces and difference operators

Summary. Quite recently C. Alsina, P. Cruells and M. S. Tomás [2], motivated by F. Suzuki's property of isosceles trapezoids, have proposed the following orthogonality relation in a real normed linear space (X, ||·||) (X, \Vert \cdot \Vert) : two vectors x,y ? X x,y \in X are T-orthogonal whenever¶||z-x ||² + ||z-y ||² = ||z ||² + ||z-(x+y) ||² \Vert z-x \Vert^2 + \Vert z-y \Vert^2 = \Vert z \Vert^2 + \Vert z-(x+y) \Vert^2 ¶for every z ? X z \in X . A natural question arises whether an analogue of T-orthogonality may be defined in any real linear space (without a norm structure). Our proposal reads as follows. Given a functional j \varphi on a real linear space X we say that two vectors x,y ? X x,y \in X are j \varphi -orthogonal (and write x^_jy x\perp_{\varphi}y ) provided that D_x,yj = 0 \Delta_{x,y}\varphi = 0 (D_h1,h2 \Delta_{h_1,h_2} stands here and in the sequel for the superposition D_h1 °D_h2 \Delta_{h_1} \circ \Delta_{h_2} of the usual difference operators).¶We are looking for necessary and/or sufficient conditions upon the functional j \varphi to generate a j \varphi -orthogonality such that the pair X,^_j X,\perp_{\varphi} forms an orthogonality space in the sense of J. Rätz (cf. [6]). Two new characterizations of inner product spaces as well as a generalization of some results obtained in [2] are presented.