Some fixed point theorems of the Schauder and the Krasnosel'skii type and application to nonlinear transport equations

In [J. Math. Phys. 37 (1996) 1336-1348] the existence of solutions to the boundary value problem (1.1)-(1.2) was analyzed for isotropic scattering kernels on L_p spaces for p∈(1,∞). Due to the lack of compactness in L₁ spaces, the problem remains open for p=1. The purpose of this work is to extend this analysis to the case p=1 for anisotropic scattering kernels. Our strategy consists in establishing new variants of the Schauder and the Krasnosel'skii fixed point theorems in general Banach spaces involving weakly compact operators. In L₁ context these theorems provide an adequate tool to attack the problem. Our analysis uses the specific properties of weakly compacts sets on L₁ spaces and the weak compactness results for one-dimensional transport equations established in [J. Math. Anal. Appl. 252 (2000) 767-789].     

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.     

Some weighted estimates for Littlewood-Paley functions and radial multipliers

We prove some weighted estimates for certain Littlewood-Paley operators on the weighted Hardy spaces H_w^p (0<p?1) and on the weighted L^p spaces. We also prove some weighted estimates for the Bochner-Riesz operators and the spherical means.     

Optimal recovery from a finite set in Banach spaces of entire functions

We develop an approach to the problem of optimal recovery of continuous linear functionals in Banach spaces through information on a finite number of given functionals. The results obtained are applied to the problem of the best analytic continuation from a finite set in the complex space Cn, n?1, for classes of entire functions of exponential type which belong to the space Lp, 1<p<∞, on the real subspace of Cn. These latter are known as Wiener classes.     

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.     

The Radon-Nikodym theorem for Lebesgue-Bochner function spaces

It is proved that the Lebesgue-Bochner function spaces L_p(E, λ), 1 < p < ∞, have the Radon-Nikodym property if and only if E has the same property. This solves an unsolved problem of Davies, Diestel and Leonard.     

Contributions to the theory of the classical Banach spaces

The paper contains several results on the linear topological structure of the spaces C(K), K compact metric, and L_p(0, 1), 1 ? p < ∞. The topics which are studied include: complemented subspaces, special Schauder bases, and equivalent norms in these spaces.     

Fujita type conditions to heat equation with variable source

This paper studies heat equation with variable exponent u _t = Δu + u^p(x) + u ^q in ? ^N × (0, T), where p(x) is a nonnegative continuous, bounded function, 0 < p_? = inf p(x) ≤ p(x) ≤ sup p(x) = p₊. It is easy to understand for the problem that all nontrivial nonnegative solutions must be global if and only if max {p₊, q} ≤ 1. Based on the interaction between the two sources with fixed and variable exponents in the model, some Fujita type conditions are determined that that all nontrivial nonnegative solutions blow up in finite time if 0 < q ≤ 1 with p₊ > 1, or 1 < q < 1 + \(\frac{2}{N}\). In addition, if q > 1 + \(\frac{2}{N}\), then (i) all solutions blow up in finite time with 0 < p_? ≤ p₊ ≤ 1 + \(\frac{2}{N}\); (ii) there are both global and nonglobal solutions for p_? > 1 + \(\frac{2}{N}\); and (iii) there are functions p(x) such that all solutions blow up in finite time, and also functions p(x) such that the problem possesses global solutions when p_? < 1 + \(\frac{2}{N}\) < p₊.     

Best approximation with wavelets in weighted Orlicz spaces

Democracy functions of wavelet admissible bases are computed for weighted Orlicz Spaces L ^??(w) in terms of the fundamental function of L ^??(w). In particular, we prove that these bases are greedy in L ^??(w) if and only if L ^??(w) =?L ^p (w), 1?<?p?<???. Also, sharp embeddings for the approximation spaces are given in terms of weighted discrete Lorentz spaces. For L ^p (w) the approximation spaces are identified with weighted Besov spaces.     

Asymptotic behavior of solutions to Schrödinger equations with a subcritical dissipative nonlinearity

We study the asymptotic behavior in time of solutions to the initial value problem of the nonlinear Schrödinger equation with a subcritical dissipative nonlinearity λ|u|^p−1u, where 1<p<1+2/n, n is the space dimension and λ is a complex constant satisfying Imλ<0. We show the time decay estimates and the large-time asymptotics of the solution, when the space dimension n?3, p is sufficiently close to 1+2/n and the initial data is sufficiently small.     

Abstract time-dependent transport equations

We consider the abstract time-dependent linear transport equation as an initial-boundary value evolution problem in the Banach spaces L_p, 1 ⩽ p < ∞, or on a space of measures on a (possibly time-dependent) kinetic phase space. Existence, uniqueness, dissipativity, and positivity results are proved for very general, possibly time-dependent, transport operators and boundary conditions. When the phase space, boundary conditions, and transport operator are independent of time, corresponding results are obtained for the associated semigroup.     

Contractive Korovkin approximations

