Gâteaux derivatives and their applications to approximation in Lorentz spaces Γp,w

We establish the formulas of the left‐ and right‐hand Gâteaux derivatives in the Lorentz spaces Γ_p,w = {f: ∫₀^α (f **)^p w < ∞}, where 1 ≤ p < ∞, w is a nonnegative locally integrable weight function and f ** is a maximal function of the decreasing rearrangement f * of a measurable function f on (0, α), 0 < α ≤ ∞. We also find a general form of any supporting functional for each function from Γ_p,w , and the necessary and sufficient conditions for which a spherical element of Γ_p,w is a smooth point of the unit ball in Γ_p,w . We show that strict convexity of the Lorentz spaces Γ_p,w is equivalent to 1 < p < ∞ and to the condition ∫₀^∞ w = ∞. Finally we apply the obtained characterizations to studies the best approximation elements for each function f ∈ Γ_p,w from any convex set K ? Γ_p,w (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Bounded Functions in Möbius Invariant Dirichlet Spaces

Forp∈(0, 1), letQ_p(Q_{p, 0}) be the space of analytic functionsfon the unit diskΔwith sup_w∈Δ ‖f°?_w‖_p<∞ (lim_|w|→1 ‖f°?_w‖_p=0), where ‖·‖_pmeans the weighted Dirichlet norm and?_wis the Möbius map ofΔonto itself with?_w(0)=w. In this paper, we prove the Corona theorem for the algebraQ_p∩H^∞(Q_{p, 0}∩H^∞); then we provide a Fefferman–Stein type decomposition forQ_p(Q_{p, 0}), and finally we describe the interpolating sequences forQ_p∩H^∞(Q_{p, 0}∩H^∞)).     

Some Closed Range Integral Operators on Spaces of Analytic Functions

Our main result is a characterization of g for which the operator S_g(f)(z) = ò₀^z f￠(w)g(w) dw{S_g(f)(z) = \int_0^z f'(w)g(w)\, dw} is bounded below on the Bloch space. We point out analogous results for the Hardy space H ² and the Bergman spaces A ^p for 1 ≤ p < ∞. We also show the companion operator T_g(f)(z) = ò₀^z f(w)g￠(w)  dw{T_g(f)(z) = \int_0^z f(w)g'(w) \, dw} is never bounded below on H ², Bloch, nor BMOA, but may be bounded below on A ^p .     

On the smoothness of the symbol of multidimensional singular integral operators

Пустьf — характерист ика, аΦ — соответству ющий символ n-мерного сингу лярного интегрального опера тора, которые являютс я однородными функция ми нулевой степени вR ⁿ,n≧2, с нулевыми средни ми значениями на един ичной сфереS ^n?1 пространств аR ⁿ . В статье установлива ются связи между хара ктеристикойf и символом? в термин ах наилучших равномерн ых приближений полин омами по сферическим гармони кам и сферических равномерных модулей непрерывности, котор ые позволяют установить связь так же в терминах пространст вW ^r H ^w (S ^n?1). Доказывается, ч то установленные резул ьтаты в терминах пространствW ^r H ^w (S ^n?1) неу лучшаемые.     

On an interpolatory product rule for evaluating Cauchy principal value integrals

Convergence results for interpolatory product rules for evaluating Cauchy principal value integrals of the form f _?1 ¹ v(x)f(x)/x ? λ dx wherev is an admissible weight function have been extended to integrals of the form f _?1 ¹ k(x)f(x)/x ? λ dx wherek is an arbitrary integrable function subject to certain conditions. Further, whereas the above convergence results were shown when the interpolation points were the Gauss points with respect to some admissible weight functionw, they are now shown to hold when the interpolation points are Radau or Lobatto points with respect tow.     

An extremal property of Hermite polynomials

Let H_n be the nth Hermite polynomial, i.e., the nth orthogonal on polynomial with respect to the weight w(x)=exp(−x²). We prove the following: If f is an arbitrary polynomial of degree at most n, such that |f||H_n| at the zeros of H_n+1, then for k=1,…,n we have f^(k)H_n^(k), where · is the norm. This result can be viewed as an inequality of the Duffin and Schaeffer type. As corollaries, we obtain a Markov-type inequality in the norm, and estimates for the expansion coefficients in the basis of Hermite polynomials.     

Quasi-Reversibility Method for an Ill-Posed Nonhomogeneous Parabolic Problem

