Skip to content

Advertisement

  • Research
  • Open Access

Convergence of very weak solutions to A-Dirac equations in Clifford analysis

Advances in Difference Equations20152015:219

https://doi.org/10.1186/s13662-015-0555-y

  • Received: 2 May 2015
  • Accepted: 24 June 2015
  • Published:

Abstract

This paper is concerned with the very weak solutions to A-Dirac equations \(DA(x, Du)=0\) with Dirichlet boundary data. By means of the decomposition in a Clifford-valued function space, convergence of the very weak solutions to A-Dirac equations is obtained in Clifford analysis.

Keywords

  • Dirac equations
  • very weak solutions
  • decomposition
  • convergence

MSC

  • 35J25
  • 31A35

1 Introduction

In this paper, we shall consider a nonlinear mapping \(A:\Omega\times C\ell_{n}\rightarrow C\ell_{n}\) such that
(N1): 

\(x\rightarrow A(x,\xi)\) is measurable for all \(\xi\in C\ell_{n}\),

(N2): 

\(\xi\rightarrow A(x, \xi)\) is continuous for a.e. \(x\in \Omega\),

(N3): 

\(|A(x,\xi)-A(x,\zeta)|\leq b|\xi-\zeta|^{p-1}\),

(N4): 

\((A(x,\xi)-A(x,\zeta),\xi-\zeta)\geq a|\xi-\zeta|^{2}(|\xi |+|\zeta|)^{p-2}\),

where \(0< a\leq b<\infty\).
The exponent \(p>1\) will determine the natural Sobolev class, denoted by \(W^{1,p}(\Omega, C\ell_{n})\), in which to consider the A-Dirac equations
$$\begin{aligned} DA(x, Du)=0. \end{aligned}$$
(1)
We call \(u\in W^{1, p}_{\mathrm{loc}}(\Omega, C\ell_{n})\) a weak solution to (1) if
$$\begin{aligned} \int_{\Omega}\overline{A(x,Du)}D\varphi \, \mathrm{d}x=0 \end{aligned}$$
(2)
for each \(\varphi\in W^{1, p}_{\mathrm{loc}}(\Omega, C\ell_{n})\) with compact support.

Definition 1.1

For \(s>\max\{1, p-1\}\), a Clifford-valued function \(u\in W^{1, s}_{\mathrm{loc}}(\Omega, C\ell_{n})\) is called a very weak solution of equation (1) if it satisfies (2) for all \(\varphi\in W^{1, \frac{s}{s-p+1}}(\Omega, C\ell_{n})\) with compact support.

Remark 1.2

It is clear that if \(s=p\), the very weak solution is identity to the weak solution to equation (1).

It is well known that the A-harmonic equations
$$\begin{aligned} -\operatorname{div}A(x, \nabla u)=0 \end{aligned}$$
(3)
arise in the study of nonlinear elastic mechanics. More exactly, by means of qualitative theory of solutions to (3), we can study the above physics problems at equilibrium. Moreover, basic theories of (3) of degenerate condition have been studied by Iwaniec, Heinonen et al. systematically in [17]. While the regularity is not good enough, the existence of weak solutions to elliptic equations maybe not obtained in the corresponding function space, then the concept of ‘very weak solution’ is produced in order to study the solutions to elliptic equations in a wider space. Also, there are many researchers’ works on the properties of the very weak solutions to various versions of A-harmonic equations, see [812]. In 1989, Gürlebeck and Sprößig studied the quaternionic analysis and elliptic boundary value problems in [13]; for more about Clifford analysis and its applications, see [1416]. In 2010, Nolder introduced the A-Dirac equations (1) and explained how the quasi-linear elliptic equations (3) arise as components of Dirac equations (1). After that, Fu, Zhang, Bisci et al. studied this problem on the weighted variable exponent spaces, see [1720]. Wang and Chen studied the relation between A-harmonic operator and A-Dirac system in [21]. In [22], Lian et al. studied the weak solutions to A-Dirac equations in whole. For other works in this new field, we refer readers to [2326].
This paper is concerned with the very weak solutions to a nonlinear A-Dirac equation with Dirichlet bound data
$$\begin{aligned} \textstyle\begin{cases} DA(x,Du)=0, \\ u-u_{0}\in W^{1,s}_{0}(\Omega, C \ell_{n}). \end{cases}\displaystyle \end{aligned}$$
(4)
We study the convergence of the very weak solutions to equation (4) without the homogeneity \(A(x, \lambda\xi)=|\lambda|^{p-2}\lambda A(x,\xi)\).

2 Preliminary results

