Solutions with boundary‐layers and spike‐layers to singularly perturbed quasilinear Dirichlet problems

The structure of nontrivial nonnegative solutions to singularly perturbed quasilinear Dirichlet problems of the form –?Δ_pu = f(u) in Ω, u = 0 on ?Ω, Ω ? R ^N a bounded smooth domain, is studied as ? → 0⁺, for a class of nonlinearities f(u) satisfying f(0) = f(z₁) = f(z₂) = 0 with 0 < z₁ < z₂, f < 0 in (0, z₁), f > 0 in (z₁, z₂) and f(u)/u^p–1 = –∞. It is shown that there are many nontrivial nonnegative solutions with spike‐layers. Moreover, the measure of each spike‐layer is estimated as ? → 0⁺. These results are applied to the study of the structure of positive solutions of the same problems with f changing sign many times in (0,∞). Uniqueness of a solution with a boundary‐layer and many positive intermediate solutions with spike‐layers are obtained for ? sufficiently small. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On power deformations of univalent functions

For an analytic function f (z) on the unit disk |z| < 1 with f (0) = f′(0) − 1 = 0 and f (z) ≠ 0, 0 < |z| < 1, we consider the power deformation f _c (z) = z(f (z)/z) ^c for a complex number c. We determine those values c for which the operator maps a specified class of univalent functions into the class of univalent functions. A little surprisingly, we will see that the set is described by the variability region of the quantity zf′(z)/ f (z), |z| < 1, for most of the classes that we consider in the present paper. As an unexpected by-product, we show boundedness of strongly spirallike functions.     

The existence and convergence of subsequences of Padé approximants

We prove the existence of an infinite number of Padé approximants, and thereby remedy a defect in Nuttall's theorem. It is proved that the sequences of Padé approximants shown by Perron, Gammel, and Wallin to be everywhere divergent contain subsequences which are everywhere convergent. It is further proved that there always exist, for entire functions, everywhere convergent [1, N] and [2, N] subsequences of Padé approximants. There must exist subsequences of [m, N] Padé approximants (N → ∞) which converge almost everywhere in $\text{¦z¦ ? ? < R}$ to functions f(z) which are regular except for a finite number (n ? m) of poles in $\text{¦z¦ < R}$. We prove convergence of the [N, N + j] Padé approximants in the mean on the Riemann sphere for meromorphic functions.     

A Criterion of Normality Concerning Holomorphic Functions Whose Derivative Omits a Function

The authors discuss the normality concerning holomorphic functions and get the following result. Let F be a family of holomorphic functions on a domain D ⊂ ℂ, all of whose zeros have multiplicity at least k, where k ≥ 2 is an integer. And let h(z) ≢ 0 be a holomorphic function on D. Assume also that the following two conditions hold for every f ∈ F: (a) f(z) = 0 ⇒ |f ^(k)(z)| < |h(z)|; (b) f ^(k)(z) ≠ h(z). Then F is normal on D.     

On the Positive Definiteness of Certain Functions

For a coinmutative senugoup (S, +, *) with involution and a function f : S → [0, ∞), the set S(f) of those p ≥ 0 such that f^P is a positive definite function on S is a closed subsemigroup of [0, ∞) containing 0. For S = (IR, +, x* = -x) it may happen that S(f) = { kd : k ∈ N₀ } for some d > 0, and it may happen that S(f) = {0} ? [d, ∞) for some d > O. If α > 2 and if S = (?, +, n* = -n) and f(n) = e^?[n]α or S = (IN₀, +, n* = n) and f(n) = e^nα, then S(f) ∪ (0, c) = ? and [d, ∞) ? S(f) for some d ≥; c > 0. Although (with c maximal and d minimal) we have not been able to show c = d in all cases, this equality does hold if S = ? and α ≥ 3.4. In the last section we give sinipler proofs of previously known results concerning the positive definiteness of x → e^?||x||α on normed spaces.     

Value distribution and shared sets of differences of meromorphic functions

