Weighted Weierstrass' theorem with first derivatives

We characterize the set of functions which can be approximated by continuous functions with the norm ‖f_‖L^∞(w) for every weight w. This fact allows to determine the closure of the space of polynomials in L^∞(w) for every weight w with compact support. We characterize as well the set of functions which can be approximated by smooth functions with the norm

‖f_‖W1,∞(w₀,w₁):=‖f_‖L^∞(w₀)+‖f^′_‖L^∞(w₁),     

Classification of type I and type II behaviors for a supercritical nonlinear heat equation

We study blow-up of radially symmetric solutions of the nonlinear heat equation ut=Δu+|u|^p−1u either on RN or on a finite ball under the Dirichlet boundary conditions. We assume and that the initial data is bounded, possibly sign-changing. Our first goal is to establish various characterizations of type I and type II blow-ups. Among many other things we show that the following conditions are equivalent: (a) the blow-up is of type II; (b) the rescaled solution w(y,s) converges to either φ^∗(y) or −φ^∗(y) as s→∞, where φ^∗ denotes the singular stationary solution; (c) u(x,T)/φ^∗(x) tends to ±1 as x→0, where T is the blow-up time.Our second goal is to study continuation beyond blow-up. Among other things we show that if a blow-up is of type I and incomplete, then its limit L¹ continuation becomes smooth immediately after blow-up, and that type I blow-up implies “type I regularization,” that is, (t−T)^1/(p−1)‖u(⋅,t)L^∞_‖ is bounded as t↘T. We also give various criteria for complete and incomplete blow-ups.     

Stabilization for equations of one-dimensional viscous compressible heat-conducting media with nonmonotone equation of state

We consider the Navier-Stokes system describing motions of viscous compressible heat-conducting and “self-gravitating” media. We use the state function of the form p(u,θ)=p₀(u)+p₁(u)θ linear with respect to the temperature θ, but we admit rather general nonmonotone functions p₀ and p₁ of u, which allows us to treat various physical models of nuclear fluids (for which p and u are the pressure and the specific volume) or thermoviscoelastic solids. For solutions to an associated initial-boundary value problem with “fixed-free” boundary conditions and arbitrarily large data, we prove a collection of estimates independent of time interval, including uniform two-sided bounds for u, and describe asymptotic behavior as t→∞. Namely, we establish the stabilization pointwisely and in L^q for u, in L² for θ, and in L^q for v (the velocity), for any q∈[2,∞). For completeness, the proof of the corresponding global existence theorem is also included.     

Greedy bases in L p spaces

We consider a weighted L ^p space L ^p (w) with a weight function w. It is known that the Haar system H _p normalized in L ^p is a greedy basis of L ^p , 1 < p < ∞. We study a question of when the Haar system H _p ^w normalized in L ^p (w) is a greedy basis of L ^p (w), 1 < p < ∞. We prove that if w is such that H _p ^w is a Schauder basis of L ^p (w), then H _p ^w is also a greedy basis of L ^p (w), 1 < p < ∞. Moreover, we prove that a subsystem of the Haar system obtained by discarding finitely many elements from it is a Schauder basis in a weighted norm space L ^p (w); then it is a greedy basis.     

Variations on a theme of Boole and Stein-Weiss

We give an alternative proof of a theorem of Stein and Weiss: The distribution function of the Hilbert transform of a characteristic function of a set E only depends on the Lebesgue measure |E| of such a set. We exploit a rational change of variable of the type used by George Boole in his paper “On the comparison of transcendents, with certain applications to the theory of definite integrals” together with the observation that if two functions f and g have the same Lp norm in a range of exponents p₁<p<p₂ then their distribution functions coincide.     

Eisenstein series and theta functions to the septic base

We develop a theory for Eisenstein series to the septic base, which was started by S. Ramanujan in his “Lost Notebook.” We show that two types of septic Eisenstein series may be parameterized in terms of the septic theta function and the eta quotient η⁴(7τ)/η⁴(τ). This is accomplished by constructing elliptic functions which have the septic Eisenstein series as Taylor coefficients. The elliptic functions are shown to be solutions of a differential equation, and this leads to a recurrence relation for the septic Eisenstein series.     

Isoperimetric type inequalities for harmonic functions

For 0<p<+∞ let hp be the harmonic Hardy space and let bp be the harmonic Bergman space of harmonic functions on the open unit disk U. Given 1?p<+∞, denote by ‖⋅bp_‖ and ‖⋅hp_‖ the norms in the spaces bp and hp, respectively. In this paper, we establish the harmonic hp-analogue of the known isoperimetric type inequality ‖fb2p_‖?‖fhp_‖, where f is an arbitrary holomorphic function in the classical Hardy space Hp. We prove that for arbitrary p>1, every function f∈hp satisfies the inequality