Let \(e_{1},e_{2},\ldots, e_{n}\) be the standard basis of \(\mathbb{R}^{n}\) with the relation \(e_{i}e_{j}+e_{j}e_{i}=-2\delta_{ij}\). For \(l=0,1,\ldots,n\), we denote by \(C\ell_{n}^{k}=C\ell_{n}^{k}(\mathbb{R}^{n})\) the linear space of all k-vectors, spanned by the reduced products \(e_{I}=e_{i_{1}}e_{i_{2}}\cdots e_{i_{k}}\), corresponding to all ordered k-tuples \(I=(i_{1},i_{2},\ldots,i_{k})\), \(1\leq i_{1}< i_{2}<\cdots<i_{k}\leq n\). Thus, Clifford algebra \(C\ell_{n}=\oplus C\ell_{n}^{k}\) is a graded algebra and \(C\ell_{n}^{0}=\mathbb{R}\) and \(C\ell_{n}^{1}=\mathbb{R}^{n}\). \(\mathbb{R}\subset\mathbb{C}\subset\mathbb{H}\subset C\ell_{n}^{3}\subset \cdots\) is an increasing chain. For \(u\in C\ell_{n}\), u can be written as
$$ u=\sum_{I}u_{I}e_{I}= \sum _{1\leq i_{1}< \cdots< i_{k}\leq n}u_{i_{1},\ldots,i_{k}}e_{i_{1}}\cdots e_{i_{k}}, $$
where \(1\leq k\leq n\).
The norm of \(u\in C\ell_{n}\) is given by \(|u|=(\sum_{I} u_{I}^{2})^{1/2}\). Clifford conjugation \(\overline{e_{\alpha_{1}}\cdots e_{\alpha_{k}}}=(-1)^{k} e_{\alpha_{k}}\cdots e_{\alpha_{1}}\). For each \(I=(i_{1},i_{2},\ldots,i_{k})\), we have
$$\begin{aligned} e_{I}\overline{e_{I}}=\overline{e_{I}}e_{I}=1. \end{aligned}$$
(5)
For \(u=\sum_{I} u_{I} e_{I}\in C\ell_{n}\), \(v=\sum_{J} v_{J} e_{J}\in C\ell_{n}\),
$$\langle u,v\rangle=\biggl\langle \sum_{I} u_{I} e_{I}, \sum_{J} v_{J} e_{J}\biggr\rangle =\sum_{I} u_{I} v_{I} $$
defines the corresponding inner product on \(C\ell_{n}\). For \(u\in C\ell_{n}\), \(\operatorname{Sc}(u)\) denotes the scalar part of u, that is, the coefficient of the element u. Also we have \(\langle u, v\rangle=\operatorname{Sc}(\overline{u}v)\).
The Dirac operator is given by
$$D=\sum_{j=1}^{n} e_{j} \frac{\partial}{\partial x_{j}}. $$
u is called a monogenic function if \(Du=0\). Also \(D^{2}=-\triangle\), where is the Laplace operator which operates only on coefficients.

Throughout the paper, Ω is a bounded domain. \(C_{0}^{\infty}(\Omega, C\ell_{n})\) is the space of Clifford-valued functions in Ω whose coefficients belong to \(C^{\infty}_{0}(\Omega)\). For \(s>0\), denote by \(L^{s}(\Omega, C\ell_{n})\) the space of Clifford-valued functions in Ω whose coefficients belong to the usual \(L^{s}(\Omega)\) space. Denoted by \(\nabla u=(\frac{\partial u}{\partial x_{1}},\frac{\partial u}{\partial x_{2}},\ldots,\frac{\partial u}{\partial x_{n}})\), then \(W^{1,s}(\Omega, C\ell_{n})\) is the space of Clifford-valued functions in Ω whose coefficients as well as their first distributional derivatives are in \(L^{s}(\Omega)\). We similarly write \(W^{1, s}_{\mathrm{loc}}(\Omega, C\ell)\) and \(W^{1, s}_{0}(\Omega, C\ell_{n})\).

Let \(G(x)=\frac{1}{\omega_{n}}\frac{\overline{x}}{|x|^{n}}\), the Teodorescu operator here is given by
$$Tf=\int_{\Omega}G(x-y)f(y) \,\mathrm{d}y. $$
Next, we introduce the Borel-Prompieu result for a Clifford-valued function.

Theorem 2.1

([14])

If Ω is a domain in \(\mathbb{R}^{n}\), then for each \(f\in C^{\infty }_{0}(\Omega, C\ell_{n})\), we have
$$\begin{aligned} f(z)=\int_{\partial\Omega}G(x-z)\,\mathrm{d}\sigma(x)f(x)- \int_{\Omega }G(x-z)Df(x) \,\mathrm{d}x, \end{aligned}$$
(6)
where \(z\in\Omega\).

According to Theorem 2.1, Lian proved the following theorem.

Theorem 2.2

([22]) (Poincaré inequality)

For every \(u\in W^{1,s}_{0}(\Omega, C\ell_{n})\), \(1< s<\infty\), there exists a constant c such that
$$\begin{aligned} \int_{\Omega}|u|^{s} \,\mathrm{d}x \leq c| \Omega|^{\frac{1}{n}}\int_{\Omega }|Du|^{s} \, \mathrm{d}x. \end{aligned}$$
(7)

For \(s>1\), we can find that \(f=TDf\) when \(f\in W_{0}^{1,s}(\Omega, C\ell_{n})\). Also, we have \(f=DTf\) when \(f\in L^{s}(\Omega, C\ell_{n})\), see [27].

Lemma 2.3

([18])

