Extreme points, support points and the Loewner variation in several complex variables

In this paper we consider extreme points and support points for compact subclasses of normalized biholomorphic mappings of the Euclidean unit ball Bn in Cn. We consider the class S0(Bn) of biholomorphic mappings on Bn which have parametric representation, i.e., they are the initial elements f (·, 0) of a Loewner chain f (z, t) = etz + ··· such that {e-tf (·, t)}t 0 is a normal family on Bn. We show that if f (·, 0) is an extreme point (respectively a support point) of S0(Bn), then e-tf (·, t) is an extreme point of S0(Bn) for t 0 (respectively a support point of S0(Bn) for t ∈[0, t0] and some t0 > 0). This is a generalization to the n-dimensional case of work due to Pell. Also, we prove analogous results for mappings which belong to S0(Bn) and which are bounded in the norm by a fixed constant. We relate the study of this class to reachable sets in control theory generalizing work of Roth. Finally we consider extreme points and support points for biholomorphic mappings of Bn generated by using extension operators that preserve Loewner chains.     

Loewner chains and parametric representation in several complex variables

Let B be the unit ball of with respect to an arbitrary norm. We study certain properties of Loewner chains and their transition mappings on the unit ball B. We show that any Loewner chain f(z,t) and the transition mapping v(z,s,t) associated to f(z,t) satisfy locally Lipschitz conditions in t locally uniformly with respect to z∈B. Moreover, we prove that a mapping f∈H(B) has parametric representation if and only if there exists a Loewner chain f(z,t) such that the family {e^−tf(z,t)}_t?0 is a normal family on B and f(z)=f(z,0) for z∈B. Also we show that univalent solutions f(z,t) of the generalized Loewner differential equation in higher dimensions are unique when {e^−tf(z,t)}_t?0 is a normal family on B. Finally we show that the set S⁰(B) of mappings which have parametric representation on B is compact.     

Solutions for the generalized Loewner differential equation in several complex variables

We generalize a one-variable result of J. Becker to several complex variables. We determine the form of arbitrary solutions of the Loewner differential equation that is satisfied by univalent subordination chains of the form ${f(z, t)=e^{tA}z+\cdots,}We generalize a one-variable result of J. Becker to several complex variables. We determine the form of arbitrary solutions of the Loewner differential equation that is satisfied by univalent subordination chains of the form f(z, t)=e^tAz+?,{f(z, t)=e^{tA}z+\cdots,} where A ? L(\mathbbCⁿ, \mathbbCⁿ){A\in L(\mathbb{C}^n, \mathbb{C}^n)} has the property k ₊(A) < 2m(A). Here k₊(A)=max{?l:l ? s(A)}{k_+(A)=\max\{\Re\lambda:\lambda\in \sigma(A)\}} and m(A)=min{?áA(z), z ?: ||z||=1}{m(A)=\min\{\Re\langle A(z), z \rangle: \|z\|=1\}} . (The notion of parametric representation has a useful generalization under these conditions, so that one has a canonical solution of the Loewner differential equation.) In particular, we determine the form of the univalent solutions. The results are applied to subordination chains generated by spirallike mappings on the unit ball in \mathbbCⁿ{\mathbb{C}^n} . Finally, we determine the form of the solutions in the presence of certain coefficient bounds.     

Polynomially bounded solutions to the Loewner differential equation in several complex variables

We determine the form of polynomially bounded solutions to the Loewner differential equation that is satisfied by univalent subordination chains of the form f(z,t)=etAz+?, where A∈L(Cn,Cn) has the property m(A)>0. Here m(A)=min{R〈A(z),z〉:‖z‖=1}. We also give sufficient conditions for g(z,t)=L(f(z,t)) to be polynomially bounded, where f(z,t) is an A-normalized polynomially bounded Loewner chain solution to the Loewner differential equation.     

On Subordination Chains with Normalization Given by a Time-dependent Linear Operator

In this paper we are concerned with solutions, in particular with univalent solutions, of the Loewner differential equation associated with non-normalized subordination chains on the Euclidean unit ball B ⁿ in \mathbbCⁿ{\mathbb{C}^n}. The main result is a generalization to higher dimensions of a well known result due to Becker. Various particular cases of this result have been recently obtained for subordination chains with normalization Df(0,t)=e^tI_n{Df(0,t)=e^tI_n} or Df(0, t) = e ^tA , t ≥ 0, where A ? L(\mathbbCⁿ,\mathbbCⁿ){A\in L(\mathbb{C}^n,\mathbb{C}^n)}. We also determine the form of the standard solutions to the Loewner differential equation associated with generalized spirallike mappings. In the last section we obtain the form of the solution in the presence of coefficient bounds.     

A class of Loewner chain preserving extension operators

