Inequalities of Hlawka type for matrices

A generalized Hlawka's inequality says that for any n (\geqq 2) (\geqq 2) complex numbers¶ x₁, x₂, ..., x_n,¶¶ ?_i=1ⁿ|x_i - ?_j=1ⁿx_j| \leqq ?_i=1ⁿ|x_i| + (n - 2)|?_j=1ⁿx_j|. \sum_{i=1}^n\Bigg|x_i - \sum_{j=1}^{n}x_j\Bigg| \leqq \sum_{i=1}^{n}|x_i| + (n - 2)\Bigg|\sum_{j=1}^{n}x_j\Bigg|. ¶¶ We generalize this inequality to the trace norm and the trace of an n x n matrix A as¶¶ ||A - Tr A ||₁ \leqq ||A||₁ + (n - 2)| Tr A|. ||A - {\rm Tr} A ||_1\ \leqq ||A||_1 + (n - 2)| {\rm Tr} A|. ¶¶ We consider also the related inequalities for p-norms (1 \leqq p \leqq ￥) (1 \leqq p \leqq \infty) on matrices.     

On a question of Erdös and Graham

We prove that for any $ \varepsilon > 0 $ \varepsilon > 0 there is k (e) k (\varepsilon) such that for any prime p and any integer c there exist k \leqq k(e) k \leqq k(\varepsilon) pairwise distinct integers x_i with 1 \leqq x_i \leqq p^e, i = 1, ?, k 1 \leqq x_{i} \leqq p^{\varepsilon}, i = 1, \ldots, k , and such that¶¶?_i=1^k [1/(x_i)] o c    (mod p). \sum\limits_{i=1}^k {{1}\over{x_i}} \equiv c\quad (\mathrm{mod}\, p). ¶¶ This gives a positive answer to a question of Erdös and Graham.     

Equality of two variable weighted means: reduction to differential equations

