A recurrence relation for the square root

The behavior of the sequence x_{n + 1} = x_n(3N − x_n²)/2N is studied for N > 0 and varying real x₀. When 0 < x₀ < (3N)^1/2 the sequence converges quadratically to N^1/2. When x₀ > (5N)^1/2 the sequence oscillates infinitely. There is an increasing sequence β_r, with β₋₁ = (3N)^1/2 which converges to (5N)^1/2 and is such that when β_r < x₀ < β_{r + 1} the sequence {x_n} converges to (−1)^rN^1/2. For x₀ = 0, β₋₁, β₀,… the sequence converges to 0. For x₀ = (5N)^1/2 the sequence oscillates: x_n = (−1)ⁿ(5N)^1/2. The behavior for negative x₀ is obtained by symmetry.     

An Asymptotic Property of Schachermayer's Space under Renorming

Let X be a Banach space with closed unit ball B. Given k , X is said to be k-β, respectively, (k + 1)-nearly uniformly convex ((k + 1)-NUC), if for every ε > 0 there exists δ, 0 < δ < 1, so that for every x B and every ε-separated sequence (x_n) B there are indices (n_i)^k_{i = 1}, respectively, (n_i)^{k + 1}_{i = 1}, such that (1/(k + 1))||x + ∑^k_{i = 1} x_ni|| ≤ 1 − δ, respectively, (1/(k + 1))||∑^{k + 1}_{i = 1} x_ni|| ≤ 1 − δ. It is shown that a Banach space constructed by Schachermayer is 2-β, but is not isomorphic to any 2-NUC Banach space. Modifying this example, we also show that there is a 2-NUC Banach space which cannot be equivalently renormed to be 1-β.     

Target patterns in reaction-diffusion systems

We consider the general reaction-diffusion system At = F(A) + ε D_M ²A + εg(→x, A), 0 < ε 1, where the small term εg(→x, A) represents the effects of localized impurities. We assume that the system A_t = F(A) has a stable time-periodic solution. Then we construct stable target pattern solutions of the full system. For typical initial conditions we find that these target patterns will arise only if g(→x, A) 0. Finally, we determine how target patterns interact and show that higher frequency target patterns eventually engulf neighboring lower frequency target patterns.     

Zu Fragen der Analysis im Zusammenhang mit der Gleichungx 1 2 +...+x n 2 —ax 1...x n =b

x ₁ ² +...+x _n ² —ax ₁...x _n =b. First we describe a combinatorial presentation of a group of automorphisms of this equation, ifn=3, then we getPGL (2, ) as such a group of automorphisms of this equation. This gives analytical applications becausePGL (2, ) acts discontinously on the set {(x ₁,x ₂,x ₃)0<x ₁,x ₂,x ₃ andx ₁ ² +x ₂ ² +x ₃ ² –x ₁ x ₂ x ₃=b0}³. Further we ask for fundamental solutions of this equation. Finally, letx ₁,x ₂,x ₃ withx ¹ x ₂ ² +x ₃ ² ––x ₁ x ₂ x ₃=0 Then there areA, BSL(2, ) with trA=x ₁, trB=x ₂ and trA B=x ₃, and the group (A, B) is a discrete free group of rank two. In analysis we are interested in the question whether there are evenA, BSL(2, ) with trA=x ₁, trB=x ₂ and trA B=x ₃. We give necessary and sufficient conditions for that and remark that this question is connected with the ternary quadratic formk1p ²+k2q ²–r ²,k ¹=x ₁ ² ,k ₂=16(x ₂ ² +x ₁ ² +x ₃ ² –x ₁ x ₂ x ₃–4), which has some invariant properties.     

On x 6 + x + a in Characteristic Three

Let F be a field of characteristic 3 and 0 a F. We show that the 10 ways to factor x ⁶ + x + a into two cubics over the algebraic closure F are in natural Galois bijection with the 10 roots of x ¹⁰ + ^ax + 1. We use this to (1) prove the two polynomials have the same splitting field; (2) prove that a difference set constructed by Arasu and Player using the polynomial x ⁶ + x + a is isomorphic to a difference set constructed by Dillon using the polynomial x ¹⁰ + x + a; (3) obtain a natural realization for the accidental isomorphism between the alternating group A ₆ and the special linear group PSL₂(9); and (4) characterize how x ⁶ + x + a factors when F = GF (3^m) with m odd. For example, x ⁶ + x + a is irreducible if and only if a can be written as ^{– 36} + ⁴ with F ^× and Tr(⁵) 0.     

Small solutions of the congruencea1x12 +a2x22 +a3x32 +a4x42 ≡c(modp)

For any integersa ₁,a ₂,a ₃,a ₄ andc witha ₁ a ₂ a ₃ a ₄≢0(modp), this paper shows that there exists a solutionX=(x ₁,x ₂,x ₃,x ₄) ∈Z ⁴ of the congruencea ₁ x ₁ ² +a ₂ x ₂ ² +a ₃ x ₃ ² +a ₄ x ₄ ² ≡c(modp) such that

Iteratively reweighted least squares minimization for sparse recovery

