Abstract
In this paper, assuming the initial-boundary datum belonging to suitable Sobolev and Lebesgue spaces, we prove the global existence result for a (possibly sign changing) weak solution to the Cauchy–Dirichlet problem for doubly nonlinear parabolic equations of the form
where \(p>1\) and \(q>0\). This is a fair improvement of the preceding result by authors (Nonlinear Anal 175C :157–172, 2018). The key tools we employ are energy estimates for approximate equations of Rothe type and the integral strong convergence of gradients of approximate solutions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(p > 1\) and \(q > 0\) be given exponents and \(\Omega \) be a bounded domain in \({\mathbb {R}}^n\) with \(n \geqq 2\) with smooth boundary. The aim of this paper is to establish the existence result of solutions of the Cauchy–Dirichlet problem for the doubly nonlinear parabolic type equation of the form
Here, the unknown function \(u = u (x, t)\) is a real-valued function defined on \(\Omega _\infty \) and \(\Delta _p u :=\mathrm {div}\left( |Du|^{p-2}D u\right) \) denotes the p-Laplacian, where by \(Du =(\partial _{x_i}u)_{1\leqq i \leqq n}\) we mean the spatial gradient of u with respect to x, and the initial datum \(u_0\) is given in some function space. The initial condition \(u=u_0\) in \(\Omega \times \{0\}\) has to be understood in the \(L^{q+1}\)-sense, while the boundary condition \(u=0\) on the lateral boundary is given in the usual trace sense; see (D3) in Definition 1 below. The doubly nonlinear parabolic equations (1.1)\(_1\) are classified as fast diffusion equations in the case \(q>p-1\) and slow diffusion equations in the case \(q<p-1\), whose criterion depends on the expansion of support of the solutions. In the special case \(q=p-1\), (1.1)\(_1\) covers the Trudinger equation, which has first been studied by Trudinger [32].
Prior to stating our main results, we shall give a brief outlook of the literatures and a motive for (1.1). The existence problem for (1.1) has been already studied in some preceding results. The general form equations of which the prototype equation being (1.1) was firstly treated for the case that \(q \geqq 1\) in Alt & Luckhaus [2]. By a variational method the existence of non-negative solutions is succeeded by Bögelein, Duzaar, Marcellini & Scheven [4]. Their approach enables us to extend the result to non-negative variational solutions for more general parabolic equations of the type
where \(f:\Omega \times {\mathbb {R}}\times {\mathbb {R}}^n \rightarrow (-\infty ,\infty ]\) is a Carathéodory function satisfying certain convexity and coercivity assumptions. The prototype of the integrand f is of the form \(f=f(x,Du)=\alpha (x) |Du|^p+\beta (x)|Du|^q\) with \(1<p<q\) and \(\alpha ,\,\beta \) being non-negative coefficients such that \(\alpha (x)+\beta (x) \geqq \nu >0\). The historical notes and the overview of regularity theory for the elliptic equation associated with (1.2) with the nonstandard growth condition similarly as above are addressed in Mingione & Rădulescu [25] and references therein. Besides, the existence of variational solutions to the Cauchy–Dirichlet problem with time-dependent boundary values in the case \(q>1\) is established by Schätzler [30]. We would also like to state that the Hölder regularity of sign-changing weak solutions has been shown in [8] in the case \(q=p-1\). The regularity issue for a weak solution to the doubly nonlinear equation (1.1) will be the challenging problem in our near future. In our previous result by the authors [27], the existence of a solution in the energy class is studied in the case that \(q+1= \frac{n p}{n - p}\) with \(n \geqq 3\) and \(2 \leqq p<n\). The definition of a weak solution is stated in Definition 1. Our main aim in this paper is to extend and refine [27], showing the global existence of a weak solution of (1.1) for any initial datum of the energy class in the general case that \(q > 0\) and \(p > 1\). We shall show the existence of a weak solution satisfying the energy inequality, of which the proof relies on the same Rothe-type approximation as in [27]. The new content gained here is the strong convergence of the gradients of approximating solutions (Lemma 4.8). The proof uses the exponential mollification (see Lemma 2.1), which is an effective measure to control the power nonlinearity in time derivative, and the so-called boundary integral, devised in [4]. It may have an interest of its own self. See formulae (2.1) and (2.2) for the definition of mollification and boundary integral.
The doubly nonlinear parabolic equations appear in a model of some physical phenomena like plasma physics or turbulent filtration of liquids (see e.g., [31] and references therein for a detailed description) and also describe the gradient flow associated with the Sobolev inequality and is related to the so-called Yamabe flow in differential geometry in the case that \(p = 2\). Also see [28] and references therein for the nonlinear parabolic equations on Riemannian manifolds. Besides, the gradient flow of the p-elastic energy is one of geometric aspects of our motive, see [9] for a detailed description. Our motive for studying the equation (1.1) is the gradient flow associated with the Sobolev inequality in the \(L^p\)-setting, referred to the p-Sobolev flow. In the Sobolev critical case that \(q + 1 = \frac{n p}{n - p}\) with \(n \geqq 3\) and \(2 \leqq p < n\), the global existence of a positive weak solution with the gradient regularity is shown in [19, 20], where the so-called intrinsic scaling method peculiar to the doubly nonlinear equation (1.1) is devised to construct the global solution of the p-Sobolev flow. The results and methods presented here will enable us to show the global existence and regularity of the p-Sobolev flow in the general case that \(q > 0\) and \(p > 1\) in our near future work.
Our main result reads as follows:
Theorem 1.1
Let \(p > 1\), \(q >0\) be given and assume that the initial datum \(u_0\) belongs to \(W^{1,p}_0(\Omega ) \cap L^{q+1}(\Omega )\). Then there exists a global in time weak solution to (1.1) in the sense of Definition 1 fulfilling the following energy structures and regularity:
and
with a constant \(c \equiv c(p,q)\).
Our method developed here can be applied for Cauchy–Dirichlet problem (1.1) for doubly nonlinear parabolic equations of more general form, having the variational structure with controllable growth on gradients. Here, unless otherwise specified, we shall deal with the prototype equation (1.1)\(_1\) and present the transparent details of proof.
A synopsis of this paper is in the following: In the next section, we display the notation and summarize auxiliary material used throughout the paper. In Sect. 3, we construct approximate solutions of (1.1). Sect. 4 contains the results of the convergence of approximate solutions of (1.1). In Sect. 5, we complete the proof of our Theorem 1.1 via the weak compactness method. Appendix A is devoted to proving Lemma 3.1 by the Direct Method in the Calculus of Variations. In Appendix B, we prove the finite integration by parts formula (Lemma 4.9). Appendix C is devoted to the proof of the needed lemma for Sect. 5 (Lemma 5.1). In the final Appendix D, we show the initial regularity (5.6).
2 Preliminaries
We shall split this section in three parts: first, we display our notation, then we list some technical tools. Finally, we present the definition of weak solutions to Eq. (1.1).
2.1 Notation
In the course of the paper, we work in the Euclidean space \({\mathbb {R}}^n\) in a fixed dimension \(n \geqq 2\) and \(\Omega \subset {\mathbb {R}}^n\) denotes a bounded domain with the smooth boundary. For \(T \in (0,\infty )\), let \(\Omega _T:=\Omega \times (0,T)\) be a space-time cylinder. As is customary,
denotes the usual Euclidean ball with radius \(\varrho >0\), centered at \(x_0 \in {\mathbb {R}}^n\). We adopt the convention of writing \(B_\varrho \) instead of \(B_\varrho (x_0)\), when the center is origin 0 of \({\mathbb {R}}^n\), or when the center is clear from the context.
Given a measurable set \({\mathcal {O}} \subset {\mathbb {R}}^k\) and an integrable map \(w: {\mathcal {O}}\rightarrow {\mathbb {R}}^k\), \(k \in {\mathbb {N}}\), we write
for its mean-value on \({\mathcal {O}}\), provided \(0< |{\mathcal {O}}|< \infty \). With \({\mathcal {O}} \subset {\mathbb {R}}^{k}\) being a measurable set and w being a measurable function defined on \({\mathcal {O}}\), we shall use the shorthand notation
Finally, we will list the general notation. Let us denote by c, \(c_1\), \(c_2, \cdots \) different positive constants in a given context. Relevant dependencies on parameters will be emphasized using parentheses, e.g., \(c\equiv c(n,\gamma , p)\) means that c depends on \(n, \gamma \), and p. For the sake of readability, the dependencies of the constants will be often omitted within the chains of estimates. Furthermore, by \((\,\cdot \,)_\ell \), we mean the \(\ell \)-th line of the Eq. \((\,\cdot \,)\).
2.2 Exponential Mollification in Time
In this subsection, we introduce the technique of the exponential mollification in time, which appears in the paper by Landes [23]. Kinnunen & Lindqvist [18] contributed the validity of this technique for the doubly nonlinear PDEs theory. This mollification enables us to overcome the lack of regularity in the time variable. The properties of this mollification are applied to the variant doubly nonlinear equations, as seen in the literatures [3, 6,7,8].
Let \(\Omega \subset {\mathbb {R}}^n\) be a bounded domain and \(0<T<\infty \). For \(v \in L^1(\Omega _T)\), \(v_0 \in L^1(\Omega )\) and \(h \in (0,T)\), we define
Analogously, the reversed version of \([v]_h\) is defined by
In this setting, we list the properties of \([v]_h\) and \([v]_{{\bar{h}}}\) displayed below, whose detailed proof can be seen in the literatures [18, Lemma 2.2], [5, Appendix B], and [31, Lemma 2.9].
Lemma 2.1
Assume that \(v\in L^1(\Omega _T)\) and \(p \in [1,\infty )\). Then the mollifications \([v]_{h}\) and \([v]_{{\bar{h}}}\) have the following properties:
-
(i)
If \(v \in L^p(\Omega _T)\), then \([v]_h \in L^p(\Omega _T)\) and the following quantitative estimate holds true:
$$\begin{aligned} \Vert [v]_h\Vert _{L^p(\Omega _T)} \leqq \Vert v\Vert _{L^p(\Omega _T)}+h^{\frac{1}{p}}\Vert v_0\Vert _{L^p(\Omega )}. \end{aligned}$$Furthermore, \([v]_h \rightarrow v\) strongly in \(L^p(\Omega _T)\) as \(h \searrow 0\). A same statement for \([v]_{{\bar{h}}}\) holds true.
-
(ii)
If \(v \in L^p(\Omega _T)\), \(v_0 \in L^p(\Omega )\), \(Dv \in L^p(\Omega _T, {\mathbb {R}}^n)\), and \(Dv_0 \in L^p(\Omega , {\mathbb {R}}^n)\), then \(D[v]_h=[Dv]_h\). Moreover, the statement (i) holds true with v, \(v_0\) and \([v]_h\) replaced by Dv, \(Dv_0\), and \(D[v]_h\), respectively.
-
(iii)
If \(v_0 \in W^{1,p}_0(\Omega _T)\) and \(v \in L^p(0,T\,;W^{1,p}_0(\Omega ))\), then \([v]_h \in L^p(0,T\,;W^{1,p}_0(\Omega ))\). Furthermore, there holds that
$$\begin{aligned}{}[v]_h \rightarrow v \quad \text {strongly in}\,\,\, L^p(0,T\,;W^{1,p}_0(\Omega )) \quad \text {as}\,\,\, h \searrow 0. \end{aligned}$$The same statement holds true for \([v]_{{\bar{h}}}\)
-
(iv)
If \(v \in L^p(0,T\,; L^p(\Omega ))\), then \([v]_h\) and \([v]_{{\bar{h}}}\) belong to \(C([0,T]\,; L^p(\Omega ))\).
-
(v)
If \(v \in L^p(\Omega _T)\), then \([v]_h\) and \([v]_{{\bar{h}}}\) have weak time derivatives being in \(L^p(\Omega _T)\) and solve the ODE:
$$\begin{aligned} \partial _t[v]_h&=-\frac{1}{h}\left( [v]_h-v\right) \end{aligned}$$with the initial condition \([v]_h(\cdot ,0)=v_0\) and
$$\begin{aligned} \partial _t[v]_{{\bar{h}}}&=\frac{1}{h}\left( [v]_{{\bar{h}}}-v\right) . \end{aligned}$$
2.3 Some Preliminary Material
In this subsection, we collect the auxiliary material used throughout the paper.
We shall use the boundary integral term, devised by Bögelein et. al [4]: For \(u,k \in {\mathbb {R}}\)
This boundary term is a crucial quantity for our argument. We state the estimates for the boundary term \({\mathbf {B}}\), whose precise proof is presented in [4, Lemma 2.5] and also in [7, Lemma 3.4].
Lemma 2.2
Let \(q>0\) and let \({\mathbf {B}}[u,k]\) be given by (2.2) for \(u, k \in {\mathbb {R}}\). Then, there exists a positive constant \(c\equiv c(q)\) such that the following estimates hold:
and
We also recall the algebraic inequality retrieved from [14, Lemma 8.3] and [12, Lemma 4.4–Chap. I]. See the proof in [1, Lemma 2.2] in the case \(1<\alpha <2\) and in [13, inequality (2.4)] in the case \(\alpha >2\).
Lemma 2.3
(Algebraic inequality) For all \(\alpha \in (1,\infty )\) there are positive constants \(c_1(\alpha )\) and \(c_2(\alpha )\) such that, for all \(A,\,B \in {\mathbb {R}}^k, k \geqq 1\),
and, in particular, when \(\alpha \geqq 2\)
where the dot \(\cdot \) denotes the usual inner product in \({\mathbb {R}}^k\).
We next list the following integral convergence lemma that will be used later, whose proof can be seen in [16, Lemma 2.2].
Lemma 2.4
(Integral convergence lemma) Let \(a \in (1,\infty )\) and \(a^\prime \) satisfy \(\frac{1}{a}+\frac{1}{a^\prime }=1\). Assume \((f_h)_{h>0}\) is bounded in \(L^a(\Omega _T)\) and \(f_h \rightarrow f\) almost everywhere in \(\Omega _T\). Then
holds true. Specifically, if \((f_h)_{h > 0}\) is bounded in \(L^a (\Omega _T)\) and \(f_h \rightarrow 0\) almost everywhere in \(\Omega _T\), then for every \(b \in [1, a)\),
Finally, we summarize an application of the classical Lebesgue dominated convergence theorem.
Lemma 2.5
(Variant Lebesgue dominated convergence theorem) Let \((f_h)_{h>0}\) be a family of measurable functions on \(\Omega _T\) fulfilling the following three conditions: As \(h \searrow 0\),
-
(1)
\(f_h \rightarrow f\) almost everywhere in \(\Omega _T\).
-
(2)
there exists \(g_h \in L^1(\Omega _T)\) such that \(|f_h| \leqq g_h\) almost everywhere in \(\Omega _T\).
-
(3)
there is a function \(g \in L^1(\Omega _T)\) such that
-
(3-1)
\(g_h \rightarrow g\) almost everywhere in \(\Omega _T\),
-
(3-2)
\(\displaystyle \lim _{h \searrow 0}\iint _{\Omega _T}g_h\,dxdt =\iint _{\Omega _T}g\,dxdt\).
-
(3-1)
Then there holds that
2.4 Weak Solution
We make precise the notion of solution to (1.1) that we will use.
Definition 1
(Weak solution) Assume that the initial datum \(u_0\) is in the class \(W^{1,p}_0(\Omega ) \cap L^{q+1}(\Omega )\). We identify a measurable function \(u:\Omega _\infty \rightarrow {\mathbb {R}}\) as a weak solution to the Cauchy–Dirichlet problem (1.1) if and only if the following conditions (D1)–(D3) are fulfilled:
-
(D1)
\(u \in L^p(0,\infty \,; W^{1,p}(\Omega )) \cap C([0,\infty )\,; L^{q+1}(\Omega ))\)
-
(D2)
For every testing function \(\phi \in C^\infty _0(\Omega _\infty )\), there holds that
$$\begin{aligned}&\iint _{\Omega _\infty }\left( -|u|^{q-1}u\,\partial _t\phi +|Du|^{p-2}Du\cdot D\phi \right) \,dxdt=0 \end{aligned}$$(2.9) -
(D3)
u attains the prescribed initial condition \(u(0)=u_0\) in the \(L^{q+1}\) -sense, that is,
$$\begin{aligned} \lim _{t\searrow 0}\Vert u(t)-u_0\Vert _{L^{q+1}(\Omega )}=0 \end{aligned}$$and u satisfies the boundary condition in the following sense:
$$\begin{aligned} u(t) \in W_0^{1,p}(\Omega )\quad \text {for}\,\,\text {a.e.}\,\,t \in (0,\infty ). \end{aligned}$$
3 Approximate Solutions
In this section, we will construct approximate solutions of (1.1) satisfying certain energy estimates. Following [27, Sect. 3], we define a family of elliptic equations of Rothe type (as seen in [29]).
Let \(h \in (0,1]\) be a positive number, sent to zero later. Starting with the initial datum \(u_0\) belonging to \(W_0^{1,p}(\Omega ) \cap L^{q+1}(\Omega )\), we inductively construct a sequence \(u_i \in W_0^{1,p}(\Omega ) \cap L^{q+1}(\Omega )\) of solutions to the following elliptic equations for every \(i \in {\mathbb {N}}\):
The existence of the weak solution \(u_i\) to (3.1) is guaranteed by the following lemma. The proof is postponed and will be given in Appendix A.
Lemma 3.1
Suppose that Eq. (3.1) has solutions \(u_j\) inductively for \(j=1,\ldots ,i-1\). Then there exists a weak solution \(u_i \in W_0^{1,p}(\Omega ) \cap L^{q+1}(\Omega )\) to (3.1) in the following sense:
holds whenever \(\xi \in W^{1,p}_0(\Omega ) \cap L^{q+1}(\Omega )\).
Again, let \(h<1\) be a fixed positive number, sent to zero later. Set \(t_i:=ih\) for any non-negative integer i. Following the scheme as presented in [16, 27], we construct the six functions \({\bar{u}}_h,\,u_h,\,{\bar{v}}_h,\,v_h,\,{\bar{w}}_h\), and \(w_h\) on \(\Omega \times [-h,\infty )\). For the solutions \((u_i)_{i \in {\mathbb {N}}}\) to (3.1) and \(i = 1, 2, \ldots \), we define the piecewise constant functions
For \((x,t) \in \Omega \times [t_{i-1},t_i]\) with \(i = 1, 2,\ldots \), we also define the piecewise linear functions
We call all of six functions \({\bar{u}}_h\), \({\bar{v}}_h\), \({\bar{w}}_h\), \(u_h\) , \(v_h\), and \(w_h\) as approximate solutions of (1.1). At this stage, (3.1) is rewritten as
equivalently, in the sense of distribution,
holds for any positive \(T<\infty \) and all testing functions \(\varphi \in L^1 (0, T ; W^{1,p}_0 (\Omega ) \cap L^{q+1} (\Omega ))\).
In the following, we shall make some integral estimates for the approximate solutions. Here, we always suppose the setting as follows : For any positive number \(T < \infty \) and any step size \(h \in (0,1]\), let k be the positive integer fulfilling \((k - 1) h \leqq T < k h\).
Lemma 3.2
(Energy estimates) Let \({\bar{u}}_h\) and \(u_h\) be the approximate solutions of (1.1) defined as in (3.3)–(3.4). The following energy estimates hold for any positive \(T < \infty \) :
and
where \(I_h(t):=\displaystyle \int _0^1\left| \theta {\bar{u}}_h(t)+(1-\theta ){\bar{u}}_h(t-h)\right| ^{q-1}\,d\theta \).
Proof
The proof can be achieved by the following arguments in [27, Lemma 3.2]; therefore, we will only sketch it. Testing \(\xi =u_i\) in (3.2) and summing up on \(i=1,\ldots ,k\), subsequently, we use Young’s inequality to obtain (3.6). Similarly, (3.7) is verified by choosing \(\xi =\frac{u_i-u_{i-1}}{h}\) in (3.2). This finishes the proof. \(\square \)
The statement of Lemma 3.2 also holds for the linear interpolation \(u_h\) as follows.
Lemma 3.3
(Energy estimates) Let \(u_h\) be the approximate solution of (1.1) defined by (3.4)\(_1\). Then, the following energy estimates hold true for any positive \(T < \infty \) :
and
We next deduce the integral bounds of time derivative.
Lemma 3.4
(Time-derivative estimates) Let \(v_h\) and \(w_h\) be the approximate solutions of (1.1) defined by (3.4). Then, the time derivatives of approximating solutions \((\partial _t w_h)_{h>0}\) are bounded in \(L^2 (\Omega _T)\) for any positive \(T < \infty \):
and, furthermore, if \(q \geqq 1\) the time derivatives of approximating solutions \((\partial _t v_h)_{h>0}\) are bounded in \(L^1 (\Omega _T)\) for any positive \(T < \infty \),
with a positive constant \(c\equiv c(p,q)\).
Proof
As before, we choose a positive integer k to satisfy \(t_{k-1} \leqq T < t_k\). By (2.5) in Lemma 2.3 with \(\alpha = \frac{q+3}{2}\)
We observe that by the very definition (3.4)\(_3\), (3.12), and (3.7) from Lemma 3.2
which implies (3.10).
As we are considering the case \(q \geqq 1\), (2.5) in Lemma 2.3 with \(\alpha = q+1\) implies
and this combined with Hölder’s inequality twice with pair of exponents \(\left( 2, 2\right) \) and \(\left( \frac{q+1}{q-1},\,\frac{q+1}{2}\right) \), and (3.6)–(3.7) in Lemma 3.2 yields that
finishing the proof of (3.11). \(\square \)
4 Convergence of Approximate Solutions
This section is devoted to deriving the convergence of approximate solution of (1.1) defined in (3.3)–(3.4) by means of the truncated function stated below. This scheme is necessary for the strong convergence of approximate solutions in the space-time Sobolev space; see Lemma 4.4. In the sequel, we assume the initial datum \(u_0\) belongs to \(W_0^{1,p}(\Omega ) \cap L^{q+1}(\Omega )\).
We introduce the following truncated function: For the solution \((u_i(x))_{i\in {\mathbb {N}}}\) to (3.1) and \(\ell \in {\mathbb {N}}_{\geqq 2}\), let us define as
where \((u_i(x))_+:=\max \{u_i(x),0\}\) and \((u_i(x))_-:=(-u_i(x))_+\). Under the notation above, we define the piecewise constant function \(({\bar{u}}_h)_\pm ^{(\ell )}\) by
Further, we define a function \((u_h)_{\pm }^{(\ell )}\) by linearly interpolating \((u_i(x))_{\pm }^{(\ell )}\) and \((u_{i-1}(x))_{\pm }^{(\ell )}\) on the interval \([t_{i-1},t_i]\) with \(i=1,2\ldots \)
From the definition above,
in the limit \(\ell \rightarrow \infty \). On the time interval \(t \in (t_{i-1}, t_i)\) with \(i=1,2,\ldots \), the time derivative of \((u_h)_{\pm }^{(\ell )}\) is computed as
4.1 Energy Estimates for the Truncated Solution
Firstly, we deduce certain energy estimate of the truncated solution defined in (4.1) above.
Lemma 4.1
Let \((u_h)_\pm ^{(\ell )}\) be the function defined by (4.1). Then there holds for any positive \(T < \infty \)
whenever \(q \geqq 1\) and,
whenever \(0<q<1\), where \(c \equiv c(p,q)\).
Proof
We shall follow almost the same argument as in [16, Lemma 4.1] although, for the sake of completeness, we shall nevertheless give the full proof. We confine the case \((u_h)_+^{(\ell )}\) only since the other case is similarly treated. As before, let a positive integer k to satisfy \(t_{k-1} \leqq T<t_k\). To begin, we see by energy estimate (3.7) in Lemma 3.2 that
for a constant \(c\equiv c(p,q)\). In the sequel, set \([u_i \geqq L] \equiv \Omega \cap \{u_i \geqq L\}\) for short; other symbols are also abbreviated similarly. We shall distinguish between the cases \(q \geqq 1\) and \(0<q<1\).
In the first case \(q \geqq 1\), for any \(i=1,\ldots ,k\),
where, in the second line, we discarded the non-negative second term on the right-hand side and, further, in the fourth line, we used the fact that \(\frac{(u_i)_+^{(\ell )}-(u_{i-1})_+^{(\ell )}}{h}=0\) on the set \([u_i \leqq \frac{1}{\ell }]\,\cap \,[u_{i-1} \leqq \frac{1}{\ell }]\). This together with (4.4) implies the first desired estimate (4.2).
Hereafter, it only remains to consider the latter case \(0<q<1\). For this, we need the following quantitative estimate:
In order to verify (4.5), a distinction must be made among the cases in the following: Firstly, on the set \(\Omega _1:=[u_i \leqq \frac{1}{\ell }] \cap [u_{i-1} \leqq \frac{1}{\ell }]\) or \(\Omega _2:=[u_i> \ell ] \cap [u_{i-1} >\ell ]\), it holds \(\frac{(u_i)_+^{(\ell )}-(u_{i-1})_+^{(\ell )}}{h} =0\) and thus, (4.5) is clearly valid. On the set \(\Omega \setminus (\Omega _1 \cup \Omega _2)\), we distinguish among the four cases (I)–(IV).
Case (I) \([u_i \leqq \frac{1}{\ell }] \cap [\frac{1}{\ell } <u_{i-1} \leqq \ell ]\): In this region, we further consider the two cases separately: In the case \(u_i>0\), since \(u_i-u_{i-1}<0\), we have
In the remaining case \(u_i \leqq 0\), we plainly get
Case (II) \([u_i \leqq \frac{1}{\ell }] \cap [u_{i-1}>\ell ]\): Also, we distinguish between the two cases \(u_i>0\) and \(u_i \leqq 0\). We start with the first case. Since \(u_{i-1}-u_i \geqq \ell -\frac{1}{\ell } \geqq 2-\frac{1}{2} \geqq \frac{1}{\ell }\), we find
In the latter case \(u_i \leqq 0\), we have again,
Case (III) \([\frac{1}{\ell }<u_i \leqq \ell ] \cap [\frac{1}{\ell }<u_{i-1}\leqq \ell ]\): In this region, it in turn holds that
Case (IV) \([\frac{1}{\ell }<u_i \leqq \ell ] \cap [u_{i-1}>\ell ]\): In this region, we further distinguish between the two cases \(u_{i-1}-u_i \leqq \ell \) and \(u_{i-1}-u_i >\ell \). In the first case \(u_{i-1}-u_i \leqq \ell \)
In the latter case \(u_{i-1}-u_i >\ell \), we have
By interchanging of the role of \(u_i(x)\) and \(u_{i-1}(x)\), we also gain the same estimates as Cases (I), (II), and (IV) in the regions \([\frac{1}{\ell }<u_i\leqq \ell ] \cap [u_{i-1} \leqq \frac{1}{\ell }]\), \([u_i>\ell ] \cap [u_{i-1} \leqq \frac{1}{\ell }]\) and \([u_i> \ell ] \cap [\frac{1}{\ell }<u_{i-1} \leqq \ell ]\), respectively. Collecting all cases, we finally arrive at
that is,
This together with the fact that \(h^{q-1} \geqq 1\) implies that
holds true on \(\Omega \setminus (\Omega _1 \cup \Omega _2)\). Thereby, we have established (4.5) in the whole region \(\Omega \) and, the preceding estimates (4.4) and (4.5) yield (4.3). This completes the proof of Lemma 4.1. \(\square \)
4.2 Convergence Results for the Truncated Solution
In the subsequent lemma, we state the convergence result on the truncated solution in (4.1).
Lemma 4.2
Let \((u_h)_\pm ^{(\ell )}\) be the truncated function defined by (4.1). Then there exists a subsequence \(((u_h)_\pm ^{(\ell )})_{h>0}\) (which we still denote by \((u_h)_\pm ^{(\ell )}\)) and limit functions \((\omega _\ell )_{\pm }\) such that for any positive \(T < \infty \) and every \(\gamma \) with \(1\leqq \gamma < \frac{n+1}{n}\),
Proof
We prove the implication for \(((u_h)_+^{(\ell )})_h\) only, as the other case is similar. By (3.8) and (3.9) in Lemma 3.3, \(\left( (u_h)_+^{(\ell )} \right) _{h > 0} \) and \(\left( D(u_h)_+^{(\ell )}\right) _{h>0}\) are bounded in \(L^\infty (0,T\,; L^{q+1} (\Omega ))\) and \(L^\infty (0,T\,; L^p(\Omega ; {\mathbb {R}}^{n}))\), respectively. Furthermore, in view of Lemma 4.1, the time derivative \(\left( \partial _t(u_h)_+^{(\ell )}\right) _{h>0}\) is bounded in \(L^1(\Omega _T)\). According to the Rellich–Kondrachov compactness theorem, there exist a subsequence (which we still denote by \(u_h\)) and the limit function \((\omega _\ell )_+ \in L^\gamma (\Omega _T)\) depending on \(\ell \), such that
for every \(\gamma \in \left[ 1, \frac{(n+1)}{(n+1)-1}\right) \). This finishes the proof. \(\square \)
The next lemma allows us to estimate the \(L^\gamma \)-norm of \((u_h)_\pm -(u_{h'})_\pm \).
Lemma 4.3
Let \((u_i)_{i \in {\mathbb {N}}}\) be the solution to (3.1). Then, for every \(\ell \geqq 2\) and \(\gamma \in [1, r)\), we have
and
for a constant \(c\equiv c(n,p,r,\Omega )\), where \(r \in \left[ 1,\frac{np}{n-p}\right) \) whenever \(1 \leqq p<n\) and \(r \in [1,\infty )\) whenever \(n \leqq p<\infty \).
Proof
With r defined above, the Sobolev-Gagliardo-Nirenberg inequality
holds true for \(v \in W^{1,p}_0(\Omega )\). This together with (3.7) in Lemma 3.2 leads to
which in turn implies (4.6). The remaining estimate (4.7) now follows from the Hölder inequality and the first estimate (4.6). \(\square \)
We shall prove that \(\left( (u_h)_\pm \right) _{h>0}\) is a Cauchy sequence in \(L^\gamma (\Omega _T)\) for all \(\gamma \) with \(1 \leqq \gamma <\min \left\{ r,\frac{n+1}{n}\right\} \) in the subsequent lemma.
Lemma 4.4
Let \(r \in \left[ 1,\frac{np}{n-p}\right) \) for \(1 \leqq p<n\) and \(r \in [1,\infty )\) for \(n \leqq p<\infty \). Then, \(\left( (u_h)_\pm \right) _{h>0}\) is a Cauchy sequence in \(L^\gamma (\Omega _T)\) for any positive \(T < \infty \) and all \(\gamma \) with \(1 \leqq \gamma <\min \left\{ r,\frac{n+1}{n}\right\} \).
Proof
We prove the statement for \(\left( (u_h)_+\right) _{h>0}\) only, as the other case is similarly treated. With \(\gamma \) being \(1\leqq \gamma <\min \left\{ r,\frac{n+1}{n}\right\} \), we split into three terms:
where the meanings of \({\mathbf {I}}_{h,\ell }\), \({\mathbf {I}}_{h,h',\ell }\), and \({\mathbf {I}}_{h',\ell }\) are clear from the context. Since
holds for \((x,t) \in \Omega \times (t_{i-1},t_i]\) and \(i=1,\ldots , k\), the Minkowski inequality yields that
We now estimate \({\mathbf {I}}_1\) since \({\mathbf {I}}_2\) is proved as well as \({\mathbf {I}}_1\). Since
for \(i = 1, \ldots , k\), we obtain from (4.6)–(4.7) in Lemma 4.3 that
Hence,
that is,
Clearly, \({\mathbf {I}}_{h^\prime ,\ell }\) is estimated similarly as \({\mathbf {I}}_{h,\ell }\). Inserting the preceding estimates into (4.8) and employing Lemma 4.2, we arrive at
Since by \(\gamma <r\) \(\lim \limits _{\ell \rightarrow \infty }\zeta (\ell )=0\), we finally pass to the limit \(\ell \rightarrow \infty \) in the above display to get
Analogously, the same statement holds for \((u_h)_--(u_{h'})_-\), which finishes the proof. \(\square \)
4.3 Convergence of Approximate Solutions I
Here, we shall present the convergence of the approximate solutions \(u_h\) and \({\bar{u}}_h\).
Lemma 4.5
(Convergence of approximate solutions I) Let \(r \in \left[ 1,\frac{np}{n-p}\right) \) for \(1 \leqq p<n\) and \(r \in [1,\infty )\) for \(n \leqq p<\infty \). Then, for any positive \(T<\infty \) and all \(\gamma \in \left[ 1, \min \{r,\frac{n+1}{n}\}\right) \), there exist a subsequence \(\left( u_h\right) _{h > 0}\), \(\left( {{{\bar{u}}}}_h\right) _{h > 0}\) (still denoted by the same notation) and a limit function \(u \in L^\gamma (\Omega _T)\) such that
Proof
Since \(u_h=(u_h)_+-(u_h)_-\) Lemma 4.4 implies that there exists a limit function \(u \in L^\gamma (\Omega _T)\) such that
whenever \(\gamma \in \left[ 1, \min \{r,\frac{n+1}{n}\}\right) \). Hence, passing to a subsequence (also labeled with h) we in turn obtain that \(u_h \rightarrow u\) almost everywhere in \(\Omega _T\), that is the first statement of (4.9).
In order to prove the second statement of (4.9), we employ Lemma 2.4 and the truncated argument, as described in Sect. 4.2. For this, we shall handle the case \(({\bar{u}}_h)_+\) only, as the other case is similar. Again, by the Minkowski inequality, we have
As described in the proof of Lemma 4.4, we infer that
where \(\zeta (\ell ) \rightarrow 0\) as \(\ell \rightarrow \infty \). Since
we have
which in conjunction with (4.2) and (4.3) in Lemma 4.1 implies
Collecting the preceding estimates yields that
and, subsequently, taking the limit \(\ell \rightarrow \infty \) gives
Furthermore, (4.10) and (4.13) imply that
as \(h \searrow 0\). Hence, passing to a further subsequence (also labeled with h), we get \(({\bar{u}}_h)_+ \rightarrow u_+\) almost everywhere in \(\Omega _T\) in the limit \(h \searrow 0\). In an analogous way as done above, the almost convergence \(({\bar{u}}_h)_- \rightarrow u_-\) in \(\Omega _T\) is verified. Hence, the second assertion of (4.9) is concluded, finishing the proof. \(\square \)
4.4 Convergence of Approximate Solutions II
One of the main tools in this paper is the convergence results summarized in the following Lemmas 4.6, 4.7 and 4.8 .
Lemma 4.6
Let \(u_h\), \({\bar{u}}_h\), \({\bar{v}}_h\), \(v_h\), \(w_h\), and \({\bar{w}}_h\) be the approximate solutions of (1.1) defined by (3.3)–(3.4). Then there exist subsequences of them (denoted by the same symbol unless otherwise stated) and a limit function \(u \in L^\infty \left( 0,\infty \,;L^{q+1}(\Omega ) \cap W^{1,p}(\Omega )\right) \) such that, the following convergences hold true for any positive \(T < \infty \):
as \(h\searrow 0\).
Proof
The proof is based on the energy estimates in Lemmata 3.2, 3.3, and 3.4 and we split the proof into several steps.
Step 1: The proof of (4.14). The Poincaré inequality and estimate (3.6) in Lemma 3.2 imply that \(({\bar{u}}_h, D{\bar{u}}_h)_{h>0}\) is uniformly bounded in \(L^p(0, \infty \,; L^{p}(\Omega \,; {\mathbb {R}}^{n+1}))\). Therefore, there exist a (not re-labeled) subsequence and a function \(u \in L^p(0, \infty \,; L^{p}(\Omega \,; {\mathbb {R}}^{n+1}))\) such that
proving the claim (4.14), where, as usual, we use the definition of weak derivatives and by the diagonal argument, this limit function u is equal to that obtained in Lemma 4.5.
Step 2: The proof of (4.15)–(4.16). From (3.6) and (3.7) in Lemma 3.2, we infer that \(({\bar{u}}_h)_{h>0}\) is uniformly bounded (with respect to h) in \(L^{\infty }(0,\infty \,; L^{q+1}(\Omega ))\) and so \(({\bar{u}}_h, D{\bar{u}}_h)_{h>0}\) is in \(L^\infty (0, \infty \,;L^{p}(\Omega \,; {\mathbb {R}}^{n+1}))\). Then after passing a subsequence \(({\bar{u}}_h)\) (denoted by the same symbol), there exists a limit function v satisfying
such that
This together with (4.14) in turn implies the implications (4.15)–(4.16).
Step 3: The proof of (4.17). We further divide this step into two steps:
At first, we shall prove the strong convergence \({\bar{w}}_h\equiv |{\bar{u}}_{h}|^{\frac{q-1}{2}}{\bar{u}}_{h}\) to \(|u|^{\frac{q-1}{2}}u\) in \(L^\alpha (\Omega _T)\) for all \(\alpha \in [1, 2)\). Since by the energy estimate (3.6) in Lemma 3.2, \(\left( {\bar{w}}_h\right) _{h > 0}\) is bounded in \(L^2 (\Omega _T)\) and, by (4.9) in Lemma 4.5, \({\bar{w}}_h - |u|^{\frac{q - 1}{2}} u \rightarrow 0\) almost everywhere in \(\Omega _T\), where we use algebraic inequality (2.5) in Lemma 2.3 with \(\alpha =\frac{q+3}{2}\). This allows us to use (2.8) in Lemma 2.4 to get
which proves the first statement of (4.17).
Next, the difference between \({\bar{w}}_h\) and w is estimated as
and thus, the energy estimate (3.10) in Lemma 3.4 gives
which converges to zero as \(h \searrow 0\). This together with (4.19) finishes the proof of (4.17).
Step 4: The proof of (4.18). Now we proceed exactly same as in Step 2 and split this stage into two steps.
We again use the energy estimate (3.6) in Lemma 3.2 to see that \(\left( {\bar{v}}_h\right) _{h > 0}\) is bounded in \(L^{\frac{q+1}{q}} (\Omega _T)\). From (4.9) in Lemma 4.5, as \(h \searrow 0\), \({\bar{v}}_h-|u|^{q - 1} u \rightarrow 0\) almost everywhere in \(\Omega _T\) follows, where we use algebraic inequality (2.5) in Lemma 2.3 with \(\alpha =q+1\). Hence, with the help of (2.8) in Lemma 2.4, we gain
and therefore the first statement of (4.18) is actually verified.
To conclude the proof, we shall consider the difference between \(v_h\) and \(|u|^{q-1}u\). For this, we now distinguish two cases between \(q \geqq 1\) and the opposite case \(0<q<1\). In the first case \(q\geqq 1\), since
the energy estimate (3.11) in Lemma 3.4 in turn gives
In the latter case \(0<q<1\), in view of (2.5) in Lemma 2.3\(|v_h - {{{\bar{v}}}}_h|\) is estimated as
and, subsequently, exploiting Hölder’s inequality twice with pair of exponents
and using the energy estimates (3.6)–(3.7) in Lemma 3.2, we infer that
Passing to the limit \(h \searrow 0\) in the preceding estimates (4.20)–(4.21) together with (4.18)\(_1\), we conclude that the convergence \(v_h \rightarrow |u|^{q - 1} u\) in \(L^1 (\Omega _T)\), which in turn implies \(v_ h \rightarrow |u|^{q - 1} u\) almost everywhere in \(\Omega _T\).
This time, (3.8) in Lemma 3.3 tells us that \(\left( v_h\right) _{h>0}\) is bounded in \(L^{\frac{q + 1}{q}} (\Omega _T)\). We therefore apply again (2.8) in Lemma 2.4 to conclude the second statement of (4.18).
Finally, the proof of Lemma 4.6 is complete. \(\square \)
From Lemma 2.4, we easily deduce the following convergence, used later in Sect. 5.
Lemma 4.7
For every test function \(\varphi \in C^\infty _0(\Omega _\infty )\), the following convergences hold true:
and
as \(h \searrow 0\).
Proof
We confine the proof of (4.23) only, as the other case (4.22) is similarly treated. We may suppose the support of \(\varphi \) is contained in \(\Omega _T\) for some positive \(T < \infty \). Since by (3.8) in Lemma 3.3\(\left( v_h\right) _{h>0}\) is bounded in \(L^{\frac{q+1}{q}}(\Omega _T)\) and by (4.18) in Lemma 4.6
Thus, (2.8) in Lemma 2.4 yields
as \(h \searrow 0\), and therefore, the proof is complete. \(\square \)
In the subsequent lemma, we state the strong convergence of spatial gradient, which is the main output in the paper.
Lemma 4.8
Let \({\bar{u}}_h\) and u be as in Lemma 4.6. Then,
holds true for any positive \(T < \infty \).
Proof
The \(L^1(\Omega _T)\)-boundedness of \(\partial _t v_h\) is an essential requirement for the p-harmonic map type approximation argument given in [10, Theorem 2.1] in the case \(p \geqq 2\) (see also [27, Lemma 4.2]) and [24, Theorem 3.2] in the case \(1<p<2\), where the time-space integral boundedness of the time derivative is required for the strong convergence of gradients. Here, we shall prove the strong convergence of gradients by the combination of compactness argument for the difference quotient with respect to time [4, Lemma 2.1] and the exponential time mollification technique. The strong convergence of gradients is the new result in the weak compactness method based on the approximation of Rothe type.
Before proceeding, let us give some definitions: For \(h \ne 0\), we denote the differential quotient of a function v with respect to time by
By this notation, \(\partial _tv_h\) is written as
Thus, the weak formulation (3.5) is rewritten as
and testing \(\varphi ={\bar{u}}_h-[u]_\varepsilon \) in the above formula, we have
In the subsequent lemma, we abbreviate \({\bar{u}}_h\equiv {\bar{u}}_h(t)\) and \([u]_\varepsilon \equiv [u]_\varepsilon (t)\). Here, \([u]_\varepsilon \) is defined by (2.1) with \(h=\varepsilon \) and \(v_0=u_0\). In this setting, we deduce the following finite integration by parts formula (see also [4, Lemma 2.10]).
Lemma 4.9
Assume the initial datum \(u_0 \in L^{q+1}(\Omega ) \cap W^{1,p}_0(\Omega )\). Let \({\bar{u}}_h\) be as in (3.3) and u be as in Lemma 4.6, where u is extended to negative times by \(u(t):=u_0\) for \(t<0\). Then, the following quantitative estimate holds true:
where the error terms are given by
In particular, for any \(\varepsilon >0\)
The proof of this lemma is postponed, and will be presented in Appendix B.
Since, by (2.4) in Lemma 2.2, \({\mathbf {B}}[\cdot , \cdot ]\) is non-negative, we cancel the second term in the right-hand side of (4.25) in Lemma 4.9 to get
For the first term of (4.26), we use the following convergences : By the integrability of u in Lemma 4.6 and Lemma 2.1-(v),
for any positive \(\varepsilon < 1\) and, \(\left| {\bar{u}}_h\right| ^{q-1}{\bar{u}}_h \rightarrow |u|^{q-1}u\) almost everywhere on \(\Omega _T\) by (4.9) in Lemma 4.5. These convergences together with Lemma 2.1-(iii) and (2.5) in Lemma 2.3 yield that
The second term on the right-hand side of (4.26) is computed as
since \({\bar{u}}_h(t)=u_0\) and \([u]_\varepsilon (t)=u_0\) for \(t \in (-h,0)\). Combining this with (4.26)–(4.27) and using formula (4.24), we infer that
On the other hand, it follows from (3.6) in Lemma 3.2 and Hölder’s inequality that
Due to the weak convergence (4.14) in Lemma 4.6
At this point, we need to distinguish cases between \(p \geqq 2\) and \(1<p<2\). Note that all estimations (4.28)–(4.30) are valid for all \(1<p<\infty \).
In the first case \(p \geqq 2\), the estimations (4.28)–(4.30) together with (2.7) in Lemma 2.3 imply that
Since \([Du]_\varepsilon \rightarrow Du\) in \(L^p(\Omega _T)\) as \(\varepsilon \searrow 0\) by Lemma 2.1-(ii), passing to the limit as \(\varepsilon \searrow 0\) in the above display, we get
proving the claim in the first case \(p \geqq 2\).
We are considering the latter case \(1<p<2\), Hölder’s inequality, inequality (2.6) in Lemma 2.3 and estimate (3.6) in Lemma 3.2 yield
Taking into account the fact that (4.31)\(_2\)–(4.31)\(_6\) do not require the condition \(p\geqq 2\), we infer that
and letting \(\varepsilon \searrow 0\) in the above display implies that
holds for \(1<p <2\). This completes the proof of Lemma 4.8. \(\square \)
5 Proof of Theorem 1.1
We are now ready for Theorem 1.1 since we have all prerequisites at hand.
Proof of Theorem 1.1
We will prove that the limit function u obtained in Lemma 4.6 is a weak solution of (1.1) in the sense of Definition 1. For this we split the proof into several steps. For the sake of readability, we describe the flow chart of whole steps:
Step 1 : The condition (D1), first part. Let T be any finite positive number. From convergences (4.14)–(4.16) in Lemma 4.6, energy estimates (3.6)–(3.7) in lemma 3.2 and the lower semi-continuity of norms with respect to the weak and \(^*\)-weak convergence, we infer that the limit u obtained in Lemma 4.6 belongs to \(L^p (0, \infty \,;W^{1,p} (\Omega )) \cap L^\infty (0, \infty \,;L^{q+1} (\Omega )) \). We will give the proof of the implication \(u \in C([0,T]\,; L^{q+1}(\Omega ))\) in Step 4.
Step 2 : The condition (D2). By using (4.23) in Lemma 4.7 and Lemma 4.8, we pass to the limit as \(h \searrow 0\) in the identity (3.5) and obtain
which ensures (2.9). Here, we notice that the class of test functions \(C^\infty _0 (\Omega _T)\) is a subspace of that in (3.5). The function u also satisfies the following identity:
Lemma 5.1
Let u be obtained in Step 1. Then
holds whenever \(\varphi \in C^\infty \left( \Omega \times [0,T)\right) \) with support contained in \(\Omega \times [0,T)\).
We will postpone the proof to Appendix C.
Step 3 : The regularity part. Since by (3.10) in Lemma 3.4\((\partial _tw_h)_{h>0}\) is bounded in \(L^2(\Omega _T)\), there are a subsequence, still denoted by \(\partial _tw_h\), and a limit function \(\omega \in L^2(\Omega _T)\) such that
as \(h \searrow 0\). Using convergence (4.22) in Lemma 4.7 and passing to the limit as \(h \searrow 0\) in the identity
give us that
Accordingly, it follows from (5.2) and (5.3) that
and thus, the lower semi-continuity with respect to this weak convergence and (3.10) in Lemma 3.4 render that
Since the right-hand side is independent of T, sending \(T \nearrow \infty \) concludes the desired regularity (1.5).
Step 4 : The condition (D1), second part (time continuity of solution). We start with taking \(t_1,\,t_2 \in [0,T]\) arbitrarily. By Hölder’s inequality and (5.4), we infer that
We now distinguish the two cases between \(q \geqq 1\) and \(0<q<1\). When \(q \geqq 1\), we use (2.7) with \(\alpha =\tfrac{q+3}{2}\) to infer that
and thus, this together with (5.5) in turn implies
showing our implication \(u \in C([0,T]\,; L^{q+1}(\Omega ))\) in the case \(q \geqq 1\). In the latter case \(0<q<1\), we apply (2.6) with \(\alpha =\tfrac{q+3}{2}\) to get
which together with (5.5) implies that
Using this estimate and Hölder’s inequality with the exponent \(\left( \tfrac{2}{q+1},\tfrac{2}{1-q}\right) \) (note that \(0<q<1 \iff \frac{2}{q+1}>1\)), we have
Furthermore, the lower semicontinuous with respect to the \(^*\)-weak convergence (4.15) in Lemma 4.6 and estimate (3.6) in Lemma 3.2 imply that
holds true for all \(i=1,2\). Collecting the preceding estimates, we infer that, for all \(t_1,\,t_2 \in [0,T]\)
which also proves the claim in the case \(0<q<1\). Therefore, the condition (D1) is finally verified.
Step 5 : The condition (D3). In this step, we first show the validity of the initial condition (D3). Since we have proven that \(u \in C\left( [0,T]\,; L^{q+1}(\Omega )\right) \) in the previous step, it is sufficient to show \(u(0)=u_0\).
Let \(\psi =\psi (x) \in C^\infty _0(\Omega )\) and, for any \(\varepsilon >0\) set
We test (5.1) with \(\psi (x)\chi _\varepsilon (t)\) to get
Passing to the limit \(\varepsilon \searrow 0\) in the above display in turn implies
Since \(u \in C\left( [0,T]\,; L^{q+1}(\Omega ) \right) \) as showed in Step 3, we infer that
Since \(\psi \) is arbitrary, we merge the previous two displays to gain
which together with the monotonicity of \(w \mapsto |w|^{q-1}w\) concludes that \(u_0=u(0)\), and therefore, the initial condition (D3) is confirmed.
Next, by definition (3.3), \({\bar{u}}_h(t) \in W_0^{1,p}(\Omega )\) holds for almost every \(t \in (0,T)\). Since \(W_0^{1,p}(\Omega )\) is closed and convex in \(W^{1,p}(\Omega )\), Mazur’s theorem and (4.15) in Lemma 4.6 imply that \(u \in L^\infty (0,T\,;W_0^{1,p}(\Omega ))\), proving the the boundary condition described as in (D3).
Step 6 : The energy structures. Using convergences (4.14) and (4.15) in Lemma 4.6 and the lower semi-continuity of norms with respect to the weak and \(^*\)-weak convergence, we pass to the limit \(h \searrow 0\) in energy estimate (3.6) in Lemma 3.2 to deduce (1.3). Inequality (1.4) similarly follows from convergence (4.16) in Lemma 4.6 and energy boundedness (3.7) in Lemma 3.2.
Therefore, the proof of Theorem 1.1 is finally complete. \(\square \)
Remark 5.2
It is worth remaking that, we have the further initial regularity
We shall present the full proof of this identity in Appendix D.
Notes
We say that a norm space \({\mathcal {X}}\) is uniformly convex if, for every \(\varepsilon \in (0,2]\), there exists a positive number \(\delta =\delta (\varepsilon )>0\) such that if \(x, y \in {\mathcal {X}}\), \(\Vert x\Vert =\Vert y\Vert =1\) and \(\left\| \frac{x+y}{2} \right\| >1-\delta \) then \(\Vert x-y\Vert <\varepsilon \).
References
Acerbi, E., Fusco, N.: Regularity for minimizers of nonquadratic functionals: the case \(1<p<2\). J. Math. Anal. Appl. 140(1), 115–135 (1989)
Alt, H.W., Luckhaus, S.: Quasilinear Elliptic-Parabolic Differential Equations. Math. Z. 183, 311–341 (1983)
Bögelein, V., Dietrich, N., Vestberg, M.: Existence of solutions to a diffusive shallow medium equation. J. Evol. Equ. 21(1), 845–889 (2021)
Bögelein, V., Duzaar, F., Marcellini, P., Scheven, C.: Doubly nonlinear equations of porous medium type. Arch. Ration. Mech. Anal. 229(2), 503–545 (2018)
Bögelein, V., Duzaar, F., Marcellini, P.: Parabolic systems with \(p, q\)-growth: a variational approach. Arch. Ration. Mech. Anal. 210(1), 219–267 (2013)
Bögelein, V., Duzaar, F., Korte, R., Scheven, C.: The higher integrability of weak solutions of porous medium systems. Adv. Nonlinear Anal. 8(1), 1004–1034 (2019)
Bögelein, V., Duzaar, F., Kinnunen, J., Scheven, C.: Higher integrability for doubly nonlinear parabolic systems. J. Math. Pures Appl. 143, 31–72 (2020)
Bögelein, V., Duzaar, F., Liao, N.: On the Hölder regularity of signed solutions to a doubly nonlinear equation. J. Funct. Anal. 281(9), 109–173 (2021)
Blatt, S., Hopper, C., Vorderobermeier, N.: A regularized gradient flow for the \(p\)-elastic energy. Adv. Nonlinear Anal. 11(1), 1383–1411 (2022)
Chen, Y., Hong, M.-C., Hungerbüler, N.: Heat flow of \(p\)-harmonic maps with values into spheres. Math. Z. 215, 25–35 (1994)
Clarkson, J.A.: Uniformly convex spaces. Trans. Amer. Math. Soc. 40(3), 396–414 (1936)
DiBenedetto, E.: Degenerate parabolic equations. Universitext, Springer-Verlag, New York (1993)
Giaquinta, M., Modica, G.: Remarks on the regularity of the minimizers of certain degenerate functionals. Manuscr. Math. 57(1), 55–99 (1986)
Giusti, E.: Direct Methods in the Calculus of Variations. World Scientific Publishing Company, Tuck Link, Singapore (2003)
Hanner, O.: On the uniform convexity of \(L^{p}\) and \(\ell ^{p}\). Ark. Mat. 3, 239–244 (1956)
Kato, N., Misawa, M., Nakamura, K., Yamaura, Y.: Existence for doubly nonlinear fractional \(p\)-Laplacian equations, Preprint (2021)
Kinnunen, J., Kuusi, T.: Local behavior of solutions to doubly nonlinear parabolic equations. Math. Ann. 337(3), 705–728 (2007)
Kinnunen, J., Lindqvist, P.: Pointwise behaviour of semicontinuous supersolutions to a quasilinear parabolic equation. Ann. Mat. Pura Appl. (4) 185(3), 411–435 (2006)
Kuusi, T., Misawa, M., Nakamura, K.: Regularity estimates for the \(p\)-Sobolev flow. J. Geom. Anal. 30, 1918–1964 (2020)
Kuusi, T., Misawa, M., Nakamura, K.: Global existence for the \(p\)-Sobolev flow. J. Differ. Equ. 279, 245–281 (2021)
Kuusi, T., Siljander, J., Urbano, J.M.: Local Hölder continuity for doubly nonlinear parabolic equations. Indiana Univ. Math. J. 61(1), 399–430 (2012)
Ladyženskaja, O.A., Solonnikov, V.A., Ural’ceva, N.N.: Linear and quasilinear equations of parabolic type. (Russian) Translated from the Russian by S. Smith Translations of Mathematical Monographs, Vol. 23 American Mathematical Society, Providence, R.I. (1968) xi+648 pp
Landes, R.: On the existence of weak solutions for quasilinear parabolic initial-boundary value problems. Proc. R. Soc. Edinb. Sect. A 89(3–4), 217–237 (1981)
Misawa, M., Nakamura, K.: Intrinsic scaling method for doubly nonlinear equations and its application. Adv. Calc. Var (2021)
Mingione, G., Radulescu, V.: Recent developments in problems with nonstandard growth and nonuniform ellipticity. J. Math. Anal. Appl. 501(1), Paper No. 125197 (2021)
Nakamura, K.: Local boundedness of a mixed local-nonlocal doubly nonlinear equation. J. Evol. Equ. 22(3), Paper No. 75 (2022)
Nakamura, K., Misawa, M.: Existence of a weak solution to the \(p\)-Sobolev flow. Nonlinear Anal. TMA 175C, 157–172 (2018)
Punzo, F.: Global solutions of semilinear parabolic equations on negatively curved Riemannian manifolds. J. Geom. Anal. 31(1), 543–559 (2021)
Rothe, E.: Über die Wärmeleitungsgleichung mit nichtkonstanten Koeffizienten im räumlichen Falle (German). Math. Ann. 104(1), 340–362 (1931)
Schätzler, L.: Existence for singular doubly nonlinear systems of porous medium type with time dependent boundary values. J. Elliptic Parabol. Equ. 5(2), 383–421 (2019)
Sturm, S.: Existence of weak solutions of doubly nonlinear parabolic equations. J. Math. Anal. Appl. 455(1), 842–863 (2017)
Trudinger, N.S.: Pointwise estimates and quasilinear parabolic equations. Commun. Pure Appl. Math. 21, 205–226 (1968)
Acknowledgements
Masashi Misawa acknowledges the partial support by the Grant-in-Aid for Scientific Research (C) Grant No. 21K03330 (2021) at JSPS. Kenta Nakamura has been supported by Grant-in-Aid for Young Scientists Grant No. 21K13824 (2021) at Japan Society for the Promotion of Science. The authors would like to appreciate anonymous referees for their careful reading and sharp comments that eventually improved the paper.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflicts of interest
All authors declare that they have no conflicts of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Proof of Lemma 3.1
In this appendix, we give the proof of Lemma 3.1. The proof relies on the Direct Method in the Calculus of Variations. In the course of this appendix, fix \(p>1\), \(q>0\) and a step size \(h \in (0,1]\) and set \({\mathfrak {X}}:=W^{1,p}_0(\Omega ) \cap L^{q+1}(\Omega )\).
Proof of Lemma 3.1
Given \(u_{i-1} \in {\mathfrak {X}}\), we define the variational functional
The proof is twofold: first, we prove the existence of a minimizer of this variational functional \({\mathcal {F}}\), then we manipulate the first variation of \({\mathcal {F}}\), proving the claim.
By Young’s inequality
holds for any \(w \in {\mathfrak {X}}\). Let \((u_i)_{i \in {\mathbb {N}}}\) be a minimizing sequence satisfying
for all \(i \in {\mathbb {N}}\), where \(m:=\inf \limits _{w \in {\mathfrak {X}}}{\mathcal {F}}[w]\). We observe from (A.1) that
holds for every \( w\in {\mathfrak {X}}\). Additionally, \(\sup \limits _{i \in {\mathbb {N}}}{\mathcal {F}}[u_i] \leqq m+1\) holds and we obtain from (A.1) that
which implies that the sequence \((u_i)_{i \in {\mathbb {N}}}\) is uniformly bounded (with respect to \(i \in {\mathbb {N}}\)) in \(W_0^{1,p}(\Omega )\cap L^{q+1}(\Omega )\). Thus, there exist a subsequence, still denoted by \((u_i)_{i \in {\mathbb {N}}}\), and a weak limit \(u \in W^{1,p}_0(\Omega ) \cap L^{q+1}(\Omega )\) such that
as \(i \rightarrow \infty \). Since \({\mathcal {F}}\) is convex, \({\mathcal {F}}\) is lower semicontinuous with respect to the weak convergence in \({\mathfrak {X}}\equiv W^{1,p}(\Omega ) \cap L^{q+1}(\Omega )\) and thus, we arrive at
which ensures the existence of the minimizer of \({\mathcal {F}}\).
Next, we compute the first variation of \({\mathcal {F}}\). Let \(u_i \in {\mathfrak {X}}\) be a minimizer of \({\mathcal {F}}\). For \(s \in (-1,1)\) and every \(\xi \in {\mathfrak {X}}\), it holds that
where the definitions of \({\mathbf {I}}_1\)–\({\mathbf {I}}_3\) are obvious in the context. In turn, it sees that
while, due to the fundamental theorem of calculus, there holds that
and, by Young’s inequality, the integrant of the integral on the last line is estimated as
Thus, Lebesgue’s dominated convergence theorem renders that
as \(s \rightarrow 0\). Similarly, we deduce
in the limit \(s\rightarrow 0\). Combining the three preceding formulae and passing to the limit \(s \rightarrow 0\) in (A.2), we arrive at
for every \(\xi \in {\mathfrak {X}}\). This finishes the proof of the lemma. \(\square \)
Appendix B: Proof of Lemma 4.9
In this appendix, we aim at proving Lemma 4.9.
Proof of Lemma 4.9
The proof is twofold: first, we derive the quantitative estimate (4.25), then we show the convergence (4.26).
Step 1. By Young’s inequality, we infer that
that is,
Dividing this estimate by \(h>0\) leads to
Next, a simple calculation gives us that
This formula together with (B.1) implies that
The first term on the right-hand side of (B.2) is computed as
and the second term on the right-hand side of (B.2) is written as
Inserting the preceding formulae into (B.2), we have
with the remainder term
This joined to the identity
in turn implies that
We are going to reformulate the remainder term \(\varvec{\Xi }\). Using the boundary term \({\mathbf {B}}[\cdot ,\cdot ]\), the integrand of the first term of \(\varvec{\Xi }\) is rewritten as
and the second one becomes
Furthermore, by the convexity of a function \({\mathbb {R}}\ni x \mapsto \tfrac{1}{q+1}|x|^{q+1} \in {\mathbb {R}}\), we get
Merging the preceding formulae and estimate, we therefore have
Combining (B.3) with (B.4), we finally arrive at the desired estimate
where
and
Step 2. Next, we shall prove that \(\lim \limits _{h \searrow 0}\varvec{\Delta }^{(\varepsilon )}_1(h)=\lim \limits _{h \searrow 0}\varvec{\Delta }^{(\varepsilon )}_2(h)=0\) for any \(\varepsilon >0\). Fix any number \(h_0 \in (0,1]\). By (2.3) in Lemma 2.2, we have
and integrating over \(\Omega _T\) leads to
where the definition of \({\mathbf {I}}_h\) and \(\mathbf {II}_h\) are clear from the context. For the integrand of \({\mathbf {I}}_h\)
holds true as \(h \searrow 0\) because \(\partial _t[u]_\varepsilon \in L^{q+1}(\Omega _{T+h_0})\). Since by Hölder’s inequality
holds almost everywhere in \(\Omega _T\) for every \(h \in (0,h_0]\), Young’s inequality yields that
in the limit \(h \searrow 0\). Consequently, Lemma 2.5 implies that
Performing similarly, we also have
Merging these convergences in (B.5), we gain
proving the first assertion of (4.26). On the other hand, the integrand of \(\varvec{\Delta }^{(\varepsilon )}_2(h)\) is estimated as
and, the first and second terms on the right-hand side converges as
in the limit \(h \searrow 0\). Hence, this together with the fact that
implies that
proving the second claim of (4.9). Therefore, the proof is complete. \(\square \)
Appendix C. Proof of Lemma 5.1
In this appendix, we record the proof of Lemma 5.1.
Proof of Lemma 5.1
We start with deducing that \(v_h (t)\) is weakly continuous on \(t \in [0, \infty )\) in \(L^{\frac{q+1}{q}} (\Omega )\), uniformly on the parameter h. Let \(t_2>t_1 \geqq 0\) be arbitrarily taken. Testing the approximating equation (3.5) with \(\psi (x)\text{1 }\text{ l}_{(t_1,t_2)}(t)\), where \(\psi =\psi (x) \in C^\infty _0(\Omega )\) and \(\text{1 }\text{ l}_{(t_1,t_2)}(t)\) is the usual Lipschitz approximation of characteristic function of time interval \((t_1, t_2)\). Appealing to Hölder’s inequality and (3.6) in Lemma 3.2, we gain
for every \(t_2>t_1 \geqq 0\). By the density of \(C^\infty _0 (\Omega )\) in \(L^{q+1} (\Omega )\), Hölder’s inequality and (3.6) in Lemma 3.2 again, the above display implies that \(v_h (t)\) is weakly continuous on \(t \in [0, \infty )\) in \(L^{\frac{q+1}{q}} (\Omega )\), uniformly on approximation parameter h. For any \(\varepsilon >0\), we define
We apply (3.5) with the testing function \(\zeta _\varepsilon (t)\varphi \), where \(\varphi \) is a smooth function with support in \(\Omega \times [0,T)\), to gain
Since by definition \(v_h(0)=|u_0(x)|^{q-1}u_0(x)\) and the weak continuous of \(v_h(t)\) in \(L^{\frac{q+1}{q}}(\Omega )\), we pass to the limit \(\varepsilon \searrow 0\) in the above display to have
therefore, sending \(h \searrow 0\) finally concludes that
where we used (4.23) in Lemma 4.7 and Lemma 4.8 again. \(\square \)
Appendix D. Proof of further initial regularity (5.6)
In this final appendix, we prove the further initial regularity (5.6). For this, we recall a fundamental convergence result by Clarkson [11] and Hanner [15], which states that a weak convergent sequence in \(L^{p},\,1<p<\infty \) fulfilling the norm convergence is strong convergent in \(L^p\).
Lemma D.1
With \(p \in (1,\infty )\) let \((f_{i})_{i \in {\mathbb {N}}}\) be a sequence in \(L^{p}(\Omega )\). If \(f_{i} \rightarrow f\) weakly in \(L^{p}(\Omega )\) and \(\Vert f_{i}\Vert _{L^p(\Omega )} \rightarrow \Vert f\Vert _{L^p(\Omega )}\), then
Proof
The proof is simple but fundamental. For this reason, we only give a sketch of it. Without loss of generality, we may assume that \(\Vert f_i\Vert _{L^p(\Omega )}=\Vert f\Vert _{L^p(\Omega )}=1\). Since by the assumption,
holds true, the lower semi-continuity along the weak convergence yields that
that is,
This together with the uniform convexityFootnote 1 of the Lebesgue space \(L^{p}\) (refer to [11, 15]) shows that
which concludes the proof. \(\square \)
We are now in position to prove (5.6).
Proof
First we take \(\varphi \in L^{p^\prime }(\Omega )\) arbitrarily, where \(p^\prime :=\frac{p-1}{p}\). By density, we approximate \(\varphi \in L^{p^\prime }(\Omega )\) by \((\varphi _k)_{k \in {\mathbb {N}}} \subset C^\infty _0(\Omega )\). By the initial condition (D3) we infer that, for every \(\alpha =1,\ldots , n\),
as \(t \searrow 0\), where we abbreviate \(D_\alpha :=\partial _{x_\alpha }\) for short. In view of Lemma 4.8 and (3.9) in Lemma 3.3, we gain, as \(h \searrow 0\), the energy inequality (1.4) in Theorem 1.1 together with Hölder’s inequality renders that, for every \(\varphi \in L^{p^\prime }(\Omega )\) and \(\alpha =1,\ldots , n\),
therefore, sending \(t \searrow 0\) and subsequently, passing to the limit \(k \rightarrow \infty \), the weak convergence (D.1) implies that
and, the lower semi-continuity of the norm with respect to this weak convergence further yields
Estimate (1.4) in Theorem 1.1 again leads to
The preceding convergences conclude that
Eventually, by (D.2) and (D.3), we apply Lemma D.1 to infer that
finishing the proof. \(\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
Misawa, M., Nakamura, K. Existence of a Sign-Changing Weak Solution to Doubly Nonlinear Parabolic Equations. J Geom Anal 33, 33 (2023). https://doi.org/10.1007/s12220-022-01087-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-022-01087-8