On the well-definedness of the order of an ordinary differential equation

It is proved that if the differential equations y ^{( n )}=f(x, y, y′, …, y ^{( n ?1 )}) and y ^{( m )}=g(x, y, y′, …, y ^{( n ?1 )}) have the same particular solutions in a suitable region where f and g are continuous real-valued functions with continuous partial derivatives (alternatively, continuous functions satisfying the classical Lipschitz condition), then n?=?m and the functions f and g are equal. This note could find classroom use in a course on differential equations as enrichment material for the unit on the existence and uniqueness theorems for solutions of initial value problems.     

Cylindricity of tangent bundles of strongly parabolic metrics and strongly parabolic surfaces

It is proved that if the intrinsic zero-index of the Sasaki metric of a tangent bundleTM ⁿ isk, thenk is even andM ⁿ is the metric product of a Riemannian manifoldM ^n–k/2 by a Euclidean spaceE ^k/2, whileTM ⁿ is the metric product ofTM ^n–k/2 byE ^k . An expression is obtained for the second fundamental forms of the imbeddingTF ^l TM ⁿ in terms of the second fundamental forms of the imbeddingF ^l M ⁿ and the curvature tensor ofM ⁿ . It is proved thatTF ^l is totally geodesic inTM ⁿ if and only ifF ^l is totally geodesic inM ⁿ .Translated from Ukrainskií Geometricheskií Sbornik, Issue 28, 1985, pp. 12–32.     

Weyl quantization of Lebesgue spaces

We study boundedness and compactness properties for the Weyl quantization with symbols in L^q (?^2d ) acting on L^p (?^d ). This is shown to be equivalent, in suitable Banach space setting, to that of the Wigner transform. We give a short proof by interpolation of Lieb's sufficient conditions for the boundedness of the Wigner transform, proving furthermore that these conditions are also necessary. This yields a complete characterization of boundedness for Weyl operators in L^p setting; compactness follows by approximation. We extend these results defining two scales of spaces, namely L_*^q (?^2d ) and L_?^q (R^2d ), respectively smaller and larger than the L^q (?^2d ),and showing that the Weyl correspondence is bounded on L_*^q (R^2d ) (and yields compact operators), whereas it is not on L_?^q (R^2d ). We conclude with a remark on weak‐type L^p boundedness (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The module of differentials and p-bases of a ring extension

Let R ^p ? R ¹ ? Rbe a tower of rings of prime characteristic p. When R has locally p-bases over R ¹ and is finitely presented as R ¹-module, we study the existence of a p-basis of R over R ¹ and the condition that the module ω _{R/R ¹} of Kähler differentials of R over R ¹ is to be free.     

Symmetrizations of Markov processes

Two methods for symmetrizing Markov processes are discussed. Letu ^a(x, y) be the potential density of a Lévy process on a compact Abelian groupG. A general condition is given that guarantees thatv(x, y)=u^a(x, y)+u^a(y, x) is the potential density of a symmetric Lévy process onG. The second method arises by considering the linear space of one-potentialsU ¹ f, withf inL ², endowed with the inner product (U ¹ f,U ¹ g)=fU ¹ g+gU ¹ f. If the semigroup ofX(t) is normal, then the completionH of this space is the Dirichlet space of a symmetric processY(t). A set that is semipolar forX(t) is polar forY(t).     

Stability of semilinear ill-posed problems with a prescribed energy bound

In the present paper we discuss the stability of semilinear problems of the form A^αu + G^α(u) = ? under assumption of an a priori bound for an energy functional E^α(u) ? E, where α is a parameter in a metric space M. Following [11] the problem A^αu + G^α(u) = ?, E^α(u) ? E is called stable in a Hilbert space H at a point α ? M if for any ??H, E, ? > 0 there exists δ > 0 such that for any functions u^α1, u^α2 satisfying A^αju^αj + G^αj(u^αj) = ?^αj, E^αj(u^αj) ? E, j = 1,2 we have ‖u^α1 ? u^α2_H ? ? provided ρ_M(α_j, α) ? δ, ‖?^αj ? ?‖_H ? δ, j = 1,2. In the present paper we obtain stability conditions for the problem A^αu + G^α(u) = ?, E^α(u) ? E.     

Approximation of Solutions of Nonlinear Equations of Monotone and Hammerstein Type

Let X be a real uniformly smooth and uniformly convex Banach space with dual X ^*. Let A: X → X ^* be a bounded uniformly submonotone map. It is proved that a Mann-type approximation sequence converges strongly to Jx ^* where x ^* ∈ N(A). Furthermore, as an application of this result an iterative sequence which converges strongly to a solution of the Hammerstein equation u+KFu = 0 is constructed where, F:X→X^* and K:X^*→X are monotone-type mappings. No invertibility assumption is imposed on K. Moreover, neither K nor F need be compact. Finally, our method is of independent interest.     

