Decomposition of Completely Positive Maps

The paper is concerned with completely positive maps on the algebra of unbounded operatore L+(D) and on its completion L(D, D⁺). A decomposition theorem for continuous positive functionals is proved in [Tim. Loef.), and [Scholz 91] contains a generalization to maps into operator algebra on finite dimensional Hilbert spaces H₀. The aim of the present paper is to construct an analogous decomposition without the assumption that H₀ is finite dimensional. Moreover, the Kraus - theorem [Kraus] is proved for normal completely positive mappings on L(D, D⁺). The paper is organized as follows. Section 1 contains the necessary definitions and notations. In Section 2 we prove the decomposition theorem. Section 3 deal with the structure of the normal completely positive mappings.     

Gauss‐Green theorem for weakly differentiable vector fields,sets of finite perimeter,and balance laws

We analyze a class of weakly differentiable vector fields F : ?ⁿ → ?ⁿ with the property that F ∈ L^∞ and div F is a (signed) Radon measure. These fields are called bounded divergence‐measure fields. The primary focus of our investigation is to introduce a suitable notion of the normal trace of any divergence‐measure field F over the boundary of an arbitrary set of finite perimeter that ensures the validity of the Gauss‐Green theorem. To achieve this, we first establish a fundamental approximation theorem which states that, given a (signed) Radon measure μ that is absolutely continuous with respect to ??^{N ? 1} on ?^N, any set of finite perimeter can be approximated by a family of sets with smooth boundary essentially from the measure‐theoretic interior of the set with respect to the measure ||μ||, the total variation measure. We employ this approximation theorem to derive the normal trace of F on the boundary of any set of finite perimeter E as the limit of the normal traces of F on the boundaries of the approximate sets with smooth boundary so that the Gauss‐Green theorem for F holds on E. With these results, we analyze the Cauchy flux that is bounded by a nonnegative Radon measure over any oriented surface (i.e., an (N ? 1)‐dimensional surface that is a part of the boundary of a set of finite perimeter) and thereby develop a general mathematical formulation of the physical principle of the balance law through the Cauchy flux. Finally, we apply this framework to the derivation of systems of balance laws with measure‐valued source terms from the formulation of the balance law. This framework also allows the recovery of Cauchy entropy flux through the Lax entropy inequality for entropy solutions of hyperbolic conservation laws. © 2008 Wiley Periodicals, Inc.     

A least-squares finite element method based on the Helmholtz decomposition for hyperbolic balance laws

In this paper, a least-squares finite element method for scalar nonlinear hyperbolic balance laws is proposed and studied. The approach is based on a formulation that utilizes an appropriate Helmholtz decomposition of the flux vector and is related to the standard notion of a weak solution. This relationship, together with a corresponding connection to negative-norm least-squares, is described in detail. As a consequence, an important numerical conservation theorem is obtained, similar to the famous Lax–Wendroff theorem. The numerical conservation properties of the method in this paper do not fall precisely in the framework introduced by Lax and Wendroff, but they are similar in spirit as they guarantee that when L² convergence holds, the resulting approximations approach a weak solution to the hyperbolic problem. The least-squares functional is continuous and coercive in an H⁻¹-type norm, but not L²-coercive. Nevertheless, the L² convergence properties of the method are discussed. Convergence can be obtained either by an explicit regularization of the functional, that provides control of the L² norm, or by properly choosing the finite element spaces, providing implicit control of the L² norm. Numerical results for the inviscid Burgers equation with discontinuous source terms are shown, demonstrating the L² convergence of the obtained approximations to the physically admissible solution. The numerical method utilizes a least-squares functional, minimized on finite element spaces, and a Gauss–Newton technique with nested iteration. We believe that the linear systems encountered with this formulation are amenable to multigrid techniques and combining the method with adaptive mesh refinement would make this approach an efficient tool for solving balance laws (this is the focus of a future study).     

Notes on the Kernels of Locally Finite Higher Derivations in Polynomial Rings

Let A = k^[3] be the polynomial ring in three variables over a field k, and let D be a nontrivial locally finite iterative higher derivation on A. Let A^D denote the kernel of D. In this note, we prove that, if chark > 0 and ML(A^D) ≠ A^D, then A^D ? k^[2]. As a consequence of this result, we give another proof of the cancellation theorem for k^[2] over any field k of positive characteristic.     

Superstability of the generalized orthogonality equation on restricted domains

Chmielinski has proved in the paper [4] the superstability of the generalized orthogonality equation |〈f(x), f(y)〉| = |〈x,y〉|. In this paper, we will extend the result of Chmielinski by proving a theorem: LetD _n be a suitable subset of ℝⁿ. If a function f:D _n → ℝⁿ satisfies the inequality ∥〈f(x), f(y)〉| |〈x,y〉∥ ≤ φ(x,y) for an appropriate control function φ(x, y) and for allx, y ∈ D _n, thenf satisfies the generalized orthogonality equation for anyx, y ∈ D _n.     

A characterization of hyperelliptic Jacobians

