Nonradial Large Solutions of Sublinear Elliptic Equations

We show that the equation Δu = p(x)f(u) has a positive solution on R ^N , N ≥ 3, satisfying <artwork name="GAPA31011ei1"> <artwork name="GAPA31011ei2"> if and only if <artwork name="GAPA31011ei3"> when ψ(r) = min{p(x): |x| = r}. The nondecreasing continuous function f satisfies f(0) = 0, f (s) > 0 for s > 0, and sup _{s ≥ 1} f(s)/s<∞, and the nonnegative continuous function p is required to be asymptotically radial. This extends previous results which required the function p to be constant or radial.     

Composition of fractional Orlicz maximal operators and A 1-weights on spaces of homogeneous type

For a Young function θ with 0 ≤α 〈 1, let Mα,θ be the fractional Orlicz maximal operator defined in the context of the spaces of homogeneous type （X, d, μ） by Mα,θf（x） = supx∈（B）α ｜｜f｜｜θ,B, where ｜｜f｜｜θ,B is the mean Luxemburg norm of f on a ball B. When α= 0 we simply denote it by Me. In this paper we prove that if Ф and ψare two Young functions, there exists a third Young function θ such that the composition Mα,ψ o MФ is pointwise equivalent to Mα,θ. As a consequence we prove that for some Young functions θ, if Mα,θf 〈∞a.e. and δ ∈（0,1） then （Mα,θf）δ is an A1-weight.     

Spaces of analytic functions of Hardy-Bloch type

For 0<p≤∞ and 0<q≤∞, the space of Hardy-Bloch type ℬ(p,q) consists of those functionsf which are analytic in the unit diskD such that (1−r)M _p (r,f′)⊂L ^q (dr/(1−r)). We note that ℬ(∞,∞) coincides with the Bloch space ℬ and that ℬ⊂ℬ(p,∞) for allp. Also, the space ℬ(p,p) is the Dirichlet spaceD _p−1 ^p . We prove a number of results on decomposition of spaces with logarithmic weights which allow us to obtain sharp results about the mean growth of the ℬ(p,q). In particular, we prove that iff is an analytic function inD and 2≤p<∞, then the conditionM _p (r,f′)=O((1−r)⁻¹), asr→1, implies that

Isotoping Heegaard surfaces in neat positions with respect to critical distance Heegaard surfaces

Suppose a closed orientable 3-manifold M has a genus g Heegaard surface P with distance d(P)=2g. Let Q be another genus g Heegaard surface which is strongly irreducible. Then we show that there is a height function f:M→I induced from P such that by isotopy, Q is deformed into a position satisfying the following; (1) fQ_| has 2g+2 critical points p₀,p₁,…,p2g+1 with f(p₀)<f(p₁)<?<f(p2g+1) where p₀ is a minimum and p2g+1 is a maximum, and p₁,…,p2g are saddles, (2) if we take regular values ri (i=1,…,2g+1) such that f(pi−1)<ri<f(pi), then f−1(ri)∩Q consists of a circle if i is odd, and f−1(ri)∩Q consists of two circles if i is even.     

Univalent Functions in Hardy Spaces in Terms of the Growth of Arc-Length

Pommerenke (1962) proved that for f univalent in the unit disk and 0<p<2, f∈H ^p if and only if ∫ ₀¹ M ₁ ^p (r,f′)dr<∞. In this paper, we prove that the result continues to be true for p slightly larger than 2, but is false for large p. Also, it turns out that the result is true for all p>0 when f is restricted to the class of close-to-convex functions. Finally, we discuss the membership of univalent functions in some related spaces of Dirichlet type.     

On the existence of entire functions of boundedl-index andl-regular growth

We prove that, under certain conditions on a positive functionl continuous on [0, +∞], there exists an entire transcendental functionf of boundedl-index such that lnlnM _f(r)lnL(r),r→∞, whereM _f (r)=max {|f(z)|: |z|=r} andL(r)=∫ ₀ ^r l(t)dt. Ifl(r)=r ^p-1 forr≥1, 0<ρ<∞, then there exists an entire functionf of boundedl-index such thatM _f (r)≈r ^p . Lvov University, Lvov. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 48, No. 9, pp. 1166–1182, September, 1996.     

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)     

Sur l'approximation de fonctions intégrables sur [0, 1] par des polynômes de Bernstein modifies

We study here a new kind of modified Bernstein polynomial operators on L¹(0, 1) introduced by J. L. Durrmeyer in [4]. We define for f integrable on [0, 1] the modified Bernstein polynomial M_n f: M_nf(x) = (n + 1) ∑ⁿ_{k = o}P_nk(x)∝¹₀ P_nk(t) f(t) dt. If the derivative d^r f/dx^r with r 0 is continuous on [0, 1], d^r/dx^rM_n f converge uniformly on [0,1] and sup_xε[0,1] ¦M_n f(x) − f(x)¦ 2ω_f(1/trn) if ω_f is the modulus of continuity of f. If f is in Sobolev space W_l,p(0, 1) with l 0, p 1, M_n f converge to f in w^l,p(0, 1).     

