On Homomorphisms between <Emphasis Type="Italic">C</Emphasis>*-Algebras and Linear Derivations on <Emphasis Type="Italic">C</Emphasis>*-Algebras

It is shown that every almost linear Pexider mappings f, g, h from a unital C*-algebra into a unital C*-algebra ℬ are homomorphisms when f(2 ⁿ _uy) = f(2 ⁿ u)f(y), g(2 ⁿ uy) = g(2 ⁿ u)g(y) and h(2 ⁿ uy) = h(2 ⁿ u)h(y) hold for all unitaries u ∈ , all y ∈ , and all n ∈ ℤ, and that every almost linear continuous Pexider mappings f, g, h from a unital C*-algebra of real rank zero into a unital C*-algebra ℬ are homomorphisms when f(2 ⁿ uy) = f(2 ⁿ u)f(y), g(2 ⁿ uy) = g(2 ⁿ u)g(y) and h(2 ⁿ uy) = h(2 ⁿ u)h(y) hold for all u ∈ {v ∈ : v = v* and v is invertible}, all y ∈ and all n ∈ ℤ. Furthermore, we prove the Cauchy-Rassias stability of *-homomorphisms between unital C*-algebras, and ℂ-linear *-derivations on unital C*-algebras. This work was supported by Korea Research Foundation Grant KRF-2003-042-C00008. The second author was supported by the Brain Korea 21 Project in 2005.     

The initial boundary value problem for Navier-Stokes equations

By making full use of the estimates of solutions to nonstationary Stokes equations and the method discussing global stability, we establish the global existence theorem of strong solutions for Navier-Stokes equatios in arbitrary three dimensional domain with uniformlyC ³ boundary, under the assumption that |a| _L ²(Θ) + |f| _L ¹(0,∞;L ²(Θ)) or |∇a| _L ²(Θ) + |f| _L ²(0,∞;L ²(Θ)) small or viscosityv large. Herea is a given initial velocity andf is the external force. This improves on the previous results. Moreover, the solvability of the case with nonhomogeneous boundary conditions is also discussed. This work is supported by foundation of Institute of Mathematics, Academia Sinica     

Indices of hyperelliptic curves over p-adic fields

Let k be a p-adic field of odd residue characteristic and let C be a hyperelliptic (or elliptic) curve defined by the affine equation Y ²=h(X). We discuss the index of C if h(X)=ɛf(X), where ɛ is either a non-square unit or a uniformising element in O _k and f(X) a monic, irreducible polynomial with integral coefficients. If a root θ of f generates an extension k(θ) with ramification index a power of 2, we completely determine the index of C in terms of data associated to θ. Theorem 3.11 summarizes our results and provides an algorithm to calculate the index for such curves C. Received: 14 July 1997 / Revised version: 16 February 1998     

Almost everywhere convergence of Cesàro means of Fourier series on the group of 2-adic integers

We prove the almost everywhere convergence of the Cesàro (C, α)-means of integrable functions σ _n ^α f → f for f ∈ L ¹(I), where I is the group of 2-adic integers for every α > 0. This theorem for the case of α = 1 was proved by the author [1]. For the case of the (C, 1) Fejér means there are several generalizations known with respect to some orthonormal systems. One could mention the papers [2, 9]. Research supported by the Hungarian National Foundation for Scientific Research (OTKA), grant no. T 048780.     

Families of meromorphic functions avoiding continuous functions

Leth ₁,h ₂ andh ₃ be continuous functions from the unit disk D into the Riemann sphereC such thath _i(z) ≠ h_j(z) (i ≠ j) for eachz∈D. We prove that the setF of all functionsf meromorphic on D such thatf(z)≠h _j (z) for allz ∈ D andj=1,2,3 is a normal family. The result and the method of the proof extend to quasimeromorphic functions in higher dimensions as well. The second author was supported by a Heisenberg fellowship of the DFG. The fourth author was partially supported by the Marsden Fund, New Zealand. This research was completed while the authors were attending a conference at Mathematisches Forschungsinstitut Oberwolfach in Germany. The authors would like to express their sincere thanks to the Institute for providing a stimulating atmosphere and for its kind hospitality.     