Suppose Clifford-valued function \(u\in C_{0}^{\infty}(\Omega, C\ell_{n})\), \(1< p<\infty\), then there exists a constant c such that
$$\begin{aligned} \int_{\Omega}\bigl|\nabla(Tu)\bigr|^{p} \,\mathrm{d}x\leq c(n,p, \Omega)\int_{\Omega }|u|^{p} \,\mathrm{d}x. \end{aligned}$$

Then we can easily get the following lemma.

Lemma 2.4

Let u be a Clifford-valued function in \(W^{1,s}_{0}(\Omega, C\ell_{n})\), \(1< s<\infty\). Then there exists a constant c such that
$$\begin{aligned} \int_{\Omega}|\nabla u|^{s} \,\mathrm{d}x=\int _{\Omega}|\nabla TDu|^{s} \,\mathrm{d}x\leq c\int _{\Omega}|Du|^{s} \,\mathrm{d}x. \end{aligned}$$
(8)

Remark 2.5

From Theorem 2.2 and Lemma 2.4, we know that, for Clifford-valued function \(u\in W^{1,p}_{0}(\Omega, C\ell_{n})\), we have
$$\begin{aligned} \int_{\Omega}\bigl(|u|^{p}+|\nabla u|^{p} \bigr) \,\mathrm{d}x\leq c(n,p,\Omega)\int_{\Omega}|Du|^{p} \,\mathrm{d}x. \end{aligned}$$

3 Decomposition in Clifford-valued function space

In this section, we mainly discuss the properties of decomposition of Clifford-valued functions, these properties play an important role in studying the solutions of A-Dirac equations.

In [27], Kähler gave the following decomposition for Clifford-valued function space \(L^{s}(\Omega, C\ell_{n})\):
$$\begin{aligned} L^{s}(\Omega, C\ell_{n})=\bigl[\ker D\cap L^{s}(\Omega, C\ell_{n})\bigr]\oplus DW_{0}^{1, s}( \Omega, C\ell_{n}). \end{aligned}$$
(9)
This means that for \(\omega\in L^{s}(\Omega, C\ell_{n})\), there exist the uniqueness \(\alpha\in L^{s}(\Omega, C\ell_{n})\cap\ker D\), \(\beta\in W_{0}^{1,s}(\Omega, C\ell_{n})\) such that \(\omega=\alpha+D\beta\).

Let \((X,\mu)\) be a measure space and let E be a separable complex Hilbert space. Consider a bounded linear operator \(F:L^{s}(X,E)\rightarrow L^{s}(X,E)\) for all \(r\in[s_{1}, s_{2}]\), where \(1\leq s_{1} < s_{2}\leq\infty\). Denote its norm by \(\|F\|_{s}\).

Lemma 3.1

([11])

Suppose that \(\frac{s}{s_{2}}\leq1+\varepsilon\leq\frac{s}{s_{1}}\). Then
$$\begin{aligned} \bigl\| F\bigl(|f|^{\varepsilon}\bigr)f\bigr\| _{\frac{s}{1+\varepsilon}}\leq K|\varepsilon| \|f \|_{r}^{1+\varepsilon} \end{aligned}$$
(10)
for each \(f\in L^{s}(X,E)\cap G\), where
$$\begin{aligned} K=\frac{2s(s_{2}-s_{1})}{(s-s_{1})(s-s_{2})}\bigl(\|F\|_{s_{1}}+\|F\|_{s_{2}}\bigr). \end{aligned}$$

Remark 3.2

For Clifford-valued function \(\omega=\alpha+D\beta\in W^{1,s}(\Omega, C\ell_{n})\), let \(F\omega=\alpha\), then we have \(F(D\omega)=0\).

Proof

From (9), for \(D\omega\in L^{s}(\Omega, C\ell_{n})\), there exist
$$\alpha_{1}\in\ker D\cap L^{s}(\Omega, C\ell_{n}),\qquad \beta_{1}\in DW^{1, s}_{0}(\Omega, C \ell_{n}) $$
such that \(D\omega=\alpha_{1}+D\beta_{1}\), then \(F(D\omega)=\alpha_{1}\). So we have \(DD\omega=D\alpha_{1}+DD\beta_{1}\), this means that
$$\begin{aligned} \textstyle\begin{cases} \triangle(\omega-\beta_{1})=0, \\ \omega-\beta_{1} \in W^{1, s}_{0}(\Omega, C \ell_{n}). \end{cases}\displaystyle \end{aligned}$$
(11)
Hence we get \(\omega=\beta_{1}\), then \(D\omega=D\beta_{1}\). Then we get the final result directly. □

Lemma 3.3

