Solenoidal Lipschitz truncation for parabolic PDE's

We consider functions $u\in L^\infty(L^2)\cap L^p(W^{1,p})$ with $1<p<\infty$ on a time space domain. Solutions to non-linear evolutionary PDE's typically belong to these spaces. Many applications require a Lipschitz approximation $u_\lambda$ of $u$ which coincides with $u$ on a large set. For problems arising in fluid mechanics one needs to work with solenoidal (divergence-free) functions. Thus, we construct a Lipschitz approximation, which is also solenoidal. As an application we revise the existence proof for non-stationary generalized Newtonian fluids in [DRW10]. Since ${\rm div} u_\lambda=0$, we are able to work in the pressure free formulation, which heavily simplifies the proof. We also provide a simplified approach to the stationary solenoidal Lipschitz truncation of [BDF12]

Finite element approximation of the p(⋅)p(\cdot)-Laplacian

We study a~priori estimates for the Dirichlet problem of the $p(\cdot)$-Laplacian, $$-\mathrm{div}(|\nabla v|^{p(\cdot)-2} \nabla v) = f.$$ We show that the gradients of the finite element approximation with zero boundary data converges with rate $O(h^\alpha)$ if the exponent $p$ is $\alpha$-H\"{o}lder continuous. The error of the gradients is measured in the so-called quasi-norm, i.e. we measure the $L^2$-error of $|\nabla v|^{\frac{p-2}{2}} \nabla v$

Integral operators on the halfspace in generalized Lebesgue spaces Lp(⋅), part I

AbstractIn this paper we generalize a version of the classical Calderón–Zygmund theorem on principle value integrals in generalized Lebesgue spaces Lp(⋅) proved in [J. Reine Angew. Math. 563 (2003) 197–220], to kernels, which do not satisfy standard estimates on Rd+1. This result will be used in part II of this paper to prove the classical theorem on halfspace estimates of Agmon, Douglis, and Nirenberg [Comm. Pure Appl. Math. 12 (1959) 623–727] for generalized Lebesgue spaces Lp(⋅)

The Stokes and Poisson problem in variable exponent spaces

We study the Stokes and Poisson problem in the context of variable exponent spaces. We prove the existence of strong and weak solutions for bounded domains with C^{1,1} boundary with inhomogenous boundary values. The result is based on generalizations of the classical theories of Calderon-Zygmund and Agmon-Douglis-Nirenberg to variable exponent spaces.Comment: 20 pages, 1 figur

Boundedness of Pseudodifferential Operators on Banach Function Spaces

We show that if the Hardy-Littlewood maximal operator is bounded on a separable Banach function space $X(\mathbb{R}^n)$ and on its associate space $X'(\mathbb{R}^n)$, then a pseudodifferential operator $\operatorname{Op}(a)$ is bounded on $X(\mathbb{R}^n)$ whenever the symbol $a$ belongs to the H\"ormander class $S_{\rho,\delta}^{n(\rho-1)}$ with $0<\rho\le 1$, $0\le\delta<1$ or to the the Miyachi class $S_{\rho,\delta}^{n(\rho-1)}(\varkappa,n)$ with $0\le\delta\le\rho\le 1$, $0\le\delta0$. This result is applied to the case of variable Lebesgue spaces $L^{p(\cdot)}(\mathbb{R}^n)$.Comment: To appear in a special volume of Operator Theory: Advances and Applications dedicated to Ant\'onio Ferreira dos Santo

An elementary proof of uniqueness of the particle trajectories for solutions of a class of shear-thinning non-Newtonian 2D fluids

We prove some regularity results for a class of two dimensional non-Newtonian fluids. By applying results from [Dashti and Robinson, Nonlinearity, 22 (2009), 735-746] we can then show uniqueness of particle trajectories

Second-order L2L^2-regularity in nonlinear elliptic problems

