Compositions of sums of absolute powers

We obtain an explicit formula for then-dimensional volumes of certain bodies, calledoddballs hereinafter. An oddball is a bodyG = {x εR ⁿ :f(x) ≤ 1}, wheref:R ⁿ →R is anoddball function. Oddball functions are defined by way of the following construction: We begin with the class of functionsf of the formf(x ₁, ...,x _k ) = |x ₁|^α + |x ₂|^β + ... + |x _k|^γ. Herek may be any positive integer, and is not fixed. The Greek exponents are arbitrary positive real numbers. We extend this class by permitting any finite number of substitutions among functions in the class. Finally, we extend the substitution-enlarged class by permitting linear formsy _i = Σ _j b _ij x _j to replacex _i 's, the transformations being nonsingular. Thus, if det(b _ij ) ≠ 0, the oddball function $$f(x_1 ,x_2 ,x_3 ,x_4 ,x_5 ,x_6 ) = ((|y_1 |^\alpha + |y_2 |^\beta )^\tau + (|y_3 |^\gamma + |y_4 |^\phi + |y_5 |^\psi )^\delta )^\mu + |y_6 |^\eta $$ is a fairly typical example. We also consider the number of lattice points in certain types of oddballs, as well as their latticepacking densities. Neither do oddballs include thesuperballs discussed elsewhere by this and other authors, nor is every oddball a superball.     

A new class of integrable systems

This paper concerns the integrability of Hamiltonian systems with two degrees of freedom whose Hamiltonian has the form¶ H=¹/₂(x₁²+x₂²) +V(y₁,y₂) H={1\over2}(x_{1}^{2}+x_{2}^{2}) +V(y_{1},y_{2}) where¶¶ V(y₁,y₂)=¹/₂(a₁y₁²+a₂y₂²) + ¹/₄b₁y₁⁴ + ¹/₄b₂y₂⁴ + ¹/₂b₃y₁²y₂² + ?_k=1³g_k(y₁²+y₂²) ^k+2 V(y_{1},y_{2})={1\over2}\big(\alpha _{1}y_{1}^{2}+\alpha_{2}y_{2}^{2}\big) + {1\over4}\beta _{1}y_{1}^{4} + {1\over4}\beta_{2}y_{2}^{4} + {1\over2}\beta _{3}y_{1}^{2}y_{2}^{2} + \sum_{k=1}^{3}\gamma_{k}\big(y_{1}^{2}+y_{2}^{2}\big) ^{k+2} ¶¶ which, constitues a generalization of some well-known integrable systems. We give new values of the vector (a₁,a₂,b₁,b₂,b₃,g₁,g₂,g₃) (\alpha _{1},\alpha_{2},\beta _{1},\beta _{2},\beta _{3},\gamma _{1},\gamma _{2},\gamma _{3}) for which this system is completely integrable and we show that the system is linearized in the Jacobian variety Jac(G \Gamma ) of a smooth genus 2 hyperelliptic Riemann surface G \Gamma .     

Generalized normal form and the formal equivalence of systems with zero approximation (x 2 3 , — x 1 3 )

We consider formal systems of differential equations of the form

The Beckman-Quarles theorem for mappings from ℝ2 to $${\mathbb{F}}^2 $$ , where F is a subfield of a commutative field extending ℝ, where F is a subfield of a commutative field extending ℝ

Let F be a subfield of a commutative field extending ℝ. Let We say thatf : preserves distanced ≥ 0 if for eachx,y ∈ ℝ ∣x- y∣= d implies ϕ₂(f(x),f(y)) = d² . We prove that each unit-distance preserving mappingf : has a formI o (ρ,ρ), where is a field homomorphism and is an affine mapping with orthogonal linear part.     

Analogues to Fermat primes related to Pell��s equation

The coefficients of some weight 3 modular forms give reason to study primes of the form p = 2x ² ? 1 = 2dy ² + 1. If x _a , y _a are the positive solutions of Pell??s equation x ² ? dy ² = 1, given by ${x_a + y_a \sqrt{d} = (x_1 + y_1 \sqrt{d})^a}The coefficients of some weight 3 modular forms give reason to study primes of the form p = 2x ² − 1 = 2dy ² + 1. If x _a , y _a are the positive solutions of Pell’s equation x ² − dy ² = 1, given by x_a + y_a ?d = (x₁ + y₁ ?d)^a{x_a + y_a \sqrt{d} = (x_1 + y_1 \sqrt{d})^a}, and if p_a = 2 x_a² - 1{p_a = 2 x_a^2 - 1} is prime, then a = 2 ^m is a power of 2. So there are analogues to the Fermat numbers 2 ^a + 1.     

