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.     

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.     

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.     

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.     

Isomorphisms between unital C-algebras

It is shown that every almost linear bijection of a unital C^∗-algebra A onto a unital C^∗-algebra B is a C^∗-algebra isomorphism when h(n²uy)=h(n²u)h(y) for all unitaries u∈A, all y∈A, and n=0,1,2,…, and that almost linear continuous bijection of a unital C^∗-algebra A of real rank zero onto a unital C^∗-algebra B is a C^∗-algebra isomorphism when h(n²uy)=h(n²u)h(y) for all , all y∈A, and n=0,1,2,…. Assume that X and Y are left normed modules over a unital C^∗-algebra A. It is shown that every surjective isometry , satisfying T(0)=0 and T(ux)=uT(x) for all x∈X and all unitaries u∈A, is an A-linear isomorphism. This is applied to investigate C^∗-algebra isomorphisms between unital C^∗-algebras.     

Identification of the unknown diffusion coefficient in a linear parabolic equation by the semigroup approach

In this article, we study the semigroup approach for the mathematical analysis of the inverse coefficient problems of identifying the unknown coefficient k(x) in the linear parabolic equation ut(x,t)=(k(x)uxx(x,t)), with Dirichlet boundary conditions u(0,t)=ψ₀, u(1,t)=ψ₁. Main goal of this study is to investigate the distinguishability of the input-output mappings Φ[⋅]:K→C¹[0,T], Ψ[⋅]:K→C¹[0,T] via semigroup theory. In this paper, we show that if the null space of the semigroup T(t) consists of only zero function, then the input-output mappings Φ[⋅] and Ψ[⋅] have the distinguishability property. Moreover, the values k(0) and k(1) of the unknown diffusion coefficient k(x) at x=0 and x=1, respectively, can be determined explicitly by making use of measured output data (boundary observations) f(t):=k(0)ux(0,t) or/and h(t):=k(1)ux(1,t). In addition to these, the values k^′(0) and k^′(1) of the unknown coefficient k(x) at x=0 and x=1, respectively, are also determined via the input data. Furthermore, it is shown that measured output dataf(t) and h(t) can be determined analytically, by an integral representation. Hence the input-output mappings Φ[⋅]:K→C¹[0,T], Ψ[⋅]:K→C¹[0,T] are given explicitly in terms of the semigroup. Finally by using all these results, we construct the local representations of the unknown coefficient k(x) at the end points x=0 and x=1.     

Asymptotically spirallike mappings in several complex variables

In this paper, we define the notion of asymptotic spirallikeness (a generalization of asymptotic starlikeness) in the Euclidean space ℂ ⁿ . We consider the connection between this notion and univalent subordination chains. We introduce the notions of A-asymptotic spirallikeness and A-parametric representation, where A ∈ L(ℂ ⁿ , ℂ ⁿ ), and prove that if dt < ∞ (this integral is convergent if k ₊(A) < 2m(A)), then a mapping f ∈ S(B ⁿ ) is A-asymptotically spirallike if and only if f has A-parametric representation, i.e., if and only if there exists a univalent subordination chain f(z, t) such that D f(0, t) = e ^At , {e ^−At f(·, t)} _t≥0 is a normal family on B ⁿ and f = f(·, 0). In particular, a spirallike mapping with respect to A ∈ L(ℂ ⁿ , ℂ ⁿ ) with dt < ∞ has A-parametric representation. We also prove that if f is a spirallike mapping with respect to an operator A such that A + A* = 2I _n , then f has parametric representation (i.e., with respect to the identity). Finally, we obtain some examples of asymptotically spirallike mappings. Partially supported by the Natural Sciences and Engineering Research Council of Canada under Grant A9221. Partially supported by Grant-in-Aid for Scientific Research (C) no. 19540205 from Japan Society for the Promotion of Science, 2007. Partially supported by Romanian Ministry of Education and Research, CEEX Program, Project 2-CEx06-11-10/2006.     

