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.     

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.     

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.     

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.     

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.     

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.     

Periodic behavior of a nonlinear third order vibrating system

A theorem is proved to show that the third order differential equation x^‴+f(t,x,x^′,x^″)=0 has nontrivial solutions characterized by x^′(0)=x^′(τ)=0 when x,x^′,x^″ and f(t,x,x^′,x^″) are bounded. A second condition is introduced to prove the existence of periodic solution for this equation. It is shown that the equation has a τ-periodic solution if f(t,x,x^′,x^″) is an even function with respect to x^′. The existence and periodicity conditions would be applied to third order systems such as viscoelastic mechanical vibration isolator system. The concepts of Green’s function and the Schauder’s fixed-point theorem have been used for proving the third-order-existence theorem.     

The kernel of the sum of two cooperative games

A sum of two gamesG ¹=(N ¹,v ¹) andG ²=(N ²,v ²) with disjoint sets of players is defined to be a gameG=(N, v), whereN=N ¹ ∪N ² andv (S)=max {v ¹ (S ∩N ¹),v ² (S ∩N ²)}. The kernel of the sum of two games is given in terms of the parts of kernels of the modified component games. The sum of games from certain classes is considered. When the components of the sum are simple games one of the corollaries of the main theorem coincides with known results.     

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.     

On simultaneous representations of primes by binary quadratic forms

Let p ≡ ± 1 (mod 8) be a prime which is a quadratic residue modulo 7. Then p = M² + 7N², and knowing M and N makes it possible to “predict” whether p = A² + 14B² is solvable or p = 7C² + 2D² is solvable. More generally, let q and r be distinct primes, and let an integral solution of H²p = M² + qN² be known. Under appropriate assumptions, this information can be used to restrict the possible values of K for which K²q = A² + qrB² is solvable and the possible values of K′ for which K′²p = qC² + rD² is solvable. These restrictions exclude some of the binary quadratic forms in the principal genus of discriminant ?4qr from representing p.     

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

Boundedness of Marcinkiewicz integrals and their commutators in H 1 (ℝ n × ℝ m )

The authors establish the boundedness of Marcinkiewicz integrals from the Hardy space H ¹ (? ⁿ × ? ^m ) to the Lebesgue space L ¹(? ⁿ × ? ^m ) and their commutators with Lipschitz functions from the Hardy space H ¹ (? ⁿ × ? ^m ) to the Lebesgue space L ^q (? ⁿ × ? ^m ) for some q > 1.     

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

Dirichlet Heat Kernel Estimates for Stable Processes with Singular Drift In Unbounded C 1,1 Open Sets

Suppose d ≥ 2 and α ∈ (1, 2). Let D be a (not necessarily bounded) C ^1,1 open set in ? ^d and μ = (μ ¹, . . . , μ ^d ) where each μ ^j is a signed measure on ? ^d belonging to a certain Kato class of the rotationally symmetric α-stable process X. Let X ^μ be an α-stable process with drift μ in ? ^d and let X ^μ,D be the subprocess of X ^μ in D. In this paper, we derive sharp two-sided estimates for the transition density of X ^μ,D .     

On pseudoinverses of operator products

The analytical structure of the Moore-Penrose pseudoinverse of the product ab of any two operators over finite-dimensional unitary spaces is studied. The existence of the unique representation of the form (ab)⁺=b⁺(h+g)a⁺ is proved. Here h:= (a⁺abb⁺)⁺ is an (oblique) projector and g is an operator with a number of special properties. In particular, h+g is a projector, g is orthogonal to h in some metric, and g³=0. A necessary and sufficient condition for the case (ab)⁺=b⁺ha⁺ is established. This case contains the classical one (ab)⁺=b⁺a⁺ (the reverse-order law). For the latter a new necessary and sufficient condition is given.     

Completely inverse AG ∗∗-groupoids

A completely inverse AG ^??-groupoid is a groupoid satisfying the identities (xy)z=(zy)x, x(yz)=y(xz) and xx ^?1=x ^?1 x, where x ^?1 is a unique inverse of x, that is, x=(xx ^?1)x and x ^?1=(x ^?1 x)x ^?1. First we study some fundamental properties of such groupoids. Then we determine certain fundamental congruences on a completely inverse AG ^??-groupoid; namely: the maximum idempotent-separating congruence, the least AG-group congruence and the least E-unitary congruence. Finally, we investigate the complete lattice of congruences of a completely inverse AG ^??-groupoids. In particular, we describe congruences on completely inverse AG ^??-groupoids by their kernel and trace.     

Explicit solutions to the reverse order law (AB)+ = B-mrA-lr

Shinozaki and Sibuya have shown that the Moore-Penrose inverse (AB)⁺ can always be expressed as B^-A^- for generalized inverses A^- and B^- of matrices A and B, respectively. In this paper, explicit solutions B^-_mr and A^-_lr to (AB)⁺ = B^-_mrA^-_lr are given. A class of solutions is obtained which is related to an equation of Greville, and expressions for the general solutions are presented.     

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

Even permutations as a product of two elements of order five

Let A_n denote the alternating group on n symbols. If n = 5, 6, 7, 10, 11, 12, 13 or n ⩾ 15, every permutation in A_n is the product of two elements of order 5 in A_n. The same is true for n ⩽ 14, except for thirteen types of permutations, namely 3¹, 2², 2⁴, 3³, 2¹3¹4¹, 2²5¹, 2⁵4¹, 1¹, 1², 1³, 1⁴, 3¹1¹, 2⁴1¹. (For example, the permutation (12)(34)(56)(78)(9) is not the product of two elements of order 5 in A₉.)     

The Presentation Problem of the Conjugate Cone of the Hardy Space Hp (0 < p ≤ 1)

The Hardy space Hpis not locally convex if 0 < p < 1, even though its conjugate space(Hp) separates the points of Hp. But then it is locally p-convex, and its conjugate cone(Hp) p is large enough to separate the points of Hp. In this case, the conjugate cone can be used to replace its conjugate space to set up the duality theory in the p-convex analysis. This paper deals with the representation problem of the conjugate cone(Hp) p of Hpfor 0 < p ≤ 1, and obtains the subrepresentation theorem(Hp) p L∞(T, C p).