Our results are related to $\text{L}$¹-shadows in L_p-spaces. For p = 1 we will complete the characterization of $\text{L}$¹-shadows and $\text{L}$^1,1-shadows. For 1 < p < ∞ S. J. Bernau has shown that the $\text{L}$¹-shadow of a set in L_p is the range of a contractive projection. We will show that the corresponding theorem is not true for all reflexive spaces, but is true for locally uniformly convex reflexive spaces.     

Time asymptotic description of an abstract Cauchy problem solution and application to transport equation

In this paper, we study the time asymptotic behavior of the solution to an abstract Cauchy problem on Banach spaces without restriction on the initial data. The abstract results are then applied to the study of the time asymptotic behavior of solutions of an one-dimensional transport equation with boundary conditions in L ₁-space arising in growing cell populations and originally introduced by M. Rotenberg, J. Theoret. Biol. 103 (1983), 181–199.     

Optimal average approximations for functions mapping in quasi-Banach spaces

In 1994, M.M. Popov [6] showed that the fundamental theorem of calculus fails, in general, for functions mapping from a compact interval of the real line into the _?p${?}_p$-spaces for 0<p<1$0<p<1$, and the question arose whether such a significant result might hold in some other non-Banach spaces. In this article we completely settle the problem by proving that the fundamental theorem of calculus breaks down in the context of any non-locally convex quasi-Banach space. Our approach introduces the tool of Riemann-integral averages of continuous functions, and uses it to bring out to light the differences in behavior of their approximates in the lack of local convexity. As a by-product of our work we solve a problem raised in [1] on the different types of spaces of differentiable functions with values on a quasi-Banach space.     

Pointwise estimates for the fundamental solutions of a class of singular parabolic problems

We deal with the Cauchy problem associated to a class of quasilinear singular parabolic equations with L ^∞ coefficients whose prototypes are the p-Laplacian (2N/(N + 1) < p < 2) and the porous medium equation (((N ? 2)/N)₊ < m < 1). We prove existence of and sharp pointwise estimates from above and from below for the fundamental solutions. Our results can be extended to general non-negative L ¹ initial data.     

Boundary singularities of solutions of semilinear elliptic equations in the half-space with a Hardy potential

We study a nonlinear equation in the half-space {x ₁ > 0} with a Hardy potential, specifically

$$ - \Delta u - \frac{\mu }{{x_1^2}}u + {u^p} = 0in\mathbb{R}_ + ^n,$$

where p > 1 and ?∞ < μ < 1/4. The admissible boundary behavior of the positive solutions is either O(x ₁ ^?2/(p?1)) as x ₁ → 0, or is determined by the solutions of the linear problem \( - \Delta h - \frac{\mu }{{x_1^2}}h = 0\). In the first part we study in full detail the separable solutions of the linear equations for the whole range of μ. In the second part, by means of sub and supersolutions we construct separable solutions of the nonlinear problem which behave like O(x ₁ ^?2/(p?1)) near the origin and which, away from the origin, have exactly the same asymptotic behavior as the separable solutions of the linear problem. In the last part we construct solutions that behave like O(x ₁ ^?2/(p?1)) at some prescribed parts of the boundary, while at the rest of the boundary the solutions decay or blowup at a slower rate determined by the linear part of the equation.

     

A sharp nonasymptotic bound and phase diagram of L 1/2 regularization

We derive a sharp nonasymptotic bound of parameter estimation of the L1/2 regularization.The bound shows that the solutions of the L1/2 regularization can achieve a loss within logarithmic factor of an ideal mean squared error and therefore underlies the feasibility and effectiveness of the L1/2regularization.Interestingly,when applied to compressive sensing,the L1/2 regularization scheme has exhibited a very promising capability of completed recovery from a much less sampling information.As compared with the Lp(0 p 1) penalty,it is appeared that the L1/2 penalty can always yield the most sparse solution among all the Lp penalty when 1/2 ≤ p 1,and when 0 p 1/2,the Lp penalty exhibits the similar properties as the L1/2 penalty.This suggests that the L1/2 regularization scheme can be accepted as the best and therefore the representative of all the Lp(0 p 1) regularization schemes.     

Examples of uniformly homeomorphic Banach spaces

We give several examples of separable Banach spaces which are nonisomorphic but uniformly homeomorphic. For example, we show that for every 1 < p ≠ 2 < ∞ there are two uniformly homeomorphic subspaces (respectively, quotients) of ? _p which are not linearly isomorphic; similarly c ₀ has two uniformly homeomorphic subspaces which are not isomorphic. We also give an example of two non-isomorphic separable L _∞-spaces which are coarsely homeomorphic (i.e. have Lipschitz equivalent nets).     

A counterexample to a conjecture of Matsaev

We present an effective algorithm for estimating the norm of an operator mapping a low-dimensional ?^p space to a Banach space with an easily computable norm. We use that algorithm to show that Matsaev’s proposed extension of the inequality of John von Neumann is false in case p=4. Matsaev conjectured that for every contraction T on L^p (1<p<∞) one has for any polynomial P

‖P(T)‖_L^p→L^p?‖P(S)‖_{?^p(Z⁺)→?^p(Z⁺)}