A little microlocal Morse theory

If a complex analytic function, f, has a stratified isolated critical point, then it is known that the cohomology of the Milnor fibre of f has a direct sum decomposition in terms of the normal Morse data to the strata. We use microlocal Morse theory to obtain the same result under the weakened hypothesis that the vanishing cycles along f have isolated support. We also investigate an index-theoretic proof of this fact. Received: 15 September 2000 / Published online: 18 June 2001     

On the generalized critical values of a polynomial mapping

 Let be a polynomial dominant mapping and let deg f _i ≤d. We prove that the set K(f) of generalized critical values of f is contained in the algebraic hypersurface of degree at most D=(d+s(m−1)(d−1)) ⁿ , where . This implies in particular that the set B(f) of bifurcations points of f is contained in the hypersurface of degree at most D=(d+s(m−1)(d−1)) ⁿ . We give also an algorithm to compute the set K(f) effectively. Received: 11 June 2001 / Revised version: 1 July 2002 Published online: 24 January 2003 The author is partially supported by the KBN grant 2 PO3A 017 22. Mathematics Subject Classification (2000): 14D06, 14Q20, 51N10, 51N20, 15A04     

On the Isosceles Orthogonally Exponential Mappings

We prove that if X is a real linear normed space and dim X > 1, then, for every isosceles orthogonally exponential mapping f of X into a division ring, either f(X\{0}) = {0} or 0 ∉ f(X). As a consequence of this fact we obtain the following theorem: If X is not an inner product space and dim X > 2, then every isosceles orthogonally exponential mapping of X into a (commutative) field is exponential. We also generalize some results concerning the orthogonally additive mappings. This revised version was published online in June 2006 with corrections to the Cover Date.     

${\cal H}^1$-estimates of Jacobians by subdeterminants

Let be a mapping in the Sobolev space . We assume that the cofactors of the differential matrix Df(x) belong to . Then, among other things, we prove that the Jacobian determinant detDf lies in the Hardy space . Received: 20 November 2000 / Revised version: 17 December 2001 / Published online: 5 September 2002 Iwaniec was supported by NSF grant DMS-0070807. This research was done while Onninen was visiting Mathematics Department at Syracuse University. He wishes to thank SU for the support and hospitality.     

Analytic functions over a field of power series

 We extend the notion of absolute convergence for real series in several variables to a notion of convergence for series in a power series field ℝ((t ^Γ)) with coefficients in ℝ. Subsequently, we define a natural notion of analytic function at a point of ℝ((t ^Γ))^m. Then, given a real function f analytic on a open box I of ℝ ^m , we extend f to a function f ^★ which is analytic on a subset of ℝ((t ^Γ)) ^m containing I. We prove that the functions f ^★ share with real analytic functions certain basic properties: they are , they have usual Taylor development, they satisfy the inverse function theorem and the implicit function theorem. Received: 5 October 2000 / Revised version: 19 June 2001 / Published online: 12 July 2002     

Operators of Fourier type <Emphasis Type="Italic">p</Emphasis> with respect to some subgroups of a locally compact Abelian group

It is shown that all Banach space operators which have Fourier type p(1 < p 2) with respect to a second countable locally compact abelian group G also have Fourier type p with respect to every closed discrete subgroup H of G. The same statement holds for any closed subgroup H of G when p = 2. Also shown as a corollary is that Fourier type 2 operators have Walsh type 2. Received: 10 June 2002     

The coefficients of the Laurent series expansions of real analytic functions

Letf be a real analytic function of a real variable such that 0 is an isolated (possibly essential) singularity off. In the existing literature the coefficients of the Laurent series expansion off around 0 are obtained by applying Cauchy's integral formula to the analytic continuation off on the complex plane. Here by means of a conformal mapping we derive a formula which determines the Laurent coefficients off solely in terms of the values off and the derivatives off at a real point of analyticity off. Using a more complicated mapping, we similarly determine the coefficients of the Laurent expansion off around 0 where now 0 is a singularity off which is not necessarily isolated.     

Order-coherent Archimedean <Emphasis Type="Italic">f</Emphasis>-algebras

Let A be an Archimedean uniformly complete f-algebra with unit element. It is shown that A is a po-coherent ring (in the sense of F. Wehrung) if and only if A is Dedekind σ-complete. Received June 7, 2001; accepted in final form September 1, 2002.     

On the analyticity of CR mappings between nonminimal hypersurfaces

Let be a connected real-analytic hypersurface containing a connected complex hypersurface , and let be a smooth CR mapping sending M into another real-analytic hypersurface . In this paper, we prove that if f does not collapse E to a point and does not collapse M into the image of E, and if the Levi form of M vanishes to first order along E, then f is real-analytic in a neighborhood of E. In general, the corresponding statement is false if the Levi form of M vanishes to second order or higher, in view of an example due to the author. We also show analogous results in higher dimensions provided that the target M' satisfies a certain nondegeneracy condition. The main ingredient in the proof, which seems to be of independent interest, is the prolongation of the system defining a CR mapping sending M into M' to a Pfaffian system on M with singularities along E. The nature of the singularity is described by the order of vanishing of the Levi form along E. Received: 12 February 2001 / Published online: 18 January 2002     