We consider operators that extend locally univalent mappings of the unit disk Δ in C to locally biholomorphic mappings of the Euclidean unit ball B of Cn. For such an operator Φ, we seek conditions under which etΦ(e−tf(⋅,t)), t?0, is a Loewner chain on B whenever f(⋅,t), t?0, is a Loewner chain on Δ. We primarily study operators of the form , , where β∈[0,1/2] and is holomorphic, finding that, for ΦG,β to preserve Loewner chains, the maximum degree of terms appearing in the expansion of G is a function of β. Further applications involving Bloch mappings and radius of starlikeness are given, as are elementary results concerning extreme points and support points.     

An Extension Theorem and Subclasses of Univalent Mappings in Several Complex Variables

Let B be the unit ball in C ⁿ and let U be the unit disc in C. The aim of this work is to construct a family of operators Ψ _n,α that provide a way to extend a locally univalent function ? ? H(U) to a locally univalent mapping F_α ? H(B), where α ? (0,1]. If ? is normalized univalent, then F_α can be imbedded in a Loewner chain. Also if ? ? S?, then F_α is starlike. We show that if ? belongs to a class of univalent functions which satisfy growth and distortion results, then the mapping F_α satisfies similar growth and distortion results. Also we study the concept of linear-invariant families as it relates to families generated by the operator Ψ _n,0, and we obtain in this way another example of a L.I.F. that has minimum order (n + 1)/2 and is not a subset of the normalized convex mappings in the unit ball of C ⁿ (for n ≤ 2.)     

Padé-type approximants with orthogonal generating polynomials

The interpolation of the function x → 1/(1 ? xt) generating the series f(t) = ∑^∞_{i = 0}c_itⁱ at the zeros of an orthogonal polynomial with respect to a distribution d α satisfying some conditions will give us a process for accelerating the convergence of f_n(t) = ∑ⁿ_{i = 0}c_itⁱ. Then, we shall see that the polynomial of best approximation of x → 1/(1 ? xt) over some interval or its development in Chebyshev polynomials T_n or U_n are only particular cases of the main theorem.At last, we shall show that all these processes accelerate linear combinations with positive coefficients of totally monotonic and oscillating sequences.     

On the lower order of mappings with finite length distortion

We study the problem of the so-called lower order for one kind of mappings with finite distortion, actively investigated in the recent 15–20 years.We prove that mappings with finite length distortion f: D → ? ⁿ , n ≥ 2, whose outer dilatation is integrable to the power α > n ? 1 with finite asymptotic limit have lower order bounded from below.     

On bijections of Lorentz manifolds,which leave the class of spacelike paths invariant

Suppose that (M, g) and (M′, g′) are Lorentz manifolds, and that f: M → M′ is a bijection, such that f and f^-1 preserve spacelike paths (f: M → M′ has this property, if for any spacelike path γ: J → M in (M ,g), the composition fγ: J → M′ is a spacelike path in (M′, g′)). Then f is a (manifold-) homeomorphism.This statement is the ‘spacelike’ version of an analogous ‘timelike’ theorem (Hawking, King and McCarthy [6] and Göbel [2] for strongly causal, and Malament [10] for general Lorentz manifolds).With this result it is possible to prove a conjecture of Göbel [3] which states that every bijection between time-orientable n-dimensional (n ? 3) Lorentz manifolds which preserves spacelike paths is a conformal C^∞-diffeomorphism.     

Invertible linear maps preserving {1}-inverses of matrices over PID

Let R be a PID,chR = 2,n > 1, M_n(R) be then xn full matrix algebra over R.f denotes any invertible linear map preserving {1}-inverses from M_n(R) to itself. In this paper, we have proven thatf is an invertible linear map on M_n(R) preserving {1}-inverses if and only iff satisfies any one of the following two conditions: (i) there exists a matrixP ? GL _n(R) such thatf(A) =PAP ^?1 for allA ? M _n(R), (ii) there exists a matrixP ? GL _n(R) such thatf(A) =PA ^t P^?1 forA ? M _n(R).     

A limit theorem for order preserving nonexpansive operators inL 1

We prove the following theorem:Let T be an order preserving nonexpansive operator on L ₁ (μ) (or L ₁ ⁺ ) of a σ-finite measure, which also decreases theL _∞-norm, and let S=tI+(1?t)T for 0<t<1. Then for everyf ∈ L_p (1<p<∞),the sequence S ⁿf converges weakly in L_p. (The assumptions do not imply thatT is nonexpansive inL _p for anyp>1, even ifμ is finite.) For the proof we show that ∥S ⁿ⁺¹ f?S ⁿf∥ _p → 0 for everyf ∈L _p, 1<p<∞, and apply toS the following theorem:Let T be order preserving and nonexpansive in L ₁ ⁺ , and assume that T decreases theL _∞-norm. Then forg ∈L _p (1<p<∞) Tⁿg is weakly almost convergent. If forf ∈ L_p we have T ⁿ⁺¹ f?T ⁿ f → 0weakly, then T ⁿf converges weakly in L_p (1<p<∞).     

When a smooth self-map of a semi-simple Lie group can realize the least number of periodic points