‖fb2p_‖?ap‖fhp_‖,     

On summability of weighted Lagrange interpolation. II

The aim of this paper is to continue our investigations started in [15], where we studied the summability of weighted Lagrange interpolation on the roots of orthogonal polynomials with respect to a weight function w. Starting from the Lagrange interpolation polynomials we constructed a wide class of discrete processes which are uniformly convergent in a suitable Banach space (C _ρ, ‖·‖_ρ) of continuous functions (ρ denotes (another) weight). In [15] we formulated several conditions with respect to w, ρ, (C _ρ, ‖·‖_ρ) and to summation methods for which the uniform convergence holds. The goal of this part is to study the special case when w and ρ are Freud-type weights. We shall show that the conditions of results of [15] hold in this case. The order of convergence will also be considered.     

Fine and Wilf words for any periods

Let w = w₁ … w_n be a word of maximal length n, and with a maximal number of distinct letters for this length, such that w has periods p₁, …, p_n but not period gcd(p₁,…,p_r). We provide a fast algorithm to compute n and w. We show that w is uniquely determined apart from isomorphism and that it is a palindrome. Furthermore we give lower and upper bounds for n as explicit functions of p₁, …p_r. For r = 2 the exact value of n is due to Fine and Wilf. In case the number of distinct letters in the extremal word equals r a formula for n had been given by Castelli, Mignosi and Restivo in case r = 3 and by Justin if r > 3.     

How Fast and in what Sense(s) Does the Calderón Reproducing Formula Converge?

We prove that a very general form of the Calderón reproducing formula converges in L ^p (w), for all 1<p<∞, whenever w belongs to the Muckenhoupt class A _p . We show that the formula converges whether we interpret its defining integral, in very natural senses, as a limit of L ^p (w)-valued Riemann or Lebesgue integrals. We give quantitative estimates on their rates of convergence (or, equivalently, on the speed at which the errors go to 0) in L ^p (w).     

Fragmentability of groups and metric-valued function spaces

Let (X,τ) be a topological space and let ρ be a metric defined on X. We shall say that (X,τ) is fragmented by ρ if whenever ε>0 and A is a nonempty subset of X there is a τ-open set U such that U∩A≠∅ and ρ−diam(U∩A)<ε. In this paper we consider the notion of fragmentability, and its generalisation σ-fragmentability, in the setting of topological groups and metric-valued function spaces. We show that in the presence of Baireness fragmentability of a topological group is very close to metrizability of that group. We also show that for a compact Hausdorff space X, σ-fragmentability of (C(X),‖⋅_‖∞) implies that the space Cp(X;M) of all continuous functions from X into a metric space M, endowed with the topology of pointwise convergence on X, is fragmented by a metric whose topology is at least as strong as the uniform topology on C(X;M). The primary tool used is that of topological games.     

Weighted norm inequalities, off-diagonal estimates and elliptic operators. Part I: General operator theory and weights

This is the first part of a series of four articles. In this work, we are interested in weighted norm estimates. We put the emphasis on two results of different nature: one is based on a good-λ inequality with two parameters and the other uses Calderón-Zygmund decomposition. These results apply well to singular “non-integral” operators and their commutators with bounded mean oscillation functions. Singular means that they are of order 0, “non-integral” that they do not have an integral representation by a kernel with size estimates, even rough, so that they may not be bounded on all Lp spaces for 1<p<∞. Pointwise estimates are then replaced by appropriate localized Lp-Lq estimates. We obtain weighted Lp estimates for a range of p that is different from (1,∞) and isolate the right class of weights. In particular, we prove an extrapolation theorem “à la Rubio de Francia” for such a class and thus vector-valued estimates.     

Martingale Hardy spaces and the dyadic derivative

It is shown that the maximal operator of the one-dimensional dyadic derivative of the dyadic integral is bounded from the dyadic Hardy-Lorentz spaceH _p,q toL _p,q (1/2<p<∞, 0<q≤∞) and is of weak type (L ₁,L ₁). We define the twodimensional dyadic hybrid Hardy spaceH ₁ ^‖ and verify that the corresponding maximal operator of a two-dimensional function is of weak type (H ₁ ^‖ ,L ₁). As a consequence, we obtain that the dyadic integral of a two-dimensional functionfεH ₁ ^‖ ?LlogL is dyadically differentiable and its derivative is a.e.f.     

