Dimension theory and superpositions of continuous functions

The main result of this paper is the following: IfX is a compact two dimensional metric space, and {φ _i} _i ^{= 1/4} are four functions inC(X), then there exists a functionf inC(X) which cannot be represented in the form: $$f(x) = \sum\limits_{i = 1}^4 {g_\iota (\varphi _i (x))} $$ , with $$g_\iota \in C(R)$$ .     

Fixed point theory and product,sub-, super-spaces

In this paper, we definen-segmentwise metric spaces and then we prove the following results:

1. (i)|Let (X, d) be ann-segmentwise metric space. ThenX ⁿ has the fixed point property with respect to uniformly continuous bounded functions if and only if, for any continuous functionF: C ^*(X) → C^*(X) and for anyn-tuple of distinct points x₁, x₂, ?, x_n ∈X, there exists anh ∈C ^*(X) such that $$F(h)(x_1 ) = h(x_1 ),i = 1,2,...,n;$$ whereC ^*(X) has either the uniform topology or the subspace product (Tychonoff) topology \((C^ * (X) \subseteq X^X )\) .
2. LetX _i (i = 1, 2, ?) be countably compact Hausdorff spaces such thatX ₁ × ? × X_n has the fixed point property for alln ∈N Then the product spaceX ₁ × X₂ × ? has the fixed point property. We shall also discuss several problems in the Fixed Point Theory and give examples if necessary. Among these examples, we have:
3. There exists a connected metric spaceX which can be decomposed as a disjoint union of a closed setA and an open setB such thatA andB have the fixed point property andX does not have.
4. There exists a locally compact metrizable spaceX which has the fixed point property but its one-point compactificationX ⁺ does not have the fixed point property.

Other relevant results and examples will be presented in this paper.     

w* sequential convergence

LetX be an infinite dimensional Banach space, andX* its dual space. Sequences {χ _n ^* } _n=1 ^∞ ?X* which arew* converging to 0 while inf _n ‖x* _n ‖>0, are constructed.     

On the distortion required for embedding finite metric spaces into normed spaces

We investigate the minimum dimensionk such that anyn-point metric spaceM can beD-embedded into somek-dimensional normed spaceX (possibly depending onM), that is, there exists a mappingf: M→X with $$\frac{1}{D}dist_M (x,y) \leqslant \left| {f(x) - f(y)} \right| \leqslant dist_M (x,y) for any$$ Extending a technique of Arias-de-Reyna and Rodríguez-Piazza, we prove that, for any fixedD≥1,k≥c(D)n ^1/2D for somec(D)>0. For aD-embedding of alln-point metric spaces into the samek-dimensional normed spaceX we find an upper boundk≤12Dn ^1/[(D+1)/2]lnn (using thel _∞ ^k space forX), and a lower bound showing that the exponent ofn cannot be decreased at least forD?[1,7)∪[9,11), thus the exponent is in fact a jumping function of the (continuously varied) parameterD.     

Total controllability to affine manifolds of control systems

A system is totallyG-controllable if every pointx ₀ of the state spaceE ⁿ can be steered to the targetG in finite time and can be held inG forever afterward. Sufficient conditions are developed for the totalG-controllability of the linear system (a) $$\dot x(t) = A(t)x(t) + B(t)u(t)$$ and its perturbation (b) $$\dot x(t) = A(t)x(t) + B(t)u(t) + F(t,x(t),u(t)),$$ where the targetG is an affine manifold inE ⁿ. We state conditions on the perturbation functionF which guarantee that, if (a) is totallyG-controllable, then so is (b). These conditions onF are natural and are obtained by solving a system of nonlinear integral equations by the Leray-Schauder fixed-point theorem.     

Remarques sur un article de Israel Aharoni sur les prolongements lipschitziens dansc 0

We give a purely metric proof of the following result: let (X,d) be a separable metric space; for all ?>0 there is an injectionf ofX inC ₀ ⁺ such that: $$\forall x,y \in X,d(x, y) \leqq \parallel f(x) - f(y)\parallel _\infty \leqq (3 + \varepsilon )d(x, y).$$ It is a more precise version of a result of I. Aharoni. We extend it to metric space of cardinal α⁺ (for infinite α).     

