Dini Set-Valued Directional Derivative in Locally Lipschitz Vector Optimization

The present paper studies the following constrained vector optimization problem: min  _C f(x), g(x)∈−K, h(x)=0, where f:ℝ ⁿ →ℝ ^m , g:ℝ ⁿ →ℝ ^p and h:ℝ ⁿ →ℝ ^q are locally Lipschitz functions and C⊂ℝ ^m , K⊂ℝ ^p are closed convex cones. In terms of the Dini set-valued directional derivative, first-order necessary and first-order sufficient conditions are obtained for a point x ⁰ to be a w-minimizer (weakly efficient point) or an i-minimizer (isolated minimizer of order 1). It is shown that, under natural assumptions (given by a nonsmooth variant of the implicit function theorem for the equality constraints), the obtained conditions improve some given by Clarke and Craven. Further comparison is done with some recent results of Khanh, Tuan and of Jiiménez, Novo.     

Boundedness of Hausdorff operators on some product Hardy type spaces

We study Hausdorff operators on the product Besov space B01,1 (Rn × Rm) and on the local product Hardy space h1 (Rn × Rm).We establish some boundedness criteria for Hausdorff operators on these functio...     

Boundedness of Marcinkiewicz integrals and their commutators in H1 (?n × ?m)

The authors establish the boundedness of Marcinkiewicz integrals from the Hardy space H ¹ (ℝ ⁿ × ℝ ^m ) to the Lebesgue space L ¹(ℝ ⁿ × ℝ ^m ) and their commutators with Lipschitz functions from the Hardy space H ¹ (ℝ ⁿ × ℝ ^m ) to the Lebesgue space L ^q (ℝ ⁿ × ℝ ^m ) for some q > 1.     

From Scalar to Vector Optimization

Initially, second-order necessary optimality conditions and sufficient optimality conditions in terms of Hadamard type derivatives for the unconstrained scalar optimization problem ϕ(x) → min, x ∈ ℝ ^m , are given. These conditions work with arbitrary functions ϕ: ℝ ^m → ℝ, but they show inconsistency with the classical derivatives. This is a base to pose the question whether the formulated optimality conditions remain true when the “inconsistent” Hadamard derivatives are replaced with the “consistent” Dini derivatives. It is shown that the answer is affirmative if ϕ is of class (i.e., differentiable with locally Lipschitz derivative). Further, considering functions, the discussion is raised to unconstrained vector optimization problems. Using the so called “oriented distance” from a point to a set, we generalize to an arbitrary ordering cone some second-order necessary conditions and sufficient conditions given by Liu, Neittaanmaki, Krizek for a polyhedral cone. Furthermore, we show that the conditions obtained are sufficient not only for efficiency but also for strict efficiency.     

The van Kampen obstruction and its relatives

We review a cochain-free treatment of the classical van Kampen obstruction ϑ to embeddability of an n-polyhedron in ℝ²ⁿ and consider several analogs and generalizations of ϑ, including an extraordinary lift of ϑ, which has been studied by J.-P. Dax in the manifold case. The following results are obtained: (1) The mod 2 reduction of ϑ is incomplete, which answers a question of Sarkaria. (2) An odd-dimensional analog of ϑ is a complete obstruction to linkless embeddability (=“intrinsic unlinking”) of a given n-polyhedron in ℝ²ⁿ⁺¹. (3) A “blown-up” one-parameter version of ϑ is a universal type 1 invariant of singular knots, i.e., knots in ℝ³ with a finite number of rigid transverse double points. We use it to decide in simple homological terms when a given integer-valued type 1 invariant of singular knots admits an integral arrow diagram (= Polyak-Viro) formula. (4) Settling a problem of Yashchenko in the metastable range, we find that every PL manifold N nonembeddable in a given ℝ ^m , m ≥ $ \frac{{3(n + 1)}} {2} $ \frac{{3(n + 1)}} {2} , contains a subset X such that no map N → ℝ ^m sends X and N \ X to disjoint sets. (5) We elaborate on McCrory’s analysis of the Zeeman spectral sequence to geometrically characterize “k-co-connected and locally k-co-connected” polyhedra, which we embed in ℝ2 ^n−k for k < $ \frac{{n - 3}} {2} $ \frac{{n - 3}} {2} , thus extending the Penrose-Whitehead-Zeeman theorem.     

Conservation and bifurcation of an invariant torus of a vector field

We consider small perturbations with respect to a small parameter ε≥0 of a smooth vector field in ℝ^n+m possessing an invariant torusT ^m. The flow on the torusT ^m is assumed to be quasiperiodic withm basic frequencies satisfying certain conditions of Diophantine type; the matrix Ω of the variational equation with respect to the invariant torus is assumed to be constant. We investigate the existence problem for invariant tori of different dimensions for the case in which Ω is a nonsingular matrix that can have purely imaginary eigenvalues. Translated fromMatematicheskie Zametki, Vol. 61, No. 1, pp. 34–44, January, 1997. Translated by S. K. Lando     