A distortion theorem for the class of typically real functions

The paper continues the studies of the well-known class T of typically real functions f(z) in the disk U = {z:|z| < 1}. The region of values of the system {f(z ₀), f(z ₀), f(r ₁), f(r ₂),…, f(r _n )} in the class T is investigated. Here, z ₀ ∈ U, Im z ₀ ≠ 0, 0 < r _j  < 1 for j = 1,…, n, n ≥ 2. As a corollary, the region of values of f′(z ₀) in the class of functions f ∈ T with fixed values f(z ₀) and f(r _j ) (j = 1,…, n) is determined. The proof is based on the criterion of solvability of the power problem of moments. Bibliography: 10 titles. Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 357, 2008, pp. 33–45.     

Sets of rigged paths with Virasoro characters

Let {M _r,s ^(p,p′)}_{1≤r≤p−1,1≤s≤p′−1} be the irreducible Virasoro modules in the (p,p′)-minimal series. In our previous paper, we have constructed a monomial basis of ⊕ _r=1 ^p−1 M _r,s ^(p,p′) in the case 1<p′/p<2. By ‘monomials’ we mean vectors of the form , where φ _−n ^(r′,r):M _r,s ^(p,p′)→M _r′,s ^(p,p′) are the Fourier components of the (2,1)-primary field and |r ₀,s〉 is the highest weight vector of . In this article, we introduce for all p<p′ with p≥3 and s=1 a subset of such monomials as a conjectural basis of ⊕ _r=1 ^p−1 M _r,1^(p,p′). We prove that the character of the combinatorial set labeling these monomials coincides with the character of the corresponding Virasoro module. We also verify the conjecture in the case p=3.      

On the noise sensitivity of monotone functions

It is known that for all monotone functions f : {0, 1}ⁿ → {0, 1}, if x ∈ {0, 1}ⁿ is chosen uniformly at random and y is obtained from x by flipping each of the bits of x independently with probability ? = n^?α, then P[f(x) ≠ f(y)] < cn^?α+1/2, for some c > 0. Previously, the best construction of monotone functions satisfying P[f_n(x) ≠ f_n(y)] ≥ δ, where 0 < δ < 1/2, required ? ≥ c(δ)n^?α, where α = 1 ? ln 2/ln 3 = 0.36907 …, and c(δ) > 0. We improve this result by achieving for every 0 < δ < 1/2, P[f_n(x) ≠ f_n(y)] ≥ δ, with:

• ? = c(δ)n^?α for any α < 1/2, using the recursive majority function with arity k = k(α);
• ? = c(δ)n^?1/2log^tn for t = log₂ = .3257 …, using an explicit recursive majority function with increasing arities; and
• ? = c(δ)n^?1/2, nonconstructively, following a probabilistic CNF construction due to Talagrand.

We also study the problem of achieving the best dependence on δ in the case that the noise rate ? is at least a small constant; the results we obtain are tight to within logarithmic factors. © 2003 Wiley Periodicals, Inc. Random Struct. Alg., 23: 333–350, 2003     

Spherical Maximal Operators on Radial Functions

