On Ricci curvature ofC-totally real submanifolds in Sasakian space forms

LetM ⁿ be a Riemanniann-manifold. Denote byS(p) and Ric(p) the Ricci tensor and the maximum Ricci curvature onM _n, respectively. In this paper we prove that everyC-totally real submanifold of a Sasakian space formM ^2m+1(c) satisfies , whereH ² andg are the square mean curvature function and metric tensor onM ⁿ, respectively. The equality holds identically if and only if eitherM ⁿ is totally geodesic submanifold or n = 2 andM ⁿ is totally umbilical submanifold. Also we show that if aC-totally real submanifoldM ⁿ ofM ²ⁿ⁺¹ (c) satisfies identically, then it is minimal.     

On almost hyperHermitian structures on Riemannian manifolds and tangent bundles

Some results concerning almost hyperHermitian structures are considered, using the notions of the canonical connection and the second fundamental tensor field h of a structure on a Riemannian manifold which were introduced by the second author. With the help of any metric connection on an almost Hermitian manifold M an almost hyperHermitian structure can be constructed in the defined way on the tangent bundle TM. A similar construction was considered in [6], [7]. This structure includes two basic anticommutative almost Hermitian structures for which the second fundamental tensor fields h ¹ and h ² are computed. It allows us to consider various classes of almost hyperHermitian structures on TM. In particular, there exists an infinite-dimensional set of almost hyperHermitian structures on TTM where M is any Riemannian manifold.     

Rook-by-rook rook theory: Bijective proofs of rook and hit equivalences

Suppose μ and ν are integer partitions of n, and N>n. It is well known that the Ferrers boards associated to μ and ν are rook-equivalent iff the multisets [μ_i+i:1iN] and [ν_i+i:1iN] are equal. We use the Garsia–Milne involution principle to produce a bijective proof of this theorem in which non-attacking rook placements for μ are explicitly matched with corresponding placements for ν. One byproduct is a direct combinatorial proof that the matrix of Stirling numbers of the first kind is the inverse of the matrix of Stirling numbers of the second kind. We also prove q-analogues and p,q-analogues of these results. We also use the Garsia–Milne involution principle to show that for any two rook boards B and B^′, if B and B^′ are bijectively rook-equivalent, then B and B^′ are bijectively hit-equivalent.     

Some results on (k, μ)′-almost Kenmotsu manifolds

In this paper, we study the Weyl conformal curvature tensor 𝒲 and the concircular curvature tensor 𝒞 on a (k, μ)′-almost Kenmotsu manifold M²ⁿ⁺¹ of dimension greater than 3. We obtain that if M²ⁿ⁺¹ satisfies either R · 𝒲 = 0 or 𝒞 · 𝒞 = 0, then it is locally isometric to either the hyperbolic space ?²ⁿ⁺¹ (?1) or the Riemannian product ?ⁿ⁺¹(?4) × ?ⁿ.     

Existence of multiple positive solutions for nonlinear m-point boundary-value problems

In this paper, we afford some sufficient conditions to guarantee the existence of multiple positive solutions for the nonlinear m-point boundary-value problem for the one-dimensional p-Laplacian

(φ_p(u^′))^′+f(t,u)=0, t(0,1),

     

Spin Spaces, Lipschitz Groups, and Spinor Bundles

It is shown that every bundle M of complex spinormodules over the Clifford bundle Cl(g) of a Riemannian space(M, g) with local model (V, h)is associated with an lpin(Lipschitz) structure on M, this being a reduction of theO(h)-bundle of all orthonormal frames on M to the Lipschitzgroup Lpin(h) of all automorphisms of a suitably defined spinspace. An explicit construction is given of the total space of theLpin(h)-bundle defining such a structure. If the dimension mof M is even, then the Lipschitz group coincides with the complexClifford group and the lpin structure can be reduced to a pin _c structure. If m = 2n – 1, then a spinor module on M is of the Cartan type: its fibres are 2 _n -dimensional anddecomposable at every point of M, but the homomorphism of bundlesof algebras Cl(g) End globally decomposes if, andonly if, M is orientable. Examples of such bundles are given. Thetopological condition for the existence of an lpin structure on anodd-dimensional Riemannian manifold is derived and illustrated by theexample of a manifold admitting such a structure, but no pin _c structure.     

A bilinear form relating two Leonard systems

Let Φ, Φ^′ be Leonard systems over a field , and V, V^′ the vector spaces underlying Φ, Φ^′, respectively. In this paper, we introduce and discuss a balanced bilinear form on V×V^′. Such a form naturally arises in the study of Q-polynomial distance-regular graphs. We characterize a balanced bilinear form from several points of view.     

Estimation of dimension functions of band-limited wavelets

The dimension function D_ψ of a band-limited wavelet ψ is bounded by n if its Fourier transform is supported in [−(2ⁿ⁺²/3)π,(2ⁿ⁺²/3)π]. For each and for each , 0<<δ=δ(n), we construct a wavelet ψ with supp