Summary. Let F, Y \Phi, \Psi be strictly monotonic continuous functions, F,G be positive functions on an interval I and let n ? \Bbb N \{1} n \in {\Bbb N} \setminus \{1\} . The functional equation¶¶F^-1 ([(?_i=1ⁿF(x_i)F(x_i))/(?_i=1ⁿ F(x_i)]) Y^-1 ([(?_i=1ⁿY(x_i)G(x_i))/(?_i=1ⁿ G(x_i))])  (x₁,?,x_n ? I) \Phi^{-1}\,\left({\sum\limits_{i=1}^{n}\Phi(x_{i})F(x_{i})\over\sum\limits_{i=1}^{n} F(x_{i}}\right) \Psi^{-1}\,\left({\sum\limits_{i=1}^{n}\Psi(x_{i})G(x_{i})\over\sum\limits_{i=1}^{n} G(x_{i})}\right)\,\,(x_{1},\ldots,x_{n} \in I) ¶was solved by Bajraktarevi' [3] for a fixed n 3 3 n\ge 3 . Assuming that the functions involved are twice differentiable he proved that the above functional equation holds if and only if¶¶Y(x) = [(aF(x) + b)/(cF(x) + d)],       G(x) = kF(x)(cF(x) + d) \Psi(x) = {a\Phi(x)\,+\,b\over c\Phi(x)\,+\,d},\qquad G(x) = kF(x)(c\Phi(x) + d) ¶where a,b,c,d,k are arbitrary constants with k(c²+d²)(ad-bc) 1 0 k(c^2+d^2)(ad-bc)\ne 0 . Supposing the functional equation for all n = 2,3,... n = 2,3,\dots Aczél and Daróczy [2] obtained the same result without differentiability conditions.¶The case of fixed n = 2 is, as in many similar problems, much more difficult and allows considerably more solutions. Here we assume only that the same functional equation is satisfied for n = 2 and solve it under the supposition that the functions involved are six times differentiable. Our main tool is the deduction of a sixth order differential equation for the function j = F°Y^-1 \varphi = \Phi\circ\Psi^{-1} . We get 32 new families of solutions.     

A strong convergence theorem for asymptotically nonexpansive mappings in Banach spaces

Let C be a closed, convex subset of a uniformly convex Banach space whose norm is uniformly Gâteaux differentiable and let T be an asymptotically nonexpansive mapping from C into itself such that the set F (T) of fixed points of T is nonempty. Let {a_n} be a sequence of real numbers with 0 ￡ a_n ￡ 10 \leq a_n \leq 1, and let x and x₀ be elements of C. In this paper, we study the convergence of the sequence {x_n} defined by¶¶x_n+1=a_n x + (1-a_n) [1/(n+1)] ?_j=0ⁿ T^j x_n   x_{n+1}=a_n x + (1-a_n) {1\over n+1} \sum\limits_{j=0}^n T^j x_n\quad for n=0,1,2,...  . n=0,1,2,\dots \,.     

On the derivatives of X-ray functions

We show that for every n \geqq 4, 0 \leqq k \leqq n - 3, p ? (0, 3] n \geqq 4, 0 \leqq k \leqq n - 3, p \in (0, 3] and every origin-symmetric convex body K in \mathbbRⁿ \mathbb{R}^n , the function ||x ||^-k₂ ||x ||^-n+k+p_K \parallel x \parallel^{-k}_{2} \parallel x \parallel^{-n+k+p}_{K} represents a positive definite distribution on \mathbbRⁿ \mathbb{R}^n , where ||·||₂ \parallel \cdot \parallel_{2} is the Euclidean norm and ||·||_K \parallel \cdot \parallel_{K} is the Minkowski functional of K. We apply this fact to prove a result of Busemann-Petty type that the inequalities for the derivatives of order (n - 4) at zero of X-ray functions of two convex bodies imply the inequalities for the volume of average m-dimensional sections of these bodies for all 3 \leqq m \leqq n 3 \leqq m \leqq n . We also prove a sharp lower estimate for the maximal derivative of X-ray functions of the order (n - 4) at zero.     

On the equation of generalized bisymmetry with outer functions injective in each argument

Summary. It is shown that provided F and G are injective in every argument, the functional equation of generalized m ×n m \times n bisymmetry (m,n 3 2) (m,n \ge 2) ,¶¶ G(F₁(x₁₁, \hdots , x_1n),\hdots , F_m(x_m1,\hdots, x_mn)) G(F_1(x_{11}, \hdots , x_{1n}),\hdots , F_m(x_{m1},\hdots, x_{mn})) ¶ = F(G₁(x₁₁,\hdots , x_m1),\hdots , G_n(x_1n,\hdots , x_mn)) = F(G_1(x_{11},\hdots , x_{m1}),\hdots , G_n(x_{1n},\hdots , x_{mn})) ¶may be reduced to ¶¶ G([`(F)]<sub>1</sub>(u<sub>11</sub>, \hdots , u<sub>1n</sub>),\hdots ,[`(F)]_m(u_m1,\hdots, u_mn)) G(\overline{F}_1(u_{11}, \hdots , u_{1n}),\hdots , \overline{F}_m(u_{m1},\hdots, u_{mn})) ¶ = F([`(G)]<sub>1</sub>(u<sub>11</sub>,\hdots , u<sub>m1</sub>),\hdots ,[`(G)]_n(u_1n,\hdots , u_mn)) = F(\overline{G}_1(u_{11},\hdots , u_{m1}),\hdots ,\overline{G}_n(u_{1n},\hdots , u_{mn})) ¶where¶¶ F_i(x_i1,\hdots , x_in) = [`(F)]<sub>i</sub> (j<sub>i1</sub>(x<sub>i1</sub>),\hdots , j<sub>in</sub>(x<sub>in</sub>)), G<sub>j</sub>(x<sub>1j</sub>, \hdots , x<sub>mj</sub>) = [`(G)]_j(j_1j (x_1j),\hdots, j_mj(x_mj)) F_i(x_{i1},\hdots , x_{in}) = \overline{F}_i (\varphi_{i1}(x_{i1}),\hdots , \varphi_{in}(x_{in})), G_j(x_{1j}, \hdots , x_{mj}) = \overline{G}_j(\varphi_{1j} (x_{1j}),\hdots, \varphi_{mj}(x_{mj})) ,¶¶j_ij < /FORMULA > are surjections and < FORMULA > \varphi_{ij} are surjections and \overline{F}_i, \overline{G}_j < /FORMULA > are injective in every argument for all < FORMULA > are injective in every argument for all 1\le i \le m,\ 1\le j\le n $. The result is also shown to hold for a wider class of functional equations.     

Odd order groups with the rewriting property Q3

Let n be an integer greater than 1, and let G be a group. A subset {x₁, x₂, ..., x_n} of n elements of G is said to be rewritable if there are distinct permutations p \pi and s \sigma of {1, 2, ..., n} such that¶¶x_p(1)x_p(2) ?x_p(n) = x_s(1)x_s(2) ?x_s(n). x_{\pi(1)}x_{\pi(2)} \ldots x_{\pi(n)} = x_{\sigma(1)}x_{\sigma(2)} \ldots x_{\sigma(n)}. ¶¶A group is said to have the rewriting property Q_n if every subset of n elements of the group is rewritable. In this paper we prove that a finite group of odd order has the property Q₃ if and only if its derived subgroup has order not exceeding 5.     

Quermassintegrals of a random polytope in a convex body

Let K be a convex body in \mathbbRⁿ \mathbb{R}^n with volume |K| = 1 |K| = 1 . We choose N 3 n+1 N \geq n+1 points x₁,?, x_N x_1,\ldots, x_N independently and uniformly from K, and write C(x₁,?, x_N) C(x_1,\ldots, x_N) for their convex hull. Let f : \mathbbR⁺ ? \mathbbR⁺ f : \mathbb{R^+} \rightarrow \mathbb{R^+} be a continuous strictly increasing function and 0 ￡ i ￡ n-1 0 \leq i \leq n-1 . Then, the quantity¶¶E (K, N, f °W_i) = ò_K ?ò_K f[W_i(C(x₁, ?, x_N))]dx_N ?dx₁ E (K, N, f \circ W_{i}) = \int\limits_{K} \ldots \int\limits_{K} f[W_{i}(C(x_1, \ldots, x_N))]dx_{N} \ldots dx_1 ¶¶is minimal if K is a ball (W_i is the i-th quermassintegral of a compact convex set). If f is convex and strictly increasing and 1 ￡ i ￡ n-1 1 \leq i \leq n-1 , then the ball is the only extremal body. These two facts generalize a result of H. Groemer on moments of the volume of C(x₁,?, x_N) C(x_1,\ldots, x_N) .     

On matrix near-rings

Let R be a right near-ring with identity and M_n(R) be the near-ring of n 2 n matrices over R in the sense of Meldrum and Van der Walt. In this paper, M_n(R) is said to be s\sigma-generated if every n 2 n matrix A over R can be expressed as a sum of elements of X_n(R), where X_n(R)={f_ij^r | 1\leqq i, j\leqq n, r ? R}X_n(R)=\{f_{ij}^r\,|\,1\leqq i, j\leqq n, r\in R\}, is the generating set of M_n(R). We say that R is s\sigma-generated if M_n(R) is s\sigma-generated for every natural number n. The class of s\sigma-generated near-rings contains distributively generated and abstract affine near-rings. It is shown that this class admits homomorphic images. For abelian near-rings R, we prove that the zerosymmetric part of R is a ring, so the class of zerosymmetric abelian s\sigma-generated near-rings coincides with the class of rings. Further, for every n, there is a bijection between the two-sided subgroups of R and those of M_n(R).     

Global L p estimates for degenerate Ornstein–Uhlenbeck operators

We consider a class of degenerate Ornstein–Uhlenbeck operators in ${\mathbb{R}^{N}}We consider a class of degenerate Ornstein–Uhlenbeck operators in \mathbbR^N{\mathbb{R}^{N}} , of the kind

A o ?i, j=1p0aij?xixj2 + ?i, j=1Nbijxi?xj\mathcal{A}\equiv\sum_{i, j=1}^{p_{0}}a_{ij}\partial_{x_{i}x_{j}}^{2} + \sum_{i, j=1}^{N}b_{ij}x_{i}\partial_{x_{j}}      11. Schur convexity and Schur multiplicative convexity for a class of symmetric functions with applications      Wei-Feng Xia  Yu-Ming Chu 《Ukrainian Mathematical Journal》2009,61(10):1541-1555 For x = (x 1, x 2, …, x n ) ∈ (0, 1 ] n and r ∈ { 1, 2, … , n}, a symmetric function F n (x, r) is defined by the relation Fn( x,r ) = Fn( x1,x2, ?, xn;r ) = ?1 \leqslant1 < i2 ?ir \leqslant n ?j = 1r \frac1 - xijxij , {F_n}\left( {x,r} \right) = {F_n}\left( {{x_1},{x_2}, \ldots, {x_n};r} \right) = \sum\limits_{1{ \leqslant_1} < {i_2} \ldots {i_r} \leqslant n} {\prod\limits_{j = 1}^r {\frac{{1 - {x_{{i_j}}}}}{{{x_{{i_j}}}}}} },      12. On the existence of certain measures appearing in distance geometry      R. Wolf 《Archiv der Mathematik》2001,76(4):308-313 Abstract. We prove the following result: Let X be a compact connected Hausdorff space and f be a continuous function on X x X. There exists some regular Borel probability measure m\mu on X such that the value of¶¶ ò\limit X f(x,y)dm(y)\int\limit _X f(x,y)d\mu (y) is independent of the choice of x in X if and only if the following assertion holds: For each positive integer n and for all (not necessarily distinct) x1,x2,...,xn,y1,y2,...,yn in X, there exists an x in X such that¶¶ ?i=1n f(xi,x)=?i=1n f(yi,x).\sum\limits _{i=1}^n f(x_i,x)=\sum\limits _{i=1}^n f(y_i,x).      13. Solution of generalized bisymmetry type equations without surjectivity assumptions      Gy. Maksa 《Aequationes Mathematicae》1999,57(1):50-74 Summary. The solution of the rectangular m ×n m \times n generalized bisymmetry equation¶¶F(G1(x11,...,x1n),..., Gm(xm1,...,xmn))     =     G(F1(x11,..., xm1),...,  Fn(x1n,...,xmn) ) F\bigl(G_1(x_{11},\dots,x_{1n}),\dots,\ G_m(x_{m1},\dots,x_{mn})\bigr) \quad = \quad G\bigl(F_1(x_{11},\dots, x_{m1}),\dots, \ F_n(x_{1n},\dots,x_{mn}) \bigr) (A)¶is presented assuming that the functions F, Gj, G and Fi (j = 1, ... , m , i = 1, ... , n , m S 2, n S 2) are real valued and defined on the Cartesian product of real intervals, and they are continuous and strictly monotonic in each real variable. Equation (A) is reduced to some special bisymmetry type equations by using induction methods. No surjectivity assumptions are made.      14. Smooth 2-homogeneous polynomials on Hilbert spaces      B. C. Grecu 《Archiv der Mathematik》2001,76(6):445-454 We determine the smooth points of the unit ball of the space of 2-homogeneous polynomials on a Hilbert space H. Working separately for the real and the complex cases we show that a smooth polynomial attains its norm. We deduce that the polynomial P is smooth if and only if there exists a unit vector x0 in H such that P(x)=± á x,x0 ñ 2+P1(x1)P(x)=\pm \left \langle x,x_{0}\right \rangle ^{2}+P_{1}(x_{1}) where x= á x,x0 ñ x0+x1 x=\left \langle x,x_{0}\right \rangle x_{0}+x_{1} is the decomposition of x in H=span{ x0} ?H1H={\rm {span}}\{ x_{0}\} \oplus H_{1} and P1 is a 2-homogeneous polynomial on H1 of norm strictly less than 1.      15. Sharp bounds for the Bernoulli numbers      H. Alzer 《Archiv der Mathematik》2000,74(3):207-211 We determine the best possible real constants a\alpha and b\beta such that the inequalities [(2(2n)!)/((2p)2n)] [1/(1-2a-2n)] \leqq |B2n| \leqq [(2(2n)!)/((2p)2n)] [1/(1-2b-2n)]{2(2n)! \over(2\pi)^{2n}} {1 \over 1-2^{\alpha -2n}} \leqq |B_{2n}| \leqq {2(2n)! \over (2\pi )^{2n}}\, {1 \over 1-2^{\beta -2n}}hold for all integers n\geqq 1n\geqq 1. Here, B2, B4, B6,... are Bernoulli numbers.      16. Uncorrelatedness and correlatedness of powers of random variables      S. Ostrovska 《Archiv der Mathematik》2002,79(2):141-146 Let x1, ?, xn \xi_1, \ldots, \xi_n be random variables and U be a subset of the Cartesian product \mathbbZ+n, \mathbbZ+ \mathbb{Z}_+^n, \mathbb{Z}_+ being the set of all non-negative integers. The random variables are said to be strictly U-uncorrelated if¶¶E(x1j1 ?xnjn) = E(x1j1) ?E(xnjn) ? (j1, ... ,jn) ? U. \textbf {E}\big(\xi_1^{j_1} \cdots \xi_n^{j_n}\big) = \textbf {E}\big(\xi_1^{j_1}\big) \cdots \textbf {E}\big(\xi_n^{j_n}\big) \iff (j_1, \dots ,j_n) \in U. ¶It is proved that for an arbitrary subset U \subseteqq \mathbbZ+n U \subseteqq \mathbb{Z}_+^n containing all points with 0 or 1 non-zero coordinates there exists a collection of n strictly U-uncorrelated random variables.      17. On the Crank-Nicolson scheme once again      Jan A. van Casteren 《Journal of Evolution Equations》2011,11(2):457-476 Let (tj)j ? \mathbbN{\left(\tau_j\right)_{j\in\mathbb{N}}} be a sequence of strictly positive real numbers, and let A be the generator of a bounded analytic semigroup in a Banach space X. Put An=?j=1n(I+\frac12 tjA) (I-\frac12 tjA)-1{A_n=\prod_{j=1}^n\left(I+\frac{1}{2} \tau_jA\right) \left(I-\frac{1}{2} \tau_jA\right)^{-1}}, and let x ? X{x\in X}. Define the sequence (xn)n ? \mathbbN ì X{\left(x_n\right)_{n\in\mathbb{N}}\subset X} by the Crank–Nicolson scheme: x n  = A n x. In this paper, it is proved that the Crank–Nicolson scheme is stable in the sense that supn ? \mathbbN||Anx|| < ￥{\sup_{n\in\mathbb{N}}\left\Vert A_nx\right\Vert<\infty}. Some convergence results are also given.      18. Commutators of BMO functions and degenerate Schr?dinger operators with certain nonnegative potentials      Yu Liu 《Monatshefte für Mathematik》2012,127(2):41-56 Let Lf(x)=-\frac1w?i,j ?i(ai,j(·)?jf)(x)+V(x)f(x){\mathcal{L}f(x)=-\frac{1}{\omega}\sum_{i,j} \partial_i(a_{i,j}(\cdot)\partial_jf)(x)+V(x)f(x)} with the non-negative potential V belonging to reverse H?lder class with respect to the measure ω(x)dx, where ω(x) satisfies the A 2 condition of Muckenhoupt and a i,j (x) is a real symmetric matrix satisfying l-1w(x)|x|2 ￡ ?ni,j=1ai,j(x)xixj ￡ lw(x)|x|2.{\lambda^{-1}\omega(x)|\xi|^2\le \sum^n_{i,j=1}a_{i,j}(x)\xi_i\xi_j\le\lambda\omega(x)|\xi|^2. } We obtain some estimates for VaL-a{V^{\alpha}\mathcal{L}^{-\alpha}} on the weighted L p spaces and we study the weighted L p boundedness of the commutator [b, Va L-a]{[b, V^{\alpha} \mathcal{L}^{-\alpha}]} when b ? BMOw{b\in BMO_\omega} and 0 < α ≤ 1.      19. Pressure in Classical Statistical Mechanics and Interacting Brownian Particles in Multi-dimensions      K?hei Uchiyama 《Annales Henri Poincare》2000,1(6):1159-1202 . Let P(u) denote the pressure at the density u defined in the Gibbs statistical mechanics determined by a 2 body potential U (qi - qj). The function U(x) is supposed rotationally invariant and of finite range but may be unbounded about the origin. We establish a representation of P(u) by means of the law of large numbers for the virial ?i,j qi ·? U(qi-qj)\sum_{i,j} q_i \cdot {\nabla} U(q_i-q_j), whether or not there occur phase transitions. This result on P(u) is motivated by a study of the hydrodynamic behavior of a system of a large number of interacting Brownian particles moving on a d-dimensional torus (d = 1, 2, ...) in which the interaction is given by binary potential forces of potential U. Employing our representation of P(u), we also show that in the hydrodynamic limit of such a system there arises a non linear evolution equation of the form ut = 1/2 DP(u)u_t = {1\over2} \Delta P(u) under a certain hypothetical postulate concerning concentration of particles.      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号

Schur convexity and Schur multiplicative convexity for a class of symmetric functions with applications

For x = (x ₁, x ₂, …, x _n ) ∈ (0, 1 ] ⁿ and r ∈ { 1, 2, … , n}, a symmetric function F _n (x, r) is defined by the relation

On the existence of certain measures appearing in distance geometry

Abstract. We prove the following result: Let X be a compact connected Hausdorff space and f be a continuous function on X x X. There exists some regular Borel probability measure m\mu on X such that the value of¶¶ ò\limit _X f(x,y)dm(y)\int\limit _X f(x,y)d\mu (y) is independent of the choice of x in X if and only if the following assertion holds: For each positive integer n and for all (not necessarily distinct) x₁,x₂,...,x_n,y₁,y₂,...,y_n in X, there exists an x in X such that¶¶ ?_i=1ⁿ f(x_i,x)=?_i=1ⁿ f(y_i,x).\sum\limits _{i=1}^n f(x_i,x)=\sum\limits _{i=1}^n f(y_i,x).     

Solution of generalized bisymmetry type equations without surjectivity assumptions

Summary. The solution of the rectangular m ×n m \times n generalized bisymmetry equation¶¶F(G₁(x₁₁,...,x_1n),..., G_m(x_m1,...,x_mn))     =     G(F₁(x₁₁,..., x_m1),...,  F_n(x_1n,...,x_mn) ) F\bigl(G_1(x_{11},\dots,x_{1n}),\dots,\ G_m(x_{m1},\dots,x_{mn})\bigr) \quad = \quad G\bigl(F_1(x_{11},\dots, x_{m1}),\dots, \ F_n(x_{1n},\dots,x_{mn}) \bigr) (A)¶is presented assuming that the functions F, G_j, G and F_i (j = 1, ... , m , i = 1, ... , n , m S 2, n S 2) are real valued and defined on the Cartesian product of real intervals, and they are continuous and strictly monotonic in each real variable. Equation (A) is reduced to some special bisymmetry type equations by using induction methods. No surjectivity assumptions are made.     

Smooth 2-homogeneous polynomials on Hilbert spaces

We determine the smooth points of the unit ball of the space of 2-homogeneous polynomials on a Hilbert space H. Working separately for the real and the complex cases we show that a smooth polynomial attains its norm. We deduce that the polynomial P is smooth if and only if there exists a unit vector x₀ in H such that P(x)=± á x,x₀ ñ ²+P₁(x₁)P(x)=\pm \left \langle x,x_{0}\right \rangle ^{2}+P_{1}(x_{1}) where x= á x,x₀ ñ x₀+x₁ x=\left \langle x,x_{0}\right \rangle x_{0}+x_{1} is the decomposition of x in H=span{ x₀} ?H₁H={\rm {span}}\{ x_{0}\} \oplus H_{1} and P₁ is a 2-homogeneous polynomial on H₁ of norm strictly less than 1.     

Sharp bounds for the Bernoulli numbers

We determine the best possible real constants a\alpha and b\beta such that the inequalities [(2(2n)!)/((2p)²ⁿ)] [1/(1-2^a-2n)] \leqq |B_2n| \leqq [(2(2n)!)/((2p)²ⁿ)] [1/(1-2^b-2n)]{2(2n)! \over(2\pi)^{2n}} {1 \over 1-2^{\alpha -2n}} \leqq |B_{2n}| \leqq {2(2n)! \over (2\pi )^{2n}}\, {1 \over 1-2^{\beta -2n}}hold for all integers n\geqq 1n\geqq 1. Here, B₂, B₄, B₆,... are Bernoulli numbers.     

Uncorrelatedness and correlatedness of powers of random variables

Let x₁, ?, x_n \xi_1, \ldots, \xi_n be random variables and U be a subset of the Cartesian product \mathbbZ₊ⁿ, \mathbbZ₊ \mathbb{Z}_+^n, \mathbb{Z}_+ being the set of all non-negative integers. The random variables are said to be strictly U-uncorrelated if¶¶E(x₁^j₁ ?x_n^j_n) = E(x₁^j₁) ?E(x_n^j_n) ? (j₁, ... ,j_n) ? U. \textbf {E}\big(\xi_1^{j_1} \cdots \xi_n^{j_n}\big) = \textbf {E}\big(\xi_1^{j_1}\big) \cdots \textbf {E}\big(\xi_n^{j_n}\big) \iff (j_1, \dots ,j_n) \in U. ¶It is proved that for an arbitrary subset U \subseteqq \mathbbZ₊ⁿ U \subseteqq \mathbb{Z}_+^n containing all points with 0 or 1 non-zero coordinates there exists a collection of n strictly U-uncorrelated random variables.     

On the Crank-Nicolson scheme once again

Let (t_j)_{j ? \mathbbN}{\left(\tau_j\right)_{j\in\mathbb{N}}} be a sequence of strictly positive real numbers, and let A be the generator of a bounded analytic semigroup in a Banach space X. Put A_n=?_j=1ⁿ(I+\frac12 t_jA) (I-\frac12 t_jA)^-1{A_n=\prod_{j=1}^n\left(I+\frac{1}{2} \tau_jA\right) \left(I-\frac{1}{2} \tau_jA\right)^{-1}}, and let x ? X{x\in X}. Define the sequence (x_n)_{n ? \mathbbN} ì X{\left(x_n\right)_{n\in\mathbb{N}}\subset X} by the Crank–Nicolson scheme: x _n  = A _n x. In this paper, it is proved that the Crank–Nicolson scheme is stable in the sense that sup_{n ? \mathbbN}||A_nx|| < ￥{\sup_{n\in\mathbb{N}}\left\Vert A_nx\right\Vert<\infty}. Some convergence results are also given.     

Commutators of BMO functions and degenerate Schr?dinger operators with certain nonnegative potentials

Let Lf(x)=-\frac1w?_i,j ?_i(a_i,j(·)?_jf)(x)+V(x)f(x){\mathcal{L}f(x)=-\frac{1}{\omega}\sum_{i,j} \partial_i(a_{i,j}(\cdot)\partial_jf)(x)+V(x)f(x)} with the non-negative potential V belonging to reverse H?lder class with respect to the measure ω(x)dx, where ω(x) satisfies the A ₂ condition of Muckenhoupt and a _i,j (x) is a real symmetric matrix satisfying l^-1w(x)|x|² ￡ ?ⁿ_i,j=1a_i,j(x)x_ix_j ￡ lw(x)|x|².{\lambda^{-1}\omega(x)|\xi|^2\le \sum^n_{i,j=1}a_{i,j}(x)\xi_i\xi_j\le\lambda\omega(x)|\xi|^2. } We obtain some estimates for V^aL^-a{V^{\alpha}\mathcal{L}^{-\alpha}} on the weighted L ^p spaces and we study the weighted L ^p boundedness of the commutator [b, V^a L^-a]{[b, V^{\alpha} \mathcal{L}^{-\alpha}]} when b ? BMO_w{b\in BMO_\omega} and 0 < α ≤ 1.     

Pressure in Classical Statistical Mechanics and Interacting Brownian Particles in Multi-dimensions

. Let P(u) denote the pressure at the density u defined in the Gibbs statistical mechanics determined by a 2 body potential U (_qi - _qj). The function U(x) is supposed rotationally invariant and of finite range but may be unbounded about the origin. We establish a representation of P(u) by means of the law of large numbers for the virial ?_i,j q_i ·? U(q_i-q_j)\sum_{i,j} q_i \cdot {\nabla} U(q_i-q_j), whether or not there occur phase transitions. This result on P(u) is motivated by a study of the hydrodynamic behavior of a system of a large number of interacting Brownian particles moving on a d-dimensional torus (d = 1, 2, ...) in which the interaction is given by binary potential forces of potential U. Employing our representation of P(u), we also show that in the hydrodynamic limit of such a system there arises a non linear evolution equation of the form u_t = ¹/₂ DP(u)u_t = {1\over2} \Delta P(u) under a certain hypothetical postulate concerning concentration of particles.     

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.