A stability theorem for entropy solutions of initial value problems for first order quasilinear hyperbolic systems in several space variables

In this paper we prove an uniqueness and stability theorem for the solutions of Cauchy problem for the systems $$\frac{\partial }{{\partial t}}u + \sum\limits_{i = 1}^n { \frac{\partial }{{\partial x_i }} } f^i (x,t,u) = g(x,t,u),$$ whereu is a vector function (u ₁ (x, t),..., u _r (x, t)),f ⁱ =(a ₁ ⁱ (x, t, u),..., a _r ⁱ (x, t, u)), i=1,...,n, g=(g ₁ (x, t, u),...,g _r (x, t, u),i G ? ⁿ and t≥0. We use the concept of entropy solution introduced by Kruskov and improved by Lax, Dafermos and others autors. We assume that the Jacobian matricesf _u ⁱ are symmetric and the Hessian(a _j ⁱ ) _uu (i=1,...,n; j=1,...,r) are positive. We obtain uniqueness and stability inL _loc ² within the class of those entropy solutions which satisfy $$\frac{{u_j (---,x_i ,---,t)---u_j (---,y_i ,---,t)}}{{x_i - y_i }} \geqslant - K(t),$$ (i=1,...,n; j=1,...,r) for (?,x _i ,?,t), (?,y _i ,?,t) on a compact setD ? ? ⁿ x (0, ∞) and a functionK(t)∈L _loc ¹ ([0, ∞)) depending onD. Here we denote by (?,x _i ,?,t) and (?,y _i ,?,t) two points whose coordinates only differ in thei-th space variable. At the end we relax the hypotheses of symmetry and convexity on the system and give a theorem of uniqueness and stability for entropy solutions which are locally Lipschitz continuous on a strip ? ⁿ x [0,T].     

On the Brauer group of the product of a torus and a semisimple algebraic group

Let T be a torus (not assumed to be split) over a field F, and denote by nH _et ² (X,{ie375-1}) the subgroup of elements of the exponent dividing n in the cohomological Brauer group of a scheme X over the field F. We provide conditions on X and n for which the pull-back homomorphism nH _et ² (T,{ie375-2}) → _n H _et ² (X × _F T, {ie375-3}) is an isomorphism. We apply this to compute the Brauer group of some reductive groups and of non-singular affine quadrics. Apart from this, we investigate the p-torsion of the Azumaya algebra defined Brauer group of a regular affine scheme over a field F of characteristic p > 0.     

Sharp asymptotics of large deviations in ℝ d

Given a sequence {X₁}i=1,2,3,... of i.i.d. random variables taking values in ? ^d ,d≥2, letS _n =Σ _i=1 ⁿ X _t=1. For Λ a Borel set in ? ^d having smooth boundary, witha=inf_x∈ΛI(x) the minimal value of the large deviation rate functionI(x) over Λ, we find, under suitable hypotheses, asymptotic results asn→∞, of the form $$P(S_n \in n\Gamma ) = n^\gamma e^{ - na} (d_0 + o(1))$$ where the constant γ depends sensitively on the geometry of Λ and the dimensiond, and takes values ?∞<γ≤(d?2/2). For fixeda=inf_x∈ΛI(x), we construct examples having any specific γ in this range.     

On the primes withp n+1 -p n = 8 and the Sum of their Reciprocals

We introduce the counting function π _2,8 ^* (x) of the primes with difference 8 between consecutive primes ( ****p _n,p_n+1 =p _n + 8) can be approximated by logarithm integralLi _2,8 ^* . We calculate the values of π _2,8 ^* (x) and the sumC _2,8(x) of reciprocals of primes with difference 8 between consecutive primes (p _n,p_n+1 =p _n +8)) wherex is counted up to 7 x 10¹⁰. From the results of these calculations, we obtain π _2,8 ^* (7 x 10¹⁰) = 133295081 andC _2,8(7 x 10¹⁰) = 0.3374 ±2.6 x 10^-4.     