A second-order regularity theory is developed for solutions to a class of quasilinear elliptic equations in divergence form, including the $p$-Laplace equation, with merely square-integrable right-hand side. Our results amount to the existence and square integrability of the weak derivatives of the nonlinear expression of the gradient under the divergence operator. This provides a nonlinear counterpart of the classical $L^2$-coercivity theory for linear problems, which is missing in the existing literature. Both local and global estimates are established. The latter apply to solutions to either Dirichlet or Neumann boundary value problems. Minimal regularity on the boundary of the domain is required. If the domain is convex, no regularity of its boundary is needed at all

Existence of weak solutions for the generalized Navier-Stokes equations with damping

In this work we consider the generalized Navier-Stokes equations with the presence of a damping term in the momentum equation. The problem studied here derives from the set of equations which govern isothermal flows of incompressible and homogeneous non-Newtonian fluids. For the generalized Navier-Stokes problem with damping, we prove the existence of weak solutions by using regularization techniques, the theory of monotone operators and compactness arguments together with the local decomposition of the pressure and the Lipschitz-truncation method. The existence result proved here holds for any and any sigma > 1, where q is the exponent of the diffusion term and sigma is the exponent which characterizes the damping term.MCTES, Portugal [SFRH/BSAB/1058/2010]; FCT, Portugal [PTDC/MAT/110613/2010]info:eu-repo/semantics/publishedVersio

Duals of variable exponent Hörmander spaces (0<p−≤p+≤10< p^- \le p^+ \le 1) and some applications

