Vanishing viscosity in the plane for vorticity in borderline spaces of Besov type

The existence and uniqueness of solutions to the Euler equations for initial vorticity in BΓ∩Lp₀∩Lp₁ was proved by Misha Vishik, where BΓ is a borderline Besov space parameterized by the function Γ and 1<p₀<2<p₁. Vishik established short time existence and uniqueness when Γ(n)=O(logn) and global existence and uniqueness when . For initial vorticity in BΓ∩L², we establish the vanishing viscosity limit in L²(R²) of solutions of the Navier-Stokes equations to a solution of the Euler equations in the plane, convergence being uniform over short time when Γ(n)=O(logn) and uniform over any finite time when Γ(n)=O(logκn), 0?κ<1, and we give a bound on the rate of convergence. This allows us to extend the class of initial vorticities for which both global existence and uniqueness of solutions to the Euler equations can be established to include BΓ∩L² when Γ(n)=O(logκn) for 0<κ<1.     

On the asymmetry of norms of convolution operators. I

Let G be a compact group and π be a monomial representation of G which is irreducible. For a certain class of π-representative functions we obtain the exact bound of the function as a left-convolution operator on L_p(G) for 1 ? p ? 2 and good estimates when p > 2. This information is sufficient to conclude that for every noncommutative finite group, the L_p and L_p′-convolution norms are not the same when $\text{1 < p < 2,}\text{1}\text{p}\text{+}\text{1}\text{p′}\text{= 1}$.     

Atomic decomposition and boundedness criterion of operators on multi-parameter hardy spaces of homogeneous type

The main purpose of this paper is to derive a new ( p, q)-atomic decomposition on the multi-parameter Hardy space Hp (X1 × X2 ) for 0 p0 p ≤ 1 for some p0 and all 1 q ∞, where X1 × X2 is the product of two spaces of homogeneous type in the sense of Coifman and Weiss. This decomposition converges in both Lq (X1 × X2 ) (for 1 q ∞) and Hardy space Hp (X1 × X2 ) (for 0 p ≤ 1). As an application, we prove that an operator T1, which is bounded on Lq (X1 × X2 ) for some 1 q ∞, is bounded from Hp (X1 × X2 ) to Lp (X1 × X2 ) if and only if T is bounded uniformly on all (p, q)-product atoms in Lp (X1 × X2 ). The similar boundedness criterion from Hp (X1 × X2 ) to Hp (X1 × X2 ) is also obtained.     

On the structural properties of the weight space L p(x),ω for 0 < p(x) < 1

The main purpose of this paper is to study the weight space L _p(x),ω for 0 < p(x) < 1 as well as the topology of this space. Embeddings between different Lebesgue spaces with variable exponent of summability are established. In particular, it is proved that the set of all linear continuous functionals over L _p(x),ω for 0 < p(x) < 1 consists only of the zero functional.     

On Jodeit’s multiplier extension theorems

Let Δ(x) = max {1 - ¦x¦, 0} for all x ∈ ?, and let ξ_[0,1) be the characteristic function of the interval 0 ≤x < 1. Two seminal theorems of M. Jodeit assert that A and ξ_[0,1) act as summability kernels convertingp-multipliers for Fourier series to multipliers forL ^P (?). The summability process corresponding to Δ extendsL ^P (T)-multipliers from ? to ? by linearity over the intervals [n, n + 1],n ∈ ?, when 1 ≤p < ∞, while the summability process corresponding to ξ_[0,1) extends L^P(T)-multipliers by constancy on the intervals [n, n + 1),n ∈ ?, when 1 <p < ∞. We describe how both these results have the following complete generalization: for 1 ≤p < ∞, an arbitrary compactly supported multiplier forL ^P (?) will act as a summability kernel forL ^P (T)-multipliers, transferring maximal estimates from L^P(T) to L^P(?). In particular, specialization of this maximal theorem to Jodeit’s summability kernel ξ_{[0, 1)} provides a quick structural way to recover the fact that the maximal partial sum operator on L^P(?), 1 <p < ∞, inherits strong type (p,p)-boundedness from the Carleson-Hunt Theorem for Fourier series. Another result of Jodeit treats summability kernels lacking compact support, and we show that this aspect of multiplier theory sets up a lively interplay with entire functions of exponential type and sampling methods for band limited distributions.     

