Homogeneous tri-additive forms and derivations

Gleason [A.M. Gleason, The definition of a quadratic form, Amer. Math. Monthly 73 (1966) 1049-1066] determined all functionals Q on K-vector spaces satisfying the parallelogram law Q(x+y)+Q(x-y)=2Q(x)+2Q(y) and the homogeneity Q(λx)=λ²Q(x). Associated with Q is a unique symmetric bi-additive form S such that Q(x)=S(x,x) and 4S(x,y)=Q(x+y)-Q(x-y). Homogeneity of Q corresponds to that of S: S(λx,λy)=λ²S(x,y). The associated S is not necessarily bi-linear.Let V be a vector space over a field K, char(K)≠2,3. A tri-additive form T on V is a map of V³ into K that is additive in each of its three variables. T is homogeneous of degree 3 if T(λx,λy,λz)=λ³T(x,y,z) for all .We determine the structure of tri-additive forms that are homogeneous of degree 3. One of the keys to this investigation is to find the general solution of the functional equation

F(t)+t³G(1/t)=0,     

Google PageRanking problem: The model and the analysis

The spectral and Jordan structures of the Web hyperlink matrix G(c)=cG+(1−c)ev^T have been analyzed when G is the basic (stochastic) Google matrix, c is a real parameter such that 0<c<1, v is a nonnegative probability vector, and e is the all-ones vector. Typical studies have relied heavily on special properties of nonnegative, positive, and stochastic matrices. There is a unique nonnegative vector y(c) such that y(c)^TG(c)=y(c)^T and y(c)^Te=1. This PageRank vector y(c) can be computed effectively by the power method.We consider a square complex matrix A and nonzero complex vectors x and v such that Ax=λx and v^∗x=1. We use standard matrix analytic tools to determine the eigenvalues, the Jordan blocks, and a distinguished left λ-eigenvector of A(c)=cA+(1−c)λxv^∗ as a function of a complex variable c. If λ is a semisimple eigenvalue of A, there is a uniquely determined projection N such that lim_c→1y(c)=Nv for all v; this limit may fail to exist for some v if λ is not semisimple. As a special case of our results, we obtain a complex analog of PageRank for the Web hyperlink matrix G(c) with a complex parameter c. We study regularity, limits, expansions, and conditioning of y(c) and we propose algorithms (e.g., complex extrapolation, power method on a modified matrix etc.) that may provide an efficient way to compute PageRank also with c close or equal to 1. An interpretation of the limit vector Nv and a related critical discussion on the model, on its adherence to reality, and possible ways for its improvement, represent the contribution of the paper on modeling issues.     

An algebraic structure for Faber polynomials

Let Σ be the set of functions, convergent for all |z|>1, with a Laurent series of the form f(z)=z+∑_n?0a_nz^-n. In this paper, we prove that the set of Faber polynomial sequences over Σ and the set of their normalized kth derivative sequences form groups which are isomorphic to the hitting time subgroup and the Bell^(k) subgroup of the Riordan group, respectively. Further, a relationship between such Faber polynomial sequences and Lucas and Sheffer polynomial sequences is derived.     

Equations fonctionnelles et estimations de normes de matrices

We solve independently the equations 1/θ(x)θ(y)=ψ(x)−ψ(y)+φ(x−y)/θ(x−y) and 1/θ(x)θ(y)=σ(x)−σ(y)/θ(x−y)+τ(x)τ(y), τ(0)=0. In both cases we find θ²=aθ⁴+bθ²+c. We deduce estimates for the spectral radius of a matrix of type(1/θ(x _r −x _s )) (the accent meaning that the coefficients of the main diagonal are zero) and we study the case where thex _r are equidistant.

Dédié to à Monsieur le Professeur Otto Haupt à l'occasion de son cententiare avec les meilleurs voeux     

On solvability of two-dimensional Lp-Minkowski problem

Given p≠0 and a positive continuous function g, with g(x+T)=g(x), for some 0<T<1 and all real x, it is shown that for suitable choice of a constant C>0 the functional has a minimizer in the class of positive functions u∈C¹(R) for which u(x+T)=u(x) for all x∈R. This minimizer is used to prove the existence of a positive periodic solution y∈C²(R) of two-dimensional L_p-Minkowski problem y^1−p(x)(y″(x)+y(x))=g(x), where p∉{0,2}.     

On bilinear maps determined by rank one matrices with some applications

Let M_n be the algebra of all n×n matrix over a field F, A a rank one matrix in M_n. In this article it is shown that if a bilinear map ? from M_n×M_n to M_n satisfies the condition that ?(u,v)=?(I,A) whenever u·v=A, then there exists a linear map φ from M_n to M_n such that . If ? is further assumed to be symmetric then there exists a matrix B such that ?(x,y)=tr(xy)B for all x,y∈M_n. Applying the main result we prove that if a linear map on M_n is desirable at a rank one matrix then it is a derivation, and if an invertible linear map on M_n is automorphisable at a rank one matrix then it is an automorphism. In other words, each rank one matrix in M_n is an all-desirable point and an all-automorphisable point, respectively.     