Full-size image

such that D_ψ>n on a set of positive measure, which proves that [−(2ⁿ⁺²/3)π,(2ⁿ⁺²/3)π] is the largest symmetric interval for estimating the dimension function by n. This construction also provides a family of (uncountably many) wavelet sets each consisting of infinite number of intervals.     

Ray shooting and intersection searching amidst fat convex polyhedra in 3-space

We present a data structure for ray-shooting queries in a set of convex fat polyhedra of total complexity n in . The data structure uses O(n^2+ε) storage and preprocessing time, and queries can be answered in O(log²n) time. A trade-off between storage and query time is also possible: for any m with n<m<n², we can construct a structure that uses O(m^1+ε) storage and preprocessing time such that queries take time.We also describe a data structure for simplex intersection queries in a set of n convex fat constant-complexity polyhedra in . For any m with n<m<n³, we can construct a structure that uses O(m^1+ε) storage and preprocessing time such that all polyhedra intersecting a query simplex can be reported in O((n/m^1/3)logn+k) time, where k is the number of answers.     

Voronovskaya-type formulas and saturation of convergence for q-Bernstein polynomials for

In the paper, we discuss Voronovskaya-type theorem and saturation of convergence for q-Bernstein polynomials for arbitrary fixed q, 0<q<1. We give explicit formulas of Voronovskaya-type for the q-Bernstein polynomials for 0<q<1. If , we show that the rate of convergence for the q-Bernstein polynomials is o(qⁿ) if and only ifWe also prove that if f is convex on [0,1] or analytic on (-ε,1+ε) for some ε>0, then the rate of convergence for the q-Bernstein polynomials is o(qⁿ) if and only if f is linear.     

Representations for the first associated q-classical orthogonal polynomials

Let {p_k(x; q)} be any system of the q-classical orthogonal polynomials, and let be the corresponding weight function, satisfying the q-difference equation D_q(σ)=τ, where σ and τ are polynomials of degree at most 2 and exactly 1, respectively. Further, let {p_k⁽¹⁾(x;q)} be associated polynomials of the polynomials {p_k(x; q)}. Explicit forms of the coefficients b_n,k and c_n,k in the expansions

are given in terms of basic hypergeometric functions. Here _k(x) equals x^k if σ⁺(0)=0, or (x;q)_k if σ⁺(1)=0, where σ⁺(x)σ(x)+(q−1)xτ(x). The most important representatives of those two classes are the families of little q-Jacobi and big q-Jacobi polynomials, respectively.Writing the second-order nonhomogeneous q-difference equation satisfied by p_n−1⁽¹⁾(x;q) in a special form, recurrence relations (in k) for b_n,k and c_n,k are obtained in terms of σ and τ.     

Positive periodic solutions of higher-dimensional functional difference equations with a parameter

By using Krasnoselskii's fixed point theorem and upper and lower solutions method, we find some sets of positive values λ determining that there exist positive T-periodic solutions to the higher-dimensional functional difference equations of the form where A(n)=diag[a₁(n),a₂(n),…,a_m(n)], h(n)=diag[h₁(n),h₂(n),…,h_m(n)], a_j,h_j :Z→R⁺, τ :Z→Z are T -periodic, j=1,2,…,m, T1, λ>0, x :Z→R^m, f :R₊^m→R₊^m, where R₊^m={(x₁,…,x_m)^TR^m, x_j0, j=1,2,…,m}, R⁺={xR, x>0}.     

Instability of the Rossby–Haurwitz wave in the invariant sets of perturbations

Stability of the Rossby–Haurwitz (RH) wave of subspace H₁H_n in an ideal incompressible fluid on a rotating sphere is analytically studied (H_n is the subspace of homogeneous spherical polynomials of degree n). It is shown that any perturbation of the RH wave evolves in such a way that its energy K(t) and enstrophy η(t) decrease, remain constant or increase simultaneously. A geometric interpretation of variations in the perturbation energy is given. A conservation law for arbitrary perturbations is obtained and used to classify all the RH-wave perturbations in four invariant sets M₋ⁿ, M₊ⁿ, H_n and M₀ⁿ−H_n depending on the value of their mean spectral number χ(t)=η(t)/K(t). The energy cascade of growing (or decaying) perturbations has opposite directions in the sets M₋ⁿ and M₊ⁿ due to a hyperbolic dependence between K(t) and χ(t). A factor space with a factor norm of the perturbations is introduced using the invariant subspace H_n of neutral perturbations as the zero factor class. While the energy norm controls the perturbation part belonging to H_n, the factor norm controls the perturbation part orthogonal to H_n. It is shown that in the set M₋ⁿ (χ(t)<n(n+1)), any nonzonal RH wave of subspace H₁H_n (n2) is Liapunov unstable in the energy norm. This instability has nothing in common with the orbital (Poincaré) instability and is caused by asynchronous oscillations of two almost coinciding RH-wave solutions. It is also shown that the exponential instability is possible only in the invariant set M₀ⁿ−H_n. A necessary condition for this instability is given. The condition states that the spectral number χ(t) of the amplitude of each unstable mode must be equal to n(n+1), where n is the RH-wave degree. The growth rate is estimated and the orthogonality of the unstable normal modes to the RH wave is shown. The instability in the invariant set M₊ⁿ of small-scale perturbations (χ(t)>n(n+1)) is still open problem.     