Under certain conditions (known as the restricted isometry property, or RIP) on the m × N matrix Φ (where m < N), vectors x ∈ ?^N that are sparse (i.e., have most of their entries equal to 0) can be recovered exactly from y := Φx even though Φ^?1(y) is typically an (N ? m)—dimensional hyperplane; in addition, x is then equal to the element in Φ^?1(y) of minimal ??₁‐norm. This minimal element can be identified via linear programming algorithms. We study an alternative method of determining x, as the limit of an iteratively reweighted least squares (IRLS) algorithm. The main step of this IRLS finds, for a given weight vector w, the element in Φ^?1(y) with smallest ??₂(w)‐norm. If x⁽ⁿ⁾ is the solution at iteration step n, then the new weight w⁽ⁿ⁾ is defined by w := [|x|² + ε]^?1/2, i = 1, …, N, for a decreasing sequence of adaptively defined ε_n; this updated weight is then used to obtain x^{(n + 1)} and the process is repeated. We prove that when Φ satisfies the RIP conditions, the sequence x⁽ⁿ⁾ converges for all y, regardless of whether Φ^?1(y) contains a sparse vector. If there is a sparse vector in Φ^?1(y), then the limit is this sparse vector, and when x⁽ⁿ⁾ is sufficiently close to the limit, the remaining steps of the algorithm converge exponentially fast (linear convergence in the terminology of numerical optimization). The same algorithm with the “heavier” weight w = [|x|² + ε]^?1+τ/2, i = 1, …, N, where 0 < τ < 1, can recover sparse solutions as well; more importantly, we show its local convergence is superlinear and approaches a quadratic rate for τ approaching 0. © 2009 Wiley Periodicals, Inc.     

A non‐existence result on Cameron–Liebler line classes

Cameron–Liebler line classes are sets of lines in PG(3, q) that contain a fixed number x of lines of every spread. Cameron and Liebler classified Cameron–Liebler line classes for x ∈ {0, 1, 2, q² ? 1, q², q² + 1} and conjectured that no others exist. This conjecture was disproven by Drudge for q = 3 [8] and his counterexample was generalized to a counterexample for any odd q by Bruen and Drudge [4]. A counterexample for q even was found by Govaerts and Penttila [9]. Non‐existence results on Cameron–Liebler line classes were found for different values of x. In this article, we improve the non‐existence results on Cameron–Liebler line classes of Govaerts and Storme [11], for q not a prime. We prove the non‐existence of Cameron–Liebler line classes for 3 ≤ x < q/2. © 2007 Wiley Periodicals, Inc. J Combin Designs 16: 342–349, 2008     

The conformal plate buckling equation

The linear equation Δ²u = 1 for the infinitesimal buckling under uniform unit load of a thin elastic plate over ?² has the particularly interesting nonlinear generalization Δ_g²u = 1, where Δ_g = e^?2u Δ is the Laplace‐Beltrami operator for the metric g = e^2ug₀, with g₀ the standard Euclidean metric on ?². This conformal elliptic PDE of fourth order is equivalent to the nonlinear system of elliptic PDEs of second order Δu(x)+K_g(x) exp(2u(x)) = 0 and Δ K_g(x) + exp(2u(x)) = 0, with x ∈ ?², describing a conformally flat surface with a Gauss curvature function K_g that is generated self‐consistently through the metric's conformal factor. We study this conformal plate buckling equation under the hypotheses of finite integral curvature ∫ K_g exp(2u)dx = κ, finite area ∫ exp(2u)dx = α, and the mild compactness condition K₊ ∈ L¹(B₁(y)), uniformly w.r.t. y ∈ ?². We show that asymptotically for |x|→∞ all solutions behave like u(x) = ?(κ/2π)ln |x| + C + o(1) and K(x) = ?(α/2π) ln|x| + C + o(1), with κ ∈ (2π, 4π) and . We also show that for each κ ∈ (2π, 4π) there exists a K^* and a radially symmetric solution pair u, K, satisfying K(u) = κ and maxK = K^*, which is unique modulo translation of the origin, and scaling of x coupled with a translation of u. © 2001 John Wiley & Sons, Inc.     

Hitting time of a half-line by two-dimensional random walk

We consider the probability that a two-dimensional random walk starting from the origin never returns to the half-line {(x₁,x₂)|x₁0,x₂=0} before time n. It is proved that for aperiodic random walk with mean zero and finite 2+(>2)-th absolute moment, this probability times n^1/4 converges to some positive constant c^* as . We show that c^* is expressed by using the characteristic function of the increment of the random walk. For the simple random walk, this expression gives Mathematics Subject Classification (2000):60G50, 60E10     

Perturbation theory in large order

For many quantum mechanical models, the behavior of perturbation theory in large order is strikingly simple. For example, in the quantum anharmonic oscillator, which is defined by−″ + (x²/4+εx⁴/4−E)y=0, y(±∞)=0,the perturbation coefficients A_n in the expansion for the ground-state energysimplify dramatically as n → ∞:.We use the methods of applied mathematics to investigate the nature of perturbation theory in quantum mechanics and we show that its large-order behavior is determined by the semiclassical content of the theory. In quantum field theory the perturbation coefficients are computed by summing Feynman graphs. We present a statistical procedure in a simple λ⁴ model for summing the set of all graphs as the number of vertices → ∞. Finally, we discuss the connection between the large-order behavior of perturbation theory in quantum electrodynamics and the value of α, the charge on the electron.     

