Boundary trace embedding theorems for variable exponent Sobolev spaces

We study boundary trace embedding theorems for variable exponent Sobolev space W1,p(⋅)(Ω). Let Ω be an open (bounded or unbounded) domain in RN satisfying strong local Lipschitz condition. Under the hypotheses that p∈L^∞(Ω), 1?infp(x)?supp(x)<N, |∇p|∈Lγ(⋅)(Ω), where γ∈L^∞(Ω) and infγ(x)>N, we prove that there is a continuous boundary trace embedding W1,p(⋅)(Ω)→Lq(⋅)(∂Ω) provided q(⋅), a measurable function on ∂Ω, satisfies condition for x∈∂Ω.     

The heat equation with singular nonlinearity and singular initial data

We study the existence, uniqueness and regularity of positive solutions of the parabolic equation ut−Δu=a(x)uq+b(x)up in a bounded domain and with Dirichlet's condition on the boundary. We consider here a∈Lα(Ω), b∈Lβ(Ω) and 0<q?1<p. The initial data u(0)=u₀ is considered in the space Lr(Ω), r?1. In the main result (0<q<1), we assume a,b?0 a.e. in Ω and we assume that u₀?γdΩ for some γ>0. We find a unique solution in the space .     

Some critical minimization problems for functions of bounded variations

Using a new elementary method, we prove the existence of minimizers for various critical problems in BV(Ω) and also in W1,p(Ω), 1<p<∞.     

Long-time behavior of reaction-diffusion equations with dynamical boundary condition

In this paper, we study the long-time behavior of the reaction-diffusion equation with dynamical boundary condition, where the nonlinear terms f and g satisfy the polynomial growth condition of arbitrary order. Some asymptotic regularity of the solution has been proved. As an application of the asymptotic regularity results, we can not only obtain the existence of a global attractor A in (H¹(Ω)∩L^p(Ω))×L^q(Γ) immediately, but also can show further that A attracts every L²(Ω)×L²(Γ)-bounded subset with (H¹(Ω)∩L^p+δ(Ω))×L^q+κ(Γ)-norm for any δ,κ∈[0,∞).     

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.     

Partial regularity of finite Morse index solutions to the Lane-Emden equation

We prove regularity and partial regularity results for finite Morse index solutions u∈H¹(Ω)∩Lp(Ω) to the Lane-Emden equation −Δu=|u|^p−1u in Ω.     

A class of quasi-linear parabolic and elliptic equations with nonlocal Robin boundary conditions

Let p∈(1,N), Ω⊂RN a bounded W1,p-extension domain and let μ be an upper d-Ahlfors measure on ∂Ω with d∈(N−p,N). We show in the first part that for every p∈[2N/(N+2),N)∩(1,N), a realization of the p-Laplace operator with (nonlinear) generalized nonlocal Robin boundary conditions generates a (nonlinear) strongly continuous submarkovian semigroup on L²(Ω), and hence, the associated first order Cauchy problem is well posed on Lq(Ω) for every q∈[1,∞). In the second part we investigate existence, uniqueness and regularity of weak solutions to the associated quasi-linear elliptic equation. More precisely, global a priori estimates of weak solutions are obtained.     

Universal bounds for global solutions of a forced porous medium equation

We show that in a smooth bounded domain $\text{Ω⊂}\text{R}{}^{\mathrm{n}}$, n⩾2, all global nonnegative solutions of u_t−Δu^m=u^p with zero boundary data are uniformly bounded in $\text{Ω×(τ,∞)}$ by a constant depending on $\text{Ω,p}$ and τ but not on u₀, provided that 1<m<p<[(n+1)/(n−1)]m. Furthermore, we prove an a priori bound in $\text{L}{}^{\mathrm{\infty }}\text{(Ω×(0,∞))}$ depending on $\text{||u}{}_0\text{||}{}_{\mathrm{L\infty (\Omega )}}$ under the optimal condition 1<m<p<[(n+2)/(n−2)]m.     

Characterization of Sobolev and BV spaces

The main results of this paper are new characterizations of W1,p(Ω), 1<p<∞, and BV(Ω) for Ω⊂RN an arbitrary open set. Using these results, we answer some open questions of Brezis (2002) [10] and Ponce (2004) [25].     

On exact order estimates of N-widths of classes of functions analytic in a simply connected domain

In the spaces E _q(Ω), 1 < q < ∞, introduced by Smirnov, we obtain exact order estimates of projective and spectral n-widths of the classes W ^r E _p(Ω) and W ^r E _p(Ω)Ф in the case where p and q are not equal. We also indicate extremal subspaces and operators for the approximative values under consideration.     

