An active index algorithm for the nearest point problem in a polyhedral cone

We consider the problem of finding the nearest point in a polyhedral cone C={x∈R ⁿ :D x≤0} to a given point b∈R ⁿ , where D∈R ^m×n . This problem can be formulated as a convex quadratic programming problem with special structure. We study the structure of this problem and its relationship with the nearest point problem in a pos cone through the concept of polar cones. We then use this relationship to design an efficient algorithm for solving the problem, and carry out computational experiments to evaluate its effectiveness. Our computational results show that our proposed algorithm is more efficient than other existing algorithms for solving this problem.     

Jacobi Elliptic Cliffordian Functions

The well-known Jacobi elliptic functions sn(z), cn(z), dn(z) are defined in higher dimensional spaces by the following method. Consider the Clifford algebra of the antieuclidean vector space of dimension 2m + 1. Let x be the identity mapping on the space of scalars + vectors. The holomorphic Cliffordian functions may be viewed roughly as generated by the powers of x, namely xⁿ , their derivatives, their sums, their limits (cf: zⁿ for classical holomorphic functions). In that context it is possible to define the same type of functions as Jacobi's.     

Boundedness of Calderón-Zygmund operators in product Hardy spaces

By means of vector-valued product Calderón-Zygmund operators and some subtle estimates,the boundedness in product Hardy spaces on R^n × R^m of Calderón-Zygmund operators introduced by J.L. Journé is established.     

Lipschitz Continuity and Interpolation Properties of Some Classes of Increasing Functions

We study local Lipschitz continuity and interpolation properties of some classes of increasing functions defined on the cone Rⁿ ₊₊ of n-vectors with positive coordinates. We also study the so-called self-conjugate increasing positively homogeneous functions.     

Hyperbolic cone-manifold structures with prescribed holonomy I: punctured tori

We consider the relationship between hyperbolic cone-manifold structures on surfaces, and algebraic representations of the fundamental group into a group of isometries. A hyperbolic cone-manifold structure on a surface, with all interior cone angles being integer multiples of 2π, determines a holonomy representation of the fundamental group. We ask, conversely, when a representation of the fundamental group is the holonomy of a hyperbolic cone-manifold structure. In this paper we prove results for the punctured torus; in the sequel, for higher genus surfaces. We show that a representation of the fundamental group of a punctured torus is a holonomy representation of a hyperbolic cone-manifold structure with no interior cone points and a single corner point if and only if it is not virtually abelian. We construct a pentagonal fundamental domain for hyperbolic structures, from the geometry of a representation. Our techniques involve the universal covering group [(PSL₂\mathbb R)\tilde]{\widetilde{{\it PSL}_2{\mathbb R}}} of the group of orientation-preserving isometries of \mathbb H²{{\mathbb H}^2} and Markoff moves arising from the action of the mapping class group on the character variety.     

Minimization of convex functions on the convex hull of a point set

A basic algorithm for the minimization of a differentiable convex function (in particular, a strictly convex quadratic function) defined on the convex hull of m points in R ⁿ is outlined. Each iteration of the algorithm is implemented in barycentric coordinates, the number of which is equal to m. The method is based on a new procedure for finding the projection of the gradient of the objective function onto a simplicial cone in R ^m , which is the tangent cone at the current point to the simplex defined by the usual constraints on barycentric coordinates. It is shown that this projection can be computed in O(m log m) operations. For strictly convex quadratic functions, the basic method can be refined to a noniterative method terminating with the optimal solution.     

Complete surfaces in the hyperbolic space with a constant principal curvature

In this paper we study complete orientable surfaces with a constant principal curvature R in the 3‐dimensional hyperbolic space H ³. We prove that if R² > 1, such a surface is totally umbilical or umbilically free and it can be described in terms of a complete regular curve in H ³. When R² ≤ 1, we show that this result is not true any more by means of several examples. This contradicts a previous statement by Zhisheng [6]. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Symmetry of solutions for quasimonotone second-order elliptic systems in ordered Banach spaces

We consider symmetry properties of solutions to nonlinear elliptic boundary value problems defined on bounded symmetric domains of \mathbb Rⁿ{\mathbb R^n} . The solutions take values in ordered Banach spaces E, e.g. E=\mathbb R^N{E=\mathbb R^N} ordered by a suitable cone. The nonlinearity is supposed to be quasimonotone increasing. By considering cones that are different from the standard cone of componentwise nonnegative elements we can prove symmetry of solutions to nonlinear elliptic systems which are not covered by previous results. We use the method of moving planes suitably adapted to cover the case of solutions of nonlinear elliptic problems with values in ordered Banach spaces.     

Legendrian Links, Causality, and the Low Conjecture