In this paper we characterize the dual \bigl(\B^c_{p(\cdot)} (\Omega) \bigr)' of the variable exponent H\"or\-man\-der space \B^c_{p(\cdot)} (\Omega) when the exponent $p(\cdot)$ satisfies the conditions $0 < p^- \le p^+ \le 1$, the Hardy-Littlewood maximal operator $M$ is bounded on $L_{p(\cdot)/p_0}$ for some $0 < p_0 < p^-$ and $\Omega$ is an open set in $\R^n$. It is shown that the dual \bigl(\B^c_{p(\cdot)} (\Omega) \bigr)' is isomorphic to the H\"ormander space \B^{\mathrm{loc}}_\infty (\Omega) (this is the $p^+ \le 1$ counterpart of the isomorphism \bigl(\B^c_{p(\cdot)} (\Omega) \bigr)' \simeq \B^{\mathrm{loc}}_{\widetilde{p'(\cdot)}} (\Omega), $1 < p^- \le p^+ < \infty$, recently proved by the authors) and hence the representation theorem \bigl( \B^c_{p(\cdot)} (\Omega) \bigr)' \simeq l^{\N}_\infty is obtained. Our proof relies heavily on the properties of the Banach envelopes of the steps of \B^c_{p(\cdot)} (\Omega) and on the extrapolation theorems in the variable Lebesgue spaces of entire analytic functions obtained in a precedent paper. Other results for $p(\cdot) \equiv p$, $0 < p < 1$, are also given (e.g. \B^c_p (\Omega) does not contain any infinite-dimensional $q$-Banach subspace with $p < q \le 1$ or the quasi-Banach space \B_p \cap \E'(Q) contains a copy of $l_p$ when $Q$ is a cube in $\R^n$). Finally, a question on complex interpolation (in the sense of Kalton) of variable exponent H\"ormander spaces is proposed.J. Motos is partially supported by grant MTM2011-23164 from the Spanish Ministry of Science and Innovation. The authors wish to thank the referees for the careful reading of the manuscript and for many helpful suggestions and remarks that improved the exposition. In particular, the remark immediately following Theorem 2.1 and the Question 2 were motivated by the comments of one of them.Motos Izquierdo, J.; Planells Gilabert, MJ.; Talavera Usano, CF. (2015). Duals of variable exponent Hörmander spaces ($0< p^- \le p^+ \le 1$) and some applications. Revista- Real Academia de Ciencias Exactas Fisicas Y Naturales Serie a Matematicas. 109(2):657-668. https://doi.org/10.1007/s13398-014-0209-zS6576681092Aboulaich, R., Meskine, D., Souissi, A.: New diffussion models in image processing. Comput. Math. Appl. 56(4), 874–882 (2008)Acerbi, E., Mingione, G.: Regularity results for stationary electro-rheological fluids. Arch. Ration. Mech. Anal. 164(3), 213–259 (2002)Bastero, J.: $$l^q$$ l q -subspaces of stable $$p$$ p -Banach spaces, $$0 < p \le 1$$ 0 < p ≤ 1 . Arch. Math. (Basel) 40, 538–544 (1983)Boas, R.P.: Entire functions. Academic Press, London (1954)Boza, S.: Espacios de Hardy discretos y acotación de operadores. Dissertation, Universitat de Barcelona (1998)Cruz-Uribe, D., Fiorenza, A.: Variable Lebesgue spaces, foundations and harmonic analysis. Birkhäuser, Basel (2013)Cruz-Uribe, D.: SFO, A. Fiorenza, J. M. Martell, C. Pérez: The boundedness of classical operators on variable $$L^p$$ L p spaces. Ann. Acad. Sci. Fenn. Math. 31, 239–264 (2006)Diening, L., Harjulehto, P., Hästö, P., Růžička, M.: Lebesgue and sobolev spaces with variable exponents. lecture notes in mathematics, vol. 2007. Springer, Berlin, Heidelberg (2011)Hörmander, L.: The analysis of linear partial operators II, Grundlehren 257. Springer, Berlin, Heidelberg (1983)Hörmander, L.: The analysis of linear partial operators I, Grundlehren 256. Springer, Berlin, Heidelberg (1983)Kalton, N.J., Peck, N.T., Roberts, J.W.: An $$F$$ F -space sampler, London Mathematical Society Lecture Notes, vol. 89. Cambridge University Press, Cambridge (1985)Kalton, N.J.: Banach envelopes of non-locally convex spaces. Canad. J. Math. 38(1), 65–86 (1986)Kalton, N.J., Mitrea, M.: Stability results on interpolation scales of quasi-Banach spaces and applications. Trans. Am. Math. Soc. 350(10), 3903–3922 (1998)Kalton, N.J.: Quasi-Banach spaces, Handbook of the Geometry of Banach Spaces, vol. 2. In: Johnson, W.B., Lindenstrauss, J. (eds.), pp. 1099–1130. Elsevier, Amsterdam (2003)Köthe, G.: Topological vector spaces I. Springer, Berlin, Heidelberg (1969)Motos, J., Planells, M.J., Talavera, C.F.: On variable exponent Lebesgue spaces of entire analytic functions. J. Math. Anal. Appl. 388, 775–787 (2012)Motos, J., Planells, M.J., Talavera, C.F.: A note on variable exponent Hörmander spaces. Mediterr. J. Math. 10, 1419–1434 (2013)Stiles, W.J.: Some properties of $$l_p$$ l p , $$0 < p < 1$$ 0 < p < 1 . Studia Math. 42, 109–119 (1972)Triebel, H.: Theory of function spaces. Birkhäuser, Basel (1983)Vogt, D.: Sequence space representations of spaces of test functions and distributions. In: Zapata, G.I. (ed.) Functional analysis, holomorphy and approximation theory, Lecture Notes in Pure and Applied Mathematics, vol. 83, pp. 405–443 (1983

Computing the first eigenpair of the p-Laplacian via inverse iteration of sublinear supersolutions

We introduce an iterative method for computing the first eigenpair $(\lambda_{p},e_{p})$ for the $p$-Laplacian operator with homogeneous Dirichlet data as the limit of $(\mu_{q,}u_{q})$ as $q\rightarrow p^{-}$, where $u_{q}$ is the positive solution of the sublinear Lane-Emden equation $-\Delta_{p}u_{q}=\mu_{q}u_{q}^{q-1}$ with same boundary data. The method is shown to work for any smooth, bounded domain. Solutions to the Lane-Emden problem are obtained through inverse iteration of a super-solution which is derived from the solution to the torsional creep problem. Convergence of $u_{q}$ to $e_{p}$ is in the $C^{1}$-norm and the rate of convergence of $\mu_{q}$ to $\lambda_{p}$ is at least $O(p-q)$. Numerical evidence is presented.Comment: Section 5 was rewritten. Jed Brown was added as autho