Coupled intervals in the discrete calculus of variations: necessity and sufficiency

In this work we study nonnegativity and positivity of a discrete quadratic functional with separately varying endpoints. We introduce a notion of an interval coupled with 0, and hence, extend the notion of conjugate interval to 0 from the case of fixed to variable endpoint(s). We show that the nonnegativity of the discrete quadratic functional is equivalent to each of the following conditions: The nonexistence of intervals coupled with 0, the existence of a solution to Riccati matrix equation and its boundary conditions. Natural strengthening of each of these conditions yields a characterization of the positivity of the discrete quadratic functional. Since the quadratic functional under consideration could be a second variation of a discrete calculus of variations problem with varying endpoints, we apply our results to obtain necessary and sufficient optimality conditions for such problems. This paper generalizes our recent work in [R. Hilscher, V. Zeidan, Comput. Math. Appl., to appear], where the right endpoint is fixed.     

Kaehler乘积流形中的半斜子流形

半斜子流形是全纯子流形和全实子流形的推广.主要讨论了Kaehler乘积流形中的乘积半斜子流形,并对其分类;再推广到一般的不变半斜子流形的情况 ,并对其分类.在研究上述情况时,还讨论了其中的特殊情况 ,并对其分类.     

Submanifolds associated with graphs

In this paper we present an interesting relationship between graph theory and differential geometry by defining submanifolds of almost Hermitian manifolds associated with certain kinds of graphs. We show some results about the possibility of a graph being associated with a submanifold and we use them to characterize CR-submanifolds by means of trees. Finally, we characterize submanifolds associated with graphs in a four-dimensional almost Hermitian manifold.

     

Three classes of smooth Banach submanifolds in B(E,F)

Let E, F be two Banach spaces, and B(E, F), Φ(E, F), SΦ(E, F) and R(E,F) be the bounded linear, Fredholm, semi-Frdholm and finite rank operators from E into F, respectively. In this paper, using the continuity characteristics of generalized inverses of operators under small perturbations, we prove the following result Let ∑ be any one of the following sets {T ∈ Φ(E, F) IndexT =const, and dim N(T) = const.}, {T ∈ SΦ(E, F) either dim N(T) = const. ＜ ∞ or codim R(T) = const.＜ ∞} and {T ∈ R(E, F) RankT =const.＜∞}. Then ∑ is a smooth submanifold of B(E, F) with the tangent space TA∑ = {B ∈ B(E,F) BN(A) (∪) R(A)} for any A ∈ ∑. The result is available for the further application to Thom's famous results on the transversility and the study of the infinite dimensional geometry.     

Structure of minimizers in linear-quadratic Bolza problems of optimal control

In this paper, we study intersections of extremals in a linear-quadratic Bolza problem of optimal control. The structure of the inter-sections is described. We show that this structure implies the semipositive definiteness of the quadratic cost functional. In addition, we derive necessary and sufficient conditions for the existence of minimizers.     

The Totally Geodesic Coisotropic Submanifolds in Kähler Manifolds

In this paper, we consider the coisotropic submanifolds in a Kähler manifold of nonnegative holomorphic curvature. We prove an intersection theorem for compact totally geodesic coisotropic submanifolds and discuss some topological obstructions for the existence of such submanifolds. Our results apply to Lagrangian submanifolds and real hypersurfaces since the class of coisotropic submanifolds includes them. As an application, we give a fixed-point theorem for compact Kähler manifolds with positive holomorphic curvature. Also, our results can be further extended to nearly Kähler manifolds.     

Certain condition on the second fundamental form of CR submanifolds of maximal CR dimension of complex Euclidean space

We treat m-dimensional real submanifolds M of complex space forms ̿M when the maximal holomorphic tangent subspace is (m−1)-dimensional. On these manifolds there exists an almost contact structure F which is naturally induced from the ambient space and in this paper we study the condition h(FX,Y)−h(X,FY) = g(FX,Y)η, η∊ T⊥(M), on the structure F and on the second fundamental form h of these submanifolds. Especially when the ambient space ̿M is a complex Euclidean space, we obtain a complete classification of submanifolds M which satisfy these conditions.Mathematics Subject Classifications (2000): 53C15, 53C40, 53B20.     

Volume of Domains in Symmetric Spaces

The authors derive a formula for the volume of a compact domain in a symmetric space from normal sections through a special submanifold in the symmetric space.This formula generalizes the volume of classical domains as tubes or domains given as motions along the submanifold.Finally,some stereological considerations regarding this formula are provided.