Operator Aczél inequality

We establish several operator versions of the classical Aczél inequality. One of operator versions deals with the weighted operator geometric mean and another is related to the positive sesquilinear forms. Some applications including the unital positive linear maps on C^*-algebras and the unitarily invariant norms on matrices are presented.     

Quantum Fields as Pointlike Localized Objects,II

A class of quantum fields on a KREǐN space is considered. It is shown that these quantum fields are well defined objects at each space-time point in the meaning of sesquilinear forms. Conversely, it is proved that a special class of sesquilinear forms defines quantum fields on a KREǐN space.     

The number of equivalence classes of nondegenerate bilinear and sesquilinear forms over a finite field

Generating functions in the form of infinite products are given for the number of equivalence classes of nondegenerate sesquilinear forms of rank n over GF(q²) and for the number of equivalence (or congruence) classes of nondegenerate bilinear forms of rank n over GF(q).     

Representable Linear Functionals on Partial *-Algebras

A GNS-like *-representation of a partial *-algebra \mathfrak A{{\mathfrak A}} defined by certain representable linear functionals on \mathfrak A{{\mathfrak A}} is constructed. The study of the interplay with the GNS construction associated with invariant positive sesquilinear forms (ips) leads to the notions of pre-core and of singular form. It is shown that a positive sesquilinear form with pre-core always decomposes into the sum of an ips form and a singular one.     

Quantum field theoretic properties of a model of Nelson: Domain and eigenvector stability for perturbed linear operators

The Yukawa-like interaction of a nonrelativistic “nucleon” field with a relativistic “meson” field is studied. E. Nelson defined a self-adjoint Hamiltonian for this model, using an approximate dressing transformation to transform the standard high-momentum cutoff Hamiltonian H_κ into an operator H₀ + A_κ + E_κ, where E_κ is the divergent nucleon self-interaction part which is removed and A_κ is controled κ-uniformly as a sesquilinear form perturbation of H₀; so H_ren is defined to transform to H₀ + A_∞. In the present work it is proved that the model has some of the main properties that are familiar in the axiomatic approach to quantum fields. Vacuum expectation values are proved to exist and satisfy the axioms of Wightman, except for Lorentz covariance. In the case of a small coupling constant, “physical nucleon” one-particle states are constructed and the “one-body problem” of Haag is solved. These field theoretic properties are translated into domain and spectral stability properties for the perturbed operator H₀ + A_∞. Stability theory for perturbations by sesquilinear forms is presented in an Appendix, with a number of new techniques.     

Maximal sectorial extensions and closed forms associated with them

We describe all closed sesquilinear forms associated with m-sectorial extensions of a densely defined sectorial operator with vertex at the origin.     

On Jaffe Fields at a Point and Algebras of Local Observables

It is shown that JAFFE fields exist at each space-time point in the sense of sesquilinear forms. The connection between JAFFE fields and algebras of local observables is investigated. An example of a proper JAFFE field is given.     

Modular Sesquilinear Forms and Generalized Stinespring Representation

We consider completely positive maps defined on locally C*-algebra and taking values in the space of sesquilinear forms on Hilbert C*-module M. We construct the Stinespring type representation for this type of maps and show that any two minimal Stinespring representations are unitarily equivalent.     

On the structure of a cone of normal unbounded completely positive maps

The paper suggests a constructive characterization of unbounded completely positive maps introduced earlier by Chebotarev for the theory of quantum dynamical semigroups. We prove that such cones are generated by a positive self-adjoint “reference” operator ΛεB(H) as follows: for any completely positive unbounded map Ф(·)εCPn*(F) these exists a completely positive normal bounded mapR(·)εCPn(H) such that ϕ(·)=ΛR(·)Λ. The class contains mappings that are unclosable sesquilinear forms. Translated fromMatematicheskie Zametki, Vol. 65, No. 2, pp. 194–205, February, 1999.     

Q-curves of degree 5 and jacobian surfaces of GL2-type