For each \(\omega\in W^{1,s}(\Omega, C\ell_{n})\), \(\max\{1,p-1\}\leq s< p\), there exist \(\mu\in W^{1,\frac{s}{1+\varepsilon}}_{0}(\Omega, C\ell_{n})\), \(\pi\in L^{\frac{s}{1+\varepsilon}}(\Omega, C\ell_{n})\) such that
$$\begin{aligned} |D\omega|^{\varepsilon}D\omega=D\mu+\pi, \end{aligned}$$
(12)
and also
$$ \begin{aligned} &\|\pi\|_{\frac{s}{1+\varepsilon}}=\bigl\| F\bigl(|D \omega|^{\varepsilon}D\omega\bigr)\bigr\| _{\frac{s}{1+\varepsilon}} \leq k|\varepsilon|\|D \omega\|_{s}^{1+\varepsilon}, \\ &\|D\mu\|_{\frac{s}{1+\varepsilon}}=\bigl\| |D\omega|^{\varepsilon}D\omega-\pi \bigr\| _{\frac{s}{1+\varepsilon}} \leq C\|D\omega\|_{s}^{1+\varepsilon}. \end{aligned} $$
(13)

Proof

We can get (12) from (9) immediately, so it is only needed to prove (13). It follows by the definition of the operator F that \(F(D\omega)=0\) and
$$\begin{aligned} F:W^{1,s}(\Omega, C\ell_{n})\rightarrow W^{1,s}( \Omega, C\ell_{n}) \end{aligned}$$
is a bounded linear mapping. And according to Lemma 3.1, we have
$$\begin{aligned} \|\pi\|_{\frac{s}{1+\varepsilon}}=\bigl\| F\bigl(|D\omega|^{\varepsilon}D\omega\bigr)\bigr\| _{\frac{s}{1+\varepsilon}}\leq k|\varepsilon|\|D\omega\|^{1+\varepsilon}_{s}. \end{aligned}$$
Then by Minkowski’s inequality, we get
$$\begin{aligned} \|D\mu\|_{\frac{s}{1+\varepsilon}} =&\bigl\| |D\omega|^{\varepsilon}D\omega -\pi \bigr\| _{\frac{s}{1+\varepsilon}} \\ \leq&\bigl\| |D\omega|^{\varepsilon}D\omega\bigr\| _{\frac{s}{1+\varepsilon}}+\|\pi \|_{\frac{s}{1+\varepsilon}} \\ \leq&c\|D\omega\|_{s}^{1+\varepsilon}, \end{aligned}$$
this completes the proof. □

4 Main results

In this section, we will show the convergence of very weak solutions of (4). Suppose that \(\{u_{0,j}\}\), \(j=1,2,\ldots\) , is the sequence converging to \(u_{0}\) in \(W^{1, s}(\Omega, C\ell_{n})\), and let \(u_{j}\in W^{1, s}_{\mathrm{loc}}(\Omega, C\ell_{n})\), \(j=1,2,\ldots\) , be the very weak solutions of the boundary value problem
$$\begin{aligned} \textstyle\begin{cases} DA(x,Du_{j})=0, \\ u_{j}-u_{0,j}\in W^{1,s}_{0}(\Omega, C \ell_{n}), \end{cases}\displaystyle \end{aligned}$$
(14)
where \(\max\{1,p-1\}\leq s< p\).

The main result of this section is the following theorem.

Theorem 4.1

Under the hypotheses above, for \(\max\{1,p-1\}\leq s\leq p\), there exists \(u\in W^{1,s}(\Omega, C\ell_{n})\) such that \(u_{j}\) converges to u in \(W^{1, s}_{\mathrm{loc}}(\Omega, C\ell_{n})\) and u is a very weak solution to equation (4) satisfying \(u-u_{0}\in W^{1,s}(\Omega, C\ell_{n})\).

We first discuss the non-homogeneous A-Dirac equations
$$\begin{aligned} DA(x, g+D\omega)=0, \end{aligned}$$
(15)
where \(g\in L^{s}(\Omega, C\ell_{n})\).

Definition 4.2

The Clifford-valued function \(\omega\in W^{1,s}(\Omega, C\ell_{n})\) is called a very weak solution to (15), \(\max\{1,p-1\}\leq s< p\), if
$$\begin{aligned} \int_{\Omega}\overline{A(x, g+D\omega)}D\varphi \, \mathrm{d}x=0 \end{aligned}$$
(16)
holds for all \(\varphi\in W^{1,\frac{s}{s-p+1}}(\Omega, C\ell_{n})\) with compact support.

Theorem 4.3

Let \(\omega\in W^{1,s}(\Omega, C\ell_{n})\) be a very weak solution to (15), then there exists a constant c such that
$$\begin{aligned} \int_{\Omega}|D\omega|^{s} \,\mathrm{d}x\leq c\int _{\Omega}|g|^{s} \,\mathrm{d}x. \end{aligned}$$
(17)

Proof