Necessary and sufficient conditions for functions involving the tri- and tetra-gamma functions to be completely monotonic

The psi function ψ(x) is defined by ψ(x)=Γ^′(x)/Γ(x), where Γ(x) is the gamma function. We give necessary and sufficient conditions for the function ψ^″(x)+[ψ^′(x+α)]² or its negative to be completely monotonic on (−α,∞), where . We also prove that the function [ψ^′(x)]²+λψ^″(x) is completely monotonic on (0,∞) if and only if λ1. As an application of the latter conclusion, the monotonicity and convexity of the function e^pψ(x+1)−qx with respect to x(−1,∞) are thoroughly discussed for p≠0 and .     

A simple and efficient kinetic spanner

We present a new and simple (1+ε)-spanner of size O(n/ε²) for a set of n points in the plane, which can be maintained efficiently as the points move. Assuming the trajectories of the points can be described by polynomials whose degrees are at most s, the number of topological changes to the spanner is O((n/ε²)λ_s+2(n)), and at each event the spanner can be updated in O(1) time.     

Stable extendibility of vector bundles over lens spaces mod 3 and the stable splitting problem

Let Lⁿ(3) denote the (2n+1)-dimensional standard lens space mod 3. In this paper, we study the conditions for a given real vector bundle over Lⁿ(3) to be stably extendible to L^m(3) for every mn, and establish the formula on the power ζ^k=ζζ (k-fold) of a real vector bundle ζ over Lⁿ(3). Moreover, we answer the stable splitting problem for real vector bundles over Lⁿ(3) by means of arithmetic conditions.     

Total Scalar Curvature and L 2 Harmonic 1-Forms on a Minimal Hypersurface in Euclidean Space

Let M ⁿ , n 3, be a complete oriented immersed minimal hypersurface in Euclidean space R ⁿ⁺¹. We show that if the total scalar curvature on M is less than the n/2 power of 1/C _s , where C _s is the Sobolev constant for M, then there are no L ² harmonic 1-forms on M. As corollaries, such a minimal hypersurface contains no nontrivial harmonic functions with finite Dirichlet integral and so it has only one end. This implies finally that M is a hyperplane.     

Pattern Matching with Swaps

Let a text string T of n symbols and a pattern string P of m symbols from alphabet Σ be given. A swapped version T′ of T is a length n string derived from T by a series of local swaps (i.e., t′_ℓ ← t_ℓ + 1 and t′_ℓ + 1 ← t_ℓ), where each element can participate in no more than one swap. The pattern matching with swaps problem is that of finding all locations i for which there exists a swapped version T′ of T with an exact matching of P in location i of T′. It has been an open problem whether swapped matching can be done in less than O(nm) time. In this paper we show the first algorithm that solves the pattern matching with swaps problem in time o(nm). We present an algorithm whose time complexity is O(nm^1/3 log m log σ) for a general alphabet Σ, where σ = min(m,Σ).     

A new continuation method for complementarity problems with uniformP-functions

The complementarity problem with a nonlinear continuous mappingf from the nonnegative orthantR ₊ ⁿ ofR ⁿ intoR ⁿ can be written as the system of equationsF(x, y) = 0 and(x, y) R ₊ ²ⁿ , whereF denotes the mapping from the nonnegative orthantR ₊ ²ⁿ ofR ²ⁿ intoR ₊ ⁿ × Rⁿ defined byF(x, y) = (x ₁y₁,,x_ny_n, f₁(x) – y₁,, f_n(x) – y_n) for every(x, y) R ₊ ²ⁿ . Under the assumption thatf is a uniformP-function, this paper establishes that the mappingF is a homeomorphism ofR ₊ ²ⁿ ontoR ₊ ⁿ × Rⁿ. This result provides a theoretical basis for a new continuation method of tracing the solution curve of the one parameter family of systems of equationsF(x, y) = tF(x ⁰, y⁰) and(x, y) R ₊ ²ⁿ from an arbitrary initial point(x ⁰, y⁰) R ₊ ²ⁿ witht = 1 until the parametert attains 0. This approach is an extension of the one used in the polynomially bounded algorithm recently given by Kojima, Mizuno and Yoshise for solving linear complementarity problems with positive semi-definite matrices.