Norm inequalities for vector functions

We study vector functions of Rn into itself, which are of the form x?g(|x|)x, where g:(0,∞)→(0,∞) is a continuous function and call these radial functions. In the case when g(t)=tc for some c∈R, we find upper bounds for the distance of image points under such a radial function. Some of our results refine recent results of L. Maligranda and S.S. Dragomir. In particular, we study quasiconformal mappings of this simple type and obtain norm inequalities for such mappings.     

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.     

Self-adjusting stochastic processes

Let A_t(i, j) be the transition matrix at time t of a process with n states. Such a process may be called self-adjusting if the occurrence of the transition from state h to state k at time t results in a change in the hth row such that A_t+1(h, k) ? A_t(h, k). If the self-adjustment (due to transition h → kx) is A_{t + 1}(h, j) = λA_t(h, j) + (1 ? λ)δ_jk (0 < λ < 1), then with probability 1 the process is eventually periodic. If A₀(i, j) < 1 for all i, j and if the self-adjustment satisfies A_{t + 1}(h, k) = ?(A_t(h, k)) with ?(x) twice differentiable and increasing, x < ?(x) < 1 for 0 ? x < 1,?(1) = ?′(1) = 1, then, with probability 1, lim A_t does not exist.     

An even-order three-point boundary value problem on time scales

We study the even-order dynamic equation (−1)ⁿx^(Δ∇)n(t)=λh(t)f(x(t)), t∈[a,c] satisfying the boundary conditions x^(Δ∇)i(a)=0 and x^(Δ∇)i(c)=βx^(Δ∇)i(b) for 0?i?n−1. The three points a,b,c are from a time scale , where 0<β(b−a)<c−a for b∈(a,c), β>0, f is a positive function, and h is a nonnegative function that is allowed to vanish on some subintervals of [a,c] of the time scale.     

Numerical range and quasi-sectorial contractions

A method developed in Arlinski? (1987) [1] is applied to study the numerical range of quasi-sectorial contractions and to prove three main results. Our first theorem gives characterization of the maximal sectorial generator A in terms of the corresponding contraction semigroup {exp(−tA)}_t?0. The second result establishes for these quasi-sectorial contractions a quite accurate localization of their numerical range. We give for this class of semigroups a new proof of the Euler operator-norm approximation: exp(−tA)=limn→∞(I+tA/n)⁻ⁿ, t?0, with the optimal estimate: O(1/n), of the convergence rate, which takes into account the value of the sectorial generator angle (the third result).     

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.     

A Galerkin Approximation for the Initial-Value Problem for Linear Second-Order Differential Equations

