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∈∂Ω.     

On the global regularity of shear thinning flows in smooth domains

In some recent papers we have been pursuing regularity results up to the boundary, in W2,l(Ω) spaces for the velocity, and in W1,l(Ω) spaces for the pressure, for fluid flows with shear dependent viscosity. To fix ideas, we assume the classical non-slip boundary condition. From the mathematical point of view it is appropriate to distinguish between the shear thickening case, p>2, and the shear thinning case, p<2, and between flat-boundaries and smooth, arbitrary, boundaries. The p<2 non-flat boundary case is still open. The aim of this work is to extend to smooth boundaries the results proved in reference [H. Beirão da Veiga, On non-Newtonian p-fluids. The pseudo-plastic case, J. Math. Anal. Appl. 344 (1) (2008) 175-185]. This is done here by appealing to a quite general method, introduced in reference [H. Beirão da Veiga, On the Ladyzhenskaya-Smagorinsky turbulence model of the Navier-Stokes equations in smooth domains. The regularity problem, J. Eur. Math. Soc., in press], suitable for considering non-flat boundaries.     

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<∞.     

The Neumann problem and Helmholtz decomposition in convex domains

We show that the Neumann problem for Laplace's equation in a convex domain Ω with boundary data in Lp(∂Ω) is uniquely solvable for 1<p<∞. As a consequence, we obtain the Helmholtz decomposition of vector fields in Lp(Ω,Rd).     

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.     

Finitely generated submodules of differentiable functions II

Let [$\text{E}$(Ω)]^p be the Cartesian product of the space of real-valued infinitely differentiable functions on a connected open set Ω in $\text{R}$ⁿ with itself p-times. The finitely generated submodules of [$\text{E}$(Ω)]^p are of the form im(F) where F: [$\text{E}$(Ω)]^q → [$\text{E}$(Ω)]^p is a p × q matrix of infinitely differentiable functions on Ω. Let $\text{r =}\text{max}\text{{}\text{rank}\text{(F(x)): x ? Ω}}$. The main results of the present paper are that for Ω ? $\text{R}$ⁿ, if the finitely generated submodule im(F) is closed in [$\text{E}$(Ω)]^p, then for every x?ω with rank(F(x)) < r there exists an r × r sub-matrix A of F such that x is a zero of finite order of det(A), and for Ω ? $\text{R}$¹ the converse also holds.     

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.     

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].     

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.     

Poincaré inequalities, uniform domains and extension properties for Newton-Sobolev functions in metric spaces

In the setting of metric measure spaces equipped with a doubling measure supporting a weak p-Poincaré inequality with 1?p<∞, we show that any uniform domain Ω is an extension domain for the Newtonian space N1,p(Ω) and that Ω, together with the metric and the measure inherited from X, supports a weak p-Poincaré inequality. For p>1, we obtain a near characterization of N1,p-extension domains with local estimates for the extension operator.     

Concentration on minimal submanifolds for a singularly perturbed Neumann problem

We consider the equation −ε²Δu+u=up in Ω⊆RN, where Ω is open, smooth and bounded, and we prove concentration of solutions along k-dimensional minimal submanifolds of ∂Ω, for N?3 and for k∈{1,…,N−2}. We impose Neumann boundary conditions, assuming 1<p<(N−k+2)/(N−k−2) and ε→⁰⁺. This result settles in full generality a phenomenon previously considered only in the particular case N=3 and k=1.     

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 .     

Global attractors for the wave equation with nonlinear damping

Based on a new a priori estimate method, so-called asymptotic a priori estimate, the existence of a global attractor is proved for the wave equation utt+kg(ut)−Δu+f(u)=0 on a bounded domain Ω⊂R³ with Dirichlet boundary conditions. The nonlinear damping term g is supposed to satisfy the growth condition C₁(|s|−C₂)?|g(s)|?C₃(1+p|s|), where 1?p<5; the damping parameter is arbitrary; the nonlinear term f is supposed to satisfy the growth condition |f^′(s)|?C₄(1+q|s|), where q?2. It is remarkable that when 2<p<5, we positively answer an open problem in Chueshov and Lasiecka [I. Chueshov, I. Lasiecka, Long-time behavior of second evolution equations with nonlinear damping, Math. Scuola Norm. Sup. (2004)] and improve the corresponding results in Feireisl [E. Feireisl, Global attractors for damped wave equations with supercritical exponent, J. Differential Equations 116 (1995) 431-447].     

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 Ω.     

Maximal operators with rough kernels on product domains

In this paper, we study the Lp boundedness of certain maximal operators on product domains with rough kernels in L(logL). We prove that our operators are bounded on Lp for all 2?p<∞. Moreover, we show that our condition on the kernel is optimal in the sense that the space L(logL) cannot be replaced by Lr(logL) for any r<1. Our results resolve a problem left open in [Y. Ding, A note on a class of rough maximal operators on product domains, J. Math. Anal. Appl. 232 (1999) 222-228].     

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.     

Lane-Emden-Fowler equations with convection and singular potential

We are concerned with singular elliptic problems of the form −Δu±p(d(x))g(u)=λf(x,u)+μa|∇u| in Ω, where Ω is a smooth bounded domain in RN, d(x)=dist(x,∂Ω), λ>0, μ∈R, 0<a?2, and f is a nondecreasing function. We assume that p(d(x)) is a positive weight with possible singular behavior on the boundary of Ω and that the nonlinearity g is unbounded around the origin. Taking into account the competition between the anisotropic potential p(d(x)), the convection term a|∇u|, and the singular nonlinearity g, we establish various existence and nonexistence results.     

A rough hypersingular integral operator with an oscillating factor

We study certain hypersingular integrals TΩ,α,βf defined on all test functions f∈S(Rn), where the kernel of the operator TΩ,α,β has a strong singularity |y|^−n−α(α>0) at the origin, an oscillating factor ei|y|^−β(β>0) and a distribution Ω∈Hr(Sn−1), 0<r<1. We show that TΩ,α,β extends to a bounded linear operator from the Sobolev space to the Lebesgue space Lp for β/(β−α)<p<β/α, if the distribution Ω is in the Hardy space Hr(Sn−1) with 0<r=(n−1)/(n−1+γ)(0<γ?α) and β>2α>0.     

Hypercyclicity and mixing for cosine operator functions generated by second order partial differential operators

For Ω⊂Rd open, we characterize when cosine operator functions generated by second order partial differential operators on Lp(Ω,μ) and C0,ρ(Ω), respectively, are hypercyclic and prove that this happens if and only if they are weakly mixing. In the case of d=1 we give an easy to check characterization of when this happens. Moreover, mixing of these cosine operator functions is also characterized.     

Isolated singularities for weighted quasilinear elliptic equations

We classify all the possible asymptotic behavior at the origin for positive solutions of quasilinear elliptic equations of the form div(|∇u|^p−2∇u)=b(x)h(u) in Ω?{0}, where 1<p?N and Ω is an open subset of RN with 0∈Ω. Our main result provides a sharp extension of a well-known theorem of Friedman and Véron for h(u)=uq and b(x)≡1, and a recent result of the authors for p=2 and b(x)≡1. We assume that the function h is regularly varying at ∞ with index q (that is, limt→∞h(λt)/h(t)=λq for every λ>0) and the weight function b(x) behaves near the origin as a function b₀(|x|) varying regularly at zero with index θ greater than −p. This condition includes b(x)=θ|x| and some of its perturbations, for instance, b(x)=θ|x|m(−log|x|) for any m∈R. Our approach makes use of the theory of regular variation and a new perturbation method for constructing sub- and super-solutions.