On the volume of the projectivized tangent bundle in a complex Finsler manifold

We prove that the volume of PT _z ^{1, 0} M, calculated with respect to a Kähler metric induced by a complex Finsler structure, is a constant. This contrasts sharply with the situation in real Finsler geometry, where the volume of unit tangent sphere at each point x in a real Finsler manifold is in general a function of x. Furthermore, we point out that different metrics have different constants in general.     

Regularity property of Donsker's delta function

LetL be the space of rapidly decreasing smooth functions on ? andL ^* its dual space. Let (L ²)⁺ and (L ²)^? be the spaces of test Brownian functionals and generalized Brownian functionals, respectively, on the white noise spaceL ^* with standard Gaussian measure. The Donsker delta functionδ(B(t)?x) is in (L ²)^? and admits the series representation $$\delta (B(t) - x) = (2\pi t)^{ - 1/2} \exp ( - x^2 /2t)\sum\limits_{n = 0}^\infty {(n!2^n )^{ - 1} H_n (x/\sqrt {2t} )} \times H_n (B(t)/\sqrt {2t} )$$ , whereH _n is the Hermite polynomial of degreen. It is shown that forφ in (L ²)⁺,g _t,φ(x)≡〈δ(B(t)?x), φ〉 is inL and the linear map takingφ intog _t,φ is continuous from (L ²)⁺ intoL. This implies that forf inL ^* is a generalized Brownian functional and admits the series representation $$f(B(t)) = (2\pi t)^{ - 1/2} \sum\limits_{n = 0}^\infty {(n!2^n )^{ - 1} \langle f,\xi _{n, t} \rangle } H_n (B(t)/\sqrt {2t} )$$ , whereξ _n,t is the Hermite function of degreen with parametert. This series representation is used to prove the Ito lemma forf inL ^*, $$f(B(t)) = f(B(u)) + \int_u^t {\partial _s^ * } f'(B(s)) ds + (1/2)\int_u^t {f''} (B(s)) ds$$ , where? _s ^* is the adjoint of \(\dot B(s)\) -differentiation operator? _s .     

Approximation for counts of 2-runs in a two state Markov chain

We consider a Markov chain X = {Xi,i = 1,2,...} with the state space {0,1},and define W =∑i=1n XiXi+1,which is the number of 2-runs in X before time n + 1.In this paper,we prove that the negative binomial distribution is an appropriate approximation for LW when VarW is greater than EW.The error estimate obtained herein improves the corresponding result in previous literatures.     

Existence of best approximation elements inC(Q,X)

Generalizing the result of A. L. Garkavi (the caseX = ?) and his own previous result concerningX = ?), the author characterizes the existence subspaces of finite codimension in the spaceC(Q, X) of continuous functions on a bicompact spaceQ with values in a Banach spaceX, under some assumptions concerningX. Under the same assumptions, it is proved that in the space of uniform limits of simple functions, each subspace of the form $$\left\{ {g \in B:\smallint _Q \left\langle {g(t),d\mu _i } \right\rangle = 0,i = 1,...,n} \right\},$$ whereμ _i ∈ C(Q, X)^* are vector measures of regular bounded variation, is an existence subspace (the integral is understood in the sense of Gavurin).     

Dirichlet polyhedra for dihedral groups acting on complex hyperbolic space

We consider groups Γ generated by inversions in a pair of asymptotic complex hyperplanes in complex hyperbolic spaceH _? ⁿ . We show that there exists a Γ-invariant real hypersurfaceF ?H _? ⁿ such that the Dirichlet fundamental polyhedron for Γ centered at z₀ has two sides (resp. infinitely many sides) if and only ifz ₀ ∈F (resp.z ₀ ?F). The Dirichlet regions are determined explicitly in terms of coordinates on Γ-invariant horospheres and the geometry ofH _? ⁿ is developed in terms of these horospherical coordinates.     

Continuation of separately analytic functions defined on part of a domain boundary