The quasi-reversibility method is considered for the non-homogeneous backward Cauchy problem u_t+Au = f(t), u(τ) = ? for 0≤t<τ, which is known to be an ill-posed problem. Here, A is a densely defined positive self-adjoint unbounded operator on a Hilbert space H with given data f∈L¹([0,τ],H) and ?∈H. Error analysis is considered when the data ?, f are exact and also when they are noisy. The results obtained generalize and simplify many of the results available in the literature.     

The Relative Brauer Group of an Affine Double Plane

We study algebra classes and divisor classes on a normal affine surface of the form z ² = f(x, y). The affine coordinate ring is T = k[x, y, z]/(z ² ? f), and if R = k[x, y][f ^?1] and S = R[z]/(z ² ? f), then S is a quadratic Galois extension of R. If the Galois group is G, we show that the natural map H¹(G, Cl(T)) → H¹(G, Pic(S)) factors through the relative Brauer group B(S/R) and that all of the maps are onto. Sufficient conditions are given for H¹(G, Cl(T)) to be isomorphic to B(S/R). The groups and maps are computed for several examples.     

Optimal Error Estimates for Analytic Continuation in the Upper Half‐Plane

Analytic functions in the Hardy class H² over the upper half‐plane ?₊ are uniquely determined by their values on any curve Γ lying in the interior or on the boundary of ?₊ . The goal of this paper is to provide a sharp quantitative version of this statement. We answer the following question: Given f of a unit H² ‐norm that is small on Γ (say, its L² ‐norm is of order ? ), how large can f be at a point z away from the curve? When Γ ? ??₊ , we give a sharp upper bound on ∣f(z)∣ of the form ?^γ , with an explicit exponent γ = γ(z) ∈ (0, 1) and explicit maximizer function attaining the upper bound. When Γ ? ?₊ we give an implicit sharp upper bound in terms of a solution of an integral equation on Γ . We conjecture and give evidence that this bound also behaves like ?^γ for some γ = γ(z) ∈ (0, 1) . These results can also be transplanted to other domains conformally equivalent to the upper half‐plane. © 2020 Wiley Periodicals, Inc.     

Hardy spaces <Emphasis Type="Italic">H</Emphasis><Superscript>1</Superscript> for Schrödinger operators with compactly supported potentials

Let L=-Δ+V be a Schrödinger operator on ℝ^d, d≥3, where V is a non-negative compactly supported potential that belongs to L^p for some p>d/2. Let {K_t}_t>0 denote the semigroup of linear operators generated by -L. For a function f we define its H¹_L-norm by 0} |K_t f(x)|\|_{L^1(dx)}$" align="middle" border="0"> . It is proved that for a properly defined weight w a function f belongs to H¹_L if and only if wf∈H¹(ℝ^d), where H¹(ℝ^d) is the classical real Hardy space. Mathematics Subject Classification (2000) 42B30, 35J10, 42B25     

Constrained Ramsey numbers of graphs

Given two graphs G and H, let f(G,H) denote the minimum integer n such that in every coloring of the edges of K_n, there is either a copy of G with all edges having the same color or a copy of H with all edges having different colors. We show that f(G,H) is finite iff G is a star or H is acyclic. If S and T are trees with s and t edges, respectively, we show that 1+s(t?2)/2≤f(S,T)≤(s?1)(t²+3t). Using constructions from design theory, we establish the exact values, lying near (s?1)(t?1), for f(S,T) when S and T are certain paths or star‐like trees. © 2002 Wiley Periodicals, Inc. J Graph Theory 42: 1–16, 2003     

Separating sets by Darboux Baire 1 and approximately continuous functions

We characterize sets A₀, A₁ for which there is a DB1 function f with [f = 0] = A₀ and [f = 1] = A₁. This characterization is a conjunction of necessary conditions for Darboux and for Baire 1 functions. We also characterize sets A^?, A⁺ for which there is a DB₁ function with [f < 0] = A^? and [f > 0] = A⁺. The same characterzations are provided for approximately continuous functions.     

Projective Summands in Tensor Products of Simple Modules of Finite Dimensional Hopf Algebras

Abstract

Let H be a finite dimensional Hopf algebra over a field k. We show that H contains a unique maximal Hopf ideal J _w (H) contained in J(H), the Jacobson radical of H. We give various characterizations of J _w (H), for example J _w (H) = Ann _H ((H/J(H))^?n ) for all large enough n. The smallest positive integer n with this property is denoted by l _w (H). We prove that l _w (H) equals the smallest number n such that (H/J(H))^?n contains every projective indecomposable H/J _w (H)-module as a direct summand. This also equals the minimal n such that the tensor product of n suitable simple H-modules contains the projective cover of the trivial H/J _w (H)-module as a direct summand. We define projective homomorphisms between H-modules, which are used to obtain various reciprocity laws for tensor products of simple H-modules and their projective indecomposable direct summands. We also discuss some consequences of our general results in case H = kG is a group algebra of a finite group G and k is a field of characteristic p.     

