METRIC ENTROPY OF HOMEOMORPHISM ON NON-COMPACT METRIC SPACE

Let T : X → X be a uniformly continuous homeomorphism on a non-compact metric space (X, d). Denote by X* = X ∪ {x*} the one point compactification of X and T * : X* → X* the homeomorphism on X* satisfying T *|X = T and T *x* = x*. We show that their topological entropies satisfy hd(T, X) ≥ h(T *, X*) if X is locally compact. We also give a note on Katok’s measure theoretic entropy on a compact metric space.     

Exact solution to a nonlinear Klein-Gordon equation

The nonlinear Klein-Gordon equation ?^μ?_μΦ + M²Φ + λ₁Φ^1?m + λ₂Φ^1?2m = 0 has the exact formal solution Φ = [u^2m ?λ₁u^m/(m ? 2)M²+λ₁²/(m?2)²M⁴?λ₂/4(m ? 1)M²]^1/mu^?1, m ≠ 0, 1, 2, where u and v^?1 are solutions of the linear Klein-Gordon equation. This equation is a simple generalization of the ordinary second order differential equation satisfied by the homogeneous function y = [au^m + b(uv)^m/2 + cv^m]^k/m, where u and v are linearly independent solutions of y″ + r(x) y′ + q(x) y = 0.     

On the smoothness of the symbol of multidimensional singular integral operators

Пустьf — характерист ика, аΦ — соответству ющий символ n-мерного сингу лярного интегрального опера тора, которые являютс я однородными функция ми нулевой степени вR ⁿ,n≧2, с нулевыми средни ми значениями на един ичной сфереS ^n?1 пространств аR ⁿ . В статье установлива ются связи между хара ктеристикойf и символом? в термин ах наилучших равномерн ых приближений полин омами по сферическим гармони кам и сферических равномерных модулей непрерывности, котор ые позволяют установить связь так же в терминах пространст вW ^r H ^w (S ^n?1). Доказывается, ч то установленные резул ьтаты в терминах пространствW ^r H ^w (S ^n?1) неу лучшаемые.     

Extreme points, support points and the Loewner variation in several complex variables

In this paper we consider extreme points and support points for compact subclasses of normalized biholomorphic mappings of the Euclidean unit ball Bn in Cn. We consider the class S0(Bn) of biholomorphic mappings on Bn which have parametric representation, i.e., they are the initial elements f (·, 0) of a Loewner chain f (z, t) = etz + ··· such that {e-tf (·, t)}t 0 is a normal family on Bn. We show that if f (·, 0) is an extreme point (respectively a support point) of S0(Bn), then e-tf (·, t) is an extreme point of S0(Bn) for t 0 (respectively a support point of S0(Bn) for t ∈[0, t0] and some t0 > 0). This is a generalization to the n-dimensional case of work due to Pell. Also, we prove analogous results for mappings which belong to S0(Bn) and which are bounded in the norm by a fixed constant. We relate the study of this class to reachable sets in control theory generalizing work of Roth. Finally we consider extreme points and support points for biholomorphic mappings of Bn generated by using extension operators that preserve Loewner chains.     