There are two algebraic lower bounds of the number of n-periodic points of a self-map f : M → M of a compact smooth manifold of dimension at least 3: NF_n(f) = min{#Fix(g~n); g ～ f; g continuous} and NJD_n(f) = min{#Fix(g~n); g ～ f; g smooth}. In general, NJD_n(f) may be much greater than NF_n(f). We show that for a self-map of a semi-simple Lie group, inducing the identity fundamental group homomorphism,the equality NF_n(f) = NJD_n(f) holds for all n ? all eigenvalues of a quotient cohomology homomorphism induced by f have moduli 1.     

Solution of a Loewner chain equation in several complex variables

We find a solution to the Loewner chain equation in the case when the infinitesimal generator satisfies h(0,t)=0, Dh(0,t)=A for any A∈L(Cn,Cn) with m(A)>0. We also study the related classes of spirallike mappings, mappings with parametric representation and asymptotically spirallike mappings.     

Periodic forcing of solutions of a boundary value problem for a second-order differential equation in Hilbert space

We show that if u is a bounded solution on $\text{R}$⁺ of u″(t) ?Au(t) + f(t), where A is a maximal monotone operator on a real Hilbert space H and f∈L_loc²($\text{R}$⁺;H) is periodic, then there exists a periodic solution ω of the differential equation such that u(t) ? ω(t)   0 and u′(t) ? ω′(t) → 0 as t → ∞. We also show that the two-point boundary value problem for this equation has a unique solution for boundary values in $\text{D(A)}$ and that a smoothing effect takes place.     

Non-L 1 functions with rotation sets of Hausdorff dimension one

Suppose that f: ? → ? is a given measurable function, periodic by 1. For an α ∈ ? put M _n ^α f(x) = 1/n+1 Σ _k=0 ⁿ f(x + kα). Let Γ _f denote the set of those α’s in (0;1) for which M _n ^α f(x) converges for almost every x ∈ ?. We call Γ _f the rotation set of f. We proved earlier that from |Γ _f | > 0 it follows that f is integrable on [0; 1], and hence, by Birkhoff’s Ergodic Theorem all α ∈ [0; 1] belongs to Γ _f . However, Γ _f \? can be dense (even c-dense) for non-L ¹ functions as well. In this paper we show that there are non-L ¹ functions for which Γ _f is of Hausdorff dimension one.     

Anti‐periodic solutions for evolution equations with mappings in the class (S+)

In this paper, we study the existence of anti‐periodic solutions for the first order evolution equation in a Hilbert space H, where G : H → ? is an even function such that ?G is a mapping of class (S₊) and f : ? → ? satisfies f(t + T) = –f(t) for any t ∈ ? with f(·) ∈ L²(0, T; H). (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

F-limit points in dynamical systems defined on the interval

Given a free ultrafilter p on ? we say that x ∈ [0, 1] is the p-limit point of a sequence (x _n ) _n∈? ? [0, 1] (in symbols, x = p -lim _n∈? x _n ) if for every neighbourhood V of x, {n ∈ ?: x _n ∈ V} ∈ p. For a function f: [0, 1] → [0, 1] the function f ^p : [0, 1] → [0, 1] is defined by f ^p (x) = p -lim _n∈? f ⁿ (x) for each x ∈ [0, 1]. This map is rarely continuous. In this note we study properties which are equivalent to the continuity of f ^p . For a filter F we also define the ω ^F -limit set of f at x. We consider a question about continuity of the multivalued map x → ω _f ^F (x). We point out some connections between the Baire class of f ^p and tame dynamical systems, and give some open problems.     

On the measurability of functions with quasi-continuous and upper semi-continuous vertical sections

Let f: ?² → ? be a function with upper semicontinuous and quasi-continuous vertical sections f _x (t) = f(x, t), t, x ∈ ?. It is proved that if the horizontal sections f ^y (t) = f(t, y), y, t ∈ ?, are of Baire class α (resp. Lebesgue measurable) [resp. with the Baire property] then f is of Baire class α + 2 (resp. Lebesgue measurable and sup-measurable) [resp. has Baire property].     

The push-out space of immersed spheres

Let f: M ^m → ? ^m+1 be an immersion of an orientable m-dimensional connected smooth manifold M without boundary and assume that ξ is a unit normal field for f. For a real number t the map f _tξ: M ^m → ? ^m+1 is defined as f _tξ(p) = f(p) + tξ(p). It is known that if f _tξ is an immersion, then for each p ∈ M the number of the focal points on the line segment joining f(p) to f _tξ(p) is a constant integer. This constant integer is called the index of the parallel immersion f _tξ and clearly the index lies between 0 and m. In case f: $\mathbb{S}^m \to \mathbb{R}^{m + 1} $ is an immersion, we study the presence of a component of index μ in the push-out space Ω(f). If there exists a component with index μ = m in Ω(f) then f is known to be a strictly convex embedding of $\mathbb{S}^m $ . We reveal the structure of Ω(f) when $f(\mathbb{S}^m )$ is convex and nonconvex. We also show that the presence of a component of index μ in Ω(f) enables us to construct a continuous field of tangent planes of dimension μ on $\mathbb{S}^m $ and so we see that for certain values of μ there does not exist a component of index μ in Ω(f).