Solution of the Ulam Stability Problem for an Euler Type Quadratic Functional Equation

In 1968 S.M. Ulam proposed the problem: “When is it true that by changing a little the hypotheses of a theorem one can still assert that the thesis of the theorem remains true or approximately true?’’. In 1978 according to P.M. Gruber this kind of problems is of particular interest in probability theory and in the case of functional equations of different types. In 1997 W. Schuster established a new vector quadratic identity on the basis of the well-known Euler type theorem on quadrilaterals: If ABCD is a quadrilateral and M, N are the mid-points of the diagonals AC, BD as well as A′, B′, C′, D′ are the mid-points of the sides AB, BC, CD, DA, then |AB|² + |BC|² + |CD|² + |DA|² = 2|A′C′|² + 2|B′D′|² + 4|MN|². Employing in this paper the above geometric identity we introduce the new Euler type quadratic functional equation

$\begin{array}{l}2{[}Q(x_{0} - x_{1}+Q(x_{1}-x_{2})+Q(x_{2}- x_{3})+Q(x_{3}-x_{0}){]}\\\qquad = Q(x_{0}-x_{1}-x_{2}+x_{3})+Q(x_{0} + x_{1}-x_{2}-x_{3})+2Q(x_{0}-x_{1}+ x_{2}-x_{3})\end{array}$

for all vectors (x₀, x₁, x₂, x₃) X⁴, with X and Y linear spaces. For every x ∈ R set Q(x) = x². Then the mapping Q : X → Y is quadratic. Note also that if Q : R → R is quadratic, then we have Q(x) = Q(1)x². Besides note that the geometric interpretation of the special example

$\begin{array}{l}2{[}(x_{0} - x_{1})^{2}+ (x_{1}-x_{2})^{2}+ (x_{2}-x_{3})^{2}+(x_{3}-x_{0})^{2}{]}\\\qquad = (x_{0}-x_{1}-x_{2} + x_{3})^{2}+(x_{0} + x_{1}-x_{2}-x_{3})^{2} + 2(x_{0}-x_{1}+ x_{2}-x_{3})^{2}\end{array}$

leads to the above-mentioned Euler type theorem on quadrilaterals ABCD with position vectors x₀, x₁, x₂, x₃ of vertices A, B, C, D, respectively. Then we solve the Ulam stability problem for the afore-mentioned equation, with non-linear Euler type quadratic mappings Q : X → Y.

     

Central polynomials and matrix invariants

LetK be a field, charK=0 andM _n (K) the algebra ofn×n matrices overK. If λ=(λ₁,…,λ _m ) andμ=(μ ₁,…,μ _m ) are partitions ofn ² let wherex ₁,…,x _n ²,y ₁,…,y _n ² are noncommuting indeterminates andS _n ² is the symmetric group of degreen ². The polynomialsF ^{λ, μ} , when evaluated inM _n (K), take central values and we study the problem of classifying those partitions λ,μ for whichF ^{λ, μ} is a central polynomial (not a polynomial identity) forM _n (K). We give a formula that allows us to evaluateF ^{λ, μ} inM(K) in general and we prove that if λ andμ are not both derived in a suitable way from the partition δ=(1, 3,…, 2n−3, 2n−1), thenF ^{λ, μ} is a polynomial identity forM _n (K). As an application, we exhibit a new class of central polynomials forM _n (K). In memory of Shimshon Amitsur Research supported by a grant from MURST of Italy.     

On Transformations and Determinants of Wishart Variables on Symmetric Cones

Let x and y be independent Wishart random variables on a simple Jordan algebra V. If c is a given idempotent of V, write for the decomposition of x in where V(c,) equals the set of v such that cv=v. In this paper we compute E(det(ax+by)) and some generalizations of it (Theorems 5 and 6). We give the joint distribution of (x ₁, x ₁₂, y ₀) where and P is the quadratic representation in V. In statistics, if x is a real positive definite matrix divided into the blocks x ₁₁, x ₁₂, x ₂₁, x ₂₂, then y ₀ is equal to . We also compute the joint distribution of the eigenvalues of x (Theorem 9). These results have been known only when V is the algebra of Hermitian matrices with entries in the real or the complex field. To obtain our results, we need to prove several new results on determinants in Jordan algebras. They include in particular extensions of some classical parts of linear algebra like Leibnitz's determinant formula (Proposition 2) or Schur's complement (Eqs. (3.3) and (3.6)).     

Global asymptotic stability of a second-order system of difference equations

In this paper a sufficient condition is obtained for the global asymptotic stability of the following system of difference equations $$x_{n + 1} = \frac{{x_n y_{n - 1}^b + 1}} {{x_n + y_{n - 1}^b }}, y_{n + 1} = \frac{{y_n x_{n - 1}^b + 1}} {{y_n + x_{n - 1}^b }}n = 0,1,2 \ldots$$ where the parameter b ∈ [0, ∞) and the initial values (x _k , y _k ) ∈ (0, ∞) (for k = ?1, 0).     

Time periodic solutions to a nonlinear wave equation with <Emphasis Type="Italic">x</Emphasis>-dependent coefficients

In this paper, we study the problem of time periodic solutions to the nonlinear wave equation with x-dependent coefficients on under the boundary conditions a ₁ y(0, t)+b ₁ y _x (0, t) = 0, ( for i = 1, 2) and the periodic conditions y(x, t + T) = y(x, t), y _t (x, t + T) = y _t (x, t). Such a model arises from the forced vibrations of a bounded nonhomogeneous string and the propagation of seismic waves in nonisotropic media. For , we establish the existence of time periodic solutions in the weak sense by utilizing some important properties of the wave operator with x-dependent coefficients. This work was supported by the 985 Project of Jilin University, the Specialized Research Fund for the Doctoral Program of Higher Education, and the Science Research Foundation for Excellent Young Teachers of College of Mathematics at Jilin University.     

On initial conditions for a boundary stabilized hybrid Euler-Bernoulli beam

We consider here small flexural vibrations of an Euler-Bernoulli beam with a lumped mass at one end subject to viscous damping force while the other end is free and the system is set to motion with initial displacementy ⁰(x) and initial velocityy ¹ (x). By investigating the evolution of the motion by Laplace transform, it is proved (in dimensionless units of length and time) that

Thompson’s metric and global stability of difference equations

We apply the Thompson’s metric to study the global stability of the equilibium of the following difference equation

A continuous model for systems of complexity 2 on simple abelian groups

It is known that if p is a sufficiently large prime, then, for every function f: Z_p → [0, 1], there exists a continuous function f′: T → [0, 1] on the circle such that the averages of f and f′ across any prescribed system of linear forms of complexity 1 differ by at most ∈. This result follows from work of Sisask, building on Fourier-analytic arguments of Croot that answered a question of Green. We generalize this result to systems of complexity at most 2, replacing T with the torus T² equipped with a specific filtration. To this end, we use a notion of modelling for filtered nilmanifolds, that we define in terms of equidistributed maps and combine this notion with tools of quadratic Fourier analysis. Our results yield expressions on the torus for limits of combinatorial quantities involving systems of complexity 2 on Z_p. For instance, let m₄(α, Z_p) denote the minimum, over all sets A ? Z_p of cardinality at least αp, of the density of 4-term arithmetic progressions inside A. We show that limp→∞ m₄(α, Z_p) is equal to the infimum, over all continuous functions f: T₂ →[0, 1] with \({\smallint _{{T^2}}}f \geqslant a\), of the integral

$$\int_{{T^5}} {f\left( {\begin{array}{*{20}{c}}{{x_1}} \\ {{y_1}} \end{array}} \right)} f\left( {\begin{array}{*{20}{c}}{{x_1} + {x_2}} \\ {{y_1} + {y_2}} \end{array}} \right)f\left( {\begin{array}{*{20}{c}}{{x_1} + 2{x_2}} \\ {{y_1} + 2{y_2} + {y_3}} \end{array}} \right).f\left( {\begin{array}{*{20}{c}}{{x_1} + 3{x_2}} \\ {{y_1} + 3{y_2} = 3{y_3}} \end{array}} \right)d{\mu _{{T^5}}}({x_1},{x_2},{y_1},{y_2},{y_3})$$

     

Commutative Moufang loops and Bessel functions

LetF be a field. For eachk>1, letG be a finite group containing{x ₁,...,x _k }!×{y ₁,...,y _k}!. Then in the group algebraFG, $$co\dim _F \sum\limits_{j = 1}^{k - 1} {(1 + (x_j x_{j + 1} ))(1 + (y_j y_{j + 1} ))FG = \frac{{|G|}}{{2\pi i}}\oint\limits_{|z| = 1} {\frac{{dz}}{{J_0 (2\sqrt z )z^{k + 1} }}.} } $$ Connections with the theory of commutative Moufang loops are discussed, including a conjectured answer to Manin's problem of specifying the 3-rank of a finitely generated free commutative Moufang loop.     

Automorphisms of metacyclic groups

A metacyclic group H can be presented as 〈α,β: αⁿ = 1, β^m = α^t, βαβ^?1 = α^r〉 for some n, m, t, r. Each endomorphism σ of H is determined by \(\sigma(\alpha)=\alpha^{x_1}\beta^{y_1}, \sigma(\beta)=\alpha^{x_2}\beta^{y_2}\) for some integers x₁, x₂, y₁, y₂. We give sufficient and necessary conditions on x₁, x₂, y₁, y₂ for σ to be an automorphism.     

The Descent Monomials and a Basis for the Diagonally Symmetric Polynomials

Let R(X) = Q[x ₁, x ₂, ..., x _n] be the ring of polynomials in the variables X = {x ₁, x ₂, ..., x _n} and R*(X) denote the quotient of R(X) by the ideal generated by the elementary symmetric functions. Given a S _n, we let g In the late 1970s I. Gessel conjectured that these monomials, called the descent monomials, are a basis for R*(X). Actually, this result was known to Steinberg [10]. A. Garsia showed how it could be derived from the theory of Stanley-Reisner Rings [3]. Now let R(X, Y) denote the ring of polynomials in the variables X = {x ₁, x ₂, ..., x _n} and Y = {y ₁, y ₂, ..., y _n}. The diagonal action of S _n on polynomial P(X, Y) is defined as Let R (X, Y) be the subring of R(X, Y) which is invariant under the diagonal action. Let R *(X, Y) denote the quotient of R (X, Y) by the ideal generated by the elementary symmetric functions in X and the elementary symmetric functions in Y. Recently, A. Garsia in [4] and V. Reiner in [8] showed that a collection of polynomials closely related to the descent monomials are a basis for R *(X, Y). In this paper, the author gives elementary proofs of both theorems by constructing algorithms that show how to expand elements of R*(X) and R *(X, Y) in terms of their respective bases.     

Existence of a solution of a difference scheme for one variational problem

The problem of minimizing the functional (A) $${}_a\smallint ^b \varphi (x,y,y',y'')dx$$ under the conditions (B) $$y(a) = a_0 ,y'(a) = a_1 ,y(b) = b_0 ,y'(b) = b_1$$ is replaced by the problem of finding the vector (y₁,y₂,...,y_n?1) on which the sum (C) $$\sum\limits_{\kappa = 0}^n {C_\kappa \varphi (x_\kappa ,y_\kappa ,\left. {\frac{{y_{\kappa + 1} - y_\kappa }}{h},\frac{{y_{\kappa + 1} - 2y_\kappa + y_{\kappa + 1} )}}{{h^2 }}} \right)}$$ takes a minimal value. Under certain conditions on ? andC _k it is proved that a solution exists for the difference scheme constructed. The method of differentiation with respect to a parameter is used for the proof.     

An asymmetric inequality for non-homogeneous ternary quadratic forms

LetQ(x,y,z) be an indefinite ternary quadratic form of type (2,1) and determinantD(<0). Let 0≤t≤1/3 and \(f(t) = \frac{4}{{(1 + t)^2 (1 + 5t)}}\) . Then given any real numbersx ₀,y ₀,z ₀ there exist integersx,y,z satisfying $$ - t(f(t)|D|)^{{1 \mathord{\left/ {\vphantom {1 3}} \right. \kern-\nulldelimiterspace} 3}}< Q (x + x_0 ,y + y_0 ,z + z_0 ) \leqslant (f(t)|D|)^{{1 \mathord{\left/ {\vphantom {1 3}} \right. \kern-\nulldelimiterspace} 3}} $$ All the cases when equality holds are also obtained.     

C *-Ternary 3-Homomorphisms on C *-Ternary Algebras

In this paper, we investigate the Ulam-Hyers stability of C ^*-ternary algebra 3-homomorphisms for the functional equation $$f(x_1 + x_2 + x_3, y_1 + y_2 + y_3, z_1 + z_2 + z_3) = \sum_{1\leq i,j,k\leq 3} f(x_i, y_j, z_k)$$ in C ^*-ternary algebras.     

Global L p estimates for degenerate Ornstein–Uhlenbeck operators

We consider a class of degenerate Ornstein–Uhlenbeck operators in ${\mathbb{R}^{N}}We consider a class of degenerate Ornstein–Uhlenbeck operators in \mathbbR^N{\mathbb{R}^{N}} , of the kind

A o ?i, j=1p0aij?xixj2 + ?i, j=1Nbijxi?xj\mathcal{A}\equiv\sum_{i, j=1}^{p_{0}}a_{ij}\partial_{x_{i}x_{j}}^{2} + \sum_{i, j=1}^{N}b_{ij}x_{i}\partial_{x_{j}}