From Lemma 3.3, we have the following decomposition:
$$\begin{aligned} |D\omega|^{s}D\omega=D\varphi+f, \end{aligned}$$
(18)
where \(\varphi\in W^{1,\frac{p}{s-p+1}}_{0}(\Omega, C\ell_{n})\), so φ can be as a test function in (16). Then we have
$$\begin{aligned} \int_{\Omega}\operatorname{Sc}\bigl(\overline{A(x, g+D\omega)}D \varphi\bigr) \,\mathrm{d}x =\int_{\Omega}\bigl\langle A(x, g+D \omega), D\varphi\bigr\rangle \,\mathrm{d}x=0. \end{aligned}$$
Combining with (18), it follows
$$\begin{aligned} \int_{\Omega}\bigl\langle A(x, D\omega), |D\omega|^{s-p}D \omega-f\bigr\rangle \,\mathrm{d}x=0, \end{aligned}$$
i.e.,
$$\begin{aligned} &\int_{\Omega}\bigl\langle A\bigl(x, |D\omega|^{s-p}D \omega\bigr)\bigr\rangle \,\mathrm{d}x \\ &\quad=\int_{\Omega}\bigl\langle A(x, D\omega)-A(x, g+D\omega), |D\omega|^{s-p}D\omega \bigr\rangle \,\mathrm{d}x \\ &\qquad{}+\int_{\Omega}\bigl\langle A(x, g+D\omega, f)\bigr\rangle \,\mathrm{d}x. \end{aligned}$$
Using the structure condition (N3), (N4), we get
$$\begin{aligned} a\int_{\Omega}|D\omega|^{s} \,\mathrm{d}x\leq b\int _{\Omega }|g|^{p-1}|D\omega|^{s-p+1} \,\mathrm{d}x+ \int_{\Omega}|g+D\omega |^{p-1}|f| \,\mathrm{d}x. \end{aligned}$$
Then, by Hölder, it yields
$$\begin{aligned} a\int_{\Omega}|D\omega|^{s} \,\mathrm{d}x \leq& b \biggl(\int_{\Omega}|g|^{s} \,\mathrm{d}x \biggr)^{\frac{p-1}{s}} \biggl(\int_{\Omega}|D\omega|^{s} \,\mathrm{d}x \biggr)^{\frac{s-p+1}{s}} \\ &{}+ \biggl(\int_{\Omega}|g+D\omega|^{s} \, \mathrm{d}x \biggr)^{\frac{p-1}{s}} \biggl(\int_{\Omega}|f|^{\frac{s}{s-p+1}} \,\mathrm{d}x \biggr)^{\frac{s-p+1}{s}}. \end{aligned}$$
According to Lemma 3.3, there is
$$\begin{aligned} \biggl(\int_{\Omega}|f|^{\frac{s}{s-p+1}} \,\mathrm{d}x \biggr)^{\frac{s-p+1}{s}} \leq k|s-p| \biggl(\int_{\Omega}|D \omega|^{s} \,\mathrm{d}x \biggr)^{\frac{s-p+1}{s}}. \end{aligned}$$
And then, combining with Young’s inequality, we get
$$\begin{aligned} a\int_{\Omega}|D\omega|^{s} \,\mathrm{d}x \leq& c \tau_{1}\int_{\Omega}|D\omega|^{s} \, \mathrm{d}x+c(\tau_{1})\int_{\Omega }|g|^{s} \, \mathrm{d}x+ c\tau_{2}\int_{\Omega}|D \omega|^{s} \,\mathrm{d}x \\ &{}+c(\tau_{2})\int_{\Omega}|D\omega|^{s} \,\mathrm{d}x +c(\tau_{2})|s-p|\int_{\Omega}|D \omega|^{s} \,\mathrm{d}x \\ \leq&\bigl(c\tau_{1}+c\tau_{2}+c(\tau_{2})|s-p| \bigr)\int_{\Omega}|D\omega|^{s} \,\mathrm {d}x \\ &{}+\bigl(c(\tau_{1})+c(\tau_{2})\bigr)\int _{\Omega}|g|^{s} \,\mathrm{d}x. \end{aligned}$$
We now determine \(\tau_{1}\), \(\tau_{2}\), ε to ensure that
$$\begin{aligned} \int_{\Omega}c\tau_{1}+c\tau_{2}+c( \tau_{2})|s-p|\leq\frac{a}{2}. \end{aligned}$$
Thus
$$\begin{aligned} \int_{\Omega}|D\omega|^{s} \,\mathrm{d}x\leq c\int _{\Omega}|g|^{s} \,\mathrm{d}x. \end{aligned}$$
This proof is completed. □

Corollary 4.4

Suppose that \(u_{0}\in W^{1,s}(\Omega, C\ell_{n})\), \(\max\{1,p-1\}\leq s< p\), \(u\in W^{1,s}(\Omega, C\ell_{n})\) is a very weak solution to (4) with \(u-u_{0}\in W^{1,s}(\Omega, C\ell_{n})\). Then
$$\begin{aligned} \int_{\Omega}|Du|^{s} \,\mathrm{d}x\leq c\int_{\Omega}|Du_{0}|^{s} \,\mathrm{d}x. \end{aligned}$$
(19)

Proof

Let \(\omega=u-u_{0}\), we have \(Du=D\omega+Du_{0}\). Since u is a very weak solution to (4), ω is a very weak solution to \(DA(x, D\omega+Du_{0})=0\). From Theorem 4.3, we get
$$\begin{aligned} \int_{\Omega}|D\omega|^{s} \,\mathrm{d}x\leq c\int _{\Omega}|Du_{0}|^{s} \,\mathrm{d}x. \end{aligned}$$
By means of Minkowski’s inequality, we obtain
$$\begin{aligned} \int_{\Omega}|Du|^{s} \,\mathrm{d}x\leq c\int _{\Omega}|D\omega|^{s} \,\mathrm {d}x+c\int _{\Omega}|Du_{0}|^{s} \,\mathrm{d}x \leq c\int _{\Omega}|Du_{0}|^{s} \,\mathrm{d}x. \end{aligned}$$
This completes the proof. □