A note on certain square functions on product spaces

We study certain square functions on product spaces Rn × Rm, whose integral kernels are obtained from kernels which are homogeneous in each factor Rn and Rm and locally in L(log L) away from Rn × {0} and {0} × Rm by means of polynomial distortions in the radial variable. As a model case, we obtain that the Marcinkiewicz integral operator is bounded on Lp(Rn × Rm)(P > 1) for Ω∈ e Llog L(Sn-1 × Sm-1) satisfying the cancellation condition.     

On translation and dilation invariant subspaces of L p (ℝn), 0 < p < 1

We prove that each translation and dilation invariant subspace X ⊂ L ^p (ℝⁿ), X ≠ L ^p (ℝⁿ), is contained in a maximal translation and dilation invariant subspace of L ^p (ℝⁿ). Moreover, we prove that the set of all maximal translation and dilation invariant subspaces of L ^p (ℝⁿ) has the power of continuum. Bibliography: 6 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 345, 2007, pp. 5–21.     

Stability of submanifolds with parallel mean curvature in calibrated manifolds

On a Riemannian manifold $ \bar M^{m + n} $ \bar M^{m + n} with an (m + 1)-calibration Ω, we prove that an m-submanifold M with constant mean curvature H and calibrated extended tangent space ℝH ⋇ TM is a critical point of the area functional for variations that preserve the enclosed Ω-volume. This recovers the case described by Barbosa, do Carmo and Eschenburg, when n = 1 and Ω is the volume element of $ \bar M $ \bar M . To the second variation we associate an Ω-Jacobi operator and define Ω-stability. Under natural conditions, we show that the Euclidean m-spheres are the unique Ω-stable submanifolds of ℝ ^m+n . We study the Ω-stability of geodesic m-spheres of a fibred space form M ^m+n with totally geodesic (m + 1)-dimensional fibres.     

Properties of <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript>-smooth mappings with one-dimensional gradient range

We find necessary and sufficient conditions for a curve in ℝ ^m×n to be the gradient range of a C ¹-smooth function υ: Ω ⊂ ℝ ⁿ → ℝ ^m . We show that this curve has tangents in a weak sense; these tangents are rank 1 matrices and their directions constitute a function of bounded variation. We prove also that in this case v satisfies an analog of Sard’s theorem, while the level sets of the gradient mapping ▿υ: Ω → ℝ ^m×n are hyperplanes.     

Boundary Value Problems with Compatible Boundary Conditions

If Y is a subset of the space ℝⁿ × ℝⁿ, we call a pair of continuous functions U, V Y-compatible, if they map the space ℝⁿ into itself and satisfy Ux · Vy ≥ 0, for all (x, y) ∈ Y with x · y ≥ 0. (Dot denotes inner product.) In this paper a nonlinear two point boundary value problem for a second order ordinary differential n-dimensional system is investigated, provided the boundary conditions are given via a pair of compatible mappings. By using a truncation of the initial equation and restrictions of its domain, Brouwer's fixed point theorem is applied to the composition of the consequent mapping with some projections and a one-parameter family of fixed points P _δ is obtained. Then passing to the limits as δ tends to zero the so-obtained accumulation points are solutions of the problem.     

Discrete Calderón’s Identity,Atomic Decomposition and Boundedness Criterion of Operators on Multiparameter Hardy Spaces

In this paper we establish a discrete Calderón’s identity which converges in both L ^q (ℝ ^n+m ) (1<q<∞) and Hardy space H ^p (ℝ ⁿ ×ℝ ^m ) (0<p≤1). Based on this identity, we derive a new atomic decomposition into (p,q)-atoms (1<q<∞) on H ^p (ℝ ⁿ ×ℝ ^m ) for 0<p≤1. As an application, we prove that an operator T, which is bounded on L ^q (ℝ ^n+m ) for some 1<q<∞, is bounded from H ^p (ℝ ⁿ ×ℝ ^m ) to L ^p (ℝ ^n+m ) if and only if T is bounded uniformly on all (p,q)-product atoms in L ^p (ℝ ^n+m ). The similar result from H ^p (ℝ ⁿ ×ℝ ^m ) to H ^p (ℝ ⁿ ×ℝ ^m ) is also obtained.     

Moore-Penrose Inverse of a Gram Matrix and Its Nonnegativity

Let M=[A  a] be a matrix of order m×n, where A∈ℝ ^m×(n−1) and a∈ℝ ^m is an m×1 vector. In this article, we derive a formula for the Moore-Penrose inverse of M ^* M and obtain sufficient conditions for its nonnegativity. The results presented here generalize the ones known earlier. The authors thank the anonymous referee for suggestions on an earlier version that have resulted in an improved presentation.     