In this paper we will prove a criterion for hyperelliptic Jacobians. LetD be a translation invariant vector field on an indecompssable principally polarized abelian variety (i.p.p.a.v.) (X, Θ), letDΘ be the divisor of the sectionDΘ∈H ⁰ (Θ,O(Θ)|Θ). We have that (X, Θ) is the Jacobian of an hyperelliptic curve iff (Theorem 1) all the component ofDΘ are non reduced and the singular locus of Θ has dimension less thang-2. We will prove our theorem by showing that under the above geometrical condition it is possible to construct a Kodomcev-Petviashvili (K.P.) equation which is satisfied by the theta function corresponding to the principal polarization onX.     

Backward Perturbation Analysis for the Matrix Equation A~TXA+B~TYB=D

Consider the linear matrix equation A~TXA + B~TYB = D,where A,B are n X n real matrices and D symmetric positive semi-definite matrix.In this paper,the normwise backward perturbation bounds for the solution of the equation are derived by applying the Brouwer fixed-point theorem and the singular value decomposition as well as the property of Kronecker product.The results are illustrated by two simple numerical examples.     

Differential transformations of parabolic second-order operators in the plane

Darboux’s classical results about transformations of second-order hyperbolic equations by means of differential substitutions are extended to the case of parabolic equations of the form Lu = (D _x ² + a(x, y)D _x + b(x, y)D _y + c(x, y))u = 0. We prove a general theorem that provides a way to determine admissible differential substitutions for such parabolic equations. It turns out that higher order transforming operators can always be represented as a composition of first-order operators that define a series of consecutive transformations. The existence of inverse transformations imposes some differential constrains on the coefficients of the initial operator. We show that these constraints may imply famous integrable equations, in particular, the Boussinesq equation.     

On the Hasse principle for Shimura curves

Let C be an algebraic curve defined over a number field K, of positive genus and without K-rational points. We conjecture that there exists some extension field L over which C has points everywhere locally but not globally. We show that our conjecture holds for all but finitely many Shimura curves of the form X ₀ ^D (N)_/ℚ or X ₁ ^D (N)_/ℚ, where D > 1 and N are coprime squarefree positive integers. The proof uses a variation on a theorem of Frey, a gonality bound of Abramovich, and an analysis of local points of small degree.     

Delay moments for FIFO GI/GI/s queues

For stable FIFO GI/GI/s queues, s ≥ 2, we show that finite (k+1)st moment of service time, S, is not in general necessary for finite kth moment of steady-state customer delay, D, thus weakening some classical conditions of Kiefer and Wolfowitz (1956). Further, we demonstrate that the conditions required for E[D ^k]<∞ are closely related to the magnitude of traffic intensity ρ (defined to be the ratio of the expected service time to the expected interarrival time). In particular, if ρ is less than the integer part of s/2, then E[D] < ∞ if E[S^3/2]<∞, and E[D^k]<∞ if E[S^k]<∞, ^k≥ 2. On the other hand, if s-1 < ρ < s, then E[D^k]<∞ if and only if E[S^k+1]<∞, k ≥ 1. Our method of proof involves three key elements: a novel recursion for delay which reduces the problem to that of a reflected random walk with dependent increments, a new theorem for proving the existence of finite moments of the steady-state distribution of reflected random walks with stationary increments, and use of the classic Kiefer and Wolfowitz conditions. This revised version was published online in June 2006 with corrections to the Cover Date.     

Steady transonic shocks and free boundary problems in infinite cylinders for the Euler equations

We establish the existence and stability of multidimensional transonic shocks (hyperbolic‐elliptic shocks) for the Euler equations for steady compressible potential fluids in infinite cylinders. The Euler equations, consisting of the conservation law of mass and the Bernoulli law for velocity, can be written as a second order nonlinear equation of mixed elliptic‐hyperbolic type for the velocity potential. The transonic shock problem in an infinite cylinder can be formulated into the following free boundary problem: The free boundary is the location of the multidimensional transonic shock which divides two regions of C^1,α flow in the infinite cylinder, and the equation is hyperbolic in the upstream region where the C^1,α perturbed flow is supersonic. We develop a nonlinear approach to deal with such a free boundary problem in order to solve the transonic shock problem in unbounded domains. Our results indicate that there exists a solution of the free boundary problem such that the equation is always elliptic in the unbounded downstream region, the uniform velocity state at infinity in the downstream direction is uniquely determined by the given hyperbolic phase, and the free boundary is C^1,α, provided that the hyperbolic phase is close in C^1,α to a uniform flow. We further prove that, if the steady perturbation of the hyperbolic phase is C^2,α, the free boundary is C^2,α and stable under the steady perturbation. © 2003 Wiley Periodicals Inc.     

A Fixed Point Theorem of Krasnoselskii—Schaefer Type