Volume approximation of smooth convex bodies by three-polytopes of restricted number of edges

For a given convex body K in \Bbb R³{\Bbb R}^3 with C ² boundary, let P ^c _n be the circumscribed polytope of minimal volume with at most n edges, and let P ⁱ _n be the inscribed polytope of maximal volume with at most n edges. Besides presenting an asymptotic formula for the volume difference as n tends to infinity in both cases, we prove that the typical faces of P ^c _n and P ⁱ _n are asymptotically regular triangles and squares, respectively, in a suitable sense.     

A class of regular semigroups with regular *- transversals

Let S be a regular semigroup. If there is a subsemigroup S ^* of S and a unary operation * in S satisfying: (1) x ^* ∈ S ^* \cap V_ S ^* (x) for all x∈ S; (2) (x ^* ) ^* =x for all x∈ S ^* ; (3) (x ^* y) ^* =y ^* x ^** and (xy ^* ) ^* =y ^** x ^* for all x,y∈ S, then S ^* is called a regular *- transversal of S ; if (3) is replaced with (xy) ^* =y ^* x ^* for all x,y∈ S, then S ^* is called a strongly regular *- transversal of S. In this paper we consider the class of regular semigroups with a strongly regular *- transversal. It is proved that these semigroups are P - regular semigroups. We characterize the structure of the regular semigroups with a strongly regular *- transversal.     

Analog of a theorem of forelli for boundary values of holomorphic functions on the unit ball of ?n