The evaluation of a quartic integral via Schwinger, Schur and Bessel

We provide additional methods for the evaluation of the integral

Surfaces with affine Gauss-Kronecker curvature zero

We classify surfaces with affine Gauss-Kronecker curvature zero in locally and globally. If x:M ? A³x:M \rightarrow A^3 is Euclidean complete and its affine conormal surface U:M ? \Bbb R³U:M \rightarrow \Bbb R^3 is complete, thenx(M) is an elliptic paraboloid or unimodular affine equivalent to a surface determined by equation x²₁-x²₂+C² x^2_1-x^2_2+C^2\,cos h²x₃=0\,\hbox {h}^2x_3=0 where x₂ \leqq Cx_2 \leqq C and C is a positive constant.     

On the shape of the ground state eigenvalue density of a random Hill's equation

Consider the Hill's operator Q = ?d²/dx² + q(x) in which q(x), 0 ≤ x ≤ 1, is a white noise. Denote by f(μ) the probability density function of ?λ₀(q), the negative of the ground state eigenvalue, at μ. We prove the detailed asymptotics as μ → + ∞. This result is based on a precise Laplace analysis of a functional integral representation for f(μ) established by S. Cambronero and H. P. McKean in 5 . © 2005 Wiley Periodicals, Inc.     

Small solutions of additive cubic congruences

We give a somewhat improved estimate for the smallest non-trivial solution of a cubic congruence of the form a₁ x₁³ + ?+ a_s x_s³ o 0  (mod  m)a_1 x_1^3 + \cdots + a_s x_s^3 \equiv 0 \,(\hbox {mod}\,\, m). This also yields new results about small fractional parts of additive cubic forms, where we restrict ourselves to the case of five variables.     

Partitions of finite vector spaces into subspaces

Let V_n(q) denote a vector space of dimension n over the field with q elements. A set of subspaces of V_n(q) is a partition of V_n(q) if every nonzero element of V_n(q) is contained in exactly one element of . Suppose there exists a partition of V_n(q) into x_i subspaces of dimension n_i, 1 ≤ i ≤ k. Then x₁, …, x_k satisfy the Diophantine equation . However, not every solution of the Diophantine equation corresponds to a partition of V_n(q). In this article, we show that there exists a partition of V_n(2) into x subspaces of dimension 3 and y subspaces of dimension 2 if and only if 7x + 3y = 2ⁿ ? 1 and y ≠ 1. In doing so, we introduce techniques useful in constructing further partitions. We also show that partitions of V_n(q) induce uniformly resolvable designs on qⁿ points. © 2007 Wiley Periodicals, Inc. J Combin Designs 16: 329–341, 2008     

The Helmholtz–Weyl decomposition in weighted Sobolev spaces

Let f∈L_{2, ? µ}(?³), where where x = (x₁, x₂, x₃) is the Cartesian system in ?³, x′ = (x₁, x₂), , µ∈?₊\?. We prove the decomposition f = ? ?u + g, with g divergence free and u is a solution to the problem in ?³ Given f∈L_{2, ? µ}(?³) we show the existence of u∈H(?³) such that where Since f, u, g are defined in ?³ we need a sufficiently fast decay of these functions as |x|→∞. Copyright © 2010 John Wiley & Sons, Ltd.     

On the distribution of integral points on cones

New results on the distribution of integral points on the cones

The magid-ryan conjecture for 4-dimensional affine spheres

In this paper we prove the Magid-Ryan conjecture for 4-dimensional affine hyperspheres in R⁵. This conjecture states that every affine hypersphere with non-zero Pick invariant and constant sectional curvature is affinely equivalent with either (x ₁ ² ±x ₂ ² )(x ₃ ² ±x ₄ ² ...(x _2m−1 ² ±x _2m ² ) = 1 or (x ₁ ² ±x ₂ ² (x ₃ ² ±x ₄ ² )...(x _2m−1 ² ±x _2m ² )x _2m+1 = 1 where the dimensionn satisfiesn = 2m orn =2m + 1. This conjecture was proved in [11] in case the metric is positive definite and in [2] in case the metric is Lorentzian.     

Influence of Fe3+ on perovskite oxides: La2/3Ca1/3Mn1-x Fe x O3

The structure and magnetoresistance properties in sintered samples of La_2/3Ca_1/3Mn_1-x Fe _x O₃(0≤x≤0.84) are studied by using Mössbauer spectroscopy, XRD and magnetic measurement. There are antiferromagnetic interactions between Fe and its nearest neighbors (Fe, Mn) when 0 <x ≤0.67, which are important factors influencing the double-exchange between Mn³⁺ and Mn⁴⁺, Curie temperature, magnetic moment and GMR. It is suggested that the Mn³⁺ (Fe³⁺) /Mn⁴⁺ system also consists of magnetic clusters with different sizes.