An optimal control for a nonlinear system is considered. The existence of an optimal-control pair, the characterization of the optimal control in terms of the optimal system and the uniqueness of solutions for the control problem are established. The uniqueness requires smallness assumptions on parameters in the functional.

We will present an investigation of (ε, δ)-Freudenthal–Kantor supertriple systems that are intimately related to Lie supertriple systems and Lie superalgebras. We can also introduce a super analogue of Nijenhuis tensor and almost-complex structure in differential geometry.

If T ∈ L(X) is such that T′ is a scalar-type prespectral operator, then Re T′ and Im T′ are both dual operators. It is shown that that the possession of a functional calculus for the continuous functions on the spectrum of T is equivalent to T′ being scalar-type prespectral of class X, thus answering a question of Berkson and Gillespie.

This paper deals with the construction of exact and analytical-numerical solutions with a priori error bounds for systems of the type ut = Auxx, A1u(0, t) + B1ux (0, t) = 0, A2u (1, t) + B2ux (1, t) = 0, 0 < x < 1, t > 0, u(x, 0) = f(x), where A1, A2, B1 and B2 are matrices for which no simultaneous diagonalizable hypothesis is assumed, and A is a positive stable matrix. Given an admissible error ε and a bounded subdomain D, an approximate solution whose error with respect to an exact series solution is less than ε uniformly in D is constructed.

In this paper we generalize techniques used by Klyachko and the authors to prove some tessellation results about S2. These results are applied to prove the solvability of certain equations with torsion-free coefficients.

In this article we consider sums S(t) = Σnψ (tf(n/t)), where ψ denotes, essentially, the fractional part minus ½ f is a C4-function with f″ non-vanishing, and summation is extended over an interval of order t. For the mean-square of S(t), an asymptotic formula is established. If f is algebraic this can be sharpened by the indication of an error term.

The Dirichlet problem for the Laplace equation in a connected-plane region with cuts is studied. The existence of a classical solution is proved by potential theory. The problem is reduced to a Fredholm equation of the second kind, which is uniquely solvable.

We investigate the growth and the frequency of zeros of the solutions of the differential equation f(n) + Pn–1 (z) f(n–1) + … + P0 (z) f = H (z), where P0 (z), P1(z), …, Pn–1(z) are polynomials with P0 (z) ≢ 0, and H (z) ≢ 0 is an entire function of finite order.

We identify the C*-envelopes of certain quotients of tensor algebras over C*-correspondences.

In the last six lines of Turnbull's 1948 paper, he left an enigmatic statement on a Capelli-type identity for skew-symmetric matrix spaces. In the present paper, on Turnbull's suggestion, we show that certain Capelli-type identities hold for this case. Our formulae connect explicitly the central elements in U(gln) to the invariant differential operators, both of which are expressed with permanent. This also clarifies the meaning of Turnbull's statement from the Lie-theoretic point of view.

We give an abstract description of the kernel of a proper primitive inverse congruence on a categorical semigroup. More specifically, we show that it is a *-reflexive, *-unitary, *-dense subsemigroup, and that on a given categorical semigroup there is a one–one correspondence between such subsemigroups and the proper primitive inverse congruences. Our results allow us to give a description of the minimum proper primitive inverse semigroup congruence on a strongly E*-dense categorical semigroup.

Let ξ be the set of all finite groups that have efficient presentations. In this paper we give sufficient conditions for the standard wreath product of two ξ-groups to be a ξ-group.

We study, from the point of view of abelian and Kummer surfaces and their moduli, the special quintic threefold known as Nieto's quintic. It is, in some ways, analogous to the Segre cubic and the Burkhardt quartic and can be interpreted as a moduli space of certain Kummer surfaces. It contains 30 planes and has 10 singular points: we describe how some of these arise from bielliptic and product abelian surfaces and their Kummer surfaces.