Application of Soliton Theory to the Construction of Isometric Immersions of M^{{n_{1} }} {\left( {c_{1} } \right)} \times M^{{n_{2} }} {\left( {c_{2} } \right)} into Constant Curvature Spaces M n (±1)

In this paper, we apply the soliton theory to the case of isometric immersion in differential geometry and obtain a family of isometric immersions from M ^{n 1}(c ₁) ×M ^{n 2}(c ₂) to space forms M ⁿ (c) by introducing 2-parameter loop algebra. Received July 14, 1999, Accepted June 15, 2000     

Unbounded solutions of the max-type difference equation x_{n + 1} = max\left\{ {\frac{{A_n }} {{X_n }},\frac{{B_n }} {{X_{n - 2} }}} \right\}

We investigate the boundedness nature of positive solutions of the difference equation $$ x_{n + 1} = max\left\{ {\frac{{A_n }} {{X_n }},\frac{{B_n }} {{X_{n - 2} }}} \right\},n = 0,1,..., $$ where {A _n } _n=0 ^∞ and {B _n } _n=0 ^∞ are periodic sequences of positive real numbers.     

The estimate for mean values on prime numbers relative to \frac{4} {p} = \frac{1} {{n_1 }} + \frac{1} {{n_2 }} + \frac{1} {{n_3 }}

If n is a positive integer,let f （n） denote the number of positive integer solutions （n 1,n 2,n 3） of the Diophantine equation 4/n=1/n₁ + 1/n₂ + 1/n₃.For the prime number p,f （p） can be split into f 1 （p） + f 2 （p）,where f i （p） （i=1,2） counts those solutions with exactly i of denominators n 1,n 2,n 3 divisible by p.In this paper,we shall study the estimate for mean values ∑ p相似文献   

The exact order of\sum\nolimits_{k = 1}^{\text{n}} {|{\text{x - x}}_{\text{k}} } |^8 |{\text{l}}_{\text{k}} ({\text{x)|}}^{\text{t}}

In this paper we give the exact order of \(\sum\nolimits_{k = 1}^{\text{n}} {|{\text{x - x}}_{\text{k}} } |^5 .\) for any fixed nonnegative integers s and t, which is n^?s, n^?s lnn and n^1?t for s≤t?2, s=t?1 and s≥t, respectively.     

Convergence of polyharmonic splines on semi-regular grids \mathbb{Z}{{\boldsymbol{\times}} \boldsymbol{a}} {\mathbb{Z}^{\it\boldsymbol{n}}} for {\boldsymbol{a}\rightarrow\mathbf {0}}

Let p, n ∈ ? with 2p ≥ n + 2, and let I _a be a polyharmonic spline of order p on the grid ? × a? ⁿ which satisfies the interpolating conditions $I_{a}\left( j,am\right) =d_{j}\left( am\right) $ for j ∈ ?, m ∈ ? ⁿ where the functions d _j : ? ⁿ → ? and the parameter a > 0 are given. Let $B_{s}\left( \mathbb{R}^{n}\right) $ be the set of all integrable functions f : ? ⁿ → ? such that the integral $$ \left\| f\right\| _{s}:=\int_{\mathbb{R}^{n}}\left| \widehat{f}\left( \xi\right) \right| \left( 1+\left| \xi\right| ^{s}\right) d\xi $$ is finite. The main result states that for given $\mathbb{\sigma}\geq0$ there exists a constant c>0 such that whenever $d_{j}\in B_{2p}\left( \mathbb{R}^{n}\right) \cap C\left( \mathbb{R}^{n}\right) ,$ j ∈ ?, satisfy $\left\| d_{j}\right\| _{2p}\leq D\cdot\left( 1+\left| j\right| ^{\mathbb{\sigma}}\right) $ for all j ∈ ? there exists a polyspline S : ? ⁿ⁺¹ → ? of order p on strips such that $$ \left| S\left( t,y\right) -I_{a}\left( t,y\right) \right| \leq a^{2p-1}c\cdot D\cdot\left( 1+\left| t\right| ^{\mathbb{\sigma}}\right) $$ for all y ∈ ? ⁿ , t ∈ ? and all 0 < a ≤ 1.     