We construct a parametric family {E ^(±)(s,t,u)} of minimal Q-curves of degree 5 over the quadratic fields Q , and the family {C(s,t,u)} of genus two curves over Q covering E ^{(+)(s,t,u) whose jacobians are abelian surfaces of GL₂-type. We also discuss the modularity for them and the sign change between E ^{(+)(s,t,u) and its twist E ⁽⁻⁾(s,t,u), which correspond by modularity to cusp forms of trivial and non-trivial Neben type characters, respectively. We find in {C(s,t,u)} concrete equations of curves over Q whose jacobians are isogenous over cyclic quartic fields to Shimura's abelian surfaces A _f attached to cusp forms of Neben type character of level N= 29, 229, 349, 461, and 509. Received: 23 September 1997 / Revised version: 26 May 1998     

The Kato Conjecture for Elliptic Differential-Difference Operators with Degeneration in a Cylinder

Second-order elliptic differential-difference operators with degeneration in a cylinder associated with closed densely defined sectorial sesquilinear forms in L₂(Q) are considered. These operators are proved to satisfy the Kato conjecture on the square root of an operator.     

Error Estimates for Discretized Quantum Stochastic Differential Inclusions

Abstract

This paper is concerned with the error estimates involved in the solution of a discrete approximation of a quantum stochastic differential inclusion (QSDI). Our main results rely on certain properties of the averaged modulus of continuity for multivalued sesquilinear forms associated with QSDI. We obtained results concerning the estimates of the Hausdorff distance between the set of solutions of the QSDI and the set of solutions of its discrete approximation. This extends the results of Dontchev and Farkhi Dontchev, A.L.; Farkhi, E.M. (Error estimates for discre‐ tized differential inclusions. Computing 1989, 41, 349–358) concerning classical differential inclusions to the present noncommutative quantum setting involving inclusions in certain locally convex space.     

Canonical matrices of bilinear and sesquilinear forms

Canonical matrices are given for

(i)

bilinear forms over an algebraically closed or real closed field;

(ii)

sesquilinear forms over an algebraically closed field and over real quaternions with any nonidentity involution; and

(iii)

sesquilinear forms over a field F of characteristic different from 2 with involution (possibly, the identity) up to classification of Hermitian forms over finite extensions of F; the canonical matrices are based on any given set of canonical matrices for similarity over F.

A method for reducing the problem of classifying systems of forms and linear mappings to the problem of classifying systems of linear mappings is used to construct the canonical matrices. This method has its origins in representation theory and was devised in [V.V. Sergeichuk, Classification problems for systems of forms and linear mappings, Math. USSR-Izv. 31 (1988) 481-501].     

Analysis of a FitzHugh–Nagumo–Rall model of a neuronal network

Pursuing an investigation started in (Math. Meth. Appl. Sci. 2007; 30 :681–706), we consider a generalization of the FitzHugh–Nagumo model for the propagation of impulses in a network of nerve fibres. To this aim, we consider a whole neuronal network that includes models for axons, somata, dendrites, and synapses (of both inhibitory and excitatory type). We investigate separately the linear part by means of sesquilinear forms, in order to obtain well posedness and some qualitative properties. Once they are obtained, we perturb the linear problem by a nonlinear term and we prove existence of local solutions. Qualitative properties with biological meaning are also investigated. Copyright © 2007 John Wiley & Sons, Ltd.     

Frequency and Time Domain Analysis of an Aeroelastic Wing Multiple Component Structure

A multiple component structure consisting of two Euler-Bernoulli beams connected to a rigid mass is used to model the heave dynamics of a wing micro air vehicle. In the time domain, the attainment of a C ₀-semigroup in the context of sesquilinear forms is demonstrated. In addition, the closed loop system is demonstrated to generate an exponentially stable C ₀-semigroup. In the frequency domain, the infinite dimensional transfer function is determined and used to examine several properties of the system. Finally, an optimal control is used to morph the wings to a desired shape, and simulation results are demonstrated.     

On the index of finite determinacy of vector fields with resonances

In this paper we study normal forms for a class of germs of 1-resonant vector fields on R^n with mutually different eigenvalues which may admit extraneous resonance relations. We give an estimation on the index of finite determinacy from above as well as the essentially simplified polynomial normal forms for such vector fields. In the case that a vector field has a zero eigenvalue, the result leads to an interesting corollary, a linear dependence of the derivatives of the hyperbolic variables on the central variable.     

Vector fields with stable shadowable property on closed surfaces

We prove that the set of vector fields satisfying the C1 stable shadowable property on closed surfaces is characterized as the set of Morse-Smale vector fields. Hence, the vector fields satisfying shadowing property on closed surfaces are C1 dense.     

Burgess Inequality In {\mathbb {F}_{p^2}}

The purpose of the paper is to present new estimates on incomplete character sums in finite fields that are of the strength of Burgess’ celebrated theorem for prime fields. More precisely, an inequality of this type is obtained in F_p²{F_{p^2}} and also for binary quadratic forms, improving on the work of Davenport–Lewis and on several results due to Burgess. The arguments are based on new estimates for the multiplicative energy of certain sets that allow us to improve the amplification step in Burgess’ method.     

Splitting Patterns and Invariants of Quadratic Forms

Let φ be an anisotropic quadratic form over a field F of characteristic not 2. The splitting pattern of φ is defined to be the increasing sequence of nonnegative integers obtained by considering the Witt indices i_W(φ_k) of φ over K where K ranges over all field extensions of F. Restating earlier results by HURRELBRINK and REHMANN , we show how the index of the Clifford algebra of φ influences the splitting pattern. In the case where F is formally real, we investigate how the signatures of φ influence the splitting behaviour. This enables us to construct certain splitting patterns which have been known to exist, but now over much “simpler” fields like formally real global fields or ?(t). We also give a full classification of splitting patterns of forms of dimension less than or equal to 9 in terms of properties of the determinant and Clifford invariant. Partial results for splitting patterns in dimensions 10 and 11 are also provided. Finally, we consider two anisotropic forms φ and φ of the same dimension m with φ ? ? φ ∈ Iⁿ F and give some bounds on m depending on n which assure that they have the same splitting pattern.     

Approximation by Maxwell–Herglotz‐fields

By a general argument, it is shown that Maxwell–Herglotz‐fields are dense (with respect to the C^∞(Ω)‐topology) in the space of all solutions to Maxwell's equations in Ω. This is used to provide corresponding approximation results in global spaces (e.g. in L²‐Sobolev‐spaces H^m(Ω)) and for boundary data. Proofs are given within the framework of generalized Maxwell's equations using differential forms. Copyright © 2004 John Wiley & Sons, Ltd.