Suppose that D ? ?ⁿ is a domain with smooth boundary ?D, E ? ?D is a boundary subset of positive Lebesgue measure mes(E) > 0, and F ? G is a nonpluripolar compact set in a strongly pseudoconvex domain G ? ?^m. We prove that, under some additional conditions, each function separately analytic on the set X = (D×F)∪(E× G) can be holomorphically continued into the domain where ω* is the P-measure and ω _in ^* is the inner P-measure.     

On characterization of multivariate stable distributions via random linear statistics

LetX ₁,X ₂, ...,X _n be independent and identically distributed random vectors inR ^d , and letY=(Y ₁,Y ₂, ...,Y _n )′ be a random coefficient vector inR ⁿ , independent ofX _j ^/′ . We characterize the multivariate stable distributions by considering the independence of the random linear statistic $$U = Y_1 X_1 + Y_2 X_2 + \cdot \cdot \cdot + Y_n X_n $$ and the random coefficient vectorY.     

An extremum problem on a class of differentiable functions of several variables

On the multidimensional classW ₀ ^r H _ω ⁽ⁿ⁾ of continuous periodic functionsF with therth derivativeD ^r F from $$H_\omega ^{(n)} = \left\{ {f \in C| |f(x) - f(y)| \leqslant \sum\limits_{i = 1}^n {\omega _i } (|x_i - y_i |)\forall x, y \in \mathbb{R}^n } \right\}$$ (where the ω _i (x _i ) are the convex moduli of continuity) and zero mean with respect to each variable, we obtain the exact value of $$M_r (\omega ) = \mathop {\sup }\limits_{F \in W_0^r H_\omega ^{(n)} } \left\| F \right\|c$$ .     

On the uniform complete convergence of estimates for multivariate density functions and regression curves

Let (X ₁,Y ₁),...(X _n ,Y _n ) be a random sample from the (k+1)-dimensional multivariate density functionf ^*(x,y). Estimates of thek-dimensional density functionf(x)=∫f ^*(x,y)dy of the form $$\hat f_n (x) = \frac{1}{{nb_1 (n) \cdots b_k (n)}}\sum\limits_{i = 1}^n W \left( {\frac{{x_1 - X_{i1} }}{{b_1 (n)}}, \cdots ,\frac{{x_k - X_{ik} }}{{b_k (n)}}} \right)$$ are considered whereW(x) is a bounded, nonnegative weight function andb ₁ (n),...,b _k (n) and bandwidth sequences depending on the sample size and tending to 0 asn→∞. For the regression function $$m(x) = E(Y|X = x) = \frac{{h(x)}}{{f(x)}}$$ whereh(x)=∫y(f) ^* (x, y)dy , estimates of the form $$\hat h_n (x) = \frac{1}{{nb_1 (n) \cdots b_k (n)}}\sum\limits_{i = 1}^n {Y_i W} \left( {\frac{{x_1 - X_{i1} }}{{b_1 (n)}}, \cdots ,\frac{{x_k - X_{ik} }}{{b_k (n)}}} \right)$$ are considered. In particular, unform consistency of the estimates is obtained by showing that \(||\hat f_n (x) - f(x)||_\infty \) and \(||\hat m_n (x) - m(x)||_\infty \) converge completely to zero for a large class of “good” weight functions and under mild conditions on the bandwidth sequencesb _k (n)'s.     

Uniform separation of points and measures and representation by sums of algebras

LetX andY _i, 1 ≦i ≦k, be compact metric spaces, and letρ _i:X →Y _i be continuous functions. The familyF={ρ _i} _i ^1/k is said to be ameasure separating family if there exists someλ > 0 such that for every measureμ inC(X)*, ‖μ ^o ρ _i ^?1 ‖ ≧λ ‖μ ‖ holds for some 1 ≦i ≦k.F is auniformly (point) separating family if the above holds for the purely atomic measures inC(X)*. It is known that fork ≦ 2 the two concepts are equivalent. In this note we present examples which show that fork ≧ 3 measure separation is a stronger property than uniform separation of points, and characterize those uniformly separating families which separate measures. These properties and problems are closely related to the following ones: letA ₁,A ₂, ...,A _k be closed subalgebras ofC(X); when isA ₁ +A ₂ + ... +A _k equal to or dense inC(X)?