On the representation of functions as Fourier integrals

Sufficient conditions for the representation of functions as the Fourier integral in ? ^d of a function belonging to the space L ₁ ∩ L _p , where 0 < p < 2 are obtained. The sharpness of these conditions is shown.     

Fonctions lipschitziennes et espaces de Sobolev fractionnaires

We consider a semigroup of Markovian and symmetric operators to which we associate fractional Sobolev spaces D^α_p (0 < α < 1 and 1 < p < ∞) defined as domains of fractional powers (−A_p)^α/2, where A_p is the generator of the semigroup in L^p. We show under rather general assumptions that Lipschitz continuous functions operate by composition on D^α_p if p ≥ 2. This holds in particular in the case of the Ornstein-Uhlenbeck semigroup on an abstract Wiener space.     

Variable Selection via A Combination of the L0 and L1 Penalties

Variable selection is an important aspect of high-dimensional statistical modeling, particularly in regression and classification. In the regularization framework, various penalty functions are used to perform variable selection by putting relatively large penalties on small coefficients. The L₁ penalty is a popular choice because of its convexity, but it produces biased estimates for the large coefficients. The L₀ penalty is attractive for variable selection because it directly penalizes the number of non zero coefficients. However, the optimization involved is discontinuous and non convex, and therefore it is very challenging to implement. Moreover, its solution may not be stable. In this article, we propose a new penalty that combines the L₀ and L₁ penalties. We implement this new penalty by developing a global optimization algorithm using mixed integer programming (MIP). We compare this combined penalty with several other penalties via simulated examples as well as real applications. The results show that the new penalty outperforms both the L₀ and L₁ penalties in terms of variable selection while maintaining good prediction accuracy.     

Global solutions of the fast diffusion equation with gradient absorption terms

We investigate the existence of nonnegative weak solutions to the problem ut=Δ(um)−p|∇u| in Rn×(0,∞) with ⁺(1−2/n)<m<1. It will be proved that: (i) When 1<p<2, if the initial datum u₀∈D(Rn) then there exists a solution; (ii) When 1<p<(2+mn)/(n+1), if the initial datum u₀(x) is a bounded and nonnegative measure then the solution exists; (iii) When (2+mn)/(n+1)?p<2, if the initial datum is a Dirac mass then the solution does not exist. We also study the large time behavior of the L¹-norm of solutions for 1<p?(2+mn)/(n+1), and the large time behavior of t1/β‖u(⋅,t)−Ec(⋅,t)L^∞_‖ for (2+mn)/(n+1)<p<2.     

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.     

Phase transitions with semi-diffuse interfaces

In this paper, we examine new “phase-field” models with semi-diffuse interfaces. These models have the property that the −1/+1 planar phase transitions take place over a finite interval. The models also support multiple interface solutions with interfaces centered at arbitrary points L₁<L₂<?<L_N. These solutions correspond to local minima of an entropy functional (see (3.3) and (3.7)) rather than saddle points and are dynamically stable. The classical models have no such exact solutions but they do support solutions with N equally spaced transition points where the order parameter transitions between values p_min(N) and p_max(N) satisfying −1<p_min(N)<0<p_max(N)<1. These solutions of the classical model are saddle points of the entropy functional associated with those models and are not dynamically stable.     

Multilinear Calderón-Zygmund operators on the product of Lebesgue spaces with non-doubling measures

Under the assumption that μ is a non-doubling measure on Rd, the author proves that for the multilinear Calderón-Zygmund operator, its boundedness from the product of Hardy space H¹(μ)×H¹(μ) into L1/2(μ) implies its boundedness from the product of Lebesgue spaces Lp₁(μ)×Lp₂(μ) into Lp(μ) with 1<p₁,p₂<∞ and p satisfying 1/p=1/p₁+1/p₂.     