We investigate value distribution and uniqueness problems of difference polynomials of meromorphic functions. In particular, we show that for a finite order transcendental meromorphic function f with λ(1/f)<ρ(f) and a non-zero complex constant c, if n?2, then fn(z)f(z+c) assumes every non-zero value a∈C infinitely often. This research also shows that there exist two sets S₁ with 9 (resp. 5) elements and S₂ with 1 element, such that for a finite order nonconstant meromorphic (resp. entire) function f and a non-zero complex constant c, Ef(z)(Sj)=Ef(z+c)(Sj)(j=1,2) imply f(z)≡f(z+c). This gives an answer to a question of Gross concerning a finite order meromorphic function f and its shift.     

On an infinite series of Abel occurring in the theory of interpolation

The purpose of this paper is to show that for a certain class of functions f which are analytic in the complex plane possibly minus (−∞, −1], the Abel series f(0) + Σ_{n = 1}^∞ f⁽ⁿ⁾(nβ) z(z − nβ)^{n − 1}/n! is convergent for all β>0. Its sum is an entire function of exponential type and can be evaluated in terms of f. Furthermore, it is shown that the Abel series of f for small β>0 approximates f uniformly in half-planes of the form Re(z) − 1 + δ, δ>0. At the end of the paper some special cases are discussed.     

Differential subordinations concerning starlike functions

Denote byS ^* (⌕), (0≤⌕<1), the family consisting of functionsf(z)=z+a ₂z²+...+a_nzⁿ+... that are analytic and starlike of order ⌕, in the unit disc ⋎z⋎<1. In the present article among other things, with very simple conditions on μ, ⌕ andh(z) we prove the f’(z) (f(z)/z)^μ−1<h(z) implies f∈S^*(⌕). Our results in this direction then admit new applications in the study of univalent functions. In many cases these results considerably extend the earlier works of Miller and Mocanu [6] and others.     

Small Entire Functions with Infinite Growth Index

In this paper, we prove that given μ > 0 there exists a dense linear manifold M of entire functions, such that,[formula]for every f ∈ M and l straight line and with infinite growth index for all non-null functions of M. Moreover, every non-null function of M has exactly 2([2μ] + 1) Julia directions. And if l is a straight line that does not contain a Julia line, then for every f ∈ M[formula]and for j ≥ 1, f^(j) is bounded and integrable with respect to the length measure on l and ∫_lf^(j) = 0.     

On the growth of solutions of second order linear differential equations with extremal coefficients

In this paper, we consider the differential equation f + A(z)f + B(z)f = 0, where A and B ≡ 0 are entire functions. Assume that A is extremal for Yang's inequality, then we will give some conditions on B which can guarantee that every non-trivial solution f of the equation is of infinite order.     

Estimates of holomorphic functions in zero-free domains

We study functions f(z) holomorphic in having the property f(z) ≠ 0 for 0 < Im z < 1 and we obtain lower bounds for |f(z)| for 0 < Im z < 1. In our analysis we deal with scalar functions f(z) as well as with operator valued holomorphic functions I + A(z) assuming that A(z) is a trace class operator for and I + A(z) is invertible for 0 < Im z < 1 and is unitary for . A. Borichev was partially supported by the ANR project DYNOP.     

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.     

On the range of the derivative of Gâteaux-smooth functions on separable banach spaces

We prove that there exists a Lipschitz function froml ¹ into ℝ² which is Gateaux-differentiable at every point and such that for everyx, y εl ¹, the norm off′(x) −f′(y) is bigger than 1. On the other hand, for every Lipschitz and Gateaux-differentiable function from an arbitrary Banach spaceX into ℝ and for everyε > 0, there always exist two pointsx, y εX such that ‖f′(x) −f′(y)‖ is less thanε. We also construct, in every infinite dimensional separable Banach space, a real valued functionf onX, which is Gateaux-differentiable at every point, has bounded non-empty support, and with the properties thatf′ is norm to weak* continuous andf′(X) has an isolated pointa, and that necessarilya ε 0. This work has been initiated while the second-named author was visiting the University of Bordeaux. The second-named author is supported by grant AV 1019003, A1 019 205, GA CR 201 01 1198.     