Controllability of the second-order differential inclusion in Banach spaces

The purpose of this paper is to study the controllability for the second-order differential inclusion in Banach spaces. We rely on a fixed point theorem for condensing maps due to Martelli. We consider the damping term x′(·) and find a control u such that the solution satisfies x(T)=x¹ and x′(T)=y¹.     

On weak orbits of operators

Let T be a completely nonunitary contraction on a Hilbert space H with r(T)=1. Let an>0, an→0. Then there exists x∈H with |〈Tnx,x〉|?an for all n. We construct a unitary operator without this property. This gives a negative answer to a problem of van Neerven.     

Periodic solutions to one-dimensional wave equation with x-dependent coefficients

In this paper, we study the nonlinear one-dimensional periodic wave equation with x-dependent coefficients u(x)ytt−(ux(x)yx)+g(x,t,y)=f(x,t) on (0,π)×R under the boundary conditions a₁y(0,t)+b₁yx(0,t)=0, a₂y(π,t)+b₂yx(π,t)=0 ( for i=1,2) and the periodic conditions y(x,t+T)=y(x,t), yt(x,t+T)=yt(x,t). Such a model arises from the forced vibrations of a nonhomogeneous string and the propagation of seismic waves in nonisotropic media. A main concept is the notion “weak solution” to be given in Section 2. For T is the rational multiple of π, we prove some important properties of the weak solution operator. Based on these properties, the existence and regularity of weak solutions are obtained.     

Isomorphisms between unital C-algebras

It is shown that every almost linear bijection of a unital C^∗-algebra A onto a unital C^∗-algebra B is a C^∗-algebra isomorphism when h(n²uy)=h(n²u)h(y) for all unitaries u∈A, all y∈A, and n=0,1,2,…, and that almost linear continuous bijection of a unital C^∗-algebra A of real rank zero onto a unital C^∗-algebra B is a C^∗-algebra isomorphism when h(n²uy)=h(n²u)h(y) for all , all y∈A, and n=0,1,2,…. Assume that X and Y are left normed modules over a unital C^∗-algebra A. It is shown that every surjective isometry , satisfying T(0)=0 and T(ux)=uT(x) for all x∈X and all unitaries u∈A, is an A-linear isomorphism. This is applied to investigate C^∗-algebra isomorphisms between unital C^∗-algebras.     

Maximum nullity of outerplanar graphs and the path cover number

Let G=(V,E) be a graph with V={1,2,…,n}. Define S(G) as the set of all n×n real-valued symmetric matrices A=[a_ij] with a_ij≠0,i≠j if and only if ij∈E. By M(G) we denote the largest possible nullity of any matrix A∈S(G). The path cover number of a graph G, denoted P(G), is the minimum number of vertex disjoint paths occurring as induced subgraphs of G which cover all the vertices of G.There has been some success with relating the path cover number of a graph to its maximum nullity. Johnson and Duarte [5], have shown that for a tree T,M(T)=P(T). Barioli et al. [2], show that for a unicyclic graph G,M(G)=P(G) or M(G)=P(G)-1. Notice that both families of graphs are outerplanar. We show that for any outerplanar graph G,M(G)?P(G). Further we show that for any partial 2-path G,M(G)=P(G).     

Scalar conservation laws with general boundary condition and continuous flux function

We introduce a notion of entropy solution for a scalar conservation law on a bounded domain with nonhomogeneous boundary condition: ut+divΦ(u)=f on Q=(0,T)×Ω, u(0,⋅)=u₀ on Ω and “u=a on some part of the boundary (0,T)×∂Ω.” Existence and uniqueness of the entropy solution is established for any Φ∈C(R;RN), u₀∈L^∞(Ω), f∈L^∞(Q), a∈L^∞((0,T)×∂Ω). In the L¹-setting, a corresponding result is proved for the more general notion of renormalised entropy solution.     

Properties of the period function for some Hamiltonian systems and homogeneous solutions of a semilinear elliptic equation

In this work we study the period function T of solutions to the conservative equation x^″(t)+f(x(t))=0. We present conditions on f that imply the monotonicity and convexity of T. As a consequence we obtain the criterium established by C. Chicone and find conditions easier to apply. We also get a condition obtained by Cima, Gasull and Mañosas about monotonicity and, following some of their calculations, present results on the period function of Hamiltonian systems where H(x,y)=F(x)+n^-1|y|ⁿ. Using the monotonicity of T, we count the homogeneous solutions to the semilinear elliptic equation Δu=γu^γ-1 in two dimensions.     

Positive and dead core solutions of singular BVPs for third-order differential equations

