Abstract
We consider an iterative procedure to solve quasilinear elliptic systems with p-growth. The scheme was first considered by Koshelev in the quadratic case \(p = 2\). We present numerical applications as well as applications to higher regularity properties.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(1<p<\infty \) and consider an open and bounded domain \({\Omega \subset \mathbb {R}^n}\). We want to find \({u\in W^{1,p}_g(\Omega )=g+W^{1,p}_0(\Omega ,\mathbb {R}^N)}\) such that
where \({a:\Omega \times \mathbb {R}^{N \times n}\rightarrow \mathbb {R}^{N \times n}}\) is a matrix-valued elliptic structure field satisfying controlled p-growth conditions. We assume that \(f\in L^{p'}(\Omega ,\mathbb {R}^{N\times n})\) and \(g\in W^{1,p}(\Omega ,\mathbb {R}^N)\). Here \(p'\) denotes the Hölder conjugate of p and (1.1) is to be understood in the sense of distributions. To be precise, we make the following assumptions on a:
There are \(\Lambda _a\ge \lambda _a>0\) and \(\mu \ge 0\) such that, for almost every \(x\in \Omega \) and for all \(z,\xi \in \mathbb {R}^{N\times n}\),
For simplicity of presentation, in addition to (A1)–(A3), we make the further assumption that
Remark 1.1
We have chosen to focus on systems of the form (1.1), however with minor changes to (A1)-(A3) all the theory we develop applies equally to systems of the form \(div \,a(x,u,D u)=div \,f\) where we have that \({a:\Omega \times \mathbb {R}^N\times \mathbb {R}^{N\times n}\rightarrow \mathbb {R}^{N\times n}}\). Further (A4) can be dropped if the results of this paper are modified as indicated in Remark 3.3.
We will only concern ourselves with the vectorial case \(N\ge 2\) as the theory in the scalar case \(N=1\) is different and much more can be said.
The study of elliptic systems of the form (1.1) is well established with a very long list of important results. For an introduction we refer to [22, 24] as well as the classical [33]. It is well known that in general, without stronger structural assumptions than ellipticity and controlled p-growth, solutions to (1.1) will not be \(C^{1,\alpha }\)- or even \(C^{0,\alpha }\)- regular. In fact, problems already arise in the simplest case when \(p=2\). An initial counterexample for systems with \({a\equiv a(x,z)}\) (with \(n\ge 3\)) was developed in [14], where a quadratic system was given for which solutions are not Hölder-continuous and, in fact, fail to be bounded. While the x-dependence of the system in [14] is discontinuous, almost at the same time an example was found of a higher-order elliptic operator with analytic coefficients but discontinuous solutions [40]. We remark at this point that, if \(n=2\), solutions to (1.1) are Hölder continuous [43]. When \(a\equiv a(x,y,z)\) does indeed depend on y, it is possible to give examples where a is analytic, but solutions to (1.1) are nowhere continuous, see [30, 49], building on examples with analytic fields a but discontinuous solutions in [25]. In this set-up, an example of a system in optimal dimensions \(n>2\), \(N=2\) with discontinuous solutions is given in [20]. However, the lack of regularity occurs already without x-dependence of the coefficients. Even when \(a\equiv a(z)\) is quadratic and analytic, \(C^{1,\alpha }\)-regularity of solutions need not hold, if \(n>2\), as [44] shows.
Due to this lack of regularity, the general regularity theory of systems of type (1.1) proceeds through notions of partial regularity, that is, regularity outside of a context-dependent small relatively closed set. Since our focus here lies on results holding everywhere in the domain, we refer the reader to [22, 24, 42] for results and references in this direction.
Regularity results holding in the full domain are known only in a few special cases. The radial Uhlenbeck structure \(a\equiv a(\left| z \right| )z\), originally developed in [52], is well known to guarantee full \(C^{1,\alpha }\)-regularity. In [50], the result is generalised to fields of the form g(z, z)z, where \(g(\cdot ,\cdot )\) is a symmetric, positive definite bilinear form. In particular, this theory covers the model case of the p-Laplace operator \(a(x,y,z)=|z|^{p-2}z\). There now exists a vast literature concerning the regularity theory of (1.1) if \(a\equiv a(|z|)z\) and we refer the reader to [17, 18, 23, 35, 38, 39] for further results and references.
A second direction of everywhere regularity results, in the case where \(a\equiv a(z)\), concerns the case where the modulus of continuity of \(\partial _z a(z)\) is not too large compared to the ellipticity constant of a(z). \(C^{1,\alpha }_{loc }\)-regularity of solutions to (1.1) is shown in this set-up in [11,12,13].
A further direction, closely related to the results of this paper, are results of Cordes–Nirenberg type. For linear elliptic PDE, the classical Cordes–Nirenberg results [9, 45] state that solutions of
have interior \(C^{1,\alpha }\) regularity, if \(f\in L^\infty \) and \(|a_{ij}-\delta _{ij}|<\varepsilon \) for sufficiently small \(\varepsilon \). That is, \(C^{1,\alpha }\)-regularity is obtained when the coefficients \(\{a_{ij}\}\) are sufficiently close to the identity matrix in an appropriate sense. Note that the identity matrix is nothing but the coefficients corresponding to the Laplacian. In [8] the result is extended to fully non-linear elliptic equations with solutions in the sense of viscosity solutions. A result of a similar spirit is [19], where local BMO-regularity for extremals of (a suitable relaxed version of) \(dist _K^2(D u)\) is shown. Here \(dist _K(z)\) denotes the distance of \(z\in \mathbb {R}^{N\times n}\) to the compact set \(K\subset \mathbb {R}^{N\times n}\).
We also comment on the case where \(a(x,z)=a(x)z+b(x,z)z\) and \(\Vert b(x,z)\Vert \le c(n)\lambda _a\). Here a(x) is a positive definite matrix, with smallest eigenvalue uniformly bounded below in \(\Omega \) by \(\lambda _a>0\) and c(n) is a constant depending only on n. If c(n) is sufficiently small, then bounded solutions of (1.1) are \(\alpha \)-Hölder-continuous [53].
In this paper we obtain regularity results for fields a that are close to a suitable reference field b, see the start of Sect. 3 for a precise definition of our notion of reference field. Suppose a, b satisfy (A1) and (A2), and let \(A(x,z)=\partial _z a(x,z), B(x,z)=\partial _z b(x,z)\). Denote by \(\lambda _{B^{-1}A}(x,z), \Lambda _{B^{-1}A}(x,z)\) the smallest and largest eigenvalue of \(B^{-1}(x,z)A(x,z)\), respectively. We note that then \(\lambda _{B^{-1}A}\) has a lower bound, and \(\Lambda _{B^{-1}A}(x,z)\) has an upper bound, that is independent of x, z. Denote these bounds by \(\lambda _{a,b}\) and \(\Lambda _{a,b}\), respectively. We set
We will operate in a regime where \(K_{a,b}\) is sufficiently small and remark that in all cases we are able to make the smallness assumption on \(K_{a,b}\) explicit. In this regime, we are able to transfer existence and regularity results for solutions of the system \(div \,b(x,D u)=div \,f\) to solutions of the system \({div \,a(x,D u)=div \,f}\).
The observation of [32] is that, if a is a matrix-valued elliptic structure field satisfying controlled quadratic growth, then considering the scheme
with any choice of \(u_0\in W^{1,2}_g(\Omega )\), gives a sequence \(\{u_n\}\) that converges in \(W^{1,2}(\Omega )\) to a solution of (1.1). The problem is to be understood in the sense of distributions. [32] further shows convergence of the scheme in appropriate Morrey spaces, obtaining \(C^{0,\alpha }\)- and \(C^{1,\alpha }\)-regularity of solutions to (1.1) under (sharp in the case of \(C^{0,\alpha }\)) smallness assumptions on \(K_{-\Delta ,a}\). We will return to this point shortly.
We extend this result to matrix-valued elliptic structure fields with p-growth.
Theorem 1
Let \(1<p<\infty \), \(f\in L^{p'}(\Omega ,\mathbb {R}^{N \times n})\) and \(g\in W^{1,p}(\Omega ,\mathbb {R}^N)\). Suppose a, b satisfy (A1)–(A3) and (A4). Assume that the problem
has a unique solution in \(W^{1,p}_g(\Omega )\) for any choice of \(F\in L^{p'}(\Omega )\). If
then there is \(\gamma >0\) such that, if \({u_0\in W^{1,p}_g(\Omega )}\), and \({u_{n+1}\in W^{1,p}_g(\Omega )}\) is inductively defined to be the weak solution of
in the class \(W^{1,p}_g(\Omega )\), then \(u_n\rightarrow u\) in \(W^{1,p}(\Omega )\). Here u is the unique solution in \(W^{1,p}_g(\Omega )\) of (1.1).
Remark 1.2
We note that if \(p=2\) and \(b(x,z) = z\), we recover precisely the situation in [32].
Remark 1.3
It will actually be the case that when Theorem 1 applies, the convergence will be at linear rate, that is for some \(R<1\),
Further, \(R^{\max (p-1,p/2)} \sim K_{a,b}\), that is the speed of convergence depends on the size of the eigenvalues of \((\partial _z b(x,z))^{-1}\partial _z a(x,z)\). We comment further on this and give an explicit formula for R in Remark 3.4.
We are only to prove convergence for some \(\gamma >0\). However, in the quadratic case when \(a(x,z)=z\), convergence holds for all sufficiently small \(\gamma >0\) [32]. Moreover, in our numerical experiments we also observe convergence for all sufficiently small values of \(\gamma >0\), c.f. Figure 3. It would be interesting to formally prove that Theorem 1 holds for any sufficiently small \(\gamma >0\), but we have been unable to do so.
The iterative scheme (1.4) naturally lends itself as a numerical scheme to solve (1.1) using finite element approximations. Take \(g=0\) and suppose \(\Omega \) is a regular polytope. Consider a family of shape-regular triangulations \(\{T_h\}_{h\in (0,1]}\) of \(\Omega \) of mesh-size h. Denote by \(X_h\) the space of continuous piecewise linear (subordinate to \(T_h\)) functions. Take \(u_0\in X_h\). Define \(u_{n+1}^h\in X_h\) inductively as a solution of the problem: For all \(\phi \in X_h\),
Note that due to (A1)–(A3) and the theory of monotone operators (1.5) is well-defined. We prove in Sect. 4 that under the assumptions of Theorem 1 this scheme converges in \(W^{1,p}(\Omega )\) to a solution of the problem
Under the additional assumption that, if \(F\in L^{p'}(\Omega )\), then there is \(\alpha >0\) such that the equation \(div \,b(x,D u)= div \,F\) has a solution u in \(W^{1+\alpha ,p}(\Omega )\), and, moreover, we have the following estimate for some \(c>0\):
we show that \(u^h\rightarrow u\) in \(W^{1,p}(\Omega )\) at rate \(O(h^\frac{2\alpha }{\max (2,p)})\) as \(h\rightarrow 0\) where \(u\in W^{1,p}_g(\Omega )\) is the solution of (1.1). We note that (1.6) is satisfied by many fields of interest, e.g. the p-Laplacian \(b(x,z)=|z|^{p-2}z\), [48].
If \(p=2\) and \(b(x,z)=z\), the proposed numerical scheme falls into the class of iterative linearised Galerkin schemes studied in [29]. We refer to this reference for an overview and further references regarding such schemes. An advantage of the schemes studied in this paper, and of unified iterative schemes of the form studied in [29] in general, is that it is possible to show global convergence results at linear rate for a wide class of problems. This should be compared with nonlinear Newton schemes for which convergence can usually only be expected locally, albeit at quadratic rate. An example of a scheme, fitting into the framework of unified iterative schemes, that has been used to study some problems of p-Laplace type where \(a(x,z)=a(x,|z|)z\) and a(x, |z|) has \(p-2\)-growth, is the so-called Kačanov iteration, originally introduced in [31], and defined by solving
Versions of this scheme have been studied in [15, 21, 27, 28, 54], but in general have been restricted to the case \(p\in [1,2]\).
We stress that, in general, the scheme studied in this paper cannot be used to replace schemes proposed in the literature to solve nonlinear elliptic system. Indeed, we always require the existence of a numerical scheme which solves the corresponding problem \(div \,b(x,D u)= div \,F\) for the reference field. However, in any set-up where a numerical scheme for a reference field exists, we can apply the iterative scheme to perturbations a of the reference field. As an example, in the case of the Kačanov scheme, the iterative scheme applies to perturbations of the p-Laplace operator which need not satisfy any structural assumption of the form \(a(x,z)=a(x,|z|)z\). Further no regularity theory is required for the perturbation a. Nevertheless, it is instructive to compare our numerical results and experiments to those available in the literature, and in particular to some results regarding the p-Laplace operator \(b(x,z)=|z|^{p-2} z\). In [6], optimal error bounds, that is O(h) bounds, where h is the mesh-size, are proven for the scalar p-Laplace equation. For \(p\le 2\), these error bounds are in \(W^{1,p}\)-norm and are thus replicated by our convergence rates if (1.6) holds with \(\alpha =1\). However the regularity requirement on solutions in [6] is stronger than (1.6). For \(p\ge 2\), the optimal convergence result in [6] is achieved in \(W^{1,4/3}(\Omega )\). This is a general theme in the study of numerical schemes for nonlinear elliptic systems: optimal convergence rates are achieved in norms adapted to the operator, often referred to as quasi-norms. For example, such quasi-norms were studied for the p-Laplace equation in [37], systems of the form \(b(x,z)=div \,k(x,|z|)z\) in [36] and for systems satisfying Orlicz-type growth conditions in [16]. Specialising to reference operators satisfying such assumptions, we believe it should be possible to perform an analysis of the numerical scheme proposed here, in the framework of appropriate quasi-norms. However, for simplicity and also in order to keep our assumptions on the reference operator b(x, z) minimal, we restrict our analysis to the question of \(W^{1,p}\)-convergence.
In [32], the iterative process is used to derive sharp conditions on the dispersion \(\Lambda _a/\lambda _a\) of elliptic systems with quadratic growth that guarantee \(C^{0,\alpha }\)-regularity of solutions. An alternative proof was suggested in [34]. Further, under additional assumptions, conditions for \(C^{1,\alpha }\)-regularity of solutions are presented. In this spirit, we obtain Cordes–Nirenberg type results with regards to Calderón–Zygmund estimates for perturbations of fields of p-Laplace type. We recall a result of [7].
Theorem 2
(Theorem 2.1 in [7]) Let \(1<p<\infty \), \(q_0\in [1,\infty )\) and \({\Omega \subset \mathbb {R}^n}\) be a bounded domain with Lipschitz boundary. Suppose b(x, z) satisfies (A1)-(A3) with \(\mu =0\) and assume in addition that there exists a bounded non-negative function \({\Phi :[0,\infty )\rightarrow [0,\infty )}\) with \(\lim _{\rho \rightarrow \infty }\Phi (\rho )=0\) such that
Then there is a small constant \(\delta _0>0\) such that for any \(q\in [1,q_0]\) and \({\delta \in (0,\delta _0]}\), if \(\partial \Omega \) has Lipschitz constant smaller than \(\delta \) and if \(g\in W^{1,pq}(\Omega )\), \(F\in L^{p'q}(\Omega )\), then there exists a unique weak solution \(u\in W^{1,p}_g(\Omega )\) of \(div \,b(x,D u)=div \,F\). Moreover, there is a constant \(C_0>0\) so that
Here \(C_0\) and \(\delta _0\) depend only on \(n,N,p,q_0,\lambda _b,\Lambda _b\) and \(\Omega \). In particular, this implies that \(u\in W^{1,pq}_g(\Omega )\).
We obtain the following extension:
Theorem 3
Let \(1<p<\infty \), \(q_0\in [1,\infty )\). Suppose \(\Omega \) is a Lipschitz domain. Let \(q\in [1,q_0]\). Take \(f\in L^{p'q}(\Omega )\) and \(g\in W^{1,pq}(\Omega )\). Assume for some field b the assumptions of Theorem 2 are satisfied and let \(C_0\) be the constant defined there. Assume that a satisfies assumptions (A1)-(A3) and (A4) with \(\mu =0\) and that the assumptions of Theorem 1 are satisfied. If
then the solution u of (1.1) satisfies
Further we obtain a similar result in the scalar setting with regards to weighted estimates for perturbations of equations of p-Laplace type. We recall the following special case of the main result of [46]:
Theorem 4
(c.f. Theorem 2.1 in [46]) Suppose \(N=1\). Let \(1<p<q<\infty \) and let w be an \(A_{q/p}\) weight. Suppose \(\Omega \) is a \(C^1\)-domain. Suppose \(B\in VMO(\Omega )\) and B satisfies
Set \(b(x,z)=(B(x)z\cdot z)^\frac{p-2}{2} z\). Then there exists a positive constant \(C_1>0\) such that the following holds. For a given vector field \({F\in L^{q(p-1)}_w(\mathbb {R}^n)}\), there is a unique weak solution \({u\in W^{1,p}_0(\Omega )}\) of \(div \,b(x,D u)=div \,F\), satisfying \(D u\in L^q_w(\Omega )\) with the estimate
Here the constant \(C_1\) depends only on \(n, p, q, R, \lambda ,\Lambda \) and \([w]_{q/ p}\).
We use the Koshelev iteration to obtain the following extension.
Theorem 5
Suppose \(N=1\). Let \(1<p<q<\infty \) and \(w\in A_{q/p}\). Assume \(\Omega \) is a \(C^1\) domain and let \(g=0\), \(f\in L^\frac{q}{p-1}_w(\Omega )\). Suppose b satisfies the assumptions of Theorem 4. Let \(C_1\) be the constant from Theorem 4. Suppose a, b satisfy the assumptions of Theorem 1. If
then the solution v of (1.1) satisfies the estimate
The structure of this paper is as follows. In Sect. 2 we explain our notation and present a number of preliminary results. In Sect. 3 we show convergence in \(W^{1,p}(\Omega )\) of the iterative process. In Sect. 4 we present our numerical experiments regarding the iterative process. In Sect. 5 we use the iterative process to prove higher differentiability and weighted estimates of perturbations to equations with p-Laplace structure.
2 Preliminaries and notation
Throughout \(\Omega \subset \mathbb {R}^n\) will be a domain. c will denote a a positive constant depending only on \(\Omega ,N,p\) that may change from line to line. We write \(a\lesssim b\) if there is \(c>0\) depending only on \(\Omega ,N,p\) such that \(a\le c b\).
Let \(1\le p<\infty \). We denote by \(p'\) the Hölder conjugate of p and write \(L^p(\Omega )=L^p(\Omega ,\mathbb {R}^N)\) and \(W^{1,p}(\Omega )=W^{1,p}(\Omega ,\mathbb {R}^N)\) for the usual Lebesgue and Sobolev spaces respectively. \(VMO(\Omega )\) denotes the space of maps with vanishing mean oscillation. We also employ the standard fractional Sobolev spaces \(W^{k,p}(\Omega )\) where \({k\in (0,\infty )}\), whose theory can be found for example in [51]. We recall in particular the following fact from [26]: if \(p\in (1,\infty )\), \(\alpha >0\) and \(\Omega \) is a regular polytope, then for \(u\in W^{1+\alpha ,p}(\Omega )\) the best approximation v to u in the space of continuous piecewise linear functions subordinate to a shape-regular triangulation of \(\Omega \) of mesh-size h satisfies
For \(z\in \mathbb {R}^n\), \(r>0\) we denote by \(B_r(z)\) the open ball of radius r around z.
Given vectors \(u, v\in \mathbb {R}^n\) we denote by |v| the Euclidean norm and we denote the inner product in \(\mathbb {R}^n\) by \(u\cdot v\). Given a matrix \(A\in \mathbb {R}^{n \times n}\) we denote by \(\Vert A\Vert \) the operator norm of A. If A is positive definite, we denote its smallest eigenvalue by \(\lambda _A\) and its largest by \(\Lambda _A\). In particular when \(a\equiv a(x,z):\Omega \times \mathbb {R}^{N\times n}\rightarrow \mathbb {R}^{N\times n}\) is such that \(a(x,\cdot )\) is differentiable in \(\mathbb {R}^{N\times n}\) for almost every \(x\in \Omega \), we view \(\partial _z a(x,y,z)\) both as a matrix and as a linear form. If \(\partial _z a(x,y,z)\) is positive definite, we denote \(\lambda _a = \lambda _{\partial _z a(x,y,z)}\), \(\Lambda _a=\Lambda _{\partial _z a(x,y,z)}\).
We recall the definition of Muckenhoupt weights. For a fixed \(1< p <\infty \), we say that a weight \(w :\mathbb {R}^n\rightarrow [0,\infty )\) belongs to \(A_p\) if w is locally integrable and there is a constant \(C>0\) such that, for all balls \(B_r(z)\subset \mathbb {R}^n\), we have
![](http://media.springernature.com/lw321/springer-static/image/art%3A10.1007%2Fs00030-022-00798-9/MediaObjects/30_2022_798_Equ123_HTML.png)
Given a weight w on \(\Omega \), we denote the weighted Lebesgue-spaces by \(L^p_w(\Omega )\).
Given \(\mu \ge 0\), \(p\in (1,\infty )\) and \(v\in \mathbb {R}^n\) we write \(V_{\mu ,p}(v) = (\mu ^2+|v|^2)^\frac{p-2}{4}v\). When the choice of p is clear from the context we suppress the index and write \(V_{\mu }(v)=V_{\mu ,p}(v)\).
We recall some well-known tools for dealing with p-growth. The following Lemma is standard, but for our application it is desirable that all constants tend to 1 as \(\gamma \rightarrow 0\). The author has been unable to find a reference in the literature with bounds having this behaviour and thus a proof of the version detailed below can be found in the appendix.
Lemma 2.1
Let \(\xi ,\eta \in \mathbb {R}^m\) for some \(m>0\). For \(\gamma \ge 0\) and \(\mu \ge 0\) we have
If \(\gamma \in (-1/2,0]\) we have
We also recall that the \(V_\mu \)-functional enjoys a Young-type inequality.
Lemma 2.2
(cf. [1], Lemma 2.3) Let \(x,y\in \mathbb {R}^{N \times n}\), \(\mu \ge 0\) and \(1\le p\). Let \(\varepsilon >0\). Then with
it holds that
Further we note the following elementary estimate:
Lemma 2.3
For \(a,b\in \mathbb {R}^n\) we have
We close this section by recalling a linear algebra result from [32].
Lemma 2.4
(c.f. Lemma 1.1.2 in [32]) Let \(A\in \mathbb {R}^{n\times n}\) be positive definite. Write \(A=A^+A^-\) where \(A^+, A^-\) are the symmetric and skew-symmetric part of A, respectively. Set \({C=A^+A^--A^-A^+-(A^-)^2}\) and denote by \(\sigma \) the largest eigenvalue of C. Further set
Then \(K_\gamma \) is attained with the choice
and takes the value
Remark 2.5
An inspection of the proof shows that if \(\lambda \le \lambda _A\), \(\Lambda _A\le \Lambda \) and \(\sigma \le \sigma '\), then with
it still holds that \(\Vert I-\gamma A\Vert \le K_\gamma \).
3 The iterative process
We call \(b:\Omega \times \mathbb {R}^{N \times n}\rightarrow \mathbb {R}^{N\times n}\) a reference field if the following holds: b satisfies (A1)-(A3) and (A4). In addition, whenever \(F\in L^{p'}(\Omega ,\mathbb {R}^{N \times n})\) and \(g\in W^{1,p}(\Omega ,\mathbb {R}^N)\), there exists a unique solution \(u\in W^{1,p}_g(\Omega )\) to the problem
(3.1) is to be understood in the sense of distributions.
Remark 3.1
The p-Laplacian \(|z|^{p-2}z\) is an example of such a field. We encourage the reader to think of this case on a first reading.
Recall the definition of the iterative process. Let \({u_0\in W^{1,p}_g(\Omega )}\) and \({f\in L^{p'}(\Omega )}\). Take \(\gamma >0\) to be chosen later. Define \(u_{n+1}\in W^{1,p}_g(\Omega )\) to be the weak solution of the problem (3.1) with the choice
Note that (A3) ensures that \(F\in L^{p'}(\Omega ,\mathbb {R}^{N \times n})\), so that the sequence \(\{u_n\}\) is well-defined.
We want to show that \(u_n\rightarrow u\) in \(W^{1,p}(\Omega )\) where u is a solution of (1.1). The crucial observation to prove convergence is the following linear algebra observation:
Lemma 3.2
Suppose \(A,B\in \mathbb {R}^{m\times m}\) are positive definite and symmetric. Then, with the choice \(\gamma = \frac{2}{\Lambda _{B^{-1}A}+\lambda _{B^{-1}A}}\) and
the estimate
holds.
Proof
Applying Lemma 2.4, and noting that since A, B are symmetric, \({\sigma =0}\), there holds
\(\square \)
Remark 3.3
Due to Remark 2.5, if a, b satisfy (A1), (A2) and (A4), then with
it holds for any \(x\in \Omega \) and almost every \(z\in \mathbb {R}^{N\times n}\) that
In general, we set
In the case where A, B are non-symmetric, the choice of \(\gamma \) and K needs to be modified with the obvious adaptions to the above proof coming from Lemma 2.4. With these modifications the symmetry assumption (A4) may be dropped in all results of this paper.
We are now able to prove Theorem 1, which we restate for the convenience of the reader.
Theorem 6
Suppose \(b:\Omega \times \mathbb {R}^{N \times n}\rightarrow \mathbb {R}^N\) is a reference field. Consider \({a:\Omega \times \mathbb {R}^{N \times n}\rightarrow \mathbb {R}^N}\) satisfying (A1)-(A3) and (A4). If
then (1.1) has a unique solution \(u\in W^{1,p}_g(\Omega )\). Moreover, there is \(\gamma >0\) such that if the sequence \({u_n\in W^{1,p}_g(\Omega )}\) is generated via (3.2), then \(u_n\rightarrow u\) in \(W^{1,p}(\Omega )\).
Remark 3.4
From the proof it will be clear that, in fact, \(\{u_n\}\) generated via (3.2) converges to the weak solution of (1.1) whenever \(\gamma >0\) is such that
Here \(K_\gamma \) is the constant from (3.3). Moreover, considering Remark 3.3 and noting that
we can estimate
Further, the convergence occurs at linear rate R. To be precise, the following estimates hold:
where u is the weak solution of (1.1).
Before presenting the proof we want to briefly outline the main idea. Consider the sequence \((u_n)\) generated via (3.2). Subtracting the equations defining \(u_{n+1}\) and \(u_n\) we find
Using the mean-value theorem and denoting \(A(x,z)=\partial _z a(x,z)\), as well as \({B(x,z)=\partial _z b(x,z)}\), we may rewrite this as
for some \(\xi _{n+1}\) lying on the line segment between \(D u_{n+1}\) and \(D u_n\) and \({\tilde{\xi }}_n\) lying on the line segment between \(D u_n\) and \(D u_{n-1}\). If \(\Vert B(x,z)-\gamma A(x,z)\Vert \) is sufficiently small, uniformly in x and z, then applying the ellipticity assumption to bound the left-hand side from below, we are able to show that for some \(R<1\),
We then conclude easily.
Proof
Let \(\gamma \) be as in Remark 3.3 and write \(K=K_{a,b}\). Throughout the proof we write \(A(x,z)= \partial _z a(x,z)\) and \(B(x,z)=\partial _z b(x,z)\).
Let \(n\ge 1\). Test the equations defining \(u_{n+1}\) and \(u_n\) against \(u_{n+1}-u_n\) to find:
Here \(z_n(\theta ) = (1-\theta ) D u_{n-1}+ \theta D u_n\). The last line follows from an application of the mean value theorem. Now proceed to estimate both sides of this equality.
We focus first on the case \(p\ge 2\). Using again the mean-value theorem and writing \(z_{n+1}(\theta ) = (1-\theta ) D u_{n+1}+ \theta D u_n\), by assumption (A2), the left-hand side gives:
where the last line uses Lemma 2.1.
Note that \(\Vert B(x,w)\Vert \le \Lambda _b(\mu ^2+|w|^2)^\frac{p-2}{2}\) by (A2). Hence on the right-hand side by Lemmas 3.2 and 2.3,
We now apply Lemma 2.2 and Lemma 2.1 to find for any \(\varepsilon >0\),
Combining these two estimates and re-arranging gives:
where \(C_0 = \frac{\lambda _b}{6^\frac{p-2}{2}(p-1)}\), \(C_1 = \Lambda _b K\) and \(C_2 = (\frac{3+\sqrt{5}}{2})^\frac{p-2}{2}\Lambda _b K\).
Optimising in \(\varepsilon \) and using the hypothesis this shows by induction that
at linear rate.
As \(p\ge 2\), it immediately follows that \(\{u_n\}\) converges in \(W^{1,p}(\Omega )\) at linear rate. Necessarily the limit u lies in \(W^{1,p}_g(\Omega )\) and it is a solution of problem (1.1). Moreover considering any solution \(v\in W^{1,p}_g(\Omega )\) of (1.1) and considering the above estimates with the starting point
we find that, for any \(u_0\in W^{1,p}_g(\Omega )\), the corresponding iterative process converges to v in \(W^{1,p}_g(\Omega )\). In particular, the solution to (1.1) is unique.
We now consider \(p<2\). Proceed as before to obtain
and
Combining these estimates and our assumptions, we again find that
at linear rate.
Note that by Hölder there is \(c>0\) such that
If \(\{D u_n\}\) is a bounded sequence in \(W^{1,p}\), convergence of \(\{u_n\}\) in \(W^{1,p}(\Omega )\) and existence and uniqueness of solutions to (1.1) follow by repeating the arguments of the case \(p\ge 2\). For clarity of presentation and as it essentially follows by repeating arguments similar to those of this proof we postpone the proof of boundedness to Lemma 3.5. \(\square \)
Lemma 3.5
Suppose the assumptions of Theorem 6 hold. Then \(\{u_n\}\) is bounded in \(W^{1,p}(\Omega )\).
Proof
Let \(\gamma \) be as in Remark 3.3 and write \(K = K_{a,b}\). We write \(A(x,z)=\partial _z a(x,z)\) and \(B(x,z)=\partial _z(x,z)\).
Let \(n\ge 1\). Test the equation defining \(u_{n+1}\) against \(u_{n+1}\) to find:
Here \(z_n(\theta ) = \theta u_n\). The last line follows from an application of the mean value theorem. Now proceed to estimate both sides of this equality exactly as in Theorem 6.
We focus first on the case \(p\ge 2\). Using again the mean-value theorem and writing \(z_{n+1}(\theta ) = \theta u_{n+1}\), by assumption (A2), the left-hand side gives:
where the last line uses Lemma 2.1.
Note that \(\Vert B(x,z)\Vert \le \Lambda _b(\mu ^2+|z|^2)^\frac{p-2}{2}\) by (A2). Hence on the right-hand side by Lemmas 3.2 and 2.1, as well as (A3)
We now apply Lemma 2.2, to find
Young’s inequality also gives
Combining these two estimates and re-arranging gives:
where \(C_0 = \frac{\lambda _b}{6^\frac{p-2}{2}(p-1)}\) and \(C_1 = C_2 = \Lambda _b K\).
Optimising in \(\varepsilon \), we can ensure that \(\frac{\varepsilon C_1}{C_0-C_\varepsilon C_1}<1\). Now choosing \(\varepsilon _1\) sufficiently small, we conclude that
for some constants \(\eta \in (0,1)\) and \(C>0\). The conclusion follows using induction.
For \(p\le 2\) we argue similarly to again obtain (3.4), now with with \(C_0 = \lambda _b\), \(C_1 = \Lambda _b K\), \(C_2 = \Lambda _b K (p-1)^{-1}4^{(2-p)2}\). Optimising in \(\varepsilon \) we can again ensure that
and use this to conclude as before. \(\square \)
4 Numerical analysis and experiments
Throughout this section we assume that a(x, z) and b(x, z) satisfy assumptions (A1)-(A3) and (A4). We further assume that the assumptions of Theorem 6 hold. In particular, this will imply that, with an appropriate choice of \(\gamma \), the iterative process (3.2) converges in \(W^{1,p}(\Omega )\) to a solution of (1.1) and so, in particular, the iterates \(\{u_n\}\) are uniformly bounded in \(W^{1,p}(\Omega )\). We fix such a choice of \(\gamma \) from now on.
Recall that we study the following numerical scheme: Suppose \(\Omega \) is a regular polytope. Consider a sequence of shape-regular triangulations \(\{T_h\}_{h\in (0,1]}\) of \(\Omega \) of mesh-size h. Denote by \(X_h\) the space of continuous piecewise linear (subordinate to \(T_h\)) functions. Choose \(u_0\in X_h\). Define \(u_{n+1}^h\in X_h\) inductively as a solution of the problem: For all \(\phi \in X_h\),
Note that due to (A1)-(A3) and the theory of monotone operators (4.1) is well-defined.
4.1 Analysis of the numerical scheme
In this section we present our main results regarding convergence, a-priori and a-posteriori estimates for (4.1). We begin with the following convergence result:
Theorem 7
Let \(u_0\in X_h\) and consider the sequence \(\{u_n^h\}\) generated by (4.1) starting from \(u_0\). Then \(u_n^h\rightarrow u^h\) in \(W^{1,p}(\Omega )\) where \(u^h\in X_h\) solves
Moreover there is \(0<C_1<1\) such that
Proof
This follows from carrying out line by line the proof of Theorem 6, replacing \(\{u_n\}\) with \(\{u_n^h\}\) and u with \(u^h\) respectively. \(\square \)
We now wish to show that \(u^h\rightarrow u\) in \(W^{1,p}(\Omega )\) as \(h\rightarrow 0\) where \({u\in W^{1,p}_0(\Omega )}\) solves (1.1). In order to prove this we make the following regularity assumption on b: If \(F\in L^{p'}(\Omega )\) then there is \(\alpha >0\) such that (3.1) has a solution u in \(W^{1+\alpha ,p}(\Omega )\) and moreover we have the following estimate for some \(c>0\):
Remark 4.1
(4.3) is satisfied for example when \(b(x,z)=|z|^{p-2}z\) with any choice of \(\alpha >0\) such that \({\alpha < \min \left( 1/(p-1)^2,(p-1)^2\right) }\), see [48].
We proceed to study the effect of decreasing the mesh-size h. We use the notation of Theorem 7.
Theorem 8
Set \(g=0\). Assume the assumptions of Theorem 7 hold. Suppose moreover that (4.3) is satisfied. Choose \(u_0\in X_h\) and let \(\{u_n^h\}\) be the sequence generated by (4.1). Suppose \(u\in W^{1,p}_0(\Omega )\) solves (1.1). Then \(u\in W^{1+\alpha ,p}(\Omega )\) and \(u^h\rightarrow u\) in \(W^{1,p}(\Omega )\) as \(h\rightarrow 0\). Moreover we have the estimate
Proof
Consider the iterative process \(\{u_n\}\) started from 0. By Theorem 6, \(u_n\rightarrow u\) in \(W^{1,p}(\Omega )\). Using (4.3), we find
Repeating arguments from the proof of Lemma 3.5 we deduce using induction that there is \(c(\Vert f\Vert _{L^{p'}(\Omega )})\) such that for all \(n\ge 0\),
Extracting a weakly convergent subsequence we conclude the same estimate holds for u.
Let v be the best approximation to u in \(X_h\). Using (A2), the fact that \(u,u^h\) solve (1.1) and (4.2) respectively we find
where to obtain the last line we have used Lemma 2.2. Choosing \(\varepsilon \) sufficiently large we conclude using (2.1)
If \(p\ge 2\), \(I\ge \Vert D (u-u^h)\Vert _{L^p(\Omega )}^p\) whereas if \(p\le 2\), we have by applying Hölder’s inequality \({I\ge \Vert D (u-u^h)\Vert _{L^p(\Omega )}^2 (1+\Vert D u\Vert _{L^p(\Omega )}+\Vert D u^h\Vert _{L^p(\Omega )})}\). Recalling the standard estimates \(\Vert D u\Vert _{L^p(\Omega )}\le \Vert f\Vert _{L^{p'}(\Omega )}^{1/(p-1)}\) as well as that \({\Vert D u^h\Vert _{L^p(\Omega )}\le \Vert f\Vert _{L^{p'}(\Omega )}^{1/(p-1)}}\), we conclude by combining (4.4), Theorem 7 and the inequality
\(\square \)
We also have an a-posteriori error bound. The proof follows [29].
Proposition 4.2
Assume the conditions of Theorem 7 hold. Then we have
Proof
We compute using (A2) and Lemma 2.2,
Thus choosing \(\varepsilon \) sufficiently large, re-arranging, employing by now standard arguments and recalling that \(\{u_n^h\}\) is bounded uniformly in \(W^{1,p}(\Omega )\) we obtain
By the triangle inequality, and using \(\Vert u^h\Vert _{W^{1,p}(\Omega )}\lesssim \Vert f\Vert _{L^{p'}(\Omega )}^{1/(p-1)}\), we conclude the desired estimate:
\(\square \)
We close this section by detailing a modification of the numerical scheme, following the algorithm outlined in [29]. We strengthen our assumptions on \(\{T_h\}\) and assume \(\{T_k\}_{k\in \mathbb {N}}\) is a sequence of shape-regular triangulations with meshsize \(h_k\rightarrow 0\) as \(k\rightarrow \infty \). Moreover, we assume that \(\{T_k\}\) is obtained from \(\{T_{k-1}\}\) by refinement. Denote by \(X^k\) the space of continuous piecewise linear functions subordinate to \(\{T_k\}\). We then consider the following algorithm:
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00030-022-00798-9/MediaObjects/30_2022_798_Figa_HTML.png)
From the results of this section it is clear that, under the assumptions of Theorem 8, Algorithm 1 converges to a solution of (1.1) as \(k_{max}\rightarrow \infty \).
4.2 Numerical experiments
The results presented in this section are obtained using Firedrake [2,3,4,5, 10, 47]. Throughout this section \(\Omega = [0,1]^3\). We consider shape-regular triangulations of \(\Omega \) with uniformly spaced nodes at distance \(h =2^{-i}\). Note that in this set-up the mesh-size is \(\sqrt{3}h\).
A linear example: We first consider a linear example where we know the exact solution. We choose,
and consider the problem
where
Note that with \({\tilde{u}}(x,y,z)=sin(2\pi x)sin(2\pi y)sin(2\pi z)\),
is the exact solution of this problem.
For the iteration scheme we choose \(u_0 = 0\), \(b(x,z)=z\) and \(\gamma = 2/3\) or \(\gamma = 1/2\). We solve each iteration step using GMRES with an incomplete LU factorisation to precondition the problem. The iteration is terminated when \(\Vert u_{n+1}-u_n\Vert _{H^1(\Omega )}\le 10^{-9}\).
We record the \(H^1\)-error of the numerical solution v computed using the iterative scheme (4.1) in Table 1. We also record the number of iterations needed.
We also compute the numerical solution \(u^h\) directly using a LU-factor-isation. We record the \(H^1\)-distance between \(u_n^h\) and \(u^h\) for two different choices of \(\gamma \) in Fig. 1.
A nonlinear example We also consider the nonlinear problem
where
We set \(b(x,z)=(1+|z|^4)z\), \(\gamma = 0.65\) and \(u_0 = 0\) and employ (4.1). Each (non-linear) iteration step is solved using the standard ’solve’-method in Firedrake. This utilises a nonlinear Newton linesearch scheme where the linear step is computed using GMREs. Denote the solution obtained in this way with \(u_{dir}\). We record the \(H^1\)-distance \(\Vert u_{dir}-u_n^h\Vert _{H^1(\Omega )}\) in Fig. 2.
For this problem, we moreover compare computing times for (4.1) and Algorithm (1) in Table 2. For (4.1) we use \(\Vert u_{n+1}-u_n\Vert _{H^1(\Omega )}\le 10^{-9}\) as our termination condition, while for Algorithm 1 we choose \(tol _k = 10^{-(i+4)}\) when \(h=2^{-i}\).
Remark 4.3
We do not apply a scheme optimised for the p-Laplacian type operator \(b(x,z)=(1+|z|^4)z\) in order to solve each iteration step. Improving our computation in this way a further reduction in runtime should be achieved.
Finally, for the same problem, we consider the effect of the choice of \(\gamma \) on the iteration. We record in Fig. 3 the number of iterations required to obtain convergence when \(\gamma \) varies between 0 and 0.9. For values of \(\gamma \) larger than \(\approx 0.95\), the algorithm diverges. Similar to the linear case, and as predicted by our theory, the number of iterations needed to obtain convergence is independent of the choice of h. Hence, computing solutions for a large value of h is an efficient way to find the optimal value of \(\gamma \) to use for smaller values of h.
Remark 4.4
Note that we are not able to prove convergence for all small values of \(\gamma \) in Theorem 8. Convergence nevertheless holds for all sufficiently small \(\gamma \) in our experiment. It would be interesting to understand this phenomenon.
5 Improved regularity results
In this section, we give two examples where the iterative process can be used to obtain regularity statements about solutions to perturbations of a system which admits regular solutions.
5.1 A first example: Calderón–Zygmund type estimates
We will use fields satisfying the assumptions of Theorem 2 as reference fields and apply the iterative process to obtain the following result.
Theorem 9
Let \(1<p<\infty \), \(q_0\in [1,\infty )\). Suppose \(\Omega \) is a Lipschitz domain. Let \(q\in [1,q_0]\). Take \(f\in L^{p'q}(\Omega )\) and \(g\in W^{1,pq}(\Omega )\). Assume for some field b the assumptions of Theorem 2 are satisfied and let \(C_0\) be the constant defined there. Assume that a satisfies assumptions (A1)-(A3) and (A4) with \(\mu =0\). Suppose further with this choice of a, b the assumptions of Theorem 1 are satisfied. If
where \(K_{a,b}\) is given by (1.3), then the solution u of (1.1) satisfies
Proof
Let \(\{u_n\}\) be the sequence generated by the iterative process with \(u_0 = 0\) and with the choice of \(\gamma \) as in in Theorem 1. Write \(K=K_{a,b}\). By Theorem 2, Lemma 3.2 and (A3), we have, for some \(c>0\), the estimate
Thus, as by assumption \(C_0'<1\), we find by induction
Extracting a weakly convergent subsequence and noting that \(u_n\rightarrow u\) in \(W^{1,p}(\Omega )\) by Theorem 6, where u is the solution of (1.1), we find the desired estimate holds. \(\square \)
5.2 A second example: weighted estimates and Hölder continuity
We can use the Koshelev iteration to perturb Theorem 4 as follows:
Theorem 10
Let \(N=1\). Suppose a is a field satisfying (A1)-(A3) and (A4) with \(\mu =0\). Let \(b(x,z)=(B(x)z\cdot z)^\frac{p-2}{2}\) and assume that with this choice of b, the assumptions of Theorem 4 are satisfied. Let \(C_1\) be the constant obtained in Theorem 4. Assume that the assumptions of Theorem 1 hold with this choice of a, b. If
where \(K_{a,b}\) is given by (1.3), then the solution v of the boundary value problem (1.1) satisfies the estimate
Proof
The proof is similar to the proof of Theorem 9. Let \(\{u_n\}\) be given by the iterative process with \(u_0 = 0\) and \(\gamma \) chosen as in Theorem 6.
Note that \(b(x,0)-\gamma a(x,0)+\gamma f\in L^\frac{q}{p-1}_w(\Omega )\). Thus we find,
Hence by induction, as by assumption \(C_1'<1\),
Extracting a weakly convergent subsequence and noting that \(u_n\rightarrow v\) in \(W^{1,p}(\Omega )\) by Theorem 6 where u solves (1.1) we conclude the desired estimate, after passing to the limit in the estimate. \(\square \)
We note that of particular interest is the choice \(w(x) = |x|^\alpha \) which can be used to obtain estimates in the the familiar Morrey spaces and hence through the Morrey-Sobolev embedding allows to obtain continuity statements. Recall the definition of the \(L^{q,\theta }\)-Morrey-norm:
where \(\theta \in (0,n)\). We assume that all the assumptions and the notation of Theorem 10 hold and show how to deduce estimates in Morrey spaces.
Fix \(z\in \Omega \), \(r\in (0,\text {diam}(\Omega ))\) and choose for \(\rho \in (0,\theta )\),
Due to [41, Lemma 3.4], w is an \(A_s\) weight for any \(1<s<\infty \). Thus by Theorem 10,
It remains to estimate \(\Vert f\Vert _{L^\frac{q}{p-1}_w(\Omega )}\). For this we proceed exactly as [41] but provide the argument here for the sake of completeness. We will show that \(\Vert f\Vert _{L^\frac{q}{p-1}_w(\Omega )}\le c \Vert f\Vert _{L^{q,\theta }(\Omega )}^q r^{-\rho }\), which will conclude the proof. It is convenient to introduce \(f'\) where \(|f'|^{p-2}f' = f\). For \(\alpha >0\) we denote the set \({E_\alpha = \{x\in \Omega :|f'|>\alpha \}}\). Then we can write
We now estimate the inner integral as follows:
Now returning to the original estimate and applying Fubini’s theorem we conclude
This gives the desired result.
References
Acerbi, E., Mingione, G.: Regularity results for stationary electro-rheological fluids. Arch. Ration. Mech. Anal. 164, 213–259 (2002)
Amestoy, P., Duff, I., L’Excellent, J.-Y., Koster, J.: A fully asynchronous multifrontal solver using distributed dynamic scheduling. SIAM J. Matrix Anal. Appl. 23(1), 15–41 (2001)
Amestoy, P., Guermouche, A., L’Excellent, J.-Y., Pralet, S.: Hybrid scheduling for the parallel solution of linear systems. Parallel Comput. 32(2), 136–156 (2006)
Balay, S., Abhyankar, S., Adams, M., Brown, J., Brune, P., Buschelman, K., Dalcin, L., Eijkhout, V., Gropp, W., Karpeyev, D., Kaushik, D., Knepley, M., May, D. A., McInnes, L. C., Mills, R. T., Munson, T., Rupp, K., Sanan, P., Smith, B. F., Zampini, S., Zhang, H., Zhang, H.: PETSc Users Manual. Tech. Rep. ANL-95/11 - Revision 3.11, Argonne National Laboratory, 2019
Balay, S., Gropp, W., McInnes, L., Smith, B.: Efficient Management of Parallelism in Object Oriented Numerical Software Libraries. In Mod. Softw. Tools Sci. Comput. (1997), E. Arge, A. M. Bruaset, and H. P. Langtangen, Eds., Birkhäuser Press, pp. 163–202
Barrett, J., Liu, W.: Finite Element Approximation of the p-Laplacian. Math. Comput. 61(204), 523–537 (1993)
Bulíček, M., Byun, S.-S., Kaplický, P., Oh, J., Schwarzacher, S.: On global \(L^q\) estimates for systems with \(p\)-growth in rough domains. Calc. Var. Partial. Differ. Equ. 58, 6 (2019)
Caffarelli, L.: Interior a priori estimates for solutions of fully non-linear equations. Ann. Math. 130(1), 189–213 (1989)
Cordes, H.: Über die erste Randwertaufgabe bei quasilinearen Differentialgleichungen in mehr als zwei Variablen. Math. Ann. 131, 278–312 (1956)
Dalcin, L., Paz, R., Kler, P., Cosimo, A.: Parallel distributed computing using Python. Adv. Water Resour. 34(9), 1124–1139 (2011)
Daněček, J., John, O., Stará, J.: Interior \(C^{1,\gamma }\)-regularity for weak solutions of nonlinear second order elliptic systems. Math. Nachr. 276, 47–56 (2004)
Daněček, J., John, O., Stará, J.: Structural conditions guaranteeing \(C^{1,\gamma }\)-regularity of weak solutions to nonlinear second-order elliptic systems. Nonlinear Anal. 66, 288–300 (2007)
Daněček, J., Viszus, E.: Regularity on the interior for some class of nonlinear second-order elliptic systems. Electron. J. Diff. Eqns. 2013(121), 1–17 (2013)
De Giorgi, E.: Un esempio di estremali discotinue per un problema variazionale di tipo ellitico. Boll. Un. Mat. Ital. 4(1), 135–137 (1968)
Diening, L., Fornasier, M., Tomasi, R., Wank, M.: A relaxed Kačanov iteration for the \(p\)-poisson problem. Numer. Math. 145, 1–34 (2020)
Diening, L., Kreuzer, C.: Linear convergence of an adaptive finite element method for the p-Laplacian equation. SIAM J. Numer. Anal. 46(2), 614–638 (2008)
Diening, L., Scharle, T., Schwarzacher, S.: Regularity for parabolic systems of Uhlenbeck type with Orlicz growth. J. Math. Anal. Appl. 472, 46–60 (2019)
Diening, L., Stroffolini, B., Verde, A.: Everywhere regularity for functionals with \(\phi \)-growth. Manuscr. Math. 4, 449–481 (2009)
Dolzmann, G., Kristensen, J., Zhang, K.: BMO and uniform estimates for multi-well problems. Manuscr. Math. 140(1–2), 83–114 (2013)
Frehse, J.: A discontinuous solution of a mildly nonlinear elliptic system. Math. Z. 134, 229–230 (1973)
Garau, E., Morin, P., Zuppa, C.: Convergence of an adaptive Kačanov FEM for quasi-linear problems. Appl. Numer. Math. 61(4), 512–529 (2011)
Giaquinta, M., Giusti, E.: Differentiability of minima of nondifferentiable functionals. Inven. Math. 72, 285–298 (1983)
Giaquinta, M., Modica, G.: Remarks on the regularity of the minimizers of certain degenerate functionals. Manuscr. Math. 57, 55–99 (1986)
Giusti, E.: Direct Methods in the Calculus of Variations. World Scientific, 2003
Giusti, E., Miranda, M.: Un esempio di soluzioni discontinue per un problema di inimo relativo ad un integrale regolare del calcolo delle variazioni. Boll. Un. Mat. Ital. 4(1), 219–226 (1968)
Guermond, J.-L., Ern, A.: Finite element quasi-interpolation and best approximation. ESAIM Math. Model. Numer. Anal. 51(4), 1367–1385 (2017)
Han, W., Jensen, S., Shimansky, I.: The Kačanov method for some nonlinear problems. Appl. Numer. Meth. 24, 57–79 (1997)
Heid, P., Wihler, T.: A modified Kačano iteration scheme with application to quasilinear diffusion models. arXiv Prepr. arXiv:2101.10137 (2021)
Heid, P., Wihler, T.P.: On the convergence of adaptive iterative linearized Galerkin methods. Calcolo 57, 24 (2020)
John, O., Malý, J., Stará, J.: Nowhere continuous solutions to elliptic systems. Comment. Math. Univ. Carolinae 30, 33–43 (1989)
Kačanov, L.: Variational methods of solution of plasticity problems. J. Appl. Math. Mech. 23, 880–883 (1959)
Koshelev, A.: Regularity Problem for Quasilinear Elliptic and Parabolic Systems. Springer, Berlin (1991)
Ladyzhenskaya, O., Ural’tseva, N.: Linear and Quasilinear Elliptic Equations. Academic Press Inc., New York (1968)
Leonardi, S.: Remarks on the regularity of solutions of elliptic systems. In Nonlinear Appl. Anal., A. Sequeira, H. da Veiga, and J. H. Videman, Eds. Kluwer Academic/Plenum Publishers, New York, 1999, pp. 325–344
Lieberman, G.: Hölder regularity for the gradients of solutions of degenerate parabolic systems. Ukr. Math. Bull. 3, 352–373 (2006)
Liu, W., Barrett, J.: Finite element approximation of some degenerate monotone quasilinear elliptic systems. SIAM J. Numer. Anal. 33(1), 88–106 (1996)
Liu, W., Yan, N.: Quasi-norm local error estimators for p-Laplacian. Quasi-Norm Local Error Estim. p-Laplacian 39(1), 100–127 (2002)
Marcellini, P.: Everywhere regularity for a class of elliptic systems without growth conditions. Ann. Sc. Norm. Super. Pisa Cl. Sci., 23(1) (1996), 1–25
Marcellini, P., Papi, G.: Nonlinear elliptic systems with general growth. J. Differ. Equ. 221(2), 412–443 (2006)
Maz’ya, V.: Examples of nonregular solutions of quasilinear elliptic equations with analytic coefficients. Funkc. Anal. i Priložen. 2(3), 53–57 (1968)
Mengesha, T., Phuc, N.C.: Global estimates for quasilinear elliptic equations on Reifenberg flat domains. Arch. Ration. Mech. Anal. 203, 189–216 (2012)
Mingione, G.: Regularity of minima: an invitation to the dark side of the calculus of variations. Appl. Math. 51(4), 355–426 (2006)
Morrey, C.: On the solutions of quasi-linear elliptic partial differential equations. Trans. Am. Math. Soc. 43, 126–166 (1938)
Nečas, J., John, O., Stará, J.: Counterexample to the regularity of weak solution of elliptic systems. Comment. Math. Univ. Carolinae 21, 145–154 (1980)
Nirenberg, L.: On a generalization of quasi-conformal mappings and its application to elliptic partial differential equations. Annu. Math. Stud. 33, 95–100 (1954)
Phuc, N. C.: Weighted estimates for nonhomogeneous quasilinear equations with discontinuous coefficients. Ann. Sc. Norm. Sup. Pisa Cl. Sci. 10, 5 (2011), 1–17
Rathgeber, F., Ham, D., Mitchell, L., Lange, M., Luporini, F., McRae, A., Bercea, G.-T., Markall, G., and Kelly, P.: Firedrake: automating the finite element method by composing abstractions. ACM Trans. Math. Softw. 43, 3 (2016), 24:1—-24:27
Simon, J.: Regularite de la solution d’un probleme aux limites non lineaires. Ann. fac. sci. Toulouse 3(3–4), 247–274 (1981)
Souček, J.: Singular solutions to linear elliptic systems. Comment. Math. Univ. Carolinae 25, 273–281 (1984)
Tolksdorf, P.: Everywhere regularity for some quasi-linear systems with a lack of ellipticity. Ann. Mat. Pura App. 134, 241–266 (1983)
Triebel, H.: Theory of Function Spaces, 1st edn. Birkhäuser Basel, Basel (1983)
Uhlenbeck, K.: Regularity for a class of non-linear elliptic systems. Acta Math. 138, 219–240 (1977)
Wiegner, M.: Regularity theorems for nondiagonal elliptic systems. Ark. för Mat. 20(1–2), 1–13 (1982)
Zeidler, E.: Nonlinear Functional Analysis and Its Applications. Springer, New York (1988)
Acknowledgements
The author would like to thank Jan Kristensen for suggesting the topic of this paper to him. He would also like to thank Ioannis Papadopoulos and Pascal Heid for useful discussion and practical suggestions regarding the numerical experiments. Further the author thanks the anonymous referee for comments improving this manuscript substantially.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
L. K. was supported by the Engineering and Physical Sciences Research Council [EP/L015811/1].
Appendix A. Proof of Lemma 2.1
Appendix A. Proof of Lemma 2.1
We restate and prove Lemma 2.1 here.
Lemma 5.1
For \(\gamma \ge 0\) and \(\mu \ge 0\) we have
If \(\gamma \in (-1/2,0]\) we have
Proof
We first consider \(\gamma \ge 0\). Then by Young’s inequality,
For the lower bound, note that by symmetry we may assume \(|\eta |\ge |\xi |\). Dividing both sides by \(|\eta |^\gamma \) we see that moreover we may assume \(|\eta |=1\). Rotating coordinate axis if necessary we may even assume that \(\eta =e_1\), the unit vector in the first coordinate direction. Note that
Write \(s = |\xi -\eta |\). Note that \(s\in [0,2]\).
We first assume \(s\le 1\). Then as \(\gamma \ge 0\),
Next assume \(s\ge 1\). Then
Define
Note that
Hence we conclude
This completes the case \(\gamma \ge 0\).
We now turn to \(\gamma \in (-\frac{1}{2},0)\). We find
We turn to the upper bound. Again set \(s = |\xi -\eta |\). First assume \(s\le 1\).Then
Set
and note
to conclude
If \(s\ge 1\) we estimate
Define
and note that
By Bernoulli’s inequality it suffices to check that
It is straightforward to see that the last inequality holds. Thus g(s) is increasing and we can conclude
\(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Koch, L. Regularity for quasilinear vectorial elliptic systems via an iterative scheme with numerical applications. Nonlinear Differ. Equ. Appl. 29, 75 (2022). https://doi.org/10.1007/s00030-022-00798-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00030-022-00798-9