A priori bounds for semilinear equations and a new class of critical exponents for Lipschitz domains

A priori bounds for positive, very weak solutions of semilinear elliptic boundary value problems −Δu=f(x,u) on a bounded domain Ω⊂Rn with u=0 on ∂Ω are studied, where the nonlinearity 0?f(x,s) grows at most like sp. If Ω is a Lipschitz domain we exhibit two exponents p_* and p^*, which depend on the boundary behavior of the Green function and on the smallest interior opening angle of ∂Ω. We prove that for 1<p<p_* all positive very weak solutions are a priori bounded in L^∞. For p>p^* we construct a nonlinearity f(x,s)=a(x)sp together with a positive very weak solution which does not belong to L^∞. Finally we exhibit a class of domains for which p_*=p^*. For such domains we have found a true critical exponent for very weak solutions. In the case of smooth domains is an exponent which is well known from classical work of Brezis, Turner [H. Brezis, R.E.L. Turner, On a class of superlinear elliptic problems, Comm. Partial Differential Equations 2 (1977) 601-614] and from recent work of Quittner, Souplet [P. Quittner, Ph. Souplet, A priori estimates and existence for elliptic systems via bootstrap in weighted Lebesgue spaces, Arch. Ration. Mech. Anal. 174 (2004) 49-81].     

Attractors for non-autonomous parabolic problems with singular initial data

In this paper, we study the asymptotic behavior of solutions of non-autonomous parabolic problems with singular initial data. We first establish the well-posedness of the equation when the initial data belongs to Lr(Ω) (1<r<∞) and W1,r(Ω) (1<r<N), respectively. When the initial data belongs to Lr(Ω), we establish the existence of uniform attractors in Lr(Ω) for the family of processes with external forces being translation bounded but not translation compact in . When we consider the existence of uniform attractors in , the solution of equation lacks the higher regularity, so we introduce a new type of solution and prove the existence result. For the long time behavior of solutions of the equation in W1,r(Ω), we only obtain the uniform attracting property in the weak topology.     

Convolution on L p -spaces of a locally compact group

We have recently shown that, for 2 < p < ∞, a locally compact group G is compact if and only if the convolution multiplication f * g exists for all f, g ∈ L ^p (G). Here, we study the existence of f * g for all f, g ∈ L ^p (G) in the case where 0 < p ≤ 2. Also, for 0 < p < ∞, we offer some necessary and sufficient conditions for L ^p (G) * L ^p (G) to be contained in certain function spaces on G.     

Solutions of the Cheeger problem via torsion functions

The Cheeger problem for a bounded domain Ω⊂RN, N>1 consists in minimizing the quotients |∂E|/|E| among all smooth subdomains E⊂Ω and the Cheeger constant h(Ω) is the minimum of these quotients. Let be the p-torsion function, that is, the solution of torsional creep problem −Δp?p=1 in Ω, ?p=0 on ∂Ω, where Δpu:=div(|∇u|^p−2∇u) is the p-Laplacian operator, p>1. The paper emphasizes the connection between these problems. We prove that . Moreover, we deduce the relation limp→¹⁺‖?p_‖L¹(Ω)?CNlimp→¹⁺‖?p_‖L^∞(Ω) where CN is a constant depending only of N and h(Ω), explicitely given in the paper. An eigenfunction u∈BV(Ω)∩L^∞(Ω) of the Dirichlet 1-Laplacian is obtained as the strong L¹ limit, as p→¹⁺, of a subsequence of the family {?p/‖?p_‖L¹(Ω)}_p>1. Almost all t-level sets Et of u are Cheeger sets and our estimates of u on the Cheeger set |E₀| yield |B₁|hN(B₁)?|E₀|hN(Ω), where B₁ is the unit ball in RN. For Ω convex we obtain u=|E₀|⁻¹χE₀.     

On density of interpolation points,a Kadec-type theorem,and Saff's principle of contamination inL p-approximation

Letf ∈L _p (I) and denote byB _n,p (f) the polynomial of bestL _p-approximation tof of degreen (1<p<∞,I=[?1,1], the norm is weightedL _p-norm with an arbitrary positive weight). Extending a result proved by Saff and Shekhtman forp=2 we show that for every 1<p<∞ andf ∈L _p (I) (not a polynomial) points of sign change of the error functionf-B _n,p (f) are dense inI asn→∞.     