Let (X ^m+1, g) be a globally hyperbolic spacetime with Cauchy surface diffeomorphic to an open subset of ${\mathbb{R}^{m}}Let (X ^m+1, g) be a globally hyperbolic spacetime with Cauchy surface diffeomorphic to an open subset of \mathbbR^m{\mathbb{R}^{m}} . The Legendrian Low conjecture formulated by Natário and Tod says that two events x, y ? X{x, y \in X} are causally related if and only if the Legendrian link of spheres \mathfrakS_x, \mathfrakS_y{{\mathfrak{S}_x,\,\mathfrak{S}_y}} whose points are light geodesics passing through x and y is non-trivial in the contact manifold of all light geodesics in X. The Low conjecture says that for m = 2 the events x, y are causally related if and only if \mathfrakS_x, \mathfrakS_y{{\mathfrak{S}_x,\,\mathfrak{S}_y}} is non-trivial as a topological link. We prove the Low and the Legendrian Low conjectures. We also show that similar statements hold for any globally hyperbolic (X ^m+1, g) such that a cover of its Cauchy surface is diffeomorphic to an open domain in \mathbbR^m{\mathbb{R}^{m}} .     

ON THE SEPARATION PROPERTY OF SYMMETRIC ORDINARY SECOND-ORDER DIFFERENTIAL EXPRESSIONS

A 1-variable calculus type argument is used to show that, for a function f : R ² → R, if for all (a, b) ? R ² we have that f o c is smooth for every smooth curve c : R → R ² nonsingular except at 0 and with c(0) = (a, b), then f is smooth. This strengthens Boman's theorem. In fact, we use an even more special collection of smooth curves to prove Boman's theorem. It is shown using a related special collection of smooth curves how the upper half cone can be viewed largely as a model for polar coordinates. Our proof here shows how the use of Frölicher spaces can reduce questions in several dimensions to those of one real variable.     

Inverse Hyperbolic Problems with Time-Dependent Coefficients

We consider the inverse problem for the second order self-adjoint hyperbolic equation in a bounded domain in R ⁿ with lower order terms depending analytically on the time variable. We prove that, assuming the BLR condition, the time-dependent Dirichlet-to-Neumann operator prescribed on a part of the boundary uniquely determines the coefficients of the hyperbolic equation up to a diffeomorphism and a gauge transformation. As a by-product we prove a similar result for the nonself-adjoint hyperbolic operator with time-independent coefficients.     

A characterization ofC 1-convex sets in Sobolev spaces

In this paper we prove that, ifK is a closed subset ofW ₀ ^1,p (Ω,R ^m ) with 1<p<+∞ andm≥1, thenK is stable under convex combinations withC ¹ coefficients if and only if there exists a closed and convex valued multifunction from Ω toR ^m such that The casem=1 has already been studied by using truncation arguments which rely on the order structure ofR (see [2]). In the casem>1 a different approach is needed, and new techniques involving suitable Lipschitz projections onto convex sets are developed. Our results are used to prove the stability, with respect to the convergence in the sense of Mosco, of the class of convex sets of the form (*); this property may be useful in the study of the limit behaviour of a sequence of variational problems of obstacle type. This article was processed by the author using the Springer-Verlag TEX mamath macro package 1990     

Analytic solutions of P.D.E’s

The purpose of this paper is to explain the celebrated results by Cattabriga-De Giorgi [5], [6] on partial differential equations with constant coefficients in the space of real analytic functions. These results caught the mathematical world by surprise in the early 70’s, when solvability on convex domains was supposed to be very likely due to the enormous development of Functional Analysis. Now, 30 years later, we have a much easier understanding of them. In particular non-existence of solutions for inR _x1,y1,x2 ³ is explained in terms of complex analysis, by the absence of a fundamental system of neighborhoods ofR _x1,y1,x2 ³ in C _z1,z2 ² . On the other hand, existence of solutions inR ², the other main result of [6], also became elementary. It is a case of analytic solvability for all operators whose principal part is a product of a hyperbolic and an elliptic term. I dedicate this paper to the memory of Lamberto Cattabriga for his masterful example in Mathematics and life. To the memory of Lamberto Cattabriga     

Fourier Inversion of Distributions Supported by a Hypersurface

Let μ _Σ be the natural measure on R ^N (N≥3) supported by a compact oriented analytic hypersurface Σ, ψ a smooth function on R ^N and P(D) a differential operator in N variables of order m. We determine a sufficient condition on the number λ such that the Fourier integral of the distribution P(D)ψ μ _Σ be summable by Cesàro means of order λ to zero in a point outside the hypersurface. This condition depends on m and on the position of the point with respect to the caustic of the hypersurface.     

Strong approximation ofGSBV functions by piecewise smooth functions