Maximal solutions of semilinear elliptic equations with locally integrable forcing term

We study the existence of a maximal solution of −Δu+g(u)=f(x) in a domain Ω ∈ ℝ ^N with compact boundary, assuming thatf ∈ (L _loc ¹ (Ω))₊ and thatg is nondecreasing,g(0)≥0 andg satisfies the Keller-Osserman condition. We show that if the boundary satisfies the classicalC _1,2 Wiener criterion, then the maximal solution is a large solution, i.e., it blows up everywhere on the boundary. In addition, we discuss the question of uniqueness of large solutions. This research was partially supported by an EC Grant through the RTN Program “Front-Singularities”, HPRN-CT-2002-00274.     

Non-isogenous superelliptic Jacobians

Let ℓ be an odd prime. Let K be a field of characteristic zero with algebraic closure K_a. Let n, m ≥ 4 be integers that are not divisible by ℓ. Let f(x), h(x) ∈ K[x] be irreducible separable polynomials of degree n and m respectively. Suppose that the Galois group Gal(f) of f acts doubly transitively on the set of roots of f and that Gal(h) acts doubly transitively on as well. Let J(C_f,ℓ) and J(C_h,ℓ) be the Jacobians of the superelliptic curves C_f,ℓ:y^ℓ=f(x) and C_h,ℓ:y^ℓ=h(x) respectively. We prove that J(C_f,ℓ) and J(C_h,ℓ) are not isogenous over K_a if the splitting fields of f and h are linearly disjoint over K and K contains a primitive ℓth root of unity.     

<Emphasis Type="Italic">L</Emphasis>(<Emphasis Type="Italic">h</Emphasis>, 1, 1)-labeling of outerplanar graphs

An L(h, 1, 1)-labeling of a graph is an assignment of labels from the set of integers {0, . . . , λ} to the nodes of the graph such that adjacent nodes are assigned integers of at least distance h ≥ 1 apart and all nodes of distance three or less must be assigned different labels. The aim of the L(h, 1, 1)-labeling problem is to minimize λ, denoted by λ _{h, 1, 1} and called span of the L(h, 1, 1)-labeling. As outerplanar graphs have bounded treewidth, the L(1, 1, 1)-labeling problem on outerplanar graphs can be exactly solved in O(n ³), but the multiplicative factor depends on the maximum degree Δ and is too big to be of practical use. In this paper we give a linear time approximation algorithm for computing the more general L(h, 1, 1)-labeling for outerplanar graphs that is within additive constants of the optimum values. This research is partially supported by the European Research Project Algorithmic Principles for Building Efficient Overlay Computers (AEOLUS) and was done during the visit of Richard B. Tan at the Department of Computer Science, University of Rome “Sapienza”, supported by a visiting fellowship from the University of Rome “Sapienza”.     

Adjoints of semigroups acting on vector-valued function spaces

LetT(t) be the translation group onY=C ₀(ℝ×K)=C ₀(ℝ)⊗C(K),K compact Hausdorff, defined byT(t)f(x, y)=f(x+t, y). In this paper we give several representations of the sun-dialY ^⊙ corresponding to this group. Motivated by the solution of this problem, viz.Y ^⊙=L ¹(ℝ)⊗M(K), we develop a duality theorem for semigroups of the formT ₀(t)⊗id on tensor productsZ⊗X of Banach spaces, whereT ₀(t) is a semigroup onZ. Under appropriate compactness assumptions, depending on the kind of tensor product taken, we show that the sun-dial ofZ⊗X is given byZ ^⊙⊗X*. These results are applied to determine the sun-dials for semigroups induced on spaces of vector-valued functions, e.g.C ₀(Ω;X) andL ^p (μ;X). This paper was written during a half-year stay at the Centre for Mathematics and Computer Science CWI in Amsterdam. I am grateful to the CWI and the Dutch National Science Foundation NWO for financial support.     