On the difference equation y_{n + 1} = \frac{{\alpha + y_n^p }} {{\beta y_{n - 1}^p }} - \frac{{\gamma + y_{n - 1}^p }} {{\beta y_n^p }}

In this paper, we investigate the global stability and the periodic nature of solutions of the difference equation $y_{n + 1} = \frac{{\alpha + y_n^p }} {{\beta y_{n - 1}^p }} - \frac{{\gamma + y_{n - 1}^p }} {{\beta y_n^p }},n = 0,1,2,... $ where α, β, γ ∈ (0,∞), α(1 ? p) ? γ > 0, 0 < p < 1, every y _n ≠ 0 for n = ?1, 0, 1, 2, … and the initial conditions y?1, y0 are arbitrary positive real numbers. We show that the equilibrium point of the difference equation is a global attractor with a basin that depends on the conditions of the coefficients.     

2 D n (3)(9≤n=2 m +1 not a prime) can be characterized by its order components

In this paper we prove that ifG is a finite group,² D _n (3)(9≤n=2 ^m +1 not a prime),G andM have the same order components, thenG ≈= M.     

Biharmonic Submanifolds with Parallel Mean Curvature in \mathbb{S}^{n}\times\mathbb{R}

We find a Simons type formula for submanifolds with parallel mean curvature vector (pmc submanifolds) in product spaces M ⁿ (c)×?, where M ⁿ (c) is a space form with constant sectional curvature c, and then we use it to prove a gap theorem for the mean curvature of certain complete proper-biharmonic pmc submanifolds, and classify proper-biharmonic pmc surfaces in $\mathbb{S}^{n}(c)\times\mathbb{R}$ .     

Isometric Immersions into {\mathbb{S}^m \times \mathbb{R}} and {\mathbb{H}^m \times \mathbb{R}} with High Codimensions

In this paper, we obtain sufficient and necessary conditions for a simply connected Riemannian manifold (M ⁿ , g) to be isometrically immersed into ${\mathbb{S}^m \times \mathbb{R}}$ and ${\mathbb{H}^m \times \mathbb{R}}$ .     

A note on the congruence \left( {_{mp^k }^{np^k } } \right) \equiv \left( {_m^n } \right) (mod p r )

In the paper we discuss the following type congruences: $$\left( {_{mp^k }^{np^k } } \right) \equiv \left( {_m^n } \right)(\bmod p^r ),$$ where p is a prime, n, m, k and r are various positive integers with n ? m ? 1, k ? 1 and r ? 1. Given positive integers k and r, denote by W(k, r) the set of all primes p such that the above congruence holds for every pair of integers n ? m ? 1. Using Ljunggren’s and Jacobsthal’s type congruences, we establish several characterizations of sets W(k, r) and inclusion relations between them for various values k and r. In particular, we prove that W(k + i, r) = W(k ? 1, r) for all k ? 2, i ? 0 and 3 ? r ? 3k, and W(k, r) = W(1, r) for all 3 ? r ? 6 and k ? 2. We also noticed that some of these properties may be used for computational purposes related to congruences given above.     

On convergence of the averages\frac{1}{N}\sum\nolimits_{n = 1}^N {f_1 (R^n x)f_2 (S^n x)f_3 (T^n x)}

In this note, we will prove that for commuting ergodic measure preserving transformationsR, S andT, ifRT ^?1,ST ^?1 are also ergodic, then the limit $$\lim \frac{1}{N}\sum\nolimits_{n = 1}^N {f_1 (R^n x)f_2 (S^n x)f_3 (T^n x)} $$ exists inL ¹-norm. The method used in this note was developed byConze, Furstenberg, Lesigne andWeiss.     

Dynamics of the max-type difference equation x_{n}=\max\{\frac{ 1}{ x_{n-m}} , \frac{A_{n} }{x_{n-r} }\}