Geometry of real grassmann manifolds. Parts I, II

The paper deals with the properties of the exterior algebra ℝ(Λⁿ) related to the Euclidean structure on ℝ(Λⁿ) induced by the scalar product in ℝ(Λⁿ). A geometric interpretation of inner multiplication for simple p-vectors is given. An invariant form of the Cartan criterion for the simplicity of a p-vector is given. The Plücker model realizing the real Grassmann manifold as a submanifold of the Euclidean space ℝ(Λⁿ), and an isometry of this submanifold onto the classical Grassmann manifold with SO(n)-invariant metric are described. A canonical decomposition of bivectors is given. Bibliography: 12 titles. Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 246, 1997, pp. 84–107. Translated by N. Yu: Netsvetaev.     

The structure of area-minimizing double bubbles

We show that the least area required to enclose two volumes in ℝⁿ orS ⁿ forn ≥ 3 is a strictly concave function of the two volumes. We deduce that minimal double bubbles in ℝⁿ have no empty chambers, and we show that the enclosed regions are connected in some cases. We give consequences for the structure of minimal double bubbles in ℝⁿ. We also prove a general symmetry theorem for minimal enclosures ofm volumes in ℝⁿ, based on an idea due to Brian White. Supported in part by NSF DMS-9409166.     

The Ruelle-Sullivan map for actions of ℝ n

The Ruelle Sullivan map for an ℝⁿ-action on a compact metric space with invariant probability measure is a graded homomorphism between the integer Cech cohomology of the space and the exterior algebra of the dual of ℝⁿ. We investigate flows on tori to illuminate that it detects geometrical structure of the system. For actions arising from Delone sets of finite local complexity, the existence of canonical transversals and a formulation in terms of pattern equivariant functions lead to the result that the Ruelle Sullivan map is even a ring homomorphism provided the measure is ergodic.     

Regular<Emphasis Type="Italic">n</Emphasis>-simplices in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> with vertices in ℤ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In this paper theI andII regularn-simplices are introduced. We prove that the sufficient and necessary conditions for existence of anI regularn-simplex in ℝ ⁿ are that ifn is even thenn = 4m(m + 1), and ifn is odd thenn = 4m + 1 with thatn + 1 can be expressed as a sum of two integral squares orn = 4m - 1, and that the sufficient and necessary condition for existence of aII regularn-simplex in ℝ ⁿ isn = 2m ² - 1 orn = 4m(m + 1)(m ∈ ℕ). The connection between regularn-simplex in ℝ ⁿ and combinational design is given.     

On the existence and approximation of zeroes

In this paper we consider the problem of finding zeroes of a continuous functionf from a convex, compact subsetU of ℝ ⁿ to ℝ ⁿ . In the first part of the paper it is proved thatf has a computable zero iff:C ⁿ →ℝ ⁿ satisfies the nonparallel condition for any two antipodal points on bdC ⁿ, i.e. if for anyx∈bdC ⁿ ,f(x)≠αf(−x), α≥0, holds. Therefore we describe a simplicial algorithm to approximate such a zero. It is shown that generally the degree of the approximate zero depends on the number of reflection steps made by the algorithm, i.e. the number of times the algorithm switches from a face τ on bdC ⁿ to the face −τ. Therefore the index of a terminal simplex σ is defined which equals the local Brouwer degree of the function if σ is full-dimensional. In the second part of the paper the algorithm is used to generate possibly several approximate zeroes off. Two sucessive solutions may have both the same or opposite degrees, again depending on the number of reflection steps. By extendingf:U→ℝ ⁿ to a function g from a cube containingU to ℝ ⁿ , the procedure can be applied to any continuous functionf without having any information about the global and local Brouwer degrees a priori.     

Better lower bounds on detecting affine and spherical degeneracies

We show that in the worst case, Ω(n ^d ) sidedness queries are required to determine whether a set ofn points in ℝ ^d is affinely degenerate, i.e., whether it containsd+1 points on a common hyperplane. This matches known upper bounds. We give a straightforward adversary argument, based on the explicit construction of a point set containing Ω(n ^d ) “collapsible” simplices, any one of which can be made degenerate without changing the orientation of any other simplex. As an immediate corollary, we have an Ω(n ^d ) lower bound on the number of sidedness queries required to determine the order type of a set ofn points in ℝ ^d . Using similar techniques, we also show that Ω(n ^d+1) in-sphere queries are required to decide the existence of spherical degeneracies in a set ofn points in ℝ ^d . An earlier version of this paper was presented at the 34th Annual IEEE Symposium on Foundations of Computer Science [8]. This research has been supported by NSF Presidential Young Investigator Grant CCR-9058440.