Proof of Theorem 4.1

By (19), we have the uniform bounds for \(|Du_{j}|^{s}\),
$$\begin{aligned} \int_{\Omega}|Du_{j}|^{s} \,\mathrm{d}x\leq c\int_{\Omega}|Du_{0,j}|^{s} \,\mathrm{d}x \leq2c\int_{\Omega} |Du_{0}|^{s} \, \mathrm{d}x, \end{aligned}$$
when j is sufficiently large. Using Lemma 2.4, we have
$$\begin{aligned} \int_{\Omega}|\nabla u_{j}|^{s} \, \mathrm{d}x \leq& c\int_{\Omega}\bigl(\bigl|\nabla(u_{j}-u_{0,j})\bigr|^{s}+| \nabla u_{0, j}|^{s}\bigr) \,\mathrm{d}x \\ \leq& c\int_{\Omega}\bigl(\bigl|D(u_{j}-u_{0,j})\bigr|^{s} +|\nabla u_{0, j}|^{s}\bigr) \,\mathrm {d}x \\ \leq& c'\biggl(\int_{\Omega}|Du_{0}|^{s} \,\mathrm{d}x+\int_{\Omega} |\nabla u_{0}|^{s} \,\mathrm{d}x\biggr). \end{aligned}$$
Write \(u_{j}=\sum_{I} u_{j}^{I}e_{I}\), we have \(u_{j}^{I}\in W^{1, s}(\Omega)\), and \(\|u_{j}^{I}\|_{W^{1,s}(\Omega)}\leq C\). Then there exists a subsequence, still denoted by \(\{u_{j}^{I}\}\) and \(u_{I}\in W^{1,s}(\Omega)\), such that
$$\begin{aligned} \textstyle\begin{cases} u^{I}_{j}\rightharpoonup u_{I}, &\mbox{in } W^{1,s}(\Omega), \\ u^{I}_{j}\rightarrow u_{I}, &\mbox{in } L^{s}(\Omega), \\ u^{I}_{j}\rightarrow u_{I}, &\mbox{pointwise a.e. in } \Omega. \end{cases}\displaystyle \end{aligned}$$
(20)
Let \(u=\sum_{I} u_{I} e_{I}\), then \(u_{j}\rightarrow u\) in \(L^{s}(\Omega, C\ell _{n})\), \(u_{j}\rightarrow u\) pointwise a.e. Ω. Since \(\nabla u^{I}_{j}\rightharpoonup u_{I}\) in \(L^{s}(\Omega)\) for each \(j=1,2,\ldots\) , we have
$$\begin{aligned} \int_{\Omega}y_{\alpha}\frac{\partial u_{j}^{I}}{\partial x_{j}} \,\mathrm {d}x \rightarrow\int_{\Omega}y_{\alpha}\frac{\partial u_{I}}{\partial x_{j}} \, \mathrm{d}x, \end{aligned}$$
whenever \(y_{\alpha}\in L^{\frac{s}{s-1}}(\Omega)\). Then
$$\int_{\Omega}yDu_{i} \,\mathrm{d}x\rightarrow\int _{\Omega}yDu \,\mathrm{d}x $$
for each \(y\in L^{\frac{s}{s-1}}(\Omega, C\ell_{n})\), which implies that \(Du_{j}\rightharpoonup Du\) in \(L^{s}(\Omega)\).
The next stage is to extract a further subsequence, so that \(Du_{j}\rightarrow Du\) pointwise a.e. in Ω. Through
$$\begin{aligned} \int_{\Omega} \bigl|\bigl|A(x,Du_{j})-A(x, Du)\bigr| |Du_{j}-Du|^{s-p} \bigr|^{\frac {s}{s-1}} \,\mathrm{d}x \leq& b\int _{\Omega}|Du_{j}-Du|^{s} \,\mathrm{d}x \\ \leq& c\int_{\Omega}\bigl(|Du|^{s}+|Du_{j}|^{s} \bigr) \,\mathrm{d}x< \infty, \end{aligned}$$
we know that \(|A(x,Du_{j})-A(x, Du)||Du_{j}-Du|^{s-p}\in L^{\frac {s}{s-1}}(\Omega)\), together with \(Du_{j}\rightharpoonup Du\) in \(L^{s}(\Omega)\) yields
$$\begin{aligned} \int_{\Omega}\bigl\langle A(x, Du_{j})-A(x, Du), |Du_{j}-Du|^{s-p}(Du_{j}-Du)\bigr\rangle \, \mathrm {d}x \rightarrow0\quad (j\rightarrow\infty). \end{aligned}$$
Then it follows from the structure condition (N3) that
$$\begin{aligned} &a\int_{\Omega}|Du_{j}-Du|^{s} \, \mathrm{d}x \\ &\quad\leq \int_{\Omega}\bigl\langle A(x, Du_{j})-A(x, Du), |Du_{j}-Du|^{s-p}(Du_{j}-Du)\bigr\rangle \,\mathrm{d}x \rightarrow0, \end{aligned}$$
that is to say \(Du_{j}\rightarrow Du\) a.e. in Ω. Since \(\xi\rightarrow A(x,\xi)\) is continuous, for each \(\varphi\in W^{1,\frac{s}{s-p+1}}(\Omega, C\ell_{n})\), we get
$$\begin{aligned} \int_{\Omega}\bigl\langle A(x, Du), D\varphi\bigr\rangle \,\mathrm{d}x=\lim_{j\rightarrow\infty }\int_{\Omega} \bigl\langle A(x, Du_{j}), D\varphi\bigr\rangle \,\mathrm{d}x=0. \end{aligned}$$
(21)
Next, we show that
$$\begin{aligned} \int_{\Omega}\overline{\bigl(A(x, Du)\bigr)}D \varphi \,\mathrm{d}x=0. \end{aligned}$$
(22)
Write \(\overline{(A(x, Du))}D\varphi=\sum_{J} v_{J}e_{J}\), then \(\langle A(x, Du), D\varphi\rangle=\operatorname{Sc}\overline{(A(x, Du))}D\varphi=v_{0}\). So (21) yields \(\int_{\Omega}v_{0} \,\mathrm{d}x=0\). Now, for each J, let \(\varphi'=\varphi\overline{e_{J}}\), we find that \(D\varphi'=(D\varphi)\overline{e_{J}}\) still in \(W^{1,\frac{s}{s-p+1}}(\Omega, C\ell_{n})\). Then \(\varphi'\) can be as a test function, so we obtain
$$\begin{aligned} 0=\int_{\Omega}\bigl\langle A(x, Du), D\varphi' \bigr\rangle \,\mathrm{d}x=\int_{\Omega}v_{J} \, \mathrm{d}x. \end{aligned}$$
(23)
Thus, for each J, \(\int_{\Omega}v_{J} \,\mathrm{d}x=0\), this implies
$$\begin{aligned} \int_{\Omega}\overline{\bigl(A(x, Du)\bigr)}D\varphi \, \mathrm{d}x= \biggl(\int_{\Omega}v_{J} \,\mathrm{d}x \biggr)e_{J}=0, \end{aligned}$$
i.e., (22) holds for each \(\varphi\in W^{1,\frac {s}{s-p+1}}(\Omega, C\ell_{n})\) with compact support.
At last, we show that \(u-u_{0}\in W^{1, s}_{0}(\Omega, C\ell_{n})\). Let \(u_{0,j}=\sum_{I} u_{0,j}^{I} e_{I}\), \(u_{0}=\sum_{I} u^{I}_{0}e_{I}\). Since \(u_{0,j} \rightarrow u_{0}\) in \(W^{1,s}(\Omega, C\ell_{n})\), we have \(u_{0,j}^{I}\rightarrow u_{0}^{I}\) in \(W^{1, s}(\Omega)\). On the other hand, \(u_{j}^{I}\rightharpoonup u_{I}\) in \(W^{1, s}(\Omega)\), this yields \(u_{j}^{I}-u_{0,j}^{I}\rightharpoonup u_{I}-u_{0}^{I}\) in \(W^{1, s}(\Omega)\). Also,
$$\begin{aligned} \int_{\Omega}\bigl|\nabla(u_{j}-u_{0,j})\bigr|^{s} \,\mathrm{d}x \leq c\int_{\Omega}|Du_{j}-Du_{0,j}|^{s} \,\mathrm{d}x \leq c\int_{\Omega}|Du_{0}|^{s} \,\mathrm{d}x, \end{aligned}$$
i.e., \(u_{j}^{I}-u_{0,j}^{I}\) is bounded in \(W_{0}^{1, s}(\Omega)\), then \(u_{I}-u_{0}^{I}\in W^{1, s}_{0}(\Omega)\), which implies that \(u-u_{0}\in W^{1, s}_{0}(\Omega, C\ell_{n})\). So we obtain that \(u\in W^{1, s}(\Omega, C\ell_{n})\) is the very weak solution to equation (4), the theorem follows. □

Declarations

Acknowledgements

The authors would like to express their gratitude to the editors and anonymous reviewers for their valuable suggestions which improved the presentation of this paper.

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.

Authors’ Affiliations

(1)
Department of Applied Mathematics, Harbin University of Science and Technology, Xue Fu Road, Harbin, 150080, P.R. China

References

  1. Heinonen, J, Kilpeläinen, T, Martio, O: Nonlinear Potential Theory of Degenerate Elliptic Equations. Oxford University Press, Oxford (1993) MATHGoogle Scholar
  2. Iwaniec, T: p-Harmonic tensors and quasiregular mappings. Ann. Math. 136, 589-624 (1992) MathSciNetView ArticleMATHGoogle Scholar
  3. Iwaniec, T, Lutoborski, A: Integral estimates for null Lagrangians. Arch. Ration. Mech. Anal. 125, 25-79 (1993) MathSciNetView ArticleMATHGoogle Scholar
  4. Giaquinta, M, Modica, G: Regularity results for some class of higher order nonlinear elliptic systems. J. Reine Angew. Math. 311, 145-169 (1979) MathSciNetGoogle Scholar
  5. Gehring, F: The \({L}^{p}\)-integrability of the partial derivatives of a quasiconformal mapping. Acta Math. 130, 265-277 (1973) MathSciNetView ArticleMATHGoogle Scholar
  6. Bojarski, B, Iwaniec, T: Analytical foundations of the theory of quasiconformal mappings in \(\mathbb{R}^{n}\). Ann. Mat. Pura Appl. CLXI, 277-287 (1985) Google Scholar
  7. Meyers, N, Elcrat, A: Some result on regularity for solutions of nonlinear elliptic systems and quasiregular functions. Duke Math. J. 42, 121-136 (1975) MathSciNetView ArticleMATHGoogle Scholar
  8. Strofflolini, B: On weakly A-harmonic tensors. Stud. Math. 114, 289-301 (1995) Google Scholar
  9. Giachetti, D, Leonetti, F, Schianchi, R: On the regularity of very weak minima. Proc. R. Soc. Edinb. 126, 287-296 (1996) MathSciNetView ArticleMATHGoogle Scholar
  10. Li, J, Gao, H: Local regularity result for very weak solutions of obstacle problems. Rad. Mat. 12, 19-26 (2003) MathSciNetGoogle Scholar
  11. Iwaniec, T, Sbordone, C: Weak minima of variational integrals. J. Reine Angew. Math. 454, 143-161 (1994) MathSciNetMATHGoogle Scholar
  12. Bao, G, Wang, T, Li, G: On very weak solutions to a class double obstacle problems. J. Math. Anal. Appl. 402, 702-709 (2013) MathSciNetView ArticleMATHGoogle Scholar
  13. Gürlebeck, K, Sprößig, W: Quaternionic Analysis and Elliptic Boundary Value Problems. Birkhäuser, Basel (1989) MATHGoogle Scholar
  14. Gilbert, J, Murray, M: Clifford Algebras and Dirac Operators in Harmonic Analysis. Cambridge University Press, New York (1991) View ArticleMATHGoogle Scholar
  15. Gürlebeck, K, Sprößig, W: Quaternionic and Clifford Calculus for Physicists and Engineers. Wiley, New York (1997) MATHGoogle Scholar
  16. Gürlebeck, K, Habetha, K, Sprößig, W: Holomorphic Functions in the Plane and n-Dimensional Space. Birkhäuser, Basel (2008) MATHGoogle Scholar
  17. Fu, Y, Zhang, B: Clifford valued weighted variable exponent space with an application to obstacle problems. Adv. Appl. Clifford Algebras 23, 363-376 (2013) MathSciNetView ArticleMATHGoogle Scholar
  18. Fu, Y, Zhang, B: Weak solutions for elliptic systems with variable growth in Clifford analysis. Czechoslov. Math. J. 63, 643-670 (2013) MathSciNetView ArticleMATHGoogle Scholar
  19. Fu, Y, Zhang, B: Weak solutions for A-Dirac equations with variable growth in Clifford analysis. Electron. J. Differ. Equ. 2012, 227 (2012) MathSciNetView ArticleGoogle Scholar
  20. Bisci, G, Rǎdulesce, V, Zhang, B: Existence of stationary states for A-Dirac equations with variable growth. Adv. Appl. Clifford Algebras 25, 385-402 (2015) View ArticleGoogle Scholar
  21. Wang, Z, Chen, S: The relation between A-harmonic operator and A-Dirac system. J. Inequal. Appl. 2013, 362 (2013) View ArticleGoogle Scholar
  22. Lian, P, Lu, Y, Bao, G: Weak solutions for A-Dirac equations in Clifford analysis. Adv. Appl. Clifford Algebras 25, 150-168 (2015) MathSciNetView ArticleGoogle Scholar
  23. Nolder, C: A-Harmonic equations and the Dirac operator. J. Inequal. Appl. 2010, 124018 (2010) MathSciNetView ArticleGoogle Scholar
  24. Nolder, C: Nonlinear A-Dirac equation. Adv. Appl. Clifford Algebras 21, 420-440 (2011) MathSciNetView ArticleGoogle Scholar
  25. Lu, Y, Bao, G: Stability of weak solutions to obstacle problem in Clifford analysis. Adv. Differ. Equ. 2012, 250 (2012) View ArticleGoogle Scholar
  26. Lu, Y, Bao, G: Then existence of weak solutions to non-homogeneous A-Dirac equations with Dirichlet boundary data. Adv. Appl. Clifford Algebras 24, 151-162 (2014) MathSciNetView ArticleMATHGoogle Scholar
  27. Kähler, U: On a direct decomposition in the space \({L}^{p}{({\Omega})}\). Z. Anal. Anwend. 4, 839-848 (1999) View ArticleGoogle Scholar

Copyright

Advertisement