In this paper, we study the periodicity, the boundedness and the convergence of the following max-type difference equation $$x_n =\max\biggl\{\frac{ 1}{ x_{n-m}} , \frac{A_n }{x_{n-r} }\biggr \},\quad n =0, 1,2,\ldots,$$ where $\{A_{n}\}^{+\infty}_{n=0}$ is a periodic sequence with period k and A _n ??(0,1) for every n??0, m??{1,2} and r??{2,3,??} with m<r, the initial values x _?r ,??,x _?1??(0,+??). The special case when $m = 1, r = 2, \{A_{n}\}^{+\infty}_{ n=0}$ is a periodic sequence with period k and A _n ??(0,1) for every n??0 has been completely investigated by Y.?Chen. Here we extend his results to the general case.     

Biharmonic submanifolds of {\mathbb{C}P^n}

We give some general results on proper-biharmonic submanifolds of a complex space form and, in particular, of the complex projective space. These results are mainly concerned with submanifolds with constant mean curvature or parallel mean curvature vector field. We find the relation between the bitension field of the inclusion of a submanifold [`(M)]{\bar{M}} in \mathbbCPⁿ{\mathbb{C}P^n} and the bitension field of the inclusion of the corresponding Hopf-tube in \mathbbS²ⁿ⁺¹{\mathbb{S}^{2n+1}}. Using this relation we produce new families of proper-biharmonic submanifolds of \mathbbCPⁿ{\mathbb{C}P^n}. We study the geometry of biharmonic curves of \mathbbCPⁿ{\mathbb{C}P^n} and we characterize the proper-biharmonic curves in terms of their curvatures and complex torsions.     

On the Evaluation of the Integral $$\int_0^{{\pi \mathord{\left/ {\vphantom {\pi 4}} \right. \kern-\nulldelimiterspace} 4}} {\ln \left( {\cos ^{{m \mathord{\left/ {\vphantom {m n}} \right. \kern-\nulldelimiterspace} n}} \theta \pm \sin ^{{m \mathord{\left/ {\vphantom {m n}} \right. \kern-\nulldelimiterspace} n}} \theta } \right)d\theta } $$

The integral $$\int_0^{{\pi \mathord{\left/ {\vphantom {\pi 4}} \right. \kern-\nulldelimiterspace} 4}} {\ln \left( {\cos ^{{m \mathord{\left/ {\vphantom {m n}} \right. \kern-\nulldelimiterspace} n}} \theta \pm \sin ^{{m \mathord{\left/ {\vphantom {m n}} \right. \kern-\nulldelimiterspace} n}} \theta } \right)d\theta } $$ where m and n are relatively prime positive integers, is evaluated exactly in terms of elementary functions and the Catalan constant G.     

On the difference equationx_{n + 1} = \alpha + \frac{{x_n^p }}{{x_{n - 1}^p }}

We study, firstly, the dynamics of the difference equation $x_{n + 1} = \alpha + \frac{{x_n^p }}{{x_{n - 1}^p }}$ , withp ∈ (0,1) and α∈ [0, ∞). Then, we generalize our results to the (k + 1)th order difference equation $x_{n + 1} = \alpha + \frac{{x_n^p }}{{x_{n - k}^p }}$ ,k = 2, 3,... with positive initial conditions.     

On the rational recursive sequencex_{n + 1} = \frac{{\alpha x_n + \beta x_{n - 1} + \gamma x_{n - 2} + \delta x_{n - 3} }}{{Ax_n + Bx_{n - 1} + Cx_{n - 2} + Dx_{n - 3} }}

The main objective of this paper is to study the boundedness character, the periodic character and the global stability of the positive solutions of the following difference equation $x_{n + 1} = \frac{{\alpha x_n + \beta x_{n - 1} + \gamma x_{n - 2} + \delta x_{n - 3} }}{{Ax_n + Bx_{n - 1} + Cx_{n - 2} + Dx_{n - 3} }},n = 0,1,2.....$ where the coefficientsA, B, C, D, α, β, γ, δ, and the initial conditionsx _-3,x _-2,x _-1,x ₀ are arbitrary positive real numbers.     

Categories of bounded \left( {\mathfrak{sp}\left( {{{\mathrm{S}}^2}V \oplus {{\mathrm{S}}^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) - and \left( {\mathfrak{sp}\left( {{\varLambda^2}V \oplus {\varLambda^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) -modules

Let $ \mathfrak{g} $ be a reductive Lie algebra over $ \mathbb{C} $ and $ \mathfrak{k} \subset \mathfrak{g} $ be a reductive in $ \mathfrak{g} $ subalgebra. We call a $ \mathfrak{g} $ -module M a $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -module whenever M is a direct sum of finite-dimensional $ \mathfrak{k} $ -modules. We call a $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -module M bounded if there exists $ {C_M} \in {\mathbb{Z}_{{ \geqslant 0}}} $ such that for any simple finite-dimensional $ \mathfrak{k} $ -module E the dimension of the E-isotypic component is not greater than C _M dim E. Bounded $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -modules form a subcategory of the category of $ \mathfrak{g} $ -modules. Let V be a finite-dimensional vector space. We prove that the categories of bounded $ \left( {\mathfrak{sp}\left( {{{\mathrm{S}}^2}V \oplus {{\mathrm{S}}^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) $ - and $ \left( {\mathfrak{sp}\left( {{\varLambda^2}V \oplus {\varLambda^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) $ -modules are isomorphic to the direct sum of countably many copies of the category of representations of some explicitly described quiver with relations under some mild assumptions on the dimension of V .     

Some new estimates of the Fourier-Bessel transform in the space \mathbb{L}_2 \left( {\mathbb{R}_ + } \right)

The Fourier-Bessel integral transform $$g\left( x \right) = F\left[ f \right]\left( x \right) = \frac{1} {{2^p \Gamma \left( {p + 1} \right)}}\int\limits_0^{ + \infty } {t^{2p + 1} f\left( x \right)j_p \left( {xt} \right)dt}$$ is considered in the space $\mathbb{L}_2 \left( {\mathbb{R}_ + } \right)$ . Here, j _p (u) = ((2 ^p Γ(p+1))/(u ^p ))J _p (u) and J _p (u) is a Bessel function of the first kind. New estimates are proved for the integral $$\delta _N^2 \left( f \right) = \int\limits_N^{ + \infty } {x^{2p + 1} g^2 \left( x \right)dx, N > 0,}$$ in $\mathbb{L}_2 \left( {\mathbb{R}_ + } \right)$ for some classes of functions characterized by a generalized modulus of continuity.     

On the primitive divisors of the recurrent sequence $$u_{n+1}=(4\rm{cos}^2(2\pi/7)-1)\it{u}_{n}-u_{n-\rm{1}}$$ with applications to group theory

Consider the sequence of algebraic integers u_n given by the starting values u₀ = 0, u₁ = 1 and the recurrence \(u_{n+1}=(4\rm{cos}^2(2\pi/7)-1)\it{u}_{n}-u_{n-\rm{1}}\). We prove that for any n ? {1, 2, 3, 5, 8, 12, 18, 28, 30} the n-th term of the sequence has a primitive divisor in \(\mathbb{Z}[2\rm{cos}(2\pi/7)]\). As a consequence we deduce that for any suffciently large n there exists a prime power q such that the group PSL₂(q) can be generated by a pair x, y with \(x^2=y^3=(xy)^7=1\) and the order of the commutator [x, y] is exactly n. The latter result answers in affrmative a question of Holt and Plesken.     

Invertible linear maps preserving {1}-inverses of matrices over PID

Let R be a PID,chR = 2,n > 1, M_n(R) be then xn full matrix algebra over R.f denotes any invertible linear map preserving {1}-inverses from M_n(R) to itself. In this paper, we have proven thatf is an invertible linear map on M_n(R) preserving {1}-inverses if and only iff satisfies any one of the following two conditions: (i) there exists a matrixP ? GL _n(R) such thatf(A) =PAP ^?1 for allA ? M _n(R), (ii) there exists a matrixP ? GL _n(R) such thatf(A) =PA ^t P^?1 forA ? M _n(R).