Relative (pa,pb, pa,pa−b-Difference Sets: A Unified Exponent Bound and a Local Ring Construction

We show that for an odd prime p the exponent of an abelian group of order p^a+b containing a relative (p^a, p^b, p^a, p^a−b)-difference set cannot exceed p^⌊a/2⌋+1. Furthermore, we give a new local ring construction of relative (q^2u, q, q^2u, q^2u−1)-difference sets for prime powers q. Finally, we discuss an important open case concerning the existence of abelian relative (p^a, p, p^a, p^a−1)-difference sets.     

Franchissement et temps local pour l'oscillateur harmonique

We consider the second order Stochastic Differential Equation dP_t^β = V_t^β dt with P₀^β = p₀, dV_t^β = βV_t^βdt − βω²P_t^β + βdW_t with V₀^β = v₀, where W stands for a standard Wiener process and where ω is a real constant. It is well-known that P^β converges, as β goes to infinity, to an Ornstein-Uhlenbeck process P. In this Note, we study the convergence of the crossings of P^β at level u during the time interval [0, t] · (N_t^Pβ (u)) to the local time of P(L_t^P (u)).     

Endpoint estimates for the commutator of pseudo-differential operators

It is well known that the commutator Tb of the Calderón-Zygmund singular integral operator is bounded on L^p(Rⁿ) for 1 < p < +∞ if and only if b ∈ BMO [1]. On the other hand, the commutator T_b is bounded from H¹(Rⁿ) into L¹(Rⁿ) only if the function b is a constant [2]. In this article, we will discuss the boundedness of commutator of certain pseudo-differential operators on Hardy spaces H¹. Let T^σ be the operators that its symbol is S⁰_1,δ with 0 ≤ δ < 1, if b ∈ LMO_∞, then, the commutator [b, T^σ] is bounded from H¹(Rⁿ) into L¹(Rⁿ) and from L¹(Rⁿ) into BMO(Rⁿ); If [b, T^σ] is bounded from H¹(Rⁿ) into L¹(Rⁿ) or L¹(Rⁿ) into BMO(Rⁿ), then, b ∈ LMO_loc.     

Uniqueness of analytic continuation: Necessary and sufficient conditions

Necessary and sufficient conditions for uniqueness of analytic continuation are investigated for a system of m ? 1 first-order linear homogeneous partial differential equations in one unknown, with complex-valued $\text{b}$^∞ coefficients, in some connected open subset of $\text{R}$^k, k ? 2. The type of system considered is one for which there exists a real k-dimensional, $\text{b}$^∞, connected C-R submanifold M^k of $\text{C}$ⁿ, for k, n ? 2, such that the system may be identified with the induced Cauchy-Riemann operators on M^k. The question of uniqueness of analytic continuation for a system of partial differential equations is thus transformed to the question of uniqueness of analytic continuation for C-R functions on the manifold M^k ? Cⁿ. Under the assumption that the Levi algebra of M^k has constant dimension, it is shown that if the excess dimension of this algebra is maximal at every point, then M^k has the property of uniqueness of analytic continuation for its C-R functions. Conversely, under certain mild conditions, it is shown that if M^k has the property of uniqueness of analytic continuation for all $\text{b}$^∞ C-R functions, and if the Levi algebra has constant dimension on all of M^k, then the excess dimension must be maximal at every point of M^k.     

Invariant Peano curves of expanding Thurston maps

We consider Thurston maps, i.e., branched covering maps f:S ² → S ² that are post-critically finite. In addition, we assume that f is expanding in a suitable sense. It is shown that each sufficiently high iterate F = f ⁿ of f is semi-conjugate to z ^d :S ¹ → S ¹, where d = deg F. More precisely, for such an F we construct a Peano curve γ:S ¹ → S ² (onto), such that F°γ(z) = γ(z ^d ) (for all z∈S ¹).     

Patroids

A matroid M over a set E of elements is semiseparated by a partition {S¹, S²} of E iff rank E = rank S¹ + rank S² + 1. Such a semiseparation defines in each Sⁱ a pair of matroids or patroid Pⁱ = (Mⁱ, mⁱ); the two patroids P¹, P² weld to form M. The operations of removing and contracting a non-degenerate element of a matroid produce a patroid. The properties of patroids, their bases, and circuits are discussed.     

On a family of relative quartic Thue inequalities

We consider the relative Thue inequalities

|X⁴−t²X²Y²+s²Y⁴|?²|t|−²|s|−2,     

Quasirecognition by prime graph of 2 D n (3α) where n = 4m + 1 ≥ 21 and α is odd

Let G be a finite group. The prime graph of G is denoted by Γ(G). In this paper, as the main result, we show that if G is a finite group such that Γ(G) = Γ(² D _n (3^α)), where n = 4m+ 1 and α is odd, then G has a unique non-Abelian composition factor isomorphic to ² D _n (3^α). We also show that if G is a finite group satisfying |G| = |² D _n (3^α)|, and Γ(G) = Γ(² D _n (3^α)), then G ? ² D _n (3^α). As a consequence of our result, we give a new proof for a conjecture of Shi and Bi for ² D _n (3^α). Application of this result to the problem of recognition of finite simple groups by the set of element orders are also considered. Specifically, it is proved that ² D _n (3^α) is quasirecognizable by the spectrum.     

Applications of inversion formulas to the joint t-universality of Lerch zeta functions

In this paper, we define λ-joint, a^′-joint, (λ,λ)-joint, (λ,a^′)-joint and (a^′,a^′)-joint t-universality of Lerch zeta functions and consider the relations among those. Next we show the existence of (λ,λ)-joint t-universality. Finally, we also show the existence of λ-joint, a^′-joint, (λ,a^′)-joint and (a^′,a^′)-joint t-universality by using inversion formulas.     

Two-point inequalities,the Hermite semigroup and the Gauss-Weierstrass semigroup

Let e^?zH, Re z ? 0, be the Hermite semigroup on R with Gauss measure μ. Necessary and sufficient conditions for e^?zH to be a bounded map from L^p(μ) into L^q(μ), 1 ? p, q ? ∞, are found and in many cases it is proved that e^?zH: L^p(μ) → L^q(μ) is in fact a contraction. Furthermore, these results and a formula relating the Hermite semigroup with the Gauss-Weierstrass semigroup e^zΔ enable one to calculate the precise norm of e^zΔ:L^p(dx) → L^q(dx) in a large number of cases.     

On a partition identity

Two proofs are given, one combinatorial, the other by character theory, for the identity, ∏_λa₁! a₂! … a_n! = ∏_λ1^a₁2^a₂ … n^a_n, where λ ranges over all partitions λ = (1^a₁2^a₂ … n^a_n) of n. The two demonstrations yield a simple proof of the known formula, det²T(n) = [∏_λ1^a₁2^a₂ … n^a_n]², where T(n) is the matrix formed by the character table of S_n. Finally a sufficient condition is given so that the permanent of T(n) is zero.     

Nonnegative sectional curvature hypersurfaces in a real space form

In this paper, we investigate the nonnegative sectional curvature hypersurfaces in a real space form M ⁿ⁺¹(c). We obtain some rigidity results of nonnegative sectional curvature hypersurfaces M ⁿ⁺¹(c) with constant mean curvature or with constant scalar curvature. In particular, we give a certain characterization of the Riemannian product S ^k (a) × S ^n-k (√1 ? a ²), 1 ≤ k ≤ n ? 1, in S ⁿ⁺¹(1) and the Riemannian product H ^k (tanh² r ? 1) × S ^n-k (coth² r ? 1), 1 ≤ k ≤ n ? 1, in H ⁿ⁺¹(?1).     

A geometric Gordan-Stiemke theorem

Let C and K be closed cones in Rⁿ. Denote by φ (K∩C) the face of C generated by K ∩ C, by φ(K ∩ D)^D the dual face of φ(K ∩ C) in C¹, and by φ(-K¹ ∩ C¹) the face of C¹ generated by -K¹ ∩ C¹. It is proved that φ(K ∩ C¹) if and only if -C¹ ∩ [span(K ∩ C)] ⊥ ? C¹ + K¹. In particular, the closedness of C¹ + K¹ is a sufficient condition. Our result contains a generalization of the Gordon-Stiemke theorem which appeared in a recent paper of Saunders and Schneider.     

On finite x-decomposable groups for X = {1, 2, 4}

A normal subgroup N of a finite group G is called an n-decomposable subgroup if N is a union of n distinct conjugacy classes of G. Each finite nonabelian nonperfect group is proved to be isomorphic to Q ₁₂, or Z ₂ × A ₄, or G = ??a, b, c | a ¹¹ = b ⁵ = c ² = 1, b ^?1 ab = a ⁴, c ^?1 ac = a ^?1, c ^?1 bc = b ^?1?? if every nontrivial normal subgroup is 2- or 4-decomposable.     

Atomic decomposition characterizations of weighted multiparameter Hardy spaces

Let w ?? A _??. In this paper, we introduce weighted-(p, q) atomic Hardy spaces H _w ^p,q (? ⁿ ×? ^m ) for 0 < p ? 1, q >q _w and show that the weighted Hardy space H _w ^p (? ⁿ × ? ^m ) defined via Littlewood-Paley square functions coincides with H _w ^p,q (? ⁿ × ? ^m ) for 0 < p ? 1, q > q _w . As applications, we get a general principle on the H _w ^p (? ⁿ × ? ^m ) to L _w ^p (? ⁿ ×? ^m ) boundedness and a boundedness criterion for two parameter singular integrals on the weighted Hardy spaces.     

Transformation de Fourier des distributions de type positif sur un groupe de Lie unimodulaire

Call a locally compact group G, C¹-unique, if L¹(G) has exactly one (separating) C¹-norm. It is easy to see that a ¹-regular group G is C¹-unique and that a C¹-unique group is amenable. For connected groups G it is proved that G is C¹-unique, if the interior R(G)⁰ of a certain part R(G) of Prim(G), called the regular part of Prim(G), is dense in Prim(G), and that C¹-uniqueness of G implies the density of R(G) in Prim(G). From this it is derived that a connected group of type I is C¹-unique if and only if R(G)⁰ is dense in Prim(G). For exponential G, a quite explicit version of this result in terms of the Lie algebra of G is given. As an easy consequence, examples of amenable groups, which are not C¹-unique, and C¹-unique groups, which are not ¹-regular are obtained. Furthermore it is shown that a connected locally compact group G is amenable if and only if L¹(G) has exactly one C¹-norm, which is invariant under the isometric ¹-automorphisms of L¹(G).