Let Ω be an open and bounded subset ofR ⁿ with locally Lipschitz boundary. We prove that the functionsv∈SBV(Ω,R ^m ) whose jump setS _vis essentially closed and polyhedral and which are of classW ^{k, ∞} (S _v,R ^m) for every integerk are strongly dense inGSBV ^p(Ω,R ^m ), in the sense that every functionu inGSBV ^p(Ω,R ^m ) is approximated inL ^p(Ω,R ^m ) by a sequence of functions {v _k{_j∈N with the described regularity such that the approximate gradients ∇v _jconverge inL ^p(Ω,R ^nm ) to the approximate gradient ∇u and the (n−1)-dimensional measure of the jump setsS _{v j} converges to the (n−1)-dimensional measure ofS _u. The structure ofS _v can be further improved in casep≤2.

---

Sunto Sia Ω un aperto limitato diR ⁿ con frontiera localmente Lipschitziana. In questo lavoro si dimostra che le funzioniv∈SBV(Ω,R ^m ) con insieme di saltoS _v essenzialmente chiuso e poliedrale che sono di classeW ^{k, ∞} (S _v,R ^m ) per ogni interok sono fortemente dense inGSBV ^p(Ω,R ^m ), nel senso che ogni funzioneu∈GSBV ^p(Ω,R ^m ) è approssimata inL ^p(Ω,R ^m ) da una successione di funzioni {v _j}_j∈N con la regolaritá descritta tali che i gradienti approssimati ∇v _jconvergono inL ^p(Ω,R ^nm ) al gradiente approssimato ∇u e la misura (n−1)-dimensionale degli insiemi di saltoS _{v j}converge alla misura (n−1)-dimensionale diS _u. La struttura diS _vpuó essere migliorata nel caso in cuip≤2.

     

Almost Extrinsically Homogeneous Submanifolds of Euclidean Space

Consider a closed manifold M immersed in R^m. Suppose that the trivial bundle M × R^m = T M ⊗ ν M is equipped with an almost metric connection ~ ∇ which almost preserves the decomposition of M × R^m into the tangent and the normal bundle. Assume moreover that the difference Γ = ∂~∇ with the usual derivative ∂ in R^m is almost ~∇-parallel. Then M admits an extrinsically homogeneous immersion into R^m. Mathematics Subject Classifications (2000): 53C20, 53C24, 53C30, 53C42, 53C40.     

Asymptotic behavior of smooth solutions for partially dissipative hyperbolic systems with a convex entropy

We study the asymptotic time behavior of global smooth solutions to general entropy, dissipative, hyperbolic systems of balance laws in m space dimensions, under the Shizuta‐Kawashima condition. We show that these solutions approach a constant equilibrium state in the L^p‐norm at a rate O(t^{? (m/2)(1 ? 1/p)}) as t → ∞ for p ∈ [min{m, 2}, ∞]. Moreover, we can show that we can approximate, with a faster order of convergence, the conservative part of the solution in terms of the linearized hyperbolic operator for m ≥ 2, and by a parabolic equation, in the spirit of Chapman‐Enskog expansion in every space dimension. The main tool is given by a detailed analysis of the Green function for the linearized problem. © 2007 Wiley Periodicals, Inc.     

Rationally trivial hermitian spaces are locally trivial

Let R be a regular local ring, K its field of fractions and A an Azumaya algebra with involution over R. Let h be an -hermitian space over A. We show that if is hyperbolic over , then h is hyperbolic over A. Received September 28, 1998; in final form December 6, 1999 / Published online March 12, 2001     

IBN rings and orderings on grothendieck groups

LetR be a ring with an identity element.R∈IBN means thatR ^m⋟Rⁿ impliesm=n, R∈IBN ₁ means thatR ^m⋟Rⁿ⊕K impliesm≥n, andR∈IBN ₂ means thatR ^m⋟R^m⊕K impliesK=0. In this paper we give some characteristic properties ofIBN ₁ andIBN ₂, with orderings on the Grothendieck groups. In addition, we obtain the following results: (1) IfR∈IBN ₁ and all finitely generated projective leftR-modules are stably free, then the Grothendieck groupK ₀(R) is a totally ordered abelian group. (2) If the pre-ordering of the Grothendieck groupK ₀(R) of a ringR is a partial ordering, thenR∈IBN ₁ orK ₀(R)=0. Supported by National Nature Science Foundation of China.     

Artificial boundary conditions for viscoelastic flows

The steady three-dimensional exterior flow of a viscoelastic non-Newtonian fluid is approximated by reducing the corresponding nonlinear elliptic–hyperbolic system to a bounded domain. On the truncation surface with a large radius R, nonlinear, local second-order artificial boundary conditions are constructed and a new concept of an artificial transport equation is introduced. Although the asymptotic structure of solutions at infinity is known, certain attributes cannot be found explicitly so that the artificial boundary conditions must be constructed with incomplete information on asymptotics. To show the existence of a solution to the approximation problem and to estimate the asymptotic precision, a general abstract scheme, adapted to the analysis of coupled systems of elliptic–hyperbolic type, is proposed. The error estimates, obtained in weighted Sobolev norms with arbitrarily large smoothness indices, prove an approximation of order O(R^−2+ε), with any ε>0. Our approach, in contrast to other papers on artificial boundary conditions, does not use the standard assumptions on compactly supported right-hand side f, leads, in particular, to pointwise estimates and provides error bounds with constants independent of both R and f. Copyright © 2007 John Wiley & Sons, Ltd.