- Research
- Open Access
- Published:
Convergence rates in homogenization of p-Laplace equations
Boundary Value Problems volume 2019, Article number: 143 (2019)
Abstract
This paper is concerned with homogenization of p-Laplace equations with rapidly oscillating periodic coefficients. The main difficulty of this work is due to the nonlinear structure in this field concerning p-Laplace equations itself. Utilizing the layer and co-layer type estimates as well as homogenization techniques, we establish the desired error estimates. As a consequence, we obtain the rates of convergence for solutions in \(W_{0}^{1,p}\) as well as \(L^{p}\). Meanwhile, our convergence rate results do not involve the higher derivatives any more. This may be viewed as rather surprising. The novelty of this work is that it seems to find a new analysis method in quantitative homogenization.
1 Introduction
In this paper, we shall establish the rates of convergence for p-Laplace equations with rapidly oscillating periodic coefficients. More precisely, let Ω be a bounded Lipschitz domain in \(\mathbb{R} ^{n}\). Suppose that \(u_{\varepsilon }\in W^{1,p}(\varOmega )\), for any \(1\leq p<\infty \), is a weak solution to the following problem:
Throughout this paper, the summation convention is used. We assume that the matrix \(A(y)=(a_{ij}(y))\) with \(1\leq i\), \(j\leq n\), is real, bounded measurable, and satisfies the following conditions.
-
Periodicity conditions: for any \(y\in \mathbb{R}^{n}\) and \(Y=[0,1)^{n}\simeq \mathbb{R}^{n}/\mathbb{Z}^{n}\),
$$ A(y+Y)=A(y). $$(1.2) -
Coerciveness and growth conditions: there exists a \(\lambda >0\), for any \(y\in \mathbb{R}^{n}\) and \(\xi ,\xi '\in \mathbb{R}^{n}\),
$$\begin{aligned} \lambda \bigl( \vert \xi \vert + \bigl\vert \xi ' \bigr\vert \bigr)^{p-2} \bigl\vert \xi -\xi ' \bigr\vert ^{2}&\leq \bigl\langle A(y) \vert \xi \vert ^{p-2}\xi -A(y) \bigl\vert \xi ' \bigr\vert ^{p-2}\xi ',\xi -\xi '\bigr\rangle \\ &\leq \frac{1}{ \lambda }\bigl( \vert \xi \vert + \bigl\vert \xi ' \bigr\vert \bigr)^{p-2} \bigl\vert \xi -\xi ' \bigr\vert ^{2}. \end{aligned}$$(1.3) -
Smoothness conditions: with \(1/p+1/p'=1\),
$$ F\in W^{-1,p'}(\varOmega ), \qquad f\in W^{1,p}( \partial \varOmega ). $$(1.4)
It is well known that the solution \(u_{\varepsilon }\rightharpoonup u _{0}\) weakly in \(W^{1,p}(\varOmega )\), as \(\varepsilon \rightarrow 0\), where \(u_{0}\) is the solution to the homogenized problem
The Q is a constant matrix, defined by
where the corrector \(\chi (y)\) satisfies the following cell problem:
Recently, there has been published much classical work about convergence of solutions for linear operators in homogenization with the various settings. In 2011, Gérard and Masmoudi [4] obtained the \(L^{2}\) convergence rate for the boundary layers Neumann problems. In 2012, Kenig, Lin and Shen [7] obtained \(L^{2}\) as well as \(H^{\frac{1}{2}}\) convergence rates for the elliptic oscillating operators. In 2013, Aleksanyan, Shahgholian and Sjölin [1, 2] proved pointwise as well as \(L^{p}\) estimates for fixed operators and oscillating Dirichlet boundary data. In 2014, Kenig, Lin and Shen [8] established \(W^{k,p}\) convergence rates, via the asymptotic behavior of the Green or Neumann functions. In 2015, the first author [24] obtained the pointwise as well as \(W^{1,p}\) convergence rates for fixed operators and oscillating Neumann boundary data. In 2015, Gu [5] also proved convergence rates in \(L^{2}\) and \(H^{1}\) for linear Stokes systems. In 2016, Shen [18] proved the \(L^{2}\) convergence rate for the mixed Dirichlet–Neumann boundary value problems. In 2018, Niu and Xu [11] got the \(L^{2}\) convergence rate for 2mth-order equations with periodic oscillating coefficients.
The nonlinear operators case in homogenization have also been studied extensively. Piat and Deferanceschi [15] have obtained convergence weakly in \(W^{1,p}\) for the quasi-linear monotone operator. Pastukhova [14] considered nonlinear equations of monotone type with multiscale coefficients, and established the \(L^{2}\) convergence rate. Recently, Wang, Xu and Zhao [21] studied the quasilinear elliptic equations and obtained an error estimate in \(L^{2}\). We refer the reader to see [3, 6, 10, 16, 23] and their references for more results about nonlinear problems in homogenization.
The motivation for studying this paper is inspired by the problems raised by Wang, Xu and Zhao in [22] for the p-Laplace type equations. The aim of the paper is to obtain the accurate convergence rates of solutions for the classical p-Laplace equations with rapidly oscillating periodic coefficients. Thanks to the layer and co-layer type estimates, we could handle the different ingredients in the integral by energy methods. The similar procedures could be found in [9] or [12], which were used to analyze the spatial and mechanical properties for solutions of reflecting the microstructure of the materials.
The following are the main results of this paper.
Theorem 1
Let Ω be a bounded Lipschitz domain in \(\mathbb{R}^{n}\). Suppose that \(u_{\varepsilon }\in W^{1,p}(\varOmega )\) and \(u_{0}\in W^{1,q}(\varOmega )\), with \(q>p\geq 4\), are the weak solutions of the problems (1.1) and (1.5), respectively. Then, under the assumptions (1.2)–(1.4), there exists a constant C such that
where \(T_{\varepsilon }\) is the smoothing operator, and \(\eta _{\varepsilon }\) is a cut-off function.
Theorem 2
Under the same conditions as Theorem 1, then there exists a constant C, with some \(q>p\geq 4\), such that
The astute reader may have already noticed that our convergence rate result in Theorem 1, which do not involve the higher derivatives any more. This may be viewed as rather surprising, even though in the linear case. The novelty of this work is that it seems to find a new analysis method, which depends on the layer and co-layer type estimates, in quantitative homogenization. To the best of our knowledge, there are few contributions in the field concerning p-Laplace equations in homogenization.
The rest of the paper is organized as follows. Section 2 contains some basic notations and useful propositions which will play crucial roles to obtain convergence rates. In Sect. 3, we show that the solution \(u_{\varepsilon }\) of p-Laplace equations is convergent to the solution \(u_{0}\) of the corresponding homogenized problems, this is based on the energy method as well as using homogenization tools.
2 Preliminaries
We begin by specifying our notations.
Let \(B_{r}(x)\) denote an open ball with center x and radius r. \(\varOmega _{\varepsilon }=\{x\in \varOmega : \operatorname{dist}(x,\partial \varOmega )> \varepsilon \}\), we also call it the co-layer part of Ω, associated with so-called layer part is denoted by \(\varOmega \setminus \varOmega _{\varepsilon }\). Set \(\eta _{\varepsilon }\in C_{0}^{\infty }( \varOmega )\) is a cut-off function, satisfying \(\eta _{\varepsilon }=1\) in \(\varOmega _{\varepsilon }\), \(\eta _{\varepsilon }=0\) outside \(\varOmega _{\varepsilon }\) and \(|\triangledown \eta _{\varepsilon }|\leq C/ \varepsilon \). In the whole paper, we use C to denote positive constant which may vary in different formulas.
Proposition 2.1
Let \(F=(F_{1},F_{2},\ldots ,F_{n})\in L^{p}(Y)\). Suppose that \(\int _{Y}F_{j}(y)\,dy=0\) and \(\operatorname{div}F(y)=0\) in Y. Then there exists \(\varPhi _{ij}\in W^{1,p}(Y)\) such that \(\varPhi _{ij}=-\varPhi _{ji}\) and \(F_{j}=\frac{\partial \varPhi _{ij}}{\partial y_{i}}\).
This proposition is well known. It is called the technique of flux correctors. The linear operator case is well known (see for example [7], Lemma 3.1). Let \(f_{j}\in W^{2,p}(Y)\) be the solution to the cell problem \(\triangle f_{j}=F_{j}\) in Y. Then we could define \(\varPhi _{ij}(y)=\frac{\partial }{\partial y_{i}}[f_{j}(y)]-\frac{\partial }{\partial y_{j}}[f_{i}(y)]\). From an energy estimate, we may get the desired properties.
Recently, the smoothing operator was introduced by Suslina in [19, 20]. Meanwhile, applying the smoothing operator to get error estimates was first established by Shen in [17]. Next, we will introduce the smoothing operator and its properties. This work is to extend the usage of smoothing operator to the case of p-Laplace equations, of independent interest itself.
Definition 2.2
Fix \(\psi \in C^{\infty }_{0}(B_{1}(0))\) such that \(\psi \geq 0\) and \(\int _{\mathbb{R}^{n}}\psi \,dx=1\). Define operator \(T_{\varepsilon }\) on \(L^{2}\) as
where \(\psi _{\varepsilon }(x)=\varepsilon ^{-n}\psi (x/\varepsilon )\). We call it the smoothing operator.
Proposition 2.3
Let \(u_{0}\in W^{1,p}(\varOmega )\) and a periodic function \(f\in L^{p}(Y)\), for some \(1< p<\infty \). Then we have
and
These estimates could be proved by Fubini’s theorem and Hölder’s inequality. We refer the reader to [13, 17] or [18] for the detailed proof.
The main interest of the present work is to attempt to find a new approach to analyzing the error estimates for homogenization problems. Fortunately, it may be a new way to derive rates of convergence, via the co-layer and layer type estimates.
Proposition 2.4
(Co-layer and layer type estimates)
If \(u_{0}\in W^{1,p}( \varOmega )\) for some \(q>p>1\), then we have estimates
and
These estimates will play crucial roles to obtain convergence rates in the present paper, and they also do not involve the higher derivatives any more. These estimates could be derived by regularity estimates, and they may be found in [22].
3 Proofs of theorems
The goal of this section is to establish \(W_{0}^{1,p}\) and \(L^{p}\) convergence rates of solutions for the p-Laplace equations in homogenization.
Set the first-order approximation term
We find that
In view of the fact that, for any \(\varphi \in C_{0}^{\infty }(\varOmega )\),
we obtain
To estimate \(I_{1}\), we note Proposition 2.3, and Proposition 2.4 for the co-layer and layer type estimates, showing that
for some \(q>p\geq 2\), where we have used the Hölder inequality.
Next, we shall estimate \(I_{2}\). Let
Note that \(F(\cdot ,\xi )\) is a periodic function with the first variable and satisfies the conditions of Proposition 2.1. Then there exists \(\varPhi (\cdot ,\xi )\), such that \(\varPhi _{ij}=-\varPhi _{ji}\), and
Thus, it gives
where we have used the divergence theorem and the antisymmetry of \(\varPhi _{ij}\).
As a result, using Proposition 2.4 again, we get
for some \(q>p\).
For \(I_{3}\), it follows that
Here, we divide the estimate into three ingredients.
Similar to the estimate of \(I_{1}\), we have
Next, we proceed to deal with \(I_{32}\):
for some \(q>p\geq 4\), where we have used Proposition 2.3 and Proposition 2.4.
Last, it remains to handle \(I_{33}\):
for some \(q>p\geq 4\).
This, together with (3.1)–(3.7), shows that, for some \(q>p\geq 4\),
Then let \(\varphi =v_{\varepsilon }=u_{\varepsilon }-u_{0}-\varepsilon \chi T_{\varepsilon }(\eta _{\varepsilon }\triangledown u_{0})\). It gives
In view of the fact that \(T_{\varepsilon }(\eta _{\varepsilon }\triangledown u_{0})=0\) in the \(\varOmega \setminus \varOmega _{\varepsilon }\) and the Poincaré inequality, this completes the proof of Theorem 1.
It follows from Theorem 1 and Proposition 2.3, together with Minkowski’s inequality, that
with \(q>p\geq 4\).
This completes the proof of Theorem 2.
References
Aleksanyan, H., Shahgholian, H., Sjölin, P.: Applications of Fourier analysis in homogenization of Dirichlet problem I. Pointwise estimates. J. Differ. Equ. 254, 2626–2637 (2013)
Aleksanyan, H., Shahgholian, H., Sjölin, P.: Applications of Fourier analysis in homogenization of the Dirichlet problem: \(L^{p}\) estimates. Arch. Ration. Mech. Anal. 215, 65–87 (2015)
Fusco, N., Moscariello, G.: On the homogenization of quasilinear divergence structure operators. Ann. Mat. Pura Appl. 146, 1–13 (1987)
Gérard, D., Masmoudi, N.: Homogenization and boundary layers. Acta Math. 209, 133–178 (2012)
Gu, S.: Convergence rates in homogenization of Stokes systems. J. Differ. Equ. 260, 5796–5815 (2016)
Jikov, V., Kozlov, S., Oleinik, O.: Homogenization of Differential Operators and Integral Functionals. Springer, Berlin (1994)
Kenig, C.E., Lin, F.H., Shen, Z.W.: Convergence rates in \(L^{2}\) for elliptic homogenization problems. Arch. Ration. Mech. Anal. 203, 1009–1036 (2012)
Kenig, C.E., Lin, F.H., Shen, Z.W.: Periodic homogenization of Green and Neumann functions. Commun. Pure Appl. Math. 67, 1219–1262 (2012)
Marin, M., Craciun, E.M., Pop, N.: Considerations on mixed initial-boundary value problems for micropolar porous bodies. Dyn. Syst. Appl. 25, 175–196 (2016)
Maso, G.D., Defranceschi, A.: Correctors for the homogenization of monotone operators. Differ. Integral Equ. 3, 1151–1166 (1990)
Niu, W., Xu, Y.: Convergence rates in homogenization of higher order parabolic systems. Discrete Contin. Dyn. Syst. 38, 4203–4229 (2018)
Othman, M., Marin, M.: Effect of thermal loading due to laser pulse on thermoelastic porous medium under G–N theory. Results Phys. 7, 3863–3872 (2017)
Pakhnin, M.A., Suslina, T.A.: Operator error estimates for the homogenization of the elliptic Dirichlet problem in a bounded domain. St. Petersburg Math. J. 24, 949–976 (2013)
Pastukhova, S.: Operator estimates in nonlinear problems of reiterated homogenization. Proc. Steklov Inst. Math. 261, 214–228 (2008)
Piat, V.C., Deferanceschi, A.: Homogenization of monotone operators. Nonlinear Anal. 14, 717–732 (1990)
Piat, V.C., Maso, G.D., Defranceschi, A.: G-convergence of monotone operators. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 3, 123–160 (1990)
Shen, Z.W.: Boundary estimates in elliptic homogenization. Mathematics 10, 653–694 (2017)
Shen, Z.W., Zhuge, J.: Convergence rates in periodic homogenization of systems of elasticity. Proc. Am. Math. Soc. 145, 1187–1202 (2016)
Suslina, T.: Homogenization of the Dirichlet problem for elliptic systems: \(L^{2}\)-operator error estimates. Mathematika 59, 463–476 (2013)
Suslina, T.: Homogenization of the Neumann problem for elliptic systems with periodic coefficients. SIAM J. Math. Anal. 45, 3453–3493 (2013)
Wang, L., Xu, Q., Zhao, P.: Quantitative estimates on periodic homogenization of nonlinear elliptic operators (2018). arXiv:1807.10865
Wang, L., Xu, Q., Zhao, P.: Convergence rates on periodic homogenization of p-Laplace type equations (2018). arXiv:1812.04837
Zeidler, E., Boron, L.F.: Nonlinear Functional Analysis and Its Applications, Nonlinear Monotone Operators. Springer, New York (1990)
Zhao, J.: Homogenization of the boundary value for the Neumann problem. J. Math. Phys. 56, 021508 (2015)
Acknowledgements
The author would like to thank the reviewers for their valuable comments and helpful suggestions to improve the quality of this paper. The part of this work was done while the author was visiting school of mathematics and applied statistics, University of Wollongong, Australia.
Availability of data and materials
Not applicable.
Funding
This work has been supported by the Natural Science Foundation of China (No. 11626239), the China Scholarship Council (No. 201708410483), as well as the Foundation of Education Department of Henan Province (No. 18A110037).
Author information
Authors and Affiliations
Contributions
All authors read and approved the submitted manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zhao, J., Wang, J. Convergence rates in homogenization of p-Laplace equations. Bound Value Probl 2019, 143 (2019). https://doi.org/10.1186/s13661-019-1258-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-019-1258-1
MSC
- 35B27
- 35J15
Keywords
- Homogenization
- Convergence rates
- p-Laplace equations
- Oscillating