Solution of a nonsymmetric algebraic Riccati equation from a two-dimensional transport model

For the steady-state solution of an integral-differential equation from a two-dimensional model in transport theory, we shall derive and study a nonsymmetric algebraic Riccati equation B^--XF^--F⁺X+XB⁺X=0, where , and with a nonnegative matrix P, positive diagonal matrices D^±, and nonnegative parameters f, and . We prove the existence of the minimal nonnegative solution X^∗ under the physically reasonable assumption , and study its numerical computation by fixed-point iteration, Newton’s method and doubling. We shall also study several special cases; e.g. when and P is low-ranked, then is low-ranked and can be computed using more efficient iterative processes in U and V. Numerical examples will be given to illustrate our theoretical results.     

New examples of maximal space like surfaces in the anti-de Sitter space

Let be the three-dimensional anti-de Sitter space. In this paper we will construct new examples of complete maximal space like surfaces in . Moreover, we will prove that any complete maximal space like surface in with principal curvatures ±κ bounded away from zero must be isometric to the hyperbolic cylinder. Since the new examples that we have constructed have exactly two principal curvatures everywhere, we conclude that the condition on the principal curvatures on the previous result, i.e. the condition |κ(m)|>c>0, cannot be replaced by the condition |κ(m)|>0.     

Inducing sensitivity on hyperspaces

Let (X,d) be a compact metric space and (K(X),dH) be the space of all non-empty compact subsets of X equipped with the Hausdorff metric dH. The dynamical system (X,f) induces another dynamical system . We study the relations between the various forms of sensitivity of the systems (X,f) and . We prove that all forms of sensitivity of partly imply the same for (X,f), and the converse holds in some cases.     

Quasi sure analysis of local times of anticipating smooth semimartingales

Let be the anticipating smooth semimartingale and be its generalized local time. In this paper, we give some estimates about the quasi sure property of Xt and its quadratic variation process t〈X〉. We also study the fractional smoothness of and prove that the quadratic variation process of can be constructed as the quasi sure limit of the form , where is a sequence of subdivisions of [a,b], , i=0,1,…,n².     

On the base dimension I and the property of universality

In Iliadis (2005) [13] for an ordinal α the notion of the so-called (bn-Ind?α)-dimensional normal base C for the closed subsets of a space X was introduced. This notion is defined similarly to the classical large inductive dimension Ind. In this case we shall write here I(X,C)?α and say that the base dimension I of the space X by the normal base C is less than or equal to α. The classical large inductive dimension Ind of a normal space X, the large inductive dimension Ind₀ of a Tychonoff space X defined independently by Charalambous and Filippov, as well as, the relative inductive dimension defined by Chigogidze for a subspace X of a Tychonoff space Y may be considered as the base dimension I of X by normal bases Z(X) (all closed subsets of X), Z(X) (all functionally closed subsets of X), and , respectively.In the present paper, we shall consider normal bases of spaces consisting of functionally closed subsets. In particular, we introduce new dimension invariant : for a space X, is the minimal element α of the class O∪{−1,∞}, where O is the class of all ordinals, for which there exists a normal base C on X consisting of functionally closed subsets such that I(X,C)?α. We prove that in the class of all completely regular spaces X of weight less than or equal to a given infinite cardinal τ such that there exist universal spaces. However, the following questions are open.(1) Are there universal elements in the class of all normal (respectively, of all compact) spaces X of weight ?τ with ?(2) Are there universal elements in the class of all Tychonoff (respectively, of all normal) spaces X of weight ?τ with Ind₀(X)?n∈ω? (Note that for a compact space X.)     

Barycentric selectors and a Steiner-type point of a convex body in a Banach space

Let F be a mapping from a metric space into the family of all m-dimensional affine subsets of a Banach space X. We present a Helly-type criterion for the existence of a Lipschitz selection f of the set-valued mapping F, i.e., a Lipschitz continuous mapping satisfying . The proof of the main result is based on an inductive geometrical construction which reduces the problem to the existence of a Lipschitz (with respect to the Hausdorff distance) selector S_X^(m) defined on the family of all convex compacts in X of dimension at most m. If X is a Hilbert space, then the classical Steiner point of a convex body provides such a selector, but in the non-Hilbert case there is no known way of constructing such a point. We prove the existence of a Lipschitz continuous selector for an arbitrary Banach space X. The proof is based on a new result about Lipschitz properties of the center of mass of a convex set.     

On a question of Sean Keel

Let X be a smooth projective surface defined over , and let L be a line bundle over X such that for every complete curve Y contained in X. A question of Keel asks whether L is ample. If X is a P¹-bundle over a curve, we prove that this question has an affirmative answer.     

On the Spaltenstein correspondence