The paper discusses the existence of positive and dead core solutions of the singular differential equation (?(u^″))^′=λf(t,u,u^′,u^″) satisfying the boundary conditions u(0)=A, u(T)=A, min{u(t):t∈[0,T]}=0. Here λ is a nonnegative parameter, A is a positive constant and the Carathéodory function f(t,x,y,z) is singular at the value 0 of its space variable y.     

Existence and asymptotic behavior for elliptic equations with singular anisotropic potentials

We study the equation Δu+u|u|^p−1+V(x)u+f(x)=0 in Rn, where n?3 and p>n/(n−2). The forcing term f and the potential V can be singular at zero, change sign and decay polynomially at infinity. We can consider anisotropic potentials of form h(x)|x|⁻² where h is not purely angular. We obtain solutions u which blow up at the origin and do not belong to any Lebesgue space Lr. Also, u is positive and radial, in case f and V are. Asymptotic stability properties of solutions, their behavior near the singularity, and decay are addressed.     

On the numerical characterization of the reachability cone for an essentially nonnegative matrix

Given an n×n real matrix A with nonnegative off-diagonal entries, the solution to , x₀=x(0), t?0 is x(t)=e^tAx₀. The problem of identifying the initial points x₀ for which x(t) becomes and remains entrywise nonnegative is considered. It is known that such x₀ are exactly those vectors for which the iterates x^(k)=(I+hA)^kx₀ become and remain nonnegative, where h is a positive, not necessarily small parameter that depends on the diagonal entries of A. In this paper, this characterization of initial points is extended to a numerical test when A is irreducible: if x^(k) becomes and remains positive, then so does x(t); if x(t) fails to become and remain positive, then either x^(k) becomes and remains negative or it always has a negative and a positive entry. Due to round-off errors, the latter case manifests itself numerically by x^(k) converging with a relatively small convergence ratio to a positive or a negative vector. An algorithm implementing this test is provided, along with its numerical analysis and examples. The reducible case is also discussed and a similar test is described.     

Bijective linear maps on semimodules spanned by Boolean matrices of fixed rank

Let M_m,n(B) be the semimodule of all m×n Boolean matrices where B is the Boolean algebra with two elements. Let k be a positive integer such that 2?k?min(m,n). Let B(m,n,k) denote the subsemimodule of M_m,n(B) spanned by the set of all rank k matrices. We show that if T is a bijective linear mapping on B(m,n,k), then there exist permutation matrices P and Q such that T(A)=PAQ for all A∈B(m,n,k) or m=n and T(A)=PA^tQ for all A∈B(m,n,k). This result follows from a more general theorem we prove concerning the structure of linear mappings on B(m,n,k) that preserve both the weight of each matrix and rank one matrices of weight k². Here the weight of a Boolean matrix is the number of its nonzero entries.     

The iterated Aluthge transforms of a matrix converge

Given an r×r complex matrix T, if T=U|T| is the polar decomposition of T, then, the Aluthge transform is defined byΔ(T)=|T|^1/2U|T|^1/2. Let Δn(T) denote the n-times iterated Aluthge transform of T, i.e., Δ⁰(T)=T and Δn(T)=Δ(Δn−1(T)), n∈N. We prove that the sequence {Δn(T)}_n∈N converges for every r×r matrix T. This result was conjectured by Jung, Ko and Pearcy in 2003. We also analyze the regularity of the limit function.     

Idempotent elements determined matrix algebras

Let M_n(R) be the algebra of all n×n matrices over a unital commutative ring R with 2 invertible, V be an R-module. It is shown in this article that, if a symmetric bilinear map {·,·} from M_n(R)×M_n(R) to V satisfies the condition that {u,u}={e,u} whenever u²=u, then there exists a linear map f from M_n(R) to V such that . Applying the main result we prove that an invertible linear transformation θ on M_n(R) preserves idempotent matrices if and only if it is a Jordan automorphism, and a linear transformation δ on M_n(R) is a Jordan derivation if and only if it is Jordan derivable at all idempotent points.     

Points d’évaluation pour les opérateurs cycliques ayant la propriété de Bishop (β)

Let T be a linear bounded cyclic operator in a separable complex Hilbert space H. Let B(T) and B_a(T) denote, respectively, the set of bounded point evaluation and the set of analytic point evaluation of T. We show that if T has the Bishop property (β), then B_a(T)=B(T)?σ_ap(T), where σ_ap(T) is the approximate spectrum of T. In the particular case when T is an operator of multiplication by z in a Hardy space this was proved by Trent (Pacific J. Math. 80 (1979) 279). On the other hand, using the generalized and the local spectral theory we obtain sufficient conditions on B_a(T) under which the spectrum of T and the local spectrum of T at any y≠0 in H coincide. At the end results involving the spectral picture of quasi-similar cyclic operators are given.