Abstract
In this paper, we study the second-order Sobolev regularity of solutions to the parabolic p-Laplace equation. For any p-parabolic function u, we show that \(D(\left| Du\right| ^{\frac{p-2+s}{2}}Du)\) exists as a function and belongs to \(L^{2}_{\text {loc}}\) with \(s>-1\) and \(1<p<\infty \). The range of s is sharp.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The elliptic p-Laplace equation has an extensive literature on the second-order regularity. In contrast, the second-order regularity for the parabolic p-Laplace equation
is much less studied. Throughout the paper, we have \(1<p<\infty \). In the elliptic case, one of the known estimates shows \(W_{\text {loc}}^{1,2}\) regularity for the nonlinear expression of the gradient
proven by Dong et al. [10] with \(s>2-\min \{p+\frac{n}{n-1}, 3+\frac{p-1}{n-1}\}\), and then extended to \(s>-1-\frac{p-1}{n-1}\) by the third author [20]. The aim of this paper is to prove such a result to the parabolic p-Laplace equation. In other words, we prove in Theorem 2.2 that for any weak or viscosity solution u to (1.1), \(D(\left| Du\right| ^{\frac{p-2+s}{2}}Du)\) exists, belongs to \(L^{2}_{\text {loc}}\) whenever \(s>-1\), and this range is sharp.
In the parabolic case, Dong et al. [10] proved for \(p\in (1,3)\) that the weak or viscosity solution u to (1.1) locally belongs to \(W^{2,2}\). This result is obtained as a special case from ours by selecting \(s=2-p\). Our result also contains as a special case Lindqvist’s [16] result for \( |Du|^{p-2}Du\) and \( |Du|^{\frac{p-2}{2}}Du\) in the range \(p\ge 2\). As a consequence, he also observed that the time derivative \(u_t\) exists and belongs to a Sobolev space. See also a recent paper by Cianchi and Maz’ya [5].
The heuristic idea of the proof is to differentiate the equation (1.1), choose a test function \(\varphi =\left| Du\right| ^{s}u_{x_k}\phi ^2\) and use a fundamental inequality (the name stems from [10] for a related inequality)
from [20], which holds for any smooth function. Here \(\Delta u:=\sum _{i=1}^n u_{x_ix_i}\) denotes the Laplacian, \(\Delta _\infty u:=\sum _{i,j=1}^n u_{x_i x_j} u_{x_i}u_{x_j}\) the infinity Laplacian, and \(|D^2u|:=(\sum _{i,j=1}^n u_{x_i x_j}^2)^{1/2}\) the Hilbert–Schmidt norm for matrices. Surprisingly, it is sufficient for the sharp result to use the previous inequality in a rather simple form
which we obtain by an elementary fact that the square \((|Du|^2\Delta u-\Delta _\infty u)^2\) is nonnegative. Naturally the fact that the form (1.2) is sufficient, simplifies the proof. At the same time, the form of (1.2) makes the coefficient \(C=C(p,s)\) of estimate (2.3) in Theorem 2.2 independent of n. Note that in the elliptic case, the fundamental inequalities in [10, 20] include the parameter n so that both the range of s and C depend on n.
Unlike the second-order regularity, the lower-order regularity of the parabolic p-Laplace equation has been extensively studied since the 1980s, see DiBenedetto’s monograph [6] as well as, for example [2, 8, 9, 14, 15, 22, 23]. In the elliptic case, the second-order Sobolev regularity has been studied in addition to above mentioned [10], for example, in [1, 3, 18], and for a different parabolic equation in [11].
2 Preliminaries and main results
Let \(x_0\in \mathbb {R}^{n}\), \(n\ge 1\) and \(r>0\). We denote by
the usual Euclidean ball in \(\mathbb {R}^{n}\). For a space-time point \((x_0,t_0)\in \mathbb {R}^{n+1}\) and a radius \(r>0\), we define the parabolic cylinder as
To ease the notation, we may write \(Q_r:=Q_r(x_0,t_0)\). Let \(\Omega \subset \mathbb {R}^n\) denote an open domain. For \(T>0\), we set
If U is compactly contained in \(\Omega \), i.e., \(U\subset \Omega \) and the closure of U is a compact subset of \(\Omega \), we write \(U \Subset \Omega \) . For \(0<t_1<t_2<\infty \), we set
We denote the first partial derivatives of a function \(u:\Omega _T\rightarrow \mathbb {R}\) by \(u_{x_k}\) and \(u_{t}\). The spatial gradient is denoted by Du, and the second derivatives by \(u_{x_i x_j}\). Further, \(D^2 u\) stands for matrix of second derivatives with respect to the space variables. As usual, the Sobolev space \(W^{1,p}(U)\) denotes the space of measurable functions u such that \(u \in L^p(U)\) and the distributional first partial derivatives \(u_{x_i}\) exist in U and belong to \(L^p(U)\). We use the norm
By the parabolic Sobolev space \(L^p(t_1,t_2;W^{1,p}(U))\), with \(0<t_1<t_2<\infty \), we mean the space of measurable functions u(x, t) such that the mapping \(x \mapsto u(x,t)\) belongs to \(W^{1,p}(U)\) for almost every \(t_1< t < t_2\) and the norm
is finite. The space \(C(\Omega _T)\) denotes the space of continuous functions on \(\Omega _T\) and \(C_0^\infty (\Omega _T)\) denotes the space of smooth, compactly supported functions on \(\Omega _T\). A function belongs to the local Sobolev space \(W^{1,p}_{\text {loc}}(\Omega )\) if it belongs to \(W^{1,p}(\Omega ')\) for every open \(\Omega ' \Subset \Omega \). Other local spaces are defined analogously.
We study weak solutions to the parabolic p-Laplace equation
where
is the p-Laplace operator with \(1<p<\infty \).
Definition 2.1
A function \(u:\Omega _T \rightarrow [-\infty ,\infty ]\) is a weak solution to Eq. (2.1) if whenever \(U_{t_1,t_2} \Subset \Omega _T\) is an open cylinder, we have \(u \in C(U_{t_1,t_2} )\cap L^{p}(t_1,t_2;W^{1,p} (U))\), and u satisfies the integral equality
Such solutions are called p-parabolic functions.
Under the above definition, weak solutions are equivalent to viscosity solutions to (2.1) for \(1<p<\infty \), see [13, 19, 21]. In this setting, gradients are bounded and Hölder continuous by a recent work of Imbert et al. [12]. Their result covers a more general class of equations containing the parabolic p-Laplace equation and the normalized p-parabolic equation arising from the game theory [17]. For earlier \(C^{1,\alpha }\)-regularity results based on the variational approach with various assumptions, see DiBenedetto and Friedman [7], Wiegner [24], Chen [4], and Chapter IX in [6].
2.1 Main results
For \(s\in \mathbb {R}\), we define the vector field \(V_s:\mathbb {R}^n\rightarrow \mathbb {R}^n\) as
Theorem 2.2
Let \(u:\Omega _T\rightarrow \mathbb {R}\) be a weak solution to the parabolic p-Laplace equation (2.1). If \(s>-1\), then \( D(V_s(Du)) \) exists and belongs to \(L^{2}_\text {loc}(\Omega _T)\). Moreover, we have the estimate
where \(C=C(p,s)>0\) and \(Q_r\subset Q_{2r}\Subset \Omega _T\) are concentric parabolic cylinders.
Note that here the range of s and the coefficient C do not depend on n. For the parabolic case, the range of s must satisfy the constraints of both the elliptic and parabolic terms. We get the elliptic restriction \(s>-1-\frac{p-1}{n-1}\) by [20] and \(s>-1\) rising from the parabolic terms (see Remark 2.4). By combining them, we get the restriction \(s>\max \{-1-\frac{p-1}{n-1},-1\}=-1\); thus, the inequality (1.2) is sufficient and further the coefficient \(C=C(p,s)\) is independent of n.
Remark 2.3
In particular, we may set \(s=0\), and \(s=p-2\) for any \(1<p<\infty \) reproving Lindqvist’s result in [16] for \(\left| Du\right| ^{\frac{p-2}{2}}Du\) and \(\left| Du\right| ^{p-2}Du\). If \(1<p<3\), we may set \(s=2-p\) to reprove the second-order Sobolev regularity obtained in [10].
Remark 2.4
(Counter example). The counterexample from [10] turns out to work also in our case, and shows that the range \(s>-1\) in Theorem 2.2 is sharp. By a direct calculation, the function
is a solution to (2.1) in \({\mathbb {R}}^2\times (0,\infty )\), and
if and only if \(s>-1\).
Indeed, we have
and
Then,
Once we have proven the main result, Theorem 2.2, the existence and integrability of the time derivative easily follows as pointed out by Lindqvist [16] and Dong et al. [10]. We give the short proof for the convenience of the reader.
Corollary 2.5
(Time derivative). Let \(u:\Omega _T\rightarrow \mathbb {R}\) be a weak solution to the parabolic p-Laplace equation (2.1). Then, the time derivative \(u_t\) exists as a function and \(u_t\in L^2_\text {loc}(\Omega _T)\).
Proof
Let \(s=p-2>-1\), then \(p+s=2(p-1)>0\) and \(s+2=p>1\). By Theorem 2.2, for all \( Q_r\subset Q_{2r}\Subset \Omega _T\), we have
which implies
By the weak formulation
we get that \(u_t\) exists, and \(u_t\in L^2_\mathrm{loc}(\Omega _T)\). \(\square \)
3 Idea of the proof
In this section, for the convenience of the reader, we present the formal idea of the proof without excess details. In this setting, we assume that \(u\in C^{\infty }(\Omega _T)\) and \(Du\ne 0\). The detailed proof is presented in Sect. 4.
Differentiating with respect to \(x_k\) in (2.1), we get
where
Here, I denotes the \(n\times n\) identity matrix and \(D u \otimes D u\) stands for the tensor product of two vectors in \(\mathbb {R}^n\), resulting in a matrix in \(\mathbb {R}^{n\times n}\) with the entries \(u_{x_i}u_{x_j}\).
We first study the term on the left hand side of (3.1) and choose a test function
with \(s>-1\) and \(\phi \in C_0^\infty (\Omega _T)\). Summing over k, we get
Recalling (3.1), we have
Now the first integral on the right hand side is of the same form as in the elliptic case, and thus, the proof of [20, Lemma3.3] gives that for any \(\eta >0\),
where \(\Delta _{\infty }^N u:=\left| Du\right| ^{-2}\sum _{i,j=1}^n u_{x_i x_j} u_{x_i}u_{x_j}\) stands for the normalized or game theoretic infinity Laplacian. Observe that on the right hand side, we have bounded terms only. As a corollary, similarly as in [20, Corollary 3.4], we get
Next we estimate the first term on the right hand side in (3.3). Using the inequality of [20, Corollary 2.2]:
dividing both sides by \(|Du|^4\), we have
On the last line, we used \((\Delta u-\Delta _\infty ^N u)^2\ge 0\). Now we use the previous inequality in (3.2) for the term containing \(\left| D^{2}u\right| ^2\), set \(\eta =\min \{ \frac{1}{4}(p+s),\frac{1}{6}(p-1)(s+1)\}\), and obtain
whenever \(s>-1\). We also used
Thus,
Combining this with (3.3), we get
By a direct calculation
and combining this with the previous estimate, we finally get
The estimate in Theorem 2.2 is obtained by choosing \(\phi \) as a standard cutoff function.
4 Detailed proof
In this section, we present a detailed proof of Theorem 2.2 by regularizing Eq. (2.1). Solutions to the regularized equation will be smooth, and thus, the differentiation of this equation is justified. Since the obtained estimates will be uniform with respect to the regularization, we will be able to pass to the original equation at the end.
To start with the above plan, let \(u:\Omega _T\rightarrow \mathbb {R}\) be a p-parabolic function. Fix a smooth subdomain \(U\Subset \Omega \) and \(0<t_1<t_2<\infty \) such that \(U_{t_1,t_2}\Subset \Omega _T\). Let \(\epsilon >0\) be small and \(u^{\epsilon }:U_{t_1,t_2}\rightarrow \mathbb {R}\) be a weak solution to
where
and the parabolic boundary is defined as
According to standard parabolic theory, we get \(u^{\epsilon }\in C^\infty ( U_{t_1,t_2})\cap C( \overline{U} _{t_1,t_2})\), see [7, 24].
Lemma 4.1
Let \(u^{\epsilon }:U_{t_1,t_2}\rightarrow \mathbb {R}\) be a weak solution to (4.1). If \(s>-1\), then for any \(\phi \in C^{\infty }_0( U_{t_1,t_2})\), we have
where \(C=C(p,s)>0\) is independent of \(\epsilon \).
To prove Lemma 4.1, we use the inequality (1.2). In Sect. 3, under the assumption \( Du \ne 0\), we can directly divide both sides of (1.2) by \(|Du|^4\) to get the inequality (3.4), which gives the lower bound of \(\left| D^2u\right| ^2\). In order to get an inequality similar to (3.4), we also need to consider the case when \(Du=0\). Thus, we reformulate (1.2) here in a way that allows us to apply it in this context.
For the reformulation, we introduce some notations. Let \(v:U_{t_1,t_2}\rightarrow \mathbb {R}\) be a smooth function. In particular, |Dv| is locally Lipschitz continuous (by triangle inequality) and thus, by Rademacher’s theorem, differentiable almost everywhere on each time slice, hence also in \(U_{t_1,t_2}\).
Note that if \((x_0,t_0)\in U_{t_1,t_2}\) is a space-time point where |Dv| is differentiable and \(Dv(x_0,t_0)=0\), then \(D|Dv|(x_0,t_0)=0\). Indeed, if we had \(D|Dv|(x_0,t_0)\ne 0\), then we could find a point \(\xi \in U\times \{t_0\}\) (close to \((x_0,t_0)\)) such that \(|Dv|(\xi )<0\), which is obviously impossible. On the other hand, if \(Dv(x_0,t_0)\ne 0\) for some \((x_0,t_0)\in U_{t_1,t_2}\), then |Dv| is differentiable at \((x_0,t_0)\) and
For each point in \(U_{t_1,t_2}\) where \(Dv\ne 0\), we fix an orthonormal basis of \(\mathbb {R}^n\), \(\{e_1,\ldots ,e_n\}\), such that \(e_n=\frac{Dv}{|Dv|}\). Hence, we have, for those points where \(Dv\ne 0\),
For those points where |Dv| is differentiable, let us define the part of D|Dv| which is tangential to the spatial level sets of v as
and its orthogonal counterpart, the normalized infinity Laplacian, as
We employ these notations to write
In Sect. 3, without dividing \(|D|Dv||^2\) into two parts, we use the inequality (3.4) and (3.6) to get the estimate (3.5). When using (3.6), we need to be careful and check that if the coefficient of \(|D|Dv||^2\) is nonnegative. For the regularization, the coefficients of each terms become more complicated, and thus, by using the equality (4.2), we can consider the coefficients together in the last step of the estimate. Now we can restate (1.2).
Lemma 4.2
Let \(v:U_{t_1,t_2}\rightarrow \mathbb {R}\) be a smooth function. Then,
Proof
Recall that |Dv| is differentiable a.e. in \(U_{t_1,t_2}\). From now on, consider such points of \(U_{t_1,t_2}\) where |Dv| is differentiable. When \(n=1\), by the definition of \(D_T|D v|\), we have \(D_T|D v|=0\) and (4.3) is obviously an identity. Then, we consider the case \(n\ge 2\). If \(Dv=0\), then (4.3) holds trivially by what we defined above. If \(Dv\ne 0\), then by [20, Corollary 2.2], we have
Dividing both sides by \(\left| Dv\right| ^4\), using the definitions of \(D_T|D v|\) and \(\Delta _{\infty }^Nv\), we get the desired inequality by following:
\(\square \)
Proof of Lemma 4.1
The spatial partial derivatives \(u^{\epsilon }_{x_k}\), \(k=1,\ldots ,n\), solve
where
Note that
uniformly in \( U_{t_1,t_2}\) and for \(\epsilon \).
We multiply Eq. (4.4) with \(\mu ^su^{\epsilon }_{x_k}\), where \(s>-1\), and obtain
For the first item in the above display, we note that
Summing (4.6) over \(k=1,\ldots ,n\) and taking (4.7) into account gives that
Observe that
Above we used
and a straightforward computation. In other words,
where
We claim that for \(s>-1\), we can find a small number \(\lambda =\lambda ( p,s)>0\) such that
Observe that this is not a trivial inequality since not all the coefficients are positive in \(\sigma \).
If (4.12) holds, then the desired estimate follows easily. Indeed, we plug the estimate (4.12) into Eq. (4.11) to obtain
Let \(\phi \in C^{\infty }_0( U_{t_1,t_2})\). Multiplying (4.13) by \(\phi ^2\) and then integrating over \(U_{t_1,t_2}\) yields
We employ integration by parts, (4.5) and Young’s inequality to obtain the upper bound of the right hand side term in above inequality,
for any \(\eta >0\) and some constant \(C=C(p)>0\). The desired estimate follows by choosing \(\eta =\frac{\lambda }{2}\).
It remains to prove (4.12). As explained above in this section, we can write
almost everywhere in \( U_{t_1,t_2}\). For \(\lambda \in (0,1)\), we write
For the latter part of \(\sigma \) on the right hand side of (4.14), we utilize the nonnegativity of the \(|D^2u^{\epsilon }|^2\)-term via the inequality of Lemma 4.2:
We obtain a lower bound
Now we have
Writing
allows us to divide the terms in \(\sigma \) and \(\tau \) according to the degree of \(\epsilon \). This kind of regrouping is useful, because it separates the main terms that appear also in the formal calculation of Sect. 3 from those terms that appear as a result of the regularization.
Indeed, we write
and
As we plug (4.16) and (4.17) into (4.15), we can easily choose \(\lambda =\lambda (p,s)>0\) so small that
This is indeed possible because \(s>-1\). Now that we have shown (4.12), the proof is finished. \(\square \)
Proof of Theorem 2.2
To prove Theorem 2.2, we need to justify letting \(\epsilon \rightarrow 0\) in Lemma 4.1. For notational convenience, we introduce the regularized version of the vector field \(V_s\) which corresponds to Lemma 4.1. Let us define \(V^{\epsilon }_s:\mathbb {R}^n\rightarrow \mathbb {R}^n\) as
Similarly to (3.7), by Lemma 4.1, there exists a constant \(C=C( p,s)>0\) such that
for any \(\phi \in C^{\infty }_0( U_{t_1,t_2})\).
The estimate (2.3) can be derived from (4.18) as follows. Let us fix a space-time point \((x_0,t_0)\in U_{t_1,t_2}\). Let \(r>0\) be small enough such that the parabolic cylinder with center \((x_0,t_0)\) and radius 2r fits inside \( U_{t_1,t_2}\), that is \(Q_{2r}\Subset U_{t_1,t_2}\). Let \(\phi \in C^{\infty }_0( U_{t_1,t_2})\) be a cutoff function such that
The estimate (4.18) implies that
for \(C=C( p,s)>0\).
Since \(s>-1\), we can apply, for example, [12] to conclude for the gradient
Thus \(Du^{\epsilon }\) converge uniformly (and strongly in \(L^p\)) by Arzelà–Ascoli theorem. It follows that the limit u is a solution to (2.1). Moreover, the right hand side of (4.20) is thus bounded from above by a constant independent of \(\epsilon \). Thus \(\{D(V^{\epsilon }_s(Du^{\epsilon }))\}_{\epsilon }\) is bounded in \(L^2(Q_{r})\), and consequently we may extract a subsequence that converges weakly in \(L^2(Q_r)\). Further, using integration by parts, we see that the limit is \(D(V_s(Du))\), and thus
which is the desired estimate. \(\square \)
References
A. Attouchi and E. Ruosteenoja. Remarks on regularity for \(p\)-Laplacian type equations in non-divergence form. J. Differential Equations, 265(5):1922–1961, 2018.
V. Bögelein, F. Duzaar, and G. Mingione. The regularity of general parabolic systems with degenerate diffusion. Mem. Amer. Math. Soc., 221(1041):vi+143, 2013.
B. Bojarski and T. Iwaniec. \(p\)-harmonic equation and quasiregular mappings. Partial differential equations (Warsaw, 1984), Banach Center Publ., 19, PWN, Warsaw: 25–38, 1987.
Y. Chen. Hölder continuity of the gradient of the solutions of certain degenerate parabolic equations. Chinese Ann. Math. Ser. B, 8(3):343–356, 1987. A Chinese summary appears in Chinese Ann. Math. Ser. A 8 (1987), no. 3, 534.
A. Cianchi and V.G. Maz’ya. Second-order regularity for parabolic \(p\)-Laplace problems. J. Geom. Anal., 30(2):1565–1583, 2020.
E. DiBenedetto. Degenerate parabolic equations. Universitext. Springer-Verlag, New York, 1993.
E. DiBenedetto and A. Friedman. Hölder estimates for nonlinear degenerate parabolic systems. J. Reine Angew. Math., 357:1–22, 1985.
E. DiBenedetto, U. Gianazza, and V. Vespri. Harnack estimates for quasi-linear degenerate parabolic differential equations. Acta Math., 200(2):181–209, 2008.
E. DiBenedetto, U. Gianazza, and V. Vespri. Harnack’s inequality for degenerate and singular parabolic equations. Springer Monographs in Mathematics. Springer, New York, 2012.
H. Dong, F. Peng, Y. Zhang, and Y. Zhou. Hessian estimates for equations involving \(p\)-Laplacian via a fundamental inequality. Adv. Math., 370:107212, 40, 2020.
F.A. Høeg and P. Lindqvist. Regularity of solutions of the parabolic normalized \(p\)-Laplace equation. Adv. Nonlinear Anal., 9(1):7-15, 2020 .
C. Imbert, T. Jin, and L. Silvestre. Hölder gradient estimates for a class of singular or degenerate parabolic equations. Adv. Nonlinear Anal., 8(1):845–867, 2019.
P. Juutinen, P. Lindqvist, and J.J. Manfredi. On the equivalence of viscosity solutions and weak solutions for a quasi-linear equation. SIAM J. Math. Anal., 33(3):699–717, 2001.
J. Kinnunen and J.L. Lewis. Higher integrability for parabolic systems of \(p\)-Laplacian type. Duke Math. J., 102(2):253–271, 2000.
T. Kuusi. Harnack estimates for weak supersolutions to nonlinear degenerate parabolic equations. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 7(4):673–716, 2008.
P. Lindqvist. On the time derivative in a quasilinear equation. Skr. K. Nor. Vidensk. Selsk., (2):1–7, 2008.
J.J. Manfredi, M. Parviainen, and J.D. Rossi. An asymptotic mean value characterization for \(p\)-harmonic functions. Proc. Amer. Math. Soc., 138:881–889, 2010.
J.J. Manfredi and A. Weitsman. On the Fatou theorem for \(p\)-harmonic functions. Comm. Partial Differential Equations, 13(6):651–668, 1988.
M. Parviainen and J.L. Vázquez. Equivalence between radial solutions of different parabolic gradient-diffusion equations and applications. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 21:303–359, 2020.
S. Sarsa. Note on an elementary inequality and its application to the regularity of -harmonic functions, Ann. Fenn. Math., 47(1):139–153, 2022.
J. Siltakoski. Equivalence of viscosity and weak solutions for a \(p\)-parabolic equation. J. Evol. Equ., 21(2):2047–2080, 2021.
J.M. Urbano. The method of intrinsic scaling, volume 1930 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 2008.A systematic approach to regularity for degenerate and singular PDEs.
J.L. Vázquez. Smoothing and decay estimates for nonlinear diffusion equations, volume 33 of Oxford Lecture Ser. Math. Appl. Oxford University Press, Oxford,2006. Equations of porous medium type.
M. Wiegner. On \(C_\alpha \)-regularity of the gradient of solutions of degenerate parabolic systems. Ann. Mat. Pura Appl. (4), 145:385–405, 1986.
Acknowledgements
Yawen Feng was supported by China Scholarship Council, No. 202006020186. Saara Sarsa was supported by the Academy of Finland, the Centre of Excellence in Analysis and Dynamics Research and the Academy of Finland, Project 308759.
Funding
Open Access funding provided by University of Jyväskylä (JYU).
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.
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
Feng, Y., Parviainen, M. & Sarsa, S. On the second-order regularity of solutions to the parabolic p-Laplace equation. J. Evol. Equ. 22, 6 (2022). https://doi.org/10.1007/s00028-022-00760-3
Accepted:
Published:
DOI: https://doi.org/10.1007/s00028-022-00760-3