In the article [Spa1], N. Spaltenstein has established a bijection between the irreducible components of _χ, the space of full flags fixed by a nilpotent element χ ? M(n, k), where k is an algebraically closed field, and the standard tableaux associated to the Young diagram of χ. In this present work we determine, when χ is of hook type, for each irreducible component X of _χ, the unique Schubert cell _X of the full flag manifold = (V) (where V is vector space of dimension n over k), such that X ∩ _X is a dense subspace in X. This result will allow us to optimize the computation of _χ and when k = is the complex field, to see that the graph resolution of the partition (2, 1, …, 1) of n is related to the Dynkin diagram of sl(n, ).     

Ideals of operators and the metric approximation property

We prove that a Banach space X has the metric approximation property if and only if , the space of all finite rank operators, is an ideal in , the space of all bounded operators, for every Banach space Y. Moreover, X has the shrinking metric approximation property if and only if is an ideal in for every Banach space Y.Similar results are obtained for u-ideals and the corresponding unconditional metric approximation properties.     

The transitivity of induced maps

For a metric continuum X, we consider the hyperspaces X² and C(X) of the closed and nonempty subsets of X and of subcontinua of X, respectively, both with the Hausdorff metric. For a given map we investigate the transitivity of the induced maps and . Among other results, we show that if X is a dendrite or a continuum of type λ and is a map, then C(f) is not transitive. However, if X is the Hilbert cube, then there exists a transitive map such that f² and C(f) are transitive.     

Independence of ? in Lafforgue's theorem

Let X be a smooth curve over a finite field of characteristic p, let ?≠p be a prime number, and let be an irreducible lisse -sheaf on X whose determinant is of finite order. By a theorem of L. Lafforgue, for each prime number ?′≠p, there exists an irreducible lisse -sheaf on X which is compatible with , in the sense that at every closed point x of X, the characteristic polynomials of Frobenius at x for and are equal. We prove an “independence of ?” assertion on the fields of definition of these irreducible ?′-adic sheaves : namely, that there exists a number field F such that for any prime number ?′≠p, the -sheaf above is defined over the completion of F at one of its ?′-adic places.     

Sensitivity of set-valued discrete systems

Consider the surjective, continuous map f:X→X and the continuous map of K(X) into itself induced by f, where X is a compact metric space and K(X) is the space of all non-empty compact subsets of X endowed with a Hausdorff metric. In this paper we give examples showing that sensitivity of f does not imply sensitivity of . Furthermore, we prove that if f is a surjective, continuous interval map, then is sensitive if and only if f is sensitive.     

Functions represented as sums of two quasicontinuous functions with a closed graph

Let X=(X,d) be a metric space. We prove that if the set D(f) of discontinuity points of a function is “sufficiently small,” then f can be decomposed into a sum of two quasicontinuous functions with a closed graph.     

Continuous dependence results for inhomogeneous ill-posed problems in Banach space

We apply semigroup theory and other operator-theoretic methods to prove Hölder-continuous dependence on modeling for the inhomogeneous ill-posed Cauchy problem in Banach space. The inhomogeneous ill-posed Cauchy problem is given by , u(0)=χ, 0?t<T; where −A is the infinitesimal generator of a holomorphic semigroup on a Banach space X, χ∈X, and . For a suitable function f, the approximate problem is given by , v(0)=χ. Under certain stabilizing conditions, we prove that for a related norm, where and M are computable constants independent of β, 0<β<1, and ω(t) is a harmonic function. These results extend earlier work of Ames and Hughes on the homogeneous ill-posed problem.     

Precise rates in complete moment convergence for ρ-mixing sequences

Let X₁,X₂,… be a strictly stationary sequence of ρ-mixing random variables with mean zeros and positive, finite variances, set Sn=X₁+?+Xn. Suppose that , , where q>2δ+2. We prove that, if for any 0<δ?1, then

     

Large deviation principles for sequences of logarithmically weighted means

In this paper we consider several examples of sequences of partial sums of triangular arrays of random variables {Xn:n?1}; in each case Xn converges weakly to an infinitely divisible distribution (a Poisson distribution or a centered Normal distribution). For each sequence we prove large deviation results for the logarithmically weighted means with speed function . We also prove a sample path large deviation principle for {Xn:n?1} defined by , where σ²∈(0,∞) and {Un:n?1} is a sequence of independent standard Brownian motions.     

Geodesic currents and Teichmüller space

Consider a hyperbolic surface X of infinite area. The Liouville map assigns to any quasiconformal deformation of X a measure on the space of geodesics of the universal covering X? of X. We show that the Liouville map is a homeomorphism from the Teichmüller space onto its image, and that the image is closed and unbounded. The set of asymptotic rays to consists of all bounded measured laminations on X. Hence, the set of projective bounded measured laminations is a natural boundary for . The action of the quasiconformal mapping class group on continuously extends to this boundary for .