In this paper we focus on three fixed point theorems and an integral equation. Schaefer's fixed point theorem will yield a T-periodic solution of (0.1) x(t)= a(t) + ^t_t-h D(t,s)g(s,x(s))ds if D and g satisfy certain sign conditions independent of their magnitude. A combination of the contraction mapping theorem and Schauder's theorem (known as Krasnoselskii's theorem) will yield a T-periodic solution of (0.2) x(t) = f(t,x(t)) + ^t_t-h D(t,s)g(s,x(s))ds if f defines a contraction and if D and g are small enough. We prove a fixed point theorem which is a combination of the contraction mapping theorem and Schaefer's theorem which yields a T-periodic solution of (0.2) when / defines a contraction mapping, while D and g satisfy the aforementioned sign conditions.     

Inequalities for Rational Functions

A new hyperbolic area estimate for the level sets of finite Blaschke products is presented. The following inversion of the usual Sobolev embedding theorem is proved:

Full-size image

Hereris a rational function of degreenwith poles outside . This estimate implies a new inverse theorem for rational approximation of analytic functions with respect to areaL^pnorm.     

Borne générique pour le problème de Mordell-Lang

Given an abelian variety A over a number field and an integer D, we prove that there is only a finite number up to translation of curves on A with degree D with more than D^{7 dimA} rational points. We describe a more general result for higher dimensional varieties on semi-abelian varieties. This extends work of J.-H. Evertse on linear equations.     

A General Approximation Scheme for Attractors of Abstract Parabolic Problems

We consider semilinear problems of the form u′ = Au + f(u), where A generates an exponentially decaying compact analytic C ₀-semigroup in a Banach space E, f:E ^α → E is differentiable globally Lipschitz and bounded (E ^α = D((?A)^α) with the graph norm). Under a very general approximation scheme, we prove that attractors for such problems behave upper semicontinuously. If all equilibrium points are hyperbolic, then there is an odd number of them. If, in addition, all global solutions converge as t → ±∞, then the attractors behave lower semicontinuously. This general approximation scheme includes finite element method, projection and finite difference methods. The main assumption on the approximation is the compact convergence of resolvents, which may be applied to many other problems not related to discretization.     

Peripheral fillings of relatively hyperbolic groups

In this paper a group theoretic version of Dehn surgery is studied. Starting with an arbitrary relatively hyperbolic group G we define a peripheral filling procedure, which produces quotients of G by imitating the effect of the Dehn filling of a complete finite volume hyperbolic 3-manifold M on the fundamental group π₁(M). The main result of the paper is an algebraic counterpart of Thurston’s hyperbolic Dehn surgery theorem. We also show that peripheral subgroups of G ‘almost’ have the Congruence Extension Property and the group G is approximated (in an algebraic sense) by its quotients obtained by peripheral fillings. Mathematics Subject Classification (2000) 20F65, 20F67, 20F06, 57M27, 20E26     

The Hyperbolic Geometric Flow on Riemann Surfaces

In this paper the authors study the hyperbolic geometric flow on Riemann surfaces. This new nonlinear geometric evolution equation was recently introduced by the first two authors, motivated by Einstein equation and Hamilton's Ricci flow. We prove that, for any given initial metric on ?² in certain class of metrics, one can always choose suitable initial velocity symmetric tensor such that the solution exists for all time, and the scalar curvature corresponding to the solution metric g _ij keeps uniformly bounded for all time; moreover, if the initial velocity tensor is suitably “large", then the solution metric g _ij converges to the flat metric at an algebraic rate. If the initial velocity tensor does not satisfy the condition, then the solution blows up at a finite time, and the scalar curvature R(t, x) goes to positive infinity as (t, x) tends to the blowup points, and a flow with surgery has to be considered. The authors attempt to show that, comparing to Ricci flow, the hyperbolic geometric flow has the following advantage: the surgery technique may be replaced by choosing suitable initial velocity tensor. Some geometric properties of hyperbolic geometric flow on general open and closed Riemann surfaces are also discussed.     

On Vertices of outdegree n in minimally n‐connected digraphs

Let |D| and |D|⁺_n denote the number of vertices of D and the number of vertices of outdegree n in the digraph D, respectively. It is proved that every minimally n‐connected, finite digraph D has |D|⁺_n ≥ n + 1 and that for n ≥ 2, there is a c_n > 0 such that for all minimally n‐connected, finite digraphs D. Furthermore, case n = 2 of the following conjecture is settled which says that every minimally n‐connected, finite digraph has a vertex of indegree and outdegree equal to n. © 2002 John Wiley & Sons, Inc. J Graph Theory 39: 129–144, 2002     

Asymptotic behavior of waves

The asymptotic conjugation relation is established for all ƒL²(Rⁿ) under mild assumptions on and g, where denotes Fourier multiplication. The asymptotic estimate for finite energy solutions u of the wave equation is deduced from (*), along with generalizations to a class of first-order symmetric hyperbolic systems of partial differential equations that are homogeneous and constant coefficient, and a weakened version for the Klein-Gordon equation. Also deduced from (*) is the fact that for a free Schrödinger particle the probability of being in the set tA at time t tends to the probability that the velocity is in A as t → ±∞.