New correction theorems in the light of a weighted Littlewood-Paley-Rubio de Francia inequality

We prove the following corrections theorem: Any function f on the circle \mathbb T {\mathbb T} that is bounded by an α ₁-weight w (which means that Mw² \leqslant Cw² M{w^2} \leqslant C{w^2} ) can be modified on a set with \mathop \smallint _e w \leqslant e \mathop \smallint \limits_e w \leqslant \varepsilon so that its quadratic function built up from an arbitrary sequence of nonintersecting intervals in ℤ will not exceed Clog\frac1ew C\log \frac{1}{\varepsilon }w . Bibliography: 11 titles.     

On Two Applications of H-Differentiability to Optimization and Complementarity Problems

In a recent paper, Gowda and Ravindran (Algebraic univalence theorems for nonsmooth functions, Research Report, Department of Mathematics and Statistics, University of Maryland, Baltimore, MD 21250, March 15, 1998) introduced the concepts of H-differentiability and H-differential for a function f : R ⁿ R ⁿ and showed that the Fréchet derivative of a Fréchet differentiable function, the Clarke generalized Jacobian of a locally Lipschitzian function, the Bouligand subdifferential of a semismooth function, and the C-differential of a C-differentiable function are particular instances of H-differentials.In this paper, we consider two applications of H-differentiability. In the first application, we derive a necessary optimality condition for a local minimum of an H-differentiable function. In the second application, we consider a nonlinear complementarity problem corresponding to an H-differentiable function f and show how, under appropriate conditions on an H-differential of f, minimizing a merit function corresponding to f leads to a solution of the nonlinear complementarity problem. These two applications were motivated by numerous studies carried out for C ¹, convex, locally Lipschitzian, and semismooth function by various researchers.     

Continuous functions taking every value a given number of times

We give necessary and sufficient conditions for a function f: [0, 1] → {1,2,...,w, c} under which there exists a continuous function F: [0, 1] → [0, 1] such that for every y ɛ [0, 1], |F ⁻¹ (y)| = f(y).      

Perfect fractional matchings in random hypergraphs

Given an r-uniform hypergraph H = (V, E) on |V| = n vertices, a real-valued function f:E→R⁺ is called a perfect fractional matching if Σ_vϵe f(e) ≤ 1 for all vϵV and Σ_eϵE f(e) = n/r. Considering a random r-uniform hypergraph process of n vertices, we show that with probability tending to 1 as n→ infinity, at the very moment t₀ when the last isolated vertex disappears, the hypergraph H_t0 has a perfect fractional matching. This result is clearly best possible. As a consequence, we derive that if p(n) = (ln n + w(n))/ , where w(n) is any function tending to infinity with n, then with probability tending to 1 a random r-uniform hypergraph on n vertices with edge probability p has a perfect fractional matching. Similar results hold also for random r-partite hypergraphs. © 1996 John Wiley & Sons, Inc.     

Functions with slowly-growing area and harmonic majorants

Letf be a function holomorphic inU={|z|<1}, and letA(R,f) be the area off(U)∩{|w|<R}, not counting multiplicities. IfA(R,f)=O(R ^γ) asR→∞ for a γ, 0≦γ<2, then the subharmonic function exp |f| ^p has a harmonic majorant inU for eachp, 0<p<2−γ. If 0≦γ<1 further, thene ^f is of Hardy classH ^p for eachp, 0<p<∞.     

On Operators Satisfying T＊｜T2｜T≥ T＊｜T＊｜2T

Let T be a bounded linear operator on a complex Hilbert space H. In this paper we introduce a new class denoted by l-＊-A, of operators satisfying T＊｜T2｜T≥ T＊｜T＊｜2T, and we prove the basic properties of these operators. Using these results, we also prove that if T or T＊ ∈l-＊-A, then w（f（T）） = f（w（T））, σea（f（T）） = f（σea（T）） for every f C H（σ（T））, where g（σ（T）） denotes the set of all analytic functions on an open neighborhood of σ（T）.     

Small Stochastic Perturbations of Random Maps with Position Dependent Probabilities

Abstract

A position dependent random map is a dynamical system consisting of a collection of maps such that, at each iteration, a selection of a map is made randomly by means of probabilities which are functions of position. Let f* be an invariant density of the position dependent random map T. We consider a model of small random perturbations 𝔗_? of the random map T. For each ? > 0, 𝔗_? has an invariant density function f ^?. We prove that f ^? → f* as ? → 0.