A Note on Campanato Spaces and Their Applications

In this paper, we obtain a version of the John–Nirenberg inequality suitable for Campanato spaces C_p,β with 0 < p < 1 and show that the spaces C_p,β are independent of the scale p ∈ (0,∞) in sense of norm when 0 < β < 1. As an application, we characterize these spaces by the boundedness of the commutators [b,B _α ] _j (j = 1, 2) generated by bilinear fractional integral operators B _α and the symbol b acting from L_p1 × L_p2 to L ^q for p1, p2 ∈ (1,∞), q ∈ (0,∞) and 1/q = 1/p1 + 1/p2 ? (α + β)/n.     

Some properties of conjugate harmonic functions in a half-space

We prove a multi-dimensional analog of the theorem of Hardy and Littlewood about the logarithmic bound of the Lp-average of the conjugate harmonic functions, 0<p?1. We also give sufficient conditions for a harmonic vector to belong to , 0<p?1.     

Weight characterization of an averaging operator

Let 0<α<1 and , x?0. A factorization theorem is given, which provides a weight characterization of the space of all positive functions f such that T_αf belongs to L^p_w, 1<p<∞, w a weight function. This theorem yields a two-sided estimate for the norm of T_αf. An analogous result holds for α=0. In the latter case, it is also shown that the averaging Hardy operator T₀ and its dual  are comparable in L^p_w, 1<p<∞, if w belongs to the Muckenhoupt weight class A_p.     

La fonction maximale de Hardy–Littlewood sur une classe d'espaces métriques mesurables

In this Note, we study the behavior of the Hardy–Littlewood maximal function M on cusp manifolds in terms of the growth of the volume of the base space. In particular, we prove that for all 1<p₀<+∞ fixed, there exists such a manifold on which M is bounded on L^p for p>p₀ but not for 1?p<p₀. To cite this article: H.-Q. Li, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Extension of isometries on the unit sphere of L p spaces

In this paper we study the isometric extension problem and show that every surjective isometry between the unit spheres of Lp (μ) (1 p ∞, p≠2) and a Banach space E can be extended to a linear isometry from Lp(μ) onto E, which means that if the unit sphere of E is (metrically) isometric to the unit sphere of Lp(μ), then E is linearly isometric to Lp(μ). We also prove that every surjective 1-Lipschitz or anti-1-Lipschitz map between the unit spheres of Lp (μ1, H1) and Lp(μ2,H2) must be an isometry and can be extended to a linear isometry from Lp (μ1,H1) to Lp (μ2,H2), where H1 and H2 are Hilbert spaces.     

Optimal Lehmer Mean Bounds for the Toader Mean

We find the greatest value p and least value q such that the double inequality L _p (a, b)?<?T(a, b)?<?L _q (a, b) holds for all a, b?>?0 with a?≠ b, and give a new upper bound for the complete elliptic integral of the second kind. Here ${T(a,b)=\frac{2}{\pi}\int\nolimits_{0}^{{\pi}/{2}}\sqrt{a^2{\cos^2{\theta}}+b^2{\sin^2{\theta}}}d\theta}$ and L _p (a, b)?=?(a ^p+1?+?b ^p+1)/(a ^p ?+?b ^p ) denote the Toader and p-th Lehmer means of two positive numbers a and b, respectively.     

Uniqueness of norm on L(G) and C(G) when G is a compact group

Let G be a compact group. If the trivial representation of G is not weakly contained in the left regular representation of G on L₀²(G) and X is either L^p(G) for 1<p?∞ or C(G), then we show that every complete norm |·| on X that makes translations from (X,|·|) into itself continuous is equivalent to ||·||_p or ||·||_∞ respectively. If 1<p?∞ and every left invariant linear functional on L^p(G) is a constant multiple of the Haar integral, then we show that every complete norm |·| on L^p(G) that makes translations from (L^p(G),|·|) into itself continuous and that makes the map t?L_t from G into bounded is equivalent to ||·||_p.