Functional calculi of second-order elliptic partial differential operators with bounded measurable coefficients

Consider a second-order elliptic partial differential operatorL in divergence form with real, symmetric, bounded measurable coefficients, under Dirichlet or Neumann conditions on the boundary of a strongly Lipschitz domain Ω. Suppose that 1 <p < ∞ and μ > 0. ThenL has a bounded H_∞ functional calculus in L^p(Ω), in the sense that ¦¦f (L +cI)u¦¦_p ≤C sup_¦arλ¦<μ ^¦f¦ ¦‖u¦‖_p for some constantsc andC, and all bounded holomorphic functionsf on the sector ¦ argλ¦ < μ that contains the spectrum ofL +cI. We prove this by showing that the operatorsf(L + cI) are Calderón-Zygmund singular integral operators.     

A centerless representation of the Virasoro algebra associated with the unitary circular ensemble

We consider the 2-dimensional Toda lattice tau functions τ_n(t,s;η,θ) deforming the probabilities τ_n(η,θ) that a randomly chosen matrix from the unitary group U(n), for the Haar measure, has no eigenvalues within an arc (η,θ) of the unit circle. We show that these tau functions satisfy a centerless Virasoro algebra of constraints, with a boundary part in the sense of Adler, Shiota and van Moerbeke. As an application, we obtain a new derivation of a differential equation due to Tracy and Widom, satisfied by these probabilities, linking it to the Painlevé VI equation.     

On the Navier problem for the stationary Navier-Stokes equations

The Navier problem is to find a solution of the steady-state Navier-Stokes equations such that the normal component of the velocity and a linear combination of the tangential components of the velocity and the traction assume prescribed value a and s at the boundary. If Ω is exterior it is required that the velocity converges to an assigned constant vector u₀ at infinity. We prove that a solution exists in a bounded domain provided ‖a_‖L²(∂Ω) is less than a computable positive constant and is unique if ‖a_‖W1/2,2(∂Ω)+‖s_‖L²(∂Ω) is suitably small. As far as exterior domains are concerned, we show that a solution exists if ‖a_‖L²(∂Ω)+‖a−u₀⋅n_‖L²(∂Ω) is small.     

The Ptolemy and Zb?ganu constants of normed spaces

In every inner product space H the Ptolemy inequality holds: the product of the diagonals of a quadrilateral is less than or equal to the sum of the products of the opposite sides. In other words, ‖x−y‖‖z−w‖≤‖x−z‖‖y−w‖+‖z−y‖‖x−w‖ for any points w,x,y,z in H. It is known that for each normed space (X,‖⋅‖), there exists a constant C such that for any w,x,y,z∈X, we have ‖x−y‖‖z−w‖≤C(‖x−z‖‖y−w‖+‖z−y‖‖x−w‖). The smallest such C is called the Ptolemy constant of X and is denoted by C_P(X). We study the relationships between this constant and the geometry of the space X, and hence with metric fixed point theory. In particular, we relate the Ptolemy constant C_P to the Zb?ganu constant C_Z, and prove that if X is a Banach space with , then X has (uniform) normal structure and therefore the fixed point property for nonexpansive mappings. We derive general lower and upper bounds for both C_P and C_Z, and calculate the precise values of these two constants for several normed spaces. We also present a number of conjectures and open problems.     

Existence of best N-convex approximants in L1

We consider here best approximation by n-convex functions. We first show that if f∈L₁[0,1], then there is, a best L₁-approximant to f by functions which are n-convex on (0,1). We then show that if f∈L_∞[0,1], then any best L_p-approximant, f_p, to f by n-convex, functions is bounded and hence, f has the Pólya-one property, i.e., f_p converges a.e. as p decreases to one.     

Fractional integrals, potential operators and two-weight, weak type norm inequalities on spaces of homogeneous type

We prove two-weight, weak type norm inequalities for potential operators and fractional integrals defined on spaces of homogeneous type. We show that the operators in question are bounded from L^p(v) to L^q,∞(u), 1<p?q<∞, provided the pair of weights (u,v) verifies a Muckenhoupt condition with a “power-bump” on the weight u.     

Sharp bounds for integral means

We introduce a bound M of f, ‖f‖_∞?M?2‖f‖_∞, which allows us to give for 0?p<∞ sharp upper bounds, and for −∞<p<0 sharp lower bounds for the average of |f|^p over E if the average of f over E is zero. As an application we give a new proof of Grüss's inequality estimating the covariance of two random variables. We also give a new estimate for the error term in the trapezoidal rule.