On projectively normal embeddings of generalk-gonal curves

Fix integersg, k andt witht>0,k≥3 andtk<g/2−1. LetX be a generalk-gonal curve of genusg andR∈Pic ^k (X) the uniqueg _k ¹ onX. SetL:=K _X⊗(R ^*)^⊗t.L is very ample. Leth _L:X→P(H ⁰(X, L)^*) be the associated embedding. Here we prove thath _L(X) is projectively normal. Ifk≥4 andtk<g/2−2 the curveh _L(X) is scheme-theoretically cut out by quadrics. The author was partially supported by MURST and GNSAGA of CNR (Italy).     

Normal families of meromorphic functions with multiple zeros and poles

LetF be a family of functions meromorphic in the plane domainD, all of whose zeros and poles are multiple. Leth be a continuous function onD. Suppose that, for eachf ≠F,f ¹(z) εh(z) forz εD. We show that ifh(z) ≠ 0 for allz εD, or ifh is holomorphic onD but not identically zero there and all zeros of functions inF have multiplicity at least 3, thenF is a normal family onD. Partially supported by the Shanghai Priority Academic Discipline and by the NNSF of China Approved No. 10271122. Research supported by the German-Israeli Foundation for Scientific Research and Development, G.I.F. Grant No. G-643-117.6/1999.     

Maximal L p regularity for parabolic difference equations

In this paper, we consider a family of finite difference operators {Ah }_{h >0} on discrete L _q ‐spaces L _q (?^N _h ). We show that the solution u _h to u ′_h (t) – A _h u _h(t) = f _h (t), t > 0, u _h (0) = 0 satisfies the estimate ‖A _h u _h ‖equation/tex2gif-inf-15.gif ≤ C ‖f _h ‖equation/tex2gif-inf-21.gif, where C is independent of h and f _h . In this case, the family {A _h }_{h >0} is said to have discrete maximal L _p regularity on the discrete L _q ‐space. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Approximately Linear Mappings in Banach Modules over a C^＊-algebra

Let X and Y be vector spaces. The authors show that a mapping f ： X →Y satisfies the functional equation 2d f（∑^2d j=1（-1）^j＋1xj/2d）=∑^2dj=1（-1）^j＋1f（xj） with f（0） = 0 if and only if the mapping f ： X→ Y is Cauchy additive, and prove the stability of the functional equation （≠） in Banach modules over a unital C^＊-algebra, and in Poisson Banach modules over a unital Poisson C＊-algebra. Let A and B be unital C^＊-algebras, Poisson C^＊-algebras or Poisson JC^＊- algebras. As an application, the authors show that every almost homomorphism h ： A →B of A into is a homomorphism when h（（2d-1）^nuy） =- h（（2d-1）^nu）h（y） or h（（2d-1）^nuoy） = h（（2d-1）^nu）oh（y） for all unitaries u ∈A, all y ∈ A, n = 0, 1, 2,.... Moreover, the authors prove the stability of homomorphisms in C^＊-algebras, Poisson C^＊-algebras or Poisson JC^＊-algebras.     

The Cluster Function of Single-Valued Functions

Given a single-valued function f between topological spaces X and Y, we interpret the cluster set C(f;x) as a multivalued function F=C(f;⋅) associated to f – the cluster function of f. For appropriate metrizable spaces X and Y, we characterize cluster functions C(f;⋅) among arbitrary set-valued functions F and show that every cluster function F=C(f;⋅) admits a selection h of Baire class 2 such that F=C(h;⋅). Mathematics Subject Classifications (2000) Primary: 54C50, 54C60; secondary: 26A21, 54C65.This research was partially supported by DFG Grant RI 1087/2.     

Inversion and characterization of the hemispherical transform