Effectively open real functions

A function f is continuous iff the pre-image f^-1[V] of any open set V is open again. Dual to this topological property, f is called open iff the image f[U] of any open set U is open again. Several classical open mapping theorems in analysis provide a variety of sufficient conditions for openness.By the main theorem of recursive analysis, computable real functions are necessarily continuous. In fact they admit a well-known characterization in terms of the mapping Vf^-1[V] being effective: given a list of open rational balls exhausting V, a Turing Machine can generate a corresponding list for f^-1[V]. Analogously, effective openness requires the mapping Uf[U] on open real subsets to be effective.The present work combines real analysis with algebraic topology and Tarski's quantifier elimination to effectivize classical open mapping theorems and to establish several rich classes of real functions as effectively open.     

Semiconvexity of invariant functions of rectangular matrices

The paper deals with the semiconvexity properties (i.e., the rank 1 convexity, quasiconvexity, polyconvexity, and convexity) of rotationally invariant functions f of matrices. For the invariance with respect to the proper orthogonal group and the invariance with respect to the full orthogonal group coincide. With each invariant f one can associate a fully invariant function of a square matrix of type where It is shown that f has the semi convexity of a given type if and only if has the semiconvexity of that type. Consequently the semiconvex hulls of f can be determined by evaluating the corresponding hulls of and then extending them to matrices by rotational invariance. Received: 10 October 2001 / Accepted: 23 January 2002 // Published online: 6 August 2002 RID="*" ID="*" This research was supported by Grant 201/00/1516 of the Czech Republic.     

Residual indices of holomorphic maps relative to singular curves of fixed points on surfaces

Let M be a two-dimensional complex manifold and let be a holomorphic map that fixes pointwise a (possibly) singular, compact, reduced and globally irreducible curve . We give a notion of degeneracy of f at a point of C. It turns out that f is non-degenerate at one point if and only if it is non-degenerate at every point of C. When f is non-degenerate on C, we define a residual index for f at each point of C. Then we prove that the sum of the indices is equal to the self-intersection number of C. Received: 15 May 2000; in final form: 10 July 2001 / Published online: 1 February 2002     

A Note on *-paranormal Operators

In this note we show that if either T or T^* is totally *-paranormal then Weyls theorem holds for f(T) for every f , and also a-Weyls theorem holds for f(T) if T is totally *-paranormal. We prove that if either T or T^* is *-paranormal then the spectral mapping theorem holds for the Weyl spectrum and for the essential approximate point spectrum.     

On approximation of approximately generalized quadratic functional equation via Lipschitz criteria

Abstract

Let G be an Abelian group with a metric d and E ba a normed space. For any f : G → E we define the generalized quadratic di?erence of the function f by the formula

Q_k f (x, y) := f (x + ky) + f (x ? ky) ? f (x + y) ? f (x ? y) ? 2(k² ? 1)f (y)

for all x, y ∈ G and for any integer k with k ≠ 1, ?1. In this paper, we achieve the general solution of equation Q_k f (x, y) = 0, after it, we show that if Q_k f is Lipschitz, then there exists a quadratic function K : G → E such that f ? K is Lipschitz with the same constant. Moreover, some results concerning the stability of the generalized quadratic functional equation in the Lipschitz norms are presented. In the particular case, if k = 0 we obtain the main result that is in [7].     

Formulas for the Inverses of Toeplitz Matrices with Polynomially Singular Symbols

We consider large finite Toeplitz matrices with symbols of the form (1– cos )^p f() where p is a natural number and f is a sufficiently smooth positive function. By employing techniques based on the use of predictor polynomials, we derive exact and asymptotic formulas for the entries of the inverses of these matrices. We show in particular that asymptotically the inverse matrix mimics the Green kernel of a boundary value problem for the differential operator Submitted: June 20, 2003     

Darboux property of Gâteaux derivatives of functions on ℝ n

D. Preiss proved that the graph of the derivative of a continuous Gateaux-differentiable function f : ℝ² → ℝ is always connected. We show that this is no longer true in higher dimensions: we construct a continuous, Gateaux-differentiable function f : ℝ³ → ℝ for which the range of its gradient mapping {∇ f(x) : x ∈ ℝ³} is disconnected. We also give an example of an approximately differentiable continuous function on ℝ² such that the range of its gradient mapping is disconnected. The work is a part of the research project MSM 0021620839 financed by MSMT and it was also partly supported by GAČR 201/06/0198 and GAČR 201/06/0018.