Coincidence sets in quasilinear elliptic problems of monostable type

This paper concerns the formation of a coincidence set for the positive solution of the boundary value problem: −εΔpu=uq−1f(a(x)−u) in Ω with u=0 on ∂Ω, where ε is a positive parameter, Δpu=div(|∇u|^p−2∇u), 1<q?p<∞, f(s)∼|s|^θ−1s(s→0) for some θ>0 and a(x) is a positive smooth function satisfying Δpa=0 in Ω with infΩ|∇a|>0. It is proved in this paper that if 0<θ<1 the coincidence set Oε={x∈Ω:uε(x)=a(x)} has a positive measure for small ε and converges to Ω with order O(ε1/p) as ε→0. Moreover, it is also shown that if θ?1, then Oε is empty for any ε>0. The proofs rely on comparison theorems and the energy method for obtaining local comparison functions.     

Systems of p-Laplacian differential inclusions with large diffusion

In this paper we consider coupled systems of p-Laplacian differential inclusions and we prove, under suitable conditions, that a homogenization process occurs when diffusion parameters become arbitrarily large. In fact we obtain that the attractors are continuous at infinity on L²(Ω)×L²(Ω) topology, with respect to the diffusion coefficients, and the limit set is the attractor of an ordinary differential problem.     

Local existence of solutions to some degenerate parabolic equation associated with the p-Laplacian

The existence of local (in time) solutions of the initial-boundary value problem for the following degenerate parabolic equation: ut(x,t)−Δpu(x,t)−|u|^q−2u(x,t)=f(x,t), (x,t)∈Ω×(0,T), where 2?p<q<+∞, Ω is a bounded domain in RN, is given and Δp denotes the so-called p-Laplacian defined by Δpu:=∇⋅(|∇u|^p−2∇u), with initial data u₀∈Lr(Ω) is proved under r>N(q−p)/p without imposing any smallness on u₀ and f. To this end, the above problem is reduced into the Cauchy problem for an evolution equation governed by the difference of two subdifferential operators in a reflexive Banach space, and the theory of subdifferential operators and potential well method are employed to establish energy estimates. Particularly, Lr-estimates of solutions play a crucial role to construct a time-local solution and reveal the dependence of the time interval [0,T₀] in which the problem admits a solution. More precisely, T₀ depends only on Lr|u₀| and f.     

On linear integral operators with nonnegative kernels

Let K be an eventually compact linear integral operator on $\text{L}{}^{\mathrm{p}}\text{(Ω, μ), 1 ? p < ∞}$, with nonnegative kernel k(x, y), where the underlying measure μ is totally σ-finite on the domain set Ω when p = 1. In considering the equation λf = Kf + g for given nonnegative $\text{g ? L}{}^{\mathrm{p}}\text{(Ω, μ), λ > 0}$, P. Nelson, Jr. provided necessary and sufficient conditions, in terms of the support of g, such that a nonnegative solution $\text{f ? L}{}^{\mathrm{p}}\text{(Ω, μ)}$ was attained. Such conditions led to generalizing some of the graph-theoretic ideas associated with the normal form of a nonnegative reducible matrix. The purpose of this paper is to show that the analysis by Nelson can be enlarged to provide a more complete generalization of the normal form of a nonnegative matrix which can be used to characterize the distinguished eigenvalues of K and K¹, and to describe sets of support for the eigenfunctions and generalized eigenfunctions of both K and K¹ belonging to the spectral radius of K.     

The isometries of LP(Ω, X)

Let (Ω, ∑, μ) be a finite measure space and X a separable Banach space. We characterize the linear isometries of $\text{L}{}^{\mathrm{p}}\text{(Ω, X)}$ onto itself for 1 ? p < ∞, p ≠ 2 under the condition that X is not the l^p-direct sum of two nonzero spaces (for the same p). It is shown that T is such an isometry if and only if (Tf)(·) = S(·)h(·)(Φ(f))(·), where Φ is a set isomorphism of ∑ onto itself, S is a strongly measurable operator-valued map such that S(t) is a.e. an isometry of X onto itself, and h is a scalar function which is related to Φ. It is further shown that for a big class of measure spaces (perhaps all nontrivial ones) the condition on X is also a necessary condition for the above conclusion to hold. In the case when X is a Hilbert space the injective isometries of $\text{L}{}^{\mathrm{p}}\text{(Ω, X)}$ are also characterized. They have the same form as above, except that Φ and S(t) are not necessarily onto.