In this paper, a Galerkin type algorithm is given for the numerical solution of L(x)=(r(t)x'(t))'-p(t)x(t)=g(t); x(a)=x_a, x'(a)=x'_a, where r (t)>f0, and Spline hat functions form the approximating basis. Using the related quadratic form, a two-step difference equation is derived for the numerical solutions. A discrete Gronwall type lemma is then used to show that the error at the node points satisfies e_k=0(h²). If e(t) is the error function on a?t?b; it is also shown (in a variety of norms) that e(t)?Ch² and e'(t)?C₁h. Test case runs are also included. A (one step) Richardson or Rhomberg type procedure is used to show that e^R_k=0(h⁴). Thus our results are comparable to Runge-Kutta with half the function evaluations.     

Almost homomorphisms between unital <Emphasis Type="Italic">C</Emphasis>*-algebras: A fixed point approach

Let A , B be two unital C*-algebras. By using fixed pint methods, we prove that every almost unital almost linear mapping h : A → B which satisfies h(2 n uy) = h(2 n u)h(y) for all u ∈ U(A), all y ∈ A, and all n = 0, 1, 2, … , is a homomorphism. Also, we establish the generalized Hyers-Ulam-Rassias stability of *-homomorphisms on unital C*-algebras.     

Isolated singularities for weighted quasilinear elliptic equations

We classify all the possible asymptotic behavior at the origin for positive solutions of quasilinear elliptic equations of the form div(|∇u|^p−2∇u)=b(x)h(u) in Ω?{0}, where 1<p?N and Ω is an open subset of RN with 0∈Ω. Our main result provides a sharp extension of a well-known theorem of Friedman and Véron for h(u)=uq and b(x)≡1, and a recent result of the authors for p=2 and b(x)≡1. We assume that the function h is regularly varying at ∞ with index q (that is, limt→∞h(λt)/h(t)=λq for every λ>0) and the weight function b(x) behaves near the origin as a function b₀(|x|) varying regularly at zero with index θ greater than −p. This condition includes b(x)=θ|x| and some of its perturbations, for instance, b(x)=θ|x|m(−log|x|) for any m∈R. Our approach makes use of the theory of regular variation and a new perturbation method for constructing sub- and super-solutions.     

Stabilization of unbounded bilinear control systems in Hilbert space

We consider bilinear control systems of the form y^′(t)=Ay(t)+u(t)By(t) where A generates a strongly continuous semigroup of contraction (etA)_t?0 on an infinite-dimensional Hilbert space Y whose scalar product is denoted by 〈.,.〉. We suppose that this system is unbounded in the sense that the linear operator B is unbounded from the state Y into itself. Tacking into account eventual control saturation, we study the problem of stabilization by (possibly nonquadratic) feedback of the form u(t)=−f(〈By(t),y(t)〉). Applications to the heat equation is considered.     

On minimal Sturmian partial words

Partial words, which are sequences that may have some undefined positions called holes, can be viewed as sequences over an extended alphabet A_?=A∪{?}, where ? stands for a hole and matches (or is compatible with) every letter in A. The subword complexity of a partial word w, denoted by p_w(n), is the number of distinct full words (those without holes) over the alphabet that are compatible with factors of length n of w. A function f:N→N is (k,h)-feasible if for each integer N≥1, there exists a k-ary partial word w with h holes such that p_w(n)=f(n) for all n such that 1≤n≤N. We show that when dealing with feasibility in the context of finite binary partial words, the only affine functions that need investigation are f(n)=n+1 and f(n)=2n. It turns out that both are (2,h)-feasible for all non-negative integers h. We classify all minimal partial words with h holes of order N with respect to f(n)=n+1, called Sturmian, computing their lengths as well as their numbers, except when h=0 in which case we describe an algorithm that generates all minimal Sturmian full words. We show that up to reversal and complement, any minimal Sturmian partial word with one hole is of the form aⁱ?a^jba^l, where i,j,l are integers satisfying some restrictions, that all minimal Sturmian partial words with two holes are one-periodic, and that up to complement, ?(a^N−1?)^h−1 is the only minimal Sturmian partial word with h≥3 holes. Finally, we give upper bounds on the lengths of minimal partial words with respect to f(n)=2n, showing them tight for h=0,1 or 2.     

Growth theorems and coefficient bounds for univalent holomorphic mappings which have parametric representation

Let B be the unit ball in Cn with respect to an arbitrary norm and let f(z,t) be a g-Loewner chain such that e−tf(z,t)−z has a zero of order k+1 at z=0. In this paper, we obtain growth and covering theorems for . Moreover, we consider coefficient bounds and examples of mappings in .     

A conjugated version of the countable dense homogeneity

We are interested in finding a homeomorphism h of a space X with h⁻¹○Φ○h(A)=B for a given bijection Φ of X and every pair of countable dense subsets A and B of X. For a separable Banach space X, such a homeomorphism h always exists provided the fixed-point set of Φ has the empty interior. Moreover, h can be chosen to be real-analytic. As a consequence, there exists a real analytic flow that sends A onto B after time t=1. Actually, for X=Rn, any bounded real-analytic vector field can be approximated by a real-analytic vector field whose induced flow sends A onto B after time t=1. Topological and Cp smooth counterparts of these results are also obtained.