Functions of bounded boundary rotation

Classes of functionsU _k, which generalize starlike functions in the same manner that the classV _k of functions with boundary rotation bounded bykπ generalizes convex functions, are defined. The radius of univalence and starlikeness is determined. The behavior off _α(z) = ∫ ₀ ^z [f'(t)]^α dt is determined for various classes of functions. It is shown that the image of |z|<1 underV _kfunctions contains the disc of radius 1/k centered at the origin, andV _k functions are continuous in |z|≦1 with the exception of at most [k/2+1] points on |z|=1.     

Differential operators and entire functions with simple real zeros

Let ? and f be functions in the Laguerre-Pólya class. Write ?(z)=e−αz²?₁(z) and f(z)=e−βz²f₁(z), where ?₁ and f₁ have genus 0 or 1 and α,β?0. If αβ<1/4 and ? has infinitely many zeros, then ?(D)f(z) has only simple real zeros, where D denotes differentiation.     

Entire solutions in monostable reaction-advection-diffusion equations in infinite cylinders

This paper is concerned with entire solutions of a monostable reaction-advection-diffusion equation in infinite cylinders without the condition f^′(u)≤f^′(0). By constructing a quasi-invariant manifold, we prove that there exist two classes of entire solutions. Furthermore, we show that one class of such entire solutions is unique up to space and time translation.     

Dense-lineability of sets of Birkhoff-universal functions with rapid decay

Let A be an unbounded Arakelian set in the complex plane whose complement has infinite inscribed radius, and ψ be an increasing positive function on the positive real numbers. We prove the existence of a dense linear manifold M of entire functions all of whose non-zero members are Birkhoff-universal, such that each function in M has overall growth faster than ψ and, in addition, exp(α|z|)f(z)→0 (z→∞, z∈A) for all α<1/2 and f∈M. With slightly more restrictive conditions on A, we get that the last property also holds for the action Tf of certain holomorphic operators T. Our results unify, extend and complete recent work by several authors.     

On typically real functions which are generated by a fixed typically real function

Let T be the family of all typically real functions, i.e. functions that are analytic in the unit disk Δ:= {z ∈ ℂ: |z| < 1}, normalized by f(0) = f′(0) − 1 = 0 and such that Imz Im f(z) ⩾ 0 for z ∈ Δ.     

Grunsky inequalities and quasiconformal extension

The Grunsky coefficient inequalities play a crucial role in various problems and are intrinsically connected with the integrable holomorphic quadratic differentials having only zeros of even order. For the functions with quasi-conformal extensions, the Grunsky constant ℵ(f) and the extremal dilatationk(f) are related by ℵ(f)≤k(f). In 1985, Jürgen Moser conjectured that any univalent functionf(z)=z+b ₀+b ₁ z ⁻¹+… on Δ*={|z|>1} can be approximated locally uniformly by functions with ℵ(f)<k(f). In this paper, we prove a theorem confirming Moser’s conjecture, which sheds new light on the features of Grunsky coefficients. In memory of Jürgen Moser The research was supported by the RiP program of the Volkswagen-Stiftung in the Mathematisches Forschungsinstitut Oberwolfach.     

Nonfree actions of countable groups and their characters

The paper studies the region of values of the system {c ₂, c ₃, f(z ₁), f′(z ₁)},where z ₁ is an arbitrary fixed point of the disk |z| < 1; f ∈ T,and the class T consists of all the functions f(z) = z + c ₂ z ² + c ₃z³ + ⋯ regular in the disk |z| < 1 that satisfy the condition Im z · Im f(z) > 0 for Im z ≠ 0. The region of values of f′(z ₁) in the subclass of functions f ∈ T with prescribed values c ₂, c ₃, and f(z ₁) is determined. Bibliography: 10 titles.