Explicit inversion formulas are obtained for the hemispherical transform(FΜ)(x) = Μ{y ∃S ⁿ :x. y ≥ 0},x ∃S ⁿ, whereS ⁿ is thendimensional unit sphere in ℝⁿ⁺¹,n ≥ 2, and Μ is a finite Borel measure onS ⁿ. If Μ is absolutely continuous with respect to Lebesgue measuredy onS ⁿ, i.e.,dΜ(y) =f(y)dy, we write(F f)(x) = ∫ _{x.y> 0} f(y)dy and consider the following cases: (a)f ∃C ^∞(Sⁿ); (b)f ∃ L^p(S ⁿ), 1 ≤ p < ∞; and (c)f ∃C(Sⁿ). In the case (a), our inversion formulas involve a certain polynomial of the Laplace-Beltrami operator. In the remaining cases, the relevant wavelet transforms are employed. The range ofF is characterized and the action in the scale of Sobolev spacesL _p ^γ (Sⁿ) is studied. For zonalf ∃ L¹(S ²), the hemispherical transformF f was inverted explicitly by P. Funk (1916); we reproduce his argument in higher dimensions. Partially sponsored by the Edmund Landau Center for Research in Mathematical Analysis, supported by the Minerva Foundation (Germany).     

The multiplication map for global sections of line bundles and rank 1 torsion free sheaves on curves

LetX be an integral projective curve andL ∃ Pic^a(X),M ∃ Pic^b (X) with h¹(X, L)= h¹(X, M) = 0 andL, M general. Here we study the rank of the multiplication map μ _L,M :H ⁰(X,L)⊗H ⁰(X,M)→H ⁰(X,L⊗M). We also study the same problem whenL andM are rank 1 torsion free sheaves onX. Most of our results are forX with only nodes as singularities.     

Homomorphisms between JC＊-algebras and Lie C＊-algebras

It is shown that every almost ＊-homomorphism h ： A→B of a unital JC＊-algebra A to a unital JC＊-algebra B is a ＊-homomorphism when h（rx） = rh（x） （r 〉 1） for all x∈A, and that every almost linear mapping h ： A→B is a ＊-homomorphism when h（2^nu o y） - h（2^nu） o h（y）, h（3^nu o y） - h（3^nu） o h（y） or h（q^nu o y） = h（q^nu） o h（y） for all unitaries u ∈A, all y ∈A, and n = 0, 1,.... Here the numbers 2, 3, q depend on the functional equations given in the almost linear mappings. We prove that every almost ＊-homomorphism h ： A→B of a unital Lie C＊-algebra A to a unital Lie C＊-algebra B is a ＊-homomorphism when h（rx） = rh（x） （r 〉 1） for all x ∈A.     

Normal families and shared functions of meromorphic functions

Let k be a positive integer, let M be a positive number, let F be a family of meromorphic functions in a domain D, all of whose zeros are of multiplicity at least k, and let h be a holomorphic function in D, h ≢ 0. If, for every f ∈ F, f and f ^(k) share 0, and |f(z)| ≥ M whenever f ^(k)(z) = h(z), then F is normal in D. The condition that f and f ^(k) share 0 cannot be weakened, and the condition that |f(z)| ≥ M whenever f ^(k)(z) = h(z) cannot be replaced by the condition that |f(z)| ≥ 0 whenever f ^(k)(z) = h(z). This improves some results due to Fang and Zalcman [2] etc.     

A criterion of normality based on a single holomorphic function

Let F be a family of functions holomorphic on a domain D ⊂ ℂ Let k ≥ 2 be an integer and let h be a holomorphic function on D, all of whose zeros have multiplicity at most k −1, such that h(z) has no common zeros with any f ∈ F. Assume also that the following two conditions hold for every f ∈ F: (a) f(z) = 0 ⇒ f′(z) = h(z); and (b) f′(z) = h(z) ⇒ |f ^(k)(z)| ≤ c, where c is a constant. Then F is normal on D.     

On the spaces C k (ℝ) ∩ L p (ℝ)

We show that the Fréchet-Sobolev spaces C(ℝ) ∩ L ^p (ℝ) and C ^k (ℝ) ∩ L ^p (ℝ) are not isomorphic for p ≠ 2 and k ∈ ℕ. Research supported by the Italian MURST.