Whitney's type theorems for infinite dimensional spaces

It is proved that for any $f$ is an element of $C^k(L,R)$, where k is a natural number and L is a closed linear subspace of a nuclear Frechet space $X$, the function $f$ can be extended to a function of class $C^{k-1}$ defined on the entire space $X$. It is also proved that for any $f$ is an element of $C^k(L, R)$, where $k$ is a natural number of infinity and L is a closed linear subspace of a dual $X$ of a nuclear Frechet space, the function $f$ can be extended to a function of class $C^k$ defined on the entire space $X$. In addition, it is proved that under these conditions, the existence of a linear extension operator is equivalent to the complementability of the subspace.

An infinite-dimensional separable pre-Hilbert space non-homeomorphic to any of its closed hyperplanes

An example is constructed of an infinite-dimensional separable pre-Hilbert space non-homeomorphic to any of its closed hyperplanes.

Counterexample to Peano's theorem in infinite-dimensional F '-spaces

Let $E$ be a nonnormable Frechet space, and let $E'$ be the space of all continuous linear functionals on $E$ in the strong topology. A continuous mapping $f : E' \to E'$ such that for any $t_0\in R$ and $x_0\in E'$, the Cauchy problem $\dot x= f(x)$, x(t_0) = x_0$ has no solutions is constructed.

Infinite Dimensional Banach spaces of functions with nonlinear properties

The aim of this paper is to show that there exist infinite dimensional Banach spaces of functions that, except for 0, satisfy properties that apparently should be destroyed by the linear combination of two of them. Three of these spaces are: a Banach space of differentiable functions on Rn failing the Denjoy-Clarkson property; a Banach space of non Riemann integrable bounded functions, but with antiderivative at each point of an interval; a Banach space of infinitely differentiable functions that vanish at infinity and are not the Fourier transform of any Lebesgue integrable function.

The full infinite dimensional moment problem on semi-algebraic sets of generalized functions

We consider a generic basic semi-algebraic subset S of the space of generalized functions, that is a set given by (not necessarily countably many) polynomial constraints. We derive necessary and sufficient conditions for an infinite sequence of generalized functions to be realizable on S, namely to be the moment sequence of a finite measure concentrated on S. Our approach combines the classical results about the moment problem on nuclear spaces with the techniques recently developed to treat the moment problem on basic semi-algebraic sets of Rd. In this way, we determine realizability conditions that can be more easily verified than the well-known Haviland type conditions. Our result completely characterizes the support of the realizing measure in terms of its moments. As concrete examples of semi-algebraic sets of generalized functions, we consider the set of all Radon measures and the set of all the measures having bounded Radon–Nikodym density w.r.t. the Lebesgue measure.

Differential geometry of intersection curves in R(4) of three implicit surfaces

We present algorithms for computing the differential geometry properties of intersection Curves of three implicit surfaces in R(4), using the implicit function theorem and generalizing the method of X. Ye and T. Maekawa for 4-dimension. We derive t, n, b(1), b(2) vectors and curvatures (k(1), k(2), k(3)) for transversal intersections of the intersection problem. (C) 2008 Elsevier B.V. All rights reserved.

Necessary conditions of optimality for state constrained infinite horizon differential inclusions

This article presents and discusses necessary conditions of optimality for infinite horizon dynamic optimization problems with inequality state constraints and set inclusion constraints at both endpoints of the trajectory. The cost functional depends on the state variable at the final time, and the dynamics are given by a differential inclusion. Moreover, the optimization is carried out over asymptotically convergent state trajectories. The novelty of the proposed optimality conditions for this class of problems is that the boundary condition of the adjoint variable is given as a weak directional inclusion at infinity. This improves on the currently available necessary conditions of optimality for infinite horizon problems. © 2011 IEEE.

Reduction of infinite dimensional systems to finite dimensions: Compact convergence approach

We consider parameter dependent semilinear evolution problems for which, at the limit value of the parameter, the problem is finite dimensional. We introduce an abstract functional analytic framework that applies to many problems in the existing literature for which the study of asymptotic dynamics can be reduced to finite dimensions via the invariant manifolds technique. Some practical models are considered to show wide applicability of the theory. © 2013 Society for Industrial and Applied Mathematics.

Description of the attainable sets of one-dimensional differential inclusions

The role played by the attainable set of a differential inclusion, in the study of dynamic control systems and fuzzy differential equations, is widely acknowledged. A procedure for estimating the attainable set is rather complicated compared to the numerical methods for differential equations. This article addresses an alternative approach, based on an optimal control tool, to obtain a description of the attainable sets of differential inclusions. In particular, we obtain an exact delineation of the attainable set for a large class of nonlinear differential inclusions.

Differential geometry of grassmannians and the Plucker map

Using the Plucker map between grassmannians, we study basic aspects of classic grassmannian geometries. For 'hyperbolic' grassmannian geometries, we prove some facts (for instance, that the Plucker map is a minimal isometric embedding) that were previously known in the 'elliptic' case.

Topics in differential geometry.

Based on lectures given in the spring of 1949; a few of the latest results of work done since that time have been included.