Let A_tf(x) denote the mean of f over a sphere of radius t and center x. We prove sharp estimates for the maximal function M_E f(X) = sup_t∈_E |Atf(x)| where E is a fixed set in IR⁺ and f is a radial function ∈ L^p(IR^d). Let P_d = d/(d?1) (the critical exponent for Stein's maximal function). For the cases (i) p < p_d, d ? 2, and (ii) p = p_d, d ? 3, and for p ? q ? ∞ we prove necessary and sufficient conditions on E for M_E to map radial functions in L^p to the Lorentz space L^P,q.     

A Note on the Embedding of Subspaces of Lp into ℓNr, 0 < r < 1, r ≦ p < 2

In this paper we extend a result by Bourgain-Lindenstrauss-Milman (see [1]). We prove: Let 0 < ? < 1/2, 0< r < 1, r< p < 2. There exists a constant C = C(r,p,?) such that if X is any n-dimensional subspace of L_p(0, l), then there exists Y ? ?^N_r with d(X, Y) ≦ 1 + ?, whenever N > Cn. As an application, we obtain the following partial result: Let 0 < r < 1. There exist constants C = C(r) and C' = C' (r) such that if X is any n-dimensional subspace of L_r(0,1), then there exists Y ? ^N_r with d(X, Y) ≦ C (logn)^l/^r, whenever N ≧ C'n.     

Distortion Properties of Holomorphic Functions of Several Complex Variables

Let Q(D) be a class of functions q, q(0) = 0, |q(z)| < 1 holomorphic in the Reinhardt domain D ? C ⁿ, a and b — arbitrary fixed numbers satisfying the condition — 1 ≤ b < a ≤ 1. ??(a, b; D) — the class of functions p such that p ? ??(a, b; D) iff for some q ? Q(D) and every z ? D. S*(a, b; D) — the class of functions f such that f ? S*(a, g; D) iff S^c(a, b; D) — the class of functions q such that q ? S^c(a, b; D) iff , where p ε ??(a, b; D) and K is an operator of the form for z=z₁,z₂,…z_n. The author obtains sharp bounds on |p(z)|, f(z)| g(z)| as well as sharp coefficient inequalities for functions in ??(a, b; D), S*(a, b; D) and S^c(a, b; D).     

On the genus of a random graph

Let p = p(n) be a function of n with 0<p<1. We consider the random graph model ??(n, p); that is, the probability space of simple graphs with vertex-set {1, 2,…, n}, where two distinct vertices are adjacent with probability p. and for distinct pairs these events are mutually independent. Archdeacon and Grable have shown that if p²(1 ? p²) ?? 8(log n)⁴/n. then the (orientable) genus of a random graph in ??(n, p) is (1 + o(1))pn²/12. We prove that for every integer i ? 1, if n^?i/(i + 1) «p «n^{?(i ? 1)/i}. then the genus of a random graph in ??(n, p) is (1 + o(1))i/4(i + 2) pn². If p = cn^?(i?1)/o, where c is a constant, then the genus of a random graph in ??(n, p) is (1 + o(1))g(i, c, n)pn² for some function g(i, c, n) with 1/12 ? g(i, c, n) ? 1. but for i > 1 we were unable to compute this function.     

Analytic Extension of Non Quasi - Analytic Whitney Jets of Beurling Type

Let (M_r)_r∈_?0 be a logarithmically convex sequence of positive numbers which verifies M₀ = 1 as well as M_r ≥ 1 for every r ∈ ? and defines a non quasi - analytic class. Let moreover F be a closed proper subset of ?ⁿ. Then for every function f on ?ⁿ belonging to the non quasi - analytic (M_r)-class of Beurling type, there is an element g of the same class which is analytic on ?,ⁿ F and such that D^αf(x) = D^αg(x) for every α ∈ ?ⁿ₀ and x ∈ F.     

A characterization of the identity function with equation f(p+q+r)=f(p)+f(q)+f(r)

Let f(n) be a multiplicative function such that there exists a prime p ₀ at which f does not vanish. In this paper, we prove that if f satisfies the equation f(p+q+r)=f(p)+f(q)+f(r) for all primes p, q and r, then f(n)=n for all integers n≥1.     

On the π-function for nonconvex <Emphasis Type="Italic">l</Emphasis><Subscript>2,<Emphasis Type="Italic">p</Emphasis></Subscript>-circle discs

For 0 < p < 1, circle numbers π(p) are defined to reflect the Euclidean area-content property A _p(r) = π(p)r ² and circumference property {ie332-01} of the l _2,p -circle discs with p-generalized radius r, where the arc-length measure {ie332-02} is based upon the nonconvex star-shaped set {ie332-03} with p** > 0 satisfying {ie332-04}. The resulting π-function extends the function p → π(p) recently defined in [2] from the case of convex discs, p ⩾ 1, to the nonconvex case 0 < p < 1. This function is continuous, increasing, and takes values in (0, 2). The presented approach can be considered as reflecting a modified method of indivisibles in the sense that the indivisibles are the l _2,p -circles and that integrating their S(p**)-arc-lengths is equivalent to measuring the Euclidean area content.     

On piecewise-polynomial approximation of functions with a bounded fractional derivative in an Lp-norm

We study the error in approximating functions with a bounded (r + α)th derivative in an L_p-norm. Here r is a nonnegative integer, α ε [0, 1), and ƒ^{(r + α)} is the classical fractional derivative, i.e., ƒ^{(r + α)}(y) = ∝₀¹, ^α d(ƒ^(r)(t)). We prove that, for any such function ƒ, there exists a piecewise-polynomial of degree s that interpolates ƒ at n equally spaced points and that approximates ƒ with an error (in sup-norm) ƒ^{(r + α)}_p O(n^{−(r+α−1/p}). We also prove that no algorithm based on n function and/or derivative values of ƒ has the error equal ƒ^{(r + α)}_p O(n^{−(r+α−1/p}) for any ƒ. This implies the optimality of piecewise-polynomial interpolation. These two results generalize well-known results on approximating functions with bounded rth derivative (α = 0). We stress that the piecewise-polynomial approximation does not depend on α nor on p. It does not depend on the exact value of r as well; what matters is an upper bound s on r, s r. Hence, even without knowing the actual regularity (r, α, and p) of ƒ, we can approximate the function ƒ with an error equal (modulo a constant) to the minimal worst case error when the regularity were known.     

Positivity and conditional positivity of Loewner matrices

We give elementary proofs of the fact that the Loewner matrices [\fracf(p_i) - f (p_j)p_i-p_j]{[\frac{f(p_i) - f (p_j)}{p_i-p_j}]} corresponding to the function f(t) = t ^r on (0, ∞) are positive semidefinite, conditionally negative definite, and conditionally positive definite, for r in [0, 1], [1, 2], and [2, 3], respectively. We show that in contrast to the interval (0, ∞) the Loewner matrices corresponding to an operator convex function on (−1, 1) need not be conditionally negative definite.