Let f ∈ C ^ω (∂B ⁿ ), where B ⁿ is the unit ball of ℂ ⁿ . We prove that if a,b ? [`(B)] ⁿa,b \in {\overline B ^n}, a ≠ b, for every complex line L passing through one of a or b, the restricted function f|_{L ??Bⁿ}f{|_{L \cap \partial {B^n}}} has a holomorphic extention to the cross-section L∩B ⁿ , then f is the boundary value of a holomorphic function in B ⁿ .     

On the gehring link problem and the isoperimetric inequality of bombieri and simon

LetE ⁿ be a completen-dimensional Riemannian manifold and letM ^p andN ^n−p−1 be compact oriented submanifolds ofE ⁿ whcih are linked inE ⁿ . The problem (generalizing one due to Gehring whenE ⁿ is Euclidean) of finding sharp lower bounds on the volume ofM ^p in terms of a lower bound on the distance ofM ^p fromN is solved in (among other cases) the case whereE ⁿ orM ^p is simply connected andE ⁿ is a space form or has a nonpositive upper bound on its sectional curvatures. The main technical tool is a generalization of an isoperimetric inequality of Bombieri and Simon which they used to solve Gehring's problem. Research supported in part by a Grant from the University of South Carolina.     

On Complementary Spaces of the Lizorkin Spaces

Let S(Rⁿ){\cal S}(R^n) be the Schwartz space on R ⁿ . For a subspace V ì S(Rⁿ)V\subset {\cal S}(R^n), if a subspace W ì S(Rⁿ)W \subset {\cal S}(R^n) satisfies the condition that S(Rⁿ){\cal S}(R^n) is a direct sum of V and W, then W is called a complementary space of V in S(Rⁿ){\cal S}(R^n). In this article we give complementary spaces of two kinds of the Lizorkin spaces in S(Rⁿ){\cal S}(R^n).     

On symmetrization of jets

Let F = F ^(A,H,t) and F¹ = F^(A1,H1,t1){F^1} = {F^{({A^1},{H^1},{t^1})}} be fiber product preserving bundle functors on the category FM _m of fibred manifolds Y with m-dimensional bases and fibred maps covering local diffeomorphisms. We define a quasi-morphism (A, H, t) → (A ¹, H ¹, t ¹) to be a GL(m)-invariant algebra homomorphism ν: A → A ¹ with t ¹ = ν ∘ t. The main result is that there exists an FM _m -natural transformation FY → F ¹ Y depending on a classical linear connection on the base of Y if and only if there exists a quasi-morphism (A, H, t) → (A ¹, H ¹, t ¹). As applications, we study existence problems of symmetrization (holonomization) of higher order jets and of holonomic prolongation of general connections.     

Infinitesimal Generators of C *-Algebras

We develop the method introduced previously, to construct infinitesimal generators on locally compact group C ^*-algebras and on tensor product of C ^*-algebras. It is shown in particular that there is a C ^* -algebra A such that the C ^*-tensor product of A and an arbitrary C ^*-algebra B can have a non-approximately inner strongly one parameter group of ^*-automorphisms.     

Number of Singularities of Stable Maps

Sharp estimates for the Ricci curvature of a submanifold M ⁿ of an arbitrary Riemannian manifold N ^n+p are established. It is shown that the equality in the lower estimate of the Ricci curvature of M ⁿ in a space form N ^n+p (c) is achieved only when M ⁿ is quasiumbilical with a flat normal bundle. In the case when the codimension p satisfies 1 ≤ p ≤ n − 3, the only submanifolds in N ^n+p (c) on which the Ricci curvature is minimal are the conformally flat ones with a flat normal bundle.      

On the structure of the set bases of a degenerate point

Consider an extreme point (EP)x ⁰ of a convex polyhedron defined by a set of linear inequalities. If the basic solution corresponding tox ⁰ is degenerate,x ⁰ is called a degenerate EP. Corresponding tox ⁰, there are several bases. We will characterize the set of all bases associated withx ⁰, denoted byB ⁰. The setB ⁰ can be divided into two classes, (i) boundary bases and (ii) interior bases. For eachB ⁰, there is a corresponding undirected graphG ⁰, in which there exists a tree which connects all the boundary bases. Some other properties are investigated, and open questions for further research are listed, such as the connection between the structure ofG ⁰ and cycling (e.g., in linear programs).     

Mappings of finite distortion: the degree of regularity

This paper investigates the self-improving integrability properties of the so-called mappings of finite distortion. Let K(x)1 be a measurable function defined on a domain ΩRⁿ, n2, and such that exp(βK(x))L_loc¹(Ω), β>0. We show that there exist two universal constants c₁(n),c₂(n) with the following property: Let f be a mapping in W_loc^1,1(Ω,Rⁿ) with |Df(x)|ⁿK(x)J(x,f) for a.e. xΩ and such that the Jacobian determinant J(x,f) is locally in L¹ log^−c₁(n)βL. Then automatically J(x,f) is locally in L¹ log^c₂(n)βL(Ω). This result constitutes the appropriate analog for the self-improving regularity of quasiregular mappings and clarifies many other interesting properties of mappings of finite distortion. Namely, we obtain novel results on the size of removable singularities for bounded mappings of finite distortion, and on the area distortion under this class of mappings.     

The torsion of a submanifold of a Riemannian manifold

For a submanifoldM ⁿ of a Riemannian manifoldM ^q, the concept of a torsion bivector at the point x M ⁿ for given one- and two-dimensional directions fromT _x M ⁿ is introduced using only the first and second fundamental forms ofM ⁿ. Its relation to the concept of Gaussian torsion is then established. It is proved that: 1) equality to zero of the torsion bivector is necessary and, whenM ⁿ is a nondevelopable surface of a space of constant curvature with nonzero second fundamental form, is also sufficient for the "flattening" ofM ⁿ into some totally geodesicM ⁿ⁺¹ inM ^q; 2) when n = 2, the independence of the nonzero torsion bivector of direction characterizes a minimalM ² inM ^q.Translated from Ukrainskii Geometricheskii Sbornik, No. 34, pp. 39–42, 1991.     

On the number of triple points of an immersed surface with boundary

Given a generic immersionf:S ¹→S ² of a circle into the sphere, we find the best possible lower estimation for the number of triple points of a generic immersionF: (M, S ¹)→(B ³,S ²) extendingf, whereM is an oriented surface with boundary ∂M=S ¹,B ³ is the 3-dimensional ball with boundaryS ². Supported by the Hungarian National Science and Research Foundation OTKA 2505 Supported by the Hungarian National Science and Research Foundation OTKA T4232 This article was processed by the author using the Springer-Verlag T_EX P Jour1g macro package 1991.     

Maximal commutative subalgebras of matrix algebras

Maximal commutative subalgebras of the algebra of n by n matrices over a field k very rarely have dimension smaller than n. There is a (B, N)-construction which yields subalgebras of this kind. The Courter's algebra that is of this kind was shown a (B, N)-construction where B is the Schur algebra of size 4 and N = k ⁴. That is, the Courter's algebra is isomorphic to B ? (k ⁴)², the idealization of (k ⁴)². It was questioned how many isomorphism classes can be produced by varying the finitely generated faithful B-module N. In this paper, we will show that the set of all algebras B ? N ² fall into a single isomorphism class, where B is the Schur algebra of size 4 and N a finitely generated faithful B-module.